[論文レビュー] Logical Interpretation of a Reversible Measurement in Quantum Computing

Giulia Battilotti, Paola Zizzi|ArXiv.org|Aug 11, 2004

Quantum Mechanics and Applications参考文献 20被引用数 12

ひとこと要約

本稿では、量子空間背景（たとえば、曇りガラス球）内の『内部観測者』が実行する可逆的量子測定をモデル化することで、量子コンピューティングのためのパラコヒーレントで対称的な論理を提案する。標準的量子論理とは異なり、これは非可逆的射影測定のみを記述するが、この論理は非矛盾の法則および排中律の両方を無効化し、量子計算の内部的ダイナミクスの基礎的枠組みを提供する。

ABSTRACT

We give the logical description of a new kind of quantum measurement that is a reversible operation performed by an hypothetical insider observer, or, which is the same, a quantum measurement made in a quantum space background, like the fuzzy sphere. The result is that the non-contradiction and the excluded middle principles are both invalidated, leading to a paraconsistent, symmetric logic. Our conjecture is that, in this setting, one can develop the adequate logic of quantum computing. The role of standard quantum logic is then confined to describe the projective measurement scheme.

研究の動機と目的

• 外部観測者ではなく、内部観測者の視点から、量子計算プロセス全体を記述する論理的枠組みを構築すること。
• ユニタリ発展の間、閉じた量子系（たとえば、量子コンピュータ）を記述できない標準的量子論理の限界を是正すること。
• 可逆的量子測定（特にミラー測定、曇り測定、リヤー測定）が、パラコヒーレントで対称的な新しい種類の論理を生み出す仕組みを明らかにすること。
• 内部観測者（可逆的測定を実行する者）の論理と、外部観測者（非可逆的射影測定を実行する者）の論理との違いを明確にすること。

提案手法

• 単一のキュービットにおける3種類の可逆的測定（ミラー測定、曇り測定、リヤー測定）を、幾何的文脈（離散格子または曇りガラス球）で定義する。
• 内部観測者を、測定がユニタリかつ可逆的であり、すべての量子情報を保持する量子空間背景（例：曇りガラス球）に埋め込むことでモデル化する。
• ブロッホ球面表現を用いて、ミラー測定をz軸まわりの反時計回り回転として解釈し、リヤー測定を点の入れ替えによる確率交換として解釈する。
• 古典的原則（非矛盾の法則および排中律）に反する、互いに対称的な2つの論理公理を導出し、パラコヒーレント論理に至る。
• 内部観測者の論理（パラコヒーレントで対称的）と外部観測者の論理（標準的量子論理）および古典論理（アリストテレス的論理）を比較する。
• 観測者間の通信をモデル化するためのメタ論理的記号'@'を導入し、古典論理と内部観測者論理の間には論理的不適合性のため直接通信が不可能であることを示す。

実験結果

リサーチクエスチョン

• RQ1 内部観測者が量子空間背景で実行する可逆的量子測定が、どのように新しい論理的構造を生み出すのか。
• RQ2 内部観測者の視点から量子計算をモデル化する際、どのような論理的原則が無効化され、それらに代わるものとは何か。
• RQ3 内部観測者の論理は、標準的量子論理（外部観測者が使用するもの）および古典論理とどのように異なるか。
• RQ4 曇りガラス球や離散格子などの幾何的構造が、可逆的測定および対称的論理を可能にする役割は何か。
• RQ5 異なる論理を持つ観測者間の通信を形式的にモデル化可能か。その通信制約にどのような意味があるか。

主な発見

• 内部観測者の論理はパラコヒーレントで対称的であり、非矛盾の法則および排中律の両方が無効化される。
• ミラー測定はブロッホ球面上での反時計回り回転に対応し、確率を保存するが、リヤー測定はキュービット状態の確率を交換する。
• 曇り測定は曇りガラス球上の一般化された回転に対応し、確率を混合することで、より広いクラスの可逆的操作を反映する。
• 外部観測者とは異なり、内部観測者は隠れた情報なしに可逆的測定を実行できる。外部観測者は射影測定によって状態を崩壊させる。
• 古典論理の論理学者（A）と内部観測者（P）の間の通信は論理的に不可能であり、通信関係（@）の非推移性により示される。ただし、外部観測者（G）は両者と通信可能である。
• この枠組みは、内部観測者には非可換C*-代数、外部観測者には可換代数に基づく、幾何学的・代数的基盤を提供し、幾何学、代数学、論理学を結びつける。