[논문 리뷰] Boundaries of Hypertrees, and Hamiltonian Cycles in Simplicial Complexes

Rogers Mathew, Ilan Newman외 2명|arXiv (Cornell University)|2015. 07. 16.

Topological and Geometric Data Analysis참고 문헌 15인용 수 3

한 줄 요약

이 논문은 단형 복합체에서 $d$-하이퍼트리의 조합적 구조와 그 경계를 조사하며, $d \leq 2$에 대해 $\mathbb{F}_2$ 상에서 $\partial_d T$를 완전히 특성화하고, $d=2$일 때 크기 ${n-1 \choose 2}+1$인 하이퍼트리클, $d \geq 3$일 때 크기 ${n-1 \choose d} - O(n^{d-2})$인 하이퍼트리클을 구성한다. 또한 $d$-하이퍼트리의 평균 기본 사이클 크기가 $c_d \cdot {n-1 \choose d}$ 이상일 수 있음을 보이며, 이때 $c_d$는 $d$에만 의존한다. 이는 고차원 트리에서 사이클 의존성에 대한 핵심 질문을 해결한다.

ABSTRACT

A $d$-hypertree on $[n]$ is a maximal acyclic $d$-dimensional simplicial complex with full $(d-1)$-skeleton on the vertex set $[n]$. Alternatively, in the language of algebraic topology, it is a minimal $d$-dimensional simplicial complex $T$ (assuming full $(d-1)$-skeleton) such that $ ilde{H}_{d-1}(T;\mathbb{F})=0$. The $d$-hypertrees are a basic object in combinatorial theory of simplicial complexes. They have been studied; and yet, many of their structural aspects remain poorly understood. In this paper we study the boundaries $\partial_d T$ of $d$-hypertrees, and the fundamental $d$-cycles defined by them. Our findings include: 1. A full characterization of $\partial_d T$ over $\mathbb{F}_2$ for $d \leq 2$, and some partial results for $d \geq 3$. 2. Lower bounds on the maximum size of a largest simple $d$-cycle on $[n]$. In particular, for $d=2$, we construct a {\em Hamiltonian $d$-cycle} $H$ on $[n]$, i.e., a simple $d$-cycle of size ${{n-1} \choose d} + 1$. For $d\geq 3$, we construct a simple $d$-cycle of size ${{n-1} \choose d} - O(n^{d-2})$. 3. Observing that the maximum of the expected distance between two vertices chosen uniformly at random in a tree ($1$-hypertree) on $[n]$ is at most $ hicksim n/3$, attained on Hamiltonian paths, we ask a similar question about $d$-hypertrees. "How large can be the {\em average} size of a fundamental cycle of a $d$-hypertree $T$ (i.e., the expected size of the dependency created by adding a $d$-simplex on $[n]$, chosen uniformly at random, to $T$)?" For every $d \in \mathbb{N}$, we construct an infinite family of $d$-hypertrees $\{T\}$ with the average size of a fundamental cycle at least $c_d\, |T| \,=\, c_d\,{n-1 \choose d}$, where $c_d$ is a constant depending on the dimension $d$ alone.

연구 동기 및 목표

• 단형 복합체에서 $d$-하이퍼트리와 그 경계의 구조적 성질을 이해하는 것, 특히 $\mathbb{F}_2$와 같은 유한체에서의 성질을 중심으로 한다.
• [$n$] 정점 복합체에서 단순한 $d$-사이클의 최대 크기를 결정하는 것, 특히 하이퍼트리클의 존재 여부를 중심으로 한다.
• 임의의 $d$-단체를 $d$-하이퍼트리에 추가했을 때 형성되는 기본 사이클의 평균 크기를 분석하여, 고차원 트리에서의 의존성을 정량화하는 것.
• $\mathbb{F}_2$에서의 결과를 $\mathbb{Q}$로 확장하여, $\mathbb{Q}$-가중치 트리가 $\mathbb{F}_2$보다 더 크거나 동일한 사이클 구조를 실현할 수 있음을 보이는 것.

제안 방법

• $d \leq 2$에 대해 대수적 위상수학과 호모로지 소멸 조건을 사용하여 $\mathbb{F}_2$ 상에서 $d$-하이퍼트리의 경계 $\partial_d T$를 특성화한다.
• 조합적 및 극한적 추론을 통해 최대 단순 $d$-사이클의 크기를 제한하고, 재귀적 콘 및 리드 연산자를 통해 명시적인 하이퍼트리클을 구성한다.
• 평균화 및 극한 수량 세기 기법을 적용하여, 큰 메쉬 부피를 가진 $d$-하이퍼트리가 많은 메쉬에 참여하는 $d$-면을 포함해야 한다는 점을 보인다.
• $l_2$-노름과 이중 세기 기법을 활용하여 컷과 메쉬 크기의 최대 곱에 대한 하한을 유도한다.
• $\mathbb{F}_2$에서의 결과를 $\mathbb{Q}$로 확장하기 위해, $\mathbb{F}_2$-무사이클 단순 사이클이 $\mathbb{Q}$-무사이클이기도 하다는 점을 보이고, 원하는 경계를 실현할 수 있는 $\mathbb{Q}$-가중치 트리를 구성할 수 있음을 보인다.
• 특수한 경우 분석과 콘 확장 기법을 활용하여 $n=6$일 때 $\mathbb{Q}$-가중치 트리가 주어진 $1$-사이클 경계를 가질 수 있음을 증명하고, 이를 고차원으로 일반화한다.

실험 결과

연구 질문

• RQ1 특히 $d \leq 2$일 때, $\mathbb{F}_2$ 상에서 $d$-하이퍼트리의 경계 $\partial_d T$의 구조는 어떻게 되는가?
• RQ2 정점 수가 $n$인 $d$-차원 단형 복합체에서 단순한 $d$-사이클의 최대 크기는 얼마이며, $d \geq 2$일 때 하이퍼트리클을 구성할 수 있는가?
• RQ3 d-하이퍼트리에서 기본 사이클의 평균 크기는 얼마나 클 수 있으며, 이러한 평균에 대한 하한은 무엇인가?
• RQ4 $\mathbb{F}_2$-사이클에 대한 결과를 $\mathbb{Q}$로 확장할 수 있는가? 그리고 $\mathbb{Q}$-가중치 트리는 $\mathbb{F}_2$보다 더 크거나 더 유연한 사이클 구조를 실현할 수 있는가?

주요 결과

• 특히 $d \leq 2$일 때, 이 논문은 $\mathbb{F}_2$ 상에서 $d$-하이퍼트리의 경계 $\partial_d T$를 완전히 특성화하여 기초적인 구조적 질문을 해결한다.
• 크기 ${n-1 \choose 2} + 1$인 하이퍼트리클이 $[n]$ 정점에서 명시적으로 구성되었으며, 이는 단순한 $2$-사이클의 최대 크기를 달성한다.
• $d \geq 3$일 때, 크기 ${n-1 \choose d} - O(n^{d-2})$인 단순한 $d$-사이클이 구성되었으며, 이는 고차원에서 거의 최대 크기의 사이클이 존재할 수 있음을 보여준다.
• 이 논문은 평균 기본 사이클 크기가 최소 $c_d \cdot {n-1 \choose d}$ 이상인 $d$-하이퍼트리의 무한한 가족을 구성하였으며, 여기서 $c_d = 16(48)^{-3^{d-1}}$이므로, 고차원 트리에서의 의존성이 상당할 수 있음을 보였다.
• $\mathbb{F}_2$에서의 결과는 $\mathbb{Q}$로 확장된다: 모든 단순한 $\mathbb{F}_2$-사이클은 단순한 $\mathbb{Q}$-사이클에 포함되며, $\mathbb{Q}$-가중치 트리는 $n \geq 6$ 정점에서 모든 $1$-사이클을 실현할 수 있다.
• $d=2$일 때, 모든 $n \geq 6$에 대해 $\mathbb{Q}$ 상에서 $n$-정점 하이퍼트리클이 존재하며, 이는 $\mathbb{F}_2$의 경우와 달리 짝수/홀수 조건에 의해 제한되지 않는다는 점에서 확장된 결과이다.