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}
In this work, we study in greater detail than before, J.H. Conway's topographs for integral binary quadratic forms. These are trees in the plane with regions labeled by integers following a simple pattern. Each topograph can display the values of a single form, or represent an equivalence class of forms. We give a new treatment of reduction of forms to canonical equivalence class representatives by employing topographs and a novel continued fraction for complex numbers. This allows uniform reduction for any positive, negative, square, or nonsquare discriminant. Topograph geometry also provides new class number formulas, and short proofs of results of Gauss relating to sums of three squares. Generalizations of the series of Hurwitz for class numbers give evaluations of certain infinite series, summed over the regions or edges of a topograph.
{"title":"Topographs for binary quadratic forms and class numbers","authors":"Cormac O'Sullivan","doi":"10.1112/mtk.70042","DOIUrl":"10.1112/mtk.70042","url":null,"abstract":"<p>In this work, we study in greater detail than before, J.H. Conway's topographs for integral binary quadratic forms. These are trees in the plane with regions labeled by integers following a simple pattern. Each topograph can display the values of a single form, or represent an equivalence class of forms. We give a new treatment of reduction of forms to canonical equivalence class representatives by employing topographs and a novel continued fraction for complex numbers. This allows uniform reduction for any positive, negative, square, or nonsquare discriminant. Topograph geometry also provides new class number formulas, and short proofs of results of Gauss relating to sums of three squares. Generalizations of the series of Hurwitz for class numbers give evaluations of certain infinite series, summed over the regions or edges of a topograph.</p>","PeriodicalId":18463,"journal":{"name":"Mathematika","volume":"71 4","pages":""},"PeriodicalIF":0.8,"publicationDate":"2025-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144923590","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}
Inspired by the work of Karamata, we consider an extremization problem associated with the probability of intersecting two random chords inside a circle of radius , where the endpoints of the chords are drawn according to a given probability distribution on . We show that, for , the problem is degenerated in the sense that any continuous measure is an extremizer, and that, for sufficiently close to 1, the desired maximal value is strictly below the one for by a polynomial factor in . Finally, we prove, by considering the auxiliary problem of drawing a single random chord, that the desired maximum is for . Connections with other variational problems and energy minimization problems are also presented.
{"title":"On extremal problems associated with random chords on a circle","authors":"Cynthia Bortolotto, João P. G. Ramos","doi":"10.1112/mtk.70024","DOIUrl":"10.1112/mtk.70024","url":null,"abstract":"<p>Inspired by the work of Karamata, we consider an extremization problem associated with the probability of intersecting two random chords inside a circle of radius <span></span><math></math>, where the endpoints of the chords are drawn according to a given probability distribution on <span></span><math></math>. We show that, for <span></span><math></math>, the problem is degenerated in the sense that any <i>continuous</i> measure is an extremizer, and that, for <span></span><math></math> sufficiently close to 1, the desired maximal value is strictly below the one for <span></span><math></math> by a polynomial factor in <span></span><math></math>. Finally, we prove, by considering the auxiliary problem of drawing a single random chord, that the desired maximum is <span></span><math></math> for <span></span><math></math>. Connections with other variational problems and energy minimization problems are also presented.</p>","PeriodicalId":18463,"journal":{"name":"Mathematika","volume":"71 4","pages":""},"PeriodicalIF":0.8,"publicationDate":"2025-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://londmathsoc.onlinelibrary.wiley.com/doi/epdf/10.1112/mtk.70024","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144927295","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}
Extending results of Szalay, Bennett, Bugeaud and Mignotte in this paper, we prove finiteness results concerning perfect powers having two or three digits in their representation in a canonical number system of the equation order of an algebraic number field.
{"title":"Perfect powers with few digits in a canonical number system","authors":"Attila Bérczes, Attila Pethő, István Pink","doi":"10.1112/mtk.70044","DOIUrl":"10.1112/mtk.70044","url":null,"abstract":"<p>Extending results of Szalay, Bennett, Bugeaud and Mignotte in this paper, we prove finiteness results concerning perfect powers having two or three digits in their representation in a canonical number system of the equation order of an algebraic number field.</p>","PeriodicalId":18463,"journal":{"name":"Mathematika","volume":"71 4","pages":""},"PeriodicalIF":0.8,"publicationDate":"2025-08-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144914989","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}
Tirumala Chakradhar, Katie Gittins, Georges Habib, Norbert Peyerimhoff
We consider the magnetic Steklov eigenvalue problem on compact Riemannian manifolds with boundary for generic magnetic potentials and establish various results concerning the spectrum. We provide equivalent characterizations of magnetic Steklov operators which are unitarily equivalent to the classical Steklov operator and study bounds for the smallest eigenvalue. We prove a Cheeger–Jammes-type lower bound for the first eigenvalue by introducing magnetic Cheeger constants. We also obtain an analogue of an upper bound for the first magnetic Neumann eigenvalue due to Colbois, El Soufi, Ilias, and Savo. In addition, we compute the full spectrum in the case of the Euclidean 2-ball and 4-ball for a particular choice of magnetic potential given by Killing vector fields, and discuss the behavior. Finally, we establish a comparison result for the magnetic Steklov operator associated with the manifold and the square root of the magnetic Laplacian on the boundary, which generalizes the uniform geometric upper bounds for the difference of the corresponding eigenvalues in the nonmagnetic case due to Colbois, Girouard, and Hassannezhad.
研究了紧致黎曼流形上具有一般磁势边界的磁性Steklov特征值问题,得到了关于谱的各种结果。我们给出了与经典Steklov算子一元等价的磁性Steklov算子的等价表征,并研究了最小特征值的界。通过引入磁性Cheeger常数,证明了第一特征值的Cheeger - james型下界。我们还得到了Colbois, El Soufi, Ilias和Savo的第一磁性诺伊曼特征值的上界的模拟。此外,我们计算了欧几里得2球和4球情况下,由消矢量场给出的特定磁势选择的全谱,并讨论了其行为。最后,我们建立了与流形相关的磁性Steklov算子与边界上的磁性拉普拉斯算子的平方根的比较结果,推广了非磁性情况下由于Colbois、Girouard和Hassannezhad导致的相应特征值差异的一致几何上界。
{"title":"A note on the magnetic Steklov operator on functions","authors":"Tirumala Chakradhar, Katie Gittins, Georges Habib, Norbert Peyerimhoff","doi":"10.1112/mtk.70037","DOIUrl":"10.1112/mtk.70037","url":null,"abstract":"<p>We consider the magnetic Steklov eigenvalue problem on compact Riemannian manifolds with boundary for generic magnetic potentials and establish various results concerning the spectrum. We provide equivalent characterizations of magnetic Steklov operators which are unitarily equivalent to the classical Steklov operator and study bounds for the smallest eigenvalue. We prove a Cheeger–Jammes-type lower bound for the first eigenvalue by introducing magnetic Cheeger constants. We also obtain an analogue of an upper bound for the first magnetic Neumann eigenvalue due to Colbois, El Soufi, Ilias, and Savo. In addition, we compute the full spectrum in the case of the Euclidean 2-ball and 4-ball for a particular choice of magnetic potential given by Killing vector fields, and discuss the behavior. Finally, we establish a comparison result for the magnetic Steklov operator associated with the manifold and the square root of the magnetic Laplacian on the boundary, which generalizes the uniform geometric upper bounds for the difference of the corresponding eigenvalues in the nonmagnetic case due to Colbois, Girouard, and Hassannezhad.</p>","PeriodicalId":18463,"journal":{"name":"Mathematika","volume":"71 4","pages":""},"PeriodicalIF":0.8,"publicationDate":"2025-08-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://londmathsoc.onlinelibrary.wiley.com/doi/epdf/10.1112/mtk.70037","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144869519","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}
Suppose is a finite abelian group, is not contained in any strict coset in , and are dense subsets of such that the sumset avoids . We show that and are almost entirely contained in sets defined by a bounded number of coordinates, that is, sets and , where the size of is non-zero and independent of , and are subsets of such that avoids . Furthermore, we show that this result extends to any finite group and summands for any .
{"title":"The structure of sets with cube-avoiding sumsets","authors":"Thomas Karam, Peter Keevash","doi":"10.1112/mtk.70041","DOIUrl":"10.1112/mtk.70041","url":null,"abstract":"<p>Suppose <span></span><math></math> is a finite abelian group, <span></span><math></math> is not contained in any strict coset in <span></span><math></math>, and <span></span><math></math> are dense subsets of <span></span><math></math> such that the sumset <span></span><math></math> avoids <span></span><math></math>. We show that <span></span><math></math> and <span></span><math></math> are almost entirely contained in sets defined by a bounded number of coordinates, that is, sets <span></span><math></math> and <span></span><math></math>, where the size of <span></span><math></math> is non-zero and independent of <span></span><math></math>, and <span></span><math></math> are subsets of <span></span><math></math> such that <span></span><math></math> avoids <span></span><math></math>. Furthermore, we show that this result extends to any finite group and <span></span><math></math> summands for any <span></span><math></math>.</p>","PeriodicalId":18463,"journal":{"name":"Mathematika","volume":"71 4","pages":""},"PeriodicalIF":0.8,"publicationDate":"2025-08-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://londmathsoc.onlinelibrary.wiley.com/doi/epdf/10.1112/mtk.70041","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144869520","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}
Jason Levesley, Bing Li, David Simmons, Sanju Velani
Let , and let be an expanding piecewise linear map sending each interval of linearity to [0,1]. For , , and , we consider the recurrence counting function
设,设是一个展开的分段线性映射,将每个线性区间赋值为[0,1]。对于,和,我们考虑递归计数函数
{"title":"Shrinking targets versus recurrence: The quantitative theory","authors":"Jason Levesley, Bing Li, David Simmons, Sanju Velani","doi":"10.1112/mtk.70039","DOIUrl":"10.1112/mtk.70039","url":null,"abstract":"<p>Let <span></span><math></math>, and let <span></span><math></math> be an expanding piecewise linear map sending each interval of linearity to [0,1]. For <span></span><math></math>, <span></span><math></math>, and <span></span><math></math>, we consider the recurrence counting function\u0000\u0000 </p>","PeriodicalId":18463,"journal":{"name":"Mathematika","volume":"71 4","pages":""},"PeriodicalIF":0.8,"publicationDate":"2025-08-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144869338","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}
We investigate when the local Lipschitz property of the real-valued function implies the global Lipschitz property of the mapping between the metric spaces and . Here, denotes the distance of from the non-empty set . As a consequence, we find that an analytic function on a uniform domain of a normed space belongs to the Lipschitz class if and only if its modulus satisfies the same condition; in the case of the unit disk this result is proved by Dyakonov. We use the recently established version of a classical theorem by Hardy and Littlewood for mappings between metric spaces. This paper is a continuation of the recent article by the author [Marković, J. Geom. Anal. 34 (2024), https://doi.org/10.48550/arXiv.2405.11509].
研究了实值函数的局部Lipschitz性质何时蕴涵了度量空间与映射的全局Lipschitz性质。表示到非空集合的距离。因此,我们发现在赋范空间的一致域上的解析函数当且仅当其模满足相同的条件时属于Lipschitz类;在单位圆盘的情况下,这个结果由Dyakonov证明。我们使用Hardy和Littlewood最近建立的关于度量空间之间映射的经典定理的版本。本文是作者markovovic, J. Geom最近文章的延续。Anal. 34 (2024), https://doi.org/10.48550/arXiv.2405.11509]。
{"title":"The distance function and Lipschitz classes of mappings between metric spaces","authors":"Marijan Marković","doi":"10.1112/mtk.70038","DOIUrl":"10.1112/mtk.70038","url":null,"abstract":"<p>We investigate when the local Lipschitz property of the real-valued function <span></span><math></math> implies the global Lipschitz property of the mapping <span></span><math></math> between the metric spaces <span></span><math></math> and <span></span><math></math>. Here, <span></span><math></math> denotes the distance of <span></span><math></math> from the non-empty set <span></span><math></math>. As a consequence, we find that an analytic function on a uniform domain of a normed space belongs to the Lipschitz class if and only if its modulus satisfies the same condition; in the case of the unit disk this result is proved by Dyakonov. We use the recently established version of a classical theorem by Hardy and Littlewood for mappings between metric spaces. This paper is a continuation of the recent article by the author [Marković, J. Geom. Anal. <b>34</b> (2024), https://doi.org/10.48550/arXiv.2405.11509].</p>","PeriodicalId":18463,"journal":{"name":"Mathematika","volume":"71 4","pages":""},"PeriodicalIF":0.8,"publicationDate":"2025-08-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144833241","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}