論文の概要: Exact Synthesis of Multiqubit Clifford-Cyclotomic Circuits
- arxiv url: http://arxiv.org/abs/2311.07741v2
- Date: Fri, 12 Apr 2024 19:52:59 GMT
- ステータス: 処理完了
- システム内更新日: 2024-04-16 23:27:27.440810
- Title: Exact Synthesis of Multiqubit Clifford-Cyclotomic Circuits
- Title(参考訳): 多ビットクリフォード-シクロトミック回路のエクササイズ合成
- Authors: Matthew Amy, Andrew N. Glaudell, Shaun Kelso, William Maxwell, Samuel S. Mendelson, Neil J. Ross,
- Abstract要約: n$ が 2 のパワーであるとき、多ビットユニタリ行列 $U$ は $mathcalG_n$ 上の回路で正確に表現できることを示す。
さらに、$log(n)-2$ ancillasは常に$U$の回路を構築するのに十分であることを示す。
- 参考スコア(独自算出の注目度): 0.8411424745913132
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: Let $n\geq 8$ be divisible by 4. The Clifford-cyclotomic gate set $\mathcal{G}_n$ is the universal gate set obtained by extending the Clifford gates with the $z$-rotation $T_n = \mathrm{diag}(1,\zeta_n)$, where $\zeta_n$ is a primitive $n$-th root of unity. In this note, we show that, when $n$ is a power of 2, a multiqubit unitary matrix $U$ can be exactly represented by a circuit over $\mathcal{G}_n$ if and only if the entries of $U$ belong to the ring $\mathbb{Z}[1/2,\zeta_n]$. We moreover show that $\log(n)-2$ ancillas are always sufficient to construct a circuit for $U$. Our results generalize prior work to an infinite family of gate sets and show that the limitations that apply to single-qubit unitaries, for which the correspondence between Clifford-cyclotomic operators and matrices over $\mathbb{Z}[1/2,\zeta_n]$ fails for all but finitely many values of $n$, can be overcome through the use of ancillas.
- Abstract(参考訳): $n\geq 8$ を 4 で割り切れる。
クリフォード・シクロトミックゲート集合 $\mathcal{G}_n$ は、クリフォードゲートを$z$-回転$T_n = \mathrm{diag}(1,\zeta_n)$で拡張することによって得られる普遍ゲート集合である。
ここでは、$n$ が 2 のパワーであるとき、マルチキュービットのユニタリ行列 $U$ が $\mathcal{G}_n$ 上の回路で正確に表現できることと、$U$ の成分が環 $\mathbb{Z}[1/2,\zeta_n]$ に属することを示す。
さらに、$\log(n)-2$ ancillasは常に$U$の回路を構築するのに十分であることを示す。
我々の結果は、先行研究を無限個のゲート集合の族に一般化し、クリフォード・シクロトミック作用素と$\mathbb{Z}[1/2,\zeta_n]$上の行列との対応が、すべての値に対して失敗するが、有限個の$n$の値は、アンシラの使用によって克服できることを証明した。
関連論文リスト
- The Communication Complexity of Approximating Matrix Rank [50.6867896228563]
この問題は通信複雑性のランダム化を$Omega(frac1kcdot n2log|mathbbF|)$とする。
アプリケーションとして、$k$パスを持つ任意のストリーミングアルゴリズムに対して、$Omega(frac1kcdot n2log|mathbbF|)$スペースローバウンドを得る。
論文 参考訳(メタデータ) (2024-10-26T06:21:42Z) - LevAttention: Time, Space, and Streaming Efficient Algorithm for Heavy Attentions [54.54897832889028]
任意の$K$に対して、$n$とは独立に「普遍集合」$Uサブセット[n]$が存在し、任意の$Q$と任意の行$i$に対して、大きな注目スコアが$A_i,j$ in row $i$ of $A$は全て$jin U$を持つことを示す。
我々は、視覚変換器のスキームの利点を実証的に示し、トレーニング中に我々の普遍的なセットを使用する新しいモデルのトレーニング方法を示した。
論文 参考訳(メタデータ) (2024-10-07T19:47:13Z) - Exact Synthesis of Multiqutrit Clifford-Cyclotomic Circuits [0.0]
3ntimes 3n$ のユニタリ行列 $U$ はクリフォード・シクロトミックゲートの次数$3k$ 上の$n$-量子回路で表せることを証明している。
論文 参考訳(メタデータ) (2024-05-13T19:27:48Z) - Synthesis and Arithmetic of Single Qutrit Circuits [0.9208007322096532]
本稿では,Clifford+$mathcalD$ゲート集合上の単語からなる単一量子回路について検討する。
我々は、$mathbbZ[xi, frac1chi]$のエントリを持つクォート単位ベクトルのクラスを$z$で特徴づける。
論文 参考訳(メタデータ) (2023-11-15T04:50:41Z) - On character table of Clifford groups [0.0]
クリフォード群 $mathcalC_n$ for $n=1,2,3$ の文字表を構築する。
応用として、行列表現のテンソル積を効率的に分解することができる。
副生成物として、有限シンプレクティック群 $Sp(2n,2)$ を生成元と関係性の観点から提示する。
論文 参考訳(メタデータ) (2023-09-26T11:29:35Z) - The Approximate Degree of DNF and CNF Formulas [95.94432031144716]
すべての$delta>0に対して、$はCNFと近似次数$Omega(n1-delta)の式を構築し、基本的には$nの自明な上限に一致する。
すべての$delta>0$に対して、これらのモデルは$Omega(n1-delta)$、$Omega(n/4kk2)1-delta$、$Omega(n/4kk2)1-delta$が必要です。
論文 参考訳(メタデータ) (2022-09-04T10:01:39Z) - Algebraic Aspects of Boundaries in the Kitaev Quantum Double Model [77.34726150561087]
我々は、Ksubseteq G$ の部分群に基づく境界の体系的な扱いを、バルクの Kokuev 量子倍 D(G)$ モデルで提供する。
境界サイトは$*$-subalgebra $Xisubseteq D(G)$の表現であり、その構造を強い$*$-準ホップ代数として説明する。
治療の応用として、水平方向の$K=G$と垂直方向の$K=e$に基づく境界付きパッチを調査し、量子コンピュータでどのように使用できるかを示す。
論文 参考訳(メタデータ) (2022-08-12T15:05:07Z) - Low-Rank Approximation with $1/\epsilon^{1/3}$ Matrix-Vector Products [58.05771390012827]
我々は、任意のSchatten-$p$ノルムの下で、低ランク近似のためのクリロフ部分空間に基づく反復法について研究する。
我々の主な成果は、$tildeO(k/sqrtepsilon)$ matrix-vector productのみを使用するアルゴリズムである。
論文 参考訳(メタデータ) (2022-02-10T16:10:41Z) - An Algorithm for Reversible Logic Circuit Synthesis Based on Tensor Decomposition [0.0]
可逆論理合成のためのアルゴリズムを提案する。
写像は階数 ($2n-2$) テンソルのテンソル積と 2 倍の恒等行列のテンソル積と書くことができる。
論文 参考訳(メタデータ) (2021-07-09T08:18:53Z) - On the Complexity of Minimizing Convex Finite Sums Without Using the
Indices of the Individual Functions [62.01594253618911]
有限和の有限ノイズ構造を利用して、大域オラクルモデルの下での一致する$O(n2)$-upper境界を導出する。
同様のアプローチを踏襲したSVRGの新規な適応法を提案し、これはオラクルと互換性があり、$tildeO(n2+nsqrtL/mu)log (1/epsilon)$と$O(nsqrtL/epsilon)$, for $mu>0$と$mu=0$の複雑さ境界を実現する。
論文 参考訳(メタデータ) (2020-02-09T03:39:46Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。