Sequential Measurements and the Kochen–Specker Arguments

Rob Clifton

Laurens Walleghem, Yìlè Yīng, Rafael Wagner +1 more

The Local Friendliness argument is an extended Wigner's friend no-go theorem that provides strong constraints on the nature of reality – stronger even than those imposed by Bell's theorem or by noncontextuality arguments. In this work, we prove a variety of connections between Local Friendliness scenarios and Kochen-Specker noncontextuality. Specifically, we first show how one can derive new Local Friendliness inequalities using known tools and results from the literature on Kochen-Specker noncontextuality. In doing so, we provide a new derivation for some of the facets of the Local Friendliness polytope, and we prove that this polytope is equal to the Bell polytope in a wide range of extended Wigner's friend scenarios with multipartite agents and sequential measurements. We then show how any possibilistic Kochen-Specker argument can be mathematically translated into a related proof of the Local Friendliness no-go theorem. In particular, we construct a novel kind of Local Friendliness scenario where a friend implements several compatible measurements (or joint measurements of these) in between the superobserver's operations on them. We illustrate this with the well-known 5-cycle and Peres-Mermin contextuality arguments.

John L. Bell

Gábor Hofer‐Szabó

It will be shown that the Peres-Mermin square admits value-definite noncontextual hidden-variable models if the observables associated with the operators can be measured only sequentially but not simultaneously. Namely, sequential measurements allow for noncontextual models in which hidden states update between consecutive measurements. Two recent experiments realizing the Peres-Mermin square by sequential measurements will also be analyzed along with other hidden-variable models accounting for these experiments.

Peter B. Siegel

Gábor Hofer‐Szabó

If noncontextuality is defined as the robustness of a system's response to a measurement against other simultaneous measurements, then the Kochen-Specker arguments do not provide an algebraic proof for quantum contextuality. Namely, for the argument to be effective, (i) each operator must be uniquely associated with a measurement and (ii) commuting operators must represent simultaneous measurements. However, in all Kochen-Specker arguments discussed in the literature either (i) or (ii) is not met. Arguments meeting (i) contain at least one subset of mutually commuting operators which do not represent simultaneous measurements and hence fail to physically justify the functional composition principle. Arguments meeting (ii) associate some operators with more than one measurement and hence need to invoke an extra assumption different from noncontextuality.