[論文レビュー] A framework for exact synthesis

Vadym Kliuchnikov, Jon Yard|arXiv (Cornell University)|Apr 16, 2015

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

ひとこと要約

本稿は、Clifford+T、Vベース、anyonic量子計算モデルを含む多様なゲートセットにおいて、1キュービット量子ユニタリの正確な合成のための統一的数学的枠組みを提示する。数論および数体上のクォータニオン代数を活用することで、限定的なゲート数で実装可能なユニタリを体系的に特徴づけ、多項式時間の正確な合成を可能にし、漸近的に最適な量子回路近似アルゴリズムの基盤を提供する。

ABSTRACT

Exact synthesis is a tool used in algorithms for approximating an arbitrary qubit unitary with a sequence of quantum gates from some finite set. These approximation algorithms find asymptotically optimal approximations in probabilistic polynomial time, in some cases even finding the optimal solution in probabilistic polynomial time given access to an oracle for factoring integers. In this paper, we present a common mathematical structure underlying all results related to the exact synthesis of qubit unitaries known to date, including Clifford+T, Clifford-cyclotomic and V-basis gate sets, as well as gates sets induced by the braiding of Fibonacci anyons in topological quantum computing. The framework presented here also provides a means to answer questions related to the exact synthesis of unitaries for wide classes of other gate sets, such as Clifford+T+V and SU(2) level k anyons.

研究の動機と目的

• Clifford+T、Vベース、anyonicモデルを含む多様な量子ゲートセットにおける正確な合成の背後にある数学的構造を統一すること。
• 与えられたゲートセットから限定的な数のゲートで正確に実装可能なすべてのユニタリの一般的特徴づけを提供すること。
• クォータニオン代数、最大順序、および素イデアルの集合によって記述される任意のゲートセットに対して、多項式時間の正確な合成アルゴリズムを可能にすること。
• 特定の環、例えば $\mathbb{Z}[\frac{1}{2}, \zeta_n]$ 上ですべてのユニタリを合成するために必要な最小ゲートセットを同定する根本的問いに答えること。
• 正確な合成と数論的技術を組み合わせることで、漸近的に最適な近似アルゴリズムの開発の基盤を築くこと。

提案手法

• ゲートセットを数体 $F$ 上のクォータニオン代数 $\left(\frac{a,b}{F}\right)$ としてモデル化し、最大順序 $\mathcal{M}$ および素イデアルの有限集合 $S$ を用いる。
• 正確に合成可能なユニタリを、$x_j \in R_F$ およびそのノルムイデアルが $S$ のイデアルに分解する条件を満たす $U = \frac{1}{\sqrt{x_1^2 - a x_2^2 - b x_3^2 + a b x_4^2}}(x_1 I + \sqrt{a} Z x_2 - \sqrt{b} Y x_3 + \sqrt{a b} X x_4)$ の形で正確に特徴づける。
• 二重イデアルおよび最大順序の単数群を用いて、合成可能なユニタリの構造を記述する。
• 正確な合成問題を、数体 $F$ の整数環上で実行する、イデアル因子分解や単数群の計算などの数論的計算に還元する。
• 計算代数的数論のアルゴリズムを用いて、ゲートセット上で正確に表現可能であることが知られている任意のユニタリの多項式時間コンパイルを可能にする。
• Clifford+T、Vベース、Fibonacci anyon ゲートセットに関する先行研究を一般化・統一し、これらすべてが同じ代数的構造から生じることを示している。

実験結果

リサーチクエスチョン

• RQ1 Clifford+T、Vベース、anyonicモデルのような多様な量子ゲートセットにおける正確な合成の背後にある共通の数学的構造は何か？
• RQ2 与えられた有限ゲートセットから限定的な数のゲートで正確に実装可能なユニタリを体系的に特徴づけるにはどうすればよいか？
• RQ3 Clifford-サイクロトミックゲートセットにどの追加ユニタリを追加すれば、環 $\mathbb{Z}[\frac{1}{2}, \zeta_n]$ 上ですべてのユニタリの正確な合成が可能になるか？
• RQ4 一般のゲートセットにおける正確な合成問題は、イデアル因子分解や単数群の計算などの数体上の数論的計算に還元可能か？
• RQ5 正確な合成と数論的近似を組み合わせることで、漸近的に最適な量子回路近似を可能にする一般のアルゴリズム的枠組みは存在するか？

主な発見

• 本フレームワークは、数体上のクォータニオン代数に基づく同一の代数的構造によって、Clifford+T、Vベース、Fibonacci anyon およびその他のゲートセットにおける正確な合成を統一する。
• 正確に合成可能なユニタリの完全な特徴づけが得られ、それらは数体 $F$ の整数環における指定された有限個の素イデアル $S$ に分解するノルムイデアルを持つユニタリであると特定される。
• ユニタリを実装するために必要なゲート数は、$S$ の素数におけるノルムイデアルの付値の和によって上限が与えられ、ゲート数の推定が可能になる。
• クォータニオン代数、最大順序、および素イデアルの集合によって定義される任意のゲートセットに対して、多項式時間の正確な合成アルゴリズムを提供する。
• 文献[12]の定理5.1の別証明を提供し、Clifford-サイクロトミックゲートセットにおける合成可能なゲートを特徴づける。
• 本フレームワークは、重要な未解決問題を特定している：Vベースにおける $G^*$ のような部分集合に制限されたゲートセットにおいて、ノイズのある近似からユニタリを符号化する2進文字列を回復する多項式時間アルゴリズムが存在するか？