册 C|判据卷(数学与实验)
本册承接册 A 之记号:窗读数 、相位—密度 、NPE 误差三分、KL/I-投影、谱隙 与采样阈 。以下给出四张“标准卡“,含定义—定理/命题—证明要点—操作规程。
C-1|三窗卡(Window Triangulation)
目的:用三扇性质差异足够的窗 对同一对象 读数三角化,显式检测“不可辨域“()并定量化“窗差灵敏度“。
定义
- 测量算子 ,。
- 窗 Gram 矩阵 :。
- 条件数 ;“三窗可分性“指数 。
命题 1(窗差上界)
对有界 ,任意两窗有
证明要点:Hölder 不等式与 。
命题 2(三窗可识别性)
若 可逆且 有界,则对任意
特别地, 越小,“窗三角化“的稳定性越好。
证明要点:,以 Riesz 表示与最小奇异值界下推得不等式。
命题 3(不可辨域的见证)
三窗下不可辨域
非空且无界(在无限维情形)。其“最平滑见证“可由
给出; 越小,说明三窗对该频段/尺度的分辨力越弱。
证明要点:秩—核定理给 ;以 Hilbert 空间约束最小化求最小范数解。
操作规程
- 设计三窗:令 具不同带宽/中心(如时间/频率/空间三域),最大化 、最小化 。
- 三窗试验:同对象 得 。若 且噪声置信界不足以解释,则记为“窗不一致“→进入“三修卡“。
- 见证构造:数值解 (有限元/样条),标注其主频/主尺度,作为后续窗优化的定向证据。
- 优化回路:据 调整 (加权、带宽、中心),直至 且 。
C-2|三修卡(NPE 误差闭合)
目的:把一次读数的非渐近误差拆为“混叠 + 伯努利层 + 尾项“,给出可计算上界与参数选型(采样率/窗形/EM 阶数)。
定义(NPE 三分)
命题 1(混叠界)
的频谱 ,采样率 ,窗频响 ,则
若 在 处以 衰减(),且 ,则别名界 。
证明要点:Poisson 求和与卷积界。
命题 2(伯努利层)
对光滑 的数值求和/积分误差,用 Euler–Maclaurin 到阶 :
其余项
将 换成窗加权 integrand,可得 的显式上界。
证明要点:经典 EM 余项的傅里叶—Bernoulli 界。
命题 3(尾项界)
若 在复域带状区 全纯且 ,则按 Jordan 引理与最大模原理,截断到 的尾项
证明要点:解析延拓 + 指数型衰减给出可调 的指数界。
参数选型(-闭合)
给定目标误差 ,求 使
一套可行策略:
- 先选 ( 为 95% 能量频宽,)抑制别名;
- 再选 使 ;
- 终选 使 。
操作规程
- 估计 的能量分布与尾衰 ;定 达别名阈。
- 用 EM 到 阶补偿;验证余项界。
- 设截断 ,以解析/数值证实尾项界。
- 填写一页“误差日志“: 与三项上界及余裕系数。
C-3|镜断卡(Mirror Verdict)
目的:将“公平/公允“写成可检的不变性:镜中互换仍给出同断,并给出偏差统计与校正。
定义
- 角色互换群 作用于数据 。
- 判决器 。镜像偏差
(取合适度量 )。全体偏差 为系统镜差。
命题 1(对称化校正)
任意 可“群平均“得对称判决器
满足 ,且
当 为凸型损失时。
证明要点:Jensen 不等式 + 群平均。
命题 2(镜差显著性检验)
给定配对样本 ,令 。 在原假设“镜不变“下, 的随机符号可近似对称;用符号检验或置换检验得 -值,显著则拒绝。
命题 3(成本—收益对齐判据)
若判决带成本函数 ,镜中互换的净效不变要求
若 小于阈值(影子价尺度),则通过“镜断“。
证明要点:成本作为“秤“,用同秤对齐后的差异才有意义。
操作规程
- 明确群 (例如“甲/乙“角色互换、地理置换等),构造配对样本。
- 估计 与置换 -值;不通过则使用 或在损失中加入对称正则 。
- 以“影子价“ 设净效阈值 ,通过后方可发布判决。
C-4|闭环卡(5-分钟最小闭环)
目的:把宏愿落到可复演的最小动作,并保证序列性的“后悔次线性“。
定义(OCO 视角)
设可行域 与逐日凸损失 。最小闭环在时间 选择 ,执行后得到反馈,目标是最小化遗憾
算法(Mirror Descent / 指数权重)
选 Bregman 散度 ,步长 :
若 为概率单纯形且 ,得“指数权重法“:
定理(次线性遗憾与稳健性)
若 -Lipschitz 且 ,则
若反馈噪声为零均值次高斯,则以相同阶界成立(在适当常数下)。
证明要点:标准 Mirror Descent 分析:望远镜和 Bregman 三角等式。
5-分钟化(可操作化)
- 把“日目标“拆成 上的离散动作(3–5 个),损失为“负进展“。
- 设一轮时长 5 分钟;每轮更新权重 。
- 每日结束给出“闭环度“与 的上界估计(以经验 代入)。
与相位—密度配重一致
对“方向词“ 与资源密度 ,闭环权重 的窗化平均需满足
否则调整动作池或时间分配直至一致。