論文の概要: The logical set of Gaussian states under the stabilizer subsystem decomposition
- arxiv url: http://arxiv.org/abs/2609.26898v1
- Date: Tue, 22 Sep 2026 18:01:13 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-09-25 00:05:17.708005
- Title: The logical set of Gaussian states under the stabilizer subsystem decomposition
- Title(参考訳): 安定化部分系分解におけるガウス状態の論理的集合
- Abstract要約: ガウス状態の Gottesman-Kitaev-Preskill 論理部分空間への写像は、非安定化資源を持つ論理量子ビットが得られることを示す。
私たちはこのフレームワークを認定ツールにします。
- 参考スコア(独自算出の注目度): 0.11726720776908518
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: Universal quantum computation requires non-Gaussianity in continuous-variable systems and non-stabilizerness in discrete-variable systems. Yet, mapping a Gaussian state into the Gottesman-Kitaev-Preskill logical subspace can yield a logical qubit with non-stabilizer resources. To understand how the continuous-variable structure determines logical resources, we characterize the image of single-mode Gaussian states under the corresponding extraction channel, known as the stabilizer subsystem decomposition. Specifically, we derive series expressions for the logical Bloch vector and characterize the resulting reachable set, enabling an analytical treatment of the robustness of magic of the logical states. We then turn this geometric framework into a certification tool: by mapping a discrete-variable qubit witness to a continuous-variable squeezing witness, we obtain lower bounds on the squeezing of prepared states. We also show that ensembles of Gaussian states can violate both stabilizer and classical bounds. Violation of the stabilizer bound certifies the relational resource known as "set-magic," while violation of the classical bound enables the certification of cryptographic randomness at moderate squeezing.
- Abstract(参考訳): 普遍量子計算は連続変数系では非ガウス性、離散変数系では非安定化性を必要とする。
しかし、ガウス状態からゴッテマン・キタエフ・プレスキル論理部分空間への写像は、非安定化器資源を持つ論理キュービットが得られる。
連続変数構造が論理資源をどのように決定するかを理解するため、安定化器サブシステム分解と呼ばれる対応する抽出チャネルの下で、単一モードガウス状態の像を特徴付ける。
具体的には、論理ブロッホベクトルの直列表現を導出し、結果として得られる到達可能な集合を特徴づけ、論理状態の魔法の堅牢性の解析的処理を可能にする。
離散変数キュービットの証人を連続変数の証人にマッピングすることで、準備された状態のスクイーズに関する低い境界を得る。
また、ガウス状態のアンサンブルが安定化器と古典的境界の両方に反する可能性があることも示している。
スタビライザー境界の違反は、"set-magic"と呼ばれるリレーショナルリソースを認証する一方、古典的境界の違反は、適度なスクイージングにおける暗号ランダム性の認証を可能にする。
関連論文リスト
- An Entanglement-Assisted Stabilizer Framework for Distributed Sensing of Local Phases [0.15293427903448018]
分散量子センシングは、局所的なパラメータを取得するために空間的に分離されたプローブを必要とする。
我々は、絡み合い支援型量子誤り訂正符号の拡張構造に基づいて、絡み合い支援型安定化器フレームワークを開発する。
論文 参考訳(メタデータ) (2026-09-02T04:38:00Z) - Integro-differential equations in angular stabilization of drone motion by distributed feedback control [41.99844472131922]
本稿では,分散フィードバック制御によるドローン動作の角安定化を積分演算子として提案する。
この積分作用素のメモリがアンバウンド可能であることを強調すべきである。
制御における非有界メモリは、積分微分方程式の研究において、標準メモリとは異なる特定のアプローチを作成する必要がある。
論文 参考訳(メタデータ) (2026-05-10T14:16:45Z) - Verifying Closed-Loop Contractivity of Learning-Based Controllers via Partitioning [52.23804865017831]
本稿では,ニューラルネットワークによるパラメータ化を行う非線形制御系における閉ループ収縮の検証問題に対処する。
我々は、対称メッツラー行列の優越的固有値が非正であることを確かめるために、閉ループの縮約性に対するトラクタブルでスケーラブルな十分条件を導出する。
論文 参考訳(メタデータ) (2025-12-01T23:06:56Z) - Hybrid oscillator-qudit quantum processors: stabilizer states and symplectic operations [0.6138671548064355]
離散変数と連続変数の組み合わせで安定化状態と誤り訂正符号を構築する。
本稿では、可換行列、整数シンプレクティック行列、二進符号を用いた例を示す。
論文 参考訳(メタデータ) (2025-08-06T18:57:45Z) - The non-stabilizerness of fermionic Gaussian states [0.0]
フェルミオンガウス状態の非安定化性を定量化する効率的な方法を提案する。
対数的減算補正を施したハール乱数状態に匹敵する広範囲な先行挙動を明らかにする。
2次元自由フェルミオントポロジカルモデルにサンプリングアルゴリズムを適用し、位相境界における非安定化性の急激な遷移を明らかにする。
論文 参考訳(メタデータ) (2024-12-06T19:00:16Z) - Sufficient condition for universal quantum computation using bosonic
circuits [44.99833362998488]
我々は、計算普遍性にシミュレート可能な回路の促進に重点を置いている。
まず、連続変数状態をキュービット状態にマッピングするための一般的なフレームワークを紹介します。
次に、モジュラーおよび安定化サブシステム分解を含む既存のマップをこのフレームワークにキャストします。
論文 参考訳(メタデータ) (2023-09-14T16:15:14Z) - Provable Guarantees for Generative Behavior Cloning: Bridging Low-Level
Stability and High-Level Behavior [51.60683890503293]
生成モデルを用いた複雑な専門家による実演の行動クローニングに関する理論的枠組みを提案する。
任意の専門的軌跡の時間ごとのステップ分布に一致するトラジェクトリを生成することができることを示す。
論文 参考訳(メタデータ) (2023-07-27T04:27:26Z) - Robust Control for Dynamical Systems With Non-Gaussian Noise via Formal
Abstractions [59.605246463200736]
雑音分布の明示的な表現に依存しない新しい制御器合成法を提案する。
まず、連続制御系を有限状態モデルに抽象化し、離散状態間の確率的遷移によってノイズを捕捉する。
我々は最先端の検証技術を用いてマルコフ決定プロセスの間隔を保証し、これらの保証が元の制御システムに受け継がれるコントローラを演算する。
論文 参考訳(メタデータ) (2023-01-04T10:40:30Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。