交換関係 の拡張 とい う意味ではないことに注意 )で確定値 をもつ ものである。 したがって,超選択則 を観測機械 の系に仮定す るのは,それが巨視的であるが故 に,古典的 な力学量 を持つ と仮定す ることに他 な らない。町田 ・ 並木 の理論 でも,そのよ うな物理量が超 選択則 の具体例 として使われている。 文 献 1 )E・ P・Wi g n e r ,Am.∫ .P h y s .31( 1 9 6 3) ,6 . 2 )A.F i n e , P h y s ・Re v .D2( 1 9 7 0) ,2 7 8 3 .3 )S ・Ma c h i d a& M・Na mi k i ,P r o g .Th e o r .P h y s .6 3( 1 9 8 0) ,1 8 3 3 .4 ) G。 C・Wi c k ,E・ P.Wi g n e r ,A.S .Wi g h t ma n ,P h y s .Re v .88( 1 9 5 2) ,1 0 1 .5 ) H・Ar a k i ,P r o g ・Th e o r .P h y s .6 4( 1 9 8 0) ,7 1 9 .
交換関係 の拡張 とい う意味ではないことに注意 )で確定値 をもつ ものである。 したがって,超選択則 を観測機械 の系に仮定す るのは,それが巨視的であるが故 に,古典的 な力学量 を持つ と仮定す ることに他 な らない。町田 ・ 並木 の理論 でも,そのよ うな物理量が超 選択則 の具体例 として使われている。 文 献 1 )E・ P・Wi g n e r ,Am.∫ .P h y s .31( 1 9 6 3) ,6 . 2 )A.F i n e , P h y s ・Re v .D2( 1 9 7 0) ,2 7 8 3 .3 )S ・Ma c h i d a& M・Na mi k i ,P r o g .Th e o r .P h y s .6 3( 1 9 8 0) ,1 8 3 3 .4 ) G。 C・Wi c k ,E・ P.Wi g n e r ,A.S .Wi g h t ma n ,P h y s .Re v .88( 1 9 5 2) ,1 0 1 .5 ) H・Ar a k i ,P r o g ・Th e o r .P h y s .6 4( 1 9 8 0) ,7 1 9 .
系のノ 、ミル トニア ンを次 のよ うに とる。 < < < H -a.+H' ∧ 〟 H . -c p " ,A , -∑V( 金一, W) " 6 1 ( n ) , T Z = 1 V( x-n a ) ニー V o O ( n a-a ) 0 ( a-( n-1 )a ) この系の相互作用表示での時間発展作用素 は : 1 ) 6 ( i ) 完 e x Pl -( i / i )p -1 2 : T ] , p --V ./ C,会 T -n g 1 9 1 ' n ' / N ( 5 ) の位相のp 7 依存性 と( 1 ) 式 での Zについての積分か ら波束の収縮 が導かれ る. もう少 しくわ しい内容 は次 の文献 1 ) にある。 ( 4 ) ( 5 ) 参考文献 1 ) S .Ma c h i d aa n d M. Na mi k i , Ma c r o s c o p i cNa t u r eo fDe t e c t i n gAp p a r a t u sa n d Re d u c t i o n o fWa v ePa c k e t , P r o c .I n t .S y mp .O n t h eFo u n d a t i o n so fQu a n t u m Me c h a n i c s ( 丁 a p. P h y s .S o c . ) ,1 9 8 4年 3月刊行予定。 量子力学 の解釈 についての覚 え書 き 東大 ・ 物性研 豊 沢 豊 量子系の観測では,観測装置の中で起 る非可逆過程 とそれ に伴 な う量子系の 「 可干渉性 の喪 失」がそ の決定的段階である, とい うH.S .Gr e e n以来の考 え方は次第 に多 くの人々の支持 を 得っっ あ り,実際 これ はv o n Ne u ma n n の逆説的な主張 -観測 され る系 ( S ) と観測装置 ( A) との境界 は任意 に ( a b s t r a c t e st t I c h " にまでも ) 移 し得 るとす るもの -よ りはるかに妥 当で 常識的 にも受 け入れやす い考 え方である。私 もこの線上で,観測に伴な うエ ン トロピー変化, 観測の客観性 と再現性 などについて何度か話 したことはあるが, ここではさらに基本的 な所 ま で掘 りさげて考 えてみたい。 A内の非可逆過程によ りSの可干渉性 が失 なわれ ても,合成系 ( S+A) の波動 関数 はや は り一次結合 のままで あ り,「 観測に よる波束 の収縮 は合成系の S c h r 6 d i n g e r 方程式 か らも出て ー2 6 8 -量子力学の解釈についての覚え書き こない」とい う欲 求不満 は少 しも取 り除かれ ていないのである。波動 関数 を実在 と信 じる限 り 行 きつ く境地 は 「 多世界理論」で あ り, これ とv o n Ne u ma n nの考 え と何れが よ り逆説的 でな いかは,にわかに判断 しがたい。 私 は,「 系の状態 を記述す る最 も基本的 な量 は波動 関数 で な く統計 演算子 ( 密度行列 )βである」と考 えたい。以下それ を具体的に説明 してみ よ う。 ( 1 )波動関数 は純粋状態 ( β 2 -〟 )とい う極 めて特殊 な状況 でだけ定義で きる, また βの行列 表現 の基底 として役立っ,補助的 な概念に過 ぎない。 ( 2 ) 量子統計力学における統計性には,古典統計力学 とも共通 の統計性 (原理的には可知 だが 巨大 自由度 のため実際的には不可知 な要素 )と量子力学特有 の統計性 ( 原理的 な不可知 ) とが, 二重構造 として含 まれてい る, とするのが通説 のよ うだが,両者 は本来一体の もので ある。実 際 この二つ の統計性 を分離 できるよ うな思考実験 は存 在 しない。 ( 3 )Sに起 る変化 を我 々が外 ( A ) か ら観測 しよ うとす る とき,Sは合成系 ( S+A) の部分系に 過 ぎな くなる。合成系が た とえ純粋状態 ( p s 2 .Ap s.A)で あって も部分系 ( p s… T r A( p s .A) ) は一般 に混合状態 ( p 呈≠ p s) であ り,従 って統計演算子 で記述す る しかない。 あ る瞬 間 に p s が純粋状態で あって も, SとAの相互作用 がある限 りそれ は早晩混合状態に陥 る。全宇宙 が純 粋状態か否 かを判断 し得 るのは,その外 にあってそれ と相互作用 しない神 のみで あ り, 内にあ って相互作用の
m Th e r moF i e l dDy n a m i c s( NE TF D)[ 1 ] -[ 4 】と名付け られ た,非平衡量子系 を扱 う正準理論を紹介する。 これは,散逸量子系 を扱 う一貫 した ( 非平 衡系統計力学でのすべての基本的概念,すなわち,B o l t z ma nn方程式,F o k k e r -P l a n c k方 程式,L a n g e v i n方程式,確率 L i o u v i l l e方程式'で代表 される見方 を,一つの土俵で議論 で きるとい う意味で) , しかも,量子力学や場の量子論で学んだ,自然認識の基本である 演算子代数 と表現空間 とい う二重構造を供えた理論体系である。 NE TF Dの表現空間 ( 熱空間,t h e r ma l s p a c e ,と名付け られた)は,2つの Hi l b e r t 空 間の直積で構成 されている.1つばn o n -t i l d e場,もう 1つは t i l d e場の H i l b e r t 空間で ある.NE TF Dでは,いかなる演算子 A にもその髄伴演算子 ( t i l d e演算子)A が伴 って いる。t i l d e共役,-,は, ( AI A2 ) --AI A2 , ( c I Al + C 2 A2 ) --C ; il + C ; 12 , ( i) --A, ( AI ) --〟 , p h H 一 G i - ー n u p n u 1 2 3 4 l H I U ■ H t L Hi ヨ l H は ■ 川 U で定義 される。ただ し, c l や C 2 は, c数である.S c h r 6 d i n g e r表現では,t i l d e演算子 と n o 凪 -t i l d e 演算子は,互いに可換である : l A, B ] -0 .( b 5 ) 散逸は,直積 H i l b e r t 空間全体での回転,すなわち,t i l d e 演算子 とn o n -t i l d e 演算子 を 交ぜ るような回転 として捕 らえられることが明 らかになった。無限小時間発展演算子の中 の t i l d eとn o n -t i l d e 場が掛っている項が,散逸 ( すなわち,非可逆)現象 を司っているの である。この点は,NE TF Dが建設 されて初めて認識 された 【 1 , 2 】 。 I ' 古典系での確率 L i o u v i l l e 方程式 は,久保 【 5 , 6 】 により初めて導入 された。 I この認識 は, G i b b Sアンサ ンブルを定式化 した熱平衡系 の T F Dl 7 】にはなか った。そこには,散逸は 現れない。この点が, N B T F DとT F Dとの本質的な違いのひとつである。Z u b a r e v が, N E T F Dの方法を 賞賛 し,非平衡量子現象の研究 に用 い始めたことに,ここで言及 させていただきたい 【 8 】 .-3 1 1 研究会報告 B o l t z ma n nは,微視的で可逆 な Ne wt o n力学か ら出発 して, 自然界 の非可逆性 を導出 しようとした.しか し,B o l t z ma n n方程式 を導 く際 に,分子混沌 と呼 ばれる確率操作 を, 知 らず に導入 していたことが判明 したのである ( その辺のか ら くりの簡単 な解説は,【 9 ] を 参照のこと) 。我 々の新 しい方法が見通 しの良い ものである とい う技術的 な面 ばか りでな く,散逸量子場の理論 としてのその二重構造が,B o l t z ma nnの初め措 いた夢 を,何等かの 意味 で実現 させ るのではないか, とい う期待 が湧いて くる.B o l t z ma n nの時代 には, こ の二重構造 は認識 されていなか ったのである。 詳 しい NE TF D の解説 と参考 文献 は 【 4 ]を参照 して頂 くと して,s e m i -f re e時間発展 演算子 ( 量子 F o k k e r -P l a n c k方程式 と,定常的量子 Wi e n e r 過程 に従 う量子確率 L i o u v i l l e 方程式,それぞれに関する もの)が,い くつかの基本的要請の元 に,如何 に して創 られる かを示す.S e mi -f r e e時間発展演算子は,双線形で大域的ゲージ不変性 を満 たす ものであ る。以下,散逸量子系 の正準理論が,前者の時間発展演算子 によって如何 に創 られるかを 紹介 し,量子系確率微分方程式の一貫 した体系が,如何 に して建設 されるか を示す ( 図 2 参照 ) 。そ うす ると,量子散逸系の方程式 に纏 わる次の ような基本的 な疑問が,解決 され ることが見 えて くる ( 量子系 L a n g e v i n方程式 に対す る問題提起 に関 しては,【 1 0 】も参照 の こと) 0 ql .量子散逸系 を扱 う正準理論 ( つ まり,時間発展が正準変換 で誘起 される)は,建 設可能 だろ うか ?考 え もな しに a ( i ) -a e ( i w+A ) i , a I ( i ) -a † e ( t ' U-A ) i ,の ようにエネルギー ・ スペ ク トルに虚数部 を導入するだけでは,同時刻交換関係 は, け っ して保存 されない : l a ( i ) , a I ( i ) ] -l a , a † 一 e 加 t ( 7 ) Q2 ・ 揺動力演算子 は KMS条件 [ 1 1 , 1 2 】を満 たせ ないので,量子系 では白色過程 は許 されない と言われている。 た とえば,L a n g e v i n方程式 孟 a ( i ) -i d a ( i ) 一項 ・佃 ( 8 ) 孟 a ' ( i ) -i wa t ( i ) -n at ( i ) II-T ( i ) , ( 9 ) を考 えてみ よう。ただ し,f C は,摩擦係数である.また,a( i )ta t ( i ) は,それぞれ Hi l b e r t 空間の消滅,生成確率演算子で,i -0に正準交換関係 を満たす もの とする :( 【 a ( i ) , a I ( i ) ] ) -1 .( 1 5 )S c h r 6 d i n g e r 表現でなされるべ きである。それでは,La n g e v i n方程式に現 れる揺動 力の相関 と して,はた して,S c h r 6 d i n g e r表現 と同 じもの を採用 して長いのであろ うか ?q4 .如何 に して,確率過程の表現空間 を建設 した ら良いのであろ うか ?時間発展演算子の一般形 は,本質的 に L i o u v i l l e方程式 孟 p ( i ) --i L p ( i ) , に関る次の性質か ら導 きだ された。 Dl .L i o u v me演算子のエル ミー ト性 : L f =L.
o b a t a @ m a t h・ n a g o y a -u・ a c ・ J p l は じめに 揺 らぎを含む物理現象の時間発展は確率微分方程式で記述 され る. 確率積分が厳密 に定式 化 され, 確率微分方程式の基礎付 けがな されたのは 1 9 4 0年代のことであ り, 伊藤理論 として 広 く知 られているが,半世紀 を経た今 日では,よ り無限次元解析 としての色彩が強ま りなが ら様 々に発展 している.それらは, 包括的に 「 確率解析」 と呼ばれているが, そ こでは,ラン ダム性 を無限 自由度に言い換 え, 確率的な対象 を無限次元的な対象 に変換 して議論がな され る.この観点に立つことで, 超関数論な どの関数解析的手法が導入 され易 くな り, 理論が大き く発展す るのである.無限次元解析は,理論構成上の 自由度 も大きく, 何 を礎 とす るかによっ て様 々な流儀がある.なかでも Ma l l i aS c h wa r t zの超関数論によっ て, それまでは意味が暖味であった Di r a cのデル タ関数が正 当化 され, 計算ルールが厳密に 与えられたよ うに, ホワイ トノイズに厳密な定式化が与えられ, 文献に散見 され る 「 形式的」 計算 ( 通常の微積分 と同様な計算) が, ホワイ トノイズ解析の枠組みで理解 され るようになる・ 多 くの場合, 形式的計算 を結果的に正 しい と認めることになっても, ホワイ トノイズ解析が理 論 として意味を失 うものではない.' s c h wa r t z超関数論が, 結局は, デル タ関数な どの形式的 計算 を追認す ることになって も, S c h wa r t z超関数論が不要にはな らないの と同 じである, ホワイ トノイズ解析は,当初, 伊藤解析の拡張 としてスター トした 【 1 5 ]ため, 対象は 「 古 典」確率論の範境 を出るものではなかった.一方,量子確率解析 は, その創始 t 2 1 ]の頃か ら, 量子物理の問題意識か らであろ うが,ヒルベル ト空間論か ら離れず に発展 してきた とい う経 緯がある.その両者のアイデアを融合して,さらなる展開を 目指す試みは,ホ ワイ トノイズ 作用素論 [ 3 3 ]の一応の完成 とともに, 1 9 9 2 年 ころか ら開始 したが,目下の状況は発展の好機 を思わせ る.本誌上において も,ホワイ トノイズ解析の基礎理論 とともに,ホワイ トノイズ による量子確率積分, 量子確率過程のホワイ トノイズによる表示, 量子確率微分方程式 とホ ワイ トノイズ方程式の関連な どについて報告 してきた [ 3 5 ] ,岡 ,【 3 9 ] ・本論文では,高次の ホワイ トノイズ ( ホワイ トノイズの非線形関数)をノイズ項 として含む量子確率微分方程式 を, 「 正規積 ホ ワイ トノイズ微分方程式」 として定式化 し, 解の一意存在 を論 じる.その際, Co c h r a n -Ku o -S e n g u p t a[ 1 4 】による一般的な枠組みが有用である.実際,これまでに,空間を 拡張 して解の存在 を保証す るとい う形の定理 ( 超関数的な解の存在) については十分論 じてき た [ 4 0 ] , [ 4 1 日 4 3 日 4 4 ]ので, 本論文では, 解がいつ F o c k空間の ( 非有界) 作用素になるか ( 超 -「 第 6回 『 非平衡系の統計物理』 シンポジウム」 の簡略形であ り,この積分は伊藤型量子確率積分を意味す る.さらに, 方程式 ( 2 .3 ) は, 指数ベ ク ト ル に関す る行列要素 ( これ を作用素 シンボル とい う) に対す る方程式に書 き直せ ば, 《 X擁 , 4 , 刀 ) ) -《 4 , i , 4 , り )+ / E t ( 《に等 しくなる・したがって, ( 2 .5 ) か ら作用素の部分だけを取 り出せ ば, X i -I + / -- とな り, さらに tで微分すれ ば, d Xl d t ( L l a : Xs a s +L 2 Xs a s +L 3 a s * Xs +L 4 Xs ) d s -L l a ; Xt at +L 2 Xt al +L3a ; Xl +L4Xl , X ( 2 .6 ) -I , ( 2 .7 ) となる・最後 に, 場 の理論で使 われ る正規積 ( Wi c k 積)を用いて書 き直す.Wi c k積 を ◇で表 せ ば, a s ◇at-a s a t , a s * ◇at-a s * a t , a s ◇a ;-a i * a s , a s * ◇a l * -a ; a i * ・ また, 一般 の作用素 X に対 しては, ( a ; 1 ・ ・ ・ a s * l a t l-・ a t m )◇ X-a ; 1 -・ a s * , Xa t l・ -ai m なる性質 を持つ.したがって, ( 2 .7 ) は Wi c k積 に関す る線形方程式 ( L l a l * at+ L 2 a t +L 3 a l * +L4)◇Xl , X-I, ( 2 .8 ) に帰着 され る・こ うして, 量子確率微分方程式 ( 2 . 1 ) は, 単純な線形方程式 ( 2 .8 )と同値 となる.