[論文レビュー] Kindergarten Quantum Mechanics

Bob Coecke|arXiv (Cornell University)|Oct 4, 2005

Quantum Mechanics and Applications参考文献 22被引用数 71

ひとこと要約

この論文は、線、図形、記号の直感的な図式を用いて、量子力学の図的で圏論的な形式的体系を提示する。これは『幼稚園レベル』の視覚的言語に相当し、量子理論の完全な構造を捉えている。この計算体系が強くコンパクト閉じた圏（SCCC）と等価であることが示され、量子プロトコル（例えば量子テレポーテーション）が図式的推論により自明に導ける、高水準で直感的な枠組みを提供する。量子情報の流れ、もつれ、完全正定値写像を統一的に扱う。

ABSTRACT

These lecture notes survey some joint work with Samson Abramsky as it was presented by me at several conferences in the summer of 2005. It concerns `doing quantum mechanics using only pictures of lines, squares, triangles and diamonds'. This picture calculus can be seen as a very substantial extension of Dirac's notation, and has a purely algebraic counterpart in terms of so-called Strongly Compact Closed Categories (introduced by Abramsky and I in quant-ph/0402130 and [4]) which subsumes my Logic of Entanglement quant-ph/0402014. For a survey on the `what', the `why' and the `hows' I refer to a previous set of lecture notes quant-ph/0506132. In a last section we provide some pointers to the body of technical literature on the subject.

研究の動機と目的

• 標準的な量子形式的体系（例えばフォン・ノイマンのヒルベルト空間形式的体系）の『悪さ』（例えば、低水準的で直感的な量子プロトコルの発見を妨げる）を是正すること。
• 『幼稚園量子力学』と呼ばれる高水準で図式的な形式的体系を提唱し、線、正方形、三角形、ダイヤモンドの図を用いて量子の推論を簡素化すること。
• この図式的計算体系が数学的に強くコンパクト閉じた圏（SCCC）と等価であることを示し、量子情報理論に厳密な基礎を提供すること。
• 純状態、混合状態、完全正定値写像の取り扱いを、一貫した図式的言語で統一すること。
• 基礎的な量子プロトコル（例えば、テレポーテーション、もつれスワッピング）が、形式的体系の構造的明確さのおかげで、質問が提示されれば自明に導けることを示すこと。

提案手法

• 線、正方形、三角形、ダイヤモンドの図式を用いて、量子系、プロセス、およびそれらの合成を表す図式的計算体系を用い、従来のディラック記法に代わる。
• 圏論に基づいてこの計算体系を形式化し、特に強くコンパクト閉じた圏（SCCC）として定式化し、図式の代数的基盤を提供する。
• 量子操作を圏内のモルフィズムとして表現し、順次的および並列的合成を図式の合成およびテンソル積によってモデル化する。
• 『準備状態一致』公理（DLL）を導入し、セリンジャーの構成を用いて混合状態と完全正定値写像を統一的に扱う拡張を施す。
• 図式的計算体系を用いて、テレポーテーション、論理ゲートのテレポーテーション、もつれスワッピングなどの量子プロトコルを構造的推論により表現・導出する。
• この図式的計算体系がセリンジャーのダガー・コンパクト圏形式的体系およびペネローズのテンソル図式計算体系と正式に等価であることを示し、強固で抽象的な基盤を確立する。

実験結果

リサーチクエスチョン

• RQ1 量子プロトコル（例えばテレポーテーション）を直感的かつ即座に導けるような、高水準で視覚的な量子力学形式的体系を構築できるか？
• RQ2 標準的な量子形式的体系が、その低水準的かつ代数的な性質のおかげで、量子プロトコルの発見をどれほど妨げているか？
• RQ3 量子情報の流れの構造（もつれ、測定、量子操作）を、純粋に図式的合成によってどのように捉えることができるか？
• RQ4 図式的推論と形式的量子力学との間の等価性を正当化する圏論的基盤は何か？
• RQ5 この図式的計算体系は、自然に混合状態と完全正定値写像を統合できるか？もしそうなら、どのように？

主な発見

• 本論文で提示された図式的計算体系は、強くコンパクト閉じた圏（SCCC）と等価であり、視覚的形式的体系に厳密な代数的基盤を提供する。
• 量子テレポーテーションや関連するプロトコルは、この形式的体系において、質問が提示されれば自明に導けることが確認され、標準形式的体系がその低水準性のため発見を妨げることの主張が裏付けられる。
• この形式的体系は、純状態と混合状態の両方を自然に組み込み、セリンジャーの構成による完全正定値写像が図式的構成によって定義可能である。
• 準備状態一致公理（DLL）およびその拡張により、図式的フレームワーク内での量子操作と混合状態の取り扱いが統一される。
• 図式的計算体系は、セリンジャーのダガー・コンパクト圏形式的体系およびペネローズのテンソル図式計算体系と正式に等価であることが示され、広範な数学的整合性を確立する。
• この計算体系は、量子情報理論の統一的かつリソース感受性の高い枠組みを提供し、線形論理の原則およびノークーリング／ノーカンセリングの定理と整合する。