We establish several convexity properties for the entropy and Fisher information of mixtures of centred Gaussian distributions. Firstly, we prove that if are independent scalar Gaussian mixtures, then the entropy of is concave in , thus confirming a conjecture of Ball, Nayar and Tkocz (2016) for this class of random variables. In fact, we prove a generalisation of this assertion which also strengthens a result of Eskenazis, Nayar and Tkocz (2018). For the Fisher information, we extend a convexity result of Bobkov (2022) by showing that the Fisher information matrix is operator convex as a matrix-valued function acting on densities of mixtures in . As an application, we establish rates for the convergence of the Fisher information matrix of the sum of weighted i.i.d. Gaussian mixtures in the operator norm along the central limit theorem under mild moment assumptions.
{"title":"On the entropy and information of Gaussian mixtures","authors":"Alexandros Eskenazis, Lampros Gavalakis","doi":"10.1112/mtk.12246","DOIUrl":"https://doi.org/10.1112/mtk.12246","url":null,"abstract":"<p>We establish several convexity properties for the entropy and Fisher information of mixtures of centred Gaussian distributions. Firstly, we prove that if <span></span><math></math> are independent scalar Gaussian mixtures, then the entropy of <span></span><math></math> is concave in <span></span><math></math>, thus confirming a conjecture of Ball, Nayar and Tkocz (2016) for this class of random variables. In fact, we prove a generalisation of this assertion which also strengthens a result of Eskenazis, Nayar and Tkocz (2018). For the Fisher information, we extend a convexity result of Bobkov (2022) by showing that the Fisher information matrix is operator convex as a matrix-valued function acting on densities of mixtures in <span></span><math></math>. As an application, we establish rates for the convergence of the Fisher information matrix of the sum of weighted i.i.d. Gaussian mixtures in the operator norm along the central limit theorem under mild moment assumptions.</p>","PeriodicalId":18463,"journal":{"name":"Mathematika","volume":"70 2","pages":""},"PeriodicalIF":0.8,"publicationDate":"2024-03-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://onlinelibrary.wiley.com/doi/epdf/10.1112/mtk.12246","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140310328","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 refine a recent heuristic developed by Keating and the second author. Our improvement leads to a new integral expression for the conjectured asymptotic formula for shifted moments of the Riemann zeta-function. This expression is analogous to a formula, recently discovered by Brad Rodgers and Kannan Soundararajan, for moments of characteristic polynomials of random matrices from the unitary group.
{"title":"Moments of zeta and correlations of divisor-sums: Stratification and Vandermonde integrals","authors":"Siegfred Baluyot, Brian Conrey","doi":"10.1112/mtk.12243","DOIUrl":"https://doi.org/10.1112/mtk.12243","url":null,"abstract":"<p>We refine a recent heuristic developed by Keating and the second author. Our improvement leads to a new integral expression for the conjectured asymptotic formula for shifted moments of the Riemann zeta-function. This expression is analogous to a formula, recently discovered by Brad Rodgers and Kannan Soundararajan, for moments of characteristic polynomials of random matrices from the unitary group.</p>","PeriodicalId":18463,"journal":{"name":"Mathematika","volume":"70 2","pages":""},"PeriodicalIF":0.8,"publicationDate":"2024-03-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140139250","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 study the zeros of cusp forms of large weight for the modular group, which have a very large order of vanishing at infinity, so that they have a fixed number of finite zeros in the fundamental domain. We show that for large weight the zeros of these forms cluster near vertical lines, with the zeros of a weight form lying at height approximately . This is in contrast to previously known cases, such as Eisenstein series, where the zeros lie on the circular part of the boundary of the fundamental domain, or the case of cuspidal Hecke eigenforms where the zeros are uniformly distributed in the fundamental domain. Our method uses the Faber polynomials. We show that for our class of cusp forms, the associated Faber polynomials, suitably renormalized, converge to the truncated exponential polynomial of degree .
{"title":"Zeros of modular forms and Faber polynomials","authors":"Zeév Rudnick","doi":"10.1112/mtk.12244","DOIUrl":"https://doi.org/10.1112/mtk.12244","url":null,"abstract":"<p>We study the zeros of cusp forms of large weight for the modular group, which have a very large order of vanishing at infinity, so that they have a fixed number <math></math> of finite zeros in the fundamental domain. We show that for large weight the zeros of these forms cluster near <math></math> vertical lines, with the zeros of a weight <math></math> form lying at height approximately <math></math>. This is in contrast to previously known cases, such as Eisenstein series, where the zeros lie on the circular part of the boundary of the fundamental domain, or the case of cuspidal Hecke eigenforms where the zeros are uniformly distributed in the fundamental domain. Our method uses the Faber polynomials. We show that for our class of cusp forms, the associated Faber polynomials, suitably renormalized, converge to the truncated exponential polynomial of degree <math></math>.</p>","PeriodicalId":18463,"journal":{"name":"Mathematika","volume":"70 2","pages":""},"PeriodicalIF":0.8,"publicationDate":"2024-03-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://onlinelibrary.wiley.com/doi/epdf/10.1112/mtk.12244","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140114148","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}
Assuming the Generalised Riemann Hypothesis, we prove a sharp upper bound on moments of shifted Dirichlet L-functions. We use this to obtain conditional upper bounds on high moments of theta functions. Both of these results strengthen theorems of Munsch, who proved almost sharp upper bounds for these quantities. The main new ingredient of our proof comes from a paper of Harper, who showed the related result for all under the Riemann Hypothesis. Finally, we obtain a sharp conditional upper bound on high moments of character sums of arbitrary length.
假设存在广义黎曼假设,我们证明了移位狄利克特 L 函数矩的尖锐上界。我们利用它得到了 Theta 函数高矩数的条件上界。这两个结果都加强了芒施的定理,芒施证明了这些量的近乎尖锐的上界。我们证明的主要新成分来自哈珀的一篇论文,他证明了黎曼假设下的所有相关结果。最后,我们得到了任意长度特征和的高矩数的尖锐条件上界。
{"title":"High moments of theta functions and character sums","authors":"Barnabás Szabó","doi":"10.1112/mtk.12242","DOIUrl":"https://doi.org/10.1112/mtk.12242","url":null,"abstract":"<p>Assuming the Generalised Riemann Hypothesis, we prove a sharp upper bound on moments of shifted Dirichlet <i>L</i>-functions. We use this to obtain conditional upper bounds on high moments of theta functions. Both of these results strengthen theorems of Munsch, who proved almost sharp upper bounds for these quantities. The main new ingredient of our proof comes from a paper of Harper, who showed the related result <math></math> for all <math></math> under the Riemann Hypothesis. Finally, we obtain a sharp conditional upper bound on high moments of character sums of arbitrary length.</p>","PeriodicalId":18463,"journal":{"name":"Mathematika","volume":"70 2","pages":""},"PeriodicalIF":0.8,"publicationDate":"2024-02-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://onlinelibrary.wiley.com/doi/epdf/10.1112/mtk.12242","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139739178","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 the Hausdorff dimension of planar Besicovitch sets for rectifiable sets Γ, that is, sets that contain a rotated copy of Γ in each direction. We show that for a large class of Cantor sets C and Cantor-graphs Γ built on C, the Hausdorff dimension of any Γ-Besicovitch set must be at least , where .
我们考虑的是可整型集合 Γ 的平面贝西科维奇集合的豪斯多夫维度,即在每个方向上都包含 Γ 的旋转副本的集合。我们证明,对于一大类 Cantor 集 C 和建立在 C 上的 Cantor 图 Γ,任何 Γ-Besicovitch 集的 Hausdorff 维度必须至少为 ,其中 。
{"title":"Hausdorff dimension of Besicovitch sets of Cantor graphs","authors":"Iqra Altaf, Marianna Csörnyei, Kornélia Héra","doi":"10.1112/mtk.12241","DOIUrl":"https://doi.org/10.1112/mtk.12241","url":null,"abstract":"<p>We consider the Hausdorff dimension of planar Besicovitch sets for rectifiable sets Γ, that is, sets that contain a rotated copy of Γ in each direction. We show that for a large class of Cantor sets <i>C</i> and Cantor-graphs Γ built on <i>C</i>, the Hausdorff dimension of any Γ-Besicovitch set must be at least <math></math>, where <math></math>.</p>","PeriodicalId":18463,"journal":{"name":"Mathematika","volume":"70 2","pages":""},"PeriodicalIF":0.8,"publicationDate":"2024-02-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://onlinelibrary.wiley.com/doi/epdf/10.1112/mtk.12241","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139716916","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 a recent paper, Gonek, Graham, and Lee introduced a notion of the Lindelöf hypothesis (LH) for general sequences that coincides with the usual LH for the Riemann zeta function in the case of the sequence of positive integers. They made two conjectures: that LH should hold for every admissible sequence of positive integers, and that LH should hold for the “generic” admissible sequence of positive real numbers. In this paper, we give counterexamples to the first conjecture, and show that the second conjecture can be either true or false, depending on the meaning of “generic”: we construct probabilistic processes producing sequences satisfying LH with probability 1, and we construct Baire topological spaces of sequences for which the subspace of sequences satisfying LH is meagre. We also extend the main result of Gonek, Graham, and Lee, stating that the Riemann hypothesis is equivalent to LH for the sequence of prime numbers, to the context of Beurling generalized number systems.
{"title":"On the Lindelöf hypothesis for general sequences","authors":"Frederik Broucke, Sebastian Weishäupl","doi":"10.1112/mtk.12240","DOIUrl":"https://doi.org/10.1112/mtk.12240","url":null,"abstract":"<p>In a recent paper, Gonek, Graham, and Lee introduced a notion of the Lindelöf hypothesis (LH) for general sequences that coincides with the usual LH for the Riemann zeta function in the case of the sequence of positive integers. They made two conjectures: that LH should hold for every admissible sequence of positive integers, and that LH should hold for the “generic” admissible sequence of positive real numbers. In this paper, we give counterexamples to the first conjecture, and show that the second conjecture can be either true or false, depending on the meaning of “generic”: we construct probabilistic processes producing sequences satisfying LH with probability 1, and we construct Baire topological spaces of sequences for which the subspace of sequences satisfying LH is meagre. We also extend the main result of Gonek, Graham, and Lee, stating that the Riemann hypothesis is equivalent to LH for the sequence of prime numbers, to the context of Beurling generalized number systems.</p>","PeriodicalId":18463,"journal":{"name":"Mathematika","volume":"70 2","pages":""},"PeriodicalIF":0.8,"publicationDate":"2024-02-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139695219","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 prove an upper bound on the density of zeros very close to the critical line of the family of Dirichlet L-functions of modulus q at height T. To do this, we derive an asymptotic for the twisted second moment of Dirichlet L-functions uniformly in q and t. As a second application of the asymptotic formula, we prove that, for every integer q, at least 38.2% of zeros of the primitive Dirichlet L-functions of modulus q lie on the critical line.
作为渐近公式的第二个应用,我们证明了对于每一个整数 q,至少有 38.2% 的模为 q 的基元 Dirichlet L 函数的零点位于临界线上。
{"title":"Zeros of dirichlet L-functions near the critical line","authors":"George Dickinson","doi":"10.1112/mtk.12239","DOIUrl":"https://doi.org/10.1112/mtk.12239","url":null,"abstract":"<p>We prove an upper bound on the density of zeros very close to the critical line of the family of Dirichlet <i>L</i>-functions of modulus <i>q</i> at height <i>T</i>. To do this, we derive an asymptotic for the twisted second moment of Dirichlet <i>L</i>-functions uniformly in <i>q</i> and <i>t</i>. As a second application of the asymptotic formula, we prove that, for every integer <i>q</i>, at least 38.2% of zeros of the primitive Dirichlet <i>L</i>-functions of modulus <i>q</i> lie on the critical line.</p>","PeriodicalId":18463,"journal":{"name":"Mathematika","volume":"70 1","pages":""},"PeriodicalIF":0.8,"publicationDate":"2024-01-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://onlinelibrary.wiley.com/doi/epdf/10.1112/mtk.12239","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139109892","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}