[논문 리뷰] Quantitative weak mixing for random substitution tilings

Rodrigo Treviño|arXiv (Cornell University)|2020. 06. 30.

Stochastic processes and statistical mechanics인용 수 4

한 줄 요약

이 논문은 고차원에서의 랜덤 치환 타일링에 대한 스펙트럼 측도의 국소 차원에 대한 정량적 하한을 설정하며, 1차원 시스템에서 부푸토브-솔로마크의 작업을 확장한다. 비틀린 에르고딕 적분을 분석하고, 브라텔리 다이어그램과 트레이스 코호몰로지 코프를 사용한 코호몰로지 기법을 통해, 타일링 공간에서 $\mathbb{R}^d$ 작용에 대한 균일한 약한 혼합성을 증명하며, 스펙트럼 측도가 점에 집중될 수 없음을 보여주며, 고유함수에 대한 정량적 장벽을 제공한다.

ABSTRACT

For $N$ compatible substitution rules on $M$ prototiles $t_1,\dots,t_M$, consider tilings and tiling spaces constructed by applying the different substitution rules at random. These give (globally) random substitution tilings. In this paper I obtain bounds for the growth on twisted ergodic integrals for the $\mathbb{R}^d$ action on the tiling space which give lower bounds on the lower local dimension of spectral measures. For functions with some extra regularity, uniform bounds on the lower local dimension are obtained. The results here extends results of Bufetov-Solomyak to tilings of higher dimensions.

연구 동기 및 목표

• 1차원에서의 정량적 약한 혼합 결과를 고차원 랜덤 치환 타일링으로 확장하기.
• 타일링 공간에서 $\mathbb{R}^d$ 작용에 대한 스펙트럼 측도의 국소 차원에 하한을 설정하기.
• 비틀린 에르고딕 적분과 귀환 벡터 역학을 분석하여 균일한 약한 혼합성을 증명하기.
• 스펙트럼 측도가 델타 함수가 될 수 없음을 보여주어, 비자명한 스펙트럼 집중을 가진 고유함수를 배제하기.

제안 방법

• 스펙트럼 측도 집중을 정량화하기 위해 비틀린 에르고딕 적분 $\mathcal{S}^{\mathcal{T}}_R(f,\lambda)$를 사용한다.
• 베히 기준과 그 코호몰로지 보완을 적용하여 스펙트럼 성질과 귀환 벡터 역학을 연결한다.
• 브라텔리 다이어그램과 인덕티브 극한 $C^*$-대수를 사용하여 타일링 공간과 그 트레이스 공간을 모델링한다.
• 트레이스 코프 $\Theta^{(k)}_x$와 정규화 사상 $\Phi_x$를 분석하여 다양한 척도에서의 스펙트럼 행동을 추적한다.
• 에르도스-카한 방법을 활용하여 코호몰로지에서 격자점에서 멀어지는 시간의 밀도를 제어한다.
• 미분형식과 $d_\eta$-코호몰로지를 사용하여 $d_\eta f = 0$를 통해 고유함수 장벽을 연구한다.

실험 결과

연구 질문

• RQ1 1차원을 초월한 $\mathbb{R}^d$에서의 랜덤 치환 타일링에 대해 정량적 약한 혼합성을 확립할 수 있는가?
• RQ2 이러한 시스템에 대해 스펙트럼 측도의 하한 국소 차원에 대해 어떤 하한을 설정할 수 있는가?
• RQ3 비틀린 에르고딕 적분은 스펙트럼 측도 집중과 고유함수 장벽과 어떻게 관련되는가?
• RQ4 귀환 벡터 역학과 트레이스 코프는 스펙트럼 성질을 어느 정도 제어하는가?
• RQ5 추가 정규성 조건을 만족하는 함수에 대해 국소 차원에 대한 균일한 하한을 확보할 수 있는가?

주요 결과

• 함수 $f \in \bar{\Delta}^0_{\mathcal{T}}$에 대해 스펙트럼 측도의 하한 국소 차원은 2 이상이므로 $d_f^-(\lambda) \geq 2$임을 의미한다.
• $f \in \bar{\Delta}^0_{\mathcal{T}}$이면, $r < 1/2$일 때 $\mu_f(B_r(\lambda)) \leq C' r^2$를 만족하며, 이는 $d_f^-(\lambda) \geq 2$를 확인한다.
• 만약 $\eta = \sum \eta_k dx_k$가 상수 함수가 아니라면, 코호몰로지 방정식 $d_\lambda u = \omega$는 해를 가지지 않으며, 이는 $H^0_\eta(\Omega;\mathbb{C})$가 자명함을 의미한다.
• 시스템은 균일하게 약한 혼합성을 띤다: $L^2$에서 비자명한 고유함수는 존재하지 않으며, 스펙트럼 측도가 델타 함수일 수 없기 때문이다.
• 트레이스 코프 $\Theta^{(k)}_x$는 비틀린 적분의 성장을 제어하며, 스펙트럼 측도의 감쇠에 대한 정량적 하한을 가능하게 한다.
• 코호몰로지에서 격자점에서 멀어지는 시간의 밀도 $\mathcal{D}_N^x$는 1에서 멀리 떨어져 있으므로, 스펙트럼 집중을 방지한다.