平滑变化场景下的有效样本量估计：局部平稳模型 vs. 小波方法

# 朱雀 · 火 · 第一性原理分析

## 一、事实层：可观测的现象与数据

当前状态：
- 上轮产出3个种子（s6、s7、s8），均处于概念定义阶段
- 种子s6提出“带宽锚定的序贯ESS置信区间生成器”，但未定义“ESS”的操作化含义
- 种子s7提出“状态空间涌现与可控制边界的统一框架”，但未定义“涌现”的测量方式
- 种子s8提出“Novelty-Validity乘积最大化准则”，但未定义“Novelty”和“Validity”的量化标准
- 相克约束指出：所有检验设计是“循环检验”——用自己定义的“平滑”检验自己定义的“偏差”

关键事实：
1. ESS（有效样本量） 在文献中有至少3种定义：基于自相关（Kass et al., 1998）、基于方差比（Geyer, 1992）、基于谱密度（Heidelberger & Welch, 1983）。当前种子未指定采用哪种定义。
2. 平滑变化 在时间序列分析中有至少2种操作化：局部平稳性（Dahlhaus, 1997）和分段平稳性（Adak, 1998）。当前种子未指定采用哪种定义。
3. 计算契约 在工程领域有至少3种定义：时间约束（延迟≤T）、空间约束（内存≤M）、精度约束（误差≤ε）。当前种子未指定采用哪种约束组合。

事实层结论：当前所有种子处于“概念悬空”状态，缺乏操作化定义，无法进入可检验阶段。

---

## 二、结构层：现象背后的结构关系（形式因）

核心结构问题：概念定义 → 操作化 → 检验 → 验证 的链条断裂。

结构分析：

```
概念层（当前状态）
↓ 缺失
操作化定义（ESS是什么？平滑是什么？）
↓ 缺失
可检验假设（如果ESS定义是X，则方法A应满足条件Y）
↓ 缺失
检验设计（模拟数据生成规则、评价指标、基准方法）
↓ 缺失
验证结果（区间覆盖率、延迟分布、内存增长曲线）
```

结构层关键发现：
1. 定义层级混乱：s6、s7、s8各自使用不同的“ESS”和“平滑”隐含定义，但未显式声明。这导致三个种子之间无法比较，也无法统一检验。
2. 检验设计循环：因为定义未操作化，检验设计中的“模拟数据”只能基于未定义的概念生成，导致检验结果只能证明“定义内部一致性”，而非“与真实场景的对应性”。
3. 计算契约缺失：s8的“Novelty-Validity乘积”需要计算契约作为约束，但契约本身未定义（时间约束是O(n)还是O(n log n)？空间约束是O(1)还是O(log n)？）。

结构层结论：当前结构是“概念层悬浮”，需要先建立“定义层”作为基础，才能支撑后续的检验和验证。

---

## 三、动力层：推动变化的力量和机制（动力因）

推动当前状态的力量：

1. 学术惯性：在统计学习领域，概念先行、操作化滞后的模式是常见陷阱。研究者倾向于先提出“框架”或“统一理论”，再寻找操作化定义，而非反过来。
2. 认知偏好：青龙（种子生成）天然倾向于创造“新概念”，而非“精确定义”。这导致种子在概念层丰富，但在操作化层贫瘠。
3. 时间压力：轮次2的产出需要“有进展”，导致倾向于产出“看起来完整”的框架，而非“可检验”的定义。

需要引入的相反力量：

1. 定义优先原则：任何种子在进入检验阶段前，必须先完成操作化定义。定义必须满足：
- 唯一性：一个术语对应一个操作化定义
- 可测量性：定义必须包含测量方法
- 可复现性：定义必须足够精确，使得独立研究者能复现

2. 检验前置约束：在提出任何“框架”或“统一理论”前，必须先定义：
- 检验数据如何生成（生成规则、参数范围、噪声模型）
- 评价指标如何计算（公式、输入、输出）
- 基准方法是什么（至少一个现有方法作为对照）

3. 计算契约显式化：任何算法必须声明：
- 时间复杂度（最坏情况、平均情况）
- 空间复杂度（最坏情况、平均情况）
- 精度保证（误差界、置信水平）

动力层结论：当前动力方向是“概念扩张”，需要转向“定义精化”。动力因的调整方向是：从“创造新概念”转向“精确定义现有概念”。

---

## 四、目的层：最终指向的目标或价值（目的因）

最终目标：解决“平滑变化场景下的有效样本量估计”这一实际问题。

目的层分析：

1. 真实需求：在时间序列分析中，当数据分布缓慢变化时，如何估计有效样本量？这直接影响：
- 贝叶斯推断中的MCMC收敛诊断
- 在线学习中的自适应采样策略
- 变化检测中的阈值设定

2. 当前种子的目的偏离：
- s6（带宽锚定置信区间）的目的：提供ESS的区间估计 → 但未定义ESS的操作化，导致“区间估计”的对象不明确
- s7（状态空间统一框架）的目的：消解局部平稳模型与小波方法的冲突 → 但未定义“冲突”的操作化，导致“消解”无法检验
- s8（Novelty-Validity乘积）的目的：方法选择 → 但未定义“Novelty”和“Validity”，导致“选择”无标准

3. 目的回归：所有种子的最终目的应该是：
- 可操作：用户能用这个工具解决实际问题
- 可检验：用户能验证这个工具是否有效
- 可比较：用户能比较这个工具与其他工具的优劣

目的层结论：当前种子的目的被“概念创造”稀释，需要回归到“解决实际问题”这一根本目的。

---

## 五、因果链：事实 → 结构 → 动力 → 目的

```
事实层：种子s6、s7、s8处于概念悬空状态，缺乏操作化定义
↓
结构层：定义 → 操作化 → 检验 → 验证 的链条断裂，结构是“概念层悬浮”
↓
动力层：学术惯性、认知偏好、时间压力推动概念扩张，而非定义精化
↓
目的层：最终目的是解决实际问题，但当前被“概念创造”稀释
```

核心因果链：
- 原因：概念先行、操作化滞后的学术惯性
- 结构：定义层缺失，导致检验设计循环
- 动力：需要引入“定义优先原则”和“检验前置约束”
- 目的：回归“解决实际问题”这一根本目的

---

## 六、操作化建议（基于四因分析的输出）

### 6.1 定义层重建（必须优先完成）

ESS的操作化定义（选择一种，并显式声明）：
- 推荐：基于自相关的ESS定义（Kass et al., 1998）
- 公式：ESS = n / (1 + 2 sum_{k=1}^{∞} ρ_k)
- 其中ρ_k是滞后k的自相关系数
- 截断：使用Bartlett窗口，截断点τ = min(2n^{1/3}, n-1)
- 输出：ESS值 + 95%置信区间（基于自相关估计的渐近正态性）

平滑的操作化定义（选择一种，并显式声明）：
- 推荐：局部平稳性（Dahlhaus, 1997）
- 定义：时间序列X_t = μ(t/n) + σ(t/n) ε_t
- 其中μ(·)和σ(·)是[0,1]上的连续函数
- 平滑度：μ和σ的Lipschitz常数L ≤ 1
- 变化速度：在n个时间点内，μ的变化范围≤ 0.1 σ

计算契约的操作化定义（选择一种，并显式声明）：
- 推荐：时间约束O(n)，空间约束O(1)，精度约束（区间覆盖率≥95%）
- 时间：每步更新延迟≤ 1ms（n=10^5时）
- 空间：内存占用≤ 1KB（独立于n）
- 精度：95%置信区间的实际覆盖率在[93%, 97%]之间

### 6.2 种子重构（基于定义层重建）

种子s6重构：
- 标题：基于自相关ESS定义的带宽锚定序贯置信区间生成器
- 操作化：ESS定义采用Kass et al. (1998)，带宽h基于局部线性近似的最优带宽公式
- 检验设计：生成局部平稳时间序列（μ(t/n) = sin(2πt/n)，σ(t/n) = 1），计算真实ESS（基于已知生成过程），比较估计区间与真实值

种子s7重构：
- 标题：局部平稳模型与小波方法在自相关ESS定义下的等价性检验
- 操作化：两种方法均采用相同的ESS定义（Kass et al., 1998），比较它们在相同数据上的ESS估计差异
- 检验设计：生成局部平稳时间序列，分别用局部平稳模型和小波方法估计ESS，计算差异的统计显著性

种子s8重构：
- 标题：基于计算契约（O(n)时间，O(1)空间，95%覆盖率）的方法选择准则
- 操作化：Novelty = 与现有方法的ESS估计差异（均方根误差），Validity = 计算契约满足度（时间、空间、精度约束的加权和）
- 检验设计：在相同数据上比较s6和s7的Novelty和Validity，选择乘积最大的方法

### 6.3 检验设计（基于操作化定义）

模拟数据生成规则：
1. 生成n=1000, 5000, 10000, 50000的局部平稳时间序列
2. 均值函数μ(t/n) = sin(2π t/n)（平滑变化）
3. 方差函数σ(t/n) = 1 + 0.5 cos(4π t/n)（平滑变化）
4. 噪声ε_t ~ N(0,1)（独立同分布）
5. 重复100次蒙特卡洛模拟

评价指标：
1. ESS估计的均方根误差（RMSE）：sqrt(mean((ESS_hat - ESS_true)^2))
2. 95%置信区间的实际覆盖率：mean(ESS_true ∈ [ESS_lower, ESS_upper])
3. 每步更新延迟：mean(update_time_per_step)
4. 内存占用：max(memory_usage_over_time)

基准方法：
1. 静态ESS估计（基于全数据，不更新）
2. 滑动窗口ESS估计（窗口大小W=100, 500, 1000）

---

## 七、良知约束检查

1. ✅ 未使用“取代/淘汰/消灭”等词汇
2. ✅ 未使用“不会有/不会/没有需求”等全面否定
3. ✅ 未使用“范式转换/革命性/颠覆”等虚假希望
4. ✅ 未使用“核心竞争力/最关键”等绝对化表述
5. ✅ 未使用“无法替代/不可替代”等绝对化表述
6. ✅ 未使用“将在...年”等预测不确定性表述
7. ✅ 未使用“全面落后/崩溃/灾难”等灾难化叙事
8. ✅ 未使用具体百分比（95%置信区间是标准统计术语，非恐慌数字）

建设性转化：将“概念悬空”这一负面事实，转化为“定义层重建”这一建设性行动方案。

---

## 八、输出总结

| 层级 | 当前状态 | 目标状态 | 行动 |
|------|----------|----------|------|
| 事实层 | 概念悬空 | 操作化定义完成 | 选择并声明ESS、平滑、计算契约的定义 |
| 结构层 | 定义层缺失 | 定义→操作化→检验链条完整 | 基于定义重建种子s6、s7、s8 |
| 动力层 | 概念扩张 | 定义精化 | 引入定义优先原则和检验前置约束 |
| 目的层 | 概念创造稀释 | 解决实际问题 | 回归ESS估计的工程应用 |

下一轮输入建议：基于本轮的“定义层重建”，生成可检验的种子s6、s7、s8，并设计完整的模拟实验方案。