册 B|法典(大众)
第一门|见之门(星窗印・一秤诀・玄砂漏・静相铃)
体例:每条含法条(简述)、数学推理(判据/证明要点)、可检步骤(最小可复演),并统一使用记号与公设(见册 A)。
1. 星窗印(凡测必窗)
法条 任何一次“看见“,都是某个窗 对真实 的加权读数:;,。
数学推理 (1) 线性与稳定:若 ,则
(2) 换窗敏感度(窗误差上界):
(3) 不可辨域(核非空):有限窗族 定义 。当信号空间维数 (如 无限维),由秩—核定理
(4) 三分误差预算(NPE):任何窗化估计的非渐近误差
可检步骤 以同一问题,实施“三窗试验“:更换信息来源/时段/人群三种 ,若结论显著分歧,则处于不可辨域;延时与加修正后再判。
2. 一秤诀(换单位不换事实)
法条 换单位/刻度不改变事实读数;变量代换 下保持
数学推理 (1) 守读数(代换证明):由 ,
(2) 刻度群与不变性:尺度 、平移 组成仿射群 ;读数是 -不变泛函。 (3) 影子刻度(拉格朗日乘子):在“价值—预算“泛函
为影子价;等价于在秤变动下的边际补偿率。 (4) 同秤可谈:若两方各用 、 标度,先作 归一(例如 与 -校正),再比较 方可避免“秤差偏置“。
可检步骤 任何对比先写明 ;用同一 复算旧数据。若结论反转,先修秤,不急下断。
3. 玄砂漏(分辨—时间的下界)
法条 想分得更清,必须付出更多时间:。
数学推理 (1) 定义方差:对窗函数 (作分析窗,),设
其中 ,。 (2) Heisenberg 不等式(证明要点):由
得 。等号当且仅当 为高斯。 (3) 窗化估计的代价函数:若要求频率分辨 ,最短等待窗满足 。 (4) 与 NPE 耦合:拉长时间窗(增 与减带外能量)会同时降低 与 ,但增加观测成本——形成优化折中:
可检步骤 对重要判决设最小等待窗 ( 由期望分辨率定),并记录 NPE 三项在等待前后之变化;未达阈值不结论。
4. 静相铃(方向=相位导数,多少=密度)
法条 “往哪儿去“的方向由相位决定,“带多少“由密度决定;它们共享同一把秤:
数学推理 (1) 谱词典:设 为一维自伴算子,其谱测度 与散射相位 关联。令 为散射矩阵,谱移函数 满足
(2) 相位—密度同秤:在 Weyl–Titchmarsh 词典中,( 为 m-函数),而总相位 的导数与 成正比,得
(3) 窗化读数的一致性:对任何非负窗 ,
即“方向变化率的窗化平均“等于“密度的窗化平均“(同秤等价)。 (4) 相对谱密度表述:若以参照 定义相对谱移 ,则
故方向变化的判据与“多少“的相对度量一致。
可检步骤 为任一目标先给出“方向词“( 的趋势)与“配重表“( 的资源比例)。以相同窗 计算两侧的窗化平均;若
则为“伪愿“或“错配重“,需重配资源或修正方向。
小结(见之门)
- 星窗印确立读数的窗结构与不可辨域;
- 一秤诀保证变量代换下事实不变与“影子刻度“的边际意义;
- 玄砂漏给出“分辨—时间“的硬下界并嵌入 NPE 误差优化;
- 静相铃用 把“方向“与“数量“统一到同一秤上,供配重校验。