[論文レビュー] The Euclidean distortion of the lamplighter group

Tim Austin, Assaf Naor+1 more|ArXiv.org|May 31, 2007

Mathematics and Applications参考文献 12被引用数 4

ひとこと要約

この論文は、巡回ラムプライト群 $C_2 \wr C_n$ のユークリッド歪みが $\Theta(\sqrt{\log n})$ であることを確立し、既に知られていた下界と一致することを示している。著者らは、非可約ユニタリ表現を用いて、ヒルバート空間への明示的かつ等変なリプシッツ同型埋め込みを構成し、表現論的手法を用いて歪みの上界のタイトさを証明している。

ABSTRACT

We show that the cyclic lamplighter group $C_2 \bwr C_n$ embeds into Hilbert space with distortion ${ m O}(\sqrt{\log n})$. This matches the lower bound proved by Lee, Naor and Peres in \cite{LeeNaoPer}, answering a question posed in that paper. Thus the Euclidean distortion of $C_2 \bwr C_n$ is $Θ(\sqrt{\log n})$. Our embedding is constructed explicitly in terms of the irreducible representations of the group. Since the optimal Euclidean embedding of a finite group can always be chosen to be equivariant, as shown by Aharoni, Maurey and Mityagin \cite{AhaMauMit} and by Gromov (see \cite{deCTesVal}), such representation-theoretic considerations suggest a general tool for obtaining upper and lower bounds on Euclidean embeddings of finite groups.

研究の動機と目的

• 既知の $\Omega(\sqrt{\log n})$ の下界と、$C_2 \wr C_n$ のユークリッド歪みに対する一致する上界の欠如の間のギャップを埋める。
• 最適歪みを達成する、明示的かつ低歪みのヒルバート空間へのラムプライト群の埋め込みを構築する。
• 特に、非可約ユニタリ表現への分解を用いた表現論的手法が、有限群のユークリッド歪みに対するタイトな上界をもたらすことを示す。
• リー、ナオア、ペレス（2006年）が提起した以前の予想された下界がタイトであることを確認し、未解決の問題に答えている。
• アハロニ、モレーやミティアギン、グロモフらの結果に基づき、等変埋め込みが歪みを最小化する役割を果たすことを探求する。

提案手法

• $C_2 \wr C_n$ のユニタリ表現を、その非可約表現の直和として構成する。
• ヒルバート空間内に特定のベクトル $v$ を選択し、軌道写像 $g \mapsto \beta(g)v$ がヒルバート空間へのバイリプシッツ埋め込みをもたらすようにする。
• 群の非可約表現の構造を用いて、スペクトル的および調和解析的手法により埋め込みの歪みを制御する。
• アハロニ、モレーやミティアギン、グロモフらによって確立されたように、アメニタリ群の最小歪み埋め込みは等変に選べることを活用する。
• 表現論的ノルムと指標和を用いて、ヒルバート空間距離と語の距離の比を評価することで歪みを分析する。
• ケイリー群の固有値およびジグザグ積に関する既知の結果を応用し、特定の生成集合ではより良い歪み上界が得られないことを示す。

実験結果

リサーチクエスチョン

• RQ1 $C_2 \wr C_n$ のユークリッド歪みに対する $\Omega(\sqrt{\log n})$ の下界はタイトか？
• RQ2 $C_2 \wr C_n$ に対して、明示的かつ等変なヒルバート空間埋め込みが歪み $O(\sqrt{\log n})$ を達成できるか？
• RQ3 群のユニタリ表現の分解を、ヒルバート空間への低歪み埋め込みを構築するためにどれほど活用できるか？
• RQ4 生成集合の選択が、$C_2 \wr C_n$ のようなワレーンプロダクトのユークリッド歪みに顕著な影響を及ぼすか？
• RQ5 $C_2 \wr C_n$ の $L^1$-空間における最小歪みは有界か、それとも $n$ と共に無限大に発散するか？

主な発見

• $C_2 \wr C_n$ のユークリッド歪みは正確に $\Theta(\sqrt{\log n})$ であり、以前に知られていた下界がタイトであることを確認した。
• 明示的かつ等変なヒルバート空間への埋め込みが、歪み $O(\sqrt{\log n})$ を達成しており、下界と定数倍の差異を除いて一致する。
• 埋め込みは、群の非可約ユニタリ表現の直和と、表現空間内に適切に選ばれたベクトルを用いて構成された。
• この構成により、表現論的手法が有限群のユークリッド歪みに対する鋭い上界をもたらす可能性があることが示された。
• サイズ $\Omega(\log n)$ のランダムな生成集合に対して、$C_2 \wr C_n$ の歪みは $\Omega(\sqrt{n})$ にまで増加し、生成集合に強く依存することが示された。
• この結果は、スペクトル的手法が常に最適な上界をもたらすとは限らず、非アーベル群の歪み解析には表現論がより洗練されたツールである可能性を示唆している。