論文の概要: Constraints on phantom codes from automorphism group bounds
- arxiv url: http://arxiv.org/abs/2604.15111v1
- Date: Thu, 16 Apr 2026 15:04:53 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-04-17 21:29:31.968641
- Title: Constraints on phantom codes from automorphism group bounds
- Title(参考訳): 自己同型群境界からのファントム符号の制約
- Authors: Arthur S. Morris, Daniel Malz,
- Abstract要約: 論理量子回路のフォールトトレラントな実行は、大きな時空オーバーヘッドを引き起こす。
最近の研究は、ブロック内の全ての$mathrmCNOT$回路を物理的置換で実装できるという特性によって定義されるファントム符号を提案し、研究している。
ここでは、ファントム性はエンコーディング率の低下によるものであることを示す。
- 参考スコア(独自算出の注目度): 0.0
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: Executing a logical quantum circuit fault-tolerantly incurs a large spacetime overhead. Recent work has proposed and investigated phantom codes, defined by the property that every in-block logical $\mathrm{CNOT}$ circuit can be implemented with a physical permutation, a property that has the potential to greatly reduce the depth of compiled circuits. Here we show that phantomness comes at the cost of low encoding rate. Specifically, we prove that any binary phantom code encoding $k$ logical qubits into $n$ physical qubits with distance $d\geq 2$ obeys the bound $k\leq \log_2(n+1)$ for all $k\neq 4$. For $k=4$ we explicitly construct a nonstabiliser $(\!(8, 2^4, 2)\!)$ phantom code that violates the bound and has a transversal non-Clifford gate. We further show that, within the class of nontrivial CSS phantom codes with $k\neq 4$, there is a unique family of codes saturating this bound. In addition, we prove that this logarithmic ceiling cannot be circumvented by permitting additional local unitary gates, or by making use of subsystem codes: any subspace or subsystem code admitting a $\mathrm{SWAP}$-transversal implementation of every logical $\mathrm{CNOT}$ circuit is constrained to satisfy the same bound. These bounds follow from a general theorem relating the length of a quantum code to the structure of its automorphism group, a result which may find applications beyond phantom codes.
- Abstract(参考訳): 論理量子回路のフォールトトレラントな実行は、大きな時空オーバーヘッドを引き起こす。
近年の研究では、すべてのインブロック論理$\mathrm{CNOT}$回路を物理的置換で実装できるという特性によって定義されるファントム符号が提案され研究されている。
ここでは、ファントム性はエンコーディング率の低下によるものであることを示す。
具体的には、$k$論理量子ビットを距離$d\geq 2$で$n$物理量子ビットに符号化する任意のバイナリファントムコードは、すべての$k\neq 4$に対して有界な$k\leq \log_2(n+1)$に従うことを証明している。
k=4$ の場合、非安定化器 $(\!
(8, 2^4, 2)\!
) 境界に反し、非クリフォードゲートを持つファントム符号。
さらに、$k\neq 4$の非自明なCSSファントムコードのクラスには、この境界を飽和させるユニークな種類のコードが存在することを示す。
さらに、この対数天井は、局所的なユニタリゲートの追加を許可したり、サブシステムコードを使用することで回避できないことを証明する:$\mathrm{SWAP}$-transversal implementation of every logical $\mathrm{CNOT}$ circuit is constrained to satisfy the same bound。
これらの境界は、量子符号の長さと自己同型群の構造に関する一般的な定理から導かれる。
関連論文リスト
- Transversal AND in Quantum Codes [0.5047352161741804]
And gate is not compute$x2014$on qubits, but a building for efficient simulation using qutrits。
オリジナルのユニタリの"T-inary"実装を持つコードは、さらに$mathopen[![![![![![2,4!]!!
論文 参考訳(メタデータ) (2026-03-04T19:31:49Z) - Quantum error correction beyond $SU(2)$: spin, bosonic, and permutation-invariant codes from convex geometry [48.254879700836376]
本研究では,3種類の空間に対して,量子誤り訂正符号と論理ゲートを構築するためのフレームワークを開発する。
我々は、SU(q)$の多くの符号とそのゲートが、3つの状態空間の間で相互変換可能であることを証明した。
そこで本研究では, 類似したパラメータを持つ既知符号よりも短い長さまたは低い全スピン/励起を持つ符号の明示的な構成について述べる。
論文 参考訳(メタデータ) (2025-09-24T20:21:30Z) - Clifford gates with logical transversality for self-dual CSS codes [0.8009842832476994]
符号化率の高い量子誤り訂正符号は、大規模量子コンピュータにとって良い候補である。
高速コードの論理ゲートは物理ゲートを使ってフォールトトレラントに実装することができる。
論理的クリフォードゲートが複数の実装を持つことを示す。
論文 参考訳(メタデータ) (2025-03-25T15:55:12Z) - Quantum Codes with Addressable and Transversal Non-Clifford Gates [8.194994143531677]
我々は、$textitaddressable$ logical gateを誘導するゲートをサポートするコードを研究する。
我々は、$textitaddressable と $ell neq 2$ gates で量子コードを構築するフォーマリズムを開発する。
論文 参考訳(メタデータ) (2025-02-03T22:24:34Z) - Entanglement-assisted Quantum Error Correcting Code Saturating The Classical Singleton Bound [44.154181086513574]
量子誤り訂正符号 (EAQECCs) は, 従来のシングルトン境界を, frackn = frac13$以下のコードレートの既知の方法よりも少ない共有エンタングルメントで飽和させる。
古典的な $[n,k,d]_q$ のコードはパラメータ $[n,k,d;2k]]_q$ の EAQECC に変換できる。
論文 参考訳(メタデータ) (2024-10-05T11:56:15Z) - Exponential Separation between Quantum and Classical Ordered Binary
Decision Diagrams, Reordering Method and Hierarchies [68.93512627479197]
量子順序付き二項決定図($OBDD$)モデルについて検討する。
入力変数の任意の順序で、OBDDの下位境界と上位境界を証明します。
read$k$-times Ordered Binary Decision Diagrams (k$-OBDD$)の幅の階層を拡張します。
論文 参考訳(メタデータ) (2022-04-22T12:37:56Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。