量子力学中的Berezin积分
-
背景与动机
Berezin积分是费米子系统的Grassmann变量积分方法,由费米子算符的非对易性催生。在量子力学中,玻色子场可用普通函数描述,而费米子场需借助反对易的Grassmann代数。Berezin积分为此提供了严格的数学框架,使费米子路径积分和超对称理论中的计算成为可能。 -
Grassmann代数的定义
设生成元 \(\{\theta_i\}_{i=1}^n\) 满足反对易关系 \(\theta_i \theta_j + \theta_j \theta_i = 0\)(特别地,\(\theta_i^2=0\))。Grassmann代数是由这些生成元张成的线性空间,其元素形式为 \(f(\theta) = a_0 + \sum_i a_i \theta_i + \sum_{i,其中系数为复数。 -
Berezin积分的公理化定义
Berezin积分是线性映射 \(\int \cdot \, d\theta\),满足两条核心规则:- \(\int d\theta_i \, 1 = 0\)(常数项积分为零)
- \(\int d\theta_i \, \theta_j = \delta_{ij}\)(仅对对应变量积分时保留一次项)
对多变量积分,约定 \(d\theta_i d\theta_j = -d\theta_j d\theta_i\),与Grassmann变量的反对易性一致。
-
计算示例
考虑单变量积分:- \(\int d\theta \, (a + b\theta) = b\)(常数项消失,一次项系数保留)
对多变量积分,如 \(\int d\theta_1 d\theta_2 \, (\theta_1 \theta_2) = 1\),需按顺序逐次积分:先对 \(\theta_2\) 积分为 \(\theta_1\),再对 \(\theta_1\) 积分为 1。
- \(\int d\theta \, (a + b\theta) = b\)(常数项消失,一次项系数保留)
-
与费米子算符的联系
在费米子相干态表象中,Grassmann变量对应费米产生/湮灭算符 \(\hat{a}^\dagger, \hat{a}\)。Berezin积分使费米子路径积分可写为 \(\int \mathcal{D}[\bar{\theta}, \theta] e^{-\bar{\theta} A \theta}\),其中 \(A\) 为矩阵,结果给出 \(\det A\)(与玻色子的 \(\det^{-1/2}\) 相反),反映了费米统计的泡利不相容原理。 -
在超对称理论中的应用
Berezin积分是超空间积分的基础,超场同时包含玻色和费米分量。通过Berezin积分对Grassmann坐标积分,可从超场中提取普通场分量,并自动实现超对称变换的协变性。 -
与微分形式的关联
Grassmann代数可视为微分形式的外代数,Berezin积分等价于对微分形式的积分。这一联系在拓扑量子场论(如Chern-Simons理论)中尤为重要,其中费米变量模拟几何中的形式运算。