Pub Date : 2025-01-21DOI: 10.1016/j.jnt.2024.11.006
Jae Hyung Sim
The work of Darmon, Pozzi, and Vonk [3] has recently shown that the RM-values of the Dedekind-Rademacher cocycle are Gross-Stark units up to controlled torsion. The authors of [3] remarked that the measure-valued cohomology class, which we denote , underlying is the level 1 incarnation of earlier constructions in [1]. In this paper, we make this relationship explicit by computing a concrete cocycle representative of an adelic incarnation by tracing the construction of the cohomology class and comparing periods of weight 2 Eisenstein series. While maintaining a global perspective in our computations, we configure the appropriate method of smoothing cocycles which exactly yields the p-adic measures of [1] when applied to . These methods will also explain the optional degree zero condition imposed in [1] which was remarked upon in [6] and [7].
{"title":"Explicit cocycle of the Dedekind-Rademacher cohomology class and the Darmon-Dasgupta measures","authors":"Jae Hyung Sim","doi":"10.1016/j.jnt.2024.11.006","DOIUrl":"10.1016/j.jnt.2024.11.006","url":null,"abstract":"<div><div>The work of Darmon, Pozzi, and Vonk <span><span>[3]</span></span> has recently shown that the RM-values of the Dedekind-Rademacher cocycle <span><math><msub><mrow><mi>J</mi></mrow><mrow><mi>D</mi><mi>R</mi></mrow></msub></math></span> are Gross-Stark units up to controlled torsion. The authors of <span><span>[3]</span></span> remarked that the measure-valued cohomology class, which we denote <span><math><msubsup><mrow><mi>μ</mi></mrow><mrow><mi>D</mi><mi>R</mi></mrow><mrow><mi>p</mi></mrow></msubsup></math></span>, underlying <span><math><msub><mrow><mi>J</mi></mrow><mrow><mi>D</mi><mi>R</mi></mrow></msub></math></span> is the level 1 incarnation of earlier constructions in <span><span>[1]</span></span>. In this paper, we make this relationship explicit by computing a concrete cocycle representative of an adelic incarnation <span><math><msub><mrow><mi>μ</mi></mrow><mrow><mi>D</mi><mi>R</mi></mrow></msub></math></span> by tracing the construction of the cohomology class and comparing periods of weight 2 Eisenstein series. While maintaining a global perspective in our computations, we configure the appropriate method of smoothing cocycles which exactly yields the <em>p</em>-adic measures of <span><span>[1]</span></span> when applied to <span><math><msub><mrow><mi>μ</mi></mrow><mrow><mi>D</mi><mi>R</mi></mrow></msub></math></span>. These methods will also explain the optional degree zero condition imposed in <span><span>[1]</span></span> which was remarked upon in <span><span>[6]</span></span> and <span><span>[7]</span></span>.</div></div>","PeriodicalId":50110,"journal":{"name":"Journal of Number Theory","volume":"271 ","pages":"Pages 150-188"},"PeriodicalIF":0.6,"publicationDate":"2025-01-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143128938","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-01-21DOI: 10.1016/j.jnt.2024.11.008
Igor E. Shparlinski , Laurence P. Wijaya
Let be the number of nonzero coefficients in the m-th cyclotomic polynomial. For real and we define and show that for any fixed , uniformly over γ with we have an asymptotic formula where is an explicit constant depending only on γ. This extends the previous result of É. Fouvry (2013), which has 12/25 instead of 9/20. This improvement is based on new ingredient including work of W. Duke, J. Friedlander and H. Iwaniec (1997).
{"title":"On nonzero coefficients of binary cyclotomic polynomials","authors":"Igor E. Shparlinski , Laurence P. Wijaya","doi":"10.1016/j.jnt.2024.11.008","DOIUrl":"10.1016/j.jnt.2024.11.008","url":null,"abstract":"<div><div>Let <span><math><mi>ϑ</mi><mo>(</mo><mi>m</mi><mo>)</mo></math></span> be the number of nonzero coefficients in the <em>m</em>-th cyclotomic polynomial. For real <span><math><mi>γ</mi><mo>></mo><mn>0</mn></math></span> and <span><math><mi>x</mi><mo>≥</mo><mn>2</mn></math></span> we define<span><span><span><math><mrow><msub><mrow><mi>H</mi></mrow><mrow><mi>γ</mi></mrow></msub><mo>(</mo><mi>x</mi><mo>)</mo><mo>=</mo><mi>#</mi><mrow><mo>{</mo><mi>m</mi><mo>:</mo><mspace></mspace><mi>m</mi><mo>=</mo><mi>p</mi><mi>q</mi><mo>≤</mo><mi>x</mi><mo>,</mo><mspace></mspace><mi>p</mi><mo><</mo><mi>q</mi><mtext> primes </mtext><mo>,</mo><mspace></mspace><mi>ϑ</mi><mo>(</mo><mi>m</mi><mo>)</mo><mo>≤</mo><msup><mrow><mi>m</mi></mrow><mrow><mn>1</mn><mo>/</mo><mn>2</mn><mo>+</mo><mi>γ</mi></mrow></msup><mo>}</mo></mrow></mrow><mo>,</mo></math></span></span></span> and show that for any fixed <span><math><mi>η</mi><mo>></mo><mn>0</mn></math></span>, uniformly over <em>γ</em> with<span><span><span><math><mn>9</mn><mo>/</mo><mn>20</mn><mo>+</mo><mi>η</mi><mo>≤</mo><mi>γ</mi><mo>≤</mo><mn>1</mn><mo>/</mo><mn>2</mn><mo>−</mo><mi>η</mi><mo>,</mo></math></span></span></span> we have an asymptotic formula<span><span><span><math><msub><mrow><mi>H</mi></mrow><mrow><mi>γ</mi></mrow></msub><mo>(</mo><mi>x</mi><mo>)</mo><mo>∼</mo><mi>C</mi><mo>(</mo><mi>γ</mi><mo>)</mo><msup><mrow><mi>x</mi></mrow><mrow><mn>1</mn><mo>/</mo><mn>2</mn><mo>+</mo><mi>γ</mi></mrow></msup><mo>/</mo><mi>log</mi><mo></mo><mi>x</mi><mo>,</mo><mspace></mspace><mi>x</mi><mo>→</mo><mo>∞</mo><mo>,</mo></math></span></span></span> where <span><math><mi>C</mi><mo>(</mo><mi>γ</mi><mo>)</mo><mo>></mo><mn>0</mn></math></span> is an explicit constant depending only on <em>γ</em>. This extends the previous result of É. Fouvry (2013), which has 12/25 instead of 9/20. This improvement is based on new ingredient including work of W. Duke, J. Friedlander and H. Iwaniec (1997).</div></div>","PeriodicalId":50110,"journal":{"name":"Journal of Number Theory","volume":"271 ","pages":"Pages 246-258"},"PeriodicalIF":0.6,"publicationDate":"2025-01-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143128946","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-12-16DOI: 10.1016/j.jnt.2024.11.003
Jerson Caro , Natalia Garcia-Fritz
For an elliptic curve E defined over the field of complex numbers, we classify all translates of elliptic curves in such that the x-coordinates satisfy a linear equation. This classification enables us to establish a relation between the rank of finite rank subgroups of E and triples in E whose x-coordinates are linearly related. The method of proof integrates complex analytic techniques on elliptic curves with results of Gao, Ge and Kühne on Uniform Mordell-Lang Conjecture for subvarieties in abelian varieties.
{"title":"Linear x-coordinate relations of triples on elliptic curves","authors":"Jerson Caro , Natalia Garcia-Fritz","doi":"10.1016/j.jnt.2024.11.003","DOIUrl":"10.1016/j.jnt.2024.11.003","url":null,"abstract":"<div><div>For an elliptic curve <em>E</em> defined over the field <span><math><mi>C</mi></math></span> of complex numbers, we classify all translates of elliptic curves in <span><math><msup><mrow><mi>E</mi></mrow><mrow><mn>3</mn></mrow></msup></math></span> such that the <em>x</em>-coordinates satisfy a linear equation. This classification enables us to establish a relation between the rank of finite rank subgroups of <em>E</em> and triples in <em>E</em> whose <em>x</em>-coordinates are linearly related. The method of proof integrates complex analytic techniques on elliptic curves with results of Gao, Ge and Kühne on Uniform Mordell-Lang Conjecture for subvarieties in abelian varieties.</div></div>","PeriodicalId":50110,"journal":{"name":"Journal of Number Theory","volume":"271 ","pages":"Pages 109-121"},"PeriodicalIF":0.6,"publicationDate":"2024-12-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143128943","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-12-10DOI: 10.1016/j.jnt.2024.10.013
Shivani Goel , M. Ram Murty
We derive a limit formula for higher convolutions of Ramanujan sums, generalizing an old result of Carmichael. We then apply this in conjunction with the general theory of arithmetical functions of several variables to give a heuristic derivation of the Hardy-Littlewood formula for the number of prime k-tuplets less than x.
{"title":"Higher convolutions of Ramanujan sums","authors":"Shivani Goel , M. Ram Murty","doi":"10.1016/j.jnt.2024.10.013","DOIUrl":"10.1016/j.jnt.2024.10.013","url":null,"abstract":"<div><div>We derive a limit formula for higher convolutions of Ramanujan sums, generalizing an old result of Carmichael. We then apply this in conjunction with the general theory of arithmetical functions of several variables to give a heuristic derivation of the Hardy-Littlewood formula for the number of prime <em>k</em>-tuplets less than <em>x</em>.</div></div>","PeriodicalId":50110,"journal":{"name":"Journal of Number Theory","volume":"271 ","pages":"Pages 99-108"},"PeriodicalIF":0.6,"publicationDate":"2024-12-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143128942","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-12-03DOI: 10.1016/j.jnt.2024.09.010
Titus W. Hilberdink
We discuss the main result of [1] which is concerned with the study of generalised prime systems for which the integer counting function is asymptotically very well-behaved, in the sense that , where ρ is a positive constant and . For such systems, the associated zeta function is holomorphic for . It was claimed that for , for (i) any , and (ii) for for all such σ except possibly one value.
The proof of these statements contains a flaw however, and in this Corrigendum we indicate where the mistake occurred but show that the proof can be rectified to still obtain (i) and get a slightly weaker result for (ii). The resulting Corollary 2 of [1] concerning the Dirichlet divisor problem for generalised integers remains essentially correct.
{"title":"Correction to: “Ω-results for Beurling's zeta function and lower bounds for the generalised Dirichlet divisor problem” [J. Number Theory 130 (2010) 707–715]","authors":"Titus W. Hilberdink","doi":"10.1016/j.jnt.2024.09.010","DOIUrl":"10.1016/j.jnt.2024.09.010","url":null,"abstract":"<div><div>We discuss the main result of <span><span>[1]</span></span> which is concerned with the study of generalised prime systems for which the integer counting function <span><math><msub><mrow><mi>N</mi></mrow><mrow><mi>P</mi></mrow></msub><mo>(</mo><mi>x</mi><mo>)</mo></math></span> is asymptotically very well-behaved, in the sense that <span><math><msub><mrow><mi>N</mi></mrow><mrow><mi>P</mi></mrow></msub><mo>(</mo><mi>x</mi><mo>)</mo><mo>=</mo><mi>ρ</mi><mi>x</mi><mo>+</mo><mi>O</mi><mo>(</mo><msup><mrow><mi>x</mi></mrow><mrow><mi>β</mi></mrow></msup><mo>)</mo></math></span>, where <em>ρ</em> is a positive constant and <span><math><mi>β</mi><mo><</mo><mfrac><mrow><mn>1</mn></mrow><mrow><mn>2</mn></mrow></mfrac></math></span>. For such systems, the associated zeta function <span><math><msub><mrow><mi>ζ</mi></mrow><mrow><mi>P</mi></mrow></msub><mo>(</mo><mi>s</mi><mo>)</mo></math></span> is holomorphic for <span><math><mi>σ</mi><mo>=</mo><mo>ℜ</mo><mi>s</mi><mo>></mo><mi>β</mi></math></span>. It was claimed that for <span><math><mi>β</mi><mo><</mo><mi>σ</mi><mo><</mo><mfrac><mrow><mn>1</mn></mrow><mrow><mn>2</mn></mrow></mfrac></math></span>, <span><math><msubsup><mrow><mo>∫</mo></mrow><mrow><mn>0</mn></mrow><mrow><mi>T</mi></mrow></msubsup><mo>|</mo><msub><mrow><mi>ζ</mi></mrow><mrow><mi>P</mi></mrow></msub><mo>(</mo><mi>σ</mi><mo>+</mo><mi>i</mi><mi>t</mi><mo>)</mo><msup><mrow><mo>|</mo></mrow><mrow><mn>2</mn></mrow></msup><mi>d</mi><mi>t</mi><mo>=</mo><mi>Ω</mi><mo>(</mo><msup><mrow><mi>T</mi></mrow><mrow><mn>2</mn><mo>−</mo><mn>2</mn><mi>σ</mi><mo>−</mo><mi>ε</mi></mrow></msup><mo>)</mo></math></span> for (i) any <span><math><mi>ε</mi><mo>></mo><mn>0</mn></math></span>, and (ii) for <span><math><mi>ε</mi><mo>=</mo><mn>0</mn></math></span> for all such <em>σ</em> except possibly one value.</div><div>The proof of these statements contains a flaw however, and in this Corrigendum we indicate where the mistake occurred but show that the proof can be rectified to still obtain (i) and get a slightly weaker result for (ii). The resulting Corollary 2 of <span><span>[1]</span></span> concerning the Dirichlet divisor problem for generalised integers remains essentially correct.</div></div>","PeriodicalId":50110,"journal":{"name":"Journal of Number Theory","volume":"269 ","pages":"Pages 460-464"},"PeriodicalIF":0.6,"publicationDate":"2024-12-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143133641","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-12-03DOI: 10.1016/j.jnt.2024.10.012
Luming Zhao
Let p be an odd prime number and K a mixed characteristic complete discrete valuation field with perfect residue field of characteristic p. We construct a three-term complex, defined in terms of the -module of a p-adic representation and prove its homology is isomorphic to the Galois cohomology of the representation. We further show that our complex is quasi-isomorphic to the four-term complex constructed by Tavares Ribeiro, providing an alternative proof of our result. As an application, we describe Galois cohomology of the Tate module associated to a p-divisible group in terms of corresponding Breuil-Kisin modules.
{"title":"Herr complex of (φ,τ)-modules","authors":"Luming Zhao","doi":"10.1016/j.jnt.2024.10.012","DOIUrl":"10.1016/j.jnt.2024.10.012","url":null,"abstract":"<div><div>Let <em>p</em> be an odd prime number and <em>K</em> a mixed characteristic complete discrete valuation field with perfect residue field of characteristic <em>p</em>. We construct a three-term complex, defined in terms of the <span><math><mo>(</mo><mi>φ</mi><mo>,</mo><mi>τ</mi><mo>)</mo></math></span>-module of a <em>p</em>-adic representation and prove its homology is isomorphic to the Galois cohomology of the representation. We further show that our complex is quasi-isomorphic to the four-term complex constructed by Tavares Ribeiro, providing an alternative proof of our result. As an application, we describe Galois cohomology of the Tate module associated to a <em>p</em>-divisible group in terms of corresponding Breuil-Kisin modules.</div></div>","PeriodicalId":50110,"journal":{"name":"Journal of Number Theory","volume":"271 ","pages":"Pages 66-98"},"PeriodicalIF":0.6,"publicationDate":"2024-12-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143128941","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-11-30DOI: 10.1016/j.jnt.2024.10.011
Saeed Tafazolian , Jaap Top
{"title":"Corrigendum to “On certain maximal hyperelliptic curves related to Chebyshev polynomials” [J. Number Theory 203 (2019) 276–293]","authors":"Saeed Tafazolian , Jaap Top","doi":"10.1016/j.jnt.2024.10.011","DOIUrl":"10.1016/j.jnt.2024.10.011","url":null,"abstract":"","PeriodicalId":50110,"journal":{"name":"Journal of Number Theory","volume":"269 ","pages":"Pages 427-428"},"PeriodicalIF":0.6,"publicationDate":"2024-11-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142744084","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-11-26DOI: 10.1016/j.jnt.2024.10.007
Shi-Qiang Chen , Csaba Sándor , Quan-Hui Yang
Let be the set of all nonnegative integers. For and , let denote the number of solutions of the equation , , . In this paper, we determine the structure of all sets A and B such that , and for every positive integer n, where m and r are two integers with and .
{"title":"Representation functions in the set of natural numbers","authors":"Shi-Qiang Chen , Csaba Sándor , Quan-Hui Yang","doi":"10.1016/j.jnt.2024.10.007","DOIUrl":"10.1016/j.jnt.2024.10.007","url":null,"abstract":"<div><div>Let <span><math><mi>N</mi></math></span> be the set of all nonnegative integers. For <span><math><mi>S</mi><mo>⊆</mo><mi>N</mi></math></span> and <span><math><mi>n</mi><mo>∈</mo><mi>N</mi></math></span>, let <span><math><msub><mrow><mi>R</mi></mrow><mrow><mi>S</mi></mrow></msub><mo>(</mo><mi>n</mi><mo>)</mo></math></span> denote the number of solutions of the equation <span><math><mi>n</mi><mo>=</mo><mi>s</mi><mo>+</mo><msup><mrow><mi>s</mi></mrow><mrow><mo>′</mo></mrow></msup></math></span>, <span><math><mi>s</mi><mo>,</mo><msup><mrow><mi>s</mi></mrow><mrow><mo>′</mo></mrow></msup><mo>∈</mo><mi>S</mi></math></span>, <span><math><mi>s</mi><mo><</mo><msup><mrow><mi>s</mi></mrow><mrow><mo>′</mo></mrow></msup></math></span>. In this paper, we determine the structure of all sets <em>A</em> and <em>B</em> such that <span><math><mi>A</mi><mo>∪</mo><mi>B</mi><mo>=</mo><mi>N</mi><mo>∖</mo><mo>{</mo><mi>r</mi><mo>+</mo><mi>m</mi><mi>k</mi><mo>:</mo><mi>k</mi><mo>∈</mo><mi>N</mi><mo>}</mo></math></span>, <span><math><mi>A</mi><mo>∩</mo><mi>B</mi><mo>=</mo><mo>∅</mo></math></span> and <span><math><msub><mrow><mi>R</mi></mrow><mrow><mi>A</mi></mrow></msub><mo>(</mo><mi>n</mi><mo>)</mo><mo>=</mo><msub><mrow><mi>R</mi></mrow><mrow><mi>B</mi></mrow></msub><mo>(</mo><mi>n</mi><mo>)</mo></math></span> for every positive integer <em>n</em>, where <em>m</em> and <em>r</em> are two integers with <span><math><mi>m</mi><mo>≥</mo><mn>2</mn></math></span> and <span><math><mi>r</mi><mo>≥</mo><mn>0</mn></math></span>.</div></div>","PeriodicalId":50110,"journal":{"name":"Journal of Number Theory","volume":"269 ","pages":"Pages 465-495"},"PeriodicalIF":0.6,"publicationDate":"2024-11-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143133639","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-11-26DOI: 10.1016/j.jnt.2024.10.006
Sandeep Singh , Ramandeep Kaur , Mamta Verma
Let A be a non-empty finite set of integers. For integers m and k, let . For and an odd prime k such that , Hamidoune et al. [6] proved that . Ljujic [7] extended this result and obtained the same bound for k to be a power of an odd prime and product of two distinct odd primes. Balog et al. [1] proved that , where are relatively primes. In this article, for any odd values of k and under some certain conditions on set A, we obtain that , where is the projection of A in . This obtained bound is better than the bound given by Balog et al. We also generalize this bound for , where p is any odd prime and k be an odd positive integer with .
{"title":"Sumset problem on dilated sets of integers","authors":"Sandeep Singh , Ramandeep Kaur , Mamta Verma","doi":"10.1016/j.jnt.2024.10.006","DOIUrl":"10.1016/j.jnt.2024.10.006","url":null,"abstract":"<div><div>Let <em>A</em> be a non-empty finite set of integers. For integers <em>m</em> and <em>k</em>, let <span><math><mi>m</mi><mo>⋅</mo><mi>A</mi><mo>+</mo><mi>k</mi><mo>⋅</mo><mi>A</mi><mo>=</mo><mo>{</mo><mi>m</mi><msub><mrow><mi>a</mi></mrow><mrow><mn>1</mn></mrow></msub><mo>+</mo><mi>k</mi><msub><mrow><mi>a</mi></mrow><mrow><mn>2</mn></mrow></msub><mo>:</mo><msub><mrow><mi>a</mi></mrow><mrow><mn>1</mn></mrow></msub><mo>,</mo><msub><mrow><mi>a</mi></mrow><mrow><mn>2</mn></mrow></msub><mo>∈</mo><mi>A</mi><mo>}</mo></math></span>. For <span><math><mi>m</mi><mo>=</mo><mn>2</mn></math></span> and an odd prime <em>k</em> such that <span><math><mo>|</mo><mi>A</mi><mo>|</mo><mo>></mo><mn>8</mn><msup><mrow><mi>k</mi></mrow><mrow><mi>k</mi></mrow></msup></math></span>, Hamidoune et al. <span><span>[6]</span></span> proved that <span><math><mo>|</mo><mn>2</mn><mo>⋅</mo><mi>A</mi><mo>+</mo><mi>k</mi><mo>⋅</mo><mi>A</mi><mo>|</mo><mo>≥</mo><mo>(</mo><mi>k</mi><mo>+</mo><mn>2</mn><mo>)</mo><mo>|</mo><mi>A</mi><mo>|</mo><mo>−</mo><msup><mrow><mi>k</mi></mrow><mrow><mn>2</mn></mrow></msup><mo>−</mo><mi>k</mi><mo>+</mo><mn>2</mn></math></span>. Ljujic <span><span>[7]</span></span> extended this result and obtained the same bound for <em>k</em> to be a power of an odd prime and product of two distinct odd primes. Balog et al. <span><span>[1]</span></span> proved that <span><math><mo>|</mo><mi>p</mi><mo>⋅</mo><mi>A</mi><mo>+</mo><mi>q</mi><mo>⋅</mo><mi>A</mi><mo>|</mo><mo>≥</mo><mo>(</mo><mi>p</mi><mo>+</mo><mi>q</mi><mo>)</mo><mo>|</mo><mi>A</mi><mo>|</mo><mo>−</mo><msup><mrow><mo>(</mo><mi>p</mi><mi>q</mi><mo>)</mo></mrow><mrow><mo>(</mo><mi>p</mi><mo>+</mo><mi>q</mi><mo>−</mo><mn>3</mn><mo>)</mo><mo>(</mo><mi>p</mi><mo>+</mo><mi>q</mi><mo>)</mo><mo>+</mo><mn>1</mn></mrow></msup></math></span>, where <span><math><mi>p</mi><mo><</mo><mi>q</mi></math></span> are relatively primes. In this article, for any odd values of <em>k</em> and under some certain conditions on set <em>A</em>, we obtain that <span><math><mo>|</mo><mn>2</mn><mo>⋅</mo><mi>A</mi><mo>+</mo><mi>k</mi><mo>⋅</mo><mi>A</mi><mo>|</mo><mo>≥</mo><mo>(</mo><mi>k</mi><mo>+</mo><mn>2</mn><mo>)</mo><mo>|</mo><mi>A</mi><mo>|</mo><mo>−</mo><mn>2</mn><mi>k</mi><mo>|</mo><mover><mrow><mi>A</mi></mrow><mrow><mo>ˆ</mo></mrow></mover><mo>|</mo></math></span>, where <span><math><mover><mrow><mi>A</mi></mrow><mrow><mo>ˆ</mo></mrow></mover></math></span> is the projection of <em>A</em> in <span><math><mi>Z</mi><mo>/</mo><mi>k</mi><mi>Z</mi></math></span>. This obtained bound is better than the bound given by Balog et al. We also generalize this bound for <span><math><mo>|</mo><mi>p</mi><mo>⋅</mo><mi>A</mi><mo>+</mo><mi>k</mi><mo>⋅</mo><mi>A</mi><mo>|</mo></math></span>, where <em>p</em> is any odd prime and <em>k</em> be an odd positive integer with <span><math><mo>(</mo><mi>p</mi><mo>,</mo><mi>k</mi><mo>)</mo><mo>=</mo><mn>1</mn></math></span>.</div></div>","PeriodicalId":50110,"journal":{"name":"Journal of Number Theory","volume":"269 ","pages":"Pages 429-439"},"PeriodicalIF":0.6,"publicationDate":"2024-11-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143133637","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-11-22DOI: 10.1016/j.jnt.2024.09.014
Tomoyoshi Ibukiyama , Hidenori Katsurada , Hisashi Kojima
In this paper, first we give a weak version of Ikeda's conjecture on the period of the Ikeda-Miyawaki lift. Next, we confirm this conjecture rigorously in some cases.
{"title":"Period of the Ikeda-Miyawaki lift","authors":"Tomoyoshi Ibukiyama , Hidenori Katsurada , Hisashi Kojima","doi":"10.1016/j.jnt.2024.09.014","DOIUrl":"10.1016/j.jnt.2024.09.014","url":null,"abstract":"<div><div>In this paper, first we give a weak version of Ikeda's conjecture on the period of the Ikeda-Miyawaki lift. Next, we confirm this conjecture rigorously in some cases.</div></div>","PeriodicalId":50110,"journal":{"name":"Journal of Number Theory","volume":"269 ","pages":"Pages 341-369"},"PeriodicalIF":0.6,"publicationDate":"2024-11-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142744086","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}