論文の概要: Stabilizer Formalism for EAQECCs with Noise ebits
- arxiv url: http://arxiv.org/abs/2603.19597v1
- Date: Fri, 20 Mar 2026 03:15:39 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-03-23 19:48:38.960036
- Title: Stabilizer Formalism for EAQECCs with Noise ebits
- Title(参考訳): ノイズを考慮したEAQECCの安定化形式化
- Abstract要約: 2つのパウリ群の積群の特別な部分群を用いて、ノイズエビットを持つEAQECCの安定化形式を導入する。
形式主義の2つの等価な形式主義は、シンプレティック幾何学と加法符号の命名において導かれる。
この理論を適用して、ノイズエビットを持つEAQECCを構築し、その性能を解析する。
- 参考スコア(独自算出の注目度): 5.357311972147378
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: We introduce a stabilizer formalism for EAQECCs with noise ebits, using special subgroups of product groups of two Pauli groups. This formalism includes the two coding schemes,given by Lai and Brun (C.Y. Lai and T. A. Brun, PHYSICAL REVIEW A 86, 032319 (2012)), for EAQECCs with imperfect ebits as special cases. Then two equivalent formalisms of the formalism are derived in nomenclature of sympletic geometry and additive codes. We apply this theory to construct some EAQECCs with noise ebits, and analyze their performance.
- Abstract(参考訳): 2つのパウリ群の積群の特別な部分群を用いて、ノイズエビットを持つEAQECCの安定化形式を導入する。
この形式はレイとブルン(C.Y.レイとT.A.ブルン、PHYSICAL REVIEW A 86, 032319 (2012))の2つの符号化スキームを含む。
すると、形式主義の2つの等価な形式主義は、シンプレティック幾何と加法符号の命名において導かれる。
この理論を適用して、ノイズエビットを持つEAQECCを構築し、その性能を解析する。
関連論文リスト
- Theory of approximate quantum error correction and the error-set model [53.73800998389749]
誤差セットモデルに基づく近似量子誤差補正の理論を考案する。
与えられたエラーセットを修正するコードは、クラウス演算子が線形スパンにある全てのチャネルに対して自動的に保護される。
この線形性は、符号距離、消去と一般的な誤りの等価性、および理論上は良い符号をもたらす。
論文 参考訳(メタデータ) (2026-07-25T02:15:33Z) - ComBench: A Benchmark for Rigorous Proof Reasoning and Constructive Realization in Olympiad-Level Combinatorics [95.15900681087088]
我々は,Olympiadレベルの診断用ベンチマークであるComBenchと,大規模言語モデルの推論機能を紹介する。
ComBenchには、補完的な2つの設定で整理された100の人間注釈の競合レベルの問題が含まれている。
実験の結果、最強モデルはAvg.全体65.4%、Best@4.3%に達した。
論文 参考訳(メタデータ) (2026-06-09T06:50:15Z) - Construction of EAQECCs with imperfect ebits [1.9336815376402718]
本研究では, ノイズの大きい量子誤り訂正符号をEAQECCs-Neに変換する安定化器形式を一般化する。
提案したEAQECCs-Neは、等価な誤り訂正能力を持つ標準安定化器符号より優れていることを示す。
論文 参考訳(メタデータ) (2026-05-22T00:42:55Z) - LongCat-Flash-Prover: Advancing Native Formal Reasoning via Agentic Tool-Integrated Reinforcement Learning [46.294745464571456]
LongCat-Flash-Proverはエージェントツール統合推論のためのオープンソースのMoEモデルである。
これは、自己形式化と定理証明の両方において、オープンウェイトモデルのための新しい最先端状態を設定する。
MiniF2F-Testのパスレートは97.1%で、72の推論予算しか使用していない。
論文 参考訳(メタデータ) (2026-03-22T05:16:09Z) - Exactly Solvable RD Model: RG Cycles Meet Fractality [45.88028371034407]
我々は,時-逆対称性の破れを伴う超伝導のベーテアンサッツ積分型ロシアドル(RD)モデルを考える。
再正規化群の流れの正確な解を得ることにより、一対セクターの相構造を解明する。
我々は、ベーテ・アンザッツ方程式から生じる量子数 Q が、周期の数を数え、状態の塔をパラメトリズすることを示した。
論文 参考訳(メタデータ) (2026-03-18T12:54:21Z) - Neural Proofs for Sound Verification and Control of Complex Systems [64.97409769546992]
この非公式な貢献は、音響証明の構築に対する新しいアプローチを追求している研究の進行中のラインを示す。
証明可能な正確なポリシ/ストラテジー/コントローラを生成することができ、ニューラル証明書と合わせて、興味のあるモデルの所定の仕様を正式に達成することができる。
論文 参考訳(メタデータ) (2025-12-20T15:01:41Z) - On the near-optimality of betting confidence sets for bounded means [42.460619457560334]
信頼性区間(CI)を定義するための代替ベッティングベースのアプローチが,古典的手法よりも経験的に優れていることを示す。
特定の逆情報投影の観点でCI/CSを構築する方法によって達成可能な最小幅を特徴付ける2つの下位境界を確立する。
これらの結果から、ベッティングCI(およびCS)は、既存の最先端のEB-CI(および)レギュレーションよりも強力な理論的保証を認めることが示唆された。
論文 参考訳(メタデータ) (2023-10-02T18:42:23Z) - On The Stabilizer Formalism And Its Generalization [0.0]
標準安定化器形式は、クリフォード群内の演算に制限された量子計算が古典的に効率的にシミュレート可能であることを示す設定を提供する。
安定化集合の閉包が$SU(d)$変換の集合で密ならば、関連するクリフォード群は自明である。
我々は、一般化された安定化状態の大規模なクラスが標準状態と同値であることを予想する。
論文 参考訳(メタデータ) (2023-09-18T14:36:45Z) - Stabilizer Formalism for Operator Algebra Quantum Error Correction [0.0]
演算子量子誤差補正(OAQEC)と呼ばれる一般量子エラー補正フレームワークに対する安定化器形式を導入する。
与えられた符号に対して修正可能なパウリ誤差を完全に特徴づける定理を定式化する。
最近のハイブリッドサブスペースのコード構造が形式主義によってどのように捉えられているかを示す。
論文 参考訳(メタデータ) (2023-04-22T16:45:50Z) - Duality theory for Clifford tensor powers [0.7826806223782052]
クリフォード群の表現論は、量子情報理論においてますます顕著な役割を担っている。
本稿では、量子ビットシステムも含む双対性アプローチのための統一的なフレームワークを提供する。
論文 参考訳(メタデータ) (2022-08-02T18:27:17Z) - Comment on "Strong Quantum Darwinism and Strong Independence are
Equivalent to Spectrum Broadcast Structure" [62.997667081978825]
条件 (b) の数学的定式化は必要であるが同値性を保証するには不十分であることを示す。
我々は、条件の強化された定式化とともに、単純な反例を提案する(b)。
論文 参考訳(メタデータ) (2021-01-21T16:06:25Z) - Multipartite entanglement detection via projective tensor norms [1.2891210250935143]
入力多部状態に局所的収縮を適用するという考え方に基づく絡み合い基準のクラスについて検討する。
両分極系および多分極系におけるこの種の基準の性能を解析する。
本稿では,従来研究されてきた係合基準,例えばReignmentとSIC POVMの基準を,このフレームワーク内で見ることができることを示す。
論文 参考訳(メタデータ) (2020-10-13T13:19:23Z) - Models of zero-range interaction for the bosonic trimer at unitarity [91.3755431537592]
ゼロ範囲の2体相互作用によって相互に結合された同一ボソンからなる3体系に対する量子ハミルトニアンの構成について述べる。
プレゼンテーションの大部分では、無限の散乱長が考慮される。
論文 参考訳(メタデータ) (2020-06-03T17:54:43Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。