[논문 리뷰] Relative Obstructions and Spectral Diagnostics for Sheaves on Cell Complexes

Shinobu Yokoyama|arXiv (Cornell University)|2026. 01. 27.

Topological and Geometric Data Analysis인용 수 0

한 줄 요약

본 논문은 모델 sheaf와 주변 grounding 사이의 grounding-유발 불일치를 진단하기 위해 mapping cones를 이용한 상대적, sheaf-이론적 프레임워크를 제시하고, cone 및 regular Laplacians를 통한 스펙트럴 진단을 제공한다.

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.

연구 동기 및 목표

• 셀 복합체에서 모델 sheaf와 grounding sheaf 사이의 상대적 장애물로 구조적 불일치를 형식화한다.
• mapping cone를 통한 상대적 코호몰로지를 이용하여 고유한 장애와 grounding-유발 불일치를 분리한다.
• regular Laplacians와 mapping-cone Laplacians로부터 스펙트럴 증거를 개발하여 불일치를 정량화하고 국지화한다.
• 기저 표현을 학습하거나 수정하지 않고 불일치를 진단하는 평가적이며 모델 비의존적 프레임워크를 제공한다.

제안 방법

• 공간 복합체 K 위의 cellular sheaf F로 모델을 표현하고, ε: F → W라는 cochain map를 통해 grounding sheaf W로의 사상(사상) morphism을 갖도록 한다.
• mapping cone Cone(ε*)를 구성하고 H*(K;F,W)로의 코호몰로지를 연구하여 상대적 장애를 포착한다.
• K 위의 기하학적 cone과 cone sheaf를 정의하고 이것들을 관계시켜 번역된 대수적 cone과의 동형을 보이도록 한다.
• Δ_{σ→τ}로 incidence 수준의 결함을 도입하여 grounding 실패를 검출하고 cone Laplacian에 미치는 영향을 계산한다.
• regular Laplacian L_j 및 cone Laplacian L_j^{cone}을 정의하여 불일치의 강건성 및 국지화를 정량화하는 스펙트럴 진단을 산출한다.
• 교란 이론 없이 서로 다른 구성 간에 스펙트럴 지표를 비교하기 위한 스펙트럴 필트레이션과 interleaving 프레임워크를 개발한다.

실험 결과

연구 질문

• RQ1 sheaf-이론적 프레임워크에서 고정된 모델이 주변 grounding과의 호환성을 어떻게 인증할 수 있는가?
• RQ2 상대적 장애물은 어떻게 고유한 장애와 grounding-유발 불일치로 분해되는가?
• RQ3 상대적 장애물의 존재와 국지화를 나타내는 스펙트럴 시그니처(갭, 에너지, 고유모드)는 무엇인가?
• RQ4 mapping-cone 기반 스펙트라가 서로 다른 불일치 메커니즘을 비교하는 데 견고하고 계산 가능한 진단으로 작용할 수 있는가?
• RQ5 모델- grounding 쌍에서 (거의) 비정확성의 정도를 어떻게 정량화하고 비교할 수 있는가?

주요 결과

• mapping cone를 기반으로 한 상대적 코호몰로지 프레임워크가 고유한 장애를 grounding-유발 비적합성과 구분한다.
• regular Laplacians와 mapping-cone Laplacians로부터 얻은 스펙트럴 증거는 불일치의 계산 가능한 지표를 제공하며, 스펙트럴 갭과 국지화된 고유모드를 포함한다.
• cone Laplacian은 grounding 실패를 탐지하고 특정 셀로 국지화하여 기본 표현을 수정하지 않고도 평가를 가능하게 한다.
• 기하학적 cone 구현은 대수적 mapping cone과 일치하며 상대적 장애 데이터에 대한 통합 해석을 제공한다.
• 필트레이션 기반 접근은 등급화되고 안정적인 지표를 산출하며(interleaving를 통해) 고정된 시스템에서 서로 다른 불일치 메커니즘의 비교를 가능하게 한다.