引言

量子蒙特卡罗方法处理玻色子体系时可以有效收敛，处理费米子却会遇到正负交替的统计权重。平均符号随温度降低和粒子数增加而指数衰减，计算代价随之指数增长。Troyer与Wiese于2005年证明，一般意义上的符号问题属于NP困难类。

自然量子论（NQT）认为，符号问题在计算上真实，在物理上却是伪问题。它并非来自电子行为，而来自一个数学预设：多费米子波函数在任意距离、任意时刻保持全局反对称。自然界中的电子无需计算排列符号，符号灾难是表示越出物理适用范围后的代价。

在NQT中，反对称不是先验公理，而是局域关联在特定结构、边界和能量优化下形成的结果，有建立时间，也有作用范围。

1. 问题的标准表述

标准量子统计把配分函数取在反对称化的希尔伯特空间上：

$$Z={\mathrm{Tr}}_{{\mathcal{F}}_{-}}{e}^{-\beta H}=\frac{1}{N!}\sum _{P\in S_N}\mathrm{sgn}(P)\int d\mathbf{R}⟨\mathbf{R}|e^{-\beta H}|P\mathbf{R}⟩.$$

每条世界线都附带排列符号。蒙特卡罗只能采样非负权重，因此把符号移入观测量：

$$⟨A⟩=\frac{⟨A,s{⟩}_{|w|}}{⟨s{⟩}_{|w|}},⟨s⟩=\frac{Z_F}{Z_{|w|}}\sim e^{-\beta N\Delta f},$$

其中，$\Delta f$是费米子体系与“绝对值体系”的每粒子自由能差。低温、大体系下，分子和分母都是大量正负项相消后的微小剩余，统计误差随$\beta N$指数放大。困难正来自对所有排列施加符号后的相消。

2. 全局反对称的预设

求和遍及对称群$S_N$，排列符号只取决于奇偶性，与距离、相互作用和交换时间无关。近邻交换与贯穿样品的长交换圈被同等对待。因此，符号问题预设了反对称在任意尺度上同时成立。

这一原理的经验基础来自原子壳层、元素周期表和简并费米气体等有限、近平衡体系。把局域规律推广为任意尺度、任意时刻的全局约束，并未得到独立检验。

标准理论认为，波函数不交叠时，反对称化没有可观测效应，因而“无害”。但这恰好说明：远程反对称在观测上不可见，在计算上却造成指数代价。它的物理地位存疑。

3. 全局约束的代价

第一，物理图像缺失。标准理论没有说明整体相位关系由什么过程建立、以什么速度传播、受什么扰动破坏，而是直接把它写进态空间。

第二，它与有限传播速度存在矛盾。线度为$L$的体系，关联建立时间不短于$L/v$，其间还受到热涨落和外界耦合扰动。要求关联始终严格成立，隐含了无限传播速度或零扰动的理想条件。

第三，全局约束使长、短交换圈在符号上同等重要，造成低温、大体系下的正负相消。NQT认为，严格全局反对称依赖零温、孤立体系等理想条件；符号问题正是把这些条件普适化后的计算症状。

4. NQT：反对称是局域关联的结果

4.1 对称性来自能量优化

NQT把电子视为真实场结构，多体态描述场结构间的关联。而对称构型来源于空间结构、边界及动能和磁相互作用能的优化；交换能来源于磁相互作用；统计性质是谱和构型系综的描述，而非本体分类。

因此，反对称只能在相互作用有效建立关联的范围内成立。超出这一范围，没有物理过程维持严格的整体相位关系。

4.2 全局反对称是演化极限

设距离$L$上的关联建立时间为

$${\tau }_c(L)\gtrsim L/v,$$

其中$v$可由费米速度或$ta/\hslash$估计。温度$T$下，热涨落破坏相位关系的特征时间为

$${\tau }_T\sim \hslash /(k_{B}T).$$

只有${\tau }_c(L)<{\tau }_T$，关联才能建立并维持。由此定义

$$\xi (T)\sim v{\tau }_T\sim \hslash v/(k_{B}T).$$

在$\xi (T)$以内，反对称近似成立；在其以外，各部分处于局域构型。只有在$T\to 0$、体系孤立且演化足够长时，全局反对称才作为极限出现。标准配分函数却对每个热构型施加全局反对称，相当于假定它们已达到这一极限。低温下，全局约束远超可维持的关联范围，符号相消随之加剧。

标准理论的热德布罗意波长会抑制连续体系中的长交换圈，但被保留的交换圈仍严格附加符号；在简并区和晶格模型中，符号问题依然严重。NQT的$\xi (T)$不是重复修正权重，而是限制相干符号关系的范围。其具体形式、$v$的选取和截断方式仍须由场动力学给出，本节因此属于提议。

5. Hubbard反例与检验

二维Hubbard模型中，电子间距只有晶格常数量级，符号问题依然严重。这是否说明它与远程反对称无关？

第一，应检查交换圈尺度，而非仅看最近邻距离。行列式包含大量跨越多个晶格常数的排列。NQT承认近邻反对称，争议在于尺度超过$\xi (T)$的交换圈是否仍有严格符号。

第二，精确对角化通常只处理十几到几十个格点。体系线度小于$\xi (T)$时，NQT与标准理论本应一致，因为全局反对称在此范围内是良好近似。这类符合不能证明它在大尺度上成立。

第三，NQT必须重现费米面与Luttinger体积、简并压与白矮星支撑、金属低温线性比热，并给出动力学截断判据，而非事后调参。局域反对称的统计叠加能否产生这些结果，必须由计算回答。

可检验预言是：冷原子量子气体显微镜可测量费米子Hubbard体系的密度和自旋关联。当$r\gtrsim \xi (T)$时，其长程部分应偏离全局反对称的计算结果，偏离起点随温度按$\xi (T)\propto 1/T$移动。若在$r\gg \xi (T)$处仍与高精度计算精确符合，本文核心主张即被否证。在定量给出$\xi (T)$并完成可比较计算前，这一回应尚未完全解决反例。

6. 为什么称为“伪问题”

“伪问题”不否认计算困难。对于全局反对称模型，符号问题真实存在，复杂性结论也成立。本文主张的是：困难属于表示，不属于自然。

电子不需要对全部排列求和，也不必维持任意距离的相位关系。把局域关联提升为全局原理，指数灾难便成为这种提升的代价。若NQT成立，出路是在关联范围内保留反对称，在范围外采用局域构型的统计系综，使平均符号由$\xi (T)$内的粒子数而非总粒子数控制。

7. 论证状态账本

结语

如果困难源自越出物理范围的约束，再精巧的算法也只是在为不必要的前提支付代价。NQT要做的是把全局反对称送回其物理来源——有限的关联、传播速度和温度——并接受由此产生的全部检验。

支持单位：