The Frauchiger–Renner paradox derives an inconsistency when quantum theory is used to describe the use of itself, by means of a scenario where agents model other agents quantumly and reason about each other's knowledge. We observe that logical contextuality (à la Hardy) is the key ingredient of the FR paradox, and we provide a stronger paradox based on the strongly contextual GHZ–Mermin scenario. In contrast to the FR paradox, this GHZ–FR paradox neither requires post-selection nor any reasoning by observers who are modelled quantumly. If one accepts the universality of quantum theory including superobservers, we propose a natural extension of Peres's dictum to resolve these extended Wigner's friend paradoxes.
The Frauchiger–Renner paradox derives an inconsistency when quantum theory is used to describe the use of itself, by means of a scenario where agents model other agents quantumly and reason about each other's knowledge. We observe that logical contextuality (à la Hardy) is the key ingredient of the FR paradox, and we provide a stronger paradox based on the strongly contextual GHZ–Mermin scenario. In contrast to the FR paradox, this GHZ–FR paradox neither requires post-selection nor any reasoning by observers who are modelled quantumly. If one accepts the universality of quantum theory including superobservers, we propose a natural extension of Peres's dictum to resolve these extended Wigner's friend paradoxes.
This paper provides a comprehensive analysis of the Frauchiger–Renner paradox (2018), a significant thought experiment that demonstrates a logical contradiction arising when standard quantum mechanics is applied to nested observers. Building on Wigner’s friend scenario, it examines the formal setup, derives the contradiction from assumptions of universality, the Born rule, and self-consistency in multi-agent reasoning, and evaluates proposed resolutions across major interpretations of quantum mechanics (Copenhagen, Everettian/many-worlds, relational, QBism, decoherent histories, and objective collapse theories). The work explores historical context, epistemological implications for observation, objectivity, and intersubjectivity, as well as recent experimental probes and theoretical refinements. It argues that the paradox reveals deep tensions in applying quantum theory to complex, self-referential scenarios involving observers (2026).
The Frauchiger-Renner Paradox is an extension of paradoxes based on the “Problem of Measurement,” such as Schrodinger’s Cat and Wigner’s Friend. All these paradoxes stem from assuming that quantum theory has only purely unitary (linear) dynamics, and the attendant ambiguity about what counts as a ‘measurement’—i.e., the inability to account for the observation of determinate measurement outcomes from within the theory itself. It is generally forgotten that Schrodinger constructed his ‘Cat’ Paradox as a reductio ad absurdum of unitary-only quantum theory (i.e., quantum theory without a well-defined non-unitary process of collapse or reduction), and the FR paradox is an accentuation of that absurdity. This paper discusses a basic inconsistency arising in the FR scenario at a much earlier point than the derived contradiction: namely, the inconsistency inherent in treating an improper mixture (reduced density operator) as a proper, epistemic mixture. This is an illegitimate procedure that is nevertheless endemic if quantum theory is assumed to be always unitary. In contrast, under a non-unitary account of quantum state reduction yielding determinate outcomes, the use of a proper mixture for measurement results becomes legitimate, and this entire class of paradoxes cannot be mounted. The conclusion is that the real lesson of the FR paradox is that it is the unitary-only assumption that needs to be critically reassessed.
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.
Schrodinger's cat and Wigner's friend paradoxes are analyzed using the `wave-particle non-dualistic interpretation of quantum mechanics at a single-quantum level' and are shown to be non-paradoxes within the quantum formalism. Then, the extended version of Wigner's friend thought experiment, proposed in a recent article titled, ``Quantum theory cannot consistently describe the use of itself '', Nature Communications {\bf 9}, 3711 (2018), by Frauchiger and Renner (FR) is considered. In quantum mechanics, it's well-known that, statistically observing a large number of identical quantum systems at some particular quantum state, which results in Born's probability, and merely inferring its presence in the same quantum state with the same probability yield distinct physical phenomena. If this fact is not taken care while interpreting any experimental outcomes, then FR type paradoxes pop up. ``What an astonishingly self-consistent the Quantum Theory is!' - is explicitly worked out in the case of FR gedankenexperiment. The present work shows the importance of single-quantum phenomenon for the non-paradoxical interpretation of statistically observed experimental outcomes.
Considering a complicated extension of a Wigner's friend scenario, Frauchiger and Renner (FR) allegedly showed that "quantum theory cannot consistently describe the use of itself". However, such a result has been under severe criticism, as it has been convincingly argued to crucially depend on an implicit, non-trivial assumption regarding details of the collapse mechanism. In consequence, the result is not as robust or general as intended. On top of all this, in this work we show that a much simpler arrangement--basically an EPR setting--is sufficient to derive a result fully analogous to that of FR. Moreover, we claim that all lessons learned from FR's result are essentially contained within the original EPR paper. We conclude that FR's result does not offer any novel insights into the conceptual problems of quantum theory.
Quantum mechanics has been subject to logical scrutiny since its inception. The behavior of quantum systems, which are fundamentally dissimilar from classical systems, often appears to point to a logical inconsistency in quantum mechanics, allegedly leading to contradictions in the prediction of experimental measurements--though such contradictions have never materialized. A recent example of this type of inquiry into the logical well-posedness of quantum mechanics is the Frauchiger-Renner Gedankenexperiment, which purports to demonstrate that quantum mechanics is logically inconsistent. In this article, we show that by considering the property of contextuality in quantum systems--as predicted by the Kochen-Specker theorem--the supposed contradiction proposed by Frauchiger and Renner becomes logically inaccessible.