量子消しゴム実験が示す「把持の可逆性」とは何か——情報はどこまで「保持」されるのか

量子消しゴム実験とは何か——「観測」をめぐる根本問題

量子力学における「観測」は、単に「誰かが見たかどうか」という主観的な問いではない。物理系がどのような状態にあり、その情報がどの自由度にどの程度保存されているかという、客観的な構造の問いである。量子消しゴム実験は、この点を実験的に可視化することで、補完性の本質をより深く照らし出す装置として機能している。

1982年にMarlan O. ScullyとKai Drühlが提案した量子消しゴムの概念は、その後の数十年で光子系・超伝導量子ビット・マイクロメーザーキャビティなど多様な物理系で実証されてきた。2000年のKimらによる遅延選択量子消しゴム、2002年のWalbornらによる実二重スリット系、そして2013年のMaらによる因果的分離条件下での実証へと至る一連の研究は、「把持（保持）」という概念が量子力学のなかでいかに多層的な意味をもつかを明確にした。

本記事では、量子消しゴムの理論的枠組みから実験的制約まで体系的に整理し、「情報の把持」の物理的限界がどこにあるのかを論じる。

---

which-path情報と干渉の消失——把持の量子力学的意味

干渉縞が消えるのは「見たから」ではない

二重スリット実験では、どちらのスリットを通ったかという「経路情報（which-path情報）」が利用可能な状態に保持されると、干渉縞が消える。直感的には「観察したから波動性が消えた」と説明されることが多いが、これは正確ではない。重要なのは「情報が実際に読み出されたかどうか」ではなく、「その情報が原理的に利用可能な状態でどこかに保持されているかどうか」である。

この点を最小モデルで確認しよう。経路自由度Sを2準位系で表し、初期状態を重ね合わせ$$|\psi\rangle_S = \frac{|0\rangle + e^{i\phi}|1\rangle}{\sqrt{2}}$$∣ψ⟩S​=2​∣0⟩+eiϕ∣1⟩​

とする。記録形成を制御ユニタリで表すと、全状態は$$|\Psi\rangle_{SM} = \frac{|0\rangle|m_0\rangle + e^{i\phi}|1\rangle|m_1\rangle}{\sqrt{2}}$$∣Ψ⟩SM​=2​∣0⟩∣m0​⟩+eiϕ∣1⟩∣m1​⟩​

となる。マーカー系Mを見ない縮約状態では、オフ対角要素が重なり積分 $\mu = \langle m_1 | m_0 \rangle$μ=⟨m1​∣m0​⟩ で決まり、干渉可視度は $V = |\mu|$V=∣μ∣ で与えられる。$|m_0\rangle$∣m0​⟩ と $|m_1\rangle$∣m1​⟩ が直交すれば $V = 0$V=0 になる——つまり、誰も記録を読まなくても、情報が利用可能な形で「保持」されているだけで干渉は消える。

量子消しゴムが回復するものの正体

量子消しゴムはこの状況を逆転させる。マーカーMを$$|+\rangle = \frac{|m_0\rangle + |m_1\rangle}{\sqrt{2}}, \quad |-\rangle = \frac{|m_0\rangle – |m_1\rangle}{\sqrt{2}}$$∣+⟩=2​∣m0​⟩+∣m1​⟩​,∣−⟩=2​∣m0​⟩−∣m1​⟩​

という基底で測定すると、 $|+\rangle$∣+⟩ 事象に条件づけたSの状態は元の重ね合わせ$$|\psi_+\rangle_S = \frac{|0\rangle + e^{i\phi}|1\rangle}{\sqrt{2}}$$∣ψ+​⟩S​=2​∣0⟩+eiϕ∣1⟩​

に戻り、干渉が回復する。しかし重要な点は、 $|+\rangle$∣+⟩ と $|-\rangle$∣−⟩ の結果を足し合わせた全アンサンブルでは、2つのサブアンサンブルの干渉縞が逆位相で打ち消し合い、干渉は見えない。量子消しゴムが回復しているのは総アンサンブルの干渉ではなく、特定の測定結果に条件づけたサブアンサンブルのコヒーレンスである。

KimらのR01・R02サブアンサンブルが $\pi$π 位相差の干渉パターンを示し、which-path側のR03・R04には干渉が現れないのは、まさにこの事実の実験的表現である。遅延選択版においても同様で、信号光子が先に検出されても後から条件づけることで干渉縞が現れる——これは「過去の改変」ではなく「相関のあるデータの後選別」にすぎない。

---

把持の理論的枠組み——CPTPマップとStinespring拡張

量子測定をインストゥルメントで記述する

量子測定を記述する厳密な枠組みはインストゥルメント（instrument）と呼ばれる。結果xごとの完全陽性・跡非増加写像 $\{\mathcal{M}_x\}${Mx​} を用いると、結果確率と条件付き事後状態はそれぞれ$$p_x = \operatorname{Tr}\mathcal{M}_x(\rho), \quad \rho_x = \frac{\mathcal{M}_x(\rho)}{p_x}$$px​=TrMx​(ρ),ρx​=px​Mx​(ρ)​

で与えられ、非選別測定は完全陽性・跡保存写像（CPTP map）$$\mathcal{E}(\rho) = \sum_x \mathcal{M}_x(\rho)$$E(ρ)=x∑​Mx​(ρ)

になる。記録レジスタRを明示した古典-量子状態$$\rho_{XR} = \sum_x p_x |x\rangle\!\langle x| \otimes \rho_R^{(x)}$$ρXR​=x∑​px​∣x⟩⟨x∣⊗ρR(x)​

は「どの結果がどの物理記録に対応するか」を表す自然な表現である。

可逆性の喪失は根本法則ではなく有効不可逆性

同じ内容をStinespring拡張で書くと、ある環境Eとisometry Vを用いて$$\mathcal{E}(\rho) = \operatorname{Tr}_E\left[V\rho V^\dagger\right]$$E(ρ)=TrE​[VρV†]

と表せる。全系（S＋R＋E）ではユニタリで可逆であるが、環境Eを部分トレースした時点で局所的には不可逆なデコヒーレンス・チャネルとして見える。これは量子消しゴムの核心をなす構造だ。

可逆性の喪失は根本法則の非可逆性ではなく、制御不能な自由度を捨てたことによる有効不可逆性として現れる。

チャネルの反転可能性に関する一般的な結果として、同じ次元の系に作用する量子チャネルが別の量子チャネルですべての状態に対して厳密に反転可能なのは、元のチャネルがユニタリの場合に限られる。より現実的な設定では、特定の状態 $\sigma$σ や特定のコード空間に対する条件付き・近似的回復が議論される。このとき、条件付き相互情報量が小さいほど高忠実度の回復が可能であることを示すrecoverability定理が成立する。

---

把持の定義と定量的指標——「記録がある」だけでは不十分

把持を相対的概念として定義する

「把持」「保持」は量子測定論の標準用語ではないが、物理的に意味のある定義が可能だ。最も自然な定義は、制御可能な部分系Cに対して、結果ラベルXがその内部でどの程度デコード可能かによる定義である。

「XがCに保持されている」とは、C上のPOVMによってXを十分高確率で識別できることをいう。さらに「不可逆に保持されている」とは、同じCだけを操作しても元状態を十分高忠実度では回復できないことをいう。

この定義の重要な含意は、保持が絶対概念ではなく可制御性の境界に相対的な概念であることだ。制御可能な系を拡張すれば、「不可逆だった保持」が「可逆な保持」に見え直すことがある——量子消しゴムはまさにこれを示している。

把持を定量化する6つの指標

指標	代表式	何を測るか
識別成功確率	$P_{\rm succ} = \max_{\{\Lambda_x\}} \sum_x p_x \operatorname{Tr}[\Lambda_x \rho_R^{(x)}]$Psucc​=max{Λx​}​∑x​px​Tr[Λx​ρR(x)​]	記録の可読性
相互情報量	$I(X:R) = S(\rho_X) + S(\rho_R) – S(\rho_{XR})$	ラベルと記録の相関量
可視度	$V = (I_{\max} – I_{\min})/(I_{\max} + I_{\min})$V=(Imax​−Imin​)/(Imax​+Imin​)	元の干渉コヒーレンス
エントロピー増加	$S(\rho_S)$S(ρS​), $S(\rho_R)$S(ρR​)	混合化・相関生成
回復忠実度	$F_{\rm rec} = F(\rho_{\rm in}, \mathcal{R} \circ \mathcal{E}(\rho_{\rm in}))$Frec​=F(ρin​,R∘E(ρin​))	可逆性の実用指標
反転成功率	R	弱測定における直接の可逆性尺度

識別成功確率と相互情報量は「記録が残っているか」を見るのに対し、可視度・回復忠実度・反転成功率は「その記録がどれだけ非可逆か」を見る。最近の研究では情報ゲイン（G）、残存フィデリティ（F）、可逆性（R）の三者を統一的に扱う枠組みも提案されており、把持を「メモリ量」としてではなく「抽出・残存・回復できる情報の分配」として捉える視点が広がっている。

---

環境への漏洩——把持の物理的限界はここにある

環境コピーが可逆性の上限を決める

把持の限界を本当に決めるのは、記録がさらに環境Eに漏れる場合だ。全状態が$$|\Psi\rangle_{SME} = \frac{|0\rangle|m_0\rangle|e_0\rangle + e^{i\phi}|1\rangle|m_1\rangle|e_1\rangle}{\sqrt{2}}$$∣Ψ⟩SME​=2​∣0⟩∣m0​⟩∣e0​⟩+eiϕ∣1⟩∣m1​⟩∣e1​⟩​

となる状況では、マーカーMに対して理想的な量子消しゴムを行っても、条件付き回復可視度は$$V_{\rm rec} = |\langle e_1 | e_0 \rangle|$$Vrec​=∣⟨e1​∣e0​⟩∣

までしか回復しない。環境側の状態が直交に近いほど、つまり環境がwhich-path情報をよく「保持」しているほど、可視度回復は制限される。

この関係を数値で見ると次のようになる。

| $c_E = |\langle e_0 | e_1 \rangle|$cE​=∣⟨e0​∣e1​⟩∣ | 回復可能可視度 $V_{\rm rec}$Vrec​ | 環境側識別可能性 $D_E$DE​ | 最適識別成功確率 | |:—:|:—:|:—:|:—:| | 1.0 | 1.000 | 0.000 | 0.500 | | 0.8 | 0.800 | 0.600 | 0.800 | | 0.5 | 0.500 | 0.866 | 0.933 | | 0.2 | 0.200 | 0.980 | 0.990 | | 0.0 | 0.000 | 1.000 | 1.000 |

「保持の強化」と「可逆性の喪失」は同じ現象の両面である。環境が情報を強く保持するほど、系の可逆性は失われる。

Zurekのデコヒーレンス論との接続

Wojciech H. Zurekのeinselectionの見方では、環境は系の特定の観測量を継続的に「監視」し、pointer stateと呼ばれる特定の状態間の干渉を破壊しつつ、その相関を安定化させる。環境が冗長なコピーを生成するほど、保持は古典化し、量子消しゴムでは回復不可能になる。

2008年の超伝導位相量子ビットを用いた実験（uncollapse実験）は、部分崩壊測定を逆操作で「元に戻す」ことを示したが、この成功には100%の量子効率で情報が不可制御な環境へ漏れていないことが必要条件として明記されている。量子消しゴムとuncollapsing reversal は同一ではないが、「どこまでの記録コピーを制御しないと回復できないか」という核心は共有している。

---

実験的制約——理論と実装の間にある壁

光子系における時間コヒーレンスと検出効率

Walbornらの実験（702.2nm縮退SPDC光子・1nmフィルタ）を例にとると、コヒーレンス時間はおよそ $\tau_c \approx 1.64\,\text{ps}$τc​≈1.64ps、コヒーレンス長はおよそ $\ell_c \approx 0.49\,\text{mm}$ℓc​≈0.49mm と見積もられる。二重スリットの経路差や光学素子の厚みはこのスケールより十分小さく管理される必要があり、この窓の外に出た時点で可逆性の実験的実現は難しくなる。

Walborn実験で1/4波長板整列誤差により残留干渉が見られたのはこの典型例であり、「完全な量子消しゴム」の実現が精密な素子制御に依存することを示している。

検出効率も可逆性窓を制限する。Si-APD型単一光子検出器の代表的な効率は650nm付近で65〜70%程度であり、coincidence率は両腕効率の積に比例するため、効率低下は実験時間と統計精度の急速な悪化をもたらす。

固体量子系における緩和時間の制約

超伝導位相量子ビットのuncollapsing実験では、 $T_1 = 450\,\text{ns}$T1​=450ns、$T_2^* = 350\,\text{ns}$T2∗​=350ns という緩和・デコヒーレンス時間が44nsの測定・反転シーケンスを上回ることで可逆性が成立している。測定強度が大きくなるほどエネルギー緩和と位相緩和が支配的になり、強測定ほど回復フィデリティが低下する。これは「記録が強く保持されるほど逆操作の成功率が下がる」という原理的トレードオフの実験的表現だ。

---

量子消しゴムが示す「把持」概念の再定義

量子消しゴム実験が「把持（保持）」の物理的限界に置く位置は明確だ。それは「記録が存在するか否か」ではなく、「記録の全コピーがどこまで可制御かという境界」にある。

第一段階の把持： 記録がマーカー・アイドラー光子などの可制御量子自由度にある段階。この段階では記録は確かに存在するが、ユニタリに巻き戻しうる。量子消しゴムが機能するのはこの段階である。

第二段階の把持： 記録が増幅・散逸し、環境へ冗長に広がった段階。このとき初めて保持は実効的に古典化し、量子消しゴムでは戻らない。熱力学的に頑強な記録が形成される。

この観点に立つと、量子消しゴムは「保持された記録を消した」のではなく、正確には「まだ熱力学的に固定化されていなかったwhich-path相関を、別基底で再投影し直した」のである。補完性の本質は「知った／知らない」という認識論的な問いではなく、「情報がどこに、どの程度、可逆な形で存在するか」という物理論的な問いへと移行する。

---

まとめ——「把持の可逆性」が照らす量子力学の新しい見方

本記事では、量子消しゴム実験を通じて「把持（保持）」の概念を以下の観点から整理した。

量子消しゴムは「干渉を回復する装置」ではなく、「情報の可制御性の境界を照らし出す装置」である。which-path情報の干渉への影響は観測行為の有無ではなく、情報が利用可能な状態でどこかに保持されているかという構造的事実で決まる。理論的には、全系のユニタリ発展は常に可逆だが、部分トレースによって生じる有効不可逆性が「把持」を意味のある概念にする。実験的には、コヒーレンス時間・検出効率・整列精度・デコヒーレンス時間が可逆性の実現可能な窓を制限する。

これらをふまえると、「把持」とは可制御性の境界に相対的な概念として再定義されるべきであり、その限界は「記録が環境へ不可制御に拡散した瞬間」に設定される。

次に掘り下げるべき研究テーマ

• 把持の相対性の形式化——subsystem-relative な可逆性判定と操作代数の結びつけ
• 量子記録から古典記録へのcrossoverの定量化——相互情報量・冗長度・回復忠実度による移行点の特定
• 弱測定reversalと量子消しゴムの統一理論——情報漏洩・量子効率・成功確率・エネルギー散逸を同一フレームで扱う理論整備
• 熱力学コストの組み込み——記録の消去・回復・保持時間とLandauerコスト・非平衡エントロピー生成の接続
• 情報G・忠実度F・可逆性Rの同時最適化——量子計測・量子誤り訂正双方に向けた設計指針の確立