{{위키데이터 속성 추적}}
[[양자역학]]에서 '''폭 상태'''({{llang|en|Fock state}}) 또는 '''입자수 상태'''({{llang|en|number state}})는 잘 정의된 [[기본 입자|입자]] 수(또는 [[양자 (에너지)|양자]])가 있는 [[포크 공간|폭 공간]]의 원소인 양자 상태이다. 이 상태는 [[소련]] 물리학자 [[블라디미르 포크]]의 이름을 따서 명명되었다. 폭 상태는 양자역학의 [[정준 양자화|두 번째 양자화]] 공식화에서 중요한 역할을 한다.

입자 표현은 [[보손]]의 경우 [[폴 디랙]]에 의해, [[페르미온]]의 경우 [[파스쿠알 요르단]]과 [[유진 위그너]]에 의해 처음으로 자세히 다루어졌다.<ref name="Friedrichs">{{서적 인용|제목=Mathematical aspects of the Quantum Theory of Fields|성=Friedrichs|이름=K. O.|날짜=1953|출판사=Interscience Publishers|asin=B0006ATGK4}}</ref><sup>:35p</sup> 보손과 페르미온의 폭 상태는 폭 공간 생성 및 소멸 연산자와 관련하여 유용한 관계를 따른다.

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

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

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

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

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

주어진 폭 상태는 <math>|n_{{\mathbf{k}}_1},n_{{\mathbf{k}}_2},..n_{{\mathbf{k}}_i}...\rangle</math>과 같이 표시된다. 이 표현에서, <math>n_{{\mathbf{k}}_i}</math>는 i번째 상태의 입자 수 '''k''' <sub>i</sub>를 나타내고, i번째 상태에 대한 입자 수 연산자 <math>\widehat{N_{{\mathbf{k}}_i}}</math>는 다음과 같은 방식으로 폭 상태에 작용한다:

: <math>\widehat{N_{{\mathbf{k}}_i}}|n_{{\mathbf{k}}_1},n_{{\mathbf{k}}_2},..n_{{\mathbf{k}}_i}...\rangle = n_{{\mathbf{k}}_i}|n_{{\mathbf{k}}_1},n_{{\mathbf{k}}_2},..n_{{\mathbf{k}}_i}...\rangle</math>

따라서 폭 상태는 고유값을 갖는 입자수 연산자의 고유상태 <math>n_{{\mathbf{k}}_i}</math>이다.<ref name="Mandel">{{서적 인용|제목=Optical coherence and quantum optics|성=Mandel|이름=Wolf|날짜=1995|출판사=Cambridge University Press|isbn=0521417112}}</ref>{{참고 쪽|478}}

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

입자수 연산자 <math display="inline">\widehat{N}</math>를

: <math>\widehat{N} = \sum_i \widehat{N_{{\mathbf{k}}_i}},</math>

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

== 두 개의 입자를 사용한 예 ==
임의의 마지막 상태 <math>|f\rangle</math>,  <math>|1_{{\mathbf{{k}}_1}}, 1_{{\mathbf{{k}}_2}}\rangle</math>로 주어진 동일한 두 입자들의 임의의 폭 상태, 임의의 연산자 <math> \widehat{\mathbb{O}} </math>에 대해, 구별불가능성에 대한 다음 조건이 있다:<ref name="FGross"/>{{참고 쪽|191}}

: <math>
 \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
</math> .

그래서

<math>\left\langle f\left|\widehat{\mathbb{O}}\right|1_{{\mathbf{{k}}_1}}, 1_{{\mathbf{{k}}_2}}\right\rangle = e^{i\delta}\left\langle f\left|\widehat{\mathbb{O}}\right|1_{{\mathbf{{k}}_2}}, 1_{{\mathbf{{k}}_1}}\right\rangle</math>

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

: 보손에 대해 <math>\left|1_{\mathbf{k}_1}, 1_{\mathbf{k}_2}\right\rangle = +\left|1_{\mathbf{k}_2}, 1_{\mathbf{k}_1}\right\rangle</math>
: 페르미온에 대해 <math>\left|1_{\mathbf{k}_1}, 1_{\mathbf{k}_2}\right\rangle = -\left|1_{\mathbf{k}_2}, 1_{\mathbf{k}_1}\right\rangle</math><ref name="FGross"/>{{참고 쪽|191}}

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

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

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

* 생성 연산자 <math display="inline">b^{\dagger}_{{\mathbf{k}}_l} </math> :
*: <math>b^{\dagger}_{{\mathbf{k}}_l}|n_{{\mathbf{k}}_{1}}, n_{{\mathbf{k}}_{2}},n_{{\mathbf{k}}_{3}}...n_{{\mathbf{k}}_{l}},...\rangle=\sqrt{n_{{\mathbf{k}}_{l}} +1 } |n_{{\mathbf{k}}_{1}}, n_{{\mathbf{k}}_{2}} ,n_{{\mathbf{k}}_{3}}...n_{{\mathbf{k}}_{l}}+1 ,...\rangle </math><ref name="TIFR"/>
* 소멸 연산자 <math display="inline">b_{{\mathbf{k}}_l} </math> :
*: <math>b_{{\mathbf{k}}_l}|n_{{\mathbf{k}}_{1}}, n_{{\mathbf{k}}_{2}},n_{{\mathbf{k}}_{3}}...n_{{\mathbf{k}}_{l}},...\rangle=\sqrt{n_{{\mathbf{k}}_{l}}} |n_{{\mathbf{k}}_{1}}, n_{{\mathbf{k}}_{2}}, n_{{\mathbf{k}}_{3}}...n_{{\mathbf{k}}_{l}}-1 ,...\rangle </math><ref name="TIFR" />

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

==== 생성 및 소멸 연산자의 비 에르미트성 ====
보손 폭 상태 생성 및 소멸 연산자는 [[자기 수반 작용소|에르미트 연산자]]가 아니다.<ref name="TIFR"/>

'''증명'''

폭 상태 <math>|n_{\mathbf{k}_1}, n_{\mathbf{k}_2}, n_{\mathbf{k}_3} \dots n_{\mathbf{k}_l}, \dots \rangle</math>에 대해, <math display="block"> \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} </math>

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

하지만 생성, 소멸 연산자는 서로의 켤레 연산자이다.<ref name="Altland">{{서적 인용|url=https://books.google.com/books?id=0KMkfAMe3JkC&pg=PA39|title=Condensed Matter Field Theory|last1=Altland|first1=Alexander|last2=Simons|first2=Ben|date=2006|publisher=Cambridge University Press|isbn=0521769752}}</ref>{{rp|45}}

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

: <math>\left[b^{\,}_i, b^\dagger_j\right] \equiv b^{\,}_i b^\dagger_j - b^\dagger_jb^{\,}_i = \delta_{i j},</math><ref name="TIFR"/>
: <math>\left[b^\dagger_i, b^\dagger_j\right] = \left[b^{\,}_i, b^{\,}_j\right] = 0,</math><ref name="TIFR" />

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

=== N 보존 기저 상태 ===
{| class="wikitable"
!입자수(N)
! 보손 기저 상태<ref name="Bruus"/> {{참고 쪽|11}}
|-
|0
| <math>|0,0,0...\rangle</math>
|-
| 1
| <math>|1,0,0...\rangle</math>, <math>|0,1,0...\rangle</math>, <math>|0,0,1...\rangle</math> ,...
|-
| 2
| <math>|2,0,0...\rangle</math>, <math>|1,1,0...\rangle</math>, <math>|0,2,0...\rangle</math> ,...
|-
| <math>n</math>
| <math>|n_{{\mathbf{k}}_{1}}, n_{{\mathbf{k}}_{2}} ,n_{{\mathbf{k}}_{3}}...n_{{\mathbf{k}}_{l}},...\rangle</math>
|}

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

: <math>b^{\dagger}_{{\mathbf{k}}_l}|0_{{\mathbf{k}}_{1}}, 0_{{\mathbf{k}}_{2}}, 0_{{\mathbf{k}}_{3}}...0_{{\mathbf{k}}_{l}}, ...\rangle = |0_{{\mathbf{k}}_{1}}, 0_{{\mathbf{k}}_{2}}, 0_{{\mathbf{k}}_{3}}...1_{{\mathbf{k}}_{l}}, ...\rangle </math>

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

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

: <math>|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
</math>

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

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

=== 입자수 연산자의 작용 ===
보손 시스템에 대한 입자수 연산자 <math display="inline">\widehat{N_{{\mathbf{k}}_l}}</math>의 경우 <math>\widehat{N_{{\mathbf{k}}_l}}=b^{\dagger}_{{\mathbf{k}}_l}b_{{\mathbf{k}}_l}</math>과 같이 주어진다. 여기서 <math>\widehat{N_{{\mathbf{k}}_l}}|n_{{\mathbf{k}}_{1}}, n_{{\mathbf{k}}_{2}} ,n_{{\mathbf{k}}_{3}}...n_{{\mathbf{k}}_{l}}...\rangle=n_{{\mathbf{k}}_{l}} |n_{{\mathbf{k}}_{1}}, n_{{\mathbf{k}}_{2}} ,n_{{\mathbf{k}}_{3}}...n_{{\mathbf{k}}_{l}}...\rangle </math><ref name="TIFR"/>

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

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

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

: <math>\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}</math>

따라서 보손 폭 상태는 교환 연산자의 작용에 따라 대칭으로 행동한다.<gallery widths="160" heights="100">
파일:Wignerfunction_fock_0.png|alt=<nowiki>Wigner function of                                    |                  0         ⟩                 {\displaystyle</nowiki>|<math>|0\rangle</math>의 위그너 함수
파일:Wignerfunction_fock_1.png|alt=<nowiki>Wigner function of                                    |                  1         ⟩                 {\displaystyle</nowiki>|<math>|1\rangle</math>의 위그너 함수
파일:Wignerfunction_fock_2.png|alt=<nowiki>Wigner function of                                    |                  2         ⟩                 {\displaystyle</nowiki>|<math>|2\rangle</math>의 위그너 함수
파일:Wignerfunction_fock_3.png|alt=<nowiki>Wigner function of                                    |                  3         ⟩                 {\displaystyle</nowiki>|<math>|3\rangle</math>의 위그너 함수
파일:Wignerfunction_fock_4.png|alt=<nowiki>Wigner function of                                    |                  4         ⟩                 {\displaystyle</nowiki>|<math>|4\rangle</math>의 위그너 함수
</gallery>

== 페르미온 포크 상태 ==
=== 페르미온 생성 및 소멸 연산자 ===
[[페르미온]]들의 반대칭 작용을 유지할 수 있도록 페르미온 폭 상태에 대해 페르미온 폭 상태 <math> |\psi\rangle = |n_{{\mathbf{k}}_{1}}, n_{{\mathbf{k}}_{2}} ,n_{{\mathbf{k}}_{3}}...n_{{\mathbf{k}}_{l}},...\rangle</math>에 대해 정의된 비-에르미트 페르미온 생성 및 소멸 연산자를 도입한다:<ref name="TIFR" />

* '''생성 연산자''' <math>c^{\dagger}_{{\mathbf{k}}_l} </math>는 다음과 같이 작용한다:
*: <math>c^{\dagger}_{{\mathbf{k}}_l}|n_{{\mathbf{k}}_{1}}, n_{{\mathbf{k}}_{2}} ,n_{{\mathbf{k}}_{3}}...n_{{\mathbf{k}}_{l}},...\rangle=\sqrt{n_{{\mathbf{k}}_{l}} +1 } |n_{{\mathbf{k}}_{1}}, n_{{\mathbf{k}}_{2}} ,n_{{\mathbf{k}}_{3}}...n_{{\mathbf{k}}_{l}}+1 ,...\rangle </math><ref name="TIFR"/>
* '''소멸 연산자''' <math display="inline">c_{{\mathbf{k}}_l} </math>는 다음과 같이 작용한다:
*: <math>c_{{\mathbf{k}}_l}|n_{{\mathbf{k}}_{1}}, n_{{\mathbf{k}}_{2}} ,n_{{\mathbf{k}}_{3}}...n_{{\mathbf{k}}_{l}},...\rangle=\sqrt{n_{{\mathbf{k}}_{l}}} |n_{{\mathbf{k}}_{1}}, n_{{\mathbf{k}}_{2}} ,n_{{\mathbf{k}}_{3}}...n_{{\mathbf{k}}_{l}}-1 ,...\rangle </math>

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

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

: <math>\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}</math><ref name="TIFR"/>

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

=== 입자수 연산자의 작용 ===
[[페르미온]]에 대한 입자수 연산자 <math display="inline">\widehat{N_{{\mathbf{k}}_l}}</math>은 <math>\widehat{N_{{\mathbf{k}}_l}}=c^{\dagger}_{{\mathbf{k}}_l}.c_{{\mathbf{k}}_l}</math>과 같이 주어진다.

: <math>\widehat{N_{{\mathbf{k}}_l}}|n_{{\mathbf{k}}_{1}}, n_{{\mathbf{k}}_{2}} ,n_{{\mathbf{k}}_{3}}...n_{{\mathbf{k}}_{l}}...\rangle=n_{{\mathbf{k}}_{l}} |n_{{\mathbf{k}}_{1}}, n_{{\mathbf{k}}_{2}} ,n_{{\mathbf{k}}_{3}}...n_{{\mathbf{k}}_{l}}...\rangle </math><ref name="TIFR">{{웹 인용|url=http://theory.tifr.res.in/~sgupta/courses/qm2013/hand13.pdf|제목=Quantum Mechanics 1 Lecture Notes on Identical Particles, TIFR, Mumbai}}</ref>

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

: <math>
  \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}</math><ref name="Schwabl">
{{서적 인용|제목=Advanced Quantum Mechanics|성=Schwabl, Hilton, Lahee|날짜=2008|출판사=Springer|isbn=978-3540850618}}</ref>{{참고 쪽|16}}

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

=== N 페르미온 기저 상태 <math>\left|n_{\mathbf{k}_1}, n_{\mathbf{k}_2}, n_{\mathbf{k}_3} ... n_{\mathbf{k}_l}, ...\right\rangle</math> ===
{| class="wikitable"
!입자수(N)
! 페르미온 기저 상태<ref name="Bruus">{{서적 인용|제목=Many-Body Quantum Theory in Condensed Matter Physics: An Introduction|성=Bruus|이름=Flensberg|날짜=2003|출판사=OUP Oxford|isbn=0198566336}}</ref> {{참고 쪽|11}}
|-
|0
| <math>|0,0,0...\rangle</math>
|-
| 1
| <math>|1,0,0...\rangle</math>, <math>|0,1,0...\rangle</math>, <math>|0,0,1...\rangle</math> ,...
|-
| 2
| <math>|1,1,0...\rangle</math>, <math>|0,1,1...\rangle</math>, <math>|0,1,0,1...\rangle</math>, <math>|1,0,1,0...\rangle</math> ...
|-
| ...
| ...
|}

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

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

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

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

이고 <math>c_\mathbf{k}\left|0_\mathbf{k}\right\rangle = 0</math>이다. 다중모드 페르미온 폭 상태 <math>\left|n_{\mathbf{k}_1}, n_{\mathbf{k}_2}, ... n_{\mathbf{k}_\beta}, n_{\mathbf{k}_\alpha}, ...\right\rangle</math>에 대해,
: <math>
  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 < \alpha} n_\beta} \left|n_{\mathbf{k}_1}, n_{\mathbf{k}_2}, ... ,n_{\mathbf{k}_\beta},1 - n_{\mathbf{k}_\alpha}, ...\right\rangle</math>

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

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

반교환 관계를 사용하여

: <math>c_{\mathbf{k}_m}^\dagger.c_{\mathbf{k}_l} = -c_{\mathbf{k}_l}.c_{\mathbf{k}_m}^\dagger</math>
: <math>
 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</math>

하지만,<math display="block">\begin{align}
    &c_{{\mathbf{k}}_{l}}.c_{{\mathbf{k}}_{m}}^{\dagger}|n_{{\mathbf{k}}_{1}}, n_{{\mathbf{k}}_{2}}, ....n_{{\mathbf{k}}_{m}}... n_{{\mathbf{k}}_{l}}...\rangle \\
 ={} -&c_{{\mathbf{k}}_{m}}^{\dagger}.c_{{\mathbf{k}}_{l}}|n_{{\mathbf{k}}_{1}}, n_{{\mathbf{k}}_{2}}, .... n_{{\mathbf{k}}_{m}}... n_{{\mathbf{k}}_{l}}...\rangle \\
 ={} -&\sqrt{n_{{\mathbf{k}}_{m}} +1 }\sqrt{n_{{\mathbf{k}}_{l}}}|n_{{\mathbf{k}}_{1}}, n_{{\mathbf{k}}_{2}}, .... n_{{\mathbf{k}}_{m}} + 1 ... n_{{\mathbf{k}}_{l}} - 1...\rangle
\end{align} </math>따라서 페르미온 폭 상태는 입자 교환 연산자에 의해 작동되는 경우 반대칭이다.

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

: <math>\mathfrak{H} = \frac{1}{2m} \nabla_{i}\psi^{*}(x)\, \nabla_{i}\psi(x)</math><ref name="FGross"/>{{참고 쪽|189}}

총 [[해밀토니언 (양자역학)|해밀토니언]]은 다음과 같이 주어진다.

: <math>\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}</math>

자유 슈뢰딩거 이론에서<ref name="FGross">{{서적 인용|제목=Relativistic Quantum Mechanics and Field Theory|성=Gross|이름=Franz|날짜=1999|출판사=Wiley-VCH|isbn=0471353868}}</ref> {{참고 쪽|189}}

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

그리고

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

그리고

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

여기서 <math>a_n</math>는 소멸 연산자이다.

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

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

: <math>\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}
</math>

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

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

: <math>a|0\rangle = 0 = \langle 0 |a^\dagger</math>

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

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

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

: <math>\langle 0|F|0 \rangle = 0</math>

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

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

: <math>
 \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
</math>

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

: <math>\begin{align}
 a_{{\mathbf{k}}_l} |n_{{\mathbf{k}}_{1}}, n_{{\mathbf{k}}_{2}}, n_{{\mathbf{k}}_{3}}... n_{{\mathbf{k}}_{l}}, ...\rangle &=
 \sqrt{n_{{\mathbf{k}}_{l}}} |n_{{\mathbf{k}}_{1}}, n_{{\mathbf{k}}_{2}}, n_{{\mathbf{k}}_{3}}... n_{{\mathbf{k}}_{l}}-1, ...\rangle \\
 a^{\dagger}_{{\mathbf{k}}_l} |n_{{\mathbf{k}}_{1}}, n_{{\mathbf{k}}_{2}}, n_{{\mathbf{k}}_{3}}... n_{{\mathbf{k}}_{l}},...\rangle &=
 \sqrt{n_{{\mathbf{k}}_{l}} +1 } |n_{{\mathbf{k}}_{1}}, n_{{\mathbf{k}}_{2}}, n_{{\mathbf{k}}_{3}}... n_{{\mathbf{k}}_{l}} + 1, ...\rangle
\end{align}</math>

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

: <math> \hat{n}_{\mathbf{k}} = \sum \hat{n}_{\mathbf{k}_l} </math>

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

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

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

: <math> \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 </math>

== 단일 광자 상태의 소스 ==
단일 광자는 단일 방출체(원자, 이온, 분자, [[질소-공동 센터|질소 공극 중심]],<ref>C. Kurtsiefer, S. Mayer, P. Zarda, Patrick and H. Weinfurter, (2000), "Stable Solid-State Source of Single Photons",
 ''Phys. Rev. Lett.'' '''85''' (2) 290--293, [http://link.aps.org/doi/10.1103/PhysRevLett.85.290 doi 10.1103/PhysRevLett.85.290]</ref> [[퀀텀닷|양자점]]<ref>C. Santori, M. Pelton, G. Solomon, Y. Dale and Y. Yamamoto (2001), "Triggered Single Photons from a Quantum Dot", ''Phys. Rev. Lett.'' '''86''' (8):1502--1505 [http://link.aps.org/doi/10.1103/PhysRevLett.86.1502 DOI 10.1103/PhysRevLett.86.1502]</ref>)를 사용하여 일상적으로 생성된다. 그러나 이러한 소스는 항상 아주 효율적인 것은 아니며 실제로 요청 시 단일 광자를 얻을 확률이 낮다. 실험실 환경에서는 복잡하고 부적합한 경우가 많다.

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

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

== 같이 보기 ==
* [[결맞는 상태]]
* [[불확정성 원리|하이젠베르크 극한]]
* 비고전적인 빛

== 각주 ==
{{각주}}

== 외부 링크 ==
* [[매사추세츠 공과대학교|MIT]]의 Vladan Vuletic은 [http://www.rle.mit.edu/eap/other/single_photon_source_article.pdf 원자 앙상블을 사용하여 폭 상태(일명 단일 광자) 소스를 생성했다] {{웨이백|url=http://www.rle.mit.edu/eap/other/single_photon_source_article.pdf |date=20230615081430 }} (PDF).
* 대화형 실험을 통해 단일 광자 상태(폭 상태) 생성 및 측정 [http://www.QuantumLab.de QuantumLab]

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