General Quantum Circuit Framework for Extended Wigner’s Friend Scenarios: Logically and Causally Consistent Reasoning without Absolute Measurement Events
Extended Wigner’s friend scenarios (EWFSs) model agents themselves as unitarily evolving quantum systems, going beyond the standard use of quantum theory where agents are treated classically. Several no-go results suggest deep challenges in this setting: Frauchiger and Renner argued that quantum agents reasoning using quantum theory would arrive at logical paradoxes, while the local-friendliness theorem raises difficulties for maintaining objective notions of measurement events and causal reasoning in EWFSs. This prompts a key question: Can the ability to make and test scientific predictions and reason consistently still be maintained if quantum theory applies universally, even to agents and their memories? We answer this positively by developing a general quantum circuit framework for EWFSs without assuming absolute measurement outcomes. We formalize Heisenberg cuts in terms of distinct choices of channels in the circuit, labeled by “settings,” and show that Frauchiger-Renner-type paradoxes are fully resolved by making explicit the conditioning on these channels or settings. We provide concrete reasoning rules for quantum agents that ensure logical, probabilistic, and causal consistency. Our framework captures all perspectives in an EWFS within a single causal structure while allowing events to be fundamentally subjective, and we show how objective events and predictions nevertheless emerge in current real-world quantum experiments. Thus, we demonstrate a relational yet operational framework that overcomes key challenges in EWFSs without altering the Born rule, unitarity, or classical logic and probability for outcomes. This establishes a formal platform to analyze and compare different EWFS arguments and extend quantum information methods consistently into the Wigner’s friend domain.
Extended Wigner’s friend scenarios (EWFSs) model agents themselves as unitarily evolving quantum systems, going beyond the standard use of quantum theory where agents are treated classically. Several no-go results suggest deep challenges in this setting: Frauchiger and Renner argued that quantum agents reasoning using quantum theory would arrive at logical paradoxes, while the local-friendliness theorem raises difficulties for maintaining objective notions of measurement events and causal reasoning in EWFSs. This prompts a key question: Can the ability to make and test scientific predictions and reason consistently still be maintained if quantum theory applies universally, even to agents and their memories? We answer this positively by developing a general quantum circuit framework for EWFSs without assuming absolute measurement outcomes. We formalize Heisenberg cuts in terms of distinct choices of channels in the circuit, labeled by “settings,” and show that Frauchiger-Renner-type paradoxes are fully resolved by making explicit the conditioning on these channels or settings. We provide concrete reasoning rules for quantum agents that ensure logical, probabilistic, and causal consistency. Our framework captures all perspectives in an EWFS within a single causal structure while allowing events to be fundamentally subjective, and we show how objective events and predictions nevertheless emerge in current real-world quantum experiments. Thus, we demonstrate a relational yet operational framework that overcomes key challenges in EWFSs without altering the Born rule, unitarity, or classical logic and probability for outcomes. This establishes a formal platform to analyze and compare different EWFS arguments and extend quantum information methods consistently into the Wigner’s friend domain.
The Wigner's friend thought experiment raises the question of whether quantum theory can be applied consistently to systems that include observers. Extended Wigner's Friend Scenarios develop this question by considering several observers who may assign different descriptions to the same experiment. In the Local Friendliness (LF) framework, these scenarios lead to experimentally testable inequalities derived from assumptions such as Absoluteness of Observed Events and Local Agency. Motivated by the "Thoughtful" version of the Local Friendliness no-go theorem, which points towards future LF tests with human-level artificial agents implemented on quantum computers, this work implements the "friend" with explicit agent-like functionality within a reversible quantum circuit. Drawing from the literature on Artificial Intelligence, we construct rudimentary agent-like systems and embed them into a one-friend Extended Wigner's Friend Scenario. These agents store measurement outcomes, condition later operations on stored information, and, in the most structured case, use Born-rule probabilities to bet on the outcomes of their own future observations based on past observations. The circuits are simulated ideally and with an IBM-device noise model and executed on ibm_marrakesh. Ideal simulations reproduce the maximal quantum violation of a Local Friendliness inequality up to finite-shot fluctuations, while hardware runs show positive LF violations for all implemented agents. These results provide a first step towards more structured agent-like friend models in LF experiments on quantum computers.
The Wigner's friend thought experiment raises the question of whether quantum theory can be applied consistently to systems that include observers. Extended Wigner's Friend Scenarios develop this question by considering several observers who may assign different descriptions to the same experiment. In the Local Friendliness (LF) framework, these scenarios lead to experimentally testable inequalities derived from assumptions such as Absoluteness of Observed Events and Local Agency. Motivated by the “Thoughtful” version of the Local Friendliness no-go theorem, which points towards future LF tests with human-level artificial agents implemented on quantum computers, this thesis implements the “friend” with explicit agent-like functionality within a reversible quantum circuit. Several such agents are constructed and embedded into a one-friend Extended Wigner's Friend Scenario, following recent work that uses quantum computers as a platform for LF violations with more sophisticated “friend” systems. These agents store measurement outcomes, condition later operations on stored information, and, in the most structured case, use Born-rule probabilities to bet on the outcomes of their own future observations. The circuits are implemented in Qiskit, simulated ideally and with IBM-device noise models, and executed on ibm_marrakesh. In ideal simulations, all agent implementations reproduce the maximal quantum violation of a Local Friendliness inequality up to finite-shot fluctuations. Hardware runs show positive Local Friendliness violations for all implemented agents, with decreasing violation strength consistent with greater noise accumulation. The observed violations also remain above an estimated bound obtained by considering relaxations of a Local Friendliness assumption. These results provide a first step towards more structured agent-like friend models in LF experiments on quantum computers.
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).
Abstract The Wigner’s friend type of thought experiments manifest the conceptual challenge on how different observers can have consistent descriptions of a quantum measurement event. In this paper, we analyze the extended version of Wigner’s friend thought experiment (Frauchiger and Renner in Nat Commun 3711:9, 2018) in detail and show that the reasoning process from each agent that leads to the no-go theorem is inconsistent. The inconsistency is with respect to the requirement that an agent should make use of updated information instead of outdated information. We then apply the relational formulation of quantum measurement to resolve the inconsistent descriptions from different agents. In relational formulation of quantum mechanics, a measurement is described relative to an observer. Synchronization of measurement result is a necessary requirement to achieve consistent descriptions of a quantum system from different observers. Thought experiments, including EPR, Wigner’s Friend and it extended version, confirm the necessity of relational formulation of quantum measurement when applying quantum mechanics to composite system with entangled but space-like separated subsystems.
Local Friendliness (LF) inequalities follow from seemingly reasonable assumptions about reality: (i) ``absoluteness of observed events'' (e.g., every observed event happens for all observers) and (ii) ``local agency'' (e.g., free choices can be made uncorrelated with other events outside their future light cone). Extended Wigner's Friend Scenario (EWFS) thought experiments show that textbook quantum mechanics violates these inequalities. Thus, experimental evidence of these violations would make these two assumptions incompatible. In [Nature Physics 16, 1199 (2020)], the authors experimentally implemented an EWFS, using a photonic qubit to play the role of each of the ``friends'' and measured violations of LF. One may question whether a photonic qubit is a physical system that counts as an ``observer'' and thereby question whether the experiment's outcome is significant. Intending to measure increasingly meaningful violations, we propose using a statistical measure called the ``branch factor'' to quantify the ``observerness'' of the system. We then encode the EWFS as a quantum circuit such that the components of the circuit that define the friend are quantum systems of increasing branch factor. We run this circuit on quantum simulators and hardware devices, observing LF violations as the system sizes scale. As errors in quantum computers reduce the significance of the violations, better quantum computers can produce better violations. Our results extend the state of the art in proof-of-concept experimental violations from branch factor 0.0 to branch factor 16.0. This is an initial result in an experimental program for measuring LF violations at increasingly meaningful branch factors using increasingly more powerful quantum processors and networks. We introduce this program as a fundamental science application for near-term and developing quantum technology.
Recent no-go theorems based on extended Wigner's Friend scenarios (EWFS) reveal a deep tension between the universal validity of quantum theory and local friendliness (LF), the conjunction of three natural assumptions: the absoluteness of observed events, locality, and no-superdeterminism. In a recent work, Adlam argues that this tension can be dissolved by appealing to quantum reference frames (QRFs). We present and critically assess her proposal. We show that her proposed resolution does not arise from QRFs, but instead relies on three independent modifications: certain degrees of freedom are always definite, observers can flip upon measuring spins, and the outcomes the superobservers record and use to test the inequalities are not their friends' observed results. The proposal and the arguments for the plausibility of these modifications rest on several misconceptions about QRFs and EWFS, which we rectify. We conclude that, within standard quantum theory, quantum reference frames do not evade the EWFS no-go theorems.