論文の概要: Local Universality and Structural Certificates for Minimal Fixed-Depth Two-Qutrit Gate Decomposition

• arxiv url: http://arxiv.org/abs/2607.24129v1
• Date: Mon, 27 Jul 2026 08:12:43 GMT
• ステータス: 翻訳完了
• システム内更新日: 2026-07-28 22:34:15.35468
• Title: Local Universality and Structural Certificates for Minimal Fixed-Depth Two-Qutrit Gate Decomposition
• Title（参考訳）: 極小固定深度二分ゲート分解のための局所普遍性と構造証明書
• Abstract要約: 固定可能な2量子コアの4つのコピーを5つの調整可能な局所層でインターリーブした寸法飽和固定コアアンサッツについて検討した。 これはパラメータカウントによって除外されない最も短い固定コアアーキテクチャである。 次に,非可換かつ時間的に非対称な駆動によって生じる,ハードウェアを駆動する超伝導コアの評価を行う。
• 参考スコア（独自算出の注目度）: 6.151100037929983
• License: http://creativecommons.org/licenses/by-nc-nd/4.0/
• Abstract: We study a dimension-saturating fixed-core ansatz in which four copies of a fixed, non-tunable two-qutrit core $K\in SU(9)$ are interleaved with five adjustable local layers from $L=SU(3)\otimes SU(3)$. Since $\dim SU(9)=80$ and $5\dim L=80$, this is the shortest fixed-core architecture not excluded by parameter counting. We formulate the smooth map $Φ_K:L^5\to SU(9)$ and use its right-trivialized differential to give verifiable certificates for local universality. We construct an explicit Clifford-word core whose Pauli-label splitting makes the identity-point differential an exact isometry, and we classify all 2304 symplectic actions satisfying the same splitting criterion. We also prove a structural obstruction for an important symmetry class: every complex-symmetric core $K=K^{T}$, including every core generated by a time-independent real-symmetric Hamiltonian in the chosen computational basis, has identity-point differential rank at most 78; hence any full-rank certificate for such a core must occur away from that point. We then assess a hardware-motivated superconducting core generated by a noncommuting, temporally asymmetric drive. Direct calculation verifies $K_{\rm sc}\neq K_{\rm sc}^{\mathsf T}$, and the core achieves $F_{\rm avg}\ge 0.999$ for all 1000 Haar-random targets tested under the stated restart protocol. We also report favorable sampled Jacobian-rank, structured-target, and robustness diagnostics. These results establish local universality at the parameter-counting-minimal, dimension-saturating depth, with an exact Clifford certificate complemented by a hardware-motivated numerical case study. Throughout, we separate exact local certificates from numerical evidence for broader synthesis performance.
• Abstract（参考訳）: 固定可能な2量子コアの4つのコピーを$L=SU(3)\otimes SU(3)$から5つの調整可能な局所層にインターリーブした次元飽和固定コアアンサッツについて検討する。 $\dim SU(9)=80$と$5\dim L=80$であるから、パラメータカウントでは除外されない最も短い固定コアアーキテクチャである。 滑らかな写像 $ _K:L^5\to SU(9)$ を定式化し、その右自明な微分を用いて局所普遍性の検証証明を与える。 パウリラベル分割が恒等点差分を正確な等長とする明示的なクリフォードワードコアを構築し、同じ分割基準を満たす全ての2304のシンプレクティックアクションを分類する。 すべての複素対称コア $K=K^{T}$ は、選択された計算ベースで時間非依存な実対称ハミルトンによって生成されるすべてのコアを含み、最大78の単位点微分ランクを持つので、そのようなコアのフルランク証明はその点から外れなければならない。 次に,非可換かつ時間的に非対称な駆動によって生じる,ハードウェアを駆動する超伝導コアの評価を行う。 直接計算はK_{\rm sc}\neq K_{\rm sc}^{\mathsf T}$を検証し、コアは再起動プロトコルでテストされた1000のハールランダムターゲットに対して$F_{\rm avg}\ge 0.999$を達成する。 また,ヤコビアンランク,構造化ターゲット,ロバストネス診断が好適であることも報告した。 これらの結果は,パラメータカウント最小,次元飽和深度で局所的普遍性を確立し,ハードウェアを動機とした数値ケーススタディによって正確なクリフォード証明を補完する。 全体として、より広範な合成性能を示す数値的な証拠から、正確な局所証明を分離する。

関連論文リスト

• Signed Sensitivity of Expected Hitting Time to Mutation Rate in the (1+1) EA: Per-State Sign Theorems and Verifiable Certificates for Non-Lumpable Families [0.0]
  本研究は, 予測打撃時間$H_p=mathbbE_x T$の変異率に対する感度について検討した。 2つのフィットネス関数は1ステップの成功率曲線全体を共有するが、期待されるヒット時間は2つの正確な有理数である。
  論文  参考訳（メタデータ） (2026-09-11T07:14:28Z)
• The geometry of AI validation: Exact certification limits for iid best-of-N search [0.0]
  信頼性面上での検証とデプロイメントのルールをカーネルとして表現する。 B_m,N=1+2sum_r=1m(-1)rcos2Nr/[(m+1)]$
  論文  参考訳（メタデータ） (2026-08-21T15:18:11Z)
• Dimension Rigidity and Projective Geometry of Trace-Product Switchings of the Gold Cube [20.271194684947282]
  任意の偶次元において、ゴールド準完全非線形関数 $xmapsto x3$ の自然なスカラートレース積スイッチングを分類する。 すべての$ngeq10$に対して、非ゼロ係数は許容されない。 また、正規化階数 2 を 8 次元で $mathbbP1(mathbbF_4)$ で分類する。
  論文  参考訳（メタデータ） (2026-08-04T22:36:09Z)
• Random Parameter Noise Does Not Make Exact ReLU Verification Easy [14.270378035741404]
  逆スムースドモデルにおけるReLUネットワークの正確な検証について検討する。 標準的な仮定である$mathrmNPnotsubseteqmathrmBPP$ では,ネットワークサイズ,ビット複雑性,各ベースインスタンスの逆ノイズレベルにランニングタイムを埋め込むような,健全かつ完全検証器が存在しないことを示す。
  論文  参考訳（メタデータ） (2026-07-15T21:26:20Z)
• An Information-Geometric Justification for Composite Coherence in Event-Based Narrative Extraction [0.27074235008521247]
  ここで$A$は文書埋め込みと$T=1-d_mathrmJS$の角的類似性である。 4つのコーパス、3つの埋め込みファミリー、3つのトピックモデルはフレームワークと一致している。
  論文  参考訳（メタデータ） (2026-06-28T00:05:15Z)
• SILAGE: Memory-Efficient, Full-Gradient-Free Nonconvex Optimization for Nested Finite Sums [51.49970814177172]
  データセットに対する経験的リスクは、自然に$N=nm$全サンプルに類似性を示す。 我々は悲観的な収束分析を避ける分析を提供する。 我々の成果は、既存の最先端の体制を改善した。
  論文  参考訳（メタデータ） (2026-06-14T14:11:07Z)
• Feature Learning in Wide Neural Networks under $μ$P: Identifiability and Sparse-Dictionary Decomposition of the Mean-Field Limit [0.0]
  雑音勾配降下の平均場限界のグローバルな存在と一意性を$P以下で証明する。 平均フィールド限界の識別可能性の特徴付けを行う。 特徴・学習・エラーの総分解を統計的・最適化・カオス伝播・疎残成分に導出する。
  論文  参考訳（メタデータ） (2026-05-23T19:26:25Z)
• Intrinsic Wasserstein Rates for Score-Based Generative Models on Smooth Manifolds [61.14405512940818]
  Scoreベースの生成モデルは高次元空間で訓練されていることを示す。 有限固有アンカーとガウス・ニュートンによる最も近い射影座標のReLU実装を用いる。
  論文  参考訳（メタデータ） (2026-05-15T10:20:05Z)
• State-Dependent Lyapunov Method for Rank-1 Matrix Factorization [0.0]
  ランク1行列因数分解の勾配勾配を証明に基づく視点で検討する。 認定制度では、この機構は世界最小化器に収束する。 ポストクリティカルな状態においては、終端均衡多様体に向かって軌道を強制する。
  論文  参考訳（メタデータ） (2026-04-28T22:43:16Z)
• Third-Order Local Randomized Measurements for Finite-size Entanglement Certification [0.0]
  エンタングルメントは最小固有値 $mathcalE_4()$ が負となるときに証明される。 すべての分離可能な状態が$barmathfrakM()succeq0$を満たすことを証明し、$mathcalE_4()$の符号はシングルコピーランダム化測定から推測できることを示した。
  論文  参考訳（メタデータ） (2026-04-14T18:00:02Z)
• Near-Optimal Clustering in Mixture of Markov Chains [74.3828414695655]
  我々は、長さ$H$の軌跡を、大きさ$S$の有限状態空間上の未知のエルゴードマルコフ鎖の1つによって生成される、$T$ trajectories of length $H$の問題を研究する。 我々は、連鎖の遷移核間の重み付きKL分散によって支配されるクラスタリングエラー率に基づいて、インスタンス依存で高い確率の低い境界を導出する。 次に,新しい2段階クラスタリングアルゴリズムを提案する。
  論文  参考訳（メタデータ） (2025-06-02T05:10:40Z)
• Learning with Norm Constrained, Over-parameterized, Two-layer Neural Networks [54.177130905659155]
  近年の研究では、再生カーネルヒルベルト空間(RKHS)がニューラルネットワークによる関数のモデル化に適した空間ではないことが示されている。 本稿では,有界ノルムを持つオーバーパラメータ化された2層ニューラルネットワークに適した関数空間について検討する。
  論文  参考訳（メタデータ） (2024-04-29T15:04:07Z)
• A Unified Framework for Uniform Signal Recovery in Nonlinear Generative Compressed Sensing [68.80803866919123]
  非線形測定では、ほとんどの先行結果は一様ではない、すなわち、すべての$mathbfx*$に対してではなく、固定された$mathbfx*$に対して高い確率で保持される。 本フレームワークはGCSに1ビット/一様量子化観測と単一インデックスモデルを標準例として適用する。 また、指標集合が計量エントロピーが低い製品プロセスに対して、より厳密な境界を生み出す濃度不等式も開発する。
  論文  参考訳（メタデータ） (2023-09-25T17:54:19Z)
• FriendlyCore: Practical Differentially Private Aggregation [67.04951703461657]
  我々は、制約のない(擬似)計量空間から点の集合を$cal D$として取り出す、単純で実用的なツールである$mathsfFriendlyCore$を提案する。 $cal D$ が有効直径 $r$ を持つとき、$mathsfFriendlyCore$ はすべての点を含む "stable" サブセット $cal D_Gsubseteq cal D$ を返す。 $mathsfFriendlyCore$は、プライベートに集約する前に入力を前処理するために使用することができる。
  論文  参考訳（メタデータ） (2021-10-19T17:43:50Z)

関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。

指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。