[論文レビュー] The Lattice-Continuum Correspondence in the Ising Model

Djordje Radicevic|arXiv (Cornell University)|Dec 31, 2019

Quantum many-body systems参考文献 36被引用数 6

ひとこと要約

本稿は、(1+1)Dイジング模型における厳密なラティス-連続体対応を確立し、滑らかなラティス演算子の部分代数を構成することで、臨界イジング conformal field theory (CFT) の演算子積展開 (OPE) を解析的に再現した。新しい局所的演算子制約に基づく滑らかさ手続きを用いて、共形対称性を仮定せずにOPE係数を導出し、スケーリング次元Δ = 1/8を確認するとともに、臨界点におけるラティスフェルミオン代数から直接的にOPE構造を検証した。

ABSTRACT

Starting from the operator algebra of the (1+1)D Ising model on a spatial lattice, this paper explicitly constructs a subalgebra of smooth operators that are natural candidates for continuum fields in the scaling limit. At the critical value of the transverse field, these smooth operators are analytically shown to reproduce the operator product expansions found in the Ising conformal field theory.

研究の動機と目的

• 臨界イジングCFTのOPEを、臨界点におけるラティスフェルミオン代数から直接的に解析的に再現する。
• 共形対称性の導出を仮定せずに、(1+1)Dイジング模型における直接的で解析的なラティス-連続体対応を確立する。
• 臨界点におけるラティスフェルミオン代数から、イジングCFTの演算子積展開 (OPE) を直接再現する。
• 連続体QFTがラティス系の有効記述として有効である範囲を特定する。
• 臨界イジング模型の可解性にのみ依存する、摂動論的でない代数的導出により、OPE係数を求める。

提案手法

• 滑らかさ条件 $\mathcal{O}(x+1) = \mathcal{O}(x) + \hat{\partial}\mathcal{O}(x)$ を導入し、ここで $\hat{\partial}\mathcal{O}(x)$ は小さいものとする。これにより滑らかなラティス演算子を定義する。
• この滑らかさ制約を満たす演算子の部分代数を構成し、スケーリング極限において連続体量子場として振る舞うことを示した。
• ジョルダン＝ヴァイフェルの変換を用いてスピンハミルトニアンを自由フェルミオン理論に写像し、正確な対角化と相関関数の計算を可能にした。
• 滑らかにしたフェルミオン双一次形のWick縮約を用いて $X_x$ 演算子のOPEを計算し、非恒等なOPE項を抽出するために、縮約されないペアに注目した。
• Toeplitz型行列 $A_{ij} = \frac{2}{\pi} \frac{1}{2i-2j-1}$ の行列式を評価し、一次項OPE係数を抽出した。$\det A \approx (-1)^r \frac{c_0}{r^{\delta}}$ であり、$c_0 = \frac{e^{1/4} 2^{1/12}}{A^3}$ である。
• 行列の小行列式と逆行列関係を用いて、次善のOPE項を計算し、$\sum (A^{-1})_{x_o,x_e} \approx -\frac{\pi}{2} r$ を数値的に推定することで、$E(x)$ に依存する補正項を導出した。

実験結果

リサーチクエスチョン

• RQ1 連続体量子場の代数的構造を再現するような、滑らかなラティス演算子の部分代数は、どのように構成可能か？
• RQ2 共形対称性を仮定せずに、臨界イジングCFTの演算子積展開 (OPE) を、ラティスフェルミオン代数から直接導出可能か？
• RQ3 ラティスイジング模型における $X_x \times X_y$ 演算子のOPEの定量的形は何か？ また、既知のCFT結果とどのように一致するか？
• RQ4 連続体QFTの記述が、$k_S |x-y|/M$ のようなラティスパラメータにおいて有効である範囲は何か？
• RQ5 OPE係数、特にスケーリング次元 $\Delta = 1/8$ は、共形不変性の事前知識なしに、どのようにラティス構造から出現するか？

主な発見

• OPEの一次項は $(-1)^{x-y} \frac{c_0}{|x-y|^{1/4}}$ であることが判明し、$c_0 = \frac{e^{1/4} 2^{1/12}}{A^3} \approx 0.6450(1)$ である。これによりスケーリング次元 $\Delta = 1/8$ が確認された。
• OPEの次善の補正項は $-\frac{\pi}{4} |x-y| E(x)$ であり、$E(x)$ はエネルギー密度で、逆行列要素の和から導出された。
• 和 $\sum_{x_e,x_o} (A^{-1})_{x_o,x_e}$ は数値的に $-\frac{\pi}{2} r$ と線形にスケーリングすることが判明し、$r$ に依存しない普遍的係数であることが示された。
• 共形対称性を仮定せずに、ラティスフェルミオン代数からOPE構造を解析的に再現した。これにより、滑らかさ手続きが連続体QFTへの直接的ルートであることが検証された。
• 連続体QFTの有効範囲は $O\left(\frac{k_S |x-y|}{M}\right)$ と定量的に特定され、$k_S$ は短距離カットオフ、$M$ は系のサイズである。
• 本手法は、恒等演算子およびエネルギー運動量演算子の寄与を含め、ラティス上の第一原理からOPEの全貌を成功裏に再現した。