Showing 1–21 of 21 results for author: Schiavo, L D

Multivariate Dirichlet Moments and a Polychromatic Ewens Sampling Formula

Authors: Lorenzo Dello Schiavo, Filippo Quattrocchi

Abstract: We present an elementary non-recursive formula for the multivariate moments of the Dirichlet distribution on the standard simplex, in terms of the pattern inventory of the moments' exponents. We obtain analog formulas for the multivariate moments of the Dirichlet-Ferguson and Gamma measures. We further introduce a polychromatic analogue of Ewens sampling formula on colored integer partitions, disc… ▽ More We present an elementary non-recursive formula for the multivariate moments of the Dirichlet distribution on the standard simplex, in terms of the pattern inventory of the moments' exponents. We obtain analog formulas for the multivariate moments of the Dirichlet-Ferguson and Gamma measures. We further introduce a polychromatic analogue of Ewens sampling formula on colored integer partitions, discuss its relation with suitable extensions of Hoppe's urn model and of the Chinese restaurant process, and prove that it satisfies an adapted notion of consistency in the sense of Kingman. △ Less

Submitted 20 September, 2023; originally announced September 2023.

Comments: 22 pages

MSC Class: 60C05 (Primary) 60J10 (Secondary)

Persistence of Rademacher-type and Sobolev-to-Lipschitz properties

Authors: Lorenzo Dello Schiavo, Kohei Suzuki

Abstract: We consider the Rademacher- and Sobolev-to-Lipschitz-type properties for arbitrary quasi-regular strongly local Dirichlet spaces. We discuss the persistence of these properties under localization, globalization, transfer to weighted spaces, tensorization, and direct integration. As byproducts we obtain: necessary and sufficient conditions to identify a quasi-regular strongly local Dirichlet form o… ▽ More We consider the Rademacher- and Sobolev-to-Lipschitz-type properties for arbitrary quasi-regular strongly local Dirichlet spaces. We discuss the persistence of these properties under localization, globalization, transfer to weighted spaces, tensorization, and direct integration. As byproducts we obtain: necessary and sufficient conditions to identify a quasi-regular strongly local Dirichlet form on an extended metric topological $σ$-finite possibly non-Radon measure space with the Cheeger energy of the space; the tensorization of intrinsic distances; the tensorization of the Varadhan short-time asymptotics. △ Less

Submitted 19 September, 2023; originally announced September 2023.

Comments: 40 pages, 2 figures

MSC Class: 31C25 (Primary) 30L99; 31E05 (Secondary)

A Characterization of Maps of Bounded Compression

Authors: Lorenzo Dello Schiavo

Abstract: A measurable map between measure spaces is shown to have bounded compression if and only if its image via the measure-algebra functor is Lipschitz-continuous w.r.t. the measure-algebra distances. This provides a natural interpretation of maps of bounded compression/deformation by means of the measure-algebra functor and corroborates the assertion that maps of bounded deformation are the natural cl… ▽ More A measurable map between measure spaces is shown to have bounded compression if and only if its image via the measure-algebra functor is Lipschitz-continuous w.r.t. the measure-algebra distances. This provides a natural interpretation of maps of bounded compression/deformation by means of the measure-algebra functor and corroborates the assertion that maps of bounded deformation are the natural class of morphisms for the category of complete and separable metric measure spaces. △ Less

Submitted 22 April, 2023; originally announced April 2023.

Comments: 5 pages

MSC Class: 28A60

Journal ref: Math. Commun. 29(2024), 137-142

Local Conditions for Global Convergence of Gradient Flows and Proximal Point Sequences in Metric Spaces

Authors: Lorenzo Dello Schiavo, Jan Maas, Francesco Pedrotti

Abstract: This paper deals with local criteria for the convergence to a global minimiser for gradient flow trajectories and their discretisations. To obtain quantitative estimates on the speed of convergence, we consider variations on the classical Kurdyka--Łojasiewicz inequality for a large class of parameter functions. Our assumptions are given in terms of the initial data, without any reference to an equ… ▽ More This paper deals with local criteria for the convergence to a global minimiser for gradient flow trajectories and their discretisations. To obtain quantitative estimates on the speed of convergence, we consider variations on the classical Kurdyka--Łojasiewicz inequality for a large class of parameter functions. Our assumptions are given in terms of the initial data, without any reference to an equilibrium point. The main results are convergence statements for gradient flow curves and proximal point sequences to a global minimiser, together with sharp quantitative estimates on the speed of convergence. These convergence results apply in the general setting of lower semicontinuous functionals on complete metric spaces, generalising recent results for smooth functionals on $\mathbb{R}^n$. While the non-smooth setting covers very general spaces, it is also useful for (non)-smooth functionals on $\mathbb{R}^n$. △ Less

Submitted 11 April, 2023; originally announced April 2023.

Comments: 22 pages, 3 figures

MSC Class: 45J05; 49Q20 (Primary) 39B62; 37N40; 49J52; 65K10 (Secondary)

Journal ref: Tran. Amer. Math. Soc. 2024 (online)

Wasserstein geometry and Ricci curvature bounds for Poisson spaces

Authors: Lorenzo Dello Schiavo, Ronan Herry, Kohei Suzuki

Abstract: Let $\varUpsilon$ be the configuration space over a complete and separable metric base space, endowed with the Poisson measure $π$. We study the geometry of $\varUpsilon$ from the point of view of optimal transport and Ricci-lower bounds. To do so, we define a formal Riemannian structure on $\mathscr{P}_{1}(\varUpsilon)$, the space of probability measures over $\varUpsilon$ with finite first momen… ▽ More Let $\varUpsilon$ be the configuration space over a complete and separable metric base space, endowed with the Poisson measure $π$. We study the geometry of $\varUpsilon$ from the point of view of optimal transport and Ricci-lower bounds. To do so, we define a formal Riemannian structure on $\mathscr{P}_{1}(\varUpsilon)$, the space of probability measures over $\varUpsilon$ with finite first moment, and we construct an extended distance $\mathcal{W}$ on $\mathscr{P}_{1}(\varUpsilon)$. The distance $\mathcal{W}$ corresponds, in our setting, to the Benamou--Brenier variational formulation of the Wasserstein distance. Our main technical tool is a non-local continuity equation defined via the difference operator on the Poisson space. We show that the closure of the domain of the relative entropy is a complete geodesic space, when endowed with $\mathcal{W}$. We establish non-local infinite-dimensional analogues of results regarding the geometry of the Wasserstein space over a metric measure space with synthetic Ricci curvature bounded below. In particular, we obtain that: (a) the Ornstein--Uhlenbeck semi-group is the gradient flow of the relative entropy; (b) the Poisson space has a Ricci curvature, in the entropic sense, bounded below by $1$; (c) the distance $\mathcal{W}$ satisfies an HWI inequality. △ Less

Submitted 1 March, 2023; originally announced March 2023.

Comments: 45 pages, comments are welcome

MSC Class: 60G55; 49Q22; 30L99

Polyharmonic Fields and Liouville Quantum Gravity Measures on Tori of Arbitrary Dimension: from Discrete to Continuous

Authors: Lorenzo Dello Schiavo, Ronan Herry, Eva Kopfer, Karl-Theodor Sturm

Abstract: For an arbitrary dimension $n$, we study: (a) the Polyharmonic Gaussian Field $h_L$ on the discrete torus $\mathbb{T}^n_L = \frac{1}{L} \mathbb{Z}^{n} / \mathbb{Z}^{n}$, that is the random field whose law on $\mathbb{R}^{\mathbb{T}^{n}_{L}}$ given by \begin{equation*} c_n\, e^{-b_n\|(-Δ_L)^{n/4}h\|^2} dh, \end{equation*} where $dh$ is the Lebesgue measure and $Δ_{L}$ is the discrete Laplacian; (… ▽ More For an arbitrary dimension $n$, we study: (a) the Polyharmonic Gaussian Field $h_L$ on the discrete torus $\mathbb{T}^n_L = \frac{1}{L} \mathbb{Z}^{n} / \mathbb{Z}^{n}$, that is the random field whose law on $\mathbb{R}^{\mathbb{T}^{n}_{L}}$ given by \begin{equation*} c_n\, e^{-b_n\|(-Δ_L)^{n/4}h\|^2} dh, \end{equation*} where $dh$ is the Lebesgue measure and $Δ_{L}$ is the discrete Laplacian; (b) the associated discrete Liouville Quantum Gravity measure associated with it, that is the random measure on $\mathbb{T}^{n}_{L}$ \begin{equation*}μ_{L}(dz) = \exp \Big( γh_L(z) - \frac{γ^{2}}{2} \mathbf{E} h_{L}(z) \Big) dz,\end{equation*} where $γ$ is a regularity parameter. As $L\to\infty$, we prove convergence of the fields $h_L$ to the Polyharmonic Gaussian Field $h$ on the continuous torus $\mathbb{T}^n = \mathbb{R}^{n} / \mathbb{Z}^{n}$, as well as convergence of the random measures $μ_L$ to the LQG measure $μ$ on $\mathbb{T}^n$, for all $|γ| < \sqrt{2n}$. △ Less

Submitted 6 February, 2023; originally announced February 2023.

Comments: 33 pages, 5 figures

MSC Class: 60J65; 60K37; 60J67

Configuration Spaces over Singular Spaces -- II. Curvature

Authors: Lorenzo Dello Schiavo, Kohei Suzuki

Abstract: This is the second paper of a series on configuration spaces $Υ$ over singular spaces $X$. Here, we focus on geometric aspects of the extended metric measure space $(Υ, \mathsf{d}_Υ, μ)$ equipped with the $L^2$-transportation distance $\mathsf{d}_Υ$, and a mixed Poisson measure $μ$. Firstly, we establish the essential self-adjointness and the $L^p$-uniqueness for the Laplacian on $Υ$ lifted from… ▽ More This is the second paper of a series on configuration spaces $Υ$ over singular spaces $X$. Here, we focus on geometric aspects of the extended metric measure space $(Υ, \mathsf{d}_Υ, μ)$ equipped with the $L^2$-transportation distance $\mathsf{d}_Υ$, and a mixed Poisson measure $μ$. Firstly, we establish the essential self-adjointness and the $L^p$-uniqueness for the Laplacian on $Υ$ lifted from $X$. Secondly, we prove the equivalence of Bakry-Émery curvature bounds on $X$ and on $Υ$, without any metric assumption on $X$. We further prove the Evolution Variation Inequality on $Υ$, and introduce the notion of synthetic Ricci-curvature lower bounds for the extended metric measure space $Υ$. As an application, we prove the Sobolev-to-Lipschitz property on $Υ$ over singular spaces $X$, originally conjectured in the case when $X$ is a manifold by M. Röckner and A. Schield. As a further application, we prove the $L^\infty$-to-$\mathsf{d}_Υ$-Lipschitz regularization of the heat semigroup on $Υ$ and gives a new characterization of the ergodicity of the corresponding particle systems in terms of optimal transport. △ Less

Submitted 3 May, 2022; originally announced May 2022.

Comments: 50 pages

MSC Class: 31C25; 30L99; 70F45; 60G55

Scaling Limits of Random Walks, Harmonic Profiles, and Stationary Non-Equilibrium States in Lipschitz Domains

Authors: Lorenzo Dello Schiavo, Lorenzo Portinale, Federico Sau

Abstract: We consider the open symmetric exclusion (SEP) and inclusion (SIP) processes on a bounded Lipschitz domain $Ω$, with both fast and slow boundary. For the random walks on $Ω$ dual to SEP/SIP we establish: a functional-CLT-type convergence to the Brownian motion on $Ω$ with either Neumann (slow boundary), Dirichlet (fast boundary), or Robin (at criticality) boundary conditions; the discrete-to-conti… ▽ More We consider the open symmetric exclusion (SEP) and inclusion (SIP) processes on a bounded Lipschitz domain $Ω$, with both fast and slow boundary. For the random walks on $Ω$ dual to SEP/SIP we establish: a functional-CLT-type convergence to the Brownian motion on $Ω$ with either Neumann (slow boundary), Dirichlet (fast boundary), or Robin (at criticality) boundary conditions; the discrete-to-continuum convergence of the corresponding harmonic profiles. As a consequence, we rigorously derive the hydrodynamic and hydrostatic limits for SEP/SIP on $Ω$, and analyze their stationary non-equilibrium fluctuations. All scaling limit results for SEP/SIP concern finite-dimensional distribution convergence only, as our duality techniques do not require to establish tightness for the fields associated to the particle systems. △ Less

Submitted 3 August, 2023; v1 submitted 28 December, 2021; originally announced December 2021.

Comments: 56 pages, 3 figures; final version

MSC Class: 60K35; 60F17; 35B30. Secondary 35K05; 35K20

Journal ref: Ann. Appl. Probab. 34(2): 1789-1845 (April 2024)

Effective contraction of skinning maps

Authors: Tommaso Cremaschi, Lorenzo Dello Schiavo

Abstract: Using elementary hyperbolic geometry, we give an explicit formula for the contraction constant of the skinning map over moduli spaces of relatively acylindrical hyperbolic manifolds. Using elementary hyperbolic geometry, we give an explicit formula for the contraction constant of the skinning map over moduli spaces of relatively acylindrical hyperbolic manifolds. △ Less

Submitted 6 August, 2022; v1 submitted 14 November, 2021; originally announced November 2021.

Comments: 15 pages, 3 figures. To appear in Proc. Amer. Math. Soc

MSC Class: 30F60; 57K32; 57K30; 57M50; 32G15

Journal ref: Proc. Amer. Math. Soc. Ser. B 9 (2022), 445-459

Sobolev-to-Lipschitz Property on QCD-spaces and Applications

Authors: Lorenzo Dello Schiavo, Kohei Suzuki

Abstract: We prove the Sobolev-to-Lipschitz property for metric measure spaces satisfying the quasi curvature dimension condition recently introduced in E. Milman, The Quasi Curvature-Dimension Condition with applications to sub-Riemannian manifolds, Comm. Pure Appl. Math. (to appear, arXiv:1908.01513v5). We provide several applications to properties of the corresponding heat semigroup. In particular, under… ▽ More We prove the Sobolev-to-Lipschitz property for metric measure spaces satisfying the quasi curvature dimension condition recently introduced in E. Milman, The Quasi Curvature-Dimension Condition with applications to sub-Riemannian manifolds, Comm. Pure Appl. Math. (to appear, arXiv:1908.01513v5). We provide several applications to properties of the corresponding heat semigroup. In particular, under the additional assumption of infinitesimal Hilbertianity, we show the Varadhan short-time asymptotics for the heat semigroup with respect to the distance, and prove the irreducibility of the heat semigroup. These result apply in particular to large classes of (ideal) sub-Riemannian manifolds. △ Less

Submitted 6 December, 2021; v1 submitted 11 October, 2021; originally announced October 2021.

Comments: 17 pages, to appear in Math. Ann

MSC Class: 46E36; 53C17

Configuration spaces over singular spaces -- I. Dirichlet-Form and Metric Measure Geometry

Authors: Lorenzo Dello Schiavo, Kohei Suzuki

Abstract: We construct a canonical differential structure on the configuration space $Υ$ over a singular base space $X$ and with a general invariant measure $μ$ on $Υ$. We present an analytic structure on $Υ$, constructing a strongly local Dirichlet form $\mathcal E$ on $L^2(Υ, μ)$ for $μ$ in a large class of probability measures. We then investigate the geometric structure of the extended metric measure sp… ▽ More We construct a canonical differential structure on the configuration space $Υ$ over a singular base space $X$ and with a general invariant measure $μ$ on $Υ$. We present an analytic structure on $Υ$, constructing a strongly local Dirichlet form $\mathcal E$ on $L^2(Υ, μ)$ for $μ$ in a large class of probability measures. We then investigate the geometric structure of the extended metric measure space $Υ$ endowed with the $L^2$-transportation extended distance $\mathsf{d}_Υ$ and with the measure $μ$. By establishing Rademacher- and Sobolev-to-Lipschitz-type properties for $\mathcal E$, we finally provide a complete identification of the analytic and the geometric structure -- the canonical differential structure induced on $Υ$ by $X$ and $μ$ -- showing that $\mathcal E$ coincides with the Cheeger energy of $(Υ,\mathsf{d}_Υ,μ)$ and that the intrinsic distance of $\mathcal E$ coincides with $\mathsf{d}_Υ$. The class of base spaces to which our results apply includes sub-Riemannian manifolds, RCD spaces, and path/loop spaces over Riemannian manifolds; as for $μ$ our results include quasi-Gibbs measures, in particular: Poisson measures, canonical Gibbs measures, as well as some determinantal/permanental point processes (sine$_β$, Airy$_β$, Bessel$_{α,β}$, Ginibre). A number of applications to interacting particle systems and infinite-dimensional metric measure geometry are also discussed. In particular, we prove the universality of the $L^2$-transportation distance $\mathsf{d}_Υ$ for the Varadhan short-time asymptotics for diffusions on $Υ$, regardless of the choice of $μ$. Many of our results are new even in the case of configuration spaces over Euclidean spaces. △ Less

Submitted 11 October, 2021; v1 submitted 7 September, 2021; originally announced September 2021.

Comments: 85 pages, 3 diagrams, 3 tables (minor modifications, added table 3)

MSC Class: 31C25; 30L99; 70F45; 60G55; 60G57

Ergodic Decompositions of Dirichlet Forms under Order Isomorphisms

Authors: Lorenzo Dello Schiavo, Melchior Wirth

Abstract: We study ergodic decompositions of Dirichlet spaces under intertwining via unitary order isomorphisms. We show that the ergodic decomposition of a quasi-regular Dirichlet space is unique up to a unique isomorphism of the indexing space. Furthermore, every unitary order isomorphism intertwining two quasi-regular Dirichlet spaces is decomposable over their ergodic decompositions up to conjugation vi… ▽ More We study ergodic decompositions of Dirichlet spaces under intertwining via unitary order isomorphisms. We show that the ergodic decomposition of a quasi-regular Dirichlet space is unique up to a unique isomorphism of the indexing space. Furthermore, every unitary order isomorphism intertwining two quasi-regular Dirichlet spaces is decomposable over their ergodic decompositions up to conjugation via an isomorphism of the corresponding indexing spaces. △ Less

Submitted 27 November, 2022; v1 submitted 1 September, 2021; originally announced September 2021.

Comments: 16 pages. To appear in J. Evol. Equ. arXiv admin note: text overlap with arXiv:2003.01366

MSC Class: 31C25

Journal ref: J. Evol. Equ. 23 n.9, 2023

Conformally invariant random fields, quantum Liouville measures, and random Paneitz operators on Riemannian manifolds of even dimension

Authors: Lorenzo Dello Schiavo, Ronan Herry, Eva Kopfer, Karl-Theodor Sturm

Abstract: For large classes of even-dimensional Riemannian manifolds $(M,g)$, we construct and analyze conformally invariant random fields. These centered Gaussian fields $h=h_g$, called co-polyharmonic Gaussian fields, are characterized by their covariance kernels $k$ which exhibit a precise logarithmic divergence: $|k(x,y)-\log\frac1{d(x,y)}|\le C$. They share a fundamental quasi-invariance property under… ▽ More For large classes of even-dimensional Riemannian manifolds $(M,g)$, we construct and analyze conformally invariant random fields. These centered Gaussian fields $h=h_g$, called co-polyharmonic Gaussian fields, are characterized by their covariance kernels $k$ which exhibit a precise logarithmic divergence: $|k(x,y)-\log\frac1{d(x,y)}|\le C$. They share a fundamental quasi-invariance property under conformal transformations. In terms of the co-polyharmonic Gaussian field $h$, we define the quantum Liouville measure, a random measure on $M$, heuristically given as $$ dμ_g^{h}(x):= e^{γh(x)-\frac{γ^2}2k(x,x)}\,d \text{vol}_g(x)$$ and rigorously obtained as almost sure weak limit of the right-hand side with $h$ replaced by suitable regular approximations $h_\ell, \ell\in{\mathbb N}$. In terms on the quantum Liouville measure, we define the Liouville Brownian motion on $M$ and the random GJMS operators. Finally, we present an approach to a conformal field theory in arbitrary even dimensions with an ansatz based on Branson's $Q$-curvature: we give a rigorous meaning to the Polyakov-Liouville measure $$ d\boldsymbolν^*_g(h) =\frac1{Z^*_g} \exp\Big(- \int Θ\,Q_g h + m e^{γh} d \text{vol}_g\Big) \exp\Big(-\frac{a_n}{2} {\mathfrak p}_g(h,h)\Big) dh, $$ and we derive the corresponding conformal anomaly. The set of admissible manifolds is conformally invariant. It includes all compact 2-dimensional Riemannian manifolds, all compact non-negatively curved Einstein manifolds of even dimension, and large classes of compact hyperbolic manifolds of even dimension. However, not every compact even-dimensional Riemannian manifold is admissible. Our results rely on new sharp estimates for heat kernels and higher order Green kernels on arbitrary compact manifolds. △ Less

Submitted 24 April, 2024; v1 submitted 28 May, 2021; originally announced May 2021.

Comments: New notion of `singular' h, now Sobolev function rather than distribution. Detailed discussion on plain vs. adjusted LQG measure. Additional results on Polyakov-Liouville measure

A Discovery Tour in Random Riemannian Geometry

Authors: Lorenzo Dello Schiavo, Eva Kopfer, Karl-Theodor Sturm

Abstract: We study random perturbations of Riemannian manifolds $(\mathsf{M},\mathsf{g})$ by means of so-called Fractional Gaussian Fields, which are defined intrinsically by the given manifold. The fields $h^\bullet: ω\mapsto h^ω$ will act on the manifolds via conformal transformation $\mathsf{g}\mapsto \mathsf{g}^ω\colon\!\!= e^{2h^ω}\,\mathsf{g}$. Our focus will be on the regular case with Hurst paramete… ▽ More We study random perturbations of Riemannian manifolds $(\mathsf{M},\mathsf{g})$ by means of so-called Fractional Gaussian Fields, which are defined intrinsically by the given manifold. The fields $h^\bullet: ω\mapsto h^ω$ will act on the manifolds via conformal transformation $\mathsf{g}\mapsto \mathsf{g}^ω\colon\!\!= e^{2h^ω}\,\mathsf{g}$. Our focus will be on the regular case with Hurst parameter $H>0$, the celebrated Liouville geometry in two dimensions being borderline. We want to understand how basic geometric and functional analytic quantities like diameter, volume, heat kernel, Brownian motion, spectral bound, or spectral gap will change under the influence of the noise. And if so, is it possible to quantify these dependencies in terms of key parameters of the noise. Another goal is to define and analyze in detail the Fractional Gaussian Fields on a general Riemannian manifold, a fascinating object of independent interest. △ Less

Submitted 24 October, 2022; v1 submitted 12 December, 2020; originally announced December 2020.

Comments: 45 pages, 9 figures. Version 3: several major changes

MSC Class: 60G15 (Primary); 58J65; 31C25 (Secondary)

Rademacher-type Theorems and Sobolev-to-Lipschitz Properties for Strongly Local Dirichlet Spaces

Authors: Lorenzo Dello Schiavo, Kohei Suzuki

Abstract: We extensively discuss the Rademacher and Sobolev-to-Lipschitz properties for generalized intrinsic distances on strongly local Dirichlet spaces possibly without square field operator. We present many non-smooth and infinite-dimensional examples. As an application, we prove the integral Varadhan short-time asymptotic with respect to a given distance function for a large class of strongly local Dir… ▽ More We extensively discuss the Rademacher and Sobolev-to-Lipschitz properties for generalized intrinsic distances on strongly local Dirichlet spaces possibly without square field operator. We present many non-smooth and infinite-dimensional examples. As an application, we prove the integral Varadhan short-time asymptotic with respect to a given distance function for a large class of strongly local Dirichlet forms. △ Less

Submitted 10 August, 2021; v1 submitted 4 August, 2020; originally announced August 2020.

Comments: 44 pages, list of notations (end), Title, Abstract and Introduction have been changed. Lemma 2.10, Corollary 2.35, and Proposition 3.31 have been removed. Proposition 3.7 and Corollary 4.17 have been added

MSC Class: 31C25 (Primary) 30L99; 31E05 (Secondary)

Journal ref: Journal of Functional Analysis, 281(11):109234, 2021

Ergodic Decomposition of Dirichlet Forms via Direct Integrals and Applications

Authors: Lorenzo Dello Schiavo

Abstract: We study superpositions and direct integrals of quadratic and Dirichlet forms. We show that each quasi-regular Dirichlet space over a probability space admits a unique representation as a direct integral of irreducible Dirichlet spaces, quasi-regular for the same underlying topology. The same holds for each quasi-regular strongly local Dirichlet space over a metrizable Luzin, Radon measure space,… ▽ More We study superpositions and direct integrals of quadratic and Dirichlet forms. We show that each quasi-regular Dirichlet space over a probability space admits a unique representation as a direct integral of irreducible Dirichlet spaces, quasi-regular for the same underlying topology. The same holds for each quasi-regular strongly local Dirichlet space over a metrizable Luzin, Radon measure space, and admitting carré du champ operator. In this case, the representation is only projectively unique. △ Less

Submitted 5 September, 2021; v1 submitted 3 March, 2020; originally announced March 2020.

Comments: 39 pages; added previously omitted proofs

MSC Class: 37A30 (Primary) 31C25; 60J25; 60J35 (Secondary)

Journal ref: Potential Analysis (2021)

The Dirichlet-Ferguson Diffusion on the Space of Probability Measures over a Closed Riemannian Manifold

Authors: L. Dello Schiavo

Abstract: We construct a recurrent diffusion process with values in the space of probability measures over an arbitrary closed Riemannian manifold of dimension $d\ge 2$. The process is associated with the Dirichlet form defined by integration of the Wasserstein gradient w.r.t. the Dirichlet-Ferguson measure, and is the counterpart on multi-dimensional base spaces to the Modified Massive Arratia Flow over th… ▽ More We construct a recurrent diffusion process with values in the space of probability measures over an arbitrary closed Riemannian manifold of dimension $d\ge 2$. The process is associated with the Dirichlet form defined by integration of the Wasserstein gradient w.r.t. the Dirichlet-Ferguson measure, and is the counterpart on multi-dimensional base spaces to the Modified Massive Arratia Flow over the unit interval described in V. Konarovskyi, M.-K. von Renesse, Comm. Pure Appl. Math., 72, 0764-0800 (2019). Together with two different constructions of the process, we discuss its ergodicity, invariant sets, finite-dimensional approximations, and Varadhan short-time asymptotics. △ Less

Submitted 30 May, 2020; v1 submitted 28 November, 2018; originally announced November 2018.

Comments: 51 pages, 2 figures, part of the appendix is now arXiv:2003.01366

MSC Class: 60J45; 60J60 (Primary) 47D07; 60G57; 60H15 (Secondary)

Journal ref: Ann. Probab. 50(2) 591-648 (2022)

A Rademacher-type Theorem on $L^2$-Wasserstein Spaces over Closed Riemannian Manifolds

Authors: Lorenzo Dello Schiavo

Abstract: Let $\mathbb P$ be any Borel probability measure on the $L^2$-Wasserstein space $(\mathscr{P}_2(M),W_2)$ over a closed Riemannian manifold $M$. We consider the Dirichlet form $\mathcal E$ induced by $\mathbb P$ and by the Wasserstein gradient on $\mathscr{P}_2(M)$. Under natural assumptions on $\mathbb P$, we show that $W_2$-Lipschitz functions on $\mathscr{P}_2(M)$ are contained in the Dirichlet… ▽ More Let $\mathbb P$ be any Borel probability measure on the $L^2$-Wasserstein space $(\mathscr{P}_2(M),W_2)$ over a closed Riemannian manifold $M$. We consider the Dirichlet form $\mathcal E$ induced by $\mathbb P$ and by the Wasserstein gradient on $\mathscr{P}_2(M)$. Under natural assumptions on $\mathbb P$, we show that $W_2$-Lipschitz functions on $\mathscr{P}_2(M)$ are contained in the Dirichlet space $\mathrm{dom}(\mathcal{E})$ and that $W_2$ is dominated by the intrinsic metric induced by $\mathcal E$. We illustrate our results by giving several detailed examples. △ Less

Submitted 22 February, 2020; v1 submitted 24 October, 2018; originally announced October 2018.

Comments: 40 pages; to appear in J. Funct. Anal. 278(6) 2020

MSC Class: 31C25 (Primary) 46G99 (Secondary)

Characteristic Functionals of Dirichlet Measures

Authors: L. Dello Schiavo

Abstract: We compute characteristic functionals of Dirichlet-Ferguson measures over a locally compact Polish space and prove continuous dependence of the random measure on the parameter measure. In finite dimension, we identify the dynamical symmetry algebra of the characteristic functional of the Dirichlet distribution with a simple Lie algebra of type $A$. We study the lattice determined by characteristic… ▽ More We compute characteristic functionals of Dirichlet-Ferguson measures over a locally compact Polish space and prove continuous dependence of the random measure on the parameter measure. In finite dimension, we identify the dynamical symmetry algebra of the characteristic functional of the Dirichlet distribution with a simple Lie algebra of type $A$. We study the lattice determined by characteristic functionals of categorical Dirichlet posteriors, showing that it has a natural structure of weight Lie algebra module and providing a probabilistic interpretation. A partial generalization to the case of the Dirichlet-Ferguson measure is also obtained. △ Less

Submitted 23 October, 2018; originally announced October 2018.

Comments: 31 pages, 3 figures

MSC Class: 60E05 (Primary) 60G57; 62E10; 46F25; 33C65; 33C67 (Secondary)

Journal ref: Electron. J. Probab. 24 (2019) 115:1-38

A Mecke-type characterization of the Dirichlet-Ferguson measure

Authors: Lorenzo Dello Schiavo, Eugene W. Lytvynov

Abstract: We prove a characterization of the Dirichlet-Ferguson measure over an arbitrary finite diffuse measure space. We provide an interpretation of this characterization in analogy with the Mecke identity for Poisson point processes. We prove a characterization of the Dirichlet-Ferguson measure over an arbitrary finite diffuse measure space. We provide an interpretation of this characterization in analogy with the Mecke identity for Poisson point processes. △ Less

Submitted 30 April, 2023; v1 submitted 23 June, 2017; originally announced June 2017.

Comments: 12 pages. To appear in Electron. Commun. Probab

MSC Class: 60G57

Journal ref: Electron. Commun. Probab. 28, 1-12 (2023)

Moments and Cumulants in Infinite Dimensions with Applications to Poisson, Gamma and Dirichlet-Ferguson Random Measures

Authors: L. Dello Schiavo

Abstract: We show that the chaos representation of some Compound Poisson Type processes displays an underlying intrinsic combinatorial structure, partly independent of the chosen process. From the computational viewpoint, we solve the arising combinatorial complexity by means of the moments/cumulants duality for the laws of the corresponding processes, themselves measures on distributional spaces, and provi… ▽ More We show that the chaos representation of some Compound Poisson Type processes displays an underlying intrinsic combinatorial structure, partly independent of the chosen process. From the computational viewpoint, we solve the arising combinatorial complexity by means of the moments/cumulants duality for the laws of the corresponding processes, themselves measures on distributional spaces, and provide a combinatorial interpretation of the associated 'extended' Fock spaces. From the theoretical viewpoint, in the case of the Gamma measure, we trace back such complexity to its 'simplicial part', i.e. the Dirichlet-Ferguson measure, hence to the Dirichlet distribution on the finite-dimensional simplex. We thoroughly explore the combinatorial and algebraic properties of the latter distribution, arising in connection with cycle index polynomials of symmetric groups and dynamical symmetry algebras of confluent Lauricella functions. △ Less

Submitted 7 November, 2016; originally announced November 2016.

Comments: 46 pages, 1 table

MSC Class: 60E05; 60G57; 62E10; 46G12; 33C65; 33C67; 30H20; 05A17; 60H05