[論文レビュー] Hadamard triples generate self-affine spectral measures

Dorin Ervin Dutkay, Chun‐Kit Lai+1 more|arXiv (Cornell University)|Jun 4, 2015

Mathematical Analysis and Transform Methods参考文献 40被引用数 20

ひとこと要約

この論文は、$R$ が拡大整数行列で、$B, L$ が有限整数デジット集合であるヘルミートトリプル $(R, B, L)$ によって生成される任意の自己同型測度が、スペクトル測度であることを証明している。つまり、$L^2(\mu)$ 内に指数関数の正規直交基底を有する。証明は帰納法、準積型分解、および条件付き測度における調和解析を用いて行われ、ジョルゲンセンとペデルセンによる長年の予想を解決する。

ABSTRACT

Let $R$ be an expanding matrix with integer entries and let $B,L$ be finite integer digit sets so that $(R,B,L)$ form a Hadamard triple on ${\br}^d$. We prove that the associated self-affine measure $μ= μ(R,B)$ is a spectral measure, which means it admits an orthonormal bases of exponential functions in $L^2(μ)$. This settles a long-standing conjecture proposed by Jorgensen and Pedersen and studied by many other authors.

研究の動機と目的

• ヘルミートトリプルから生じるすべての自己同型測度がスペクトル測度であるという長年の予想を解決すること。
• 自己同型集合上の特異的で非原子的測度が、$L^2(\mu)$ 内に指数関数の正規直交基底を有するための条件を確立すること。
• IFS の構造的分解と条件付き測度のスペクトル特性を用いて、一次元における既存の結果を任意次元に一般化すること。
• ヘルミートトリプル条件を用いて、スペクトル自己同型測度を完全に特徴づけることにより、これまでの部分的な結果を統合すること。

提案手法

• 次元 $d$ における帰納法を用い、一次元における既知の結果から出発する。
• $\mathbb{Z}[R,B] = \mathbb{Z}^d$ を満たすように共役を適用し、代数的構造を単純化する。
• 命題 2.7 を用いて、システムを準積型形式に分解し、問題を低次元成分に分離する。
• 帰納法の仮定により、最初の成分測度 $\mu_1$ がスペクトルであることを証明する。
• 測度 $\mu_1$-ほとんど everywhere での $x$ に対して、条件付き測度 $\mu_x^2$ がスペクトル $\Gamma_2$ を有することを、準積型構造を用いて確立する。
• スペクトル $\Lambda_1$ と $\Gamma_2$ を組み合わせて $\Lambda_1 \times \Gamma_2$ を構成し、パーサバルの恒等式とフーリエ解析を用いて、これが全測度 $\mu$ のスペクトルであることを証明する。

実験結果

リサーチクエスチョン

• RQ1 ヘルミートトリプル $(R,B,L)$ から生じる自己同型測度 $\mu(R,B)$ は、$L^2(\mu)$ 内に指数関数の正規直交基底を有するか？
• RQ2 還元可能性や対称性といった追加仮定なしに、ヘルミートトリプル条件のみを用いて、任意次元における自己同型測度のスペクトル性を確立できるか？
• RQ3 準積型分解は、高次元自己同型測度のスペクトルを構成する際に果たす役割は何か？
• RQ4 繊維に沿った条件付き測度は、自己同型測度のグローバルなスペクトル的性質とどのように関係するか？

主な発見

• ヘルミートトリプル $(R,B,L)$ が成り立つ限り、自己同型測度 $\mu(R,B)$ はスペクトル測度である。これはジョルゲンセンとペデルセンの予想を確認する。
• $\mu(R,B)$ のスペクトルは、$\Lambda_1$（最初の成分測度のスペクトル）と $\Gamma_2$（ほとんどすべての条件付き測度 $\mu_x^2$ のスペクトル）の積 $\Lambda_1 \times \Gamma_2$ として構成可能である。
• 証明は、測度のフーリエ変換がパーサバル型の恒等式を満たすことに依存している：ほとんど everywhere で $\sum_{\lambda_1, \gamma_2} |\widehat{\mu}(x + \lambda_1, y + \gamma_2)|^2 = 1$。
• 重複なし条件により、測度がそのシリンダーセットによって一意に定義され、元の測度がその共役対応物 $\mu_1^\dagger$ と同定可能であることが保証される。
• 準積型分解により、$d$ 次元問題が低次元スペクトル問題に還元可能となり、スペクトルの帰納的構成が可能になる。
• この結果は、すべての拡大整数行列 $R$ および、行列 $H = \frac{1}{\sqrt{N}}[e^{2\pi i \langle R^{-1}b, \ell \rangle}]_{b \in B, \ell \in L}$ のユニタリティ条件を満たす有限デジット集合 $B, L$ に対して成り立つ。