폭 상태

양자역학에서 **폭 상태**() 또는 **입자수 상태**()는 잘 정의된 입자 수(또는 양자)가 있는 폭 공간의 원소인 양자 상태이다. 이 상태는 소련 물리학자 블라디미르 포크의 이름을 따서 명명되었다. 폭 상태는 양자역학의 두 번째 양자화 공식화에서 중요한 역할을 한다.

입자 표현은 보손의 경우 폴 디랙에 의해, 페르미온의 경우 파스쿠알 요르단과 유진 위그너에 의해 처음으로 자세히 다루어졌다.:35p 보손과 페르미온의 폭 상태는 폭 공간 생성 및 소멸 연산자와 관련하여 유용한 관계를 따른다.

## 정의
N개의 단일 입자 상태의 텐서 곱의 합으로 상태를 작성하여 N개의 상호작용하지 않는 동일한 입자의 다중 입자 상태를 지정한다. 또한 입자 스핀의 성질에 따라 텐서 곱은 기본 단일 입자 힐베르트 공간의 반대칭 또는 대칭 곱이어야 한다. 구체적으로:

* 반정수 스핀을 갖고 파울리 배타 원리를 따르는 페르미온들은 반대칭 텐서 곱에 해당한다.
* 정수 스핀을 갖는(그리고 배제 원리의 적용을 받지 않는) 보손은 대칭 텐서 곱에 해당한다.

입자 수가 가변적이라면 각 입자수에 대한 텐서 곱 힐베르트 공간의 직합으로 폭 공간을 구성한다. 폭 공간에서는 가능한 각 단일 입자 상태의 입자 수를 지정하여 새로운 표기법인 점유수 표기법으로 동일한 상태를 지정하는 것이 가능하다.

\left\{\mathbf{k}_{i}\right\}_{i \in I}를 기본 단일 입자 힐베르트 공간에서 상태의 정규 직교 기저라 하자. 이는 "점유수 기저"라고 불리는 폭 공간의 해당 기저를 유도한다. 폭 공간의 양자 상태가 점유수 기저의 원소인 경우 **폭 상태**라고 한다.

폭 상태는 중요한 판별 기준을 충족한다. 각 *i*에 대해 상태는 입자수 연산자 \widehat{N__i}}의 고유 상태이고  *i*번째 기본 상태 **k**i에 해당한다. 해당 고유값은 해당 상태의 입자 수를 나타낸다. 이 기준은 폭 상태를 거의 정의한다(추가로 페이즈 인자를 선택해야 함).

주어진 폭 상태는 |n__1},n__2},..n__i}...\rangle과 같이 표시된다. 이 표현에서, n__i}는 i번째 상태의 입자 수 **k** i를 나타내고, i번째 상태에 대한 입자 수 연산자 \widehat{N__i}}는 다음과 같은 방식으로 폭 상태에 작용한다:

: \widehat{N__i}}|n__1},n__2},..n__i}...\rangle = n__i}|n__1},n__2},..n__i}...\rangle

따라서 폭 상태는 고유값을 갖는 입자수 연산자의 고유상태 n__i}이다.

폭 상태는 종종 폭 공간의 가장 편리한 기저를 형성한다. 서로 다른 입자수의 상태가 중첩 된(따라서 입자수 연산자의 고유 상태가 아닌) 폭 공간의 원소는 폭 상태가 아니다. 이러한 이유로 폭 공간의 모든 원소를 "폭 상태"라고 부르는 것은 아니다.

입자수 연산자 \widehat{N}를

: \widehat{N} = \sum_i \widehat{N__i}},

로 정의하면 폭 상태의 정의는 측정의 분산\operatorname{Var}\left(\widehat{N}\right) = 0을 보장한다. 즉, 폭 상태의 입자 수를 측정하면 항상 요동 없이 명확한 값이 반환된다.

## 두 개의 입자를 사용한 예
임의의 마지막 상태 |f\rangle,  |1_, 1_\rangle로 주어진 동일한 두 입자들의 임의의 폭 상태, 임의의 연산자  \widehat{\mathbb{O}} 에 대해, 구별불가능성에 대한 다음 조건이 있다:

: 
 \left|\left\langle f\left|\widehat{\mathbb{O}}\right|1_{\mathbf{k}_1}, 1_{\mathbf{k}_2}\right\rangle\right|^2 =
 \left|\left\langle f\left|\widehat{\mathbb{O}}\right|1_{\mathbf{k}_2}, 1_{\mathbf{k}_1}\right\rangle\right|^2
 .

그래서

\left\langle f\left|\widehat{\mathbb{O}}\right|1_, 1_\right\rangle = e^{i\delta}\left\langle f\left|\widehat{\mathbb{O}}\right|1_, 1_\right\rangle

여기서 보손에 대해 e^{i\delta} = +1 페르미온에 대해 e^{i\delta} = -1. \langle f| 과 \widehat{\mathbb{O}}는 임의적이므로,

: 보손에 대해 \left|1_{\mathbf{k}_1}, 1_{\mathbf{k}_2}\right\rangle = +\left|1_{\mathbf{k}_2}, 1_{\mathbf{k}_1}\right\rangle
: 페르미온에 대해 \left|1_{\mathbf{k}_1}, 1_{\mathbf{k}_2}\right\rangle = -\left|1_{\mathbf{k}_2}, 1_{\mathbf{k}_1}\right\rangle

입자수 연산자는 보손과 페르미온을 구별하지 않는다는 점에 유의하라. 실제로 대칭 유형에 관계없이 입자 수만 계산한다. 이들 사이의 차이점을 인식하려면 다른 연산자, 즉 생성 및 소멸 연산자가 필요하다.

## 보손 폭 상태
정수 스핀을 갖는 입자인 보손은 간단한 규칙을 따른다. 즉, 교환 연산자에 의해 작동되는 합성 고유 상태는 대칭이다. 예를 들어, 텐서 곱 표현의 두 입자 시스템에서는 \hat{P}\left|x_1, x_2\right\rangle = \left|x_2, x_1\right\rangle과 같다.

### 보손 생성 및 소멸 연산자
우리는 이 새로운 폭 공간 표현에서 동일한 대칭 속성을 표현할 수 있어야 한다. 이를 위해 우리는 비-에르미트 보손 생성 및 소멸 연산자 b^{\dagger},  b를 도입한다. 폭 상태에서 이러한 연산자의 작용은 다음 두 방정식으로 제공된다.

* 생성 연산자 b^{\dagger}__l}  :
*: b^{\dagger}__l}|n__{1}}, n__{2}},n__{3}}...n__{l}},...\rangle=\sqrt{n__{l}} +1 } |n__{1}}, n__{2}} ,n__{3}}...n__{l}}+1 ,...\rangle 
* 소멸 연산자 b__l}  :
*: b__l}|n__{1}}, n__{2}},n__{3}}...n__{l}},...\rangle=\sqrt{n__{l}}} |n__{1}}, n__{2}}, n__{3}}...n__{l}}-1 ,...\rangle 

대체글=The Operation of creation and annihilation operators on Bosonic Fock states.|가운데| ''보손 폭 상태의 생성 및 소멸 연산자 작업이다.''

#### 생성 및 소멸 연산자의 비 에르미트성
보손 폭 상태 생성 및 소멸 연산자는 에르미트 연산자가 아니다.

**증명**

폭 상태 |n_{\mathbf{k}_1}, n_{\mathbf{k}_2}, n_{\mathbf{k}_3} \dots n_{\mathbf{k}_l}, \dots \rangle에 대해,  \begin{align}
    \left\langle n_{\mathbf{k}_1}, n_{\mathbf{k}_2}, n_{\mathbf{k}_3} \dots n_{\mathbf{k}_l} - 1, \dots
       \left| b_{\mathbf{k}_l} \right|
       n_{\mathbf{k}_1}, n_{\mathbf{k}_2}, n_{\mathbf{k}_3} \dots n_{\mathbf{k}_l}, \dots \right\rangle
  &= \sqrt{n_{\mathbf{k}_l}}\left\langle n_{\mathbf{k}_1}, n_{\mathbf{k}_2}, n_{\mathbf{k}_3} \dots n_{\mathbf{k}_l} - 1, \dots|n_{\mathbf{k}_1}, n_{\mathbf{k}_2}, n_{\mathbf{k}_3} \dots n_{\mathbf{k}_l} - 1, \dots \right\rangle \\[6pt]\left(\left\langle n_{\mathbf{k}_1}, n_{\mathbf{k}_2}, n_{\mathbf{k}_3} \dots n_{\mathbf{k}_l}, \dots
       \left| b_{\mathbf{k}_l} \right|
       n_{\mathbf{k}_1}, n_{\mathbf{k}_2}, n_{\mathbf{k}_3} \dots n_{\mathbf{k}_l} - 1, \dots \right\rangle\right)^*
  &= \left\langle n_{\mathbf{k}_1}, n_{\mathbf{k}_2}, n_{\mathbf{k}_3} \dots n_{\mathbf{k}_l} - 1 \dots
     \left| b_{\mathbf{k}_l}^\dagger \right|
       n_{\mathbf{k}_1}, n_{\mathbf{k}_2}, n_{\mathbf{k}_3} \dots n_{\mathbf{k}_l}, \dots \right\rangle \\
  &= \sqrt{n_{\mathbf{k}_l} + 1}\left\langle n_{\mathbf{k}_1}, n_{\mathbf{k}_2}, n_{\mathbf{k}_3} \dots n_{\mathbf{k}_l} - 1 \dots
      | n_{\mathbf{k}_1}, n_{\mathbf{k}_2}, n_{\mathbf{k}_3} \dots n_{\mathbf{k}_l} + 1 \dots \right\rangle
\end{align} 

따라서, 생성 (소멸) 연산자의 켤레는 자신이 아님이 명백하다. 즉, 이들은 에르미트 연산자가 아니다.

하지만 생성, 소멸 연산자는 서로의 켤레 연산자이다.

#### 연산자 항등식
보손 시스템에서 생성 및 소멸 연산자의 교환 관계는 다음과 같다.

: \left[b^{\,}_i, b^\dagger_j\right] \equiv b^{\,}_i b^\dagger_j - b^\dagger_jb^{\,}_i = \delta_{i j},
: \left[b^\dagger_i, b^\dagger_j\right] = \left[b^{\,}_i, b^{\,}_j\right] = 0,

여기서 [\ \, \ \ ]는 교환자이고 \delta_{i j} 크로네커 델타이다.

### N 보존 기저 상태

### 일부 특정 폭 상태에 대한 작용
진공 상태—어떤 상태에 있는 어떠한 입자가 아예 없는-은  |0__{1}},  0__{2}}, 0__{3}}...0__{l}}, ...\rangle로 표현된다. 그러면,

: b^{\dagger}__l}|0__{1}}, 0__{2}}, 0__{3}}...0__{l}}, ...\rangle = |0__{1}}, 0__{2}}, 0__{3}}...1__{l}}, ...\rangle 

이고, b_{\mathbf{k}_l}|0_{\mathbf{k}_1}, 0_{\mathbf{k}_2}, 0_{\mathbf{k}_3}...0_{\mathbf{k}_l}, ...\rangle = 0이다.  즉, *l번째* 생성 연산자는 *l*-번째 상태 **k**l인 입자 하나를 생성하고, 이 진공 상태는 소멸시킬 연산자가 없다는 점에서 소멸 연산자의 고정점이다.

진공 상태에 적절한 수의 생성 연산자를 작용하여 임의의 폭 상태를 생성할 수 있다:

: |n_{\mathbf{k}_1}, n_{\mathbf{k}_2} ...\rangle =
  \frac{\left(b^\dagger_{\mathbf{k}_1}\right)^{n_{\mathbf{k}_1}}}{\sqrt{n_{\mathbf{k}_1}!}}
  \frac{\left(b^\dagger_{\mathbf{k}_2}\right)^{n_{\mathbf{k}_2}}}{\sqrt{n_{\mathbf{k}_2}!}}...|0_{\mathbf{k}_{1}}, 0_{\mathbf{k}_{2}}, ...\rangle


단일 상태 폭 상태 |n_\mathbf{k}\rangle에 대해,

: b^\dagger_\mathbf{k}|n_\mathbf{k}\rangle = \sqrt{n_\mathbf{k} + 1} |n_\mathbf{k} + 1\rangle이고,
: b_\mathbf{k}|n_\mathbf{k}\rangle = \sqrt{n_\mathbf{k}} |n_\mathbf{k} - 1\rangle

### 입자수 연산자의 작용
보손 시스템에 대한 입자수 연산자 \widehat{N__l}}의 경우 \widehat{N__l}}=b^{\dagger}__l}b__l}과 같이 주어진다. 여기서 \widehat{N__l}}|n__{1}}, n__{2}} ,n__{3}}...n__{l}}...\rangle=n__{l}} |n__{1}}, n__{2}} ,n__{3}}...n__{l}}...\rangle 

입자수 연산자는 에르미트 연산자이다.

### 보손 폭 상태의 대칭 작용
생성 연산자와 소멸 연산자의 교환 관계는 보손 폭 상태들이 입자 바꾸기에 대해 적절한 대칭적인 행동을 한다는 것을 보장한다. 여기서,  *l* 과 *m* 두 상태들 사이의 입자들의 교환은 ) *l* 상태에 있는 입자를 소멸시키고 *m* 상태에 있는 입자를 생성시키는 것으로 수행된다. 만약 폭 상태 |\psi\rangle = \left|n_{\mathbf{k}_1}, n_{\mathbf{k}_2} , .... n_{\mathbf{k}_m} ... n_{\mathbf{k}_l} ... \right\rangle에서 시작하고, 한 입자를 k_l 상태에서 to state k_m 상태로 옮기고자 한다면, 폭 상태에 b_{\mathbf{k}_m}^\dagger b_{\mathbf{k}_l}를 다음과 같이 작용한다:

교환 관계를 이용하면, b_{\mathbf{k}_m}^\dagger.b_{\mathbf{k}_l} = b_{\mathbf{k}_l}.b_{\mathbf{k}_m}^\dagger

: \begin{align}
 b_{\mathbf{k}_m}^\dagger.b_{\mathbf{k}_l} \left|n_{\mathbf{k}_1}, n_{\mathbf{k}_2}, .... n_{\mathbf{k}_m} ... n_{\mathbf{k}_l} ... \right\rangle
  &= b_{\mathbf{k}_l}.b_{\mathbf{k}_m}^\dagger \left|n_{\mathbf{k}_1}, n_{\mathbf{k}_2}, .... n_{\mathbf{k}_m} ... n_{\mathbf{k}_l} ... \right\rangle
\\
  &= \sqrt{n_{\mathbf{k}_m} + 1}\sqrt{n_{\mathbf{k}_l}} \left|n_{\mathbf{k}_1}, n_{\mathbf{k}_2}, .... n_{\mathbf{k}_{m}} + 1 ... n_{\mathbf{k}_l} - 1 ...\right\rangle
\end{align}

따라서 보손 폭 상태는 교환 연산자의 작용에 따라 대칭으로 행동한다.

파일:Wignerfunction_fock_0.png|alt=||0\rangle의 위그너 함수
파일:Wignerfunction_fock_1.png|alt=||1\rangle의 위그너 함수
파일:Wignerfunction_fock_2.png|alt=||2\rangle의 위그너 함수
파일:Wignerfunction_fock_3.png|alt=||3\rangle의 위그너 함수
파일:Wignerfunction_fock_4.png|alt=||4\rangle의 위그너 함수


## 페르미온 포크 상태
### 페르미온 생성 및 소멸 연산자
페르미온들의 반대칭 작용을 유지할 수 있도록 페르미온 폭 상태에 대해 페르미온 폭 상태  |\psi\rangle = |n__{1}}, n__{2}} ,n__{3}}...n__{l}},...\rangle에 대해 정의된 비-에르미트 페르미온 생성 및 소멸 연산자를 도입한다:

* **생성 연산자** c^{\dagger}__l} 는 다음과 같이 작용한다:
*: c^{\dagger}__l}|n__{1}}, n__{2}} ,n__{3}}...n__{l}},...\rangle=\sqrt{n__{l}} +1 } |n__{1}}, n__{2}} ,n__{3}}...n__{l}}+1 ,...\rangle 
* **소멸 연산자** c__l} 는 다음과 같이 작용한다:
*: c__l}|n__{1}}, n__{2}} ,n__{3}}...n__{l}},...\rangle=\sqrt{n__{l}}} |n__{1}}, n__{2}} ,n__{3}}...n__{l}}-1 ,...\rangle 

이 두 가지 작용은 반대칭으로 수행되며 이에 대해서는 나중에 논의하겠다.

#### 연산자 항등식
페르미온 시스템에서 생성 및 소멸 연산자의 반교환 관계는 다음과 같다.

: \begin{align}
 \left\{c^{\,}_i, c^\dagger_j\right\} \equiv c^{\,}_i c^\dagger_j + c^\dagger_jc^{\,}_i &= \delta_{ij}, \\
       \left\{c^\dagger_i, c^\dagger_j\right\} = \left\{c^{\,}_i, c^{\,}_j\right\} &= 0,
\end{align}

여기서 {\{ \, \ \} }는 반교환자이고 \delta_{i j}는 크로네커 델타이다. 이러한 반교환 관계는 *페르미온 폭 상태*의 반대칭 작용을 표시하는 데 사용될 수 있다.

### 입자수 연산자의 작용
페르미온에 대한 입자수 연산자 \widehat{N__l}}은 \widehat{N__l}}=c^{\dagger}__l}.c__l}과 같이 주어진다.

: \widehat{N__l}}|n__{1}}, n__{2}} ,n__{3}}...n__{l}}...\rangle=n__{l}} |n__{1}}, n__{2}} ,n__{3}}...n__{l}}...\rangle 

#### 최대 점유수
입자수 연산자와 생성 및 소멸 연산자의 작용은 보존 연산자와 동일해 보일 수 있지만 실제 반전은 페르미온 폭 상태에서 각 상태의 최대 점유수에서 비롯된다. 위의 2입자 페르미온 예를 확장하면 먼저 페르미온 폭 상태|\psi\rangle = \left|n_{\mathbf{k}_1}, n_{\mathbf{k}_2}, n_{\mathbf{k}_3} ... n_{\mathbf{k}_l} ... \right\rangle가 다음과 같이 고유켓의 텐서곱에 특정 순열 연산자들의 합을 적용하여 얻는다.

: 
  \left|n_{\mathbf{k}_1}, n_{\mathbf{k}_2}, n_{\mathbf{k}_3} ... n_{\mathbf{k}_l} ...\right\rangle =
  S_-\left|i_1, i_2, i_3 ... i_l ...\right\rangle =
  \frac{1}{\sqrt{N!}}\begin{vmatrix}
    \left|i_1\right\rangle_1 & \cdots & \left|i_1\right\rangle_N \\
                      \vdots & \ddots &                   \vdots \\
    \left|i_N\right\rangle_1 & \cdots & \left|i_N\right\rangle_N
\end{vmatrix}

이 행렬식을 슬레이터 행렬식이라고 한다. 단일 입자 상태 중 하나가 동일한 경우 슬레이터 행렬식의 두 행은 동일하므로 행렬식은 0이 된다. 따라서 두 개의 동일한 페르미온이 동일한 상태를 차지해서는 안 된다(파울리 배타 원리의 설명). 따라서 단일 상태의 점유수는 0 또는 1이다. 페르미온 폭 상태 \widehat{N__l}}와 관련된 고유값은  0 또는 1이어야 한다.

### N 페르미온 기저 상태 <math>\left|n_{\mathbf{k}_1}, n_{\mathbf{k}_2}, n_{\mathbf{k}_3} ... n_{\mathbf{k}_l}, ...\right\rangle</math>

### 일부 특정 폭 상태에 대한 조치
대체글=The operation of creation and annihilation operators on Fermionic Fock states.|가운데| 페르미온 폭 상태의 생성 및 소멸 연산자 작동.

단일 모드 페르미온 폭 상태 \left|0_\mathbf{k}\right\rangle에 대해, 임의의 상태의 최대 점유수는 1이므로
: c^\dagger_\mathbf{k} \left|0_\mathbf{k}\right\rangle = \left|1_\mathbf{k}\right\rangle 

이고 c^{\dagger}_\mathbf{k} \left|1_\mathbf{k}\right\rangle = 0 이다.

파울리 배타 원리에서 진술하듯, 페르미온은 오직 1개만 같은 상태를 점유 할 수 있다. 단일 모드 페르미온 폭 상태 \left|1_\mathbf{k}\right\rangle에 대해, 입자수는 0 미만이 될 수 없으므로,
: c_\mathbf{k} \left|1_\mathbf{k}\right\rangle = \left|0_\mathbf{k}\right\rangle 

이고 c_\mathbf{k}\left|0_\mathbf{k}\right\rangle = 0이다. 다중모드 페르미온 폭 상태 \left|n_{\mathbf{k}_1}, n_{\mathbf{k}_2}, ... n_{\mathbf{k}_\beta}, n_{\mathbf{k}_\alpha}, ...\right\rangle에 대해,
: 
  c_{\mathbf{k}_\alpha}\left|n_{\mathbf{k}_1}, n_{\mathbf{k}_2}, ... n_{\mathbf{k}_\beta}, n_{\mathbf{k}_\alpha}, ...\right\rangle =
  (-1)^{\sum_{\beta 

여기서, (-1)^{\sum_{\beta 는 Jordan–Wigner string이라 불리며, 연관된 단일 입자 상태들의 순서에 의존하며, 모든 이전 상태들의 페르미온 점유수들을 더한다..

### 페르미온 폭 상태의 비대칭적 행동
교환 연산자 하에서 페르미온 상태의 비대칭적 행동은 반교환 관계를 처리한다. 여기서 두 상태 사이의 입자 교환은 한 상태에서 하나의 입자를 소멸시키고 다른 상태에서 하나를 생성함으로써 이루어진다. 폭 상태 |\psi\rangle = \left|n_{\mathbf{k}_1}, n_{\mathbf{k}_2}, ... n_{\mathbf{k}_m}... n_{\mathbf{k}_l} ...\right\rangle로 시작하면 상태 k_l에서 상태 k_m로 입자를 이동하고 싶다. 그런 다음 폭 상태에 c_{\mathbf{k}_m}^{\dagger}.c_{\mathbf{k}_l}를  다음과 같은 방법으로 작용한다.

반교환 관계를 사용하여

: c_{\mathbf{k}_m}^\dagger.c_{\mathbf{k}_l} = -c_{\mathbf{k}_l}.c_{\mathbf{k}_m}^\dagger
: 
 c_{\mathbf{k}_m}^{\dagger}.c_{\mathbf{k}_l} \left|n_{\mathbf{k}_1}, n_{\mathbf{k}_2}, .... n_{\mathbf{k}_m} ... n_{\mathbf{k}_l} ... \right\rangle =
 \sqrt{n_{\mathbf{k}_m} + 1}\sqrt{n_{\mathbf{k}_l}} \left|n_{\mathbf{k}_1}, n_{\mathbf{k}_2}, .... n_{\mathbf{k}_m} + 1 ... n_{\mathbf{k}_l} - 1 ...\right\rangle

하지만,\begin{align}
    &c__{l}}.c__{m}}^{\dagger}|n__{1}}, n__{2}}, ....n__{m}}... n__{l}}...\rangle \\
 ={} -&c__{m}}^{\dagger}.c__{l}}|n__{1}}, n__{2}}, .... n__{m}}... n__{l}}...\rangle \\
 ={} -&\sqrt{n__{m}} +1 }\sqrt{n__{l}}}|n__{1}}, n__{2}}, .... n__{m}} + 1 ... n__{l}} - 1...\rangle
\end{align} 따라서 페르미온 폭 상태는 입자 교환 연산자에 의해 작동되는 경우 반대칭이다.

## 폭 상태는 일반적으로 에너지 고유 상태가 아니다.
이차 양자화 이론에서 해밀토니언 밀도 함수는 다음과 같이 주어진다.

: \mathfrak{H} = \frac{1}{2m} \nabla_{i}\psi^{*}(x)\, \nabla_{i}\psi(x)

총 해밀토니언은 다음과 같이 주어진다.

: \begin{align}
              \mathcal{H} &= \int d^3 x\,\mathfrak{H}
                           = \int d^{3}x \psi^{*}(x)\left(-\frac{\nabla^2}{2m}\right)\psi(x) \\
  \therefore \mathfrak{H} &= -\frac{\nabla^2}{2m}
\end{align}

자유 슈뢰딩거 이론에서 

: \mathfrak{H}\psi_{n}^{(+)}(x) = -\frac{\nabla^2}{2m}\psi_{n}^{(+)}(x) = E_{n}^{0}\psi_{n}^{(+)}(x)

그리고

: \int d^3 x\, \psi_{n}^{(+)^{*}}(x)\, \psi_{n'}^{(+)}(x) = \delta_{nn'}

그리고

: \psi(x) = \sum_n a_n \psi_{n}^{(+)}(x) ,

여기서 a_n는 소멸 연산자이다.

: \therefore \mathcal{H} = \sum_{n,n'}\int d^{3}x\, a^{\dagger}_{n'}\psi_{n'}^{(+)^{*}}(x)\, \mathfrak{H}a_n \psi_{n}^{(+)}(x)

상호작용하지 않는 입자에 대해서만 \mathfrak{H}와 a_n가 교환한다; 일반적으로는 교환하지 않는다. 상호작용하지 않는 입자의 경우,

: \mathcal{H} =
 \sum_{n,n'}\int d^3 x\, a^{\dagger}_{n'}\psi_{n'}^{(+)^{*}}(x)\, E^{0}_{n}\psi_{n}^{(+)}(x)a_n =
 \sum_{n,n'}E^{0}_{n} a^{\dagger}_{n'}a_n\delta_{nn'} =
 \sum_{n}E^{0}_{n}a^{\dagger}_n a_n =
 \sum_{n}E^{0}_{n}\widehat{N}


교환하지 않는다면 해밀토니안은 위의 표현을 갖지 못할 것이다. 따라서 일반적으로 폭 상태는 시스템의 에너지 고유 상태가 아니다.

## 진공 요동
진공 상태 또는 |0\rangle는 가장 낮은 에너지 상태이고  a과 a^\dagger의 기대값은 이 상태에서 0이다:

: a|0\rangle = 0 = \langle 0 |a^\dagger

전기장, 자기장, 벡터 퍼텐셜은 동일한 일반 형식의 모드 확장을 갖는다.

: F\left(\vec{r}, t\right) = \varepsilon a e^{i\vec{k}x - \omega t} + h.c. 

따라서 이러한 장 연산자의 기대값이 진공 상태에서 사라지는 것을 쉽게 알 수 있다.

: \langle 0|F|0 \rangle = 0

그러나 이러한 장 연산자의 제곱에 대한 기대값은 0이 아닌 것으로 표시될 수 있다. 따라서 제로 앙상블 평균에 대한 장에는 요동이 있다. 이러한 진공 요동은 양자 광학의 램 이동을 비롯한 많은 흥미로운 현상의 원인이다.

## 다중 모드 폭 상태
다중 모드 장에서, 각 생성 및 소멸 연산자는 자신의 모드에만 작용한다. 그래서 a_{\mathbf{k}_l}과 a^{\dagger}_{\mathbf{k}_l}는 \left|n_{\mathbf{k}_l}\right\rangle에만 작용한다. 서로 다른 모드에 해당하는 연산자는 힐베르트 공간의 서로 다른 부분 공간에서 작용하므로 전체 장는 모든 모드에 걸쳐 |n_{\mathbf{k}_l}\rangle들의 직곱이다:

: 
 \left|n_{\mathbf{k}_1}\right\rangle \left|n_{\mathbf{k}_2}\right\rangle \left|n_{\mathbf{k}_3}\right\rangle \ldots \equiv
 \left|n_{\mathbf{k}_1}, n_{\mathbf{k}_2}, n_{\mathbf{k}_3}... n_{\mathbf{k}_l}... \right\rangle \equiv
 \left|\{n_\mathbf{k}\}\right\rangle


생성 및 소멸 연산자는 자체 모드의 입자수 상태만 높이거나 낮추는 방식으로 다중 모드 상태에서 작용한다.

: \begin{align}
 a__l} |n__{1}}, n__{2}}, n__{3}}... n__{l}}, ...\rangle &=
 \sqrt{n__{l}}} |n__{1}}, n__{2}}, n__{3}}... n__{l}}-1, ...\rangle \\
 a^{\dagger}__l} |n__{1}}, n__{2}}, n__{3}}... n__{l}},...\rangle &=
 \sqrt{n__{l}} +1 } |n__{1}}, n__{2}}, n__{3}}... n__{l}} + 1, ...\rangle
\end{align}

또한 각 모드의 입자수 연산자의 합인 장에 대한 총 입자수 연산자를 정의한다.

:  \hat{n}_{\mathbf{k}} = \sum \hat{n}_{\mathbf{k}_l} 

다중 모드 폭 상태는 고유값이 모든 모드의 총 점유 수인 총 수 연산자의 고유 벡터이다.

:  \hat{n}_{\mathbf{k}} |\{n_{\mathbf{k}}\}\rangle = \left( \sum n_{\mathbf{k}_l} \right) |\{n_{\mathbf{k}}\}\rangle 

상호 작용하지 않는 입자의 경우 입자수 연산자와 해밀토니언은 서로 교환하므로 다중 모드 폭 상태는 다중 모드 해밀토니언의 고유 상태가 된다.

:  \hat{H} \left|\{n_{\mathbf{k}}\}\right\rangle = \left( \sum \hbar \omega \left(n_{\mathbf{k}_l} + \frac{1}{2} \right)\right) \left|\{n_{\mathbf{k}}\}\right\rangle 

## 단일 광자 상태의 소스
단일 광자는 단일 방출체(원자, 이온, 분자, 질소 공극 중심, 양자점)를 사용하여 일상적으로 생성된다. 그러나 이러한 소스는 항상 아주 효율적인 것은 아니며 실제로 요청 시 단일 광자를 얻을 확률이 낮다. 실험실 환경에서는 복잡하고 부적합한 경우가 많다.

비결정적 작용을 희생하여 이러한 문제를 극복하는 다른 소스가 일반적으로 사용된다. 예고된 단일 광자 소스는 쌍이 분할되는 확률적 2광자 소스이며, 하나의 광자가 감지되면 나머지 하나의 존재를 알린다. 이러한 소스는 일반적으로 주기적으로 극성이 있는 니오브산 리튬 (자발적 매개변수 하향 변환) 또는 실리콘(자발적 4파장 혼합)과 같은 일부 재료의 광학적 비선형성에 의존한다.

## 비고전적인 행동
폭 상태의 글라우버-수다르샨 표현은 이러한 상태가 순전히 양자 역학적이며 고전적인 대응이 없음을 보여준다. 이 표현에서 이러한 상태의 \scriptstyle\varphi(\alpha) \,는 디랙 델타 함수의 2n'차 도함수이므로 고전적인 확률 분포가 아니다.

## 같이 보기
* 결맞는 상태
* 하이젠베르크 극한
* 비고전적인 빛

## 각주

## 외부 링크
* MIT의 Vladan Vuletic은 원자 앙상블을 사용하여 폭 상태(일명 단일 광자) 소스를 생성했다  (PDF).
* 대화형 실험을 통해 단일 광자 상태(폭 상태) 생성 및 측정 QuantumLab

분류:양자장론
분류:양자광학