[論文レビュー] The wreath product of Z with Z has Hilbert compression exponent 2/3

Tim Austin, Assaf Naor+1 more|ArXiv.org|Jun 13, 2007

Geometric and Algebraic Topology参考文献 16被引用数 22

ひとこと要約

この論文は、半直積 ℤ≀ℤ のヒルベルト圧縮指数が正確に 2/3 であることを確立し、長年の未解決問題を解決した。K. Ball のマコフ型の概念を用い、Følner 集合上のランダムウォークを分析することで、上界 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 が別の手法で事前に確立した下界 2/3 の正しさを、一致する上界の証明により検証すること。

提案手法

• 著者たちは、特に L₂ が定数 1 をもつマコフ型 2 を持つという事実を活用して、度合い空間に K. Ball のマコフ型 p の概念を適用した。
• ℤ≀ℤ のカイリー群上の単純ランダムウォーク {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 リプシッツ写像 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 が鋭く、より良い埋め込み指数は存在しないことが分析により裏付けられた。