Searcharxiv⌕ Search

arXiv subjects

Benoit Kloeckner

Publications and source records attributed to Benoit Kloeckner.

At least 19 recordsLinked to original sources
arXiv2020

Extensions with shrinking fibers

We consider dynamical systems $T: X \to X$ that are extensions of a factor $S: Y \to Y$ through a projection $π: X \to Y$ with shrinking fibers, i.e. such that $T$ is uniformly continuous along fibers $π^{-1}(y)$ and the diameter of iterate images of fibers $T^n(π^{-1}(y))$ uniformly go to zero as $n \to \infty$.We prove that every $S$-invariant measure has a unique $T$-invariant lift, and prove that many properties of the original measure lift: ergodicity, weak and strong mixing, decay of correlations and statistical properties (possibly with weakening in the rates).The basic tool is a variation of the Wasserstein distance, obtained by constraining the optimal transportation paradigm to displacements along the fibers. We extend to a general setting classical arguments, enabling to translate potentials and observables back and forth between $X$ and $Y$.

math.DS↗
arXiv2015

Contraction in the Wasserstein metric for some Markov chains, and applications to the dynamics of expanding maps

We employ techniques from optimal transport in order to prove decay of transfer operators associated to iterated functions systems and expanding maps, giving rise to a new proof without requiring a Doeblin-Fortet (or Lasota-Yorke) inequality. Our main result is the following. Suppose $T$ is an expanding transformation acting on a compact metric space $M$ and $A: M \to \mathbb{R}$ a given fixed H{ö}lder function, and denote by $L$ the Ruelle operator associated to $A$. We show that if $L$ is normalized (i.e. if $L(1)=1$), then the dual transfer operator $L^*$ is an exponential contraction on the set of probability measures on $M$ with the $1$-Wasserstein metric.Our approach is flexible and extends to a relatively general setting, which we name Iterated Contraction Systems. We also derive from our main result several dynamical consequences; for example we show that Gibbs measures depends in a Lipschitz-continuous way on variations of the potential.

math.DS↗
arXiv2015

The calculus of thermodynamical formalism

Given a finite-to-one map acting on a compact metric space, one classically constructs for each potential in an appropriate Banach space of functionsa transfer operator acting on functions. Under suitable condition, the Ruelle-Perron-Frobenius enable to define for each potential an invariant measure called the Gibbs measure. The set of potential giving birth to the same Gibbs measure is a linear subspace containing one distinguished potential, said to be normalized.The goal of the present article is to study the geometry of the set of normalized potentials, of the normalization map, and of the Gibbs map sending potentials to Gibbs measures. We give an easy proof of the fact that the set of normalized potentials is an analytic submanifold and that the normalization map is analytic; we compute the derivative of the Gibbs map; last we endow the set of normalized potential with a natural weakRiemannian metric (derived from the asymptotic variance) with respect to which we compute the gradient flow induced by the pressure with respect to a given potential, e.g. the metric entropy functional.We also apply these ideas to recover in a wide setting existence and uniqueness of equilibrium states, possibly under constraints.

math.DS↗
arXiv2015

On the asymptotic behavior of minimal surfaces in H${}^2$$\times$R

We consider the asymptotic behavior of properly embedded minimal surfaces in the product of the hyperbolic plane with the line, taking into account the fact that there is more than one natural compactification of this space. This provides a better setting in which to consider the general problem of determining which curves at infinity are the asymptotic boundary of such minimal surfaces. We also construct some new examples of such surfaces and describe the boundary regularity.

math.DG↗
arXiv2015

Optimal transport and dynamics of expanding circle maps acting on measures

Using optimal transport we study some dynamical properties of expanding circle maps acting on measures by push-forward. Using the definition of the tangent space to the space of measures introduced by Gigli, their derivative at the unique absolutely continuous invariant measure is computed. In particular it is shown that 1 is an eigenvalue of infinite multiplicity, so that the invariant measure admits many deformations into nearly invariant ones. As a consequence, we obtain counter-examples to an infinitesimal version of Furstenberg's conjecture. We also prove that this action has positive metric mean dimension with respect to the Wasserstein metric.

math.DS↗
arXiv2013

A refinement of Günther's candle inequality

We analyze an upper bound on the curvature of a Riemannian manifold, using "root-Ricci" curvature, which is in between a sectional curvature bound and a Ricci curvature bound. (A special case of root-Ricci curvature was previously discovered by Osserman and Sarnak for a different but related purpose.) We prove that our root-Ricci bound implies Günther's inequality on the candle function of a manifold, thus bringing that inequality closer in form to the complementary inequality due to Bishop.

math.DG↗
arXiv2012

A generalization of Hausdorff dimension applied to Hilbert cubes and Wasserstein spaces

A Wasserstein spaces is a metric space of sufficiently concentrated probability measures over a general metric space. The main goal of this paper is to estimate the largeness of Wasserstein spaces, in a sense to be precised. In a first part, we generalize the Hausdorff dimension by defining a family of bi-Lipschitz invariants, called critical parameters, that measure largeness for infinite-dimensional metric spaces. Basic properties of these invariants are given, and they are estimated for a naturel set of spaces generalizing the usual Hilbert cube. In a second part, we estimate the value of these new invariants in the case of some Wasserstein spaces, as well as the dynamical complexity of push-forward maps. The lower bounds rely on several embedding results; for example we provide bi-Lipschitz embeddings of all powers of any space inside its Wasserstein space, with uniform bound and we prove that the Wasserstein space of a d-manifold has "power-exponential" critical parameter equal to d.

math.MG↗
arXiv2010

Approximation by finitely supported measures

Given a compactly supported probability measure on a Riemannian manifold, we study the asymptotic speed at which it can be approximated (in Wasserstein distance of any exponent p) by finitely supported measure. This question has been studied under the names of ``quantization of distributions'' and, when p=1, ``location problem''. When p=2, it is linked with Centroidal Voronoi Tessellations.

math.OC↗
arXiv2010

Cutwidth and degeneracy of graphs

We prove an inequality involving the degeneracy, the cutwidth and the sparsity of graphs. It implies a quadratic lower bound on the cutwidth in terms of the degeneracy for all graphs and an improvement of it for clique-free graphs.

math.CO↗
arXiv2009

Symmetric spaces of higher rank do not admit differentiable compactifications

Any nonpositively curved symmetric space admits a topological compactification, namely the Hadamard compactification. For rank one spaces, this topological compactification can be endowed with a differentiable structure such that the action of the isometry group is differentiable. Moreover, the restriction of the action on the boundary leads to a flat model for some geometry (conformal, CR or quaternionic CR depending of the space). One can ask whether such a differentiable compactification exists for higher rank spaces, hopefully leading to some knew geometry to explore. In this paper we answer negatively.

math.DG↗
arXiv2009

Sharp quantitative isoperimetric inequalities in the $L^1$ Minkowski plane

We prove that a plane domain which is almost isoperimetric (with respect to the $L^1$ metric) is close to a square whose sides are parallel to the coordinates axis. Closeness is measured either by $L^\infty$ Haussdorf distance or Fraenkel asymmetry. In the first case, we determine the extremal domains.

math.FA↗
arXiv2009

Almost homogeneous manifolds with boundary

Let $ρ_0$ be an action of a Lie group on a manifold with boundary that is transitive on the interior. We study the set of actions that are topologically conjugate to $ρ_0$, up to smooth or analytic change of coordinates. We show that in many cases, including the compactifications of negatively curved symmetric spaces, this set is infinite.

math.DG↗
arXiv2009

A geometric study of Wasserstein spaces: Euclidean spaces

We study the Wasserstein space (with quadratic cost) of Euclidean spaces as an intrinsic metric space. In particular we compute their isometry groups. Surprisingly, in the case of the line, there exists a (unique) "exotic" isometric flow. This contrasts with the case of higher-dimensional Euclidean spaces, where all isometries of the Wasserstein space preserve the shape of measures. We also study the curvature and various ranks of these spaces.

math.MG↗
arXiv2008

The space of closed subgroups of $R^n$

The Chabauty space of a topological group is the set of its closed subgroups, endowed with a natural topology. As soon as $n>2$, the Chabauty space of $R^n$ has a rather intricate topology and is not a manifold. By an investigation of its local structure, we fit it into a wider, but too wild, class of topological spaces (namely Goresky-MacPherson stratified spaces). Thanks to a localization theorem, this local study also leads to the main result of this article: the Chabauty space of $R^n$ is simply connected for all $n$. Last, we give an alternative proof of the Hubbard-Pourezza Theorem, which describes the Chabauty space of $R^2$.

math.GT↗
arXiv2008

On Lipschitz compactifications of trees

We study the Lipschitz structures on the geodesic compactification of a regular tree, that are preserved by the automorphism group. They are shown to be similar to the compactifications introduced by William Floyd, and a complete description is given.

math.MG↗
arXiv2006

Sur les remplissages holomorphes équivariants

A complex filling of a CR manifold is said to be equivariant with respect to a CR action if the action extends to a smooth action by biholomorphisms on the whole filling. Under a noncompactness condition for the action, we describe all equivariant fillings of strongly pseudoconvex CR manifolds of dimension 3. Since the standard sphere is the only compact strongly pseudoconvex CR manifold whose automorphism group is not compact, we only have to study its fillings.

math.DG↗
arXiv2005

On differentiable compactifications of the hyperbolic plane and algebraic actions of SL(2;R) on surfaces

It is known that the hyperbolic plane admits a countable infinity of compactifications into a closed disk such that the isometric action of SL(2;R) acts analytically on the compactified space. We prove that among those compactifications, only the two most classical ones (namely the closures of Poincaré's disk and Klein's disk) are algebraic, that is to say obtained as a union of orbits of a projectivized linear representation of SL(2;R). More generally, we classify all algebraic actions of SL(2;R) on surfaces.

math.MG↗