[论文解读] Testing the Uniqueness of the Open Bosonic String Field Theory Vacuum

Bo Feng, Yang‐Hui He+1 more|ArXiv.org|Mar 14, 2001

Particle physics theoretical and experimental studies参考文献 50被引用 10

一句话总结

本文研究了在威滕的立方开弦场论中，由 $K_n$ 算符生成的重参数化对称性是否能形变塌缩的tachyon真空，从而可能破坏其唯一性。通过使用至 (10,10) 阶的截断计算，作者表明 $K_n \Psi_0$ 为纯规范变换，意味着tachyon真空是稳定且唯一的，其BRST算符在真空处无非平凡上同调类。

ABSTRACT

The operators K_n are generators of reparameterization symmetries of Witten's cubic open string field theory. One pertinent question is whether they can be utilised to generate deformations of the tachyon vacuum and thereby violate its uniqueness. We use level truncation to show that these transformations on the vacuum are in fact pure gauge transformations to a very high accuracy, thus giving new evidence for the uniqueness of the perturbatively stable vacuum. Equivalently, this result implies the vanishing of some discrete cohomology classes of the BRST operator in the stable vacuum.

研究动机与目标

• 检验开玻色弦场论中tachyon真空唯一性的中心主张，这是森猜想中关于tachyon凝聚的关键内容。
• 探究重参数化对称性生成元 $K_n$ 是否能产生tachyon真空的非平凡形变，这将与其预期的唯一性相矛盾。
• 确定 $K_n \Psi_0$ 是否为纯规范变换，这将意味着上同调平凡，从而无物理模数。
• 为森的第二个猜想提供数值证据，即在tachyon真空附近BRST算符的上同调为零。

提出的方法

• 在威滕的立方开弦场论中使用截断阶方法，近似计算高阶（至 (10,10) 阶）的tachyon真空 $\Psi_0$。
• 对真空态 $\Psi_0$ 应用 $K_n$ 算符（定义为 $K_n = L_n - (-)^n L_{-n}$），以生成候选形变。
• 利用 $K_n$ 算符代数导出的递推关系，将问题简化为仅需检验 $K_1 \Psi_0$ 和 $K_2 \Psi_0$。
• 通过检查 $K_n \Psi_0$ 是否满足纯规范条件 $K_n \Psi_0 = Q_{\Psi_0} \chi$（对某个 $\chi$）来计算其上同调。
• 在截断基中显式计算 $K_n \Psi_0$，并验证所得态位于BRST算符 $Q_{\Psi_0}$ 的像中。
• 利用若 $K_n \Psi_0$ 为纯规范，则其不会生成新物理真空的事实，从而支持唯一性。

实验结果

研究问题

• RQ1 在开玻色弦场论中，$K_n$ 重参数化对称性是否能产生tachyon真空的非平凡形变？
• RQ2 tachyon真空是否真正唯一，还是 $K_n$ 变换可能导致真空模空间的存在？
• RQ3 尽管 $K_n \Psi_0$ 不被 $K_n$ 所湮灭，其生成元 $K_n \Psi_0$ 是否在物理上平凡，即为纯规范变换？
• RQ4 $K_n \Psi_0$ 关联的上同调类消失，是否支持森关于tachyon凝聚的第二个猜想？

主要发现

• 在 (10,10) 截断下，$K_1 \Psi_0$ 和 $K_2 \Psi_0$ 被发现为纯规范变换，精度极高。
• $K_n$ 代数的递推结构确保：若 $K_1 \Psi_0$ 和 $K_2 \Psi_0$ 为纯规范，则所有 $K_n \Psi_0$ 均为纯规范。
• 数值结果表明 $K_n \Psi_0$ 位于BRST算符 $Q_{\Psi_0}$ 的像中，确认其为平凡上同调类。
• tachyon真空在 $K_n$ 变换下是稳定的，表明无物理模数存在，从而支持其唯一性。
• 该结果为tachyon真空处BRST算符的上同调为平凡提供了强有力的数值证据，与森的第二个猜想一致。
• 分析确认 $K_n \Psi_0$ 不会生成新真空，即使 $K_n \Psi_0 \neq 0$，因为该形变与零规范等价。