Logic Meets Wigner's Friend (and their Friends)

Baltag, Alexandru,Smets, Sonja

DOI: https://doi.org/10.1007/s10773-024-05611-0

2024-04-24

International Journal of Theoretical Physics

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.

physics, multidisciplinary

What problem does this paper attempt to address?

The paper attempts to address the issue in quantum theory where, assuming the universal validity of quantum theory, different observers may assign different (pure) states to the same system, and thus cannot consistently share information. Specifically, the paper focuses on the Wigner's friend thought experiment and its variants and extensions, such as the Frauchiger-Renner paradox. These thought experiments suggest that if quantum theory can be applied to complex systems composed of quantum systems and so-called classical observers, then different agents will reasonably assign different states to the same system, leading to inconsistencies in shared information.

The author explores various solutions by analyzing the correct epistemological interpretation of multiple state assignments in these scenarios, when classical observers can be included in the quantum state description, when a system can be recognized as an additional "observer" from the perspective of another contextual observer, and when the standard axioms of multi-agent epistemic logic can be applied to quantum physical observers. The paper concludes by proposing a new solution and outlining its formal implementation, thereby resolving Wigner's friend-type paradoxes in principle.