BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Matthew Badger

Matthew Badger contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.CAmath.MGmath.APmath.FA

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
11works
0followers
4topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

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

Published work

11 published item(s)

preprint2022arXiv

Subsets of rectifiable curves in Banach spaces I: sharp exponents in traveling salesman theorems

The Analyst&#39;s Traveling Salesman Problem is to find a characterization of subsets of rectifiable curves in a metric space. This problem was introduced and solved in the plane by Jones in 1990 and subsequently solved in higher-dimensional Euclidean spaces by Okikiolu in 1992 and in the infinite-dimensional Hilbert space $\ell_2$ by Schul in 2007. In this paper, we establish sharp extensions of Schul&#39;s necessary and sufficient conditions for a bounded set $E\subset\ell_p$ to be contained in a rectifiable curve from $p=2$ to $1<p<\infty$. While the necessary and sufficient conditions coincide when $p=2$, we demonstrate that there is a strict gap between the necessary condition and sufficient condition when $p\neq 2$. We also identify and correct technical errors in the proof by Schul. This investigation is partly motivated by recent work of Edelen, Naber, and Valtorta on Reifenberg-type theorems in Banach spaces and complements work of Hahlomaa and recent work of David and Schul on the Analyst&#39;s TSP in general metric spaces.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Subsets of rectifiable curves in Banach spaces II: universal estimates for almost flat arcs

We prove that in any Banach space the set of windows in which a rectifiable curve resembles two or more straight line segments is quantitatively small with constants that are independent of the curve, the dimension of the space, and the choice of norm. Together with Part I, this completes the proof of the necessary half of the Analyst&#39;s Traveling Salesman theorem with sharp exponent in uniformly convex spaces.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Radon measures and Lipschitz graphs

For all $1\leq m\leq n-1$, we investigate the interaction of locally finite measures in $\mathbb{R}^n$ with the family of $m$-dimensional Lipschitz graphs. For instance, we characterize Radon measures $μ$, which are carried by Lipschitz graphs in the sense that there exist graphs $Γ_1,Γ_2,\dots$ such that $μ(\mathbb{R}^n\setminus\bigcup_1^\inftyΓ_i)=0$, using only countably many evaluations of the measure. This problem in geometric measure theory was classically studied within smaller classes of measures, e.g.~for the restrictions of $m$-dimensional Hausdorff measure $\mathcal{H}^m$ to $E\subseteq \mathbb{R}^n$ with $0<\mathcal{H}^m(E)<\infty$. However, an example of Csörnyei, Käenmäki, Rajala, and Suomala shows that classical methods are insufficient to detect when a general measure charges a Lipschitz graph. To develop a characterization of Lipschitz graph rectifiability for arbitrary Radon measures, we look at the behavior of coarse doubling ratios of the measure on dyadic cubes that intersect conical annuli. This extends a characterization of graph rectifiability for pointwise doubling measures by Naples by mimicking the approach used in the characterization of Radon measures carried by rectifiable curves by Badger and Schul.

0 citations0 reviewsNo code linkedOpen access
preprint2019arXiv

Generalized rectifiability of measures and the identification problem

One goal of geometric measure theory is to understand how measures in the plane or higher dimensional Euclidean space interact with families of lower dimensional sets. An important dichotomy arises between the class of rectifiable measures, which give full measure to a countable union of the lower dimensional sets, and the class of purely unrectifiable measures, which assign measure zero to each distinguished set. There are several commonly used definitions of rectifiable and purely unrectifiable measures in the literature (using different families of lower dimensional sets such as Lipschitz images of subspaces or Lipschitz graphs), but all of them can be encoded using the same framework. In this paper, we describe a framework for generalized rectifiability, review a selection of classical results on rectifiable measures in this context, and survey recent advances on the identification problem for Radon measures that are carried by Lipschitz or Hölder or $C^{1,α}$ images of Euclidean subspaces, including theorems of Azzam-Tolsa, Badger-Schul, Badger-Vellis, Edelen-Naber-Valtorta, Ghinassi, and Tolsa-Toro. This survey paper is based on a talk at the Northeast Analysis Network Conference held in Syracuse, New York in September 2017.

0 citations0 reviewsNo code linkedOpen access
preprint2019arXiv

Hölder curves and parameterizations in the Analyst&#39;s Traveling Salesman theorem

We investigate the geometry of sets in Euclidean and infinite-dimensional Hilbert spaces. We establish sufficient conditions that ensure a set of points is contained in the image of a $(1/s)$-Hölder continuous map $f:[0,1]\rightarrow l^2$, with $s>1$. Our results are motivated by and generalize the &#34;sufficient half&#34; of the Analyst&#39;s Traveling Salesman Theorem, which characterizes subsets of rectifiable curves in $\mathbb{R}^N$ or $l^2$ in terms of a quadratic sum of linear approximation numbers called Jones&#39; beta numbers. The original proof of the Analyst&#39;s Traveling Salesman Theorem depends on a well-known metric characterization of rectifiable curves from the 1920s, which is not available for higher-dimensional curves such as Hölder curves. To overcome this obstacle, we reimagine Jones&#39; non-parametric proof and show how to construct parameterizations of the intermediate approximating curves $f_k([0,1])$. We then find conditions in terms of tube approximations that ensure the approximating curves converge to a Hölder curve. As an application, we provide sufficient conditions that guarantee fractional rectifiability of pointwise doubling measures in $\mathbb{R}^N$.

0 citations0 reviewsNo code linkedOpen access
preprint2018arXiv

Geometry of measures in real dimensions via Hölder parameterizations

We investigate the influence that $s$-dimensional lower and upper Hausdorff densities have on the geometry of a Radon measure in $\mathbb{R}^n$ when $s$ is a real number between $0$ and $n$. This topic in geometric measure theory has been extensively studied when $s$ is an integer. In this paper, we focus on the non-integer case, building upon a series of papers on $s$-sets by Martín and Mattila from 1988 to 2000. When $0<s<1$, we prove that measures with almost everywhere positive lower density and finite upper density are carried by countably many bi-Lipschitz curves. When $1\leq s<n$, we identify conditions on the lower density that ensure the measure is either carried by or singular to $(1/s)$-Hölder curves. The latter results extend part of the recent work of Badger and Schul, which examined the case $s=1$ (Lipschitz curves) in depth. Of further interest, we introduce Hölder and bi-Lipschitz parameterization theorems for Euclidean sets with &#34;small&#34; Assouad dimension.

0 citations0 reviewsNo code linkedOpen access
preprint2017arXiv

Multiscale analysis of 1-rectifiable measures II: characterizations

A measure is 1-rectifiable if there is a countable union of finite length curves whose complement has zero measure. We characterize 1-rectifiable Radon measures $μ$ in $n$-dimensional Euclidean space for all $n\geq 2$ in terms of positivity of the lower density and finiteness of a geometric square function, which loosely speaking, records in an $L^2$ gauge the extent to which $μ$ admits approximate tangent lines, or has rapidly growing density ratios, along its support. In contrast with the classical theorems of Besicovitch, Morse and Randolph, and Moore, we do not assume an a priori relationship between $μ$ and 1-dimensional Hausdorff measure. We also characterize purely 1-unrectifiable Radon measures, i.e. locally finite measures that give measure zero to every finite length curve. Characterizations of this form were originally conjectured to exist by P. Jones. Along the way, we develop an $L^2$ variant of P. Jones&#39; traveling salesman construction, which is of independent interest.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Two sufficient conditions for rectifiable measures

We identify two sufficient conditions for locally finite Borel measures on $\mathbb{R}^n$ to give full mass to a countable family of Lipschitz images of $\mathbb{R}^m$. The first condition, extending a prior result of Pajot, is a sufficient test in terms of $L^p$ affine approximability for a locally finite Borel measure $μ$ on $\mathbb{R}^n$ satisfying the global regularity hypothesis $$\limsup_{r\downarrow 0} μ(B(x,r))/r^m <\infty\quad \text{at $μ$-a.e. $x\in\mathbb{R}^n$}$$ to be $m$-rectifiable in the sense above. The second condition is an assumption on the growth rate of the 1-density that ensures a locally finite Borel measure $μ$ on $\mathbb{R}^n$ with $$\lim_{r\downarrow 0} μ(B(x,r))/r=\infty\quad\text{at $μ$-a.e. $x\in\mathbb{R}^n$}$$ is 1-rectifiable.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Local set approximation: Mattila-Vuorinen type sets, Reifenberg type sets, and tangent sets

We investigate the interplay between the local and asymptotic geometry of a set $A \subseteq \mathbb{R}^n$ and the geometry of model sets $\mathcal{S} \subset \mathcal{P}(\mathbb{R}^n)$, which approximate $A$ locally uniformly on small scales. The framework for local set approximation developed in this paper unifies and extends ideas of Jones, Mattila and Vuorinen, Reifenberg, and Preiss. We indicate several applications of this framework to variational problems that arise in geometric measure theory and partial differential equations. For instance, we show that the singular part of the support of an $(n-1)$-dimensional asymptotically optimally doubling measure in $\mathbb{R}^n$ ($n\geq 4$) has upper Minkowski dimension at most $n-4$.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Null sets of harmonic measure on NTA domains: Lipschitz approximation revisited

We show the David-Jerison construction of big pieces of Lipschitz graphs inside a corkscrew domain does not require its surface measure be upper Ahlfors regular. Thus we can study absolute continuity of harmonic measure and surface measure on NTA domains of locally finite perimeter using Lipschitz approximations. A partial analogue of the F. and M. Riesz Theorem for simply connected planar domains is obtained for NTA domains in space. As a consequence every Wolff snowflake has infinite surface measure.

0 citations0 reviewsNo code linkedOpen access