[論文レビュー] Determinantal point processes and fermions on complex manifolds: large deviations and bosonization

Robert J. Berman|arXiv (Cornell University)|Dec 22, 2008

Geometry and complex manifolds被引用数 10

ひとこと要約

本稿は、コンpaktoな複素多様体上の確定的点過程（determinantal point processes）に対して、大偏差原理（LDP）を確立する。これは、U(1)ゲージ場に結合した自由フェルミオンガスをモデル化する。平衡測度は、曲率形式 $\omega$ を含む複素モンジュ・アンパーレ方程式の解として特定され、フェルミオンの分配関数とレイ・シンガーの解析的 torsion、および $\bar{\partial}$-ラプラシアンの小さな固有値を結ぶボソン化公式が導出され、リーマン面の場合に知られているボソン-フェルミオン双対性が高次元に一般化される。

ABSTRACT

We study determinantal random point processes on a compact complex manifold X associated to an Hermitian metric on a line bundle over X and a probability measure on X. Physically, this setup describes a free fermion gas on X subject to a U(1)- gauge field and when X is the Riemann sphere it specializes to various random matrix ensembles. It is shown that, in the many particle limit, the empirical random measures on X converge exponentially towards the deterministic pluripotential equilibrium measure, defined in terms of the Monge-Ampere operator of complex pluripotential theory. More precisely, a large deviation principle (LDP) is established with a good rate functional. We also express the LDP in terms of the Ray-Singer analytic torsion and the exponentially small eigenvalues of dbar-Laplacians. This can be seen as an effective bosonization formula, generalizing the previously known formula in the Riemann surface case to higher dimensions and the paper is concluded with a heuristic quantum field theory intepretation of the resulting effective boson-fermion correspondence.

研究の動機と目的

• コンパクトな複素多様体上の確定的点過程について、多数粒子極限における大偏差原理（LDP）を確立すること。
• 平衡測度が曲率形式 $\omega$ を含む複素モンジュ・アンパーレ方程式の解として特定されること。
• LDPのレート関数を多重複素エネルギーで表現し、解析的 torsion および $\bar{\partial}$-ラプラシアンの小さな固有値と関連付けること。
• リーマン面の場合に知られているボソン化公式を、高次元複素多様体に一般化すること。
• この幾何的設定における有効なボソン-フェルミオン双対性のヒューリスティックな量子場理論的解釈を提供すること。

提案手法

• レート関数が多重複素エネルギー $E_\omega(\mu)$ と定数 $C= C(K,\omega)$（多重複素容量）の差として表されるように、グローバルな多重複素ポテンシャル論を用いてLDPを導出する。
• 分配関数の漸近挙動を、バーグマン核の行列式とレイ・シンガーの解析的 torsion の関係を通じて分析する。
• $\bar{\partial}$-ラプラシアンの指数的に小さな固有値が、スペクトル漸近展開を通じてLDPのレート関数と結びつけられる。
• ボソン化のアンザッツを導入し、有効ボソン的作用 $S_{\text{bos}}$ を関数 $\mathcal{E}_{-i\omega}$ から導出し、経路積分を通じてフェルミオン統計を捉える。
• 変数変換 $\phi = k\psi$ および $\mu = \omega^n/n! + k^{-(n+1)/2}\nu$ を用いて、$k \to \infty$ の極限においてフェルミオン的およびボソン的経路積分を結びつける。
• 先行研究 [9] における中心極限定理との整合性を確認し、$k \to \infty$ の領域でフラクチュエーションのガウス分布が質量なしボソン場（ガウス自由場）と一致することを示した。

実験結果

リサーチクエスチョン

• RQ1 コンパクトな複素多様体上の確定的点過程の経験的測度は、多数粒子極限においてどのように収束するか？
• RQ2 このような過程における大偏差原理のレート関数の明確な形は何か？
• RQ3 リーマン面の結果を一般化して、高次元においてフェルミオンの分配関数をどのように有効にボソン化できるか？
• RQ4 LDPのレート関数と、レイ・シンガーの解析的 torsion や $\bar{\partial}$-ラプラシアンの小さな固有値といったスペクトル不変量との関係は何か？
• RQ5 有効ボソン化公式は、経験的測度のフラクチュエーションに対する中心極限定理と一貫しているか？

主な発見

• 確定的点過程の経験的測度は、多重複素ポテンシャル平衡測度 $\mu_{\text{eq}}$ に指数的に速く収束する。ここで $\mu_{\text{eq}}$ は、$\phi$ を正規化した上で $\omega_\phi^n = \omega^n$ を満たす複素モンジュ・アンパーレ方程式の解である。
• LDPは速度 $V k^{n+1}$ で成立する。ここで $V$ は $X$ の体積、$k$ は線束 $L^k$ のスケーリングパラメータである。
• レート関数は $H(\mu) = E_\omega(\mu) - C$ で与えられ、ここで $E_\omega(\mu)$ は多重複素エネルギー、$C = C(K,\omega)$ は多重複素容量である。
• LDPはレイ・シンガーの解析的 torsion および $\bar{\partial}$-ラプラシアンの指数的に小さな固有値を用いて表現され、これによりレート関数のスペクトル的解釈が得られる。
• 有効ボソン化公式が導出され、フェルミオンの分配関数が、$S_{\text{bos}} = -\frac{1}{(-i)^{n-1}}\mathcal{E}_{-i\omega} + S'$ の作用を持つボソン的経路積分と、$k$ に関して高次の項 $S'$ を除き漸近的に等価であることが示された。ここで $S'$ は $k$ に対して次第に小さくなる。
• ボソン化アンザッツが中心極限定理と整合することが確認された：経験的測度のフラクチュエーション統計は、[9] のCLTが予測するように、$k \to \infty$ の領域で質量なしボソン場（ガウス自由場）の統計に収束する。