[論文レビュー] Quantum boolean functions

Ashley Montanaro, Tobias J. Osborne|arXiv (Cornell University)|Oct 14, 2008

Mathematical Inequalities and Applications参考文献 43被引用数 56

ひとこと要約

この論文は、$f^2 = \mathbb{I}$ を満たすユニタリ演算子として量子ブール関数を導入し、古典的ブール関数を量子領域へ一般化する。ブール関数理論における主要な結果の量子版を確立し、量子ゴールドレヒ・レヴィンアルゴリズム、量子FKN定理、量子ハイパーコントラクト性不等式を含む。これらの結果は、量子性質テストやキュービット上の影響力解析に応用される。

ABSTRACT

In this paper we introduce the study of quantum boolean functions, which are unitary operators f whose square is the identity: f^2 = I. We describe several generalisations of well-known results in the theory of boolean functions, including quantum property testing; a quantum version of the Goldreich-Levin algorithm for finding the large Fourier coefficients of boolean functions; and two quantum versions of a theorem of Friedgut, Kalai and Naor on the Fourier spectra of boolean functions. In order to obtain one of these generalisations, we prove a quantum extension of the hypercontractive inequality of Bonami, Gross and Beckner.

研究の動機と目的

• ユニタリ演算子が恒等演算子の二乗に等しいという性質を持つものとして、古典的ブール関数理論の量子一般化を構築すること。
• ゴールドレヒ・レヴィンアルゴリズム、フリードギュット＝カライ＝ナオール（FKN）定理、KKL定理といった基礎的結果を、量子設定へ拡張すること。
• 量子ハイパーコントラクト性を確立し、それにより量子FKN定理や反交換する量子ブール関数の影響力の境界が導かれるようにすること。
• 量子変数における影響力とノイズ感度の量子アナログを調査し、量子KKL定理の証明に向けた道筋を示すこと。
• 量子ダイナミクスの学習やユニタリ演算子の構造的性質のテストに役立つ、新しい量子アルゴリズムを提供すること。

提案手法

• ユニタリ演算子 $f$ で $f^2 = \mathbb{I}$ を満たすものとして量子ブール関数を定義し、古典的ブール関数を一般化する。
• 量子ブール関数に対してハイパーキューブ上のフーリエ解析を用い、$f = \sum_{s} \hat{f}_s \chi_s$ と表現する。ここで $\chi_s$ はパウリ演算子を表す。
• ノイズスーパーオペレーターに対して、ボナミ＝グロス＝ベッカー不等式の量子一般化を証明し、$1 \leq p \leq 2 \leq q \leq \infty$ の範囲で有効であることを示す。
• 安定化子演算子を学習し、量子ブール関数のフーリエ係数を近似するための量子ゴールドレヒ・レヴィンアルゴリズムを開発する。
• 量子変数における影響力の概念を導入し、反交換する量子ブール関数が、少なくとも $1/\sqrt{n}$ の影響力を有するキュービットを含むことを証明する。
• 量子ハイパーコントラクト性不等式を応用し、量子FKN定理を導出し、第一レベルのフーリエスペクトルに集中する関数が単一キュービット演算子に近いことを示す。

実験結果

リサーチクエスチョン

• RQ1 古典的ブール関数解析における結果（ゴールドレヒ・レヴィンアルゴリズム、FKN定理、KKL定理など）は、量子領域へ一般化可能か？
• RQ2 ハイパーコントラクト性不等式の量子アナログは何か？また、量子系におけるノイズ感度や影響力とどのように関係するか？
• RQ3 すべての量子ブール関数に影響力の強いキュービットが存在するか？また、これは量子KKL定理によって証明可能か？
• RQ4 量子性質テストを用いて、ユニタリ演算子がパウリ演算子のテンソル積か、1キュービットのパウリゲートかを識別するにはどうすればよいか？
• RQ5 量子ブール関数のフーリエスペクトルとその局所性や安定性といった構造的性質との関係は何か？

主な発見

• ノイズスーパーオペレーターに対して、$1 \leq p \leq 2 \leq q \leq \infty$ の範囲で有効な量子一般化ハイパーコントラクト性不等式が証明され、新しい量子フーリエ解析的手法が可能になった。
• フーリエスペクトルが第一レベルに集中する場合、関数が単一キュービットパウリ演算子に近いという量子FKN定理が確立された。
• $n$ キュービットの反交換する量子ブール関数に対しては、少なくとも $1/\sqrt{n}$ の影響力を有するキュービットが存在し、非可換な場合に強い影響力を持つことが示された。
• 安定化子演算子を学習し、量子ブール関数のフーリエ係数を近似するための量子ゴールドレヒ・レヴィンアルゴリズムが開発され、量子ダイナミクスの学習が可能になった。
• ユニタリ演算子がパウリ演算子のテンソル積か、1キュービットパウリゲートかをテストする量子性質テストプロトコルが構築され、古典関数に制限した場合、古典的手法よりも優れたパラメータを達成した。
• 量子Poincaré不等式が弱い形で証明され、著者らは一般の量子ブール関数に対して完全な量子KKL定理が成り立つと予想しているが、一般の証明は未解決のままである。