Source author record

Sean Li

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.FA cond-mat.mtrl-sci math.GR

Catalog footprint

Research overview

13works

5topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2022arXiv

The Riesz tranform on intrinsic Lipschitz graphs in the Heisenberg group

We prove that the Heisenberg Riesz transform is $L_2$ --unbounded on a family of intrinsic Lipschitz graphs in the first Heisenberg group $\mathbb{H}$ . We construct this family by combining a method from \cite{NY2} with a stopping time argument, and we establish the $L_2$ --unboundedness of the Riesz transform by introducing several new techniques to analyze singular integrals on intrinsic Lipschitz graphs. These include a formula for the Riesz transform in terms of a singular integral on a vertical plane and bounds on the flow of singular integrals that arises from a perturbation of a graph. On the way, we use our construction to show that the strong geometric lemma fails in $\mathbb{H}$ for all exponents in $[2,4)$ . Our results are in stark contrast to two fundamental results in Euclidean harmonic analysis and geometric measure theory: Lipschitz graphs in $\mathbb{R}^n$ satisfy the strong geometric lemma, and the $m$ --Riesz transform is $L_2$ --bounded on $m$ --dimensional Lipschitz graphs in $\mathbb{R}^n$ for $m\in (0,n)$ .

preprint2020arXiv

Singular integrals on $C^{1,α}$ regular curves in Carnot groups

Let $\mathbb{G}$ be any Carnot group. We prove that if a convolution type singular integral associated with a $1$ -dimensional Calderón-Zygmund kernel is $L^2$ -bounded on horizontal lines, with uniform bounds, then it is bounded in $L^p, p \in (1,\infty),$ on any compact $C^{1,α}, α\in (0,1],$ regular curve in $\mathbb{G}$ .

preprint2020arXiv

The strong geometric lemma for intrinsic Lipschitz graphs in Heisenberg groups

We show that the $β$ --numbers of intrinsic Lipschitz graphs of Heisenberg groups $\mathbb{H}_n$ are locally Carleson integrable when $n \geq 2$ . Our technique relies on a recent Dorronsoro inequality \cite{FO} as well as a novel slicing argument. A key ingredient in our proof is a Euclidean inequality bounding the $β$ --number of a function on a cube of $\mathbb{R}^n$ using the $β$ --number of the restriction of the function to codimension--1 slices of the cube.

preprint2016arXiv

Markov convexity and nonembeddability of the Heisenberg group

We compute the Markov convexity invariant of the continuous infinite dimensional Heisenberg group $\mathbb{H}_\infty$ to show that it is Markov 4-convex and cannot be Markov $p$ -convex for any $p < 4$ . As Markov convexity is a biLipschitz invariant and Hilbert space is Markov 2-convex, this gives a different proof of the classical theorem of Pansu and Semmes that the Heisenberg group does not admit a biLipschitz embedding into any Euclidean space. The Markov convexity lower bound will follow from exhibiting an explicit embedding of Laakso graphs $G_n$ into $\mathbb{H}_\infty$ that has distortion at most $C n^{1/4} \sqrt{\log n}$ . We use this to show that if $X$ is a Markov $p$ -convex metric space, then balls of the discrete Heisenberg group $\mathbb{H}(\mathbb{Z})$ of radius $n$ embed into $X$ with distortion at least some constant multiple of $\frac{(\log n)^{\frac{1}{p}-\frac{1}{4}}}{\sqrt{\log \log n}}.$ Finally, we show that Markov 4-convexity does not give the optimal distortion for embeddings of binary trees $B_m$ into $\mathbb{H}_\infty$ by showing that the distortion is on the order of $\sqrt{\log m}$ .

preprint2016arXiv

Separated Nets in Nilpotent Groups

In this paper we generalize several results on separated nets in Euclidean space to separated nets in connected simply connected nilpotent Lie groups. We show that every such group $G$ contains separated nets that are not biLipschitz equivalent. We define a class of separated nets in these groups arising from a generalization of the cut-and-project quasi-crystal construction and show that generically any such separated net is bounded displacement equivalent to a separated net of constant covolume. In addition, we use a generalization of the Laczkovich criterion to provide `exotic' perturbations of such separated nets.

preprint2016arXiv

Some remarks on the Lipschitz regularity of Radon transforms

A set in the Euclidean plane is constructed whose image under the classical Radon transform is Lipschitz in every direction. It is also shown that, under mild hypotheses, for any such set the function which maps a direction to the corresponding Lipschitz constant cannot be bounded.

preprint2015arXiv

Ahlfors-regular distances on the Heisenberg group without biLipschitz pieces

We show that the Heisenberg group is not minimal in looking down. This answers Problem 11.15 in `Fractured fractals and broken dreams' by David and Semmes, or equivalently, Question 22 and hence also Question 24 in `Thirty-three yes or no questions about mappings, measures, and metrics' by Heinonen and Semmes. The non-minimality of the Heisenberg group is shown by giving an example of an Ahlfors $4$ -regular metric space $X$ having big pieces of itself such that no Lipschitz map from a subset of $X$ to the Heisenberg group has image with positive measure, and by providing a Lipschitz map from the Heisenberg group to the space $X$ having as image the whole $X$ . As part of proving the above result we define a new distance on the Heisenberg group that is bounded by the Carnot-Carathéodory distance, that preserves the Ahlfors-regularity, and such that the Carnot-Carathéodory distance and the new distance are biLipschitz equivalent on no set of positive measure. This construction works more generally in any Ahlfors-regular metric space where one can make suitable shortcuts. Such spaces include for example all snowflaked Ahlfors-regular metric spaces. With the same techniques we also provide an example of a left-invariant distance on the Heisenberg group biLipschitz to the Carnot-Carathéodory distance for which no blow-up admits nontrivial dilations.

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

preprint2015arXiv

BiLipschitz decomposition of Lipschitz maps between Carnot groups

Let $f : G \to H$ be a Lipschitz map between two Carnot groups. We show that if $B$ is ball of $G$ , then there exists a subset $Z \subset B$ , whose image in $H$ under $f$ has small Hausdorff content, such that $B \backslash Z$ can be decomposed into a controlled number of pieces, the restriction of $f$ on each of which is quantitatively biLipschitz. This extends a result of \cite{meyerson}, which proved the same result, but with the restriction that $G$ has an appropriate discretization. We provide an example of a Carnot group not admitting such a discretization.

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.

preprint2013arXiv

Coarse differentiation and quantitative nonembeddability for Carnot groups

We give lower bound estimates for the macroscopic scale of coarse differentiability of Lipschitz maps from a Carnot group with the Carnot-Carathéodory metric $(G,\dcc)$ to a few different classes of metric spaces. Using this result, we derive lower bound estimates for quantitative nonembeddability of Lipschitz embeddings of $G$ into a metric space $(X,d_X)$ if $X$ is either an Alexandrov space with nonpositive or nonnegative curvature, a superreflexive Banach space, or another Carnot group that does not admit a biLipschitz homomorphic embedding of $G$ . For the same targets, we can further give lower bound estimates for the biLipschitz distortion of every embedding $f : B(n) \to X$ , where B(n) is the ball of radius $n$ of a finitely generated nonabelian torsion-free nilpotent group $G$ . We also prove an analogue of Bourgain's discretization theorem for Carnot groups and show that Carnot groups have nontrivial Markov convexity. These give the first examples of metric spaces that have nontrivial Markov convexity but cannot biLipschitzly embed into Banach spaces of nontrivial Markov convexity.

preprint2012arXiv

Ab Initio Study of Phase Stability in Doped TiO2

Ab-initio density functional theory (DFT) calculations of the relative stability of anatase and rutile polymorphs of TiO2 were carried using all-electron atomic orbitals methods with local density approximation (LDA). The rutile phase exhibited a moderate margin of stability of ~ 3 meV relative to the anatase phase in pristine material. From computational analysis of the formation energies of Si, Al, Fe and F dopants of various charge states across different Fermi level energies in anatase and in rutile, it was found that the cationic dopants are most stable in Ti substitutional lattice positions while formation energy is minimised for F- doping in interstitial positions. All dopants were found to considerably stabilise anatase relative to the rutile phase, suggesting the anatase to rutile phase transformation is inhibited in such systems with the dopants ranked F>Si>Fe>Al in order of anatase stabilisation strength. Al and Fe dopants were found to act as shallow acceptors with charge compensation achieved through the formation of mobile carriers rather than the formation of anion vacancies.

preprint2012arXiv

Discretization and affine approximation in high dimensions

Lower estimates are obtained for the macroscopic scale of affine approximability of vector-valued Lipschitz functions on finite dimensional normed spaces, completing the work of Bates, Johnson, Lindenstrass, Preiss and Schechtman. This yields a new approach to Bourgain's discretization theorem for superreflexive targets.

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.

Sean Li

Research overview

Is this your work?

13 publications

The Riesz tranform on intrinsic Lipschitz graphs in the Heisenberg group

Singular integrals on $C^{1,α}$ regular curves in Carnot groups

The strong geometric lemma for intrinsic Lipschitz graphs in Heisenberg groups

Markov convexity and nonembeddability of the Heisenberg group

Separated Nets in Nilpotent Groups

Some remarks on the Lipschitz regularity of Radon transforms

Ahlfors-regular distances on the Heisenberg group without biLipschitz pieces

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

BiLipschitz decomposition of Lipschitz maps between Carnot groups

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

Coarse differentiation and quantitative nonembeddability for Carnot groups

Ab Initio Study of Phase Stability in Doped TiO2

Discretization and affine approximation in high dimensions

See the researcher in context

Building this map preview

Sean Li

Research overview

Is this your work?

13 publications

The Riesz tranform on intrinsic Lipschitz graphs in the Heisenberg group

Singular integrals on C1,αC^{1,α}C1,α regular curves in Carnot groups

The strong geometric lemma for intrinsic Lipschitz graphs in Heisenberg groups

Markov convexity and nonembeddability of the Heisenberg group

Separated Nets in Nilpotent Groups

Some remarks on the Lipschitz regularity of Radon transforms

Ahlfors-regular distances on the Heisenberg group without biLipschitz pieces

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

BiLipschitz decomposition of Lipschitz maps between Carnot groups

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

Coarse differentiation and quantitative nonembeddability for Carnot groups

Ab Initio Study of Phase Stability in Doped TiO2

Discretization and affine approximation in high dimensions

See the researcher in context

Building this map preview

Singular integrals on $C^{1,α}$ regular curves in Carnot groups