Searcharxiv⌕ Search

arXiv subjects

Zhiqin Lu

Publications and source records attributed to Zhiqin Lu.

At least 37 records · Page 2Linked to original sources
arXiv2015

On locally conformally flat manifolds with finite total $Q$-curvature

In this paper, we focus our study on the ends of a locally conformally flat complete manifold with finite total $Q$-curvature. We prove that for such a manifold, the integral of the $Q$-curvature equals an integral multiple of a dimensional constant $c_n$, where $c_n$ is the integral of the $Q$-curvature on the unit $n$-sphere. It provides further evidence that the $Q$-curvature on a locally conformally flat manifold controls geometry as the Gaussian curvature does in two dimension.

math.DG↗
arXiv2014

Abstract Bergman kernel expansion and its applications

We give a purely complex geometric proof of the existence of the Bergman kernel expansion. Our method provides a sharper estimate, and in the case that the metrics are real analytic, we prove that the remainder decays faster than any polynomial.

math.DG↗
arXiv2014

Szego kernels and Poincare series

Let $M = \tilde{M}/Γ$ be a Kahler manifold, where $\tilde{M}$ is the universal Kahler cover, and where $Γ$ is the deck transformation group. Let $(L, h) \to M$ be a positive Hermitian holomorophic line bundle. Lift the Hermitian line bundle to $\tilde{M}$ and consider the relation between the orthogonal projection onto holomorphic sections on the quotient and onto $L^2$ holomorphic sections on $\tilde{M}$. We prove that the quotient Szego kernel is given by the periodization of the $L^2$ Szego kernel of the universal cover, i.e. its sum over the deck group $Γ$. Although this is a standard result for symmetric spaces (it is used in the Selberg trace formula) and is also standard for heat and wave kernels, it seems that a proof of the sum over Gamma formula was lacking for Szego kernels of positive line bundles over general Kahler manifolds. We apply the result to give a simple proof of Napier's theorem on the holomorphic convexity of $\tilde{M}$ with respect to $\tilde{L}^N$ and to surjectivity of Poincaré series. We also simplify the discussion of Poincare series in Kollar's book.

math.CV↗
arXiv2014

Remarks on the Bottcher-Wenzel Inequality

In 2005, Böttcher and Wenzel raised the conjecture that if $X,Y$ are real square matrices, then $||XY-YX||^2\leq 2||X||^2||Y||^2$, where $||\cdot||$ is the Frobenius norm. Various proofs of this conjecture were found in the last few years by several authors. We here give another proof. This proof is highly conceptual and requires minimal computation. We also briefly discuss related inequalities, in particular, the classical Chern-do Camo-Kobayashi inequality.

math.RA↗
arXiv2014

Complex-Valued Autoencoders

Autoencoders are unsupervised machine learning circuits whose learning goal is to minimize a distortion measure between inputs and outputs. Linear autoencoders can be defined over any field and only real-valued linear autoencoder have been studied so far. Here we study complex-valued linear autoencoders where the components of the training vectors and adjustable matrices are defined over the complex field with the $L_2$ norm. We provide simpler and more general proofs that unify the real-valued and complex-valued cases, showing that in both cases the landscape of the error function is invariant under certain groups of transformations. The landscape has no local minima, a family of global minima associated with Principal Component Analysis, and many families of saddle points associated with orthogonal projections onto sub-space spanned by sub-optimal subsets of eigenvectors of the covariance matrix. The theory yields several iterative, convergent, learning algorithms, a clear understanding of the generalization properties of the trained autoencoders, and can equally be applied to the hetero-associative case when external targets are provided. Partial results on deep architecture as well as the differential geometry of autoencoders are also presented. The general framework described here is useful to classify autoencoders and identify general common properties that ought to be investigated for each class, illuminating some of the connections between information theory, unsupervised learning, clustering, Hebbian learning, and autoencoders.

cs.NE↗
arXiv2014

Gauss-Bonnet-Chern theorem on moduli space

In this paper, we proved the Gauss-Bonnet-Chern theorem on moduli space of polarized Kahler manifolds. Using our results, we proved the rationality of the Chern-Weil forms (with respect to the Weil-Petersson metric) on CY moduli. As an application in physics, by the Ashok-Douglas theory, counting the number of flux compactifications of the type IIb string on a Calabi-Yau threefold is related to the integrations of various Chern-Weil forms. We proved that all these integrals are finite (and also rational).

math.DG↗
arXiv2014

The fundamental gap of simplices

The fundamental gap conjecture was recently proven by Andrews and Clutterbuck: for any convex domain in $\R^n$ normalized to have unit diameter, the difference between the first two Dirichlet eigenvalues of the Laplacian is bounded below by that of the interval. In this work, we focus on the moduli spaces of simplices in all dimensions, and later specialize to the moduli space of Euclidean triangles. Our first theorem is a compactness result for the gap function on the moduli space of simplices in any dimension. Our second main result verifies a recent conjecture of Antunes-Freitas: for any Euclidean triangle normalized to have unit diameter, the fundamental gap is uniquely minimized by the equilateral triangle.

math.SP↗
arXiv2014

The $L^1$ Liouville Property on Weighted manifolds

We consider a complete noncompact smooth metric measure space $(M^n,g,e^{-f} dv)$ and the associated drifting Laplacian. We find sufficient conditions on the geometry of the space so that every nonnegative $f$-subharmonic function with bounded weighted $L^1$ norm is constant.

math.DG↗
arXiv2014

On the essential spectrum of complete non-compact manifolds

In this paper, we prove that the $L^p$ essential spectra of the Laplacian on functions are $[0,+\infty)$ on a non-compact complete Riemannian manifold with non-negative Ricci curvature at infinity. The similar method applies to gradient shrinking Ricci soliton, which is similar to non-compact manifold with non-negative Ricci curvature in many ways.

math.DG↗
arXiv2013

Extremal Metrics On Ruled Manifolds

In this paper, we consider a compact Kahler manifold with extremal Kahler metric and a Mumford stable holomorphic bundle over it. We proved that, if the holomorphic vector field defining the extremal Kahler metric is liftable to the bundle and if the bundle is relatively stable with respect to the action of automorphisms of the manifold, then there exist extremal Kahler metrics on the projectivization of the dual vector bundle.

math.DG↗
arXiv2013

The essential spectrum of the Laplacian

In this article we prove a generalization of Weyl's criterion for the essential spectrum of a self-adjoint operator on a Hilbert space. We then apply this criterion to the Laplacian on functions over open manifolds and get new results for its essential spectrum.

math.DG↗
arXiv2013

Heat kernel estimates and the essential spectrum on weighted manifolds

We consider a complete noncompact smooth Riemannian manifold $M$ with a weighted measure and the associated drifting Laplacian. We demonstrate that whenever the $q$-Bakry-Émery Ricci tensor on $M$ is bounded below, then we can obtain an upper bound estimate for the heat kernel of the drifting Laplacian from the upper bound estimates of the heat kernels of the Laplacians on a family of related warped product spaces. We apply these results to study the essential spectrum of the drifting Laplacian on $M$.

math.DG↗
arXiv2013

Asymptotic expansion of the off-diagonal Bergman kernel on compact Kähler manifolds

We compute the first four coefficients of the asymptotic off-diagonal expansion of the Bergman kernel for the N-th power of a positive line bundle on a compact Kaehler manifold, and we show that the coefficient b_1 of the N^{-1/2} term vanishes when we use a K-frame. We also show that all the coefficients of the expansion are polynomials in the K-coordinates and the covariant derivatives of the curvature and are homogeneous with respect to the weight w.

math.DG↗
arXiv2013

Low eigenvalues and one-dimensional collapse

Our main result is that if a generic convex domain in $\R^n$ collapses to a domain in $\R^{n-1}$, then the difference between the first two Dirichlet eigenvalues of the Euclidean Laplacian, known as the fundamental gap, diverges. The boundary of the domain need not be smooth, merely Lipschitz continuous. To motivate the general case, we first prove the analogous result for triangular and polygonal domains. In so doing, we prove that the first two eigenvalues of triangular domains cannot be polyhomogeneous on the moduli space of triangles without blowing up a certain point. Our results show that the gap generically diverges under one dimensional collapse and is bounded only if the domain is sufficiently close to a rectangle in two dimensions or a cylinder in higher dimensions.

math.SP↗
arXiv2012

Eigenvalues of collapsing domains and drift Laplacians

By introducing a weight function to the Laplace operator, Bakry and Émery defined the "drift Laplacian" to study diffusion processes. Our first main result is that, given a Bakry-Émery manifold, there is a naturally associated family of graphs whose eigenvalues converge to the eigenvalues of the drift Laplacian as the graphs collapse to the manifold. Applications of this result include a new relationship between Dirichlet eigenvalues of domains in $\R^n$ and Neumann eigenvalues of domains in $\R^{n+1}$ and a new maximum principle. Using our main result and maximum principle, we are able to generalize \emph{all the results in Riemannian geometry based on gradient estimates to Bakry-Émery manifolds}.

math.SP↗
arXiv2012

On the discrete spectrum of quantum layers

Consider a quantum particle trapped between a curved layer of constant width built over a complete, non-compact, $\mathcal C^2$ smooth surface embedded in $\mathbb{R}^3$. We assume that the surface is asymptotically flat in the sense that the second fundamental form vanishes at infinity, and that the surface is not totally geodesic. This geometric setting is known as a quantum layer. We consider the quantum particle to be governed by the Dirichlet Laplacian as Hamiltonian. Our work concerns the existence of bound states with energy beneath the essential spectrum, which implies the existence of discrete spectrum. We first prove that if the Gauss curvature is integrable, and the surface is weakly $κ$-parabolic, then the discrete spectrum is non-empty. This result implies that if the total Gauss curvature is non-positive, then the discrete spectrum is non-empty. We next prove that if the Gauss curvature is non-negative, then the discrete spectrum is non-empty. Finally, we prove that if the surface is parabolic, then the discrete spectrum is non-empty if the layer is sufficiently thin.

math.SP↗
arXiv2012

Location of the essential spectrum in curved quantum layers

We consider the Dirichlet Laplacian in tubular neighbourhoods of complete non-compact Riemannian manifolds immersed in the Euclidean space. We show that the essential spectrum coincides with the spectrum of a planar tube provided that the second fundamental form of the manifold vanishes at infinity and the transport of the cross-section along the manifold is asymptotically parallel. For low dimensions and codimensions, the result applies to the location of propagating states in nanostructures under physically natural conditions.

math.DG↗