arXiv 1003.42612010-03-22math.MGcs.DSmath.FA

L_1 embeddings of the Heisenberg group and fast estimation of graph isoperimetry

Assaf Naor

备注：: To appear in Proceedings of the International Congress of Mathematicians, Hyderabad India, 2010

英文摘要：

We survey connections between the theory of bi-Lipschitz embeddings and the Sparsest Cut Problem in combinatorial optimization. The story of the Sparsest Cut Problem is a striking example of the deep interplay between analysis, geometry, and probability on the one hand, and computational issues in discrete mathematics on the other. We explain how the key ideas evolved over the past 20 years, emphasizing the interactions with Banach space theory, geometric measure theory, and geometric group theory. As an important illustrative example, we shall examine recently established connections to the the structure of the Heisenberg group, and the incompatibility of its Carnot-Carathéodory geometry with the geometry of the Lebesgue space $L_1$.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

英文摘要相关论文

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

继续探索

相关论文

Isometric Embeddings into Heisenberg Groups

We study isometric embeddings of a Euclidean space or a Heisenberg group into a higher dimensional Heisenberg group, where both the source and target space are equipped with an arbitrary left-invariant homogeneous distance that is not necessarily sub-Riemannian. We show that if all infinite geodesics in the target are straight lines, then such an embedding must be a homogeneous homomorphism. We discuss a necessary and certain sufficient conditions for the target space to have this `geodesic linearity property', and we provide various examples.

2017-06-07math.MG

Markov convexity and nonembeddability of the Heisenberg group

We compute the Markov convexity invariant of the continuous infinite dimensional Heisenberg group $\mathbb{H}_\infty$ to show that it is Markov 4-convex and cannot be Markov $p$-convex for any $p < 4$. As Markov convexity is a biLipschitz invariant and Hilbert space is Markov 2-convex, this gives a different proof of the classical theorem of Pansu and Semmes that the Heisenberg group does not admit a biLipschitz embedding into any Euclidean space. The Markov convexity lower bound will follow from exhibiting an explicit embedding of Laakso graphs $G_n$ into $\mathbb{H}_\infty$ that has distorti…

2016-01-31math.FAmath.MG

Bi-Lipschitz embeddings of Heisenberg submanifolds into Euclidean spaces

The Heisenberg group $\mathbb{H}$ equipped with a sub-Riemannian metric is one of the most well known examples of a doubling metric space which does not admit a bi-Lipschitz embedding into any Euclidean space. In this paper we investigate which \textit{subsets} of $\mathbb{H}$ bi-Lipschitz embed into Euclidean spaces. We show that there exists a universal constant $L>0$ such that lines $L$-bi-Lipschitz embed into $\mathbb{R}^3$ and planes $L$-bi-Lipschitz embed into $\mathbb{R}^4$. Moreover, $C^{1,1}$ $2$-manifolds without characteristic points as well as all $C^{1,1}$ $1$-manifolds locally $L…

2018-12-18math.MG

到 Heisenberg 群的厚嵌入与到多项式增长群的粗布线

Thick embeddings into the Heisenberg group and coarse wirings into groups with polynomial growth

本文研究有限图到 Heisenberg 群及多项式增长群的嵌入与布线，证明粗布线达到 Benjamini 猜想的最优体积，并在三维离散 Heisenberg 群中得到近优的 1-厚嵌入。

2024-10-28math.GRmath.MG

海森堡群上Wasserstein空间的等距与等距嵌入

Isometries and isometric embeddings of Wasserstein spaces over the Heisenberg group

该研究建立欧氏空间与海森堡群最优输运映射的关联，刻画海森堡群上p-Wasserstein空间的测地线结构与度量秩，证明其等距刚性，完善了该类空间的几何性质研究。

2025-07-15math-phmath.FAmath.MG

Embedding the Heisenberg group into a bounded dimensional Euclidean space with optimal distortion

Let $H := \begin{pmatrix} 1 & {\mathbf R} & {\mathbf R} \\ 0 & 1 &{\mathbf R} \\ 0 & 0 & 1 \end{pmatrix}$ denote the Heisenberg group with the usual Carnot-Carathéodory metric $d$. It is known (since the work of Pansu and Semmes) that the metric space $(H,d)$ cannot be embedded in a bilipchitz fashion into a Hilbert space; however, from a general theorem of Assouad, for any $0 < \varepsilon < 1$, the snowflaked metric space $(H,d^{1-\varepsilon})$ embeds into an infinite-dimensional Hilbert space with distortion $O( \varepsilon^{-1/2} )$. This distortion bound was shown by Austin, Naor, and Te…

2019-07-12math.APmath.MG

更多相关论文收起更多论文

Some properties of Hölder surfaces in the Heisenberg group

It is a folk conjecture that for alpha > 1/2 there is no alpha-Hoelder surface in the subRiemannian Heisenberg group. Namely, it is expected that there is no embedding from an open subset of R^2 into the Heisenberg group that is Hoelder continuous of order strictly greater than 1/2. The Heisenberg group here is equipped with its Carnot-Caratheodory distance. We show that, in the case that such a surface exists, it cannot be of essential bounded variation and it intersects some vertical line in at least a topological Cantor set.

2012-05-01math.DGmath.GTmath.MG

Bochner偏导数、Cheeger-Kleiner可微性与非嵌入性

Bochner Partial Derivatives, Cheeger-Kleiner Differentiability, and Non-Embedding

该研究在庞加莱不等式空间中定义含次黎曼Heisenberg群的Cheeger分形类，证明此类分形无法双Lipschitz嵌入满足特定Bochner偏导数条件的Banach空间，拓展了Creutz和Evseev的相关成果。

2023-07-20math.FAmath.MG

Bi-Lipschitz Embeddability of the Grushin Plane into Euclidean Space

Many sub-Riemannian manifolds like the Heisenberg group do not admit bi- Lipschitz embedding into any Euclidean space. In contrast, the Grushin plane admits a bi-Lipschitz embedding into some Euclidean space. This is done by extending a bi-Lipschitz embedding of the singular line, using a Whitney decomposition of its complement.

2010-11-01math.MG

Contact integral geometry and the Heisenberg algebra

Generalizing Weyl's tube formula and building on Chern's work, Alesker reinterpreted the Lipschitz-Killing curvature integrals as a family of valuations (finitely-additive measures with good analytic properties), attached canonically to any Riemannian manifold, which is universal with respect to isometric embeddings. In this note, we uncover a similar structure for contact manifolds. Namely, we show that a contact manifold admits a canonical family of generalized valuations, which are universal under contact embeddings. Those valuations assign numerical invariants to even-dimensional submanifo…

2019-02-03math.DGmath.MGmath.SG

Sharp quantitative nonembeddability of the Heisenberg group into superreflexive Banach spaces

Let $\H$ denote the discrete Heisenberg group, equipped with a word metric $d_W$ associated to some finite symmetric generating set. We show that if $(X,\|\cdot\|)$ is a $p$-convex Banach space then for any Lipschitz function $f:\H\to X$ there exist $x,y\in \H$ with $d_W(x,y)$ arbitrarily large and \begin{equation}\label{eq:comp abs} \frac{\|f(x)-f(y)\|}{d_W(x,y)}\lesssim \left(\frac{\log\log d_W(x,y)}{\log d_W(x,y)}\right)^{1/p}. \end{equation} We also show that any embedding into $X$ of a ball of radius $R\ge 4$ in $\H$ incurs bi-Lipschitz distortion that grows at least as a constant multipl…

2010-07-24math.FAmath.GRmath.MG

Metric differentiation, monotonicity and maps to L^1

We give a new approach to the infinitesimal structure of Lipschitz maps into L^1. As a first application, we give an alternative proof of the main theorem from an earlier paper, that the Heisenberg group does not admit a bi-Lipschitz embedding in L^1. The proof uses the metric differentiation theorem of Pauls and the cut metric decomposition to reduce the nonembedding argument to a classification of monotone subsets of the Heisenberg group.

2009-08-09math.DGmath.FAmath.GR

通过海森堡群对树积猜想的反驳

Disproof of the tree product conjecture via the Heisenberg group

Department of Mathematics, University College London（伦敦大学学院数学系）；Department of Mathematics and Statistics, McGill University（麦吉尔大学数学与统计系）；Department of Mathematics, ETH Zürich（苏黎世联邦理工学院数学系）

研究通过嵌入简单图的乘积理解复杂图的问题，以离散三维海森堡群的凯莱图有限子图为反例，利用定量中心坍缩定理反驳d = 4时树积猜想。

2026-07-07math.COmath.GRmath.MG

Embedding snowflakes of Carnot groups into bounded dimensional Euclidean spaces with optimal distortion

We show that for any Carnot group $G$ there exists a natural number $D_G$ such that for any $0<\varepsilon<1/2$ the metric space $(G,d_G^{1-\varepsilon})$ admits a bi-Lipschitz embedding into $\mathbb{R}^{D_G}$ with distortion $O_G(\varepsilon^{-1/2})$. This is done by building on the approach of T. Tao (2021), who established the above assertion when $G$ is the Heisenberg group using a new variant of the Nash--Moser iteration scheme combined with a new extension theorem for orthonormal vector fields. Beyond the need to overcome several technical issues that arise in the more general setting o…

2023-03-14math.APmath.MG

Vertical perimeter versus horizontal perimeter

The discrete Heisenberg group $\mathbb{H}_{\mathbb{Z}}^{2k+1}$ is the group generated by $a_1,b_1,\ldots,a_k,b_k,c$, subject to the relations $[a_1,b_1]=\ldots=[a_k,b_k]=c$ and $[a_i,a_j]=[b_i,b_j]=[a_i,b_j]=[a_i,c]=[b_i,c]=1$ for every distinct $i,j\in \{1,\ldots,k\}$. Denote $S=\{a_1^{\pm 1},b_1^{\pm 1},\ldots,a_k^{\pm 1},b_k^{\pm 1}\}$. The horizontal boundary of $Ω\subset \mathbb{H}_{\mathbb{Z}}^{2k+1}$, denoted $\partial_{h}Ω$, is the set of all $(x,y)\in Ω\times (\mathbb{H}_{\mathbb{Z}}^{2k+1}\setminus Ω)$ such that $x^{-1}y\in S$. The horizontal perimeter of $Ω$ is $|\partial_{h}Ω|$. Fo…

2018-03-13cs.DSmath.CAmath.CO