---
title: "Ehresmann Connection Filtering (Ehresmann 联络过滤)"
created: 2026-07-10
updated: 2026-07-10
type: concept
tags: ["differential-geometry", "fiber-bundle", "smg", "gauge-theory"]
sources: ["[[smg-framework-2026|SMG (Cheng et al., 2026)]]"]
---

# Ehresmann Connection Filtering (Ehresmann 联络过滤)

在 [[statistically-meaningful-geometry|SMG]] 中，**Ehresmann 联络 1-形式 ω** 是核心操作算子——它不是经典统计中的概率计算工具，而是纯微分几何的**动态过滤器**。

## 数学定义

在 SMG 一般纤维丛 B_SMG = (M, B, π, V, H) 上，Ehresmann 联络在每个点 f ∈ M 选择一个水平子空间 Hf，满足：

```
dπf|Hf : Hf → Tπ(f)B  是向量空间同构
```

这等价于定义垂直投影算子：P_V : Tf M → Vf（SID 分量提取）。

## SMG 中的双重角色

### 1. 几何过滤器（Geometric Filter）

在训练过程中，ω 将梯度分解为：

```
∇f = P_H(∇f) + P_V(∇f)
       ↑              ↑
   SVDχ 统计信号   SID 规范噪声
```

只有水平分量进入参数更新——垂直分量被**系统性剥离**。

### 2. 结构探针（Structural Probe）

ω 不是通过回归来估计隐藏参数，而是作为**非概率几何算子**：
- 监测隐藏状态的对齐
- 追踪内部自由度的路由
- 保证 [[two-fold-inference-paradigm|Two-Fold Inference]] 互不泄露

## 与传统联络的对比

| 联络类型 | 底空间 | 群结构 | 核心作用 |
|---------|--------|--------|---------|
| Levi-Civita 联络 | 黎曼流形 | — | 度量兼容平行移动 |
| Principal Bundle 联络 | 主丛 | Lie 群 G | 规范场论 |
| **SMG Ehresmann 联络** | **一般纤维丛** | **无群假设** | **统计信号/噪声正交分解** |

SMG 明确拒绝了主丛 + Lie 群公式——过参数化统计模型的对称性不构成自由且 proper 的齐性群作用。

## 参考

- [[statistically-meaningful-geometry|SMG]]
- [[two-fold-inference-paradigm|Two-Fold Inference]]
- [[quarantining-theorem|Quarantining Theorem]]
