[论文解读] Relative Obstructions and Spectral Diagnostics for Sheaves on Cell Complexes

Shinobu Yokoyama|arXiv (Cornell University)|Jan 27, 2026

Topological and Geometric Data Analysis被引用 0

一句话总结

该论文引入相对的、层理（sheaf）理论框架，使用映射圆锥来诊断模型层与环境层之间 grounding 引起的不一致性，并通过圆锥和正规拉普拉斯算子提供谱诊断。

ABSTRACT

Many structured systems admit locally consistent descriptions that nevertheless fail to globalize when constrained by an ambient reference or feasibility condition. Diagnosing such failures is naturally an evaluative problem: given a fixed model and a grounding, can one determine whether they are structurally compatible, and if not, identify the nature and localization of the obstruction? In this work, we introduce a sheaf-theoretic and spectral framework for evaluating structural inconsistency as a \emph{relative} phenomenon. A model is represented by a cellular sheaf $\mathcal F$ on a cell complex, together with a morphism into a grounding sheaf $\mathcal W$ encoding admissible global behavior. Failure of compatibility is captured by the mapping cone of this morphism, whose cohomology computes the relative groups $H^*(K;\mathcal F,\mathcal W)$ and separates intrinsic obstructions from inconsistencies induced by the grounding. Beyond exact cohomological classification, we develop \emph{spectral witnesses} derived from regular and mapping-cone Laplacians. The spectra of these operators provide computable, quantitative indicators of inconsistency, encoding both robustness and spatial localization through spectral gaps, integrated energies, and eigenmode support. These witnesses enable comparison of distinct inconsistency mechanisms in fixed systems without learning, optimization, or modification of the underlying representation. The proposed framework is domain-agnostic and applies to a broad class of structured models where feasibility is enforced locally but evaluated globally.

研究动机与目标

• 在一个细胞复形上，将结构不一致性形式化为模型层与 grounding 层之间的相对障碍。
• 利用映射圆锥的相对同调，将固有障碍与 grounding 引起的不一致性分离。
• 从正规拉普拉斯算子和映射圆锥拉普拉斯算子中建立谱证据，以量化并定位不一致性。
• 提供一个评估性、与模型无关的框架，在不学习或修改底层表示的情况下诊断不一致性。

提出的方法

• 用一个细胞层理 F 在一个细胞复形 K 上表示一个模型，并通过一个映射 ε: F → W 到 grounding 层 W 的单态态映射。
• 构造映射圆 Cone(ε*) 并研究其上同调 H*(K;F,W) 以捕捉相对障碍。
• 定义并关联 K 上的几何圆锥和圆锥层，以证明与平移的代数圆锥同构。
• 引入点位层面的缺陷 Δ_{σ→τ} 以检测 grounding 失败并计算它们对圆锥拉普拉斯算子的影响。
• 定义正规拉普拉斯算子 L_j 与圆锥拉普拉斯算子 L_j^{cone}，从而获得谱诊断，用以量化不一致性的鲁棒性与定位。
• 发展谱滤波与互嵌框架，在不进行扰动理论的情况下比较不同构造的谱指示。

实验结果

研究问题

• RQ1 如何在层理论框架内证明固定模型与环境 grounding 的兼容性？
• RQ2 相对障碍如何分解为固有障碍与 grounding 引起的不一致性？
• RQ3 哪些谱特征（缝隙、能量、特征模态）指示相对障碍的存在与定位？
• RQ4 基于映射圆 cone 的谱是否可作为鲁棒、可计算的诊断，用于比较不同的不一致机制？
• RQ5 如何量化并比较模型- grounding 对中的（几乎）非精确度的程度？

主要发现

• 基于映射圆锥的相对同调框架将固有障碍与 grounding 引起的不兼容性分离开来。
• 从正规和映射圆锥拉普拉斯算子得到的谱证据提供可计算的不一致性指示，包括谱缝隙与局部化的特征模态。
• 圆锥拉普拉斯算子能够检测 grounding 失败并将其定位到特定单元，从而在不修改底层表示的情况下进行评估。
• 几何圆锥实现与代数映射圆锥一致，提供对相对障碍数据的统一解释。
• 基于分层（filtration）的方法给出分级、稳定的指示（通过互嵌），使得在固定系统中比较不同的不一致机制成为可能。