[논문 리뷰] Geometric complexity of embeddings in ℝ d .

Michael Freedman, Vyacheslav Krushkal|arXiv (Cornell University)|2013. 01. 01.

Topological and Geometric Data Analysis참고 문헌 20인용 수 7

한 줄 요약

이 논문은 단순체의 조각별 선형(PL) 임베딩의 기하 복잡도를 ℝ^d에서 연구하며 두께, 왜곡, 정밀화 복잡도에 초점을 맞춘다. n > 2이면 ℝ^{2n}에 임베딩 가능한 n-복합체에 대해 정밀화 복잡도가 O(e^{N^{4+ε}})로 유계임을 증명하며, 이는 안정 범위에서 알려진 다항식 유계와 대비되는 지수하한을 갖는 가족을 구성함으로써, 메타안정 영역에서의 근본적인 복잡도 격차를 드러낸다.

ABSTRACT

Given a simplicial complex K, we consider several notions of geometric complexity of embeddings of K in a Euclidean space R d : thickness, distortion, and refinement complexity (the minimal number of simplices needed for a PL embed- ding). We show that any n-complex with N simplices which topologically embeds in R 2n , n> 2, can be PL embedded in R 2n with refinement complexity O(e N 4+� ). Families of simplicial n-complexes K are constructed such that any embedding of K into R 2n has an exponential lower bound on thickness and refinement complexity as a function of the number of simplices of K. This contrasts embeddings in the stable range, K ⊂ R 2n+k , k> 0, where all known bounds on geometric complexity functions are polynomial. In addition, we give a geometric argument for a bound on distortion of expander graphs in Euclidean spaces. Several related open problems are discussed, including questions about the growth rate of complexity functions of embeddings, and about the crossing number and the ropelength of classical links.

연구 동기 및 목표

• 단순체의 조각별 선형(PL) 임베딩의 기하 복잡도를 ℝ^d에서 분석하며, 특히 메타안정 범위(2n, n > 2)에서 집중한다.
• 이러한 임베딩에 대해 정밀화 복잡도, 두께, 왜곡에 대한 상한과 하한을 확립한다.
• 안정 범위(d = 2n + k, k > 0)에서 알려진 다항식 유계와 대비하여, 메타안정 범위에서의 복잡도 증가 양상을 대조한다.
• 유클리드 공간에서의 확산 그래프의 왜곡에 대해 기하적 추론을 제공한다.
• 복잡도 증가율, 교차 수, 고전 링크의 로프레ング스에 관한 열린 문제를 규명한다.

제안 방법

• n차원 단순체 K의 PL 임베딩을 분석하며, N개의 단순체를 가진 n-복합체를 ℝ^{2n}에 임베딩한다. 여기서 n > 2이다.
• 조합론적 및 위상수학적 기법을 사용하여, ℝ^{2n}에 위상적으로 임베딩 가능한 복합체에 대해 정밀화 복잡도의 상한으로 O(e^{N^{4+ε}})를 유도한다.
• N에 대한 두께와 정밀화 복잡도에 대해 지수하한을 갖는 n-복합체의 명시적 가족을 구성한다.
• 기하적 추론을 적용하여 유클리드 공간에서의 확산 그래프 왜곡을 유계로 제한한다.
• 메타안정 범위(d = 2n)에서의 복잡도 행동을 안정 범위(d = 2n + k)와 비교하며, 여기서는 다항식 유계가 알려져 있다.
• 복잡도 증가율, 교차 수, 고전 링크의 로프레ngth와 관련된 열린 문제를 규명한다.

실험 결과

연구 질문

• RQ1 위상적으로 ℝ^{2n}에 임베딩 가능한 단순체 n-복합체의 최대 정밀화 복잡도는 얼마인가?
• RQ2 메타안정 범위에서 n-복합체의 두께와 정밀화 복잡도는 안정 범위와 비교해 어떻게 증가하는가?
• RQ3 기하적 추론을 사용하여 유클리드 공간에서의 확산 그래프 왜곡을 유계로 제한할 수 있는가?
• RQ4 ℝ^d에 대한 임베딩의 기하 복잡도 함수의 渐近 증가율은 무엇인가?
• RQ5 고전 링크 임베딩에서 정밀화 복잡도, 교차 수, 로프레ngth 간의 관계는 무엇인가?

주요 결과

• 모든 n-복합체 K가 N개의 단순체를 가지며 ℝ^{2n}에 위상적으로 임베딩 가능할 경우(n > 2), 정밀화 복잡도가 O(e^{N^{4+ε}})로 유계인 PL 임베딩이 존재한다.
• 모든 ℝ^{2n}에 대한 임베딩에서 두께와 정밀화 복잡도가 N에 대해 지수적으로 증가하는 n-복합체의 가족이 존재한다.
• 메타안정 범위에서의 지수하한은 안정 범위(d = 2n + k, k > 0)에서 알려진 다항식 유계와 뚜렷하게 대비된다.
• 확산 그래프의 유클리드 공간 내 왜곡에 대해 유계를 제공하는 기하적 추론을 제시한다.
• 논문은 복잡도 함수의 증가율, 교차 수, 고전 링크의 로프레ngth에 관한 열린 문제를 규명한다.