Pub Date : 2024-04-22DOI: 10.1016/j.jnt.2024.03.002
Stefan Steinerberger
Let and suppose we are given k integers . If is not an integer, how close can it be to one? When , the distance to the nearest integer is . Angluin-Eisenstat observed the bound when . We prove there is a universal such that, for all , there exists a and k integers in with where denotes the distance to the nearest integer. This is a case of the square-root sum problem in numerical analysis where the usual cancellation constructions do not apply: already for , the problem appears hard.
{"title":"Sums of square roots that are close to an integer","authors":"Stefan Steinerberger","doi":"10.1016/j.jnt.2024.03.002","DOIUrl":"https://doi.org/10.1016/j.jnt.2024.03.002","url":null,"abstract":"<div><p>Let <span><math><mi>k</mi><mo>∈</mo><mi>N</mi></math></span> and suppose we are given <em>k</em> integers <span><math><mn>1</mn><mo>≤</mo><msub><mrow><mi>a</mi></mrow><mrow><mn>1</mn></mrow></msub><mo>,</mo><mo>…</mo><mo>,</mo><msub><mrow><mi>a</mi></mrow><mrow><mi>k</mi></mrow></msub><mo>≤</mo><mi>n</mi></math></span>. If <span><math><msqrt><mrow><msub><mrow><mi>a</mi></mrow><mrow><mn>1</mn></mrow></msub></mrow></msqrt><mo>+</mo><mo>…</mo><mo>+</mo><msqrt><mrow><msub><mrow><mi>a</mi></mrow><mrow><mi>k</mi></mrow></msub></mrow></msqrt></math></span> is not an integer, how close can it be to one? When <span><math><mi>k</mi><mo>=</mo><mn>1</mn></math></span>, the distance to the nearest integer is <span><math><mo>≳</mo><msup><mrow><mi>n</mi></mrow><mrow><mo>−</mo><mn>1</mn><mo>/</mo><mn>2</mn></mrow></msup></math></span>. Angluin-Eisenstat observed the bound <span><math><mo>≳</mo><msup><mrow><mi>n</mi></mrow><mrow><mo>−</mo><mn>3</mn><mo>/</mo><mn>2</mn></mrow></msup></math></span> when <span><math><mi>k</mi><mo>=</mo><mn>2</mn></math></span>. We prove there is a universal <span><math><mi>c</mi><mo>></mo><mn>0</mn></math></span> such that, for all <span><math><mi>k</mi><mo>≥</mo><mn>2</mn></math></span>, there exists a <span><math><msub><mrow><mi>c</mi></mrow><mrow><mi>k</mi></mrow></msub><mo>></mo><mn>0</mn></math></span> and <em>k</em> integers in <span><math><mo>{</mo><mn>1</mn><mo>,</mo><mn>2</mn><mo>,</mo><mo>…</mo><mo>,</mo><mi>n</mi><mo>}</mo></math></span> with<span><span><span><math><mn>0</mn><mo><</mo><mo>‖</mo><msqrt><mrow><msub><mrow><mi>a</mi></mrow><mrow><mn>1</mn></mrow></msub></mrow></msqrt><mo>+</mo><mo>…</mo><mo>+</mo><msqrt><mrow><msub><mrow><mi>a</mi></mrow><mrow><mi>k</mi></mrow></msub></mrow></msqrt><mo>‖</mo><mo>≤</mo><msub><mrow><mi>c</mi></mrow><mrow><mi>k</mi></mrow></msub><mo>⋅</mo><msup><mrow><mi>n</mi></mrow><mrow><mo>−</mo><mi>c</mi><mo>⋅</mo><msup><mrow><mi>k</mi></mrow><mrow><mn>1</mn><mo>/</mo><mn>3</mn></mrow></msup></mrow></msup><mo>,</mo></math></span></span></span> where <span><math><mo>‖</mo><mo>⋅</mo><mo>‖</mo></math></span> denotes the distance to the nearest integer. This is a case of the square-root sum problem in numerical analysis where the usual cancellation constructions do not apply: already for <span><math><mi>k</mi><mo>=</mo><mn>3</mn></math></span>, the problem appears hard.</p></div>","PeriodicalId":50110,"journal":{"name":"Journal of Number Theory","volume":null,"pages":null},"PeriodicalIF":0.7,"publicationDate":"2024-04-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140644600","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}
Pub Date : 2024-04-22DOI: 10.1016/j.jnt.2024.03.014
Archer Clayton , Helen Dai , Tianyu Ni , Hui Xue , Jake Zummo
Let be the mth Hecke operator on the space of cuspforms of weight 2k and level N. This paper shows that in all but finitely many cases, which we list, the second coefficient of the characteristic polynomial of does not vanish when 2 and N are coprime.
让 Tm(N,2k) 是权重为 2k 且级别为 N 的余弦空间 S(N,2k) 上的第 m 个赫克算子。本文证明,除了我们列出的有限几种情况外,在 2 和 N 共素时,T2(N,2k) 的特征多项式的第二个系数都不消失。
{"title":"Nonvanishing of second coefficients of Hecke polynomials","authors":"Archer Clayton , Helen Dai , Tianyu Ni , Hui Xue , Jake Zummo","doi":"10.1016/j.jnt.2024.03.014","DOIUrl":"10.1016/j.jnt.2024.03.014","url":null,"abstract":"<div><p>Let <span><math><msub><mrow><mi>T</mi></mrow><mrow><mi>m</mi></mrow></msub><mo>(</mo><mi>N</mi><mo>,</mo><mn>2</mn><mi>k</mi><mo>)</mo></math></span> be the <em>m</em>th Hecke operator on the space <span><math><mi>S</mi><mo>(</mo><mi>N</mi><mo>,</mo><mn>2</mn><mi>k</mi><mo>)</mo></math></span> of cuspforms of weight 2<em>k</em> and level <em>N</em>. This paper shows that in all but finitely many cases, which we list, the second coefficient of the characteristic polynomial of <span><math><msub><mrow><mi>T</mi></mrow><mrow><mn>2</mn></mrow></msub><mo>(</mo><mi>N</mi><mo>,</mo><mn>2</mn><mi>k</mi><mo>)</mo></math></span> does not vanish when 2 and <em>N</em> are coprime.</p></div>","PeriodicalId":50110,"journal":{"name":"Journal of Number Theory","volume":null,"pages":null},"PeriodicalIF":0.7,"publicationDate":"2024-04-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140792633","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}
Pub Date : 2024-04-22DOI: 10.1016/j.jnt.2024.03.004
Brandon Boggess , Soumya Sankar
We count the number of rational elliptic curves of bounded naive height that have a rational N-isogeny, for . For some N, this is done by generalizing a method of Harron and Snowden. For the remaining cases, we use the framework of Ellenberg, Satriano and Zureick-Brown, in which the naive height of an elliptic curve is the height of the corresponding point on a moduli stack.
{"title":"Counting elliptic curves with a rational N-isogeny for small N","authors":"Brandon Boggess , Soumya Sankar","doi":"10.1016/j.jnt.2024.03.004","DOIUrl":"10.1016/j.jnt.2024.03.004","url":null,"abstract":"<div><p>We count the number of rational elliptic curves of bounded naive height that have a rational <em>N</em>-isogeny, for <span><math><mi>N</mi><mo>∈</mo><mo>{</mo><mn>2</mn><mo>,</mo><mn>3</mn><mo>,</mo><mn>4</mn><mo>,</mo><mn>5</mn><mo>,</mo><mn>6</mn><mo>,</mo><mn>8</mn><mo>,</mo><mn>9</mn><mo>,</mo><mn>12</mn><mo>,</mo><mn>16</mn><mo>,</mo><mn>18</mn><mo>}</mo></math></span>. For some <em>N</em>, this is done by generalizing a method of Harron and Snowden. For the remaining cases, we use the framework of Ellenberg, Satriano and Zureick-Brown, in which the naive height of an elliptic curve is the height of the corresponding point on a moduli stack.</p></div>","PeriodicalId":50110,"journal":{"name":"Journal of Number Theory","volume":null,"pages":null},"PeriodicalIF":0.7,"publicationDate":"2024-04-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.sciencedirect.com/science/article/pii/S0022314X24000751/pdfft?md5=84f7d5fbf1075baf07f76e33f439bbea&pid=1-s2.0-S0022314X24000751-main.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140810945","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}
{"title":"Discrete mean values of the product of derivatives of shifted Dirichlet L-functions","authors":"Hansle Cho","doi":"10.1016/j.jnt.2024.03.005","DOIUrl":"https://doi.org/10.1016/j.jnt.2024.03.005","url":null,"abstract":"<div><p>Assuming the Generalized Riemann Hypothesis, we calculate <span><math><msub><mrow><mo>∑</mo></mrow><mrow><mn>0</mn><mo><</mo><msub><mrow><mi>γ</mi></mrow><mrow><mi>χ</mi></mrow></msub><mo>≤</mo><mi>T</mi></mrow></msub><msup><mrow><mi>L</mi></mrow><mrow><mo>(</mo><mi>μ</mi><mo>)</mo></mrow></msup><mo>(</mo><msub><mrow><mi>ρ</mi></mrow><mrow><mi>χ</mi></mrow></msub><mo>+</mo><mi>i</mi><mi>δ</mi><mo>,</mo><mi>χ</mi><mo>)</mo><msup><mrow><mi>L</mi></mrow><mrow><mo>(</mo><mi>ν</mi><mo>)</mo></mrow></msup><mo>(</mo><mn>1</mn><mo>−</mo><msub><mrow><mi>ρ</mi></mrow><mrow><mi>χ</mi></mrow></msub><mo>−</mo><mi>i</mi><mi>δ</mi><mo>,</mo><mover><mrow><mi>χ</mi></mrow><mo>‾</mo></mover><mo>)</mo></math></span>, which extends the result proposed by Gonek in 1984.</p></div>","PeriodicalId":50110,"journal":{"name":"Journal of Number Theory","volume":null,"pages":null},"PeriodicalIF":0.7,"publicationDate":"2024-04-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140641146","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}
Pub Date : 2024-04-22DOI: 10.1016/j.jnt.2024.03.012
Chen An
We prove a log-free zero density estimate for automorphic L-functions defined over a number field k. This work generalizes and sharpens the method of pseudo-characters and the large sieve used earlier by Kowalski and Michel. As applications, we demonstrate for a particular family of number fields of degree n over k (for any n) that an effective Chebotarev density theorem and a bound on ℓ-torsion in class groups hold for almost all fields in the family.
我们证明了定义在数域 k 上的自变 L 函数的无对数零密度估计。这项工作推广并强化了科瓦尔斯基(Kowalski)和米歇尔(Michel)早先使用的伪字符和大筛方法。作为应用,我们证明了对于k上n度数域的一个特定族(对于任意n),有效的切博塔列夫密度定理和类群中的ℓ-torsion约束对于族中的几乎所有域都成立。
{"title":"Log-free zero density estimates for automorphic L-functions","authors":"Chen An","doi":"10.1016/j.jnt.2024.03.012","DOIUrl":"https://doi.org/10.1016/j.jnt.2024.03.012","url":null,"abstract":"<div><p>We prove a log-free zero density estimate for automorphic <em>L</em>-functions defined over a number field <em>k</em>. This work generalizes and sharpens the method of pseudo-characters and the large sieve used earlier by Kowalski and Michel. As applications, we demonstrate for a particular family of number fields of degree <em>n</em> over <em>k</em> (for any <em>n</em>) that an effective Chebotarev density theorem and a bound on <em>ℓ</em>-torsion in class groups hold for almost all fields in the family.</p></div>","PeriodicalId":50110,"journal":{"name":"Journal of Number Theory","volume":null,"pages":null},"PeriodicalIF":0.7,"publicationDate":"2024-04-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140641147","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}
Pub Date : 2024-04-21DOI: 10.1016/j.jnt.2024.03.013
Marie-Hélène Tomé
Deep work by Shintani in the 1970's describes Hecke L-functions associated to narrow ray class group characters of totally real fields F in terms of what are now known as Shintani zeta functions. However, for , Shintani's method was ineffective due to its crucial dependence on abstract fundamental domains for the action of totally positive units of F on , so-called Shintani sets. These difficulties were recently resolved in independent work of Charollois, Dasgupta, and Greenberg and Diaz y Diaz and Friedman. For those narrow ray class group characters whose conductor is an inert rational prime in a totally real field F with narrow class number 1, we obtain a natural combinatorial description of these sets, allowing us to obtain a simple description of the associated Hecke L-functions. As a consequence, we generalize earlier work of Girstmair, Hirzebruch, and Zagier, that offer combinatorial class number formulas for imaginary quadratic fields, to real and imaginary quadratic extensions of totally real number fields F with narrow class number 1. For CM quadratic extensions of F, our work may be viewed as an effective affirmative answer to Hecke's Conjecture that the relative class number has an elementary arithmetic expression in terms of the relative discriminant.
{"title":"Arithmetic of Hecke L-functions of quadratic extensions of totally real fields","authors":"Marie-Hélène Tomé","doi":"10.1016/j.jnt.2024.03.013","DOIUrl":"10.1016/j.jnt.2024.03.013","url":null,"abstract":"<div><p>Deep work by Shintani in the 1970's describes Hecke <em>L</em>-functions associated to narrow ray class group characters of totally real fields <em>F</em> in terms of what are now known as Shintani zeta functions. However, for <span><math><mo>[</mo><mspace></mspace><mi>F</mi><mspace></mspace><mo>:</mo><mspace></mspace><mi>Q</mi><mspace></mspace><mo>]</mo><mspace></mspace><mo>=</mo><mspace></mspace><mi>n</mi><mspace></mspace><mo>≥</mo><mspace></mspace><mn>3</mn></math></span>, Shintani's method was ineffective due to its crucial dependence on abstract fundamental domains for the action of totally positive units of <em>F</em> on <span><math><msubsup><mrow><mi>R</mi></mrow><mrow><mo>+</mo></mrow><mrow><mi>n</mi></mrow></msubsup></math></span>, so-called <em>Shintani sets</em>. These difficulties were recently resolved in independent work of Charollois, Dasgupta, and Greenberg and Diaz y Diaz and Friedman. For those narrow ray class group characters whose conductor is an inert rational prime in a totally real field <em>F</em> with narrow class number 1, we obtain a natural combinatorial description of these sets, allowing us to obtain a simple description of the associated Hecke <em>L</em>-functions. As a consequence, we generalize earlier work of Girstmair, Hirzebruch, and Zagier, that offer combinatorial class number formulas for imaginary quadratic fields, to real and imaginary quadratic extensions of totally real number fields <em>F</em> with narrow class number 1. For CM quadratic extensions of <em>F</em>, our work may be viewed as an effective affirmative answer to Hecke's Conjecture that the relative class number has an elementary arithmetic expression in terms of the relative discriminant.</p></div>","PeriodicalId":50110,"journal":{"name":"Journal of Number Theory","volume":null,"pages":null},"PeriodicalIF":0.7,"publicationDate":"2024-04-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140634227","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}
{"title":"On the fifth-power moment of Δ(1)(x)","authors":"Dan Liu","doi":"10.1016/j.jnt.2024.01.001","DOIUrl":"10.1016/j.jnt.2024.01.001","url":null,"abstract":"<div><p>Let <span><math><msub><mrow><mi>d</mi></mrow><mrow><mo>(</mo><mn>1</mn><mo>)</mo></mrow></msub><mo>(</mo><mi>n</mi><mo>)</mo></math></span> be the <em>n</em>-th coefficient of the Dirichlet series <span><math><msup><mrow><mo>(</mo><msup><mrow><mi>ζ</mi></mrow><mrow><mo>′</mo></mrow></msup><mo>(</mo><mi>s</mi><mo>)</mo><mo>)</mo></mrow><mrow><mn>2</mn></mrow></msup><mo>=</mo><msubsup><mrow><mo>∑</mo></mrow><mrow><mi>n</mi><mo>=</mo><mn>1</mn></mrow><mrow><mo>∞</mo></mrow></msubsup><msub><mrow><mi>d</mi></mrow><mrow><mo>(</mo><mn>1</mn><mo>)</mo></mrow></msub><mo>(</mo><mi>n</mi><mo>)</mo><msup><mrow><mi>n</mi></mrow><mrow><mo>−</mo><mi>s</mi></mrow></msup></math></span> in <span><math><mo>ℜ</mo><mi>s</mi><mo>></mo><mn>1</mn></math></span>, and <span><math><msub><mrow><mi>Δ</mi></mrow><mrow><mo>(</mo><mn>1</mn><mo>)</mo></mrow></msub><mo>(</mo><mi>x</mi><mo>)</mo></math></span> be the error term of <span><math><msub><mrow><mo>∑</mo></mrow><mrow><mi>n</mi><mo>≤</mo><mi>x</mi></mrow></msub><msub><mrow><mi>d</mi></mrow><mrow><mo>(</mo><mn>1</mn><mo>)</mo></mrow></msub><mo>(</mo><mi>n</mi><mo>)</mo></math></span>. In this paper, we will study the fifth-power moment of <span><math><msub><mrow><mi>Δ</mi></mrow><mrow><mo>(</mo><mn>1</mn><mo>)</mo></mrow></msub><mo>(</mo><mi>x</mi><mo>)</mo></math></span>.</p></div>","PeriodicalId":50110,"journal":{"name":"Journal of Number Theory","volume":null,"pages":null},"PeriodicalIF":0.7,"publicationDate":"2024-04-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140766268","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}
Pub Date : 2024-03-23DOI: 10.1016/j.jnt.2024.02.001
Haiwei Sun , Yangbo Ye
{"title":"Corrigendum to “Double first moment for L(12,Sym2f×g) by applying Petersson's formula twice” [J. Number Theory 202 (2019) 141–159]","authors":"Haiwei Sun , Yangbo Ye","doi":"10.1016/j.jnt.2024.02.001","DOIUrl":"https://doi.org/10.1016/j.jnt.2024.02.001","url":null,"abstract":"","PeriodicalId":50110,"journal":{"name":"Journal of Number Theory","volume":null,"pages":null},"PeriodicalIF":0.7,"publicationDate":"2024-03-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.sciencedirect.com/science/article/pii/S0022314X24000519/pdfft?md5=8c91d0a6398f676ec7b9403ccfbd36f1&pid=1-s2.0-S0022314X24000519-main.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140195925","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}
Pub Date : 2024-03-21DOI: 10.1016/j.jnt.2024.02.013
Tim D. Browning , Igor E. Shparlinski
The question of whether or not a given integral polynomial takes infinitely many square-free values has only been addressed unconditionally for polynomials of degree at most 3. We address this question, on average, for polynomials of arbitrary degree.
给定积分多项式是否取无穷多个无平方值的问题,只在最多为 3 度的多项式中无条件地解决过。
{"title":"Square-free values of random polynomials","authors":"Tim D. Browning , Igor E. Shparlinski","doi":"10.1016/j.jnt.2024.02.013","DOIUrl":"10.1016/j.jnt.2024.02.013","url":null,"abstract":"<div><p>The question of whether or not a given integral polynomial takes infinitely many square-free values has only been addressed unconditionally for polynomials of degree at most 3. We address this question, on average, for polynomials of arbitrary degree.</p></div>","PeriodicalId":50110,"journal":{"name":"Journal of Number Theory","volume":null,"pages":null},"PeriodicalIF":0.7,"publicationDate":"2024-03-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.sciencedirect.com/science/article/pii/S0022314X24000635/pdfft?md5=303dda8172bbfefc6b5d2d771a1d29a7&pid=1-s2.0-S0022314X24000635-main.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140278363","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}
Pub Date : 2024-03-21DOI: 10.1016/j.jnt.2024.02.016
S. Fischler , T. Rivoal
We investigate the relations between the rings E, G and D of values taken at algebraic points by arithmetic Gevrey series of order either −1 (E-functions), 0 (analytic continuations of G-functions) or 1 (renormalization of divergent series solutions at ∞ of E-operators) respectively. We prove in particular that any element of G can be written as multivariate polynomial with algebraic coefficients in elements of E and D, and is the limit at infinity of some E-function along some direction. This prompts to defining and studying the notion of mixed functions, which generalizes simultaneously E-functions and arithmetic Gevrey series of order 1. Using natural conjectures for arithmetic Gevrey series of order 1 and mixed functions (which are analogues of a theorem of André and Beukers for E-functions) and the conjecture (but not necessarily all these conjectures at the same time), we deduce a number of interesting Diophantine results such as an analogue for mixed functions of Beukers' linear independence theorem for values of E-functions, the transcendence of the values of the Gamma function and its derivatives at all non-integral algebraic numbers, the transcendence of Gompertz constant as well as the fact that Euler's constant is not in E.
{"title":"Relations between values of arithmetic Gevrey series, and applications to values of the Gamma function","authors":"S. Fischler , T. Rivoal","doi":"10.1016/j.jnt.2024.02.016","DOIUrl":"10.1016/j.jnt.2024.02.016","url":null,"abstract":"<div><p>We investigate the relations between the rings <strong>E</strong>, <strong>G</strong> and <strong>D</strong> of values taken at algebraic points by arithmetic Gevrey series of order either −1 (<em>E</em>-functions), 0 (analytic continuations of <em>G</em>-functions) or 1 (renormalization of divergent series solutions at ∞ of <em>E</em>-operators) respectively. We prove in particular that any element of <strong>G</strong> can be written as multivariate polynomial with algebraic coefficients in elements of <strong>E</strong> and <strong>D</strong>, and is the limit at infinity of some <em>E</em>-function along some direction. This prompts to defining and studying the notion of mixed functions, which generalizes simultaneously <em>E</em>-functions and arithmetic Gevrey series of order 1. Using natural conjectures for arithmetic Gevrey series of order 1 and mixed functions (which are analogues of a theorem of André and Beukers for <em>E</em>-functions) and the conjecture <span><math><mi>D</mi><mo>∩</mo><mi>E</mi><mo>=</mo><mover><mrow><mi>Q</mi></mrow><mo>‾</mo></mover></math></span> (but not necessarily all these conjectures at the same time), we deduce a number of interesting Diophantine results such as an analogue for mixed functions of Beukers' linear independence theorem for values of <em>E</em>-functions, the transcendence of the values of the Gamma function and its derivatives at all non-integral algebraic numbers, the transcendence of Gompertz constant as well as the fact that Euler's constant is not in <strong>E</strong>.</p></div>","PeriodicalId":50110,"journal":{"name":"Journal of Number Theory","volume":null,"pages":null},"PeriodicalIF":0.7,"publicationDate":"2024-03-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140299930","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}