(量子力学)密度行列は実対称行列ですか？

Question

密度行列が実対称行列かどうかで悩んでいます。
[参考ＵＲＬ] http://militzer.gl.ciw.edu/diss/node13.html

一番簡単な密度行列の例を考えます。
rho(x;y) = <psi(x)|psi(y)>
psi(x)は多体波動関数とします。

ここで、例えば上記ＵＲＬのサイトには、「任意のエルミートなハミルトニアンに対しては、rho(x;y)=rho(y;x)である」とかかれています。
しかし、rho(x;y)=rho(y;x)であるためには、密度行列が実対称行列である必要があるように見えます。
<psi(x)|psi(y)>=<psi(y)|psi(x)>であるためには、<psi(x)|psi(y)>は実数でなければならないからです。

このような表記は他の論文にも見られまして、かの有名なkohnさんの論文Phys Rev Lett 76 3168(http://prola.aps.org/pdf/PRL/v76/i17/p3168_1)の２ページ目第８式に同様の記述があります。

密度行列ははたして実対称行列なのでしょうか？
なお、孤立系の様に波動関数が実数のみで表現できてしまう場合は除きます。三次元周期系のような場合を考えています。
よろしくお願いします。

siegmund · Accepted Answer

PAM123 さん：
> H=p^2/2m+V(R)として位置固有状態を基底とする特別の
> 場合についてのみ言っているということになるのでしょうか？

おっしゃるとおりと思います．
参考URLでも
For sake of numerical simulations, it is convenient to change to a position-space representation.
という記述のあとに問題の式が出てきています．

PAM123 · Answer

siegmundさん、atushi256さん。補足、回答ありがとうございます。
siegmundさんの言うように、数値計算上の目的で、特殊な場合で話を
するというように理解する方がいいようですね。

>「適切な基底を選べば、実対称行列として表示可能」
これはエネルギー固有状態を基底に選べば一般的に可能ですが、
これは自明であまり、意味がないです。位置固有状態について
一般のHamiltonianで成立するのか？というのが、疑問で
おそらく答えはNoだとおもう。では、URLの言ってる事は？
どうも解らない。

>また、rho(x,y)=rho(y,x)という”関数”の性質が、基底の選び方に >左右されるというのも、いまいちふに落ちません。
rho(x,y)=rho(y,x)が一般的なHamitonianで、位置固有状態を基底
とした場合に成立するのか？ですが、
まず、rho(x,y)=「rho(y,x)の複素共役」は一般的に言えてるわけです。ここで言われてるのは、虚部が存在しないというさらに強い主張ですが、これは上で言ったようにHamitonianの一般的性質からだけではでてこないようです。H=p^2/2m+V(R)では大丈夫そうですが、これは1体のHamitonianです。2体や3体の相互作用が入っても成立するのか？
とかいろいろ疑問がおこります、
なので私が最初に思ったのは多体であるという性質（粒子の入れ替えに対する（反）対称性）から、出てこないのか？ということです。

まだあまり考えてないですが、考えてわかりましたら、また書き込みます。

PAM123 · Answer

Siegmund様。No2と3のものです。
私も、HamiltonianはHelmit演算子だから、その行列表現がHelmit行列になるというのは、特に不思議はなかったのですが、質問者様の挙げているURLでは、それが実対称になるという主張をしています。私も実対称までいえるかどうか？は基底のとりかたに依存すると思ったので、この主張をどう導出するのか？がわからないでいます。
このURLの記述はどうとらえたらいいと思いますか？
H=p^2/2m+V(R)として位置固有状態を基底とする特別の
場合についてのみ言っているということになるのでしょうか？
​

siegmund · Answer

物理屋の siegmund です．

Hamiltonian はエルミート演算子です．
具体的に正規直交基底を設定して，それによる行列要素を並べたものがハミルトニアンの行列表示です．
エルミート演算子の行列表示ですからエルミート行列であるのは当然ですが，
実対称行列かどうかというのはあまり意味を持ちません．
基底の選び方によって実対称行列になったり，実対称行列でないエルミート行列になったりします．
行列表示は基底の選び方によるわけで，
基底を変更すれば対応する行列は unitary 変換を受けることになります．
言うまでもありませんが，実対称行列はエルミート行列です．

わかりやすい例をお目にかけましょう．
大きさ S=1/2 のスピンが１個だけあって，x 方向に磁場 h がかかっているという簡単な系を考えましょう．
スピンの i 成分(i=x,y,z)を S_i と書くことにして，ハミルトニアン H は
（１）　　H = - h S_x
です．
本当は -gμ_B (hbar) h S_x ですが
(g は g-因子，μ_B は Bohr磁子， (hbar)は Planck定数を2πで割ったもの)，
そこらへんの因子は h に含めてしまいました．
よく知られたスピン演算子の行列表現(Pauli 行列)は
（２）　　S_i = (1/2)σ_i
　　　　　　　　┌　　　┐
（３）　　σ_x＝│０　１│
　　　　　　　　│１　０│
　　　　　　　　└　　　┘
　　　　　　　　┌　　　　┐
（４）　　σ_y＝│０　－ｉ│
　　　　　　　　│ｉ　　０│
　　　　　　　　└　　　　┘
　　　　　　　　┌　　　　┐
（５）　　σ_z＝│１　　０│
　　　　　　　　│０　－１│
　　　　　　　　└　　　　┘
ですから，(1)を行列表現すれば明らかに実対称行列です．

ところで，スピン演算子の行列表現は(3)～(5)に限られるのではなくて
　　　　　　　　┌　　　　┐
（６）　　σ_x＝│０　　ｉ│
　　　　　　　　│－ｉ　０│
　　　　　　　　└　　　　┘
　　　　　　　　┌　　　┐
（７）　　σ_y＝│０　１│
　　　　　　　　│１　０│
　　　　　　　　└　　　┘
　　　　　　　　┌　　　　┐
（８）　　σ_z＝│１　　０│
　　　　　　　　│０　－１│
　　　　　　　　└　　　　┘
でもＯＫです．
要は，大きさが 1/2 になっていて
(つまり，S_x^2 + S_y^2 + S_z^2 = S(S+1) = 3/4)，
交換関係
（９）　　S_x S_y - S_y S_x = iS_z
などを満たせばよいわけです．
これだと，(1)の行列表現はエルミート行列ではありますが，実対称行列ではありません．

PAM123 · Answer

No1の回答をしたものです。回答する側が質問するのも変ですが、すみません。わたしまだ理解できてません。 = を証明することが目的で、それは = ---(1) を示せばよい。のはわかります。ひらめいた内容は(1)が自明ということだと思いますが、すみません、そこがよくわかりません。 (1)は自明なんですか？Hamiltonianはポテンシャルに虚数が入らなければ実数という、ことの意味もいま一つ理解できません。具体的にH=p^2/2m +V(R)かつ、位置表示と仮定して、つまり位置演算子 =R 運動量演算子=-ih∇として計算すると =ΣEi= p^2*exp{p(R-R')} のp-無限大から無限大の積分。なので、RとR'を入れ替えても結果は同じで対称。ポテンシャル項はV(R)は実数なので、=δ(R-R')で対称。のように示せるのですが、位置表示でない場合や、もっと一般のHamiltonianの場合でも示せるのでしたっけ？つまりHamiltonianであることから演算子がもたねばならない性質のみからはでないのでしたっけ。つまりどんなHをどんな正規直交基底で行列表現してもかならず、対称行列になるとはいえないのでしたっけ？

PAM123 · Answer

うーん。いろいろ計算してみましたが、導出できませんねえ。
なんかあっさり書いてあるけど…。
多分数学的な変形だけで出てくるのでなくて、物理的な仮定による
のだと思いますが…。
多体系であるということ。
すべての固有関数に関して和をとる。
あたりから出て来きそうな気がするのですが、よくわかりません。

(量子力学)密度行列は実対称行列ですか？

PAM123 さん：

siegmundさん、atushi256さん。

Siegmund様。

物理屋の siegmund です．

No1の回答をしたものです。

うーん。

似たような質問が見つかりました

関連するカテゴリからQ&Aを探す

デイリーランキングこのカテゴリの人気デイリーQ&Aランキング

マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング