論文の概要: Verified delegated quantum computation requires techniques beyond cut-and-choose

• arxiv url: http://arxiv.org/abs/2603.09368v1
• Date: Tue, 10 Mar 2026 08:45:23 GMT
• ステータス: 翻訳完了
• システム内更新日: 2026-03-11 15:25:24.162019
• Title: Verified delegated quantum computation requires techniques beyond cut-and-choose
• Title（参考訳）: 証明されたデリゲート量子計算はカット・アンド・チョースを超える技術を必要とする
• Abstract要約: デリゲート量子計算により、限られた量子能力を持つクライアントは、より強力な量子サーバに計算をアウトソースすることができる。 一般的な検証方法は量子カット・アンド・チョース法である。 カット・アンド・チョースは、コストのかかる余分な手法を使わずに、効率的かつセキュアな量子計算を実現できるかどうかを考察する。
• 参考スコア（独自算出の注目度）: 0.0
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: Delegated quantum computation enables a client with limited quantum capabilities to outsource computations to a more powerful quantum server while preserving correctness and privacy. Verification is crucial in this setting to ensure that the untrusted quantum server performs the computation honestly and returns correct results. A common verification method is the quantum cut-and-choose technique. Inspired by classical verification methods for two-party computation, the client uses the majority of the delegated rounds to test the server's honesty, while keeping the remaining ones for the actual computation. Combining this technique with other methods, such as quantum error correction, could help achieve negligible cheating probabilities for the server; however, such methods can impose significant overheads making implementations unfeasible for the near-term future. In this work, we investigate whether cut-and-choose can yield efficient and secure verifiable quantum computation without additional costly techniques. We find that verifiable delegated quantum computation protocols relying solely on cut-and-choose techniques cannot be secure and efficient at the same time.
• Abstract（参考訳）: デリゲート量子計算により、限られた量子能力を持つクライアントは、正確性とプライバシを保ちながら、計算をより強力な量子サーバにアウトソースすることができる。 この設定では、信頼できない量子サーバが率直に計算を実行し、正しい結果を返すことを保証するため、検証が不可欠である。 一般的な検証方法は量子カット・アンド・チョース法である。 クライアントは2要素計算の古典的な検証手法にインスパイアされ、デリゲートされたラウンドの大多数をサーバの正直さをテストするために使用し、残りは実際の計算のために保持する。 この手法と、量子エラー補正などの他の手法を組み合わせることで、サーバに対する無視可能な不正行為の確率を達成することができるが、これらの手法は、近い将来実装が不可能になる重大なオーバーヘッドを課す可能性がある。 本研究では, カット・アンド・チョースは, コストのかかる追加の手法を使わずに, 効率よく, 確実に検証可能な量子計算を実現できるか検討する。 カット・アンド・チョース技術のみに頼っている検証可能なデリゲート量子計算プロトコルは、同時に安全かつ効率的なものにはならない。

関連論文リスト

• Reinforcement Learning Control of Quantum Error Correction [108.70420561323692]
  量子コンピュータは、エラーから直接自己改善することを学び、決してコンピューティングを止めない。 この研究によって新しいパラダイムが実現された: 量子コンピュータは、そのエラーから直接自己改善を学び、決してコンピューティングを止めない。
  論文  参考訳（メタデータ） (2025-11-11T17:32:25Z)
• Verifiable End-to-End Delegated Variational Quantum Algorithms [0.0]
  変分量子アルゴリズム(VQA)は、短期量子ハードウェア上で複雑な最適化と機械学習タスクを解くための有望な候補として登場した。 ハードウェアの制約がいくつかあるため、小さなユーザにとっては量子演算の実行は依然として困難である。 本稿では、量子能力に制限のあるクライアントがVQAの実行をより強力な量子サーバに委譲する分散変分量子アルゴリズムのフレームワークを提案する。
  論文  参考訳（メタデータ） (2025-04-21T19:36:42Z)
• On-Chip Verified Quantum Computation with an Ion-Trap Quantum Processing Unit [0.5497663232622965]
  本稿では、量子コンピューティングの検証とベンチマークのための新しいアプローチを提示し、実験的に実証する。 従来の情報理論的にセキュアな検証プロトコルとは異なり、我々のアプローチは完全にオンチップで実装されている。 我々の結果は、短期量子デバイスにおけるよりアクセスしやすく効率的な検証とベンチマーク戦略の道を開いた。
  論文  参考訳（メタデータ） (2024-10-31T16:54:41Z)
• The curse of random quantum data [62.24825255497622]
  量子データのランドスケープにおける量子機械学習の性能を定量化する。 量子機械学習におけるトレーニング効率と一般化能力は、量子ビットの増加に伴い指数関数的に抑制される。 この結果は量子カーネル法と量子ニューラルネットワークの広帯域限界の両方に適用できる。
  論文  参考訳（メタデータ） (2024-08-19T12:18:07Z)
• Experimental verifiable multi-client blind quantum computing on a Qline architecture [0.5018974919510384]
  分散アーキテクチャにおける2サイクル検証可能なブラインド量子コンピューティングプロトコルの最初の実験的実装を提供する。 その結果,大規模ネットワークにおけるマルチテナント分散量子計算の検証の新たな視点が示された。
  論文  参考訳（メタデータ） (2024-07-12T14:48:58Z)
• Verification of Quantum Computations without Trusted Preparations or Measurements [0.6249768559720122]
  我々は、既知の検証スキームを信頼されたゲートのみに依存するプロトコルに変換するモジュール的で構成可能で効率的な方法を提案する。 我々の最初の貢献は、Z軸とビットフリップの1量子ビット回転の信頼できる適用に対するBQPの量子検証の問題を非常に軽量に削減することである。 2つ目の構成は、信頼できる準備や測定なしに、任意の量子計算を量子出力で情報理論的に検証することは一般的に可能であることを示している。
  論文  参考訳（メタデータ） (2024-03-15T16:54:28Z)
• Robust and efficient verification of graph states in blind measurement-based quantum computation [52.70359447203418]
  Blind Quantum Computing (BQC) は、クライアントのプライバシを保護するセキュアな量子計算手法である。 資源グラフ状態が敵のシナリオで正確に準備されているかどうかを検証することは重要である。 本稿では,任意の局所次元を持つ任意のグラフ状態を検証するための,堅牢で効率的なプロトコルを提案する。
  論文  参考訳（メタデータ） (2023-05-18T06:24:45Z)
• Delegated variational quantum algorithms based on quantum homomorphic encryption [69.50567607858659]
  変分量子アルゴリズム(VQA)は、量子デバイス上で量子アドバンテージを達成するための最も有望な候補の1つである。 クライアントのプライベートデータは、そのような量子クラウドモデルで量子サーバにリークされる可能性がある。 量子サーバが暗号化データを計算するための新しい量子ホモモルフィック暗号(QHE)スキームが構築されている。
  論文  参考訳（メタデータ） (2023-01-25T07:00:13Z)
• Oblivious Quantum Computation and Delegated Multiparty Quantum Computation [61.12008553173672]
  本稿では、入力量子ビットの秘密性と量子ゲートを識別するプログラムを必要とする新しい計算量子計算法を提案する。 本稿では,この課題に対する2サーバプロトコルを提案する。 また,従来の通信のみを用いて,複数のユーザがサーバにマルチパーティ量子計算を依頼する多パーティ量子計算についても論じる。
  論文  参考訳（メタデータ） (2022-11-02T09:01:33Z)
• Circuit Symmetry Verification Mitigates Quantum-Domain Impairments [69.33243249411113]
  本稿では,量子状態の知識を必要とせず,量子回路の可換性を検証する回路指向対称性検証を提案する。 特に、従来の量子領域形式を回路指向安定化器に一般化するフーリエ時間安定化器(STS)手法を提案する。
  論文  参考訳（メタデータ） (2021-12-27T21:15:35Z)
• Delegating Multi-Party Quantum Computations vs. Dishonest Majority in Two Quantum Rounds [0.0]
  マルチパーティ量子計算(MPQC)は、量子ネットワークのキラーアプリケーションとして多くの注目を集めている。 単一の正直なクライアントであっても、盲目性と妥当性を達成できる構成可能なプロトコルを提案する。
  論文  参考訳（メタデータ） (2021-02-25T15:58:09Z)

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

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