Keyboard shortcuts

Press or to navigate between chapters

Press S or / to search in the book

Press ? to show this help

Press Esc to hide this help

册 C|判据卷(数学与实验)

本册承接册 A 之记号:窗读数 、相位—密度 、NPE 误差三分、KL/I-投影、谱隙 与采样阈 。以下给出四张“标准卡“,含定义—定理/命题—证明要点—操作规程


C-1|三窗卡(Window Triangulation)

目的:用三扇性质差异足够的窗 对同一对象 读数三角化,显式检测“不可辨域“()并定量化“窗差灵敏度“。

定义

  • 测量算子
  • 窗 Gram 矩阵
  • 条件数 ;“三窗可分性“指数

命题 1(窗差上界)

对有界 ,任意两窗有

证明要点:Hölder 不等式与

命题 2(三窗可识别性)

可逆且 有界,则对任意

特别地, 越小,“窗三角化“的稳定性越好。

证明要点,以 Riesz 表示与最小奇异值界下推得不等式。

命题 3(不可辨域的见证)

三窗下不可辨域

非空且无界(在无限维情形)。其“最平滑见证“可由

给出; 越小,说明三窗对该频段/尺度的分辨力越弱。

证明要点:秩—核定理给 ;以 Hilbert 空间约束最小化求最小范数解。

操作规程

  1. 设计三窗:令 具不同带宽/中心(如时间/频率/空间三域),最大化 、最小化
  2. 三窗试验:同对象 。若 且噪声置信界不足以解释,则记为“窗不一致“→进入“三修卡“。
  3. 见证构造:数值解 (有限元/样条),标注其主频/主尺度,作为后续窗优化的定向证据。
  4. 优化回路:据 调整 (加权、带宽、中心),直至

C-2|三修卡(NPE 误差闭合)

目的:把一次读数的非渐近误差拆为“混叠 + 伯努利层 + 尾项“,给出可计算上界与参数选型(采样率/窗形/EM 阶数)。

定义(NPE 三分)

命题 1(混叠界)

的频谱 ,采样率 ,窗频响 ,则

处以 衰减(),且 ,则别名界

证明要点:Poisson 求和与卷积界。

命题 2(伯努利层)

对光滑 的数值求和/积分误差,用 Euler–Maclaurin 到阶

其余项

换成窗加权 integrand,可得 的显式上界。

证明要点:经典 EM 余项的傅里叶—Bernoulli 界。

命题 3(尾项界)

在复域带状区 全纯且 ,则按 Jordan 引理与最大模原理,截断到 的尾项

证明要点:解析延拓 + 指数型衰减给出可调 的指数界。

参数选型(-闭合)

给定目标误差 ,求 使

一套可行策略:

  • 先选 为 95% 能量频宽,)抑制别名;
  • 再选 使
  • 终选 使

操作规程

  1. 估计 的能量分布与尾衰 ;定 达别名阈。
  2. 用 EM 到 阶补偿;验证余项界。
  3. 设截断 ,以解析/数值证实尾项界。
  4. 填写一页“误差日志“: 与三项上界及余裕系数。

C-3|镜断卡(Mirror Verdict)

目的:将“公平/公允“写成可检的不变性:镜中互换仍给出同断,并给出偏差统计与校正。

定义

  • 角色互换群 作用于数据
  • 判决器 。镜像偏差

(取合适度量 )。全体偏差 为系统镜差。

命题 1(对称化校正)

任意 可“群平均“得对称判决器

满足 ,且

为凸型损失时。

证明要点:Jensen 不等式 + 群平均。

命题 2(镜差显著性检验)

给定配对样本 ,令 。 在原假设“镜不变“下, 的随机符号可近似对称;用符号检验或置换检验得 -值,显著则拒绝。

命题 3(成本—收益对齐判据)

若判决带成本函数 ,镜中互换的净效不变要求

小于阈值(影子价尺度),则通过“镜断“。

证明要点:成本作为“秤“,用同秤对齐后的差异才有意义。

操作规程

  1. 明确群 (例如“甲/乙“角色互换、地理置换等),构造配对样本。
  2. 估计 与置换 -值;不通过则使用 或在损失中加入对称正则
  3. 以“影子价“ 设净效阈值 ,通过后方可发布判决。

C-4|闭环卡(5-分钟最小闭环)

目的:把宏愿落到可复演的最小动作,并保证序列性的“后悔次线性“。

定义(OCO 视角)

设可行域 与逐日凸损失 。最小闭环在时间 选择 ,执行后得到反馈,目标是最小化遗憾

算法(Mirror Descent / 指数权重)

选 Bregman 散度 ,步长

为概率单纯形且 ,得“指数权重法“:

定理(次线性遗憾与稳健性)

-Lipschitz 且 ,则

若反馈噪声为零均值次高斯,则以相同阶界成立(在适当常数下)。

证明要点:标准 Mirror Descent 分析:望远镜和 Bregman 三角等式。

5-分钟化(可操作化)

  • 把“日目标“拆成 上的离散动作(3–5 个),损失为“负进展“。
  • 设一轮时长 5 分钟;每轮更新权重
  • 每日结束给出“闭环度“与 的上界估计(以经验 代入)。

与相位—密度配重一致

对“方向词“ 与资源密度 ,闭环权重 的窗化平均需满足

否则调整动作池或时间分配直至一致。