Showing 1–11 of 11 results for author: Dougherty-Bliss, R

Creating Decidable Diophantine Equations

Authors: Robert Dougherty-Bliss, Charles Kenney, Doron Zeilberger

Abstract: Generalizing an argument of Matiyasevich, we illustrate a method to generate infinitely many diophantine equations whose solutions can be completely described by linear recurrences. In particular, we provide an integer-coefficient polynomial $p(x, y, z)$ whose only integer roots are consecutive triples of Tribonacci numbers. Generalizing an argument of Matiyasevich, we illustrate a method to generate infinitely many diophantine equations whose solutions can be completely described by linear recurrences. In particular, we provide an integer-coefficient polynomial $p(x, y, z)$ whose only integer roots are consecutive triples of Tribonacci numbers. △ Less

Submitted 10 June, 2024; v1 submitted 1 April, 2024; originally announced April 2024.

Comments: This version corrects a misstated date

MSC Class: 11D72

Hardinian Arrays

Authors: Robert Dougherty-Bliss, Manuel Kauers

Abstract: In 2014, R.H. Hardin contributed a family of sequences about king-moves on an array to the On-Line Encyclopedia of Integer Sequences (OEIS). The sequences were recently noticed in an automated search of the OEIS by Kauers and Koutschan, who conjectured a recurrence for one of them. We prove their conjecture as well as some older conjectures stated in the OEIS entries. We also have some new conject… ▽ More In 2014, R.H. Hardin contributed a family of sequences about king-moves on an array to the On-Line Encyclopedia of Integer Sequences (OEIS). The sequences were recently noticed in an automated search of the OEIS by Kauers and Koutschan, who conjectured a recurrence for one of them. We prove their conjecture as well as some older conjectures stated in the OEIS entries. We also have some new conjectures for the asymptotics of Hardin's sequences. △ Less

Submitted 1 September, 2023; originally announced September 2023.

Lots and Lots of Perrin-Type Primality Tests and Their Pseudo-Primes

Authors: Robert Dougherty-Bliss, Doron Zeilberger

Abstract: We use Experimental Mathematics and Symbolic Computation (with Maple), to search for lots and lots of Perrin- and Lucas- style primality tests, and try to sort the wheat from the chaff. More impressively, we find quite a few such primality tests for which we can explicitly construct infinite families of pseudo-primes, rather, like in the cases of Perrin pseudo-primes and the famous Carmichael prim… ▽ More We use Experimental Mathematics and Symbolic Computation (with Maple), to search for lots and lots of Perrin- and Lucas- style primality tests, and try to sort the wheat from the chaff. More impressively, we find quite a few such primality tests for which we can explicitly construct infinite families of pseudo-primes, rather, like in the cases of Perrin pseudo-primes and the famous Carmichael primes, only proving the mere existence of infinitely many of them. △ Less

Submitted 11 April, 2024; v1 submitted 29 July, 2023; originally announced July 2023.

Comments: 9 pages. Accompanied by a Maple package and numerous output files from <A HREF="https://sites.math.rutgers.edu/~zeilberg/mamarim/mamarimhtml/perrin.html">this url</A> This version corrects minor typos

Journal ref: INTEGERS v. 23 (2023) #A95

Gosper's algorithm and Bell numbers

Authors: Robert Dougherty-Bliss

Abstract: Computers are good at evaluating finite sums in closed form, but there are finite sums which do not have closed forms. Summands which do not produce a closed form can often be ``fixed'' by multiplying them by a suitable polynomial. We provide an explicit description of a class of such polynomials for simple hypergeometric summands in terms of the Bell numbers. Computers are good at evaluating finite sums in closed form, but there are finite sums which do not have closed forms. Summands which do not produce a closed form can often be ``fixed'' by multiplying them by a suitable polynomial. We provide an explicit description of a class of such polynomials for simple hypergeometric summands in terms of the Bell numbers. △ Less

Submitted 24 October, 2022; originally announced October 2022.

Comments: 13 pages

MSC Class: 68R05

The Meta-C-finite Ansatz

Authors: Robert Dougherty-Bliss

Abstract: The Fibonacci numbers satisfy the famous recurrence $F_n = F_{n - 1} + F_{n - 2}$. The theory of C-finite sequences ensures that the Fibonacci numbers whose indices are divisible by $m$, namely $F_{mn}$, satisfy a similar recurrence for every positive integer $m$, and these recurrences have an explicit, uniform representation. We will show that $a(mn)$ has a uniform recurrence over $m$ for any C-f… ▽ More The Fibonacci numbers satisfy the famous recurrence $F_n = F_{n - 1} + F_{n - 2}$. The theory of C-finite sequences ensures that the Fibonacci numbers whose indices are divisible by $m$, namely $F_{mn}$, satisfy a similar recurrence for every positive integer $m$, and these recurrences have an explicit, uniform representation. We will show that $a(mn)$ has a uniform recurrence over $m$ for any C-finite sequence $a(n)$ and use this to automatically derive some famous summation identities. △ Less

Submitted 29 June, 2022; originally announced June 2022.

MSC Class: 05A15; 05A19 (Primary)

Exploring General Apéry Limits via the Zudilin-Straub t-transform

Authors: Robert Dougherty-Bliss, Doron Zeilberger

Abstract: Inspired by a recent beautiful construction of Armin Straub and Wadim Zudilin, that 'tweaked' the sum of the $s^{th}$ powers of the $n$-th row of Pascal's triangle, getting instead of sequences of numbers, sequences of rational functions, we do the same for general binomial coefficients sums, getting a practically unlimited supply of Apéry limits. While getting what we call "major Apéry miracles",… ▽ More Inspired by a recent beautiful construction of Armin Straub and Wadim Zudilin, that 'tweaked' the sum of the $s^{th}$ powers of the $n$-th row of Pascal's triangle, getting instead of sequences of numbers, sequences of rational functions, we do the same for general binomial coefficients sums, getting a practically unlimited supply of Apéry limits. While getting what we call "major Apéry miracles", proving irrationality of the associated constants (i.e. the so-called Apéry limits) is very rare, we do get, every time, at least a "minor Apéry miracle" where an explicit constant, defined as an (extremely slowly-converging) limit of some explicit sequence, is expressed as an Apéry limit of some recurrence, with some initial conditions, thus enabling a very fast computation of that constant, with exponentially decaying error. △ Less

Submitted 26 May, 2022; originally announced May 2022.

Comments: 10 pgs

MSC Class: 11J25

Experimenting with Apery Limits and WZ pairs

Authors: Robert Dougherty-Bliss, Doron Zeilberger

Abstract: This article, dedicated with admiration in memory of Jon and Peter Borwein, illustrates by example, the power of experimental mathematics, so dear to them both, by experimenting with so-called Apery limits and WZ pairs. In particular we prove a weaker form of an intriguing conjecture of Marc Chamberland and Armin Straub (in an article dedicated to Jon Borwein), and generate lots of new Apery limit… ▽ More This article, dedicated with admiration in memory of Jon and Peter Borwein, illustrates by example, the power of experimental mathematics, so dear to them both, by experimenting with so-called Apery limits and WZ pairs. In particular we prove a weaker form of an intriguing conjecture of Marc Chamberland and Armin Straub (in an article dedicated to Jon Borwein), and generate lots of new Apery limits. We also rediscovered an infinite family of cubic irrationalities, that suggested very good effective irrationality measures (lower than Liouville's generic 3), and that seemed to go down to the optimal 2. It turned out this follows from known deep results in number theory, and a postscript by Paul Voutier outlines the proof. Nevertheless we believe that further experiments with our Maple packages will lead to new and interesting results. △ Less

Submitted 19 September, 2021; v1 submitted 11 September, 2021; originally announced September 2021.

Comments: 11 pages. Accompanied by three Maple packages and numerous output files available from https://sites.math.rutgers.edu/~zeilberg/mamarim/mamarimhtml/wzp.html ; In fond memory of Jon and Peter Borwein. This version contains a postscript by Paul Voutier

Integral Recurrences from A to Z

Authors: Robert Dougherty-Bliss

Abstract: George Boros and Victor Moll's masterpiece "Irresistible Integrals" does well to include a suitably-titled appendix, "The Revolutionary WZ Method," which gives a brief overview of the celebrated Wilf--Zeilberger method of definite summation. Paradoxically, "Irresistible Integrals" does not contain the suitably-titled appendix, "The Revolutionary AZ Method," which would have been an excellent place… ▽ More George Boros and Victor Moll's masterpiece "Irresistible Integrals" does well to include a suitably-titled appendix, "The Revolutionary WZ Method," which gives a brief overview of the celebrated Wilf--Zeilberger method of definite summation. Paradoxically, "Irresistible Integrals" does not contain the suitably-titled appendix, "The Revolutionary AZ Method," which would have been an excellent place to give a brief overview of the Almkvist--Zeilberger method of definite integration! This omission can be forgiven, but once realized it must be rectified. The remarkable AZ machinery deserves to be more widely known to the general public than it is. We will do our part by presenting a series of case studies that culminate in a -- fun but overkill -- integral-based proof that $e$ is irrational. △ Less

Submitted 19 February, 2021; originally announced February 2021.

Comments: 11 pages

MSC Class: 39-02 (Primary); 11-02 (Secondary)

Tweaking the Beukers Integrals In Search of More Miraculous Irrationality Proofs A La Apery

Authors: Robert Dougherty-Bliss, Christoph Koutschan, Doron Zeilberger

Abstract: There are only aleph-zero rational numbers, while there are 2 to the power aleph-zero real numbers. Hence the probability that a randomly chosen real number would be rational is 0. Yet proving rigorously that any specific, natural, real constant, is irrational is usually very hard, witness that there are still no proofs of the irrationality of the Euler-Mascheroni constant, the Catalan constant, o… ▽ More There are only aleph-zero rational numbers, while there are 2 to the power aleph-zero real numbers. Hence the probability that a randomly chosen real number would be rational is 0. Yet proving rigorously that any specific, natural, real constant, is irrational is usually very hard, witness that there are still no proofs of the irrationality of the Euler-Mascheroni constant, the Catalan constant, or Zeta(5). Inspired by Frits Beukers' elegant rendition of Apery's seminal proofs of the irrationality of Zeta(2) and Zeta(3), and heavily using algorithmic proof theory, we systematically searched for other similar integrals, that lead to irrationality proofs. We found quite a few candidates for such proofs, including the square-root of Pi times Gamma(7/3)/Gamma(-1/6) and Gamma(19/6)/Gamma(8/3) divided by the square-root of Pi. △ Less

Submitted 20 January, 2021; originally announced January 2021.

Comments: 21 pages, accompanied by three Maple packages available from https://sites.math.rutgers.edu/~zeilberg/mamarim/mamarimhtml/beukers.html

Enumerating Restricted Dyck Paths with Context-Free Grammars

Authors: AJ Bu, Robert Dougherty-Bliss

Abstract: The number of Dyck paths of semilength $n$ is famously $C_n$, the $n$th Catalan number. This fact follows after noticing that every Dyck path can be uniquely parsed according to a context-free grammar. In a recent paper, Zeilberger showed that many restricted sets of Dyck paths satisfy different, more complicated grammars, and from this derived various generating function identities. We take this… ▽ More The number of Dyck paths of semilength $n$ is famously $C_n$, the $n$th Catalan number. This fact follows after noticing that every Dyck path can be uniquely parsed according to a context-free grammar. In a recent paper, Zeilberger showed that many restricted sets of Dyck paths satisfy different, more complicated grammars, and from this derived various generating function identities. We take this further, highlighting some combinatorial results about Dyck paths obtained via grammatical proof and generalizing some of Zeilberger's grammars to infinite families. △ Less

Submitted 18 September, 2020; originally announced September 2020.

MSC Class: 05C30

Automatic Conjecturing and Proving of Exact Values of Some Infinite Families of Infinite Continued Fractions

Authors: Robert Dougherty-Bliss, Doron Zeilberger

Abstract: Inspired by the recent pioneering work, dubbed "The Ramanujan Machine" by Raayoni et al. (arXiv:1907.00205), we (automatically) [rigorously] prove some of their conjectures regarding the exact values of some specific infinite continued fractions, and generalize them to evaluate infinite families (naturally generalizing theirs). Our work complements their beautiful approach, since we use symbolic r… ▽ More Inspired by the recent pioneering work, dubbed "The Ramanujan Machine" by Raayoni et al. (arXiv:1907.00205), we (automatically) [rigorously] prove some of their conjectures regarding the exact values of some specific infinite continued fractions, and generalize them to evaluate infinite families (naturally generalizing theirs). Our work complements their beautiful approach, since we use symbolic rather than numeric computations, and we instruct the computer to not only discover such evaluations, but at the same time prove them rigorously. △ Less

Submitted 26 May, 2020; v1 submitted 31 March, 2020; originally announced April 2020.

Comments: 16 pages; relocated some equations to emphasize results and methodology

MSC Class: 11A55 (Primary) 40A15 (Secondary)