[論文レビュー] Quantum unique ergodicity

Steve Zelditch|arXiv (Cornell University)|Jan 27, 2003

Quantum chaos and dynamical systems参考文献 5被引用数 3

ひとこと要約

この論文は、量子的一意的遍歴性（QUE）を満たす系において、固有関数間の擬微分作用素の非対角行列要素が、固有値ギャップが消えるときに0に収束することを確立している。主な結果は、有限個の主要周波数しか持たない準モードと特異な古典的極限を持つものがQUE系に存在できないことを示しており、これにより、スタジアムやDonnellyの曲面のような局在的準モードを支持する系は、QUEでないことが示唆される。

ABSTRACT

This short note proves that a Laplacian cannot be quantum uniquely ergodic if it possesses a quasimode of order zero which (i) has a singular limit, and (ii) is a linear combination of a uniformly bounded number of eigenfunctions (modulo an o(1) error). Bouncing ball quasimodes of the stadium are believed to have this property (E.J. Heller et al) and so are analogous quasimodes recently constructed by H. Donnelly on certain non-positively curved surfaces. The main ingredient is the proof that all sequences of off-diagonal matrix elements of QUE systems with vanishing spectral gaps tend to zero.

研究の動機と目的

• QUE系における非対角行列要素の漸近的挙動を分析すること。
• 特異な古典的極限（例えば、周期軌道上のスカラリング）を伴う準モードとQUE性の整合性を調査すること。
• 少数の主要周波数と非リウヴィル極限を持つ準モードを支持する系に対してQUEを除外するための基準を確立すること。
• スタジアムやDonnellyの曲面のような系が準モード構造に基づいて非QUEであることを理論的に裏付ける根拠を提供すること。

提案手法

• 行列要素 $ \langle A\varphi_i, \varphi_j \rangle $ に関連する測度 $ d\tilde{\Phi}_{i,j} $ の弱*極限を用いて漸近的挙動を分析する。
• 量子遍歴性に関する先行研究から知られているように、弱*極限が測地線フローに関して不変であることを適用する。
• 遍歴性と絶対連続性から、$ d\tilde{\Phi}_{i,j} $ の任意の弱*極限はLiouville測度 $ dL $ の定数倍でなければならないことを示す。
• 正規直交性と $ A = I $ の極限におけるトレース条件を用いて、$ i \neq j $ の場合にその定数が0でなければならないことを証明する。
• 準モードに適用するため、周波数集合 $ \Lambda_k $ が有界であるような固有関数への分解を行い、$ n(k) \leq C $ を仮定する。
• QUE仮定のもとで、このような準モードが特異な極限測度 $ d\mu \neq dL $ を持つと仮定すると矛盾を導く。

実験結果

リサーチクエスチョン

• RQ1 有限個の主要周波数と特異な古典的極限を持つ準モードは、量子的一意的遍歴性（QUE）を満たす系に存在しうるか？
• RQ2 固有値クラスタリングと局在的準モードを伴う系における量子的一意的遍歴性の失敗との関係は何か？
• RQ3 小固有値ギャップにおける非対角行列要素の消滅が、QUE系における準モード構造にどのような制約を課えるか？
• RQ4 非局所的極限に基づく「ソフトスカラリング基準」——準モード行列要素の特異極限に基づくもの——を用いてQUEを除外するにはどの程度有効か？
• RQ5 スタジアムやDonnellyの非正曲率曲面のような系が、少数の主要周波数を持つ準モードを支持する場合、それらは必然的に非QUEであると言えるか？

主な発見

• 任意のQUE系において、$ |\lambda_i - \lambda_j| \to 0 $ のとき、$ i \neq j $ であっても非対角行列要素 $ \langle A\varphi_i, \varphi_j \rangle $ は0に収束する。
• このような行列要素に関連する測度 $ d\tilde{\Phi}_{i,j} $ の任意の弱*極限は、Liouville測度 $ dL $ の定数倍でなければならない。
• $ i \neq j $ の場合、固有関数の正規直交性と $ A = I $ のトレース条件により、その定数は0である。
• 一様に有界な $ n(k) \leq C $ と特異な古典的極限 $ d\mu \neq dL $ を持つ0次準モード $ \{\psi_k\} $ は、QUE系に存在できない。
• これは、スタジアムやDonnellyの曲面が少数の主要周波数とスカラリングを伴う準モードを支持するならば、それらはQUEでないことを示唆する。
• この結果により、このような系が準モード構造に基づいて非QUEであるという広く共有されている信念に理論的根拠を与える。