第 40B 章 Immanant¶

前置：行列式 (Ch03) · 积和式 (Ch40A) · 群表示论初步 (Ch55)

本章脉络：Immanant 的群论动机（作为行列式与积和式的泛化） $\to$ 基于对称群 $S_n$ 特征标的定义 $\to$ 不同特征标对应的 Immanant 类型 $\to$ 行列式与积和式的特征标视角 $\to$ Schur 凸性与 Immanant 不等式 $\to$ 核心定理：Schur 幂级数恒等式 $\to$ 应用：量子力学中全同粒子的态空间描述、代数组合学中的 S-函数

延伸：Immanant 是对称群表示论在矩阵函数上的投影；它证明了行列式与积和式并非孤立的构造，而是对应于对称群最极端的两个一维表示（反对称与平凡表示），中间还存在着由杨表 (Young Tableaux) 刻画的广阔函数族

在线性代数的前面部分，我们看到了具有交错符号的行列式和符号全正的积和式。Immanant 则是它们的终极统一。通过对称群的特征标（Characters），我们可以定义一系列介于行列式与积和式之间的矩阵函数。Immanant 不仅是群表示论的自然产物，更是描述量子多体系统和组合对称性的通用代数工具。

40B.1 定义与群论背景¶

定义 40B.1 (Immanant)

设 $\chi$ 是对称群 $S_n$ 的一个复特征标。方阵 $A$ 关于 $\chi$ 的 Immanant 定义为： $$d_\chi(A) = \sum_{\sigma \in S_n} \chi(\sigma) a_{1,\sigma(1)} a_{2,\sigma(2)} \cdots a_{n,\sigma(n)}$$

特殊情况

若 $\chi$ 是交错特征标 $\epsilon(\sigma) = \operatorname{sgn}(\sigma)$，则 $d_\epsilon(A) = \det(A)$。
若 $\chi$ 是平凡特征标 $1(\sigma) = 1$，则 $d_1(A) = \operatorname{perm}(A)$。
对于其他不可约特征标，得到的函数处于二者之间。

40B.2 Schur 幂级数与不等式¶

定理 40B.1 (Schur 不等式)

对于任何半正定矩阵 $A$ 和 $S_n$ 的不可约特征标 $\chi$： $$\det(A) \le \frac{d_\chi(A)}{\chi(id)} \le \operatorname{perm}(A)$$ 其中 $\chi(id)$ 是该表示的维数。意义：这一链式不等式证明了行列式是所有 Immanant 的下界，而积和式是上限。

40B.3 应用：量子力学¶

全同粒子态

在量子力学中，费米子的波函数由行列式描述（满足泡利不相容原理），而玻色子的波函数由积和式描述。Immanant 则出现在描述具有更复杂交换统计（如分数统计或任意子）的准粒子系统中。

练习题¶

1. [基础] 对于 $2 \times 2$ 矩阵，对称群 $S_2$ 有几个不可约特征标？对应的 Immanant 是什么？

参考答案

分析： $S_2$ 只有两个元素：恒等置换 $(1,2)$ 和对换 $(2,1)$。其不可约特征标只有两个： 1. 平凡特征标 $\chi_1$: $\chi_1(id)=1, \chi_1(\text{swap})=1$。对应 积和式。 2. 交错特征标 $\chi_2$: $\chi_2(id)=1, \chi_2(\text{swap})=-1$。对应 行列式。结论：在 2 阶情况下，Immanant 只有行列式和积和式两种。

2. [计算] 若 $A = \begin{pmatrix} 1 & 2 \\ 3 & 4 \end{pmatrix}$，计算 $S_2$ 的两个 Immanant。

参考答案

计算： 1. $\operatorname{perm}(A) = 1\cdot 4 + 2\cdot 3 = 10$。 2. $\det(A) = 1\cdot 4 - 2\cdot 3 = -2$。结论：这就是该矩阵的所有 Immanant 值。

3. [维数] 若 $\chi$ 是 $S_n$ 的不可约特征标且对应的表示维数为 $f$，则 $d_\chi(I)$ 等于什么？

参考答案

推导： 1. 单位阵 $I$ 只有在恒等排列 $\sigma=id$ 时乘积项非零，值为 1。 2. 定义式简化为 $d_\chi(I) = \chi(id) \cdot 1$。 3. 根据特征标理论，$\chi(id)$ 等于该表示的维数 $f$。结论：$d_\chi(I) = f$。

4. [Schur不等式] 验证对正定阵 $A = \begin{pmatrix} 2 & 1 \\ 1 & 2 \end{pmatrix}$，其行列式 $\le$ 积和式。

参考答案

计算： 1. $\det(A) = 4 - 1 = 3$。 2. $\operatorname{perm}(A) = 4 + 1 = 5$。结论：$3 \le 5$，验证成功。

5. [性质] 证明：Immanant 在矩阵的转置下保持不变。

参考答案

证明： 1. $\operatorname{perm}$ 与 $\det$ 均满足 $\operatorname{perm}(A^T) = \operatorname{perm}(A)$。 2. 对于一般 Immanant，其求和式中对应的排列项相同，且由于特征标是类函数，其在共轭元素（转置对应的排列）上取值相等。 3. 故结论对所有 Immanant 成立。

6. [归一化] 为什么在 Schur 不等式中要除以 $\chi(id)$？

参考答案

理由： 为了消除表示维数带来的缩放影响。除以 $\chi(id)$ 后，函数在单位阵 $I$ 处的值均统一为 1，从而使得不同维数的特征标生成的函数具有可比性。

7. [多线性] Immanant 是否关于矩阵的每一行都是线性的？

参考答案

是的。 理由：从定义式可以看出，每一项乘积中恰好包含来自第 $i$ 行的一个元素。因此，Immanant 继承了行列式和积和式的多重线性性质。

8. [杨表] 对应于 Young 图表 $(n-1, 1)$ 的特征标生成的 Immanant 叫什么？

参考答案

通常没有特定名称，但它代表了对称群的“标准表示”。这是除了平凡和交错表示之外最简单的一个分支。

9. [计算难度] 计算一个不可约 Immanant 的难度通常如何？

参考答案

结论：通常是 #P-完全 的。理由：由于积和式是 Immanant 的一个特例，计算一般 Immanant 的难度至少与积和式相当（除非是行列式这种极少数特殊情况）。

10. [应用] 在组合数学中，Immanant 与 S-函数（Schur functions）有何关系？

参考答案

联系： 若将矩阵 $A$ 的变量视为某种对称多项式的变量，那么 Immanant 可以作为构造 S-函数的代数基。S-函数是描述分配、组合和表示论维数的终极函数族，而 Immanant 提供了它们的矩阵行列式刻画（Jacobi-Trudi 恒等式的推广）。

本章小结¶

Immanant 是代数对称性的集大成者：

谱系的统一：它证明了行列式与积和式不是孤立的现象，而是对称群表示谱系中的两个端点，确立了矩阵函数与群标理论的深刻联系。
能量的阶梯：Schur 不等式揭示了符号交错程度如何单调地影响算子的整体“测度”，为理解量子干涉与统计排斥提供了统一的代数视角。
群论的投影：通过将对称群的不可约表示映射到矩阵空间，Immanant 成为了解析组合结构和粒子统计性质的必备语言。