[논문 리뷰] Constructing subset partition graphs with strong adjacency and end-point count properties

Nicolai Hähnle|arXiv (Cornell University)|2012. 03. 07.

Advanced Combinatorial Mathematics참고 문헌 5인용 수 5

한 줄 요약

이 논문은 Lovász의 국소 레미마를 사용한 랜덤화된 구성법을 제시하여, 단일 원소 성질을 만족하는 임의의 부분집합 분할 그래프(SPGr)를 강한 인접성 및 끝점 수 계산 성질을 만족하는 고차원 SPGr로 변환한다. 주요 결과는 이러한 조합적 성질을 만족하는 지수적 길이의 추상 스파이널을 구성하는 것으로, 기존의 구성법을 개념적으로 단순화하고 Hirsch 추측에 대한 연구를 진전시킨다.

ABSTRACT

Kim defined a very general combinatorial abstraction of the diameter of polytopes called subset partition graphs to study how certain combinatorial properties of such graphs may be achieved in lower bound constructions. Using Lovász' Local Lemma, we give a general randomized construction for subset partition graphs satisfying strong adjacency and end-point count properties. This can be used as a building block to conceptually simplify the constructions given in [Kim11]. We also use our method to construct abstract spindles, an analogy to the spindles used by Santos to disprove the Hirsch conjecture, of exponential length which satisfy the adjacency and end-point count properties.

연구 동기 및 목표

• 다각체 직경 행동을 모델링하는 데 핵심적인 강한 인접성 및 끝점 수 계산 성질을 만족하는 부분집합 분할 그래프(SPGr)를 일반적으로 구성하는 방법을 개발하기 위해.
• 낮은 차원의 SPGr에서 단일 원소 성질을 만족하는 것을 바탕으로, 향상된 구조적 성질을 지닌 고차원 SPGr로 변환함으로써 기존의 고직경 SPGr에 대한 조합적 구성법을 단순화하기 위해.
• 강한 인접성 및 끝점 수 계산 성질을 만족하는 지수적 길이의 추상 스파이널을 구성하여, Hirsch 추측을 반증할 수 있는 새로운 후보를 제공하기 위해.
• 강한 인접성 및 끝점 수 계산 성질과 차원 감소 성질 간의 상호작용을 탐색하여, 실제 다각체를 모델링하는 데 필수적인 요소를 이해하기 위해.

제안 방법

• 단일 원소 성질을 만족하는 입력 SPGr에 대해, 각 변이 기호 집합 S' = S × [r]를 사용하여 r개의 세그먼트로 랜덤 분할하는 과정을 적용한다.
• 분할 정점에 랜덤으로 레이블을 할당함으로써, 새로운 그래프에서 인접한 정점들이 적어도 두 개의 원소에서 다름을 보장하여 원하지 않는 높은 교차를 방지한다.
• Lovász의 국소 레미마를 적용하여, 서로 다른 변에 있는 정점 쌍이 교차 크기가 d-1인 경우가 발생할 확률이 양수임을 보여주며, 이는 끝점 수 계산 성질을 위반할 수 있다.
• 모순되는 사건(나쁜 일들)의 수를 제한하고, 조건 (k+1)pe < 1을 사용하여 성공 확률이 양수임을 보장함으로써, 충분한 r = ⌈16eΔ⌉의 값을 도출한다.
• 결과로 얻어진 SPGr은 원래 그래프의 분할로 동일한 그래프 구조를 유지하며, 단일 원소 성질을 그대로 이어받으며, 각 원래 정점 A는 새로운 그래프에서 A × [r]로 매핑된다.
• 이 구성법은 2d개의 기호를 가진 경로 기반 SPGr에 적용되어, d에 대해 지수적 길이를 가진 추상 스파이널을 생성한다. 이는 강한 인접성 및 끝점 수 계산 성질을 만족한다.

실험 결과

연구 질문

• RQ1 일반적인 랜덤화된 방법을 사용하여, 단일 원소 성질을 만족하는 임의의 SPGr을 강한 인접성 및 끝점 수 계산 성질을 만족하는 것으로 변환할 수 있는가?
• RQ2 강한 인접성 및 끝점 수 계산 성질을 달성하기 위해 필요한 최소한의 차원 증가량은 얼마인가?
• RQ3 이 방법을 사용하여 강한 인속성 및 끝점 수 계산 성질을 만족하는 지수적 길이의 추상 스파이널을 구성할 수 있는가?
• RQ4 강한 인접성 및 끝점 수 계산 성질이 구성된 SPGr에서 차원 감소 성질과 어떻게 상호작용하는가?

주요 결과

• Lovász의 국소 레미마를 사용한 랜덤화된 구성법은 r ≥ ⌈16eΔ⌉를 만족하는 r차원 SPGr이 강한 인접성, 끝점 수 계산, 단일 원소 성질을 모두 만족함을 보장한다.
• 이 구성법은 단일 원소 성질을 만족하는 임의의 d차원 SPGr을, 원래 그래프의 분할로 동형인 rd차원 SPGr로 변환한다.
• 이 방법은 d에 대해 지수적 길이를 가진 추상 스파이널을 생성하며, 이는 강한 인접성 및 끝점 수 계산 성질을 만족한다. 이는 Kim(2011)의 다항식 길이 구성법보다 향상된 결과이다.
• 결과로 얻어진 SPGr은 단일 원소 성질을 유지하며, 각 원래 정점 A는 새로운 그래프에서 집합 A × [r]로 매핑된다.
• 강한 인접성은 새로운 그래프에서 인접한 정점들이 원래 레이블링에서 교차 크기가 d−1인 집합에 대응하도록 보장함으로써 유지된다.
• 원래 그래프에 사이클이 포함되어 있을 경우, 이 방법은 차원 감소 성질을 유지하지 못함을 보여주며, 이는 다각체 그래프를 모델링하는 데 있어 핵심적인 제한점임을 시사한다.