フォック状態

量子力学においてフォック状態（フォックじょうたい、）または数状態（すうじょうたい、）、または粒子数状態（りゅうしすうじょうたい）とは、粒子（または量子）の数が明確に定義されたフォック空間のベクトルである量子状態のこと。ソビエトの物理学者ウラジミール・フォックにちなんで名づけられた。
また多体系や量子場をフォック状態で表すことをフォック表示、占有数表示などと呼ぶ。量子光学では光子数状態あるいは光子数確定状態とも呼ばれる。
フォック状態は量子力学の第二量子化形式において重要な役割を果たす。
粒子表現は、ポール・ディラックがボース粒子について、パスクアル・ヨルダンとユージン・ウィグナーがフェルミ粒子について詳細に扱ったのが最初である。
1つのモードの場合.
ボース粒子の場合.
最も単純な１つのモードのボース粒子フォック状態を考える（ここで考えている状態を1粒子状態と呼ぶこともあるが、この状態を多粒子状態と考えることもできるため（後述）、ここでは単にモードと呼ぶことにする）。これはエネルギー的には１つの調和振動子と等価である。
以下の交換関係を満たす生成消滅演算子を定義する。
数演算子とよばれるエルミート演算子を以下で定義する。
この固有値方程式は、
この固有値formula_4は非負の整数である。また、この固有ベクトルformula_5に生成消滅演算子が作用すると、
また固有値0の場合の固有状態formula_7を真空状態と呼び、これに消滅演算子が作用すると次のようになる。
数演算子の固有状態は、真空状態から生成演算子をくり返し作用することで作ることができる。これをボース粒子におけるフォック状態と呼ぶ。
調和振動子では、数演算子とハミルトニアンは互いに交換する。
よってフォック状態formula_5は調和振動子のハミルトニアンの固有状態:formula_13でもある（同時固有状態）。
つまり状態formula_5における粒子数とエネルギーの測定値には量子的なバラつき（ゆらぎ）は無い。
粒子的な解釈.
以上のことから、次のような再解釈を行うことができる。
このように考えることで元々は1粒子状態であった調和振動子の状態も、その励起数だけ粒子がある多粒子状態となる。
フェルミ粒子の場合.
以下の反交換関係を満たす生成消滅演算子を定義する。
また数演算子とよばれるエルミート演算子を以下で定義する。
この固有値方程式は、
真空状態を以下で定義する。
真空状態formula_25に生成演算子をくり返し作用させると、formula_26より、
つまり最大占有数は1で、1個以上のフェルミ粒子は同じ状態を占有できない。
逆にformula_29にくり返し消滅演算子を作用させると、formula_30より
つまり粒子数は0以下になれない。このformula_33をフェルミ粒子におけるフォック状態と呼ぶ。
ボース粒子の場合と同様に、この場合も粒子的な解釈を行うことができる。ただし粒子の生成は1つまでしかできない。
同種粒子の不可弁別性.
1つのモードでのフォック状態を合成し、2つ以上のモード（多重モード）でのフォック状態を作る。このフォック状態は、同種粒子の不可弁別性を満たすような形でなければならない。
2つのモードの場合.
合成した固有状態に交換演算子formula_34が作用すると、ボース粒子の場合は対称的、フェルミ粒子の場合は反対称的になければならない。
たとえばテンソル積表現での2粒子系においては次のようになる。
2つの同種粒子のフォック状態formula_36について、次の不可弁別性が成り立つ。よって
となる。
ここで数演算子は、ボース粒子とフェルミ粒子を区別せずに（つまり対称性を考慮せずに）粒子を数えるだけの演算子であることに注意。
この２種類の粒子の差を見るには、生成消滅演算子が必要となる。
このように複数の同種モードがある場合、ボース粒子のフォック状態は対称性を、フェルミ粒子のフォック状態は反対称性を持たなければならない。
これらの性質を満たすため、以下で述べるように、多重モードのフォック状態をテンソル積を用いて構成する。
テンソル積は、粒子がフェルミ粒子かボース粒子かによって、基となる1粒子ヒルベルト空間の交代積または対称積でなければならない。
多重モードのボース粒子フォック状態.
生成消滅演算子の導入.
この新しいフォック空間表現では、同じ対称性の性質を表現しなければならない。
そのため各モードformula_39のボース粒子の生成消滅演算子を、以下の交換関係を満たす演算子formula_40、formula_41として定義する。
ここでformula_44はクロネッカーのデルタである。生成消滅演算子はエルミート演算子ではない。
粒子数演算子.
各モードの粒子数演算子を次のように定義する。
これはエルミート演算子である。この固有値・固有ベクトルは以下を満たす。
また全数演算子を、各モードformula_39の数演算子の和として定義する。
状態のテンソル積.
多重モードにおけるフォック状態formula_49を、全数演算子の固有ベクトルと定義する。固有値は全てのモードの粒子数（占有数）の和である。
多重モードフォック状態は、各モードでのformula_51 の直積（テンソル積）で表される。
ここで各モードにおける粒子的な解釈を行うことで、多重モード全体の状態を各モードの粒子数（あるいは占有数）を用いて表すことができる。
生成消滅演算子の作用.
多重モードのフォック状態におけるそれぞれの生成消滅演算子は、それ自身のモードにのみ作用する。たとえばformula_53とformula_54は、formula_55にだけ作用する。
つまり生成消滅演算子の多重モード状態への作用は、それら自身のモードの粒子数（あるいは占有数）を１だけ増加または減少させるだけである。異なるモードに対応する演算子はヒルベルト空間の異なる部分空間に作用する。
たとえば、
数演算子の作用.
"i"番目のモードの粒子数演算子formula_61は、ボース粒子フォック状態に以下のように作用する。
つまりフォック状態も粒子数演算子の固有ベクトルになっている。
フォック状態は全粒子数の固有状態であるため、全粒子数の測定値の分散はformula_63となる。すなわちフォック状態における全粒子数の測定は、常にゆらぎが無く確定値を与える。
よって、
数演算子と交換するハミルトニアン.
各モード間の相互作用が無い系を考える。この系の全ハミルトニアンformula_65は、各モードのハミルトニアンformula_66の和で表される。
全ハミルトニアンと全数演算子は交換する。よって多重モードフォック状態は多重モードハミルトニアンの固有状態でもある（同時固有状態）。
各モードで考えると、モードformula_39のハミルトニアンformula_66の固有状態は、粒子数演算子formula_61の固有状態にもなっている（厳密にはさらに位相因子を選択しなければならない）。
ここで粒子的な解釈を行うことで、formula_61の固有状態に対応する固有値formula_73は、モードformula_39のハミルトニアンformula_66のformula_18番目の固有状態formula_13における粒子数を与える。
フォック空間.
フォック状態はエルミート演算子である粒子数演算子の固有ベクトルであるため、正規直交基底をなす。
このフォック状態（とそれらの線形結合）から成る空間をフォック空間という。
フォック空間での基底であるフォック状態は、「占有数基底」とも呼ばれる。
フォック空間は、それぞれの粒子数におけるテンソル積ヒルベルト空間の直和となる。
フォック空間のベクトルの中で、粒子数が異なる状態の重ね合わせであるもの（たとえばコヒーレント状態など）は、数演算子の固有状態ではないためフォック状態ではない。よってフォック空間の全てのベクトルが「フォック状態」と呼ばれる訳ではない。
ボース粒子フォック状態の対称性.
ボース粒子フォック状態が粒子の交換によって対称性を示すことを確認する。
ここで２つの状態間の粒子の交換は、ある状態でのある粒子を消滅させ、別の状態での粒子を生成させることで行われる。
フォック状態formula_78
から出発して状態formula_79から状態formula_80への粒子をシフトさせたい場合は、交換関係よりformula_81であるため、
よってボース粒子フォック状態は粒子の交換において対称的である。
多重モードのフェルミ粒子フォック状態.
フェルミ粒子の生成消滅演算子.
フェルミ粒子の反対称性を保持するために、フェルミ粒子の生成消滅演算子を導入する。
フェルミ粒子フォック状態 formula_83に生成演算子を次のように作用させる。
消滅演算子は次のように作用する。
これら２つの演算子の作用は反対称的に行われる（後述）。
演算子の反交換関係.
フェルミ粒子系における生成消滅演算子の反交換関係は、
ここでformula_88 は反交換子、formula_44はクロネッカーのデルタである。これらの反交換関係は、フェルミ粒子フォック状態の反対称性を表すために用いられる。
数演算子の作用.
フェルミ粒子の数演算子は次のように与えられる。
これがフェルミ粒子フォック状態に作用すると、
最大占有数.
生成消滅演算子や数演算子の作用はボース粒子の場合と同じであるように見えるが、フェルミ粒子フォック状態の最大占有数から違いが生じる。
上述の２つのフェルミ粒子の例を拡張し、
次のように置換演算子のある特定の和を固有ケットのテンソル積に適用することで、
フェルミ粒子フォック状態formula_92が得られることをまず確かめておかなければならない。
この行列式はスレーター行列式と呼ばれる。
もし1粒子状態でも同じものがあればスレーター行列式の2つの行は同じであり、行列式は0になる。
これは2つの同種フェルミ粒子が同じ状態を占めないことをあらわしている。
よっていかなる単一状態の占有数も0または1のどちらかである。
フェルミ粒子フォック状態に関連する固有値formula_94は0または1である。
具体的なフォック状態への作用.
formula_95で表される多重モードフェルミ粒子フォック状態では、
ここでformula_97は、ヨルダン-ウィグナーストリングと呼ばれ、含まれる1粒子状態の順序に依存し、全ての前に来る状態のフェルミ粒子占有数を足し合わせる。
フェルミ粒子フォック状態の反対称性.
交換演算子のもとでのフェルミ粒子状態の反対称性は、反交換関係によるものである。
ここでは2つの状態間の粒子の交換は、ある状態のある粒子を消滅させ、別の粒子を生成させることで行われる。
フォック状態formula_98から出発して状態formula_79から状態 formula_80へ粒子をシフトさせたい場合、反交換関係よりformula_101であるため、
しかし、 
よってフェルミ粒子フォック状態は、粒子の交換において反対称性である。
フォック状態は一般的にエネルギー固有状態では無い.
第二量子化理論では、ハミルトニアン密度関数は次のように与えられる。
全ハミルトニアンは、次のように与えられる。
自由粒子のシュレーディンガー方程式 は、
この解は直交性を満たす。
また消滅演算子をformula_108として、次の関係がある。
よって、
相互作用しない粒子においてのみ、formula_111とformula_108が交換する。しかし一般の場合にはこれらは交換しない。
相互作用しない粒子では、
これらが交換しない場合、ハミルトニアンは上述の表現を持たない。
よって一般的にフォック状態は系のエネルギー固有状態ではない。
真空ゆらぎ.
真空状態formula_7は最低エネルギーの状態で、formula_115とformula_116の期待値はこの状態では0になる。
電磁場とベクトルポテンシャルは同じ一般形のモード展開を持つ。
これらの場の演算子の期待値が真空状態では0になることを見るのは簡単である。
しかし、これらの場の演算子の二乗の期待値は0ではないことを示すことができる。
このように0アンサンブル平均についての場におけるゆらぎが存在する。
これらの真空ゆらぎは、量子光学におけるラムシフトなど多くの興味深い現象の原因となる。
単一フォトン状態の源.
単一フォトンは、シングルエミッター(原子、窒素-空孔中心、 量子ドット)を用いてごく普通に生成される。
しかしこれらの源はいつも効率的であるとは限らず(要求に応じた単一フォトンを実際に得る確率は低い)、しばしば複雑で、実験環境からは適さない。
非決定的ふるまいを犠牲にして、これらの問題を克服する別の源が一般的に用いられる。
歓迎された単一フォトン源は確率的２フォトン源で、そこからペアが分かれ、1フォトンの検出は残りのフォトンの存在を歓迎する。
これらの源はたとえば周期的に分極したニオブ酸リチウム(自発的パラメトリック下方変換)やシリコン(自発的四波混合)など、通常いくつかの材料の非線形光学作用に依存している。
非古典的ふるまい.
フォック状態のは、これらの状態が純粋に量子力学的な状態であり、古典的対応物は存在しないことを示している。
この表現におけるこれらの状態のformula_120はディラックのデルタ関数のformula_121次導関数であり、よって古典的な確率分布ではない。