論文の概要: Optimal T-Count for Block Encodings of Fermionic and Spin Hamiltonians
- arxiv url: http://arxiv.org/abs/2609.11153v1
- Date: Thu, 10 Sep 2026 07:01:08 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-09-11 23:53:35.238034
- Title: Optimal T-Count for Block Encodings of Fermionic and Spin Hamiltonians
- Title(参考訳): フェルミオンおよびスピンハミルトニアンのブロック符号化のための最適T-Count
- Authors: Jiaxin Ma, Kevin J. Joven, Yuan Liu,
- Abstract要約: 構成されたフェルミオンおよびスピンハミルトニアンのブロック符号化を単位クリフォード$+T$モデルで構築するコストについて検討する。
我々の主要な技術ツールは、アンシラ圧縮の定理である:$n$-qubit演算子を$a$クリーンアンシラで、少なくとも$s$T$ゲートで圧縮して、少なくとも$mina,n+2s$アンシラで使用することができる。
- 参考スコア(独自算出の注目度): 4.914113120082008
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: We determine the non-Clifford $T$-gate cost of constructing block encodings of structured fermionic and spin Hamiltonians in a unitary Clifford$+T$ model, when arbitrarily many clean ancillas and unrestricted block-encoding subnormalization are allowed, but without mid-circuit measurements or classical feed-forward. Our main technical tool is an ancilla-compression theorem: any block encoding of an $n$-qubit operator with $a$ clean ancillas and at most $s$ $T$ gates can be compressed to use at most $\min\{a,n+2s\}$ ancillas, without increasing the absolute error or $T$-count. For general second-quantized Hamiltonians with bounded one- and two-body coefficients, at operator-norm block-encoding error $ε$, a volume-covering argument combined with circuit counting gives the worst-case lower bound $Ω(n^2\sqrt{\log(n^4/ε)})$, matching the existing upper bound at fixed precision. For the bond-dependent Kitaev honeycomb family on $n$ spins, we obtain independent lower bounds $Ω(n)$ from stabilizer nullity and $Ω(\log(1/ε))$ from one-qubit state preparation, established using different Hamiltonian instances. Together with an explicit LCU construction, they give the tight worst-case scaling $Θ(n+\log(1/ε))$. As an application, we evaluate the $T$-count of a Hamiltonian simulation circuit based on quantum singular value transformation, with each block-encoding query compiled separately. When phase synthesis and controlled queries add at most constant-factor overhead, the simulation $T$-count scales as the query count times the optimal $T$-count per query.
- Abstract(参考訳): 非クリフォード$T$-gateコストは、任意の数のクリーンアンシラと制限なしブロックエンコーディングのサブ正規化が許されるが、中間回路の測定や古典的なフィードフォワードなしで、一元的なクリフォード$+T$モデルで構造化されたフェルミオンおよびスピンハミルトニアンのブロックエンコーディングを構築するためのものである。
我々の主要な技術ツールは、アンシラ圧縮定理である:$n$-qubit演算子を$a$クリーンアンシラで、最大$s$T$ゲートを圧縮して、絶対誤差や$T$カウントを増大させることなく、最大$\min\{a,n+2s\}$アンシラで使用することができる。
有界な 1 と 2 体係数を持つ一般の二次量子化ハミルトニアンは、演算子-ノルムブロック符号化誤差 $ε$ において、回路カウントと組み合わせた体積被覆の議論は、最悪の場合の下界 $Ω(n^2\sqrt{\log(n^4/ε)})$ を与え、既存の上界を固定精度で整合させる。
n$スピン上の結合依存の北エブ・ハニカム族に対して、安定化子ヌルティから独立な下界$Ω(n)$と、異なるハミルトンインスタンスを用いて確立された1量子状態準備から$Ω(\log(1/ε))$を得る。
明示的なLCU構成と合わせて、厳密な最悪の場合のスケーリングは、$(n+\log(1/ε))$である。
応用として、量子特異値変換に基づくハミルトンシミュレーション回路の$T$-countを、各ブロックエンコードクエリを別々にコンパイルして評価する。
位相合成と制御されたクエリがほとんど一定要素のオーバーヘッドで加算されると、シミュレーションの$T$-countはクエリ毎の最適な$T$-countの倍にスケールする。
関連論文リスト
- Sharp Minimax Regret for Infinite-Memory Logistic Prediction [55.29259818039367]
Lag $j$はスケール$r_j$の予測に影響を与え、$n_T,j=T-j+1$の予測ラウンドに入る。
すべての要約可能なエンベロープに対して、局所化された混合は$cR_T(r)leq C_T(r)$を証明する。
指数関数やエンベロープの場合、有限サンプル条件の下では、トープリッツ・デサインの逆は$cR_T(r)geq c_T(r)$である。
論文 参考訳(メタデータ) (2026-08-27T01:31:46Z) - Faster quantum linear system solver beyond the condition number [50.84794327094274]
線形系の正規化解 $|xrangle$ を生成する2つの量子アルゴリズムを、条件数$=lVert A-1rVert$ に依存しない複雑性を持つ精度 $Ax=| b rangle$ に提示する。
フィルタベースのソルバは非常にシンプルで、実行時プレファクタが適しています。
論文 参考訳(メタデータ) (2026-07-08T17:49:40Z) - Low-ancilla block encodings via Hamiltonian simulation [10.872863127462717]
ブロック符号化は量子アルゴリズムにおける中心的なプリミティブである。
我々は、ハミルトンの進化を基礎となるハミルトニアンのブロック符号化に変換する単純な単一アンシラ構成を示す。
論文 参考訳(メタデータ) (2026-07-02T08:06:14Z) - Optimal Bounds, Barriers, and Extensions for Non-Hermitian Bivariate Quantum Signal Processing [0.0]
反エルミート的クエリ複雑性 $d_I = (betaI T + log/varepsilon)/loglog (1/varepsilon)$ は強固で、チェビシェフ係数、修正ベッセル関数、Lambert$W$逆変換によって確立される。
定数アクセス演算構成は、制限された領域上の固有の障壁$e-2T$を達成するが、完全なビットースへの拡張は未開である。
論文 参考訳(メタデータ) (2026-05-12T19:03:36Z) - Simulation of Non-Hermitian Hamiltonians with Bivariate Quantum Signal Processing [0.0]
H_mathrmeff = H_R + iH_I$, where $H_R$ is Hermitian and $H_I succeq 0$。
論文 参考訳(メタデータ) (2026-05-12T17:40:56Z) - On the complexity of quantum numerical integration: an angle-structure characterization [1.376408511310322]
量子振幅推定(QAE)による$[0,1]$の数値積分について検討し,振幅オラクルの構築コストに着目した。
格子関数クラス $mathcalG_n(d)$ の階層を導入し、角写像 $_g:0,1nto[0,]$ を最大$d$ の次数として定義する。
$d=1$の場合、これは$O(varepsilon-1log(1/varepsilon))$となり、古典的なモンテカルロを$geで改善する。
論文 参考訳(メタデータ) (2026-04-27T10:23:24Z) - Hardness of High-Dimensional Linear Classification [58.29089693778071]
我々は、最大半空間離散性問題に対する次元下界の新たな指数関数を確立する。
どちらも計算幾何学と機械学習の基本的問題であり、その正確で近似的な形式である。
論文 参考訳(メタデータ) (2026-03-19T15:53:41Z) - A lower bound on the space overhead of fault-tolerant quantum computation [51.723084600243716]
しきい値定理は、フォールトトレラント量子計算の理論における基本的な結果である。
振幅雑音を伴う耐故障性量子計算の最大長に対する指数的上限を証明した。
論文 参考訳(メタデータ) (2022-01-31T22:19:49Z) - 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) - Exponentially faster implementations of Select(H) for fermionic
Hamiltonians [0.0]
本稿では、乗算制御されたユニタリな$textSelect(H) equiv sum_ellを実装する量子回路を構築するためのフレームワークを提案する。
$textSelect(H)$は、いくつかの量子アルゴリズムの主要なサブルーチンの1つである。
論文 参考訳(メタデータ) (2020-04-08T18:00:04Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。