关于维特恩费曼图定理中张量收缩机制与费曼振幅构造的问询
嘿，我来帮你把这个张量收缩的逻辑和费曼振幅的构造拆解明白——本质上这就是用多线性代数的语言重新描述场论里的传播子、顶点相互作用，咱们一步步捋：
首先先把你更新里的关键定义段贴出来，方便对照：
Assign $Q_k \in Symk(V)$ to each internal vertex v of valence k, associating each copy of $V^$ with (an end of) an edge. Also, to the i-th leg (external vertex) of $\Gamma$, i = 1,..., m assign some $f_i \in V^$. Now, for each edge contract two copies of $V^$ associated to its ends using $a \in sym^2(V)$. After all copies of $V^*$ get contracted, we obtain a number $F_\Gamma(f_1,..., f_m) \in \mathbb{R}$.
先搞懂符号对应的物理意义
- $V$ 可以理解为单粒子态空间（比如动量空间的函数空间，或者位置空间的场构型空间），$V^*$ 是它的对偶空间，对应场算符的“线性泛函”（比如动量本征态的投影，或者源场的分量）。
- 内部顶点：每个k价内部顶点配的 $Q_k \in Symk(V)$，就是相互作用顶点算符的代数版本——比如φ⁴理论里的4阶顶点，每个 $V^$ 因子对应顶点的一条边，代表一个场的输入/输出。
- 外部腿：每个外部腿的 $f_i \in V^*$，对应外部粒子态（入射/出射粒子）或者源场的组态。
- 边对应的 $a \in Sym^2(V)$：这就是你提到的 $B^{-1}$！这里的 $B$ 一般是场论里动能项对应的二次型（比如自由场拉氏量里的 $\partial^2 + m^2$ 对应的矩阵），$B^{-1}$ 就是它的逆，也就是传播子——因为传播子本质上就是连接两个场算符的“配对函数”，正好对应对称二阶张量 $Sym^2(V)$ 的元素。
张量收缩的具体过程
每条边连接两个顶点（内部-内部，或者内部顶点到外部腿？不对，外部腿是图的“悬边”，只带一个 $V^$；内部边是连接两个内部顶点的完整边，每个端点各有一个来自顶点张量的 $V^$ 因子）。
收缩的核心是对偶空间的配对：$V^$ 和 $V$ 之间有天然的配对 $\langle \cdot, \cdot \rangle: V^ \times V \to \mathbb{R}$。而 $a \in Sym^2(V)$ 可以写成对称的张量积形式 $\sum_j u_j \otimes v_j$（因为对称，$u_j \otimes v_j = v_j \otimes u_j$），那么对于边两端的两个 $V^$ 因子 $f$ 和 $g$，用 $a$ 收缩就是计算：
$$\sum_j \langle f, u_j \rangle \langle g, v_j \rangle$$
这完全对应传播子的作用——比如在动量空间里，$a$ 就是 $\frac{1}{p^2 + m^2}$（$B$ 就是 $p^2 + m^2$ 的矩阵），收缩两个动量本征态的 $V^$，就是把两个动量 $p$ 和 $q$ 用传播子配对，得到 $\delta(p+q) \cdot \frac{1}{p^2 + m^2}$ 这样的结果。
费曼振幅 $F_\Gamma$ 的生成逻辑
整个过程就是把图的“代数部件”通过收缩组装成一个实数：
- 给每个内部顶点装上对应的k阶对称张量（相互作用顶点），每个外部腿装上对应的外部态张量；
- 每条内部边用传播子（$B^{-1}$ 也就是 $a$）把两端的 $V^*$ 因子配对收缩——相当于场论里用传播子连接两个场算符；
- 当所有内部边的 $V^$ 都收缩完后，剩下的就是外部腿的 $f_1,...,f_m$ 这些 $V^$ 因子，它们和收缩后剩余的张量部分配对，最终得到一个实数——这就是费曼振幅 $F_\Gamma(f_1,...,f_m)$，它是外部态的函数，对应这个图Γ的散射振幅。
回应你关于用 $B$ 还是 $B^{-1}$ 的疑问
你说“从可用的槽位来看，应该用B来收缩？”其实这里是对偶性的问题：$B$ 是 $Sym2(V)$ 里的二次型（描述动能项，把两个 $V$ 元素映射到实数），而我们需要的是**连接两个 $V^$ 的配对函数**，这正好是 $B$ 的逆 $B^{-1}$（属于 $Sym^2(V)$）。因为传播子是动能算符的逆，它的作用是把两个场算符（对应 $V^*$）配对起来，所以必须用 $B^{-1}$ 而不是 $B$。
备注：内容来源于stack exchange，提问作者Integral fan
