math-skill 3.0.0 → 3.1.0

package/knowledge-base/probability/information-bottleneck.md

@@ -30,20 +30,36 @@ $$\mathcal{L}_{VIB} = \mathbb{E}_{p(x,y)}[-\log q_\phi(y|z)] + D_{KL}(p_\theta(z
 - **注意力稀疏化 / 路由的信息论解释**：Sparse Attention 和 MoE 路由可理解为隐式信息瓶颈——选择性地让"有用" token 通过，丢弃噪声
 
 ## 工程可行性
-- **维度 1 张量化 ✅**：VIB 的编码器/解码器均为标准网络，$D_{KL}$ 为逐元素计算
-- **维度 2 GEMM 可映射 ✅**：主体计算为标准前向网络 + GEMM
-- **维度 3 复杂度 ✅**：相比原始网络仅增加 KL 项的 $O(d)$ 计算
-- **维度 4 显存 ⚠️**：需要额外维护先验分布 $r(z)$ 的参数和 KL 计算中间量
-- **维度 5 低精度 ✅**：重参数化技巧 + KL 解析解在 bf16 下稳定
-- **维度 8 算子融合 ✅**：与标准训练流程无冲突，可正常融合
+- **D1[v]**：VIB 的编码器/解码器均为标准网络，$D_{KL}$ 为逐元素计算
+- **D2[v]**：主体计算为标准前向网络 + GEMM
+- **D3[v]**：相比原始网络仅增加 KL 项的 $O(d)$ 计算
+- **D4[~]**：需要额外维护先验分布 $r(z)$ 的参数和 KL 计算中间量
+- **D5[v]**：重参数化技巧 + KL 解析解在 bf16 下稳定
+- **D8[v]**：与标准训练流程无冲突，可正常融合
 
 ## 风险与失效条件
 - **$I(X;Z)$ 的精确估计困难**：高维连续变量间的互信息估计本身是开放问题（MINE、NWJ 等估计器方差大），实际用 VIB 变分下界绕过，但下界可能很松。
 - **$\beta$ 调参敏感**：$\beta$ 过大会过度压缩（欠拟合），过小则退化为标准 ERM（无压缩效果）。需要信息平面分析或自适应 $\beta$ 调度。
 
 ## 深入参考
-- 蒸馏稿：`references/books/` 暂无专用 IB 蒸馏稿
+- 蒸馏稿：`../../references/books/` 暂无专用 IB 蒸馏稿
 - Tishby, Pereira, Bialek. "The Information Bottleneck Method." *arXiv:physics/0004057*, 2000
 - Alemi, Poole, Fischer, Dillon, Suresh, Murphy. "Deep Variational Information Bottleneck." *ICLR*, 2017
 - Shwartz-Ziv, Tishby. "Opening the Black Box of Deep Neural Networks via Information." *arXiv:1703.00810*, 2017
-- 关联知识卡：`probability/entropy.md`、`probability/kl-divergence.md`
+- 关联知识卡：`entropy.md`、`kl-divergence.md`
+
+
+## 路由扩展
+- 若需要 IB 目标中的 KL → `kl-divergence.md`（IB 目标的 KL 分量）
+- 若涉及速率-失真理论 → `entropy.md`（IB 与率失真理论的关系）
+- 若用于 VIB 损失设计 → `variational-loss`（设计模式层的变分信息瓶颈损失）
+
+## 可扩展方向
+- 速率-失真理论（rate-distortion theory）：信息论的最优压缩界
+- 确定性 IB（deterministic IB）：确定性编码的 IB 变体
+- 几何 IB（geometric IB）：几何结构下的信息瓶颈
+- IB 用于表示学习（IB for representation learning）：IB 框架下的特征学习
+- IB 用于聚类（IB for clustering）：IB 驱动的聚类算法
+- 深度 IB（deep IB）：深度网络中的信息瓶颈
+- 多瓶颈 IB（IB with multiple bottlenecks）：多层信息约束
+- IB 泛化界（IB generalization bounds）：IB 与泛化能力的理论联系

package/knowledge-base/probability/kl-divergence.en.md

@@ -33,19 +33,32 @@ $$D_{KL}(p \| q) = H(p, q) - H(p)$$
 - **PPO / RLHF**: $D_{KL}(\pi_\theta \| \pi_{\text{ref}})$ serves as a penalty term for the policy deviating from the reference policy
 
 ## Engineering Feasibility
-- **Dimension 1 Tensorization ✅**: Element-wise $p \log(p/q)$ is fully vectorizable
-- **Dimension 2 GEMM-mappability ⚠️**: KL itself is not a GEMM, but its inputs (logits) come from GEMM layers
-- **Dimension 3 Complexity ✅**: $O(|\mathcal{X}|)$ linear
-- **Dimension 4 Memory ⚠️**: For large vocabularies, both $p$ and $q$ probability vectors must be held simultaneously; chunked computation is possible
-- **Dimension 5 Low Precision ✅**: Log-softmax differences are stable in bf16; note that $\log q$ diverges as $q \to 0$, requiring clamping
-- **Dimension 8 Operator Fusion ✅**: Can be fused with softmax into FusedKLDivLoss
+- **D1[v]**: Element-wise $p \log(p/q)$ is fully vectorizable
+- **D2[~]**: KL itself is not a GEMM, but its inputs (logits) come from GEMM layers
+- **D3[v]**: $O(|\mathcal{X}|)$ linear
+- **D4[~]**: For large vocabularies, both $p$ and $q$ probability vectors must be held simultaneously; chunked computation is possible
+- **D5[v]**: Log-softmax differences are stable in bf16; note that $\log q$ diverges as $q \to 0$, requiring clamping
+- **D8[v]**: Can be fused with softmax into FusedKLDivLoss
 
 ## Risks and Failure Conditions
 - **KL diverges to infinity when $q(x)=0$ but $p(x)>0$**: In practice, label smoothing or temperature scaling must be applied to $q$ to avoid zero probabilities. The mode-seeking behavior of reverse KL can exacerbate this issue — the student model "drops" low-probability regions of the teacher distribution.
 - **High gradient variance**: In RL (PPO/RLHF), KL estimation relies on sampling; high variance can lead to training instability. A clipped + linear approximation $\mathbb{E}[\log p - \log q]$ is commonly used in place of the exact KL.
 
 ## Further References
-- Distillation draft: `references/books/` — no dedicated information theory distillation draft at present
+- Distillation draft: `../../references/books/` — no dedicated information theory distillation draft at present
 - Cover & Thomas. *Elements of Information Theory*, Ch. 2-3. Wiley, 2006
 - Murphy. *Probabilistic Machine Learning: Advanced Topics*, Ch. 6. MIT Press, 2023
-- Related knowledge cards: `probability/entropy.md`, `probability/information-bottleneck.md`, `probability/fisher-information.md`
+- Related knowledge cards: `entropy.en.md`, `information-bottleneck.en.md`, `fisher-information.en.md`
+
+
+## Routing Extensions
+- If used for IB objective -> `information-bottleneck.en.md` (IB defines objective using KL)
+- If the absolute version is needed -> `entropy.en.md` (KL divergence reduces to entropy)
+- If local KL geometry is needed -> `fisher-information.en.md` (Fisher information is local curvature of KL)
+
+## Extensible Directions
+- f-divergence family (chi-squared, Hellinger, Jensen-Shannon, total variation): unified divergence framework
+- Reverse KL (mode-seeking): mode-seeking behavior in variational inference
+- Bregman divergence: divergence family generated by convex functions
+- Variational representations (Donsker-Varadhan, Barber-Agakov): variational upper/lower bounds of KL divergence
+- KL in exponential families: geometry of sufficient statistics

package/knowledge-base/probability/kl-divergence.md

@@ -33,19 +33,32 @@ $$D_{KL}(p \| q) = H(p, q) - H(p)$$
 - **PPO / RLHF**：$D_{KL}(\pi_\theta \| \pi_{\text{ref}})$ 作为策略偏离参考策略的惩罚项
 
 ## 工程可行性
-- **维度 1 张量化 ✅**：逐元素 $p \log(p/q)$ 完全向量化
-- **维度 2 GEMM 可映射 ⚠️**：KL 本身不是 GEMM，但输入（logits）来自 GEMM 层
-- **维度 3 复杂度 ✅**：$O(|\mathcal{X}|)$ 线性
-- **维度 4 显存 ⚠️**：大 vocab 下需同时保留 $p$ 和 $q$ 的完整概率向量，可 chunk 计算
-- **维度 5 低精度 ✅**：log-softmax 差值在 bf16 下稳定；注意 $q \to 0$ 时 $\log q$ 发散，需 clamp
-- **维度 8 算子融合 ✅**：可与 softmax 融合为 FusedKLDivLoss
+- **D1[v]**：逐元素 $p \log(p/q)$ 完全向量化
+- **D2[~]**：KL 本身不是 GEMM，但输入（logits）来自 GEMM 层
+- **D3[v]**：$O(|\mathcal{X}|)$ 线性
+- **D4[~]**：大 vocab 下需同时保留 $p$ 和 $q$ 的完整概率向量，可 chunk 计算
+- **D5[v]**：log-softmax 差值在 bf16 下稳定；注意 $q \to 0$ 时 $\log q$ 发散，需 clamp
+- **D8[v]**：可与 softmax 融合为 FusedKLDivLoss
 
 ## 风险与失效条件
 - **$q(x)=0$ 但 $p(x)>0$ 时 KL 发散为无穷**：实践中必须对 $q$ 做 label smoothing 或温度缩放，避免零概率。反向 KL 的 mode-seeking 行为可加剧此问题——学生模型"丢弃"教师分布的低概率区域。
 - **梯度方差大**：在 RL（PPO/RLHF）中，KL 估计依赖采样，高方差可导致训练不稳定。常用 clip + 线性近似 $\mathbb{E}[\log p - \log q]$ 替代精确 KL。
 
 ## 深入参考
-- 蒸馏稿：`references/books/` 暂无专用信息论蒸馏稿
+- 蒸馏稿：`../../references/books/` 暂无专用信息论蒸馏稿
 - Cover & Thomas. *Elements of Information Theory*, Ch. 2-3. Wiley, 2006
 - Murphy. *Probabilistic Machine Learning: Advanced Topics*, Ch. 6. MIT Press, 2023
-- 关联知识卡：`probability/entropy.md`、`probability/information-bottleneck.md`、`probability/fisher-information.md`
+- 关联知识卡：`entropy.md`、`information-bottleneck.md`、`fisher-information.md`
+
+
+## 路由扩展
+- 若用于 IB 目标函数 → `information-bottleneck.md`（IB 使用 KL 定义目标）
+- 若需要绝对版本 → `entropy.md`（KL 散度退化为熵）
+- 若需要局部 KL 几何 → `fisher-information.md`（Fisher 信息是 KL 的局部曲率）
+
+## 可扩展方向
+- f-散度族（chi-squared, Hellinger, Jensen-Shannon, total variation）：统一的散度框架
+- 逆 KL（reverse KL / mode-seeking）：变分推断中的模式搜索行为
+- Bregman 散度（Bregman divergence）：凸函数生成的散度族
+- 变分表示（Donsker-Varadhan, Barber-Agakov）：KL 散度的变分上/下界
+- 指数族中的 KL（KL in exponential families）：充分统计量的几何

package/knowledge-base/topology/euler-characteristic.en.md

@@ -48,7 +48,20 @@ High GPU friendliness. Computing the Euler characteristic is extremely cheap:
 
 ## Further References
 
-- Distillation notes: references/books/smooth-manifolds.md (Ch 17--18 De Rham Cohomology, Betti numbers and cohomology)
-- Distillation notes: references/books/differential-geometry.md (Ch 4 Curves and Hypersurfaces, intuition source for Gauss curvature)
+- Distillation notes: ../../references/books/smooth-manifolds.en.md (Ch 17--18 De Rham Cohomology, Betti numbers and cohomology)
+- Distillation notes: ../../references/books/differential-geometry.en.md (Ch 4 Curves and Hypersurfaces, intuition source for Gauss curvature)
 - Original text: John M. Lee, *Introduction to Smooth Manifolds*, Ch 17--18 (de Rham cohomology and topological invariants)
 - Extended reading: Hatcher, *Algebraic Topology*, Ch 2 (standard treatment of simplicial homology and the Euler characteristic)
+
+
+## Routing Extensions
+- If multi-scale topology analysis is needed -> `persistent-homology.en.md` (persistent homology provides scale-dependent topology)
+- If curvature-topology connection is involved -> `../differential-geometry/curvature.md` (Gauss-Bonnet theorem connects curvature and Euler characteristic)
+
+## Extensible Directions
+- Betti numbers: counting independent loops at each dimension
+- Poincare polynomial: generating function of Betti numbers
+- Lefschetz fixed point theorem: Euler characteristic and map fixed points
+- Morse inequalities: relationship between critical points and Betti numbers
+- Discrete Morse theory: Morse functions on complexes
+- Euler characteristic curve: Euler characteristic variation across thresholds

package/knowledge-base/topology/euler-characteristic.md

@@ -48,7 +48,20 @@ GPU 友好度高。欧拉示性数的计算极其廉价：
 
 ## 深入参考
 
-- 蒸馏稿：references/books/smooth-manifolds.md（Ch 17-18 De Rham Cohomology，Betti 数与上同调）
-- 蒸馏稿：references/books/differential-geometry.md（Ch 4 Curves and Hypersurfaces, Gauss curvature 直觉来源）
+- 蒸馏稿：../../references/books/smooth-manifolds.md（Ch 17-18 De Rham Cohomology，Betti 数与上同调）
+- 蒸馏稿：../../references/books/differential-geometry.md（Ch 4 Curves and Hypersurfaces, Gauss curvature 直觉来源）
 - 原书：John M. Lee, *Introduction to Smooth Manifolds*, Ch 17-18（de Rham 上同调与拓扑不变量）
 - 延伸：Hatcher, *Algebraic Topology*, Ch 2（单纯同调与欧拉示性数的标准处理）
+
+
+## 路由扩展
+- 若需要多尺度拓扑分析 → `persistent-homology.md`（持续同调提供尺度依赖的拓扑）
+- 若涉及曲率-拓扑联系 → `../differential-geometry/curvature.md`（Gauss-Bonnet 定理连接曲率与 Euler 示性数）
+
+## 可扩展方向
+- Betti 数（Betti numbers）：各维度的独立环路计数
+- Poincare 多项式（Poincare polynomial）：Betti 数的生成函数
+- Lefschetz 不动点定理：Euler 示性数与映射不动点
+- Morse 不等式（Morse inequalities）：临界点与 Betti 数的关系
+- 离散 Morse 理论（discrete Morse theory）：复形上的 Morse 函数
+- Euler 示性数曲线（Euler characteristic curve）：多阈值的 Euler 示性数变化

package/knowledge-base/topology/fundamental-group.en.md

@@ -46,7 +46,21 @@ Low GPU friendliness. Computation of the fundamental group is inherently combina
 
 ## Further References
 
-- Distillation notes: references/books/smooth-manifolds.md (Ch 17--18 De Rham Cohomology, cohomology and topological invariants)
-- Distillation notes: references/books/algebraic-geometry-rising-sea.md (Section 18 Cech Cohomology, local gluing and global obstructions)
+- Distillation notes: ../../references/books/smooth-manifolds.en.md (Ch 17--18 De Rham Cohomology, cohomology and topological invariants)
+- Distillation notes: ../../references/books/algebraic-geometry-rising-sea.en.md (Section 18 Cech Cohomology, local gluing and global obstructions)
 - Original text: John M. Lee, *Introduction to Smooth Manifolds*, Ch 17 (de Rham cohomology, the loop integral perspective)
 - Extended reading: Hatcher, *Algebraic Topology*, Ch 1 (standard textbook treatment of the fundamental group, including the Seifert-van Kampen theorem)
+
+
+## Routing Extensions
+- If higher-dimensional homology is needed -> `persistent-homology.en.md` (higher homology groups)
+- If geometric structure is involved -> `../differential-geometry/curvature.md` (relationship between geometry and topology)
+
+## Extensible Directions
+- Covering space theory: Galois correspondence between fundamental group and coverings
+- Van Kampen theorem: computational tool for fundamental groups
+- Higher homotopy groups: computation and obstructions of pi_n
+- Hurewicz theorem: relationship between homotopy and homology groups
+- Loop space: space of all loops based at a point
+- Braid group: algebraic structure of braids
+- Knot group: invariants of knots

package/knowledge-base/topology/fundamental-group.md

@@ -46,7 +46,21 @@ GPU 友好度低。基本群的计算本质上是组合/代数的，而非数值
 
 ## 深入参考
 
-- 蒸馏稿：references/books/smooth-manifolds.md（Ch 17-18 De Rham Cohomology，上同调与拓扑不变量）
-- 蒸馏稿：references/books/algebraic-geometry-rising-sea.md（§18 Cech Cohomology，局部黏合与全局障碍）
+- 蒸馏稿：../../references/books/smooth-manifolds.md（Ch 17-18 De Rham Cohomology，上同调与拓扑不变量）
+- 蒸馏稿：../../references/books/algebraic-geometry-rising-sea.md（§18 Cech Cohomology，局部黏合与全局障碍）
 - 原书：John M. Lee, *Introduction to Smooth Manifolds*, Ch 17（de Rham 上同调，环路积分的视角）
 - 延伸：Hatcher, *Algebraic Topology*, Ch 1（基本群的标准教材处理，含 Seifert-van Kampen 定理）
+
+
+## 路由扩展
+- 若需要更高维同调 → `persistent-homology.md`（高阶同调群）
+- 若涉及几何结构 → `../differential-geometry/curvature.md`（几何与拓扑的关系）
+
+## 可扩展方向
+- 覆叠空间理论（covering space theory）：基本群与覆叠的 Galois 对应
+- Van Kampen 定理：基本群的计算工具
+- 高阶同伦群（higher homotopy groups）：pi_n 的计算与障碍
+- Hurewicz 定理：同伦群与同调群的关系
+- 环路空间（loop space）：基于某点的环路全体
+- 辫群（braid group）：辫子的代数结构
+- 纽群（knot group）：纽结的不变量

package/knowledge-base/topology/index.en.md

@@ -0,0 +1,48 @@
+# Topology Activation Index
+
+## Domain Signals
+Activate this domain direction when the problem involves:
+- Connectivity preservation: need to maintain or detect connectivity structure of a space
+- Representation space tearing: latent space or representation space exhibits topological tearing
+- Local-to-global consistency: whether local information can be consistently glued into a global structure
+- Multimodal alignment obstruction: whether topological obstructions exist for multimodal alignment
+- Whether compression destroys structure: whether dimensionality reduction or compression alters the topological features of data
+
+## Core Anchors
+- `persistent-homology.en.md` — Persistent homology
+- `euler-characteristic.en.md` — Euler characteristic
+- `fundamental-group.en.md` — Fundamental group
+
+## Extended Concepts
+When core anchors are insufficient, the following concepts may need temporary activation:
+- simplicial complex: simplicial complexes (Vietoris-Rips, alpha complex, etc.)
+- Cech complex: Cech complex and coverings
+- sheaf theory (section, restriction map, gluing, Cech cohomology): sheaf theory basics and Cech cohomology
+- covering space: covering spaces and covering maps
+- homotopy group: higher homotopy groups
+- CW complex: CW complexes and cell structure
+- Morse theory: Morse theory and critical point analysis
+- Betti numbers: Betti numbers and topological invariants
+- topological data analysis (Mapper algorithm): topological data analysis and Mapper algorithm
+- obstruction theory: obstruction theory
+- classifying space: classifying spaces
+- K-theory: K-theory
+- cobordism: cobordism theory
+
+## Reference Book Directions
+- `../../references/books/smooth-manifolds.en.md`: Chapters 17-18, covering homology theory basics
+- `../../references/books/algebraic-geometry-rising-sea.en.md`: Cech cohomology sections
+
+## AI Translation Directions
+- persistent homology → representation topology monitor / topological regularization loss
+- euler characteristic → complexity metric / model selection criterion
+- fundamental group → loop structure detection / cycle-preserving compression
+- sheaf / gluing → cross-modal consistency loss / multi-view alignment
+- obstruction theory → alignment failure signal / topological bottleneck detection
+- simplicial complex → higher-order token relation graph / hypergraph attention
+
+## Temporary Activation Rules
+When the problem requires mathematics not in the core anchors:
+1. First check whether extended concepts contain a match
+2. If yes, generate a temporary knowledge card based on the lens
+3. If no, enter the Knowledge Gap Protocol

package/knowledge-base/topology/index.md

@@ -0,0 +1,48 @@
+# 拓扑 激活索引 / Topology Activation Index
+
+## 领域信号
+当问题涉及以下信号时，激活本领域方向：
+- 连通性保持：需要保持或检测空间的连通性结构
+- 表示空间断裂：隐空间或表示空间出现拓扑断裂
+- 局部到全局一致性：局部信息是否能一致地拼接成全局结构
+- 多模态对齐 obstruction：多模态对齐是否存在拓扑障碍
+- 压缩是否破坏结构：降维或压缩是否改变了数据的拓扑特征
+
+## 核心锚点
+- `persistent-homology.md` — 持续同调
+- `euler-characteristic.md` — Euler 示性数
+- `fundamental-group.md` — 基本群
+
+## 扩展概念
+当核心锚点不够时，以下概念可能需要临时激活：
+- simplicial complex：单纯复形（Vietoris-Rips, alpha complex 等）
+- Cech complex：Cech 复形与覆盖
+- sheaf theory（section, restriction map, gluing, Cech cohomology）：层论基础与 Cech 上同调
+- covering space：覆叠空间与覆叠映射
+- homotopy group：高阶同伦群
+- CW complex：CW 复形与胞腔结构
+- Morse theory：Morse 理论与临界点分析
+- Betti numbers：Betti 数与拓扑不变量
+- topological data analysis（Mapper algorithm）：拓扑数据分析与 Mapper 算法
+- obstruction theory：障碍理论
+- classifying space：分类空间
+- K-theory：K 理论
+- cobordism：配边理论
+
+## 参考书方向
+- `../../references/books/smooth-manifolds.md`：第 17-18 章，覆盖同调论基础
+- `../../references/books/algebraic-geometry-rising-sea.md`：Cech 上同调部分
+
+## AI 翻译方向
+- persistent homology → representation topology monitor / topological regularization loss
+- euler characteristic → complexity metric / model selection criterion
+- fundamental group → loop structure detection / cycle-preserving compression
+- sheaf / gluing → cross-modal consistency loss / multi-view alignment
+- obstruction theory → alignment failure signal / topological bottleneck detection
+- simplicial complex → higher-order token relation graph / hypergraph attention
+
+## 临时激活规则
+当问题需要的数学不在核心锚点中时：
+1. 先检查扩展概念中是否有匹配
+2. 若有，根据透镜生成临时知识卡
+3. 若无，进入 Knowledge Gap Protocol

package/knowledge-base/topology/persistent-homology.en.md

@@ -48,7 +48,22 @@ Limited GPU friendliness, which is the main bottleneck for deploying persistent
 
 ## Further References
 
-- Distillation notes: references/books/smooth-manifolds.md (Ch 17--18 De Rham Cohomology, conceptual origin of topological invariants)
-- Distillation notes: references/books/algebraic-geometry-rising-sea.md (Section 18 Cech Cohomology, Section 23 Derived Functors, cohomology computations)
+- Distillation notes: ../../references/books/smooth-manifolds.en.md (Ch 17--18 De Rham Cohomology, conceptual origin of topological invariants)
+- Distillation notes: ../../references/books/algebraic-geometry-rising-sea.en.md (Section 18 Cech Cohomology, Section 23 Derived Functors, cohomology computations)
 - Original text: John M. Lee, *Introduction to Smooth Manifolds*, Ch 17--18 (de Rham cohomology)
 - Extended reading: Edelsbrunner & Harer, *Computational Topology: An Introduction* (standard textbook on persistent homology)
+
+
+## Routing Extensions
+- If topological invariant computation is needed -> `euler-characteristic.en.md` (Euler characteristic as alternating sum of Betti numbers)
+- If 1-dimensional topology analysis is needed -> `fundamental-group.en.md` (fundamental group captures loop structure)
+- If used for information-preserving compression -> `../probability/information-bottleneck.md` (topology-preserving information compression)
+
+## Extensible Directions
+- Simplicial complex types (Cech, Vietoris-Rips, alpha): advantages and disadvantages of different constructions
+- Sheaf theory: local-to-global consistent data structures
+- Mapper algorithm: visualization and clustering based on persistent homology
+- Topological data analysis (TDA): complete TDA methodology
+- Persistence image / landscape: vectorized representations of persistence diagrams
+- Multiparameter persistence: homology with multi-scale filtrations
+- Zigzag persistence: persistent homology allowing bidirectional filtrations

package/knowledge-base/topology/persistent-homology.md

@@ -48,7 +48,22 @@ GPU 友好度有限，是持续同调落地的主要瓶颈：
 
 ## 深入参考
 
-- 蒸馏稿：references/books/smooth-manifolds.md（Ch 17-18 De Rham Cohomology，拓扑不变量概念来源）
-- 蒸馏稿：references/books/algebraic-geometry-rising-sea.md（§18 Cech Cohomology, §23 Derived Functors，上同调计算）
+- 蒸馏稿：../../references/books/smooth-manifolds.md（Ch 17-18 De Rham Cohomology，拓扑不变量概念来源）
+- 蒸馏稿：../../references/books/algebraic-geometry-rising-sea.md（§18 Cech Cohomology, §23 Derived Functors，上同调计算）
 - 原书：John M. Lee, *Introduction to Smooth Manifolds*, Ch 17-18（de Rham 上同调）
 - 延伸：Edelsbrunner & Harer, *Computational Topology: An Introduction*（持续同调标准教材）
+
+
+## 路由扩展
+- 若需要拓扑不变量的计算 → `euler-characteristic.md`（Euler 示性数作为 Betti 数的交替和）
+- 若需要 1 维拓扑分析 → `fundamental-group.md`（基本群捕捉环路结构）
+- 若用于信息保持压缩 → `../probability/information-bottleneck.md`（拓扑保持的信息压缩）
+
+## 可扩展方向
+- 单纯复形类型（Cech, Vietoris-Rips, alpha）：不同复形构造的优缺点
+- 层论（sheaf theory）：局部到全局的一致数据结构
+- Mapper 算法：基于持续同调的可视化与聚类
+- 拓扑数据分析（topological data analysis）：TDA 的完整方法论
+- 持续图像/景观（persistence image / landscape）：持续图的向量化表示
+- 多参数持续（multiparameter persistence）：多尺度过滤的同调
+- zigzag 持续（zigzag persistence）：允许双向过滤的持续同调

package/lenses/algorithmic.en.md

@@ -1,4 +1,4 @@
-# 🖥️ Algorithmic Lens
+# Algorithmic Lens
 
 > Algorithms are the automation of thought — converting insights into precise, repeatable steps.
 

package/lenses/algorithmic.md

@@ -1,4 +1,4 @@
-# 🖥️ 算法透镜 / Algorithmic Lens
+# 算法透镜 / Algorithmic Lens
 
 > 算法是思想的自动化——将洞察转化为可重复执行的精确步骤。
 

package/lenses/axiomatization.en.md

@@ -1,4 +1,4 @@
-# 📐 Axiomatization Lens
+# Axiomatization Lens
 
 > Build from minimal assumptions using rigorous logic — scrutinizing premises matters more than checking conclusions
 

package/lenses/axiomatization.md

@@ -1,4 +1,4 @@
-# 📐 公理化透镜
+# 公理化透镜
 
 > 从最少假设出发，用严格逻辑构建——审查前提比检查结论更重要
 

package/lenses/categorical.en.md

@@ -1,4 +1,4 @@
-# 🧩 Categorification Lens
+# Categorification Lens
 
 > Strip away incidental details to reveal essential structure — problems across different domains often share the same abstract skeleton
 

package/lenses/categorical.md

@@ -1,4 +1,4 @@
-# 🧩 范畴化透镜
+# 范畴化透镜
 
 > 忽略偶然细节，揭示必然结构——不同领域的问题往往共享相同的抽象骨架
 

package/lenses/causal.en.md

@@ -1,4 +1,4 @@
-# 🔗 Causal Lens
+# Causal Lens
 
 > Correlation does not imply causation — but causation can be clarified. The crucial distinction: "how Y behaves when X is observed" is not the same as "what would happen if X were done."
 

package/lenses/causal.md

@@ -1,4 +1,4 @@
-# 🔗 因果透镜 / Causal Lens
+# 因果透镜 / Causal Lens
 
 > 相关不等于因果——但因果可以理清。关键区别："看到 X 时 Y 如何"不等于"如果做了 X 会怎样"。
 

package/lenses/duality.en.md

@@ -1,4 +1,4 @@
-# 🔄 Duality Lens
+# Duality Lens
 
 > A hard problem is equivalent to an easy problem — the key is finding the right transform and its inverse
 

package/lenses/duality.md

@@ -1,4 +1,4 @@
-# 🔄 对偶透镜
+# 对偶透镜
 
 > 复杂问题等价于简单问题——关键是找到合适的变换和它的逆
 

package/lenses/game.en.md

@@ -1,4 +1,4 @@
-# 🎯 Game Lens
+# Game Lens
 
 > Your optimal choice depends on others' choices — thinking must be not only deep but interactive.
 
@@ -15,7 +15,7 @@ This is a "player's" perspective — in environments where multiple decision-mak
 
 ## What Problems It Is Not Suited For
 
-- Single-agent decision problems with no interaction with others — optimization thinking is more appropriate
+- Single-agent decision problems with no interaction with others — the variational lens is more appropriate
 - Purely cooperative problems where all participants share identical objectives — strategic analysis is unnecessary
 - Deterministic problems where outcomes are uniquely determined by one's own actions — no others' responses are involved
 - Outcomes determined purely by luck, with no strategic choices available to any party

package/lenses/game.md

@@ -1,4 +1,4 @@
-# 🎯 博弈透镜 / Game Lens
+# 博弈透镜 / Game Lens
 
 > 你的最优选择取决于他人的选择——思考不仅要深入，还要互动。
 
@@ -15,7 +15,7 @@
 
 ## 不适合什么问题
 
-- 单人决策问题，与他人无互动——优化思想更适用
+- 单人决策问题，与他人无互动——变分透镜更适用
 - 纯合作问题，参与者目标完全一致——无需战略分析
 - 确定性问题，结果由自身行动唯一决定——不涉及他人反应
 - 纯粹运气决定的结果，各方无策略选择

package/lenses/geometric.en.md

@@ -1,4 +1,4 @@
-# 🌉 Geometric Lens
+# Geometric Lens
 
 > Metric, curvature, and spatial structure on manifolds — seeing problems through the eyes of differential geometry, where distance, bending, and optimal paths reveal the intrinsic shape of data
 

package/lenses/geometric.md

@@ -1,4 +1,4 @@
-# 🌉 几何透镜
+# 几何透镜
 
 > 度量/曲率/流形上的空间结构——用微分几何的眼光看问题，距离、弯曲与最优路径揭示数据的内在形状
 

package/lenses/local-to-global.en.md

@@ -1,4 +1,4 @@
-# 📈 Local-to-Global Lens
+# Local-to-Global Lens
 
 > Patching local properties into global, sheaf cohomology obstructions — can local solutions be seamlessly assembled into a global solution? Where do the obstructions lie?
 

package/lenses/local-to-global.md

@@ -1,4 +1,4 @@
-# 📈 局部到全局透镜
+# 局部到全局透镜
 
 > 局部性质拼接为全局、层上同调障碍——局部解能否无缝组装成全局解？障碍在哪里？
 

package/lenses/perturbation.en.md

@@ -1,4 +1,4 @@
-# 🧠 Perturbation Lens
+# Perturbation Lens
 
 > Propagation of small perturbations, stability, and robustness — a system's sensitivity to tiny changes determines its reliability
 

package/lenses/perturbation.md

@@ -1,4 +1,4 @@
-# 🧠 微扰透镜
+# 微扰透镜
 
 > 小扰动的传播、稳定性、鲁棒性——系统对微小变化的敏感度决定了它的可靠性
 

package/lenses/probabilistic.en.md

@@ -1,4 +1,4 @@
-# 🎲 Probabilistic Lens
+# Probabilistic Lens
 
 > Uncertainty is quantifiable — probability is quantified belief, data is quantified evidence
 

package/lenses/probabilistic.md

@@ -1,4 +1,4 @@
-# 🎲 概率透镜
+# 概率透镜
 
 > 不确定性是可量化的——概率是量化的信念，数据是量化的证据
 

package/lenses/projection.en.md

@@ -1,4 +1,4 @@
-# 🧮 Projection & Decomposition Lens
+# Projection & Decomposition Lens
 
 > Complex wholes can be orthogonally decomposed into independent components — conflicts are exposed in subspaces, signal and noise are separated under projection.
 

package/lenses/projection.md

@@ -1,4 +1,4 @@
-# 🧮 投影与分解透镜 / Projection & Decomposition Lens
+# 投影与分解透镜 / Projection & Decomposition Lens
 
 > 复杂整体可以正交分解为独立分量——冲突在子空间中暴露，信号与噪声在投影下分离。
 

package/lenses/spectral.en.md

@@ -1,4 +1,4 @@
-# 📡 Spectral Decomposition Lens
+# Spectral Decomposition Lens
 
 > Any linear operator can be decomposed into a superposition of eigencomponents — eigenvalues reveal dominant structure, eigenvectors reveal dominant directions.
 
@@ -17,7 +17,7 @@ This is a "decomposer's" perspective — breaking complex linear operators (matr
 ## What Problems It Is Not Suited For
 
 - Problems dominated by nonlinear effects — spectral decomposition is a linear tool
-- Operators that are not diagonalizable (non-normal matrices, defective matrices) — Jordan form is required
+- Operators that are non-diagonalizable or non-normal — Jordan form is mainly theoretical; for numerical / engineering use prefer Schur decomposition, SVD, or pseudospectral stability analysis
 - Problems that require preserving global topological structure — spectral methods may destroy topology
 
 ## Which Knowledge Domains It Routes To

package/lenses/spectral.md

@@ -1,4 +1,4 @@
-# 📡 谱分解透镜 / Spectral Decomposition Lens
+# 谱分解透镜 / Spectral Decomposition Lens
 
 > 任何线性算子都可以分解为特征分量的叠加——特征值揭示主导结构，特征向量揭示主导方向。
 
@@ -17,7 +17,7 @@
 ## 不适合什么问题
 
 - 非线性效应主导的问题——谱分解是线性工具
-- 算子本身不可对角化（非正规矩阵、亏损矩阵）——需要 Jordan 形式
+- 算子本身不可对角化或非正规——Jordan 形式主要用于理论分析，数值/工程上优先用 Schur 分解、SVD 或 pseudospectrum 稳定性分析
 - 需要保留全局拓扑结构的问题——谱方法可能破坏拓扑
 
 ## 会路由到哪些知识域

package/lenses/symmetry.en.md

@@ -1,4 +1,4 @@
-# ⚛️ Symmetry Lens
+# Symmetry Lens
 
 > Seek the invariant amid change — every symmetry corresponds to a conserved quantity, and every invariant is a key to simplifying the problem
 

package/lenses/symmetry.md

@@ -1,4 +1,4 @@
-# ⚛️ 对称透镜
+# 对称透镜
 
 > 在变化中寻找不变——每一个对称性都对应一个守恒量，每一个不变量都是简化问题的钥匙
 

package/lenses/topological.en.md

@@ -1,4 +1,4 @@
-# 🌀 Topological Lens
+# Topological Lens
 
 > Stretching and bending are allowed, but tearing is not — the truly important properties are those invariant under continuous deformation
 
@@ -23,7 +23,7 @@ Topology is a way of "ignoring precise measurements and focusing only on qualita
 
 - `topology/persistent-homology`: Fundamental group, homology groups, Betti numbers, and cohomology — computational tools for topological invariants
 - **tda**: Persistent homology, filtrations, and simplicial complexes — extracting topological features from data
-- `topology/fundamental-group`: Sheaf cohomology and Čech cohomology — algebraic criteria for local-to-global consistency
+- `topology/fundamental-group`: Fundamental group, loop homotopy classes, covering spaces — detecting non-contractible loops and path-connectivity structure
 
 ## What AI Designs It May Inspire