{"title":"Log-Sobolev inequality for the \n \n \n φ\n 2\n 4\n \n $\\varphi ^4_2$\n and \n \n \n φ\n 3\n 4\n \n $\\varphi ^4_3$\n measures","authors":"Roland Bauerschmidt, Benoit Dagallier","doi":"10.1002/cpa.22173","DOIUrl":null,"url":null,"abstract":"<p>The continuum <math>\n <semantics>\n <msubsup>\n <mi>φ</mi>\n <mn>2</mn>\n <mn>4</mn>\n </msubsup>\n <annotation>$\\varphi ^4_2$</annotation>\n </semantics></math> and <math>\n <semantics>\n <msubsup>\n <mi>φ</mi>\n <mn>3</mn>\n <mn>4</mn>\n </msubsup>\n <annotation>$\\varphi ^4_3$</annotation>\n </semantics></math> measures are shown to satisfy a log-Sobolev inequality uniformly in the lattice regularisation under the optimal assumption that their susceptibility is bounded. In particular, this applies to all coupling constants in any finite volume, and uniformly in the volume in the entire high temperature phases of the <math>\n <semantics>\n <msubsup>\n <mi>φ</mi>\n <mn>2</mn>\n <mn>4</mn>\n </msubsup>\n <annotation>$\\varphi ^4_2$</annotation>\n </semantics></math> and <math>\n <semantics>\n <msubsup>\n <mi>φ</mi>\n <mn>3</mn>\n <mn>4</mn>\n </msubsup>\n <annotation>$\\varphi ^4_3$</annotation>\n </semantics></math> models.</p><p>The proof uses a general criterion for the log-Sobolev inequality in terms of the Polchinski (renormalisation group) equation, a recently proved remarkable correlation inequality for Ising models with general external fields, the Perron–Frobenius theorem, and bounds on the susceptibilities of the <math>\n <semantics>\n <msubsup>\n <mi>φ</mi>\n <mn>2</mn>\n <mn>4</mn>\n </msubsup>\n <annotation>$\\varphi ^4_2$</annotation>\n </semantics></math> and <math>\n <semantics>\n <msubsup>\n <mi>φ</mi>\n <mn>3</mn>\n <mn>4</mn>\n </msubsup>\n <annotation>$\\varphi ^4_3$</annotation>\n </semantics></math> measures obtained using skeleton inequalities.</p>","PeriodicalId":10601,"journal":{"name":"Communications on Pure and Applied Mathematics","volume":"77 5","pages":"2579-2612"},"PeriodicalIF":3.1000,"publicationDate":"2023-10-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://onlinelibrary.wiley.com/doi/epdf/10.1002/cpa.22173","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Communications on Pure and Applied Mathematics","FirstCategoryId":"100","ListUrlMain":"https://onlinelibrary.wiley.com/doi/10.1002/cpa.22173","RegionNum":1,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q1","JCRName":"MATHEMATICS","Score":null,"Total":0}
引用次数: 0
Abstract
The continuum and measures are shown to satisfy a log-Sobolev inequality uniformly in the lattice regularisation under the optimal assumption that their susceptibility is bounded. In particular, this applies to all coupling constants in any finite volume, and uniformly in the volume in the entire high temperature phases of the and models.
The proof uses a general criterion for the log-Sobolev inequality in terms of the Polchinski (renormalisation group) equation, a recently proved remarkable correlation inequality for Ising models with general external fields, the Perron–Frobenius theorem, and bounds on the susceptibilities of the and measures obtained using skeleton inequalities.