[논문 리뷰] On the Complexity of Embeddable Simplicial Complexes

Anna Gundert|arXiv (Cornell University)|2018. 12. 20.

Limits and Structures in Graph Theory참고 문헌 23인용 수 6

한 줄 요약

이 논문은 $d \leq r \leq 2d$ 인 경우 $\mathbb{R}^r$에 매장 가능한 심플리시얼 복합체에 포함된 $d$-심플렉스의 최대 개수를 조사한다. 순환 다면체를 이용해 $\Omega(n^{\lceil r/2 \rceil})$의 하한을 확립하고, 극단적 초그래프 이론 및 금지된 부분복합체를 통해 $O(n^{d+1 - 1/3^d})$의 상한을 유도하며, $r = 2d$일 때 하한이 날카로운 것을 보여준다. 이 작업은 매장 가능성과 극단적 조합론 분야의 구조적 제약 및 열린 문제를 부각시킨다.

ABSTRACT

This thesis addresses the question of the maximal number of $d$-simplices for a simplicial complex which is embeddable into $\mathbb{R}^r$ for some $d \leq r \leq 2d$. A lower bound of $f_d(C_{r + 1}(n)) = Ω(n^{\lceil\frac{r}{2} ceil})$, which might even be sharp, is given by the cyclic polytopes. To find an upper bound for the case $r=2d$ we look for forbidden subcomplexes. A generalization of the theorem of van Kampen and Flores yields those. Then the problem can be tackled with the methods of extremal hypergraph theory, which gives an upper bound of $O(n^{d+1-\frac{1}{3^d}})$. We also consider whether these bounds can be improved by simple means.

연구 동기 및 목표

• 주어진 $d \leq r \leq 2d$ 조건에서 $n$개 정점을 가진 심플리시얼 복합체가 $\mathbb{R}^r$에 매장될 수 있는 $d$-심플렉스의 최대 개수를 결정하는 것.
• 이 범위 내에서 매장 가능한 심플리시얼 복합체의 크기에 대해 날카로운 하한과 상한을 확립하는 것.
• 순환 다면체 구성이 $r = 2d$일 때 최적의 하한을 제공하는지 탐구하는 것.
• 금지된 부분복합체를 식별함으로써 극단적 초그래프 이론이 더 향상된 상한을 도출할 수 있는지 조사하는 것.

제안 방법

• 매장 가능한 복합체에 대해 $\Omega(n^{\lceil r/2 \rceil})$의 하한을 확보하기 위해 순환 다면체를 명시적 구성으로 활용한다.
• 특수한 경우인 $r = 2d$에서 van Kampen–Flores 정리를 적용하여 금지된 부분복합체를 식별하고, 문제를 극단적 초그래프 이론으로 환원한다.
• $d$-면을 $(d+1)$-균일 초그래프에서의 초간선으로 모델링하여 매장 가능성 문제를 초그래프의 극단적 문제로 변환한다.
• 기존의 극단적 초그래프 이론 결과를 적용하여 초간선 수를 유계화함으로써 $O(n^{d+1 - 1/3^d})$의 상한을 도출한다.
• 극한 함수 $\operatorname{ex}(n, \mathcal{F}_d)$에 대한 하한을 유도함으로써 상한의 날카로움을 분석하여 $\Omega(n^{d+1 - 2(d+1)/(3^{d+1}-1)})$의 하한을 확보한다.
• 모든 매장 가능한 복합체가 심플리시얼 $r$-구면체의 부분복합체일 수 있다는 구조적 추측(예: $O(n)$개 정점)을 고려하여 상한 향상 가능성을 탐색한다.

실험 결과

연구 질문

• RQ1 하한 $\Omega(n^{\lceil r/2 \rceil})$이 $r = 2d$일 때 날카로운가?
• RQ2 하나의 하위그래프가 아닌, 금지된 마이너 또는 분할을 고려함으로써 상한 $O(n^{d+1 - 1/3^d})$를 향상시킬 수 있는가?
• RQ3 모든 $d$차원 복합체가 $\mathbb{R}^r$에 매장 가능할 경우, $O(n)$개 정점을 가진 심플리시얼 $r$-구면체의 부분복합체로 나타날 수 있는가?
• RQ4 구면체에 대한 상한 정리가 매장 가능한 복합체의 크기를 제약하는 데 어떤 역할을 하는가?
• RQ5 정점 링크의 $f$-벡터를 기반으로 하는 귀납 기법을 홀수차원 매장으로 일반화하여 순서의 크기 범위를 유지할 수 있는가?

주요 결과

• 순환 다면체 $C_{r+1}(n)$는 $f_d(C_{r+1}(n)) = \Omega(n^{\lceil r/2 \rceil})$를 만족하며, 이는 $r = 2d$일 때 최적일 것으로 추측된다.
• 특수한 경우인 $r = 2d$에서 순환 다면체로부터의 하한은 더 많은 심플렉스를 추가해도 향상되지 않음을 보여, 날카로움이 입증된다.
• 극단적 초그래프 이론을 활용하여 $r = 2d$-매장 가능한 복합체에 포함된 $d$-심플렉스 수에 대해 $O(n^{d+1 - 1/3^d})$의 상한을 확립하였다.
• 극한 함수 $\operatorname{ex}(n, \mathcal{F}_d)$에 대한 하한 $\Omega(n^{d+1 - 2(d+1)/(3^{d+1}-1)})$를 유도함으로써 상한이 쉽게 향상되지 않음을 보여준다.
• 초그래프의 마이너나 분할을 배제함으로써 더 나은 유계를 얻을 수 있을 것으로 보이지만, 초그래프 마이너 이론은 아직 발전이 덜 되어 있다.
• 모든 $d$-차원 복합체가 $\mathbb{R}^r$에 매장 가능할 경우, $O(n)$개 정점을 가진 심플리시얼 $r$-구면체의 부분복합체일 수 있다는 가능성은 열려 있으며, 이 경우 상한이 $O(n^{\lfloor r/2 \rfloor})$로 줄어들어 순환 다면체의 순서와 일치할 것이다.