Testing the reality of Wigner's friend's observations

Does quantum theory apply at all scales, including that of observers? A resurgence of interest in the long-standing Wigner's friend paradox has shed new light on this fundamental question. Here---building on a scenario with two separated but entangled "friends" introduced by Brukner---we rigorously prove that if quantum evolution is controllable on the scale of an observer, then one of the following three assumptions must be false: "No-Superdeterminism", "Locality", or "Absoluteness of Observed Events" (i.e. that every observed event exists absolutely, not relatively). We show that although the violation of Bell-type inequalities in such scenarios is not in general sufficient to demonstrate the contradiction between those assumptions, new inequalities can be derived, in a theory-independent manner, which are violated by quantum correlations. We demonstrate this 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 quantum reality than Bell's theorem.