[논문 리뷰] Graph Relations and Constrained Homomorphism Partial Orders

Yangjing Long|arXiv (Cornell University)|2014. 04. 21.

Advanced Graph Theory Research참고 문헌 4인용 수 3

한 줄 요약

이 논문은 그래프 관계와 R-호모모르피즘을 정의하여 제약 조건이 있는 그래프 호모모르피즘의 새로운 프레임워크를 제안한다. 이는 전사 및 국소적으로 제약된 호모모르피즘을 일반화한다. R-코어와 R-코코어는 서로 동형사상에 대해 유일하며 다항식 시간 내에 계산 가능하다는 것이 입증되었으며, 이로 인해 유도된 부분 순서의 보편성도 증명되었다. 이는 최대 차수 제약이 있는 그래프의 선 그래프 및 방향화된 사이클에 대해서도 성립한다.

ABSTRACT

We consider constrained variants of graph homomorphisms such as embeddings, monomorphisms, full homomorphisms, surjective homomorpshims, and locally constrained homomorphisms. We also introduce a new variation on this theme which derives from relations between graphs and is related to multihomomorphisms. This gives a generalization of surjective homomorphisms and naturally leads to notions of R-retractions, R-cores, and R-cocores of graphs. Both R-cores and R-cocores of graphs are unique up to isomorphism and can be computed in polynomial time. The theory of the graph homomorphism order is well developed, and from it we consider analogous notions defined for orders induced by constrained homomorphisms. We identify corresponding cores, prove or disprove universality, characterize gaps and dualities. We give a new and significantly easier proof of the universality of the homomorphism order by showing that even the class of oriented cycles is universal. We provide a systematic approach to simplify the proofs of several earlier results in this area. We explore in greater detail locally injective homomorphisms on connected graphs, characterize gaps and show universality. We also prove that for every $d\geq 3$ the homomorphism order on the class of line graphs of graphs with maximum degree $d$ is universal.

연구 동기 및 목표

• 삽입, 단사 사상, 전사 호모모르피즘과 같은 제약 조건이 있는 변형을 도입하여 고전적인 그래프 호모모르피즘 순서를 일반화하기 위해.
• 그래프 관계(R-호모모르피즘)를 통해 새로운 호모모르피즘 클래스를 정의하여 전사 및 국소적으로 제약된 호모모르피즘을 확장하기 위해.
• R-코어와 R-코코어의 존재성과 동형사상에 대해 유일성을 입증하고, 다항식 시간 내에 계산 가능하다는 것을 보여주기 위해.
• 제약 조건이 있는 호모모르피즘에 의해 유도된 부분 순서에서의 보편성, 갭, 이중성 문제를 조사하기 위해.
• 기존의 표준 호모모르피즘 순서의 보편성에 대한 증명을 방향화된 사이클을 활용하여 단순화하기 위해.

제안 방법

• 그래프 간의 관계적 제약 조건을 통해 전사 호모모르피즘의 일반화로 R-호모모르피즘을 정의한다.
• R-재구성과 이를 통해 R-코어와 R-코코어를 정의하며, R-호모모르피즘 동치 관계 하에서 그래프 클래스의 표준 대표를 제공한다.
• 약한 관계적 복합과 관계적 동치를 적용하여 유도된 부분 순서의 구조를 분석한다.
• 과거 유한 및 미래 유한 순서 이론을 활용하여 제약 조건이 있는 호모모르피즘 순서에서의 갭과 이중성을 특성화한다.
• 방향화된 사이클의 클래스가 보편 부분 순서를 유도함을 보여줌으로써 보편성을 증명한다.
• 선 그래프 구성과 최대 차수 d를 갖는 그래프의 가족을 활용하여 보편성 결과를 최대 차수 d인 선 그래프의 클래스로 확장한다.

실험 결과

연구 질문

• RQ1 R-호모모르피즘에 의해 유도된 부분 순서의 구조는 어떻게 되며, R-코어와 R-코코어는 이와 어떤 관계가 있는가?
• RQ2 R-코어와 R-코코어는 서로 동형사상에 대해 유일한가? 그리고 다항식 시간 내에 계산 가능한가?
• RQ3 제약 조건이 있는 호모모르피즘(예: 국소적으로 단사, 전사 등)의 부분 순서는 보편성을 가지는가?
• RQ4 R-호모모르피즘 또는 방향화된 사이클을 활용하여 표준 호모모르피즘 순서의 보편성에 대한 증명을 더 단순화할 수 있는가?
• RQ5 R-호모모르피즘 순서에서 이중성과 갭이 존재하는 조건은 무엇인가?

주요 결과

• 그래프의 R-코어와 R-코코어는 서로 동형사상에 대해 유일하며 다항식 시간 내에 계산 가능하다.
• 방향화된 사이클의 클래스는 보편 부분 순서를 유도하며, 이는 표준 호모모르피즘 순서의 보편성에 대한 훨씬 더 단순한 증명을 제공한다.
• 모든 d ≥ 3에 대해 최대 차수 d인 그래프의 선 그래프 클래스에서의 호모모르피즘 순서는 보편적이다.
• 논문은 제약 조건이 있는 호모모르피즘 이론과 이중성 이론에서 이전의 증명들을 체계적으로 단순화한다.
• 국소적으로 단사인 호모모르피즘 순서의 갭이 특성화되었으며, 미래 유한 순서에서 이중성이 규명되었다.
• R-호모모르피즘 이론은 전사 및 국소적으로 제약된 호모모르피즘을 일반화하여 제약 조건이 있는 그래프 사상 연구를 위한 통합적 프레임워크를 제공한다.