[論文レビュー] QuDot Nets: Quantum Computers and Bayesian Networks

Perry Sakkaris|arXiv (Cornell University)|Jul 26, 2016

Bayesian Modeling and Causal Inference被引用数 3

ひとこと要約

この論文は、ベイジアンネットワークを用いて量子計算をモデル化するグラフ理論的フレームワークであるQuDot Netsを紹介する。量子ビット状態をノードとして、量子ゲートをエッジ重み変換として表現する。単一キュービットゲートおよび測定に対して線形スケーリングを達成し、量子フーリエ変換の効率的シミュレーションを示唆しており、同調的ゲートにおける経路爆発が制御可能であれば、古典的実装による量子計算の道筋が示唆される。

ABSTRACT

We present a new implementation of quantum computation that treats quantum computers as a special type of Bayesian Network called a QuDot Net. QuDot Nets allow for the efficient representation of some qubit systems. Single qubit quantum gates can be implemented as edge transformations on QuDot Nets. The X, H, R(k), M and SWAP gates are discussed in detail and results show linear scaling as the number of qubits are increased. We show that measurement and semi-quantum control gates can be efficiently implemented using QuDot Nets and present results from a QuDot Net implementation of the terminal Quantum Fourier Transform. We show how QuDot Nets can implement coherent control gates using multi-digraphs by labelling parallel edges. Lastly, we discuss implications to quantum foundations if a classical implementation of quantum computation is realized.

研究の動機と目的

• 振幅ベクトル表現の指数的リソースコストを回避する古典的でグラフベースの量子計算表現の開発。
• 有向重み付き多重有向グラフ上でエッジ重み変換を用いることで、単一キュービットゲートおよび測定を線形時間で実装できることの実証。
• 同調的2キュービット制御ゲートが、このフレームワーク内で効率的に表現・計算可能かどうかの探求。特に、指数的経路増加という主な課題に言及。
• 量子計算が古典的ハードウェア上で効率的にシミュレート可能である場合の基礎的意味、特にBPP = BQPおよびアインシュタインの「神はサイコロを振らない」という見解との関連を調査。

提案手法

• nキュービット状態を、ノードが|0⟩および|1⟩状態を表し、エッジが複素振幅を伴うテンソル積を表す有向非巡回重み付き多重有向グラフ（QuDot Net）として表現する。
• 単一キュービットゲート（X, H, R(k), M, SWAP）をエッジ重みの変換として実装し、行列演算のO(2^n × 2^n)ではなく線形時間でのゲート適用を可能にする。
• 測定を、グラフ内を通過するすべての可能な経路の走査としてモデル化し、経路に沿ったエッジ重みの積が対応する計算基底状態の振幅を与える。
• 同調的2キュービット制御ゲートの表現を可能にするために、ラベル付き並行エッジ（多重有向グラフ構造）を用い、エンタングルメントおよびユニタリ進化の表現を可能にする。
• 量子フーリエ変換のシミュレーションにフレームワークを適用し、複数のテスト状態において理論的期待と一貫した結果を得た。
• エンタングルメントをグラフ彩色問題として分析し、計算複雑性の指数的増加を制御するための経路マージの可能性を検討。

実験結果

リサーチクエスチョン

• RQ1 ベイジアンネットワークに基づくグラフ理論的モデルを用いて、古典的ハードウェア上で量子計算を効率的にシミュレートできるか？
• RQ2 NP完全なグラフ問題の既知の技術を用いて、QuDot Netsにおける計算経路の指数的増加を制御または近似できるか？
• RQ3 QuDot Netフレームワークが、BQPの古典的実装を可能にし、BPP = BQPを示唆し、アインシュタインの「量子力学は根本的に決定論的である」という見解を支持するか？
• RQ4 同調的2キュービット制御ゲートが、エッジ数の指数的増加なしに、QuDot Netsで効率的に表現・計算可能か？
• RQ5 このフレームワークが、量子確率的性質が本質的か、それとも古典的確率的計算に還元可能かという基礎的問いに新たな洞察を提供できるか？

主な発見

• QuDot Netsは、標準の振幅ベクトル表現が要請するO(2^n)リソースと比較して、O(n)のノードおよびエッジでnキュービット状態を表現し、線形スケーリングを達成する。
• 単一キュービットゲート（X, H, R(k), M, SWAP）はエッジ重み変換により実装され、行列乗算ではなく線形時間での計算が可能になる。
• 量子フーリエ変換はQuDot Netsを用いて効果的にシミュレートされ、測定確率が理論的予測と一致した（例：|qft12⟩では4つの結果がそれぞれ約0.25の確率で観測された）。
• 測定結果は、グラフ内を通過するすべての可能な経路に対応し、振幅積が量子力学的確率と一致しており、標準量子力学と整合性があることが確認された。
• 同調的制御ゲートは、ラベル付き並行エッジを備えた多重有向グラフを必要とするが、指数的経路増加は依然として課題であり、経路マージの効率性は未解決のままである。
• 経路爆発が有界誤差確率的多項式時間内に制御可能であれば、BPP = BQPが支持され、量子確率的性質が決定論的化可能であり、アインシュタインの「自然はサイコロを振らない」という信念が裏付けられる。