Logic meets Wigner's Friend (and their Friends)

• URL: http://arxiv.org/abs/2307.01713v2
• Date: Sat, 6 Apr 2024 11:31:40 GMT
• Title: Logic meets Wigner's Friend (and their Friends)
• Authors: Alexandru Baltag, Sonja Smets,
• Abstract summary: 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.
• Score: 49.1574468325115
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: We take a fresh look at Wigner's Friend thought-experiment and some of its more recent variants and extensions, such as the Frauchiger-Renner (FR) Paradox. We discuss various solutions proposed in the literature, focusing on a few questions: What is the correct epistemic interpretation of the multiplicity of state assignments in these scenarios? Under which conditions can one include classical observers into the quantum state descriptions, in a way that is still compatible with traditional Quantum Mechanics? Under which conditions can one system be admitted as an additional 'observer' from the perspective of another background observer? When can the standard axioms of multi-agent Epistemic Logic (that allow "knowledge transfer" between agents) be applied to quantum-physical observers? In the last part of the paper, we propose a new answer to these questions, sketch a particular formal implementation of this answer, and apply it to obtain a principled solution to Wigner Friend-type paradoxes.

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)
• A general framework for consistent logical reasoning in Wigner's friend scenarios: subjective perspectives of agents within a single quantum circuit [0.0]
  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.
  arXiv  Detail & Related papers  (2022-09-19T18:13:42Z)
• Quantum indistinguishability through exchangeable desirable gambles [69.62715388742298]
  Two particles are identical if all their intrinsic properties, such as spin and charge, are the same. Quantum mechanics is seen as a normative and algorithmic theory guiding an agent to assess her subjective beliefs represented as (coherent) sets of gambles. We show how sets of exchangeable observables (gambles) may be updated after a measurement and discuss the issue of defining entanglement for indistinguishable particle systems.
  arXiv  Detail & Related papers  (2021-05-10T13:11:59Z)
• 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)
• The original Wigner's friend paradox within a realist toy model [0.0]
  The original Wigner's friend paradox highlights the tension between unitary evolution and collapse in quantum theory. We present a classical toy model in which the contradicting predictions at the heart of the thought experiment are reproduced. The debate surrounding the original Wigner's friend thought experiment and its resolution have striking similarities with arguments concerning the nature of the second law of thermodynamics.
  arXiv  Detail & Related papers  (2021-01-26T19:03:32Z)
• Quantum erasing the memory of Wigner's friend [0.0]
  Wigner's friend paradox concerns one of the most puzzling problems of quantum mechanics. At the core of the paradox lies the description of an observer and the object it measures as a closed system obeying the Schr"odinger equation. We argue that the three apparently incompatible properties used to question the consistency of quantum mechanics correspond to two logically distinct contexts.
  arXiv  Detail & Related papers  (2020-09-21T14:24:58Z)
• Equivalence of approaches to relational quantum dynamics in relativistic settings [68.8204255655161]
  We show that the trinity' of relational quantum dynamics holds in relativistic settings per frequency superselection sector. We ascribe the time according to the clock subsystem to a POVM which is covariant with respect to its (quadratic) Hamiltonian.
  arXiv  Detail & Related papers  (2020-07-01T16:12:24Z)
• Einselection from incompatible decoherence channels [62.997667081978825]
  We analyze an open quantum dynamics inspired by CQED experiments with two non-commuting Lindblad operators. We show that Fock states remain the most robust states to decoherence up to a critical coupling.
  arXiv  Detail & Related papers  (2020-01-29T14:15:19Z)
• A strong no-go theorem on the Wigner's friend paradox [0.0]
  We prove that if quantum evolution is controllable on the scale of an observer, then one of 'No-Superdeterminism', 'Locality' or 'Absoluteness of Observed Events' must be false. We show that although the violation of Bell-type inequalities in such scenarios is not in general sufficient to demonstrate the contradiction between those three assumptions, new inequalities can be derived in a theory-independent manner.
  arXiv  Detail & Related papers  (2019-07-12T08:09:44Z)
• Quantum-like modeling of the order effect in decision making: POVM viewpoint on the Wang-Busemeyer QQ-equality [77.34726150561087]
  Wang and Busemeyer invented a quantum model and approach as well as non-parametric equality (so-called QQ-equality) This note is to test the possibility to expand the Wang-Busemeyer model by considering questions which are mathematically represented by positive operator valued measures. But, we also showed that, in principle, it is possible to reduce expanded model to the original Wang-Busemeyer model by expanding the context of the questions.
  arXiv  Detail & Related papers  (2018-10-31T18:11:37Z)

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.