非対角長距離秩序

物理学において、非対角長距離秩序（ひたいかくちょうきょりちつじょ、）、またはODLROとはボース＝アインシュタイン凝縮(BEC)や超流動等の巨視的な量子現象を示す系が持つ性質の一つ。量子多体系で1粒子密度行列の異なる2点での値、すなわち非対角成分が遠く離れた場合でも消えない状態であるとき、系はODLROを持つという。BECでは熱力学的極限でもゼロとならずに残る、この非対角成分は凝縮体の波動関数と呼ばれる秩序変数の存在を意味する。ODLROの概念は1950年代に物理学者オリバー・ペンローズによって、導入された。また、ODLROという名を与えたのは、物理学者楊振寧である。
概要.
場の生成消滅演算子formula_1に対し、
で定義される相関関数を1粒子密度行列という。ここで、期待値<…>は密度演算子formula_3による対角和formula_4で与えられるものである。1粒子密度行列の対角成分formula_5は、粒子数密度である。一方、非対角成分formula_6は、系が純粋状態の場合には、ある状態から位置formula_7にあった粒子を消し、位置formula_8に加えた状態への確率振幅に相当する。
ここで、非対角成分において、2点formula_9の距離が離れた極限で
を満たすとき、系は非対角長距離秩序（ODLRO）を持つという。こうした性質は1粒子密度演算子の最大固有値が全粒子数のオーダー程度に大きいことを意味する。固体結晶の持つ対角的な長距離秩序とは本質的に異なり、ODLROは量子力学的なコヒーレンスで生じる長距離相関によってもたらされるものである。
1粒子密度行列の振る舞いを具体的に見るために、場の演算子を、
と波数formula_12でフーリエ展開すると、系が空間的に一様で並進対称性を持てば、1粒子密度行列は
と表すことができる。但し、formula_14であり、第二式から第三式の移行では、波数formula_15の成分とそれ以外の成分の項を分けている。formula_16とする極限をとると第二項の指数formula_17は激しく振動し、打ち消しあいゼロとなるため、
が成り立つ。粒子数密度formula_19を一定に保ったまま、全粒子数formula_20と体積formula_21を無限大とする熱力学的極限で、formula_22が消えずに残り、ODLROが現れるには、formula_23が粒子数に比例して増えなくてはならない。フェルミ粒子系の場合、パウリの排他律により、formula_24であるから一粒子レベルではODLROを持たない。一方、ボース粒子系の場合、波数formula_15の状態にボース＝アインシュタイン凝縮すると、全粒子数に比例してformula_23が増えるため、ODLROが生じることになる。