弱測定のソースを表示

[[量子力学]]において'''弱測定'''（じゃくそくてい、'''弱い測定'''、{{Lang-en-short|weak measurement}}）とは、[[量子状態]]の[[重ね合わせ]]を壊さずにその状態（[[オブザーバブル|可観測量]]）を測定する観測手段である<!-- 「[[測定]]」、「[[観測]]」は内容が一般的でこの文脈でリンクするのは不親切なので、リンクせずに、必要な項目を関連項目にいれた。 -->。1988年に[[ヤキール・アハラノフ]]、{{仮リンク|デイヴィッド・アルバート|en|David Albert|label=デイヴィッド・Z・アルバート}}、{{仮リンク|レフ・ヴァイドマン|en|Lev Vaidman}}らによって提唱された<ref>{{cite journal|author=Yakir Aharonov, David Z. Albert, and Lev Vaidman|title=How the result of a measurement of a component of the spin of a spin-''1/2'' particle can turn out to be 100|journal=Phys. Rev. Lett. |year=1988|volume=60|pages= 1351|doi=10.1103/PhysRevLett.60.1351}}</ref>。

弱測定により、ある量子状態についてその始状態と終状態とを特定することで、量子状態の'''弱値'''（'''弱い測定値'''、{{Lang-en-short|weak value}}）を得ることが出来る。弱値は、負の粒子数、[[負の確率]]といった通常の測定ではありえない値もとりうるが、これは通常と逆の物理的性質を持っているものと解釈されている。

== アイデア ==
一般的に、量子状態の重ね合わせにある物理系を観測してその状態を測定しようとすると、重ね合わせが壊れてしまう。その壊れの程度は、観測によって得られた情報量の2乗に比例するので、得られる情報量を極限まで減らした測定を行えば、重ね合わせにある量子状態そのものを壊すことなく知ることができる。

一回の測定で得られる情報量も微小であるが、前後の状態を特定したうえで繰り返し測定することで、誤差を減らすことができる。

== 手順 ==
# 対象となる複数の物理系に普通の（弱測定でない）測定を行い、特定の始状態にあるものを選び、量子実験を開始する。
# 実験中に'''弱測定'''を行い、重ね合わせ状態の測定結果を記録する。
# 実験終了後に普通の（弱測定でない）測定を行い、特定の終状態にあるものを選ぶ。
# 3で選ばれた対象について2の記録を平均することで、特定の始状態と終状態を選んだ場合の'''弱値'''が得られる。

1.のプロセスを事前選択という。[[量子力学]]のもっとも基本的な普通の測定を射影測定といい、射影公理によって状態が指定できる。一方の2.のプロセスでは対象となる物理系を測るための「測定器」に相当する系を設定し、物理系の情報が測定器にうつるようになんらかの相互作用を与える。この相互作用が十分強い場合、測定器の値が変化するため、測定器の値を見ることで物理系の状態を峻別できるが、相互作用が弱い場合、つまり、測定器の持つ「誤差」（この場合、波束の幅でそれを表現する）に対して小さい範囲でしか値を変化させられない場合が2.の手順における'''弱測定'''である。

ところで最初に与えた状態が、2.で測定しようとしている物理量が複数の値を取りうる「重ね合わせ状態」だった場合、測定器の波動関数で見て、中心の値がほとんどずれていない二つの波動関数の重ね合わせ状態に焼きなおされる。「弱値」が著しく大きな値を取りうるミソはこの部分である。すなわち、二つの波動関数が強く干渉するようにして重ね合わされているということである。

3.で物理系に対して再度射影測定を行う。これを「事後選択」という。事後選択で選ばれた状態のみ平均化する計算をすると一次近似として弱値に比例するようなシフトを見ることができる。のちに見るように弱値は本来とりうる測定量より大きい場合や小さい場合があるが、それは事後選択をすることによって、測定器の振れが大きい信号を選択的に取り出すことができることを示唆している。また、複素数値を取る点についてはどの物理量のシフトを見るかによって実部か虚部かを選ぶことができることに留意したい。具体的には同じ波動関数を位置の波動関数として見るか運動量の波動関数として見るかの任意性があるように、非可換な別の物理量で波動関数で見たときに、2.の弱測定の操作および3.の事後選択によってどのようにシフトするかを見るとき、ある[[物理量]]（例えば[[運動量]]）では弱値の実部を、別な物理量（例えば[[位置]]）では弱値の虚部を見るといったことができる。

== 計算による導出 ==
{{節stub}}
弱測定の計算は以上の「手順」を踏まえて行う<ref>Lee, J. & Tsutsui, I. Quantum Stud.: Math. Found. (2014) 1: 65. <nowiki>https://doi.org/10.1007/s40509-014-0002-x</nowiki> (arXiv:1305.2721)</ref>。まず1.で述べた初期状態の用意だが射影測定なので適当な純粋状態である。これを<math>|i\rangle</math>と記述する。2.では先に述べたように「測定器」を取り付け、測定器と系が相互作用するというステップを記述することになる。これに対して測定器を<math>|\psi\rangle</math>と記述し、相互作用する前の、「測定器を取り付け」た状態をこれらのテンソル積<math>|i\rangle\otimes|\psi\rangle</math>と記述する。
このような状態に対して、相互作用を与える。相互作用は量子力学的な状態を別の量子力学的な状態へ変質させるのでそのようなものの中から適当なものを考えなくてはならない。
まず、量子力学はもとのヒルベルト空間のテンソル積空間を状態空間と考えるため、テンソル積空間上の演算子である。また、通常は時間発展はユニタリー演算子である。したがって、テンソル積空間上のユニタリー演算子から探すのが普通であり、これまで行われてきた実験モデルも含め、基本的には「ノイマン型」すなわち

<math>e^{-ig\hat{A}\otimes\hat{Q}}</math>

を選ぶ。ここでgは実定数で<math>\hat{A}</math>は<math>|i\rangle</math>のいるヒルベルト空間、および<math>\hat{Q}</math>は<math>|\psi\rangle</math>のいるヒルベルト空間上で作用するエルミート演算子である。

このノイマン型測定演算子が作用した後の状態すなわち<math>e^{-ig\hat{A}\otimes\hat{Q}}|i\rangle\otimes|\psi\rangle</math>が2.の測定後の状態である。このような状態は演算子の[[テンソル積]]および指数の定義から

<math>\sum_{k=0}^{\infty}\frac{(-ig)^{k}}{k!}(\hat{A}^{k}|i\rangle)\otimes(\hat{Q}^{k}|\psi\rangle)</math>

である。

このあと、3.を施す。3.は事後選択であり、事後選択は「物理系を終了状態<math>|f\rangle</math>に射影するが測定器は何もしない」というモチベーションから<math>|f\rangle\langle f|\otimes id</math> なる演算子で記述したいが、実際には「射影公理」に対応して正規化係数が前に現れる点には注意したい。その部分については後ほど調整する。いずれにせよ物理系を射影し、測定器は何もしない演算子をほどこすことで

<math>(|f\rangle\langle f|\otimes id)\left(\sum_{k=0}^{\infty}\frac{(-ig)^{k}}{k!}(\hat{A}^{k}|i\rangle)\otimes(\hat{Q}^{k}|\psi\rangle)\right)</math>

<math>=|f\rangle\otimes \left(\sum_{k=0}^{\infty}\frac{(-ig)^{k}}{k!}\langle f|\hat{A}^{k}|i\rangle\cdot(\hat{Q}^{k}|\psi\rangle)\right)=:|f\rangle\otimes|\psi'\rangle</math>

このようにして作った状態に対して定義された<math>|\psi'\rangle</math>を用いて適当な物理量の期待値を計算することになる。

== 弱値の定義と性質 ==
弱値はあらゆる物理量<math>\hat{A}</math>にたいして、始状態<math>|i\rangle</math>および終状態<math>|f\rangle</math>によって決まる複素数値で具体的には

<math>A_{\mathrm{w}}=\frac{\langle f|\hat{A}|i\rangle}{\langle f|i \rangle}</math>

によって与えられる。この数値は<math>|i\rangle=|f\rangle</math>を満たす時には通常の量子論での<math>\hat{A}</math>の期待値と同じであるから、期待値にある種の一般化をしていると考えることができる。しかし、通常の期待値と違って<math>\hat{A}</math>の最大固有値などでバウンドされず、しかも<math>\hat{A}</math>がエルミートであるにもかかわらず実数になるとは限らない。具体的には例えば

<math>\hat{A}=|1\rangle\langle 1|-|-1\rangle\langle -1|</math>

<math>|i\rangle=\sqrt{\frac{2}{3}}|1\rangle+i\sqrt{\frac{1}{3}}|-1\rangle</math>

<math>|f\rangle=i\sqrt{\frac{2}{3}}e^{i\phi}|1\rangle+\sqrt{\frac{1}{3}}e^{-i\phi}|-1\rangle</math>

と選ぶとき

<math>A_{\mathrm{w}}=\frac{-i\frac{2}{3}e^{-i\phi}-i\frac{1}{3}e^{i\phi}}{-i\frac{2}{3}e^{-i\phi}+i\frac{1}{3}e^{i\phi}}=\frac{2e^{-i\phi}+e^{i\phi}}{2e^{-i\phi}-e^{i\phi}}=\frac{3\cos{\phi}-i\sin{\phi}}{\cos{\phi}-i3\sin{\phi}}=\frac{3+i8\sin{\phi}}{1+8\sin^{2}{\phi}}</math>

となり、実部と虚部が共に現れることが確かめられるほか、ここで<math>\phi=\frac{\pi}{8}</math>を選ぶことで

<math>\mathrm{Re}A_{\mathrm{w}}=\frac{3}{5-2\sqrt{2}}>1 </math>

および

<math>\mathrm{Im}A_{\mathrm{w}}=\frac{4\sqrt{2-\sqrt{2}}}{5-2\sqrt{2}}=1.40979...>1</math>

となる。このような性質を用いてシグナルの振れ幅を大きくすることで信号を増幅する「弱値増幅」と呼ばれる手法にも一部で注目があり、すでにHosten<ref>"Observation of the spin hall effect of light via weak measurements." Science 319 787</ref>らの実験など、実証も行われている。

== 議論 ==
{{節stub}}
弱測定の概念は[[観測問題]]と時間の流れの考察から考え出された。[[ヤキール・アハラノフ]]は過去から現在までと、未来から現在までとを記述する二つの[[波動関数]]により量子力学を記述しなおすことで、量子的な重ね合わせに物理的な実在性を持たせようとした。弱測定はこの実在性を観測する手段である。アハラノフはこれを宇宙全体に一般化し、宇宙の始状態と終状態によりただ一つの宇宙が選択され実現していると考えた。これは宇宙が量子的な重ね合わせ状態にあり、実現可能性がある無数の宇宙が並行して存在すると考える、[[多世界解釈]]による宇宙観と対立する考えである。

弱測定の概念はまだ成熟されたものではないが、実験による実証が可能であり、専門家に受け入れられつつある。一方で、アハラノフの宇宙観は広く受け入れられてはいない。

== 脚注 ==
{{脚注ヘルプ}}
{{Reflist}}

== 参考文献 ==
{{参照方法|date=2023年1月|section=1}}
* {{Cite journal ja-jp
|author    = 語り：Y.アハラノフ 聞き手：古田彩 監修：鹿野豊、細谷暁夫
|year      = 2012
|title     = 宇宙の未来が決める現在
|url       = http://www.nikkei-science.com/page/magazine/0910/200910_024.html
|journal   = 別冊日経サイエンス
|serial    = no.186 実在とは何か
|publisher = 日経サイエンス社
|pages     = 48-52
}} <!-- 総説 -->

== 関連項目 ==
* [[観測問題]]
* [[量子力学#量子力学の解釈問題]]

{{Physics-stub}}

{{DEFAULTSORT:しやくそくてい}}
[[Category:量子力学]]
[[Category:量子情報科学]]
[[Category:観測問題]]