論文の概要: A general framework for consistent logical reasoning in Wigner's friend
scenarios: subjective perspectives of agents within a single quantum circuit
- arxiv url: http://arxiv.org/abs/2209.09281v1
- Date: Mon, 19 Sep 2022 18:13:42 GMT
- ステータス: 処理完了
- システム内更新日: 2023-01-26 01:54:24.383424
- Title: A general framework for consistent logical reasoning in Wigner's friend
scenarios: subjective perspectives of agents within a single quantum circuit
- Title(参考訳): ウィグナーの友人シナリオにおける一貫した論理推論のための一般的な枠組み--単一量子回路内のエージェントの主観的視点
- Authors: V. Vilasini and Mischa P. Woods
- Abstract要約: 論理的なウィグナーの友人シナリオはすべて、時間的に順序付けられた1つの量子回路にマッピング可能であることを示す。
我々の結果は、量子論の普遍的な適用性は、マルチエージェント論理的推論の脅威にはならないことを証明している。
- 参考スコア(独自算出の注目度): 0.0
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: It is natural to expect a complete physical theory to have the ability to
consistently model agents as physical systems of the theory. In [Nat. Comms. 9,
3711 (2018)], Frauchiger and Renner (FR) claim to show that when agents in
quantum theory reason about each other's knowledge in a certain Wigner's friend
scenario, they arrive at a logical contradiction. In light of this, Renner
often poses the challenge: provide a set of reasoning rules that can be used to
program quantum computers that may act as agents, which are (a) logically
consistent (b) generalise to arbitrary Wigner's friend scenarios (c)
efficiently programmable and (d) consistent with the temporal order of the
protocol. Here we develop a general framework where we show that every logical
Wigner's friend scenario (LWFS) can be mapped to a single temporally ordered
quantum circuit, which allows agents in any LWFS to reason in a way that meets
all four criteria of the challenge. Importantly, our framework achieves this
general resolution without modifying classical logic or unitary quantum
evolution or the Born rule, while allowing agents' perspectives to be
fundamentally subjective. We analyse the FR protocol in detail, showing how the
apparent paradox is resolved there. We show that apparent logical
contradictions in any LWFS only arise when ignoring the choice of Heisenberg
cut in scenarios where this choice does matter, and taking this dependence into
account will always resolve the apparent paradox. Our results establish that
universal applicability of quantum theory does not pose any threat to
multi-agent logical reasoning and we discuss the implications of these results
for FR's no-go theorem. Moreover, our formalism suggests the possibility of a
truly relational and operational description of Wigner's friend scenarios that
is consistent with quantum theory as well as probability theory applied to
measurement outcomes.
- Abstract(参考訳): 完全な物理理論が、その理論の物理系としてエージェントを一貫してモデル化できることを期待するのは自然である。
フレイチーガーとレンナー(fr)は[nat. comms. 9. 3711 (2018)]の中で、量子論のエージェントがあるウィグナーの友人のシナリオでお互いの知識を判断すると、それらは論理的に矛盾することを示したと主張している。
これを踏まえて、Renner氏はしばしば課題を提起する: エージェントとして働くかもしれない量子コンピュータをプログラムするために使用できる一連の推論ルールを提供する。
a)論理的に一貫した
(b)任意のウィグナーの友人シナリオへの一般化
c) 効率よくプログラム可能で
(d)プロトコルの時間順序と一致する。
ここでは、すべての論理的ウィグナーの友人シナリオ(LWFS)を1つの時間的に順序付けられた量子回路にマッピングできることを示し、任意のLWFSのエージェントが、課題の4つの基準すべてを満たす方法で推論することができる。
重要なことは、我々のフレームワークは古典論理やユニタリ量子進化やボルン規則を変更することなく、エージェントの視点を根本的に主観的とすることを可能にすることである。
我々はFRプロトコルを詳細に分析し、そこでどのようにパラドックスが解決されるかを示す。
任意の LWFS における明らかな論理的矛盾は、ハイゼンベルクの選択を無視して、この選択が問題となるシナリオをカットし、この依存を考慮に入れれば、常に明らかなパラドックスを解決できることが示される。
この結果は、量子論の普遍的適用性がマルチエージェント論理推論の脅威をもたらさないことを証明し、これらの結果がfrのno-go定理に与える影響について議論する。
さらに、我々の形式論は、量子理論や測定結果に適用される確率理論と一致するウィグナーの友人のシナリオを真に関係づけ、操作的に記述する可能性を示唆している。
関連論文リスト
- Thinking twice inside the box: is Wigner's friend really quantum? [0.0]
我々は、ウィグナーの友人パラドックスのギストは量子物理学を仮定せずに再現できると主張している。
最近提案されたいくつかの拡張されたウィグナーの友人シナリオは古典的な思考実験によって再現可能であることを示す。
この難しさは物理学と哲学の基礎にある他のパズルの中核にあると我々は主張する。
論文 参考訳(メタデータ) (2024-02-13T19:00:13Z) - Logic meets Wigner's Friend (and their Friends) [77.34726150561087]
我々は、Wigner's Friend thought-experimentと、Frauchiger-Renner Paradoxのような、より最近の変種と拡張を新たに見ていく。
我々はこれらの質問に対する新しい回答を提案し、この回答の特定の形式的な実装をスケッチし、Wigner Friend-type paradoxesの原理的な解を得るためにそれを適用する。
論文 参考訳(メタデータ) (2023-07-04T13:31:56Z) - Connecting classical finite exchangeability to quantum theory [69.62715388742298]
交換性は確率論と統計学の基本的な概念である。
有限交換可能な列に対するデ・フィネッティのような表現定理は、量子論と正式に等価な数学的表現を必要とすることを示す。
論文 参考訳(メタデータ) (2023-06-06T17:15:19Z) - Law of Total Probability in Quantum Theory and Its Application in
Wigner's Friend Scenario [0.0]
総確率の法則が一般に量子論において成り立たないことはよく知られている。
本研究では、量子論における条件確率の定義をPOVM測定に拡張する。
ここで展開された理論を適用して、拡張されたウィグナーの友人シナリオに関連するいくつかの量子no-go定理を分析することで、これらのno-go定理の論理的抜け穴が明らかになる。
論文 参考訳(メタデータ) (2022-04-24T18:59:55Z) - Logical Credal Networks [87.25387518070411]
本稿では,論理と確率を組み合わせた先行モデルの多くを一般化した表現的確率論的論理である論理的クレダルネットワークを紹介する。
本稿では,不確実性のあるマスターミンドゲームを解くこと,クレジットカード詐欺を検出することを含む,最大後部推論タスクの性能について検討する。
論文 参考訳(メタデータ) (2021-09-25T00:00:47Z) - 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) - Agents governed by quantum mechanics can use it intersubjectively and
consistently [0.0]
本稿では,状況推論において合理的なエージェントを支援するために,スーパーポジション・ソリプシズムと呼ばれる単純な操作原理を提案する。
この原理がすべての運用関連インスタンスにおいて音質推論につながることを示す。
論文 参考訳(メタデータ) (2020-10-02T19:04:59Z) - A no-go theorem for the persistent reality of Wigner's friend's
perception [0.0]
ウィグナーの友人の知覚の持続的現実に対するノーゴー定理を定式化する。
ウィグナーの友人のシナリオでは、2つの異なる時間における友人の知覚された測定結果に対する共同確率分布は存在しない。
量子力学の一般的な解釈の中で、この定理の仮定のうちどれがドロップされるかを簡単に議論する。
論文 参考訳(メタデータ) (2020-09-20T18:56:52Z) - Logical Neural Networks [51.46602187496816]
ニューラルネットワーク(学習)と記号論理(知識と推論)の両方の重要な特性をシームレスに提供する新しいフレームワークを提案する。
すべてのニューロンは、重み付けされた実数値論理における公式の構成要素としての意味を持ち、非常に解釈不能な非絡み合い表現をもたらす。
推論は事前に定義されたターゲット変数ではなく、オムニであり、論理的推論に対応する。
論文 参考訳(メタデータ) (2020-06-23T16:55:45Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。