[論文レビュー] QuanTree and QuanLin, Two Special Purpose Quantum Compilers

Robert R. Tucci|ArXiv.org|Dec 23, 2007

Quantum Computing Algorithms and Architecture参考文献 4被引用数 4

ひとこと要約

本稿では、量子ウォークベースのアルゴリズム（例：Farhi-Goldstone-GutmannのNAND式評価器）に適した近似量子回路に、量子進化演算子をコンパイルする2つの専用量子コンパイラ、QuanTreeとQuanLinを紹介する。QuanTreeはバランスドバイナリツリー構造のハミルトニアンに基づく演算子をコンパイルし、QuanLinはライン（オープンストリング）構造のハミルトニアンに基づく演算子をコンパイルする。両者とも、Frobeniusノルムにおける誤差境界を伴う3次スズキ＝トロッター近似を用いており、量子ウォークアルゴリズムのための効率的な回路合成を可能にしている。

ABSTRACT

This paper introduces QuanTree v1.1 and QuanLin v1.1, two Java applications available for free. (Source code included in the distribution.) Each application compiles a different type of input quantum evolution operator. The applications output a quantum circuit that is approximately equal to the input evolution operator. QuanTree compiles an input evolution operator whose Hamiltonian is proportional to the incidence matrix of a balanced, binary tree graph. QuanLin compiles an input evolution operator whose Hamiltonian is proportional to the incidence matrix of a line (open string) graph. Both applications also output an error, defined as the distance in the Frobenius norm between the input evolution operator and the output quantum circuit.

研究の動機と目的

• 量子ウォークアルゴリズムに現れる特定の量子進化演算子のための専用量子コンパイラを開発すること。
• バランスドバイナリツリーおよびライングラフの接続行列から導かれるユニタリ演算子の効率的コンパイルを可能にすること。
• 再現可能性および量子アルゴリズムパイプラインへの統合を可能にするために、ソースコードを含むオープンソースのJavaツールを提供すること。
• 入力ユニタリ演算子とコンパイル済み回路との間のFrobeniusノルムを用いて、コンパイルの精度を定量化すること。
• 将来的に、Farhi-Goldstone-GutmannのNAND式評価など、より大規模な量子アルゴリズムへの統合を支援すること。

提案手法

• QuanTreeは、$ U = e^{iH_{\text{tree}}} $ の形の進化演算子をコンパイルする。ここで $ H_{\text{tree}} $ は、$ N_B $ ビットのバランスドバイナリツリー構造グラフの接続行列に比例する。
• QuanLinは、$ U = e^{iH_{\text{line}}} $ をコンパイルする。ここで $ H_{\text{line}} $ は、ライングラフ（グレイコード接続状態）の接続行列に比例する。
• 両コンパイラとも、$ N_T=1 $ の場合に3次スズキ＝トロッター近似（$ r=3 $）を用い、誤差はQuanTreeでは $ \mathcal{O}(g^4 / N_T^3) $、QuanLinでは $ N_T > 1 $ の場合に $ \mathcal{O}(g^{r+1} / N_T^r) $ に比例する。
• コンパイラは3つの出力ファイルを生成する：誤差メトリクスが記録されたログファイル、記号的表現での量子回路の説明が記された英語ファイル、視覚的表現用の画像ファイル。
• コンパイラは、正確な対角化により目標ユニタリ $ U = e^{iH} $ を計算し、その後に基本操作列（SEOs）の積を計算してコンパイル済み回路を検証し、Frobeniusノルム誤差を算出する。
• コントロールパネルにより、$ N_B $、結合定数 $ g $、トロット数 $ N_T $ を設定可能であり、出力には基本操作数と誤差が含まれる。

実験結果

リサーチクエスチョン

• RQ1 木構造グラフから導かれる量子進化演算子を、近似的に最適に近い量子回路に効率的にコンパイルする方法は何か？
• RQ2 3次スズキ＝トロッター分解を用いた場合、木構造およびライングラフハミルトニアンの近似量子回路で達成可能な精度はどの程度か？
• RQ3 構造的ハミルトニアンに特化したコンパイラは、一般向け量子コンパイラに比べ、回路の深さやゲート数の点で優位性を示せるか？
• RQ4 トロット数 $ N_T $ を増加させると、コンパイル済み量子回路における誤差スケーリングにどのような影響が生じるか？
• RQ5 木構造グラフ表現におけるダミー・ノード（dud node）の役割は何か？また、ヒルベルト空間次元および回路合成にどのように影響を与えるか？

主な発見

• QuanTreeは、$ N_B \in \{2,3,4,\ldots\} $ ビットのバランスドバイナリツリーに対して、$ N_T $ 個のトロットを用いた場合に $ \mathcal{O}(g^4 / N_T^3) $ の誤差を有する進化演算子 $ e^{iH_{\text{tree}}} $ を正常にコンパイルした。
• QuanLinは、グレイコード接続状態のライングラフ（Gray code-connected states）に対して $ e^{iH_{\text{line}}} $ をコンパイルし、スズキ近似の次数 $ r $ に対して $ \mathcal{O}(g^{r+1} / N_T^r) $ の誤差を達成した。$ r=2,4,6,\ldots $ の場合を想定している。
• 正確なユニタリとコンパイル済み回路との間のFrobeniusノルム誤差はログファイルに計算され、近似の忠実度を定量的に評価する指標として提供されている。
• $ N_T = 1 $ の場合、QuanTreeは参考文献[4]で導出された3次近似を用い、誤差が $ \mathcal{O}(g^4) $ となる。
• コンパイラは、単一クオンタムゲートおよび制御ゲートを用いた記述で構成される人間が読める英語ファイルと画像ファイルを生成しており、検証および量子ソフトウェアスタックへの統合を可能にしている。
• ソースコードは公開されており、研究者が新たなグラフ構造や高次近似への拡張を容易に行える。