**维克定理**（英語：）由吉安·卡罗·威克提出，在量子场论中广泛用于将产生及湮滅算符的连乘积转化为该连乘积的正规序与相应的收缩之和，在格林函数方法（英语：）和费曼图的相关问题中有重要应用。

例如，高斯自由场的维克定理说，若h是纯量场、{\displaystyle D(x,y)=\langle h(x)h(y)\rangle }是传播子，则

{\displaystyle \langle h(x\_{1})\ldots h(x\_{2k})\rangle =\sum \_{\text{对 }}D(x\_{i\_{1}}x\_{i\_{2}})\ldots D(x\_{i\_{2k-1}}x\_{i\_{2k}})}

算符的收缩的定义
--------

两个算符 {\hat {A}} 和 {\hat {B}} 的收缩定义为：

{\hat {A}}^{\bullet }\,{\hat {B}}^{\bullet }\equiv {\hat {A}}\,{\hat {B}}\,-{\mathopen {:}}{\hat {A}}\,{\hat {B}}{\mathclose {:}}
其中 {\mathopen {:}}{\hat {O}}{\mathclose {:}} 表示算符\hat{O}的正规序。算符的收缩也可以用一条在{\hat {A}}，{\hat {B}}上方且连接它们的线来表示，例如{\displaystyle {\overset {\sqcap }{{\hat {A}}{\hat {B}}}}}。

下面具体检视 {\hat {A}} and {\hat {B}} 分别是产生算符和湮灭算符的四种情形。 N 粒子体系的产生和湮灭算符分别用 {\hat {a}}\_{i}^{\dagger } 和 {\hat {a}}\_{i} 来表示。它们满足对易（玻色子）或反对易（费米子）关系 [{\hat {a}}\_{i},{\hat {a}}\_{j}^{\dagger }]\_{\pm }=\delta \_{{ij}}，其中 \delta \_{ij} 是克罗内克函数。

于是有，

{\hat {a}}\_{i}^{\bullet }\,{\hat {a}}\_{j}^{\bullet }={\hat {a}}\_{i}\,{\hat {a}}\_{j}\,-{\mathopen {:}}\,{\hat {a}}\_{i}\,{\hat {a}}\_{j}\,{\mathclose {:}}\,=0
{\hat {a}}\_{i}^{{\dagger \bullet }}\,{\hat {a}}\_{j}^{{\dagger \bullet }}={\hat {a}}\_{i}^{\dagger }\,{\hat {a}}\_{j}^{\dagger }\,-\,{\mathopen {:}}{\hat {a}}\_{i}^{\dagger }\,{\hat {a}}\_{j}^{\dagger }\,{\mathclose {:}}\,=0
{\hat {a}}\_{i}^{{\dagger \bullet }}\,{\hat {a}}\_{j}^{\bullet }={\hat {a}}\_{i}^{\dagger }\,{\hat {a}}\_{j}\,-{\mathopen {:}}\,{\hat {a}}\_{i}^{\dagger }\,{\hat {a}}\_{j}\,{\mathclose {:}}\,=0
{\hat {a}}\_{i}^{\bullet }\,{\hat {a}}\_{j}^{{\dagger \bullet }}={\hat {a}}\_{i}\,{\hat {a}}\_{j}^{\dagger }\,-{\mathopen {:}}\,{\hat {a}}\_{i}\,{\hat {a}}\_{j}^{\dagger }\,{\mathclose {:}}\,=\delta \_{{ij}}
其中 i,j=1,\ldots ,N.

由于定义正则序时已经加入了必要的正负号，所以上述关系式对玻色子和费米子都成立。由上面可见，任意两个算符的收缩不再是算符，而是一个数。

例子
--

任何产生和湮灭算符的连乘积都可以用该连乘积的正则序和有限对算符的收缩表示出来。这是维克定理的基础。在具体叙述维克定理之前，先来看几个例子。

令 {\hat {a}}\_{i} and {\hat {a}}\_{i}^{\dagger } 为玻色子的产生和湮灭算符，它们满足下列对易关系：

\left[{\hat {a}}\_{i}^{\dagger },{\hat {a}}\_{j}^{\dagger }\right]=0
\left[{\hat {a}}\_{i},{\hat {a}}\_{j}\right]=0
\left[{\hat {a}}\_{i},{\hat {a}}\_{j}^{\dagger }\right]=\delta \_{{ij}}
其中 i,j=1,\ldots ,N, \left[{\hat {A}},{\hat {B}}\right]\equiv {\hat {A}}{\hat {B}}-{\hat {B}}{\hat {A}} 是对易子， \delta \_{ij} 是克罗内克函数。

根据这些对易关系，就可以把任意产生和湮灭算符的连乘积表示用其正规序与有限对算符的收缩表达出来。

### 例1

{\hat {a}}\_{i}\,{\hat {a}}\_{j}^{\dagger }={\hat {a}}\_{j}^{\dagger }\,{\hat {a}}\_{i}+\delta \_{{ij}}={\hat {a}}\_{j}^{\dagger }\,{\hat {a}}\_{i}+{\hat {a}}\_{i}^{\bullet }\,{\hat {a}}\_{j}^{{\dagger \bullet }}=\,{\mathopen {:}}\,{\hat {a}}\_{i}\,{\hat {a}}\_{j}^{\dagger }\,{\mathclose {:}}+{\hat {a}}\_{i}^{\bullet }\,{\hat {a}}\_{j}^{{\dagger \bullet }}
对比上式的最左边和最右边可见， {\hat {a}}\_{i}\,{\hat {a}}\_{j}^{\dagger } 的顺序并未发生改变，只是换了一种表达方式。

### 例2

{\hat {a}}\_{i}\,{\hat {a}}\_{j}^{\dagger }\,{\hat {a}}\_{k}=({\hat {a}}\_{j}^{\dagger }\,{\hat {a}}\_{i}+\delta \_{{ij}}){\hat {a}}\_{k}={\hat {a}}\_{j}^{\dagger }\,{\hat {a}}\_{i}\,{\hat {a}}\_{k}+\delta \_{{ij}}{\hat {a}}\_{k}={\hat {a}}\_{j}^{\dagger }\,{\hat {a}}\_{i}\,{\hat {a}}\_{k}+{\hat {a}}\_{i}^{\bullet }\,{\hat {a}}\_{j}^{{\dagger \bullet }}{\hat {a}}\_{k}=\,{\mathopen {:}}\,{\hat {a}}\_{i}\,{\hat {a}}\_{j}^{\dagger }{\hat {a}}\_{k}\,{\mathclose {:}}+{\mathopen {:}}\,{\hat {a}}\_{i}^{\bullet }\,{\hat {a}}\_{j}^{{\dagger \bullet }}\,{\hat {a}}\_{k}{\mathclose {:}}
### 例3

{\hat {a}}\_{i}\,{\hat {a}}\_{j}^{\dagger }\,{\hat {a}}\_{k}\,{\hat {a}}\_{l}^{\dagger }=({\hat {a}}\_{j}^{\dagger }\,{\hat {a}}\_{i}+\delta \_{{ij}})({\hat {a}}\_{l}^{\dagger }\,{\hat {a}}\_{k}+\delta \_{{kl}})
={\hat {a}}\_{j}^{\dagger }\,{\hat {a}}\_{i}\,{\hat {a}}\_{l}^{\dagger }\,{\hat {a}}\_{k}+\delta \_{{kl}}{\hat {a}}\_{j}^{\dagger }\,{\hat {a}}\_{i}+\delta \_{{ij}}{\hat {a}}\_{l}^{\dagger }{\hat {a}}\_{k}+\delta \_{{ij}}\delta \_{{kl}}
={\hat {a}}\_{j}^{\dagger }({\hat {a}}\_{l}^{\dagger }\,{\hat {a}}\_{i}+\delta \_{{il}}){\hat {a}}\_{k}+\delta \_{{kl}}{\hat {a}}\_{j}^{\dagger }\,{\hat {a}}\_{i}+\delta \_{{ij}}{\hat {a}}\_{l}^{\dagger }{\hat {a}}\_{k}+\delta \_{{ij}}\delta \_{{kl}}
={\hat {a}}\_{j}^{\dagger }{\hat {a}}\_{l}^{\dagger }\,{\hat {a}}\_{i}{\hat {a}}\_{k}+\delta \_{{il}}{\hat {a}}\_{j}^{\dagger }\,{\hat {a}}\_{k}+\delta \_{{kl}}{\hat {a}}\_{j}^{\dagger }\,{\hat {a}}\_{i}+\delta \_{{ij}}{\hat {a}}\_{l}^{\dagger }{\hat {a}}\_{k}+\delta \_{{ij}}\delta \_{{kl}}
=\,{\mathopen {:}}{\hat {a}}\_{i}\,{\hat {a}}\_{j}^{\dagger }\,{\hat {a}}\_{k}\,{\hat {a}}\_{l}^{\dagger }\,{\mathclose {:}}+{\mathopen {:}}\,{\hat {a}}\_{i}^{\bullet }\,{\hat {a}}\_{j}^{\dagger }\,{\hat {a}}\_{k}\,{\hat {a}}\_{l}^{{\dagger \bullet }}\,{\mathclose {:}}+{\mathopen {:}}\,{\hat {a}}\_{i}\,{\hat {a}}\_{j}^{\dagger }\,{\hat {a}}\_{k}^{\bullet }\,{\hat {a}}\_{l}^{{\dagger \bullet }}\,{\mathclose {:}}+{\mathopen {:}}\,{\hat {a}}\_{i}^{\bullet }\,{\hat {a}}\_{j}^{{\dagger \bullet }}\,{\hat {a}}\_{k}\,{\hat {a}}\_{l}^{\dagger }\,{\mathclose {:}}+\,{\mathopen {:}}{\hat {a}}\_{i}^{\bullet }\,{\hat {a}}\_{j}^{{\dagger \bullet }}\,{\hat {a}}\_{k}^{{\bullet \bullet }}\,{\hat {a}}\_{l}^{{\dagger \bullet \bullet }}{\mathclose {:}}
最后一行用到了不同数目的 ^{\bullet } 记号来表示不同的收缩。由最后一个例子可见，从基本对易关系来将场算符表示成正规乘积与收缩之和一般来说并不是一件容易的事，而维克定理就是用来解决这个问题的。

定理的表述
-----

一组产生和湮灭算符的乘积 **解析失败 (SVG（MathML可通过浏览器插件启用）：从服务器"http://localhost:6011/zh.wikipedia.org/v1/"返回无效的响应（"Math extension cannot connect to Restbase."）：): {\hat {A}}{\hat {B}}{\hat {C}}{\hat {D}}{\hat {E}}{\hat {F}}\ldots** 
 可以用正规乘积和收缩表示为：

{\begin{aligned}{\hat {A}}{\hat {B}}{\hat {C}}{\hat {D}}{\hat {E}}{\hat {F}}\ldots &={\mathopen {:}}{\hat {A}}{\hat {B}}{\hat {C}}{\hat {D}}{\hat {E}}{\hat {F}}\ldots {\mathclose {:}}\\&\quad +\sum \_{{\text{singles}}}{\mathopen {:}}{\hat {A}}^{\bullet }{\hat {B}}^{\bullet }{\hat {C}}{\hat {D}}{\hat {E}}{\hat {F}}\ldots {\mathclose {:}}\\&\quad +\sum \_{{\text{doubles}}}{\mathopen {:}}{\hat {A}}^{\bullet }{\hat {B}}^{{\bullet \bullet }}{\hat {C}}^{{\bullet \bullet }}{\hat {D}}^{\bullet }{\hat {E}}{\hat {F}}\ldots {\mathclose {:}}\\&\quad +\ldots \end{aligned}}
换句话来说，一组产生和湮灭算符的乘积等于它们的正规乘积，加上考虑所有可能的单个收缩之后的正规乘积之和，再加上考虑所有可能的两个收缩之后的正规乘积之和，等等。

在实际应用中，往往通过将算符交换顺序而将属于同一个收缩的两个算符写在一起。在交换顺序时需要注意的是，每次交换两个费米子算符的前后顺序时，需要引入一个负号。例如：

{\begin{array}{ll}{\hat {f}}\_{1}\,{\hat {f}}\_{2}\,{\hat {f}}\_{1}^{\dagger }\,{\hat {f}}\_{2}^{\dagger }\,&=\,{\mathcal N}({\hat {f}}\_{1}\,{\hat {f}}\_{2}\,{\hat {f}}\_{1}^{\dagger }\,{\hat {f}}\_{2}^{\dagger })\\&-\,\overline {{\hat {f}}\_{1}{\hat {f}}\_{1}^{{\dagger }}}{\mathcal N}({\hat {f}}\_{2}\,{\hat {f}}\_{2}^{\dagger })+\,\overline {{\hat {f}}\_{1}{\hat {f}}\_{2}^{{\dagger }}}{\mathcal N}({\hat {f}}\_{2}\,{\hat {f}}\_{1}^{\dagger })+\,\overline {{\hat {f}}\_{2}\,{\hat {f}}\_{1}^{{\dagger }}}{\mathcal N}({\hat {f}}\_{1}\,{\hat {f}}\_{2}^{\dagger })-\overline {{\hat {f}}\_{2}\,{\hat {f}}\_{2}^{{\dagger }}}{\mathcal N}({\hat {f}}\_{1}\,{\hat {f}}\_{1}^{\dagger })\\&-\overline {{\hat {f}}\_{1}\,{\hat {f}}\_{1}^{{\dagger }}}\,\,\overline {{\hat {f}}\_{2}\,{\hat {f}}\_{2}^{{\dagger }}}+\overline {{\hat {f}}\_{1}\,{\hat {f}}\_{2}^{{\dagger }}}\,\,\overline {{\hat {f}}\_{2}\,{\hat {f}}\_{1}^{{\dagger }}}\end{array}}

维克定理的应用
-------

维克定理在计算场算符的真空态期望值的时候很有用。因为所有正规乘积的真空态期望值为零，而任意两个算符的收缩根据上面的定义是一个很容易计算的数值，故任意产生算符与湮灭算符的连乘积的真空态期望值可以很容易计算出来，例如，上面最后一个费米子的例子，式子右边取真空态期望值后，根据正规乘积的性质，前面五项都是零，而後两项则可用克罗内克函数计算出来（分别为 -1 和 0），故式子左边的算符的真空态期望值为 -1。

参考文献
----

1. ↑  尹道乐，尹澜.. . ISBN 9787301161609.

阅读
--

* Peskin Schroeder. Intro QFT.
* G.C. Wick, The Evaluation of the Collision Matrix, Phys. Rev. 80, 268 - 272 (1950)
* Silvan S. Schweber, An Introduction to Relativistic Quantum Field Theory, Harper and Row, New York (1962). (Chapter 13, Sec c)
* M. E. Peskin and D. V. Schroeder, An Introduction to Quantum Field Theory, Perseus Books (1995). (§4.3)
* Tony Philips.. What's New In Math. American Mathematical Society. November 2001  [2007-10-23]. （原始内容存档于2014-01-08）.
* Emilio San Fabian.. 2001年2月  [2008-07-29]. （原始内容存档于2008-09-19）.
* T.S. Evans, D.A. Steer, Wick's theorem at finite temperature, Nucl. Phys B 474, 481-496 (1996) arXiv:hep-ph/9601268

|  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| 

| * 
* 论
* 编
量子场论 |
| --- |
|  |
| 量子场论的历史（英语：） |
|  |
| 背景理論 | 
* 场
* 经典场论
* 费曼图
* 路径积分表述
* 规范场论
* 陈-西蒙斯理论
* O(N)模型
* 非线性σ模型
* 共形場論
* 有效場論

 |  |
|  |
| 对称性 | 
* 自发对称破缺
* 庞加莱对称
* 电荷共轭
* 交叉（英语：）
* 宇称
* 時間反演對稱
* 量子力学的对称性（英语：）
* 自旋統計定理
* 任意子
* 法捷耶夫-波波夫鬼粒子

 |
|  |
| 工具 | 
* 創生及湮滅算符
* 反常
* 共形反常
* 真空期望值
* 正則量子化
* 瞬子
* 法捷耶夫-波波夫鬼粒子
* 费曼图
* LSZ约化公式（英语：）
* 格林函數
* 配分函数
* 传播子
* 摄动理论
* 量子化
* 重整化
* 重整化群
* 正規化
* 真空态
* 维克定理
* 威克轉動
* 怀特曼公理体系（英语：）

 |
|  |
| 方程式 | 
* 克莱因-戈尔登方程
* 狄拉克方程式
* 外尔方程式
* 普洛卡方程式（英语：）
* 惠勒-德威特方程式
* 巴格曼－维格纳方程式（英语：）
* 馬約拉納方程式

 |
|  |
| 标准模型 | 
* 楊-米爾斯理论
* 電弱交互作用
* 希格斯机制
* 量子色動力學
* 量子電動力學
* 楊-米爾斯存在性與質量間隙

 |
|  |
| 未完成理论 | 
* 量子引力
* 弦理論
* 超对称
* 人工色（英语：）
* 万有理论
* 電弱交互作用

 |
|  |
| 物理學者 | 
* 陈省身
* 阿德勒
* 贝特
* 博戈柳博夫
* 卡伦
* 科尔曼
* 德维特
* 狄拉克
* 戴森
* 法捷耶夫
* 费米
* 费曼
* 菲尔茨（英语：）
* 福克
* 弗勒利希
* 盖尔曼
* 戈德斯通
* 格娄斯
* 特胡夫特
* 贾基夫
* 克莱因
* 约当
* 肯德尔
* 基博爾
* 兰姆
* 朗道
* 李政道
* 雷曼
* 马约拉纳
* 南部阳一郎
* 帕里西
* 佩斯金
* 泊里雅科夫
* 萨拉姆
* 施温格
* 斯卡姆（英语：）
* 斯塔克伯格
* 西蒙泽克
* 朝永振一郎
* 韦尔特曼
* 温伯格
* 魏斯科普夫
* 威爾森
* 威滕
* 杨振宁
* 汤川秀树
* 齐默尔曼
* 金恩-贾斯廷

 |
|  |
| 参见：模板 模板:量子力学 |

 |