論文の概要: Unifying and Extending Strong Simulation of Quantum Circuits
- arxiv url: http://arxiv.org/abs/2610.00547v1
- Date: Wed, 30 Sep 2026 18:26:37 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-10-03 01:19:23.69719
- Title: Unifying and Extending Strong Simulation of Quantum Circuits
- Title（参考訳）: 量子回路の統一と拡張型ストロングシミュレーション
- Abstract要約: 量子回路の古典的シミュレーションのための統一言語として,関数型集約クエリ (FAQ) を確立する。
中心的な洞察は、シミュレーションのトラクタビリティの異なるソースを、同じInsideOut評価スキーム内で活用できるということである。
構成的評価を行ない、有界なテンソル配置対称性幅を持つ回路ファミリを示すが、非有界な位相グラフランク幅と回路線グラフツリー幅を示す。
- 参考スコア（独自算出の注目度）: 17.853771301207725
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: We establish functional aggregate queries (FAQs) as a unifying language for exact classical simulation of quantum circuits. A circuit becomes a sum-product query: factors encode gates, internal wire variables are aggregated, and free boundary variables index transition amplitudes. The central insight is that distinct sources of simulation tractability can be exploited within the same InsideOut evaluation scheme. The query specifies what is computed; the evaluation plan, semiring, and representation of intermediate factors determine the cost. This view unifies structural and algebraic simulation guarantees. With explicit factor representations, FAQ evaluation recovers the treewidth bound for tensor-network contraction and yields finer sparsity-sensitive bounds via fractional covers. Over a formal phase semiring, compressed intermediate factors recover rank-width-based simulation for compatible quadratic phase representations. For Clifford circuits, affine-quadratic factors are closed under multiplication and marginalization and remain polynomial in size, yielding polynomial-time exact amplitude computation without any bounded-width assumption. Beyond these recoveries, the framework yields a new tractability criterion: tensor layout symmetry width. This parameter combines local cut-rank with separator symmetry through exact tree-tensor representations. We give a constructive evaluation bound and exhibit a circuit family with bounded tensor layout symmetry width but unbounded phase-graph rank-width and circuit line-graph treewidth. These results establish representation-aware FAQ evaluation as a common algorithmic foundation for classical simulation and a systematic route to new tractable regimes.
- Abstract（参考訳）: 量子回路の古典的シミュレーションのための統一言語として,関数型集約クエリ (FAQ) を確立する。
回路は、ゲートを符号化する因子、内部のワイヤ変数が集約され、自由境界変数の指数遷移振幅となる。
中心的な洞察は、シミュレーションのトラクタビリティの異なるソースを、同じInsideOut評価スキーム内で活用できるということである。
クエリは計算対象を特定し、評価計画、セミリング、中間因子の表現がコストを決定する。
この見解は構造的および代数的シミュレーションの保証を統一する。
明示的な因子表現により、FAQ評価はテンソル-ネットワーク収縮のツリー幅境界を回復し、分数被覆を介してより微細な空間感性境界を得る。
形式的位相セミリングにおいて、圧縮された中間因子は、互換性のある二次位相表現のためのランク幅に基づくシミュレーションを復元する。
クリフォード回路では、アフィン・クワッドラティック因子は乗法と余剰化の下で閉じられ、多項式のサイズのままであり、境界幅の仮定なしに多項式時間正確な振幅計算が得られる。
これらの回復の他に、このフレームワークは新たなトラクタビリティ基準(テンソルレイアウト対称性の幅)を生み出している。
このパラメータは、ツリー・テンソルの正確な表現を通じて局所カットランクとセパレータ対称性を組み合わせたものである。
構成的評価を行ない、有界なテンソル配置対称性幅を持つ回路ファミリを示すが、非有界な位相グラフランク幅と回路線グラフツリー幅を示す。
これらの結果は,古典シミュレーションの共通アルゴリズム基盤として表現認識型FAQ評価を確立し,新たなトラクタブルシステムへの体系的経路を確立する。
関連論文リスト
- SQUARE: Structured Quantum Representation Adapters as Compact Quadratic Feature Maps for Frozen Language Models [50.300302932452006]
凍結言語モデル(LM)は、下流の再ランク付け、スコアリング、嗜好モデリングのための固定された特徴抽出器として、ますます使われている。
本稿では、ボトルネックベクトルを振幅符号化し、パラメータ化量子回路を適用し、その結果の状態を測定する構造量子表現アダプタを提案する。
各基底確率関数は、ちょうどボトルネック座標における正規化された二次形式であり、追加のPauli$Z$読み出しはそれらの確率の線形結合であることを示す。
論文 参考訳（メタデータ） (2026-09-29T09:38:29Z) - Fourier-Geometric Circuit Design for Gate and Entanglement Placement in Quantum Neural Networks [48.27646637170387]
パウリの読み出しと2量子エンタングルの通勤のための回路設計規則を提案する。
パウリの読み出しと2ビットのエンタングルに対して、これは与えられた相互作用グラフに対して局所回転とエンタングル層を配置する回路設計規則を与える。
論文 参考訳（メタデータ） (2026-09-28T16:00:45Z) - Structure-Preserving Quantum Circuit Architectures for Robot Kinematics [4.745457425154995]
この研究は、剛体変換のための量子表現と回路アーキテクチャを導入する。
Denavit--Hartenberg の直列開鎖マニピュレータのキネマティクスに特化している。
論文 参考訳（メタデータ） (2026-09-14T11:20:14Z) - A Compositional Theory of Causally Masked Transformers [50.88598486616582]
モデルが実装した力学から直接表現性を導出する形式化を開発する。
各アテンションヘッドは、レイヤ内で独立して自身の状態を更新する。
修正されたソフトアテンションは、不可逆なチェックリストのような状態をサポートする。
論文 参考訳（メタデータ） (2026-07-29T14:47:19Z) - Riemannian MeanFlow for One-Step Generation on Manifolds [54.09734511705173]
フローマッチングは、生成モデルのシミュレーション不要なトレーニングを可能にする。
平均フローは、位置依存接空間に速度が存在する多様体値生成に拡張することができる。
球面, トーリ, SO(3)における実験は, 品質・効率のトレードオフを改善し, サンプリングコストを大幅に削減して, 競争力のある一段階サンプリングを実証した。
論文 参考訳（メタデータ） (2026-03-11T12:41:46Z) - Phase-space entropy at acquisition reflects downstream learnability [54.4100065023873]
楽器分解位相空間に基づく取得レベルスカラー$S_mathcal B$を提案する。
本稿では, (S_mathcal B) が周期サンプリングの位相空間コヒーレンスを正確に同定できることを理論的に示す。
$|S_mathcal B|$は一貫してサンプリングジオメトリをランク付けし、トレーニングなしで下流での再構築/認識の困難を予測します。
論文 参考訳（メタデータ） (2025-12-22T10:03:51Z) - CFT Complexity and Penalty Factors [0.0]
本稿では,異なる生成元に相対重みを割り当てるペナルティ因子を割り当てる,リー群の回路の複雑さを研究するための枠組みを提案する。
我々のアプローチは、ユニタリ回路の空間上の(擬-)リーマンノルムから誘導される量子状態のコセット空間上の計量を構築する。
具体的な応用として、1次元および2次元のCFTにおける状態の状態の複雑性を計算する。
論文 参考訳（メタデータ） (2025-07-29T18:00:02Z) - A Fourier analysis framework for approximate classical simulations of quantum circuits [0.0]
本稿では,グループパラメータを符号化した構造を持つ回路に対して,グループを調和解析するフレームワークを提案する。
また、同次空間への一般化、疑似システム、および既約表現の行列係数を用いてランダム回路を解析する方法についても論じる。
論文 参考訳（メタデータ） (2024-10-17T17:59:34Z) - Tractable Bounding of Counterfactual Queries by Knowledge Compilation [51.47174989680976]
本稿では, パール構造因果モデルにおいて, 因果関係などの部分的特定可能なクエリのバウンダリングの問題について議論する。
最近提案された反復EMスキームは初期化パラメータをサンプリングしてそれらの境界を内部近似する。
シンボルパラメータを実際の値に置き換えた回路構造を,単一のシンボル知識コンパイルによって得られることを示す。
論文 参考訳（メタデータ） (2023-10-05T07:10:40Z) - Qubit recycling and the path counting problem [0.0]
近年,畳み込み型回路(マトリックス製品状態サンドマルチスケール角化再正規化アンザッツなど)で使用されるキューディットを一元的にリセットできることが示されている。
このような回路と局所量子回路の間を補間する量子回路の族に対するこのプロトコルの忠実度を解析する。
論文 参考訳（メタデータ） (2023-01-09T23:59:41Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。