A general framework for consistent logical reasoning in Wigner's friend
scenarios: subjective perspectives of agents within a single quantum circuit
- URL: http://arxiv.org/abs/2209.09281v1
- Date: Mon, 19 Sep 2022 18:13:42 GMT
- Title: A general framework for consistent logical reasoning in Wigner's friend
scenarios: subjective perspectives of agents within a single quantum circuit
- Authors: V. Vilasini and Mischa P. Woods
- Abstract summary: We show that every logical Wigner's friend scenario can be mapped to a single temporally ordered quantum circuit.
Our results establish that universal applicability of quantum theory does not pose any threat to multi-agent logical reasoning.
- Score: 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.
Related papers
- Thinking twice inside the box: is Wigner's friend really quantum? [0.0]
We argue that the gist of the Wigner's friend paradox can be reproduced without assuming quantum physics.
We show that several recently proposed extended Wigner's friend scenarios can be reproduced by classical thought experiments.
We argue that this difficulty is at the core of other puzzles in the foundations of physics and philosophy.
arXiv Detail & Related papers (2024-02-13T19:00:13Z) - Logic meets Wigner's Friend (and their Friends) [49.1574468325115]
We take a fresh look at Wigner's Friend thought-experiment and some of its more recent variants and extensions.
We discuss various solutions proposed in the literature, focusing on a few questions.
arXiv Detail & Related papers (2023-07-04T13:31:56Z) - Connecting classical finite exchangeability to quantum theory [69.62715388742298]
Exchangeability is a fundamental concept in probability theory and statistics.
We show how a de Finetti-like representation theorem for finitely exchangeable sequences requires a mathematical representation which is formally equivalent to quantum theory.
arXiv Detail & Related papers (2023-06-06T17:15:19Z) - Law of Total Probability in Quantum Theory and Its Application in
Wigner's Friend Scenario [0.0]
It is well-known that the law of total probability does not hold in general in quantum theory.
In this work, the definition of conditional probability in quantum theory is extended to POVM measurements.
Applying the theory developed here to analyze several quantum no-go theorems related to the extended Wigner's friend scenario reveals logical loopholes in these no-go theorems.
arXiv Detail & Related papers (2022-04-24T18:59:55Z) - Logical Credal Networks [87.25387518070411]
This paper introduces Logical Credal Networks, an expressive probabilistic logic that generalizes many prior models that combine logic and probability.
We investigate its performance on maximum a posteriori inference tasks, including solving Mastermind games with uncertainty and detecting credit card fraud.
arXiv Detail & Related papers (2021-09-25T00:00:47Z) - Observers of quantum systems cannot agree to disagree [55.41644538483948]
We ask whether agreement between observers can serve as a physical principle that must hold for any theory of the world.
We construct examples of (postquantum) no-signaling boxes where observers can agree to disagree.
arXiv Detail & Related papers (2021-02-17T19:00:04Z) - Secure Two-Party Quantum Computation Over Classical Channels [63.97763079214294]
We consider the setting where the two parties (a classical Alice and a quantum Bob) can communicate only via a classical channel.
We show that it is in general impossible to realize a two-party quantum functionality with black-box simulation in the case of malicious quantum adversaries.
We provide a compiler that takes as input a classical proof of quantum knowledge (PoQK) protocol for a QMA relation R and outputs a zero-knowledge PoQK for R that can be verified by classical parties.
arXiv Detail & Related papers (2020-10-15T17:55:31Z) - Agents governed by quantum mechanics can use it intersubjectively and
consistently [0.0]
We propose a simple operational principle called superpositional solipsism to aid rational agents in making situational inferences.
We show that the principle leads to sound inferences in all operationally-relevant instances.
arXiv Detail & Related papers (2020-10-02T19:04:59Z) - A no-go theorem for the persistent reality of Wigner's friend's
perception [0.0]
We formulate a no-go theorem for the persistent reality of Wigner's friend's perception.
In a Wigner's friend scenario, there is no joint probability distribution for the friend's perceived measurement outcomes at two different times.
We briefly discuss which of the theorem's assumptions are more likely to be dropped within various popular interpretations of quantum mechanics.
arXiv Detail & Related papers (2020-09-20T18:56:52Z) - Logical Neural Networks [51.46602187496816]
We propose a novel framework seamlessly providing key properties of both neural nets (learning) and symbolic logic (knowledge and reasoning)
Every neuron has a meaning as a component of a formula in a weighted real-valued logic, yielding a highly intepretable disentangled representation.
Inference is omni rather than focused on predefined target variables, and corresponds to logical reasoning.
arXiv Detail & Related papers (2020-06-23T16:55:45Z)
This list is automatically generated from the titles and abstracts of the papers in this site.
This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.