{"title":"Undecidability of the Spectral Gap","authors":"Toby Cubitt, David Perez-Garcia, Michael M. Wolf","doi":"10.1017/fmp.2021.15","DOIUrl":"https://doi.org/10.1017/fmp.2021.15","url":null,"abstract":"<p>We construct families of translationally invariant, nearest-neighbour Hamiltonians on a 2D square lattice of <span>d</span>-level quantum systems (<span>d</span> constant), for which determining whether the system is gapped or gapless is an undecidable problem. This is true even with the promise that each Hamiltonian is either gapped or gapless in the strongest sense: it is promised to either have continuous spectrum above the ground state in the thermodynamic limit, or its spectral gap is lower-bounded by a constant. Moreover, this constant can be taken equal to the operator norm of the local operator that generates the Hamiltonian (the local interaction strength). The result still holds true if one restricts to arbitrarily small quantum perturbations of classical Hamiltonians. The proof combines a robustness analysis of Robinson’s aperiodic tiling, together with tools from quantum information theory: the quantum phase estimation algorithm and the history state technique mapping Quantum Turing Machines to Hamiltonians.</p>","PeriodicalId":56024,"journal":{"name":"Forum of Mathematics Pi","volume":"58 1","pages":""},"PeriodicalIF":2.3,"publicationDate":"2022-06-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"138542763","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Homoclinic orbits, multiplier spectrum and rigidity theorems in complex dynamics","authors":"Zhuchao Ji, Junyi Xie","doi":"10.1017/fmp.2023.12","DOIUrl":"https://doi.org/10.1017/fmp.2023.12","url":null,"abstract":"Abstract The aims of this paper are to answer several conjectures and questions about the multiplier spectrum of rational maps and giving new proofs of several rigidity theorems in complex dynamics by combining tools from complex and non-Archimedean dynamics. A remarkable theorem due to McMullen asserts that, aside from the flexible Lattès family, the multiplier spectrum of periodic points determines the conjugacy class of rational maps up to finitely many choices. The proof relies on Thurston’s rigidity theorem for post-critically finite maps, in which Teichmüller theory is an essential tool. We will give a new proof of McMullen’s theorem (and therefore a new proof of Thurston’s theorem) without using quasiconformal maps or Teichmüller theory. We show that, aside from the flexible Lattès family, the length spectrum of periodic points determines the conjugacy class of rational maps up to finitely many choices. This generalizes the aforementioned McMullen’s theorem. We will also prove a rigidity theorem for marked length spectrum. Similar ideas also yield a simple proof of a rigidity theorem due to Zdunik. We show that a rational map is exceptional if and only if one of the following holds: (i) the multipliers of periodic points are contained in the integer ring of an imaginary quadratic field, and (ii) all but finitely many periodic points have the same Lyapunov exponent. This solves two conjectures of Milnor.","PeriodicalId":56024,"journal":{"name":"Forum of Mathematics Pi","volume":" ","pages":""},"PeriodicalIF":2.3,"publicationDate":"2022-05-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"47450677","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Resolution of the Erdős–Sauer problem on regular subgraphs","authors":"Oliver Janzer, B. Sudakov","doi":"10.1017/fmp.2023.19","DOIUrl":"https://doi.org/10.1017/fmp.2023.19","url":null,"abstract":"Abstract In this paper, we completely resolve the well-known problem of Erdős and Sauer from 1975 which asks for the maximum number of edges an n-vertex graph can have without containing a k-regular subgraph, for some fixed integer \u0000$kgeq 3$\u0000 . We prove that any n-vertex graph with average degree at least \u0000$C_klog log n$\u0000 contains a k-regular subgraph. This matches the lower bound of Pyber, Rödl and Szemerédi and substantially improves an old result of Pyber, who showed that average degree at least \u0000$C_klog n$\u0000 is enough. Our method can also be used to settle asymptotically a problem raised by Erdős and Simonovits in 1970 on almost regular subgraphs of sparse graphs and to make progress on the well-known question of Thomassen from 1983 on finding subgraphs with large girth and large average degree.","PeriodicalId":56024,"journal":{"name":"Forum of Mathematics Pi","volume":" ","pages":""},"PeriodicalIF":2.3,"publicationDate":"2022-04-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"41991669","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Factorisation de la cohomologie étale p-adique de la tour de Drinfeld","authors":"P. Colmez, Gabriel Dospinescu, Wiesława Nizioł","doi":"10.1017/fmp.2023.15","DOIUrl":"https://doi.org/10.1017/fmp.2023.15","url":null,"abstract":"Résumé For a finite extension F of \u0000${mathbf Q}_p$\u0000 , Drinfeld defined a tower of coverings of (the Drinfeld half-plane). For \u0000$F = {mathbf Q}_p$\u0000 , we describe a decomposition of the p-adic geometric étale cohomology of this tower analogous to Emerton’s decomposition of completed cohomology of the tower of modular curves. A crucial ingredient is a finiteness theorem for the arithmetic étale cohomology modulo p whose proof uses Scholze’s functor, global ingredients, and a computation of nearby cycles which makes it possible to prove that this cohomology has finite presentation. This last result holds for all F; for \u0000$Fneq {mathbf Q}_p$\u0000 , it implies that the representations of \u0000$mathrm{GL}_2(F)$\u0000 obtained from the cohomology of the Drinfeld tower are not admissible contrary to the case \u0000$F = {mathbf Q}_p$\u0000 .","PeriodicalId":56024,"journal":{"name":"Forum of Mathematics Pi","volume":" ","pages":""},"PeriodicalIF":2.3,"publicationDate":"2022-04-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"47833157","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Chow groups and L-derivatives of automorphic motives for unitary groups, II.","authors":"Chao Li, Yifeng Liu","doi":"10.1017/fmp.2022.2","DOIUrl":"https://doi.org/10.1017/fmp.2022.2","url":null,"abstract":"Abstract In this article, we improve our main results from [LL21] in two directions: First, we allow ramified places in the CM extension $E/F$ at which we consider representations that are spherical with respect to a certain special maximal compact subgroup, by formulating and proving an analogue of the Kudla–Rapoport conjecture for exotic smooth Rapoport–Zink spaces. Second, we lift the restriction on the components at split places of the automorphic representation, by proving a more general vanishing result on certain cohomology of integral models of unitary Shimura varieties with Drinfeld level structures.","PeriodicalId":56024,"journal":{"name":"Forum of Mathematics Pi","volume":" ","pages":""},"PeriodicalIF":2.3,"publicationDate":"2022-03-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"46155148","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Syntomic complexes and p-adic étale Tate twists","authors":"B. Bhatt, A. Mathew","doi":"10.1017/fmp.2022.21","DOIUrl":"https://doi.org/10.1017/fmp.2022.21","url":null,"abstract":"Abstract The primary goal of this paper is to identify syntomic complexes with the p-adic étale Tate twists of Geisser–Sato–Schneider on regular p-torsion-free schemes. Our methods apply naturally to a broader class of schemes that we call ‘F-smooth’. The F-smoothness of regular schemes leads to new results on the absolute prismatic cohomology of regular schemes.","PeriodicalId":56024,"journal":{"name":"Forum of Mathematics Pi","volume":" ","pages":""},"PeriodicalIF":2.3,"publicationDate":"2022-02-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"48943500","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"A proof of the Erdős primitive set conjecture","authors":"J. Lichtman","doi":"10.1017/fmp.2023.16","DOIUrl":"https://doi.org/10.1017/fmp.2023.16","url":null,"abstract":"Abstract A set of integers greater than 1 is primitive if no member in the set divides another. Erdős proved in 1935 that the series \u0000$f(A) = sum _{ain A}1/(a log a)$\u0000 is uniformly bounded over all choices of primitive sets A. In 1986, he asked if this bound is attained for the set of prime numbers. In this article, we answer in the affirmative. As further applications of the method, we make progress towards a question of Erdős, Sárközy and Szemerédi from 1968. We also refine the classical Davenport–Erdős theorem on infinite divisibility chains, and extend a result of Erdős, Sárközy and Szemerédi from 1966.","PeriodicalId":56024,"journal":{"name":"Forum of Mathematics Pi","volume":" ","pages":""},"PeriodicalIF":2.3,"publicationDate":"2022-02-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"48390439","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"The support of singular stochastic partial differential equations","authors":"Martin Hairer, P. Schönbauer","doi":"10.1017/fmp.2021.18","DOIUrl":"https://doi.org/10.1017/fmp.2021.18","url":null,"abstract":"Abstract We obtain a generalisation of the Stroock–Varadhan support theorem for a large class of systems of subcritical singular stochastic partial differential equations driven by a noise that is either white or approximately self-similar. The main problem that we face is the presence of renormalisation. In particular, it may happen in general that different renormalisation procedures yield solutions with different supports. One of the main steps in our construction is the identification of a subgroup \u0000$mathcal {H}$\u0000 of the renormalisation group such that any renormalisation procedure determines a unique coset \u0000$gcirc mathcal {H}$\u0000 . The support of the solution then depends only on this coset and is obtained by taking the closure of all solutions obtained by replacing the driving noises by smooth functions in the equation that is renormalised by some element of \u0000$gcirc mathcal {H}$\u0000 . One immediate corollary of our results is that the \u0000$Phi ^4_3$\u0000 measure in finite volume has full support, and the associated Langevin dynamic is exponentially ergodic.","PeriodicalId":56024,"journal":{"name":"Forum of Mathematics Pi","volume":" ","pages":""},"PeriodicalIF":2.3,"publicationDate":"2022-01-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"42820281","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Corrigendum to ‘Endoscopy for Hecke categories, character sheaves and representations’","authors":"G. Lusztig, Zhiwei Yun","doi":"10.1017/fmp.2021.14","DOIUrl":"https://doi.org/10.1017/fmp.2021.14","url":null,"abstract":"Abstract We fix an error on a \u0000$3$\u0000 -cocycle in the original version of the paper ‘Endoscopy for Hecke categories, character sheaves and representations’. We give the corrected statements of the main results.","PeriodicalId":56024,"journal":{"name":"Forum of Mathematics Pi","volume":" ","pages":""},"PeriodicalIF":2.3,"publicationDate":"2021-11-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"43080023","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Equitable colourings of Borel graphs","authors":"Anton Bernshteyn, Clinton T. Conley","doi":"10.1017/fmp.2021.12","DOIUrl":"https://doi.org/10.1017/fmp.2021.12","url":null,"abstract":"Abstract Hajnal and Szemerédi proved that if G is a finite graph with maximum degree \u0000$Delta $\u0000 , then for every integer \u0000$k geq Delta +1$\u0000 , G has a proper colouring with k colours in which every two colour classes differ in size at most by \u0000$1$\u0000 ; such colourings are called equitable. We obtain an analogue of this result for infinite graphs in the Borel setting. Specifically, we show that if G is an aperiodic Borel graph of finite maximum degree \u0000$Delta $\u0000 , then for each \u0000$k geq Delta + 1$\u0000 , G has a Borel proper k-colouring in which every two colour classes are related by an element of the Borel full semigroup of G. In particular, such colourings are equitable with respect to every G-invariant probability measure. We also establish a measurable version of a result of Kostochka and Nakprasit on equitable \u0000$Delta $\u0000 -colourings of graphs with small average degree. Namely, we prove that if \u0000$Delta geq 3$\u0000 , G does not contain a clique on \u0000$Delta + 1$\u0000 vertices and \u0000$mu $\u0000 is an atomless G-invariant probability measure such that the average degree of G with respect to \u0000$mu $\u0000 is at most \u0000$Delta /5$\u0000 , then G has a \u0000$mu $\u0000 -equitable \u0000$Delta $\u0000 -colouring. As steps toward the proof of this result, we establish measurable and list-colouring extensions of a strengthening of Brooks’ theorem due to Kostochka and Nakprasit.","PeriodicalId":56024,"journal":{"name":"Forum of Mathematics Pi","volume":"9 1","pages":""},"PeriodicalIF":2.3,"publicationDate":"2021-11-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"42555807","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}