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}
In this article, we study discrete maximal function associated with the Birch–Magyar averages over sparse sequences. We establish sparse domination principle for such operators. As a consequence, we obtain -estimates for such discrete maximal functions over sparse sequences for all . The proof of sparse bounds is based on scale-free -improving estimates for the single scale Birch–Magyar averages.
{"title":"Sparse bounds for discrete maximal functions associated with Birch–Magyar averages","authors":"Ankit Bhojak, Surjeet Singh Choudhary, Siddhartha Samanta, Saurabh Shrivastava","doi":"10.1112/mtk.70048","DOIUrl":"10.1112/mtk.70048","url":null,"abstract":"<p>In this article, we study discrete maximal function associated with the Birch–Magyar averages over sparse sequences. We establish sparse domination principle for such operators. As a consequence, we obtain <span></span><math></math>-estimates for such discrete maximal functions over sparse sequences for all <span></span><math></math>. The proof of sparse bounds is based on scale-free <span></span><math></math>-improving estimates for the single scale Birch–Magyar averages.</p>","PeriodicalId":18463,"journal":{"name":"Mathematika","volume":"71 4","pages":""},"PeriodicalIF":0.8,"publicationDate":"2025-09-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145050976","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}
Three new combinations of convex bodies are introduced and studied: the fiber, chord, and graph combinations. These combinations are defined in terms of the fibers and graphs of pairs of convex bodies, and each operation generalizes the classical Steiner symmetral, albeit in different ways. For the fiber and chord combinations, we derive Brunn–Minkowski-type inequalities and the corresponding Minkowski's first inequalities. We also prove that the general affine surface areas are concave (respectively, convex) with respect to the graph sum, thereby generalizing fundamental results of Ye (Indiana Univ. Math. J. 14 (2014), 1–19) on the monotonicity of the general affine surface areas under Steiner symmetrization. As an application, we deduce a corresponding Minkowski's first inequality for the affine surface area of a graph combination of convex bodies.
介绍并研究了三种新的凸体组合:纤维组合、弦组合和图组合。这些组合是根据凸体对的纤维和图来定义的,每种操作都是经典斯坦纳对称的推广,尽管方式不同。对于纤维和弦组合,我们导出了brunn - Minkowski型不等式和相应的Minkowski第一不等式。我们还证明了一般仿射表面积相对于图和是凹的(分别是凸的),从而推广了Ye (Indiana university Math)的基本结果。J. 14(2014), 1-19)关于斯坦纳对称下一般仿射表面积的单调性。作为应用,我们推导出了凸体图组合仿射表面积的Minkowski第一不等式。
{"title":"New fiber and graph combinations of convex bodies","authors":"Steven Hoehner, Sudan Xing","doi":"10.1112/mtk.70043","DOIUrl":"10.1112/mtk.70043","url":null,"abstract":"<p>Three new combinations of convex bodies are introduced and studied: the <span></span><math></math> fiber, <span></span><math></math> chord, and graph combinations. These combinations are defined in terms of the fibers and graphs of pairs of convex bodies, and each operation generalizes the classical Steiner symmetral, albeit in different ways. For the <span></span><math></math> fiber and <span></span><math></math> chord combinations, we derive Brunn–Minkowski-type inequalities and the corresponding Minkowski's first inequalities. We also prove that the general affine surface areas are concave (respectively, convex) with respect to the graph sum, thereby generalizing fundamental results of Ye (<i>Indiana Univ. Math. J</i>. 14 (2014), 1–19) on the monotonicity of the general affine surface areas under Steiner symmetrization. As an application, we deduce a corresponding Minkowski's first inequality for the <span></span><math></math> affine surface area of a graph combination of convex bodies.</p>","PeriodicalId":18463,"journal":{"name":"Mathematika","volume":"71 4","pages":""},"PeriodicalIF":0.8,"publicationDate":"2025-09-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://londmathsoc.onlinelibrary.wiley.com/doi/epdf/10.1112/mtk.70043","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145050977","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}
Motivated by general probability theory, we say that the set in is antipodal of rank , if for any elements , there is an affine map from to the -dimensional simplex that maps bijectively onto the vertices of . For , it coincides with the well-studied notion of (pairwise) antipodality introduced by Klee. We consider the following natural generalization of Klee's problem on antipodal sets: What is the maximum size of an antipodal set of rank in ? We present a geometric characterization of antipodal sets of rank and adapting the argument of Danzer and Grünbaum originally developed for the case, we prove an upper bound which is exponential in the dimension. We show that this problem can be connected to a classical question in computer science on finding perfect hashes, and it provides a lower bound on the maximum size, which is also exponential in the dimension. By connecting rank- antipodality to -neighborly polytopes, we obtain another upper bound when .
{"title":"Higher rank antipodality","authors":"Márton Naszódi, Zsombor Szilágyi, Mihály Weiner","doi":"10.1112/mtk.70046","DOIUrl":"10.1112/mtk.70046","url":null,"abstract":"<p>Motivated by general probability theory, we say that the set <span></span><math></math> in <span></span><math></math> is <i>antipodal of rank</i> <span></span><math></math>, if for any <span></span><math></math> elements <span></span><math></math>, there is an affine map from <span></span><math></math> to the <span></span><math></math>-dimensional simplex <span></span><math></math> that maps <span></span><math></math> bijectively onto the <span></span><math></math> vertices of <span></span><math></math>. For <span></span><math></math>, it coincides with the well-studied notion of (pairwise) antipodality introduced by Klee. We consider the following natural generalization of Klee's problem on antipodal sets: What is the maximum size of an antipodal set of rank <span></span><math></math> in <span></span><math></math>? We present a geometric characterization of antipodal sets of rank <span></span><math></math> and adapting the argument of Danzer and Grünbaum originally developed for the <span></span><math></math> case, we prove an upper bound which is exponential in the dimension. We show that this problem can be connected to a classical question in computer science on finding perfect hashes, and it provides a lower bound on the maximum size, which is also exponential in the dimension. By connecting rank-<span></span><math></math> antipodality to <span></span><math></math>-neighborly polytopes, we obtain another upper bound when <span></span><math></math>.</p>","PeriodicalId":18463,"journal":{"name":"Mathematika","volume":"71 4","pages":""},"PeriodicalIF":0.8,"publicationDate":"2025-09-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://londmathsoc.onlinelibrary.wiley.com/doi/epdf/10.1112/mtk.70046","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145012556","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 this article, we present a new linear independence criterion for values of the -adic polygamma functions defined by Diamond. As an application, we obtain the linear independence of some families of values of the -adic Hurwitz zeta function at distinct shifts . This improves and extends a previous result due to Bel (Ann. Scuola Norm. Sup. Pisa Cl. Sci. (5) IX (2010), 189–227), as well as irrationality results established by Beukers (Acta Math. Sin. 24 (2008), 663–686). Our proof is based on a novel and explicit construction of Padé-type approximants of the second kind of Diamond's -adic polygamma functions. This construction is established by using a difference analogue of the Rodrigues formula for orthogonal polynomials.
{"title":"On the linear independence of -adic polygamma values","authors":"Makoto Kawashima, Anthony Poëls","doi":"10.1112/mtk.70040","DOIUrl":"10.1112/mtk.70040","url":null,"abstract":"<p>In this article, we present a new linear independence criterion for values of the <span></span><math></math>-adic polygamma functions defined by Diamond. As an application, we obtain the linear independence of some families of values of the <span></span><math></math>-adic Hurwitz zeta function <span></span><math></math> at distinct shifts <span></span><math></math>. This improves and extends a previous result due to Bel (Ann. Scuola Norm. Sup. Pisa Cl. Sci. (5) IX (2010), 189–227), as well as irrationality results established by Beukers (Acta Math. Sin. 24 (2008), 663–686). Our proof is based on a novel and explicit construction of Padé-type approximants of the second kind of Diamond's <span></span><math></math>-adic polygamma functions. This construction is established by using a difference analogue of the Rodrigues formula for orthogonal polynomials.</p>","PeriodicalId":18463,"journal":{"name":"Mathematika","volume":"71 4","pages":""},"PeriodicalIF":0.8,"publicationDate":"2025-09-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145012551","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}
Let if is the sum of two perfect squares, and otherwise. We study the variance of in short intervals by relating the variance with the second moment of the generating function along . We develop a new method for estimating fractional moments of -functions and apply it to the second moment of to bound the variance of . Our results are conditional on the Riemann hypothesis for the zeta-function and the Dirichlet -function associated with the non-principal character modulo 4.
{"title":"Fractional moments of -functions and sums of two squares in short intervals","authors":"Siegfred Baluyot, Steven M. Gonek","doi":"10.1112/mtk.70047","DOIUrl":"10.1112/mtk.70047","url":null,"abstract":"<p>Let <span></span><math></math> if <span></span><math></math> is the sum of two perfect squares, and <span></span><math></math> otherwise. We study the variance of <span></span><math></math> in short intervals by relating the variance with the second moment of the generating function <span></span><math></math> along <span></span><math></math>. We develop a new method for estimating fractional moments of <span></span><math></math>-functions and apply it to the second moment of <span></span><math></math> to bound the variance of <span></span><math></math>. Our results are conditional on the Riemann hypothesis for the zeta-function and the Dirichlet <span></span><math></math>-function associated with the non-principal character modulo 4.</p>","PeriodicalId":18463,"journal":{"name":"Mathematika","volume":"71 4","pages":""},"PeriodicalIF":0.8,"publicationDate":"2025-09-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://londmathsoc.onlinelibrary.wiley.com/doi/epdf/10.1112/mtk.70047","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144990783","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}
Given two subsets and a binary relation , the restricted sumset of with respect to is defined as . When is taken as the equality relation, determining the minimum value of is the famous Erdős–Heilbronn problem, which was solved separately by Dias da Silva, Hamidoune and Alon, Nathanson and Ruzsa. Lev later conjectured that if with and is a matching between subsets of and , then . We confirm this conjecture in the case where for any , provided that for some sufficiently large depending only on . Our proof builds on a recent work by Bollobás, Leader, and Tiba, and a rectifiability argument developed by Green and Ruzsa. Furthermore, our method extends to cases when is a degree-bounded relation, either on both sides and or solely on the smaller set. In addition, we construct subsets with such that for any prime number , where is a matching on . This extends an earlier construction by Lev and highlights a distinction between the combinatorial notion of the restricted sumset and the classcial Erdős–Heilbronn problem, where holds given is the equality relation on and .
给定两个子集和一个二元关系,关于的限制和集定义为。当取为等式关系时,确定的最小值就是著名的Erdős-Heilbronn问题,Dias da Silva、Hamidoune and Alon、Nathanson and Ruzsa分别解决了这个问题。Lev后来推测,如果与和是与的子集之间的匹配,则。我们在任何情况下证实了这个猜想,假设对于一些足够大的只依赖于。我们的证明基于Bollobás、Leader和Tiba最近的一项工作,以及Green和Ruzsa提出的可纠错性论证。此外,我们的方法扩展到当是一个度有界的关系时,要么在两边,要么只在较小的集合上。此外,我们构造了这样的子集:对于任何素数,其中有一个匹配。这扩展了Lev早期的构造,并突出了限制集合的组合概念与经典Erdős-Heilbronn问题之间的区别,其中给定的是和上的相等关系。
{"title":"On restricted sumsets with bounded degree relations","authors":"Minghui Ouyang","doi":"10.1112/mtk.70045","DOIUrl":"10.1112/mtk.70045","url":null,"abstract":"<p>Given two subsets <span></span><math></math> and a binary relation <span></span><math></math>, the restricted sumset of <span></span><math></math> with respect to <span></span><math></math> is defined as <span></span><math></math>. When <span></span><math></math> is taken as the equality relation, determining the minimum value of <span></span><math></math> is the famous Erdős–Heilbronn problem, which was solved separately by Dias da Silva, Hamidoune and Alon, Nathanson and Ruzsa. Lev later conjectured that if <span></span><math></math> with <span></span><math></math> and <span></span><math></math> is a matching between subsets of <span></span><math></math> and <span></span><math></math>, then <span></span><math></math>. We confirm this conjecture in the case where <span></span><math></math> for any <span></span><math></math>, provided that <span></span><math></math> for some sufficiently large <span></span><math></math> depending only on <span></span><math></math>. Our proof builds on a recent work by Bollobás, Leader, and Tiba, and a rectifiability argument developed by Green and Ruzsa. Furthermore, our method extends to cases when <span></span><math></math> is a degree-bounded relation, either on both sides <span></span><math></math> and <span></span><math></math> or solely on the smaller set. In addition, we construct subsets <span></span><math></math> with <span></span><math></math> such that <span></span><math></math> for any prime number <span></span><math></math>, where <span></span><math></math> is a matching on <span></span><math></math>. This extends an earlier construction by Lev and highlights a distinction between the combinatorial notion of the restricted sumset and the classcial Erdős–Heilbronn problem, where <span></span><math></math> holds given <span></span><math></math> is the equality relation on <span></span><math></math> and <span></span><math></math>.</p>","PeriodicalId":18463,"journal":{"name":"Mathematika","volume":"71 4","pages":""},"PeriodicalIF":0.8,"publicationDate":"2025-09-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144935352","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}