The precise interpretation of quantum mechanics is still open to discussion. A number of non-intercompatible interpretations, with a not unsignificant respective following, are at the time of writing still viable. When Eugene Wigner stated his titular thought experiment he managed to highlight how varying assumptions and accompanying mechanisms can have implications even on a macro-scale. Caslav Brukner expands the thought experiment of Wigner's Friend in his recent paper and derives a theorem using the setup. In our paper, we empirically validate the theorem derived in Brukner's paper, employing a setup based on his extended Wigner's Friend experiment. More precisely, we realise this setup on a 5-qubit Quantum Computer and achieve a violation of a Bell-type inequality, close to what is theoretically possible. This seems to imply that local observer-independent facts are not possible within the current framework of quantum mechanics.
The precise interpretation of quantum mechanics is still open to discussion. A number of non-intercompatible interpretations, with a not unsignificant respective following, are at the time of writing still viable. When Eugene Wigner stated his titular thought experiment he managed to highlight how varying assumptions and accompanying mechanisms can have implications even on a macro-scale. Caslav Brukner expands the thought experiment of Wigner's Friend in his recent paper and derives a theorem using the setup. In our paper, we empirically validate the theorem derived in Brukner's paper, employing a setup based on his extended Wigner's Friend experiment. More precisely, we realise this setup on a 5-qubit Quantum Computer and achieve a violation of a Bell-type inequality, close to what is theoretically possible. This seems to imply that local observer-independent facts are not possible within the current framework of quantum mechanics.
The scientific method relies on facts, established through repeated measurements and agreed upon universally, independently of who observed them. In quantum mechanics the objectivity of observations is not so clear, most markedly exposed in Wigner's eponymous thought experiment where two observers can experience seemingly different realities. The question whether the observers' narratives can be reconciled has only recently been made accessible to empirical investigation, through recent no-go theorems that construct an extended Wigner's friend scenario with four observers. In a state-of-the-art six-photon experiment, we realize this extended Wigner's friend scenario, experimentally violating the associated Bell-type inequality by five standard deviations. If one holds fast to the assumptions of locality and free choice, this result implies that quantum theory should be interpreted in an observer-dependent way.
Abstract Wigner’s friend thought experiment is intended to reveal the inherent tension between unitary evolution and measurement collapse. Inspired by the Wigner’s friend experiment, Brukner derives a no-go theorem for observer-independent facts, focusing on two entangled observers in their respective laboratories. We construct an extended Wigner’s friend scenario, including three laboratories, namely, Alice’s laboratory, Bob’s laboratory and Charlie’s laboratory, where Alice, Bob and Charlie are standing outside the laboratories while their friends are placed inside their own laboratories. To realize this scenario, we create a universal quantum circuit, especially the circuit realization of the state evolution and measurement inside each laboratory, simple but novel. We carry out experiments on the IBM quantum computers to test the primary circuits, i.e. state preparation, state evolution and measurement inside each laboratory. Furthermore, we perform the simulation of the quantum circuit via Q# quantum programming on a classical computer.
In his famous thought experiment, Wigner assigns an entangled state to the composite quantum system made up of Wigner's friend and her observed system. While the two of them have different accounts of the process, each Wigner and his friend can in principle verify his/her respective state assignments by performing an appropriate measurement. As manifested through a click in a detector or a specific position of the pointer, the outcomes of these measurements can be regarded as reflecting directly observable "facts". Reviewing arXiv:1507.05255, I will derive a no-go theorem for observer-independent facts, which would be common both for Wigner and the friend. I will then analyze this result in the context of a newly-derived theorem arXiv:1604.07422, where Frauchiger and Renner prove that "single-world interpretations of quantum theory cannot be self-consistent". It is argued that "self-consistency" has the same implications as the assumption that observational statements of different observers can be compared in a single (and hence an observer-independent) theoretical framework. The latter, however, may not be possible, if the statements are to be understood as relational in the sense that their determinacy is relative to an observer.
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.
Does quantum theory apply at all scales, including that of observers? New light on this fundamental question has recently been shed through a resurgence of interest in the long-standing Wigner’s friend paradox. This is a thought experiment addressing the quantum measurement problem—the difficulty of reconciling the (unitary, deterministic) evolution of isolated systems and the (non-unitary, probabilistic) state update after a measurement. Here, by building on a scenario with two separated but entangled friends introduced by Brukner, we prove that if quantum evolution is controllable on the scale of an observer, then one of ‘No-Superdeterminism’, ‘Locality’ or ‘Absoluteness of Observed Events’—that every observed event exists absolutely, not relatively—must be false. We show that although the violation of Bell-type inequalities in such scenarios is not in general sufficient to demonstrate the contradiction between those three assumptions, new inequalities can be derived, in a theory-independent manner, that are violated by quantum correlations. This is demonstrated in a proof-of-principle experiment where a photon’s path is deemed an observer. We discuss how this new theorem places strictly stronger constraints on physical reality than Bell’s theorem. For a scenario of two separated but entangled observers, inequalities are derived from three fundamental assumptions. An experiment shows that these inequalities can be violated if quantum evolution is controllable on the scale of an observer.
How can we address the idea of observers in quantum mechanics? The long-standing Wigner’s friend thought experiment provides a conceptual framework for thinking about this question. It considers the the difficulty of reconciling unitary, evolution of systems and non-unitary state update after a making observations. Following from a recent suggested protocol with two friends that share and entangled state, we prove and investigate, in a photonic experiment, a strong no-go theorem for this Wigner’s friend scenario. Specifically, if quantum mechanics applies at the scale of observers, then there are constraints on the set of assumptions: locality; no-superdeterminism; and absoluteness of observed events. We note that this new theorem places strictly stronger constraints on physical reality than Bell’s theorem.