Matthew Jenssen, Alexandru Malekshahian, Jinyoung Park
{"title":"On Dedekind's problem, a sparse version of Sperner's theorem, and antichains of a given size in the Boolean lattice","authors":"Matthew Jenssen, Alexandru Malekshahian, Jinyoung Park","doi":"10.1112/jlms.70624","DOIUrl":"https://doi.org/10.1112/jlms.70624","url":null,"abstract":"<p>Dedekind's problem, dating back to 1897, asks for the total number <span></span><math>\u0000 <semantics>\u0000 <mrow>\u0000 <mi>ψ</mi>\u0000 <mo>(</mo>\u0000 <mi>n</mi>\u0000 <mo>)</mo>\u0000 </mrow>\u0000 <annotation>$psi (n)$</annotation>\u0000 </semantics></math> of antichains contained in the Boolean lattice <span></span><math>\u0000 <semantics>\u0000 <msub>\u0000 <mi>B</mi>\u0000 <mi>n</mi>\u0000 </msub>\u0000 <annotation>$B_n$</annotation>\u0000 </semantics></math> on <span></span><math>\u0000 <semantics>\u0000 <mi>n</mi>\u0000 <annotation>$n$</annotation>\u0000 </semantics></math> elements. We study Dedekind's problem using a recently developed method based on the cluster expansion from statistical physics, and as a result, obtain several new results on the number and typical structure of antichains in <span></span><math>\u0000 <semantics>\u0000 <msub>\u0000 <mi>B</mi>\u0000 <mi>n</mi>\u0000 </msub>\u0000 <annotation>$B_n$</annotation>\u0000 </semantics></math>. We obtain detailed estimates for both <span></span><math>\u0000 <semantics>\u0000 <mrow>\u0000 <mi>ψ</mi>\u0000 <mo>(</mo>\u0000 <mi>n</mi>\u0000 <mo>)</mo>\u0000 </mrow>\u0000 <annotation>$psi (n)$</annotation>\u0000 </semantics></math> and the number of antichains of size <span></span><math>\u0000 <semantics>\u0000 <mrow>\u0000 <mi>β</mi>\u0000 <mfenced>\u0000 <mfrac>\u0000 <mi>n</mi>\u0000 <mrow>\u0000 <mo>⌊</mo>\u0000 <mi>n</mi>\u0000 <mo>/</mo>\u0000 <mn>2</mn>\u0000 <mo>⌋</mo>\u0000 </mrow>\u0000 </mfrac>\u0000 </mfenced>\u0000 </mrow>\u0000 <annotation>$beta binom{n}{lfloor n/2 rfloor }$</annotation>\u0000 </semantics></math> for any fixed <span></span><math>\u0000 <semantics>\u0000 <mrow>\u0000 <mi>β</mi>\u0000 <mo>></mo>\u0000 <mn>0</mn>\u0000 </mrow>\u0000 <annotation>$beta >0$</annotation>\u0000 </semantics></math>. We also establish a sparse version of Sperner's theorem: we determine the sharp threshold and scaling window for the property that almost every antichain of size <span></span><math>\u0000 <semantics>\u0000 <mi>m</mi>\u0000 <annotation>$m$</annotation>\u0000 </semantics><","PeriodicalId":49989,"journal":{"name":"Journal of the London Mathematical Society-Second Series","volume":"114 1","pages":""},"PeriodicalIF":1.4,"publicationDate":"2026-07-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://onlinelibrary.wiley.com/doi/epdf/10.1112/jlms.70624","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"148462892","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Wall–chamber decompositions for generalised Monge–Ampère equations","authors":"Sohaib Khalid, Zakarias Sjöström Dyrefelt","doi":"10.1112/jlms.70616","DOIUrl":"https://doi.org/10.1112/jlms.70616","url":null,"abstract":"<p>Generalised Monge–Ampère (gMA) equations form a large class of PDE including Donaldson's J-equation, inverse Hessian equations, some supercritical deformed Hermitian–Yang–Mills (dHYM) equations and some Z-critical equations. Solvability of these equations is characterised by numerical criteria involving intersection numbers over all subvarieties, and in this paper, we aim to characterise algebraically what happens when these non-linear Nakai–Moishezon type criteria fail. As a main result, we show that under mild positivity assumptions, there is a finite number of subvarieties violating the Nakai-Moishezon type criterion, and such subvarieties are rigid in a suitable sense. This gives the first effective solvability criteria for these families of PDE, thus improving on work of Chen, Datar–Pingali, Song and Fang–Ma, and provides the first existence results in higher dimensions of a natural PDE analogue of Bridgeland's locally finite wall–chamber decomposition.</p>","PeriodicalId":49989,"journal":{"name":"Journal of the London Mathematical Society-Second Series","volume":"114 1","pages":""},"PeriodicalIF":1.4,"publicationDate":"2026-07-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://onlinelibrary.wiley.com/doi/epdf/10.1112/jlms.70616","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"148386704","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"An elegant model of the geodesic flow on the modular surface","authors":"Pierre Arnoux, Thomas A. Schmidt","doi":"10.1112/jlms.70588","DOIUrl":"https://doi.org/10.1112/jlms.70588","url":null,"abstract":"<p>Caroline Series' [<i>The modular surface and continued fractions</i>, J. Lond. Math. Soc. (2), <b>31</b>, no. 1, (1985), 69–80] gives a clear framework linking, in a deceptively simple way, the dynamics of the geodesic flow on the modular surface with the dynamics of the regular continued fraction, through a well-chosen symbolic coding. It has been called <i>required reading</i> for those interested in the symbolic dynamics of geodesic flows, and has had consequences in symbolic dynamics, ergodic theory, hyperbolic geometry, and continued fraction theory. In this overview, we give an indication of why this is so, sketch some of the history related to the paper, and also point to some later works.</p>","PeriodicalId":49989,"journal":{"name":"Journal of the London Mathematical Society-Second Series","volume":"114 1","pages":""},"PeriodicalIF":1.4,"publicationDate":"2026-07-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://onlinelibrary.wiley.com/doi/epdf/10.1112/jlms.70588","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"148386703","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Collapse in noncommutative geometry and spectral continuity","authors":"Carla Farsi, Frédéric Latrémolière","doi":"10.1112/jlms.70628","DOIUrl":"https://doi.org/10.1112/jlms.70628","url":null,"abstract":"<p>In the classical realm of Riemannian geometry, informally, if two manifolds are close in the Gromov–Hausdorff distance, and belong to a class of closed manifolds with bounded curvature and diameter, then the spectra of their Laplacian or Dirac operators are also close under many scenarii. Of particular interest is the case where a sequence of manifolds converges for the Gromov–Hausdorff distance to a manifold of lower dimension, that is, <i>collapses</i> to the limit. The question then arises of the continuity, in some sense, of the geometrically relevant operators and their spectra. This has been investigated at length in many classical papers. In the more general context of noncommutative geometry, the notion of convergence with respect to the variation of certain metric structures plays a very important role, as it allows the approximation of spaces and algebras over Hilbert spaces by simpler ones (e.g., finite-dimensional and/or matricial). So, if two quantum compact metric spaces are close in the metric sense, then how similar are they, as noncommutative spaces? In this paper, we initiate the study of the continuity of spectra and other properties of metric spectral triples on noncommutative <span></span><math>\u0000 <semantics>\u0000 <mi>G</mi>\u0000 <annotation>$G$</annotation>\u0000 </semantics></math>-bundles, for <span></span><math>\u0000 <semantics>\u0000 <mi>G</mi>\u0000 <annotation>$G$</annotation>\u0000 </semantics></math> compact Lie, under collapse in the “vertical” direction. As a first step in this study, we work with the <i>spectral propinquity</i>, an analog of the Gromov–Hausdorff distance for metric spectral triples introduced by the second author. The spectral propinquity is a form of metric for differential structures. Inspired by results from collapse in Riemannian geometry, we study spectral triples that decompose, in some sense, in a vertical and a horizontal direction; they can be shown to be special Kasparov products. We perturb the (metric in the) vertical component by a parameter <span></span><math>\u0000 <semantics>\u0000 <mi>ε</mi>\u0000 <annotation>$varepsilon$</annotation>\u0000 </semantics></math>, and then we take the limit for <span></span><math>\u0000 <semantics>\u0000 <mi>ε</mi>\u0000 <annotation>$varepsilon$</annotation>\u0000 </semantics></math> approaching zero, thus obtaining a metric spectral triples convergence results. As a consequence, by the work of the second author, we also derive continuity results for the spectra of the Dirac operators of these spectral triples. Examples of applications of our work include collapse of products of spectral triples with one Abelian factor, spectral triples associated to principal <span></span><math>\u0000 <semantics>\u0000 <mrow>\u0000 <mi>U</mi>\u0000 <mo>(</mo>\u0000 <mn>1</mn>\u0000 ","PeriodicalId":49989,"journal":{"name":"Journal of the London Mathematical Society-Second Series","volume":"114 1","pages":""},"PeriodicalIF":1.4,"publicationDate":"2026-07-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"148386657","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}