On the Wilson-Fisher fixed point in the limit of integer spacetime dimensions

本論文は、整数次元におけるウィルソン・フィッシャー固定点とイジング模型の同一視を再検討し、2 次元でのヴィラソロ対称性の出現と整数次元での多重度の負の値を根拠に、両者の厳密な等価性は否定され、イジング模型はウィルソン・フィッシャー固定点の一部分として現れると主張している。

要約

1. 物語の舞台：「次元」という魔法の国

まず、この話の舞台は「空間の次元（d）」という魔法の国です。

• 2 次元（d=2）: 紙のような平らな世界。
• 3 次元（d=3）: 私たちが住んでいる立体的な世界。
• 4 次元（d=4）: さらに複雑な世界。

物理学者たちは、これらの世界を「連続的」に結びつけることができます。例えば、「2 次元から 3 次元へ」ではなく、「2 次元から 2.01 次元、2.02 次元…」と、小数の次元の世界も存在すると仮定して研究しています。

この研究の中心にあるのは、**「ウィルソン・フィッサー（WF）という料理」**です。
この料理は、次元（d）というレシピの量を変えると、味（性質）が滑らかに変化する不思議な料理です。

2. 従来の常識と、そこに潜む「矛盾」

これまで、物理学者たちはこう信じていました。

「この WF という料理を、2 次元（d=2）という極限まで薄めて調理すると、『イジングモデル』という有名な料理と完全に同じ味になるはずだ！」

イジングモデルは、2 次元の世界で「磁石」がどう振る舞うかを記述する、非常に完璧で有名な料理です。

しかし、著者のベルナード・ザンさんは、**「待てよ、それは違うぞ！」**と指摘します。

矛盾の正体：「無限の魔法」

• 2 次元の世界（イジングモデル）には「無限の魔法」がある：
  2 次元の世界には、特殊なルール（ヴィラソロ対称性）があり、これによって「無限個の守られた魔法の道具（保存カレント）」が生まれます。これらは料理の味を完璧に保つための、厳格なルールです。
• 3 次元や 2.01 次元の世界（WF）には「魔法」がない：
  次元が 2 より少し大きくなると、その「無限の魔法」は消えてしまいます。

ここが問題です！
もし WF という料理を 2 次元まで薄めて、イジングモデルと完全に同じだとしたら、突然「無限の魔法」が現れるはずです。でも、WF という料理自体にはその魔法を作る材料がありません。
「魔法がない料理を、魔法がある料理と完全に同一にするのは、魔法の存在を無視していることになり、矛盾してしまう」というのです。

3. 新しい解決策：「隠れたサブセット」

では、どうすればいいのでしょうか？著者はこう提案します。

「WF という料理は、2 次元に近づくと『イジングモデル』という部分だけを取り出して、完璧な味にする。しかし、料理全体としては、イジングモデルよりももっと巨大で複雑なまま残っている」

これを**「サブセット（部分集合）」**という考え方で説明します。

• イジングモデル = 料理の「美味しいスープ」の部分。
• WF 固定点 = スープ＋「見えない具材」や「消える野菜」が入った巨大な鍋。

2 次元（d=2）という極限に近づくと、「美味しいスープ（イジングモデル）」だけが取り出され、私たちが観測できるようになります。
しかし、鍋の中には、スープには含まれない**「見えない具材」**がまだたくさん入ったままです。

4. 具材の正体：「マイナスの重さ」を持つ野菜

この「見えない具材」が何なのか？ここがこの論文の最も面白い部分です。

著者は、**「マイナスの重さ（負の多重度）」**を持つ野菜が、鍋の中に隠れていると説明します。

• 通常の世界（3 次元など）：具材は「プラスの重さ」で、スープに味を加えます。
• 2 次元の世界（d=2）：ある特定の具材（例えば、3 次元では存在するはずの「スピン 3 の野菜」）は、2 次元のイジングモデルには存在しません。

しかし、次元を 2.01 などにすると、その野菜は再び現れます。
ここで不思議なことが起きます。

• 具材 A（イジングモデルにはないもの）の重さが「+1」。
• 具材 B（存在しないはずのもの）の重さが「-1」。

この 2 つが 2 次元に近づくと、「+1」と「-1」が足し合わされて 0 になり、互いに打ち消し合ってしまうのです。
だから、2 次元の観測者には「具材 A も B も存在しない（イジングモデルだけが見える）」ように見えるのです。

**「魔法の鏡（イジングモデル）」は、「消える具材（マイナスの重さを持つもの）」と「残る具材」**が完璧に相殺した結果として現れる、というのです。

5. この発見が意味すること

この「隠れたサブセット」説が正しいとすると、以下のような重要な意味が生まれます。

1. 2 次元のデータだけでは、3 次元の料理は作れない
   以前は、「2 次元のイジングモデルの完璧なデータがあれば、そこから 2.01 次元の WF 料理の味を計算できるはずだ」と考えられていました。
   しかし、この論文によると、2 次元には「消えた具材」の情報が消えてしまっているため、そこから元の巨大な鍋（2.01 次元の WF）を再現するのは不可能です。
   「スープの味だけ知っていても、鍋の中に隠れていた消えた野菜の存在を知らなければ、元の料理は再現できない」というわけです。

2. 物理学の新しい視点
   整数の次元（2 次元や 3 次元）は、非整数の次元（2.01 次元など）から見た場合、実は「不完全な情報しか持っていない状態」なのかもしれません。

まとめ

この論文は、**「2 次元のイジングモデルは、ウィルソン・フィッサー固定点という巨大な宇宙の一部（サブセット）に過ぎない」**と主張しています。

• 従来の考え：2 次元のイジングモデル ＝ 2 次元の WF 固定点（完全一致）。
• 新しい考え：2 次元のイジングモデル ＝ 2 次元の WF 固定点から、「マイナスの重さを持つ消える具材」と「余分な具材」が相殺して消えた後の残骸。

この「消える具材」の存在を認めれば、2 次元で突然現れる「無限の魔法（保存則）」と、それより少し高い次元での「魔法の欠如」という矛盾が解決します。

これは、私たちが「完璧に見える世界（2 次元）」の裏には、**「見えない複雑さ」**が隠れており、それを無視して単純化することはできない、という深い教訓を与えてくれます。

技術概要

Bernardo Zan による論文「On the Wilson–Fisher fixed point in the limit of integer spacetime dimensions（整数時空次元におけるウィルソン - フィッシャー固定点について）」の技術的な要約を以下に示します。

1. 問題提起 (The Problem)

ウィルソン - フィッシャー（WF）固定点は、$d=4-\epsilon$ 次元におけるスカラー場の相互作用理論の赤外固定点として定義され、非整数次元における相互作用を持つ共形場理論（CFT）の連続的な族を記述します。歴史的に、整数次元 $d=2$ および $d=3$ において、WF 固定点はそれぞれ 2 次元および 3 次元の臨界イジング模型と同じ普遍性クラスに属すると広く信じられています。

しかし、この「WF 固定点の $d \to 2$ 極限が厳密に 2 次元イジング CFT と一致する」という直感的な仮定には重大な矛盾が存在します。

• 矛盾の核心: 2 次元 CFT は、無限次元のバーラソロ（Virasoro）対称性を持ち、無限個の保存カレント（高スピン保存カレント）が存在します。一方、$d>2$ における WF 固定点では、高スピン保存カレントは存在しません（一般に保存則は破れています）。
• パックス: $d \to 2$ の極限で、WF 固定点の最も軽い $Z_2$ 偶のスピン 4 演算子 $T_4$ が 2 次元イジング模型の保存カレント $T_4$ へ収束すると仮定すると、その保存則 $\partial T_4 = 0$ が $d=2$ で成立する必要があります。しかし、$d>2$ では保存則が破れているため、その破れは $(d-2)$ のオーダーで現れます。この構造を解析すると、$d \to 2$ の極限において、スピン 3 の演算子 $W$（次元 $\Delta=5$）が $T_4$ の descendant として現れることが要求されます。
• 矛盾の結論: しかし、2 次元イジング模型のスペクトルには、$\Delta=5$ かつスピン $\ell=3$ の演算子は存在しません（アイデンティティの descendant として現れるはずですが、レベル 1 の descendant はゼロノルムであり、レベル 3 のものは存在しないため）。したがって、WF 固定点の全スペクトルが $d \to 2$ でイジング模型と厳密に一致するという仮定は、バーラソロ対称性の出現と矛盾します。

2. 手法とアプローチ (Methodology)

著者は、このパラドックスを解決するために、以下の手法を用いて新しいシナリオを提案・検証しました。

1. 玩具モデルとしての 2 次元 $O(n)$ 模型の検討:

   • 非整数次元の WF 固定点の振る舞いを理解するための玩具モデルとして、2 次元の $O(n)$ 模型（$n \in \mathbb{R}$）を用います。
   • $n=1$ はイジング模型に対応し、$n \to 1$ の極限を厳密に解析可能な exact なスペクトル（トラス分配関数や BPZ 微分方程式など）を用いて調べます。
   • 非整数 $n$ における相関関数（特に 4 点関数）を計算し、$n \to 1$ の極限での振る舞いを調べます。

2. 負の多重度（Negative Multiplicity）演算子の解析:

   • 非整数次元の理論では、直交群 $O(d)$ の表現における演算子の多重度（次元）が負になる場合があります。
   • $d \to 2$ の極限において、イジング模型のサブセクターに属さない演算子が、負の多重度を持つ演算子と相殺（キャンセル）することで、イジング模型の分配関数や相関関数が再現されるメカニズムを提案します。

3. WF 固定点への適用:

   • 上記の $O(n)$ 模型で得られた知見を、$d \to 2$ 極限の WF 固定点に適用します。
   • $d=2$ で負の多重度を持つ $O(d)$ 表現（例：$(2,2)$ や $(3,2)$ 表現）を持つ演算子を特定し、これらが $d \to 2$ で現れる「不要な」演算子（イジング模型には存在しない演算子）と次元を一致させて相殺する候補であることを示します。

3. 主要な貢献と結果 (Key Contributions and Results)

A. 「部分セクター」としてのイジング模型の出現

著者は、$d \to 2$ 極限において、WF 固定点はイジング CFT を「部分セクター（subsector）」として含むが、それ自体はイジング模型よりも広い理論であると結論付けました。

• イジング部分セクター: 2 次元イジング模型の演算子（$\sigma, \epsilon$ など）とそれらの OPE によって生成される部分空間は、単位性（unitarity）を持ち、イジング模型の相関関数を正確に再現します。
• 追加のセクター: 理論全体には、イジング部分セクターに属さない無数の演算子が存在します。これらは非整数次元では非単位性（non-unitary）であり、負のノルムを持つ状態を含みます。

B. 相殺メカニズムと負の多重度

$O(n)$ 模型の解析により、以下のメカニズムが確認されました。

• $n \to 1$ の極限において、イジング模型に存在しない演算子（例：ベクトル演算子 $V$ や負の多重度を持つ演算子 $Y$）は、分配関数や相関関数から消えるように見えます。
• しかし、これらは単に消えるのではなく、正の多重度を持つ演算子と負の多重度を持つ演算子が互いに相殺することで、イジング模型の結果が得られます。
• 具体的には、$n \to 1$ で次元が一致する演算子対（例：$\Delta=5/2$ の $\epsilon'$ と $\psi$）が、OPE 係数が $O(1)$ のオーダーで存在しつつ、符号が反対で相殺し合うことで、$n=1$ でのみイジングの相関関数が現れます。
• この相殺は、$n=1+\delta$（非整数）では破れ、$O(1)$ のオーダーで新しい演算子が現れることを意味します。

C. WF 固定点における具体的な候補

$d \to 2$ 極限の WF 固定点において、イジング模型に存在しないスピン 3 の演算子 $W$（$\Delta \simeq 5$）が、負の多重度を持つ演算子と相殺すると予想されます。

• 候補演算子: $O(d)$ の $(2,2)$ 表現および $(3,2)$ 表現に属する演算子。
• 次元の一致: 1 ループ計算（$\epsilon$ 展開）により、これらの演算子のスケーリング次元が $d=2$ で $\Delta \simeq 5.5$ 程度となり、$W$ の次元と近い値を持つことが示されました。より高次の計算が必要ですが、このメカニズムが成立する可能性が高いと結論付けられています。

D. $d=2+\epsilon$ 展開への示唆

この結果は、整数次元のイジング模型のデータのみから、$d=2+\epsilon$ 次元の WF 固定点の共形データを構築することは不可能であることを示唆しています。

• 従来の $d=2+\epsilon$ 展開の試みが失敗した理由の一つは、新しい演算子が $O(1)$ の係数で現れるため、単なる摂動論的な補正（$O(d-2)$ のオーダー）として扱えないからです。
• 非整数次元の理論を記述するには、イジング部分セクターだけでなく、負の多重度を持つ演算子を含む「完全な」WF 固定点のデータが必要です。

4. 意義と結論 (Significance and Conclusion)

この論文は、ウィルソン - フィッシャー固定点と整数次元のイジング模型の関係性に関する長年の理解を根本から再考させる重要な成果です。

1. パラドックスの解決: 2 次元におけるバーラソロ対称性の出現と、$d>2$ における高スピン保存カレントの欠如という矛盾を、「理論が部分セクターに分解される」という新しいシナリオによって解決しました。
2. 非整数次元 CFT の構造: 非整数次元の CFT は、整数次元の単位性理論の単純な延長ではなく、負の多重度を持つ演算子を含むより複雑な構造（対数 CFT 的な性質など）を持っていることを示しました。
3. 数値的・解析的アプローチへの影響: $d=2+\epsilon$ や $d=3-\epsilon$ 展開を行う際、整数次元のデータ（特にイジング模型のデータ）のみを起点にするアプローチの限界を明らかにしました。これにより、非整数次元の CFT を理解するための新しい枠組みや、より高次の $\epsilon$ 展開計算の必要性が浮き彫りになりました。

要約すれば、**「整数次元のイジング模型は、非整数次元の WF 固定点の『氷山の一部（部分セクター）』に過ぎず、氷山の下には負の多重度を持つ演算子という巨大な構造が存在する」**という洞察が、この論文の核心的な貢献です。