Local positive definite Z2^n-superfunctions can be extended.
problem Bounding and extending local positive definite Z2^n-superfunctions.
method Defining boundedness for Z2^n-superfunctions and extending them.
result Local positive definite Z2^n-superfunctions have positive definite extensions.
New method efficiently learns positive-definite curvature for neural nets.
problem Efficiently learn positive-definite curvature for neural net training.
method Spectral-factorized positive-definite curvature learning approach.
result Efficiently applies arbitrary matrix roots and generic curvature learning.
The paper defines and studies the geometric mean for tensors and its associated Riemannian geometry.
problem Defining and studying the geometric mean for tensors.
method Generalized geometric mean for tensors using T-product, verified properties, and investigated Riemannian manifold.
result Geometric mean of T-positive definite tensors is a unique solution of algebraic Riccati tensor equations and a midpoint of geodesics.
Gaussian kernels on complex manifolds are never positive definite.
problem Analyzing positive definiteness of Gaussian kernels on non-simply-connected Riemannian manifolds.
method Combining recent preprint analysis and classical Riemannian geometry comparison theorems.
result Gaussian kernels are never positive definite on non-simply-connected closed Riemannian manifolds.
Gaussian kernel fails on circle and related spaces.
problem Gaussian kernel's positive definiteness on non-Euclidean spaces.
method Analyzing the Gaussian kernel on the circle and related metric spaces.
result Gaussian kernel is not positive definite on the circle or spaces admitting circle embeddings.
Paper proposes a new covariance estimator ensuring positive semi-definite matrices.
problem Estimating spot covariance matrices while maintaining positive semi-definiteness.
method Modification of the Fourier covariance estimator with a symmetric positive semi-definite constraint.
result The estimator is consistent and produces accurate positive semi-definite matrices.
Characterizes real left symmetric algebras with positive definite Koszul form and related Kähler-Einstein structures.
problem Characterizing real left symmetric algebras with positive definite Koszul form.
method Analyzes the properties of left multiplication operators and symmetric bilinear forms.
result Provides a complete characterization of real left symmetric algebras with positive definite Koszul form.
Proves Gerber statistic is always non-negative.
problem Verifying the positive semi-definiteness of Gerber statistic.
method Analytical proof of both forms of Gerber statistic.
result Gerber statistic is positive semi-definite.
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…
We prove that a positive definite smooth four-manifold with b2+≥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.
problem Bayesian learning rule struggles with positive-definite constraints.
method Proposes an improved rule using Riemannian gradient methods for block-coordinate natural parameterization.
result Outperforms existing methods without increased computation.
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.
problem Clustering radar image sequences efficiently.
method Developed k-means on SPD matrices for non-Euclidean data. result Effective clustering of radar image sequences via SPD matrices.
This work improves understanding of symmetrizing Bregman divergences on positive definite matrices.
problem Understanding which mean to use for symmetrizing Bregman divergences on positive definite matrices.
method Axiomatic definition of mean functionals and variational principles over the cone of positive definite matrices.
result The arithmetic mean is canonical for forward symmetrization, and the arithmetic, log-Euclidean, and harmonic means for reverse symmetrization.
A family of probability distributions parametrized by an open domain Λ in Rn 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.
problem Ensuring identifiability of interaction functions in learning systems of interacting particles.
method Equivalence of coercivity condition to strictly positive definiteness of an integral kernel.
result For ergodic systems, the integral kernel is strictly positive definite, satisfying the coercivity condition.
This paper derives radial fields on manifolds of symmetric positive definite matrices.
problem Lack of an expression for radial fields on manifolds of symmetric positive definite matrices.
method Derives an expression for radial fields on manifolds of symmetric positive definite matrices.
result Derives an expression for radial fields on manifolds of symmetric positive definite matrices.
The Gaussian kernel is never positive-definite on Riemannian symmetric spaces.
problem Proving the non-positive-definiteness of the Gaussian kernel on non-Euclidean symmetric spaces.
method Developed new geometric and analytical arguments to rigorously characterize the positive-definiteness of the Gaussian kernel.
result Lp-Godement theorems provide necessary and sufficient conditions for positive-definiteness. 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…
Study of metrics on positive-definite matrices from power potential, linking to power means.
problem Understanding metrics on positive-definite matrices derived from power potential.
method Explicit expressions for geodesics and distance function derived from Hessian of power potential.
result Geodesics and distance function converge to weighted matrix geometric mean as β tends to zero.
Extends Gaussian process theory to Banach spaces.
problem Extending Gaussian process theory to Banach spaces.
method Investigates the connection between Gaussian processes and Gaussian random elements in reproducing kernel Banach spaces.
result Characterizes positive definite functions that arise from covariance operators in Banach space setting.
New method for learning with non-Euclidean data using decomposable kernels.
problem Difficulty in using classical kernels for non-Euclidean data.
method Reproducing kernel Krein space (RKKS) methods for kernels that admit a positive decomposition.
result Invariant kernels can be used for learning in non-Euclidean spaces.
Investigates locally symmetric polynomial metrics in Riemannian and Finslerian surfaces.
problem Analyzing locally symmetric polynomial metrics in Riemannian and Finslerian surfaces.
method Examines Riemannian and Finslerian surfaces, providing necessary and sufficient conditions for locally symmetric fourth root metrics in 2D and more complex conditions for higher dimensions.
result Formulates conditions for positive definiteness of locally symmetric polynomial metrics in Finslerian surfaces and provides explicit examples.
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…
Study calculates Hessian of Busemann function on Damek-Ricci spaces.
problem Calculating Hessian of Busemann function on Damek-Ricci spaces.
method Calculates eigenvalues of Hessian and proves positive definiteness.
result Hessian of Busemann function is positive definite.
In this article we raise some new questions about positive definite functions on free groups, and explain how these are related to more well-known questions. The article is intended as a survey of known results that also offers some new perspectives and interesting observations; therefore the style is expository.
We study the differential-geometric properties of the loci of fixed points of the elliptic isometries of the manifold of definite positive real matrices with the trace metric. We also give an explicit description of such loci and in particular we find their De Rham decomposition.
Paper proves MS convergence for radially symmetric kernels with large bandwidths.
problem Proving convergence of mean shift algorithm with radially symmetric kernels.
method Analyzes convergence of mean shift algorithm with radially symmetric, positive definite kernels.
result Guaranteed convergence for sufficiently large bandwidth in any dimension.
New method classifies manifold-valued data using Riemannian geometry.
problem Classifying data on curved Riemannian manifolds.
method Probabilistic Learning Vector Quantization on Symmetric Positive Definite Matrices.
result The method outperforms traditional Euclidean methods on manifold-valued data.
Proves stability of gravitational instantons, proving operator positivity.
problem Stability of gravitational instantons.
method Riemannian analog of black hole mode stability for Hermitian, non-self-dual gravitational instantons.
result Teukolsky equation is a positive definite operator on Hermitian, non-self-dual gravitational instantons.
In this article we show that every geodesic is rank one and the Hessian of Busemann functions is positive definite for a harmonic Damek-Ricci space, a two step solvable Lie group with a left invariant metric. Moreover, the eigenspace of the Hessian of Busemann functions on a Hadamard manifold (M,g) corresponding to e…
Positive definite matrices abound in a dazzling variety of applications. This ubiquity can be in part attributed to their rich geometric structure: positive definite matrices form a self-dual convex cone whose strict interior is a Riemannian manifold. The manifold view is endowed with a "natural" distance function whil…
Reviewed and extended Wang-Yau quasi-local mass definitions.
problem Clarifying and extending definitions of quasi-local mass.
method Reviewed existing definitions and extended positivity proof.
result Extended positivity proof for Wang-Yau quasi-local energy.
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…
Study of J-Hermitian matrices and geometric mean definition.
problem Understanding the cone of J-Hermitian matrices and its geometric mean.
method Analysis of the cone structure, Riemannian structure, and definition of J-geometric mean.
result Uniquely characterized J-geometric mean defined as a solution to a Riccati-type equation.
Paper introduces a new distance measure for Gaussian Mixture Models.
problem Developing a new distance measure for Gaussian Mixture Models.
method Embedding K-component Gaussian Mixture Models into the manifold of symmetric positive definite matrices and calculating a lower bound for the Fisher-Rao metric.
result Demonstrated effectiveness through experiments on standard datasets.
We prove a generalisation of Elkies' theorem to nonunimodular definite forms (and lattices). Combined with inequalities of Froyshov and of Ozsvath and Szabo, this gives a simple test of whether a rational homology 3-sphere may bound a definite four-manifold. As an example we show that small positive surgeries on torus …
We use an idea of Wang and Yau to give a new definition of quasi-local mass for a topological sphere in an initial date set. The new definition modifies Brown-York's definition by using certain spinor norm as lapse function. And it requires mean curvature of the topological sphere satisfies apparent horizon conditions,…
We explore the connection between Hilbertian metrics and positive definite kernels on the real line. In particular, we look at a well-known characterization of translation invariant Hilbertian metrics on the real line by von Neumann and Schoenberg (1941). Using this result we are able to give an alternate proof of Boch…
Improved method for computing Fréchet means on SPD matrices.
problem Computing Fréchet means on the manifold of SPD matrices.
method Random matrix theory-based approach for estimating Fréchet means.
result Significantly outperforms state-of-the-art methods in experiments.
New kernels defined for various spaces, including measures.
problem Defining kernels on non-standard spaces like measures.
method Integrally strictly positive definite and characteristic kernels on Hilbert, Banach, and metric spaces.
result Explicit classes of kernels on Lp spaces and sets of measures. In kernel methods, the kernels are often required to be positive definite, which restricts the use of many indefinite kernels. To consider those non-positive definite kernels, in this paper, we aim to build an indefinite kernel learning framework for kernel logistic regression. The proposed indefinite kernel logistic r…
Researchers found a way to measure energy in black hole perturbations.
problem Lack of positive-definite and conserved energy in black hole stability.
method Dimensional reduction and construction of a positive-definite energy functional.
result Conserved Hamiltonian energy for axially symmetric perturbations of Kerr black holes.
Estimates Laplace eigenvalues and diameter for Lie group metrics.
problem Estimating Laplace eigenvalues and diameter for left-invariant metrics on compact Lie groups.
method Relates left-invariant metrics to positive definite matrices and uses eigenvalue properties.
result Partial answers to Eldredge's conjecture on Laplace eigenvalues and diameter.
Signature kernel handles sequential data with theoretical and practical advantages.
problem Handling sequential data efficiently and accurately.
method Positive definite kernel based on stochastic analysis with efficient computation.
result Strong empirical performance and theoretical guarantees.
This survey is an introduction to positive definite kernels and the set of methods they have inspired in the machine learning literature, namely kernel methods. We first discuss some properties of positive definite kernels as well as reproducing kernel Hibert spaces, the natural extension of the set of functions $\{k(x…
We prove that if a compact Riemannian 4-manifold with positive sectional curvature satisfies a Kato type inequality, then it is definite. We also discuss some new insights for compact Riemannian 4-manifolds of positive sectional curvature.