{"title":"Common values of linear recurrences related to Shank's simplest cubics","authors":"","doi":"10.1016/j.jnt.2024.09.001","DOIUrl":"10.1016/j.jnt.2024.09.001","url":null,"abstract":"<div><div>Let <span><math><mi>A</mi><mo>,</mo><mi>B</mi><mo>,</mo><mi>C</mi><mo>∈</mo><mi>Z</mi></math></span> not all zeroes and let <span><math><mi>F</mi><mo>(</mo><mi>u</mi><mo>,</mo><mi>n</mi><mo>)</mo><mo>=</mo><mi>F</mi><mo>(</mo><mi>A</mi><mo>,</mo><mi>B</mi><mo>,</mo><mi>C</mi><mo>,</mo><mi>u</mi><mo>,</mo><mi>n</mi><mo>)</mo></math></span> be the linear recursive sequence, which is defined by the initial terms <span><math><mi>F</mi><mo>(</mo><mi>u</mi><mo>,</mo><mn>0</mn><mo>)</mo><mo>=</mo><mi>A</mi><mo>,</mo><mi>F</mi><mo>(</mo><mi>u</mi><mo>,</mo><mn>1</mn><mo>)</mo><mo>=</mo><mi>B</mi><mo>,</mo><mi>F</mi><mo>(</mo><mi>u</mi><mo>,</mo><mn>2</mn><mo>)</mo><mo>=</mo><mi>C</mi></math></span> and whose characteristic polynomial is Daniel Shanks simplest cubic <span><math><msub><mrow><mi>S</mi></mrow><mrow><mi>u</mi></mrow></msub><mo>(</mo><mi>X</mi><mo>)</mo><mo>=</mo><msup><mrow><mi>X</mi></mrow><mrow><mn>3</mn></mrow></msup><mo>−</mo><mo>(</mo><mi>u</mi><mo>−</mo><mn>1</mn><mo>)</mo><msup><mrow><mi>X</mi></mrow><mrow><mn>2</mn></mrow></msup><mo>−</mo><mo>(</mo><mi>u</mi><mo>+</mo><mn>2</mn><mo>)</mo><mi>X</mi><mo>−</mo><mn>1</mn><mo>,</mo><mi>u</mi><mo>∈</mo><mi>Z</mi></math></span>. We prove that there exists an effectively computable constant <em>c</em> depending only on <span><math><mi>L</mi><mo>=</mo><mi>max</mi><mo></mo><mo>{</mo><mo>|</mo><mi>A</mi><mo>|</mo><mo>,</mo><mo>|</mo><mi>B</mi><mo>|</mo><mo>,</mo><mo>|</mo><mi>C</mi><mo>|</mo><mo>}</mo></math></span> such that if <span><math><mo>|</mo><mi>F</mi><mo>(</mo><mi>A</mi><mo>,</mo><mi>B</mi><mo>,</mo><mi>C</mi><mo>,</mo><mi>u</mi><mo>,</mo><mi>n</mi><mo>)</mo><mo>|</mo><mo>=</mo><mo>|</mo><mi>F</mi><mo>(</mo><mi>A</mi><mo>,</mo><mi>B</mi><mo>,</mo><mi>C</mi><mo>,</mo><mi>u</mi><mo>,</mo><mi>m</mi><mo>)</mo><mo>|</mo></math></span> holds for some integers <span><math><mi>u</mi><mo>,</mo><mi>n</mi><mo>,</mo><mi>m</mi></math></span> with <span><math><mi>n</mi><mo>≠</mo><mi>m</mi></math></span> then <span><math><mo>|</mo><mi>n</mi><mo>|</mo><mo>,</mo><mo>|</mo><mi>m</mi><mo>|</mo><mo><</mo><mi>c</mi></math></span>. For the choices <span><math><mo>(</mo><mi>A</mi><mo>,</mo><mi>B</mi><mo>,</mo><mi>C</mi><mo>)</mo><mo>∈</mo><mo>{</mo><mo>(</mo><mn>0</mn><mo>,</mo><mn>0</mn><mo>,</mo><mn>1</mn><mo>)</mo><mo>,</mo><mo>(</mo><mn>1</mn><mo>,</mo><mo>−</mo><mn>1</mn><mo>,</mo><mn>1</mn><mo>)</mo><mo>}</mo></math></span> we solve the above equations completely. At the end we give an outlook to the equation <span><math><mi>F</mi><mo>(</mo><mn>0</mn><mo>,</mo><mn>0</mn><mo>,</mo><mn>1</mn><mo>,</mo><mi>u</mi><mo>,</mo><mi>n</mi><mo>)</mo><mo>=</mo><mi>F</mi><mo>(</mo><mn>0</mn><mo>,</mo><mn>0</mn><mo>,</mo><mn>1</mn><mo>,</mo><mi>v</mi><mo>,</mo><mi>m</mi><mo>)</mo></math></span> for some fixed integers <span><math><mi>n</mi><mo>,</mo><mi>m</mi></math></span>.</div></div>","PeriodicalId":50110,"journal":{"name":"Journal of Number Theory","volume":null,"pages":null},"PeriodicalIF":0.6,"publicationDate":"2024-09-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142328260","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":"Maximally elastic quadratic fields","authors":"","doi":"10.1016/j.jnt.2024.08.003","DOIUrl":"10.1016/j.jnt.2024.08.003","url":null,"abstract":"<div><div>Recall that for a domain <em>R</em> where every nonzero nonunit factors into irreducibles, the <span>elasticity</span> of <em>R</em> is defined as<span><span><span><math><mi>sup</mi><mo></mo><mrow><mo>{</mo><mfrac><mrow><mi>s</mi></mrow><mrow><mi>r</mi></mrow></mfrac><mo>:</mo><msub><mrow><mi>π</mi></mrow><mrow><mn>1</mn></mrow></msub><mo>⋯</mo><msub><mrow><mi>π</mi></mrow><mrow><mi>r</mi></mrow></msub><mo>=</mo><msub><mrow><mi>ρ</mi></mrow><mrow><mn>1</mn></mrow></msub><mo>⋯</mo><msub><mrow><mi>ρ</mi></mrow><mrow><mi>s</mi></mrow></msub><mo>,</mo><mrow><mtext> with all </mtext><msub><mrow><mi>π</mi></mrow><mrow><mi>i</mi></mrow></msub><mo>,</mo><msub><mrow><mi>ρ</mi></mrow><mrow><mi>j</mi></mrow></msub><mtext> irreducible</mtext></mrow><mo>}</mo></mrow><mo>.</mo></math></span></span></span> We call a quadratic field <em>K</em> <span>maximally elastic</span> if the ring of integers of <em>K</em> is a UFD and each element of <span><math><mo>{</mo><mn>1</mn><mo>,</mo><mfrac><mrow><mn>3</mn></mrow><mrow><mn>2</mn></mrow></mfrac><mo>,</mo><mn>2</mn><mo>,</mo><mfrac><mrow><mn>5</mn></mrow><mrow><mn>2</mn></mrow></mfrac><mo>,</mo><mn>3</mn><mo>,</mo><mo>…</mo><mo>}</mo><mo>∪</mo><mo>{</mo><mo>∞</mo><mo>}</mo></math></span> appears as an elasticity of infinitely many orders inside <em>K</em>. This corresponds to the orders in <em>K</em> exhibiting, to the extent possible for a quadratic field, maximal variation in terms of the failure of unique factorization. Assuming the Generalized Riemann Hypothesis, we prove that <span><math><mi>K</mi><mo>=</mo><mi>Q</mi><mo>(</mo><msqrt><mrow><mn>2</mn></mrow></msqrt><mo>)</mo></math></span> is universally elastic, and we provide evidence for a conjectured characterization of maximally elastic quadratic fields.</div></div>","PeriodicalId":50110,"journal":{"name":"Journal of Number Theory","volume":null,"pages":null},"PeriodicalIF":0.6,"publicationDate":"2024-09-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142328259","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 number of prime factors with a given multiplicity over h-free and h-full numbers","authors":"","doi":"10.1016/j.jnt.2024.08.007","DOIUrl":"10.1016/j.jnt.2024.08.007","url":null,"abstract":"<div><div>Let <em>k</em> and <em>n</em> be natural numbers. Let <span><math><msub><mrow><mi>ω</mi></mrow><mrow><mi>k</mi></mrow></msub><mo>(</mo><mi>n</mi><mo>)</mo></math></span> denote the number of distinct prime factors of <em>n</em> with multiplicity <em>k</em> as studied by Elma and the third author <span><span>[5]</span></span>. We obtain asymptotic estimates for the first and the second moments of <span><math><msub><mrow><mi>ω</mi></mrow><mrow><mi>k</mi></mrow></msub><mo>(</mo><mi>n</mi><mo>)</mo></math></span> when restricted to the set of <em>h</em>-free and <em>h</em>-full numbers. We prove that <span><math><msub><mrow><mi>ω</mi></mrow><mrow><mn>1</mn></mrow></msub><mo>(</mo><mi>n</mi><mo>)</mo></math></span> has normal order <span><math><mi>log</mi><mo></mo><mi>log</mi><mo></mo><mi>n</mi></math></span> over <em>h</em>-free numbers, <span><math><msub><mrow><mi>ω</mi></mrow><mrow><mi>h</mi></mrow></msub><mo>(</mo><mi>n</mi><mo>)</mo></math></span> has normal order <span><math><mi>log</mi><mo></mo><mi>log</mi><mo></mo><mi>n</mi></math></span> over <em>h</em>-full numbers, and both of them satisfy the Erdős-Kac Theorem. Finally, we prove that the functions <span><math><msub><mrow><mi>ω</mi></mrow><mrow><mi>k</mi></mrow></msub><mo>(</mo><mi>n</mi><mo>)</mo></math></span> with <span><math><mn>1</mn><mo><</mo><mi>k</mi><mo><</mo><mi>h</mi></math></span> do not have normal order over <em>h</em>-free numbers and <span><math><msub><mrow><mi>ω</mi></mrow><mrow><mi>k</mi></mrow></msub><mo>(</mo><mi>n</mi><mo>)</mo></math></span> with <span><math><mi>k</mi><mo>></mo><mi>h</mi></math></span> do not have normal order over <em>h</em>-full numbers.</div></div>","PeriodicalId":50110,"journal":{"name":"Journal of Number Theory","volume":null,"pages":null},"PeriodicalIF":0.6,"publicationDate":"2024-09-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142328287","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":"The characteristic cycle of a non-confluent ℓ-adic GKZ hypergeometric sheaf","authors":"","doi":"10.1016/j.jnt.2024.07.014","DOIUrl":"10.1016/j.jnt.2024.07.014","url":null,"abstract":"<div><div>An <em>ℓ</em>-adic GKZ hypergeometric sheaf is defined analogously to a GKZ hypergeometric <span><math><mi>D</mi></math></span>-module. We introduce an algorithm of computing the characteristic cycle of an <em>ℓ</em>-adic GKZ hypergeometric sheaf of certain type. Our strategy is to apply a formula of the characteristic cycle of the direct image of an <em>ℓ</em>-adic sheaf. We verify the requirements for the formula to hold by calculating the dimension of the direct image of a certain closed conical subset of cotangent bundle. We also define an <em>ℓ</em>-adic GKZ-type sheaf whose specialization tensored with a constant sheaf is isomorphic to an <em>ℓ</em>-adic non-confluent GKZ hypergeometric sheaf. On the other hand, the topological model of an <em>ℓ</em>-adic GKZ-type sheaf is isomorphic to the image by the de Rham functor of a non-confluent GKZ hypergeometric <span><math><mi>D</mi></math></span>-module whose characteristic cycle has been calculated. This gives an easier way to determine the characteristic cycle of an <em>ℓ</em>-adic non-confluent GKZ hypergeometric sheaf of certain type.</div></div>","PeriodicalId":50110,"journal":{"name":"Journal of Number Theory","volume":null,"pages":null},"PeriodicalIF":0.6,"publicationDate":"2024-09-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142328258","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":"On the Selmer group and rank of a family of elliptic curves and curves of genus one violating the Hasse principle","authors":"","doi":"10.1016/j.jnt.2024.08.001","DOIUrl":"10.1016/j.jnt.2024.08.001","url":null,"abstract":"<div><div>We study an infinite family of <em>j</em>-invariant zero elliptic curves <span><math><msub><mrow><mi>E</mi></mrow><mrow><mi>D</mi></mrow></msub><mo>:</mo><msup><mrow><mi>y</mi></mrow><mrow><mn>2</mn></mrow></msup><mo>=</mo><msup><mrow><mi>x</mi></mrow><mrow><mn>3</mn></mrow></msup><mo>+</mo><mn>16</mn><mi>D</mi></math></span> and their <em>λ</em>-isogenous curves <span><math><msub><mrow><mi>E</mi></mrow><mrow><msup><mrow><mi>D</mi></mrow><mrow><mo>′</mo></mrow></msup></mrow></msub><mo>:</mo><msup><mrow><mi>y</mi></mrow><mrow><mn>2</mn></mrow></msup><mo>=</mo><msup><mrow><mi>x</mi></mrow><mrow><mn>3</mn></mrow></msup><mo>−</mo><mn>27</mn><mo>⋅</mo><mn>16</mn><mi>D</mi></math></span>, where <em>D</em> and <span><math><msup><mrow><mi>D</mi></mrow><mrow><mo>′</mo></mrow></msup><mo>=</mo><mo>−</mo><mn>3</mn><mi>D</mi></math></span> are fundamental discriminants of a specific form, and <em>λ</em> is an isogeny of degree 3. A result of Honda guarantees that for our discriminants <em>D</em>, the quadratic number field <span><math><msub><mrow><mi>K</mi></mrow><mrow><mi>D</mi></mrow></msub><mo>=</mo><mi>Q</mi><mo>(</mo><msqrt><mrow><mi>D</mi></mrow></msqrt><mo>)</mo></math></span> always has non-trivial 3-class group. We prove a series of results related to the set of rational points <span><math><msub><mrow><mi>E</mi></mrow><mrow><msup><mrow><mi>D</mi></mrow><mrow><mo>′</mo></mrow></msup></mrow></msub><mo>(</mo><mi>Q</mi><mo>)</mo><mo>∖</mo><mi>λ</mi><mo>(</mo><msub><mrow><mi>E</mi></mrow><mrow><mi>D</mi></mrow></msub><mo>(</mo><mi>Q</mi><mo>)</mo><mo>)</mo></math></span>, and the <span><math><mi>S</mi><mi>L</mi><mo>(</mo><mn>2</mn><mo>,</mo><mi>Z</mi><mo>)</mo></math></span>-equivalence classes of irreducible integral binary cubic forms of discriminant <em>D</em>. By assuming finiteness of the Tate-Shafarevich group, we derive a parity result between the rank of <span><math><msub><mrow><mi>E</mi></mrow><mrow><mi>D</mi></mrow></msub></math></span> and the rank of its 3-Selmer group, and we establish lower and upper bounds for the rank of our elliptic curves. Finally, we give explicit classes of genus-1 curves that correspond to irreducible integral binary cubic forms of discriminant <span><math><mi>D</mi><mo>=</mo><mn>48035713</mn></math></span>, and we show that every curve in these classes violates the Hasse Principle.</div></div>","PeriodicalId":50110,"journal":{"name":"Journal of Number Theory","volume":null,"pages":null},"PeriodicalIF":0.6,"publicationDate":"2024-09-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142328257","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":"Recurrence formulae for spectral determinants","authors":"","doi":"10.1016/j.jnt.2024.08.004","DOIUrl":"10.1016/j.jnt.2024.08.004","url":null,"abstract":"<div><div>We develop a unified method to study spectral determinants for several different manifolds, including spheres and hemispheres, and projective spaces. This is a direct consequence of an approach based on deriving recursion relations for the corresponding zeta functions, which we are then able to solve explicitly. Apart from new applications such as hemispheres, we also believe that the resulting formulae in the cases for which expressions for the determinant were already known are simpler and easier to compute in general, when compared to those resulting from other approaches.</div></div>","PeriodicalId":50110,"journal":{"name":"Journal of Number Theory","volume":null,"pages":null},"PeriodicalIF":0.6,"publicationDate":"2024-09-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142328242","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":"Integral points on moduli schemes","authors":"Rafael von Känel","doi":"10.1016/j.jnt.2024.07.005","DOIUrl":"https://doi.org/10.1016/j.jnt.2024.07.005","url":null,"abstract":"The strategy of combining the method of Faltings (Arakelov, Paršin, Szpiro) with modularity and Masser–Wüstholz isogeny estimates allows to explicitly bound the height and the number of the solutions of certain Diophantine equations related to integral points on moduli schemes of abelian varieties. In this paper we survey the development and various applications of this strategy.","PeriodicalId":50110,"journal":{"name":"Journal of Number Theory","volume":null,"pages":null},"PeriodicalIF":0.7,"publicationDate":"2024-08-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142260799","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":"Greedy Sidon sets for linear forms","authors":"","doi":"10.1016/j.jnt.2024.07.010","DOIUrl":"10.1016/j.jnt.2024.07.010","url":null,"abstract":"<div><p>The greedy Sidon set, also known as the Mian-Chowla sequence, is the lexicographically first set in <span><math><mi>N</mi></math></span> that does not contain <span><math><msub><mrow><mi>x</mi></mrow><mrow><mn>1</mn></mrow></msub><mo>,</mo><msub><mrow><mi>x</mi></mrow><mrow><mn>2</mn></mrow></msub><mo>,</mo><msub><mrow><mi>y</mi></mrow><mrow><mn>1</mn></mrow></msub><mo>,</mo><msub><mrow><mi>y</mi></mrow><mrow><mn>2</mn></mrow></msub></math></span> with <span><math><msub><mrow><mi>x</mi></mrow><mrow><mn>1</mn></mrow></msub><mo>+</mo><msub><mrow><mi>x</mi></mrow><mrow><mn>2</mn></mrow></msub><mo>=</mo><msub><mrow><mi>y</mi></mrow><mrow><mn>1</mn></mrow></msub><mo>+</mo><msub><mrow><mi>y</mi></mrow><mrow><mn>2</mn></mrow></msub></math></span>. Its growth and structure have remained enigmatic for 80 years. In this work, we study a generalization from the form <span><math><msub><mrow><mi>x</mi></mrow><mrow><mn>1</mn></mrow></msub><mo>+</mo><msub><mrow><mi>x</mi></mrow><mrow><mn>2</mn></mrow></msub></math></span> to arbitrary linear forms <span><math><msub><mrow><mi>c</mi></mrow><mrow><mn>1</mn></mrow></msub><msub><mrow><mi>x</mi></mrow><mrow><mn>1</mn></mrow></msub><mo>+</mo><mo>…</mo><mo>+</mo><msub><mrow><mi>c</mi></mrow><mrow><mi>h</mi></mrow></msub><msub><mrow><mi>x</mi></mrow><mrow><mi>h</mi></mrow></msub></math></span>; these are called Sidon sets for linear forms. We explicitly describe the elements of the greedy Sidon sets for linear forms when <span><math><msub><mrow><mi>c</mi></mrow><mrow><mi>i</mi></mrow></msub><mo>=</mo><msup><mrow><mi>n</mi></mrow><mrow><mi>i</mi><mo>−</mo><mn>1</mn></mrow></msup></math></span> for some <span><math><mi>n</mi><mo>≥</mo><mn>2</mn></math></span>, and also when <span><math><mi>h</mi><mo>=</mo><mn>2</mn><mo>,</mo><msub><mrow><mi>c</mi></mrow><mrow><mn>1</mn></mrow></msub><mo>=</mo><mn>2</mn><mo>,</mo><msub><mrow><mi>c</mi></mrow><mrow><mn>2</mn></mrow></msub><mo>≥</mo><mn>4</mn></math></span>, the “structured” domain. We also contrast the “enigmatic” domain when <span><math><mi>h</mi><mo>=</mo><mn>2</mn><mo>,</mo><msub><mrow><mi>c</mi></mrow><mrow><mn>1</mn></mrow></msub><mo>=</mo><mn>2</mn><mo>,</mo><msub><mrow><mi>c</mi></mrow><mrow><mn>2</mn></mrow></msub><mo>=</mo><mn>3</mn></math></span> with the “structured” domain, and give upper bounds on the growth rates in both cases.</p></div>","PeriodicalId":50110,"journal":{"name":"Journal of Number Theory","volume":null,"pages":null},"PeriodicalIF":0.6,"publicationDate":"2024-08-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.sciencedirect.com/science/article/pii/S0022314X24001768/pdfft?md5=530dddb3b9f53a0f7a336819d6924b12&pid=1-s2.0-S0022314X24001768-main.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142097369","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":"Lower bounds for linear forms in two p-adic logarithms","authors":"","doi":"10.1016/j.jnt.2024.07.012","DOIUrl":"10.1016/j.jnt.2024.07.012","url":null,"abstract":"<div><p>We prove explicit lower bounds for linear forms in two <em>p</em>-adic logarithms. More specifically, we establish explicit lower bounds for the <em>p</em>-adic distance between two integral powers of algebraic numbers, that is, <span><math><mo>|</mo><mi>Λ</mi><msub><mrow><mo>|</mo></mrow><mrow><mi>p</mi></mrow></msub><mo>=</mo><mo>|</mo><msubsup><mrow><mi>α</mi></mrow><mrow><mn>1</mn></mrow><mrow><msub><mrow><mi>b</mi></mrow><mrow><mn>1</mn></mrow></msub></mrow></msubsup><mo>−</mo><msubsup><mrow><mi>α</mi></mrow><mrow><mn>2</mn></mrow><mrow><msub><mrow><mi>b</mi></mrow><mrow><mn>2</mn></mrow></msub></mrow></msubsup><msub><mrow><mo>|</mo></mrow><mrow><mi>p</mi></mrow></msub></math></span> (and corresponding explicit upper bounds for <span><math><msub><mrow><mi>v</mi></mrow><mrow><mi>p</mi></mrow></msub><mo>(</mo><mi>Λ</mi><mo>)</mo></math></span>), where <span><math><msub><mrow><mi>α</mi></mrow><mrow><mn>1</mn></mrow></msub><mo>,</mo><msub><mrow><mi>α</mi></mrow><mrow><mn>2</mn></mrow></msub></math></span> are numbers that are algebraic over <span><math><mi>Q</mi></math></span> and <span><math><msub><mrow><mi>b</mi></mrow><mrow><mn>1</mn></mrow></msub><mo>,</mo><msub><mrow><mi>b</mi></mrow><mrow><mn>2</mn></mrow></msub></math></span> are positive rational integers.</p><p>This work is a <em>p</em>-adic analogue of Gouillon's explicit lower bounds in the complex case. Our upper bound for <span><math><msub><mrow><mi>v</mi></mrow><mrow><mi>p</mi></mrow></msub><mo>(</mo><mi>Λ</mi><mo>)</mo></math></span> has an explicit constant of reasonable size and the dependence of the bound on <em>B</em> (a quantity depending on <span><math><msub><mrow><mi>b</mi></mrow><mrow><mn>1</mn></mrow></msub></math></span> and <span><math><msub><mrow><mi>b</mi></mrow><mrow><mn>2</mn></mrow></msub></math></span>) is <span><math><mi>log</mi><mo></mo><mi>B</mi></math></span>, instead of <span><math><msup><mrow><mo>(</mo><mi>log</mi><mo></mo><mi>B</mi><mo>)</mo></mrow><mrow><mn>2</mn></mrow></msup></math></span> as in the work of Bugeaud and Laurent in 1996.</p></div>","PeriodicalId":50110,"journal":{"name":"Journal of Number Theory","volume":null,"pages":null},"PeriodicalIF":0.6,"publicationDate":"2024-08-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.sciencedirect.com/science/article/pii/S0022314X24001793/pdfft?md5=ccf251a8e8e82101b493968e4e90bf5e&pid=1-s2.0-S0022314X24001793-main.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142162052","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":"Subconvexity of twisted Shintani zeta functions","authors":"","doi":"10.1016/j.jnt.2024.07.008","DOIUrl":"10.1016/j.jnt.2024.07.008","url":null,"abstract":"<div><p>Previously the authors proved subconvexity of Shintani's zeta function enumerating class numbers of binary cubic forms. Here we return to prove subconvexity of the Maass form twisted version. The method demonstrated here has applications to the subconvexity of some of the twisted zeta functions introduced by F. Sato. The argument demonstrates that the symmetric space condition used by Sato is not necessary to estimate the zeta function in the critical strip.</p></div>","PeriodicalId":50110,"journal":{"name":"Journal of Number Theory","volume":null,"pages":null},"PeriodicalIF":0.6,"publicationDate":"2024-08-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.sciencedirect.com/science/article/pii/S0022314X24001781/pdfft?md5=416d6328f418d63f0962779de94e173a&pid=1-s2.0-S0022314X24001781-main.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142021482","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}