arXiv research

Extends Gaussian process theory to Banach spaces.

Quillen proved that, if a Hermitian bihomogeneous polynomial is strictly positive on the unit sphere, then repeated multiplication of the standard sesquilinear form to this polynomial eventually results in a sum of Hermitian squares. Catlin-D'Angelo and Varolin deduced this positivstellensatz of Quillen from the eventu…

This work presents a parametrized family of divergences, namely Alpha-Beta Log- Determinant (Log-Det) divergences, between positive definite unitized trace class operators on a Hilbert space. This is a generalization of the Alpha-Beta Log-Determinant divergences between symmetric, positive definite matrices to the infi…

Proves stability of gravitational instantons, proving operator positivity.

In this paper, we specify what functions induce the bounded composition operators on a reproducing kernel Hilbert space (RKHS) associated with an analytic positive definite function defined on $\mathbf{R}^d$. We prove that only affine transforms can do so in a pretty large class of RKHS. Our result covers not only the …

Introduce Collapsed Effective Operators for higher-order structures.

Estimates Laplace eigenvalues and diameter for Lie group metrics.

Characterizes real left symmetric algebras with positive definite Koszul form and related Kähler-Einstein structures.

We prove in this paper that the weighted volume of the set of integral transportation matrices between two integral histograms r and c of equal sum is a positive definite kernel of r and c when the set of considered weights forms a positive definite matrix. The computation of this quantity, despite being the subject of…

In (equi-)affine differential geometry, the most important algebraic invariants are the affine (Blaschke) metric h, the affine shape operator S and the difference tensor K. A hypersurface is said to admit a pointwise symmetry if at every point there exists a linear transformation preserving the affine metric, the affin…

The article constructs Feynman propagators for normally hyperbolic operators on curved spacetimes.

Given two metrics of positive scalar curvature metrics on a closed spin manifold, there is a secondary index invariant in real $K$-theory. There exist two definitions of this invariant, one of homotopical flavour, the other one defined by a index problem of Atiyah-Patodi-Singer type. We give a complete and detailed pro…

We first present the natural definitions of the horizontal differential, the divergence (as an adjoint operator), and a $p$-harmonic form on a Finsler manifold. Next, we prove a Hodge-type theorem for a Finsler manifold in the sense that a horizontal $p$-form is harmonic if and only if the horizontal Laplacian vanishes…

Information theory provides principled ways to analyze different inference and learning problems such as hypothesis testing, clustering, dimensionality reduction, classification, among others. However, the use of information theoretic quantities as test statistics, that is, as quantities obtained from empirical data, p…

We define a discrete Laplace-Beltrami operator for simplicial surfaces. It depends only on the intrinsic geometry of the surface and its edge weights are positive. Our Laplace operator is similar to the well known finite-elements Laplacian (the so called ``cotan formula'') except that it is based on the intrinsic Delau…

Local positive definite Z2^n-superfunctions can be extended.

The paper proves positivity of characteristic forms for certain vector bundles.

We introduce and study covariance fields of distributions on a Riemannian manifold. At each point on the manifold, covariance is defined to be a symmetric and positive definite (2,0)-tensor. Its product with the metric tensor specifies a linear operator on the respected tangent space. Collectively, these operators form…

We decompose the de Rham Laplacian on Sasaki-Einstein manifolds as a sum over mostly positive definite terms. An immediate consequence are lower bounds on its spectrum. These bounds constitute a supergravity equivalent of the unitarity bounds in dual superconformal field theories. The proof uses a generalization of Kah…

For two positive integers m and n, we let ${\mathcal P}_n$ be the open convex cone in ${\mathbb R}^{n(n+1)/2}$ consisting of positive definite n x n real symmetric matrices and let ${\mathbb R}^{(m,n)}$ be the set of all m x n real matrices. In this article, we investigate differential operators on the non-reductive ma…

New method efficiently learns positive-definite curvature for neural nets.

The paper defines and studies the geometric mean for tensors and its associated Riemannian geometry.

Gaussian kernels on complex manifolds are never positive definite.

Global propagator for massless Dirac operator defined and analyzed.

Gaussian kernel fails on circle and related spaces.

Let $x: M\rightarrow \mathbb{R}^{N}$ be an $n$-dimensional compact self-shrinker in $\mathbb{R}^N$ with smooth boundary $\partialΩ$. In this paper, we study eigenvalues of the operator $\mathcal{L}_r$ on $M$, where $\mathcal{L}_r$ is defined by $$\mathcal{L}_r=e^{\frac{|x|^2}{2}}{\rm div}(e^{-\frac{|x|^2}{2}}T^r\nabla\…

Fix a number $g>1$, let $S$ be a close surface of genus $g$, and $Teich(S)$ be the Teichmüller space of $S$ endowed with the Weil-Petersson metric. In this paper we show that the Riemannian sectional curvature operator of $Teich(S)$ is non-positive definite. As an application we show that any twist harmonic map from ra…

Paper proposes a new covariance estimator ensuring positive semi-definite matrices.

Study spectral flow for Callias operators to prove obstructions to positive scalar curvature.

Positive definite operator-valued kernels generalize the well-known notion of reproducing kernels, and are naturally adapted to multi-output learning situations. This paper addresses the problem of learning a finite linear combination of infinite-dimensional operator-valued kernels which are suitable for extending func…

Proves Gerber statistic is always non-negative.

Study on estimating distances between covariance operators and Gaussian processes.

Positive definite kernels are an important tool in machine learning that enable efficient solutions to otherwise difficult or intractable problems by implicitly linearizing the problem geometry. In this paper we develop a set-theoretic interpretation of the Earth Mover's Distance (EMD) and propose Earth Mover's Interse…

Given a link L in the 3-sphere, we ask whether the components of L bound disjoint, nullhomologous disks properly embedded in a simply-connected positive-definite smooth 4-manifold; the knot case has been studied extensively in work of Cochran-Harvey-Horn. Such a 4-manifold is necessarily homeomorphic to a (punctured) c…

We prove that a positive definite smooth four-manifold with $b_2^+ \geq 2$ and having either no 1-handles or no 3-handles cannot admit a symplectic structure.

Improved Bayesian learning rule handles positive-definite constraints efficiently.

Local index formula for Lorentzian Dirac operators on spacetimes.

Motivated by a problem in local differential geometry of Cauchy--Riemann (CR) structures of hypersurface type, we find a canonical form for pairs consisting of a nondegenerate Hermitian form and a self-adjoint antilinear operator, or, equivalently, consisting of a nondegenerate Hermitian form and a symmetric bilinear f…

The universal Teichmüller space is an infinitely dimensional generalization of the classical Teichmüller space of Riemann surfaces. It carries a natural Hilbert structure, on which one can define a natural Riemannian metric, the Weil-Petersson metric. In this paper we investigate the Weil-Petersson Riemannian curvature…

Gaussian belief propagation (GaBP) is an iterative algorithm for computing the mean of a multivariate Gaussian distribution, or equivalently, the minimum of a multivariate positive definite quadratic function. Sufficient conditions, such as walk-summability, that guarantee the convergence and correctness of GaBP are kn…

New $k$-means method clusters radar image sequences using SPD matrices.

Paper combines geometry and time-series analysis for spatiotemporal data.

This work improves understanding of symmetrizing Bregman divergences on positive definite matrices.

In the present article the geometry of semi-Riemannian manifolds with nonholonomic constraints is studied. These manifolds can be considered as analogues to the sub-Riemannian manifolds, where the positively definite metric is substituted by a nondegenerate metric. To study properties of the exponential map the Christo…

Let (M,g) be a compact oriented Einstein 4-manifold. Write R-plus for the part of the curvature operator of g which acts on self-dual 2-forms. We prove that if R-plus is negative definite then g is locally rigid: any other Einstein metric near to g is isometric to it. This is a chiral generalisation of Koiso's Theorem,…

A family of probability distributions parametrized by an open domain $Λ$ in $R^n$ defines the Fisher information matrix on this domain which is positive semi-definite. In information geometry the standard assumption has been that the Fisher information matrix tensor is positive definite defining in this way a Riemannia…

We consider a model for linear transient price impact for multiple assets that takes cross-asset impact into account. Our main goal is to single out properties that need to be imposed on the decay kernel so that the model admits well-behaved optimal trade execution strategies. We first show that the existence of such s…

Coercivity condition ensures learning of interacting particle systems.