量子力学中的Grassmann数
Grassmann数(也称为反交换数、反对易数)是量子力学中描述费米子多体系统,特别是量子场论中费米场量子化的核心数学工具。要理解它,我们从最基础的概念开始,逐步构建其完整图像。
第一步:从经典变量到“反交换”数
- 交换与反交换的对比:在经典数学和玻色子系统中,我们熟悉的变量(如实数、复数)满足交换律,即 \(a b = b a\)。而描述电子等费米子的内禀性质需要引入一类全新的数学对象——Grassmann数。其最根本的代数性质是反对易性。
- 基本定义:设 \(\theta_i, \theta_j\) 为两个Grassmann数,它们满足反对易关系:
\[ \theta_i \theta_j = - \theta_j \theta_i \]
一个直接且关键的推论是:任何Grassmann数的平方为零,即 \(\theta_i^2 = 0\)。这是因为 \(\theta_i \theta_i = - \theta_i \theta_i\),迫使 \(\theta_i^2 = 0\)。这与经典数的性质截然不同。
第二步:Grassmann代数的结构
- 代数生成:一组Grassmann生成元 \(\{\theta_1, \theta_2, \dots, \theta_n\}\) 通过线性组合和乘法可以生成一个有限维的代数,称为Grassmann代数(或外代数)。
- 代数的基:由于 \(\theta_i^2=0\),这个代数中任何高于n次的单项式都为零。其基底由所有可能的“无重复”乘积构成:
- 0次项:常数 \(1\)。
- 1次项:单个生成元 \(\theta_i\)。
- 2次项:\(\theta_{i} \theta_{j}\) ( \(i < j\) )。
- ...
- n次项:\(\theta_1 \theta_2 \cdots \theta_n\)。
该代数总维度为 \(2^n\)。
- 偶与奇的分解:任何Grassmann代数元素都可以分解为偶部(由偶数个生成元乘积的项组成)和奇部(由奇数个生成元乘积的项组成)。偶元与偶元、偶元与奇元的乘积满足交换律,而奇元与奇元的乘积满足反对易律。
第三步:微积分学——Grassmann数的微分与积分
这是Grassmann数最精妙和实用的部分,它与经典微积分看似相似,但有本质区别。
- 微分:对Grassmann数的微分是代数操作。左导数和右导数因反对易性而不同。通常采用左导数,定义为:
\[ \frac{\partial}{\partial \theta_j} (\theta_{i_1} \theta_{i_2} \cdots \theta_{i_k}) = \delta_{j i_1} \theta_{i_2} \cdots \theta_{i_k} - \delta_{j i_2} \theta_{i_1} \theta_{i_3} \cdots \theta_{i_k} + \cdots \]
其核心规则是:将 \(\theta_j\) 移到最左边(每次移动产生一个负号),然后将其移出(即用\(\delta\)函数替换)。同样,导数算符 \(\partial / \partial \theta_i\) 本身也是反对易的Grassmann数。
2. 积分:Berezin积分是定义在Grassmann数上的“积分”,它并非黎曼积分的极限,而是一个纯粹的代数映射。其核心定义由以下两个公理化规则给出:
\[ \int d\theta_i \, 1 = 0, \quad \int d\theta_i \, \theta_j = \delta_{ij} \]
其中 \(d\theta_i\) 也是一个反对易对象。这意味着积分是“取系数”的操作。对于一个变量 \(\theta\),如果 \(f(\theta) = a + b\theta\) (a, b为复数),则 \(\int d\theta \, f(\theta) = b\)。这与微分操作 \(\partial f / \partial \theta = b\) 的结果相同,因此在Grassmann代数中,积分和微分是同一操作。多重积分要求将微分元 \(d\theta_i\) 和生成元 \(\theta_i\) 一样,按反对易顺序排列处理。
第四步:在量子力学与量子场论中的应用
- 费米子相干态:在已讲过的玻色子相干态基础上,可以构造费米子(如电子)的相干态。其标记就是Grassmann数。一个费米子产生算符 \(\hat{a}^\dagger\) 对应的相干态可表示为 \(|\theta\rangle = e^{\hat{a}^\dagger \theta} |0\rangle = |0\rangle - \theta |1\rangle\),其中 \(\theta\) 是Grassmann数,\(|0\rangle\) 和 \(|1\rangle\) 分别是无粒子和有一个粒子的态。这与玻色子相干态的指数展开在形式上一致,但因 \(\theta^2=0\) 而自然截断。
- 费米子路径积分:量子力学的Feynman路径积分(已讲过)对玻色子采用对经典路径的泛函积分。对于费米子,其量子演化振幅或配分函数必须通过对Grassmann数(对应于费米场)的泛函积分(即Berezin积分)来表达。这是构建费米子量子场论(如QED、QCD的费米子部分)的标准方法。
- 量子场论中的计算:在计算涉及费米圈的Feynman图(已讲过)时,传播子(两点关联函数)的表达式来自对Grassmann场的Gauss型积分的结果。费米场的Gauss积分给出的是矩阵的行列式(而非玻色子情况下的逆行列式平方根),这直接导致了著名的“行列式”出现在路径积分中,体现了Pauli不相容原理和费米统计。
总结:Grassmann数通过其根本的反对易性,为描述费米子的量子特性提供了完美的代数语言。其独特的微积分(Berezin积分)使得对费米子多体系统的路径积分表述成为可能,是连接费米子二次量子化与泛函积分形式的数学桥梁。