[논문 리뷰] Companion to \An update on the Hirsch conjecture"

Edward D. KimFrancisco Santos|arXiv (Cornell University)|2010. 01. 01.

Advanced Combinatorial Mathematics참고 문헌 57인용 수 4

한 줄 요약

이 보조 논문은 주 논문 'Hirsch 추측에 대한 업데이트'에서 생략된 일부 결과에 대한 완전한 증명과 추가적인 해설을 제공한다. 다면체 조합론에서의 Hirsch 추측에 초점을 맞추어, 3차원에서 n개의 면을 가진 d차원 다면체의 지름에 대한 정확한 경계 H(n,3) = ⌊2n/3⌋ − 1을 유도한다. 이는 단순 다면체와 고리 길이를 이용한 이중적 접근을 통해 이루어지며, 핵심 기여는 3차원 다면체에서 층 구조를 가진 정점 구성에 의한 구조적 증명이다.

ABSTRACT

AbstractThis is an appendix to our paper \An update of the Hirsch Conjec-ture, containing proofs of some of the results and comments that wereomitted in it. 1 Introduction This is an appendix to our paper \An update of the Hirsch Conjecture [39],containing proofs of some of the results and comments that were omitted in it.The numbering of sections and results is the same in both papers, although notall appear in this companion. The same occurs with the bibliography, whichwe repeat here completely although not all of the papers are referenced. Thenumbering of gures, however, is correlative. Figures 1 to 6 are in [39] andFigures 7 to 16 are here. 2 Bounds and algorithms 2.1 Small dimension or few facets *Theorem 2.1 (Klee [40]). H(n;3) = b 2n3 c 1.Proof. To prove the lower bound, we work in the dual setting where our polytopeP simplicial and we want to move from one facet to another along the ridgesof P. Figure 7 shows the graph of a simplicial 3-polytope with nine vertices inwhich ve steps are needed to go from the interior triangle to the most externalone (the outer face in the picture, which represents a facet in the polytope).The reader can easily generalize the gure to any number of vertices divisibleby three, adding layers of three vertices that increase the diameter by two.For a number of vertices equal to one or two modulo three, simply add one ortwo vertices in the interior of the central triangle, subdividing it into three or

연구 동기 및 목표

• 주 논문에서 생략된 Hirsch 추측 결과에 대한 완전한 증명을 제공하는 것.
• n개의 면을 가진 3차원 다면체에 대한 정확한 지름 경계 H(n,3) = ⌊2n/3⌋ − 1을 확립하는 것.
• 단순 다면체와 고리 경로를 이용한 기하적 구성과 이중적 해석을 제공하는 것.
• 3차원 다면체에서 정점 층과 면 연결성에 관여하는 조합론적 추론을 명확히 하고 확장하는 것.

제안 방법

• 다면체가 단순 다면체이고 지름이 면들 사이의 고리 길이를 따라 가는 걷기 방식을 통해 분석되는 이중 설정을 사용하는 것.
• 각 층에 세 개의 정점을 포함하는 3차원 다면체의 층 구조를 구성하여, 매 층마다 지름을 두 단위씩 증가시키는 것.
• n ≡ 1 또는 2 (mod 3)인 경우를 위해 중심 삼각형 내부에 한 개 또는 두 개의 정점을 추가하여 삼각형을 분할하는 방식으로 구성의 적응을 수행하는 것.
• Klee의 결과(정리 2.1)를 적용하여 조합론적이고 기하학적인 추론을 통해 정확한 경계 H(n,3) = ⌊2n/3⌋ − 1를 도출하는 것.
• 도표(그림 7–16)를 활용하여 층 구조와 이중 그래프 내의 고리 길이 경로를 시각화하는 것.

실험 결과

연구 질문

• RQ1 n개의 면을 가진 3차원 다면체의 정확한 지름은 무엇이며, 어떻게 이를 날카롭게 경계화할 수 있는가?
• RQ2 이중 단순 다면체를 사용하여 차원 3인 특수 케이스에서 Hirsch 추측을 어떻게 증명할 수 있는가?
• RQ3 어떤 기하적 구성이 세 개의 정점 층마다 지름을 두 단위씩 체계적으로 증가시키는가?
• RQ4 n ≡ 1 또는 2 (mod 3)인 비나누어지는 경우 중심 삼각형 내부에 정점을 추가하면 지름에 어떤 영향을 미치는가?

주요 결과

• n개의 면을 가진 3차원 다면체의 지름은 정확히 H(n,3) = ⌊2n/3⌋ − 1이다.
• 세 개의 정점을 그룹으로 하는 층 구조를 가진 3차원 다면체는 매 층마다 지름이 두 단위씩 증가한다.
• n ≡ 1 또는 2 (mod 3)인 경우 중심 삼각형 내부에 한 개 또는 두 개의 정점을 추가하면 적절한 분할이 이루어지고 지름 경계가 유지된다.
• 단순 다면체와 고리 길이를 이용한 이중 접근 방식은 경계에 대한 기하학적으로 직관적인 증명을 제공한다.