論文の概要: Asymptotic Gate Count Bounds for Ancilla-Free Single-Qubit Synthesis with Arithmetic Gates
- arxiv url: http://arxiv.org/abs/2510.07627v1
- Date: Wed, 08 Oct 2025 23:48:48 GMT
- ステータス: 翻訳完了
- システム内更新日: 2025-10-10 17:54:14.780135
- Title: Asymptotic Gate Count Bounds for Ancilla-Free Single-Qubit Synthesis with Arithmetic Gates
- Title(参考訳): 算数ゲートを用いたアンシラフリー単一ビット合成のための漸近ゲート数境界
- Authors: Kaoru Sano, Hayata Morisaki, Seiseki Akibue,
- Abstract要約: 単一キュービットユニタリのアンシラフリー近似について、Clifford+$G$上のゲート列によるUin rm SU(2)$について検討する。
近似誤差を最大$varepsilon$で達成するために必要となる最小$G$-countの3つの境界を証明します。
- 参考スコア(独自算出の注目度): 0.0
- License: http://creativecommons.org/licenses/by-nc-sa/4.0/
- Abstract: We study ancilla-free approximation of single-qubit unitaries $U\in {\rm SU}(2)$ by gate sequences over Clifford+$G$, where $G\in\{T,V\}$ or their generalization. Let $p$ denote the characteristic factor of the gate set (e.g., $p=2$ for $G=T$ and $p=5$ for $G=V$). We prove three asymptotic bounds on the minimum $G$-count required to achieve approximation error at most $\varepsilon$. First, for Haar-almost every $U$, we show that $3\log_{p}(1/\varepsilon)$ $G$-count is both necessary and sufficient; moreover, probabilistic synthesis improves the leading constant to $3/2$. Second, for unitaries whose ratio of matrix elements lies in a specified number field, $4\log_p(1/\varepsilon)$ $G$-count is necessary. Again, the leading constant can be improved to $2$ by probabilistic synthesis. Third, there exist unitaries for which the $G$-count per $\log_{p}(1/\varepsilon)$ fails to converge as $\varepsilon\to 0^+$. These results partially resolve a generalized form of the Ross--Selinger conjecture.
- Abstract(参考訳): 単一量子ユニタリのアンシラフリー近似について、Clifford+$G$上のゲート列による$U\in {\rm SU}(2)$, ここでは$G\in\{T,V\}$,あるいはそれらの一般化について検討する。
ゲート集合の特徴係数を$p$とする(例えば、$G=T$の$p=2$と$G=V$の$p=5$)。
近似誤差を最大$\varepsilon$で達成するために必要となる最小$G$カウントの漸近境界を3つ証明する。
まず、Haar-almost every $U$の場合、$3\log_{p}(1/\varepsilon)$$G$-countは必要かつ十分である。
第二に、行列要素の比が指定された数体にあるユニタリに対しては、$4\log_p(1/\varepsilon)$$G$-countが必要である。
再び、先行定数は確率論的合成によって2ドルに改善することができる。
第三に、$G$-count per $\log_{p}(1/\varepsilon)$が$\varepsilon\to 0^+$として収束しないユニタリが存在する。
これらの結果は、ロス=セリンガー予想の一般化形式を部分的に解決する。
関連論文リスト
- Quantum state preparation with optimal T-count [2.1386090295255333]
任意の$n$-qubit量子状態を誤差$varepsilon$に近似するために、Tゲートがいくつ必要かを示す。
また、これは任意の対角線$n$-qubitユニタリをエラー$varepsilon$に実装するための最適なTカウントであることを示す。
論文 参考訳(メタデータ) (2024-11-07T15:29:33Z) - Low-degree learning and the metric entropy of polynomials [44.99833362998488]
少なくとも$Omega(sqrtvarepsilon)2dlog n leq log mathsfM(mathscrF_n,d,|cdot|_L,varepsilon)は2辺の推定値$c(1-varepsilon)2dlogを満たす。
論文 参考訳(メタデータ) (2022-03-17T23:52:08Z) - 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) - Learning low-degree functions from a logarithmic number of random
queries [77.34726150561087]
任意の整数 $ninmathbbN$, $din1,ldots,n$ および任意の $varepsilon,deltain(0,1)$ に対して、有界関数 $f:-1,1nto[-1,1]$ に対して、少なくとも$d$ の次数を学ぶことができる。
論文 参考訳(メタデータ) (2021-09-21T13:19:04Z) - An Optimal Separation of Randomized and Quantum Query Complexity [67.19751155411075]
すべての決定木に対して、与えられた順序 $ellsqrtbinomdell (1+log n)ell-1,$ sum to at least $cellsqrtbinomdell (1+log n)ell-1,$ where $n$ is the number of variables, $d$ is the tree depth, $c>0$ is a absolute constant。
論文 参考訳(メタデータ) (2020-08-24T06:50:57Z) - 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)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。