[论文解读] Six Birds: Foundations of Emergence Calculus

Ioannis Tsiokos|arXiv (Cornell University)|Jan 28, 2026

Distributed systems and fault tolerance被引用 1

一句话总结

本文提出一个仅包含数学的框架，其中理论作为幂等算子的不动点而产生；开放性需要改变算子；引入六个原始运算（P1–P6），并发展出一个具有闭合阶梯、时间之箭审计与有限强制引理的涌现微积分。

ABSTRACT

We develop a discipline-agnostic emergence calculus that treats theories as fixed points of idempotent operators acting on descriptions. We show that, once processes are composable but access to the underlying system is mediated by a bounded observational interface, a canonical toolkit of six closure-changing primitives (P1--P6) is unavoidable. The framework unifies order-theoretic closure operators with dynamics-induced endomaps $E_{τ,f}$ built from a Markov kernel, a coarse-graining lens, and a time scale $τ$. We introduce a computable total-variation idempotence defect for $E_{τ,f}$; small retention error implies approximate idempotence and yields stable "objects" packaged at the chosen $τ$ within a fixed lens. For directionality, we define an arrow-of-time functional as the path-space KL divergence between forward and time-reversed trajectories and prove it is monotone under coarse-graining (data processing); we also formalize a protocol-trap audit showing that protocol holonomy alone cannot sustain asymmetry without a genuine affinity in the lifted dynamics. Finally, we prove a finite forcing-style counting lemma: relative to a partition-based theory, definable predicate extensions are exponentially rare, giving a clean anti-saturation mechanism for strict ladder climbing.

研究动机与目标

• 提供一个最小、与学科无关的框架，当粗粒描述产生稳定、可定义的理论时。
• 证明理论作为幂等自同态的不动点产生，开放性增长需要改变完成规则。
• 引入并证明六个原始运算（P1–P6）用于理论增长与审计机制。
• 开发审计泛函（时间之箭与亲和性）在粗观察下具有单调性。

提出的方法

• 将理论形式化为带有镜头、完成规则和审计泛函的有限理论包。
• 从马尔可夫核、粗粒镜头与时标定义动力学诱导的经验自同态E_{τ,f}。
• 通过TV幂等缺陷δ_{τ,f}与保留ε_{τ,f}来衡量幂等鲁棒性并界定近似误差。
• 使用路径空间KL散度作为时间之箭审计，并证明数据处理不能增加不对称性。
• 给出一个有限强制引理，表明可定义谓词相对于基于分区的理论呈指数级稀少，从而实现严格的理论扩展。
• 将序闭合与幂等自同态统一起来推导出规范的涌现原语P1–P6。

实验结果

研究问题

• RQ1 六个原始运算P1–P6如何作为在有界观测下的可组合性下不可避免的闭合機制 canonically 自然产生？
• RQ2 如何在一个有限理论包中形式化涌现（稳定对象）与开放性（严格理论扩展）？
• RQ3 如何对方向性（时间之箭）进行审计并确保不因粗观察而产生伪影？
• RQ4 在给定时标与镜头下，哪些机制确保打包对象的鲁棒性，如何定量评估可定义性？

主要发现

• 定理7表明在所述假设下，P1–P6 自然地作为改变闭合的运算出现。
• 粗粒化不能产生时间之箭；在粗观察下，数据处理收缩路径空间KL散度。
• 协议陷阱原理提供一种审计，避免因隐藏的内部调度导致的虚假不对称性。
• 有限强制引理表明相对于基于分区的理论，可定义谓词呈指数级稀少，从而实现严格的阶梯提升。
• 幂等缺陷δ_{τ,f}给出近似幂等性的可计算界限，在给定时间尺度τ下得到鲁棒对象。
• 该框架将完成（幂等自同态）与扩展（可定义性变化）分离，将稳定性、新颖性与方向性与不同证书联系起来。