Source author record

Guy C. David

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

10works
2topics
4close collaborators

Published work

10 publications

preprint2023arXiv

A non-injective Assouad-type theorem with sharp dimension

Lipschitz light maps, defined by Cheeger and Kleiner, are a class of non-injective "foldings" between metric spaces that preserve some geometric information. We prove that if a metric space (X,d)(X,d) has Nagata dimension nn, then its "snowflakes" (X,dε)(X,d^ε) admit Lipschitz light maps to Rn\mathbb{R}^n for all 0<ε<10<ε<1. This can be seen as an analog of a well-known theorem of Assouad. We also provide an application to a new variant of conformal dimension.

preprint2022arXiv

Bi-Lipschitz geometry of quasiconformal trees

A quasiconformal tree is a doubling metric tree in which the diameter of each arc is bounded above by a fixed multiple of the distance between its endpoints. We study the geometry of these trees in two directions. First, we construct a catalog of metric trees in a purely combinatorial way, and show that every quasiconformal tree is bi-Lipschitz equivalent to one of the trees in our catalog. This is inspired by results of Herron-Meyer and Rohde for quasi-arcs. Second, we show that a quasiconformal tree bi-Lipschitz embeds in a Euclidean space if and only if its set of leaves admits such an embedding. In particular, all quasi-arcs bi-Lipschitz embed into some Euclidean space.

preprint2022arXiv

Quantitative differentiation and the medial axis

We study the medial axis of a set KK in Euclidean space (the set of points in space with more than one closest point in KK) from a "coarse" and "quantitative" perspective. We show that on "most" balls B(x,r)B(x,r) in the complement of KK, the set of almost-closest points to xx in KK takes up a small angle as seen from xx. In other words, most locations and scales in the complement of KK "appear" to fall outside the medial axis if one looks with only a certain finite resolution. The word "most" involves a Carleson packing condition, and our bounds are independent of the set KK.

preprint2020arXiv

Infinitesimal splitting for spaces with thick curve families and Euclidean embeddings

We study metric measure spaces that admit "thick" families of rectifiable curves or curve fragments, in the form of Alberti representations or curve families of positive modulus. We show that such spaces cannot be bi-Lipschitz embedded into any Euclidean space unless they admit some "infinitesimal splitting": their tangent spaces are bi-Lipschitz equivalent to product spaces of the form Z×RkZ\times \mathbb{R}^k for some k≥1k\geq 1. We also provide applications to conformal dimension and give new proofs of some previously known non-embedding results.

preprint2020arXiv

Quantitative decompositions of Lipschitz mappings into metric spaces

We study the quantitative properties of Lipschitz mappings from Euclidean spaces into metric spaces. We prove that it is always possible to decompose the domain of such a mapping into pieces on which the mapping "behaves like a projection mapping" along with a "garbage set" that is arbitrarily small in an appropriate sense. Moreover, our control is quantitative, i.e., independent of both the particular mapping and the metric space it maps into. This improves a theorem of Azzam-Schul from the paper "Hard Sard", and answers a question left open in that paper. The proof uses ideas of quantitative differentiation, as well as a detailed study of how to supplement Lipschitz mappings by additional coordinates to form bi-Lipschitz mappings.

preprint2016arXiv

Rectifiability of planes and Alberti representations

We study metric measure spaces that have quantitative topological control, as well as a weak form of differentiable structure. In particular, let XX be a pointwise doubling metric measure space. Let UU be a Borel subset on which the blowups of XX are topological planes. We show that UU can admit at most 22 independent Alberti representations. Furthermore, if UU admits 22 Alberti representations, then the restriction of the measure to UU is 22-rectifiable. This is a partial answer to the case n=2n=2 of a question of the second author and Schioppa.

preprint2016arXiv

The Analyst's traveling salesman theorem in graph inverse limits

We prove a version of Peter Jones' Analyst's traveling salesman theorem in a class of highly non-Euclidean metric spaces introduced by Laakso and generalized by Cheeger-Kleiner. These spaces are constructed as inverse limits of metric graphs, and include examples which are doubling and have a Poincare inequality. We show that a set in one of these spaces is contained in a rectifiable curve if and only if it is quantitatively "flat" at most locations and scales, where flatness is measured with respect to so-called monotone geodesics. This provides a first examination of quantitative rectifiability within these spaces.

preprint2015arXiv

Lusin-type theorems for Cheeger derivatives on metric measure spaces

A theorem of Lusin states that every Borel function on RR is equal almost everywhere to the derivative of a continuous function. This result was later generalized to RnR^n in works of Alberti and Moonens-Pfeffer. In this note, we prove direct analogs of these results on a large class of metric measure spaces, those with doubling measures and Poincaré inequalities, which admit a form of differentiation by a famous theorem of Cheeger.

preprint2014arXiv

Tangents and rectifiability of Ahlfors regular Lipschitz differentiability spaces

We study Lipschitz differentiability spaces, a class of metric measure spaces introduced by Cheeger. We show that if an Ahlfors regular Lipschitz differentiability space has charts of maximal dimension, then, at almost every point, all its tangents are uniformly rectifiable. In particular, at almost every point, such a space admits a tangent that is isometric to a finite-dimensional Banach space. In contrast, we also show that if an Ahlfors regular Lipschitz differentiability space has charts of non-maximal dimension, then these charts are strongly unrectifiable in the sense of Ambrosio-Kirchheim.

preprint2013arXiv

Bi-Lipschitz Pieces between Manifolds

A well-known class of questions asks the following: If XX and YY are metric measure spaces and f:X→Yf:X\rightarrow Y is a Lipschitz mapping whose image has positive measure, then must ff have large pieces on which it is bi-Lipschitz? Building on methods of David (who is not the present author) and Semmes, we answer this question in the affirmative for Lipschitz mappings between certain types of Ahlfors ss-regular, topological dd-manifolds. In general, these manifolds need not be bi-Lipschitz embeddable in any Euclidean space. To prove the result, we use some facts on the Gromov-Hausdorff convergence of manifolds and a topological theorem of Bonk and Kleiner. This also yields a new proof of the uniform rectifiability of some metric manifolds.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.