SearcharxivSearch

arXiv subjects

Zhongkai Tao

Publications and source records attributed to Zhongkai Tao.

At least 19 recordsLinked to original sources

Band edges of periodic Schrödinger operators are generically isolated and nondegenerate

For periodic Schrödinger operators $H_V=-Δ+V$ with bounded real-valued potentials on $\mathbb R^d$ with $d\ge2$, we show that for generic potentials, each endpoint of every spectral gap is attained by a single Bloch band at only finitely many quasimomenta, and has a nondegenerate Hessian at every attaining point. This proves the Spectral Edge Conjecture for periodic Schrödinger operators.

math.SP

Polynomial bounds for eigenfunctions and eigenvalues on random covers of hyperbolic surfaces

Let $X$ be a compact connected orientable hyperbolic surface and let $X_n$ be a degree $n$ cover, taken uniformly at random. We show that, with high probability, the $L^\infty$ norm of every Laplace eigenfunction on $X_n$ with bounded eigenvalue decays polynomially in $n$. This gives a polynomial decay analogue of the logarithmic bound of Gilmore--Le Masson--Sahlsten--Thomas [arXiv:1912.09961] in the Weil--Petersson model. Using similar methods, we also show that, with high probability, the distribution of eigenvalues of the Laplacian on $X_n$ converges to the spectral measure of the hyperbolic plane with polynomially decaying error. Our proof relies on the Selberg pre-trace formula and a variant of the polynomial method.

math.SP

Generic twisted Pollicott--Ruelle resonances and zeta function at zero

For a connected orientable closed surface $(Σ,g)$ of genus $G$ with Anosov geodesic flow, we show the existence of an open subset $U_g$ of finite-dimensional irreducible representations of the fundamental group of its unit tangent bundle, whose complement has complex codimension at least one and such that for any $ρ\in U_g$, the twisted Ruelle zeta function $ζ_{g,ρ}(s)$ vanishes at $s=0$ to order ${\rm dim}(ρ)(2G-2)$ if $ρ$ factors through $π_1(Σ)$, and does not vanish otherwise. In the second case, we show that $ζ_{g,ρ}(0)$ is given by the Reidemeister--Turaev torsion, thus extending Fried's conjecture to a generic set of acyclic (but not necessarily unitary) representations. We also show that the order of vanishing of the untwisted zeta function is constant for an open and dense subset of Anosov metrics in the connected component of a hyperbolic $3$-metric. Our proofs rely on computing the dimensions of the spaces of generalized twisted Pollicott--Ruelle resonant states at zero.

math.DS

Spectral gap for surfaces of infinite volume with negative curvature

We prove that the imaginary parts of scattering resonances for negatively curved asymptotically hyperbolic surfaces are uniformly bounded away from zero and provide a resolvent bound in the resulting resonance-free strip. This provides an essential spectral gap without the pressure condition. This is done by adapting the methods of [arXiv:1004.3361], [arXiv:1012.4391] and [arXiv:2201.08259] and answers a question posed in [arXiv:1504.06589].

math.SP

Lossless Strichartz and spectral projection estimates on unbounded manifolds

We prove new lossless Strichartz and spectral projection estimates on asymptotically hyperbolic surfaces, and, in particular, on all convex cocompact hyperbolic surfaces. In order to do this, we also obtain log-scale lossless Strichartz and spectral projection estimates on manifolds of uniformly bounded geometry with nonpositive and negative sectional curvatures, extending the recent works of the first two authors for compact manifolds. We are able to use these along with known $L^2$-local smoothing and new $L^2 \to L^q$ half-localized resolvent estimates to obtain our lossless bounds.

math.AP

Integral formulas for under/overdetermined differential operators via recovery on curves and the finite-dimensional cokernel condition I: General theory

We introduce a new versatile method for constructing solution operators (i.e., right-inverses up to a finite rank operator) for a wide class of underdetermined PDEs $P u = f$, which are regularizing of optimal order and, more interestingly, whose integral kernels have certain prescribed support properties. By duality, we simultaneously obtain integral representation formulas (i.e., left-inverses up to a finite rank operator) for overdetermined PDEs $P^{\ast} v = g$ with analogous properties, which lead to Poincaré- or Korn-type inequalities. Our method applies to operators such as the divergence, linearized scalar curvature, and linearized Einstein constraint operators (which are underdetermined), as well as the gradient, Hessian, trace-free part of the Hessian, Killing, and conformal Killing operators (which are overdetermined). The starting point for our construction is a condition - dubbed the recovery on curves condition (RC) - that leads to Green's functions for $P$ supported on prescribed curves. Then the desired integral solution operators (and, by duality, integral representation formulas) are obtained by taking smooth averages over a suitable family of curves. This procedure generalizes the previous constructions of Bogovskii, Oh-Tataru, and Reshetnyak. We furthermore identify a simple algebraic sufficient condition for (RC), namely, that the principal symbol $p(x, ξ)$ of $P$ is full-rank for all non-zero complex vectors $ξ$ (as opposed to real, as in ellipticity). When the principal symbol has constant coefficients, this is equivalent to (RC) and also to the condition that the formal cokernel of $P$ (without any boundary conditions) is finite-dimensional; for this reason, we call it the finite-dimensional cokernel condition (FC). We give a short proof that all operators above satisfy (FC), and thus (RC). Various applications will be considered in subsequent papers.

math.AP

Fragile topology on solid grounds: a mathematical perspective

This paper provides a mathematical perspective on fragile topology phenomena in condensed matter physics. In dimension $d \leq 3$, vanishing Chern classes of bundles of Bloch eigenfunctions characterize operators with exponentially localized Wannier functions (these functions form convenient bases of spectrally determined subspaces of $L^2$). However, for systems with additional symmetries, such as the $C_{2}T$ (space-time reversal) or the $PT$ (parity-time) symmetry, a set of exponentially localized Wannier functions compatible with such symmetry may not exist. We show that for rank 2 Bloch bundles with such symmetry, non-trivial Euler classes are obstructions to constructing exponentially localized compatible Wannier functions. We also show that this obstruction can be lifted by adding additional Bloch bundles with the symmetry, even though the Stiefel--Whitney class of the total bundle is non-trivial. This allows a construction of exponentially localized Wannier functions compatible with the symmetry and that is referred to as topological fragility.

math-ph

Wannier decay and the Thouless conjecture

Non-trivial Chern classes pose an obstruction to the existence of exponentially decaying Wannier functions which provide natural bases for spectral subspaces. For non-trivial Bloch bundles, we obtain decay rates of Wannier functions in dimensions $d=2,3$. For $d=2$, we construct Wannier functions with full asymptotics and optimal decay rate $\mathcal{O}(|x|^{-2})$ as conjectured by Thouless; for $d=3$, we construct Wannier functions with the uniform decay rate $\mathcal{O}(|x|^{-7/3})$.

math-ph

Selberg, Ihara and Berkovich

We use the Selberg zeta function to study the limit behavior of resonances in a degenerating family of Kleinian Schottky groups. We prove that, after a suitable rescaling, the Selberg zeta functions converge to the Ihara zeta function of a limiting finite graph associated to the relevant non-Archimedean Schottky group acting on the Berkovich projective line. Moreover, we show that these techniques can be used to get an exponential error term in a result of McMullen (recently extended by Dang and Mehmeti) about the asymptotics for the vanishing rate of the Hausdorff dimension of limit sets of certain degenerating Schottky groups generating symmetric three-funnel surfaces. Here, one key idea is to introduce an intermediate zeta function capturing \emph{both} non-Archimedean and Archimedean information (while the traditional Selberg, resp. Ihara zeta functions concern only Archimedean, resp. non-Archimedean properties).

math.DS

Dirac cones and magic angles in the Bistritzer--MacDonald TBG Hamiltonian

We demonstrate the generic existence of Dirac cones in the full Bistritzer--MacDonald Hamiltonian for twisted bilayer graphene. Its complementary set, when Dirac cones are absent, is the set of magic angles. We show the stability of magic angles obtained in the chiral limit by demonstrating that the perfectly flat bands transform into quadratic band crossings when perturbing away from the chiral limit. Moreover, using the invariance of Euler number, we show that at magic angles there are more band crossings beyond these quadratic band crossings. This is the first result showing the existence of magic angles for the full Bistritzer--MacDonald Hamiltonian and solves Open Problem No.2 proposed in the recent survey arXiv:2310.20642.

math-ph

Optimal enhanced dissipation for contact Anosov flows

We show that for a contact Anosov flow on a compact manifold $ M $, the solutions to $ \partial_t u + X u = νΔu $, $ ν> 0 $, where $ X $ is the generator of the flow and $ Δ$, a (negative) Laplacian for some Riemannian metric on $ M $, satisfy \[ \| u ( t ) - \underline u \|_{L^2 ( M) } \leq C ν^{-K} e^{ - βt } \| u( 0 ) \|_{L^2 ( M) }, \] where $ \underline u $ is the (conserved) average of $ u (0) $ with respect to the contact volume form, and $K$, $β$ are fixed positive constants. Since our class of flows includes geodesic flows on manifolds of negative curvature, this provides many examples of very precise optimal enhanced dissipation in the sense of [arXiv:1911.01561] and [arXiv:2304.05374]. The proof is based on results about stochastic stability of Pollicott--Ruelle resonances [arXiv:1407.8531].

math.AP

Counting Pollicott--Ruelle resonances for Axiom A flows

In this paper, we count the number of Pollicott--Ruelle resonances for open hyperbolic systems and Axiom A flows. In particular, we prove polynomial upper bounds and sublinear lower bounds on the number of resonances with modulus less than $r$ in strips for open hyperbolic systems and Axiom A flows with a transversality condition.

math.DS

Classically forbidden regions in the chiral model of twisted bilayer graphene. With an appendix by Zhongkai Tao and Maciej Zworski

We establish exponential decay, as the angle of twisting goes to $ 0$, of eigenstates in a model of twisted bilayer graphene (TBG), near the hexagon connecting stacking points. That is done by adapting microlocal methods Kawai-Kashiwara and Sjöstrand used to establish analytic hypoellipticity by Trépreau and Himonas. That replaces ellipticity, absent here, which is the usual mechanism behind classically forbidden regions. We also discuss numerical evidence of exponential decay in other regions (the center of the hexagon) and analytic complications involved in establishing that decay.

math-ph

Mathematical results on the chiral model of twisted bilayer graphene (with an appendix by Mengxuan Yang and Zhongkai Tao)

The study of twisted bilayer graphene (TBG) is a hot topic in condensed matter physics with special focus on {\em magic angles} of twisting at which TBG acquires unusual properties. Mathematically, topologically non-trivial flat bands appear at those special angles. The chiral model of TBG pioneered by Tarnopolsky--Kruchkov--Vishwanath has particularly nice mathematical properties and we survey, and in some cases, clarify, recent rigorous results which exploit them.

cond-mat.mes-hall

The fractal uncertainty principle via Dolgopyat's method in higher dimensions

We prove a fractal uncertainty principle with exponent $\frac{d}{2} - δ+ \varepsilon$, $\varepsilon > 0$, for Ahlfors--David regular subsets of $\mathbb R^d$ with dimension $δ$ which satisfy a suitable "nonorthogonality condition". This generalizes the application of Dolgopyat's method by Dyatlov--Jin (arXiv:1702.03619) to prove the same result in the special case $d = 1$. As a corollary, we get a quantitative spectral gap for the Laplacian on convex cocompact hyperbolic manifolds of arbitrary dimension with Zariski dense fundamental groups.

math.CA

Initial data gluing in the asymptotically flat regime via solution operators with prescribed support properties

We give new proofs of general relativistic initial data gluing results on unit-scale annuli based on explicit solution operators for the linearized constraint equation around the flat case with prescribed support properties. These results retrieve and optimize - in terms of positivity, regularity, size and/or spatial decay requirements - a number of known theorems concerning asymptotically flat initial data, including Kerr exterior gluing by Corvino-Schoen and Chruściel-Delay, interior gluing (or "fill-in") by Bieri-Chruściel, and obstruction-free gluing by Czimek-Rodnianski. In particular, our proof of the strengthened obstruction-free gluing theorem relies on purely spacelike techniques, rather than null gluing as in the original approach.

math.AP

Localized initial data for Einstein equations

We apply a new method with explicit solution operators to construct asymptotically flat initial data sets of the vacuum Einstein equation with new localization properties. Applications include an improvement of the decay rate in Carlotto--Schoen [arXiv:1407.4766] to $\mathcal{O}(|x|^{-(d-2)})$ and a construction of nontrivial asymptotically flat initial data supported in a degenerate sector $\{(x',x_d)\in\mathbb{R}^d:|x'|\leq x_d^α\}$ for $\frac{3}{d+1}<α<1$.

math.AP

Spectral asymptotics for kinetic Brownian motion on Riemannian manifolds

We prove the convergence of the spectrum of the generator of the kinetic Brownian motion to the spectrum of the base Laplacian for closed Riemannian manifolds. This generalizes recent work of Kolb--Weich--Wolf [arXiv:2011.06434] on constant curvature surfaces and of Ren--Tao [arXiv:2208.13111] on locally symmetric spaces. As an application, we prove a conjecture of Baudoin--Tardif [arXiv:1604.06813] on the optimal convergence rate to the equilibrium.

math.SP