⚛️ quantum physics

Paradox-free classical non-causality and unambiguous non-locality without entanglement are equivalent

This paper establishes a fundamental equivalence between paradox-free classical non-causality (process functions) and quantum nonlocality without entanglement (QNLWE) by demonstrating that both phenomena arise from unambiguous complete product bases, thereby enabling systematic constructions of non-causal processes and proving the non-existence of such bases in bipartite systems.

Original authors: Hippolyte Dourdent, Kyrylo Simonov, Andreas Leitherer, Emanuel-Cristian Boghiu, Ravi Kunjwal, Saronath Halder, Remigiusz Augusiak, Antonio Acín

Published 2026-08-31

📖 5 min read🧠 Deep dive

CC BY 4.0

Original authors: Hippolyte Dourdent, Kyrylo Simonov, Andreas Leitherer, Emanuel-Cristian Boghiu, Ravi Kunjwal, Saronath Halder, Remigiusz Augusiak, Antonio Acín

Original paper licensed under CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ This is an AI-generated explanation of the paper below. It is not written or endorsed by the authors. For technical accuracy, refer to the original paper. Read full disclaimer

Imagine a universe where the rules of cause and effect are not fixed in stone. In our everyday experience, a cause always precedes its effect; you cannot break a window before you throw the stone. However, theoretical physics has long entertained the possibility of "closed timelike curves," paths through space and time that loop back on themselves, allowing information to travel into its own past. While such loops might seem to invite impossible contradictions—like a traveler preventing their own birth—physicists have proposed that nature might enforce a strict rule of consistency. Under this view, the past is not a rigid timeline but a flexible system that adjusts to ensure that every action taken in the past was always part of the history that led to the present. This idea, known as the "no new physics" principle, suggests that the laws of physics within any local region remain unchanged, even if time loops exist elsewhere. The challenge for scientists is to describe these scenarios without creating logical paradoxes, using only the tools of information and communication.

A team of researchers has now uncovered a deep and surprising link between these paradox-free time loops and a strange phenomenon in quantum mechanics called "quantum non-locality without entanglement." In the quantum world, particles can be linked in a way that defies classical explanation, known as entanglement. However, there are also sets of quantum states that are not entangled yet still cannot be perfectly distinguished by observers who are separated and can only communicate classically. This counterintuitive behavior, where local measurements fail to reveal the full picture of a whole system, has puzzled physicists for decades. The new study demonstrates that the mathematical structures required to describe consistent time loops are exactly the same as those required to create these elusive quantum states. In essence, the ability to communicate in a way that defies a fixed order of cause and effect is identical to the ability to hide quantum information in a way that cannot be unlocked by local observation.

The researchers focused on a specific type of communication model called a "process function." Imagine a group of people who can send messages to one another, but the rules of who receives a message from whom are not fixed in a simple line of time. Instead, the message a person receives depends on the messages they and others will eventually send. For this system to work without creating a logical contradiction, the rules must be set up so that there is always exactly one consistent solution to the puzzle of who sent what to whom. The team proved that any set of rules that allows for such a paradox-free, non-sequential communication is mathematically equivalent to a specific type of quantum puzzle. This puzzle involves a collection of quantum states that are "unambiguous," meaning that every local piece of the state belongs to a unique, identifiable category. If a set of quantum states is unambiguous in this way, it can be used to construct a time-loop communication system, and conversely, any valid time-loop system can be translated into such a set of quantum states.

This equivalence allows the scientists to solve problems in both fields simultaneously. For instance, they used their findings to prove a long-standing question about the limits of quantum mechanics: it is impossible to create a two-person version of this "non-locality without entanglement" puzzle. Previous work had shown that with three or more people, such puzzles exist, but the two-person case remained an open question. By showing that these quantum puzzles are the same as time-loop communication systems, and by proving that time loops are impossible with only two people, the researchers demonstrated that the quantum puzzle cannot exist for two people either. This result generalizes to any size of the system, confirming that the strange behavior of these quantum states requires at least three parties to manifest.

The study also revealed a connection between two different types of mathematical inequalities used to test the limits of physical theories. One type tests whether events follow a fixed order of cause and effect, while the other tests whether information can be shared without violating the speed of light. The researchers found that every valid time-loop communication system creates a scenario that breaks the rules of fixed cause and effect, yet simultaneously produces a scenario that strictly obeys the rules of non-communication. This means that the very structures that allow for the most extreme violations of causal order are the same ones that generate the most rigid constraints on signaling. It is a paradoxical symmetry where the freedom to break one rule of physics is inextricably linked to the necessity of obeying another.

By establishing this bridge, the researchers have provided a new toolkit for exploring the foundations of physics. They can now take a known quantum puzzle and instantly translate it into a model of time travel, or take a theoretical time-loop scenario and turn it into a new quantum communication protocol. This work does not just describe these phenomena; it provides a method to systematically build them, showing that the strange, non-sequential nature of the quantum world and the logical consistency of time loops are two sides of the same coin. The findings suggest that the universe's ability to hide information locally and its ability to maintain consistency across time are governed by the same underlying logic, offering a clearer picture of how information behaves when the usual flow of time is suspended.

Technical Summary: Paradox-free Classical Non-causality and Unambiguous Non-locality without Entanglement

1. Problem Statement

The paper addresses the theoretical relationship between two distinct concepts in quantum information and the foundations of physics:

Process Functions (PFs): Deterministic classical communication structures that model scenarios with closed timelike curves (CTCs) or indefinite causal order. These structures must remain logically consistent (avoiding time-travel paradoxes like the grandfather or bootstrap antinomies) while respecting the "no new physics" principle (local operations remain unchanged) and freedom of choice.
Quantum Non-locality without Entanglement (QNLWE): The phenomenon where a set of separable (product) quantum states cannot be perfectly distinguished using Local Operations and Classical Communication (LOCC).

A specific open question exists regarding the equivalence of these concepts. Previous work (Kunjwal and Baumeler, Ref. [44]) established a correspondence between a specific tripartite non-causal process function (the Lugano process) and the SHIFT basis (a QNLWE basis). However, it remained unclear whether this correspondence holds generally for arbitrary local dimensions and numbers of parties, or if it is limited to specific cases (e.g., qubits). Furthermore, it was unknown if all QNLWE bases correspond to valid process functions, particularly given that some known QNLWE examples (like the domino basis) appear to correspond to structures that are not valid process functions.

2. Methodology

The authors employ an information-theoretic framework to establish a rigorous mathematical correspondence between the two domains.

Process Function Characterization: The paper utilizes the definition of a process function as a deterministic map $w: A \to X$ (from outputs to inputs) that ensures the existence of a unique fixed point for any choice of local interventions $f$ . This uniqueness condition is the mathematical criterion for logical consistency (avoiding paradoxes).
Unambiguous Product Bases: The authors introduce the concept of an unambiguous complete product basis. A product basis $S$ is unambiguous if, for every party $k$ , any two distinct local vectors are orthogonal if and only if they belong to the same local subset (measurement setting). This ensures that every local state belongs to a unique local basis, preventing ambiguity in event labeling.
Bidirectional Construction:
1. From Basis to Function: The authors demonstrate that any unambiguous complete product basis defines a unique process function. They prove that the "pairwise exclusivity" of events in such a basis implies the non-self-signaling property required for logical consistency, and that the completeness and unambiguity conditions guarantee a unique fixed point for any intervention.
2. From Function to Basis: Conversely, they show that any valid process function can be encoded into an unambiguous complete product basis. This is achieved by constructing a set of product vectors using local controlled unitaries applied to a computational basis, where the unitaries are chosen to satisfy specific orthogonality conditions derived from the process function's structure.

3. Key Contributions and Results

A. Equivalence Theorem

The central result is the establishment of a one-to-one correspondence between:

Process Functions: Deterministic classical communication resources that are logically consistent under arbitrary local operations.
Unambiguous Complete Product Bases: Product bases where every local state belongs to a unique local basis.

This equivalence implies that non-causality (the ability to violate causal inequalities) in process functions is exactly mirrored by QNLWE (the impossibility of distinguishing states via LOCC) for the corresponding unambiguous bases.

B. Generalization

The results generalize previous findings from Ref. [44] (which were restricted to qubits and specific tripartite cases) to:

Arbitrary local dimensions ( $d_k$ ).
Any number of parties ( $n$ ).
Both causal and non-causal process functions.

C. Systematic Constructions

The paper provides explicit algorithms for:

Constructing a process function from any unambiguous product basis.
Constructing an unambiguous QNLWE basis from any process function.
This allows for the systematic generation of new examples of both non-causal processes and QNLWE bases.

D. Non-existence of Bipartite Unambiguous QNLWE

A significant corollary derived from the equivalence is that no bipartite unambiguous QNLWE basis exists in any dimension.

Reasoning: It is a known result that all bipartite process functions are causal (they cannot violate causal inequalities). Since non-causality is equivalent to QNLWE in this framework, and bipartite processes are always causal, there can be no bipartite unambiguous QNLWE basis. This generalizes the known fact that no two-qubit product basis exhibits QNLWE to arbitrary dimensions.

E. Connection to Inequalities

The authors reveal an unexpected link between causal and non-signaling inequalities:

Every process function $w$ defines a causal inequality (Eq. 15). If $w$ is non-causal, it maximally violates this inequality.
The same structure yields a Bell inequality (specifically, a local orthogonality inequality) that admits no violation (the classical bound equals the non-signaling bound).
Conversely, nontrivial local orthogonality inequalities derived from unextendible product bases (UPBs) correspond to causal inequalities that no valid process function can maximally violate; their maximal violation would require an invalid "quasi-process" (one that leads to paradoxes).

4. Significance and Claims

The paper claims to provide a unified interpretative framework for paradox-free classical non-causality and quantum non-locality without entanglement.

Unification: It demonstrates that the logical consistency required for time-travel scenarios (process functions) is mathematically identical to the structural constraints required for certain quantum states to be locally indistinguishable (unambiguous product bases).
Resolution of Ambiguity: The work clarifies why certain QNLWE examples (like the domino basis) do not correspond to valid process functions: they fail the "unambiguity" condition, leading to inconsistent event labeling or paradoxical structures.
Operational Insight: The correspondence suggests that non-causality and QNLWE arise precisely when local events cannot be identified in a "coarse-grained, setting-independent manner" from outputs alone. The necessity of fine-grained labeling (dependent on settings) reflects the underlying non-causal structure.
Future Directions: The authors suggest this framework could lead to a hierarchy of deterministic classical communication classes and unambiguous product bases, potentially shedding light on the operational advantages of indefinite causal order in information processing tasks beyond standard LOCC.

The paper maintains a modest tone regarding experimental implications, focusing strictly on the theoretical equivalence and the construction of mathematical objects (bases and functions) rather than proposing specific physical implementations of CTCs.