Searcharxiv⌕ Search

arXiv subjects

Zhiqin Lu

Publications and source records attributed to Zhiqin Lu.

At least 19 recordsLinked to original sources

$L^p$-spectral theory for the Laplacian on forms

In this article, we find sufficient conditions on an open Riemannian manifold so that a Weyl criterion holds for the $L^p$-spectrum of the Laplacian on $k$-forms, and also prove the decomposition of the $L^p$-spectrum depending on the order of the forms. We then show that the resolvent set of an operator such as the Laplacian on $L^p$ lies outside a parabola whenever the volume of the manifold has an exponential volume growth rate, removing the requirement on the manifold to be of bounded geometry. We conclude by providing a detailed description of the $L^p$ spectrum of the Laplacian on $k$-forms over hyperbolic space.

math.DG↗

Remarks on a result of Chen-Cheng

In their seminal work (\cite{CC}, \cite{CC2}), Chen and Cheng proved apriori estimates for the constant scalar curvature metrics on compact Kähler manifolds. They also prove $C^{3,α}$-estimate for the potential of the Kähler metrics under boundedness assumption on the scalar curvature and the entropy. The goal of this paper is to replace the uniform boundedness of the scalar curvature to the $L^p$-boundedness of the scalar curvature.

math.DG↗

Connected essential spectrum: the case of differential forms

In this article we prove that, over complete manifolds of dimension $n$ with vanishing curvature at infinity, the essential spectrum of the Hodge Laplacian on differential $k$-forms is a connected interval for $0\leq k\leq n$. The main idea is to show that large balls of these manifolds, which capture their spectrum, are close in the Gromov-Hausdorff sense to product manifolds. We achieve this by carefully describing the collapsed limits of these balls. Then, via a new generalized version of the classical Weyl criterion, we demonstrate that very rough test forms that we get from the $\varepsilon$-approximation maps can be used to show that the essential spectrum is a connected interval. We also prove that, under a weaker condition where the Ricci curvature is asymptotically nonnegative, the essential spectrum on $k$-forms is $[0,\infty)$, but only for $0\leq k\leq q$ and $n-q \leq k\leq n$ for some integer $ q\geq 1$ which depends the structure of the manifolds at infinity.

math.DG↗

Graphs with positive spectrum

In this paper, we prove sharp $\ell^2$ decay estimates of nonnegative generalized subharmonic functions on graphs with positive Laplacian spectrum, which extends the result by Li and Wang on Riemannian manifolds.

math.DG↗

On a Conjecture of Bahri-Xu

In order to study the Yamabe changing-sign problem, Bahri and Xu proposed a conjecture which is a universal inequality for $p$ points in $\mathbb R^m$. They have verified the conjecture for $p\leq3$. In this paper, we first simplify this conjecture by giving two sufficient and necessary conditions inductively. Then we prove the conjecture for the basic case $m=1$ with arbitrary $p$. In addition, for the cases when $p=4,5$ and $m\geq2$, we manage to reduce them to the basic case $m=1$ and thus prove them as well.

math.CA↗

Eigenvalue Estimates on Bakry-Emery Manifolds

We demonstrate lower bounds for the eigenvalues of compact Bakry-Emery manifolds with and without boundary. The lower bounds for the first eigenvalue rely on a generalised maximum principle which allows gradient estimates in the Riemannian setting to be directly applied to the Bakry-Emery setting. Lower bounds for all eigenvalues are demonstrated using heat kernel estimates and a suitable Sobolev inequality.

math.SP↗

One can hear the corners of a drum

We prove that the presence or absence of corners is spectrally determined in the following sense: any simply connected domain with piecewise smooth Lipschitz boundary cannot be isospectral to any connected domain, of any genus, which has smooth boundary. Moreover, we prove that amongst all domains with Lipschitz, piecewise smooth boundary and fixed genus, the presence or absence of corners is uniquely determined by the spectrum. This means that corners are an elementary geometric spectral invariant; one can hear corners.

math.SP↗

The sound of symmetry

This note begins with an introduction to the inverse isospectral problem popularized by M. Kac's 1966 article in the American Mathematical Monthly, "Can one hear the shape of a drum?" Although the answer has been known for some twenty years now, many open problems remain. Intended for general audiences, readers are challenged to complete exercises throughout this interactive introduction to inverse spectral theory. Following the introduction, the main techniques used in inverse isospectral problems are collected and discussed. These are then used to prove that one can hear the shape of: parallelograms, acute trapezoids, and the regular n-gon. Finally, we show that one can realistically hear the shape of the regular n-gon amongst all convex n-gons because it is uniquely determined by a finite number of eigenvalues; the sound of symmetry can really be heard!

math.SP↗

The Dirichlet isospectral problem for trapezoids

We show that non-obtuse trapezoids are uniquely determined by their Dirichlet Laplace spectrum. This extends our previous result, which was only concerned with the Neumann Laplace spectrum.

math.AP↗

Gradient and Eigenvalue Estimates on the canonical bundle of Kähler manifolds

We prove certain gradient and eigenvalue estimates, as well as the heat kernel estimates, for the Hodge Laplacian on $(m,0)$ forms, i.e., sections of the canonical bundle of Kähler manifolds, where $m$ is the complex dimension of the manifold. Instead of the usual dependence on curvature tensor, our condition depends only on the Ricci curvature bound. The proof is based on a new Bochner type formula for the gradient of $(m, 0)$ forms, which involves only the Ricci curvature and the gradient of the scalar curvature.

math.DG↗

On some conjectures by Lu and Wenzel

In order to give a unified generalization of the BW inequality and the DDVV inequality, Lu and Wenzel proposed three Conjectures 1, 2, 3 and an open Question 1 in 2016. In this paper we discuss further these conjectures and put forward several new conjectures which will be shown equivalent to Conjecture 2. In particular, we prove Conjecture 2 and hence all conjectures in some special cases. For Conjecture 3, we obtain a bigger upper bound $2+\sqrt{10}/2$, and we also give a weaker answer for the more general Question 1. In addition, we obtain some new simple proofs of the complex BW inequality and the condition for equality.

math.DG↗

The spectrum of the Laplacian on forms

In this article we prove a generalization of Weyl's criterion for the spectrum of a self-adjoint nonnegative operator on a Hilbert space. We will apply this new criterion in combination with Cheeger-Fukaya-Gromov and Cheeger-Colding theory to study the $k$-form essential spectrum over a complete manifold with vanishing curvature at infinity or asymptotically nonnegative Ricci curvature. In addition, we will apply the generalized Weyl criterion to study the variation of the spectrum of a self-adjoint operator under continuous perturbations of the operator. In the particular case of the Laplacian on $k$-forms over a complete manifold we will use these analytic tools to find significantly stronger results for its spectrum including its behavior under a continuous deformation of the metric of the manifold.

math.DG↗

Learning in the Machine: Random Backpropagation and the Deep Learning Channel

Random backpropagation (RBP) is a variant of the backpropagation algorithm for training neural networks, where the transpose of the forward matrices are replaced by fixed random matrices in the calculation of the weight updates. It is remarkable both because of its effectiveness, in spite of using random matrices to communicate error information, and because it completely removes the taxing requirement of maintaining symmetric weights in a physical neural system. To better understand random backpropagation, we first connect it to the notions of local learning and learning channels. Through this connection, we derive several alternatives to RBP, including skipped RBP (SRPB), adaptive RBP (ARBP), sparse RBP, and their combinations (e.g. ASRBP) and analyze their computational complexity. We then study their behavior through simulations using the MNIST and CIFAR-10 bechnmark datasets. These simulations show that most of these variants work robustly, almost as well as backpropagation, and that multiplication by the derivatives of the activation functions is important. As a follow-up, we study also the low-end of the number of bits required to communicate error information over the learning channel. We then provide partial intuitive explanations for some of the remarkable properties of RBP and its variations. Finally, we prove several mathematical results, including the convergence to fixed points of linear chains of arbitrary length, the convergence to fixed points of linear autoencoders with decorrelated data, the long-term existence of solutions for linear systems with a single hidden layer and convergence in special cases, and the convergence to fixed points of non-linear chains, when the derivative of the activation functions is included.

cs.LG↗

Learning in the Machine: the Symmetries of the Deep Learning Channel

In a physical neural system, learning rules must be local both in space and time. In order for learning to occur, non-local information must be communicated to the deep synapses through a communication channel, the deep learning channel. We identify several possible architectures for this learning channel (Bidirectional, Conjoined, Twin, Distinct) and six symmetry challenges: 1) symmetry of architectures; 2) symmetry of weights; 3) symmetry of neurons; 4) symmetry of derivatives; 5) symmetry of processing; and 6) symmetry of learning rules. Random backpropagation (RBP) addresses the second and third symmetry, and some of its variations, such as skipped RBP (SRBP) address the first and the fourth symmetry. Here we address the last two desirable symmetries showing through simulations that they can be achieved and that the learning channel is particularly robust to symmetry variations. Specifically, random backpropagation and its variations can be performed with the same non-linear neurons used in the main input-output forward channel, and the connections in the learning channel can be adapted using the same algorithm used in the forward channel, removing the need for any specialized hardware in the learning channel. Finally, we provide mathematical results in simple cases showing that the learning equations in the forward and backward channels converge to fixed points, for almost any initial conditions. In symmetric architectures, if the weights in both channels are small at initialization, adaptation in both channels leads to weights that are essentially symmetric during and after learning. Biological connections are discussed.

cs.NE↗

The spectrum of the Laplacian on forms over flat manifolds

In this article we prove that the spectrum of the Laplacian on $k$-forms over a noncompact flat manifold is always a connected closed interval of the nonnegative real line. The proof is based on a detailed decomposition of the structure of flat manifolds.

math.DG↗

Off-diagonal asymptotic properties of Bergman kernels associated to analytic Kähler potentials

We prove a new off-diagonal asymptotic of the Bergman kernels associated to tensor powers of a positive line bundle on a compact Kähler manifold. We show that if the Kähler potential is real analytic, then the Bergman kernel accepts a complete asymptotic expansion in a neighborhood of the diagonal of shrinking size $k^{-\frac14}$. These improve the earlier results in the subject for smooth potentials, where an expansion exists in a $k^{-\frac12}$ neighborhood of the diagonal. We obtain our results by finding upper bounds of the form $C^m m!^{2}$ for the Bergman coefficients $b_m(x, \bar y)$, which is an interesting problem on its own. We find such upper bounds using the method of Berman-Berndtsson-Sjöstrand. We also show that sharpening these upper bounds would improve the rate of shrinking neighborhoods of the diagonal $x=y$ in our results. In the special case of metrics with local constant holomorphic sectional curvatures, we obtain off-diagonal asymptotic in a fixed (as $k \to \infty$) neighborhood of the diagonal, which recovers a result of Berman [Ber] (see Remark 3.5 of [Ber] for higher dimensions). In this case, we also find an explicit formula for the Bergman kernel mod $O(e^{-k δ} )$.

math.DG↗

The Neumann isospectral problem for trapezoids

We show that trapezoids with identical Neumann spectra are congruent up to rigid motions of the plane. The proof is based on heat trace invariants and some new wave trace invariants associated to certain diffractive billiard trajectories. The reason we can only treat the Neumann case is that the wave trace is "more singular" for the Neumann case compared to the Dirichlet case. This is a new observation which is interesting on its own.

math.SP↗