arXiv research

New methods solve min-max problems on manifolds using Riemannian Hamiltonians.

New algorithms improve MCMC efficiency for complex distributions.

Newtonian, Lagrangian, and Hamiltonian dynamical systems are well formalized mathematically. They give rise to geometric structures describing motion of a point in smooth manifolds. Riemannian metric is a different geometric structure formalizing concepts of length and angle. The interplay of Riemannian metric and its …

Motivated by various results on homogeneous geodesics of Riemannian spaces, we study homogeneous trajectories, i.e. trajectories which are orbits of a one-parameter symmetry group, of Lagrangian and Hamiltonian systems. We present criteria under which an orbit of a one-parameter subgroup of a symmetry group G is a solu…

In this paper we construct a distinguished Riemannian geometrization on the dual 1-jet space J^{1*}(T,M) for the multi-time quadratic Hamiltonian functions. Our geometrization includes a nonlinear connection N, a generalized Cartan canonical N-linear connection (together with its local d-torsions and d-curvatures), nat…

The unit sphere $\mathbb S^3$ can be identified with the unitary group SU(2). Under this identification the unit sphere can be considered as a non-commutative Lie group. The commutation relations for the vector fields of the corresponding Lie algebra define a 2-step sub-Riemannian manifold. We study sub-Riemannian geod…

Paper maps Hamiltonians and line elements in manifolds.

Abstract: Proves no non-trivial normal orbits for specific Hamiltonians.

Paper develops a new fluid flow model with energy exchange through boundaries.

The chaotic geodesic flow on a jet space is non-integrable.

We consider a {\em Hamiltonian setup} $\sextuple$, where $(\mathcal M,ω)$ is a symplectic manifold, $\mathfrak L$ is a distribution of Lagrangian subspaces in $\mathcal M$, $\mathcal P$ a Lagrangian submanifold of $\mathcal M$, $H$ is a smooth time dependent Hamiltonian function on $\mathcal M$ and $Γ:[a,b]\to\mathcal…

The curvature and the reduced curvature are basic differential invariants of the pair (Hamiltonian system, Lagrange distribution) on the symplectic manifold. It is shown that the negativity of the reduced curvature implies the hyperbolicity of any compact invariant set of the Hamiltonian flow restricted to a prescribed…

Study of Lagrangian submanifolds with Riemannian bounds and their metric properties.

We introduce a recent symplectic integration scheme derived for solving physically motivated systems with non-separable Hamiltonians. We show its relevance to Riemannian manifold Hamiltonian Monte Carlo (RMHMC) and provide an alternative to the currently used generalised leapfrog symplectic integrator, which relies on …

New model for visual cortex border completion using bicycle wheel motions.

This technical report presents pseudo-code for a Riemannian manifold Hamiltonian Monte Carlo (RMHMC) method to efficiently simulate samples from $N$-dimensional posterior distributions $p(x|y)$, where $x \in R^N$ is drawn from a Gaussian Process (GP) prior, and observations $y_n$ are independent given $x_n$. Sufficient…

Study geodesic curves on Heisenberg group, classify them, and compute first step of quadrature.

Integrable geodesics found on special orthogonal group.

Enhances Hamiltonian systems stability through generalized double bracket vector fields.

Study integrability of geodesic flow on specific Lie groups.

Study reveals new geometric structures for magnetic field Hamiltonian systems.

Hamiltonian stationary Lagrangian spheres in Kaehler-Einstein surfaces are minimal. We prove that in the family of non-Einstein Kaehler surfaces given by the product $Σ_1\timesΣ_2$ of two complete orientable Riemannian surfaces of different constant Gauss curvatures, there is only a (non minimal) Hamiltonian stationary…

A new Lagrangian formulation of the Raychaudhuri equation in non-Riemannian geometry.

We prove that a topological contact isotopy uniquely defines a topological contact Hamiltonian. Combined with previous results from [MS11], this generalizes the classical one-to-one correspondence between smooth contact isotopies and their generating smooth contact Hamiltonians and conformal factors to the group of top…

New method calculates volume-renormalized mass from Hamiltonian perspective.

In this paper we study a Hamiltonian function on the cotangent bundle of the space of Riemannian metrics on a 3-manifold $M$ and prove the orbits of the constrained Hamiltonian dynamical system correspond to $G_2$-manifolds foliated by hypersurfaces diffeomorphic to $M\times \mathrm{SO}(3)$.

One of the most well-known results in the theory of optimal transportation is the equivalence between the convexity of the entropy functional with respect to the Riemannian Wasserstein metric and the Ricci curvature lower bound of the underlying Riemannian manifold. There are also generalizations of this result to the …

We consider coefficient bodies $\mathcal M_n$ for univalent functions. Based on the Löwner-Kufarev parametric representation we get a partially integrable Hamiltonian system in which the first integrals are Kirillov's operators for a representation of the Virasoro algebra. Then $\mathcal M_n$ are defined as sub-Riemann…

Hamiltonian minimality (H-minimality) for Lagrangian submanifolds is a symplectic analogue of Riemannian minimality. A Lagrangian submanifold is called H-minimal if the variations of its volume along all Hamiltonian vector fields are zero. This notion was introduced in the work of Y.-G. Oh in connection with the celebr…

The theorem that if all geodesics of a Riemannian two-sphere are closed they are also simple closed is generalized to real Hamiltonian structures on $\mathbb{R}P^3$. For reversible Finsler $2$-spheres all of whose geodesics are closed this implies that the lengths of all geodesics coincide.

In this article, we analyze Hamiltonian Monte Carlo (HMC) by placing it in the setting of Riemannian geometry using the Jacobi metric, so that each step corresponds to a geodesic on a suitable Riemannian manifold. We then combine the notion of curvature of a Markov chain due to Joulin and Ollivier with the classical se…

Let (M,w) be a compact symplectic 2n-manifold, and g a Riemannian metric on M compatible with w. For instance, g could be Kahler, with Kahler form w. Consider compact Lagrangian submanifolds L of M. We call L Hamiltonian stationary, or H-minimal, if it is a critical point of the volume functional under Hamiltonian defo…

The paper defines conditions for a Riemannian structure on a symplectic quotient.

New method improves HMC for sampling on manifolds.

Proposes a geometry-aware VAE for better latent space modeling.

The paper studies Morse theory for Lie algebra actions on Riemannian foliations.

In this paper we produce a lower bound for the number of periodic orbits of certain Hamiltonian vector fields near Bott-nondegenerate symplectic critical submanifolds. This result is then related to the problem of finding closed orbits of the motion of a charged low energy particle on a Riemannian manifold under the in…

The author discusses in some detail the old definitions of the curvature tensors for rigged metrized distributions on manifolds given by Schouten, Wagner, and Solov'ev. To calculate the Solov'ev sectional and Ricci curvatures for homogeneous sub-Riemannian manifolds, the author suggests to use in some cases special rig…

We give the first rigorous proof of the convergence of Riemannian Hamiltonian Monte Carlo, a general (and practical) method for sampling Gibbs distributions. Our analysis shows that the rate of convergence is bounded in terms of natural smoothness parameters of an associated Riemannian manifold. We then apply the metho…

This work investigates a mixture of LMC and RMHMC with MMALA for geometric ergodicity.

Study on extremals in sub-Lorentzian geometry defined by antinorm.

Coadjoint orbits for the group SO(6) parametrize Riemannian G-reductions in six dimensions, and we use this correspondence to interpret symplectic fibrations between these orbits, and to analyse moment polytopes associated to the standard Hamiltonian torus action on the coadjoint orbits. The theory is then applied to d…

In this paper, we define and study sub-Riemannian structures on Banach manifolds. We obtain extensions of the Chow-Rashevski theorem for exact controllability, and give conditions for the existence of a Hamiltonian geodesic flow despite the lack of a Pontryagin Maximum Principle in the infinite dimensional setting.

RHMC improves sampling polytopes defined by inequalities with barriers.

New method improves sampling efficiency for complex distributions.

This technical report is the union of two contributions to the discussion of the Read Paper "Riemann manifold Langevin and Hamiltonian Monte Carlo methods" by B. Calderhead and M. Girolami, presented in front of the Royal Statistical Society on October 13th 2010 and to appear in the Journal of the Royal Statistical Soc…

We extend classical Euclidean stability theorems corresponding to the nonrelativistic Hamiltonians of ions with one electron to the setting of non parabolic Riemannian 3-manifolds.

The paper studies a gradient system on a beta statistical manifold, proving integrability and deriving explicit expressions.