[논문 리뷰] Overlap properties of geometric expanders

Jacob Fox, M. Gromov외 3명|Repository of the Academy's Library (Library of the Hungarian Academy of Sciences)|2010. 05. 09.

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

한 줄 요약

이 논문은 d차원 공간에서 유일한 양의 오버랩 수를 갖는 유한 차수의 (d+1)-균일 초그래프의 무한한 가족이 존재함을 보이며, 확률적 및 결정적 구성 방법을 사용한다. 이러한 초그래프는 점 游점 수렴에 따라 완전 초그래프의 극한에 수렴하는 강력한 기하학적 오버랩 성질을 나타내며, 기하학적 조합론에 응용 가능한 새로운 분할 정리도 제시한다.

ABSTRACT

The {\em overlap number} of a finite $(d+1)$-uniform hypergraph $H$ is defined as the largest constant $c(H)\in (0,1]$ such that no matter how we map the vertices of $H$ into $\R^d$, there is a point covered by at least a $c(H)$-fraction of the simplices induced by the images of its hyperedges. In~\cite{Gro2}, motivated by the search for an analogue of the notion of graph expansion for higher dimensional simplicial complexes, it was asked whether or not there exists a sequence $\{H_n\}_{n=1}^\infty$ of arbitrarily large $(d+1)$-uniform hypergraphs with bounded degree, for which $\inf_{n\ge 1} c(H_n)>0$. Using both random methods and explicit constructions, we answer this question positively by constructing infinite families of $(d+1)$-uniform hypergraphs with bounded degree such that their overlap numbers are bounded from below by a positive constant $c=c(d)$. We also show that, for every $d$, the best value of the constant $c=c(d)$ that can be achieved by such a construction is asymptotically equal to the limit of the overlap numbers of the complete $(d+1)$-uniform hypergraphs with $n$ vertices, as $n ightarrow\infty$. For the proof of the latter statement, we establish the following geometric partitioning result of independent interest. For any $d$ and any $ε>0$, there exists $K=K(ε,d)\ge d+1$ satisfying the following condition. For any $k\ge K$, for any point $q \in \mathbb{R}^d$ and for any finite Borel measure $μ$ on $\mathbb{R}^d$ with respect to which every hyperplane has measure $0$, there is a partition $\mathbb{R}^d=A_1 \cup \ldots \cup A_{k}$ into $k$ measurable parts of equal measure such that all but at most an $ε$-fraction of the $(d+1)$-tuples $A_{i_1},\ldots,A_{i_{d+1}}$ have the property that either all simplices with one vertex in each $A_{i_j}$ contain $q$ or none of these simplices contain $q$.

연구 동기 및 목표

• 고차원에서의 높은 오버랩을 갖는 유한 차수의 단순 복합체의 존재 문제를 고르모프가 제기한 바를 해결하기 위해.
• 유한 차수 조건 하에서도 흩어진 초그래프의 오버랩 수가 0으로부터 멀리 떨어져 있을 수 있음을 확립하기 위해.
• 이러한 구성에서 최적의 오버랩 상수가 n→∞일 때 완전 초그래프의 점근적 극한과 일치함을 증명하기 위해.
• 기하학적 오버랩과 조합 기하학에 응용 가능한 R^d에 대한 새로운 측도 분할 결과를 개발하기 위해.

제안 방법

• R^d에 초그래프를 무작위로 통합함으로써 높은 오버랩을 얻을 수 있음을 보이기 위해 확률적 방법을 사용한다.
• 확산 그래프 구성 방법을 적용하여 유일한 양의 오버랩을 갖는 결정적, 유한 차수의 초그래프를 생성한다.
• 새로운 분할 정리 도입: 임의의 ε>0과 d에 대해, K가 존재하여 R^d를 k≥K개의 측도가 동일한 가측 부분집합으로 나눌 수 있으며, 거의 모든 (d+1)-튜플의 부분집합들은 고정된 점 q에 대해 그 단체를 모두 포함하거나 모두 포함하지 않는다.
• Hoeffding 유형의 농도 부등식을 활용하여 무작위 정점 매핑 하에서 오버랩 비율의 편차를 제어한다.
• 위상 조합론 및 측도 이론의 결과를 활용하며, Boros-Füredi 정리의 위상적 증명을 포함한다.
• 완전한 (d+1)-균일 초그래프의 오버랩 수를 분석하고, 흩어진 구성에서 최적의 상수 c(d)가 n→∞일 때 이러한 완전 초그래프의 오버랩 수의 극한과 점근적으로 동일함을 보인다.

실험 결과

연구 질문

• RQ1 d≥2일 때, R^d에서 유한 차수와 함께 일정한 양의 오버랩 수를 갖는 (d+1)-균일 초그래프의 무한한 가족이 존재하는가?
• RQ2 n→∞일 때, 흩어진 구성에서 최적의 오버랩 상수 c(d)가 완전한 (d+1)-균일 초그래프의 오버랩 수의 극한과 점근적으로 일치하는가?
• RQ3 R^d에서 가측 집합의 대부분의 (d+1)-튜플이 단체 포함 행동을 균일하게 보장하는 기하학적 분할 성질은 무엇인가?
• RQ4 고차원에서 단체의 비선형 연속 매핑 하에서도 오버랩 성질이 유지되는가?
• RQ5 초그래프의 오버랩 수와 그 1-스켈레톤의 구조, 특히 스펙트럼 확산기일 경우의 관계는 무엇인가?

주요 결과

• 논문은 유한 차수와 함께 양의 상수 c(d) > 0로 아래로 유계된 오버랩 수를 갖는 (d+1)-균일 초그래프의 무한한 가족을 구성하며, 고르모프의 질문에 긍정적으로 답한다.
• 이러한 흩어진 구성에서 달성 가능한 최적의 오버랩 상수 c(d)는 n→∞일 때 완전한 (d+1)-균일 초그래프의 오버랩 수의 극한과 점근적으로 동일하다.
• 새로운 측도 분할 결과가 증명된다: 임의의 d와 ε>0에 대해, K가 존재하여 R^d를 k≥K개의 동일한 측도 부분집합으로 나눌 수 있으며, 이들 중 거의 모든 (d+1)-튜플은 고정된 점 q에 대해 단체 포함 행동이 균일하다.
• d=2일 때, 구성은 최소 2/9 - o(1)의 오버랩 수를 달성하며, Boros-Füredi 정리의 점근적 한계와 일치한다.
• 확률적 방법을 통해 무작위 정점 매핑이 R^d에 적용될 경우, 최소한 c(H)-비율의 단체에 의해 커버되는 점이 존재할 확률이 높으며, 이때 c(H)는 0으로부터 멀리 떨어져 있다.
• 논문은 일부 스펙트럼 확산기 및 빌딩의 유한 몫을 기반으로 한 구성이 고차원에서 매우 오버랩이 큰 단순 복합체를 생성하지만, d≥3일 때 비선형 연속 매핑 하에서는 오버랩 성질을 유지하지 못함을 보여준다.