Bell scenarios encode classical non-causality

In the strange world of quantum physics, particles can behave in ways that defy our everyday intuition. Two of the most famous examples are nonlocality and contextuality. Nonlocality describes a situation where two people, far apart from each other, can coordinate their actions in a way that suggests they are sharing information instantly, even though no signal could possibly travel between them fast enough to explain it. Contextuality is a related puzzle: it reveals that the answer a particle gives to a question depends on what other questions are being asked at the same time. For decades, physicists have used mathematical diagrams called hypergraphs to map out these scenarios. In these diagrams, points represent possible outcomes, and lines connect groups of points that belong to the same measurement. The rules for drawing these lines are strict, ensuring that the probabilities of all outcomes add up correctly and that no one can send a secret signal to another person by simply choosing which measurement to perform.

A separate but equally fascinating area of research explores the idea of indefinite causal order. In our daily lives, cause always precedes effect; you flip a switch, and then the light turns on. However, in certain quantum setups, it becomes impossible to say who acted first. The events happen in a loop where A influences B, and B influences A, without creating a logical paradox. The deterministic, classical version of this phenomenon is known as a process function. These are scenarios where parties exchange information in a way that remains logically consistent, even if there is no fixed timeline determining who speaks before whom. For years, these two fields—the study of quantum measurements and the study of causal loops—have developed in parallel, using different languages to describe similar structural oddities.

A team of researchers has now discovered that these two fields are actually describing the same thing. By analyzing how different measurement scenarios can be combined, the authors found that the mathematical rules used to build complex measurement diagrams are identical to the rules that define classical process functions. Specifically, they showed that when you combine independent measurement scenarios using a specific, broad set of rules, the resulting structures correspond exactly to the deterministic communication protocols that allow for non-causal, or time-loop-like, interactions. This discovery means that the strange, non-causal behavior of classical systems is not a separate mystery but is simply a non-standard way of composing measurements.

The researchers began by looking at how to combine simple measurement setups. If you have two independent parties, each with their own set of measurements, you can combine them into a larger scenario. There are several ways to do this, but they must all respect the rule that no information travels faster than light. The most basic way to combine them assumes the parties act simultaneously without talking. However, to fully respect the laws of physics, you must also include scenarios where one party acts first and tells the other what to do. The researchers found that the standard way of combining these scenarios, known as the Foulis-Randall product, generates exactly the set of all possible two-party communication protocols that are logically consistent. In this two-party case, the protocols are either simultaneous or involve one-way communication, which corresponds to a clear cause-and-effect order.

The situation becomes much more interesting when you add a third party. With three or more people, there is no single, unique way to combine their scenarios that satisfies all the physical rules. Instead, there is a hierarchy of different combination rules. The simplest rules only allow for scenarios where everyone acts at once or where the order is fixed. More complex rules allow for dynamic control, where one person's measurement choice determines the order in which the others act. The researchers identified the most inclusive rule in this hierarchy, called the disjunctive product. They proved that the measurement structures generated by this specific rule are exactly the same as the set of all possible process functions, including those that are non-causal.

This equivalence is the core of their finding. It means that a measurement scenario is valid if and only if it corresponds to a logically consistent process function. If a measurement structure cannot be explained by any fixed order of events, it is not a mistake or a paradox; it is simply a non-causal process function. The team showed that you can identify these non-causal structures by checking if they fit within the broadest combination rule but fail to fit within the more restrictive rules that enforce a fixed timeline. This provides a clear, graphical test for non-causality: if a structure exists in the most inclusive set but not in the sets that enforce a specific order, it is non-causal.

The implications of this work are significant because it unifies two previously separate ways of thinking about physics. It demonstrates that classical non-causality is not a mysterious exception but a natural consequence of how we can combine measurement boxes. The researchers also showed that you can generate these complex, non-causal scenarios starting from simple, non-communicating ones by applying specific transformation rules. These rules are based on the fundamental requirements that probabilities must add up to one and that no one can signal to another. By following these rules, one can construct the famous Lugano process, a three-party scenario where each person's input depends on the others' outputs in a perfect loop, without any fixed starting point.

This study does not claim to have solved all mysteries of quantum gravity or time travel. Instead, it provides a precise mathematical map for a specific corner of physics. It proves that the structures governing classical non-causal processes are identical to the structures governing certain types of quantum measurements. This suggests that the weirdness of indefinite causal order is not a feature unique to the quantum realm but is a fundamental property of how information can be organized in any system that respects the basic rules of probability and no-signaling. The work offers a new perspective: what we call non-causality is simply a different, more flexible way of arranging the black boxes of measurement, one that allows for a richer set of logical connections than our everyday experience of time usually permits.