[논문 리뷰] Separation and Gluing of Explanations on Sites of Dynamical Systems

Paul Z. Wang|arXiv (Cornell University)|2026. 03. 17.

Computability, Logic, AI Algorithms인용 수 0

한 줄 요약

본 논문은 정의 가능한 Mealy 기계들의 Grothendieck 사이트를 o-민형 설정에서 구성하고, 설명의 presheaf를 정의하며, 로컬 설명이 분리되고/또는 결합하는 시점을 계층적 몫과 ε-근사 섹션 프레임워크를 추가로 분석한다.

ABSTRACT

We construct a Grothendieck site whose objects are Mealy machines over definable sets in an o-minimal structure and whose coverings are jointly surjective families of definable open immersions. On this site, we define presheaves of explanations -- systems equipped with an interpretable interface, parameterised by a ``judge.'' We prove that the behavioral presheaf (quotienting by observable output equivalence) is separated: a global explanation is determined by its local restrictions. We show that gluing fails in general -- locally consistent explanations need not assemble globally -- and give, for stateless explanatory systems of the restricted-interface presheaf, a necessary and sufficient topological condition for the sheaf property in terms of robust disconnection of fibers of the judge.

연구 동기 및 목표

• 다이나믹 시스템의 사이트에서 Sheaf 이론을 이용한 로컬-투-글로벌 해석 가능성의 모티베이션을 제시한다.
• 판별자(judge)로 매개되는 설명의 presheaf를 정의하고 분리 및 결합 성질을 연구한다.
• 다양한 몫으로 로컬 설명이 전역 설명으로 결합되는지 특징짓는다.
• 해석 가능성과 o-민형의 온건한 기하학을 연결하여 sheaf 성질에 대한 위상적 조건을 확립한다.

제안 방법

• 정의 가능한 집합들 위의 이질적 Mealy 기계의 정의 가능한 열린 포용(오픈 이몰션)을 객체로 하는 Grothendieck 사이트 Sys_oi를 정의한다.
• tilde F_j, F_j, F_j^beh, F_j^ri의 계층적 설명 presheaf를 도입하고 cogerm 및 행동적 동치와 같은 동치 관계를 모듈로 한다.
• 행동적 presheaf F_j^beh가 분리되었음을 보인다. 즉 글로벌 설명이 지역적 제약에 의해 결정된다.
• 일반적으로 presheaf들에 대해 결합이 성립하지 않음을 보이고, 제한된 인터페이스 무상태 presheaf F_j,1^ri가 sheaf가 되기 위한 위상적 조건(판별자 fiber의 강건한 불연속성 제거)을 제공한다.
• ε-근사 섹션을 도입하고 Helly 정리를 적용하여 산출 차원(output dimension)에 따른 장애 깊이를 상한으로 산출한다.

실험 결과

연구 질문

• RQ1 Sys_oi 사이트에서 패치들의 로컬 설명이 전역 설명으로 결합될 때는 언제인가?
• RQ2 여러 설명 presheaf에 대해 분리 또는 결합을 보장하는 판별자(judge)의 위상적/기하학적 조건은 무엇인가?
• RQ3 인터페이스를 제한하는(F_j^ri) 것이 결합 및 분리 성질에 어떤 영향을 주는가?
• RQ4 ε-근사 섹션이 Helly 유형의 전역 조정 장애와 어떻게 상호작용하는가?
• RQ5 다이나믹 시스템에 대한 o-민형의 온건한 기하학적 설정에서 해석 가능성에 어떤 통찰을 얻을 수 있는가?

주요 결과

• 행동적 presheaf F_j^beh는 분리되어 있다: 전역 설명은 지역 제약에 의해 결정된다.
• cogerm presheaf F_j의 결합은 일반적으로 성립하지만 F_j^beh에서는 그렇지 않다.
• 제한된 인터페이스 presheaf F_j^ri의 결합은 j-전체 커버에 의존하며 일반적으로 실패할 수 있다.
• F_j,1^ri의 sheaf 성질을 판별하는 정확한 위상 조건은 판별자(judge)의 강건하게 분리된 fiber가 없는 것과 연관된다.
• ε-근사 섹션은 항상 sheaf를 형성한다; 분리는 자명하고 점별 ε-제약으로 인해 결합이 따른다.
• Helly 정리는 장애 깊이를 dim(O') 플러스 하나로 상한으로 두어 산출 공간의 차원이 조정 복잡성과 연결됨을 보여준다.