論文の概要: Sufficient quantum provenance: retained fields and certified recording precision
- arxiv url: http://arxiv.org/abs/2610.09931v1
- Date: Wed, 07 Oct 2026 12:17:09 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-10-08 21:58:22.900207
- Title: Sufficient quantum provenance: retained fields and certified recording precision
- Title（参考訳）: 十分な量子前駆体:残留磁場と認定記録精度
- Abstract要約: 本稿では,連続記録精度向上のための回路由来証明書を提案する。
独立チャネル混合確率は、遅延ノイズフラグの親和性を通過する。
深さ1での4ビットQAOAの場合、13ビット比較記録は0.05以下の距離を保証している。
- 参考スコア（独自算出の注目度）: 0.0
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: Which execution details must a quantum computation retain, and to what precision, to support a declared comparison? We define a sufficient record by the largest Hellinger distance between outcome laws that share it. Our main result is a circuit-derived certificate for continuous recording precision: independent channel-mixture probabilities enter through the affinity of latent noise flags, while coherent rotation differences enter through conditional quantum fidelity. Their joint composition bounds whole record cells without simulating their outcome distributions. For four-qubit QAOA at depth one, a 13-bit comparison record guarantees distance below 0.05 throughout a declared continuous noise box, uniformly over programmed angles when comparisons hold the logical task fixed. A construction with observable noise flags attains the general bound. Exact tensorization of Hellinger affinity connects recording precision to the length of a future measurement transcript. On finite context classes, separation witnesses certify minimum-cost field retention; a four-field record is the unique minimum for 28 archived QAOA instances. Fresh six-qubit processor measurements establish different minimum label counts at one common tolerance: two labels are necessary and sufficient for raw laws, while one suffices after a fixed decoder for a synthetic image-segmentation task. These hardware conclusions are conditional on stationary independent shots and remain distinct from the analytic channel certificate. Shared task definitions and evidential archives are retained separately. The framework specifies which execution distinctions matter, how precisely to record them, and what evidence supports the resulting agreement guarantee.
- Abstract（参考訳）: どの実行の詳細が量子計算を保持し、どの精度で、宣言された比較をサポートする必要があるか?
我々は、それを共有する結果法の間の最大のヘルリングス距離で十分な記録を定義する。
独立チャネル混合確率は遅延雑音フラグの親和性を通過するが、コヒーレント回転差は条件付き量子忠実度を通過する。
彼らの関節構成は、結果の分布をシミュレートすることなく、レコード細胞全体を束縛する。
深さ1の4ビットQAOAの場合、13ビット比較記録は、宣言された連続ノイズボックスを通して0.05以下の距離を保証する。
観測可能なノイズフラグを備えた構造は、一般境界に達する。
Hellingerアフィニティの厳密なテンソル化は、記録精度を将来の測定書き起こしの長さに結びつける。
有限コンテキストクラスでは、分離証人は最小コストのフィールド保持を認定する; 4フィールド記録は28のアーカイブされたQAOAインスタンスのユニークな最小値である。
新鮮な6キュービットプロセッサ測定は、2つのラベルは生の法則に必要で十分であり、1つのラベルは合成画像分離タスクのための固定デコーダの後に十分である。
これらのハードウェアの結論は定常的な独立ショットで条件付きであり、解析チャネル証明書とは異なるままである。
共有されたタスク定義と明確なアーカイブは別々に保持される。
このフレームワークは、どの実行の区別が重要か、どのように正確に記録するか、そして結果の合意を保証する証拠を特定する。
関連論文リスト
- Watermarking: from Impossibility to Auditable Compliance [78.87513208320995]
EU人工知能法第50条(2)は、合成出力を機械可読かつ検出可能にするために、生成システムの提供者を要求する。
自由形式のテキストにとって、重要な実装の1つは、生成的な透かし処理の実装である。
本稿は、強い透かしに代わる聴覚的な代替品を開発する。
論文 参考訳（メタデータ） (2026-10-05T13:32:41Z) - Simultaneous Circuit Tests for Finite Reversible Models of Quantum Control [0.0]
有限可逆モデルは、個々の量子ゲートを近似し、遷移テーブルや準備コンテキストに自由を維持しながら保持することができる。
1つの定常制御装置と1つの準備法則が回路確率の集合全体を再現しなければならないという同時認証問題を定式化する。
論文 参考訳（メタデータ） (2026-10-04T05:02:16Z) - Differentiable Interval Bottlenecks for Interpretable Anomaly Detection in Numerical Data [0.5213778368155993]
DIFFINTは、遅延ボトルネックがソフトな軸方向のインターバルメンバシップのセットとして構成されるオートエンコーダである。
統計的にタイトされた7つの方法のリードクラスターの中で唯一の解釈可能な検出器である。
論文 参考訳（メタデータ） (2026-09-03T14:05:27Z) - New Methods and Frameworks for Quantum State Preparation in Modern Quantum Systems [0.0]
デジタル信号誘起ヒープ変換(DsiHT)上に構築された2つの合成、すなわち、QsiHT高速経路実合成とQsiHT高速経路複素合成である。
どちらも、UCC、アイソメトリ、多重化、Schmidt/SVD、QSD、ヒープ変換ファミリにまたがる10の構成に対してベンチマークされる。
論文 参考訳（メタデータ） (2026-08-10T17:32:27Z) - How Far Do Foundation Models Transfer to Infant Signals? A Cross-Dataset Transfer Audit with a Unified Need Ontology [0.0]
公立の乳幼児の涙コーパスは小さく、ラベルと互換性がなく、ほぼ常に一度に1つのコーパスを評価している。
統合された5クラス要求オントロジーと共有タスク定式化の下で、4つの凍結エンコーダと手作りベースラインを探索する。
オントロジー、マッピングコード、監査パイプラインをリリースし、互換性のないCry corporaを使用可能な共同トレーニングリソースにします。
論文 参考訳（メタデータ） (2026-08-10T01:22:32Z) - Stage-Replay Divergence Follows the KV Cache: Fixed-Prefix Precision Controls and Bidirectional Cache Transplantation [51.56484100374058]
Stage-replayは中間トークンプレフィックスを再構築し、プレフィックスに最初に到達したデコーダ状態からの継続として、新しいプリフィル継続を処理する。
一致した200itemの実験では、保持されたライブキャッシュと同一の整数トークンのワンショットプリフィルを比較し、両側に正確なレプリカを配置する。
論文 参考訳（メタデータ） (2026-07-30T16:41:40Z) - Partial Contracts Suffice: Sound, LLM-Inferred Regression Verification [7.004725450780227]
本稿では,契約に基づく回帰検証ツールについて紹介する。
契約の健全性は、すべての関数バージョンが振舞いと一致することを証明することによって保証される。
完全な振る舞い仕様ではなく、部分的かつ呼び出し側対応の契約で十分かどうかを問う。
論文 参考訳（メタデータ） (2026-07-11T12:40:22Z) - Correction and Corruption: A Two-Rate View of Error Flow in LLM Protocols [51.56484100374058]
そこで本研究では,単一プロトコルステップを正確なマッチングタスクで監査するためのペアアウトカム計測インタフェースを提案する。
各インスタンスについて、インターフェースはベースラインの正当性ビットと後ステップの正当性ビットを記録する。
これらのレートは精度の変化を予測し、種、混合物、パイプライン間でテスト可能な再利用可能な経験的インターフェースを定義する。
論文 参考訳（メタデータ） (2026-04-20T13:25:40Z) - Robust Conformal Prediction with a Single Binary Certificate [58.450154976190795]
コンフォーマル予測(CP)は、任意のモデルの出力を、真のラベルを(調整可能な)高い確率でカバーすることを保証した予測セットに変換する。
我々は,MCサンプルが著しく低い場合でも,より小さな集合を生成する頑健な共形予測を提案する。
論文 参考訳（メタデータ） (2025-03-07T08:41:53Z) - Efficient and robust certification of genuine multipartite entanglement
in noisy quantum error correction circuits [58.720142291102135]
実効多部絡み(GME)認証のための条件付き目撃手法を導入する。
線形な二分割数における絡み合いの検出は, 多数の測定値によって線形にスケールし, GMEの認証に十分であることを示す。
本手法は, 距離3の位相的カラーコードとフラグベースの耐故障バージョンにおける安定化作用素の雑音可読化に適用する。
論文 参考訳（メタデータ） (2020-10-06T18:00:07Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。