[논문 리뷰] Spectral Theory of Substitutions in $\mathbb{Z}^d$

Alan Bartlett|arXiv (Cornell University)|2014. 10. 29.

semigroups and automata theory참고 문헌 21인용 수 6

한 줄 요약

이 논문은 $ζ^d$ 치환에 대한 스펙트럼 이론을 개발하며, 치환 규칙의 행렬 표현을 기반으로 한 새로운 알고리즘을 사용하여 $L^2$ 위의 이동 연산자의 최대 스펙트럼 유형을 상호 독립적인 순수 유형의 측도로 특성화한다. 비순환적 $ζ^d$ 치환에 대해 스펙트럼의 단일성과 함께, 큐페lec의 비가환적 이항 치환과 테이블 타일링에 대해 개방 문제를 해결한다.

ABSTRACT

In this paper, we generalize and develop results of Queffelec allowing us to characterize the spectrum of an aperiodic substitution in $\mathbb{Z}^d$ by describing the Fourier coefficients of mutually singular measures of pure type giving rise to the maximal spectral type of its Koopman representation. We note that this is done without the assumptions of primitivity or trivial height, and provides a simple algorithm for determining singularity to Lebesgue spectrum for such substitutions. This is used to show that the spectrum of any aperiodic bijective and commutative $\mathbb{Z}^d$ substitution on a finite alphabet is purely singular. Additionally, we use the algorithm to show singularity of the spectrum for Queffelec's noncommutative bijective substitution, as well as the Table tiling, answering an open question of Solomyak.

연구 동기 및 목표

• 1차원 치환에 대한 큐페lec의 스펙트럼 이론을 고차원 $ζ^d$ 치환으로 일반화하기 위해.
• 기하학적 조건이나 높이 조건을 가정하지 않고 $L^2$ 위의 이동 연산자의 최대 스펙트럼 유형을 특성화하기 위해.
• 비순환적 ${\mathbf{q}}$-치환의 스펙트럼 성분(이산, 특이 연속, 절대 연속)을 계산 가능한 알고리즘을 개발하기 위해.
• 퀘프레lec의 비가환적 이항 치환과 테이블 타일링을 포함한 퀀티크리스탈 모델에서의 스펙트럼 단일성에 대한 개방 문제를 해결하기 위해.
• 콤���트 메트릭 공간 위의 에르고딕 행렬 측도에 대한 대각화 결과를 확립하여 스펙트럼 분석의 기본 도구로 활용하기 위해.

제안 방법

• 치환을 지시 행렬 ${\mathcal{R}}_{\mathbf{j}}$, 치환 행렬 $M_{\mathcal{S}}$, 그리고 크로네커 곱을 통해 정의된 공 coincidence 행렬 $C_{\mathcal{S}}$를 사용한 행렬 대수로 표현하기 위해.
• 스펙트럼 캄프 ${\mathcal{K}}({\mathcal{S}})$를 $C_{\mathcal{S}}$의 강한 양성 왼쪽 $Q$-고유벡터의 집합으로 정의하며, 정규화 및 양성 조건을 만족시킨다.
• ${\mathbf{q}}$-adic 산술과 재치환을 사용하여 상관 측도 $\widehat{\Sigma}({\mathbf{k}})$를 일반화된 지시 ${\mathcal{R}}_{\mathbf{j}}^{(n)}$를 통해 재귀적으로 표현하기 위해.
• 스펙트럼 캄프 ${\mathcal{K}}^*$에 속한 벡터를 통해 상관 측도 $\sigma_{\alpha\beta}$의 선형 조합으로 스펙트럼 측도를 구성하며, 순수 유형 성분 간의 상호 독립성을 보장하기 위해.
• 에르고딕 행렬 측도에 대한 대각화 정리를 적용하여 최대 스펙트럼 유형을 순수 스펙트럼 성분으로 분해하기 위해.
• 식별 가능성과 비순환성에 기반하여 스펙트럼 캄프가 중복 없이 전체 스펙트럼 분해를 포괄함을 보장하기 위해.

실험 결과

연구 질문

• RQ1 비순환적 $ζ^d$ 치환의 스펙트럼 유형은 기하학적 조건이나 자명한 높이 조건을 가정하지 않고 특성화할 수 있는가?
• RQ2 특정 ${\mathbf{q}}$-치환의 스펙트럼에서 이산, 특이 연속, 절대 연속 성분을 계산하는 알고리즘적 절차는 무엇인가?
• RQ3 큐페lec의 비가환적 이항 $ζ^d$ 치환의 스펙트럼은 추측된 바와 같이 순수하게 특이 연속적인가?
• RQ4 유명한 비순환 타일링인 테이블 타일링은 솔로미악가 제기한 개방 문제에 따라 순수하게 특이 연속적인 스펙트럼을 갖는가?
• RQ5 콤팩트 메트릭 공간 위의 모든 에르고딕 행렬 측도는 대각화 가능한가? 그리고 이는 스펙트럼 분석에 어떻게 기여하는가?

주요 결과

• 비순환적 ${\mathbf{q}}$-치환의 최대 스펙트럼 유형 $\sigma_{\text{max}}$는 서로 상호 독립적인 순수 유형의 측도로 분해되며, 각 측도는 스펙트럼 캄프 ${\mathcal{K}}^*$의 극점에 대응한다.
• 스펙트럼 캄프 ${\mathcal{K}}({\mathcal{S}})$는 $C_{\mathcal{S}}^t{\mathbf{v}} = Q{\mathbf{v}}$의 해로 명시적으로 특성화되며, ${\mathbf{v}} \gg 0$ 이고 정규화된 추적을 만족하여 양성과 스펙트럼 순수성을 보장한다.
• 모든 비순환적 이항 가환 ${\mathbf{q}}$-치환의 스펙트럼은 순수하게 특이 연속적이며, 이는 퀀티크리스탈 스펙트럼 이론에서 핵심적인 사례를 해결한다.
• 알고리즘이 큐페lec의 비가환적 이항 치환과 테이블 타일링에 대해 성공적으로 단일성을 증명하여 솔로미악의 개방 문제를 해결한다.
• 논문은 콤팩트 메트릭 공간 위의 모든 에르고딕 행렬 측도가 대각화 가능하다는 것을 확립하며, 이는 스펙트럼 분해에 사용되는 기본 결과이다.
• 스펙트럼 측도의 푸리에 계수는 재귀 공식 $\widehat{\Sigma}({\mathbf{k}}) = \frac{1}{Q^n} \sum_{{\mathbf{j}} \in [{\mathbf{0}}, {\mathbf{q}}^n)} {\mathcal{R}}_{\mathbf{j}}^{(n)} \otimes {\mathcal{R}}_{{\mathbf{j}}+{\mathbf{k}}}^{(n)} \widehat{\Sigma}(\lfloor{\mathbf{j}}+{\mathbf{k}}\rfloor_n)$를 통해 계산 가능하며, 이는 명시적 스펙트럼 계산을 가능하게 한다.