[논문 리뷰] The wreath product of Z with Z has Hilbert compression exponent 2/3

Tim Austin, Assaf Naor외 1명|ArXiv.org|2007. 06. 13.

Geometric and Algebraic Topology참고 문헌 16인용 수 22

한 줄 요약

이 논문은 와이어드 프로덕트 ℤ≀ℤ의 힐버트 압축 지수 값이 정확히 2/3임을 증명하며, 오랫동안 남아있던 열린 문제를 해결한다. K. Ball의 마코프 유형 개념을 사용하고, Følner 집합 위에서의 랜덤 워크를 분석함으로써, 이전에 알려진 하한 2/3과 일치하는 상한 2/3을 도출함으로써, 애매한 군에서의 점근적 거리 구조 분석을 통해 정확한 값을 확인한다.

ABSTRACT

Let G be a finitely generated group, equipped with the word metric d associated with some finite set of generators. The Hilbert compression exponent of G is the supremum over all $α\ge 0$ such that there exists a Lipschitz mapping $f:G o L_2$ and a constant $c>0$ such that for all $x,y\in G$ we have $\|f(x)-f(y)\|_2\ge cd(x,y)^α.$ In \cite{AGS06} it was shown that the Hilbert compression exponent of the wreath product $\Z\bwr \Z $ is at most $\frac34$, and in \cite{NP07} was proved that this exponent is at least $\frac23$. Here we show that $\frac23$ is the correct value. Our proof is based on an application of K. Ball's notion of Markov type.

연구 동기 및 목표

• 이전에 2/3와 3/4 사이로 근사된 α*(ℤ≀ℤ)의 정확한 값을 규명하는 것.
• α*(ℤ≀ℤ)에 대한 알려진 하한 2/3과 상한 3/4 사이의 격차를 메우는 것.
• K. Ball의 마코프 유형 이론을 이용해 무한 가환 군에 적용함으로써 2/3가 날카로운 상한임을 증명하는 것.
• Naor와 Peres(2012)가 다른 방법으로 이전에 확립한 하한 2/3의 정확성을 검증하기 위해 일치하는 상한을 증명하는 것.

제안 방법

• 저자들은 메트릭 공간에 대해 K. Ball의 마코프 유형 p 개념을 적용하며, 특히 L₂가 상수 1을 가진 마코프 유형 2를 가진다는 사실을 활용한다.
• ℤ≀ℤ의 카일리 그래프에서의 단순 랜덤 워크 {Wₜ}를 분석하여, β = 1/2 이며 어떤 c, δ > 0 에 대해 Pr(d(Wₜ,e) ≥ ct^β) ≥ δ 임을 보인다.
• 마코프 유형 부등식을 사용하여 압축 함수 ρ(t)와 L₂에서의 기대 이동 거리 사이의 관계를 유도함으로써, ρ(ct^β) ≤ M_p(X)/δ^{1/p} t^{1/p} 를 도출한다.
• 이를 그룹의 Følner 수열과 랜덤 워크의 점근적 행동을 결합하여 α*(G) ≤ 1/(2β) 를 유도함으로써, α*(ℤ≀ℤ) ≤ 2/3 를 도출한다.
• 이 방법은 Følner 집합을 따라 점근적 분석에 기반하며, 군을 가환 군으로 간주하고 랜덤 워크의 정적 및 가역성을 활용한다.
• 최종적으로 상한과 Naor와 Peres(2012)에서 알려진 하한 2/3을 결합함으로써 등식이 성립함을 증명한다.

실험 결과

연구 질문

• RQ1 이전에 [2/3, 3/4] 사이로 알려진 α*(ℤ≀ℤ)의 정확한 값은 무엇인가요?
• RQ2 메트릭 불변량인 마코프 유형을 사용하여 α*(ℤ≀ℤ)에 대한 상한 3/4를 2/3으로 향상시킬 수 있을까요?
• RQ3 K. Ball의 마코프 유형 이론은 무한 가환 군에서의 힐버트 압축을 분석하는 데 실용적인 프레임워크를 제공할 수 있을까요?
• RQ4 α*(ℤ≀ℤ)에 대한 하한 2/3는 날카로운가, 아니면 더 향상시킬 수 있을까요?

주요 결과

• ℤ≀ℤ의 힐버트 압축 지수는 정확히 2/3이며, 이는 Tessera의 추측을 해결하고 하한의 날카로움을 확인한다.
• Følner 집합 위에서의 랜덤 워크에 마코프 유형 2를 적용함으로써 상한 α*(ℤ≀ℤ) ≤ 2/3 가 확립된다.
• 모든 1-Lipschitz 함수 f:ℤ≀ℤ → L₂ 중에서 ‖f(x)−f(y)‖₂ ≥ c d(x,y)^α 를 만족하는 함수에 대해, 지수 α 는 2/3 를 초과할 수 없다는 것이 증명된다.
• 이 방법은 랜덤 워크의 점근적 행동, 특히 d(Wₜ,e) ≥ ct^{1/2} 가 양의 확률로 성립한다는 사실이 압축 지수를 유한하게 제한하는 데 충분하다는 것을 확인한다.
• 이 결과는 반복 와이어드 프로덕트 ℤ_(k)로 확장되며, α*(ℤ_(k)) = 1/(2−2^{1−k}) 라는 일반적인 패턴을 보인다.
• 분석은 Naor와 Peres(2012)에서 확보한 하한 2/3 가 날카로우며, 더 나은 임bedding 지수는 존재하지 않음을 확인한다.