[论文解读] The Euclidean distortion of the lamplighter group

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

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

一句话总结

该论文证明了循环 lamplighter 群 $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.

研究动机与目标

• 填补关于 $C_2 \wr C_n$ 的欧几里得畸变已知的 $\Omega(\sqrt{\log n})$ 下界与缺乏匹配上界之间的差距。
• 构造一个显式的、低畸变的嵌入，将 lamplighter 群嵌入希尔伯特空间，以实现最优畸变。
• 证明表示论方法——特别是将群的酉表示分解为不可约表示——可以为有限群提供欧几里得畸变的紧致上界。
• 确认此前推测的下界是紧致的，从而回答了 Lee、Naor 和 Peres（2006 年）提出的一个开放问题。
• 探讨等变嵌入在最小化畸变中的作用，基于 Aharoni、Maurey、Mityagin 和 Gromov 的结果。

提出的方法

• 将 $C_2 \wr C_n$ 的酉表示构造为不可约表示的直和。
• 在希尔伯特空间中选择一个特定向量 $v$，使得轨道映射 $g \mapsto \beta(g)v$ 生成希尔伯特空间中的双李普希茨嵌入。
• 利用群的不可约表示的结构，通过谱论和调和分析技术控制嵌入的畸变。
• 利用阿梅布尔群的最小畸变嵌入可被选为等变的这一事实，该结论由 Aharoni、Maurey、Mityagin 和 Gromov 建立。
• 通过表示论范数和特征和来界定希尔伯特空间距离与词度量距离之比，从而分析畸变。
• 应用关于凯莱图特征值和锯齿积的已知结果，排除在某些生成集下获得更优畸变界的可能性。

实验结果

研究问题

• 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})$，表明其对生成集有强烈依赖性。
• 该结果表明，谱方法并不总能给出最优界，而表示论为分析非交换群中的畸变提供了更精细的工具。