[논문 리뷰] 1-Planar Unit Distance Graphs

Panna Gehér, Gézá Tóth|arXiv (Cornell University)|2023. 10. 02.

Computational Geometry and Mesh Generation인용 수 1

한 줄 요약

이 논문은 모든 간선이 단위 길이의 선분으로 그리고 각 간선이 최대 한 번만 교차하는 평면에 그린 1-평면 단위거리 그래프에서 간선의 최대 수에 대한 날카운 경계를 설정한다. 이 그래프에서 n개의 정점을 가진 그래프는 최대 3n − 4√n/15개의 간선을 가진다. 이는 0-평면 경우인 매치스틱 그래프의 알려진 상한에 거의 근접하며, k-평면 및 k-준평면 단위거리 그래프에 대한 구축과 경계를 제공함으로써 이러한 기하학적 그래프 클래스에서 간선 밀도와 정규성에 대한 열린 문제를 해결한다.

ABSTRACT

A matchstick graph is a plane graph with edges drawn as unit distance line segments. This class of graphs was introduced by Harborth who conjectured that a matchstick graph on n vertices can have at most ⌊3n-√{12n-3}⌋ edges. Recently his conjecture was settled by Lavollée and Swanepoel. In this paper we consider 1-planar unit distance graphs. We say that a graph is a 1-planar unit distance graph if it can be drawn in the plane such that all edges are drawn as unit distance line segments while each of them are involved in at most one crossing. We show that such graphs on n vertices can have at most 3n-∜{n}/10 edges.

연구 동기 및 목표

• 1-평면 단위거리 그래프에서 간선 수의 최대값에 대한 날카운 상한과 하한을 설정한다.
• 결과를 1-평면 조건을 초월해 k-평면 및 k-준평면 단위거리 그래프로 일반화한다.
• 특히 r = 5인 경우에 대해 r-정규 1-평면 단위거리 그래프의 존재성과 간선 밀도를 조사한다.
• 교차 수가 제한된 기하학적 그래프 클래스에서 간선 성장률과 구조적 한계에 대한 열린 문제를 다룬다.
• k-평면 및 k-준평면 단위거리 그래프에 대해 개선된 구축과 이론적 경계를 제공한다.

제안 방법

• 간선 교차와 반모서리 분포를 분석하기 위해 그래프를 최대 평면 부분그래프 G₀과 잔여 간선 E₁로 분해한다.
• 특히 삼각형 면을 중심으로 하는 면 구조에 대한 조합적 추론을 통해 교차 간선이 유도하는 반모서리 수를 경계한다.
• Erdős의 단위거리 문제에서 유래한 기하학적 및 조합적 기법을 활용하여 (k−1)n − o(n)개의 간선을 가진 k-준평면 그래프를 구축한다.
• 교차 관계에 따라 간선의 동치류가 길이가 유한한 방향성 경로를 이룬다는 것을 증명함으로써 상호 교차 수를 제한한다.
• 극한 그래프 이론과 기하학적 인cidenece 경계를 적용하여 k-평면 및 k-준평면 환경에서 간선 수의 상한을 유도한다.
• 간선 집합의 블록 분해를 활용하여 총 간선 수를 n과 k에 따라 경계함으로써 k-준평면 그래프에 대해 4kn 상한에 도달한다.

실험 결과

연구 질문

• RQ1 1-평면 단위거리 그래프에서 간선 수의 최대값이 매치스틱 그래프의 것보다 Ω(√n) 이상 초과할 수 있는가?
• RQ2 점점 더 많은 간선을 가진 1-평면 단위거리 그래프의 구축이 가능한가? (즉, 3n를 초과하는 점근적 수치)
• RQ3 5-정규 매치스틱 그래프가 존재하지 않는다는 점을 감안할 때, 5-정규 1-평면 단위거리 그래프는 존재하는가?
• RQ4 k-평면 단위거리 그래프에서 간선 수의 최대값 uk(n)의 점근적 성장률은 무엇인가?
• RQ5 k-준평면 단위거리 그래프에 대한 4kn 상한은 특정 k 또는 n에 대해 향상되거나 강화될 수 있는가?

주요 결과

• n개의 정점을 가진 1-평면 단위거리 그래프에서 간선 수의 최대값은 3n − 4√n/15 이하이다. 이는 매치스틱 그래프의 알려진 경계에 거의 근접한다.
• u₁(n)의 하한은 ⌊3n − √(12n − 3)⌋로 정확히 도출되며, 상한은 거의 동일하여, 각 간선이 최대 한 번 교차하는 조건에서의 이득이 최소한임을 시사한다.
• k-준평면 단위거리 그래프의 경우, 간선 수의 최대값 vk(n)는 4kn보다 엄밀히 작다. 이는 k에 대해 선형 상한을 확립한다.
• (k−1)n − o(n)개의 간선을 가진 구축은 k = 2^O(log n / log log n)일 때 k-준평면 상한이 거의 날카로운지 보여준다.
• k-평면 단위거리 그래프에 대해 uk(n) ≤ c√(kn)의 상한이 확립되었으며, Rote의 구축을 통해 2^Ω(log k / log log k)n의 일치하는 하한이 존재한다.
• r ≥ 6인 r-정규 1-평면 단위거리 그래프는 존재하지 않으며, 5-정규 그래프의 존재성은 여전히 열려있다. 이는 구조적 제약 조건에도 불구하고 그렇다.