[논문 리뷰] Topology of unavoidable complexes

Duško Jojić, Wacław Marzantowicz외 2명|arXiv (Cornell University)|2016. 03. 28.

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

한 줄 요약

이 논문은 r-필수적 단체 복합체의 조합론과 그 삭제 합성의 등변 위상수학 간의 위상적 프레임워크를 수립하여, r-필수적 복합체의 합성은 R^d에서 거의 r-비통합 가능한 복합체를 유도함을 증명한다. 핵심 기여는 정리 4.6로, 등변 지수 부등식을 통해 이러한 합성체가 위상적 Tverberg 조건을 만족함을 보여, 조합적 위상수학과 협동 게임 이론에 적용 가능하다.

ABSTRACT

The partition number $π(K)$ of a simplicial complex $K\subset 2^{[m]}$ is the minimum integer $ν$ such that for each partition $A_1\uplus\ldots\uplus A_ν= [m]$ of $[m]$ at least one of the sets $A_i$ is in $K$. A complex $K$ is $r$-unavoidable if $π(K)\leq r$. We say that a complex $K$ is globally $r$-non-embeddable in $\mathbb{R}^d$ if for each continuous map $f: | K| ightarrow \mathbb{R}^d$ there exist $r$ vertex disjoint faces $σ_1,\ldots, σ_r$ of $| K|$ such that $f(σ_1)\cap\ldots\cap f(σ_r) eq\emptyset$. Motivated by the problems of Tverberg-Van Kampen-Flores type we prove several results (Theorems 3.6, 3.9, 4.6) which link together the combinatorics and topology of these two classes of complexes. One of our central observations (Theorem 4.6), summarizing and extending results of G. Schild, B. Grünbaum and many others, is that interesting examples of (globally) $r$-non-embeddable complexes can be found among the joins $K = K_1\ast\ldots\ast K_s$ of $r$-unavoidable complexes.

연구 동기 및 목표

• r-필수적 단체 복합체의 위상적 성질을 체계화하고 확장하기.
• K^{*r}_Δ의 등변 위상수학과 조합적 불변량 π(K)를 연결하기.
• r-필수적 복합체의 합성으로 거의 r-비통합 가능한 복합체를 체계적으로 생성하는 방법 제공.
• Tverberg–Van Kampen–Flores 이론, Gromov의 제약 방법, 그리고 게임이론적 구성에서의 결과를 통합하고 일반화하기.

제안 방법

• π(K)를 [m]의 임의의 ν-분할이 K에 속하는 부분을 가질 최소 ν로 정의하여, π(K) ≤ r일 때 r-필수적 복합체를 유도.
• 등변 지수 Ind_G와 G-성질 γ_G를 사용하여 삭제 합성 K^{*r}_Δ의 위상적 복잡도 측정.
• π(K)와 Ind_G(K^{*r}_Δ)를 연결하는 부등식 수립. 특히 r = p^k이고 G = (Z_p)^k일 때 Ind_G(K^{*r}_Δ) ≥ m − π(K)가 성립.
• 정리 4.6 증명: r-필수적 복합체 K₁ * … * Kₛ의 합성체 K는 R^d에서 거의 r-비통합 가능하다.
• 협동 게임 이론에서의 임계 복합체에 적용하여, quota q = w([n])/r인 가중 다수결 게임에서 r-필수적 복합체가 유도됨을 보임.
• 비통합 가능성에 대한 차원 조건 (r−1)(d+s+1)+1 = m₁+…+mₛ 유도.

실험 결과

연구 질문

• RQ1 분할 수 π(K)는 삭제 합성 K^{*r}_Δ의 등변 위상적 복잡도와 어떻게 관련되는가?
• RQ2 r-필수적 복합체의 합성체가 R^d에서 거의 r-비통합 가능해지는 조건은 무엇인가?
• RQ3 Tverberg–Van Kampen–Flores 형식의 제약 방법은 r-필수적 복합체를 통해 체계적으로 일반화될 수 있는가?
• RQ4 임계 복합체는 r-필수적 복합체와 거의 r-비통합 구성요소를 생성하는 데 어떤 역할을 하는가?
• RQ5 게임 이론과 조합적 위상수학의 결과는 r-필수적 복합체의 맥락에서 어떻게 융합되는가?

주요 결과

• 정리 4.6는 K₁,…,Kₛ가 r-필수적일 경우, 그 합성체 K = K₁ * … * Kₛ가 (r−1)(d+s+1)+1 = m₁+…+mₛ를 만족하는 R^d에서 거의 r-비통합 가능하다고 보여준다.
• r = p^k일 때, G = (Z_p)^k이고 m이 정점 수일 경우, Ind_G(K^{*r}_Δ) ≥ m − π(K) 부등식이 성립한다.
• 복합체 [5]∗[5]∗[5]는 R³에서 거의 3-비통합 가능하며, 세 색상의 별 구조에 대한 색상화된 Tverberg 정리를 실현한다.
• w(X) ≤ w([n])/r로 정의된 임계 복합체는 r-필수적이며, r-필수적 복합체를 구성하는 체계적 방법을 제공한다.
• 이 방법은 Grünbaum, Schild, 그리고 Blagojević–Frick–Ziegler의 결과를 확장하여 거의 r-비통합 가능한 복합체의 새로운 예를 생성한다.
• 이 프레임워크는 Tverberg 형식 정리, 위상 지수 이론, 협동 게임 이론을 r-필수적 복합체의 관점에서 통합한다.