发表机构
ICFO-Institut de Ciencies Fotoniques, The Barcelona Institute of Science and Technology; Department for Quantum Technology, Universität Münster; Barcelona Supercomputing Center; Fakultät für Mathematik, Universität Wien; Aix-Marseille University, CNRS, LIS; ICREA（ICFO-光子科学研究所，巴塞罗那科学与技术研究所; 明斯特大学量子技术系; 巴塞罗那超级计算中心; 维也纳大学数学学院; 艾克斯-马赛大学，法国国家科学研究中心，信息系统实验室; 加泰罗尼亚高级研究学院）
机构由 AI 辅助整理，请以论文原文为准。AI 中文总结
本文提出事件级无干预判据，证明确定性经典过程逻辑一致等价于无信号循环且事件成对互斥完备，并揭示其与多部分斯佩克原理的关联。
AI 中文摘要
如果因果循环在任意独立的局部干预下能够生成有效的概率，它们就能避免悖论。我们证明，一个确定性的经典过程在逻辑上是一致的，当且仅当它不包含信号循环：循环信号是被禁止的，但循环因果并非如此，从而允许不确定的因果顺序。然后发现，逻辑一致性恰好在一个过程的事件列表是成对互斥且完备时成立，这提供了第一个基于事件、无干预、非递归的一致因果循环表征。我们的结果修复了先前引入的、遗漏全局循环的无干预准则，并揭示了使得无因果顺序的确定性经典通信保持一致的原因是多部分的斯佩克原理：如果几个问题中的任意两个可以联合回答，那么所有问题都可以联合回答。
英文摘要
Causal loops escape paradoxes if they generate valid probabilities under arbitrary independent local interventions. We show that a deterministic classical process is logically consistent if and only if it contains no signaling loops: cyclic signaling is forbidden but cyclic causation is not, allowing indefinite causal order. Logical consistency is then found to hold exactly when the list of events of a process is pairwise exclusive and complete, providing the first event-based, intervention-free, non-recursive characterization of consistent causal loops. Our results repair a previously introduced intervention-free criterion that misses global loops and reveal that what makes deterministic classical communications without causal order consistent is a multipartite form of Specker's principle: if any two of several questions can be answered jointly, so can all of them.
Comments7+4 pages, 2 figures
