[論文レビュー] Binary Matroids and Quantum Probability Distributions

Dan Shepherd|arXiv (Cornell University)|May 11, 2010

Quantum Computing Algorithms and Architecture被引用数 10

ひとこと要約

この論文は、可換な量子回路（IQP/Xプログラム）によって生成される確率分布を、二進マトロイドと線形符号を用いて特徴づけ、その相関係数と周辺分布が、基礎となるマトロイド構造が単純な場合——特に測定する量子ビット数が系のサイズに対して対数的である場合——に、効率的に古典的にシミュレート可能であることを示している。主な貢献は、量子回路シミュレーションと二進マトロイドの組合せ的不変量との間の関係を確立したことであり、特定の構造的条件下で効率的な古典的サンプリングを可能にしている。

ABSTRACT

We characterise the probability distributions that arise from quantum circuits all of whose gates commute, and show when these distributions can be classically simulated efficiently. We consider also marginal distributions and the computation of correlation coefficients, and draw connections between the simulation of stabiliser circuits and the combinatorics of representable matroids, as developed in the 1990s.

研究の動機と目的

• 可換なゲートから構成される量子回路、特にIQP回路から生じる確率分布を特徴づけること。
• これらの分布が古典コンピュータ上で効率的にシミュレート可能となる条件を特定すること。
• 安定化子回路のシミュレーションと、表現可能な二進マトロイドの組合せ論的性質との間の明確なリンクを確立すること。
• マトロイド論的ツールを用いて、このような量子回路における周辺分布と相関係数を分析すること。
• 量子優位性が、特定の構造的条件下で効率的な古典的シミュレーションによって失われる条件を同定すること。

提案手法

• 論文は、$$\mathbb{F}_2$$ 上の二進行列を用いてIQP回路をモデル化し、それらを二進線形符号および表現可能な二進マトロイドに関連付ける。
• 符号とマトロイドの同型性を用いて、量子回路の性質をマトロイドの組合せ的不変量に変換する。
• 相関係数は、双対空間上の期待値および部分符号における語の重みのコサイン変換を用いて計算される。
• 周辺分布は、マトロイドのランク関数の構造を活用して射影演算子を用いて部分空間へと投影することで導出される。
• 二部グラフの一方の部に高々2つの頂点がある場合に、そのトゥッテ多項式を多項式時間で計算するアルゴリズムを構築し、確率の効率的計算を可能にする。
• 測定する量子ビット数が$$|m| = O(\log n)$$の小さい場合、多項式個の条件付き分布の均等平均を用いることで、正確な古典的サンプリングが達成される。

実験結果

リサーチクエスチョン

• RQ1 可換量子回路の出力確率分布が、いつ古典的に効率的にシミュレート可能になるか？
• RQ2 回路の行列表現におけるどの組合せ的構造が、その出力分布のシミュレータビリティを決定するか？
• RQ3 このような量子回路における相関係数は、基礎となるマトロイド不変量とどのように関係するか？
• RQ4 どの条件下で、量子ビットの部分集合に対する周辺分布が依然として効率的にシミュレート可能になるか？
• RQ5 回路に関連する二進マトロイドの構造を活用することで、シミュレーションの複雑さを低減できるか？

主な発見

• IQP回路の確率分布は、その回路行列に関連する二進マトロイドによって完全に決定され、結果は対応する線形符号における語の重みに関連している。
• 相関係数は、語の重みのコサイン関数を含む期待値として計算可能であり、マトロイドに低ランク構造がある場合には閉形式の式が導出可能である。
• 測定する量子ビット数が$$O(\log n)$$である場合、多項式個の条件付き分布の平均を取ることで、周辺分布を多項式時間で正確に古典的にシミュレート可能である。
• シミュレーションの効率性は、一方の部がサイズ$$\leq 2$$である制限付きの二部グラフのトゥッテ多項式を計算できる能力に依存しており、これには多項式時間アルゴリズムが存在する。
• 本論文は、安定化子回路の古典的シミュレーションと、Vertiganによる二進マトロイドのトゥッテ多項式計算アルゴリズムとの直接的なリンクを確立している。
• これらの結果は、基礎となるマトロイド構造が十分に単純な場合でさえ、回路が非自明であっても、このような回路からのサンプリングにおける量子優位性が失われる可能性を示唆している。