View source for Representation of matrices, problem of

{{TEX|done}}
''problem of presentation of matrices''

The problem of whether one can exhibit a unified general method (an [[Algorithm|algorithm]]) that would give, in a finite number of steps, an answer to the question whether a matrix $U$ can be represented by matrices $U_1,\ldots,U_q$ using multiplication, for any system $U,U_1,\ldots,U_q$ of matrices over integers. The case in which $U,U_1,\ldots,U_q$ are square matrices of the same order is of most interest. This formulation of the problem of presentation of matrices is called general. By fixing the matrices $U_1,\ldots,U_q$ and leaving the matrix $U$ variable one obtains the partial problem of presentation of matrices. An algorithm solving the general formulation also solves all partial problems, since for establishing the unsolvability of the general formulation it is sufficient to exhibit at least one unsolvable partial problem.

The problem of presentation of matrices is one of the first algorithmic problems (cf. [[Algorithmic problem|Algorithmic problem]]) of algebraic character whose unsolvability was established. It was originally proved by A.A. Markov (cf. [[#References|[1]]], [[#References|[2]]]) that for $n\geq6$ one can construct a system, consisting of 91 matrices of order $n$, such that the corresponding partial problem is unsolvable, i.e. there is no algorithm (in an exact sense of this word) recognizing for an arbitrary matrix of order $n$ whether it can be presented by matrices of this system. Subsequently (cf. [[#References|[3]]]) the number of matrices in the system was reduced to 23 and it was proved that, with an appropriate complication in the construction of the system, the condition $n\geq6$ could be weakened to $n\geq4$. For any $n\geq6$ one can construct a concrete system, consisting of 12 matrices of order $n$, with unsolvable partial problem (cf. [[#References|[4]]]). By appropriately fixing $U$ and varying $U_1,\ldots,U_q$ the unsolvability of the general formulation has been proved for $n=3$ (cf. [[#References|[5]]]).

====References====
<table><TR><TD valign="top">[1]</TD> <TD valign="top">  A.A. Markov,   "On an unsolvable problem concerning matrices"  ''Dokl. Akad. Nauk SSSR'' , '''78''' :  6  (1951)  pp. 1089–1092  (In Russian)</TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top">  A.A. Markov,   "Theory of algorithms" , Israel Program Sci. Transl.  (1961)  (Translated from Russian)  (Also: Trudy Mat. Inst. Steklov. 42 (1954))</TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top">  A.A. Markov,   "On the problem of presenting matrices"  ''Z. Math. Logik und Grundl. Math.'' , '''4'''  (1958)  pp. 157–168  (In Russian)  (German abstract)</TD></TR><TR><TD valign="top">[4]</TD> <TD valign="top">  N.M. Nagornyi,  , ''6-th All-Union Congress on Math. Logic'' , Tbilisi  (1982)  pp. 124  (In Russian)</TD></TR><TR><TD valign="top">[5]</TD> <TD valign="top">  M.S. Paterson,   "Unsolvability in $3\times 3$ matrices"  ''Stud. in Appl. Math.'' , '''49''' :  1  (1970)  pp. 105–107</TD></TR></table>