GLS—因果流形—EBOC—RCA 统一中的 Zeckendorf 范畴:对象级归一化、窗化散射信息的桥接及其到几何变分—爱因斯坦场方程的闭合推导
Version: 2.4
摘要
在以广义光结构刻画因果几何、以 EBOC 表达观察—计算的全局幺正与可逆性的统一语境下,构造 Zeckendorf 结构的范畴化体系 ,在对象级定义归一化投影 ,并以“值加法后归一化“的张量给出对象级结合/交换与张量相容。由可逆局域“进/借位“规则与 Curtis–Hedlund–Lyndon 型定理建立与 RCA 的桥接;在 Nyquist—Poisson—有限阶 EM 纪律下定义 的量化—归一化链 ,给出非渐近误差闭合与“奇性不增“。几何侧以“双时间分离原理“保证因果偏序仅由因果前沿时间 决定,而 Zeckendorf 日志仅定位于操作化刻度 侧。最后在统一公理背景下,以窗化相对熵—几何作用的变分严格导出含宇宙学常数的爱因斯坦场方程的极值条件。
MSC:83C05;81U15;37B15;37N20;42A38;94A17。 关键词:GLS;EBOC;RCA;Zeckendorf 分解;归一化投影;张量相容;窗化群延迟;有限阶 Euler–Maclaurin;Poisson 连接;双时间分离;信息几何变分;爱因斯坦—希尔伯特作用。
Notation & Axioms / Conventions
- 散射母尺与幺正性。能变量 。幺正散射矩阵 可微。Wigner–Smith 群延迟 。总相位 。相对态密度 。核心母刻度同一
- 窗化压缩与读数。取平滑快速衰减窗核 与分析核 ,记 、卷积 。Toeplitz/Berezin 压缩乘子 。沿观测路径 的窗化群延迟读数
- 双时间分离。因果前沿时间 决定偏序与无信号; 为操作化刻度。二者无普适大小比较,允许 。
- NPE 纪律。在带限与 Nyquist 条件下,仅使用有限阶 EM 与 Poisson 求和进行误差预算;坚持“奇性不增“,即归一化与量化操作不引入主尺度之外的新极点或本征奇性。
- Fibonacci 与 Zeckendorf。设 。Zeckendorf 展开采用 计位,合法码字 满足 且 。
1. 数字流、正规形与能函数终止性
定义 1.1(数字流与估值)。给定有限窗口 ,定义数字流空间 估值 。
定义 1.2(黄金均值子移位与正规形,修订)。黄金均值子移位 给定 ,称 为 的正规形,若 ;对每个 ,该 在值等价类 中唯一,等价于 Zeckendorf 唯一展开。
定理 1.3(Zeckendorf 存在与唯一)。任意 存在唯一 使 且 。 证明。存在性:贪婪选 使 ,置 ,余量 。由 得 ,故强制 。递归至零。唯一性同原。证毕。
定义 1.4(重写关系与正规形)。在 上生成重写关系 ,其基本步为 以及相应的进/借位。称 不可约(或为正规形),若 (即 )且对 不再可化。关于任意 的正规形存在且唯一、并与 的 Zeckendorf 唯一展开一致,见定理 1.5 与附录 B。
定义(正规度与势函数,修订)。对 ,置
定义(可行拆分位与归约循环)。称索引 为可行拆分位,若且仅若满足:;或存在 使 。当且仅当 且存在可行拆分位时,允许在最高可行位执行一次拆分 ,随后执行全部强制合并至 。
定理 1.5(终止与唯一极限,补全版)。在上述归约循环下取 ,每一轮势函数 严格下降;净减估计保持为 、,故 。因此 按轮严格下降,归一化在有限轮终止;极限唯一由 Zeckendorf 唯一性给出。
2. 范畴 、 与对象级归一化
定义 2.1(范畴 )。对象为各 。态射为值保持的滑块编码 ,具有限半径局域性且 。本文称“滑块编码“为(当 时)与移位算子 交换的有限半径局域映射。
边界—延拓—扩窗(态射版)。将 视为 -索引序列并作零延拓 ()。任一有限半径滑块编码按该延拓评估其读窗;若输出支撑越出 ,则将值域窗口扩至最小 以容纳该支撑,并据此记态射 。此约定与 §3 的“边界假设/扩窗规则“一致,并保持估值陈述。
例 2.2(半径一进/借位算子)。若 ,可设 逆操作对称。该滑块编码保持 。
定义 2.3(范畴 与包含)。对象为 ,态射取自 中将正规形映为正规形且值保持的滑块编码。包含函子 。
定理 2.4(归一化的对象级投影族)。在对象上定义 为逐点归一化。记对象级指派 表示“先归一化、再包含“的对象级对应; 不是自然变换。并且 (对象级)。
命题 2.5(对象级幂等)。对任意窗口 , 幂等且对 有 。
3. 张量结构与对象级张量相容
定义 3.1( 的点和张量)。对同窗口 ,定义 为分量相加 。则 。按窗口直和在对象级定义点和张量;本文不主张在态射层建立对称单体结构,仅在对象级使用由“值加法后归一化“诱导的张量。
边界假设/扩窗规则:对固定窗口 ,若 ,则采用动态扩窗到最小 (使 ),再在 上定义 。在此约定下,以下结论均以 代表当前工作窗口。
定义 3.2( 的归一化张量)。对 ,置 则 。
定理 3.3(结合与交换)。在上述边界假设/扩窗规则下,对任意 ,有 幺元为全零码字。 证明。三者估值均为 。正规形唯一性使对应码字相同。交换性同理。证毕。
定理 3.4(对象级强张量相容)。对任意对象 ,存在对象级的典范同构 其中 由“值加法后归一化“定义。该同构仅指对象级的识别,不主张自然性,亦不涉及态射层的函子性。
证明。由估值 的可加性与正规形唯一性,对于任意 、,有 因而在对象级可逐码字将 与 进行一一对应识别。该识别不依赖于态射结构,故不主张其为自然同构。证毕。
4. 与可逆元胞自动机(RCA)的桥接
定义 4.1(守恒型 RCA 规则)。在格点 上,令与移位 交换的有限半径可逆局域规则 作用于 。若对一切配置 有 ,称 值守恒。
定理 4.2(双射与无 Garden-of-Eden)。若 可逆且局域,则 为双射且无无前像配置;若进一步值守恒,则 为一阶守恒量。 证明。可逆局域性蕴含 Curtis–Hedlund–Lyndon 型表征,给出双射与无 Garden-of-Eden。值守恒为定义直接结论。证毕。
命题 4.3(到 的对象级压缩)。定义 。则 为对象级映射且保持 ;一般情形下 不必为滑块编码,故不视为 的态射。 证明。 不改 , 仅作局域正规化且不改估值,故像仍为正规形并值保持。但 一般不是滑块编码,复合 亦未必与移位交换。证毕。
5. 从窗化散射到 的对象级桥接
定义 5.1(窗化载荷与量化)。对能区 ,窗化载荷 取量纲 ,量化算子
定义 5.2(分辨—Fibonacci 配码)。选定 与 。定义 为 其中 在 上唯一取 、其余 ,从而 。取 使 对所有考虑的 成立;若不成立,则先动态扩窗至 后再施行 。再置 。
定理 5.3(张量一致—与量化一致的版本)。设 不重叠或满足 Nyquist 条件的等效并窗,且 。令 则 且一般地 证明(要点)。在 下, 与最近整数一致(无阈值截断),故 由舍入误差差分给出并落在 ;张量一致当且仅当舍入误差可加,等价于 。证毕。
定理 5.4(非渐近误差闭合与奇性不增,修订)。取步长 ,则 从 至 的正规化不引入新奇性。
证明(修订)。有限阶 Euler–Maclaurin 给出积分—求和偏差 ,Poisson 求和在 Nyquist 条件下抑制别名;最近整数量化满足 合并即得所述上界;正规化仅施行 的局域替换,不引入新奇性。证毕。
6. 双时间分离与因果一致性
定理 6.1(位阶分离)。 决定因果偏序与无信号; 与 仅依赖能域窗化读数与量化,不改变 。 证明。、 皆为对谱测度的函数—量化后处理,属 侧的操作化刻度;GLS 的类光锥几何与最早到达 由传播方程与支撑锥决定,与后处理独立。证毕。
7. 信息几何变分与爱因斯坦方程
定义 7.1(窗化相对熵—几何作用)。设参考参数 ,谱密度 。定义 总作用
引理 7.2(一阶变分)。在交换变分与积分的常规条件下, 证明。将 写作 ,对 的变分得 Fréchet 导数 ,链式法则引入 。测度变化与被积变化合并为所述表达式。证毕。
命题 7.3(场方程原型)。对度规变分得到 其中 证明。爱因斯坦—希尔伯特项的变分给出 ,物质项给出 。相对熵项对 的依赖来自 与测度 ,按引理 7.2 与链式法则得到 。证毕。
定理 7.4(极小耦合极限与宇宙学常数)。若存在窗族与 NPE 规模使 则极值方程还原为 。若 具有常量偏移 ,则得到 。 证明。由第 5 节的非渐近闭合,选取带限并满足 Nyquist 条件的窗组使 EM 余项与别名误差同时受控并趋零,从而 。若 的参数平移只引入体积项常量,吸收为 。证毕。
8. 与 GLS—因果流形的互构与交换图
定义 8.1(范畴族)。:对象 ,态射为保持母尺与窗化读数的 CPTP 映射。:对象 ,态射为保因果锥的映射。:对象为可逆局域更新系统。:对象为全局幺正的散射三元。
定义 8.2(互构:对象级,修订)。设 由几何散射与李乌维尔推送构造, 由类光测地流的 Poincaré 返流—散射相位构造。在对象级存在 与 之间、以及 与 之间的互构对应;本文不主张其为自然变换。
定理 8.3(与 的对象级交换图)。存在对象级交换图 其中 将可逆更新规则表为值守恒滑块编码。 证明。第 4 节赋予 的存在性与值守恒,第 5 节赋予 的有条件张量一致(当且仅当 )。第 6 节的双时间分离确保因果层与量化—归一化层的独立性。按块验证对象级交换性成立。证毕。
9. 范畴结构与后果
命题 9.1(等化子片段与对象级继承)。在固定窗口族上, 在当前“值保持“态射类中存在等化子片段; 在对象级作为子空间按包含继承相应结果(此处不援引反射性)。
证明要点。等化子作为满足 的解集可按逐分量与值保持约束刻画;而“有限积“在该态射类下一般不成立,投影不“值保持“,故不主张。证毕。
命题 9.2(单体闭合的否定结果)。在上述张量下, 一般不单体闭合。 证明。若内部 Hom 存在,则 应由值加法与正规化生成的态射族稠密逼近任意“评估态射“。但正规形唯一与局域性共同限制了可实现映射的谱,致使柯里化公设与评估—余评估的同构失败。可于有限窗口上构造反例:对两非等值对象,任何非平凡映射均破坏相邻禁止或估值守恒。证毕。
10. 算法与复杂度
定理 10.1(贪婪编码复杂度)。对 ,Zeckendorf 编码在 步内完成。 证明。最高位索引 。每步选择最大 至少覆盖一位,步数与 同阶。证毕。
定理 10.2(窗口平移的归一化传播界)。若净变化 对应的 Fibonacci 展开最高位指数为 ,则一次窗口平移引起的归一化传播半径 。 证明。归一化影响至多传播至覆盖 所需的最高位。证毕。
附录 A:有限阶 Euler–Maclaurin 与 Poisson 的统一
设区段 、步长 。有限阶 EM 展开 在带限与 Nyquist 条件下,Poisson 求和抑制非零谐波别名。EM 与 Poisson 共同构成 NPE 的非渐近误差预算;归一化仅由 的局域重写实现,奇性不增。
附录 B:归一化重写系统的终止与合流(修订)
允许规则与主文相同,并采用主文“定向规则“。取势函数 ()。
终止性。取 。按主文定义的归约循环计量势函数变化:在拆分位 有 合并阶段满足 故每轮 ,终止性成立。
合流性:对所有局域临界对用 Knuth–Bendix 检查其后继经有限步归一化后合一;结合终止性得全局合流,因而正规形唯一并与定理 1.3 的 Zeckendorf 唯一展开一致。证毕。
附录 C:RCA 的范畴化表述与守恒
RCA 对象记为 ,其中 为配置空间, 为移位, 为有限半径可逆局域更新。Curtis–Hedlund–Lyndon 表征给出 与滑块编码的等价。值守恒 使 成为一阶守恒量并诱导 。压缩 将 的像落于 。
附录 D:窗化相对熵变分与 的构型
写 其中 。对 的变分 再由 得引理 7.2。度规变分经 与光学长度标度进入,链式得到 在满足 NPE 纪律且 的几何依赖为慢变—带限时, 的窗平均可被任意压小。
附录 E:宇宙学常数的由来
假设 E.0(测度桥接):存在校准使得 若参考选择使 于工作频带,则 由假设 E.0,进一步得到 常量 只与标定有关,故在场方程中表现为宇宙学常数项。
附录 F:双时间分离原理的技术阐释
由传播方程的最早非零响应定义,取决于支撑锥与几何。 为窗化的积分读数,系对谱测度的线性泛函,不改变传播支撑。对任意两条时样路径 ,若 ,则无论 如何选取,保持 的偏序。故 Zeckendorf 日志仅改变操作化刻度而不改变微因果。
附录 G:误差闭合与“奇性不增“的细化
设被积函数具有有限个主尺度极点或尖点,其余为带限平滑部分。EM 尾项按 估计,Poisson 非零谐波按带限与 Nyquist 约束衰减。量化 的最近整数误差 ,在位权 的指数增长下可被更高位吸收而不引入新奇点。归一化仅施行 的代数恒等替换,故不生成谱侧的新奇性,保持“极点=主尺度“。
参考文献(选)
Zeckendorf A., Représentation des nombres naturels par une somme de nombres de Fibonacci sans répétition, Bulletin de la Société Royale des Sciences de Liège (1962)。 Lekkerkerker C. G., Representation of natural numbers as a sum of Fibonacci numbers, Simon Stevin (1952)。 Hedlund G. A., Endomorphisms and automorphisms of the shift dynamical system, Math. Systems Theory (1969)。 Moore E. F., Machine models of self-reproduction(Garden-of-Eden 思想源流);Myhill J., Garden of Eden Theorems, Proc. AMS (1963)。 Wigner E. P., Smith F. T., 群延迟经典文献。 Birman M. Š., Kreĭn M. G., On the theory of wave operators and scattering matrices, Sov. Math. Dokl. (1962)。 Euler—Maclaurin 与 Poisson 求和的经典教科书陈述(Hardy;Titchmarsh)。 Umegaki H., Conditional expectation in an operator algebra;Petz D., Sufficient subalgebras and relative entropy,关于相对熵与信息几何。 Einstein A., Hilbert D., 经典场方程与作用原理之原始论文与标准教材阐释。