No Arabic abstract
In this note we prove in the nonlinear setting of $CD(K,infty)$ spaces the stability of the Krasnoselskii spectrum of the Laplace operator $-Delta$ under measured Gromov-Hausdorff convergence, under an additional compactness assumption satisfied, for instance, by sequences of $CD^*(K,N)$ metric measure spaces with uniformly bounded diameter. Additionally, we show that every element $lambda$ in the Krasnoselskii spectrum is indeed an eigenvalue, namely there exists a nontrivial $u$ satisfying the eigenvalue equation $- Delta u = lambda u$.
We study stability of the spectral gap and observable diameter for metricmeasure spaces satisfying the RCD(1, $infty$) condition. We show that if such a space has an almost maximal spectral gap, then it almost contains a Gaussian component, and the Laplacian has eigenvalues that are close to any integers, with dimension-free quantitative bounds. Under the additional assumption that the space admits a needle disintegration, we show that the spectral gap is almost maximal iff the observable diameter is almost maximal, again with quantitative dimension-free bounds.
In many real-world applications data come as discrete metric spaces sampled around 1-dimensional filamentary structures that can be seen as metric graphs. In this paper we address the metric reconstruction problem of such filamentary structures from data sampled around them. We prove that they can be approximated, with respect to the Gromov-Hausdorff distance by well-chosen Reeb graphs (and some of their variants) and we provide an efficient and easy to implement algorithm to compute such approximations in almost linear time. We illustrate the performances of our algorithm on a few synthetic and real data sets.
We examine topological properties of pointed metric measure spaces $(Y, p)$ that can be realized as the pointed Gromov-Hausdorff limit of a sequence of complete, Riemannian manifolds ${(M^n_i, p_i)}_{i=1}^{infty}$ with nonnegative Ricci curvature. Cheeger and Colding cite{ChCoI} showed that given such a sequence of Riemannian manifolds it is possible to define a measure $ u$ on the limit space $(Y, p)$. In the current work, we generalize previous results of the author to examine the relationship between the topology of $(Y, p)$ and the volume growth of $ u$. In particular, we prove a Abresch-Gromoll type excess estimate for triangles formed by limiting geodesics in the limit space. Assuming explicit volume growth lower bounds in the limit, we show that if $lim_{r to infty} frac{ u(B_p(r))}{omega_n r^n} > alpha(k,n)$, then the $k$-th group of $(Y,p)$ is trivial. The constants $alpha(k,n)$ are explicit and depend only on $n$, the dimension of the manifolds ${(M^n_i, p_i)}$, and $k$, the dimension of the homotopy in $(Y,p)$.
Consider a general nonlinear optimal control problem in finite dimension, with constant state and/or control delays. By the Pontryagin Maximum Principle, any optimal trajectory is the projection of a Pontryagin extremal. We establish that, under appropriate assumptions, Pontryagin extremals depend continuously on the parameter delays, for adequate topologies. The proof of the continuity of the trajectory and of the control is quite easy, however, for the adjoint vector, the proof requires a much finer analysis. The continuity property of the adjoint with respect to the parameter delay opens a new perspective for the numerical implementation of indirect methods, such as the shooting method. We also discuss the sharpness of our assumptions.
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.