論文の概要: Prepare-and-Magic: Semi-Device Independent Magic Certification in the Prepare-and-Measure Scenario
- arxiv url: http://arxiv.org/abs/2506.02226v2
- Date: Wed, 17 Sep 2025 01:04:17 GMT
- ステータス: 翻訳完了
- システム内更新日: 2025-09-18 14:28:51.888643
- Title: Prepare-and-Magic: Semi-Device Independent Magic Certification in the Prepare-and-Measure Scenario
- Title（参考訳）: Prepare-and-Magic: Prepare-and-Measureシナリオにおける半デバイス独立マジック認定
- Authors: Santiago Zamora, Rafael A. Macedo, Tailan S. Sarubi, Moisés Alves, Davide Poderini, Rafael Chaves,
- Abstract要約: 我々は、準備・測定シナリオにおいて、非安定化状態の認証のための半デバイス非依存のフレームワークを開発する。
我々は,不確実性を証明する準備・対策証人のしきい値違反を解析的に証明する。
- 参考スコア（独自算出の注目度）: 0.12314765641075437
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: Non-stabilizerness is an essential resource for quantum computational advantage, as stabilizer states admit efficient classical simulation. We develop a semi-device-independent framework for certifying non-stabilizer states in prepare-and-measure (PAM) scenarios, relying only on assumptions about the system's dimension. Within this framework, we introduce prepare-and-measure witnesses that can distinguish stabilizer from non-stabilizer states, and we provide analytical proofs that threshold violations of these witnesses certify non-stabilizerness. In the simplest setting: three preparations, two measurements, and qubit systems, surpassing a specific threshold guarantees that at least one prepared state lies outside the stabilizer polytope, while a stronger violation can certify at least two. We extend this approach by linking it to quantum random access codes, also generalizing our results to qutrit systems and introducing a necessary condition for certifying non-stabilizerness based on state overlaps (Gram matrices). These results offer a set of semi-device-independent tools for practically and systematically verifying non-stabilizer states using prepare-and-measure inequalities.
- Abstract（参考訳）: 非安定化器性は量子計算上の優位性にとって必須の資源であり、安定化器状態は効率的な古典的シミュレーションを許容する。
我々は,システム次元の仮定にのみ依存して,PAMシナリオにおける非安定化状態の認証を行う,半デバイス非依存のフレームワークを開発する。
本枠組みでは、安定化剤と非安定化剤状態とを区別できる準備・対策証人を導入し、これらの証人のしきい値違反が非安定化剤性を証明する分析的証明を提供する。
最も単純な設定では、3つの準備、2つの測定、およびキュービット系は、特定のしきい値を超えると、少なくとも1つの準備状態が安定化器ポリトープの外側にあることを保証し、より強い違反は少なくとも2つの認証を行うことができる。
提案手法は,量子乱数アクセス符号にリンクし,クォート系に結果を一般化し,状態重なり(グラム行列)に基づいて非安定化性を証明するために必要な条件を導入することで拡張する。
これらの結果は、準備と測定の不等式を用いて、非安定化状態の実用的かつ体系的に検証するための半デバイス非依存ツールセットを提供する。
関連論文リスト
- Quantum Fidelity Estimation in the Resource Theory of Nonstabilizerness [11.386506926570442]
ノイズの多い量子デバイス上での 量子状態とプロセスのベンチマークには 忠実度推定が不可欠です
我々は,非安定化器性に関する資源理論において,量子状態とチャネルの両方の効率的なプロトコルを提案する。
論文 参考訳（メタデータ） (2025-06-15T18:51:09Z) - Stabilizer-Accelerated Quantum Many-Body Ground-State Estimation [0.0]
本研究では,多体形状の集合性の出現を説明するために,安定体形式,特に高絡み状態の安定化体をどう扱うかを検討する。
得られた安定化剤基底状態は、二粒子および集合多粒子の絡み合い特性の両方をかなり捉えている。
論文 参考訳（メタデータ） (2025-05-05T18:01:20Z) - Probabilistic Conformal Prediction with Approximate Conditional Validity [81.30551968980143]
本研究では,共形手法の柔軟性と条件分布の推定を組み合わせ,予測セットを生成する手法を開発した。
我々の手法は、条件付きカバレッジの観点から既存の手法よりも一貫して優れています。
論文 参考訳（メタデータ） (2024-07-01T20:44:48Z) - Distributionally Robust Policy and Lyapunov-Certificate Learning [13.38077406934971]
不確実なシステムに対する安定性を保証するコントローラの設計における重要な課題は、オンラインデプロイメント中のモデルパラメトリック不確実性の変化の正確な決定と適応である。
我々は、リアプノフ証明書の単調な減少を保証するために、リアプノフ微分チャンス制約を分布的に頑健に定式化することで、この問題に取り組む。
得られた閉ループシステムに対して、その平衡のグローバルな安定性は、アウト・オブ・ディストリビューションの不確実性があっても高い信頼性で証明できることを示す。
論文 参考訳（メタデータ） (2024-04-03T18:57:54Z) - Nonstabilizerness via matrix product states in the Pauli basis [0.0]
行列積状態(MPS)の枠組みにおける非安定化性評価のための新しい手法を提案する。
我々のフレームワークは、安定化器R'enyiエントロピー、安定化器Nullity、ベルマジックなど、様々な非安定化器性の測定を効率的に行うための強力なツールを提供する。
我々はIsingおよびXXZスピン鎖の基底状態や最近Rydberg原子配列で実現された回路力学において,本手法の有効性と汎用性を示す。
論文 参考訳（メタデータ） (2024-01-29T19:12:10Z) - Spectral stabilizability [0.0]
我々は,目標状態の固有分解に基づく安定化条件を開発する。
我々は、多くの模範的なオープンシステムシナリオに対する安定化性上の上限を導出するために、スペクトルアプローチを用いる。
論文 参考訳（メタデータ） (2022-12-23T10:38:31Z) - KCRL: Krasovskii-Constrained Reinforcement Learning with Guaranteed
Stability in Nonlinear Dynamical Systems [66.9461097311667]
形式的安定性を保証するモデルに基づく強化学習フレームワークを提案する。
提案手法は,特徴表現を用いて信頼区間までシステムダイナミクスを学習する。
我々は、KCRLが、基礎となる未知のシステムとの有限数の相互作用において安定化ポリシーを学ぶことが保証されていることを示す。
論文 参考訳（メタデータ） (2022-06-03T17:27:04Z) - Machine-Learning-Derived Entanglement Witnesses [55.76279816849472]
本稿では,線形支援ベクトルマシン (SVM) と絡み合い目撃者の対応を示す。
我々はこの対応を利用して、二部類と三部類(およびキュビット)の絡み合った状態に対する絡み合いの証人を生成する。
論文 参考訳（メタデータ） (2021-07-05T22:28:02Z) - Pointwise Feasibility of Gaussian Process-based Safety-Critical Control
under Model Uncertainty [77.18483084440182]
制御バリア関数(CBF)と制御リアプノフ関数(CLF)は、制御システムの安全性と安定性をそれぞれ強化するための一般的なツールである。
本稿では, CBF と CLF を用いた安全クリティカルコントローラにおいて, モデル不確実性に対処するためのガウスプロセス(GP)に基づくアプローチを提案する。
論文 参考訳（メタデータ） (2021-06-13T23:08:49Z) - Sample-efficient device-independent quantum state verification and
certification [68.8204255655161]
量子情報源の認証は、量子情報処理のための信頼性と効率的なプロトコルを構築する上で重要な課題である。
我々は、有限複写方式におけるIDI仮定のない量子状態のデバイス非依存検証のための体系的なアプローチを開発する。
デバイス非依存の検証を最適なサンプル効率で行うことができることを示す。
論文 参考訳（メタデータ） (2021-05-12T17:48:04Z) - SMT-based Safety Verification of Parameterised Multi-Agent Systems [78.04236259129524]
パラメータ化マルチエージェントシステム(MAS)の検証について検討する。
特に、与えられた状態公式として特徴づけられる不要な状態が、所定のMASで到達可能かどうかについて検討する。
論文 参考訳（メタデータ） (2020-08-11T15:24:05Z) - Learning Stabilizing Controllers for Unstable Linear Quadratic
Regulators from a Single Trajectory [85.29718245299341]
線形2次制御器(LQR)としても知られる2次コストモデルの下で線形制御器を研究する。
楕円形不確実性集合内の全ての系を安定化させる制御器を構成する2つの異なる半定値プログラム(SDP)を提案する。
高い確率で安定化コントローラを迅速に識別できる効率的なデータ依存アルゴリズムであるtextsceXplorationを提案する。
論文 参考訳（メタデータ） (2020-06-19T08:58:57Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。