[论文解读] Why Synchronized Time is a Fiction: Daylight Saving Time, Leap Seconds, and the Guillotine Sharpened for Nothing

Paul Borrill|arXiv (Cornell University)|Mar 19, 2026

Relativity and Gravitational Theory被引用 0

一句话总结

论文主张单一全局同步时间是类别错误，夏令时、闰秒和时钟同步协议是传统修正，而非物理时间的测量。它将相对论、无限因果序与分布式系统联系起来，批评同步范式。

ABSTRACT

Civilization maintains an elaborate infrastructure devoted to the maintenance of synchronized time. Governments mandate daylight saving time. Standards bodies insert leap seconds into Coordinated Universal Time. Engineers debate leap milliseconds and leap nanoseconds. The Global Positioning System applies relativistic corrections at the nanosecond level. All of these adjustments attempt to preserve an assumption: that a single global time exists and that clocks can be made to agree upon it. This paper argues that this assumption constitutes a category mistake in the sense of Ryle (1949). We show that special and general relativity prohibit absolute simultaneity, that the one-way speed of light is conventionally defined rather than measured, and that recent experiments on indefinite causal order demonstrate nature admits correlations with no well-defined temporal sequence. We trace the consequences of this category mistake through distributed computing, where it manifests as the Forward-In-Time-Only (FITO) assumption that underlies Lamport's logical clocks (1978), the impossibility results of Fischer-Lynch-Paterson (1985), and the CAP theorem (2000). From this perspective, daylight saving time and leap seconds are not corrections to time but corrections to conventions -- they sharpen the guillotine of synchronization in preparation for executing something that does not exist.

研究动机与目标

• 阐明全球同步时间概念是类别错误，并将其与多种时间构造（UT1、TAI、UTC）进行对比。
• 展示相对论与量子原理如何使单向时间概念成为约定而非可观测的。
• 追踪基于约定的视角对分布式计算、GPS 与时钟同步协议的影响。
• 在工程情境中主张基于因果语义的系统设计，而非基于时间的同步。

提出的方法

• 回顾并综合基础物理学（爱因斯坦同步、 simultaneity 相对性、贝尔定理、无限因果序）。
• 将Reichenbach的常规性框架应用于单向光速与时钟同步公约。
• 通过fito（Forward-In-Time-Only）假设与Lamport时钟，将常规性映射到分布式系统。
• 批判性分析实际协议（IEEE 1588、PTP）与时间度量（单向时延）等作为依赖于约定的概念。
• 参考经验数据与案例（斯坦福数据、GPS 相对论修正）以说明同步公约在实践中的应用。

实验结果

研究问题

• RQ1 单一全局时间是否作为物理量存在，还是时间同步本质上是约定？
• RQ2 相对论与量子原理如何影响对单向时间测量的可观测性与有用性？
• RQ3 时钟同步公约对分布式系统、GPS 与高精度定时协议有何影响？
• RQ4 是否可以围绕因果语义重新设计同步协议，而非以时间协调为核心？
• RQ5 有哪些经验证据支持或挑战时间戳排序本质上是基于约定的观点？

主要发现

• 夏令时与闰秒是对公约的修正，而非对时间的物理测量。
• 单向光速是一个公约，而非可观测量，影响如NTP、PTP与GPS等同步方案。
• 相对论与无限因果序意味着基于时间戳的事件排序具有根本限制与循环依赖。
• 斯坦福数据示例显示的异常与相对论基础的限制一致，而非测量误差。
• fito假设与时间计量的常规修正相类比，挑战分布式系统中全局一致时间顺序的概念。
• 时间戳是强制执行所选时钟权威性的契约，而非事件发生的客观记录。