Harald Grosse , Alexander Hock , Raimar Wulkenhaar
{"title":"Solution of all quartic matrix models","authors":"Harald Grosse , Alexander Hock , Raimar Wulkenhaar","doi":"10.1016/j.aim.2025.110551","DOIUrl":null,"url":null,"abstract":"<div><div>We consider the quartic analogue of the Kontsevich model, which is defined by a measure <span><math><mi>exp</mi><mo></mo><mo>(</mo><mo>−</mo><mi>N</mi><mspace></mspace><mrow><mi>Tr</mi></mrow><mo>(</mo><mi>E</mi><msup><mrow><mi>Φ</mi></mrow><mrow><mn>2</mn></mrow></msup><mo>+</mo><mo>(</mo><mi>λ</mi><mo>/</mo><mn>4</mn><mo>)</mo><msup><mrow><mi>Φ</mi></mrow><mrow><mn>4</mn></mrow></msup><mo>)</mo><mo>)</mo><mi>d</mi><mi>Φ</mi></math></span> on Hermitian <span><math><mi>N</mi><mo>×</mo><mi>N</mi></math></span>-matrices, where <em>E</em> is any positive matrix and <em>λ</em> a scalar. It was previously established that the large-<em>N</em> limit of the second moment (the planar two-point function) satisfies a non-linear integral equation. By employing tools from complex analysis, in particular the Lagrange-Bürmann inversion formula, we identify the exact solution of this non-linear problem, both for finite <em>N</em> and for a large-<em>N</em> limit to unbounded operators <em>E</em> of spectral dimension ≤4. For finite <em>N</em>, the two-point function is a rational function evaluated at the preimages of another rational function <em>R</em> constructed from the spectrum of <em>E</em>. Subsequent work has constructed from this formula a family <span><math><msub><mrow><mi>ω</mi></mrow><mrow><mi>g</mi><mo>,</mo><mi>n</mi></mrow></msub></math></span> of meromorphic differentials which obey blobbed topological recursion. For unbounded operators <em>E</em>, the renormalised two-point function is given by an integral formula involving a regularisation of <em>R</em>. This allowed a proof, in subsequent work, that the <span><math><mi>λ</mi><msubsup><mrow><mi>Φ</mi></mrow><mrow><mn>4</mn></mrow><mrow><mn>4</mn></mrow></msubsup></math></span>-model on noncommutative Moyal space does not have a triviality problem.</div></div>","PeriodicalId":50860,"journal":{"name":"Advances in Mathematics","volume":"481 ","pages":"Article 110551"},"PeriodicalIF":1.5000,"publicationDate":"2025-09-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Advances in Mathematics","FirstCategoryId":"100","ListUrlMain":"https://www.sciencedirect.com/science/article/pii/S0001870825004499","RegionNum":1,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q1","JCRName":"MATHEMATICS","Score":null,"Total":0}
引用次数: 0
Abstract
We consider the quartic analogue of the Kontsevich model, which is defined by a measure on Hermitian -matrices, where E is any positive matrix and λ a scalar. It was previously established that the large-N limit of the second moment (the planar two-point function) satisfies a non-linear integral equation. By employing tools from complex analysis, in particular the Lagrange-Bürmann inversion formula, we identify the exact solution of this non-linear problem, both for finite N and for a large-N limit to unbounded operators E of spectral dimension ≤4. For finite N, the two-point function is a rational function evaluated at the preimages of another rational function R constructed from the spectrum of E. Subsequent work has constructed from this formula a family of meromorphic differentials which obey blobbed topological recursion. For unbounded operators E, the renormalised two-point function is given by an integral formula involving a regularisation of R. This allowed a proof, in subsequent work, that the -model on noncommutative Moyal space does not have a triviality problem.
期刊介绍:
Emphasizing contributions that represent significant advances in all areas of pure mathematics, Advances in Mathematics provides research mathematicians with an effective medium for communicating important recent developments in their areas of specialization to colleagues and to scientists in related disciplines.