[論文レビュー] The Quantum Variance of the Modular Surface

Peter Sarnak, Peng Zhao+1 more|arXiv (Cornell University)|Mar 27, 2013

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

ひとこと要約

本稿は、半古典的極限におけるモジュラー面上の可観測量の量子分散を計算し、その分散がモジュラー群の既約表現によって対角化され、測地線流れの古典的分散に、対称平方L関数の微妙な算術的特別値によって補正が加わることを示している。この結果は、L関数およびモジュラー面上の自動形式を通じて、量子カオスと数論の間に深い接点を確立する。

ABSTRACT

The variance of observables of quantum states of the Laplacian on the modular surface is calculated in the semiclassical limit. It is shown that this hermitian form is diagonalized by the irreducible representations of the modular quotient and on each of these it is equal to the classical variance of the geodesic flow after the insertion of a subtle arithmetical special value of the corresponding $L$-function.

研究の動機と目的

• モジュラー面上の可観測量の半古典的極限における量子分散を特定すること。
• モジュラー面上の測地線流れの古典的分散と量子分散の間の明確な関係を確立すること。
• 量子分散がモジュラー群の既約表現によって対角化され、対称平方L関数の特別値を用いて表現されることを示すこと。
• 以前の正則形式および特別な可観測量に関する結果を、位相空間上の一般の滑らかな可観測量へと拡張すること。
• 量子分散が測地線流れおよび時間反転に関して不変であること、およびその双線形性と異なる自動形式表現間での直交性を確立すること。

提案手法

• 著者らは、$ \Gamma\backslash G $ 上の滑らかで、$ K $-有限かつ平均がゼロの関数の空間に、限界量子分散を捉えるセミリニア形式 $ Q $ を定義する。
• 彼らは、マイヤス尖点形式およびそれらに付随する$L$-関数、特に $ L(1, \mathrm{sym}^2 \phi_j) $ を、分散和における調和重みとして用いる。
• この手法には、アンフォールディング技術およびマイヤス形式とその重み$ k $シフトのフーリエ展開が含まれ、ホイットラー関数およびベッセル関数の恒等式が用いられる。
• 著者らは、クズネツォフのトレース公式および超幾何関数とベッセル関数を含む積分変換を用いて、ウィグナー分布の行列要素を評価する。
• 彼らはスターリングの公式と漸近的解析を用いて、トレース公式から生じる振動的積分を評価し、主要項を特定する。
• 鍵となる技術的ステップは、量子分散を古典的分散に結びつけることであり、その際、対称平方$L$-関数の特別値 $ L(1, \mathrm{sym}^2 \pi) $ が関与する。

実験結果

リサーチクエスチョン

• RQ1 モジュラー面上の可観測量の量子分散は、半古典的極限においてどのように振る舞うか？
• RQ2 モジュラー面上の測地線流れの古典的分散と量子分散の間の明確な関係は何か？
• RQ3 算術的不変量としての$L$-関数の特別値は、量子分散の式にどのように関与するか？
• RQ4 なぜ量子分散はモジュラー群の既約表現によって対角化されるのか？
• RQ5 量子分散は、測地線流れおよび時間反転に関して不変な双線形形式として表現可能か？

主な発見

• 量子分散は、$ T \to \infty $ の極限において存在し、well-defined である限界セミリニア形式 $ Q(\psi_1, \psi_2) $ として与えられる。
• 形式 $ Q $ はモジュラー群の既約表現によって対角化され、各表現においては、測地線流れの古典的分散に、対称平方$L$-関数の特別値によって補正が加わったものに等しい。
• 可観測量が $ z \in X $ のみに依存する場合、量子分散が $ \asymp \log T $ であることが示され、ウェイルの法則による $ T^{1+\epsilon} $ の増加と整合的である。
• 量子分散は測地線流れおよび時間反転に関して不変であり、これは量子一意的エルゴドリシティの文脈において自然な対象であることを示唆する。
• Poincaré級数における明示的評価およびヘッケ作用素の自己随伴性を用いて、$ Q $ が異なる自動形式表現間で直交していることが確立された。
• 分散和の主要項は $ Q(Op(L_2(f_\tau - f), g)) \log T $ であり、対応する対数発散および$L$-関数補正の役割が確認された。