Compression bounds for Lipschitz maps from the Heisenberg group to $L_1$

Jeff Cheeger, Bruce Kleiner, Assaf Naor

We prove a quantitative bi-Lipschitz nonembedding theorem for the Heisenberg group with its Carnot-Carathéodory metric and apply it to give a lower bound on the integrality gap of…