We prove that every -vertex linear triple system with edges has at least copies of a pentagon, provided . This provides the first nontrivial bound for a question posed by Jiang and Yepremyan. More generally, for each , we prove that there is a constant such that if an -vertex graph is -far from being triangle-free, with , then it has at least copies of . This improves the previous best bound of due to Gishboliner, Shapira, and Wigderson. Our result also yields some geometric theorems, including the following. For large, every -point set in the plane with at least triangles similar to a given triangle , contains two triangles sharing a special point, called the harmonic point. In the other direction, we give a construction showing that the exponent cannot be reduced to anything smaller than and improve this further to for a 3-partite version of the problem.
{"title":"Many pentagons in triple systems","authors":"Dhruv Mubayi, Jozsef Solymosi","doi":"10.1112/mtk.70059","DOIUrl":"https://doi.org/10.1112/mtk.70059","url":null,"abstract":"<p>We prove that every <span></span><math></math>-vertex linear triple system with <span></span><math></math> edges has at least <span></span><math></math> copies of a pentagon, provided <span></span><math></math>. This provides the first nontrivial bound for a question posed by Jiang and Yepremyan. More generally, for each <span></span><math></math>, we prove that there is a constant <span></span><math></math> such that if an <span></span><math></math>-vertex graph is <span></span><math></math>-far from being triangle-free, with <span></span><math></math>, then it has at least <span></span><math></math> copies of <span></span><math></math>. This improves the previous best bound of <span></span><math></math> due to Gishboliner, Shapira, and Wigderson. Our result also yields some geometric theorems, including the following. For <span></span><math></math> large, every <span></span><math></math>-point set in the plane with at least <span></span><math></math> triangles similar to a given triangle <span></span><math></math>, contains two triangles sharing a special point, called the harmonic point. In the other direction, we give a construction showing that the exponent <span></span><math></math> cannot be reduced to anything smaller than <span></span><math></math> and improve this further to <span></span><math></math> for a 3-partite version of the problem.</p>","PeriodicalId":18463,"journal":{"name":"Mathematika","volume":"72 1","pages":""},"PeriodicalIF":0.8,"publicationDate":"2025-11-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145572502","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Szüsz's inhomogeneous version (1958) of Khintchine's theorem (1924) gives conditions on under which for almost every real number there exist infinitely many rationals such that
{"title":"Toward Khintchine's theorem with a moving target: Extra divergence or finitely centered target","authors":"Gilbert Michaud, Felipe A. Ramírez","doi":"10.1112/mtk.70058","DOIUrl":"https://doi.org/10.1112/mtk.70058","url":null,"abstract":"<p>Szüsz's inhomogeneous version (1958) of Khintchine's theorem (1924) gives conditions on <span></span><math></math> under which for almost every real number <span></span><math></math> there exist infinitely many rationals <span></span><math></math> such that\u0000\u0000 </p>","PeriodicalId":18463,"journal":{"name":"Mathematika","volume":"72 1","pages":""},"PeriodicalIF":0.8,"publicationDate":"2025-11-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145530074","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
The celebrated Artin conjecture on primitive roots asserts that given any integer that is neither nor a perfect square, there is an explicit constant such that the number of primes for which is a primitive root is asymptotically as , where counts the number of primes not exceeding . Artin's conjecture has remained unsolved since its formulation in 1927. Nevertheless, Hooley demonstrated in 1967 that Artin's conjecture is a consequence of the Generalized Riemann Hypothesis (GRH) for Dedekind zeta functions of certain cyclotomic-Kummer extensions over . In this paper, we use GRH to establish a uniform version of the Artin–Hooley asymptotic formula. Specifically, we prove that whenever , that is, whenever tends to infinity faster than any power of . Under GRH, we also show that the least prime possessing as a primitive root satisfies the upper bound uniformly for all nonsquare . We conclude with an application to the average value of and a discussion of an analog concerning the least “almost-primitive” root.
{"title":"Counting primes with a given primitive root, uniformly","authors":"Kai (Steve) Fan, Paul Pollack","doi":"10.1112/mtk.70055","DOIUrl":"https://doi.org/10.1112/mtk.70055","url":null,"abstract":"<p>The celebrated Artin conjecture on primitive roots asserts that given any integer <span></span><math></math> that is neither <span></span><math></math> nor a perfect square, there is an explicit constant <span></span><math></math> such that the number <span></span><math></math> of primes <span></span><math></math> for which <span></span><math></math> is a primitive root is asymptotically <span></span><math></math> as <span></span><math></math>, where <span></span><math></math> counts the number of primes not exceeding <span></span><math></math>. Artin's conjecture has remained unsolved since its formulation in 1927. Nevertheless, Hooley demonstrated in 1967 that Artin's conjecture is a consequence of the Generalized Riemann Hypothesis (GRH) for Dedekind zeta functions of certain cyclotomic-Kummer extensions over <span></span><math></math>. In this paper, we use GRH to establish a uniform version of the Artin–Hooley asymptotic formula. Specifically, we prove that <span></span><math></math> whenever <span></span><math></math>, that is, whenever <span></span><math></math> tends to infinity faster than any power of <span></span><math></math>. Under GRH, we also show that the least prime <span></span><math></math> possessing <span></span><math></math> as a primitive root satisfies the upper bound <span></span><math></math> uniformly for all nonsquare <span></span><math></math>. We conclude with an application to the average value of <span></span><math></math> and a discussion of an analog concerning the least “almost-primitive” root.</p>","PeriodicalId":18463,"journal":{"name":"Mathematika","volume":"71 4","pages":""},"PeriodicalIF":0.8,"publicationDate":"2025-10-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://londmathsoc.onlinelibrary.wiley.com/doi/epdf/10.1112/mtk.70055","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145316916","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
We consider two well-known problems: upper bounding the volume of lower dimensional ellipsoids contained in convex bodies given their John ellipsoid, and lower bounding the volume of ellipsoids containing projections of convex bodies given their Loewner ellipsoid. For the first problem, we use the John asymmetry to unify a tight upper bound for the general case by Ball with a stronger inequality for symmetric convex bodies. We obtain an inequality that is tight for most asymmetry values in large dimensions and an even stronger inequality in the planar case that is always best possible. In contrast, we show for the second problem an inequality that is tight for bodies of any asymmetry, including cross-polytopes, parallelotopes, and (in almost all cases) simplices. Finally, we derive some consequences for the width-circumradius- and diameter-inradius-ratios when optimized over affine transformations and show connections to the Banach–Mazur distance.
{"title":"Tightening inequalities on volume-extremal -ellipsoids using asymmetry measures","authors":"René Brandenberg, Florian Grundbacher","doi":"10.1112/mtk.70051","DOIUrl":"https://doi.org/10.1112/mtk.70051","url":null,"abstract":"<p>We consider two well-known problems: upper bounding the volume of lower dimensional ellipsoids contained in convex bodies given their John ellipsoid, and lower bounding the volume of ellipsoids containing projections of convex bodies given their Loewner ellipsoid. For the first problem, we use the John asymmetry to unify a tight upper bound for the general case by Ball with a stronger inequality for symmetric convex bodies. We obtain an inequality that is tight for most asymmetry values in large dimensions and an even stronger inequality in the planar case that is always best possible. In contrast, we show for the second problem an inequality that is tight for bodies of any asymmetry, including cross-polytopes, parallelotopes, and (in almost all cases) simplices. Finally, we derive some consequences for the width-circumradius- and diameter-inradius-ratios when optimized over affine transformations and show connections to the Banach–Mazur distance.</p>","PeriodicalId":18463,"journal":{"name":"Mathematika","volume":"71 4","pages":""},"PeriodicalIF":0.8,"publicationDate":"2025-10-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://londmathsoc.onlinelibrary.wiley.com/doi/epdf/10.1112/mtk.70051","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145316917","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
We give a soft proof of a uniform upper bound for the local factors in the triple product formula, sufficient for deducing effective and general forms of quantum unique ergodicity (QUE) from subconvexity.
{"title":"Soft bounds for local triple products and the subconvexity-QUE implication for","authors":"Paul D. Nelson","doi":"10.1112/mtk.70053","DOIUrl":"https://doi.org/10.1112/mtk.70053","url":null,"abstract":"<p>We give a soft proof of a uniform upper bound for the local factors in the triple product formula, sufficient for deducing effective and general forms of quantum unique ergodicity (QUE) from subconvexity.</p>","PeriodicalId":18463,"journal":{"name":"Mathematika","volume":"71 4","pages":""},"PeriodicalIF":0.8,"publicationDate":"2025-10-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://londmathsoc.onlinelibrary.wiley.com/doi/epdf/10.1112/mtk.70053","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145316827","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Let be a probability measure on . We give conditions on the Fourier transform of its density for functionals of the form to be Schur monotone. As applications, we put certain known and new results under the same umbrella, given by a condition on the Fourier transform of the density. These results include certain moment comparisons for independent and identically distributed random vectors, when the norm is given by intersection bodies, and vector-valued analogues of Khinchin's inequality with respect to appropriate norms. We also extend the discussion to higher dimensions.
{"title":"Monotonicity of functionals associated to product measures via their Fourier transform and applications","authors":"Andreas Malliaris","doi":"10.1112/mtk.70056","DOIUrl":"https://doi.org/10.1112/mtk.70056","url":null,"abstract":"<p>Let <span></span><math></math> be a probability measure on <span></span><math></math>. We give conditions on the Fourier transform of its density for functionals of the form <span></span><math></math> to be Schur monotone. As applications, we put certain known and new results under the same umbrella, given by a condition on the Fourier transform of the density. These results include certain moment comparisons for independent and identically distributed random vectors, when the norm is given by intersection bodies, and vector-valued analogues of Khinchin's inequality with respect to appropriate norms. We also extend the discussion to higher dimensions.</p>","PeriodicalId":18463,"journal":{"name":"Mathematika","volume":"71 4","pages":""},"PeriodicalIF":0.8,"publicationDate":"2025-10-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://londmathsoc.onlinelibrary.wiley.com/doi/epdf/10.1112/mtk.70056","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145272592","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Let be an elliptic curve defined over , and let be an imaginary quadratic field. Consider an odd prime at which has good supersingular reduction with and which is inert in . Under the assumption that the signed Selmer groups are cotorsion modules over the corresponding Iwasawa algebra, we prove that the Mordell–Weil ranks of are bounded over any subextensions of the anticyclotomic -extension of . Additionally, we provide an asymptotic formula for the growth of the -parts of the Tate–Shafarevich groups of over these extensions.
{"title":"The growth of Tate–Shafarevich groups of -supersingular elliptic curves over anticyclotomic -extensions at inert primes","authors":"Erman Işik, Antonio Lei","doi":"10.1112/mtk.70050","DOIUrl":"https://doi.org/10.1112/mtk.70050","url":null,"abstract":"<p>Let <span></span><math></math> be an elliptic curve defined over <span></span><math></math>, and let <span></span><math></math> be an imaginary quadratic field. Consider an odd prime <span></span><math></math> at which <span></span><math></math> has good supersingular reduction with <span></span><math></math> and which is inert in <span></span><math></math>. Under the assumption that the signed Selmer groups are cotorsion modules over the corresponding Iwasawa algebra, we prove that the Mordell–Weil ranks of <span></span><math></math> are bounded over any subextensions of the anticyclotomic <span></span><math></math>-extension of <span></span><math></math>. Additionally, we provide an asymptotic formula for the growth of the <span></span><math></math>-parts of the Tate–Shafarevich groups of <span></span><math></math> over these extensions.</p>","PeriodicalId":18463,"journal":{"name":"Mathematika","volume":"71 4","pages":""},"PeriodicalIF":0.8,"publicationDate":"2025-10-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://londmathsoc.onlinelibrary.wiley.com/doi/epdf/10.1112/mtk.70050","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145271956","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
We prove the direct and the converse inequalities for type IV superorthogonality in the vector-valued setting. The converse one is also new in the scalar setting.
在向量值集上证明了IV型超正交的正不等式和逆不等式。相反的一个在标量设置中也是新的。
{"title":"On type IV superorthogonality","authors":"Jianghao Zhang","doi":"10.1112/mtk.70054","DOIUrl":"https://doi.org/10.1112/mtk.70054","url":null,"abstract":"<p>We prove the direct and the converse inequalities for type IV superorthogonality in the vector-valued setting. The converse one is also new in the scalar setting.</p>","PeriodicalId":18463,"journal":{"name":"Mathematika","volume":"71 4","pages":""},"PeriodicalIF":0.8,"publicationDate":"2025-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://londmathsoc.onlinelibrary.wiley.com/doi/epdf/10.1112/mtk.70054","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145223866","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
We study the moment of central values of the family of Dirichlet -functions to a fixed prime modulus and establish sharp upper bounds for all real .
研究了狄利克雷函数族的中心值对定素模的矩,并建立了所有实数的明显上界。
{"title":"Upper bounds for moments of Dirichlet -functions to a fixed modulus","authors":"Peng Gao, Liangyi Zhao","doi":"10.1112/mtk.70052","DOIUrl":"https://doi.org/10.1112/mtk.70052","url":null,"abstract":"<p>We study the <span></span><math></math> moment of central values of the family of Dirichlet <span></span><math></math>-functions to a fixed prime modulus and establish sharp upper bounds for all real <span></span><math></math>.</p>","PeriodicalId":18463,"journal":{"name":"Mathematika","volume":"71 4","pages":""},"PeriodicalIF":0.8,"publicationDate":"2025-09-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://londmathsoc.onlinelibrary.wiley.com/doi/epdf/10.1112/mtk.70052","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145224464","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
In Euclidean space, the asymptotic shape of large cells in various types of Poisson-driven random tessellations has been the subject of a famous conjecture due to David Kendall. Since shape is a geometric concept and large cells are identified by means of geometric size functionals, the resolution of the conjecture is inevitably connected with geometric inequalities of isoperimetric type and their improvements in the form of geometric stability results, relating geometric size functionals and hitting functionals. The latter are deterministic characteristics of the underlying random tessellation. The current work explores specific and typical cells of random tessellations in spherical space. A key ingredient of our approach is new geometric inequalities and quantitative strengthenings in terms of stability results for general and also for some specific size and hitting functionals of spherically convex bodies. As a consequence, we obtain probabilistic deviation inequalities and asymptotic distributions of quite general size functionals. In contrast to the Euclidean setting, where naturally the asymptotic regime concerns large size, in the spherical framework, the asymptotic analysis is primarily concerned with high intensities.
{"title":"Geometric inequalities, stability results and Kendall's problem in spherical space","authors":"Daniel Hug, Andreas Reichenbacher","doi":"10.1112/mtk.70049","DOIUrl":"10.1112/mtk.70049","url":null,"abstract":"<p>In Euclidean space, the asymptotic shape of large cells in various types of Poisson-driven random tessellations has been the subject of a famous conjecture due to David Kendall. Since shape is a geometric concept and large cells are identified by means of geometric size functionals, the resolution of the conjecture is inevitably connected with geometric inequalities of isoperimetric type and their improvements in the form of geometric stability results, relating geometric size functionals and hitting functionals. The latter are deterministic characteristics of the underlying random tessellation. The current work explores specific and typical cells of random tessellations in spherical space. A key ingredient of our approach is new geometric inequalities and quantitative strengthenings in terms of stability results for general and also for some specific size and hitting functionals of spherically convex bodies. As a consequence, we obtain probabilistic deviation inequalities and asymptotic distributions of quite general size functionals. In contrast to the Euclidean setting, where naturally the asymptotic regime concerns large size, in the spherical framework, the asymptotic analysis is primarily concerned with high intensities.</p>","PeriodicalId":18463,"journal":{"name":"Mathematika","volume":"71 4","pages":""},"PeriodicalIF":0.8,"publicationDate":"2025-09-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://londmathsoc.onlinelibrary.wiley.com/doi/epdf/10.1112/mtk.70049","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145101941","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}