Pub Date : 2025-10-02DOI: 10.1016/j.jnt.2025.09.012
Kin Ming Tsang
We consider a variant of the strong multiplicity one theorem. Let and be two unitary cuspidal automorphic representations for that are not twist-equivalent. We find a lower bound for the lower Dirichlet density of the set of places for which , where is the trace of the Langlands conjugacy class of at v. One consequence of this result is an improvement on the existing bound on the lower Dirichlet density of the set of places for which .
{"title":"Comparing Hecke eigenvalues for pairs of automorphic representations for GL(2)","authors":"Kin Ming Tsang","doi":"10.1016/j.jnt.2025.09.012","DOIUrl":"10.1016/j.jnt.2025.09.012","url":null,"abstract":"<div><div>We consider a variant of the strong multiplicity one theorem. Let <span><math><msub><mrow><mi>π</mi></mrow><mrow><mn>1</mn></mrow></msub></math></span> and <span><math><msub><mrow><mi>π</mi></mrow><mrow><mn>2</mn></mrow></msub></math></span> be two unitary cuspidal automorphic representations for <span><math><mi>GL</mi><mo>(</mo><mn>2</mn><mo>)</mo></math></span> that are not twist-equivalent. We find a lower bound for the lower Dirichlet density of the set of places for which <span><math><mrow><mo>|</mo><msub><mrow><mi>a</mi></mrow><mrow><mi>v</mi></mrow></msub><mo>(</mo><msub><mrow><mi>π</mi></mrow><mrow><mn>1</mn></mrow></msub><mo>)</mo><mo>|</mo></mrow><mo>></mo><mrow><mo>|</mo><msub><mrow><mi>a</mi></mrow><mrow><mi>v</mi></mrow></msub><mo>(</mo><msub><mrow><mi>π</mi></mrow><mrow><mn>2</mn></mrow></msub><mo>)</mo><mo>|</mo></mrow></math></span>, where <span><math><msub><mrow><mi>a</mi></mrow><mrow><mi>v</mi></mrow></msub><mo>(</mo><msub><mrow><mi>π</mi></mrow><mrow><mi>i</mi></mrow></msub><mo>)</mo></math></span> is the trace of the Langlands conjugacy class of <span><math><msub><mrow><mi>π</mi></mrow><mrow><mi>i</mi></mrow></msub></math></span> at <em>v</em>. One consequence of this result is an improvement on the existing bound on the lower Dirichlet density of the set of places for which <span><math><mrow><mo>|</mo><msub><mrow><mi>a</mi></mrow><mrow><mi>v</mi></mrow></msub><mo>(</mo><msub><mrow><mi>π</mi></mrow><mrow><mn>1</mn></mrow></msub><mo>)</mo><mo>|</mo></mrow><mo>≠</mo><mrow><mo>|</mo><msub><mrow><mi>a</mi></mrow><mrow><mi>v</mi></mrow></msub><mo>(</mo><msub><mrow><mi>π</mi></mrow><mrow><mn>2</mn></mrow></msub><mo>)</mo><mo>|</mo></mrow></math></span>.</div></div>","PeriodicalId":50110,"journal":{"name":"Journal of Number Theory","volume":"281 ","pages":"Pages 1-42"},"PeriodicalIF":0.7,"publicationDate":"2025-10-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145326834","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 : 2025-10-02DOI: 10.1016/j.jnt.2025.09.007
Mingyu Kim
A triangular form is an integer-valued quadratic polynomial of the form , where the coefficients are positive integers and . A triangular form is called regular if it represents all positive integers which are locally represented. In this article, we determine all regular triangular forms of more than three variables.
{"title":"Regular triangular forms of rank exceeding 3","authors":"Mingyu Kim","doi":"10.1016/j.jnt.2025.09.007","DOIUrl":"10.1016/j.jnt.2025.09.007","url":null,"abstract":"<div><div>A triangular form is an integer-valued quadratic polynomial of the form <span><math><msub><mrow><mi>a</mi></mrow><mrow><mn>1</mn></mrow></msub><msub><mrow><mi>P</mi></mrow><mrow><mn>3</mn></mrow></msub><mo>(</mo><msub><mrow><mi>x</mi></mrow><mrow><mn>1</mn></mrow></msub><mo>)</mo><mo>+</mo><msub><mrow><mi>a</mi></mrow><mrow><mn>2</mn></mrow></msub><msub><mrow><mi>P</mi></mrow><mrow><mn>3</mn></mrow></msub><mo>(</mo><msub><mrow><mi>x</mi></mrow><mrow><mn>2</mn></mrow></msub><mo>)</mo><mo>+</mo><mo>⋯</mo><mo>+</mo><msub><mrow><mi>a</mi></mrow><mrow><mi>k</mi></mrow></msub><msub><mrow><mi>P</mi></mrow><mrow><mn>3</mn></mrow></msub><mo>(</mo><msub><mrow><mi>x</mi></mrow><mrow><mi>k</mi></mrow></msub><mo>)</mo></math></span>, where the coefficients <span><math><msub><mrow><mi>a</mi></mrow><mrow><mi>i</mi></mrow></msub></math></span> are positive integers and <span><math><msub><mrow><mi>P</mi></mrow><mrow><mn>3</mn></mrow></msub><mo>(</mo><mi>x</mi><mo>)</mo><mo>=</mo><mi>x</mi><mo>(</mo><mi>x</mi><mo>+</mo><mn>1</mn><mo>)</mo><mo>/</mo><mn>2</mn></math></span>. A triangular form is called regular if it represents all positive integers which are locally represented. In this article, we determine all regular triangular forms of more than three variables.</div></div>","PeriodicalId":50110,"journal":{"name":"Journal of Number Theory","volume":"280 ","pages":"Pages 825-860"},"PeriodicalIF":0.7,"publicationDate":"2025-10-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145267056","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 : 2025-10-02DOI: 10.1016/j.jnt.2025.09.011
Bartosz Sobolewski , Lukas Spiegelhofer
Let denote the number of ones in the binary expansion of the nonnegative integer n. How does behave under addition of a constant t? In order to study the differences for all , we consider the associated characteristic function . Our main theorem is a structural result on the decomposition of into a sum of components. We also study in detail the case that t contains at most two blocks of consecutive 1s. The results in this paper are motivated by Cusick's conjecture on the sum-of-digits function. This conjecture is concerned with the central tendency of the corresponding probability distributions, and is still unsolved.
{"title":"Decomposing the sum-of-digits correlation measure","authors":"Bartosz Sobolewski , Lukas Spiegelhofer","doi":"10.1016/j.jnt.2025.09.011","DOIUrl":"10.1016/j.jnt.2025.09.011","url":null,"abstract":"<div><div>Let <span><math><mi>s</mi><mo>(</mo><mi>n</mi><mo>)</mo></math></span> denote the number of ones in the binary expansion of the nonnegative integer <em>n</em>. How does <span><math><mi>s</mi></math></span> behave under addition of a constant <em>t</em>? In order to study the differences<span><span><span><math><mi>s</mi><mo>(</mo><mi>n</mi><mo>+</mo><mi>t</mi><mo>)</mo><mo>−</mo><mi>s</mi><mo>(</mo><mi>n</mi><mo>)</mo><mo>,</mo></math></span></span></span> for all <span><math><mi>n</mi><mo>≥</mo><mn>0</mn></math></span>, we consider the associated characteristic function <span><math><msub><mrow><mi>γ</mi></mrow><mrow><mi>t</mi></mrow></msub></math></span>. Our main theorem is a structural result on the decomposition of <span><math><msub><mrow><mi>γ</mi></mrow><mrow><mi>t</mi></mrow></msub></math></span> into a sum of <em>components</em>. We also study in detail the case that <em>t</em> contains at most two blocks of consecutive <span>1</span>s. The results in this paper are motivated by <em>Cusick's conjecture</em> on the sum-of-digits function. This conjecture is concerned with the <em>central tendency</em> of the corresponding probability distributions, and is still unsolved.</div></div>","PeriodicalId":50110,"journal":{"name":"Journal of Number Theory","volume":"280 ","pages":"Pages 702-736"},"PeriodicalIF":0.7,"publicationDate":"2025-10-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145267057","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 : 2025-10-02DOI: 10.1016/j.jnt.2025.09.005
Attila Bérczes , Lajos Hajdu , Florian Luca , István Pink
In this paper, we look at terms of Lucas sequences whose prime factors have indices with bounded gaps in the sequence of all prime numbers. Some of our results depend on certain widely believed conjectures. In our proofs we combine various tools, including Baker's method, the subspace theorem, and results of Stewart, and Murty and Wong.
{"title":"On members of Lucas sequences with bounded prime gaps","authors":"Attila Bérczes , Lajos Hajdu , Florian Luca , István Pink","doi":"10.1016/j.jnt.2025.09.005","DOIUrl":"10.1016/j.jnt.2025.09.005","url":null,"abstract":"<div><div>In this paper, we look at terms of Lucas sequences whose prime factors have indices with bounded gaps in the sequence of all prime numbers. Some of our results depend on certain widely believed conjectures. In our proofs we combine various tools, including Baker's method, the subspace theorem, and results of Stewart, and Murty and Wong.</div></div>","PeriodicalId":50110,"journal":{"name":"Journal of Number Theory","volume":"280 ","pages":"Pages 897-917"},"PeriodicalIF":0.7,"publicationDate":"2025-10-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145262237","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 : 2025-10-01DOI: 10.1016/j.jnt.2025.09.003
Sara Chari , Sergio Ricardo Zapata Ceballos , Erik Holmes , Fatemeh Jalalvand , Rahinatou Yuh Njah Nchiwo , Kelly O'Connor , Fabian Ramirez , Sameera Vemulapalli
There has been a recent surge of interest on distributions of shapes of unit lattices in number fields, due to both their applications to number theory and the lack of known results.
In this work we focus on -quartic fields with signature ; such fields have a rank 2 unit group. Viewing the unit lattice as a point of , we prove that every lattice which arises this way must correspond to a transcendental point on the boundary of a certain fundamental domain of . Moreover, we produce three explicit (algebraic) points of which are limit points of the set of (points associated to) unit lattices of -quartic fields with signature .
{"title":"Unit lattices of D4-quartic number fields with signature (2,1)","authors":"Sara Chari , Sergio Ricardo Zapata Ceballos , Erik Holmes , Fatemeh Jalalvand , Rahinatou Yuh Njah Nchiwo , Kelly O'Connor , Fabian Ramirez , Sameera Vemulapalli","doi":"10.1016/j.jnt.2025.09.003","DOIUrl":"10.1016/j.jnt.2025.09.003","url":null,"abstract":"<div><div>There has been a recent surge of interest on distributions of shapes of unit lattices in number fields, due to both their applications to number theory and the lack of known results.</div><div>In this work we focus on <span><math><msub><mrow><mi>D</mi></mrow><mrow><mn>4</mn></mrow></msub></math></span>-quartic fields with signature <span><math><mo>(</mo><mn>2</mn><mo>,</mo><mn>1</mn><mo>)</mo></math></span>; such fields have a rank 2 unit group. Viewing the unit lattice as a point of <span><math><msub><mrow><mi>GL</mi></mrow><mrow><mn>2</mn></mrow></msub><mo>(</mo><mi>Z</mi><mo>)</mo><mo>﹨</mo><mi>h</mi></math></span>, we prove that every lattice which arises this way must correspond to a transcendental point on the boundary of a certain fundamental domain of <span><math><msub><mrow><mi>GL</mi></mrow><mrow><mn>2</mn></mrow></msub><mo>(</mo><mi>Z</mi><mo>)</mo><mo>﹨</mo><mi>h</mi></math></span>. Moreover, we produce three explicit (algebraic) points of <span><math><msub><mrow><mi>GL</mi></mrow><mrow><mn>2</mn></mrow></msub><mo>(</mo><mi>Z</mi><mo>)</mo><mo>﹨</mo><mi>h</mi></math></span> which are limit points of the set of (points associated to) unit lattices of <span><math><msub><mrow><mi>D</mi></mrow><mrow><mn>4</mn></mrow></msub></math></span>-quartic fields with signature <span><math><mo>(</mo><mn>2</mn><mo>,</mo><mn>1</mn><mo>)</mo></math></span>.</div></div>","PeriodicalId":50110,"journal":{"name":"Journal of Number Theory","volume":"280 ","pages":"Pages 761-784"},"PeriodicalIF":0.7,"publicationDate":"2025-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145267055","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 : 2025-10-01DOI: 10.1016/j.jnt.2025.09.001
Wang-Xing Yu , Jun-Jia Zhao
Let be a fixed real number and be an integer. In 2023, Yu, Chen and Chen proved that for any sufficiently large positive integer n, if with and , then there is a power of r that can be represented as the sum of distinct elements of A, where is a computable positive integer only related to r. In this paper, we improve this result for . We prove that the condition can be replaced by , where is a computable positive integer only related to r. We will also show that this lower bound is optimal, namely, for infinitely many positive integers n, there exists with and such that no power of r can be represented as the sum of distinct elements of B. This also generalizes a result in which obtained by Yang and Zhao.
设ε>;0为固定实数,r≥2为整数。Yu、Chen、Chen在2023年证明了对于任何足够大的正整数n,当A≤gcd (A) =1,且| (A)≤|>(1/m(r)+ε)n时,则存在一个可表示为A的不同元素和的幂,其中m(r)是仅与r相关的可计算正整数。本文在r≥3时改进了这一结果。我们证明条件| |祝辞(1 / m (r) +ε)n可以取而代之的是| |在n / m (r) + f (r), f (r)是一个可计算的正整数仅与r。我们还将表明,该下界是最优的,即为无限多的正整数n,存在B⊆(1,n)肾小球疾病B = 1 B和| | = n / m (r) + f r (r),这样任何力量可以表示成不同的元素之和B .这也概括的结果r = 2通过杨和赵。
{"title":"An optimal lower bound for the size of the restricted sumsets containing powers","authors":"Wang-Xing Yu , Jun-Jia Zhao","doi":"10.1016/j.jnt.2025.09.001","DOIUrl":"10.1016/j.jnt.2025.09.001","url":null,"abstract":"<div><div>Let <span><math><mi>ε</mi><mo>></mo><mn>0</mn></math></span> be a fixed real number and <span><math><mi>r</mi><mo>≥</mo><mn>2</mn></math></span> be an integer. In 2023, Yu, Chen and Chen proved that for any sufficiently large positive integer <em>n</em>, if <span><math><mi>A</mi><mo>⊆</mo><mo>[</mo><mn>1</mn><mo>,</mo><mi>n</mi><mo>]</mo></math></span> with <span><math><mi>gcd</mi><mo></mo><mi>A</mi><mo>=</mo><mn>1</mn></math></span> and <span><math><mo>|</mo><mi>A</mi><mo>|</mo><mo>></mo><mo>(</mo><mn>1</mn><mo>/</mo><mi>m</mi><mo>(</mo><mi>r</mi><mo>)</mo><mo>+</mo><mi>ε</mi><mo>)</mo><mi>n</mi></math></span>, then there is a power of <em>r</em> that can be represented as the sum of distinct elements of <em>A</em>, where <span><math><mi>m</mi><mo>(</mo><mi>r</mi><mo>)</mo></math></span> is a computable positive integer only related to <em>r</em>. In this paper, we improve this result for <span><math><mi>r</mi><mo>≥</mo><mn>3</mn></math></span>. We prove that the condition <span><math><mo>|</mo><mi>A</mi><mo>|</mo><mo>></mo><mo>(</mo><mn>1</mn><mo>/</mo><mi>m</mi><mo>(</mo><mi>r</mi><mo>)</mo><mo>+</mo><mi>ε</mi><mo>)</mo><mi>n</mi></math></span> can be replaced by <span><math><mo>|</mo><mi>A</mi><mo>|</mo><mo>></mo><mi>n</mi><mo>/</mo><mi>m</mi><mo>(</mo><mi>r</mi><mo>)</mo><mo>+</mo><mi>f</mi><mo>(</mo><mi>r</mi><mo>)</mo></math></span>, where <span><math><mi>f</mi><mo>(</mo><mi>r</mi><mo>)</mo></math></span> is a computable positive integer only related to <em>r</em>. We will also show that this lower bound is optimal, namely, for infinitely many positive integers <em>n</em>, there exists <span><math><mi>B</mi><mo>⊆</mo><mo>[</mo><mn>1</mn><mo>,</mo><mi>n</mi><mo>]</mo></math></span> with <span><math><mi>gcd</mi><mo></mo><mi>B</mi><mo>=</mo><mn>1</mn></math></span> and <span><math><mo>|</mo><mi>B</mi><mo>|</mo><mo>=</mo><mi>n</mi><mo>/</mo><mi>m</mi><mo>(</mo><mi>r</mi><mo>)</mo><mo>+</mo><mi>f</mi><mo>(</mo><mi>r</mi><mo>)</mo></math></span> such that no power of <em>r</em> can be represented as the sum of distinct elements of <em>B</em>. This also generalizes a result in which <span><math><mi>r</mi><mo>=</mo><mn>2</mn></math></span> obtained by Yang and Zhao.</div></div>","PeriodicalId":50110,"journal":{"name":"Journal of Number Theory","volume":"280 ","pages":"Pages 785-807"},"PeriodicalIF":0.7,"publicationDate":"2025-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145267054","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 : 2025-10-01DOI: 10.1016/j.jnt.2025.09.004
Georges Gras
Let be an imaginary quadratic field. We consider the properties of capitulation of the p-class group of k in the anti-cyclotomic -extension of k; for this, using a new approach based on the -function (Theorem 2.3, Theorem 3.4), we determine the first layer of over k, and we show that some partial capitulation may exist in , even when is totally ramified. We have conjectured that this phenomenon of capitulation is specific of the -extensions of k, distinct from the cyclotomic one. For , we characterize a sub-family of fields k (Normal Split cases) for which is not linearly disjoint from the Hilbert class field (Theorem 5.1). No assumptions are made on the splitting of 3 in k and in , nor on the structures of their 3-class groups. Four pari/gp programs (7.1, 7.2, 7.3, 7.4 depending on the classification of Definition 2.10) are given, computing a defining cubic polynomial of , and the main invariants attached to the fields k, , ; some relations with Iwasawa's invariants are discussed (Theorem 9.6).
设k=Q(−m)为虚二次域。讨论了k的反切环zp -扩展kac中k的p类群的投降性质;为此,使用基于logp函数(定理2.3,定理3.4)的新方法,我们确定了kac/k的第一层k1ac,并且我们证明了即使kac/k完全分叉,k1ac中也可能存在部分投降。我们已经推测,这种投降现象是k的zp扩展所特有的,不同于切环现象。对于p=3,我们刻画了域k(正常分裂情况)的子族,其中kac与Hilbert类域(定理5.1)不是线性不相交。没有假设3在k和k f =Q(3m)中的分裂,也没有假设它们的3类群的结构。给出了四个pari/gp程序(7.1,7.2,7.3,7.4,取决于定义2.10的分类),计算了k1ac的定义三次多项式,以及附加到字段k, k, k1ac的主要不变量;讨论了与Iwasawa不变量的一些关系(定理9.6)。
{"title":"Initial layer of the anti-cyclotomic Zp-extension of Q(−m) and capitulation phenomenon","authors":"Georges Gras","doi":"10.1016/j.jnt.2025.09.004","DOIUrl":"10.1016/j.jnt.2025.09.004","url":null,"abstract":"<div><div>Let <span><math><mi>k</mi><mo>=</mo><mi>Q</mi><mo>(</mo><msqrt><mrow><mo>−</mo><mi>m</mi></mrow></msqrt><mo>)</mo></math></span> be an imaginary quadratic field. We consider the properties of capitulation of the <em>p</em>-class group of <em>k</em> in the anti-cyclotomic <span><math><msub><mrow><mi>Z</mi></mrow><mrow><mi>p</mi></mrow></msub></math></span>-extension <span><math><msup><mrow><mi>k</mi></mrow><mrow><mi>ac</mi></mrow></msup></math></span> of <em>k</em>; for this, using a new approach based on the <span><math><msub><mrow><mi>Log</mi></mrow><mrow><mi>p</mi></mrow></msub></math></span>-function (<span><span>Theorem 2.3</span></span>, <span><span>Theorem 3.4</span></span>), we determine the first layer <span><math><msubsup><mrow><mi>k</mi></mrow><mrow><mn>1</mn></mrow><mrow><mi>ac</mi></mrow></msubsup></math></span> of <span><math><msup><mrow><mi>k</mi></mrow><mrow><mi>ac</mi></mrow></msup></math></span> over <em>k</em>, and we show that some partial capitulation may exist in <span><math><msubsup><mrow><mi>k</mi></mrow><mrow><mn>1</mn></mrow><mrow><mi>ac</mi></mrow></msubsup></math></span>, even when <span><math><msup><mrow><mi>k</mi></mrow><mrow><mi>ac</mi></mrow></msup><mo>/</mo><mi>k</mi></math></span> is totally ramified. We have conjectured that this phenomenon of capitulation is specific of the <span><math><msub><mrow><mi>Z</mi></mrow><mrow><mi>p</mi></mrow></msub></math></span>-extensions of <em>k</em>, distinct from the cyclotomic one. For <span><math><mi>p</mi><mo>=</mo><mn>3</mn></math></span>, we characterize a sub-family of fields <em>k</em> (Normal Split cases) for which <span><math><msup><mrow><mi>k</mi></mrow><mrow><mi>ac</mi></mrow></msup></math></span> is not linearly disjoint from the Hilbert class field (<span><span>Theorem 5.1</span></span>). No assumptions are made on the splitting of 3 in <em>k</em> and in <span><math><msup><mrow><mi>k</mi></mrow><mrow><mo>⁎</mo></mrow></msup><mo>=</mo><mi>Q</mi><mo>(</mo><msqrt><mrow><mn>3</mn><mi>m</mi></mrow></msqrt><mo>)</mo></math></span>, nor on the structures of their 3-class groups. Four <span>pari/gp</span> programs (<span><span>7.1</span></span>, <span><span>7.2</span></span>, <span><span>7.3</span></span>, <span><span>7.4</span></span> depending on the classification of <span><span>Definition 2.10</span></span>) are given, computing a defining cubic polynomial of <span><math><msubsup><mrow><mi>k</mi></mrow><mrow><mn>1</mn></mrow><mrow><mi>ac</mi></mrow></msubsup></math></span>, and the main invariants attached to the fields <em>k</em>, <span><math><msup><mrow><mi>k</mi></mrow><mrow><mo>⁎</mo></mrow></msup></math></span>, <span><math><msubsup><mrow><mi>k</mi></mrow><mrow><mn>1</mn></mrow><mrow><mi>ac</mi></mrow></msubsup></math></span>; some relations with Iwasawa's invariants are discussed (<span><span>Theorem 9.6</span></span>).</div></div>","PeriodicalId":50110,"journal":{"name":"Journal of Number Theory","volume":"280 ","pages":"Pages 634-701"},"PeriodicalIF":0.7,"publicationDate":"2025-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145267235","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 : 2025-10-01DOI: 10.1016/j.jnt.2025.09.006
Zhigang Tian , Lulu Fang
In this paper, we study two problems concerning the relationship between regular continued fractions (RCFs) and backward continued fractions (BCFs). The first problem addresses Lochs-type theorems for RCFs and BCFs, where we compare the number of partial quotients in one expansion as a function of the number of partial quotients in the other expansion. The second problem investigates the approximation properties of RCFs and BCFs, with particular attention to the set of irrational numbers that are infinitely often better approximated by BCFs than by RCFs. We show that this set has Lebesgue measure zero and further analyze it from the perspectives of Baire category and fractal dimension.
{"title":"Comparing regular and backward continued fractions: Lochs-type theorems and approximation properties","authors":"Zhigang Tian , Lulu Fang","doi":"10.1016/j.jnt.2025.09.006","DOIUrl":"10.1016/j.jnt.2025.09.006","url":null,"abstract":"<div><div>In this paper, we study two problems concerning the relationship between regular continued fractions (RCFs) and backward continued fractions (BCFs). The first problem addresses Lochs-type theorems for RCFs and BCFs, where we compare the number of partial quotients in one expansion as a function of the number of partial quotients in the other expansion. The second problem investigates the approximation properties of RCFs and BCFs, with particular attention to the set of irrational numbers that are infinitely often better approximated by BCFs than by RCFs. We show that this set has Lebesgue measure zero and further analyze it from the perspectives of Baire category and fractal dimension.</div></div>","PeriodicalId":50110,"journal":{"name":"Journal of Number Theory","volume":"280 ","pages":"Pages 947-972"},"PeriodicalIF":0.7,"publicationDate":"2025-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145267042","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 : 2025-10-01DOI: 10.1016/j.jnt.2025.09.002
Ho Yun Jung , Ja Kyung Koo , Dong Hwa Shin , Gyucheol Shin
For a positive integer N, we define an extended modular function of level N motivated by physics and investigate its fundamental properties. Let K be an imaginary quadratic field, and let be an order in K of discriminant D. Let denote the ray class field of modulo . For , we provide an explicit description of the Galois group using special values of extended modular functions of level N and the definite form class group of discriminant D and level N.
{"title":"Extended modular functions and definite form class groups","authors":"Ho Yun Jung , Ja Kyung Koo , Dong Hwa Shin , Gyucheol Shin","doi":"10.1016/j.jnt.2025.09.002","DOIUrl":"10.1016/j.jnt.2025.09.002","url":null,"abstract":"<div><div>For a positive integer <em>N</em>, we define an extended modular function of level <em>N</em> motivated by physics and investigate its fundamental properties. Let <em>K</em> be an imaginary quadratic field, and let <span><math><mi>O</mi></math></span> be an order in <em>K</em> of discriminant <em>D</em>. Let <span><math><msub><mrow><mi>K</mi></mrow><mrow><mi>O</mi><mo>,</mo><mspace></mspace><mi>N</mi></mrow></msub></math></span> denote the ray class field of <span><math><mi>O</mi></math></span> modulo <span><math><mi>N</mi><mi>O</mi></math></span>. For <span><math><mi>N</mi><mo>≥</mo><mn>3</mn></math></span>, we provide an explicit description of the Galois group <span><math><mrow><mi>Gal</mi></mrow><mo>(</mo><msub><mrow><mi>K</mi></mrow><mrow><mi>O</mi><mo>,</mo><mspace></mspace><mi>N</mi></mrow></msub><mo>/</mo><mi>Q</mi><mo>)</mo></math></span> using special values of extended modular functions of level <em>N</em> and the definite form class group of discriminant <em>D</em> and level <em>N</em>.</div></div>","PeriodicalId":50110,"journal":{"name":"Journal of Number Theory","volume":"280 ","pages":"Pages 808-824"},"PeriodicalIF":0.7,"publicationDate":"2025-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145267052","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 : 2025-09-29DOI: 10.1016/j.jnt.2025.08.015
Víctor Hernández Barrios , Santiago Molina Blanco
In this note we define anticyclotomic p-adic measures attached to a modular elliptic curve E over a general number field F, a quadratic extension , and a set of places S of F above p. We study the exceptional zero phenomenon that arises when E has multiplicative reduction at some place in S. In this direction, we obtain p-adic Gross-Zagier formulas relating derivatives of the corresponding p-adic L-functions to the extended Mordell-Weil group of E. Our main result uses the recent construction of plectic points on elliptic curves due to Fornea and Gehrmann and generalizes their main result in [9]. We obtain a formula that computes the r-th derivative of the p-adic L-function, where r is the number of places in S where E has multiplicative reduction, in terms of plectic points and Tate periods of E.
{"title":"Exceptional zero formulas for anticyclotomic p-adic L-functions","authors":"Víctor Hernández Barrios , Santiago Molina Blanco","doi":"10.1016/j.jnt.2025.08.015","DOIUrl":"10.1016/j.jnt.2025.08.015","url":null,"abstract":"<div><div>In this note we define anticyclotomic <em>p</em>-adic measures attached to a modular elliptic curve <em>E</em> over a general number field <em>F</em>, a quadratic extension <span><math><mi>K</mi><mo>/</mo><mi>F</mi></math></span>, and a set of places <em>S</em> of <em>F</em> above <em>p</em>. We study the exceptional zero phenomenon that arises when <em>E</em> has multiplicative reduction at some place in <em>S</em>. In this direction, we obtain <em>p</em>-adic Gross-Zagier formulas relating derivatives of the corresponding <em>p</em>-adic L-functions to the extended Mordell-Weil group of <em>E</em>. Our main result uses the recent construction of plectic points on elliptic curves due to Fornea and Gehrmann and generalizes their main result in <span><span>[9]</span></span>. We obtain a formula that computes the <em>r</em>-th derivative of the <em>p</em>-adic L-function, where <em>r</em> is the number of places in <em>S</em> where <em>E</em> has multiplicative reduction, in terms of plectic points and Tate periods of <em>E</em>.</div></div>","PeriodicalId":50110,"journal":{"name":"Journal of Number Theory","volume":"280 ","pages":"Pages 583-633"},"PeriodicalIF":0.7,"publicationDate":"2025-09-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145267059","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}