Kochen-Specker nonlocal hidden variables must include time-ordering to allow for measurement independence of several agents

This paper demonstrates that for a nonlocal hidden variable ontology with pre-existing possibilities outside space-time to maintain measurement independence for multiple agents in Bell-type experiments, the contextual information must encompass not only the available measurements but also the time ordering of the agents' choices.

The Gist

The Big Idea: A Cosmic "Menu" of Possibilities

Imagine that the universe doesn't decide what happens as it happens. Instead, imagine there is a giant, magical library (or a "repository") sitting outside of space and time. Inside this library, every single possible outcome for every possible experiment is already written down on a card.

This is the core idea the authors are exploring. They call it an ontology (a way of describing how reality works). In this view:

1. The Cards: Every possible measurement result exists as a "pre-existing possibility" in this library.
2. The Choice: When a scientist (an "agent") decides to perform an experiment, they "freely" pick a card from the library.
3. The Result: Once the card is picked, that result becomes real, and all the other possibilities on that card just fade away as "what could have happened but didn't."

The authors want to keep two things true at the same time:

• The results match Quantum Mechanics: We know quantum particles are weirdly connected (nonlocal). If you measure one particle here, it instantly affects the result of a particle light-years away.
• Free Choice is Real: The scientists must be truly free to choose which experiment to run. Their choices shouldn't be secretly rigged by the universe to match the particles.

The Problem: The "Signaling" Trap

The authors found a major glitch in this story when two or more scientists are involved.

The Analogy: The Cheating Game
Imagine Alice and Bob are playing a game in different rooms. They have a deck of cards (the "repository") that tells them what answers to give.

• If the deck is fixed, and Alice picks a card that says "If Bob asks Question X, I must answer Y," then Alice is sending a secret message to Bob.
• If Bob knows the rules of the deck, he can figure out what Alice did just by looking at his own answer.

In the world of quantum physics, to explain the "spooky" connections between particles, the "cards" in the library must contain these secret connections (signaling). If the cards didn't have these connections, the math wouldn't work, and we wouldn't see the weird quantum effects.

The Paradox:
If the cards have these secret connections, and Bob checks his card before Alice checks hers, Bob's card might force Alice to make a specific choice to keep the math consistent.

• Example: If Bob's card says "I chose Option B," and the library card says "If Bob chose B, Alice must have chosen A," then Alice isn't free anymore. She is forced to pick A.
• This breaks the rule of "Free Choice."

The Solution: Adding "Time" to the Menu

The authors propose a simple fix: The library cards must include the time order of the choices.

The Analogy: The "Who Went First?" Rule
Instead of just listing "Alice picks X, Bob picks Y," the library card must say:

• "If Alice picks X and she goes first, then Bob gets Y."
• "If Bob picks Y and he goes first, then Alice gets X."

By adding the time ordering (who made their choice first) to the context, the paradox disappears.

• If Alice goes first, the library gives her a card that allows her to be free.
• If Bob goes first, the library gives him a card that allows him to be free.
• The "secret message" (signaling) only happens after the first person makes their choice, so it doesn't force the second person to lose their freedom.

The paper argues that for this "Cosmic Library" theory to work without destroying human free will, the library must know when the choices happen, not just what the choices are.

Why This Matters (According to the Paper)

1. It Saves Free Will: It shows how you can have a universe where everything is pre-written (deterministic) but scientists still feel like they are making free choices, as long as the "pre-written" list knows the order of events.
2. It Needs a "Outside" Library: Because these connections happen instantly across space, this library cannot be inside our normal space and time. It has to be "outside" the universe, like a divine mind or a master database.
3. It's a Minimal Explanation: The authors suggest this is a very simple way to explain quantum mechanics without needing to invent parallel universes (like the "Many Worlds" theory) or say that free will is an illusion.

Summary in One Sentence

To explain how quantum particles are connected without stealing our freedom to choose, the "hidden rules" of the universe must know not just what we choose, but who chose it first.

Technical Summary

Technical Summary: Kochen-Specker Nonlocal Hidden Variables and Time-Ordering

Problem Statement
The paper addresses the ontological interpretation of quantum mechanics, specifically focusing on models that treat Kochen-Specker (KS) contextuality as a feature of "pre-existing possibilities" stored in a repository outside space-time. The authors investigate the compatibility of this ontology with measurement independence (often referred to as "free choice") in Bell-type experiments involving multiple independent agents.

The core tension arises from Bell's theorem, which dictates that any hidden variable model reproducing quantum correlations must be nonlocal. If the repository contains nonlocal deterministic assignments (hidden variables) that determine outcomes based on measurement contexts, a conflict emerges: in certain configurations, the outcome of one agent's measurement appears to depend on the future choice of another agent. Without additional constraints, this dependency implies that the later agent cannot choose their measurement context freely, as their choice would be constrained by the need to match the pre-existing assignment retrieved by the earlier agent. This threatens the principle of measurement independence.

Methodology
The authors analyze the structure of nonlocal deterministic assignments within a repository ontology. They proceed through the following logical steps:

1. Ontological Framework: They define an ontology where hidden variables are pre-existing possibilities stored outside space-time. When an agent chooses a context (measurement setting), the corresponding value is retrieved from this repository.
2. Signal Analysis: They examine specific nonlocal deterministic assignments (e.g., those violating the CHSH inequality). They demonstrate that any nonlocal deterministic assignment that is not locally causal inherently contains "signaling" (where an output depends on a distant input).
3. The Paradox of Free Choice: They illustrate that if a repository contains a fixed nonlocal assignment (e.g., $a+b \equiv xy \mod 2$), and agents choose measurements in a time-ordered sequence (e.g., Bob measures before Alice), Bob's outcome effectively dictates Alice's input to maintain consistency. This forces Alice's choice to be correlated with Bob's, violating measurement independence.
4. Resolution via Time-Ordering: The authors propose that to preserve measurement independence for all agents, the "context" retrieved from the repository must include not only the measurement settings but also the time ordering of the agents' choices.
5. Generalization: They extend this argument to multipartite systems. They prove that any quantum correlation (which satisfies the no-signaling condition) can be decomposed into a mixture of deterministic assignments that respect a specific time ordering (i.e., assignments that signal only forward in time, avoiding causal cycles).

Key Contributions and Results

• Necessity of Time-Ordering in Context: The primary result is the demonstration that for a repository-based hidden variable model to be consistent with measurement independence in multi-agent Bell experiments, the context must explicitly include the temporal order of the agents' choices.
• Decomposition of Quantum Correlations: The paper shows that the set of quantum correlations (and the broader no-signaling polytope) is contained within the "arrow-of-time polytope." This means any quantum correlation can be decomposed into deterministic assignments that are consistent with some time ordering (e.g., $t_A \le t_B \le t_C$), where signaling flows only from earlier to later choices.
• Resolution of Signaling Cycles: By including time ordering in the context, the model avoids "circular signaling" (where $A$ signals to $B$ and $B$ signals back to $A$). In a time-ordered context, an assignment only needs to signal from the earlier agent to the later one, ensuring that the later agent's choice remains free relative to the earlier agent's outcome.
• Operational Definition of Time: The authors clarify that the relevant time $t_P$ is the moment the system produces an outcome relative to the measurement device, rather than the moment of human decision, though this distinction remains operationally difficult to pinpoint.

Significance and Claims
The paper claims to provide a "minimal explanation" for how outcomes are produced in quantum experiments under a single-universe ontology. Its significance lies in:

1. Preserving Measurement Independence: It offers a way to maintain the assumption that agents (or random number generators) can freely choose measurement contexts without resorting to superdeterminism (where the source is correlated with the choices) or abandoning the single-world view.
2. Ontological Consistency: It resolves the conflict between nonlocal hidden variables and free choice by expanding the definition of "context" to include temporal relations.
3. Theological and Philosophical Resonance: The authors note that this repository concept resonates with theological discussions on divine omniscience and human free will (specifically Molinism and the concept of Infuturabilien discussed by Ernst Specker) and statistical physics views like the "Mentaculus." They suggest their "quantum repository" could be viewed as a generalization of these concepts to include nonlocal assignments.

The authors remain modest, stating they do not compare the merits of this ontology against other radical departures from common beliefs (such as many-worlds or superdeterminism) but rather show that this specific path requires the inclusion of time-ordering to be logically consistent.