論文の概要: An Exactness Barrier for ZX-Calculus Optimization of Synthesized Clifford+T Circuits
- arxiv url: http://arxiv.org/abs/2608.22801v1
- Date: Mon, 24 Aug 2026 04:53:20 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-08-25 13:29:43.895163
- Title: An Exactness Barrier for ZX-Calculus Optimization of Synthesized Clifford+T Circuits
- Title（参考訳）: 合成クリフォード+T回路のZX-Calculus最適化のための実行障壁
- Abstract要約: ゲートと回路の最適化は通常別々に研究される。
両方の動作がひとつのバウンドから続くことを示す。
これは、ニアヌル最適化パイプラインのサイズを説明し、予測する。
- 参考スコア（独自算出の注目度）: 3.825239835665478
- License: http://creativecommons.org/licenses/by-nc-nd/4.0/
- Abstract: Gate synthesis and circuit optimization are usually studied separately, and evidence on their interaction is contradictory: ZX-calculus rewriting removes a stable fraction of Solovay-Kitaev circuits, yet almost nothing from number-theoretically synthesized circuits. We show both behaviours follow from a single bound. For any optimizer that preserves the implemented element exactly--including all sound ZX rewriting with extraction--the achievable T-count is bounded below by the denominator exponent of the synthesized ring element. This exactness barrier is computable per instance and separates exact post-processing from approximation-aware resynthesis by a certified factor reaching 101x at recursion depth five. The two behaviours are then the barrier operating at different distances from the floor. For Solovay-Kitaev circuits we prove that the local ZX simplification layer (spider fusion and identity removal) computes exactly the free-product normal form of Z_2 * Z_8, giving exact per-instance compression and, under a calibrated ergodicity hypothesis, a depth-independent limit law confirmed on two independently constructed nets. For number-theoretically synthesized circuits the floor is already saturated: on single-qubit words automated ZX simplification attains it exactly, via a closed-form formula for minimal T-count in terms of phase linkage through the Z-axis normalizer. At two qubits and beyond the same valuation yields unconditional rigidity certificates, which on the quantum-Shannon-decomposition plus gridsynth pipeline certify 99.4-99.9% of the synthesized T-count as incompressible, with rigidity strengthening as accuracy tightens. This explains, and predicts the size of, the near-null optimization recently reported for that pipeline.
- Abstract（参考訳）: ゲート合成と回路最適化は通常別々に研究され、それらの相互作用の証拠は矛盾している: ZX-計算の書き換えはソロワ・キタエフ回路の安定な部分を取り除き、数理論的に合成された回路からはほとんど何も取り除かない。
両方の動作がひとつのバウンドから続くことを示す。
実装された要素を正確に保存する任意のオプティマイザ - 抽出された全ての音ZX書き換えを含む - に対して、達成可能なTカウントは、合成されたリング要素の分母指数によって下界される。
この正確性バリアはインスタンス毎に計算可能であり、再帰深さ5で101xに達する認定因子による近似認識再生から正確な後処理を分離する。
2つの動作は、床から異なる距離で動作するバリアである。
Solovay-Kitaev 回路では、局所 ZX 単純化層 (スピラー融合と恒等化除去) がZ_2 * Z_8 の自由積正規形式を正確に計算し、正確にインスタンスごとの圧縮を行い、校正エルゴディディディティ仮説の下で、2つの独立に構築されたネット上で、深さ非依存の極限法則が証明される。
数論的に合成された回路の場合、フロアは既に飽和しており、単一の量子ビットワード上で自動化されたZXは、Z軸正規化器による位相結合の点から最小Tカウントの閉形式公式によって、それを正確に達成する。
量子シャノン分解とグリッドシンスパイプラインでは、合成されたTカウントの99.4-99.9%が非圧縮性であり、精度が向上するにつれて剛性は強化される。
これは、パイプラインで最近報告されたほぼヌルに近い最適化について説明し、そのサイズを予測する。
関連論文リスト
- Near-optimal synthesis of non-Gaussian phase gates via qubit-oscillator Rabi control [10.877976778339495]
位相ゲートのための効率的な量子ビットオシレータRabi合成法を開発した。
次数(R)位相ゲートは解析的に構築されたラビ列によって全時間で近似可能であることを示す。
論文 参考訳（メタデータ） (2026-09-08T17:53:18Z) - Encoding Compact U(1) Gauge Fields in Bosonic Modes with GKP Stabilization [0.0]
ボゾン量子ハードウェアとコンパクト格子ゲージ理論のギャップを埋める。
1対1の符号化は無限のスクイージングの極限において完全となる。
1-プラケットの例は、正確なコンパクトロータのダイナミクスを再現する。
論文 参考訳（メタデータ） (2026-08-31T18:01:02Z) - New Methods and Frameworks for Quantum State Preparation in Modern Quantum Systems [0.0]
デジタル信号誘起ヒープ変換(DsiHT)上に構築された2つの合成、すなわち、QsiHT高速経路実合成とQsiHT高速経路複素合成である。
どちらも、UCC、アイソメトリ、多重化、Schmidt/SVD、QSD、ヒープ変換ファミリにまたがる10の構成に対してベンチマークされる。
論文 参考訳（メタデータ） (2026-08-10T17:32:27Z) - Maximal Classicalization of Finite-Group Quantum Reference-Frame Noise [0.0]
グループ値のミスアライメントを持つ有限量子参照トークンは、ランダムなユニタリチャネルを誘導する。
以下の条件が有限群 G のユニタリ表現 U に等しいことを証明している。
論文 参考訳（メタデータ） (2026-07-14T17:07:57Z) - Exponential-Family Tensor Completion via Nonconvex Dual Total-Variation Regularization [33.64818873746132]
指数関数型雑音下でのテンソル完備化のためのテレビの正規化に関する厳密な理論的解析を行う。
勾配テンソル内の疎度と低ランク構造を同時に捕捉する変換L1関数に基づくデュアルTV正規化器群を提案する。
論文 参考訳（メタデータ） (2026-06-29T22:32:19Z) - Recursively Trained Diffusion Models: Limiting Collapse Distribution and Spectral Characterization [27.894241484593735]
生成モデルの再帰的トレーニングは、真のデータ分布から複合的なドリフトであるモデル崩壊を引き起こす可能性がある。
完全なスコア推定と正確なサンプリングを行っても,逆拡散の早期停止はデータ分布から進行的なドリフトを引き起こすことを示す。
低次よりも高速に高次誤差を収縮するモード依存の収縮速度で、理想的な特徴付けが堅牢であることを示す。
論文 参考訳（メタデータ） (2026-06-11T18:06:26Z) - Transformers Provably Learn to Internalize Chain-of-Thought [65.41010769606844]
Implicit Chain-of-Thought (ICoT) は、隠れた状態の中で中間段階を内部化するモデルを訓練する。
Log-ICoTはシンキングトークンを一度に削除し、$k$のリニアから対数へのステージ数を削減します。
多層変圧器の実験により理論が確認され、より深い層に段階的に推論がどのように吸収されるかが可視化される。
論文 参考訳（メタデータ） (2026-05-27T15:17:06Z) - VORT: Adaptive Power-Law Memory for NLP Transformers [0.913755431537592]
学習可能な分数次 _iin[,1] をそれぞれ割り当てるメモリアーキテクチャを導入する。
分数重み付け和は非マルコフ和であるため、ガウス・ラゲール二次方程式によって計算された指数和(SOE)分解によって近似する。
リトリーバルは、正確にO(KSd_d_v)-per-stepの再発を有するリニアアテンションアキュムレータを介してキーと連想する。
論文 参考訳（メタデータ） (2026-05-09T14:20:17Z) - Fault-Tolerant Resource Comparison of Qudit and Qubit Encodings for Diagonal Quadratic Operators [36.94429692322632]
有限局所ヒルベルト空間のトランケーションは、格子場の理論の量子シミュレーションにおいて自然に現れ、キュディエンコーディングを動機付ける。
実スカラー場の一様体-振幅の離散化において、実スカラー場を1つの論理的$d$-level qudit または$n_b=eil log drceil$ logical qubitsを用いて、$U=e-it_x2$で例証した対角展開の非クリフォードコストを比較する。
論文 参考訳（メタデータ） (2026-04-29T15:25:08Z) - Bridging wire and gate cutting with ZX-calculus [45.200826131319815]
理想的大域的ユニタリの分解は、ZX-計算を拡大して図式的に得られることを示す。
我々は、マルチキュービット制御Z(MCZ)ゲートの分解を、任意の数のキュービットとパーティションに対して$3$に等しい1$ノルムで改善した。
論文 参考訳（メタデータ） (2025-03-14T15:20:47Z) - High-Precision Multi-Qubit Clifford+T Synthesis by Unitary Diagonalization [0.8341988468339112]
クリフォード+Tゲートセットで表される量子回路の資源効率と高精度な近似合成は、フォールトトレラント量子コンピューティングにとって不可欠である。
探索に基づく手法を利用して、まずはユニタリを概略対角化し、解析的に逆解析する。
提案手法は,実量子アルゴリズムからユニタリを評価した場合に,一桁のオーダーで合成アルゴリズムの実装精度と実行時間を向上する。
論文 参考訳（メタデータ） (2024-08-31T12:10:32Z) - On the Constant Depth Implementation of Pauli Exponentials [49.48516314472825]
任意の長さの $Zotimes n$指数を$mathcalO(n)$ ancillae と 2体 XX と ZZ の相互作用を用いて一定深さの回路に分解する。
クビットリサイクルの恩恵を受ける回路の書き直し規則を導入し,本手法の正しさを実証する。
論文 参考訳（メタデータ） (2024-08-15T17:09:08Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。