BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

Raanan Schul

Raanan Schul appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
math.MGmath.CA

Catalog footprint

What is connected

11works
2topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

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.

Published work

11 published item(s)

preprint2022arXiv

Iterating the Big--Pieces operator and larger sets

We show that if an Ahlfors-David regular set $E$ of dimension $k$ has Big Pieces of Big Pieces of Lipschitz Graphs (denoted usually by $BP(BP(LG))$), then $E\subset \tilde{E}$ where $\tilde{E}$ is Ahlfors-David regular of dimension $k$ and has Big Pieces of Lipschitz Graphs (denoted usually by $BP(LG)$. Our results are quantitative and, in fact, are proven in the setting of a metric space for any family of Ahlfors-David regular sets $\mathcal{F}$ replacing $LG$. A simple corollary is the stability of the BP operator after 2 iterations. This was previously only known in the Euclidean setting for the case $\mathcal{F}= LG$ with substantially more complicated proofs.

0 citations0 reviewsNo code linkedOpen access
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.

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' traveling salesman construction, which is of independent interest.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

An upper bound for the length of a Traveling Salesman path in the Heisenberg group

We show that a sufficient condition for a subset $E$ in the Heisenberg group (endowed with the Carnot-Carathéodory metric) to be contained in a rectifiable curve is that it satisfies a modified analogue of Peter Jones's geometric lemma. Our estimates improve on those of \cite{FFP}, by replacing the power $2$ of the Jones-$β$-number with any power $r<4$. This complements (in an open ended way) our work \cite{Li-Schul-beta-leq-length}, where we showed that such an estimate was necessary, but with $r=4$.

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

Multiscale analysis of 1-rectifiable measures: necessary conditions

We repurpose tools from the theory of quantitative rectifiability to study the qualitative rectifiability of measures in $\Bbb{R}^n$, $n\geq 2$. To each locally finite Borel measure $μ$, we associate a function $\widetilde J_2(μ, x)$ which uses a weighted sum to record how closely the mass of $μ$ is concentrated on a line in the triples of dyadic cubes containing $x$. We show that $\widetilde J_2(μ, x) < \infty$ $μ$-a.e. is a necessary condition for $μ$ to give full mass to a countable family of rectifiable curves. This confirms a conjecture of Peter Jones from 2000. A novelty of this result is that no assumption is made on the upper Hausdorff density of the measure. Thus we are able to analyze generic 1-rectifiable measures that are mutually singular with the 1-dimensional Hausdorff measure.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

The traveling salesman problem in the Heisenberg group: upper bounding curvature

We show that if a subset $K$ in the Heisenberg group (endowed with the Carnot-Carathéodory metric) is contained in a rectifiable curve, then it satisfies a modified analogue of Peter Jones's geometric lemma. This is a quantitative version of the statement that a finite length curve has a tangent at almost every point. This condition complements that of \cite{FFP} except a power 2 is changed to a power 4. Two key tools that we use in the proof are a geometric martingale argument like that of \cite{Schul-TSP} as well as a new curvature inequality in the Heisenberg group.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

A quantitative metric differentiation theorem

The purpose of this note is to point out a simple consequence of some earlier work of the authors, "Hard Sard: Quantitative implicit function and extension theorems for Lipschitz maps". For $f$, a Lipschitz function from a Euclidean space into a metric space, we give quantitative estimates for how often the pullback of the metric under $f$ is approximately a seminorm. This is a quantitative version of Kirchheim's metric differentiation result from 1994. Our result is in the form of a Carleson-type estimate.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Hard Sard: Quantitative Implicit Function and Extension Theorems for Lipschitz Maps

We prove a global implicit function theorem. In particular we show that any Lipschitz map $f:\bR^n\times \bR^m\to\bR^n$ (with $n$-dim. image) can be precomposed with a bi-Lipschitz map $\bar{g}:\bR^n\times \bR^m\to \bR^n\times \bR^m$ such that $f\circ \bar{g}$ will satisfy, when we restrict to a large portion of the domain $E\subset \bR^n\times \bR^m$, that $f\circ \bar{g}$ is bi-Lipschitz in the first coordinate, and constant in the second coordinate. Geometrically speaking, the map $\bar{g}$ distorts $\bR^{n+m}$ in a controlled manner, so that the fibers of $f$ are straightened out. Furthermore, our results stay valid when the target space is replaced by {\bf any metric space}. A main point is that our results are quantitative: the size of the set $E$ on which behavior is good is a significant part of the discussion. Our estimates are motivated by examples such as Kaufman's 1979 construction of a $C^1$ map from $[0,1]^3$ onto $[0,1]^2$ with rank $\leq 1$ everywhere. On route we prove an extension theorem which is of independent interest. We show that for any $D\geq n$, any Lipschitz function $f:[0,1]^n\to \bR^D$ gives rise to a large (in an appropriate sense) subset $E\subset [0,1]^n$ such that $f|_E$ is bi-Lipschitz and may be extended to a bi-Lipschitz function defined on {\bf all} of $\bR^n$. The most interesting case is the case $D=n$. As a simple corollary, we show that $n$-dimensional Ahlfors-David regular spaces lying in $\bR^{D}$ having big pieces of bi-Lipschitz images also have big pieces of big pieces of Lipschitz graphs in $\bR^{D}$. This was previously known only for $D\geq 2n+1$ by a result of G. David and S. Semmes.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

How to take shortcuts in Euclidean space: making a given set into a short quasi-convex set

For a given connected set $Γ$ in $d-$dimensional Euclidean space, we construct a connected set $\tildeΓ\supset Γ$ such that the two sets have comparable Hausdorff length, and the set $\tildeΓ$ has the property that it is quasiconvex, i.e. any two points $x$ and $y$ in $\tildeΓ$ can be connected via a path, all of which is in $\tildeΓ$, which has length bounded by a fixed constant multiple of the Euclidean distance between $x$ and $y$. Thus, for any set $K$ in $d-$dimensional Euclidean space we have a set $\tildeΓ$ as above such that $\tildeΓ$ has comparable Hausdorff length to a shortest connected set containing $K$. Constants appearing here depend only on the ambient dimension $d$. In the case where $Γ$ is Reifenberg flat, our constants are also independent the dimension $d$, and in this case, our theorem holds for $Γ$ in an infinite dimensional Hilbert space. This work closely related to $k-$spanners, which appear in computer science. Keywords: chord-arc, quasiconvex, k-spanner, traveling salesman.

0 citations0 reviewsNo code linkedOpen access