[논문 리뷰] Logical Equivalences, Homomorphism Indistinguishability, and Forbidden Minors

Tim Seppelt|arXiv (Cornell University)|2023. 01. 01.

Cholinesterase and Neurodegenerative Diseases인용 수 1

한 줄 요약

이 논문은 유한 모델 이론에서의 논리적 동치성과 고려 대상이 고려된 그래프 클래스에 대한 동형사상 불가분성 사이의 깊은 연결을 수립한다. 자기보완성(logic)을 갖는 모든 논리가 어떤 고려 대상이 고려된 클래스에 대해 동형사상 불가분성 특성화를 갖는다면, 그 논리는 반드시 어떤 고려 대상이 고려된 클래스에 대해 동형사상 불가분성과 동치임을 증명함으로써, 다양한 그래프 동치성 관계를 그래프 고려 이론에 뿌리를 두고 공통된 구조적 프레임워크 아래 통합한다.

ABSTRACT

Two graphs $G$ and $H$ are homomorphism indistinguishable over a class of graphs $\mathcal{F}$ if for all graphs $F \in \mathcal{F}$ the number of homomorphisms from $F$ to $G$ is equal to the number of homomorphisms from $F$ to $H$. Many natural equivalence relations comparing graphs such as (quantum) isomorphism, spectral, and logical equivalences can be characterised as homomorphism indistinguishability relations over certain graph classes. Abstracting from the wealth of such instances, we show in this paper that equivalences w.r.t. any self-complementarity logic admitting a characterisation as homomorphism indistinguishability relation can be characterised by homomorphism indistinguishability over a minor-closed graph class. Self-complementarity is a mild property satisfied by most well-studied logics. This result follows from a correspondence between closure properties of a graph class and preservation properties of its homomorphism indistinguishability relation. Furthermore, we classify all graph classes which are in a sense finite (essentially profinite) and satisfy the maximality condition of being homomorphism distinguishing closed, i.e. adding any graph to the class strictly refines its homomorphism indistinguishability relation. Thereby, we answer various questions raised by Roberson (2022) on general properties of the homomorphism distinguishing closure.

연구 동기 및 목표

• 다양한 그래프 동치 관계—예를 들어 양자 동형, 스펙트럼 동치, 논리적 동치—을 동형사상 불가분성의 프레임워크 아래 통합하기 위해.
• 그래프 클래스 F 위에서의 동형사상 불가분성이 논리의 동치성을 특성화하는 데 필요한 구조적 조건을 조사하기 위해.
• 특히 고려 대상과 분리된 합집합에 대한 로버슨의 추측을 포함한 그래프 클래스의 동형사상 식별 폐쇄에 대한 열린 질문을 해결하기 위해.
• 모든 본질적으로 프로피니트 그래프 클래스 중에서 최대로 동형사상 불가분성 폐쇄된 것들을 분류하기 위해, 즉 추가적인 그래프를 더해도 동치 관계가 엄격히 세분화되지 않는 것들을.

제안 방법

• 논리를 (L, |=)의 쌍으로 형식화함: 문장과 이sovorphism-불변 만족 관계이며, 자기보완성은 공식의 보완을 통해 정의됨.
• 동형사상 식별 폐쇄성의 개념을 도입함: 클래스 F가 폐쇄되어 있음은 F에 속하지 않는 어떤 그래프를 추가하면 동형사상 불가분성 관계가 엄격히 세분화됨을 의미함.
• F의 폐쇄 성질(예: 고려 대상 폐쇄)과 ≡F의 보존 성질(예: 보완에 대한 폐쇄) 사이의 대응 관계를 수립함.
• 그래프 고려 이론과 다항형 기법을 사용하여, 동형사상 불가분성 관계가 분리된 합집합, 부분그래프, 레이티스 제품 등의 연산에 대해 보존되는 조건을 특성화함.
• 비이분할 K에 대해, F가 분할에 대해 폐쇄되어 있으면 F 위에서의 동형사상 불가분성이 K-취소를 허용함을 증명함.
• 심층적인 그래프 구조 이론 결과를 적용하여, F의 고려 대상 폐쇄성과 ≡F가 보완을 취할 때 보존됨이 동치임을 보임.

실험 결과

연구 질문

• RQ1 모든 자기보완 논리 중에서 어떤 그래프 클래스에 대해 동형사상 불가분성으로 특성화되는 논리들이 반드시 어떤 고려 대상이 고려된 클래스에 대해 동치로 특성화될 수 있는가?
• RQ2 그래프 클래스 F의 어떤 폐쇄 성질이 그 동형사상 불가분성 관계 ≡F의 보존 성질과 대응되는가?
• RQ3 로버슨(2022)의 추측에 따르면, 고려 대상과 분리된 합집합에 대해 폐쇄된 모든 그래프 클래스는 동형사상 식별 폐쇄인가?
• RQ4 어느 본질적으로 프로피니트 그래프 클래스들이 최대로 동형사상 불가분성 폐쇄되어 있는가, 즉 추가적인 그래프를 더해도 동치 관계가 엄격히 세분화되지 않는가?

주요 결과

• 어떤 그래프 클래스 F 위에서 동형사상 불가분성으로 특성화되는 자기보완 논리 L은 반드시 어떤 고려 대상이 고려된 클래스 F′ 위에서 동형사상 불가분성으로도 특성화됨을 보여주며, 이는 논리와 고려 대상이 고려된 클래스 사이의 근본적인 연결 고리를 확립함.
• 그래프 클래스 F가 고려 대상 폐쇄이면 그 동치 관계 ≡F가 그래프 보완을 취할 때 보존됨과 동치임을 보여주며, 이는 고려 대상 폐쇄를 논리적 보존 성질을 통해 구조적으로 특성화함.
• 로버슨(2022)의 추측—고려 대상과 분리된 합집합에 대해 폐쇄된 그래프 클래스는 동형사상 식별 폐쇄이다—는 본질적으로 프로피니트 클래스 전역에서 확인됨.
• 비이분할 그래프 K에 대해, F가 분할에 대해 폐쇄되어 있으면 F 위에서의 동형사상 불가분성이 K-취소를 허용함을 보여주며, 로바슈의 원래 결과를 일반화함.
• 모든 그래프가 K-색칠 가능할 경우에만 ≡F가 K-취소를 허용함: ≡F가 K-취소를 허용함과 동치로 F에 속한 모든 그래프가 K-색칠 가능함.
• 본질적으로 프로피니트 그래프 클래스 중에서 최대로 동형사상 불가분성 폐쇄된 것들을 완전히 분류함으로써, [38]에서 제기된 핵심 열린 질문에 답함.