arXiv research

We quantify conditions that ensure that a signed measure on a Riemannian manifold has a well defined centre of mass. We then use this result to quantify the extent of a neighbourhood on which the Riemannian barycentric coordinates of a set of $n+1$ points on an $n$-manifold provide a true coordinate chart, i.e., the ba…

We define barycentric coordinates on a Riemannian manifold using Karcher's center of mass technique applied to point masses for n+1 sufficiently close points, determining an n-dimensional Riemannian simplex defined as a "Karcher simplex." Specifically, a set of weights is mapped to the Riemannian center of mass for the…

New theorem proves convergence of various discrete conformal structures to conformal maps.

We study a natural intrinsic definition of geometric simplices in Riemannian manifolds of arbitrary dimension $n$, and exploit these simplices to obtain criteria for triangulating compact Riemannian manifolds. These geometric simplices are defined using Karcher means. Given a finite set of vertices in a convex set on t…

Paper tackles measure estimation in barycentric coding model.

A method models nonlinear dynamics from data using barycentric coordinates and memory.

A new embedding method for high-dimensional data.

The Riemannian barycentre is one of the most widely used statistical descriptors for probability distributions on Riemannian manifolds. At present, existing algorithms are able to compute the Riemannian barycentre of a probability distribution, only if i.i.d. samples of this distribution are readily available. However,…

We establish the equivalence of the Tuynman midpoint area formula for a spherical triangle to the classical area formulas of Euler and of Cagnoli. The derivation also yields a variant of the Cagnoli formula in terms of the medial triangle. We introduce the three barycentric coordinates of a point within the spherical t…

Develop a framework for barycentric projections of optimal transport plans on Riemannian manifolds.

This paper investigates the generalization of Principal Component Analysis (PCA) to Riemannian manifolds. We first propose a new and general type of family of subspaces in manifolds that we call barycentric subspaces. They are implicitly defined as the locus of points which are weighted means of $k+1$ reference points.…

A new method for spectral barycentre of graph datasets.

Develops iso-Riemannian optimization for data manifolds.

Extends optimal transport to dynamic and martingale settings.

A new algorithm computes Wasserstein barycenters without entropic regularization.

Unified framework for optimal transport on curved spaces using neural potentials.

Discrete Morse functions induce shellings with critical tiles corresponding to function's critical faces.

Study curvature and torsion in Gaussian distribution's dual coordinate system.

We study the barycentric straightening of simplices in irreducible symmetric spaces of non-compact type. We show that, for an n-dimensional symmetric space of rank r>1, the p-Jacobian has uniformly bounded norm, as soon as p is at least n-r+2. As a consequence, for a non-compact, connected, semisimple real Lie group G,…

Associated to any finite flag complex L there is a right-angled Coxeter group W_L and a contractible cubical complex Sigma_L (the Davis complex) on which W_L acts properly and cocompactly, and such that the link of each vertex is L. It follows that if L is a generalized homology sphere, then Sigma_L is a contractible h…

Study on conformal harmonic coordinates on manifolds, proving existence and properties.

Some results on existence of global Chebyshev coordinates on a Riemannian manifold or, more generally, on Aleksandrov surface are proved. For instance, if the positive and the negative parts of integral curvature of a Riemannian manifold M are less than 2πeach, then there exist global Chebyshev coordinates on M. These …

(1) For a compact Riemannian manifold without boundary $(M,g)$ containing $n+1$ points $p_i$ and the $n$-dimensional standard simplex $Δ$, the miniser of \[ E: M \times Δ\to {\mathbf R}, (a,λ) \mapsto λ^0 d^2(a,p_0) + \dots + λ^n d^2(a,p_n) \] is considered as point with "barycentric coordinates" $λ_i$ within the so-ca…

Combines expert models using Kullback-Leibler divergence to create a combined model.

Example shows no global coordinates on 2-torus's cover.

If one could assume that local coordinates in a Riemannian manifold were orthogonal, then local expressions for differential operators, and curvature computations, would be simplified. It is always possible on 2-manifolds, using geometric normal coordinates or isothermal coordinates. In 1984, Dennis DeTurck and Dean Ya…

New method solves tree-structured Schrödinger Bridge problems.

Aggregates probability models using Wasserstein space and variational approach.

In integrable hydrodynamic systems, coordinates exist where generators and symmetries are simple.

Minimal displacement set in weakly systolic complexes is systolic and embeds isometrically.

We introduce canonical measures on a locally finite simplicial complex $K$ and study their asymptotic behavior under infinitely many barycentric subdivisions. We also compute the face polynomial of the asymptotic link and dual block of a simplex in the $d^{th}$ barycentric subdivision $Sd^d(K)$ of $K$, $d\gg0$. It is a…

Defines natural tensors for submanifolds of pseudo-Riemannian manifolds.

The paper analyzes rates of convergence for optimal transport map estimators using barycentric projections.

We consider (locally) energy finite coordinates associated with a strongly local regular Dirichlet form on a metric measure space. We give coordinate formulas for substitutes of tangent spaces, for gradient and divergence operators and for the infinitesimal generator. As examples we discuss Euclidean spaces, Riemannian…

We study fractional Sobolev and Besov spaces on noncompact Riemannian manifolds with bounded geometry. Usually, these spaces are defined via geodesic normal coordinates which, depending on the problem at hand, may often not be the best choice. We consider a more general definition subject to different local coordinates…

In every point of a Kähler manifold there exist special holomorphic coordinates well adapted to the underlying geometry. Comparing these Kähler normal coordinates with the Riemannian normal coordinates defined via the exponential map we prove that their difference is a universal power series in the curvature tensor and…

Proposes a new model for time series that considers smooth transitions between states.

The paper sharpens a theorem about surfaces with zero Gaussian curvature.

New spherical Milnor spaces for diffeological groups with geometric and topological properties.

Tree complex linked to polyhedral shapes like associahedra and cyclohedra.

Proposes a fair pricing framework insensitive to protected covariates.

This article studies the smoothness of conformal mappings between two Riemannian manifolds whose metric tensors have limited regularity. We show that any bi-Lipschitz conformal mapping or $1$-quasiregular mapping between two manifolds with $C^r$ metric tensors ($r > 1$) is a $C^{r+1}$ conformal (local) diffeomorphism. …

We consider a class (M, g, q) of four-dimensional Riemannian manifolds M, where besides the metric g there is an additional structure q, whose fourth power is the unit matrix. We use the existence of a local coordinate system such that there the coordinates of g and q are circulant matrices. In this system q has consta…

Simpler algorithms for morphing planar and toroidal graphs.

We provide a coordinate-free version of the local classification, due to A. G. Walker [Quart. J. Math. Oxford (2) 1, 69 (1950)], of null parallel distributions on pseudo-Riemannian manifolds. The underlying manifold is realized, locally, as the total space of a fibre bundle, each fibre of which is an affine principal b…

New findings on Kähler manifolds restrict orthogonal coordinates existence.

In this paper, we show that one can naturally associate a limiting dynamical system $F: T\longrightarrow T$ on an $\R$-tree to any degenerating sequence of rational maps $f_n: \hat\C \longrightarrow \hat\C$ of fixed degree. The construction of $F$ is in $2$ steps: first we use barycentric extension to get $\E f_n : \Hy…

node2coords learns interpretable graph node representations robust to graph perturbations.