[논문 리뷰] Random Latin squares and 2-dimensional expanders

Alexander Lubotzky, Roy Meshulam|arXiv (Cornell University)|2013. 07. 12.

Topological and Geometric Data Analysis참고 문헌 12인용 수 5

한 줄 요약

이 논문은 고정된 d와 충분히 큰 n에 대해, 이러한 복합체가 점점 더 큰 n에 대해 거의 확실히 1차 코버던던스 확산자이며, 양의 확산 상수 ε > 0을 가짐을 증명하는, d개의 독립적인 랜덤 라틴 제곱의 d-튜플 기반의 새로운 무작위 2차원 심플리셜 복합체 모델을 제안한다. 이 구성은 유한한 간선 차수를 가진 (2,d,ε)-확산자에 대한 명시적인 무한한 가족을 제공하며, 차수 유계인 고차원 확산자의 존재성에 대한 질문을 해결한다.

ABSTRACT

Let X be a 2-dimensional simplicial complex. The degree of an edge e is the number of 2-faces of X containing e. The complex X is an ε-expander if the coboundary d_1(ϕ) of every Z_2-valued 1-cochain ϕ\in C^1(X;Z_2) satisfies |support(d_1(ϕ))| \geq ε|\supp(ϕ+d_0(ψ))| for some 0-cochain ψ. Using a new model of random 2-complexes we show the existence of an infinite family of 2-dimensional ε-expanders with maximum edge degree d, for some fixed ε>0 and d.

연구 동기 및 목표

• 유한한 간선 차수를 가진 2차원 코버던던스 확산자의 존재를 확립하기 위해.
• 그로모프의 위상적 오버랩 성질를 고려할 때, 차수 유계 고차원 확산자에 대한 열린 질문을 해결하기 위해.
• 랜덤 라틴 제곱을 사용하여 무작위 2-복합체의 새로운 모델을 구성하여, n → ∞일 때 높은 확률로 높은 확산성을 갖도록 하기 위해.
• 이러한 복합체에서 코버던던스 확산 상수 h₁(Y)가 0에서 멀리 떨어져 있음을 보여주어 비자명한 코homology와 확산을 보장하기 위해.

제안 방법

• d개의 순서 n의 독립적인 랜덤 라틴 제곱 L₁,…,L_d로부터 3-분할 2차원 복합체 Y(L₁,…,L_d)를 구성하며, 각 2-단체는 트리플 (a_i, b_j, c_{π_ki(j)})에 대응한다.
• 코버던던스 확산 상수 h₁(X)를 정의한다. 이는 비코버던던스 1-코체 ϕ ∈ C¹(X;𝔽₂)에 대해 ||d₁ϕ||와 ||[ϕ]||의 최소 비율로 정의된다.
• 확률적 방법과 농도 불등식(예: 체르노프 불등식 및 랜덤 순열에서의 선형 형식에 대한 정리 4)을 사용하여 ||d₁ϕ||가 작을 확률을 유계한다.
• 작은 지지부와 큰 지지부를 별도로 분석한다: 작은 지지부에 대해서는 라틴 제곱의 구조를 통한 스펙트럴 유형의 유계를 적용하고, 큰 지지부에 대해서는 Dotterrer와 Kahle의 결과를 사용한다.
• d = 10¹¹ 및 ε = 10⁻¹¹일 때, n → ∞일 때 점점 더 큰 확률로 h₁(Y) > ε임을 증명한다.
• 그로모프의 정리를 활용하여 이러한 복합체가 어떤 δ > 0에 대해 (2,δ) 위상적 오버랩 성질을 만족함을 유도한다.

실험 결과

연구 질문

• RQ1 유한한 간선 차수 d와 양의 확산 상수 ε > 0을 가진 2차원 심플리셜 복합체의 무한한 가족이 존재하는가?
• RQ2 라틴 제곱과 같은 조합적 설계를 기반으로 한 무작위 구성은 강력한 스펙트럴 유사 성질을 가진 고차원 확산자를 생성할 수 있는가?
• RQ3 고도 D₀(Y)와 D₁(Y)가 모두 유계인 2-복합체를 구성하는 것은 가능한가, 고차수 정점의 존재를 피하면서?
• RQ4 랜덤 라틴 제곱 모델 Y(L₁,…,L_d)가 n → ∞일 때 확률이 1로 수렴함에 따라 h₁(Y)가 양수인가?
• RQ5 그로모프의 정리에 따르면 이러한 복합체는 위상적 오버랩 성질을 만족하는가?

주요 결과

• d = 10¹¹ 및 ε = 10⁻¹¹일 때, n → ∞일 때 복합체 Y(L₁,…,L_d)는 확률이 1로 수렴하는 ε-확산자이다.
• 이 구성은 고정된 d < ∞ 및 ε > 0을 가진 (2,d,ε)-확산자에 대한 무한한 가족을 제공하며, 차수 유계 고차원 확산자의 존재성에 대한 질문을 해결한다.
• 코버던던스 확산 상수 h₁(Y)는 0에서 멀리 떨어져 있으며, 특히 d = 10¹¹ 및 큰 n일 때 h₁(Y) > 10⁻¹¹이다.
• 이 모델은 d ≥ 100일 때, 스펙트럼 갭 추론과 가일라의 정리를 바탕으로 H₁(Y;𝔽₂) = 0 a.a.s.를 보장한다.
• 이 복합체들은 그로모프의 정리와 양의 확산성의 결과로 어떤 δ > 0에 대해 (2,δ) 위상적 오버랩 성질을 만족한다.
• 구성에서 확산을 거의 확실히 유도하는 최소 d는 d₀ ≥ 4이며, d₀ = 4일 가능성이 있다.