Undecidability of the Membership Problem for a Diagonal Matrix in a Matrix Semigroup*
-
Upload
charlton-alberto -
Category
Documents
-
view
25 -
download
0
description
Transcript of Undecidability of the Membership Problem for a Diagonal Matrix in a Matrix Semigroup*
![Page 1: Undecidability of the Membership Problem for a Diagonal Matrix in a Matrix Semigroup*](https://reader035.fdocuments.us/reader035/viewer/2022062422/568138e6550346895da098a6/html5/thumbnails/1.jpg)
Undecidability of the Membership Undecidability of the Membership Problem for a Diagonal Matrix in a Problem for a Diagonal Matrix in a
Matrix Semigroup*Matrix Semigroup*
Paul BellPaul Bell
University of LiverpoolUniversity of Liverpool
*Joint work with I.Potapov*Joint work with I.Potapov
![Page 2: Undecidability of the Membership Problem for a Diagonal Matrix in a Matrix Semigroup*](https://reader035.fdocuments.us/reader035/viewer/2022062422/568138e6550346895da098a6/html5/thumbnails/2.jpg)
IntroductionIntroduction
• Definitions.• Motivation.• Description of the problem.• Outline of the proof.• Conclusion.
![Page 3: Undecidability of the Membership Problem for a Diagonal Matrix in a Matrix Semigroup*](https://reader035.fdocuments.us/reader035/viewer/2022062422/568138e6550346895da098a6/html5/thumbnails/3.jpg)
Some DefinitionsSome Definitions
• Reachability for a set of matrices asks if a particular matrix can be produced by multiplying elements of the set.
• Formally we call this set a generator, G, and use this to create a semigroup, S, such that:
![Page 4: Undecidability of the Membership Problem for a Diagonal Matrix in a Matrix Semigroup*](https://reader035.fdocuments.us/reader035/viewer/2022062422/568138e6550346895da098a6/html5/thumbnails/4.jpg)
Known ResultsKnown Results•The reachability for the zero matrix is undecidable in 3D (Mortality problem)[1].
• Long standing open problems:• Reachability of identity matrix in any dimension > 2.• Membership problem in dimension 2.
[1] - “Unsolvability in 3 x 3 Matrices” – M.S. Paterson (1970)
Dimension Zero
Matrix
Identity
Matrix
Membership problem
Scalar Matrix
1 D D D D
2 ? D ? ?
3 U ? U ?
4 U ? U ?
![Page 5: Undecidability of the Membership Problem for a Diagonal Matrix in a Matrix Semigroup*](https://reader035.fdocuments.us/reader035/viewer/2022062422/568138e6550346895da098a6/html5/thumbnails/5.jpg)
A Related ProblemA Related Problem• We consider a related problem to those on
the previous slide; the reachability of a diagonal matrix.
• For a matrix semigroup:• Theorem 1 : The reachability of the diagonal
matrix is undecidable in dimension 4.• Theorem 2 : The reachability of the scalar matrix is
undecidable in dimension 4.
• We show undecidability by reduction of Post’s correspondence problem.
![Page 6: Undecidability of the Membership Problem for a Diagonal Matrix in a Matrix Semigroup*](https://reader035.fdocuments.us/reader035/viewer/2022062422/568138e6550346895da098a6/html5/thumbnails/6.jpg)
The Scalar MatrixThe Scalar Matrix• The scalar matrix can be thought of as the
product of the identity matrix and some k:
• The scalar matrix is often used to resize an objects vertices whilst preserving the object’s shape.
![Page 7: Undecidability of the Membership Problem for a Diagonal Matrix in a Matrix Semigroup*](https://reader035.fdocuments.us/reader035/viewer/2022062422/568138e6550346895da098a6/html5/thumbnails/7.jpg)
Post’s Correspondence ProblemPost’s Correspondence Problem• We are given a set of pairs of words.
• Try to find a sequence of these ‘tiles’ such that the top and bottom words are equal.
• Some examples are much more difficult.
![Page 8: Undecidability of the Membership Problem for a Diagonal Matrix in a Matrix Semigroup*](https://reader035.fdocuments.us/reader035/viewer/2022062422/568138e6550346895da098a6/html5/thumbnails/8.jpg)
PCP EncodingPCP Encoding• We can think of the solution to the PCP as a
palindrome:
10 10 10 01 01 1 10 10 10 01 01 1 • • 11 010 010 1 0 1 11 010 010 1 0 1
• Four dimensions are required in total.
• This technique cannot be used for the reachability of the identity matrix.
![Page 9: Undecidability of the Membership Problem for a Diagonal Matrix in a Matrix Semigroup*](https://reader035.fdocuments.us/reader035/viewer/2022062422/568138e6550346895da098a6/html5/thumbnails/9.jpg)
PCP Encoding (2)PCP Encoding (2)• We use the following matrices for coding:
12
011
10
210
12
011 1
10
210 1
• These form a free semigroup and can be used to encode the PCP words.
10 1 0 10 1 0 • • 01 0 1 01 0 1
E
12
01
10
21
12
01
10
21
10
21
12
01
10
21
12
01
![Page 10: Undecidability of the Membership Problem for a Diagonal Matrix in a Matrix Semigroup*](https://reader035.fdocuments.us/reader035/viewer/2022062422/568138e6550346895da098a6/html5/thumbnails/10.jpg)
Index CodingIndex Coding• We use an index coding which also forms a palindrome:
1312 (1) 01000101001 (1) 00101000101
• We require two additional auxiliary matrices.
• We also used a prime factorization of integers to limit the number of auxiliary matrices.
![Page 11: Undecidability of the Membership Problem for a Diagonal Matrix in a Matrix Semigroup*](https://reader035.fdocuments.us/reader035/viewer/2022062422/568138e6550346895da098a6/html5/thumbnails/11.jpg)
Final PCP EncodingFinal PCP Encoding• For a size n PCP we require 4n+2
matrices of the following form:
• W - Word part of matrix.
• I - Index part.
• F - Factorization part.
![Page 12: Undecidability of the Membership Problem for a Diagonal Matrix in a Matrix Semigroup*](https://reader035.fdocuments.us/reader035/viewer/2022062422/568138e6550346895da098a6/html5/thumbnails/12.jpg)
A CorollaryA Corollary• By using this coding, a correct solution to the PCP will be the matrix:
210000
021000
0010
0001
• We can now add a further auxiliary matrix to reach the scalar matrix:
210000
0210
00
000
000
k
kk
k
• In fact we can reach any (non identity) diagonal matrix where no element equals zero.
![Page 13: Undecidability of the Membership Problem for a Diagonal Matrix in a Matrix Semigroup*](https://reader035.fdocuments.us/reader035/viewer/2022062422/568138e6550346895da098a6/html5/thumbnails/13.jpg)
ConclusionConclusion
• We proved the reachability of any scaling matrix (other than identity or zero) is undecidable in any dimension >= 4.
• Future work could consider lower dimensions.
• Prove a decidability result for the identity matrix.