Logic meets Wigner's Friend (and their Friends)

Fuente: arXiv
Guardado en:
Detalles Bibliográficos
Autores principales: Baltag, Alexandru, Smets, Sonja
Formato: Preprint
Publicado: 2023
Materias:
Acceso en línea:
Etiquetas: Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
_version_ 1866929303906680832
author Baltag, Alexandru
Smets, Sonja
author_facet Baltag, Alexandru
Smets, Sonja
contents 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.
format Preprint
id arxiv_https___arxiv_org_abs_2307_01713
institution arXiv
publishDate 2023
record_format arxiv
spellingShingle Logic meets Wigner's Friend (and their Friends)
Baltag, Alexandru
Smets, Sonja
Quantum Physics
Logic
81P10
F.4
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.
title Logic meets Wigner's Friend (and their Friends)
topic Quantum Physics
Logic
81P10
F.4
url https://arxiv.org/abs/2307.01713