从统计平滑到物理硬边界KCC FILTER 估计器的收敛性修复一、现象FILTER 模式在光纤链路上的结构性衰减KCC 的 FILTER 模式使用卡尔曼估计x_est作为 RTT 基线在实测中表现异常。在 1000Mbps 香港—成都光纤链路上模式RTT 基线吞吐量丢包率MINmin_rtt物理T_prop552.3 Mbps0.012%FILTERx_estT_prop - δ468.7 Mbps0.087%FILTER 比 MIN 低 83.6 Mbps丢包率高出 7.25 倍。直接归因于 Mills 偏置δ ≈ 0.031ms仅占 RTT30ms的 0.1%。0.1% 的偏置无法解释 15% 的吞吐量衰减。问题的真正根源在别处。二、诊断偏置被瞬态动力学放大Mills 偏置是平均效应真正破坏性的是它在 DRAIN→PROBE 转换中的瞬态放大。KCC 的 DRAIN 退出采用 AND-gateinflight ≤ BDP_target且计时器 ≥ 1 RTT。FILTER 模式下BDP_target因x_est偏低而降低。DRAIN 持续时间被计时器固定但 inflight 的终点被压得更低。DRAIN 结束后pacing_gain从 0.75 跳变到 1.25inflight 从更低基线出发上升斜率更陡微突发丢包概率显著上升。偏置的四重贡献来源类型占比BDP 直接损失平均效应~0.1%增益衰减提前触发平均效应~5–8%微突发丢包损耗瞬态效应~2–3%循环占空比畸变瞬态效应~4–6%瞬态效应合计 ~6–9%远超平均效应的 0.1%。问题不是估计精度不够而是估计器的收敛速度不够。三、根因阻尼增益在阶跃信号前的失效旧设计中ν 0RTT 下降时x_est ← x_est (K 2) · ν有效增益K_eff ≈ K_ss / 4 ≈ 0.1。ν 0对应物理事实路径变短了。T_queue ≥ 0T_noise已被 outlier gate 抑制ν 0唯一解是x_est T_prop。这是确定性事实不是随机变量。用阻尼增益处理确定性事实是模型误用。从 100ms 收敛到 50ms 需要 ~83 个 clean samplep_clean 0.3时约 277 RTT27 秒。四、第一次尝试复杂数学模型已废弃2026 年 6 月 26 日作者尝试在min_rtt和x_est之间构造自适应加权函数k(RTT) √(2·ln(10⁷/RTT_us)) − 0.8 π/√(12·ln(10⁷/RTT_us))原理是当x_est与min_rtt偏差的方差较小时两者趋同可信度高否则动态切换。数学上正确——双精度验证通过。但实测失败。原因在于链路状态变化是阶跃不是连续过程。任何基于方差、EWMA 的自适应选择器都依赖历史统计推断当前状态。阶跃发生时历史数据是误导平滑切换本身就是滞后。两个滞后自适应选择器的滞后 x_est阻尼更新的滞后叠加路径改善信息被延迟数十 RTT。五、正确解法物理门控强制收敛当ν 0时直接赋值if (ν 0 z x_est * 7/8) x_est z; else if (ν 0 z x_est * 7/8) reject; /* 物理不可能样本 */收敛时间从 O(N)~83 samples降至 O(1)1 sample。Mills 偏置被清零x_est直接取z无 K 乘积累积。六、安全性证明数学、物理、系统三方面6.1 物理正确性7/8 门控是光速上限设光纤中光速c_fiber ≈ 2×10^8 m/sRTT 2L / c_fiber。路径长度变化φ倍ΔL φ · L φ · (c_fiber · RTT / 2) v_required ΔL / RTT φ · c_fiber / 2当φ 1/812.5%v_required 1.25×10^7 m/s ≈ 0.042c。这要求端点在 1 个 RTT 内移动 4.2% 光速。对任何地球上的光纤端点物理不可能。7/8 不是启发式阈值是狭义相对论在光纤介质中的速度上限。单步降幅超过 12.5% 的样本必然是测量错误ACK 重排、TSO 毛刺、时间戳异常。6.2 数学正确性收敛性、偏置、协方差一致性收敛速度旧E[|d_T|] ≤ (1 - K_eff)^T · |d_0| σK_eff ≈ 0.1T ≈ 83。新T 1单样本。p_est max(R, floor)保证后验方差不会因强制赋值而被低估Joseph form 的 K_eff1 情形。偏置消除旧E[x_est] T_prop - δδ K_ss · σ · √(2/π)。新E[x_est | ν 0] E[z | z ≥ T_prop] T_prop。条件期望无偏。协方差一致性旧设计中x_est收敛慢而p_est快速下降p_est (1-K)·p_predK≈0.1 时收缩率为 0.9产生分裂状态滤波器“自信”地守着错误值。p_est过低触发 PROBE_RTT 间隔扩展至 75s进一步延迟x_est刷新。新设计强制赋值后p_est max(R, p_est_floor)与状态跳变同步消除分裂。6.3 系统安全性防止异常值注入和过排空异常值防御7/8 门控拒绝z x_est · 7/8。ACK 重排导致的虚假低 RTT 样本无法越过物理速度上限进入估计器。TSO 毛刺单包降幅通常 2% 路径 RTT被正常接受但重排序或损坏时间戳产生的极端异常值被拒绝。过排空防御强制收敛时p_est不降至 floor 以下。p_est_floor确保K不会低于Q/(QR)防止估计器在路径稳定后进入“永久自信”状态。旧 75s PROBE_RTT 扩展问题因此被阻断。七、结论复杂数学自适应模型在理论上成立但解决不了滞后问题——它本身就是滞后的。阶跃信号的唯一正确响应是直接跳变而非平滑过渡。新方案用三条边界锁定安全性物理边界7/8 光速上限排除物理不可能的测量错误收敛边界单样本收敛消除滞后累积协方差边界p_est max(R, floor)防止状态分裂和 PROBE_RTT 异常扩展。数学上漂亮的方案在阶跃面前不堪一击。有时正确的解法不是更复杂的数学而是更严格的物理约束。