[논문 리뷰] Explicit representations by halfspaces of the edge cone of a graph

Carlos E. Valencia, Rafael H. Villarreal|arXiv (Cornell University)|2005. 06. 14.

Graph theory and applications참고 문헌 8인용 수 5

한 줄 요약

이 논문은 연결 이분 그래프에 중점을 두어 그래프의 변 코너를 유한 개의 닫힌 반공간의 교차로 명시적인 조합적 표현으로 제공한다. 정점 부분집합과 변 벡터를 사용하여 변 코너의 면을 특성화하고, 연결 이분 그래프에 대한 표준 기약 표현을 수립하며, 결과를 바탕으로 결혼 정리의 재수집과 변 생성환의 대수적 불변량을 계산한다.

ABSTRACT

Let G be an arbitrary simple graph. The main results are explicit representations of the edge cone of G as a finite intersection of closed halfspaces. If G is bipartite and connected we determine the facets of the edge cone and present a canonical irreducible representation.

연구 동기 및 목표

• 임의의 그래프의 변 코너를 유한 개의 닫힌 반공간의 교차로 명시적인 조합적 기술을 제공한다.
• 연결 이분 그래프의 변 코너의 면을 정점 부분집합과 인cidenc 구조를 사용하여 특성화한다.
• 연결 이분 그래프의 변 코너에 대한 표준 기약 표현을 수립한다.
• 결과를 바탕으로 결혼 정리를 유도하고 변 생성환의 대수적 불변량을 계산한다.
• 이전에 간과되었던 이분 그래프의 변 코너를 체계적으로 분석함으로써 다각체 기하학의 격차를 메운다.

제안 방법

• 표준 기저 벡터의 합으로서 변 벡터를 정의하기 위해 그래프의 인cidenc 행렬을 사용한다.
• 유리 다각체 코너와 정수 점을 분석하기 위해 파르카스의 보조정리와 크로네커의 보조정리를 적용한다.
• 카라테오도리의 정리를 사용하여 표현을 유한한 유리 조합으로 축소한다.
• 정점 부분집합의 특성 벡터와 변 인cidenc을 통해 지지 초평면을 식별한다.
• 독립 정점 집합과 변 제약 조건에서 유도된 면 정의 부등식을 사용하여 기약 표현을 구성한다.
• 이분 그래프에서 인cidenc 행렬의 전체 단순성(unimodularity)을 활용하여 변 코너의 정수성을 증명한다.

실험 결과

연구 질문

• RQ1 임의의 그래프의 변 코너는 닫힌 반공간의 교차로 어떻게 명시적인 조합적 기술이 가능한가?
• RQ2 연결 이분 그래프의 변 코너의 면은 그래프의 구조적 특성으로 어떻게 기술할 수 있는가?
• RQ3 연결 이분 그래프의 변 코너에 대한 표준 기약 표현은 무엇인가?
• RQ4 결과는 어떻게 고전적인 정리, 예를 들어 결혼 정리를 재수집하는 데 응용될 수 있는가?
• RQ5 변 코너 내의 정수 점과 변 생성환의 대수적 불변량 사이의 관계는 무엇인가?

주요 결과

• 모든 그래프의 변 코너는 이전에 비이분 그래프에 국한된 결과를 일반화하여, 유한 개의 닫힌 반공간의 교차로 명시적인 표현을 가진다.
• 이중분할 $(V_1, V_2)$를 가진 연결 이분 그래프의 경우, 변 코너의 면은 $A \neq V_1$인 진부분집합 $A \subsetneq V_1$에 대해 $H_A^-$와 각 정점 $v_i \in V_2$에 대해 $H_{e_i}^+$인 초평면들로 정확히 구성된다.
• 변 코너의 표준 기약 표현은 유일하며, $\mathbb{R}_+\mathcal{A} = \text{aff}(\mathbb{R}_+\mathcal{A}) \cap \bigcap_{i=1}^r H_{A_i}^- \cap \bigcap_{i \in \mathcal{I}} H_{e_i}^+$로 주어진다. 여기서 $A_i \subsetneq V_1$ 이고 $v_i \in V_2$ 이다.
• 이분 그래프의 변 코너는 $\mathbb{Z}^n \cap \mathbb{R}_+\mathcal{A} = \mathbb{N}\mathcal{A}$를 만족하며, 이는 코너 내의 정수 점이 변 벡터의 음이 아닌 정수 계수 조합임을 의미한다.
• 결혼 정리는 결과로서 재수집된다: 이분 그래프가 완전 매칭을 가질 조건은 모든 독립 집합 $A$에 대해 $|A| \leq |N(A)|$임이 필요하고 충분하다.
• 완전 이분 그래프 $\mathcal{K}_{m,n}$ ($m \leq n$)의 경우, 변 코너는 $\sum x_i = \sum y_j$, $x_i \geq 0$, $y_j \geq 0$로 정의되며, $m \geq 2$이면 이러한 부등식들이 모든 면을 정의한다.