反事實量子計算
反事實量子計算は、量子コンピュータが物理的に実行されることなく、その計算結果を得ることを可能にする理論的手法である。この概念は量子干渉と相互作用なしの測定を利用して、量子アルゴリズムの出力を、実際に計算が行われたかどうかを検出不可能な形で抽出することを目指す。特に、量子ゼノン効果に基づくプロトコルによって、量子コンピュータが作動しなかった場合でも、その計算結果が得られることが理論的に示されている。
背景メモ
- 量子コンピューティングの理論上の手法で、コンピュータを実際に「動かさずに」計算結果を得られるというパラドキシカルな概念。量子力学の「相互作用なしで測定を行う」性質（interaction-free measurement）を計算に応用したもの。
- 2006年に理論物理学者のGraeme MitchisonとRichard Jozsaが提唱。Jozsaは量子計算の理論的基礎を築いた重要人物の一人（Shorのアルゴリズムなどにも関与）。
- 通常の量子コンピュータは、量子ビット（qubit）の重ね合わせ状態を計算に使うが、counterfactual QCでは「もし計算が行われていたら」という反実仮想的な干渉パターンから結果を読み取る。物理的に計算が実行されていないのに結果が得られる、という点が哲学的にも注目される。
- この概念が有名になったきっかけの一つは、1990年代に発表された「量子消しゴム」や「相互作用のない測定」（Elitzur–Vaidman bomb tester）のパラドックス。これらは量子力学の直感に反する性質を示す思考実験だった。
- 実用化は極めて困難で、ほとんど概念実証段階。2010年代に一部の実験グループが簡単な計算（1ビットの探索など）をこの方式で実行した報告があるが、大規模計算にはほど遠い。理論的にも、counterfactual計算の定義そのものに議論がある。