論文の概要: Verification of Quantum Computations: Hardware-Efficient Security Proofs

• arxiv url: http://arxiv.org/abs/2607.03983v1
• Date: Sat, 04 Jul 2026 18:44:43 GMT
• ステータス: 翻訳完了
• システム内更新日: 2026-07-07 22:26:29.784956
• Title: Verification of Quantum Computations: Hardware-Efficient Security Proofs
• Title（参考訳）: 量子計算の検証:ハードウェア効率の良いセキュリティ証明
• Abstract要約: この写本は、統計的(情報理論的な)セキュリティの下でこの問題に答えるための、最近の発展のいくつかの概念的な合成を提供する。 検証を3つの独立したプリミティブに分割するモジュラーで構成可能なフレームワークを導入します。 空間的オーバーヘッドを排除し、計算基底ダミー状態を作成する必要をなくし、単一光子源を信頼された局所回転や弱いコヒーレントパルスで置き換える方式をレビューする。
• 参考スコア（独自算出の注目度）: 0.0
• License: http://creativecommons.org/licenses/by-nc-nd/4.0/
• Abstract: How can a user with limited quantum resources verify the output of an untrusted, fully quantum server? This manuscript provides a conceptual synthesis of some recent developments toward answering this question under statistical (information-theoretic) security. Rather than duplicating the dense technical proofs of the underlying publications, our focus here is on the physical motivations, the structural connections between different protocols, and the path toward hardware-efficient implementation. We begin by introducing a modular, composable framework that partitions verification into three distinct, independent primitives: remote state preparation, trap-based deviation detection, and error-correcting embedding. Using this framework, we show how the demanding hardware requirements of early protocols can be systematically relaxed. We review schemes that eliminate the spatial overhead, remove the need to prepare computational-basis dummy states, and replace single-photon sources with trusted local rotations or weak coherent pulses. Finally, we examine how these techniques scale, both to asymmetric multi-party settings and to the delegation of fully fault-tolerant computations in the presence of gate-level noise. This document is intended as a guide to the architectural principles of practical quantum verification.
• Abstract（参考訳）: 限られた量子リソースを持つユーザは、信頼できない完全量子サーバの出力を検証するにはどうすればよいのか? この写本は、統計的(情報理論的な)セキュリティの下でこの問題に答えるための、最近の発展のいくつかの概念的な合成を提供する。 基礎となる出版物の厳密な技術証明を複製するのではなく、物理的なモチベーション、異なるプロトコル間の構造的接続、ハードウェア効率の高い実装への道のりに注目しています。 まず、検証を独立した3つの独立したプリミティブ(リモート状態の準備、トラップベースの偏差検出、エラー修正の埋め込み)に分割するモジュラーで構成可能なフレームワークを導入します。 このフレームワークを用いて、初期プロトコルの要求されるハードウェア要件をどのように体系的に緩和するかを示す。 空間的オーバーヘッドを排除し、計算基底ダミー状態を作成する必要をなくし、単一光子源を信頼された局所回転や弱いコヒーレントパルスで置き換える方式をレビューする。 最後に,これらの手法が,非対称なマルチパーティ設定と,ゲートレベルのノイズの存在下での完全フォールトトレラント計算の委譲の両方にどのようにスケールするかを検討する。 この文書は、実用的な量子検証のアーキテクチャ原理のガイドとして意図されている。

関連論文リスト

• Efficient quantum state preparation on Quantinuum hardware [5.8774791521019765]
  我々は、資源効率のよい量子状態準備と、短期量子ハードウェア上での高速で堅牢な忠実性検証を組み合わせたエンドツーエンドのフレームワークを実証した。 我々は,量子H2-1トラップイオンプラットフォーム上で,F_mathrmhw = 0.929$という高いハードウェア忠実度を達成した。
  論文  参考訳（メタデータ） (2026-09-08T08:23:15Z)
• Composable Verification in the Circuit-Model via Magic-Blindness [0.0]
  我々はClifford + MSI 回路に対して、頑健で構成可能で効率的な検証プロトコルのファミリーを導入する。 私たちの技術は、マジック・ブラインドネス(Magic-blindness)と呼ばれる洗練された盲目の概念に基づいており、注入されたマジック状態だけを隠す。 その結果、回路ベースの量子検証は、これまでMBQCでのみ知られていたセキュリティとロバスト性が同じレベルに達する。
  論文  参考訳（メタデータ） (2026-01-12T00:30:24Z)
• Formal Verification of Variational Quantum Circuits [44.06507276521908]
  変分量子回路(VQC)は多くの量子機械学習アルゴリズムの中心的なコンポーネントである。 本稿では,VQCの形式的検証問題に関する基礎的および実践的研究について述べる。
  論文  参考訳（メタデータ） (2025-07-14T12:28:32Z)
• Device-independent secure correlations in sequential quantum scenarios [44.99833362998488]
  デバイスに依存しない量子情報は、特に情報セキュリティにおけるその応用において、大きな注目を集めている。 本稿では,デバイスに依存しないセキュリティを実現するために,シーケンシャルな量子プロトコルを設計するための体系的なアプローチを提案する。 この体系的な構成により、結果の理想的な相関は、他の相関の統計的混合として再現できないという意味で、安全であることが解析的に証明される。
  論文  参考訳（メタデータ） (2025-03-18T16:45:20Z)
• Entropy Accumulation under Post-Quantum Cryptographic Assumptions [4.416484585765028]
  デバイス非依存(DI)量子プロトコルでは、セキュリティステートメントは量子装置の特性を損なう。 本稿では,量子情報理論のツールの組み合わせを利用して,そのようなプロトコルの安全性を証明するフレキシブルなフレームワークを提案する。
  論文  参考訳（メタデータ） (2023-07-02T12:52:54Z)
• Correcting for finite statistics effects in a quantum steering experiment [33.013102271622614]
  本稿では,実験的な確率分布における信号効果を補正する一方的なデバイス非依存プロトコルを提案する。 以上の結果から, 既往の最先端不平等よりも, 違反の可能性が著しく高いことが明らかとなった。 この研究は、絡み合い検証のための半定値プログラミングのパワーを示し、量子ネットワークを実用的な応用に近づける。
  論文  参考訳（メタデータ） (2023-05-23T14:39:08Z)
• Robust and efficient verification of graph states in blind measurement-based quantum computation [52.70359447203418]
  Blind Quantum Computing (BQC) は、クライアントのプライバシを保護するセキュアな量子計算手法である。 資源グラフ状態が敵のシナリオで正確に準備されているかどうかを検証することは重要である。 本稿では,任意の局所次元を持つ任意のグラフ状態を検証するための,堅牢で効率的なプロトコルを提案する。
  論文  参考訳（メタデータ） (2023-05-18T06:24:45Z)
• Experimentally Certified Transmission of a Quantum Message through an Untrusted and Lossy Quantum Channel via Bell's Theorem [1.0470286407954037]
  敵のシナリオでは、認証手法は、基盤となるシステムに過度に信頼を置いている場合、攻撃に対して脆弱である可能性がある。 本稿では、実用的な量子伝送リンクの認証を可能にする、デバイス独立フレームワークにおけるプロトコルを提案する。 フォローアップアプリケーションにおける認証された送信状態の使用の観点から、我々のプロトコルは、送信された量子メッセージ自体の品質を推定できるように、チャネルの認証を超えています。
  論文  参考訳（メタデータ） (2023-04-19T12:22:49Z)
• Resource analysis for quantum-aided Byzantine agreement with the four-qubit singlet state [1.2094859111770522]
  分散コンピューティングでは、ビザンツ断層(Byzantine fault)は、コンポーネントが不整合に振る舞う状態であり、システムの異なるコンポーネントに対して異なる症状を示す。 我々の研究は、量子通信プロトコルを多ビットの絡み合った状態に展開する上で重要な工学的側面を強調している。
  論文  参考訳（メタデータ） (2022-07-11T15:17:58Z)
• Experimental quantum key distribution certified by Bell's theorem [0.0]
  暗号鍵交換プロトコルは、伝統的に、盗聴攻撃に対するセキュリティを提供するために、計算予想に依存しています。 量子鍵分布プロトコルは、そのような攻撃に対して情報理論のセキュリティを提供する。 しかし、量子プロトコルは、関連する物理デバイスの実装欠陥を悪用する新たなタイプの攻撃の対象となっている。 ここでは、これらの脆弱性に免疫する完全量子鍵分布プロトコルの実験的実現について述べる。
  論文  参考訳（メタデータ） (2021-09-29T17:52:48Z)
• Quantum verification and estimation with few copies [63.669642197519934]
  大規模絡み合ったシステムの検証と推定は、信頼性の高い量子情報処理にそのようなシステムを用いる際の大きな課題の1つである。 本稿では,資源の一定数(サンプリング複雑性)に着目し,任意の次元のシステムに適していることを示す。 具体的には、量子状態トモグラフィー(quantum state tomography)の概念とともに、エンタングルメント検出のために少なくとも1つのコピーだけを必要とする確率的フレームワークをレビューする。
  論文  参考訳（メタデータ） (2021-09-08T18:20:07Z)
• Sample-efficient device-independent quantum state verification and certification [68.8204255655161]
  量子情報源の認証は、量子情報処理のための信頼性と効率的なプロトコルを構築する上で重要な課題である。 我々は、有限複写方式におけるIDI仮定のない量子状態のデバイス非依存検証のための体系的なアプローチを開発する。 デバイス非依存の検証を最適なサンプル効率で行うことができることを示す。
  論文  参考訳（メタデータ） (2021-05-12T17:48:04Z)
• Fusion-based quantum computation [43.642915252379815]
  フュージョンベース量子コンピューティング(Fusion-based quantum computing、FBQC)は、核融合と呼ばれるエンタングリングの測定を、小さな定数サイズのエンタングルド・リソース状態の量子ビット上で行う、普遍量子計算のモデルである。 本稿では,これらのスキームにおける耐故障性と計算を解析するための安定化器形式について紹介する。 このフレームワークは、フォトニクスのような量子コンピューティングの特定の物理系で発生するエラー構造を自然に捉えている。
  論文  参考訳（メタデータ） (2021-01-22T20:00:22Z)

関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。

指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。