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.
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.
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.
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.
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…
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…
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.
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.
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.
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.
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…
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.
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 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.
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…
Paper derives explicit expression of Alekseev-Meinrenken diffeomorphism.
problem Understanding the Alekseev-Meinrenken diffeomorphism.
method Via the Stokes phenomenon of meromorphic linear systems of ODEs with Poncaré rank 1.
result Explicit expression of the Alekseev-Meinrenken diffeomorphism.
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 this paper, we study the Poisson equation and heat equation in a model matrix geometry Mn. Our main results are about the Poisson equation and global behavior of the heat equation on Mn. We can show that if c0 is the initial positive definite matrix in Mn, then c(t) exists for all time and is positive …
The possibilities for new or unusual kinds of topological, locally linear periodic maps of non-prime order on closed, simply connected 4-manifolds with positive definite intersection pairings are explored. On the one hand, certain permutation representations on homology are ruled out under appropriate hypotheses. On th…
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 Rd. We prove that only affine transforms can do so in a pretty large class of RKHS. Our result covers not only the …
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…
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…
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.
This work tackles regression on non-Euclidean spaces, specifically positive-definite matrices with the Bures-Wasserstein metric.
problem Regression on non-Euclidean spaces, specifically positive-definite matrices with the Bures-Wasserstein metric.
method Developed a sufficient condition for the existence of a minimizer of the conditional barycenter problem, characterized the optimization landscape, and developed a projection-free algorithm for approximate computation of first-order stationary points.
result The objective is free of local maxima under the sufficient condition, and the algorithm enables the use of stochastic Riemannian optimization methods for large-scale setups.
Bootstrapping regularizes singular correlation matrices, reducing the need for complex regularization.
problem Singular correlation matrices in large datasets.
method Averaging bootstrapped correlation matrices to ensure positive-definiteness.
result The averaged correlation matrix is almost surely positive-definite with a sufficient number of bootstraps.
Paper introduces a generalized Bures-Wasserstein geometry for SPD matrices.
problem Understanding the geometry of SPD matrices for machine learning.
method Proposes a generalized Bures-Wasserstein geometry parameterized by a symmetric positive definite matrix.
result The GBW geometry outperforms the BW geometry in machine learning applications.
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 paper, we present a unified study of the moduli space of tropical curves and Outer space which we link via period maps to the moduli space of tropical abelian varieties and the space of positive definite quadratic forms. Our work is a first step towards exhibiting Outer space and the space of positive definite …
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. 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.
Proposes a new Sliced-Wasserstein distance for covariance matrices in M/EEG signals.
problem Efficiently dealing with distributions of covariance matrices in M/EEG multivariate time series.
method Defines a Sliced-Wasserstein distance for symmetric positive definite matrices and applies it to brain-age prediction and Brain Computer Interface applications.
result Demonstrates computational efficiency and strong theoretical guarantees for the proposed distance.
Based on the Hamiltonian dimensional reduction of 3+1 axially symmetric, Ricci-flat Lorentzian spacetimes to a 2+1 Einstein-wave map system with the (negatively curved) hyperbolic 2-plane target, we construct a positive-definite, (spacetime) gauge-invariant energy functional for linear axially symmetric perturbatio…