册 A|总纲(五法锚与元律)
0. 记号与公设
测度舞台
- 观察/测量一律写作窗加权读数:,其中 且 。
- 单位变换与刻度校准:若用 重标,则 、,并且 。
- 动力学与记账:连续方程(或离散守恒)
- 相位—密度同秤:在一维散射/谱模型下
- 分辨—时间下界:任意窗 与其频域 满足 。
- 非渐近误差三分(NPE):
- KL/I-投影与小步更正:在约束 下,最小代价更新
1. 五法锚(窗·秤·镜·路·账)
1.1 窗(Window:可见性的法则)
定义 任何读数皆为 。 推论 1(线性—稳定) 若 且 ,则 。 推论 2(不可辨域) 有限窗族 定义测量算子 。若信号空间维数 ,则 ,存在 使 。
1.2 秤(Scale:刻度与单位的法则)
定义 刻度改写 守读数:。 命题(影子价) 在拉格朗日 中, 为影子刻度:衡量预算 的边际价值。
1.3 镜(Mirror:互换/对偶的法则)
定义(镜像核) 若核 满足 ,其 Mellin 变换 满足完成对称 。 判据(公平) 决策规则 在角色互换群 下不变:,则“镜中复断“一致,称镜像公平。
1.4 路(Path:因果与可复演的法则)
定义 可复演路为序列 在同窗同秤复作下给出稳定读数的策略族 。 判据(因果可检) 若存在控制 使 在 次重复中方差 ,则称该路因果可复演。
1.5 账(Account:守恒与记账的法则)
定义 一切出入以连续方程记账:。 推论(最小补偿) 若扰动源项 使守恒破坏:,则最小控制 使闭合的代价
定义“最小补偿量“。
2. 元律八条(根因命题与推理要点)
元律一|有限窗不完备(谦卑之根)
断语 凡窗皆漏,盲区由结构决定。 命题(核非空) 令 。若 属于高维/无限维函数类(如 ),则 。 证明要点 线性算子 秩 ,由秩—核定理得 。 推论(实践) 重大断言须“换三窗“(来源/时段/人群),否则处在不可辨域。
元律二|镜像不变 ⇒ 公平(互换判据)
断语 能在镜中互换而不失真的,才叫公。 定理(镜像核—完成对称) 若 ,则 满足 。 证明要点 代入 ,得 。 推论(制度) 决策器 对角色置换群 不变 ⇔“镜中复断“一致,故公平可检。
元律三|相位导数等密度(意义可计)
断语 方向(相位)与厚度(密度)是同一秤两面。 定理(相位—密度) 在一维散射/谱框架,;同时 。 证明要点 由 Birman–Kreĭn 公式与谱移 的导数即相对谱密度,结合相位—散射关系。 推论(配重判据) 给定目标“方向词“,其资源配比表若与 不一致,则为“伪愿“。
元律四|分辨—时间下界(代价之根)
断语 分得更清,必付更多时。 定理(Heisenberg-型) 设 为 与 的方差,则 。 证明要点 Cauchy–Schwarz 及傅里叶变换的不等式。 推论(流程) 重要决策配置最小等待窗 ,违规急断记入“越界账“。
元律五|KL-仁慈(最小代价更正)
断语 真正的宽恕是最小代价对齐,而非重置。 定理(I-投影最优) 在凸约束 下, 最小化信息代价且给出 Bregman–Pythagoras 分解。 证明要点 KL 为 Bregman 散度;I-投影为最近点;Mirror Descent 累积遗憾 。 推论(组织) 推行“KL 小步改错“可控反弹与后悔。
元律六|NPE 三分(迷惑之源)
断语 多数谬误源自结构性误差:混叠、少修、尾项。 命题(非渐近上界) 存在 使 。 证明要点 Nyquist 频段外别名项;有限阶 Euler–Maclaurin 的伯努利修正;截断尾项以绝对可和界。 推论(执行) “三修“达阈前不扩散。
元律七|指针基与谱隙(神圣/权威之源)
断语 常被读且抗扰者,自然上升为“圣“。 定理(收敛与鲁棒) 设马尔可夫/观测核 的主特征值 与次特征值 ,谱隙 则 ,扰动界 。 证明要点 Perron–Frobenius 与 Davis–Kahan 夹角不等式。 推论(制度) 以谱隙阈值选“权威/规范流程“。
元律八|共识采样下限(防混叠频率)
断语 校准过慢,必生混叠。 定理(采样阈) 议题有效带宽 时,校准频率 方能防混叠。 证明要点 采样定理:频谱折叠导致伪稳态。 推论(治理) 周/月会频率按带宽设下限,降频须评估混叠风险。
3. 术语与符号(统一口径)
- 窗:;同窗=同来源/时段/带宽。
- 秤:单位/刻度/代价函数;影子刻度 。
- 镜:角色互换群 ;镜像核 、完成函数 。
- 路:可复演序列 。
- 账: 与最小补偿 。
- 相位—密度:;谱移 。
- NPE:。
- KL 小步:;Mirror Descent 遗憾 。
- 谱隙:;指针基 。
- 采样阈:。
4. 本册小结(形式化要点)
- 看见之前先写窗: 与不可辨域由 确定。
- 判断之前先校秤:变量代换守读数,影子刻度 定边际代价。
- 公平可被证明:镜像核 与完成对称 给出互换不变性。
- 意义可被计量:;谈方向必配密度。
- 清明有代价:。
- 更正有最优:KL-I 投影与 Bregman–Pythagoras。
- 谬误有结构:NPE 三分闭合误差账。
- 神圣有判据:谱隙 选指针基。
- 共识有频率: 防混叠。