Fugu-MT 論文翻訳(概要): A Symplectic Proof of the Quantum Singleton Bound

論文の概要: A Symplectic Proof of the Quantum Singleton Bound

arxiv url: http://arxiv.org/abs/2602.20186v1
Date: Sat, 21 Feb 2026 06:05:05 GMT
ステータス: 翻訳完了
システム内更新日: 2026-02-25 17:34:53.448961
Title: A Symplectic Proof of the Quantum Singleton Bound
Title（参考訳）: 量子シングルトン境界のシンプレクティック証明
Authors: Frederick Dehmel, Shilun Li,
Abstract要約: 安定化器の量子誤り訂正符号に対する量子シングルトン境界のシンプレクティック線形代数的証明を提案する。この証明はパウリ作用素をモデル化した有限次元シンプレクティックベクトル空間の言語で定式化される。
参考スコア（独自算出の注目度）: 2.1485350418225244
License: http://creativecommons.org/licenses/by/4.0/
Abstract: We present a symplectic linear-algebraic proof of the Quantum Singleton Bound for stabiliser quantum error-correcting codes together with a Lean4 formalisation of the linear-algebraic argument. The proof is formulated in the language of finite-dimensional symplectic vector spaces modelling Pauli operators and relies on distance-based erasure correctability and the cleaning lemma. Using a dimension-counting argument within the symplectic stabiliser framework, we derive the bound $ k + 2(d - 1) \le n $ for any [[n, k, d]] stabiliser code. This approach isolates the algebraic structure underlying the bound and avoids the heavier analytic machinery that appears in entropy-based proofs, while remaining well-suited to formal verification.
Abstract（参考訳）: 本稿では、線形代数的引数のLean4形式化とともに、安定化器量子誤り訂正符号に対する量子シングルトン境界のシンプレクティック線形代数的証明を提案する。この証明はパウリ作用素をモデル化した有限次元シンプレクティックベクトル空間の言語で定式化され、距離に基づく消去補正性とクリーニング補題に依存する。シンプレクティック・スタビライザ・フレームワーク内の次元数論法を用いて、任意の[[n, k, d]]スタビライザ・コードに対して有界な $k + 2(d − 1) \le n $ を導出する。このアプローチは、境界の下にある代数構造を分離し、エントロピーに基づく証明に現れる重い解析機械を避けるが、形式的検証には適している。

関連論文リスト

Deep Sequence Modeling with Quantum Dynamics: Language as a Wave Function [0.0]
学習時間依存ハミルトニアンの下で有限次元ヒルベルト空間上で進化する複素数値波動関数を潜在状態とするシーケンスモデリングフレームワークを導入する。等級と相対位相を結合する2次測定演算子であるボルン則を用いて、トークン確率を抽出する。我々は、潜在確率質量の連続性方程式を導出し、組込み診断として機能する対流を保存する。
論文参考訳（メタデータ） (2026-02-24T23:42:18Z)
A Formal Proof of a Continued Fraction Conjecture for $π$ Originating from the Ramanujan Machine [2.579369112489757]
我々は、/4 を表す非正準連続分数のクラスに対する公式な解析的証明を提供する。これらのアイデンティティは、同値変換の離散列によって導出可能であることを示す。この研究は、そのようなアルゴリズムによって発見されたアイデンティティが孤立した数値アーティファクトではなく、幾何変換の古典理論に深く根ざしていることを示している。
論文参考訳（メタデータ） (2026-01-13T11:38:44Z)
Profusion of Symmetry-Protected Qubits from Stable Ergodicity Breaking [0.0]
離散対称性と位相空間の断片化を組み合わせることで、指数関数的に多くの位相安定な量子ビットが単一の離散対称性によって保護されることを示す。また、対称性の富化とトポロジカルフラグメンテーションの組合せや、ヒルベルト空間のフラグメンテーションを示す系を量子メモリとして利用することの意義についてもコメントする。
論文参考訳（メタデータ） (2025-12-23T14:30:06Z)
Instantaneous Sobolev Regularization for Dissipative Bosonic Dynamics [1.7205106391379026]
ボゾンフォック空間上の量子マルコフ半群について検討する。ソボレフ正則化を示す無限次元散逸展開の幅広いクラスを同定する。
論文参考訳（メタデータ） (2025-12-03T18:48:55Z)
Lindbladian reverse engineering for general non-equilibrium steady states: A scalable null-space approach [49.1574468325115]
NESS を対象とするリンドバルディアン・マスター方程式を再構成する手法を提案する。相関行列の核(ヌル空間)はリンドブラディアン解に対応する。ボソニックガウスから散逸駆動の集合スピンまで、様々なシステムでこの方法を説明する。
論文参考訳（メタデータ） (2024-08-09T19:00:18Z)
Solving the homogeneous Bethe-Salpeter equation with a quantum annealer [34.173566188833156]
等質Bethe-Salpeter方程式(hBSE)は、D-Wave量子アニールを用いて初めて解かれた。 D-Wave Advantage 4.1 システムとプロプライエタリなシミュレート・アニーリング・パッケージを用いて,提案アルゴリズムの広範な数値解析を行った。
論文参考訳（メタデータ） (2024-06-26T18:12:53Z)
Interacting chiral fermions on the lattice with matrix product operator norms [37.69303106863453]
我々は格子上の相互作用するカイラルフェルミオンをシミュレートするハミルトン形式を開発する。フェルミオン倍問題(fermion doubleling problem)は、半定ノルムを持つフォック空間を構成することによって回避される。自由模型のスケーリング限界がカイラルフェルミオン場を回復することを示した。
論文参考訳（メタデータ） (2024-05-16T17:46:12Z)
Quantum simulation of the Fokker-Planck equation via Schrodingerization [33.76659022113328]
本稿では,Fokker-Planck方程式を解くための量子シミュレーション手法について述べる。我々はシュロディンガー化法(Schrodingerization method)を用いて、非エルミート力学を持つ任意の線型偏微分方程式と常微分方程式をシュロディンガー型方程式系に変換する。
論文参考訳（メタデータ） (2024-04-21T08:53:27Z)
Dynamical chaos in nonlinear Schr\"odinger models with subquadratic power nonlinearity [137.6408511310322]
ランダムポテンシャルと準4次パワー非線形性を持つ非線形シュリンガー格子のクラスを扱う。拡散過程は亜拡散性であり, 微細構造が複雑であることを示す。二次パワー非線形性の限界も議論され、非局在化境界をもたらすことが示されている。
論文参考訳（メタデータ） (2023-01-20T16:45:36Z)
Quantum Bayesian Inference in Quasiprobability Representations [0.0]
ベイズの法則は情報や物理科学においても重要な論理的推論を担っている。ベイズの規則の量子バージョンはヒルベルト空間の言語で表現されている。
論文参考訳（メタデータ） (2023-01-05T08:16:50Z)
Multi-fidelity Stability for Graph Representation Learning [38.31487722188051]
エンフルティ忠実度安定性(英語版)と呼ばれるより弱い一様一般化を導入し、その例を示す。 2種類の安定性の相違点について,多相性設計を正当化する下界を提示する。
論文参考訳（メタデータ） (2021-11-25T01:33:41Z)
Bernstein-Greene-Kruskal approach for the quantum Vlasov equation [91.3755431537592]
一次元定常量子ブラソフ方程式は、エネルギーを力学変数の1つとして分析する。量子トンネル効果が小さい半古典的な場合、無限級数解が開発される。
論文参考訳（メタデータ） (2021-02-18T20:55:04Z)
Models of zero-range interaction for the bosonic trimer at unitarity [91.3755431537592]
ゼロ範囲の2体相互作用によって相互に結合された同一ボソンからなる3体系に対する量子ハミルトニアンの構成について述べる。プレゼンテーションの大部分では、無限の散乱長が考慮される。
論文参考訳（メタデータ） (2020-06-03T17:54:43Z)
Using Quantum Metrological Bounds in Quantum Error Correction: A Simple Proof of the Approximate Eastin-Knill Theorem [77.34726150561087]
本稿では、量子誤り訂正符号の品質と、論理ゲートの普遍的な集合を達成する能力とを結びつける、近似したイージン・クニル定理の証明を示す。我々の導出は、一般的な量子気象プロトコルにおける量子フィッシャー情報に強力な境界を用いる。
論文参考訳（メタデータ） (2020-04-24T17:58:10Z)
Stationary State Degeneracy of Open Quantum Systems with Non-Abelian Symmetries [3.423206565777368]
複数の非アベリア的、強い対称性を持つ開量子系の零空間縮退について研究する。これらの結果をオープン量子多体系の文脈に応用する。システムサイズにおいて少なくとも3次スケールの導出境界は、$SU(2)$対称の場合でしばしば飽和である。
論文参考訳（メタデータ） (2019-12-27T15:50:33Z)

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