量子力学中的Kramers-Wannier对偶
1. 经典统计力学背景
Kramers-Wannier对偶最初是在二维经典统计力学模型中发现的对称性。考虑二维正方形格点上的伊辛模型,其配分函数为:
\[Z = \sum_{\{\sigma_i = \pm 1\}} \exp\left(\beta \sum_{\langle ij \rangle} \sigma_i \sigma_j\right) \]
其中\(\beta = 1/k_B T\)为逆温度。该模型存在一个临界温度\(T_c\),在此温度下系统发生二阶相变。Kramers和Wannier(1941年)通过构造对偶格点(将原格点旋转45°得到的新格点)发现,高温展开和低温展开的配分函数满足对称关系:
\[Z(\beta) = Z(\beta^*) \cdot \left( \frac{\sinh 2\beta}{\sinh 2\beta^*} \right)^{N/2} \]
其中对偶温度\(\beta^*\)满足\(\sinh 2\beta \cdot \sinh 2\beta^* = 1\)。这一对偶性精确确定了临界点:当\(\beta = \beta^*\)时,系统自对偶,对应临界温度\(T_c\)。
2. 量子化与传递矩阵方法
将经典模型量子化时,沿时间方向引入转移矩阵\(T\)。在热力学极限下,配分函数由最大本征值主导:\(Z \sim \lambda_{\text{max}}^N\)。此时对偶性表现为传递矩阵谱的对称性。具体地,对偶变换等价于将空间维度和虚时间维度交换,同时翻转耦合常数。在(1+1)维量子伊辛模型中,哈密顿量\(H = -J\sum_i (\sigma_i^x \sigma_{i+1}^x + g\sigma_i^z)\)的对偶性通过Jordan-Wigner变换实现,将自旋算子映射到费米子算子,并揭示\(g \leftrightarrow 1/g\)的对称性。
3. 拓扑序与对称保护拓扑相
在拓扑量子系统中,Kramers-Wannier对偶推广为对拓扑序的分类工具。例如在二维拓扑相中,对偶性联系不同的拓扑边界条件:
- 在环面上,对偶变换交换电型和磁型激发(任意子)的边界条件周期性和缠绕数
- 对偶性对应模群\(SL(2,\mathbb{Z})\)的生成元\(S\)变换(将空间旋转90°)
其数学本质是C*-代数的Morita等价性:两个不同代数描述的物理系统可能给出等价的物理预言。
4. 共形场论中的对偶性
在临界点(\(T=T_c\)),系统由二维共形场论描述。Kramers-Wannier对偶表现为共形场论中的自对偶性:
- 中心电荷\(c=1/2\)的极小模型\(\mathcal{M}(4,3)\)具有Kac表,其对偶变换交换初级场\(\sigma\)(自旋场)和\(\mu\)(无序场)
- 四点函数在交叉对称变换下不变,对应s道和t道散射幅度的等价性
- 对偶性由Verlinde代数的模矩阵\(S\)实现:\(S_{\sigma\sigma} = S_{\mu\mu} = 1/2\),体现拓扑纠缠熵的对称性
5. 量子纠错码中的对应
在量子信息中,该对偶性对应Calderbank-Shor-Steane(CSS)码的对偶结构:
- 经典伊辛模型的对偶格点映射为表面码中Z型算子和X型算子的对偶关系
- 对偶变换对应交换逻辑比特的\(X\)和\(Z\)基的编码空间
- 临界点对应量子纠错阈值的精确计算,其中退相干率\(p\)满足自对偶条件\(p_c = (1 - 1/\sqrt{2})/2\)
6. 弦论与AdS/CFT对偶中的推广
在超弦理论中,Kramers-Wannier对偶推广为T-对偶性:
- 紧化在圆环上的弦理论,在半径\(R\)和\(\alpha'/R\)处物理等价
- 在AdS/CFT对应中,这表现为边界共形场论在强弱耦合之间的对偶性
- 对偶变换与S-对偶(强弱耦合对偶)共同生成U-对偶群,是M理论的重要对称性