一般化された XY モデルと“高さ関数”のつながり:ネマティック秩序の減衰を排除する条件を数学的に証明
この論文は、二次元の一般化XYモデルと呼ばれるスピン系に対し、「高さ関数」と呼ばれる別の確率モデルを対応させることで、ある種類の秩序(ネマティック秩序)が距離とともに速やかに(指数関数的に)消えることを否定する条件を示します。具体的には、対応する高さ関数モデルが「非局在化(delocalisation)」する場合、元のスピンモデルのネマティック相関関数 G2 は指数的に小さくならない、という主張を数学的に証明しました。主張は標準のXYモデルに対する先行研究を拡張したものです。
研究対象となるモデルは、各格子点で角度 θ を持つ二成分スピンが隣り合う頂点間で相互作用するものです。典型的な例は、並進を好む項 cos(θ_u−θ_v)(フェロ磁性)と、並行・反並行のどちらでも好む項 cos(2(θ_u−θ_v))(ネマティック)を重ねたハミルトニアンです。著者はこれをさらに一般化して、cos(k(θ_u−θ_v)) の有限和で表される結合(すべて非負の係数を想定)を扱います。ネマティックの指標 G2 は cos(2(θ_o−θ_v)) の期待値として定義され、近接から遠方までの秩序の有無を調べます。
手法の概要はこうです。まずスピン模型の確率論的展開(強化されたランダムカレント展開)を用いて、面(フェイス)上に定義される整数値の高さ関数モデルを導入します。次にループ表現と呼ばれる図的表現を拡張し、高さ関数の2点間差の分散とネマティック相関 G2 の関係式を導きます。この関係から、もし高さ関数の分散が距離とともに発散する(非局在化する)ならば、G2 が距離で指数的に減衰することはありえないと結論づけます(本文の定理1)。さらに、ある十分大きな逆温度 β0 が存在して β≥β0 の領域では高さ関数が非局在化することも示されます。これにより、G2 に対して高温では指数的減衰、低温では非指数的減衰という相転移が存在することが導かれます。
論文はまた具体例として、もともと物理文献で議論された H_Δ(Δ によりフェロ磁性成分とネマティック成分の重みを切り替える)を扱い、この場合にも同様の結論(高さ関数の非局在化が G2 の指数減衰を排除すること)を得ると述べています。さらに、格子 Z^2 上では標準XYモデルの臨界温度より低温側(逆温度 β が大きい側)で、Δ を小さくとる領域にネマティック相が存在することを、既存の比較論(Pfister に基づく議論)と Ashkin–Teller モデルとの比較を用いて再確認しています。著者はこの箇所で、G1(フェロ磁性指標)は指数減衰するが G2 はべき乗則的な下界を持つ、といった挙動を示しています。
重要な注意点と限界です。扱えるモデルは cos(k(θ) ) の係数が非負という制約を置いたクラスに限られます。また、従来の標準XYモデルで得られるような一部の不等式(たとえばMessager–Miracle–Sole や Simon–Lieb の不等式)は、この一般化クラス全体では使えない場合があると著者は指摘しています。したがって、相転移の「鋭さ」や具体的なべき乗則の指数など、すべての定量的性質がこの論文で完全に決定されるわけではありません。最後に、この要約は論文の抜粋に基づくもので、細かな技術条件や証明の詳細は本文を参照する必要があります。