|
← 热力学系列 ← Thermodynamics Series
ZFCρ 热力学系列(论文 V)
ZFCρ Thermodynamics (Paper V)

先验指导的后验验证

Prior-Guided Posterior Validation

Han Qin (秦汉) · 2026
DOI: 10.5281/zenodo.19605664(Thermo IV)
DOI: 10.5281/zenodo.19605664 (Thermo IV)

摘要

论文 IV 将"从动力学中独立提取K来预测Tsallis q"列为最硬的可检验预测。论文 V 在Brusselator化学振荡器上首次实现这一预测的闭环。核心发现:连续时间振荡器中的K是通道归一化卷绕比,而不是论文 II–III 定义的有效层数m_eff。论文同时报告了两个负结果,并对先验指导的后验验证方法论给出明确的边界声明。


一、问题:K在连续时间中如何测量

论文 IV 建立了精确插值族q = 1+1/K和通道平均屏蔽律猜想q = Ω_eff/n_ch。插值族是代数恒等式,K的物理解读是猜想。论文 IV 的开放问题2:K和论文 II–III 的有效层数m_eff是不是同一个量?如果是,同一个参数就同时决定耗散率η和分布形状q。

这个问题在连续时间系统中有一个障碍:m_eff依赖采样步长τ。在Brusselator(a=1, b=3, σ=0.3)上,当τ从0.010增大到0.250,m_eff从143降到0.9,跨越两个数量级。η有平台(0.19–0.20),但m_eff没有。


二、两个负结果

负结果一:m_eff(τ)不是本征量。 对任何平滑连续时间过程,短时lag-1自相关满足C(1;τ) ≈ e−aτ。于是m_eff = log(1−η)/log(C(1)) ∝ 1/τ。这不是数值bug,是表示效应:用不同步长切同一个物理反馈过程,步数自然不同。m_eff(τ)告诉你的是"用τ作步长时,一个固定反馈预算包含多少步"——这依赖τ的选择,不是系统的内禀参数。

固定τ有时碰巧精确(b=3.0时偏差+0.001),但换到b=5.0时偏差增大到0.215,因为固定τ在不同b的系统中不代表同一个动力学尺度。

负结果二:K_part不适用于有限βE。 论文 IV 推导了二阶有效参数q_eff^{(2)} = 1+Σλ²(屏蔽层权重的Herfindahl指数)。如果用ACF模式权重构建K_part = 1/Σw_j²,在Brusselator上不适用——因为宏观ACF模式权重不是微观屏蔽层权重。两层之间的类比在有限βE下失效。

这两个负结果精确缩小了开放问题2的范围:K ≠ m_eff(连续时间),K ≠ K_part(有限βE)。但它们不否定论文 IV 的数学结果,只是精确说明了哪些桥梁在哪些条件下不成立。


三、通道归一化卷绕比

正结果:连续时间振荡器中,K的可操作动力学对应是通道归一化卷绕比:

K_dyn = T / (n_ch · τ_dec)

其中T是振荡周期,τ_dec是径向衰减时间(两者均从f通道自相关函数的阻尼振荡拟合中提取),n_ch = 2是f/r双通道数。Tsallis q由此预测为:

q = 1 + n_ch · τ_dec / T

该公式不含自由参数,不依赖采样步长τ的选择。在Brusselator的b = 2.2–5.0参数扫描中,|Δq| < 0.07(7个参数点),平均误差MAE = 0.022,显著优于固定τ的m_eff代理方法(后者在b=5.0处偏差达0.215)。

n_ch = 2的出现不是拟合结果,而是与论文 IV 的通道平均屏蔽律q = Ω_eff/n_ch一致,并由其自然解释:q测量的是每通道的屏蔽深度,所以总卷绕比T/τ_dec需要除以通道数。


四、先验指导的后验验证

这个系列最后要讨论一个方法论问题,因为它贯穿了整个热力学系列。

论文 V 的实验设计基于论文 III–IV 已发表的先验理论,三个关键选择在实验之前已由理论确定:为什么用r²来测量q(理论预测Tsallis分布),为什么在中等噪声区间操作(η平台的适用范围),为什么用全局CCDF拟合(幂律尾的最优估计)。

先验指导显著降低了研究者自由度,但不完全消除实现层自由度。拟合方法、拟合窗口、bootstrap block size等实现层选择仍然存在。论文 V 称自己的工作为"时间戳先验约束的兼容性检验",不是无约束的post-hoc selection。严格的确认检验仍需在第二个系统上预先冻结可观测量、制式、估计量和误差准则。

SAE方法论的核心原则在这里有一个热力学的呼应:先验出发,后验确认,在该停的地方停。不让后验殖民先验。K_dyn = T/(n_ch·τ_dec)是正结果,但它是在Brusselator这一个系统上的首次闭环。第二个系统的检验仍然是开放的。这条线画得清楚,热力学系列在这里停。

Abstract

Paper IV listed "independently extracting K from dynamics to predict the Tsallis q" as its hardest testable prediction. Paper V realizes this prediction for the first time, on the Brusselator chemical oscillator. The central finding: K in a continuous-time oscillator is the channel-normalized winding ratio, not the effective layer count m_eff defined in Papers II–III. The paper also reports two negative results honestly, and gives explicit boundary statements on the methodology of prior-guided posterior validation.


I. The Problem: How to Measure K in Continuous Time

Paper IV established the exact interpolation family q = 1+1/K and the channel-averaged shielding conjecture q = Ω_eff/n_ch. The interpolation family is an algebraic identity; K's physical interpretation is a conjecture. Paper IV's open problem 2: is K the same parameter as the effective layer count m_eff from Papers II–III? If so, a single parameter would simultaneously determine the dissipation rate η and the distribution shape q.

This question runs into an obstacle in continuous-time systems: m_eff depends on the sampling step τ. On the Brusselator (a=1, b=3, σ=0.3), as τ increases from 0.010 to 0.250, m_eff drops from 143 to 0.9 — spanning two orders of magnitude. η has a plateau (0.19–0.20); m_eff does not.


II. Two Negative Results

Negative result 1: m_eff(τ) is not an intrinsic parameter. For any smooth continuous-time process, the short-time lag-1 autocorrelation satisfies C(1;τ) ≈ e−aτ, so m_eff = log(1−η)/log(C(1)) ∝ 1/τ. This is not a numerical artifact — it is a representation effect. Cutting the same physical feedback process with different step sizes naturally yields different step counts. m_eff(τ) measures "how many steps of size τ fit into a fixed feedback budget," which depends on the choice of τ and is not an intrinsic system parameter.

Fixing τ happens to be accurate at b=3.0 (deviation +0.001), but fails at b=5.0 (deviation 0.215), because a fixed τ does not represent the same dynamical scale across systems with different bifurcation parameters.

Negative result 2: K_part does not apply at finite βE. Paper IV derived the second-order effective parameter q_eff^{(2)} = 1+Σλ² (the Herfindahl index of shielding-layer weights). Constructing K_part = 1/Σw_j² from macroscopic ACF mode weights fails on the Brusselator: macroscopic ACF mode weights are not microscopic shielding-layer weights. The analogy between these two levels breaks down at finite βE.

These two negative results precisely narrow the scope of open problem 2: K ≠ m_eff (in continuous time), K ≠ K_part (at finite βE). They do not invalidate Paper IV's mathematical results; they specify exactly which bridges do and do not hold under which conditions.


III. The Channel-Normalized Winding Ratio

The positive result: in continuous-time oscillators, K's operational dynamical correspondence is the channel-normalized winding ratio:

K_dyn = T / (n_ch · τ_dec)

where T is the oscillation period, τ_dec is the radial decay time (both extracted from a damped-oscillation fit to the f-channel autocorrelation function), and n_ch = 2 is the number of forward/reset channels. The Tsallis q is then predicted as:

q = 1 + n_ch · τ_dec / T

This formula contains zero free parameters and is independent of the sampling step τ. Across a seven-point scan of the Brusselator bifurcation parameter b = 2.2–5.0, |Δq| < 0.07 and MAE = 0.022 — substantially outperforming the fixed-τ proxy m_eff(τ), which reaches |Δq| = 0.215 at b=5.0.

The factor n_ch = 2 is not a fitted parameter. It is consistent with and naturally explained by Paper IV's channel-averaged shielding conjecture q = Ω_eff/n_ch: q measures per-channel shielding depth, so the total winding ratio T/τ_dec must be divided by the channel count.


IV. Prior-Guided Posterior Validation

This series closes with a methodological question that runs through the entire thermodynamics sequence.

Paper V's experimental design is grounded in the published prior theory of Papers III–IV. Three critical choices were determined by theory before any measurement: why use r² to measure q (the theory predicts Tsallis distributions), why operate in the moderate-noise regime (the valid range of the η plateau), why use global CCDF fitting (optimal estimator for power-law tails). Each choice was time-stamped in prior publications.

Prior guidance significantly reduces researcher degrees of freedom, but does not eliminate implementation-level choices: fitting method, fitting window, bootstrap block size. Paper V describes its work as a "theory-constrained compatibility test with time-stamped priors," not unconstrained post-hoc selection. A strict confirmatory test still requires pre-freezing the observable, regime, estimator, and error criterion on a second system.

The core SAE methodological principle has a direct thermodynamic echo: start from the prior, confirm with the posterior, stop where the structure tells you to stop. Do not let the posterior colonize the prior. K_dyn = T/(n_ch·τ_dec) is a positive result — but it is the first closure on a single system. The second-system test remains open. That line is drawn clearly here. The thermodynamics series stops here.