[Paper Review] Compression of uniform embeddings into Hilbert space

N. Brodskiy, D. Sonkin|ArXiv.org|Sep 5, 2005

Advanced Operator Algebra Research6 references4 citations

TL;DR

This paper establishes that hyperbolic groups and groups acting properly and cocompactly on finite-dimensional CAT(0) cubical complexes admit uniform embeddings into Hilbert space with compression function asymptotically at least $ \frac{t}{\sqrt{\ln t} \cdot \ln \ln t} $, implying their Hilbert space compression is exactly 1. The construction uses a weighted embedding based on hyperplane separation in cubical complexes, refining prior results and showing that such embeddings cannot achieve quasi-isometric compression beyond $ \frac{t}{\sqrt{\ln t}} $, as constrained by Bourgain's bounds.

ABSTRACT

If one tries to embed a metric space uniformly in Hilbert space, how close to quasi-isometric could the embedding be? We answer this question for finite dimensional CAT(0) cube complexes and for hyperbolic groups. In particular, we show that the Hilbert space compression of any hyperbolic group is 1.

Motivation & Objective

• To determine how close to quasi-isometric a uniform embedding of a metric space into Hilbert space can be.
• To analyze the asymptotic compression behavior of uniform embeddings for hyperbolic groups and CAT(0) cubical complexes.
• To improve existing lower bounds on Hilbert space compression for these classes of groups.
• To investigate whether uniform embeddings with compression approaching $ t $ exist, or whether they are limited by logarithmic factors.
• To establish sharp bounds by combining geometric group theory with functional analysis techniques on embedding compression.

Proposed method

• Construct a uniform embedding $ f: G \to \mathcal{H} $ using a weight function $ \xi(t) = \frac{\sqrt{t}}{\sqrt{\ln t} \cdot \ln \ln t} $ for $ t \geq M $, based on hyperplane separation in the cubical complex.
• Define the embedding via $ f(V) = \sum_h \xi(N_V(h)) \cdot \vec{e}_h $, where $ N_V(h) $ counts the distance from $ V $ to the hyperplane $ h $ in a normal cube path.
• Bound the dilatation $ \delta_f(t) \preceq t $ by showing edge expansions are uniformly bounded using the $ \ell^2 $-norm of differences in $ \xi $-values across adjacent vertices.
• Estimate the compression function $ \rho_f(t) $ from below by analyzing the number of hyperplanes separating two points at distance $ t $, using the non-decreasing nature of $ \xi $.
• Apply summation estimates from Lemma 2.5 to show $ \rho_f(t) \succeq \frac{t}{\sqrt{\ln t} \cdot \ln \ln t} $, leveraging the growth of $ \xi(t) $.
• Use known results from Bourgain and Sageev–Wise to show that if the group has no rank-2 free subgroup, it is virtually abelian and thus quasi-isometrically embeddable, otherwise the compression is bounded by $ \frac{t}{\sqrt{\ln t}} $.

Experimental results

Research questions

• RQ1 Can uniform embeddings of hyperbolic groups into Hilbert space achieve compression arbitrarily close to linear, or are they limited by logarithmic factors?
• RQ2 What is the optimal lower bound for Hilbert space compression in groups acting on finite-dimensional CAT(0) cubical complexes?
• RQ3 Is there a single uniform embedding of the free group $ F_2 $ into Hilbert space with compression $ \rho_f(t) \succeq t^{1 - \frac{1}{n}} $ for all $ n $, or must one use a sequence?
• RQ4 How does the presence of finite subgroups affect the possibility of quasi-isometric embedding into Hilbert space?
• RQ5 Can the compression of a uniform embedding be improved beyond $ \frac{t}{\sqrt{\ln t}} $, or is this the theoretical limit?

Key findings

• The Hilbert space compression of any hyperbolic group is exactly 1, meaning it admits a uniform embedding with compression function $ \rho_f(t) \succeq \frac{t}{\sqrt{\ln t} \cdot \ln \ln t} $.
• For the free group $ F_2 $, a single uniform embedding is constructed with compression $ \rho_f(t) \succeq \frac{t}{\sqrt{\ln t} \cdot \ln \ln t} $, improving upon previous results using sequences of embeddings.
• The construction achieves compression strictly better than $ t^{1 - \frac{1}{n}} $ for any fixed $ n $, and approaches $ t $ faster than any power less than 1.
• Any uniform embedding of a non-elementary hyperbolic group into Hilbert space satisfies $ \rho_f(t) \preceq \frac{t}{\sqrt{\ln t}} $, matching Bourgain's upper bound.
• For groups acting properly and cocompactly on finite-dimensional CAT(0) cubical complexes, if the orders of finite subgroups are uniformly bounded, then either the group is virtually abelian (and thus quasi-isometrically embeddable), or all uniform embeddings satisfy $ \rho_f(t) \preceq \frac{t}{\sqrt{\ln t}} $.
• The constructed embedding achieves compression $ \rho_f(t) \succeq \frac{t}{\sqrt{\ln t} \cdot \ln \ln t} $, and this bound is sharp in the sense that no faster-growing compression is possible under known constraints.