-
Coarse and pointwise tangent fields
Authors:
Guy C. David,
Sylvester Eriksson-Bique,
Raanan Schul
Abstract:
Alberti, Csörnyei and Preiss introduced a notion of a "pointwise (weak) tangent field" for a subset of Euclidean space -- a field that contains almost every tangent line of every curve passing through the set -- and showed that all area-zero sets in the plane admit one-dimensional tangent fields. We extend their results in two distinct directions. First, a special case of our pointwise result show…
▽ More
Alberti, Csörnyei and Preiss introduced a notion of a "pointwise (weak) tangent field" for a subset of Euclidean space -- a field that contains almost every tangent line of every curve passing through the set -- and showed that all area-zero sets in the plane admit one-dimensional tangent fields. We extend their results in two distinct directions. First, a special case of our pointwise result shows that each doubling subset of Hilbert space admits a pointwise tangent field in this sense, with dimension bounded by the Nagata (or Assouad) dimension of the set.
Second, inspired by the Analyst's Traveling Salesman Theorem of Jones, we introduce new, "coarse" notions of tangent field for subsets of Hilbert space, which take into account both large and small scale structure. We show that doubling subsets of Hilbert space admit such coarse tangent fields, again with dimension bounded by the Nagata (or Assouad) dimension of the set. For porous sets in the plane, this result can be viewed as a quantitative version of the Alberti--Csörnyei--Preiss result, though our results hold in all (even infinite) dimensions.
△ Less
Submitted 6 August, 2025;
originally announced August 2025.
-
Uniqueness and nonuniqueness of $p$-harmonic Green functions on weighted $\mathbf{R}^n$ and metric spaces
Authors:
Anders Björn,
Jana Björn,
Sylvester Eriksson-Bique,
Xiaodan Zhou
Abstract:
We study uniqueness of $p$-harmonic Green functions in domains $Ω$ in a complete metric space equipped with a doubling measure supporting a $p$-Poincaré inequality, with $1<p<\infty$. For bounded domains in unweighted $\mathbf{R}^n$, the uniqueness was shown for the $p$-Laplace operator $Δ_p$ and all $p$ by Kichenassamy--Véron (Math. Ann. 275 (1986), 599-615), while for $p=2$ it is an easy consequ…
▽ More
We study uniqueness of $p$-harmonic Green functions in domains $Ω$ in a complete metric space equipped with a doubling measure supporting a $p$-Poincaré inequality, with $1<p<\infty$. For bounded domains in unweighted $\mathbf{R}^n$, the uniqueness was shown for the $p$-Laplace operator $Δ_p$ and all $p$ by Kichenassamy--Véron (Math. Ann. 275 (1986), 599-615), while for $p=2$ it is an easy consequence of the linearity of the Laplace operator $Δ$. Beyond that, uniqueness is only known in some particular cases, such as in Ahlfors $p$-regular spaces, as shown by Bonk--Capogna--Zhou (arXiv:2211.11974). When the singularity $x_0$ has positive $p$-capacity, the Green function is a particular multiple of the capacitary potential for $\text{cap}_p(\{x_0\},Ω)$ and is therefore unique. Here we give a sufficient condition for uniqueness in metric spaces, and provide an example showing that the range of $p$ for which it holds (while $x_0$ has zero $p$-capacity) can be a nondegenerate interval. In the opposite direction, we give the first example showing that uniqueness can fail in metric spaces, even for $p=2$.
△ Less
Submitted 25 May, 2025;
originally announced May 2025.
-
Construction of self-similar energy forms and singularity of Sobolev spaces on Laakso-type fractal spaces
Authors:
Riku Anttila,
Sylvester Eriksson-Bique,
Ryosuke Shimizu
Abstract:
We construct self-similar $p$-energy forms as normalized limits of discretized $p$-energies on a rich class of Laakso-type fractal spaces. Collectively, we refer to them as IGS-fractals, where IGS stands for (edge-)iterated graph systems. We propose this framework as a rich source of "toy models" that can be consulted for tackling challenging questions that are not well understood on most other fr…
▽ More
We construct self-similar $p$-energy forms as normalized limits of discretized $p$-energies on a rich class of Laakso-type fractal spaces. Collectively, we refer to them as IGS-fractals, where IGS stands for (edge-)iterated graph systems. We propose this framework as a rich source of "toy models" that can be consulted for tackling challenging questions that are not well understood on most other fractal spaces. Supporting this, our framework uncovers a novel analytic phenomenon, which we term as singularity of Sobolev spaces. This means that the associated Sobolev spaces $\mathscr{F}_{p_1}$ and $\mathscr{F}_{p_2}$ for distinct $p_1,p_2 \in (1,\infty)$ intersect only at constant functions. We provide the first example of a self-similar fractal on which this singularity phenomenon occurs for all pairs of distinct exponents. In particular, we show that the Laakso diamond space is one such example.
△ Less
Submitted 17 March, 2025;
originally announced March 2025.
-
Duality for the gradient of a $p$-harmonic function and the existence of gradient curves
Authors:
Sylvester Eriksson-Bique,
Saara Sarsa
Abstract:
Every convex optimization problem has a dual problem. The $p$-Dirichlet problem in metric measure spaces is an optimization problem whose solutions are $p$-harmonic functions. What is its dual problem? In this paper, we give an answer to this problem in the following form. We give a generalized modulus problem whose solution is the gradient of the $p$-harmonic function for metric measure spaces. I…
▽ More
Every convex optimization problem has a dual problem. The $p$-Dirichlet problem in metric measure spaces is an optimization problem whose solutions are $p$-harmonic functions. What is its dual problem? In this paper, we give an answer to this problem in the following form. We give a generalized modulus problem whose solution is the gradient of the $p$-harmonic function for metric measure spaces. Its dual problem is an optimization problem for measures on curves and we show exact duality and the existence of minimizers for this dual problem under appropriate assumptions. When applied to $p$-harmonic functions the minimizers of this dual problem are supported on gradient curves, yielding a natural concept associated to such functions that has yet to be studied. This process defines a natural dual metric current and proves the existence of gradient curves. These insights are then used to construct a counter example answering the old ``sheaf problem'' on metric spaces: in contrast to Euclidean spaces, in general metric spaces being $p$-harmonic is not strictly speaking a local property.
△ Less
Submitted 3 February, 2025;
originally announced February 2025.
-
Self-improvement of fractional Hardy inequalities in metric measure spaces via hyperbolic fillings
Authors:
Sylvester Eriksson-Bique,
Josh Kline
Abstract:
In this paper, we prove a self-improvement result for $(θ,p)$-fractional Hardy inequalities, in both the exponent $1<p<\infty$ and the regularity parameter $0<θ<1$, for bounded domains in doubling metric measure spaces. The key conceptual tool is a Caffarelli-Silvestre-type argument, which relates fractional Sobolev spaces on $Z$ to Newton-Sobolev spaces in the hyperbolic filling…
▽ More
In this paper, we prove a self-improvement result for $(θ,p)$-fractional Hardy inequalities, in both the exponent $1<p<\infty$ and the regularity parameter $0<θ<1$, for bounded domains in doubling metric measure spaces. The key conceptual tool is a Caffarelli-Silvestre-type argument, which relates fractional Sobolev spaces on $Z$ to Newton-Sobolev spaces in the hyperbolic filling $\overline{X}_{\varepsilon}$ of $Z$ via trace results. Using this insight, it is shown that a fractional Hardy inequality in an open subset of $Z$ is equivalent to a classical Hardy inequality in the filling $\overline{X}_{\varepsilon}$. The main result is then obtained by applying a new weighted self-improvement result for $p$-Hardy inequalities. The exponent $p$ can be self-improved by a classical Koskela-Zhong argument, but a new theory of regularizable weights is developed to obtain the self-improvement in the regularity parameter $θ$. This generalizes a result of Lehrbäck and Koskela on self-improvement of $d_Ω^β$-weighted $p$-Hardy inequalities by allowing a much broader class of weights. Using the equivalence of fractional Hardy inequalities with Hardy inequalities in the fillings, we also give new examples of domains satisfying fractional Hardy inequalities.
△ Less
Submitted 3 December, 2024;
originally announced December 2024.
-
Analytically one-dimensional planes and the Combinatorial Loewner Property
Authors:
Guy C. David,
Sylvester Eriksson-Bique
Abstract:
It is a major problem in analysis on metric spaces to understand when a metric space is quasisymmetric to a space with strong analytic structure, a so-called Loewner space. A conjecture of Kleiner, recently disproven by Anttila and the second author, proposes a combinatorial sufficient condition. The counterexamples constructed are all topologically one dimensional, and the sufficiency of Kleiner'…
▽ More
It is a major problem in analysis on metric spaces to understand when a metric space is quasisymmetric to a space with strong analytic structure, a so-called Loewner space. A conjecture of Kleiner, recently disproven by Anttila and the second author, proposes a combinatorial sufficient condition. The counterexamples constructed are all topologically one dimensional, and the sufficiency of Kleiner's condition remains open for most other examples.
A separate question of Kleiner and Schioppa, apparently unrelated to the problem above, asks about the existence of "analytically $1$-dimensional planes": metric measure spaces quasisymmetric to the Euclidean plane but supporting a $1$-dimensional analytic structure in the sense of Cheeger.
In this paper, we construct an example for which the conclusion of Kleiner's conjecture is not known to hold. We show that either this conclusion fails in our example or there exists an "analytically $1$-dimensional plane". Thus, our construction either yields a new counterexample to Kleiner's conjecture, different in kind from those of Anttila and the second author, or a resolution to the problem of Kleiner--Schioppa.
△ Less
Submitted 30 August, 2024;
originally announced August 2024.
-
Iterated graph systems and the combinatorial Loewner property
Authors:
Riku Anttila,
Sylvester Eriksson-Bique
Abstract:
We introduce iterated graph systems which yield fractal spaces through a projective sequence of self-similar graphs. Our construction yields new examples of self-similar fractals, such as the pentagonal Sierpiński carpet and a pillow-space, and it yields a new framework to study potential theory on many standard examples in the literature, including generalized Sierpiński carpets. We demonstrate t…
▽ More
We introduce iterated graph systems which yield fractal spaces through a projective sequence of self-similar graphs. Our construction yields new examples of self-similar fractals, such as the pentagonal Sierpiński carpet and a pillow-space, and it yields a new framework to study potential theory on many standard examples in the literature, including generalized Sierpiński carpets. We demonstrate that a fractal arising from an iterated graph system satisfying mild geometric conditions and having enough reflection symmetries, satisfies the combinatorial Loewner property (CLP) of Bourdon and Kleiner. For certain exponents, one can also obtain the conductive homogeneity condition of Kigami. This shows, in a precise sense, that self-similarity and sufficient symmetry yields CLP.
Furthermore, we show that our examples satisfy important asymptotic behaviors of discrete moduli. In particular, we establish the so-called super-multiplicative inequality for our examples - which when $p=2$ plays a crucial role in the study of Dirichlet forms and random walks on fractals. This implies the super-multiplicativity bound also for many fractals for which it was not known before, such as the Menger sponge. A particular feature here is using replacement flows and the notion of a flow basis. This yields a simpler way to establish many known estimates, and allows us to prove several new ones. Further, super-multiplicativity shows that one can effectively estimate the conformal dimensions numerically for many self-similar fractals.
△ Less
Submitted 28 August, 2024;
originally announced August 2024.
-
On Constructions of Fractal Spaces Using Replacement and the Combinatorial Loewner Property
Authors:
Riku Anttila,
Sylvester Eriksson-Bique
Abstract:
The combinatorial Loewner property was introduced by Bourdon and Kleiner as a quasisymmetrically invariant substitute for the Loewner property for general fractals and boundaries of hyperbolic groups. While the Loewner property is somewhat restrictive, the combinatorial Loewner property is very generic -- Bourdon and Kleiner showed that many familiar fractals and group boundaries satisfy it. If…
▽ More
The combinatorial Loewner property was introduced by Bourdon and Kleiner as a quasisymmetrically invariant substitute for the Loewner property for general fractals and boundaries of hyperbolic groups. While the Loewner property is somewhat restrictive, the combinatorial Loewner property is very generic -- Bourdon and Kleiner showed that many familiar fractals and group boundaries satisfy it. If $X$ is quasisymmetric to a Loewner space, it has the combinatorial Loewner property. Kleiner conjectured in 2006 that the converse to this holds for self-similar fractals -- the hope being that this would lead to the existence of many exotic Loewner spaces. We disprove this conjecture and give the first examples of spaces which are self-similar, combinatorially Loewner and which are not quasisymmetric to Loewner spaces.
In the process we introduce a self-similar replacement rule, called iterated graph systems (IGS), which is inspired by the work of Laakso. This produces a new rich class of fractal spaces, where closed form computations of potentials and their conformal dimensions are possible. These spaces exhibit a rich class of behaviors from analysis on fractals in regards to diffusions, Sobolev spaces, energy measures and conformal dimensions. These behaviors expand on the known examples of Cantor sets, gaskets, Vicsek sets, and the often too difficult carpet-like spaces. Especially the counterexamples to Kleiner's conjecture that arise from this construction are interesting, since they open up the possibility to study the new realm of combinatorially Loewner spaces that are not quasisymmetric to Loewner spaces.
△ Less
Submitted 8 October, 2024; v1 submitted 12 June, 2024;
originally announced June 2024.
-
Universal Differentiability Sets in Laakso Space
Authors:
Sylvester Eriksson-Bique,
Andrea Pinamonti,
Gareth Speight
Abstract:
We show that there exists a family of mutually singular doubling measures on Laakso space with respect to which real-valued Lipschitz functions are almost everywhere differentiable. This implies that there exists a measure zero universal differentiability set in Laakso space. Additionally, we show that each of the measures constructed supports a Poincaré inequality.
We show that there exists a family of mutually singular doubling measures on Laakso space with respect to which real-valued Lipschitz functions are almost everywhere differentiable. This implies that there exists a measure zero universal differentiability set in Laakso space. Additionally, we show that each of the measures constructed supports a Poincaré inequality.
△ Less
Submitted 7 January, 2025; v1 submitted 11 June, 2024;
originally announced June 2024.
-
Fragment-wise differentiable structures
Authors:
David Bate,
Sylvester Eriksson-Bique,
Elefterios Soultanis
Abstract:
The $p$-modulus of curves, test plans, upper gradients, charts, differentials, approximations in energy and density of directions are all concepts associated to the theory of Sobolev functions in metric measure spaces. The purpose of this paper is to give an analogous geometric and ``fragment-wise'' theory for Lipschitz functions and Weaver derivations, where $\infty$-modulus of curve fragments,…
▽ More
The $p$-modulus of curves, test plans, upper gradients, charts, differentials, approximations in energy and density of directions are all concepts associated to the theory of Sobolev functions in metric measure spaces. The purpose of this paper is to give an analogous geometric and ``fragment-wise'' theory for Lipschitz functions and Weaver derivations, where $\infty$-modulus of curve fragments, $\ast$-upper gradients and Alberti representations play a central role. We give a new definition of fragment-wise charts and prove that they exists for spaces with finite Hausdorff dimension. We give a replacement for $p$-duality in terms of Alberti representations and $\infty$-modulus and present the theory of $\ast$-upper gradients. Further, we give new and sharper results for approximations of Lipschitz functions, which yields the density of directions. Our results are applicable to all complete and separable metric measure spaces. In the process, we show that there are strong parallels between the Sobolev and Lipschitz worlds.
△ Less
Submitted 17 February, 2024;
originally announced February 2024.
-
Sharp Hausdorff content estimates for accessible boundaries of domains in metric measure spaces of controlled geometry
Authors:
Sylvester Eriksson-Bique,
Ryan Gibara,
Riikka Korte,
Nageswari Shanmugalingam
Abstract:
We give a sharp Hausdorff content estimate for the size of the accessible boundary of any domain in a metric measure space of controlled geometry, i.e., a complete metric space equipped with a doubling measure supporting a $p$-Poincaré inequality for a fixed $1\le p<\infty$. This answers a question posed by Jonas Azzam. In the process, we extend the result to every doubling gauge in metric measure…
▽ More
We give a sharp Hausdorff content estimate for the size of the accessible boundary of any domain in a metric measure space of controlled geometry, i.e., a complete metric space equipped with a doubling measure supporting a $p$-Poincaré inequality for a fixed $1\le p<\infty$. This answers a question posed by Jonas Azzam. In the process, we extend the result to every doubling gauge in metric measure spaces which satisfies a codimension one bound.
△ Less
Submitted 20 November, 2023;
originally announced November 2023.
-
Equality of different definitions of conformal dimension for quasiself-similar and CLP spaces
Authors:
Sylvester Eriksson-Bique
Abstract:
We prove that for a quasiself-similar and arcwise connected compact metric space all three known versions of the conformal dimension coincide: the conformal Hausdorff dimension, conformal Assouad dimension and Ahlfors regular conformal dimension. This answers a question posed by Mathav Murugan. Quasisimilar spaces include all approximately self-similar spaces. As an example, the standard Sierpińsk…
▽ More
We prove that for a quasiself-similar and arcwise connected compact metric space all three known versions of the conformal dimension coincide: the conformal Hausdorff dimension, conformal Assouad dimension and Ahlfors regular conformal dimension. This answers a question posed by Mathav Murugan. Quasisimilar spaces include all approximately self-similar spaces. As an example, the standard Sierpiński carpet is quasiself-similar and thus the three notions of conformal dimension coincide for it.
We also give the equality of the three dimensions for combinatorially $p$-Loewner (CLP) spaces. Both proofs involve using a new notion of combinatorial modulus, which lies between two notions of modulus that have appeared in the literature. The first of these is the modulus studied by Pansu and Tyson, which uses a Carathéodory construction. The second is the one used by Keith and Laakso (and later modified and used by Bourdon, Kleiner, Carrasco-Piaggio, Murugan and Shanmugalingam). By combining these approaches, we gain the flexibility of giving upper bounds for the new modulus from the Pansu-Tyson approach, and the ability of getting lower bounds using the Keith-Laakso approach. Additionally the new modulus can be iterated in self-similar spaces, which is a crucial, and novel, step in our argument.
△ Less
Submitted 9 November, 2023; v1 submitted 20 September, 2023;
originally announced September 2023.
-
Traces of Newton-Sobolev functions on the visible boundary of domains in doubling metric measure spaces supporting a $p$-Poincaré inequality
Authors:
Sylvester Eriksson-Bique,
Ryan Gibara,
Riikka Korte,
Nageswari Shanmugalingam
Abstract:
We consider the question of whether a domain with uniformly thick boundary at all locations and at all scales has a large portion of its boundary visible from the interior; here, "visibility" indicates the existence of John curves connecting the interior point to the points on the "visible boundary". In this paper, we provide an affirmative answer in the setting of a doubling metric measure space…
▽ More
We consider the question of whether a domain with uniformly thick boundary at all locations and at all scales has a large portion of its boundary visible from the interior; here, "visibility" indicates the existence of John curves connecting the interior point to the points on the "visible boundary". In this paper, we provide an affirmative answer in the setting of a doubling metric measure space supporting a $p$-Poincaré inequality for $1<p<\infty$, thus extending the results of [20,2,9] to non-Ahlfors regular spaces. We show that $t$-codimensional thickness of the boundary for $0<t<p$ implies $p$-codimensional thickness of the visible boundary. For such domains we prove that traces of Sobolev functions on the domain belong to the Besov class of the visible boundary.
△ Less
Submitted 20 January, 2025; v1 submitted 18 August, 2023;
originally announced August 2023.
-
Density of continuous functions in Sobolev spaces with applications to capacity
Authors:
Sylvester Eriksson-Bique,
Pietro Poggi-Corradini
Abstract:
We show that capacity can be computed with locally Lipschitz functions in locally complete and separable metric spaces. Further, we show that if $(X,d,μ)$ is a locally complete and separable metric measure space, then continuous functions are dense in the Newtonian space $N^{1,p}(X)$. Here the measure $μ$ is Borel and is finite and positive on all metric balls. In particular, we don't assume prope…
▽ More
We show that capacity can be computed with locally Lipschitz functions in locally complete and separable metric spaces. Further, we show that if $(X,d,μ)$ is a locally complete and separable metric measure space, then continuous functions are dense in the Newtonian space $N^{1,p}(X)$. Here the measure $μ$ is Borel and is finite and positive on all metric balls. In particular, we don't assume properness of $X$, doubling of $μ$ or any Poincaré inequalities. These resolve, partially or fully, questions posed by a number of authors, including J. Heinonen, A. Björn and J. Björn. In contrast to much of the past work, our results apply to locally complete spaces $X$ and dispenses with the frequently used regularity assumptions: doubling, properness, Poincaré inequality, Loewner property or quasiconvexity.
△ Less
Submitted 13 November, 2023; v1 submitted 1 March, 2023;
originally announced March 2023.
-
Tensorization of quasi-Hilbertian Sobolev spaces
Authors:
Sylvester Eriksson-Bique,
Tapio Rajala,
Elefterios Soultanis
Abstract:
The tensorization problem for Sobolev spaces asks for a characterization of how the Sobolev space on a product metric measure space $X\times Y$ can be determined from its factors. We show that two natural descriptions of the Sobolev space from the literature coincide, $W^{1,2}(X\times Y)=J^{1,2}(X,Y)$, thus settling the tensorization problem for Sobolev spaces in the case $p=2$, when $X$ and $Y$ a…
▽ More
The tensorization problem for Sobolev spaces asks for a characterization of how the Sobolev space on a product metric measure space $X\times Y$ can be determined from its factors. We show that two natural descriptions of the Sobolev space from the literature coincide, $W^{1,2}(X\times Y)=J^{1,2}(X,Y)$, thus settling the tensorization problem for Sobolev spaces in the case $p=2$, when $X$ and $Y$ are infinitesimally quasi-Hilbertian, i.e. the Sobolev space $W^{1,2}$ admits an equivalent renorming by a Dirichlet form. This class includes in particular metric measure spaces $X,Y$ of finite Hausdorff dimension as well as infinitesimally Hilbertian spaces.
More generally for $p\in (1,\infty)$ we obtain the norm-one inclusion $\|f\|_{J^{1,p}(X,Y)}\le \|f\|_{W^{1,p}(X\times Y)}$ and show that the norms agree on the algebraic tensor product $W^{1,p}(X)\otimes W^{1,p}(Y)\subset W^{1,p}(X\times Y)$. When $p=2$ and $X$ and $Y$ are infinitesimally quasi-Hilbertian, standard Dirichlet form theory yields the density of $W^{1,2}(X)\otimes W^{1,2}(Y)$ in $J^{1,2}(X,Y)$ thus implying the equality of the spaces. Our approach raises the question of the density of $W^{1,p}(X)\otimes W^{1,p}(Y)$ in $J^{1,p}(X,Y)$ in the general case.
△ Less
Submitted 7 September, 2022;
originally announced September 2022.
-
Tensorization of $p$-weak differentiable structures
Authors:
Sylvester Eriksson-Bique,
Tapio Rajala,
Elefterios Soultanis
Abstract:
We consider $p$-weak differentiable structures that were recently introduced by the first and last named authors, and prove that the product of $p$-weak charts is a $p$-weak chart. This implies that the product of two spaces with a $p$-weak differentiable structure also admits a $p$-weak differentiable structure. We make partial progress on the tensorization problem of Sobolev spaces by showing an…
▽ More
We consider $p$-weak differentiable structures that were recently introduced by the first and last named authors, and prove that the product of $p$-weak charts is a $p$-weak chart. This implies that the product of two spaces with a $p$-weak differentiable structure also admits a $p$-weak differentiable structure. We make partial progress on the tensorization problem of Sobolev spaces by showing an isometric embedding result. Further, we establish tensorization when one of the factors is PI.
△ Less
Submitted 10 June, 2022;
originally announced June 2022.
-
A New Hausdorff Content Bound for Limsup Sets
Authors:
Sylvester Eriksson-Bique
Abstract:
We give a new Hausdorff content bound for limsup sets, which is related to Falconer's sets of large intersection. Falconer's sets of large intersection satisfy a content bound for all balls in a space. In comparison, our main theorem only assumes a scale-invariant bound for the balls forming the limit superior set in question.
We give four applications of these ideas and our main theorem: a new…
▽ More
We give a new Hausdorff content bound for limsup sets, which is related to Falconer's sets of large intersection. Falconer's sets of large intersection satisfy a content bound for all balls in a space. In comparison, our main theorem only assumes a scale-invariant bound for the balls forming the limit superior set in question.
We give four applications of these ideas and our main theorem: a new proof and generalization of the mass transference principle related to Diophantine approximations, a related result on random limsup sets, a new proof of Federer's characterization of sets of finite perimeter and a statement concerning generic paths and the measure theoretic boundary. The new general mass transference principle transfers a content bound of one collection of balls, to the content bound of another collection of sets -- however, this content bound must hold on all balls in the space. The benefit of our approach is greatly simplified arguments as well as new tools to estimate Hausdorff content.
The new methods allow for us to dispense with many of the assumptions in prior work. Specifically, our general Mass Transference Principle, and bounds on random limsup sets, do not assume Ahlfors regularity. Further, they apply to any complete metric space. This generality is made possible by the fact that our general Hausdorff content estimate applies to limsup sets in any complete metric space.
△ Less
Submitted 31 January, 2022;
originally announced January 2022.
-
On Limits at Infinity of Weighted Sobolev Functions
Authors:
Sylvester Eriksson-Bique,
Khanh Nguyen,
Pekka Koskela
Abstract:
We study necessary and sufficient conditions for a Muckenhoupt weight $w \in L^1_{\mathrm{loc}}(\mathbb R^d)$ that yield almost sure existence of radial, and vertical, limits at infinity for Sobolev functions $u \in W^{1,p}_{\mathrm{loc}}(\mathbb R^d,w)$ with a $p$-integrable gradient $|\nabla u|\in L^p(\mathbb R^d,w)$. The question is shown to subtly depend on the sense in which the limit is take…
▽ More
We study necessary and sufficient conditions for a Muckenhoupt weight $w \in L^1_{\mathrm{loc}}(\mathbb R^d)$ that yield almost sure existence of radial, and vertical, limits at infinity for Sobolev functions $u \in W^{1,p}_{\mathrm{loc}}(\mathbb R^d,w)$ with a $p$-integrable gradient $|\nabla u|\in L^p(\mathbb R^d,w)$. The question is shown to subtly depend on the sense in which the limit is taken.
First, we fully characterize the existence of radial limits. Second, we give essentially sharp sufficient conditions for the existence of vertical limits. In the specific setting of product and radial weights, we give if and only if statements. These generalize and give new proofs for results of Fefferman and Uspenskiĭ.
△ Less
Submitted 26 January, 2022;
originally announced January 2022.
-
Nilpotent groups and biLipschitz embeddings into $L^1$
Authors:
Sylvester Eriksson-Bique,
Chris Gartland,
Enrico Le Donne,
Lisa Naples,
Sebastiano Nicolussi-Golo
Abstract:
We prove that if a simply connected nilpotent Lie group quasi-isometrically embeds into an $L^1$ space, then it is abelian. We reach this conclusion by proving that every Carnot group that biLipschitz embeds into $L^1$ is abelian.
Our proof follows the work of Cheeger and Kleiner, by considering the pull-back distance of a Lipschitz map into $L^1$ and representing it using a cut measure. We show…
▽ More
We prove that if a simply connected nilpotent Lie group quasi-isometrically embeds into an $L^1$ space, then it is abelian. We reach this conclusion by proving that every Carnot group that biLipschitz embeds into $L^1$ is abelian.
Our proof follows the work of Cheeger and Kleiner, by considering the pull-back distance of a Lipschitz map into $L^1$ and representing it using a cut measure. We show that such cut measures, and the induced distances, can be blown up and the blown-up cut measure is supported on "generic" tangents of the original sets. By repeating such a blow-up procedure, one obtains a cut measure supported on half-spaces. This differentiation result then is used to prove that bi-Lipschitz embeddings can not exist in the non-abelian settings.
△ Less
Submitted 21 December, 2021;
originally announced December 2021.
-
Isoperimetric and Poincaré inequalities on non-self-similar Sierpiński sponges: the borderline case
Authors:
Sylvester Eriksson-Bique,
Jasun Gong
Abstract:
In this paper we construct a large family of examples of subsets of Euclidean space that support a 1-Poincaré inequality yet have empty interior. These examples are formed from an iterative process that involves removing well-behaved domains, or more precisely, domains whose complements are uniform in the sense of Martio and Sarvas.
While existing arguments rely on explicit constructions of Semm…
▽ More
In this paper we construct a large family of examples of subsets of Euclidean space that support a 1-Poincaré inequality yet have empty interior. These examples are formed from an iterative process that involves removing well-behaved domains, or more precisely, domains whose complements are uniform in the sense of Martio and Sarvas.
While existing arguments rely on explicit constructions of Semmes families of curves, we include a new way of obtaining Poincaré inequalities through the use of relative isoperimetric inequalities, after Korte and Lahti. To do so, we further introduce the notion of of isoperimetric inequalities at given density levels and a way to iterate such inequalities. These tools are presented and apply to general metric measure measures.
Our examples subsume the previous results of Mackay, Tyson, and Wildrick regarding non-self similar Sierpiński carpets, and extend them to many more general shapes as well as higher dimensions.
△ Less
Submitted 15 November, 2021;
originally announced November 2021.
-
Bi-Lipschitz embeddings of quasiconformal trees
Authors:
Guy C. David,
Sylvester Eriksson-Bique,
Vyron Vellis
Abstract:
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. In this paper we show that every quasiconformal tree bi-Lipschitz embeds in some Euclidean space, with the ambient dimension and the bi-Lipschitz constant depending only on the doubling and bounded turning constants of the tree. This answers…
▽ More
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. In this paper we show that every quasiconformal tree bi-Lipschitz embeds in some Euclidean space, with the ambient dimension and the bi-Lipschitz constant depending only on the doubling and bounded turning constants of the tree. This answers Question 1.6 in \cite{DV} (arXiv:2007.12297).
△ Less
Submitted 24 June, 2021;
originally announced June 2021.
-
Curvewise characterizations of minimal upper gradients and the construction of a Sobolev differential
Authors:
Sylvester Eriksson-Bique,
Elefterios Soultanis
Abstract:
We represent minimal upper gradients of Newtonian functions, in the range $1\le p<\infty$, by maximal directional derivatives along "generic" curves passing through a given point, using plan-modulus duality and disintegration techniques. As an application we introduce the notion of $p$-weak charts and prove that every Newtonian function admits a differential with respect to such charts, yielding a…
▽ More
We represent minimal upper gradients of Newtonian functions, in the range $1\le p<\infty$, by maximal directional derivatives along "generic" curves passing through a given point, using plan-modulus duality and disintegration techniques. As an application we introduce the notion of $p$-weak charts and prove that every Newtonian function admits a differential with respect to such charts, yielding a linear approximation along $p$-almost every curve. The differential can be computed curvewise, is linear, and satisfies the usual Leibniz and chain rules.
The arising $p$-weak differentiable structure exists for spaces with finite Hausdorff dimension and agrees with Cheeger's structure in the presence of a Poincaré inequality. It is moreover compatible with, and gives a geometric interpretation of, Gigli's abstract differentiable structure, whenever it exists. The $p$-weak charts give rise to a finite dimensional $p$-weak cotangent bundle and pointwise norm, which recovers the minimal upper gradient of Newtonian functions and can be computed by a maximization process over generic curves. As a result we obtain new proofs of reflexivity and density of Lipschitz functions in Newtonian spaces, as well as a characterization of infinitesimal Hilbertianity in terms of the pointwise norm.
△ Less
Submitted 16 February, 2021;
originally announced February 2021.
-
On the Sharp Lower Bound for Duality of Modulus
Authors:
Sylvester Eriksson-Bique,
Pietro Poggi-Corradini
Abstract:
We establish a sharp reciprocity inequality for modulus in compact metric spaces $X$ with finite Hausdorff measure. In particular, when $X$ is also homeomorphic to a planar rectangle, our result answers a question of K. Rajala and M. Romney. More specifically, we obtain a sharp inequality between the modulus of the family of curves connecting two disjoint continua $E$ and $F$ in $X$ and the modulu…
▽ More
We establish a sharp reciprocity inequality for modulus in compact metric spaces $X$ with finite Hausdorff measure. In particular, when $X$ is also homeomorphic to a planar rectangle, our result answers a question of K. Rajala and M. Romney. More specifically, we obtain a sharp inequality between the modulus of the family of curves connecting two disjoint continua $E$ and $F$ in $X$ and the modulus of the family of surfaces of finite Hausdorff measure that separate $E$ and $F$. The paper also develops approximation techniques, which may be of independent interest.
△ Less
Submitted 5 February, 2021;
originally announced February 2021.
-
Regularity of Solutions to the Fractional Cheeger-Laplacian on Domains in Metric Spaces of Bounded Geometry
Authors:
Sylvester Eriksson-Bique,
Gianmarco Giovannardi,
Riikka Korte,
Nageswari Shanmugalingam,
Gareth Speight
Abstract:
We study existence, uniqueness, and regularity properties of the Dirichlet problem related to fractional Dirichlet energy minimizers in a complete doubling metric measure space $(X,d_X,μ_X)$ satisfying a $2$-Poincaré inequality. Given a bounded domain $Ω\subset X$ with $μ_X(X\setminusΩ)>0$, and a function $f$ in the Besov class $B^θ_{2,2}(X)\cap L^2(X)$, we study the problem of finding a function…
▽ More
We study existence, uniqueness, and regularity properties of the Dirichlet problem related to fractional Dirichlet energy minimizers in a complete doubling metric measure space $(X,d_X,μ_X)$ satisfying a $2$-Poincaré inequality. Given a bounded domain $Ω\subset X$ with $μ_X(X\setminusΩ)>0$, and a function $f$ in the Besov class $B^θ_{2,2}(X)\cap L^2(X)$, we study the problem of finding a function $u\in B^θ_{2,2}(X)$ such that $u=f$ in $X\setminusΩ$ and $\mathcal{E}_θ(u,u)\le \mathcal{E}_θ(h,h)$ whenever $h\in B^θ_{2,2}(X)$ with $h=f$ in $X\setminusΩ$. We show that such a solution always exists and that this solution is unique. We also show that the solution is locally Hölder continuous on $Ω$, and satisfies a non-local maximum and strong maximum principle. Part of the results in this paper extend the work of Caffarelli and Silvestre in the Euclidean setting and Franchi and Ferrari in Carnot groups.
△ Less
Submitted 21 December, 2020; v1 submitted 17 December, 2020;
originally announced December 2020.
-
Density of Lipschitz functions in Energy
Authors:
Sylvester Eriksson-Bique
Abstract:
In this paper, we show that the density in energy of Lipschitz functions in a Sobolev space $N^{1,p}(X)$ holds for all $p\in [1,\infty)$ whenever the space $X$ is complete and separable and the measure is Radon and finite on balls. Emphatically, $p=1$ is allowed. We also give a few corollaries and pose questions for future work.
The proof is direct and does not involve the usual flow techniques…
▽ More
In this paper, we show that the density in energy of Lipschitz functions in a Sobolev space $N^{1,p}(X)$ holds for all $p\in [1,\infty)$ whenever the space $X$ is complete and separable and the measure is Radon and finite on balls. Emphatically, $p=1$ is allowed. We also give a few corollaries and pose questions for future work.
The proof is direct and does not involve the usual flow techniques from prior work. It also yields a new approximation technique, which has not appeared in prior work. Notable with all of this is that we do not use any form of Poincaré inequality or doubling assumption. The techniques are flexible and suggest a unification of a variety of existing literature on the topic.
△ Less
Submitted 16 July, 2022; v1 submitted 3 December, 2020;
originally announced December 2020.
-
Infinitesimal splitting for spaces with thick curve families and Euclidean embeddings
Authors:
Guy C. David,
Sylvester Eriksson-Bique
Abstract:
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…
▽ More
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\times \mathbb{R}^k$ for some $k\geq 1$. We also provide applications to conformal dimension and give new proofs of some previously known non-embedding results.
△ Less
Submitted 18 June, 2020;
originally announced June 2020.
-
Self-improvement of weighted pointwise inequalities on open sets
Authors:
Sylvester Eriksson-Bique,
Juha Lehrbäck,
Antti V. Vähäkangas
Abstract:
We prove a general self-improvement property for a family of weighted pointwise inequalities on open sets, including pointwise Hardy inequalities with distance weights. For this purpose we introduce and study the classes of $p$-Poincaré and $p$-Hardy weights for an open set $Ω\subset X$, where $X$ is a metric measure space. We also apply the self-improvement of weighted pointwise Hardy inequalitie…
▽ More
We prove a general self-improvement property for a family of weighted pointwise inequalities on open sets, including pointwise Hardy inequalities with distance weights. For this purpose we introduce and study the classes of $p$-Poincaré and $p$-Hardy weights for an open set $Ω\subset X$, where $X$ is a metric measure space. We also apply the self-improvement of weighted pointwise Hardy inequalities in connection with usual integral versions of Hardy inequalities.
△ Less
Submitted 25 February, 2020;
originally announced February 2020.
-
Pointwise inequalities for Sobolev functions on outward cuspidal domains
Authors:
Sylvester Eriksson-Bique,
Pekka Koskela,
Jan Maly,
Zheng Zhu
Abstract:
We show that the first order Sobolev spaces on cuspidal symmetric domains can be characterized via pointwise inequalities. In particular, they coincide with the Hajlasz-Sobolev spaces.
We show that the first order Sobolev spaces on cuspidal symmetric domains can be characterized via pointwise inequalities. In particular, they coincide with the Hajlasz-Sobolev spaces.
△ Less
Submitted 10 December, 2019;
originally announced December 2019.
-
Thin Loewner carpets and their quasisymmetric embeddings in $S^2$
Authors:
Jeff Cheeger,
Sylvester Eriksson-Bique
Abstract:
A carpet is a metric space which is homeomorphic to the standard Sierpiński carpet in $\mathbb{R}^2$, or equivalently, in $S^2$. A carpet is called thin if its Hausdorff dimension is $<2$. A metric space is called Q-Loewner if its $Q$-dimensional Hausdorff measure is Q-Ahlfors regular and if it satisfies a $(1,Q)$-Poincaré inequality. As we will show, $Q$-Loewner planar metric spaces are always ca…
▽ More
A carpet is a metric space which is homeomorphic to the standard Sierpiński carpet in $\mathbb{R}^2$, or equivalently, in $S^2$. A carpet is called thin if its Hausdorff dimension is $<2$. A metric space is called Q-Loewner if its $Q$-dimensional Hausdorff measure is Q-Ahlfors regular and if it satisfies a $(1,Q)$-Poincaré inequality. As we will show, $Q$-Loewner planar metric spaces are always carpets, and admit quasisymmetric embeddings into the plane. In this paper, for every pair $(Q,Q')$, with $1<Q<Q'< 2$ we construct infinitely many pairwise quasi-symmetrically distinct $Q$-Loewner carpets $X$ which admit explicit snowflake embeddings, $f: X\to S^2$, for which the image, $f(X)$, admits an explicit description and is $Q'$-Ahlfors regular. In particular, these $f$ are quasisymmetric embeddings. By a result of Tyson, the Hausdorff dimension of a Loewner space cannot be lowered by a quasisymmetric homeomorphism. By definition, this means that the carpets $X$ and $f(X)$ realize their conformal dimension. Each of images $f(X)$ can be further uniformized via post composition with a quasisymmetric homeomorphism of $S^2$, so as to yield a circle carpet and also a square carpet. Our Loewner carpets $X$ are constructed via what we call an admissable quotiented inverse system. This mechanism extends the inverse limit construction for PI spaces given in \cite{cheegerkleinerinverse}, which however, does not yield carpets. Loewner spaces are a particular subclass of PI spaces. They have strong rigidity properties which which do not hold for PI spaces in general.
△ Less
Submitted 8 April, 2020; v1 submitted 6 October, 2019;
originally announced October 2019.
-
Almost uniform domains and Poincaré inequalities
Authors:
Sylvester Eriksson-Bique,
Jasun Gong
Abstract:
Here we show existence of numerous subsets of Euclidean and metric spaces that, despite having empty interior, still support Poincaré inequalities. Most importantly, our methods do not depend on any rectilinear or self-similar structure of the underlying space. We instead employ the notion of uniform domain of Martio and Sarvas. Our condition relies on the measure density of such subsets, as well…
▽ More
Here we show existence of numerous subsets of Euclidean and metric spaces that, despite having empty interior, still support Poincaré inequalities. Most importantly, our methods do not depend on any rectilinear or self-similar structure of the underlying space. We instead employ the notion of uniform domain of Martio and Sarvas. Our condition relies on the measure density of such subsets, as well as the regularity and relative separation of their boundary components.
In doing so, our results hold true for metric spaces equipped with doubling measures and Poincaré inequalities in general, and for the Heisenberg groups in particular. To our knowledge, these are the first examples of such subsets on any step-2 Carnot group. Such subsets also give, in general, new examples of Sobolev extension domains on doubling metric measure spaces. When specialized to the plane, we give general sufficient conditions for planar subsets, possibly with empty interior, to be Ahlfors 2-regular and to satisfy a (1,2)-Poincaré inequality.
In the Euclidean case, our construction also covers the non-self-similar Sierpiński carpets of Mackay, Tyson, and Wildrick, as well as higher dimensional analogues not treated in the literature. The analysis of the Poincaré inequality with exponent p=1, for these carpets and their higher dimensional analogues, includes a new way of proving an isoperimetric inequality on a space without constructing Semmes families of curves.
△ Less
Submitted 15 November, 2021; v1 submitted 5 October, 2019;
originally announced October 2019.
-
Regular mappings and non-existence of bi-Lipschitz embeddings for slit carpets
Authors:
Guy C. David,
Sylvester Eriksson-Bique
Abstract:
We prove that the "slit carpet" introduced by Merenkov does not admit a bi-Lipschitz embedding into any uniformly convex Banach space. In particular, this includes any Euclidean space $\mathbb{R}^n$, but also spaces such as $L^p$ for $p \in (1,\infty)$. This resolves Question 8 in the 1997 list by Heinonen and Semmes.
We prove that the "slit carpet" introduced by Merenkov does not admit a bi-Lipschitz embedding into any uniformly convex Banach space. In particular, this includes any Euclidean space $\mathbb{R}^n$, but also spaces such as $L^p$ for $p \in (1,\infty)$. This resolves Question 8 in the 1997 list by Heinonen and Semmes.
△ Less
Submitted 7 September, 2019;
originally announced September 2019.
-
Self-improvement of pointwise Hardy inequality
Authors:
Sylvester Eriksson-Bique,
Antti V. Vähäkangas
Abstract:
We prove the self-improvement of a pointwise $p$-Hardy inequality. The proof relies on maximal function techniques and a characterization of the inequality by curves.
We prove the self-improvement of a pointwise $p$-Hardy inequality. The proof relies on maximal function techniques and a characterization of the inequality by curves.
△ Less
Submitted 17 October, 2018;
originally announced October 2018.
-
Asymptotic behavior of BV functions and sets of finite perimeter in metric measure spaces
Authors:
Sylvester Eriksson-Bique,
James T. Gill,
Panu Lahti,
Nageswari Shanmugalingam
Abstract:
In this paper, we study the asymptotic behavior of BV functions in complete metric measure spaces equipped with a doubling measure supporting a $1$-Poincaré inequality. We show that at almost every point $x$ outside the Cantor and jump parts of a BV function, the asymptotic limit of the function is a Lipschitz continuous function of least gradient on a tangent space to the metric space based at…
▽ More
In this paper, we study the asymptotic behavior of BV functions in complete metric measure spaces equipped with a doubling measure supporting a $1$-Poincaré inequality. We show that at almost every point $x$ outside the Cantor and jump parts of a BV function, the asymptotic limit of the function is a Lipschitz continuous function of least gradient on a tangent space to the metric space based at $x$. We also show that, at co-dimension $1$ Hausdorff measure almost every measure-theoretic boundary point of a set $E$ of finite perimeter, there is an asymptotic limit set $(E)_\infty$ corresponding to the asymptotic expansion of $E$ and that every such asymptotic limit $(E)_\infty$ is a quasiminimal set of finite perimeter. We also show that the perimeter measure of $(E)_\infty$ is Ahlfors co-dimension $1$ regular.
△ Less
Submitted 22 January, 2020; v1 submitted 11 October, 2018;
originally announced October 2018.
-
Equivalence of two BV classes of functions in metric spaces, and existence of a Semmes family of curves under a $1$-Poincaré inequality
Authors:
Estibalitz Durand-Cartagena,
Sylvester Eriksson-Bique,
Riikka Korte,
Nageswari Shanmugalingam
Abstract:
We consider two notions of functions of bounded variation in complete metric measure spaces, one due to Martio and the other due to Miranda~Jr. We show that these two notions coincide, if the measure is doubling and supports a $1$-Poincaré inequality. In doing so, we also prove that if the measure is doubling and supports a $1$-Poincaré inequality, then the metric space supports a \emph{Semmes fam…
▽ More
We consider two notions of functions of bounded variation in complete metric measure spaces, one due to Martio and the other due to Miranda~Jr. We show that these two notions coincide, if the measure is doubling and supports a $1$-Poincaré inequality. In doing so, we also prove that if the measure is doubling and supports a $1$-Poincaré inequality, then the metric space supports a \emph{Semmes family of curves} structure.
△ Less
Submitted 11 September, 2018;
originally announced September 2018.
-
Alternative proof of Keith-Zhong self-improvement and connectivity
Authors:
Sylvester Eriksson-Bique
Abstract:
We find a new proof for the celebrated theorem of Keith and Zhong that a $(1,p)$-Poincaré inequality self-improves to a $(1,p-ε)$-Poincaré inequality. The paper consists of a novel characterization of Poincaré inequalities and then uses it to give an entirely new proof which is closely related to Muckenhoupt-weights. This new characterization, and the alternative proof, demonstrate a formal simila…
▽ More
We find a new proof for the celebrated theorem of Keith and Zhong that a $(1,p)$-Poincaré inequality self-improves to a $(1,p-ε)$-Poincaré inequality. The paper consists of a novel characterization of Poincaré inequalities and then uses it to give an entirely new proof which is closely related to Muckenhoupt-weights. This new characterization, and the alternative proof, demonstrate a formal similarity between Muckenhoupt-weights and Poincaré inequalities. The proofs we give are short and somewhat more direct. With them we can give the first completely transparent bounds for the quantity of self-improvement and the constants involved. We observe that the quantity of self-improvement is, for large $p$, directly proportional to $p$, and inversely proportional to a power of the doubling constant and the constant in the Poincaré inequality. The proofs can be localized and thus we obtain more transparent proofs of the self-improvement of local Poincaré inequalities.
△ Less
Submitted 19 September, 2018; v1 submitted 6 October, 2016;
originally announced October 2016.
-
Classifying Poincaré Inequalities and the local geometry of RNP-Differentiability Spaces
Authors:
Sylvester Eriksson-Bique
Abstract:
We characterize complete RNP-differentiability spaces as those spaces which are rectifiable in terms of doubling metric measure spaces satisfying some local $(1, p)$-Poincaré inequalities. This gives a full characterization of spaces admitting a strong form of a differentiability structure in the sense of Cheeger, and provides a partial converse to his theorem. The proof is based on a new `thicken…
▽ More
We characterize complete RNP-differentiability spaces as those spaces which are rectifiable in terms of doubling metric measure spaces satisfying some local $(1, p)$-Poincaré inequalities. This gives a full characterization of spaces admitting a strong form of a differentiability structure in the sense of Cheeger, and provides a partial converse to his theorem. The proof is based on a new `thickening' construction, which can be used to enlarge subsets into spaces admitting Poincaré inequalities. We also introduce a new notion of quantitative connectivity which characterizes spaces satisfying local Poincaré inequalities. This characterization is of independent interest, and has several applications separate from differentiability spaces. We resolve a question of Tapio Rajala on the existence of Poincaré inequalities for the class of $MCP(K, n)$-spaces which satisfy a weak Ricci-bound. We show that deforming a geodesic metric measure space by Muckenhoupt weights preserves the property of possessing a Poincaré inequality. Finally, the new condition allows us to show that many classes of weak, Orlicz and non-homogeneous Poincaré inequalities `self-improve' to classical $(1, q)$-Poincaré inequalities for some $q \in [1,\infty)$, which is related to Keith's and Zhong's theorem on self-improvement of Poincaré inequalities.
△ Less
Submitted 12 September, 2018; v1 submitted 25 July, 2016;
originally announced July 2016.
-
Quantitative Bi-Lipschitz embeddings of bounded curvature manifolds and orbifolds
Authors:
Sylvester Eriksson-Bique
Abstract:
We construct bi-Lipschitz embeddings into Euclidean space for manifolds and orbifolds of bounded diameter and curvature. The distortion and dimension of such embeddings is bounded by diameter, curvature and dimension alone. Our results also apply for bounded subsets of complete Riemannian manifolds, and complete flat and elliptic orbifolds. Our approach is based on analysing the structure of a bou…
▽ More
We construct bi-Lipschitz embeddings into Euclidean space for manifolds and orbifolds of bounded diameter and curvature. The distortion and dimension of such embeddings is bounded by diameter, curvature and dimension alone. Our results also apply for bounded subsets of complete Riemannian manifolds, and complete flat and elliptic orbifolds. Our approach is based on analysing the structure of a bounded curvature manifold at various scales by specializing methods from collapsing theory to a certain class of model spaces.
△ Less
Submitted 12 April, 2017; v1 submitted 29 July, 2015;
originally announced July 2015.
-
Discrete Dubins Paths
Authors:
Sylvester Eriksson-Bique,
David Kirkpatrick,
Valentin Polishchuk
Abstract:
A Dubins path is a shortest path with bounded curvature. The seminal result in non-holonomic motion planning is that (in the absence of obstacles) a Dubins path consists either from a circular arc followed by a segment followed by another arc, or from three circular arcs [Dubins, 1957]. Dubins original proof uses advanced calculus; later, Dubins result was reproved using control theory techniques…
▽ More
A Dubins path is a shortest path with bounded curvature. The seminal result in non-holonomic motion planning is that (in the absence of obstacles) a Dubins path consists either from a circular arc followed by a segment followed by another arc, or from three circular arcs [Dubins, 1957]. Dubins original proof uses advanced calculus; later, Dubins result was reproved using control theory techniques [Reeds and Shepp, 1990], [Sussmann and Tang, 1991], [Boissonnat, Cérézo, and Leblond, 1994].
We introduce and study a discrete analogue of curvature-constrained motion. We show that shortest "bounded-curvature" polygonal paths have the same structure as Dubins paths. The properties of Dubins paths follow from our results as a limiting case---this gives a new, "discrete" proof of Dubins result.
△ Less
Submitted 10 November, 2012;
originally announced November 2012.
