[論文レビュー] Normalizer circuits and a Gottesman-Knill theorem for infinite-dimensional systems
この論文は、Gottesman-Knill定理を無限次元量子系へと拡張し、形式 $\mathbb{Z}^a \times \mathbb{T}^b \times \mathbb{Z}_{d_1} \times \cdots \times \mathbb{Z}_{d_n}$ の群上の正規化回路を導入することで、連続変数と離散変数を併せ持つ系を扱う。このような回路は、群の自己同型と二次関数の正規形に基づく一般化された安定化子形式を用いて、古典的かつ効率的にシミュレート可能であり、安定化子群が非可算または非コンパクトであっても同様に成立する。
$ extit{Normalizer circuits}$ [1,2] are generalized Clifford circuits that act on arbitrary finite-dimensional systems $\mathcal{H}_{d_1}\otimes ... \otimes \mathcal{H}_{d_n}$ with a standard basis labeled by the elements of a finite Abelian group $G=\mathbb{Z}_{d_1} imes... imes \mathbb{Z}_{d_n}$. Normalizer gates implement operations associated with the group $G$ and can be of three types: quantum Fourier transforms, group automorphism gates and quadratic phase gates. In this work, we extend the normalizer formalism [1,2] to infinite dimensions, by allowing normalizer gates to act on systems of the form $\mathcal{H}_\mathbb{Z}^{\otimes a}$: each factor $\mathcal{H}_\mathbb{Z}$ has a standard basis labeled by $ extit{integers}$ $\mathbb{Z}$, and a Fourier basis labeled by $ extit{angles}$, elements of the circle group $\mathbb{T}$. Normalizer circuits become hybrid quantum circuits acting both on continuous- and discrete-variable systems. We show that infinite-dimensional normalizer circuits can be efficiently simulated classically with a generalized $ extit{stabilizer formalism}$ for Hilbert spaces associated with groups of the form $\mathbb{Z}^a imes \mathbb{T}^b imes \mathbb{Z}_{d_1} imes... imes \mathbb{Z}_{d_n}$. We develop new techniques to track stabilizer-groups based on normal forms for group automorphisms and quadratic functions. We use our normal forms to reduce the problem of simulating normalizer circuits to that of finding general solutions of systems of mixed real-integer linear equations [3] and exploit this fact to devise a robust simulation algorithm: the latter remains efficient even in pathological cases where stabilizer groups become infinite, uncountable and non-compact. The techniques developed in this paper might find applications in the study of fault-tolerant quantum computation with superconducting qubits [4,5].
研究の動機と目的
- 有限アーベル群を超えて正規化回路を拡張することで、Gottesman-Knill定理を無限次元量子系へ一般化すること。
- 連続変数および離散変数を併せ持つハイブリッド系に作用する正規化回路の古典的シミュレーションフレームワークを構築すること。
- 無限次元正規化回路において生じる、無限大、非可算、または非コンパクトな安定化子群のシミュレーションの課題に対処すること。
- 安定化子群のサポートの計算およびそのサンプリングに効率的なアルゴリズムを提供すること、特に病理的ケースにおいても同様に有効であること。
提案手法
- 形式 $G = \mathbb{Z}^a \times \mathbb{T}^b \times \mathbb{Z}_{d_1} \times \cdots \times \mathbb{Z}_{d_n}$ の無限群上の正規化回路を形式化し、量子フーリエ変換、群自己同型ゲート、二次位相ゲートを統合する。
- 群の構造 $\mathbb{Z}^a \times \mathbb{T}^b \times \mathbb{Z}_{d_1} \times \cdots \times \mathbb{Z}_{d_n}$ を根拠とする一般化された安定化子形式を導入し、量子状態の進化を追跡する。
- これらの群上で群自己同型および二次関数の正規形を構築し、安定化子群の効率的表現と操作を可能にする。
- シミュレーション問題を混合実数-整数線形方程式系の解法に還元し、行列表現に対してスミス標準形を活用する。
- コンパクト部分群および自由部分群の生成子を用いて、安定化子群の $(\Delta, \varepsilon)$-ネットを効率的に構築し、一様かつ衝突のないサンプリングを実現する。
- 群同型の行列表現および商群の構造を用いて、安定化子状態のサポートとその関連分布の計算を行う。
実験結果
リサーチクエスチョン
- RQ1形式 $\mathbb{Z}^a \times \mathbb{T}^b \times \mathbb{Z}_{d_1} \times \cdots \times \mathbb{Z}_{d_n}$ に付随する無限次元ヒルベルト空間に作用する正規化回路は、古典的に効率的にシミュレート可能か？
- RQ2無限次元設定において安定化子群が非可算または非コンパクトになる場合、その表現と追跡はどのように可能か？
- RQ3連続変数と離散変数を併せ持つ系において、安定化子状態のサポートを計算するにはどのような技術が必要か？
- RQ4安定化子群が無限大または非コンパクトである場合、その安定化子状態からの効率的サンプリングはどのように達成できるか？
- RQ5自己同型および二次関数の正規形が、このような回路の古典的シミュレーションを可能にする役割は何か？
主な発見
- 形式 $\mathbb{Z}^a \times \mathbb{T}^b \times \mathbb{Z}_{d_1} \times \cdots \times \mathbb{Z}_{d_n}$ の無限群上の正規化回路は、多項式時間で古典的にシミュレート可能である。
- 正規形と混合線形方程式の解法を用いることで、安定化子群が非可算または非コンパクトであっても、シミュレーションアルゴリズムは効率的である。
- 安定化子状態のサポートは、群 $G$ の部分群 $\mathbb{H}$ と $x_0 + \mathbb{H}$ のコセットとして計算可能であり、このサポートはアルゴリズムによって効率的に計算可能である。
- 安定化子群のコンパクト部および自由部の生成子のランダムな組み合わせを生成することで、安定化子状態のサポートからの効率的サンプリングが実現される。
- 安定化子群の $(\Delta, \varepsilon)$-ネットの構築は効率的であり、$O(\textnormal{poly}(m,\alpha,\beta,\log N_i,\log\|\mathcal{E}\|_{\mathbf{b}},\log\tfrac{1}{\varepsilon},\log\Delta_i))$ ビットのメモリを用いる。
- 問題を混合実数-整数線形方程式系の解法に還元することで、ロバストなシミュレーションが可能となり、スミス標準形分解により解が得られる。
より良い研究を、今すぐ始めましょう
論文の読解から最終レビューまで、研究時間を劇的に削減しましょう。
クレジットカード登録不要
このレビューはAIが作成し、人間の編集者が確認しました。