English
边界理论 · 高学强
首页 / 理论 / 可观测量

究竟能测到什么

第二层续——临界锐度、判据,以及普适性停止的确切位置

【力学】页停在一支势上:它的形状是被迫的,而它的系数不是。本页收集由它所推出的东西。这是三个理论页的最后一页,也是形式层与"测量的可能性"相接的地方。

两个价格在哪里平衡 机器检验

这支势有唯一的极小点,而在极小点上两个价格相等:

边界停在「维持它的代价」等于「它所排除的不确定的代价」之处——知与付之间的平衡点。

判据,以及三个不得混同的层次 机器检验

把张力写成 σ = σ₀·κ²,则在最小作用边界上该值确定。但这里住着三个不同的陈述,把它们压成一个,是最容易过度主张的路径:

层次陈述状态
一般律σ* = α·C_F / C₀机器检验
无量纲判据logistic 核下 σ* = π²α / (3C₀)机器检验
规范值σ* = 1 ⟺ π²α = 3C₀规范条件

第三行是一个归一化,不是被导出的事实——这正是系数 c₀ 在【力学】页上保持自由的原因。在生物学锚点里,这条判据就是皮层在 β ≈ 1 处所满足的东西。

其它经得住机器检验的结构

临界轨迹会分岔 机器检验

对 Landau 形式 V(φ;r) = −rφ² + φ⁴,临界轨迹分解,其投影是一个分支覆盖:

上的纤维: 时单点; 时三点;唯一分支点在 。

早期草稿称之为「极限的分裂」。但那里没有指定任何图,而没有图就没有可被保持的极限。该说法仅作为隐喻保留;上面那条定理才是陈述。

一个守恒荷 机器检验 附解读

广义力是势的负梯度,且能量括号沿运动方程恒为零。代数内核是机器检验的;对它的解读则被明确标出:

自我连续性——「我还是同一个我」——是边界动力学的一个守恒荷,不是一条假设。自我的内容可以漂移,而它「是一个自我」这件事受约束。这是时间平移对称性的标准 Noether 陈述。它是一个关于边界连续性的候选形式模型,不是对哲学人格同一性的证明。 解读

早期草稿给它披上了一层它并不需要的范畴语言。那层包装既不需要、也没有给出,本页不主张它。

一个吸引子,带速率 机器检验

对 A(σ) = σ/(1+ε) + D(ε > 0)存在唯一不动点,且误差精确收缩:

形式化补上了什么。 早期草稿只提「装配效率 ε」。把它写下来,迫出了符号假设 ε > 0——因为 ε = −1 会让分母消失。草稿还断言收敛却不给速率;上面那条精确几何律补上了速率。

普适性在哪里停止 机器检验

这是整套理论里最锋利的一句诚实陈述,值得直说而不是埋起来:

层等级成立?
状态/干预层G4 — free / 2-universal成立 — Caus(V) 是 V 上的自由范畴;每个模型唯一地经过它分解
核层G4 — free / 2-universal不成立 — 不存在单一的普适核

这个失败被机器检验了两次:一次由一条不携带任何数值前提的分离定理,一次由不变量 I(F) = C_F·F′(0)。这比早期草稿的「结构普适性原则」严格信息量更大——后者声称 G2,交付的却是 G0。

本页不主张什么。 本页没有任何一句描述一个被测量的系统。这条判据是关于模型自身诸量的形式陈述;是否有任何真实代理实现它,正是【实验】要解决而尚未跑的问题。 经验预测
← 力学 下一页:实验 →