Source author record

Sylvester Eriksson-Bique

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

ResearcherUnclaimed source record

math.MG math.CA math.AP math.DG math.FA Computational Geometry Discrete Mathematics math.OC

Catalog footprint

Research overview

12works

8topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2022arXiv

A New Hausdorff Content Bound for Limsup Sets

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.

preprint2022arXiv

Density of Lipschitz functions in Energy

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.

preprint2022arXiv

On Limits at Infinity of Weighted Sobolev Functions

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\uı.

preprint2022arXiv

Tensorization of $p$ -weak differentiable structures

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.

preprint2022arXiv

Tensorization of quasi-Hilbertian Sobolev spaces

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.

preprint2021arXiv

On the Sharp Lower Bound for Duality of Modulus

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.

preprint2020arXiv

Asymptotic behavior of BV functions and sets of finite perimeter in metric measure spaces

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.

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\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.

preprint2020arXiv

Self-improvement of weighted pointwise inequalities on open sets

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.

preprint2020arXiv

Thin Loewner carpets and their quasisymmetric embeddings in $S^2$

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.

preprint2019arXiv

Pointwise inequalities for Sobolev functions on outward cuspidal domains

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.

preprint2012arXiv

Discrete Dubins Paths

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.

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.

Sylvester Eriksson-Bique

Research overview

Is this your work?

12 publications

A New Hausdorff Content Bound for Limsup Sets

Density of Lipschitz functions in Energy

On Limits at Infinity of Weighted Sobolev Functions

Tensorization of $p$ -weak differentiable structures

Tensorization of quasi-Hilbertian Sobolev spaces

On the Sharp Lower Bound for Duality of Modulus

Asymptotic behavior of BV functions and sets of finite perimeter in metric measure spaces

Infinitesimal splitting for spaces with thick curve families and Euclidean embeddings

Self-improvement of weighted pointwise inequalities on open sets

Thin Loewner carpets and their quasisymmetric embeddings in $S^2$

Pointwise inequalities for Sobolev functions on outward cuspidal domains

Discrete Dubins Paths

See the researcher in context

Building this map preview

Sylvester Eriksson-Bique

Research overview

Is this your work?

12 publications

A New Hausdorff Content Bound for Limsup Sets

Density of Lipschitz functions in Energy

On Limits at Infinity of Weighted Sobolev Functions

Tensorization of ppp-weak differentiable structures

Tensorization of quasi-Hilbertian Sobolev spaces

On the Sharp Lower Bound for Duality of Modulus

Asymptotic behavior of BV functions and sets of finite perimeter in metric measure spaces

Infinitesimal splitting for spaces with thick curve families and Euclidean embeddings

Self-improvement of weighted pointwise inequalities on open sets

Thin Loewner carpets and their quasisymmetric embeddings in S2S^2S2

Pointwise inequalities for Sobolev functions on outward cuspidal domains

Discrete Dubins Paths

See the researcher in context

Building this map preview

Tensorization of $p$ -weak differentiable structures

Thin Loewner carpets and their quasisymmetric embeddings in $S^2$