Classification of integral expanding matrices and self-affine tiles (Q1611072): Difference between revisions

From MaRDI portal
Import240304020342 (talk | contribs)
Set profile property.
Normalize DOI.
 
(One intermediate revision by one other user not shown)
Property / DOI
 
Property / DOI: 10.1007/s00454-001-0091-2 / rank
Normal rank
 
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.1007/s00454-001-0091-2 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W2024190285 / rank
 
Normal rank
Property / DOI
 
Property / DOI: 10.1007/S00454-001-0091-2 / rank
 
Normal rank

Latest revision as of 22:37, 10 December 2024

scientific article
Language Label Description Also known as
English
Classification of integral expanding matrices and self-affine tiles
scientific article

    Statements

    Classification of integral expanding matrices and self-affine tiles (English)
    0 references
    0 references
    0 references
    9 October 2003
    0 references
    An expanding integral matrix is \(A\in M_n(\mathbb{Z})\) with all eigenvalues of absolute value \(>1\). If \(|\det A|=q\), let \(D=\{d_1, \dots ,d_q\} \subseteq \mathbb{Z}^n\) be a set of \(q\) distinct vectors, called a \(q\)-digit set. The affine maps \(w_j(x)=A^{-1}(x+d_j)\), \(j=1,\dots,q\), form a so-called iterated function system. The unique compact set \(T\) such that \(T= \bigcup^q_{j= 1} w_j(T)\) is called the attractor of the system and is explicitly given by \(T=T(A,D)= \sum^\infty_{i=1} A^{-i}d_{j_i}: d_{j_i}\in D\). Its Lebesgue measure \(\mu(T)\) is an integer; if \(\mu(T)>0\), \(T\) is called an integral self-affine tile. In order to classify expanding integral matrices it is useful to consider \(\mathbb{Z}\)-similarity of matrices: \(A\sim B\) if there exists a unimodular matrix \(P\in M_n(\mathbb{Z})\) such that \(P^{-1}AP=B\). Lagarias and Wang used characteristic polynomials to show that each integral expanding polynomial (with all roots of absolute value \(>1)\) \(f(x)= x^2 +ax+q\), \(|q|=2\), corresponds to exactly one \(\mathbb{Z}\)-similar class of expanding matrices \(A\in M_2 (\mathbb{Z})\), and since there are 6 such polynomials, there are exactly 6 \(\mathbb{Z}\)-similar classes of \(2\times 2\) expanding integral matrices \(A\) with \(|\det A |=2\). The authors consider the classification problem of \(A\in M_2 (\mathbb{Z})\) with \(|\det A|=3\), 4 and 5. For \(|\det A|=3\) there are 10 characteristic polynomials; for 9 of them \(A\) is \(\mathbb{Z}\)-similar to the companion matrix. But for \(f(x)=x^2+3\), \(A\) is \(\mathbb{Z}\)-similar to either the companion matrix or to \(\left(\begin{smallmatrix} 1 & 2\\ -2 & -1\end{smallmatrix} \right)\). For \(|\det A|=4\) there are 14 characteristic polynomials, 4 with 1, 7 with 2, 1 with 3, and 2 with \(\infty\) many \(\mathbb{Z}\)-similarity classes, respectively. For \(|\det A|=5\) there are 18 characteristic polynomials, 14 with unique, and 4 with two \(\mathbb{Z}\)-similarity classes. Using their classification the authors further show that in the case \(|\det A|=3\), \(\mu(T)>0\) if and only if \(D\) is a standard digit set.
    0 references
    self-affine tiles
    0 references
    \(\mathbb{Z}\)-similarity of matrices
    0 references
    iterated function system
    0 references
    attractor
    0 references
    expanding integral matrices
    0 references
    characteristic polynomials
    0 references

    Identifiers