論文の概要: Parallel Repetition for Post-Quantum Arguments
- arxiv url: http://arxiv.org/abs/2506.02277v1
- Date: Mon, 02 Jun 2025 21:36:31 GMT
- ステータス: 翻訳完了
- システム内更新日: 2025-06-04 21:47:35.093312
- Title: Parallel Repetition for Post-Quantum Arguments
- Title（参考訳）: 量子後問題に対する並列反復法
- Authors: Andrew Huang, Yael Tauman Kalai,
- Abstract要約: 公開コイン対話型引数の並列反復は,時間後設定においても指数速度で音質誤差を減少させることを示す。
この結果を一般化して、並列反復検証器が少なくとも$t$の実行を受け入れた場合にのみ受け入れるしきい値検証器の保持を行う。
- 参考スコア（独自算出の注目度）: 6.862157837657654
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: In this work, we show that parallel repetition of public-coin interactive arguments reduces the soundness error at an exponential rate even in the post-quantum setting. Moreover, we generalize this result to hold for threshold verifiers, where the parallel repeated verifier accepts if and only if at least $t$ of the executions are accepted (for some threshold $t$). Prior to this work, these results were known only when the cheating prover was assumed to be classical. We also prove a similar result for three-message private-coin arguments. Previously, Bostanci, Qian, Spooner, and Yuen (STOC 2024) proved such a parallel repetition result in the more general setting of quantum protocols, where the verifier and communication may be quantum. We consider only protocols where the verifier is classical, but obtain a simplified analysis, and for the more general setting of threshold verifiers.
- Abstract（参考訳）: 本研究では,公開コイン対話型引数の並列反復は,後量子設定においても指数速度で音質誤差を減少させることを示す。
さらに、この結果をしきい値検証器に当てはめるように一般化し、並列繰り返し検証器が少なくとも$t$の実行が受け入れられた場合にのみ受け入れる(しきい値$t$の場合)。
この研究以前には、これらの結果は、不正な証明者が古典的なものであると仮定された時にのみ知られていた。
また,3メッセージのプライベートコインの議論でも同様の結果が得られた。
以前は、Bostanci, Qian, Spooner, Yuen (STOC 2024) は、検証器と通信が量子であるような量子プロトコルのより一般的な設定において、このような並列的な繰り返しを証明していた。
我々は、検証者が古典的であるプロトコルのみを考えるが、簡易な解析とより一般的なしきい値検証の設定を得る。
関連論文リスト
- Self-testing in the compiled setting via tilted-CHSH inequalities [0.0]
コンパイルされた2プロベルシナリオに対する自己テストの概念を定式化する。
我々は,コンパイルされた不等式の設定における最大違反が,コンパイルされた設定における自己テストの概念を満たすことを示す。
論文 参考訳（メタデータ） (2024-06-07T14:49:40Z) - An efficient quantum parallel repetition theorem and applications [3.4632646061649064]
計算セキュアな量子対話プロトコルに対して,3ドル(約3,300円)の並列反復定理を証明した。
また,4ドル(約4,400円)のセキュアなプロトコルのセキュリティは,並列反復では一般的に低下しないという仮説を実証する。
論文 参考訳（メタデータ） (2023-11-17T18:06:36Z) - Simple Tests of Quantumness Also Certify Qubits [69.96668065491183]
量子性の検定は、古典的検証者が証明者が古典的でないことを(のみ)証明できるプロトコルである。
我々は、あるテンプレートに従う量子性のテストを行い、(Kalai et al., 2022)のような最近の提案を捉えた。
すなわち、同じプロトコルは、証明可能なランダム性や古典的な量子計算のデリゲートといったアプリケーションの中心にあるビルディングブロックであるqubitの認定に使用できる。
論文 参考訳（メタデータ） (2023-03-02T14:18:17Z) - Interactive Protocols for Classically-Verifiable Quantum Advantage [46.093185827838035]
証明者と検証者の間の「相互作用」は、検証可能性と実装のギャップを埋めることができる。
イオントラップ量子コンピュータを用いた対話型量子アドバンストプロトコルの最初の実装を実演する。
論文 参考訳（メタデータ） (2021-12-09T19:00:00Z) - Depth-efficient proofs of quantumness [77.34726150561087]
量子性の証明は、古典的検証器が信頼できない証明器の量子的利点を効率的に証明できる挑戦応答プロトコルの一種である。
本稿では、証明者が量子回路を一定深度でしか実行できない量子性構成の証明を2つ与える。
論文 参考訳（メタデータ） (2021-07-05T17:45:41Z) - Post-Quantum Succinct Arguments: Breaking the Quantum Rewinding Barrier [73.70426431502803]
キリアンの4メッセージ簡潔な引数系は、標準モデルでは量子後安全であることを示す。
これにより、任意の偽の仮定から最初の量子後簡潔な論証システムが得られる。
論文 参考訳（メタデータ） (2021-03-15T05:09:17Z) - Secure Two-Party Quantum Computation Over Classical Channels [63.97763079214294]
古典的アリス(Alice)と量子的ボブ(Quantum Bob)が古典的なチャネルを通してのみ通信できるような設定を考える。
悪質な量子逆数の場合,ブラックボックスシミュレーションを用いた2次元量子関数を実現することは,一般に不可能であることを示す。
我々は、QMA関係Rの古典的量子知識(PoQK)プロトコルを入力として、古典的当事者によって検証可能なRのゼロ知識PoQKを出力するコンパイラを提供する。
論文 参考訳（メタデータ） (2020-10-15T17:55:31Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。