[論文レビュー] $L^2$-spectral invariants and quasi-crystal graphs

Gábor Elek|ArXiv.org|Jul 7, 2006

Quasicrystal Structures and Properties参考文献 3被引用数 5

ひとこと要約

本稿は、準結晶グラフ—非周期的順序と明確なパターン周波数を有するグラフ—に対して、パターン周波数代数を導入することで、$L^2$-スペクトル近似定理を確立する。スペクトル分布関数の均等収束を証明し、離散シュレーディンガー作用素のFuglede-Kadison行列式が1以上であることを示し、Lückの$L^2$-近似定理をアメーブル／再帰的有限群を超えて一般化する。

ABSTRACT

Introducing and studying the pattern frequency algebra, we prove the analogue of Lück's approximation theorems on $L^2$-spectral invariants in the case of aperiodic order. These results imply a uniform convergence theorem for the integrated density of states as well as the positivity of the logarithmic determinant of certain discrete Schrodinger operators.

研究の動機と目的

• 群論的仮定が成立しない非周期的構造、例えば準結晶に、Lückの$L^2$-スペクトル近似定理を拡張すること。
• 非周期的状況における群代数の代替として、パターン周波数代数を定義し、その性質を調査すること。
• 有限体積スペクトル分布関数が、準結晶グラフ上で$L^2$-スペクトル不変量に均等収束することを確立すること。
• このようなグラフ上の離散シュレーディンガー作用素のFuglede-Kadison行列式の正定性を証明すること。
• 有界幾何を有する非周期的順序を有するグラフへ、状態密度関数およびスペクトル不変量に関する結果を一般化すること。

提案手法

• グラフ上のパターン不変行列からなるパターン周波数代数$P_G$を導入し、行列の成分が頂点の局所的パターンにのみ依存することを定義する。
• $P_G$が生成するvon Neumann代数上での$L^2$トレース$\operatorname{Tr}_G$を定義し、群トレース$\operatorname{Tr}_\Gamma$を一般化する。
• グラフ内のF{ø}lner列$\{Q_n\}$を用いて、作用素$B$の有限次元近似$B_n = p_{Q_n} B i_{Q_n}$を定義する。
• 分布関数の収束$N_{B_n}(\lambda) \to \sigma_B(\lambda)$を介したスペクトル近似を適用し、ここで$\sigma_B(\lambda) = \operatorname{Tr}_G E^B_\lambda$である。
• Fuglede-Kadison行列式の積分表現を用いる：$\det_\Gamma(B) = \exp\left(\int_0^\infty \log \lambda \, d\mu_B\right)$。
• 積分$\int_0^K \frac{N_{B_n}(\lambda) - N_{B_n}(0)}{\lambda} d\lambda$のliminf/limsup推定と均等収束を用いて、行列式の下界を評価する。

実験結果

リサーチクエスチョン

• RQ1 群構造が存在しない非周期的グラフにおいて、$L^2$-スペクトル不変量を近似することは可能か？
• RQ2 F{ø}lner被覆のもとで、準結晶グラフ上の状態密度関数は均等収束するか？
• RQ3 準結晶グラフ上の正定値自己随伴作用素のFuglede-Kadison行列式は1以上に有界か？
• RQ4 パターン周波数代数は、$L^2$-不変量理論における$\mathbb{C}\Gamma$の非群論的代替として機能可能か？
• RQ5 有限部分グラフ上のスペクトル分布関数は、無限大の準結晶グラフ上の$L^2$-スペクトル測度とどのように関係するか？

主な発見

• 有限近似$B_n$のスペクトル分布関数$N_{B_n}(\lambda)$は、$n \to \infty$のとき、$L^2$-スペクトル測度$\sigma_B(\lambda)$に均等収束する。
• $B_n$の核次元は、$\lim_{n \to \infty} \frac{\dim_{\mathbb{C}} \ker(B_n - \lambda)}{|Q_n|} = \operatorname{Tr}_G S^B_\lambda$を満たし、状態密度関数の均等収束を証明する。
• 正定値自己随伴作用素$B$に対して、Fuglede-Kadison行列式は$\det_G(B) \geq 1$を満たし、$\int_0^\infty \log \lambda \, d\mu_B \geq 0$を意味する。
• 極限$\lim_{\lambda \to 0} \underline{\sigma_B}(\lambda) = \overline{\sigma_B}(0)$が成り立ち、$\lambda=0$におけるスペクトル射影の$L^2$-トレースが適切に定義されることを保証する。
• 証明は、$\int_0^K \frac{N_{B_n}(\lambda) - N_{B_n}(0)}{\lambda} d\lambda \leq \log K$という積分の均等制御に依存しており、これは$n$に依存しない。
• 結果として、Lückの定理は、アメーブル／再帰的有限群から、パターン周波数代数が用いられる非周期的順序を有するグラフへと拡張される。