Showing 1–42 of 42 results for author: Arnaudon, M

Continuous-time filtering in Lie groups: estimation via the Fr{é}chet mean of solutions to stochastic differential equations

Authors: Magalie Bénéfice, Marc Arnaudon, Audrey Giremus

Abstract: We compute the Fréchet mean $\mathscr{E}_t$ of the solution $X_{t}$ to a continuous-time stochastic differential equation in a Lie group. It provides an estimator with minimal variance of $X_{t}$. We use it in the context of Kalman filtering and more precisely to infer rotation matrices. In this paper, we focus on the prediction step between two consecutive observations. Compared to state-of-the-a… ▽ More We compute the Fréchet mean $\mathscr{E}_t$ of the solution $X_{t}$ to a continuous-time stochastic differential equation in a Lie group. It provides an estimator with minimal variance of $X_{t}$. We use it in the context of Kalman filtering and more precisely to infer rotation matrices. In this paper, we focus on the prediction step between two consecutive observations. Compared to state-of-the-art approaches, our assumptions on the model are minimal. △ Less

Submitted 18 April, 2025; originally announced April 2025.

On the separation cut-off phenomenon for Brownian motions on high dimensional rotationally symmetric compact manifolds

Authors: Koléhè Coulibaly-Pasquier, Marc Arnaudon, Laurent Miclo

Abstract: Given a family of rotationally symmetric compact manifolds indexed by the dimension and a weight function, the goal of this paper is to investigate the cut-off phenomenon for the Brownian motions on this family. We provide a class of compact manifolds with non-negative Ricci curvatures for which the cut-off in separation with windows occurs, in high dimension, with different explicit mixing times.… ▽ More Given a family of rotationally symmetric compact manifolds indexed by the dimension and a weight function, the goal of this paper is to investigate the cut-off phenomenon for the Brownian motions on this family. We provide a class of compact manifolds with non-negative Ricci curvatures for which the cut-off in separation with windows occurs, in high dimension, with different explicit mixing times. We also produce counter-examples, still with non-negative Ricci curvatures, where there are no cut-off in separation. In fact we show a phase transition for the cut-off phenomenon concerning the Brownian motions on a rotationally symmetric compact manifolds. Our proof is based on a previous construction of a sharp strong stationary times by the authors, and some quantitative estimates on the two first moments of the covering time of the dual process. The concentration of measure phenomenon for the above family of manifolds appears to be relevant for the study of the corresponding cut-off. △ Less

Submitted 30 September, 2024; originally announced September 2024.

Coarse extrinsic curvature of Riemannian submanifolds

Authors: Marc Arnaudon, Xue-Mei Li, Benedikt Petko

Abstract: We introduce a novel concept of coarse extrinsic curvature for Riemannian submanifolds, inspired by Ollivier's notion of coarse Ricci curvature. This curvature is derived from the Wasserstein 1-distance between probability measures supported in the tubular neighborhood of a submanifold, providing new insights into the extrinsic curvature of isometrically embedded manifolds in Euclidean spaces. The… ▽ More We introduce a novel concept of coarse extrinsic curvature for Riemannian submanifolds, inspired by Ollivier's notion of coarse Ricci curvature. This curvature is derived from the Wasserstein 1-distance between probability measures supported in the tubular neighborhood of a submanifold, providing new insights into the extrinsic curvature of isometrically embedded manifolds in Euclidean spaces. The framework also offers a method to approximate the mean curvature from statistical data, such as point clouds generated by a Poisson point process. This approach has potential applications in manifold learning and the study of metric embeddings, enabling the inference of geometric information from empirical data. △ Less

Submitted 10 March, 2025; v1 submitted 10 July, 2024; originally announced July 2024.

Comments: Accepted version; 50 pages, 6 figures

MSC Class: 53B25 (Primary) 49Q22 (Secondary)

Journal ref: European Journal of Mathematics 11, 24 (2025)

A coupling strategy for Brownian motions at fixed time on Carnot groups using Legendre expansion

Authors: Marc Arnaudon, Magalie Bénéfice, Michel Bonnefont, Delphine Féral

Abstract: We propose a new simple construction of a coupling at a fixed time of two sub-Riemannian Brownian motions on the Heisenberg group and on the free step 2 Carnot groups. The construction is based on a Legendre expansion of the standard Brownian motion and of the L{é}vy area. We deduce sharp estimates for the decay in total variation distance between the laws of the Brownian motions. Using a chan… ▽ More We propose a new simple construction of a coupling at a fixed time of two sub-Riemannian Brownian motions on the Heisenberg group and on the free step 2 Carnot groups. The construction is based on a Legendre expansion of the standard Brownian motion and of the L{é}vy area. We deduce sharp estimates for the decay in total variation distance between the laws of the Brownian motions. Using a change of probability method, we also obtain the log-Harnack inequality, a Bismut type integration by part formula and reverse Poincaré inequalities for the associated semi-group. △ Less

Submitted 5 July, 2024; originally announced July 2024.

Optimal matching between curves in a manifold

Authors: Alice Le Brigant, Marc Arnaudon, Frédéric Barbaresco

Abstract: This paper is concerned with the computation of an optimal matching between two manifold-valued curves. Curves are seen as elements of an infinite-dimensional manifold and compared using a Riemannian metric that is invariant under the action of the reparameterization group. This group induces a quotient structure classically interpreted as the ''shape space''. We introduce a simple algorithm allow… ▽ More This paper is concerned with the computation of an optimal matching between two manifold-valued curves. Curves are seen as elements of an infinite-dimensional manifold and compared using a Riemannian metric that is invariant under the action of the reparameterization group. This group induces a quotient structure classically interpreted as the ''shape space''. We introduce a simple algorithm allowing to compute geodesics of the quotient shape space using a canonical decomposition of a path in the associated principal bundle. We consider the particular case of elastic metrics and show simulations for open curves in the plane, the hyperbolic plane and the sphere. △ Less

Submitted 9 January, 2024; originally announced January 2024.

Comments: arXiv admin note: substantial text overlap with arXiv:1703.05107

Journal ref: Geometric Science of Information 2017, 2017, Paris, France

The stochastic renormalized mean curvature flow for planar convex sets

Authors: Marc Arnaudon, Koléhè Coulibaly-Pasquier, Laurent Miclo

Abstract: We investigate renormalized curvature flow (RCF) and stochastic renormalized curvature flow (SRCF) for convex sets in the plane.RCF is the gradient descent flow for logarithm of $σ/λ^2$ where $σ$ is the perimeter and $λ$ is the volume. SRCF is RCF perturbated by a Brownian noise and has the remarkable property that it can be intertwined with the Brownian motion, yielding a generalization of Pitman… ▽ More We investigate renormalized curvature flow (RCF) and stochastic renormalized curvature flow (SRCF) for convex sets in the plane.RCF is the gradient descent flow for logarithm of $σ/λ^2$ where $σ$ is the perimeter and $λ$ is the volume. SRCF is RCF perturbated by a Brownian noise and has the remarkable property that it can be intertwined with the Brownian motion, yielding a generalization of Pitman "2M-X" theorem. We prove that along RCF, entropy $\mathcal{E}_t$ for curvature as well as $h_t:=σ_t/λ_t$ are non-increasing. We deduce infinite lifetime and convergence to a disk after normalization.For SRCF the situation is more complicated. The process $(h_t)_t$ is always a supermartingale. For $(\mathcal{E}_t)_t$ to be a supermartingale, we need that the starting set is invariant by the isometry group $G_n$ generated by the reflection with respect to the vertical line and the rotation of angle $2π/n$ with $n\ge 3$. But for proving infinite lifetime, we need invariance of the starting set by $G_n$ with $n\ge 7$. We provide the first SRCF with infinite lifetime which cannot be reduced to a finite dimensional flow. Gage inequality plays a major role in our study of the regularity of flows, as well as a careful investigation of morphological skeletons. We characterize symmetric convex sets with star shaped skeletons in terms of properties of their Gauss map. Finally, we establish a new isoperimetric estimate for these sets, of order $1/n^4$ where $n$ is the number of branches of the skeleton. △ Less

Submitted 7 December, 2023; v1 submitted 14 March, 2023; originally announced March 2023.

Coarse Ricci curvature of weighted Riemannian manifolds

Authors: Marc Arnaudon, Xue-Mei Li, Benedikt Petko

Abstract: We show that the generalized Ricci tensor of a weighted complete Riemannian manifold can be retrieved asymptotically from a scaled metric derivative of Wasserstein 1-distances between normalized weighted local volume measures. As an application, we demonstrate that the limiting coarse curvature of random geometric graphs sampled from Poisson point process with non-uniform intensity converges to th… ▽ More We show that the generalized Ricci tensor of a weighted complete Riemannian manifold can be retrieved asymptotically from a scaled metric derivative of Wasserstein 1-distances between normalized weighted local volume measures. As an application, we demonstrate that the limiting coarse curvature of random geometric graphs sampled from Poisson point process with non-uniform intensity converges to the generalized Ricci tensor. △ Less

Submitted 8 April, 2025; v1 submitted 7 March, 2023; originally announced March 2023.

Comments: Accepted version; 46 pages, 5 figures

MSC Class: 53B21 (Primary) 60D05; 05C80 (Secondary)

A Lyapunov approach to stability of positive semigroups: An overview with illustrations

Authors: Marc Arnaudon, Pierre Del Moral, El Maati Ouhabaz

Abstract: The stability analysis of possibly time varying positive semigroups on non necessarily compact state spaces, including Neumann and Dirichlet boundary conditions is a notoriously difficult subject. These crucial questions arise in a variety of areas of applied mathematics, including nonlinear filtering, rare event analysis, branching processes, physics and molecular chemistry. This article presents… ▽ More The stability analysis of possibly time varying positive semigroups on non necessarily compact state spaces, including Neumann and Dirichlet boundary conditions is a notoriously difficult subject. These crucial questions arise in a variety of areas of applied mathematics, including nonlinear filtering, rare event analysis, branching processes, physics and molecular chemistry. This article presents an overview of some recent Lyapunov-based approaches, focusing principally on practical and powerful tools for designing Lyapunov functions. These techniques include semigroup comparisons as well as conjugacy principles on non necessarily bounded manifolds with locally Lipschitz boundaries. All the Lyapunov methodologies discussed in the article are illustrated in a variety of situations, ranging from conventional Markov semigroups on general state spaces to more sophisticated conditional stochastic processes possibly restricted to some non necessarily bounded domains, including locally Lipschitz and smooth hypersurface boundaries, Langevin diffusions as well as coupled harmonic oscillators. △ Less

Submitted 17 April, 2023; v1 submitted 9 January, 2023; originally announced January 2023.

On the separation cut-off phenomenon for Brownian motions on high dimensional spheres

Authors: Marc Arnaudon, Koléhé Abdoulaye Coulibaly-Pasquier, Laurent Miclo

Abstract: This note proves that the separation convergence towards the uniform distribution abruptly occurs at times around ln(n)/n for the (time-accelerated by 2) Brownian motion on the sphere with a high dimension n. The arguments are based on a new and elementary perturbative approach for estimating hitting times in a small noise context. The quantitative estimates thus obtained are applied to the strong… ▽ More This note proves that the separation convergence towards the uniform distribution abruptly occurs at times around ln(n)/n for the (time-accelerated by 2) Brownian motion on the sphere with a high dimension n. The arguments are based on a new and elementary perturbative approach for estimating hitting times in a small noise context. The quantitative estimates thus obtained are applied to the strong stationary times constructed in a privious article by the authors to deduce the wanted cut-off phenomenon. △ Less

Submitted 13 July, 2022; originally announced July 2022.

Construction of set-valued dual processes on manifolds

Authors: Marc Arnaudon, Koléhè Coulibaly-Pasquier, Laurent Miclo

Abstract: The purpose of this paper is to construct a Brownian motion $X := (X_t)_{t\geq 0}$ taking values in a Riemannian manifold $M$, together with a compact valued process $D:= (D_t)_{t\geq 0}$ such that, at least for small enough ${\mathscr F}^D$-stopping time $τ> 0$ and conditioned by ${\mathscr F}_τ^D$, the law of $X_τ$ is the normalized Lebesgue measure on $D_τ$. This intertwining result is a genera… ▽ More The purpose of this paper is to construct a Brownian motion $X := (X_t)_{t\geq 0}$ taking values in a Riemannian manifold $M$, together with a compact valued process $D:= (D_t)_{t\geq 0}$ such that, at least for small enough ${\mathscr F}^D$-stopping time $τ> 0$ and conditioned by ${\mathscr F}_τ^D$, the law of $X_τ$ is the normalized Lebesgue measure on $D_τ$. This intertwining result is a generalization of Pitman theorem. We first construct regular intertwined processes related to Stokes' theorem. Then using several limiting procedures we construct synchronous intertwined, free intertwined, mirror intertwined processes. The local times of the Brownian motion on the (morphological) skeleton or the boundary of $D$ plays an important role. Several examples with moving intervals, discs, annulus, symmetric convex sets are investigated. KEYWORDS: Brownian motions on Riemannian manifolds, intertwining relations, set-valued dual processes, couplings of primal and dual processes, stochastic mean curvature evolutions, boundary and skeleton local times, generalized Pitman theorem. △ Less

Submitted 7 July, 2022; v1 submitted 4 December, 2020; originally announced December 2020.

A second order analysis of McKean-Vlasov semigroups

Authors: M Arnaudon, P del Moral

Abstract: We propose a second order differential calculus to analyze the regularity and the stability properties of the distribution semigroup associated with McKean-Vlasov diffusions. This methodology provides second order Taylor type expansions with remainder for both the evolution semigroup as well as the stochastic flow associated with this class of nonlinear diffusions. Bismut-Elworthy-Li formulae for… ▽ More We propose a second order differential calculus to analyze the regularity and the stability properties of the distribution semigroup associated with McKean-Vlasov diffusions. This methodology provides second order Taylor type expansions with remainder for both the evolution semigroup as well as the stochastic flow associated with this class of nonlinear diffusions. Bismut-Elworthy-Li formulae for the gradient and the Hessian of the integro-differential operators associated with these expansions are also presented. The article also provides explicit Dyson-Phillips expansions and a refined analysis of the norm of these integro-differential operators. Under some natural and easily verifiable regularity conditions we derive a series of exponential decays inequalities with respect to the time horizon. We illustrate the impact of these results with a second order extension of the Alekseev-Gr{ö}bner lemma to nonlinear measure valued semigroups and interacting diffusion flows. This second order perturbation analysis provides direct proofs of several uniform propagation of chaos properties w.r.t. the time parameter, including bias, fluctuation error estimate as well as exponential concentration inequalities. △ Less

Submitted 6 January, 2020; v1 submitted 12 June, 2019; originally announced June 2019.

A variational approach to nonlinear and interacting diffusions

Authors: Marc Arnaudon, Pierre Del Moral

Abstract: The article presents a novel variational calculus to analyze the stability and the propagation of chaos properties of nonlinear and interacting diffusions. This differential methodology combines gradient flow estimates with backward stochastic interpolations, Lyapunov linearization techniques as well as spectral theory. This framework applies to a large class of stochastic models including non hom… ▽ More The article presents a novel variational calculus to analyze the stability and the propagation of chaos properties of nonlinear and interacting diffusions. This differential methodology combines gradient flow estimates with backward stochastic interpolations, Lyapunov linearization techniques as well as spectral theory. This framework applies to a large class of stochastic models including non homogeneous diffusions, as well as stochastic processes evolving on differentiable manifolds, such as constraint-type embedded manifolds on Euclidian spaces and manifolds equipped with some Riemannian metric. We derive uniform as well as almost sure exponential contraction inequalities at the level of the nonlinear diffusion flow, yielding what seems to be the first result of this type for this class of models. Uniform propagation of chaos properties w.r.t. the time parameter are also provided. Illustrations are provided in the context of a class of gradient flow diffusions arising in fluid mechanics and granular media literature. The extended versions of these nonlinear Langevin-type diffusions on Riemannian manifolds are also discussed. △ Less

Submitted 29 January, 2019; v1 submitted 11 December, 2018; originally announced December 2018.

A duality formula and a particle Gibbs sampler for continuous time Feynman-Kac measures on path spaces

Authors: Marc Arnaudon, Pierre del Moral

Abstract: Continuous time Feynman-Kac measures on path spaces are central in applied probability, partial differential equation theory, as well as in quantum physics. This article presents a new duality formula between normalized Feynman-Kac distribution and their mean field particle interpretations. Among others, this formula allows us to design a reversible particle Gibbs-Glauber sampler for continuous ti… ▽ More Continuous time Feynman-Kac measures on path spaces are central in applied probability, partial differential equation theory, as well as in quantum physics. This article presents a new duality formula between normalized Feynman-Kac distribution and their mean field particle interpretations. Among others, this formula allows us to design a reversible particle Gibbs-Glauber sampler for continuous time Feynman-Kac integration on path spaces. This result extends the particle Gibbs samplers introduced by Andrieu-Doucet-Holenstein [2] in the context of discrete generation models to continuous time Feynman-Kac models and their interacting jump particle interpretations. We also provide new propagation of chaos estimates for continuous time genealogical tree based particle models with respect to the time horizon and the size of the systems. These results allow to obtain sharp quantitative estimates of the convergence rate to equilibrium of particle Gibbs-Glauber samplers. To the best of our knowledge these results are the first of this kind for continuous time Feynman-Kac measures. △ Less

Submitted 24 June, 2020; v1 submitted 14 May, 2018; originally announced May 2018.

Gradient Estimates on Dirichlet Eigenfunctions

Authors: Marc Arnaudon, Anton Thalmaier, Feng-Yu Wang

Abstract: By methods of stochastic analysis on Riemannian manifolds, we derive explicit constants $c\_1(D)$ and $c\_2(D)$ for a $d$-dimensional compact Riemannian manifold $D$ with boundary such that $c\_1(D)\sqrtλ\|φ\|\_\infty \le \|\nabla φ\|\_\infty\le c\_2(D)\sqrtλ \|φ\|\_\infty$ holds for any Dirichlet eigenfunction $φ$ of $-Δ$ with eigenvalue $λ$. In particular, when $D$ is convex with nonnegative Ric… ▽ More By methods of stochastic analysis on Riemannian manifolds, we derive explicit constants $c\_1(D)$ and $c\_2(D)$ for a $d$-dimensional compact Riemannian manifold $D$ with boundary such that $c\_1(D)\sqrtλ\|φ\|\_\infty \le \|\nabla φ\|\_\infty\le c\_2(D)\sqrtλ \|φ\|\_\infty$ holds for any Dirichlet eigenfunction $φ$ of $-Δ$ with eigenvalue $λ$. In particular, when $D$ is convex with nonnegative Ricci curvature, this estimate holds for $c\_1(D)=\frac{1}{de}$ and $c\_2(D)=\sqrt{e}\left(\frac{\sqrt{2}}{\sqrtπ}+\frac{\sqrtπ}{4\sqrt{2}}\right)$. Corresponding two-sided gradient estimates for Neumann eigenfunctions are derived in the second part of the paper. △ Less

Submitted 13 August, 2018; v1 submitted 30 October, 2017; originally announced October 2017.

An entropic interpolation problem for incompressible viscid fluids

Authors: Marc Arnaudon, Ana Bela Cruzeiro, Christian Léonard, Jean-Claude Zambrini

Abstract: In view of studying incompressible inviscid fluids, Brenier introduced in the late 80's a relaxation of a geodesic problem addressed by Arnold in 1966. Instead of inviscid fluids, the present paper is devoted to incompressible viscid fluids. A natural analogue of Brenier's problem is introduced, where generalized flows are no more supported by absolutely continuous paths, but by Brownian sample pa… ▽ More In view of studying incompressible inviscid fluids, Brenier introduced in the late 80's a relaxation of a geodesic problem addressed by Arnold in 1966. Instead of inviscid fluids, the present paper is devoted to incompressible viscid fluids. A natural analogue of Brenier's problem is introduced, where generalized flows are no more supported by absolutely continuous paths, but by Brownian sample paths. It turns out that this new variational problem is an entropy minimization problem with marginal constraints entering the class of convex minimization problems. This paper explores the connection between this variational problem and Brenier's original problem. Its dual problem is derived and the general shape of its solution is described. Under the restrictive assumption that the pressure is a nice function, the kinematics of its solution is made explicit and its connection with the Navier-Stokes equation is established. △ Less

Submitted 7 April, 2017; originally announced April 2017.

Journal ref: Annales de l'Institut Henri Poincaré Probab. Statist. 56(3), 2211-2235, (2020)

Application of Stochastic Flows to the Sticky Brownian Motion Equation

Authors: Hatem Hajri, Caglar Mine, Marc Arnaudon

Abstract: We show how the theory of stochastic flows allows to recover in an elementary way a well known result of Warren on the sticky Brownian motion equation. We show how the theory of stochastic flows allows to recover in an elementary way a well known result of Warren on the sticky Brownian motion equation. △ Less

Submitted 27 December, 2016; v1 submitted 24 March, 2016; originally announced March 2016.

Journal ref: Electronic Communications in Probability, Institute of Mathematical Statistics (IMS), 2016

Intertwinings and Generalized Brascamp-Lieb Inequalities

Authors: Marc Arnaudon, Michel Bonnefont, Aldéric Joulin

Abstract: We continue our investigation of the intertwining relations for Markov semigroups and extend the results of [9] to multi-dimensional diffusions. In particular these formulae entail new functional inequalities of Brascamp-Lieb type for log-concave distributions and beyond. Our results are illustrated by some classical and less classical examples. We continue our investigation of the intertwining relations for Markov semigroups and extend the results of [9] to multi-dimensional diffusions. In particular these formulae entail new functional inequalities of Brascamp-Lieb type for log-concave distributions and beyond. Our results are illustrated by some classical and less classical examples. △ Less

Submitted 11 February, 2016; originally announced February 2016.

Reflected brownian motion: selection, approximation and linearization

Authors: Marc Arnaudon, Xue-Mei Li

Abstract: We construct a family of SDEs whose solutions select a reflected Brownian flow as well as a stochastic damped transport process (W\_t). The latter gives a representation for the solutions to the heat equation for differential 1-forms with the absolute boundary conditions; it evolves pathwise by the Ricci curvature in the interior, by the shape operator on the boundary and driven by the… ▽ More We construct a family of SDEs whose solutions select a reflected Brownian flow as well as a stochastic damped transport process (W\_t). The latter gives a representation for the solutions to the heat equation for differential 1-forms with the absolute boundary conditions; it evolves pathwise by the Ricci curvature in the interior, by the shape operator on the boundary and driven by the boundary local time, and has its normal part erased on the boundary. On the half line this construction selects the Skorohod solution (and its derivative with respect to initial points), not the Tanaka solution. On the half space this agrees with the construction of N. Ikeda and S. Watanabe \cite{Ikeda-Watanabe} by Poisson point processes. This leads also to an approximation for the boundary local time in the topology of uniform convergence; not in the semi-martingale topology, indicating the difficulty for the convergence of solutions of a family of random ODE's, with nice coefficients, to the solution of an equation with jumps and driven by the local time. In addition, We note that (W\_t) is the weak derivative of a family of reflected Brownian motions with respect to the starting point. △ Less

Submitted 31 January, 2017; v1 submitted 2 February, 2016; originally announced February 2016.

On a coupling of solutions to the interface SDE on a star graph

Authors: Hatem Hajri, Marc Arnaudon

Abstract: Inspired by Tsirelson proof of the non Brownian character of WalshBrownian motion ltration on three or more rays, we prove some results on aparticular coupling of solutions to the interface SDE on a star graph, recentlyintroduced. This coupling consists in two solutions which are independentgiven the driving Brownian motion. As a consequence, we deduce that if the stargraph contains 3 or more rays… ▽ More Inspired by Tsirelson proof of the non Brownian character of WalshBrownian motion ltration on three or more rays, we prove some results on aparticular coupling of solutions to the interface SDE on a star graph, recentlyintroduced. This coupling consists in two solutions which are independentgiven the driving Brownian motion. As a consequence, we deduce that if the stargraph contains 3 or more rays, the argument of the solution at a xed time isindependent of the driving Brownian motion. △ Less

Submitted 13 December, 2017; v1 submitted 27 January, 2016; originally announced January 2016.

Generalized stochastic Lagrangian paths for the Navier-Stokes equation

Authors: Marc Arnaudon, Ana Bela Cruzeiro, Shizan Fang

Abstract: In the note added in proof of the seminal paper [Groups of diffeomorphisms andthe motion of an incompressible fluid, Ann. of Math. 92 (1970), 102-163], Ebinand Marsden introduced the so-called correct Laplacian for the Navier-Stokes equationon a compact Riemannian manifold. In the spirit of Brenier's generalized flows forthe Euler equation, we introduce a class of semimartingales on a compact Riem… ▽ More In the note added in proof of the seminal paper [Groups of diffeomorphisms andthe motion of an incompressible fluid, Ann. of Math. 92 (1970), 102-163], Ebinand Marsden introduced the so-called correct Laplacian for the Navier-Stokes equationon a compact Riemannian manifold. In the spirit of Brenier's generalized flows forthe Euler equation, we introduce a class of semimartingales on a compact Riemannianmanifold. We prove that these semimartingales are critical points to the correspondingkinetic energy if and only if its drift term solves weakly the Navier-Stokes equationdefined with Ebin-Marsden's Laplacian. We also show that for the torus case,classical solutions of the Navier-Stokes equation realize the minimum of the kineticenergy in a suitable class. △ Less

Submitted 23 February, 2016; v1 submitted 11 September, 2015; originally announced September 2015.

Reparameterization invariant metric on the space of curves

Authors: Alice Le Brigant, Marc Arnaudon, Frédéric Barbaresco

Abstract: This paper focuses on the study of open curves in a manifold M, and proposes a reparameterization invariant metric on the space of such paths. We use the square root velocity function (SRVF) introduced by Srivastava et al. in [11] to define a reparameterization invariant metric on the space of immersions M' = Imm([0,1], M) by pullback of a metric on the tangent bundle TM' derived from the Sasaki m… ▽ More This paper focuses on the study of open curves in a manifold M, and proposes a reparameterization invariant metric on the space of such paths. We use the square root velocity function (SRVF) introduced by Srivastava et al. in [11] to define a reparameterization invariant metric on the space of immersions M' = Imm([0,1], M) by pullback of a metric on the tangent bundle TM' derived from the Sasaki metric. We observe that such a natural choice of Riemannian metric on TM' induces a first-order Sobolev metric on M' with an extra term involving the origins, and leads to a distance which takes into account the distance between the origins and the distance between the SRV representations of the curves. The geodesic equations for this metric are given, as well as an idea of how to compute the exponential map for observed trajectories in applications. This provides a generalized theoretical SRV framework for curves lying in a general manifold M . △ Less

Submitted 27 October, 2015; v1 submitted 23 July, 2015; originally announced July 2015.

Variational principle for weighted porous media equation

Authors: Alexandra Antoniouk, Marc Arnaudon

Abstract: In this paper we state the variational principle for the weighted porous media equation. It extends V.I. Arnold's approach to the description of Euler flows as a geodesics on some manifold, i.e. as a critical points of some energy functional. In this paper we state the variational principle for the weighted porous media equation. It extends V.I. Arnold's approach to the description of Euler flows as a geodesics on some manifold, i.e. as a critical points of some energy functional. △ Less

Submitted 11 October, 2013; originally announced October 2013.

A stochastic algorithm finding generalized means on compact manifolds

Authors: Marc Arnaudon, Laurent Miclo

Abstract: A stochastic algorithm is proposed, finding the set of generalized means associated to a probability measure on a compact Riemannian manifold M and a continuous cost function on the product of M by itself. Generalized means include p-means for p>0, computed with any continuous distance function, not necessarily the Riemannian distance. They also include means for lengths computed from Finsler metr… ▽ More A stochastic algorithm is proposed, finding the set of generalized means associated to a probability measure on a compact Riemannian manifold M and a continuous cost function on the product of M by itself. Generalized means include p-means for p>0, computed with any continuous distance function, not necessarily the Riemannian distance. They also include means for lengths computed from Finsler metrics, or for divergences. The algorithm is fed sequentially with independent random variables Y_n distributed according to the probability measure on the manifold and this is the only knowledge of this measure required. It evolves like a Brownian motion between the times it jumps in direction of the Y_n. Its principle is based on simulated annealing and homogenization, so that temperature and approximations schemes must be tuned up. The proof relies on the investigation of the evolution of a time-inhomogeneous L^2 functional and on the corresponding spectral gap estimates due to Holley, Kusuoka and Stroock. △ Less

Submitted 27 May, 2013; originally announced May 2013.

Comments: arXiv admin note: substantial text overlap with arXiv:1301.7156

A stochastic algorithm finding $p$-means on the circle

Authors: Marc Arnaudon, Laurent Miclo

Abstract: A stochastic algorithm is proposed, finding some elements from the set of intrinsic $p$-mean(s) associated to a probability measure $ν$ on a compact Riemannian manifold and to $p\in[1,\infty)$. It is fed sequentially with independent random variables $(Y_n)_{n\in \mathbb{N}}$ distributed according to $ν$, which is often the only available knowledge of $ν$. Furthermore, the algorithm is easy to imp… ▽ More A stochastic algorithm is proposed, finding some elements from the set of intrinsic $p$-mean(s) associated to a probability measure $ν$ on a compact Riemannian manifold and to $p\in[1,\infty)$. It is fed sequentially with independent random variables $(Y_n)_{n\in \mathbb{N}}$ distributed according to $ν$, which is often the only available knowledge of $ν$. Furthermore, the algorithm is easy to implement, because it evolves like a Brownian motion between the random times when it jumps in direction of one of the $Y_n$, $n\in\mathbb{N}$. Its principle is based on simulated annealing and homogenization, so that temperature and approximations schemes must be tuned up (plus a regularizing scheme if $ν$ does not admit a Hölderian density). The analysis of the convergence is restricted to the case where the state space is a circle. In its principle, the proof relies on the investigation of the evolution of a time-inhomogeneous $\mathbb{L}^2$ functional and on the corresponding spectral gap estimates due to Holley, Kusuoka and Stroock. But it requires new estimates on the discrepancies between the unknown instantaneous invariant measures and some convenient Gibbs measures. △ Less

Submitted 23 June, 2016; v1 submitted 30 January, 2013; originally announced January 2013.

Comments: Published at http://dx.doi.org/10.3150/15-BEJ728 in the Bernoulli (http://isi.cbs.nl/bernoulli/) by the International Statistical Institute/Bernoulli Society (http://isi.cbs.nl/BS/bshome.htm)

Report number: IMS-BEJ-BEJ728

Journal ref: Bernoulli 2016, Vol. 22, No. 4, 2237-2300

Equivalent Harnack and Gradient Inequalities for Pointwise Curvature Lower Bound

Authors: Marc Arnaudon, Anton Thalmaier, Feng-Yu Wang

Abstract: By using a coupling method, an explicit log-Harnack inequality with local geometry quantities is established for (sub-Markovian) diffusion semigroups on a Riemannian manifold (possibly with boundary). This inequality as well as the consequent $L^2$-gradient inequality, are proved to be equivalent to the pointwise curvature lower bound condition together with the convexity or absence of the boundar… ▽ More By using a coupling method, an explicit log-Harnack inequality with local geometry quantities is established for (sub-Markovian) diffusion semigroups on a Riemannian manifold (possibly with boundary). This inequality as well as the consequent $L^2$-gradient inequality, are proved to be equivalent to the pointwise curvature lower bound condition together with the convexity or absence of the boundary. Some applications of the log-Harnack inequality are also introduced. △ Less

Submitted 27 September, 2012; originally announced September 2012.

Comments: 1 pages

Means in complete manifolds: uniqueness and approximation

Authors: Marc Arnaudon, Laurent Miclo

Abstract: Let $M$ be a complete Riemannian manifold, $N\in \NN$ and $p\ge 1$. We prove that almost everywhere on $x=(x_1,...,x_N)\in M^N$ for Lebesgue measure in $M^N$, the measure $\di μ(x)=\f1N\sum_{k=1}^N\d_{x_k}$ has a unique $p$-mean $e_p(x)$. As a consequence, if $X=(X_1,...,X_N)$ is a $M^N$-valued random variable with absolutely continuous law, then almost surely $μ(X(\om))$ has a unique $p$-mean. In… ▽ More Let $M$ be a complete Riemannian manifold, $N\in \NN$ and $p\ge 1$. We prove that almost everywhere on $x=(x_1,...,x_N)\in M^N$ for Lebesgue measure in $M^N$, the measure $\di μ(x)=\f1N\sum_{k=1}^N\d_{x_k}$ has a unique $p$-mean $e_p(x)$. As a consequence, if $X=(X_1,...,X_N)$ is a $M^N$-valued random variable with absolutely continuous law, then almost surely $μ(X(\om))$ has a unique $p$-mean. In particular if $(X_n)_{n\ge 1}$ is an independent sample of an absolutely continuous law in $M$, then the process $e_{p,n}(\om)=e_p(X_1(\om),..., X_n(\om))$ is well-defined. Assume $M$ is compact and consider a probability measure $ν$ in $M$. Using partial simulated annealing, we define a continuous semimartingale which converges to the set of minimizers of the integral of distance at power $p$ with respect to $ν$. When the set is a singleton, it converges to the $p$-mean. △ Less

Submitted 13 July, 2012; originally announced July 2012.

Generalized Navier-Stokes flows and applications to incompressible viscous fluids

Authors: Alexandra Antoniouk, Marc Arnaudon, Ana Bela Cruzeiro

Abstract: We introduce a notion of generalized stochastic flows on mani- folds, that extends to the viscous case the one defined by Brenier for perfect fluids. Their kinetic energy extends the classical kinetic energy to Brownian flows, defined as the L2 norm of their drift. We prove that there exists a generalized flow which realizes the infimum of the kinetic energy among all generalized flows with prescr… ▽ More We introduce a notion of generalized stochastic flows on mani- folds, that extends to the viscous case the one defined by Brenier for perfect fluids. Their kinetic energy extends the classical kinetic energy to Brownian flows, defined as the L2 norm of their drift. We prove that there exists a generalized flow which realizes the infimum of the kinetic energy among all generalized flows with prescribed initial and final configuration. We also con- struct generalized flows with prescribed drift and kinetic energy smaller than the L2 norm of the drift. The results are actually presented for general Lq norms, thus including not only the Navier-Stokes equations but also other equations such as the porous media. △ Less

Submitted 19 October, 2013; v1 submitted 30 May, 2012; originally announced May 2012.

MSC Class: 58E30 58J65

Stochastic Euler-Poincaré reduction

Authors: Marc Arnaudon, Xin Chen, Ana Bela Cruzeiro

Abstract: We prove a Euler-Poincaré reduction theorem for stochastic processes taking values in a Lie group and we show examples of its application to SO(3) and to the group of diffeomorphisms. We prove a Euler-Poincaré reduction theorem for stochastic processes taking values in a Lie group and we show examples of its application to SO(3) and to the group of diffeomorphisms. △ Less

Submitted 17 April, 2012; originally announced April 2012.

Medians and means in Riemannian geometry: existence, uniqueness and computation

Authors: Marc Arnaudon, Frédéric Barbaresco, Le Yang

Abstract: This paper is a short summary of our recent work on the medians and means of probability measures in Riemannian manifolds. Firstly, the existence and uniqueness results of local medians are given. In order to compute medians in practical cases, we propose a subgradient algorithm and prove its convergence. After that, Fréchet medians are considered. We prove their statistical consistency and give s… ▽ More This paper is a short summary of our recent work on the medians and means of probability measures in Riemannian manifolds. Firstly, the existence and uniqueness results of local medians are given. In order to compute medians in practical cases, we propose a subgradient algorithm and prove its convergence. After that, Fréchet medians are considered. We prove their statistical consistency and give some quantitative estimations of their robustness with the aid of upper curvature bounds. We also show that, in compact Riemannian manifolds, the Fréchet medians of generic data points are always unique. Stochastic and deterministic algorithms are proposed for computing Riemannian p-means. The rate of convergence and error estimates of these algorithms are also obtained. Finally, we apply the medians and the Riemannian geometry of Toeplitz covariance matrices to radar target detection. △ Less

Submitted 14 November, 2011; originally announced November 2011.

Stochastic algorithms for computing means of probability measures

Authors: Marc Arnaudon, Clément Dombry, Anthony Phan, Le Yang

Abstract: Consider a probability measure supported by a regular geodesic ball in a manifold. For any p larger than or equal to 1 we define a stochastic algorithm which converges almost surely to the p-mean of the measure. Assuming furthermore that the functional to minimize is regular around the p-mean, we prove that a natural renormalization of the inhomogeneous Markov chain converges in law into an inhomo… ▽ More Consider a probability measure supported by a regular geodesic ball in a manifold. For any p larger than or equal to 1 we define a stochastic algorithm which converges almost surely to the p-mean of the measure. Assuming furthermore that the functional to minimize is regular around the p-mean, we prove that a natural renormalization of the inhomogeneous Markov chain converges in law into an inhomogeneous diffusion process. We give an explicit expression of this process, as well as its local characteristic. △ Less

Submitted 25 June, 2011; originally announced June 2011.

Medians and means in Finsler geometry

Authors: Marc Arnaudon, Frank Nielsen

Abstract: We investigate existence and uniqueness of p-means and the median of a probability measure on a Finsler manifold, in relation with the convexity of the support of the measure. We prove that the p-mean is the limit point of a continuous time gradient flow. Under some additional condition which is always satisfied for larger than or equal to 2, a discretization of this path converges to the p-mean.… ▽ More We investigate existence and uniqueness of p-means and the median of a probability measure on a Finsler manifold, in relation with the convexity of the support of the measure. We prove that the p-mean is the limit point of a continuous time gradient flow. Under some additional condition which is always satisfied for larger than or equal to 2, a discretization of this path converges to the p-mean. This provides an algorithm for determining those Finsler center points. △ Less

Submitted 25 June, 2011; v1 submitted 28 November, 2010; originally announced November 2010.

Journal ref: LMS J. Comput. Math. 15 (2012) 23-37

Lagrangian Navier-Stokes diffusions on manifolds: variational principle and stability

Authors: Marc Arnaudon, Ana Bela Cruzeiro

Abstract: We prove a variational principle for stochastic Lagrangian Navier-Stokes trajectories on manifolds. We study the behaviour of such trajectories concerning stability as well as rotation between particles; the two-dimensional torus case is described in detail. We prove a variational principle for stochastic Lagrangian Navier-Stokes trajectories on manifolds. We study the behaviour of such trajectories concerning stability as well as rotation between particles; the two-dimensional torus case is described in detail. △ Less

Submitted 13 April, 2010; originally announced April 2010.

The differentiation of hypoelliptic diffusion semigroups

Authors: Marc Arnaudon, Anton Thalmaier

Abstract: Basic derivative formulas are presented for hypoelliptic heat semigroups and harmonic functions extending earlier work in the elliptic case. Emphasis is placed on developing integration by parts formulas at the level of local martingales. Combined with the optional sampling theorem, this turns out to be an efficient way of dealing with boundary conditions, as well as with finite lifetime of the un… ▽ More Basic derivative formulas are presented for hypoelliptic heat semigroups and harmonic functions extending earlier work in the elliptic case. Emphasis is placed on developing integration by parts formulas at the level of local martingales. Combined with the optional sampling theorem, this turns out to be an efficient way of dealing with boundary conditions, as well as with finite lifetime of the underlying diffusion. Our formulas require hypoellipticity of the diffusion in the sense of Malliavin calculus (integrability of the inverse Malliavin covariance) and are formulated in terms of the derivative flow, the Malliavin covariance and its inverse. Finally some extensions to the nonlinear setting of harmonic mappings are discussed. △ Less

Submitted 13 April, 2010; originally announced April 2010.

Horizontal diffusion in $C^1$ path space

Authors: Marc Arnaudon, Abdoulaye Koléhè Coulibaly-Pasquier, Anton Thalmaier

Abstract: We define horizontal diffusion in $C^1$ path space over a Riemannian manifold and prove its existence. If the metric on the manifold is developing under the forward Ricci flow, horizontal diffusion along Brownian motion turns out to be length preserving. As application, we prove contraction properties in the Monge-Kantorovich minimization problem for probability measures evolving along the heat… ▽ More We define horizontal diffusion in $C^1$ path space over a Riemannian manifold and prove its existence. If the metric on the manifold is developing under the forward Ricci flow, horizontal diffusion along Brownian motion turns out to be length preserving. As application, we prove contraction properties in the Monge-Kantorovich minimization problem for probability measures evolving along the heat flow. For constant rank diffusions, differentiating a family of coupled diffusions gives a derivative process with a covariant derivative of finite variation. This construction provides an alternative method to filtering out redundant noise. △ Less

Submitted 17 April, 2009; originally announced April 2009.

MSC Class: 58J65; 60H30

Li-Yau Type Gradient Estimates and Harnack Inequalities by Stochastic Analysis

Authors: Marc Arnaudon, Anton Thalmaier

Abstract: In this paper we use methods from Stochastic Analysis to establish Li-Yau type estimates for positive solutions of the heat equation. In particular, we want to emphasize that Stochastic Analysis provides natural tools to derive local estimates in the sense that the gradient bound at given point depends only on universal constants and the geometry of the Riemannian manifold locally about this poi… ▽ More In this paper we use methods from Stochastic Analysis to establish Li-Yau type estimates for positive solutions of the heat equation. In particular, we want to emphasize that Stochastic Analysis provides natural tools to derive local estimates in the sense that the gradient bound at given point depends only on universal constants and the geometry of the Riemannian manifold locally about this point. △ Less

Submitted 16 February, 2009; originally announced February 2009.

MSC Class: 58J65; 60H30

Existence of non-trivial harmonic functions on Cartan-Hadamard manifolds of unbounded curvature

Authors: Marc Arnaudon, Anton Thalmaier, Stefanie Ulsamer

Abstract: The Liouville property of a complete Riemannian manifold (i.e., the question whether there exist non-trivial bounded harmonic functions) attracted a lot of attention. For Cartan-Hadamard manifolds the role of lower curvature bounds is still an open problem. We discuss examples of Cartan-Hadamard manifolds of unbounded curvature where the limiting angle of Brownian motion degenerates to a single… ▽ More The Liouville property of a complete Riemannian manifold (i.e., the question whether there exist non-trivial bounded harmonic functions) attracted a lot of attention. For Cartan-Hadamard manifolds the role of lower curvature bounds is still an open problem. We discuss examples of Cartan-Hadamard manifolds of unbounded curvature where the limiting angle of Brownian motion degenerates to a single point on the sphere at infinity, but where nevertheless the space of bounded harmonic functions is as rich as in the non-degenerate case. To see the full boundary the point at infinity has to be blown up in a non-trivial way. Such examples indicate that the situation concerning the famous conjecture of Greene and Wu about existence of non-trivial bounded harmonic functions on Cartan-Hadamard manifolds is much more complicated than one might have expected. △ Less

Submitted 7 February, 2008; originally announced February 2008.

MSC Class: 58J65 (Primary) 60H30 (Secondary)

Gradient Estimate and Harnack Inequality on Non-Compact Riemannian Manifolds

Authors: Marc Arnaudon, Anton Thalmaier, Feng-Yu Wang

Abstract: A new type of gradient estimate is established for diffusion semigroups on non-compact complete Riemannian manifolds. As applications, a global Harnack inequality with power and a heat kernel estimate are derived for diffusion semigroups on arbitrary complete Riemannian manifolds. A new type of gradient estimate is established for diffusion semigroups on non-compact complete Riemannian manifolds. As applications, a global Harnack inequality with power and a heat kernel estimate are derived for diffusion semigroups on arbitrary complete Riemannian manifolds. △ Less

Submitted 30 January, 2008; originally announced January 2008.

MSC Class: 58J65 58J35 60H30

Convex ordering for random vectors using predictable representation

Authors: Marc Arnaudon, Jean-Christophe Breton, Nicolas Privault

Abstract: We prove convex ordering results for random vectors admitting a predictable representation in terms of a Brownian motion and a non-necessarily independent jump component. Our method uses forward-backward stochastic calculus and extends previous results in the one-dimensional case. We also study a geometric interpretation of convex ordering for discrete measures in connection with the conditions… ▽ More We prove convex ordering results for random vectors admitting a predictable representation in terms of a Brownian motion and a non-necessarily independent jump component. Our method uses forward-backward stochastic calculus and extends previous results in the one-dimensional case. We also study a geometric interpretation of convex ordering for discrete measures in connection with the conditions set on the jump heights and intensities of the considered processes. △ Less

Submitted 30 January, 2008; originally announced January 2008.

MSC Class: 60E15; 60H05; 60G44; 60G55

An improved method for model selection based on Information Criteria

Authors: Guilhem Coq, Olivier Alata, Marc Arnaudon, Christian Olivier

Abstract: Information criteria are an appropriate and widely used tool for solving model selection problems. However, different ways to use them exist, each leading to a more or less precise approximation of the sought model. In this paper, we mainly present two methods of utilisation of information criteria : the classical one which is generally used and an alternative one, more precise but requiring a l… ▽ More Information criteria are an appropriate and widely used tool for solving model selection problems. However, different ways to use them exist, each leading to a more or less precise approximation of the sought model. In this paper, we mainly present two methods of utilisation of information criteria : the classical one which is generally used and an alternative one, more precise but requiring a little more calculations. Those methods are compared on 1-D and 2-D autoregressive models ; we use a synthetized process for the 1-D case and texture images for the 2-D case. We also work with the original phi_beta criterion which includes all others usual criteria such as AIC, BIC, and phi. △ Less

Submitted 19 February, 2007; originally announced February 2007.

Comments: 5 pages, 8 figures, IEEE conference Submission

Barycenters of measures transported by stochastic flows

Authors: Marc Arnaudon, Xue-Mei Li

Abstract: We investigate the evolution of barycenters of masses transported by stochastic flows. The state spaces under consideration are smooth affine manifolds with certain convexity structure. Under suitable conditions on the flow and on the initial measure, the barycenter {Z_t} is shown to be a semimartingale and is described by a stochastic differential equation. For the hyperbolic space the barycent… ▽ More We investigate the evolution of barycenters of masses transported by stochastic flows. The state spaces under consideration are smooth affine manifolds with certain convexity structure. Under suitable conditions on the flow and on the initial measure, the barycenter {Z_t} is shown to be a semimartingale and is described by a stochastic differential equation. For the hyperbolic space the barycenter of two independent Brownian particles is a martingale and its conditional law converges to that of a Brownian motion on the limiting geodesic. On the other hand for a large family of discrete measures on suitable Cartan-Hadamard manifolds, the barycenter of the measure carried by an unstable Brownian flow converges to the Busemann barycenter of the limiting measure. △ Less

Submitted 22 July, 2005; originally announced July 2005.

Comments: Published at http://dx.doi.org/10.1214/009117905000000071 in the Annals of Probability (http://www.imstat.org/aop/) by the Institute of Mathematical Statistics (http://www.imstat.org)

Report number: IMS-AOP-AOP0057 MSC Class: 60G60 (Primary) 60G57; 60H10; 60J65; 60G44; 60F05; 60F15 (Secondary)

Journal ref: Annals of Probability 2005, Vol. 33, No. 4, 1509-1543

Concentration of the Brownian bridge on Cartan-Hadamard manifolds with pinched negative sectional curvature

Authors: Marc Arnaudon, Thomas Simon

Abstract: We study the rate of concentration of a Brownian bridge in time one around the corresponding geodesical segment on a Cartan-Hadamard manifold with pinched negative sectional curvature, when the distance between the two extremities tends to infinity. This improves on previous results by A. Eberle, and one of us. Along the way, we derive a new asymptotic estimate for the logarithmic derivative of… ▽ More We study the rate of concentration of a Brownian bridge in time one around the corresponding geodesical segment on a Cartan-Hadamard manifold with pinched negative sectional curvature, when the distance between the two extremities tends to infinity. This improves on previous results by A. Eberle, and one of us. Along the way, we derive a new asymptotic estimate for the logarithmic derivative of the heat kernel on such manifolds, in bounded time and with one space parameter tending to infinity, which can be viewed as a counterpart to Bismut's asymptotic formula in small time. △ Less

Submitted 20 September, 2004; originally announced September 2004.

MSC Class: 58J65

Regularisable and minimal orbits for group actions in infinite dimensions

Authors: M. Arnaudon, S. Paycha

Abstract: We introduce a class of regularisable infinite dimensional principal fibre bundles which includes fibre bundles arising in gauge field theories like Yang-Mills and string theory and which generalise finite dimensional Riemannian principal fibre bundles induced by an isometric action. We show that the orbits of regularisable bundles have well defined, both heat-kernel and zeta function regularise… ▽ More We introduce a class of regularisable infinite dimensional principal fibre bundles which includes fibre bundles arising in gauge field theories like Yang-Mills and string theory and which generalise finite dimensional Riemannian principal fibre bundles induced by an isometric action. We show that the orbits of regularisable bundles have well defined, both heat-kernel and zeta function regularised volumes. We introduce two notions of minimality (which extend the finite dimensional one) for these orbits, using both heat-kernel and zeta function regularisation methods and show they coincide. For each of these notions, we give an infinite dimensional version of Hsiang's theorem which extends the finite dimensional case, interpreting minimal orbits as orbits with extremal (regularised) volume. △ Less

Submitted 22 December, 1995; originally announced December 1995.

Comments: 39 pages, plain tex, no figures