費曼斜線標記

在研究量子場論的狄拉克場時，理查德·費曼發明了方便的費曼斜線標記（英語：Feynman slash notation，有時也叫狄拉克斜線標記，但不常用^[1]）。

若A為共變向量（即1-形式），則使用了費曼斜線標記的A的定義為：

A\!\!\!/\ {\stackrel {\mathrm {def} }{=}}\ \gamma ^{\mu }A_{\mu }

恆等式

透過使用狄拉克矩陣的反對易關係，可以證明任何 $a_{\mu }$ 與 $b_{\mu }$ 滿足

a\!\!\!/a\!\!\!/=a^{\mu }a_{\mu }=a^{2}

a\!\!\!/b\!\!\!/+b\!\!\!/a\!\!\!/=2a\cdot b\,

。

特別是，

\partial \!\!\!/^{2}=\partial ^{2}

。

透過直接將狄拉克矩陣恆等式中的度量張量換成內積則可得出更多的恆等式。例如，

\operatorname {tr} (a\!\!\!/b\!\!\!/)=4a\cdot b

\operatorname {tr} (a\!\!\!/b\!\!\!/c\!\!\!/d\!\!\!/)=4\left[(a\cdot b)(c\cdot d)-(a\cdot c)(b\cdot d)+(a\cdot d)(b\cdot c)\right]

\operatorname {tr} (\gamma _{5}a\!\!\!/b\!\!\!/c\!\!\!/d\!\!\!/)=4i\epsilon _{\mu \nu \lambda \sigma }a^{\mu }b^{\nu }c^{\lambda }d^{\sigma }

\gamma _{\mu }a\!\!\!/\gamma ^{\mu }=-2a\!\!\!/

.

\gamma _{\mu }a\!\!\!/b\!\!\!/\gamma ^{\mu }=4a\cdot b\,

\gamma _{\mu }a\!\!\!/b\!\!\!/c\!\!\!/\gamma ^{\mu }=-2c\!\!\!/b\!\!\!/a\!\!\!/\,

其中

\epsilon _{\mu \nu \lambda \sigma }\,

很多時候，為計算出截面而解狄拉克方程時，會發現四維動量上出現費曼斜線標記：

使用 $\gamma \,$ 的狄拉克基表示

\gamma ^{0}={\begin{pmatrix}I&0\\0&-I\end{pmatrix}},\quad \gamma ^{i}={\begin{pmatrix}0&\sigma ^{i}\\-\sigma ^{i}&0\end{pmatrix}}\,

以及四維動量的定義

p_{\mu }=\left(E,-p_{x},-p_{y},-p_{z}\right)\,

可明確地得出

{\begin{aligned}p\!\!/&=\gamma ^{\mu }p_{\mu }=\gamma ^{0}p_{0}-\gamma ^{i}p_{i}\\&={\begin{bmatrix}p_{0}&0\\0&-p_{0}\end{bmatrix}}-{\begin{bmatrix}0&\sigma ^{i}p_{i}\\-\sigma ^{i}p_{i}&0\end{bmatrix}}\\&={\begin{bmatrix}E&-\sigma \cdot {\vec {p}}\\\sigma \cdot {\vec {p}}&-E\end{bmatrix}}\end{aligned}}

使用其他基也能得出相同的結果，例如外爾基。

^ Weinberg, Steven, The Quantum Theory of Fields 1, Cambridge University Press: 358 (380 in polish edition), 1995, ISBN 0-521-55001-7