[논문 리뷰] Empty Rectangles and Graph Dimension

Stefan Felsner|ArXiv.org|2006. 01. 31.

Topological and Geometric Data Analysis참고 문헌 9인용 수 6

한 줄 요약

이 논문은 평면상의 n개의 일반적인 점으로 구성된 직사각형 그래프의 최대 간선 수를 ⌊n²/4 + n − 2⌋로 규명하며, 이는 간선이 축에 평행한 빈 직사각형을 가로지르는 점들의 쌍일 때 도달된다. 이 결과는 수직 표면과 4차원 다면체를 통해 기하학적 그래프 이론, 부분순서집합 차원, 그리고 스카르의 정리 사이의 연결고리를 드러내며, 직사각형 그래프의 극값 점 집합과 스카르 복합체의 1차원 면이 일치함을 보여준다.

ABSTRACT

We consider rectangle graphs whose edges are defined by pairs of points in diagonally opposite corners of empty axis-aligned rectangles. The maximum number of edges of such a graph on $n$ points is shown to be 1/4 n^2 +n -2. This number also has other interpretations: * It is the maximum number of edges of a graph of dimension $\bbetween{3}{4}$, i.e., of a graph with a realizer of the form $π_1,π_2,\ol{π_1},\ol{π_2}$. * It is the number of 1-faces in a special Scarf complex. The last of these interpretations allows to deduce the maximum number of empty axis-aligned rectangles spanned by 4-element subsets of a set of $n$ points. Moreover, it follows that the extremal point sets for the two problems coincide. We investigate the maximum number of of edges of a graph of dimension $\between{3}{4}$, i.e., of a graph with a realizer of the form $π_1,π_2,π_3,\ol{π_3}$. This maximum is shown to be $1/4 n^2 + O(n)$. Box graphs are defined as the 3-dimensional analog of rectangle graphs. The maximum number of edges of such a graph on $n$ points is shown to be $7/16 n^2 + o(n^2)$.

연구 동기 및 목표

• n개의 일반적인 점으로 이루어진 평면상의 직사각형 그래프에서, 축에 평행한 빈 직사각형을 가로지르는 점들의 쌍에 해당하는 간선의 최대 수를 결정하는 것.
• 기하학적 직사각형 그래프, 부분순서집합 차원(특히 차원 [3↓4]) 및 수직 표면에 관한 스카르의 정리 사이의 연결고리를 확립하는 것.
• 직사각형 그래프 간선 수와 스카르 복합체의 1차원 면 수를 동시에 극대화하는 극값 점 집합을 특성화하는 것.
• 결과를 3차원 상자 그래프로 확장하고, 간선 밀도를 분석하는 것.

제안 방법

• 축에 평행한 빈 직사각형을 가로지르는 점들의 쌍을 사용해 직사각형 그래프를 정의하며, 열린 내부에 다른 점이 존재하지 않을 경우에만 간선이 존재한다.
• 조합기하학과 이중성의 원리를 활용해 빈 직사각형을 4차원 다면체에서 유도된 스카르 복합체의 1차원 면과 연결한다.
• 4차원 다면체의 면 수에 대한 오일러-포이아르 수식과 이중 세기의 원리를 적용해 span₂(X), span₃(X), span₄(X), 그리고 exposed(X) 간의 선형 관계를 유도한다.
• 무한한 변을 가진 일반화된 빈 직사각형을 도입하여 스카르 복합체의 1차원 면과 3차원 면을 세며, 노출된 점을 통해 과도한 수를 보정한다.
• 구속점과 수직 허브의 개념을 사용해 무한 직사각형 확장을 모델링하고 면 수를 유도한다.
• 3차원 상자 그래프를 직사각형 그래프의 3차원 버전으로 간주하여 간선 수의 상한 7n²/16 + o(n²)를 유도한다.

실험 결과

연구 질문

• RQ1 n개의 일반적인 점으로 이루어진 평면상의 직사각형 그래프에서, 축에 평행한 빈 직사각형을 가로지르는 점들의 쌍에 해당하는 간선의 최대 수는 얼마인가?
• RQ2 크기가 2, 3, 4인 빈 직사각형의 수는 점 집합의 수직 노출된 점 수와 어떻게 관련이 있는가?
• RQ3 차원 [3↓4]의 직사각형 그래프와 스카르 복합체의 면 구조 사이의 연결고리는 무엇인가?
• RQ4 직사각형 그래프 간선 수를 극대화하는 극값 구성은 4차원 다면체의 면 구조와 어떻게 관련이 있는가?
• RQ5 3차원 상자 그래프에서의 최대 간선 수는 얼마인가? 이는 직사각형 그래프와 유사하게 정의된다.

주요 결과

• n개의 일반적인 점을 가진 직사각형 그래프의 최대 간선 수는 정확히 ⌊n²/4 + n − 2⌋이며, 이 상한은 날카롭다.
• 동일한 상한은 차원 [3↓4]의 그래프, 즉 π₁, π₂, π₃, ḡπ₃ 형태의 리얼라이저를 가진 그래프에도 적용된다.
• 점 집합과 관련된 스카르 복합체의 1차원 면 수는 ⌊n²/4 + n − 2⌋와 일치하며, 기하학적 구조와 대수적 구조 사이의 직접적인 대응을 보여준다.
• 4원소 부분집합이 빈 직사각형을 형성하는 span₄(X)의 수는, 동일한 극값 점 집합에서 직사각형 그래프 간선 수가 극대화될 때 최대가 된다.
• n개의 점을 가진 3차원 상자 그래프의 최대 간선 수는 7n²/16 + o(n²)이며, 이는 2차원의 경우보다 더 높은 밀도를 보인다.
• 모든 일반적인 점 집합에 대해 다음 선형 관계가 성립한다: span₂(X) − span₄(X) + exposed(X) = 3(n−1) 및 2·span₂(X) − span₃(X) + exposed(X) = 4(n−1).