[논문 리뷰] Oddomorphisms and homomorphism indistinguishability over graphs of bounded degree

David E. Roberson|arXiv (Cornell University)|2022. 06. 21.

Advanced Graph Theory Research인용 수 4

한 줄 요약

이 논문은 페어리티 제약 조건을 만족하는 호모모르피즘인 약한 옵도모르피즘을 도입하고, 이를 통해 유계 차수 그래프의 집합에서 호모모르피즘의 구분 불가능성에 대해 분석한다. 이는 유계 차수 그래프에서의 호모모르피즘의 구분 불가능성이 동형을 의미하지 않음을 증명하며, 수십 년간 미해결이었던 오랜 숙제를 해결한다. 또한, 미니처 닫힘, 합집합 닫힘, 그리고 서로 다른 구분 불가능성 관계 간의 연결을 제안하는 추측을 제기한다.

ABSTRACT

We introduce (weak) oddomorphisms of graphs which are homomorphisms with additional constraints based on parity. These maps turn out to have interesting properties (e.g., they preserve planarity), particularly in relation to homomorphism indistinguishability. Graphs $G$ and $H$ are *homomorphism indistinguishable* over a family $\mathcal{F}$ if $\hom(F,G) = \hom(F,H)$ for all $F \in \mathcal{F}$, where $\hom(F,G)$ is the number of homomorphisms from $F$ to $G$. A classical result of Lovász says that isomorphism is equivalent to homomorphism indistinguishability over the class of all graphs. In recent years it has been shown that many homomorphism indistinguishability relations have natural algebraic and/or logical formulations. Currently, much research in this area is focused on finding such reformulations. We aim to broaden the scope of current research on homomorphism indistinguishability by introducing new concepts/constructions and proposing several conjectures/questions. In particular, we conjecture that every family closed under disjoint unions and minors gives rise to a distinct homomorphism indistinguishability relation. We also show that if $\mathcal{F}$ is a family of graphs closed under disjoint unions, restrictions to connected components, and weak oddomorphisms, then $\mathcal{F}$ satisfies a certain maximality or closure property: homomorphism indistinguishability over $\mathcal{F}$ of $G$ and $H$ does not imply $\hom(F,G) = \hom(F,H)$ for any $F otin \mathcal{F}$. This allows us to answer a question raised over ten years ago, showing that homomorphism indistinguishability over graphs of bounded degree is not equivalent to isomorphism.

연구 동기 및 목표

• 기존의 특성화를 넘어서 호모모르피즘의 구분 불가능성 연구의 범위를 확장하기 위해 새로운 구조적 개념을 도입하기 위해.
• 유계 차수 그래프에서의 호모모르피즘의 구분 불가능성이 동형을 의미하는가를 조사하기 위해, 이는 10년 이상 미해결이었던 질문이다.
• 미니처에 대한 닫힘, 분리합집합에 대한 닫힘, 그리고 약한 옵도모르피즘과의 연결을 통해 서로 다른 구분 불가능성 관계를 연결하는 새로운 추측을 제안하고 분석하기 위해.
• 약한 옵도모르피즘에 대해 닫혀 있는 가족에 대해 최대성 성질을 확립하여, 그러한 가정이 유지되는 한 구분 불가능성 관계를 변경하지 않고는 추가로 원소를 포함시킬 수 없음을 보여주기 위해.
• 그래프 가족의 대수적, 논리적, 위상수학적 성질과 그에 대응하는 호모모르피즘의 구분 불가능성 관계 사이의 관계를 탐색하기 위해.

제안 방법

• 정점의 전이 사전 이미지 크기에 대한 페어리티 제약 조건을 만족하는 호모모르피즘으로서 약한 옵도모르피즘을 정의한다.
• 호모모르피즘 수가 분리합집합을 통해 인수 분해됨을 이용한다: $\hom(F_1 \cup F_2, G) = \hom(F_1, G) \cdot \hom(F_2, G)$.
• 최대성 결과를 적용한다: 가족 $\mathcal{F}$ 가 분리합집합, 컴포넌트 제약, 약한 옵도모르피즘에 대해 닫혀 있다면, $F \notin \mathcal{F}$ 에 대해 $\hom(F,G) = \hom(F,H)$ 는 성립하지 않음을 의미한다.
• 로바슈의 고전적 결과를 활용하여, 모든 그래프에 대해 동형은 호모모르피즘의 구분 불가능성과 동치임을 증명한다.
• 유계 차수 가족을 통한 비동형 그래프의 구별 문제를, $K_n$ 을 미니처로 포함하는 그래프에서만 호모모르피즘 수가 다름을 보이는 그래프 $H, H'$ 의 존재로 환원한다.
• 약한 옵도모르피즘이 미니처 순서의 부분순서가 될 수 있음을 제안하며, 페어리티 제약 조건과 그래프의 미니처 간의 구조적 연결 고리를 시사한다.

실험 결과

연구 질문

• RQ1 유계 차수 그래프에서의 호모모르피즘의 구분 불가능성이 동형을 의미하는가?
• RQ2 모든 미니처 및 합집합 닫힘 그래프 가족은 서로 다른 호모모르피즘의 구분 불가능성 관계와 관련이 있는가?
• RQ3 완전 그래프 $K_n$ 으로 향하는 약한 옵도모르피즘의 존재가 $K_n$ 이 미니처로 포함되어 있음을 특징짓는 데 사용될 수 있는가?
• RQ4 호모모르피즘의 구분 불가능성 관계가 그래프의 여집합을 취할 때도 유지된다면, 반드시 어떤 미니처 닫힘 가족에 의해 정의된 관계와 동치인가?
• RQ5 구분 불가능성 관계 $\cong_{\mathcal{F}}$ 를 결정하는 데 필요한 복잡도는 $\mathcal{F}$ 의 구조적 성질과 어떤 관련이 있는가?

주요 결과

• 유계 차수 그래프에서의 호모모르피즘의 구분 불가능성이 동형을 의미하지 않음을 증명하여, 10년 이상 미해결이었던 질문에 답을 제시한다.
• 가족 $\mathcal{F}$ 가 분리합집합, 컴포넌트 제약, 약한 옵도모르피즘에 대해 닫혀 있다면, $\cong_{\mathcal{F}}$ 는 최대성 성질을 가진다: $\mathcal{F}$ 에 속하지 않는 $F$ 는 구분 불가능성 관계를 변경시키지 않고 추가될 수 없다.
• 추측 6 — 즉, 호모모르피즘 수가 $K_n$ 을 미니처로 포함하는 그래프에서만 다름 — 는 추측 5와 동치이다. 추측 5는 임의의 진정한 미니처 및 합집합 닫힘 가정이 비동형 구분 불가능성 관계를 유도한다는 것이다.
• $K_N$ 으로 향하는 약한 옵도모르피즘의 존재는 그래프가 $K_n$ 을 미니처로 포함하고 있음을 암시할 수 있으며, 이는 페어리티 제약 조건과 미니처 포함 간의 구조적 연결 고리를 시사한다.
• 약한 옵도모르피즘의 부분순서는 반전된 미니처 순서의 부분순서가 될 수 있으며, 이는 호모모르피즘과 그래프의 미니처 간에 더 깊은 대수적-위상수학적 연결 고리를 시사한다.
• 논문은 평면 그래프에서의 호모모르피즘의 구분 불가능성이 양자 동형과 동치이며, 유계 트리너비 그래프에서는 셔랄리-아담스 계층과 동치임을 증명하여, 특정 구조적 그래프 계열이 구분 불가능성에 미치는 역할을 강화한다.