Yuri Bilu, Florian Luca, Joris Nieuwveld, Joël Ouaknine, James Worrell
{"title":"On the 𝑝-adic zeros of the Tribonacci sequence","authors":"Yuri Bilu, Florian Luca, Joris Nieuwveld, Joël Ouaknine, James Worrell","doi":"10.1090/mcom/3893","DOIUrl":null,"url":null,"abstract":"Let <inline-formula content-type=\"math/mathml\"> <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"left-parenthesis upper T Subscript n Baseline right-parenthesis Subscript n element-of double-struck upper Z\"> <mml:semantics> <mml:mrow> <mml:mo stretchy=\"false\">(</mml:mo> <mml:msub> <mml:mi>T</mml:mi> <mml:mi>n</mml:mi> </mml:msub> <mml:msub> <mml:mo stretchy=\"false\">)</mml:mo> <mml:mrow class=\"MJX-TeXAtom-ORD\"> <mml:mi>n</mml:mi> <mml:mo>∈<!-- ∈ --></mml:mo> <mml:mrow class=\"MJX-TeXAtom-ORD\"> <mml:mrow class=\"MJX-TeXAtom-ORD\"> <mml:mi mathvariant=\"double-struck\">Z</mml:mi> </mml:mrow> </mml:mrow> </mml:mrow> </mml:msub> </mml:mrow> <mml:annotation encoding=\"application/x-tex\">(T_n)_{n\\in {\\mathbb Z}}</mml:annotation> </mml:semantics> </mml:math> </inline-formula> be the Tribonacci sequence and for a prime <inline-formula content-type=\"math/mathml\"> <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"p\"> <mml:semantics> <mml:mi>p</mml:mi> <mml:annotation encoding=\"application/x-tex\">p</mml:annotation> </mml:semantics> </mml:math> </inline-formula> and an integer <inline-formula content-type=\"math/mathml\"> <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"m\"> <mml:semantics> <mml:mi>m</mml:mi> <mml:annotation encoding=\"application/x-tex\">m</mml:annotation> </mml:semantics> </mml:math> </inline-formula> let <inline-formula content-type=\"math/mathml\"> <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"nu Subscript p Baseline left-parenthesis m right-parenthesis\"> <mml:semantics> <mml:mrow> <mml:msub> <mml:mi>ν<!-- ν --></mml:mi> <mml:mi>p</mml:mi> </mml:msub> <mml:mo stretchy=\"false\">(</mml:mo> <mml:mi>m</mml:mi> <mml:mo stretchy=\"false\">)</mml:mo> </mml:mrow> <mml:annotation encoding=\"application/x-tex\">\\nu _p(m)</mml:annotation> </mml:semantics> </mml:math> </inline-formula> be the exponent of <inline-formula content-type=\"math/mathml\"> <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"p\"> <mml:semantics> <mml:mi>p</mml:mi> <mml:annotation encoding=\"application/x-tex\">p</mml:annotation> </mml:semantics> </mml:math> </inline-formula> in the factorization of <inline-formula content-type=\"math/mathml\"> <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"m\"> <mml:semantics> <mml:mi>m</mml:mi> <mml:annotation encoding=\"application/x-tex\">m</mml:annotation> </mml:semantics> </mml:math> </inline-formula>. For <inline-formula content-type=\"math/mathml\"> <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"p equals 2\"> <mml:semantics> <mml:mrow> <mml:mi>p</mml:mi> <mml:mo>=</mml:mo> <mml:mn>2</mml:mn> </mml:mrow> <mml:annotation encoding=\"application/x-tex\">p=2</mml:annotation> </mml:semantics> </mml:math> </inline-formula> Marques and Lengyel found some formulas relating <inline-formula content-type=\"math/mathml\"> <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"nu Subscript p Baseline left-parenthesis upper T Subscript n Baseline right-parenthesis\"> <mml:semantics> <mml:mrow> <mml:msub> <mml:mi>ν<!-- ν --></mml:mi> <mml:mi>p</mml:mi> </mml:msub> <mml:mo stretchy=\"false\">(</mml:mo> <mml:msub> <mml:mi>T</mml:mi> <mml:mi>n</mml:mi> </mml:msub> <mml:mo stretchy=\"false\">)</mml:mo> </mml:mrow> <mml:annotation encoding=\"application/x-tex\">\\nu _p(T_n)</mml:annotation> </mml:semantics> </mml:math> </inline-formula> with <inline-formula content-type=\"math/mathml\"> <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"nu Subscript p Baseline left-parenthesis f left-parenthesis n right-parenthesis right-parenthesis\"> <mml:semantics> <mml:mrow> <mml:msub> <mml:mi>ν<!-- ν --></mml:mi> <mml:mi>p</mml:mi> </mml:msub> <mml:mo stretchy=\"false\">(</mml:mo> <mml:mi>f</mml:mi> <mml:mo stretchy=\"false\">(</mml:mo> <mml:mi>n</mml:mi> <mml:mo stretchy=\"false\">)</mml:mo> <mml:mo stretchy=\"false\">)</mml:mo> </mml:mrow> <mml:annotation encoding=\"application/x-tex\">\\nu _p(f(n))</mml:annotation> </mml:semantics> </mml:math> </inline-formula> where <inline-formula content-type=\"math/mathml\"> <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"f left-parenthesis n right-parenthesis\"> <mml:semantics> <mml:mrow> <mml:mi>f</mml:mi> <mml:mo stretchy=\"false\">(</mml:mo> <mml:mi>n</mml:mi> <mml:mo stretchy=\"false\">)</mml:mo> </mml:mrow> <mml:annotation encoding=\"application/x-tex\">f(n)</mml:annotation> </mml:semantics> </mml:math> </inline-formula> is some linear function of <inline-formula content-type=\"math/mathml\"> <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"n\"> <mml:semantics> <mml:mi>n</mml:mi> <mml:annotation encoding=\"application/x-tex\">n</mml:annotation> </mml:semantics> </mml:math> </inline-formula> (which might be constant) according to the residue class of <inline-formula content-type=\"math/mathml\"> <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"n\"> <mml:semantics> <mml:mi>n</mml:mi> <mml:annotation encoding=\"application/x-tex\">n</mml:annotation> </mml:semantics> </mml:math> </inline-formula> modulo <inline-formula content-type=\"math/mathml\"> <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"32\"> <mml:semantics> <mml:mn>32</mml:mn> <mml:annotation encoding=\"application/x-tex\">32</mml:annotation> </mml:semantics> </mml:math> </inline-formula> and asked if similar formulas exist for other primes <inline-formula content-type=\"math/mathml\"> <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"p\"> <mml:semantics> <mml:mi>p</mml:mi> <mml:annotation encoding=\"application/x-tex\">p</mml:annotation> </mml:semantics> </mml:math> </inline-formula>. In this paper, we give an algorithm which tests whether for a given prime <inline-formula content-type=\"math/mathml\"> <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"p\"> <mml:semantics> <mml:mi>p</mml:mi> <mml:annotation encoding=\"application/x-tex\">p</mml:annotation> </mml:semantics> </mml:math> </inline-formula> such formulas exist or not. When they exist, our algorithm computes these formulas. Some numerical results are presented.","PeriodicalId":2,"journal":{"name":"ACS Applied Bio Materials","volume":null,"pages":null},"PeriodicalIF":4.6000,"publicationDate":"2023-08-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"ACS Applied Bio Materials","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1090/mcom/3893","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q2","JCRName":"MATERIALS SCIENCE, BIOMATERIALS","Score":null,"Total":0}
引用次数: 0
Abstract
Let (Tn)n∈Z(T_n)_{n\in {\mathbb Z}} be the Tribonacci sequence and for a prime pp and an integer mm let νp(m)\nu _p(m) be the exponent of pp in the factorization of mm. For p=2p=2 Marques and Lengyel found some formulas relating νp(Tn)\nu _p(T_n) with νp(f(n))\nu _p(f(n)) where f(n)f(n) is some linear function of nn (which might be constant) according to the residue class of nn modulo 3232 and asked if similar formulas exist for other primes pp. In this paper, we give an algorithm which tests whether for a given prime pp such formulas exist or not. When they exist, our algorithm computes these formulas. Some numerical results are presented.