A refined Frauchiger--Renner paradox based on strong contextuality
Pith reviewed 2026-05-23 20:33 UTC · model grok-4.3
The pith
A GHZ-Mermin scenario produces an inconsistency in quantum theory without post-selection or quantum observers.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
Embedding the strongly contextual GHZ-Mermin scenario into an agent-based thought experiment with superobservers yields a logical inconsistency when quantum theory is applied to describe its own use, without needing post-selection or quantum reasoning by any of the observers.
What carries the argument
The strong contextuality of the GHZ-Mermin scenario, which produces contradictions in the joint probability assignments required by different measurement contexts.
If this is right
- The inconsistency holds even when every observer reasons only classically about the others.
- Post-selection on particular outcomes is unnecessary to derive the paradox.
- If quantum theory is taken to apply to superobservers, an extended version of Peres's dictum resolves the inconsistency.
- Strong contextuality alone is enough to generate these extended Wigner's friend paradoxes.
Where Pith is reading between the lines
- The same embedding technique could be tried with other strongly contextual sets such as those from the Kochen-Specker theorem.
- The construction suggests that contextuality tests might be performed in multi-agent laboratory arrangements to check for similar inconsistencies.
- The proposed resolution might extend to other self-referential scenarios that combine quantum measurements with classical reasoning about knowledge.
Load-bearing premise
The logical structure that produces inconsistency in the GHZ-Mermin scenario can be preserved when it is embedded into the agent-based scenario with superobservers.
What would settle it
An explicit realization of the GHZ-Mermin measurements inside a Wigner's friend laboratory setup that yields consistent probability assignments rather than the predicted contradiction.
Figures
read the original abstract
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 (\`a 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.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript refines the Frauchiger-Renner (FR) paradox by substituting its logical-contextuality ingredient with the strong contextuality of the three-qubit GHZ-Mermin scenario. The central claim is that the resulting GHZ-FR paradox produces an inconsistency from the GHZ state plus Mermin observables (product -1 on the state, +1 per context) embedded in an agent/superobserver Wigner-friend setup, without post-selection and without any agent being modelled quantum-mechanically; a natural extension of Peres's dictum is proposed to resolve such extended paradoxes under the assumption of universal quantum theory.
Significance. If the embedding is shown to be rigorous, the result strengthens the FR family by removing post-selection and quantum-agent modelling, thereby isolating the role of strong contextuality plus classical reasoning. It directly leverages the established GHZ-Mermin theorem and the original FR construction without introducing free parameters or self-referential definitions.
major comments (2)
- [§3] §3 (GHZ-FR construction): the explicit mapping from the GHZ state and the three pairwise Mermin observables to the agent-based scenario is not supplied in sufficient detail to verify that the logical contradiction arises solely from strong contextuality and classical agent reasoning; without this step-by-step correspondence it remains unclear whether the inconsistency is preserved or requires additional assumptions on knowledge-update rules.
- [§2, §4] §2 and §4: the claim that 'no reasoning by observers who are modelled quantumly' is required is load-bearing for the 'stronger' status relative to FR, yet the manuscript does not exhibit the precise classical reasoning steps that replace the quantum modelling used in the original FR argument.
minor comments (2)
- Notation for the superobservers and the contexts in which they measure could be aligned more explicitly with the standard GHZ-Mermin labelling to aid readability.
- The extension of Peres's dictum in the final section would benefit from a concise formal statement rather than a prose description.
Simulated Author's Rebuttal
We thank the referee for their detailed and constructive report. We agree that the presentation of the GHZ-FR construction and the explicit classical reasoning steps can be clarified. Below we address each major comment and indicate the revisions we will make.
read point-by-point responses
-
Referee: [§3] §3 (GHZ-FR construction): the explicit mapping from the GHZ state and the three pairwise Mermin observables to the agent-based scenario is not supplied in sufficient detail to verify that the logical contradiction arises solely from strong contextuality and classical agent reasoning; without this step-by-step correspondence it remains unclear whether the inconsistency is preserved or requires additional assumptions on knowledge-update rules.
Authors: We accept that the step-by-step correspondence between the GHZ state, the three Mermin contexts (each with product +1) and the agent/superobserver assignments was not presented with sufficient explicitness. In the revised manuscript we will add a dedicated subsection that maps each observable to the corresponding agent's measurement and knowledge statement, showing that the contradiction follows directly from the GHZ eigenvalue equation together with the classical inference that each agent knows the value of their observable once the context is fixed. No additional knowledge-update rules beyond ordinary classical logic are invoked. revision: yes
-
Referee: [§2, §4] §2 and §4: the claim that 'no reasoning by observers who are modelled quantumly' is required is load-bearing for the 'stronger' status relative to FR, yet the manuscript does not exhibit the precise classical reasoning steps that replace the quantum modelling used in the original FR argument.
Authors: The manuscript already states that all agents employ only classical reasoning about the pre-assigned GHZ correlations. To make this fully explicit we will insert, in both §2 and §4, the four-line classical deduction that each agent performs: (i) the context fixes the product of three observables to +1, (ii) the agent measures their observable and infers the product of the other two, (iii) this inference is communicated classically to the superobserver, and (iv) the superobserver assembles the three inferences to obtain the contradictory product -1. These steps replace the quantum modelling of agents that appears in the original FR argument. revision: yes
Circularity Check
No significant circularity; derivation relies on independent established results
full rationale
The paper identifies logical contextuality as the key ingredient in the existing Frauchiger-Renner paradox and constructs a stronger version by direct embedding of the classic GHZ-Mermin scenario. No step reduces a claimed prediction or uniqueness result to a fitted parameter, self-definition, or load-bearing self-citation chain within the paper itself. The GHZ-Mermin contextuality and FR paradox are cited as external, independently established inputs whose logical structure is preserved in the agent-based extension. The derivation chain therefore remains self-contained against external benchmarks rather than circular.
Axiom & Free-Parameter Ledger
axioms (2)
- domain assumption Quantum theory is universal and can be applied to model agents including superobservers.
- domain assumption Logical contextuality is the key ingredient driving the inconsistency in the original FR paradox.
Forward citations
Cited by 2 Pith papers
-
Are free choices absolute, when internalized in Wigner's friend?
Free choices lack absoluteness in an extended Wigner's friend scenario based on the Pusey-Barrett-Rudolph theorem under locality.
-
An extended Wigner's friend no-go theorem inspired by generalized contextuality
The Noncontextual Friendliness no-go theorem proves quantum theory incompatible with Absoluteness of Observed Events and Noncontextual Agency, generalizing the Local Friendliness theorem.
Reference graph
Works this paper leans on
-
[1]
A. P. Polychronakos, Quantum mechanical rules for observed observers and the consistency of quantum theory (2024)
work page 2024
-
[2]
D. Frauchiger and R. Renner,Quantum theory cannot consistently describe the use of itself, Nature communications 9, 3711 (2018)
work page 2018
-
[3]
E. P. Wigner,Remarks on the mind-body question, Philosophical reflections and syntheses , 247–260 (1995)
work page 1995
-
[4]
The measurement problem is the measurement problem is the measurement problem
V. Baumann, A. Hansen, and S. Wolf, The measurement problem is the measurement problem is the measurement problem (2016), arXiv:1611.01111 [quant-ph]
work page internal anchor Pith review Pith/arXiv arXiv 2016
-
[5]
V. Vilasini and M. P. Woods, A general framework for consistent logical reasoning in Wigner’s friend scenarios: subjective perspectives of agents within a single quantum circuit (2022), arXiv:2209.09281 [quant-ph]
-
[6]
R. Kastner, Unitary-only quantum theory cannot consistently describe the use of itself: On the Frauchiger–Renner paradox, Foundations of Physics50, 441–456 (2020)
work page 2020
-
[7]
V. Vilasini, N. Nurgalieva, and L. del Rio,Multi-agent paradoxes beyond quantum theory, New Journal of Physics21, 113028 (2019)
work page 2019
-
[8]
Brukner,A no-go theorem for observer-independent facts, Entropy20, 350 (2018)
Č. Brukner,A no-go theorem for observer-independent facts, Entropy20, 350 (2018)
work page 2018
-
[9]
L. Hardy,Nonlocality for two particles without inequalities for almost all entangled states, Physical Review Letters71, 1665 (1993)
work page 1993
-
[10]
Aaronson, It’s hard to think when someone Hadamards your brain (2018)
S. Aaronson, It’s hard to think when someone Hadamards your brain (2018)
work page 2018
-
[11]
A. Drezet, About Wigner Friend’s and Hardy’s paradox in a Bohmian approach: a comment of ‘Quantum theory cannot consistently describe the use of itself’ (2018), arXiv:1810.10917 [quant-ph]
work page internal anchor Pith review Pith/arXiv arXiv 2018
- [12]
-
[13]
Wigner and his many friends: A new no-go result?
S. Fortin and O. Lombardi, Wigner and his many friends: A new no-go result? (2019), arXiv:1904.07412 [quant-ph]
work page internal anchor Pith review Pith/arXiv arXiv 2019
-
[14]
N. D. Mermin,Simple unified form for the major no-hidden-variables theorems, Physical Review Letters 65, 3373 (1990)
work page 1990
-
[15]
D. M. Greenberger, M. A. Horne, and A. Zeilinger, inBell’s theorem, quantum theory, and conceptions of the universe, Fundamental Theories of Physics, Vol. 37, edited by M. Kafatos (Kluwer, Dordrecht,
-
[16]
K.-W. Bong, A. Utreras-Alarcón, F. Ghafari, Y.-C. Liang, N. Tischler, E. G. Cavalcanti, G. J. Pryde, and H. M. Wiseman,A strong no-go theorem on the Wigner’s friend paradox, Nature Physics16, 1199–1205 (2020)
work page 2020
-
[17]
E. G. Cavalcanti and H. M. Wiseman,Implications of Local Friendliness violation for quantum causality, Entropy23, 925 (2021)
work page 2021
-
[18]
M. Haddara and E. G. Cavalcanti,A possibilistic no-go theorem on the Wigner’s friend paradox, New Journal of Physics25, 093028 (2023)
work page 2023
-
[19]
G. Leegwater,When Greenberger, Horne and Zeilinger meet Wigner’s friend, Foundations of Physics 52, 68 (2022)
work page 2022
- [20]
-
[21]
N. Ormrod and J. Barrett, A no-go theorem for absolute observed events without inequalities or modal logic (2022), arXiv:2209.03940 [quant-ph]
- [22]
-
[23]
Inadequacy of Modal Logic in Quantum Settings
N. Nurgalieva and L. del Rio, Inadequacy of modal logic in quantum settings (2018), arXiv:1804.01106 [quant-ph]
work page internal anchor Pith review Pith/arXiv arXiv 2018
-
[24]
M. Żukowski and M. Markiewicz,Physics and metaphysics of Wigner’s friends: Even performed premeasurements have no results, Physical Review Letters126, 130402 (2021)
work page 2021
-
[25]
L. Walleghem, R. Wagner, D. Schmid, and Y. Y¯ing, Extended Wigner’s friend paradoxes do not require nonlocal correlations (2023), arXiv:2310.06976 [quant-ph]
-
[26]
L. Walleghem, Y. Y¯ing, R. Wagner, and D. Schmid, Connecting extended Wigner’s friend arguments and noncontextuality (2024), to appear
work page 2024
-
[27]
S. Gao, Quantum theory is incompatible with relativity: A new proof beyond Bell’s theorem and a test of unitary quantum theories (2019)
work page 2019
-
[28]
P. A. Guérin, V. Baumann, F. Del Santo, and Č. Brukner,A no-go theorem for the persistent reality of Wigner’s friend’s perception, Communications Physics4, 93 (2021)
work page 2021
-
[29]
Decoherence allows quantum theory to describe the use of itself
A. Relaño, Decoherence allows quantum theory to describe the use of itself (2018), arXiv:1810.07065 [quant-ph]
work page internal anchor Pith review Pith/arXiv arXiv 2018
-
[30]
Relaño,Decoherence framework for Wigner’s-friend experiments, Physical Review A101, 032107 (2020)
A. Relaño,Decoherence framework for Wigner’s-friend experiments, Physical Review A101, 032107 (2020)
work page 2020
-
[31]
R. Gambini, L. P. García-Pintos, and J. Pullin,Single-world consistent interpretation of quantum mechanics from fundamental time and length uncertainties, Phys. Rev. A100, 012113 (2019)
work page 2019
-
[32]
D. Lazarovici and M. Hubert,How Quantum Mechanics can consistently describe the use of itself, Scientific Reports9, 470 (2019)
work page 2019
-
[33]
A. Sudbery,Single-world theory of the extended Wigner’s friend experiment, Foundations of Physics 47, 658–669 (2017)
work page 2017
-
[34]
D. Deutsch,Quantum theory, the Church–Turing principle and the universal quantum computer, Proceedings of the Royal Society of London. A. Mathematical and Physical Sciences400, 97–117 (1985)
work page 1985
-
[35]
N. Nurgalieva and R. Renner,Testing quantum theory with thought experiments, Contemporary Physics 61, 193–216 (2020)
work page 2020
-
[36]
Č. Brukner,On the quantum measurement problem, Quantum [Un] Speakables II: Half a Century of Bell’s Theorem , 95–117 (2017)
work page 2017
-
[37]
A. Utreras-Alarcón, E. G. Cavalcanti, and H. M. Wiseman, Allowing Wigner’s friend to sequentially measure incompatible observables (2023), arXiv:2305.09102 [quant-ph]
-
[38]
J. Szangolies, The quantum Rashomon effect: A strengthened Frauchiger-Renner argument (2020), arXiv:2011.12716 [quant-ph]
-
[39]
Healey,Quantum theory and the limits of objectivity, Foundations of Physics48, 1568–1589 (2018)
R. Healey,Quantum theory and the limits of objectivity, Foundations of Physics48, 1568–1589 (2018)
work page 2018
-
[40]
S. Abramsky and A. Brandenburger,The sheaf-theoretic structure of non-locality and contextuality, New Journal of Physics13, 113036 (2011). 33
work page 2011
-
[41]
S. Abramsky, R. S. Barbosa, K. Kishida, R. Lal, and S. Mansfield, in24th EACSL Annual Conference on Computer Science Logic (CSL 2015), Leibniz International Proceedings in Informatics (LIPIcs), Vol. 41, edited by S. Kreutzer (Schloss Dagstuhl – Leibniz-Zentrum für Informatik, Dagstuhl, Germany, 2015) pp. 211–228
work page 2015
-
[42]
R. S. Barbosa,Contextuality in quantum mechanics and beyond, Dphil thesis, University of Oxford (2015)
work page 2015
-
[43]
S. Abramsky, R. S. Barbosa, and S. Mansfield,Contextual fraction as a measure of contextuality, Physical review letters119, 050504 (2017)
work page 2017
-
[44]
N. D. Mermin,Quantum mysteries revisited, American Journal of Physics58, 731–734 (1990)
work page 1990
-
[45]
S. Abramsky and B. Coecke,Categorical quantum mechanics, Handbook of quantum logic and quantum structures2, 261–325 (2009)
work page 2009
-
[46]
B. Coecke and A. Kissinger,Picturing Quantum Processes: A First Course in Quantum Theory and Diagrammatic Reasoning(Cambridge University Press, 2017)
work page 2017
-
[47]
O. Oreshkov, F. Costa, and Č. Brukner,Quantum correlations with no causal order, Nature communications 3, 1092 (2012)
work page 2012
- [48]
-
[49]
Sudbery, The hidden assumptions of Frauchiger and Renner (2019), arXiv:1905.13248 [quant-ph]
A. Sudbery, The hidden assumptions of Frauchiger and Renner (2019), arXiv:1905.13248 [quant-ph]
- [50]
-
[51]
P. Blackburn, M. De Rijke, and Y. Venema,Modal logic: graph. Darst, Vol. 53 (Cambridge University Press, 2001)
work page 2001
-
[52]
Brukner, Qubits are not observers–a no-go theorem (2021), arXiv:2107.03513 [quant-ph]
Č. Brukner, Qubits are not observers–a no-go theorem (2021), arXiv:2107.03513 [quant-ph]
-
[53]
J. Allam and A. Matzkin,From observer-dependent facts to frame-dependent measurement records in Wigner friend scenarios, Europhysics Letters143, 60001 (2023)
work page 2023
-
[54]
J. B. DeBrota, C. A. Fuchs, and R. Schack,Respecting one’s fellow: QBism’s analysis of Wigner’s friend, Foundations of Physics50, 1859–1874 (2020)
work page 2020
-
[55]
Peres,Unperformed experiments have no results, American Journal of Physics46, 745–747 (1978)
A. Peres,Unperformed experiments have no results, American Journal of Physics46, 745–747 (1978)
work page 1978
-
[56]
D. V. Tausk, A brief introduction to the foundations of quantum theory and an analysis of the Frauchiger-Renner paradox (2018), arXiv:1812.11140 [quant-ph]
work page internal anchor Pith review Pith/arXiv arXiv 2018
-
[57]
Bub,Understanding the Frauchiger–Renner argument, Foundations of Physics51, 36 (2021)
J. Bub,Understanding the Frauchiger–Renner argument, Foundations of Physics51, 36 (2021)
work page 2021
-
[58]
R. Muciño and E. Okon,Wigner’s convoluted friends, Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics72, 87–90 (2020)
work page 2020
-
[59]
C. L. Jones and M. P. Müller,Thinking twice inside the box: is Wigner’s friend really quantum?, arXiv preprint 10.48550/arXiv.2402.08727 (2024)
-
[60]
F. J. Boge,Quantum information versus epistemic logic: An analysis of the Frauchiger–Renner theorem, Foundations of Physics49, 1143–1165 (2019)
work page 2019
- [61]
- [62]
-
[63]
A. Baltag and S. Smets,Logic meets Wigner’s Friend (and their Friends), International Journal of Theoretical Physics63, 97 (2024)
work page 2024
-
[64]
Araújo, The flaw in Frauchiger and Renner’s argument (2018)
M. Araújo, The flaw in Frauchiger and Renner’s argument (2018)
work page 2018
-
[65]
A. Di Biagio and C. Rovelli,Stable facts, relative facts, Foundations of Physics51, 1–13 (2021)
work page 2021
- [66]
- [67]
-
[68]
Schlosshauer,Quantum decoherence, Physics Reports831, 1–57 (2019)
M. Schlosshauer,Quantum decoherence, Physics Reports831, 1–57 (2019)
work page 2019
-
[69]
Schlosshauer,Decoherence, the measurement problem, and interpretations of quantum mechanics, Rev
M. Schlosshauer,Decoherence, the measurement problem, and interpretations of quantum mechanics, Rev. Mod. Phys.76, 1267–1305 (2005)
work page 2005
-
[70]
M. Schlosshauer, Decoherence: the Quantum-to-Classical Transition, The Frontiers Collection (Springer-Verlag, 2007) 10.1007/978-3-540-35775-9 (2007)
-
[71]
G. C. Ghirardi, A. Rimini, and T. Weber, inQuantum Probability and Applications II: Proceedings of a Workshop held in Heidelberg, West Germany, October 1–5, 1984(Springer, 1985) pp. 223–232
work page 1984
-
[72]
G. C. Ghirardi, A. Rimini, and T. Weber,Unified dynamics for microscopic and macroscopic systems, Physical review D34, 470–491 (1986)
work page 1986
-
[73]
R. Penrose,On gravity’s role in quantum state reduction, General relativity and gravitation28, 581–600 (1996)
work page 1996
-
[74]
L. Diosi,A universal master equation for the gravitational violation of quantum mechanics, Physics letters A120, 377–381 (1987)
work page 1987
-
[75]
A. Bassi and G. Ghirardi,Dynamical reduction models, Physics Reports379, 257–426 (2003)
work page 2003
-
[76]
S. Forstner, M. Zych, S. Basiri-Esfahani, K. E. Khosla, and W. P. Bowen,Nanomechanical test of quantum linearity, Optica7, 1427–1434 (2020)
work page 2020
-
[77]
I. Arnquist, F. Avignone III, A. Barabash, C. Barton, K. Bhimani, E. Blalock, B. Bos, M. Busch, M. Buuck, T. Caldwell,et al., Search for spontaneous radiation from wave function collapse in the majorana demonstrator, Physical Review Letters129, 080401 (2022)
work page 2022
- [78]
-
[79]
M. Carlesso, S. Donadi, L. Ferialdi, M. Paternostro, H. Ulbricht, and A. Bassi,Present status and future challenges of non-interferometric tests of collapse models, Nature Physics18, 243–250 (2022)
work page 2022
- [80]
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.