シュレーディンガーの猫救出作戦ノ記録
$\def\bra#1{\mathinner{\left\langle{#1}\right|}}\def\ket#1{\mathinner{\left|{#1}\right\rangle}}\def\braket#1{\mathinner{\left\langle{#1}\right\rangle}}$みなさんこんにちは. ここではせっかく LaTeXを使っているので1数式で何かやってみようと思って, なんかシュレーディンガーの猫にまつわる諸々を書いてみようと思います.
結構ざっくりした話になるのであまり正確なことは言ってませんし, 何より締め切り間際に深夜に書いているので結構間違いもあると思いますがご容赦ください.
シュレーディンガーの猫
シュレーディンガーの猫について聞いたことくらいはあると思います. 簡単に説明すると, 箱の中に猫と放射性元素, 毒ガスを放出できる放射線検知器を入れておきます. 箱の中見えません. 一定時間経過後, 箱の中では確率$\mathinner{1/2}$ で放射性元素は崩壊し, 放射線を出します. このとき, 検知器が作動し毒ガスが箱の中に充満し猫は残念なことにその生涯を終えることになります. しかし, 箱の中が見えないのでフタを開けるまでは猫の生死はわかりません. これは, 猫は生きている状態と死んでいる状態の両方の状態にある, と説明されます. この猫のことをシュレーディンガーの猫と言います. そんなアホなと思うかもしれませんが, 量子論と呼ばれる物理学の分野ではこれが成立します. ちなみに箱を開けるときは換気を十分にするか防毒マスクをつけないと自分も巻き添えになりうるのでお気をつけください.
さて, 誰が好きで猫をこんな酷い目に合わせようと思うでしょうか. ちなみに私自身は猫アレルギーなので別に絶滅してもらっても構わないとは思いますが, そう思う人はきっと少数派なのでここは多数派に従って量子力学的に猫を救出する方法を考察してみます. その上で猫は可愛い.
生きてもいて死んでもいる状態
とりあえず生きてもいて死んでいる状態, というのを定式化します. 生きている状態を数式で$\ket{\mathrm{alive}}$ , 死んでいる状態を$\ket{\mathrm{dead}}$ と表します. 猫の生死はそれぞれ確率 $\mathinner{1/2}$ であるので, 猫の状態$\ket{\psi}$ というのは
$$\ket{\psi} := \frac{1}{\sqrt{2}}( \ket{\mathrm{alive}} + \ket{\mathrm{dead}} )$$
と書けます. この$\ket{\cdot}$ という記号はケット と呼ばれる記号です. よくわからない人はベクトルのお化けみたいなもんだと思ってください. このベクトルのノルム(大きさ)を
$$\| \psi \|^2 := \braket{\psi | \psi}$$
で定義します. $\bra{\cdot}$ はブラといいます. ケットと合わせてブラケット(bracket: 括弧の意)です. このブラケット$\braket{\cdot | \cdot }$ でブラとケットの内積を表します. また, 状態を表すベクトルは大きさが1であること, つまり$\|\mathrm{alive}\|^2 = \braket{\mathrm{alive}|\mathrm{alive} } = 1$ を要求します. 死亡状態dead も同様のことが成り立ちます. 同時に成り立たない状態は実現しないので, $\braket{\mathrm{alive}|\mathrm{dead} } = \braket{\mathrm{dead}|\mathrm{alive} } =0$ が成り立ちます. 以上の計算法則を用いて, 生きている確率と死んでいる確率はどちらも
$$| \braket{\psi | \mathrm{alive} } | ^2 = | \braket{\psi | \mathrm{dead} } |^2= \frac{1}{2}$$
と計算できるので, この定式化はどうやら正しそうな気がします. これを用いると, $\braket{\psi | \psi} = 1$ もわかります. 何が何だかさっぱりですね. まぁとりあえず猫の状態はがなんとか定式化できたとだけ認識してもらえばいいんじゃないでしょうかね.
要するにとりあえず猫はこのままでは殺されてしまいます. ここから救出の算段を立てます.
時間を止める魔法
量子論には時間を止める魔法が存在します. この魔法は量子Zeno効果と呼ばれています. Zeno効果の名前の由来はZeno(ゼノン)のパラドックスですね, 「飛んでる矢は止まってる」とか「見つめてる鍋は煮立たない」とかそういうやつです. さて, 量子Zeno効果とは「連続測定されている量子系は時間発展しない」現象です. 見つめられると動けなくなる, つまりは語彙力の足りないラブソングみたいなもんです.
このZeno効果を定式化します. 簡単に説明するのは不可能なので, よくわからんって人は諦めて次節まで読み飛ばしてください.
射影測定によるZeno効果の定式化
$\mathinner{\mathscr{H}}$ をヒルベルト空間とし, $\mathinner{\psi (t) \in \mathscr{H}}$ とします. さらに系の初期状態を$\mathinner{\psi_{0} := \psi (0)}$とし, $\mathinner{H}$ を$\mathinner{\mathscr{H}}$ 上に作用するハミルトニアンとします. このとき, 系の時間発展は$\mathinner{\psi (t) = e^{-iHt} \psi_{0}}$と表せます. ちなみに$\mathinner{\hbar = 1}$ となるような単位系を用いています.
ここまで準備したところで時間を止める本題です. 「時間が止まる」というのは, 「一定時間経過した後も最初と同じ状態のままである」と言い換えることが出来ます. 上の節で言った通り, $\mathinner{\tau}$ だけ時間発展した後に初期状態となる確率2 $\mathinner{p(\tau)}$ は,
$$p(\tau) := | \braket{\psi_{0} | \psi (\tau )} | ^2 = | \braket{\psi_{0} | e^{-iH\tau} \psi_{0}}| ^2$$
と書けます. $\mathinner{\tau}$ が極めて短い時間であるとき, この時間発展の作用素はテイラー展開することが出来て, なんかとりあえず程々にがんばって色々と計算すると $(\Delta H ) ^2 := \braket{\psi_{0} |H^2 \psi_{0}} - \braket{\psi_{0} |H \psi_{0}}^2$ として
$$\mathinner{p(\tau) = 1 - (\Delta H ) ^2 \tau ^2 + O(\tau^4)}$$
となります. さて, 有限時間$\mathinner{t}$ 経過した後の生存確率は時間$\mathinner{\tau}$ の時間発展を$\mathinner{n}$ 回繰り返したと考えて $\mathinner{t = n \tau}$ として計算します. このとき, $\mathinner{p(t) = p(n \tau ) = p(\tau) ^n}$ が成立するので, 結局,
$$\mathinner{p(t) = (1 - (\Delta H ) ^2 \tau ^2 + O(\tau^4))^n \label{eq:sp}}$$
が生存確率です. $\mathinner{t}$ を定数(与えられた有限時間)とすると, $\mathinner{n}$ を大きくすることで $\mathinner{\tau}$ を小さく出来る, つまり極めて短い時間の測定をたくさん繰り返していることを意味します. 式(6)で$\mathinner{n \to \infty}$ の極限をとると,
$$\mathinner{(1 - (\Delta H ) ^2 \tau ^2 + O(\tau^4))^n \to 1}$$
なので, 生存確率は1となって初期状態が確率1で再現する(時間発展が抑制されている)ことがわかります.
長くなりましたが, 私たちは時間を止める魔法を定式化することに成功しました. 果たしてこれでシュレーディンガーの猫は救えるのでしょうか?
猫救出作戦
箱に閉じ込めた猫の初期状態を$\ket{\psi_{0}} = \ket{\mathrm{alive}}$ とします. ここで $\ket{\mathrm{dead}}$ を初期状態に選ぶと大変ヤバイことになります.
以下では計算はしませんが, 直観的には「猫の状態を測定し続ければZeno効果により猫の状態は変化しない」ことになり, したがって猫は死にません. つまりシュレーディンガーの猫を救出するには箱に覗き窓をつけて猫を眺め続ければいいということになります. なんだ, 長々計算した割に簡単な結果でしたね.
まとめ
今までの議論を素朴に信じると, 猫が死なないということは放射性元素が崩壊していないことを意味します. 箱の中の猫を眺めることで元素の崩壊を止められるなんてありえるんでしょうか?
—もちろん, そんなことはありません. 猫は死ぬときは死にます. 箱に覗き窓をつけたところで, 確率$\mathinner{1/2}$ で猫の断末魔を目の当たりにするだけです. 多分トラウマになるのでやらないほうがいいと思います. なんでこんなパラドックスが起きるのか, それはミクロな世界の物理学である量子論を安易にマクロな系(猫)に適用したことに原因があります. 見つめられたら動けなくなるというのは, 確かにラブソングの中の美人(またはイケメン)くらいしか出来ないようです. もしくはメデューサ.
実際, 量子論には色々とデリケートな問題がついて回ります. Zeno効果にも実はまだまだ色々と条件があるし, シュレーディンガーの猫そのものも実はそんなに単純な話じゃなかったりします. こういう問題は難しいですが, これからの技術, 例えば量子情報などを支える理論における重要な問いになっています. もし興味があったら大学で勉強してみてください. その土壌が京都大学にはあります.
結論, 猫を助けたければ箱の中に入れなきゃいい.
(文: まつたけ)