[论文解读] Fake Z

Anatoly Dymarsky, Rohit R. Kalloor|arXiv (Cornell University)|Nov 28, 2022

Algebraic structures and combinatorial models被引用 6

一句话总结

本文識別出六個「偽」的分割函數 $Z(\tau,\bar{\tau})$，它們滿足所有模 bootstrap 條件——模不變性、正整數特徵係數與真空唯一性——但卻不是任何單位系 2D CFT 或 Narain 理論的分割函數。透過格點枚舉與 theta 函數技術，作者證明其中四個與單位系 CFT 不相容，而剩下兩個則仍無法確定，揭示了一個關鍵限制：並非所有模 bootstrap 解都對應到實際的 CFT。

ABSTRACT

Recently introduced connections between quantum codes and Narain CFTs provide a simple ansatz to express a modular-invariant function $Z(τ,\bar τ)$ in terms of a multivariate polynomial satisfying certain additional properties. These properties include algebraic identities, which ensure modular invariance of $Z(τ,\bar τ)$, and positivity and integrality of coefficients, which imply positivity and integrality of the $\mathfrak{u}(1)^n imes \mathfrak{u}(1)^n$ character expansion of $Z(τ,\bar τ)$. Such polynomials come naturally from codes, in the sense that each code of a certain type gives rise to the so-called enumerator polynomial, which automatically satisfies all necessary properties, while the resulting $Z(τ,\bar τ)$ is the partition function of the code CFT -- the Narain theory unambiguously constructed from the code. Yet there are also ``fake'' polynomials satisfying all necessary properties, that are not associated with any code. They lead to $Z(τ,\bar τ)$ satisfying all modular bootstrap constraints (modular invariance and positivity and integrality of character expansion), but whether they are partition functions of any actual CFT is unclear. We consider the group of the six simplest fake polynomials and denounce the corresponding $Z$'s as fake: we show that none of them is the torus partition function of any Narain theory. Moreover, four of them are not partition functions of any unitary 2d CFT; our analysis for other two is inconclusive. Our findings point to an obvious limitation of the modular bootstrap approach: not every solution of the full set of torus modular bootstrap constraints is due to an actual CFT. In the paper we consider six simple examples, keeping in mind that thousands more can be constructed.

研究动机与目标

• 識別並分析滿足所有模 bootstrap 條件但不對應到任何實際 CFT 的偽分割函數 $Z(\tau,\bar{\tau})$。
• 證明模 bootstrap 條件的每一個解並不一定對應到真正的 2D CFT，從而挑戰「這些解具有物理可實現性」的假設。
• 利用格理論與 theta 函數方法，研究這些偽 $Z$ 是否可來自 Narain 緊緻化或單位系 CFT。
• 透過構造明確反例，澄清模 bootstrap 方法的限制，即即使滿足條件，也可能不存在對應的 CFT。

提出的方法

• 作者分析六個源自類似碼結構但不對應到任何穩定碼的簡單偽計數多項式。
• 他們使用格點枚舉技術，系統性地構造所有可能實現偽 $Z$ 為環面分割函數的小秩整格。
• 他們應用推廣的 theta 函數來計算候選 Narain 理論中的態譜，並檢驗其與模不變性及整數性的相容性。
• 他們利用指數為 2 的子格與對偶向量的結構，推導出對應格之 theta 函數的約束。
• 他們透過公式 $\Theta_{\partial_v\mathcal{M}} = \frac{1}{2}(\Theta_{\mathcal{M}}(\cdots,1^v) + \Theta_{\mathcal{M}}(\cdots,(-1)^v))$，明確計算子格的 theta 函數。
• 他們以 $\mathbb{Z}^n$ 的已知 theta 函數為基礎：$\Theta_{\mathbb{Z}^n} = \prod_{i=1}^n \theta_3(\prod_j \xi_j^{(w_j)_i}, \varrho)$，進而實現更複雜格的遞歸構造。

实验结果

研究问题

• RQ1 這六個偽 $Z$ 是否可實現為任何 Narain 緊緻化的環面分割函數？
• RQ2 在滿足模不變性與正整數特徵分解的前提下，這些偽 $Z$ 是否與任何單位系 2D CFT 相容？
• RQ3 這些偽 $Z$ 是否對應到任何滿足 CFT 分割函數必要條件的整格？
• RQ4 推廣的 theta 函數在區分真實 CFT 與模 bootstrap 的偽解中扮演何種角色？
• RQ5 是否存在此類偽 $Z$ 的連續族？它們是否對所有參數都保持不可實現？

主要发现

• 六個偽 $Z$ 中的四個因格點實現與 theta 函數譜的不一致，被排除為任何單位系 2D CFT 的分割函數。
• 六個偽 $Z$ 中無一可實現為任何 Narain 理論的分割函數，因為不存在滿足必要模不變性與整數性條件的對應整格。
• 儘管滿足所有必要代數恆等式與係數約束，這些偽 $Z$ 並未來自任何碼，突顯出基於碼的構造 CFT 方法存在缺口。
• 對於剩下的兩個偽 $Z$，分析結果仍無法確定：未發現矛盾，但亦未構造出任何實現。
• 結果顯示，僅靠模 bootstrap 無法保證物理 CFT 的存在，因為某些解可能不對應到任何實際理論。
• 本文確認存在一個以 $r$ 為參數的偽 $Z$ 連續族，且在 $r=1$ 時有 18 種不同的偽多項式，顯示此問題並非僅限於少數邊緣案例。