量子力学において、2状態系(2じょうたいけい、: two-state system)とは、2つの独立量子状態から構成される量子系である[1]。自明ではない量子系としては最も簡単なものであるが、量子力学の特徴的な性質を備える。コインの表裏のような古典対応物と異なり、2状態系の量子状態を記述する状態ベクトルは、2つの独立な状態の重ね合わせの比率と位相差が異なる無限に多くの状態を取り得る。こうした性質は量子情報理論での量子ビットの基礎をなす。2状態系として記述される系は電子や原子核のスピン 1/2 の系、光子偏光状態、共鳴波長の光に応答する原子の2準位系、ニュートリノ振動アンモニア分子の反転モードなどの豊富な物理現象を含む[2][3][4][5]。また、核磁気共鳴やアンモニアメーザーの理論的な基礎付けを与えている。J. J. Sakurai の著書 "Modern quantum mechanics" ではノーベル賞受賞者で2状態系の解析に携わった者として、7人の名を挙げている[6]

共鳴波長の光に応答する原子の2準位系は2状態系の例である。

概要

編集

2状態系では正規直交化された2つの状態ベクトル |1, |2 で任意の量子状態を表すことができる。|1, |2 の取り方は自由であるが、通常、実験的に準備でき、かつ物理的な意味づけが明確なものが用いられる。例えば、スピン 1/2 の系での固有状態、外場を印加しない状態での原子の2準位がそうした例である。

2つの状態ベクトル |1, |2正規直交性

 

完全性の条件

 

を満たすものとする。但し、δαβクロネッカーのデルタであり、ˆI恒等演算子である。

任意の状態ベクトル |ψ|1, |2 の線形結合として、次の形で表すことができる。

 

状態ベクトルは2次元複素ヒルベルト空間である。また、オブザーバブルとしての物理量は縮退のある場合を除き、2つの固有状態を持つ。|ψ規格化条件を課す場合、複素係数 c1, c2

 

を満たす。特に2つの状態ベクトル |1, |2 がオブザーバブルの縮退のない固有状態、すなわち観測可能かつ識別できる状態に対応するならば、規格化された状態ベクトル |ψ に対し、観測により系が状態 |1 にあることを見いだす確率は |c1|2、状態 |2 にあることを見いだす確率は |c2|2 で与えられる。

ハミルトニアン

編集

2状態系のハミルトニアンは2次元複素ヒルベルト空間のエルミート作用素であり、基底の選択の下、状態ベクトルに2×2行列として作用する。基底として完全正規直交基底 |1, |2 を取れば、ハミルトニアンは

 

の形で表すことができる。このとき、ハミルトニアンの行列要素 Hαβ は基底の正規直交性より

 

と書ける。また、ハミルトニアンのエルミート性から対角成分の実数条件

 

及び非対角成分の条件

 

が要請される。ここで、a*a複素共役を表わす。

ハミルトニアン ˆH の固有値 EI, EII に対応する固有ベクトルをそれぞれ |I, |II とする。

 
 

このとき、補助変数 θ, φ

 
 

として、

 
 
 
 

と求めることができる[1]|1, |2 と 上記の |I, |IIユニタリ変換で結ばれており、 |I, |II も正規直交性

 

と完全性

 

の条件を満たす基底である。また、|I, |II は次の形で ˆHスペクトル分解を与える。

 

時間発展

編集

量子状態

 

時間発展シュレディンガー方程式

 

に従うことから、時間発展は複素係数 c1, c2 の微分方程式

 
 

で与えられる。

共鳴波長の光に応答する2準位原子系

編集

光と相互する原子の系は、共鳴条件において、2準位原子としての近似が可能であり、2状態系として扱える。原子の特定の2準位として、エネルギー準位 E1 の下側の準位1とエネルギー準位 E2 の上側の準位2を考える。光の波長が共鳴条件付近にあれば、準位2の状態はエネルギー ħω21 = E2E1 の光子を放出して準位1に遷移し、準位1の状態はエネルギー ħω21 の光子を吸収して準位2に遷移する。レーザー光のような単色性のよい光では、状態の遷移は準位1と準位2の間に限られ、他の準位への遷移は無視できるため、2準位原子として近似できる。

スピン1/2の系

編集

電子や原子核のスピン 1/2 の系は2状態系の典型例である。スピン演算子 ˆSx, ˆSy, ˆSz で記述されるスピン 1/2 の系に対し、量子化軸として z 軸をとると、ˆSz の固有値 +ħ/2, −ħ/2 の固有状態として、|+, |− が取れる。

パウリ行列による表現

編集

パウリ行列の導入

編集

2状態系の演算子の記述には、パウリ行列による表現が適用できる[1]エルミート演算子

 
 
 

を導入すると、これらは関係式

 
 

を満たす。

特に状態ベクトル |1, |2 を特定の基底

 

と対応させたときに、ˆσk

 

となり、パウリ行列そのものになる。任意の演算子

 

は恒等演算子 ˆIˆσk (k = 1, 2, 3) により、

 

と展開できる。但し、展開係数は

 
 
 
 

で与えられる。特に ˆA がエルミート演算子である場合、これらの展開係数は実数となる。

時間発展作用素への応用

編集

ハミルトニアン ˆH が時間に陽に依存しない場合、時間発展演算子行列指数関数で与えられるが、2状態系ではパウリ行列による展開で直接的に求めることができる[2][3]。ハミルトニアン ˆH はパウリ行列で

 

の形で展開できる。第一項は時間発展には共通位相因子e0t しか寄与せず、エネルギーの基準を取り直すことで無視してもよい。このとき 時間発展演算子はパウリ行列の行列指数関数の性質により、

 

で与えられる。但し、n

 

で与えられる単位ベクトルである。

ブロッホ球

編集
 
ブロッホ球による表示

2状態系は3次元実空間単位球面であるブロッホ球で記述することができる[2]。2状態系の密度行列

 

はパウリ行列により、

 

と展開できる。但し、展開係数は

 
 
 
 

で与えられる実数である。ここで

 

で定義される単位ベクトルブロッホベクトルといい、ブロッホベクトルがなす単位球面をブロッホ球という。ブロッホ球上の点は経度 π/2θ経度 φ とする極座標の実パラメータ (φ, θ) で表すことができる。2状態系のブロッホ球による表示は米国の物理学者リチャード・ファインマンによって導入された[7]

脚注

編集

参考文献

編集

論文

編集
  • Feynman, Richard P.; Vernon Jr., Frank L.; Hellwarth, Robert W. (1957). “Geometrical Representation of the Schrödinger Equation for Solving Maser Problems” (PDF). J. Appl. Phys. (AIP) 28 (1): 49–52. Bibcode1957JAP....28...49F. doi:10.1063/1.1722572. ISSN 0021-8979. LCCN 33-23425. OCLC 900973293. http://unicorn.ps.uci.edu/249/pdfs/FeynmanPaper.pdf. 

書籍

編集

関連項目

編集