[論文レビュー] Relative Obstructions and Spectral Diagnostics for Sheaves on Cell Complexes

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

Topological and Geometric Data Analysis被引用数 0

ひとこと要約

この論文は、モデルシーフと周囲のグラウディングとの間の grounding による不整合を診断するために、mapping cone を用いた相対的・層理論的フレームワークを導入し、cone および正規ラプラシアンを用いたスペクトル診断を提供します。

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.

研究の動機と目的

• セル複体上のモデルシーフとグラウディングシーフとの間の構造的不整合を相対的障害として定式化する。
• mapping cone を介した相対コホモロジーを用いて intrinsic な障害と grounding による不整合を分離する。
• 正規および mapping-cone ラプラシアンからスペクトル証拠を開発し、不整合を定量化・局在化する。
• 基盤となる表現を学習・変更することなく、不整合を診断する評価的でモデル非依存的な枠組みを提供する。

提案手法

• セル complex K 上のモルフISM を介して F（モデル）をグラウディングシーフ W へ写すコーチン写像 ε: F → W を用い、モデルをセルラシーフとして表現する。
• mapping cone Cone(ε*) を構築し、そのコホモロジー H*(K;F,W) を研究して相対的障害を捉える。
• K 上の幾何的コーンとコーンシーフを定義し、代数的な翻訳コーンと同型であることを示す。
• incidence レベルの欠陥 Δ_{σ→τ} を導入して grounding の失敗を検出し、それがコーンラプラシアンに与える影響を計算する。
• 正規ラプラシアン L_j および cone ラプラシアン L_j^{cone} を定義し、相対的不整合の堅牢性と局在化を定量化するスペクトル診断を提供する。
• スペクトル的濾波とインターリービングの枠組みを開発し、摂動理論なしに異なる構成間でスペクトル指標を比較する。

実験結果

リサーチクエスチョン

• RQ1 Sheaf 理論の枠組み内で固定されたモデルと周囲の grounding の適合性をどう保証できるか。
• RQ2 相対的障害は intrinsic な障害と grounding による不整合にどう分解されるか。
• RQ3 どのスペクトル的特徴（ギャップ、エネルギー、固有モード）が相対的障害の存在と局在を示すか。
• RQ4 mapping-cone に基づくスペクトルは異なる不整合メカニズムを比較する上で堅牢で計算可能な診断となるか。
• RQ5 モデル- grounding の対の (ほぼ) 非正確さの度合いをどう定量化・比較するか。

主な発見

• mapping cone に基づく相対コホモロジー枠組みは intrinsic な障害と grounding による不一致を分離する。
• 正規ラプラシアンと mapping-cone ラプラシアンから派生したスペクトル証拠は、不整合の指標（スペクトルギャップや局在化した固有モードを含む）を計算可能に提供する。
• cone ラプラシアンは grounding の失敗を検出し、特定のセルへ局在化することで基盤となる表現を変更せずに評価を可能にする。
• 幾何的なコーンの実現は代数的な mapping cone と整合し、相対的障害データの統一的解釈を提供する。
• 濾過ベースのアプローチは階層的・安定的な指標を生み出し（インターリービングによって）、固定系における異なる不整合メカニズムの比較を可能にする。