Abstract:The famous "Wigner's friend" paradox highlights the difficulty of modelling the evolution of quantum systems under measurement in situations where observers themselves are considered to be subject to the laws of quantum mechanics. In recent years, variations of the original Wigner's friend paradox have been recognized as fruitful arenas for probing the foundations of quantum theory. In particular Bong et al. [Nature Physics 16, 1199 (2020)] demonstrated a contradiction between a set of intuitive assumptions called "Local Friendliness" (LF) and certain quantum phenomena on an extended version of the Wigner's friend paradox. The LF assumptions can be understood as the conjunction of two independent assumptions: Absoluteness of Observed Events requires that any event observed by any observer has an absolute, rather than relative, value; Local Agency is the assumption that an intervention cannot be correlated with relevant events outside its future light cone. These assumptions are weaker than the assumptions that lead to Bell's theorem, and thus while the Local Friendliness result may be considered to be conceptually comparable to Bell's result, its implications are even deeper. The proof of the LF no-go theorem, however, relies on probability theory, and a fundamental question remained whether or not LF is an inherently statistical concept. Here we present a probability-free version of the Local Friendliness theorem, building upon Hardy's no-go theorem for local hidden variables. The argument is phrased in the language of possibilities, which we make formal by using a modal logical approach. It relies on a weaker version of Local Agency, which we call "Possibilistic Local Agency": the assumption that an intervention cannot affect the possibilities of events outside its future light cone.

Wigner-Araki-Yanase theorem for continuous and unbounded conserved observables

Limitations of Quantum Measurements and Operations of Scattering Type under the Energy Conservation Law

Heisenberg's uncertainty principle for simultaneous measurement of positive-operator-valued measures

The WAY theorem and the quantum resource theory of asymmetry

Quantum Liouville's theorem based on Haar measure

Partial Wavefunction Collapse Under Repeated Weak Measurement of a non-Conserved Observable

Simultaneous Momentum and Position Measurement and the Instrumental Weyl-Heisenberg Group

Allowing Wigner's friend to sequentially measure incompatible observables

Conserved Quantities in Parity-Time Symmetric Systems

Exploring the Accuracy of Interferometric Quantum Measurements under Conservation Laws

Conservation Laws For Every Quantum Measurement Outcome

Decomposing qubit positive-operator valued measurements into continuous destructive weak measurements

Restrictions on realizable unitary operations imposed by symmetry and locality

Sequential measurements of conjugate observables

Error and Disturbance as Irreversibility with Applications: Unified Definition, Wigner--Araki--Yanase Theorem and Out-of-Time-Order Correlator

A possibilistic no-go theorem on the Wigner's friend paradox

Quantum measurements constrained by the third law of thermodynamics

Are Observables Necessarily Hermitian?

Compatibility of all noisy qubit observables

Weyl channels for multipartite systems

Translation of "Die Messung quantenmechanischer Operatoren" by E.P.~Wigner