論文の概要: Quantum Statistical Witness Indistinguishability

• arxiv url: http://arxiv.org/abs/2509.01945v1
• Date: Tue, 02 Sep 2025 04:33:09 GMT
• ステータス: 翻訳完了
• システム内更新日: 2025-09-04 15:17:03.905518
• Title: Quantum Statistical Witness Indistinguishability
• Title（参考訳）: 量子統計ウイットネスの識別不可能性
• Authors: Shafik Nassar, Ronak Ramachandran,
• Abstract要約: 真に検証可能な量子統計的証人が存在する場合の問題は、3メッセージのパブリックコインの悪意のある検証者量子統計的証人による識別不可能な証明である。 我々は、ビタンスキーらの研究を拡張し、量子バッチ証明が、逆ポリノミカルな証人区別不可能な誤りを持つ量子統計的に区別不能な証明を暗示していることを示す。
• 参考スコア（独自算出の注目度）: 0.9367224590861915
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: Statistical witness indistinguishability is a relaxation of statistical zero-knowledge which guarantees that the transcript of an interactive proof reveals no information about which valid witness the prover used to generate it. In this paper we define and initiate the study of QSWI, the class of problems with quantum statistically witness indistinguishable proofs. Using inherently quantum techniques from Kobayashi (TCC 2008), we prove that any problem with an honest-verifier quantum statistically witness indistinguishable proof has a 3-message public-coin malicious-verifier quantum statistically witness indistinguishable proof. There is no known analogue of this result for classical statistical witness indistinguishability. As a corollary, our result implies SWI is contained in QSWI. Additionally, we extend the work of Bitansky et al. (STOC 2023) to show that quantum batch proofs imply quantum statistically witness indistinguishable proofs with inverse-polynomial witness indistinguishability error.
• Abstract（参考訳）: 統計的証人不明瞭さは統計的ゼロ知識の緩和であり、対話的な証明の転写が、その証明者がそれを生成するのに使った有効な証人に関する情報を明かさないことを保証している。 本稿では、量子統計学的に証明不可能な問題であるQSWIを定義・開始する。 コバヤシ(TCC 2008)の本質的に量子技術を用いて、真正正正正正則の量子統計的検証不能な証明が3次元の公約有毒な検証不可能な証明を持つことを証明した。 古典的な統計的な目撃者にとって、この結果の類似性は知られていない。 その結果, SWI は QSWI に含まれることが示唆された。 さらに、Bitansky et al (STOC 2023) の研究を拡張し、量子バッチ証明が量子統計学的に不明瞭な証明と逆ポリノミカルな目撃不明瞭な誤りを暗示することを示す。

関連論文リスト

• The Round Complexity of Proofs in the Bounded Quantum Storage Model [0.7366405857677227]
  有界量子記憶モデル(BQSM)におけるプロトコルのラウンド圧縮に関する研究 このモデルでは、悪意のあるパーティは有界量子メモリを持ち、プロトコルに送信される全てのキュービットを格納できない。 標準手法では, NIZKはBQS相手に対する平易なモデルではありそうにないことを示す。
  論文  参考訳（メタデータ） (2024-05-28T15:24:48Z)
• Quantum Discord Witness With Uncharacterized Devices [22.915199593638874]
  任意次元系における未知の双極子状態の量子不協和を観測するために,不特性測定を用いた新しい手法を提案する。 本手法は, 誤差耐性などのデバイス不完全性に対して高い堅牢性を示し, その実験的実現可能性を示している。
  論文  参考訳（メタデータ） (2023-03-20T14:51:53Z)
• Simple Tests of Quantumness Also Certify Qubits [69.96668065491183]
  量子性の検定は、古典的検証者が証明者が古典的でないことを(のみ)証明できるプロトコルである。 我々は、あるテンプレートに従う量子性のテストを行い、(Kalai et al., 2022)のような最近の提案を捉えた。 すなわち、同じプロトコルは、証明可能なランダム性や古典的な量子計算のデリゲートといったアプリケーションの中心にあるビルディングブロックであるqubitの認定に使用できる。
  論文  参考訳（メタデータ） (2023-03-02T14:18:17Z)
• Certified Robustness of Quantum Classifiers against Adversarial Examples through Quantum Noise [68.1992787416233]
  量子ランダムな回転雑音を加えることで、敵攻撃に対する量子分類器のロバスト性を向上できることを示す。 我々は、量子分類器が敵の例に対して防御できるように、証明された堅牢性を導出する。
  論文  参考訳（メタデータ） (2022-11-02T05:17:04Z)
• Quantum Proofs of Deletion for Learning with Errors [91.3755431537592]
  完全同型暗号方式として, 完全同型暗号方式を初めて構築する。 我々の主要な技術要素は、量子証明器が古典的検証器に量子状態の形でのLearning with Errors分布からのサンプルが削除されたことを納得させる対話的プロトコルである。
  論文  参考訳（メタデータ） (2022-03-03T10:07:32Z)
• Certified Everlasting Zero-Knowledge Proof for QMA [10.973034520723957]
  QMAの認証ゼロ知識証明と呼ばれる新しい妥協を導入する。 QMAの計算ゼロ知識証明であるが、検証者は量子情報が削除されたことを示す古典的な証明を発行する。 我々は、QMAの証明された永遠のゼロ知識証明を構築した。
  論文  参考訳（メタデータ） (2021-09-29T03:05:44Z)
• Post-Quantum Succinct Arguments: Breaking the Quantum Rewinding Barrier [73.70426431502803]
  キリアンの4メッセージ簡潔な引数系は、標準モデルでは量子後安全であることを示す。 これにより、任意の偽の仮定から最初の量子後簡潔な論証システムが得られる。
  論文  参考訳（メタデータ） (2021-03-15T05:09:17Z)
• On the Concurrent Composition of Quantum Zero-Knowledge [11.09538194395154]
  コンカレントコンポジションにおける量子時間検証器(量子ゼロ知識)に対するゼロ知識セキュアの概念について検討する。 この結果から,QMAの量子知識系が従来よりも優れたパラメータを持つことを示す。
  論文  参考訳（メタデータ） (2020-12-05T23:09:29Z)
• Quantum-secure message authentication via blind-unforgeability [74.7729810207187]
  我々は、ブラインド・アンフォージェビリティ(英語版)と呼ばれる量子敵に対する非フォージェビリティ(英語版)の自然な定義を提案する。 この概念は、予測値に「部分的に盲目」アクセスを使用できる敵が存在する場合、関数を予測可能と定義する。 標準構造と減量支援のためのブラインド・アンフォージェビリティの適合性を示す。
  論文  参考訳（メタデータ） (2018-03-10T05:31:38Z)

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

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