Showing 1–7 of 7 results for author: Boubel, C

On absolutely continuous curves in the Wasserstein space over R and their representation by an optimal Markov process

Authors: Charles Boubel, Nicolas Juillet

Abstract: Let $μ$ = ($μ$t) t$\in$R be a 1-parameter family of probability measures on R. In [13] we introduced its "Markov-quantile" process: a process X = (Xt) t$\in$R that resembles at most the quantile process attached to $μ$, among the Markov processes attached to $μ$, i.e. whose family of marginal laws is $μ$. In this article we look at the case where $μ$ is absolutely continuous in the Wasserstein spa… ▽ More Let $μ$ = ($μ$t) t$\in$R be a 1-parameter family of probability measures on R. In [13] we introduced its "Markov-quantile" process: a process X = (Xt) t$\in$R that resembles at most the quantile process attached to $μ$, among the Markov processes attached to $μ$, i.e. whose family of marginal laws is $μ$. In this article we look at the case where $μ$ is absolutely continuous in the Wasserstein space P 2 (R). Then, X is solution of a Benamou-Brenier transport problem with intermediate marginals $μ$t. It provides a Markov Lagrangian probabilistic representation of the continuity equation, moreover the unique Markov process:-obtained as a limit for the finite dimensional topology of quantile processes where the past is made independent of the future at finitely many times.-or, alternatively, obtained as a limit of processes linearly interpolating $μ$. This raises new questions about ways to obtain Markov Lagrangian representations of the continuity equation, and to seek uniqueness properties in this framework. △ Less

Submitted 6 May, 2021; originally announced May 2021.

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

The Markov-quantile process attached to a family of Marginals

Authors: Charles Boubel, Nicolas Juillet

Abstract: Let $μ$ = ($μ$t)t$\in$R be any 1-parameter family of probability measures on R. Its quantile process (Gt)t$\in$R : ]0, 1[ $\rightarrow$ RR, given by Gt($α$) = inf{x $\in$ R : $μ$t(]--$\infty$, x]) > $α$}, is not Markov in general. We modify it to build the Markov process we call "Markov-quantile".We first describe the discrete analogue: if ($μ$n)n$\in$Z is a family of probability measures on R, a… ▽ More Let $μ$ = ($μ$t)t$\in$R be any 1-parameter family of probability measures on R. Its quantile process (Gt)t$\in$R : ]0, 1[ $\rightarrow$ RR, given by Gt($α$) = inf{x $\in$ R : $μ$t(]--$\infty$, x]) > $α$}, is not Markov in general. We modify it to build the Markov process we call "Markov-quantile".We first describe the discrete analogue: if ($μ$n)n$\in$Z is a family of probability measures on R, a Markov process Y = (Yn)n$\in$Z such that Law(Yn) = $μ$n is given by the data of its couplings from n to n + 1, i.e. Law((Yn, Yn+1)), and the process Y is the inhomogeneous Markov chain having those couplings as transitions. Therefore, there is a canonical Markov process with marginals $μ$n and as similar as possible to the quantile process: the chain whose transitions are the quantile couplings. We show that an analogous process exists for a continuous parameter t: there is a unique Markov process X with the measures $μ$t as marginals, and being a limit for the finite dimensional topology of quantile processes where the past is made independent of the future at finitely many times (many non-Markovian limits exist in general). The striking fact is that the construction requires no regularity for the family $μ$. We rely on order arguments, which seems to be completely new for the purpose.We also prove new results the Markov-quantile process yields in two contemporary frameworks:-- In case $μ$ is increasing for the stochastic order, X has increasing trajectories. This is an analogue of a result of Kellerer dealing with the convex order, peacocks and martingales. Modifiying Kellerer's proof, we also prove simultaneously his result and ours in this case.-- If $μ$ is absolutely continuous in Wasserstein space P2(R) then X is solution of a Benamou--Brenier transport problem with marginals $μ$t. Itprovides a Markov probabilistic representation of the continuity equation, unique in a certain sense. △ Less

Submitted 27 April, 2018; originally announced April 2018.

Affine transformations and parallel lightlike vector fields on compact Lorentzian $3$-manifolds

Authors: Charles Boubel, Pierre Mounoud

Abstract: We describe the compact Lorentzian $3$-manifolds admitting a parallel lightlike vector field. The classification of compact Lorentzian $3$-manifolds admitting non-isometric affine diffeomorphisms follows, together with the complete description of these morphisms. Such a Lorentzian manifold is in some sense an equivariant deformation of a flat one. We describe the compact Lorentzian $3$-manifolds admitting a parallel lightlike vector field. The classification of compact Lorentzian $3$-manifolds admitting non-isometric affine diffeomorphisms follows, together with the complete description of these morphisms. Such a Lorentzian manifold is in some sense an equivariant deformation of a flat one. △ Less

Submitted 25 June, 2015; v1 submitted 4 April, 2014; originally announced April 2014.

Comments: 37p

Journal ref: Transactions of the American Mathematical Society, American Mathematical Society, 2016, pp.1

The algebra of the parallel endomorphisms of a pseudo-Riemannian metric: semi-simple part

Authors: Charles Boubel

Abstract: On a (pseudo-)Riemannian manifold (MM,g), some fields of endomorphisms i.e. sections of End(TMM) may be parallel for g. They form an associative algebra A, which is also the commutant of the holonomy group of g. As any associative algebra, A is the sum of its radical and of a semi-simple algebra S. Here we study S: it may be of eight different types, including the generic type S=R.Id, and the Kähl… ▽ More On a (pseudo-)Riemannian manifold (MM,g), some fields of endomorphisms i.e. sections of End(TMM) may be parallel for g. They form an associative algebra A, which is also the commutant of the holonomy group of g. As any associative algebra, A is the sum of its radical and of a semi-simple algebra S. Here we study S: it may be of eight different types, including the generic type S=R.Id, and the Kähler and hyperkähler types 'S isomorphic to C' and 'S isomorphic to the quaternions'. This is a result on real, semi-simple algebras with involution. For each type, the corresponding set of germs of metrics is non-empty; we parametrise it. We give the constraints imposed to the Ricci curvature by parallel endomorphism fields △ Less

Submitted 19 May, 2015; v1 submitted 3 December, 2013; originally announced February 2014.

Comments: 19 pages. This is a part of the preprint arXiv:1207.6544 "The algebra of the parallel endomorphisms of a germ of pseudo-Riemannian metric", which we needed to put online separately. The writing is a little improved with respect to the previous version. This article will appear in 'Mathematical proceedings of the Cambridge Philosophical Society'

MSC Class: 53B30; 53C29; 16K20; 16W10; secondary 53B35; 53C10; 53C12; 15A21

Journal ref: Mathematical Proceedings of the Cambridge Philosophical Society, 2016, 159 (2), pp.219-237

The algebra of parallel endomorphisms of a germ of pseudo-Riemannian metric

Authors: Charles Boubel

Abstract: On a (pseudo-)Riemannian manifold (M,g), some fields of endomorphisms i.e. sections of End(TM) may be parallel for g. They form an associative algebra A, which is also the commutant of the holonomy group of g. As any associative algebra, A is the sum of its radical and of a semi-simple algebra S. We show in arXiv:1402.6642 that S may be of eight different types, including the generic type S=R.Id,… ▽ More On a (pseudo-)Riemannian manifold (M,g), some fields of endomorphisms i.e. sections of End(TM) may be parallel for g. They form an associative algebra A, which is also the commutant of the holonomy group of g. As any associative algebra, A is the sum of its radical and of a semi-simple algebra S. We show in arXiv:1402.6642 that S may be of eight different types, including the generic type S=R.Id, and the Kähler and hyperkähler types where S is respectively isomorphic to the complex field C or to the quaternions H. We show here that for any self adjoint nilpotent element N of the commutant of such an S in End(TM), the set of germs of metrics such that A contains S and {N} is non-empty. We parametrise it. Generically, the holonomy algebra of those metrics is the full commutant of $S\cup\{N\}$ in O(g). Apart from some "degenerate" cases, the algebra A is then $S \oplus (N)$, where (N) is the ideal spanned by N. To prove it, we introduce an analogy with complex Differential Calculus, the ring R[X]/(X^n) replacing the field C. This describes totally the local situation when the radical of A is principal and consists of self adjoint elements. We add a glimpse on the case where this radical is not principal. △ Less

Submitted 19 May, 2015; v1 submitted 27 July, 2012; originally announced July 2012.

Comments: 47 pages. This version is only a part of the first version of this preprint. The other part is now published separately, see arXiv:1402.6642. Here some typos are corrected; some statements, remarks and tables are made more concise

MSC Class: 53B30; 53C29; 16K20; 16W10 (Primary); 53B35; 53C10; 53C12; 15A21 (Secondary)

Journal ref: Journal of Differential Geometry 99 issue 1, 77-123, January 2015

An integrability condition for fields of nilpotent endomorphisms

Authors: Charles Boubel

Abstract: We give a necessary and sufficient condition on the 1-jet of a field of nilpotent endomorphisms to be integrable. Together with the well known corresponding condition for an almost complex structure, the nullity of its Nijenhuis tensor, this gives an integrability condition for any field of endomorphisms. We give a necessary and sufficient condition on the 1-jet of a field of nilpotent endomorphisms to be integrable. Together with the well known corresponding condition for an almost complex structure, the nullity of its Nijenhuis tensor, this gives an integrability condition for any field of endomorphisms. △ Less

Submitted 30 March, 2011; v1 submitted 4 March, 2010; originally announced March 2010.

Comments: 11 pages

Lorentzian foliations on 3-manifolds

Authors: C. Boubel, P. Mounoud, C. Tarquini

Abstract: We study transversely Lorentzian foliations on the closed 3-manifolds. We classify them under a completeness hypothesis and we deduce the dual classification of codimension 1 geodesically complete timelike totally geodesic foliations. Besides we provide an example of a Lorentzian foliation on a compact 3-manifold which is equicontinuous on a proper dense open subset of the manifold, and hence no… ▽ More We study transversely Lorentzian foliations on the closed 3-manifolds. We classify them under a completeness hypothesis and we deduce the dual classification of codimension 1 geodesically complete timelike totally geodesic foliations. Besides we provide an example of a Lorentzian foliation on a compact 3-manifold which is equicontinuous on a proper dense open subset of the manifold, and hence not transversely complete. △ Less

Submitted 19 January, 2006; originally announced January 2006.

Comments: 27 pages, 3 figures

MSC Class: 53C12 (primary) ; 53C50 (secondary)