[論文レビュー] Large deviations for random matrix ensembles in mesoscopic physics

Peter Eichelsbacher, Michael Stolz|ArXiv.org|Oct 26, 2006

Random Matrices and Applications参考文献 21被引用数 11

ひとこと要約

本稿は、カルタンが分類した対称空間の「十重の方法」に拡張されたメソスコピック物理学における確率的行列集合のための大偏差原理（LDP）を確立する。Dysonの三重の方法を拡張し、対数的ポテンシャル論を用いたラゲール型重みを伴う理論を用いて、B、D、DIII、C、CIの各対称性クラスにおける一般化されたウィグナー分布および準四分円分布としてのレート関数の最小化子を明示的に導出する。

ABSTRACT

In his seminal 1962 paper on the ``threefold way'', Freeman Dyson classified the spaces of matrices that support the random matrix ensembles deemed relevant from the point of view of classical quantum mechanics. Recently, Heinzner, Huckleberry and Zirnbauer have obtained a similar classification based on less restrictive assumptions, thus taking care of the needs of modern mesoscopic physics. Their list is in one-to-one correspondence with the infinite families of Riemannian symmetric spaces as classified by Cartan. The present paper develops the corresponding random matrix theories, with a special emphasis on large deviation principles.

研究の動機と目的

• Dysonの古典的確率的行列理論を、三重の方法を越える追加の対称性を持つ現代のメソスコピック系へと拡張すること。
• カルタンが分類したリーマン対称空間の10の無限族に伴う確率的行列集合のための厳密な数学的枠組みを構築すること。
• これらの集合における固有値分布に大偏差原理（LDP）を確立すること、特に超伝導ハイブリッド構造におけるBdG型系に注目すること。
• ポテンシャル論的手法を用いて、各対称性クラスにおけるレート関数とその最小化子（平衡測度）を明示的に同定すること。

提案手法

• 各対称性クラス C ∈ {B, D, DIII, C, CI} に付随する一般化された集合 GE_C^(n)(σ²/n) の同時固有値密度を導出する。パrameter は β, α, および p(n) で定義される。
• 一般化されたLDP定理（定理3.1）を、経験的固有値測度 Q_n ∘ L_n^{-1} に適用し、対数エネルギーと重み付き積分を含むレート関数 I_C(μ) を得る。
• 写像 T_2(x) = x² を用いて固有値測度問題をポテンシャル論的最適化問題に変換し、ラゲール型重みを伴う関数の最小化問題に還元する。
• 重み x^s e^{-λx} を伴う対数的ポテンシャル論に関する補題4.1を用い、一意的な最小化子 ν*_{s,λ} が [a,b] 上で半円型密度を有することを同定する。
• 写像 T_{1/2}(x) = √x を用いて元の固有値スケールへ戻すことで、レート関数 I_C の最小化子 μ* のLebesgue密度を導出する。
• レート関数 I_C(μ) が β, κ, および ψ_C のみに依存することを示し、ψ_C = 2 はB/Dに対して、ψ_C = 4 はC/CI/DIIIに対して成り立つ。また、n → ∞ の極限において α がLDPレート関数に影響しないことを示す。

実験結果

リサーチクエスチョン

• RQ1 拡張された三重の方法を越える対称性クラスを有するメソスコピック系における確率的行列集合の経験的固有値測度を支配する大偏差原理は何か？
• RQ2 これらのLDPのレート関数はどのように対称性クラスに依存し、パrameter β, κ, ψ_C の観点からその形はどのように決定されるか？
• RQ3 各対称性クラスにおける平衡測度（レート関数の最小化子）は何か？ その明示的なLebesgue密度は何か？
• RQ4 BdG集合（B, D, DIII, C, CI）の固有値分布はどのように確率的収束し、固有値密度の極限形状は何か？
• RQ5 パrameter α および n の偶奇性（奇数/偶数）は、n → ∞ の極限において大偏差レート関数にどの程度影響を及ぼすか？

主な発見

• LDPのレート関数 I_C(μ) は、I_C(μ) = βκ²/2 ∫∫ log|x²−y²|⁻¹ μ(dx)μ(dy) + κ/(ψ_C σ²) ∫ x² μ(dx) − const で与えられ、ψ_C = 2 はB/Dに対して、ψ_C = 4 はC/CI/DIIIに対して成り立つ。
• I_C(μ) の最小化子 μ* は、Lebesgue密度 1_{[√a,√b]}(x) · (1/(σ²βκπx)) · √((x²−a)(b−x²)) を有し、a = 2σ²β(½ − √(κ(1−κ)))、b = 2σ²β(½ + √(κ(1−κ))) であり、κ ≤ ½ の範囲で有効である。
• BdG集合（B, D, DIII, C, CI）に対して、最小化子 μ* は、密度 1_{[0,√(2ψ_C σ² βκ)]}(x) · (2/(ψ_C σ² βκ π)) · √(2ψ_C σ² βκ − x²) を有する四分円分布であり、s=0 および λ=1/(ψ_C σ² βκ) に対応する。
• パrameter α は、一部のクラス（例：B/D および DIII）において n が奇数か偶数かを区別するが、n → ∞ の極限においてはレート関数に影響しないことから、統一的な取り扱いが正当化される。
• Wishart行列のLDPは、一般枠組みの特別な場合として回復され、HiaiとPetzの先行結果と整合的であることが確認された。
• ラゲール重み付きポテンシャル問題の平衡測度は、補題4.1により明示的に特徴付けられ、s および λ に依存する [a,b] 上の半円型分布を示し、これが固有値スケールに変換される。