{"title":"芬斯勒时空上的最优传输和时间性下里奇曲率边界","authors":"Mathias Braun, Shin-ichi Ohta","doi":"10.1090/tran/9126","DOIUrl":null,"url":null,"abstract":"<p>We prove that a Finsler spacetime endowed with a smooth reference measure whose induced weighted Ricci curvature <inline-formula content-type=\"math/mathml\"> <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"normal upper R normal i normal c Subscript upper N\"> <mml:semantics> <mml:msub> <mml:mrow> <mml:mi mathvariant=\"normal\">R</mml:mi> <mml:mi mathvariant=\"normal\">i</mml:mi> <mml:mi mathvariant=\"normal\">c</mml:mi> </mml:mrow> <mml:mi>N</mml:mi> </mml:msub> <mml:annotation encoding=\"application/x-tex\">\\mathrm {Ric}_N</mml:annotation> </mml:semantics> </mml:math> </inline-formula> is bounded from below by a real number <inline-formula content-type=\"math/mathml\"> <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"upper K\"> <mml:semantics> <mml:mi>K</mml:mi> <mml:annotation encoding=\"application/x-tex\">K</mml:annotation> </mml:semantics> </mml:math> </inline-formula> in every timelike direction satisfies the timelike curvature-dimension condition <inline-formula content-type=\"math/mathml\"> <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"normal upper T normal upper C normal upper D Subscript q Baseline left-parenthesis upper K comma upper N right-parenthesis\"> <mml:semantics> <mml:mrow> <mml:msub> <mml:mrow> <mml:mi mathvariant=\"normal\">T</mml:mi> <mml:mi mathvariant=\"normal\">C</mml:mi> <mml:mi mathvariant=\"normal\">D</mml:mi> </mml:mrow> <mml:mi>q</mml:mi> </mml:msub> <mml:mo stretchy=\"false\">(</mml:mo> <mml:mi>K</mml:mi> <mml:mo>,</mml:mo> <mml:mi>N</mml:mi> <mml:mo stretchy=\"false\">)</mml:mo> </mml:mrow> <mml:annotation encoding=\"application/x-tex\">\\mathrm {TCD}_q(K,N)</mml:annotation> </mml:semantics> </mml:math> </inline-formula> for all <inline-formula content-type=\"math/mathml\"> <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"q element-of left-parenthesis 0 comma 1 right-parenthesis\"> <mml:semantics> <mml:mrow> <mml:mi>q</mml:mi> <mml:mo>∈<!-- ∈ --></mml:mo> <mml:mo stretchy=\"false\">(</mml:mo> <mml:mn>0</mml:mn> <mml:mo>,</mml:mo> <mml:mn>1</mml:mn> <mml:mo stretchy=\"false\">)</mml:mo> </mml:mrow> <mml:annotation encoding=\"application/x-tex\">q\\in (0,1)</mml:annotation> </mml:semantics> </mml:math> </inline-formula>. The converse and a nonpositive-dimensional version (<inline-formula content-type=\"math/mathml\"> <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"upper N less-than-or-equal-to 0\"> <mml:semantics> <mml:mrow> <mml:mi>N</mml:mi> <mml:mo>≤<!-- ≤ --></mml:mo> <mml:mn>0</mml:mn> </mml:mrow> <mml:annotation encoding=\"application/x-tex\">N \\le 0</mml:annotation> </mml:semantics> </mml:math> </inline-formula>) of this result are also shown. Our discussion is based on the solvability of the Monge problem with respect to the <inline-formula content-type=\"math/mathml\"> <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"q\"> <mml:semantics> <mml:mi>q</mml:mi> <mml:annotation encoding=\"application/x-tex\">q</mml:annotation> </mml:semantics> </mml:math> </inline-formula>-Lorentz–Wasserstein distance as well as the characterization of <inline-formula content-type=\"math/mathml\"> <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"q\"> <mml:semantics> <mml:mi>q</mml:mi> <mml:annotation encoding=\"application/x-tex\">q</mml:annotation> </mml:semantics> </mml:math> </inline-formula>-geodesics of probability measures. One consequence of our work is the sharp timelike Brunn–Minkowski inequality in the Lorentz–Finsler case.</p>","PeriodicalId":1,"journal":{"name":"Accounts of Chemical Research","volume":null,"pages":null},"PeriodicalIF":16.4000,"publicationDate":"2024-02-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Optimal transport and timelike lower Ricci curvature bounds on Finsler spacetimes\",\"authors\":\"Mathias Braun, Shin-ichi Ohta\",\"doi\":\"10.1090/tran/9126\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"<p>We prove that a Finsler spacetime endowed with a smooth reference measure whose induced weighted Ricci curvature <inline-formula content-type=\\\"math/mathml\\\"> <mml:math xmlns:mml=\\\"http://www.w3.org/1998/Math/MathML\\\" alttext=\\\"normal upper R normal i normal c Subscript upper N\\\"> <mml:semantics> <mml:msub> <mml:mrow> <mml:mi mathvariant=\\\"normal\\\">R</mml:mi> <mml:mi mathvariant=\\\"normal\\\">i</mml:mi> <mml:mi mathvariant=\\\"normal\\\">c</mml:mi> </mml:mrow> <mml:mi>N</mml:mi> </mml:msub> <mml:annotation encoding=\\\"application/x-tex\\\">\\\\mathrm {Ric}_N</mml:annotation> </mml:semantics> </mml:math> </inline-formula> is bounded from below by a real number <inline-formula content-type=\\\"math/mathml\\\"> <mml:math xmlns:mml=\\\"http://www.w3.org/1998/Math/MathML\\\" alttext=\\\"upper K\\\"> <mml:semantics> <mml:mi>K</mml:mi> <mml:annotation encoding=\\\"application/x-tex\\\">K</mml:annotation> </mml:semantics> </mml:math> </inline-formula> in every timelike direction satisfies the timelike curvature-dimension condition <inline-formula content-type=\\\"math/mathml\\\"> <mml:math xmlns:mml=\\\"http://www.w3.org/1998/Math/MathML\\\" alttext=\\\"normal upper T normal upper C normal upper D Subscript q Baseline left-parenthesis upper K comma upper N right-parenthesis\\\"> <mml:semantics> <mml:mrow> <mml:msub> <mml:mrow> <mml:mi mathvariant=\\\"normal\\\">T</mml:mi> <mml:mi mathvariant=\\\"normal\\\">C</mml:mi> <mml:mi mathvariant=\\\"normal\\\">D</mml:mi> </mml:mrow> <mml:mi>q</mml:mi> </mml:msub> <mml:mo stretchy=\\\"false\\\">(</mml:mo> <mml:mi>K</mml:mi> <mml:mo>,</mml:mo> <mml:mi>N</mml:mi> <mml:mo stretchy=\\\"false\\\">)</mml:mo> </mml:mrow> <mml:annotation encoding=\\\"application/x-tex\\\">\\\\mathrm {TCD}_q(K,N)</mml:annotation> </mml:semantics> </mml:math> </inline-formula> for all <inline-formula content-type=\\\"math/mathml\\\"> <mml:math xmlns:mml=\\\"http://www.w3.org/1998/Math/MathML\\\" alttext=\\\"q element-of left-parenthesis 0 comma 1 right-parenthesis\\\"> <mml:semantics> <mml:mrow> <mml:mi>q</mml:mi> <mml:mo>∈<!-- ∈ --></mml:mo> <mml:mo stretchy=\\\"false\\\">(</mml:mo> <mml:mn>0</mml:mn> <mml:mo>,</mml:mo> <mml:mn>1</mml:mn> <mml:mo stretchy=\\\"false\\\">)</mml:mo> </mml:mrow> <mml:annotation encoding=\\\"application/x-tex\\\">q\\\\in (0,1)</mml:annotation> </mml:semantics> </mml:math> </inline-formula>. The converse and a nonpositive-dimensional version (<inline-formula content-type=\\\"math/mathml\\\"> <mml:math xmlns:mml=\\\"http://www.w3.org/1998/Math/MathML\\\" alttext=\\\"upper N less-than-or-equal-to 0\\\"> <mml:semantics> <mml:mrow> <mml:mi>N</mml:mi> <mml:mo>≤<!-- ≤ --></mml:mo> <mml:mn>0</mml:mn> </mml:mrow> <mml:annotation encoding=\\\"application/x-tex\\\">N \\\\le 0</mml:annotation> </mml:semantics> </mml:math> </inline-formula>) of this result are also shown. Our discussion is based on the solvability of the Monge problem with respect to the <inline-formula content-type=\\\"math/mathml\\\"> <mml:math xmlns:mml=\\\"http://www.w3.org/1998/Math/MathML\\\" alttext=\\\"q\\\"> <mml:semantics> <mml:mi>q</mml:mi> <mml:annotation encoding=\\\"application/x-tex\\\">q</mml:annotation> </mml:semantics> </mml:math> </inline-formula>-Lorentz–Wasserstein distance as well as the characterization of <inline-formula content-type=\\\"math/mathml\\\"> <mml:math xmlns:mml=\\\"http://www.w3.org/1998/Math/MathML\\\" alttext=\\\"q\\\"> <mml:semantics> <mml:mi>q</mml:mi> <mml:annotation encoding=\\\"application/x-tex\\\">q</mml:annotation> </mml:semantics> </mml:math> </inline-formula>-geodesics of probability measures. One consequence of our work is the sharp timelike Brunn–Minkowski inequality in the Lorentz–Finsler case.</p>\",\"PeriodicalId\":1,\"journal\":{\"name\":\"Accounts of Chemical Research\",\"volume\":null,\"pages\":null},\"PeriodicalIF\":16.4000,\"publicationDate\":\"2024-02-26\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Accounts of Chemical Research\",\"FirstCategoryId\":\"100\",\"ListUrlMain\":\"https://doi.org/10.1090/tran/9126\",\"RegionNum\":1,\"RegionCategory\":\"化学\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q1\",\"JCRName\":\"CHEMISTRY, MULTIDISCIPLINARY\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Accounts of Chemical Research","FirstCategoryId":"100","ListUrlMain":"https://doi.org/10.1090/tran/9126","RegionNum":1,"RegionCategory":"化学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q1","JCRName":"CHEMISTRY, MULTIDISCIPLINARY","Score":null,"Total":0}
引用次数: 0
摘要
我们证明了一个赋有光滑参考量度的芬斯勒时空,其诱导加权里奇曲率 R i c N \mathrm {Ric}_N 在每个时间方向上自下而上被实数 K K 限定,满足所有 q∈ ( 0 , 1 ) q\in (0,1) 的时间曲率维度条件 T C D q ( K , N ) \mathrm {TCD}_q(K,N) 。这个结果的反面和非正维版本 ( N ≤ 0 N \le 0 ) 也被展示出来。我们的讨论基于 Monge 问题关于 q q -Lorentz-Wasserstein 距离的可解性以及概率测度的 q q -geodesics 的特征。我们工作的一个结果是洛伦兹-芬斯勒情况下的尖锐时间状布伦-闵科夫斯基不等式。
Optimal transport and timelike lower Ricci curvature bounds on Finsler spacetimes
We prove that a Finsler spacetime endowed with a smooth reference measure whose induced weighted Ricci curvature RicN\mathrm {Ric}_N is bounded from below by a real number KK in every timelike direction satisfies the timelike curvature-dimension condition TCDq(K,N)\mathrm {TCD}_q(K,N) for all q∈(0,1)q\in (0,1). The converse and a nonpositive-dimensional version (N≤0N \le 0) of this result are also shown. Our discussion is based on the solvability of the Monge problem with respect to the qq-Lorentz–Wasserstein distance as well as the characterization of qq-geodesics of probability measures. One consequence of our work is the sharp timelike Brunn–Minkowski inequality in the Lorentz–Finsler case.
期刊介绍:
Accounts of Chemical Research presents short, concise and critical articles offering easy-to-read overviews of basic research and applications in all areas of chemistry and biochemistry. These short reviews focus on research from the author’s own laboratory and are designed to teach the reader about a research project. In addition, Accounts of Chemical Research publishes commentaries that give an informed opinion on a current research problem. Special Issues online are devoted to a single topic of unusual activity and significance.
Accounts of Chemical Research replaces the traditional article abstract with an article "Conspectus." These entries synopsize the research affording the reader a closer look at the content and significance of an article. Through this provision of a more detailed description of the article contents, the Conspectus enhances the article's discoverability by search engines and the exposure for the research.