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

Sean Li

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

ResearcherUnclaimed source record
math.MGmath.CAmath.FAcond-mat.mtrl-scimath.GR

Catalog footprint

What is connected

13works
5topics
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

13 published item(s)

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

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

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

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

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

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

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.

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

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

0 citations0 reviewsNo code linkedOpen access