論文の概要: Beyond IP = PSPACE and QIP = PSPACE: Interactive Proofs in Arbitrary Physical Theories
- arxiv url: http://arxiv.org/abs/2610.00847v1
- Date: Thu, 01 Oct 2026 00:06:15 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-10-03 01:19:23.812454
- Title: Beyond IP = PSPACE and QIP = PSPACE: Interactive Proofs in Arbitrary Physical Theories
- Title（参考訳）: IP = PSPACE と QIP = PSPACE: 任意物理理論における対話的証明
- Abstract要約: 古典理論や量子理論を含む一般確率論における対話的証明について研究する。
量子検証器と量子メッセージを持つプロトコルの場合、証明者が任意の理論を使用できるようにすると、最大受理確率は上昇しない。
メッセージが任意のシステムである場合、対話型保護クラスはPSPACEを厳密に超えることができる。
- 参考スコア（独自算出の注目度）: 0.16921396880325779
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: The equalities IP = PSPACE and QIP = PSPACE, the latter achievable with three messages, raise a basic question: how much of an interactive proof's power comes from the underlying physical theory? We study interactive proofs in general probabilistic theories, which include classical and quantum theory. The answer depends on what the prover and verifier exchange and how the theory specifies efficient operations. When they exchange only classical messages, protocols in every theory satisfying our standard assumptions decide exactly PSPACE. For protocols with a quantum verifier and quantum messages, allowing a prover to use any theory containing quantum theory does not increase the maximum acceptance probability. Thus, the three-message PSPACE result remains valid against such provers. When messages may be arbitrary systems, the interactive-proof class can strictly exceed PSPACE.
- Abstract（参考訳）: IP = PSPACE と QIP = PSPACE は、後者は3つのメッセージで実現できる。
古典理論や量子理論を含む一般確率論における対話的証明について研究する。
答えは、証明器と検証器が交換するものと、理論が効率的な操作をどのように特定するかに依存する。
古典的メッセージのみを交換する場合、標準仮定を満たすすべての理論におけるプロトコルは、正確にPSPACEを決定する。
量子検証器と量子メッセージを持つプロトコルの場合、量子論を含む理論を証明者が使用できるようにすると、最大受理確率は上昇しない。
したがって、3つのメッセージ PSPACE の結果は、そのようなプローバーに対して有効である。
メッセージが任意のシステムである場合、対話型保護クラスはPSPACEを厳密に超えることができる。
関連論文リスト
- A simple formulation of no-cloning and no-hiding that admits efficient
and robust verification [0.0]
不和合性は古典理論とは別の量子論の特徴である。
ノーハイディング定理(英: no-hiding theorem)は、ブラックホール情報パラドックス(英語版)の文脈で生じる別の例である。
量子論の基本的特徴のどちらも、効率的な検証が可能な単一形式で定式化する。
論文 参考訳（メタデータ） (2023-03-05T12:48:11Z) - Simple Tests of Quantumness Also Certify Qubits [69.96668065491183]
量子性の検定は、古典的検証者が証明者が古典的でないことを(のみ)証明できるプロトコルである。
我々は、あるテンプレートに従う量子性のテストを行い、(Kalai et al., 2022)のような最近の提案を捉えた。
すなわち、同じプロトコルは、証明可能なランダム性や古典的な量子計算のデリゲートといったアプリケーションの中心にあるビルディングブロックであるqubitの認定に使用できる。
論文 参考訳（メタデータ） (2023-03-02T14:18:17Z) - Incompatibility of observables, channels and instruments in information
theories [68.8204255655161]
運用確率論におけるテストの整合性の概念について検討する。
ある理論が不整合性テストを認めていることは、ある情報が障害なく抽出できない場合に限る。
論文 参考訳（メタデータ） (2022-04-17T08:44:29Z) - Testing quantum theory by generalizing noncontextuality [0.0]
我々は、ジョルダン代数状態空間のみが量子論に正確に埋め込み可能であることを証明した。
単一物理系を探索して量子論の実験実験を提案する。
論文 参考訳（メタデータ） (2021-12-17T19:00:24Z) - LQP: The Dynamic Logic of Quantum Information [77.34726150561087]
本稿では,複合量子システムにおける情報フローの推論のための動的論理形式について紹介する。
本稿では,この論理の文法,関係意味論,音響証明システムについて述べる。
アプリケーションとしては,テレポーテーションプロトコルと標準量子秘密共有プロトコルに対して,正式な正当性を与えるために,我々のシステムを利用する。
論文 参考訳（メタデータ） (2021-10-04T12:20:23Z) - Observers of quantum systems cannot agree to disagree [55.41644538483948]
我々は、オブザーバー間の合意が、世界のあらゆる理論を守らなければならない物理的な原則として機能するかを問う。
我々は、観測者が意見の相違に同意できる無署名箱の例を構築した。
論文 参考訳（メタデータ） (2021-02-17T19:00:04Z) - Secure Two-Party Quantum Computation Over Classical Channels [63.97763079214294]
古典的アリス(Alice)と量子的ボブ(Quantum Bob)が古典的なチャネルを通してのみ通信できるような設定を考える。
悪質な量子逆数の場合,ブラックボックスシミュレーションを用いた2次元量子関数を実現することは,一般に不可能であることを示す。
我々は、QMA関係Rの古典的量子知識(PoQK)プロトコルを入力として、古典的当事者によって検証可能なRのゼロ知識PoQKを出力するコンパイラを提供する。
論文 参考訳（メタデータ） (2020-10-15T17:55:31Z) - Characterization of the probabilistic models that can be embedded in
quantum theory [0.0]
超選択規則を持つ古典的および標準的な量子論のみが物理的デコヒーレンス写像から生じうることを示す。
この結果は、量子論の実験的な実験において、量子論をいかに(あるいは不可能に)偽造するかを明確にすることによって、大きな結果をもたらす。
論文 参考訳（メタデータ） (2020-04-13T18:09:39Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。