Open Problems Contextuality

Contextuality research depends on which operational equivalences, measurements, and free transformations define the problem. Its different mathematical formulations overlap without being interchangeable. The comparison below explains which assumptions to check; Contextuality as a Resource in Research discusses dated results and research questions.

The definition fixes the excluded models

Established: Kochen–Specker-type contradictions rule out specified context-independent value assignments to sharp observables. Established: generalized operational noncontextuality compares representations of operationally equivalent procedures. Active: which resource measures and conversion rules best capture advantages in particular tasks.

A sharp-projector argument can assume deterministic values justified by perfect predictability together with the relevant noncontextuality premises. An unsharp operational scenario cannot automatically inherit that determinism. The introduction to contextuality explains the distinction.

When a paper reports a violation, identify the objects assigned values, the equivalences enforced, and whether the data satisfy or approximately realize those equivalences.

Compatibility is an experimental premise

Suppose observables $A$ and $B$ are measured sequentially. An observed change in the distribution of $A$ when $B$ is included may indicate disturbance. A noncontextuality inequality derived for compatible measurements cannot be applied unchanged while ignoring that disturbance.

Conversely, matching one marginal does not prove every relevant transformation is nondisturbing. A robust test needs an operational argument for the compatibility or equivalence assumptions actually used.

This is why a contextuality demonstration is more than a table of expectation values. The measurement procedures and calibration relations are part of the evidence.

Resource statements need a conversion problem

A resource claim should specify free behaviors, free operations, a target task, and a performance measure. If a monotone $M$ satisfies

$$M(\Phi(p))\leq M(p)$$

for every free transformation $\Phi$, it supplies a necessary conversion constraint. It need not be sufficient: two behaviors with ordered monotone values may still be incomparable under the chosen operations.

Contextuality as a Resource illustrates witness bounds and restricted computational models. A necessary contextuality condition for a speedup is not proof that every contextual state yields that speedup.

A useful research comparison

Compare two experimental proposals at the same statistical confidence and under the same equivalence assumptions. A larger raw violation can be less informative if it requires stronger unverified compatibility premises. A smaller violation with a better controlled operational scenario may support the stronger inference.

The scenario index helps match a claim to the appropriate mathematical setting. No single index entry exhausts “nonclassicality.”

References

• Budroni, Costantino, Adán Cabello, Otfried Gühne, Matthias Kleinmann, and Jan-Åke Larsson, “Kochen–Specker contextuality,” Reviews of Modern Physics 94, 045007 (2022). Review.
• Spekkens, Robert W., “Contextuality for preparations, transformations, and unsharp measurements,” Physical Review A 71, 052108 (2005). Paper.