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

Abstract

Closed timelike curves (CTCs) challenge our conception of causality by allowing information to loop back into its own past. Any consistent description of such scenarios must avoid time-travel paradoxes while respecting the no-new-physics principle, which requires that the set of operations available within any local spacetime region remain unchanged, irrespective of whether CTCs exist elsewhere. Within an information-theoretic framework, this leads to process functions: deterministic classical communication structures that remain logically consistent under arbitrary local operations, yet can exhibit correlations incompatible with any definite causal order - a phenomenon known as non-causality. In this work, we establish a correspondence between process functions and unambiguous complete product bases, i.e. product bases in which every local state belongs to a unique local basis. This equivalence implies that non-causality of process functions is exactly mirrored by quantum nonlocality without entanglement (QNLWE) - the impossibility of perfectly distinguishing separable states using local operations and causal classical communication - for such bases. Our results generalize previous special cases to arbitrary local dimensions and any number of parties, enable systematic constructions of non-causal process functions and unambiguous QNLWE bases, and implies, inter alia, that bipartite unambiguous QNLWE bases do not exist. Finally, this work reveals an unexpected connection between causal and non-signaling inequalities: every process function both maximally violates an associated causal inequality and yields a corresponding Bell inequality that admits no violation.

15+9 pages, 3 figures. Removed the V1 characterization of process functions, which had a loophole (implicit dimension constraints); this will be addressed in future work. Simplified the proof that process functions can be constructed from unambiguous product bases, now relying solely on the unique fixed-point condition. Improved overall manuscript structure