FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2624734358> ?p ?o ?g. }

• W2624734358 abstract "We study the identity problem for matrices, i.e., whether the identity matrix is in a semigroup generated by a given set of generators. In particular we consider the identity problem for the special linear group following recent NP-completeness result for ${rm SL}(2,mathbb{Z})$ and the undecidability for ${rm SL}(4,mathbb{Z})$ generated by $48$ matrices. First we show that there is no embedding from pairs of words into $3times3$ integer matrices with determinant one, i.e., into ${rm SL}(3,mathbb{Z})$ extending previously known result that there is no embedding into $mathbb{C}^{2times 2}$. Apart from theoretical importance of the result it can be seen as a strong evidence that the computational problems in slthreez are decidable. The result excludes the most natural possibility of encoding the Post correspondence problem into ${rm SL}(3,mathbb{Z})$, where the matrix products extended by the right multiplication correspond to the Turing machine simulation. Then we show that the identity problem is decidable in polynomial time for an important subgroup of ${rm SL}(3,mathbb{Z})$, the Heisenberg group ${rm H}(3,mathbb{Z})$. Furthermore, we extend the decidability result for ${rm H}(n,mathbb{Q})$ in any dimension $n$. Finally we are tightening the gap on decidability question for this long standing open problem by improving the undecidability result for the identity problem in ${rm SL}(4,mathbb{Z})$ substantially reducing the bound on the size of the generator set from $48$ to $8$ by developing a novel reduction technique." @default.
• W2624734358 created "2017-06-23" @default.
• W2624734358 creator A5011019318 @default.
• W2624734358 creator A5015783637 @default.
• W2624734358 creator A5068817562 @default.
• W2624734358 date "2017-06-13" @default.
• W2624734358 modified "2023-09-27" @default.
• W2624734358 title "On the Identity Problem for the Special Linear Group and the Heisenberg Group" @default.
• W2624734358 cites W1516116134 @default.
• W2624734358 cites W1578848569 @default.
• W2624734358 cites W1609583228 @default.
• W2624734358 cites W1794634288 @default.
• W2624734358 cites W1832422369 @default.
• W2624734358 cites W1864094877 @default.
• W2624734358 cites W1963547452 @default.
• W2624734358 cites W1996258002 @default.
• W2624734358 cites W1998501436 @default.
• W2624734358 cites W2008458160 @default.
• W2624734358 cites W2011410600 @default.
• W2624734358 cites W2016430133 @default.
• W2624734358 cites W2019875210 @default.
• W2624734358 cites W2031633647 @default.
• W2624734358 cites W2032480779 @default.
• W2624734358 cites W2033040247 @default.
• W2624734358 cites W2033064897 @default.
• W2624734358 cites W204546099 @default.
• W2624734358 cites W2049739383 @default.
• W2624734358 cites W2050829703 @default.
• W2624734358 cites W2057779707 @default.
• W2624734358 cites W2103658959 @default.
• W2624734358 cites W2116976042 @default.
• W2624734358 cites W2244623270 @default.
• W2624734358 cites W2246792024 @default.
• W2624734358 cites W2331128788 @default.
• W2624734358 cites W2470304035 @default.
• W2624734358 cites W2568807633 @default.
• W2624734358 cites W2772472420 @default.
• W2624734358 cites W2899778167 @default.
• W2624734358 cites W2962913891 @default.
• W2624734358 cites W2963416205 @default.
• W2624734358 cites W2963431677 @default.
• W2624734358 cites W2963754540 @default.
• W2624734358 cites W2963766185 @default.
• W2624734358 cites W3110487089 @default.
• W2624734358 cites W85603235 @default.
• W2624734358 hasPublicationYear "2017" @default.
• W2624734358 type Work @default.
• W2624734358 sameAs 2624734358 @default.
• W2624734358 citedByCount "0" @default.
• W2624734358 crossrefType "posted-content" @default.
• W2624734358 hasAuthorship W2624734358A5011019318 @default.
• W2624734358 hasAuthorship W2624734358A5015783637 @default.
• W2624734358 hasAuthorship W2624734358A5068817562 @default.
• W2624734358 hasConcept C114614502 @default.
• W2624734358 hasConcept C118615104 @default.
• W2624734358 hasConcept C121332964 @default.
• W2624734358 hasConcept C153269930 @default.
• W2624734358 hasConcept C163258240 @default.
• W2624734358 hasConcept C199360897 @default.
• W2624734358 hasConcept C207405024 @default.
• W2624734358 hasConcept C24890656 @default.
• W2624734358 hasConcept C2778355321 @default.
• W2624734358 hasConcept C2780992000 @default.
• W2624734358 hasConcept C2781311116 @default.
• W2624734358 hasConcept C33676613 @default.
• W2624734358 hasConcept C33923547 @default.
• W2624734358 hasConcept C41008148 @default.
• W2624734358 hasConcept C62520636 @default.
• W2624734358 hasConcept C97137487 @default.
• W2624734358 hasConceptScore W2624734358C114614502 @default.
• W2624734358 hasConceptScore W2624734358C118615104 @default.
• W2624734358 hasConceptScore W2624734358C121332964 @default.
• W2624734358 hasConceptScore W2624734358C153269930 @default.
• W2624734358 hasConceptScore W2624734358C163258240 @default.
• W2624734358 hasConceptScore W2624734358C199360897 @default.
• W2624734358 hasConceptScore W2624734358C207405024 @default.
• W2624734358 hasConceptScore W2624734358C24890656 @default.
• W2624734358 hasConceptScore W2624734358C2778355321 @default.
• W2624734358 hasConceptScore W2624734358C2780992000 @default.
• W2624734358 hasConceptScore W2624734358C2781311116 @default.
• W2624734358 hasConceptScore W2624734358C33676613 @default.
• W2624734358 hasConceptScore W2624734358C33923547 @default.
• W2624734358 hasConceptScore W2624734358C41008148 @default.
• W2624734358 hasConceptScore W2624734358C62520636 @default.
• W2624734358 hasConceptScore W2624734358C97137487 @default.
• W2624734358 hasLocation W26247343581 @default.
• W2624734358 hasOpenAccess W2624734358 @default.
• W2624734358 hasPrimaryLocation W26247343581 @default.
• W2624734358 hasRelatedWork W1503555929 @default.
• W2624734358 hasRelatedWork W1559446374 @default.
• W2624734358 hasRelatedWork W1890636210 @default.
• W2624734358 hasRelatedWork W2058921600 @default.
• W2624734358 hasRelatedWork W2080034744 @default.
• W2624734358 hasRelatedWork W2124005012 @default.
• W2624734358 hasRelatedWork W2137828924 @default.
• W2624734358 hasRelatedWork W2142716986 @default.
• W2624734358 hasRelatedWork W2183941084 @default.
• W2624734358 hasRelatedWork W2184246399 @default.
• W2624734358 hasRelatedWork W2185718957 @default.
• W2624734358 hasRelatedWork W2749098850 @default.

• next