We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

math-ph

Change to browse by:

References & Citations

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Mathematical Physics

Title: Rényi's entropy on Lorentzian spaces. Timelike curvature-dimension conditions

Authors: Mathias Braun
Abstract: For a measured Lorentzian space $(M,\mathsf{d},\mathfrak{m},\ll,\leq,\tau)$ in the sense of Kunzinger, S\"amann, Cavalletti, and Mondino, we introduce and study synthetic notions of timelike lower Ricci curvature bounds by $K\in\boldsymbol{\mathrm{R}}$ and upper dimension bounds by $N\in[1,\infty)$, namely the timelike curvature-dimension conditions $\smash{\mathrm{TCD}_p(K,N)}$ and $\smash{\mathrm{TCD}_p^*(K,N)}$ in weak and strong forms, and the timelike measure-contraction properties $\smash{\mathrm{TMCP}_p(K,N)}$ and $\smash{\mathrm{TMCP}_p^*(K,N)}$, $p\in (0,1)$. These are formulated by convexity properties of the R\'enyi entropy with respect to $\mathfrak{m}$ along $\smash{\ell_p}$-geodesics of probability measures. This complements recent information-theoretic approaches to spacetime curvature.
We show many features of these notions, including their compatibility with the smooth setting, sharp geometric inequalities, stability, equivalence of the named weak and strong versions, local-to-global properties, and uniqueness of chronological $\smash{\ell_p}$-optimal couplings and $\smash{\ell_p}$-geodesics. Moreover, we prove the equivalence of $\smash{\mathrm{TCD}_p^*(K,N)}$ and $\smash{\mathrm{TMCP}_p^*(K,N)}$ to their respective entropic counterparts in the sense of Cavalletti and Mondino.
Some of these results are obtained under the assumption of timelike $p$-essential nonbranching, a newly introduced Lorentzian concept conjectured to be strictly weaker than timelike nonbranching.
Comments: 70 pages. Various typos have been corrected. Comments welcome
Subjects: Mathematical Physics (math-ph); Differential Geometry (math.DG); Metric Geometry (math.MG); Probability (math.PR)
MSC classes: 49J52, 53C50, 58E10, 58Z05, 83C99
Cite as: arXiv:2206.13005 [math-ph]
  (or arXiv:2206.13005v2 [math-ph] for this version)

Submission history

From: Mathias Braun [view email]
[v1] Mon, 27 Jun 2022 01:07:23 GMT (84kb)
[v2] Thu, 4 Aug 2022 21:13:30 GMT (86kb)

Link back to: arXiv, form interface, contact.