[論文レビュー] Component mixers and a hardness result for counterfeiting quantum money

Andrew Lutomirski|arXiv (Cornell University)|Jul 1, 2011

Computability, Logic, AI Algorithms参考文献 2被引用数 17

ひとこと要約

この論文は、量子操作へのブラックボックスアクセス下で、きずの量子マネーの偽造の困難性を証明するためのツールとしてコンポーネントミキサーを導入する。もし『同じコンポーネント』問題が量子コンピュータにとって困難であるならば、量子マネー状態の偽造は不可能であることが示され、この量子マネー方式の安全性に対する最初の形式的証拠が得られる。

ABSTRACT

In this paper we give the first proof that, under reasonable assumptions, a problem related to counterfeiting quantum money from knots [Farhi et al. 2010] is hard. Along the way, we introduce the concept of a component mixer, define three new classical query problems and associated complexity classes related to graph isomorphism and group membership, and conjecture an oracle separating QCMA from QMA.

研究の動機と目的

• コンポーネントミキサーおよびラベリング関数へのブラックボックスアクセス下で、きずの量子マネーの偽造が計算的に困難であることを証明すること。
• コンポーネントミキサーに基づく新しいクエリ問題（同じコンポーネント、複数のコンポーネント、複数のバランスコンポーネント）を定義し、それらを既知の複雑性クラスと関連付けること。
• 量子マネーの安全性を示す証拠を提供し、その偽造が量子コンピュータ上で困難なコンポーネント問題の解法に還元されることを示すこと。
• 複数のバランスコンポーネント問題を用いて、QCMAとQMAの間の古典的オракル分離が可能かどうかを検討すること。

提案手法

• コンポーネントミキサーの概念を導入：分割された集合Sのコンポーネント内での可逆的かつ一様ランダムな写像。
• 3つの新しいクエリ問題を定義：同じコンポーネント問題（2つの要素が同じコンポーネントに属するか？）、複数のコンポーネント問題（複数のコンポーネントが存在するか？）、複数のバランスコンポーネント問題（多数派のない複数のコンポーネントが存在するか？）。
• これらの問題を複雑性クラスと関連付ける：SCP（同じコンポーネント問題）はNPおよびSZKに属し、またco-MAまたはBQPに対して困難である可能性がある。
• 同じコンポーネント問題が困難であると仮定すると、1つの要素が与えられたとき、そのコンポーネント上の均一重ね合わせ状態を準備する量子アルゴリズムを提示する。
• Bernstein-Vazirani定理とトレース距離解析を用いて、もしアルゴリズムが失敗すれば、古典的クエリ複雑性に対して超多項式の高速化を意味し、既知の下界と矛盾することを示す。
• きずの量子マネーの安全性を、同じコンポーネント問題の困難性に還元し、任意の効率的な偽造が、困難なクエリ問題の解法を意味することを示す。

実験結果

リサーチクエスチョン

• RQ1 コンポーネントミキサーおよびラベリング関数へのブラックボックスアクセス下で、きずの量子マネーの偽造が困難であることを証明することは可能か？
• RQ2 同じコンポーネント問題が量子コンピュータにとって困難であることを示せれば、その量子マネー方式の安全性が示唆されるか？
• RQ3 複数のバランスコンポーネント問題は、QCMAとQMAの間の古典的オラクル分離の候補となり得るか？
• RQ4 暗号的に安全なコンポーネントミキサーを構築可能か？また、それにより量子マネープロトコルの安全性と効率が向上するか？
• RQ5 コンポーネント重ね合わせ問題の量子クエリ複雑性は何か？また、それと同じコンポーネント問題の困難性との関係は？

主な発見

• 同じコンポーネント問題が、妥当な仮定の下で量子コンピュータにとって困難であることが示され、その結果、きずの量子マネーの偽造は不可能であることが示された。
• 同じコンポーネント問題が困難であると仮定すると、コンポーネントミキサーを活用する量子アルゴリズムにより、1つの要素が与えられたとき、そのコンポーネント上の均一重ね合わせ状態を無視できるほど小さな誤差で準備できる。
• すべてのゼロ関数と点関数の出力状態間のトレース距離が無視できるほど小さいことが示され、それらを区別する任意のアルゴリズムは、BBBV下界に反する。
• 複数のバランスコンポーネント問題は、QCMAとQMAの間の古典的オラクル分離の候補として特定され、この未解決の複雑性理論的問題を解くための潜在的な道筋を示唆する。
• この論文は、コンポーネント重ね合わせ問題が同じコンポーネント問題に還元可能であり、したがって後者の困難性が量子マネー方式の安全性を示すことになることを確立した。
• 本研究は、コンポーネントミキサーおよびラベリング関数のブラックボックスモデル下で、きずの量子マネーの偽造に対する最初の形式的困難性結果を提供した。