[논문 리뷰] On property (T) for $\operatorname{Aut}(F_n)$ and $\operatorname{SL}_n(\mathbb{Z})$

Marek Kaluba, Dawid Kielak외 1명|arXiv (Cornell University)|2018. 12. 09.

Advanced Topology and Set Theory참고 문헌 16인용 수 5

한 줄 요약

이 논문은 모든 n ≥ 6에 대해 Aut(Fₙ)가 칸다른 성질 (T)를 갖는다고 확립하며, 이는 이전 연구와 결합하여 n ≥ 5인 경우의 분류를 완성한다. 군 대수에서 라플라스 원소의 제곱합 분해를 구하기 위해 정수형 최적화를 사용하여, 칸다른 상수에 대한 명시적인 하한을 도출하고, SAut(Fₙ)와 SLₙ(ℤ)의 칸다른 반경이 각각 2 이하임을 보인다.

ABSTRACT

We prove that $\operatorname{Aut}(F_n)$ has Kazhdan's property (T) for every $n \geqslant 6$. Together with a previous result of Kaluba, Nowak, and Ozawa, this gives the same statement for $n\geqslant 5$. We also provide explicit lower bounds for the Kazhdan constants of $\operatorname{SAut}(F_n)$ (with $n \geqslant 6$) and of $\operatorname{SL}_n(\mathbb{Z})$ (with $n \geqslant 3$) with respect to natural generating sets. In the latter case, these bounds improve upon previously known lower bounds whenever $n > 6$.

연구 동기 및 목표

• n ≥ 6일 때 Aut(Fₙ)의 칸다른 성질 (T)를 확립하여, 모든 n ≥ 5에 대한 분류를 완성한다.
• 자연스러운 생성집합에 대해 SAut(Fₙ) (n ≥ 6) 및 SLₙ(ℤ) (n ≥ 3)의 칸다른 상수에 대한 명시적인 하한을 제공한다.
• 주어진 n의 범위에서 SAut(Fₙ) 및 SLₙ(ℤ)의 칸다른 반경이 2 이하임을 보인다.
• 대칭군의 작용을 통한 대칭화를 통해 군 대수에서의 합의 제곱 분해 방법을 유한군의 무한 집합으로 확장한다.
• Julia의 SCS 솔버와 JuMP 모델링 언어를 사용한 정수형 프로그래밍을 통해 수치적 결과를 검증하고 재현한다.

제안 방법

• Ozawa의 성질 (T) 특성화를 활용: Δ² − λΔ = ∑ ξᵢ*ξᵢ in ℝG 형태의 합의 제곱 분해 존재.
• 대칭군의 기저 원소에 대한 작용을 이용한 대칭화 기법을 적용하여 문제를 유한차원 군 대수로 축소.
• 정수형 프로그래밍을 사용하여 군 대수 원소의 합의 제곱 분해에 대응하는 정부호 행렬을 수치적으로 구한다.
• Julia의 JuMP를 통해 SCS 솔버를 사용하여 ℝ[SAut(Fₙ)] 및 ℝ[SLₙ(ℤ)]의 원소에 대한 근사 합의 제곱 분해를 계산한다.
• Proposition 4.1을 적용하여 n=5에서 검증된 하나의 분해를 기반으로, n ≥ 103인 모든 n에 대해 국소 분해를 전역 성질 (T)로 확장한다.
• SLₙ(ℤ) 및 SAut(Fₙ)의 사전 계산된 자료와 Jupyter 노트북을 사용하여 결과를 검증하며, 궤도 분해와 곱셈 표를 포함한다.

실험 결과

연구 질문

• RQ1 n ≥ 6일 때 Aut(Fₙ)는 칸다른 성질 (T)를 만족하는가?
• RQ2 자연스러운 생성집합에 대해 SAut(Fₙ) 및 SLₙ(ℤ)의 칸다른 상수에 대한 명시적인 하한은 무엇인가?
• RQ3 n ≥ 6 및 n ≥ 3일 때 각각 SAut(Fₙ) 및 SLₙ(ℤ)의 칸다른 반경이 2 이하로 상한을 가질 수 있는가?
• RQ4 군 대수에서의 합의 제곱 분해를 대칭화를 통해 유한군의 무한 집합에 대해 성질 (T)를 증명하는 데 사용할 수 있는가?
• RQ5 수치적 정수형 프로그래밍을 통해 Aut(Fₙ) 및 SLₙ(ℤ)와 같은 군의 성질 (T)를 얼마나 높은 신뢰도로 검증할 수 있는가?

주요 결과

• 모든 n ≥ 6에 대해 Aut(Fₙ)는 칸다른 성질 (T)를 갖는다. 이는 이전 결과와 결합하여 n ≥ 5인 경우에도 성립한다.
• SAut(Fₙ) (n ≥ 6) 및 SLₙ(ℤ) (n ≥ 3)의 칸다른 상수에 대한 명시적인 하한이 제공되며, n > 6인 경우 이전의 하한보다 향상된다.
• 각각 n ≥ 6 및 n ≥ 3일 때 SAut(Fₙ) 및 SLₙ(ℤ)의 칸다른 반경은 2 이하이다.
• I·SAut(F₅) 내에서 Adj₅ + 2Op₅ − 0.28Δ에 대한 합의 제곱 분해가 성공적으로 계산되었으며, 이는 n ≥ 103인 SAut(Fₙ)의 성질 (T)를 확인한다.
• Adj₅ + 1.5Op₅에 대한 최적화 문제는 수치적으로 잘 조절되어 있었고, 더 작은 n보다 빠르게 수렴하여 더 큰 군에서의 안정성이 향상됨을 시사한다.
• 모든 계산의 검증을 가능하게 하기 위해 오픈소스 Julia 코드, Jupyter 노트북, Zenodo에 호스팅된 데이터를 통해 결과의 재현이 가능하다.