[논문 리뷰] Tilings, packings and expected Betti numbers in simplicial complexes

Nermin Salepci, Jean-Yves Welschinger|arXiv (Cornell University)|2018. 06. 13.

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

한 줄 요약

이 논문은 유한 단체 복합체의 반복 바리센트리 분할에서 임의의 부분복합체의 정규화된 기대 베티 수가 분할 수가 증가함에 따라 보편적인 극한으로 수렴함을 확립한다. 표준적인 필터링과 분할 내 서로소 단체의 패킹을 이용하여, 특히 여수차원에서 이러한 극한의 단조성과 상한을 도출하고, 바리센트리 분할 하에서 타일성질을 유지하는 새로운 타일링 개념을 도입함으로써 고차 분할에서 최대 패킹 크기의 체계적 추정이 가능해진다.

ABSTRACT

Let $K$ be a finite simplicial complex. We prove that the normalized expected Betti numbers of a random subcomplex in its $d$-th barycentric subdivision $ ext{Sd}^d (K)$ converge to universal limits as $d$ grows to $+ \infty$. In codimension one, we use canonical filtrations of $ ext{Sd}^d (K)$ to upper estimate these limits and get a monotony theorem which makes it possible to improve these estimates given any packing of disjoint simplices in $ ext{Sd}^d (K)$. We then introduce a notion of tiling of simplicial complexes having the property that skeletons and barycentric subdivisions of tileable simplicial complexes are tileable. This enables us to tackle the problem: How many disjoint simplices can be packed in $ ext{Sd}^d (K)$, $d \gg 0$?

연구 동기 및 목표

• 유한 단체 복합체의 반복 바리센트리 분할에서 임의의 부분복합체의 기대 베티 수의 점근적 행동을 이해하기 위해.
• 바리센트리 분할의 수가 무한으로 갈수록 정규화된 기대 베티 수의 보편적 수렴 극한을 확립하기 위해.
• 바리센트리 분할 하에서 타일성이 유지되는 단체 복합체를 위한 타일링 프레임워크를 개발하고, 서로소 단체의 체계적 패킹을 가능하게 하기 위해.
• 표준적인 필터링과 서로소 단체 패킹을 이용하여 보편적 극한의 상한 추정을 제공하기 위해.
• 고차 분할에서 서로소 단체의 최대 패킹 문제를 무작위 부분복합체의 점근적 위상수학과 연결하기 위해.

제안 방법

• 저자들은 코체인 $ \rho \to C^{k-1}(K; \bbZ/2\bbZ) $ 에 대한 확률 측도를 정의함으로써, $ d $-번째 바리센트리 분할 $ \textup{Sd}^d(K) $ 내에서 임의의 부분복합체 $ V_{\rho} $ 를 정의하고, 부분복합체 위에 랜덤 변수를 유도한다.
• 기대 베티 수 $ \bbE_{\nu,d}(b_p) $ 를 분석하고, 정규화된 수열 $ \bbE_{\nu,d}(b_p) / ((n+1)!^d f_n(K)) $ 가 초기 복합체 $ K $ 와 무관하게 보편적 극한 $ e_{p,\nu}(n,k) $ 로 수렴함을 증명한다.
• 여수차원에서($ k=1 $), $ \rho $ 가 0 또는 1이 되는 정점 수에 기반한 $ K $ 의 표준 필터링 $ K_i^\rho $ 를 구성하며, 이는 $ \textup{Sd}^d(K) $ 에 필터링을 유도하고 기대 베티 수의 단조성 추정을 가능하게 한다.
• 단체 복합체의 타일링 개념을 도입하고, 타일성이 가능한 복합체의 스펙트럼과 바리센트리 분할이 모두 타일성을 유지함을 보이며, 패킹의 재귀적 구성이 가능해진다.
• 표준 $ n $-단체 $ \triangle_n $ 의 차원에 대한 귀납법을 사용하여, $ \textup{Sd}^d(\triangle_n) $ 내에서 서로소 단체의 명시적 패킹을 구성하고, 이들의 크기가 타일링의 $ h $-벡터에 따라 달라짐을 보인다.
• 이러한 패킹 내의 $ j $-차원 단체의 수에 대한 명시적 공식을 유도하며, $ j \neq n $ 일 때는 $ 2^{n-1-s-j+p} $ 의 비율로 증가함을 보이고, 이를 기대 베티 수의 상한을 구하는 데 활용한다.

실험 결과

연구 질문

• RQ1 반복 바리센트리 분할에서 임의의 부분복합체의 정규화된 기대 베티 수는 초기 단체 복합체에 관계없이 보편적 극한으로 수렴하는가?
• RQ2 표준 필터링을 통해 여수차원의 경우 기대 베티 수의 단조성과 상한을 유도할 수 있는가?
• RQ3 큰 $ d $ 에서 $ \textup{Sd}^d(K) $ 에서 최대 몇 개의 서로소 $ p $-차원 단체를 패킹할 수 있으며, 이는 무작위 부분복합체의 위상과 어떻게 관련되는가?
• RQ4 단체 복합체의 타일링 개념은 바리센트리 분할과 어떻게 상호작용하며, 이를 이용해 서로소 단체의 큰 패킹을 체계적으로 구성할 수 있는가?
• RQ5 점근적 기대 베티 수와 타일링의 $ h $-벡터 사이에 관계가 있으며, 이를 통해 보편적 극한을 계산하거나 추정할 수 있는가?

주요 결과

• 정규화된 기대 베티 수 $ \bbE_{\nu,d}(b_p) / ((n+1)!^d f_n(K)) $ 는 초기 복합체 $ K $ 와 무관하게 $ n, k, p, \nu $ 에만 의존하는 보편적 극한 $ e_{p,\nu}(n,k) $ 로 수렴한다.
• 여수차원의 경우($ k=1 $), 수열 $ \bbE_{\nu,d}(\tilde{b}_p) / (n+1)!^d $ 는 증가하고 유계이며, 극한 $ \tilde{e}_{p,\nu}(n,1) $ 로 수렴한다. 이때 $ e_{p,\nu}(n,1) \geq \tilde{e}_{p,\nu}(n,1) > 0 $ 이고, $ p=0 $ 일 때는 등호가 성립한다.
• 모든 $ d $ 에 대해, $ \textup{Sd}^d(\triangle_n) $ 에서 서로소 단체의 최대 패킹 내의 $ j $-차원 단체 수는 $ j \in \{p, \ldots, \min(n-1-s+p, n-1)\} $ 에 대해 최소 $ 2^{n-1-s-j+p} $ 이상이다. 명시적 개수는 타일링의 구조에 따라 달라진다.
• 유한한 $ n $-차원 단체 복합체 $ K $ 의 타일링 $ \mathcal{T} $ 이 주어지면, $ \textup{Sd}(K) $ 에서 $ h_{p+1}(\mathcal{T}) + 2^p \sum_{s=0}^p \frac{h_s(\mathcal{T})}{2^s} $ 개의 서로소 $ n $-단체를 패킹할 수 있으며, 이들의 쌍별 교차의 차원은 $ \leq p-1 $ 이다.
• 이러한 패킹 내의 $ j $-차원 단체의 점근적 수는 $ h_{n+1-j+p}(\mathcal{T}) + 2^{n-1-j+p} \sum_{s=0}^{n-1-j+p} \frac{h_s(\mathcal{T})}{2^s} $ 로 주어지며, $ j \in \{p, \ldots, n-1\} $ 에 대해 유효하다.
• 정규화된 최대 기대 베티 수의 보편적 극한 $ \lambda_{p,\nu}(n) $ 는 $ \textup{Sd}^{d-1}(\mathcal{T}) $ 의 타일링의 $ h $-벡터로부터 유도된 수열의 극한과 동일하며, 이는 이항계수와 $ \nu $ 를 포함한 명시적 점근 표현을 가진다.