{"title":"所有偶发apacry - like序列的新表示及其在同余上的应用","authors":"O. Gorodetsky","doi":"10.1080/10586458.2021.1982080","DOIUrl":null,"url":null,"abstract":"Sporadic Ap\\'ery-like sequences were discovered by Zagier, by Almkvist and Zudilin and by Cooper in their searches for integral solutions for certain families of second- and third-order differential equations. We find new representations, in terms of constant terms of powers of Laurent polynomials, for all the 15 sporadic sequences. The new representations in turn lead to binomial expressions for the sequences, which, as opposed to previous expressions, do not involve powers of 8 and powers of 3. We use these to establish the supercongruence $B_{np^k} \\equiv B_{np^{k-1}} \\bmod p^{2k}$ for all primes $p \\ge 3$ and integers $n,k \\ge 1$, where $B_n$ is a sequence discovered by Zagier and known as Sequence $\\mathbf{B}$. Additionally, for 14 out of the 15 sequences, the Newton polytopes of the Laurent polynomials used in our representations contain the origin as their only interior integral point. This property allows us to prove that these 14 sporadic sequences satisfy a strong form of the Lucas congruences, extending work of Malik and Straub. Moreover, we obtain lower bounds on the $p$-adic valuation of these 14 sequences via recent work of Delaygue.","PeriodicalId":50464,"journal":{"name":"Experimental Mathematics","volume":" ","pages":""},"PeriodicalIF":0.7000,"publicationDate":"2021-02-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"8","resultStr":"{\"title\":\"New Representations for all Sporadic Apéry-Like Sequences, With Applications to Congruences\",\"authors\":\"O. Gorodetsky\",\"doi\":\"10.1080/10586458.2021.1982080\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Sporadic Ap\\\\'ery-like sequences were discovered by Zagier, by Almkvist and Zudilin and by Cooper in their searches for integral solutions for certain families of second- and third-order differential equations. We find new representations, in terms of constant terms of powers of Laurent polynomials, for all the 15 sporadic sequences. The new representations in turn lead to binomial expressions for the sequences, which, as opposed to previous expressions, do not involve powers of 8 and powers of 3. We use these to establish the supercongruence $B_{np^k} \\\\equiv B_{np^{k-1}} \\\\bmod p^{2k}$ for all primes $p \\\\ge 3$ and integers $n,k \\\\ge 1$, where $B_n$ is a sequence discovered by Zagier and known as Sequence $\\\\mathbf{B}$. Additionally, for 14 out of the 15 sequences, the Newton polytopes of the Laurent polynomials used in our representations contain the origin as their only interior integral point. This property allows us to prove that these 14 sporadic sequences satisfy a strong form of the Lucas congruences, extending work of Malik and Straub. Moreover, we obtain lower bounds on the $p$-adic valuation of these 14 sequences via recent work of Delaygue.\",\"PeriodicalId\":50464,\"journal\":{\"name\":\"Experimental Mathematics\",\"volume\":\" \",\"pages\":\"\"},\"PeriodicalIF\":0.7000,\"publicationDate\":\"2021-02-23\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"8\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Experimental Mathematics\",\"FirstCategoryId\":\"100\",\"ListUrlMain\":\"https://doi.org/10.1080/10586458.2021.1982080\",\"RegionNum\":4,\"RegionCategory\":\"数学\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q2\",\"JCRName\":\"MATHEMATICS\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Experimental Mathematics","FirstCategoryId":"100","ListUrlMain":"https://doi.org/10.1080/10586458.2021.1982080","RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q2","JCRName":"MATHEMATICS","Score":null,"Total":0}
New Representations for all Sporadic Apéry-Like Sequences, With Applications to Congruences
Sporadic Ap\'ery-like sequences were discovered by Zagier, by Almkvist and Zudilin and by Cooper in their searches for integral solutions for certain families of second- and third-order differential equations. We find new representations, in terms of constant terms of powers of Laurent polynomials, for all the 15 sporadic sequences. The new representations in turn lead to binomial expressions for the sequences, which, as opposed to previous expressions, do not involve powers of 8 and powers of 3. We use these to establish the supercongruence $B_{np^k} \equiv B_{np^{k-1}} \bmod p^{2k}$ for all primes $p \ge 3$ and integers $n,k \ge 1$, where $B_n$ is a sequence discovered by Zagier and known as Sequence $\mathbf{B}$. Additionally, for 14 out of the 15 sequences, the Newton polytopes of the Laurent polynomials used in our representations contain the origin as their only interior integral point. This property allows us to prove that these 14 sporadic sequences satisfy a strong form of the Lucas congruences, extending work of Malik and Straub. Moreover, we obtain lower bounds on the $p$-adic valuation of these 14 sequences via recent work of Delaygue.
期刊介绍:
Experimental Mathematics publishes original papers featuring formal results inspired by experimentation, conjectures suggested by experiments, and data supporting significant hypotheses.
Experiment has always been, and increasingly is, an important method of mathematical discovery. (Gauss declared that his way of arriving at mathematical truths was "through systematic experimentation.") Yet this tends to be concealed by the tradition of presenting only elegant, fully developed, and rigorous results.
Experimental Mathematics was founded in the belief that theory and experiment feed on each other, and that the mathematical community stands to benefit from a more complete exposure to the experimental process. The early sharing of insights increases the possibility that they will lead to theorems: An interesting conjecture is often formulated by a researcher who lacks the techniques to formalize a proof, while those who have the techniques at their fingertips have been looking elsewhere. Even when the person who had the initial insight goes on to find a proof, a discussion of the heuristic process can be of help, or at least of interest, to other researchers. There is value not only in the discovery itself, but also in the road that leads to it.