[論文レビュー] Generalized parity proofs of the Kochen-Specker theorem

Petr Lisoněk, Robert Raussendorf+1 more|arXiv (Cornell University)|Jan 13, 2014

Quantum Mechanics and Applications参考文献 18被引用数 3

ひとこと要約

本稿では、積が±I である可換な観測量の制約を用いて、Kochen-Specker定理の一般化されたパリティ証明を生成する2つの補完的手段を提示する。最初の手法は線形代数と符号理論を用い、固定された制約集合から証明を列挙するのに対し、2番目の手法は組合せ的インシデント構造を用いて、観測量の割り当てが有効なパリティ証明を生じるかどうかを決定する。主な貢献は、このような証明を分類および列挙する体系的な枠組みを提供することであり、結果として多くの組合せ的構造がいかなるパリティ証明も生成できないことが示された。

ABSTRACT

We discuss two approaches to producing generalized parity proofs of the Kochen-Specker theorem. Such proofs use contexts of observables whose product is $I$ or $-I$; we call them constraints. In the first approach, one starts with a fixed set of constraints and methods of linear algebra are used to produce subsets that are generalized parity proofs. Coding theory methods are used for enumeration of the proofs by size. In the second approach, one starts with the combinatorial structure of the set of constraints and one looks for ways to suitably populate this structure with observables. As well, we are able to show that many combinatorial structures can not produce parity proofs.

研究の動機と目的

• 伝統的なパウリ観測量を超えて、Kochen-Specker定理の一般化されたパリティ証明を体系的に生成するフレームワークを開発すること。
• 符号理論的手法を用いて、パリティ証明をサイズごとに列挙する課題に対処すること。
• 観測量の次元や種別にかかわらず、どの組合せ的インシデント構造が、あるいはいかなるパリティ証明も支持できないかを特定すること。
• 群論的ツール（Knuth-Bendixアルゴリズムなど）を用いたアルゴリズム的手法を提供し、与えられたインシデント構造にパリティ証明が存在するかどうかをチェックすること。
• 固定された制約集合から得られるパリティ証明の数が、常に0または2のべきであることを確立すること。これは二進線形符号に基づく。

提案手法

• パリティ証明を、積が±I である可換な観測量の集合（制約）としてモデル化する。各観測量は偶数個の制約に現れ、積が−I である制約は奇数個存在する。
• 二進線形代数を用いて、有効なパリティ証明の集合が二進線形符号のアフィン部分空間（コセット）に対応することを示し、その結果、このような証明の数が常に0または2^k（あるkについて）であることを示す。
• 符号理論の双対性を応用し、全列挙を避けることで、サイズごとのパリティ証明の間接的列挙を実現する。
• 制約の組合せ的構造を、点（観測量）とブロック（制約）からなるインシデント構造として表現し、有効な割り当ての探索を支援する。
• 群論におけるKnuth-Bendixアルゴリズムを用い、すべての制約に現れる観測量の積がIに簡約されるかどうかをチェックすることで、与えられたインシデント構造がパリティ証明を支持できるかどうかをテストする。
• 群の関係に基づき、任意の有効な証明で非可換でなければならない観測量のペアを特定することで、探索空間を縮小する。

実験結果

リサーチクエスチョン

• RQ1 Kochen-Specker定理の一般化されたパリティ証明は、標準的なパウリに基づく構成を超えて、体系的に生成・列挙可能か？
• RQ2 与えられた制約集合に対して、パリティ証明が存在する条件は何か？ また、そのような証明はいくつ存在可能か？
• RQ3 固定されたブロックおよび点の次数を持つ、どの組合せ的インシデント構造（観測量の次元にかかわらず）が、いかなるパリティ証明も支持できるか、あるいは支持できないか？
• RQ4 Knuth-Bendixアルゴリズムを含む群論的手法を用いて、特定のインシデント構造にパリティ証明が存在しないことをどのようにして除外できるか？
• RQ5 符号理論は、サイズごとのパリティ証明の効率的列挙をどのように可能にするか？

主な発見

• 固定された制約集合から導かれるパリティ証明の数は、二進線形符号のコセットとの一対一対応があるため、常に0または2のべきである。
• 10頂点以下の連結な3正則グラフから導かれるインシデント構造について、19個中10個の構造がパリティ証明を生成可能であり、残りの9つは不可能である。
• C2構造（6頂点の3正則グラフ）は、関連する群におけるすべての観測量の積がIに簡約されることから、いかなるパリティ証明も支持できないことが証明された。
• C3構造（6頂点）は、Merminの正方形構成により少なくとも1つのパリティ証明を支持しており、Knuth-Bendixアルゴリズムにより積がIに簡約されないことが確認された。
• 符号理論の双対性を用いた間接的列挙により、計算コストを顕著に削減できる。
• Knuth-Bendixアルゴリズムによる群の関係のテストを用いることで、非存在証明を厳密に確立でき、全探索の前に不可能構造を除外できる。