Showing 1–50 of 216 results for author: Zeilberger, D

In How Ways Can You Play Stanley Solitaire?

Authors: Shalosh B. Ekhad, Doron Zeilberger

Abstract: We introduce a very simple solitaire game, named Stanley Solitaire, in honor of Richard Stanley, and prove an explicit closed-form formula for the number of ways of playing it. Alas, the only proof that we know is via a deep theorem of Richard Stanley from 1984. We challenge the readers to find a more elementary proof. We introduce a very simple solitaire game, named Stanley Solitaire, in honor of Richard Stanley, and prove an explicit closed-form formula for the number of ways of playing it. Alas, the only proof that we know is via a deep theorem of Richard Stanley from 1984. We challenge the readers to find a more elementary proof. △ Less

Submitted 22 June, 2024; originally announced June 2024.

Comments: 5 pages

How to Answer Questions of the Type: If you toss a coin n times, how likely is HH to show up more than HT?

Authors: Shalosh B. Ekhad, Doron Zeilberger

Abstract: On March 16, 2024, Daniel Litt, in an X-post, proposed the following brainteaser: "Flip a fair coin 100 times. It gives a sequence of heads (H) and tails (T). For each HH in the sequence of flips, Alice gets a point; for each HT, Bob does, so e.g. for the sequence THHHT Alice gets 2 points and Bob gets 1 point. Who is most likely to win?" We show the power of symbolic computation, in particular th… ▽ More On March 16, 2024, Daniel Litt, in an X-post, proposed the following brainteaser: "Flip a fair coin 100 times. It gives a sequence of heads (H) and tails (T). For each HH in the sequence of flips, Alice gets a point; for each HT, Bob does, so e.g. for the sequence THHHT Alice gets 2 points and Bob gets 1 point. Who is most likely to win?" We show the power of symbolic computation, in particular the (continuous) Almkvist-Zeilberger algorithm, to answer this, and far more general, questions of this kind. △ Less

Submitted 22 May, 2024; originally announced May 2024.

Comments: 10 pages

Explicit Expressions for the First 20 Moments of the Area Under Dyck and Motzkin Paths

Authors: AJ Bu, Shalosh B. Ekhad, Doron Zeilberger

Abstract: Starting from AJ Bu's recent article that computed explicit expressions for the GENERATING functions of sums of powers of areas under Dyck and Motzkin paths, we deduce from them explicit expressions for the actual sequences. This enables taking the limits of the scaled moments and confirming, in an entirely elementary way, that they tend to those of the area under Brownian Excursion (up to any spe… ▽ More Starting from AJ Bu's recent article that computed explicit expressions for the GENERATING functions of sums of powers of areas under Dyck and Motzkin paths, we deduce from them explicit expressions for the actual sequences. This enables taking the limits of the scaled moments and confirming, in an entirely elementary way, that they tend to those of the area under Brownian Excursion (up to any specified moment). △ Less

Submitted 5 May, 2024; originally announced May 2024.

Comments: 5 pages. Accompanied by a Maple package and two output files available from https://sites.math.rutgers.edu/~zeilberg/mamarim/mamarimhtml/qew.html

Bijective and Automated Approaches to Abel Sums

Authors: Gil Kalai, Doron Zeilberger

Abstract: We present both bijective and automated approaches to Abel-type sums, dear to Dominique Foata. We present both bijective and automated approaches to Abel-type sums, dear to Dominique Foata. △ Less

Submitted 1 May, 2024; originally announced May 2024.

Comments: 9 pages. Dedicated to Dominique Foata on his forthcoming 90th birthday

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

Solving Functional Equations Dear to W.T. Tutte using the Naive (yet fullly rigorous!) Guess And Check Method

Authors: Shalosh B. Ekhad, Doron Zeilberger

Abstract: In his seminal paper ``A census of planar triangulations", published in 1962, the iconic graph theorist (and code-breaker), W.T. Tutte, spent a few pages to prove that a certain bi-variate generating function that enumerates triangulations, satisfies a certain functional equation. He then used his genius to actually solve it, giving closed-form solutions to the enumerating sequences. While the fir… ▽ More In his seminal paper ``A census of planar triangulations", published in 1962, the iconic graph theorist (and code-breaker), W.T. Tutte, spent a few pages to prove that a certain bi-variate generating function that enumerates triangulations, satisfies a certain functional equation. He then used his genius to actually solve it, giving closed-form solutions to the enumerating sequences. While the first part, of deriving the functional equation, still needs human ingenuity, the second part, of solving it, can nowadays be fully automated. Our Maple program, accompanying this paper, Tutte.txt, can not only solve Tutte's original equation in a few seconds, it can also solve many, far more complicated ones, way beyond the scope of even such a giant as W.T. Tutte. We use our favorite method of ``guess and check" and show how it can always be made fully rigorous (if desired). △ Less

Submitted 8 March, 2024; originally announced March 2024.

Comments: 5 pages. Accompanied by a Maple package and output files available from https://sites.math.rutgers.edu/~zeilberg/mamarim/mamarimhtml/tutte.html

Efficient Evaluations of Weighted Sums over the Boolean Lattice inspired by conjectures of Berti, Corsi, Maspero, and Ventura

Authors: Shalosh B. Ekhad, Doron Zeilberger

Abstract: In their study of water waves, Massimiliano Berti, Livia Corsi, Alberto Maspero, and Paulo Ventura, came up with two intriguing conjectured identities involving certain weighted sums over the Boolean lattice. They were able to prove the first one, while the second is still open. In this methodological note, we will describe how to generate many terms of these types of weighted sums, and if in luck… ▽ More In their study of water waves, Massimiliano Berti, Livia Corsi, Alberto Maspero, and Paulo Ventura, came up with two intriguing conjectured identities involving certain weighted sums over the Boolean lattice. They were able to prove the first one, while the second is still open. In this methodological note, we will describe how to generate many terms of these types of weighted sums, and if in luck, evaluate them in closed-form. We were able to use this approach to give a new proof of their first conjecture, and while we failed to prove the second conjecture, we give overwhelming evidence for its veracity. In this second version, we are happy to announce that Mark van Hoeij was able to complete the proof of the second conjecture, by explicitly solving the second-order recurrence mentioned at the end. △ Less

Submitted 5 March, 2024; v1 submitted 22 February, 2024; originally announced February 2024.

Comments: 6 pages. Accompanied by a Maple package available from https://sites.math.rutgers.edu/~zeilberg/mamarim/mamarimhtml/bcmv.html

The Jackson-Richmond 4CT Constant is EXACTLY 10/27

Authors: Shalosh B. Ekhad, Doron Zeilberger

Abstract: In their recent claimed computer-free proof of the Four Color Theorem, David Jackson and Bruce Richmond attempted to use sophisticated "asymptotic analysis" to explicitly compute a certain number whose positivity (according to them) implies this famous theorem. While the jury is still out whether their valiant attempt holds water, we prove, in this modest note, that this constant equals exactly 10… ▽ More In their recent claimed computer-free proof of the Four Color Theorem, David Jackson and Bruce Richmond attempted to use sophisticated "asymptotic analysis" to explicitly compute a certain number whose positivity (according to them) implies this famous theorem. While the jury is still out whether their valiant attempt holds water, we prove, in this modest note, that this constant equals exactly 10/27. We also point out that their evaluation of this constant must be erroneous, for two good reasons. Finally, as an encore, we state many similar, but more complicated, results. △ Less

Submitted 8 February, 2024; originally announced February 2024.

Comments: 4 pages. Accompanied by a Maple package and output files gotten from https://sites.math.rutgers.edu/~zeilberg/mamarim/mamarimhtml/4ctJR.html

Enumerating Seating Arrangements that Obey Social Distancing

Authors: George Spahn, Doron Zeilberger

Abstract: We study maximal seating arrangements, either on a line, or in a rectangular auditorium with a fixed number of columns but an arbitrary number of rows, that obey any prescribed set of `social distancing' restrictions. In addition to enumeration, we study the statistical distribution of the density, and give efficient algorithms for generating these at random We study maximal seating arrangements, either on a line, or in a rectangular auditorium with a fixed number of columns but an arbitrary number of rows, that obey any prescribed set of `social distancing' restrictions. In addition to enumeration, we study the statistical distribution of the density, and give efficient algorithms for generating these at random △ Less

Submitted 22 January, 2024; originally announced January 2024.

Comments: 10 pages. Accompanied by a Maple package available from https://sites.math.rutgers.edu/~zeilberg/mamarim/mamarimhtml/social.html

Implementing and Experimenting with the Calabi-Wilf algorithm for random selection of a subspace over a finite field

Authors: Shalosh B. Ekhad, Doron Zeilberger

Abstract: We revisit, implement, and experiment with a beautiful algorithm, due to Calabi and Wilf for the random generation of subspaces over a finie field. We revisit, implement, and experiment with a beautiful algorithm, due to Calabi and Wilf for the random generation of subspaces over a finie field. △ Less

Submitted 27 October, 2023; originally announced October 2023.

Comments: 5 pages

Explicit Expressions for Moments of the Duration of a 3-Player Gambler's Ruin

Authors: Shalosh B. Ekhad, Doron Zeilberger

Abstract: Using experimental mathematics and symbolic computation, we derive many moments for the duration of a three player (fair) gambler's ruin. Using experimental mathematics and symbolic computation, we derive many moments for the duration of a three player (fair) gambler's ruin. △ Less

Submitted 15 September, 2023; originally announced September 2023.

Comments: 9 pages. Accompanied by a Maple package and numerous output files obtainable from https://sites.math.rutgers.edu/~zeilberg/mamarim/mamarimhtml/gr3.html

A Guide to the Risk-Averse Gambler and Resolving the St. Petersburg Paradox Once and For All

Authors: Lucy Martinez, Doron Zeilberger

Abstract: We use three kinds of computations: simulation, numeric, and symbolic, to guide risk-averse gamblers in general, and offer particular advice on how to resolve the famous St. Petersburg paradox. We use three kinds of computations: simulation, numeric, and symbolic, to guide risk-averse gamblers in general, and offer particular advice on how to resolve the famous St. Petersburg paradox. △ Less

Submitted 10 October, 2023; v1 submitted 31 July, 2023; originally announced August 2023.

Comments: 14 pages, 9 figures

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

Yay for Determinants!

Authors: Tewodros Amdeberhan, Christoph Koutschan, Doron Zeilberger

Abstract: In this {\it case study}, we hope to show why Sheldon Axler was not just wrong, but {\em wrong}, when he urged, in 1995: ``Down with Determinants!''. We first recall how determinants are useful in enumerative combinatorics, and then illustrate three versatile tools (Dodgson's condensation, the holonomic ansatz and constant term evaluations) to operate in tandem to prove a certain intriguing determ… ▽ More In this {\it case study}, we hope to show why Sheldon Axler was not just wrong, but {\em wrong}, when he urged, in 1995: ``Down with Determinants!''. We first recall how determinants are useful in enumerative combinatorics, and then illustrate three versatile tools (Dodgson's condensation, the holonomic ansatz and constant term evaluations) to operate in tandem to prove a certain intriguing determinantal formula conjectured by the first author. We conclude with a postscript describing yet another, much more efficient, method for evaluating determinants: `ask determinant-guru, Christian Krattenthaler', but advise people only to use it as a last resort, since if we would have used this last method right away, we would not have had the fun of doing it all by ourselves. △ Less

Submitted 8 September, 2023; v1 submitted 4 July, 2023; originally announced July 2023.

Comments: 15 pages; 2 new sections added beyond the first version; dedicated to Christian Krattenthaler on his 65th birthday; this paper appeared (in a revised form) in the journal, SLC (Séminaire Lotharingien de Combinatoire), under a new title "A case study in determinant evaluations"; {\tt https://www.mat.univie.ac.at/~slc/wpapers/s89amdkozeil.pdf}

Journal ref: A case study in determinant evaluations, Séminaire Lotharingien de Combinatoire, 89 (2023), Article B89a

Experimenting with Discrete Dynamical Systems

Authors: George Spahn, Doron Zeilberger

Abstract: We demonstrate the power of Experimental Mathematics and Symbolic Computation to study intriguing problems on rational difference equations, studied extensively by Difference Equations giants, Saber Elaydi and Gerry Ladas (and their students and collaborators). In particular we rigorously prove some fascinating conjectures made by Amal Amleh and Gerry Ladas back in 2000. For other conjectures we a… ▽ More We demonstrate the power of Experimental Mathematics and Symbolic Computation to study intriguing problems on rational difference equations, studied extensively by Difference Equations giants, Saber Elaydi and Gerry Ladas (and their students and collaborators). In particular we rigorously prove some fascinating conjectures made by Amal Amleh and Gerry Ladas back in 2000. For other conjectures we are content with semi-rigorous proofs. We also extend the work of Emilie Purvine (formerly Hogan) and Doron Zeilberger for rigorously and semi-rigorously proving global asymptotic stability of arbitrary rational difference equations (with positive coefficients), and more generally rational transformations of the positive orthant of $R^k$ into itself △ Less

Submitted 20 June, 2023; originally announced June 2023.

Comments: 16 pages, accompanied by two Maple packages and numerous output files that can be gotten here:https://sites.math.rutgers.edu/~zeilberg/mamarim/mamarimhtml/dds.html

Using Symbolic Computation to Explore Generalized Dyck Paths and Their Areas

Authors: AJ Bu, Doron Zeilberger

Abstract: We show the power of Bruno Buchberger's seminal Groebner Basis algorithm, interfaced, seamlessly, with what we call symbolic dynamical programming, to automatically generate algebraic equations satisfied by the generating functions enumerating so-called Generalized Dyck Walks, i.e. 2D walks that start and end on the x-axis, and never dip below it, for an arbitrary set of steps. More impressively,… ▽ More We show the power of Bruno Buchberger's seminal Groebner Basis algorithm, interfaced, seamlessly, with what we call symbolic dynamical programming, to automatically generate algebraic equations satisfied by the generating functions enumerating so-called Generalized Dyck Walks, i.e. 2D walks that start and end on the x-axis, and never dip below it, for an arbitrary set of steps. More impressively, we combine it with calculus (that Maple knows very well!), to automatically compute generating functions for the sum-of-the-areas of these generalized Dyck paths, and even for the sum of any given power of the areas, enabling us to get statistical information about the area under a random generalized Dyck path. △ Less

Submitted 15 May, 2023; originally announced May 2023.

Comments: 16 pages. Dedicated to Bruno Buchberger on his 80th birthday. Accompanied by a Maple package and output files available from https://sites.math.rutgers.edu/~zeilberg/mamarim/mamarimhtml/area.html

Counting Clean Words According to the Number of Their Clean Neighbors

Authors: Shalosh B. Ekhad, Doron Zeilberger

Abstract: We extract brilliant ideas of Sandi Klavzar, Michel Mollard, and Marko Petkovsek who used them to solve one very specific enumeration problem, namely counting the number of words in the alphabet {0,1} of length n avoiding two consecutive ones, and having exactly k such neighbors, to a much more general setting where one has any (finite) alphabet, and any (finite) set of forbidden subwords. More im… ▽ More We extract brilliant ideas of Sandi Klavzar, Michel Mollard, and Marko Petkovsek who used them to solve one very specific enumeration problem, namely counting the number of words in the alphabet {0,1} of length n avoiding two consecutive ones, and having exactly k such neighbors, to a much more general setting where one has any (finite) alphabet, and any (finite) set of forbidden subwords. More important, we fully implement it in Maple. △ Less

Submitted 21 April, 2023; originally announced April 2023.

Comments: 6 pages. Accompanied by a Maple package and numerous input files available from https://sites.math.rutgers.edu/~zeilberg/mamarim/mamarimhtml/marko.html

Experimenting with Standard Young Tableaux

Authors: Shalosh B. Ekhad, Doron Zeilberger

Abstract: Using Symbolic Computation with Maple, we can discover lots of (rigorously-proved!) facts about Standard Young Tableaux, in particular the distribution of the entries in any specific cell, and the sorting probabilities. Using Symbolic Computation with Maple, we can discover lots of (rigorously-proved!) facts about Standard Young Tableaux, in particular the distribution of the entries in any specific cell, and the sorting probabilities. △ Less

Submitted 29 March, 2023; originally announced March 2023.

Comments: 12 pages. Accompanied by a Maple package and many output files available from https://sites.math.rutgers.edu/~zeilberg/mamarim/mamarimhtml/syt.html

On the Statistics of the Number of Fixed-Dimensional Subcubes in a Random Subset of the n-Dimensional Discrete Unit Cube

Authors: Svante Janson, Blair Seidler, Doron Zeilberger

Abstract: This paper consists of two independent, but related parts. In the first part we show how to use symbolic computation to derive explicit expressions for the first few moments of the number of implicants that a random Boolean function has, or equivalently the number of fixed-dimensional subcubes contained in a random subset of the $n$-dimensional cube. These explicit expressions suggest, but do not… ▽ More This paper consists of two independent, but related parts. In the first part we show how to use symbolic computation to derive explicit expressions for the first few moments of the number of implicants that a random Boolean function has, or equivalently the number of fixed-dimensional subcubes contained in a random subset of the $n$-dimensional cube. These explicit expressions suggest, but do not prove, that these random variables are always asymptotically normal. The second part presents a full, human-generated proof, of this asymptotic normality, first proved by Urszula Konieczna. △ Less

Submitted 17 February, 2023; originally announced February 2023.

Comments: 12 pages. For Maple code and other supporting information, see http://www.math.rutgers.edu/~zeilberg/mamarim/mamarimhtml/subcubes.html

How many Dice Rolls Would It Take to Reach Your Favorite Kind of Number?

Authors: Lucy Martinez, Doron Zeilberger

Abstract: Noga Alon and Yaakov Malinovsky recently studied the following game: you start at 0, and keep rolling a fair standard die, and add the outcomes until the sum happens to be prime. We generalize this in several ways, illustrating the power of symbolic, rather than merely numeric, computation. We conclude with polemics why the beautiful rigorous error estimate of Alon and Malinovsky is only of theore… ▽ More Noga Alon and Yaakov Malinovsky recently studied the following game: you start at 0, and keep rolling a fair standard die, and add the outcomes until the sum happens to be prime. We generalize this in several ways, illustrating the power of symbolic, rather than merely numeric, computation. We conclude with polemics why the beautiful rigorous error estimate of Alon and Malinovsky is only of theoretical interest, explaining why we were content, in our numerous extensions, with non-rigorous, but practically-certain, estimates. △ Less

Submitted 31 January, 2023; originally announced February 2023.

Comments: 10 pages

Experimenting with the Dym-Luks Ball and Cell Game (almost) Sixty Years Later

Authors: Shalosh B. Ekhad, Doron Zeilberger

Abstract: This is a symbolic-computational redux, and extension, of a beautiful paper, by Harry Dym and Eugene Luks, published in 1966 (but written in 1964) about a certain game with balls and cells. This is a symbolic-computational redux, and extension, of a beautiful paper, by Harry Dym and Eugene Luks, published in 1966 (but written in 1964) about a certain game with balls and cells. △ Less

Submitted 13 January, 2023; originally announced January 2023.

Comments: 7 pages. Accompanied by a Maple package and output files

Counting Permutations Where The Difference Between Entries Located $r$ Places Apart Can never be $s$ (For any given positive integers $r$ and $s$)

Authors: George Spahn, Doron Zeilberger

Abstract: Given positive integers $r$ and $s$, we use inclusion-exclusion, weighted-counting of tilings, and dynamical programming, in order to enumerate, semi-efficiently, the classes of permutations mentioned in the title. In the process we revisit beautiful previous work of Enrique Navarrete, Robert Tauraso, David Robbins (to whose memory this article is dedicated), and John Riordan. We also present two… ▽ More Given positive integers $r$ and $s$, we use inclusion-exclusion, weighted-counting of tilings, and dynamical programming, in order to enumerate, semi-efficiently, the classes of permutations mentioned in the title. In the process we revisit beautiful previous work of Enrique Navarrete, Robert Tauraso, David Robbins (to whose memory this article is dedicated), and John Riordan. We also present two new proofs of John Riordan's recurrence (from 1965) for the sequence enumerating permutations without rising and falling successions (the $r = 1$, $s = 1$ case of the title in the sense of absolute value). The first is fully automatic using the (continuous) Almkvist-Zeilberger algorithm, while the second is purely human-generated via an elegant combinatorial argument. We continue with some open questions and pledge donations to the OEIS in honor of the solvers. We conclude with a postscript describing interesting ideas of Rintaro Matsuo, that we were made aware of after the first version was written, and announce that one of the challenges was met. △ Less

Submitted 6 December, 2022; v1 submitted 4 November, 2022; originally announced November 2022.

Comments: 16 pages. Accompanied by two Maple packages and many output files available from https://sites.math.rutgers.edu/~zeilberg/mamarim/mamarimhtml/perms.html This version includes a new postscript

Variations on the Missionaries and Cannibals Problem

Authors: George Spahn, Doron Zeilberger

Abstract: We explore both automated and human approaches to the generalized Missionaries and Cannibals problem. We explore both automated and human approaches to the generalized Missionaries and Cannibals problem. △ Less

Submitted 21 October, 2022; originally announced October 2022.

Comments: 12 pages. Accompanied by three Maple packages and numerous output files obtainable from https://sites.math.rutgers.edu/~zeilberg/mamarim/mamarimhtml/cannibals.html

The Average AMS fellow who died before Aug. 2022 lived 83.36 years, published 98.53 papers, and was cited 2473.23 times

Authors: Livia A. Stone, Doron Zeilberger

Abstract: Using data collected from the AMS websites, and the internet in general, we compute the weight-enumerator of the set of 145 AMS fellows who passed away before Aug. 2022, according to the statistics [Age, Number of Publications, Number of Citations]. Using Maple and elementary calculus, we deduced from it the numbers stated in the title, as well as much more detailed and fascinating statistical inf… ▽ More Using data collected from the AMS websites, and the internet in general, we compute the weight-enumerator of the set of 145 AMS fellows who passed away before Aug. 2022, according to the statistics [Age, Number of Publications, Number of Citations]. Using Maple and elementary calculus, we deduced from it the numbers stated in the title, as well as much more detailed and fascinating statistical information. For example, while the correlation coefficient between the number of publications and number of citations is, not surprisingly, positive, it is far lower than one would expect, being a mere 0.5797 . The appendices contain the rankings according to longevity, number of publications, and number of citations. △ Less

Submitted 29 September, 2022; originally announced September 2022.

Comments: 23 pages. Accompanied by a Maple package obtainable from https://sites.math.rutgers.edu/~zeilberg/tokhniot/AMSrip.txt

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

Human and automated approaches for finite trigonometric sums

Authors: Jean-Paul Allouche, Doron Zeilberger

Abstract: We show that identities involving trigonometric sums recently proved by Harshitha, Vasuki and Yathirajsharma, using Ramanujan's theory of theta functions, were either already in the literature or can be proved easily by adapting results that can be found in the literature. Also we prove two conjectures given in that paper. After mentioning many other works dealing with identities for various trigo… ▽ More We show that identities involving trigonometric sums recently proved by Harshitha, Vasuki and Yathirajsharma, using Ramanujan's theory of theta functions, were either already in the literature or can be proved easily by adapting results that can be found in the literature. Also we prove two conjectures given in that paper. After mentioning many other works dealing with identities for various trigonometric sums, we end this paper by describing an automated approach for proving such trigonometric identities. △ Less

Submitted 19 September, 2022; v1 submitted 18 April, 2022; originally announced April 2022.

MSC Class: 11L03; 33B10; 11F20

Linear-Time and Constant-Space Algorithms to compute Multi-Sequences that arise in Enumerative Combinatorics (and Elsewhere)

Authors: Shalosh B. Ekhad, Doron Zeilberger

Abstract: How many ways, exactly, can a Chess King, always moving forward (i.e. with steps [1,0],[0,1],[1,1]) walk to [100000,200000]? Thanks to the amazing Apagodu-Zeilberger extension of the Almkvist-Zeilberger algorithm, adapted in this article for combinatorial applications, this 104492-digit number, can be computed in less than 33 seconds. But not just this particular number. Many other numbers that co… ▽ More How many ways, exactly, can a Chess King, always moving forward (i.e. with steps [1,0],[0,1],[1,1]) walk to [100000,200000]? Thanks to the amazing Apagodu-Zeilberger extension of the Almkvist-Zeilberger algorithm, adapted in this article for combinatorial applications, this 104492-digit number, can be computed in less than 33 seconds. But not just this particular number. Many other numbers that come up in enumerative combinatorics, can be computed just as efficiently △ Less

Submitted 9 March, 2022; originally announced March 2022.

Comments: 4 pages. Accompanied by Maple packages and output files available from https://sites.math.rutgers.edu/~zeilberg/mamarim/mamarimhtml/pure.html

A Linear Time, and Constant Space, Algorithm to Compute the Mixed Moments of the Multivariate Normal Distributions

Authors: Shalosh B. Ekhad, Doron Zeilberger

Abstract: Using recurrences gotten from the Apagodu-Zeilberger Multivariate Almkvist-Zeilberger algorithm we present a linear-time, and constant-space, algorithm to compute the general mixed moments of the k-variate general normal distribution, with any covariance matrix, for any specific k. Besides their obvious importance in statistics, these numbers are also very significant in enumerative combinatorics,… ▽ More Using recurrences gotten from the Apagodu-Zeilberger Multivariate Almkvist-Zeilberger algorithm we present a linear-time, and constant-space, algorithm to compute the general mixed moments of the k-variate general normal distribution, with any covariance matrix, for any specific k. Besides their obvious importance in statistics, these numbers are also very significant in enumerative combinatorics, since they count in how many ways, in a species with k different genders, a bunch of individuals can all get married, kee** track of the different kinds of heterosexual marriages. We completely implement our algorithm (with an accompanying Maple package, MVNM.txt) for the bivariate and trivariate cases (and hence taking care of our own 2-sex society and a putative 3-sex society), but alas, the actual recurrences for larger k took too long for us to compute. We leave them as computational challenges. △ Less

Submitted 20 February, 2022; originally announced February 2022.

Comments: 5 pages. Exclusively published in the Personal Journal of Shalosh B. Ekhad and Doron Zeilberger and this arxiv. Accompanied by a Maple package and output files available from https://sites.math.rutgers.edu/~zeilberg/mamarim/mamarimhtml/mvnm.html

Automated Counting and Statistical Analysis of Labeled Trees with Degree Restrictions

Authors: Shalosh B. Ekhad, Doron Zeilberger

Abstract: Arthur Cayley famously proved that there are n to the power n-2 labeled trees on n vertices. Here we go much further and show how to enumerate, fully automatically, labeled trees such that every vertex has a number of neighbors that belongs to a specified finite set, and also count trees where the number of neighbors is not allowed to be in a given finite set. We also give detailed statistical ana… ▽ More Arthur Cayley famously proved that there are n to the power n-2 labeled trees on n vertices. Here we go much further and show how to enumerate, fully automatically, labeled trees such that every vertex has a number of neighbors that belongs to a specified finite set, and also count trees where the number of neighbors is not allowed to be in a given finite set. We also give detailed statistical analysis, and show that in the sample space of labeled trees with n vertices, the random variable "number of vertices with d neighbors" is asymptotically normal, and for any different degrees, are jointly asymptotically normal, but of course, not independently so (except for the pair (1,3), i.e. the number of leaves and the number of degree-3 vertices, where there are asymptotically independent). We also give new proofs to Amram Meir and John Noon's expressions for the limiting expectation and variance for these, and derive an explicit expression for the covariance. △ Less

Submitted 20 February, 2022; v1 submitted 18 January, 2022; originally announced January 2022.

Comments: 5 pages. Exclusively published in the Personal Journal of Shalosh B. Ekhad and Doron Zeilberger and this arxiv. Accompanied by a Maple package, and extensive output files available from https://sites.math.rutgers.edu/~zeilberg/mamarim/mamarimhtml/etsim.html . This version adds references to previous work of A. Meir and J. W. Moon

An elegant Multi-Integral that implies an even more elegant determinant identity of Dougherty and McCammond

Authors: Tewodros Amdeberhan, Doron Zeilberger

Abstract: We state and prove an explicit evaluation of a certain multi-variate integral and use it to furnish a new, and shorter, proof of an elegant determinant identity of Michael Dougherty and Jon McCammond that came up in their study of critical values. We state and prove an explicit evaluation of a certain multi-variate integral and use it to furnish a new, and shorter, proof of an elegant determinant identity of Michael Dougherty and Jon McCammond that came up in their study of critical values. △ Less

Submitted 9 January, 2022; originally announced January 2022.

Comments: 4 +epsilon pages

Automating John P. D'Angelo's method to study Complete Polynomial Sequences

Authors: Shalosh B. Ekhad, Doron Zeilberger

Abstract: In this article, dedicated to the memory of Ron Graham, we fully automate John P. D'Angelo's method for studying complete polynomial sequences, for which Ron Graham, back in 1964, gave a beautiful necessary and sufficient conditions. D'Angelo found surprising connection of these elementary (but deep) number-theoretic questions to determining certain critical dimensions in complex geometry. In this article, dedicated to the memory of Ron Graham, we fully automate John P. D'Angelo's method for studying complete polynomial sequences, for which Ron Graham, back in 1964, gave a beautiful necessary and sufficient conditions. D'Angelo found surprising connection of these elementary (but deep) number-theoretic questions to determining certain critical dimensions in complex geometry. △ Less

Submitted 4 November, 2021; originally announced November 2021.

Comments: 6 pages; accompanied by a Maple package available from https://sites.math.rutgers.edu/~zeilberg/mamarim/mamarimhtml/jpda.html Exclusively published in the Personal Journal of Shalosh B. Ekhad and Doron Zeilberger and arxiv.longhoe.net

An Experimental (yet fully rigorous!) Study of a certain "Measure Of Disarray" that 12-year Noga Alon Proved was always Even

Authors: Shalosh B. Ekhad, Doron Zeilberger

Abstract: We study in depth a certain permutation statistic that was the subject of a brilliant insight by 12-year-old Noga Alon. Our approach is purely empirical and experimental, yet it is fully rigorous, thereby debunking, yet another time, the myth that mathematics is always a deductive science. This revised version contains three postscripts describing improvements pointed out by Stoyan Dimitrov, Kyle… ▽ More We study in depth a certain permutation statistic that was the subject of a brilliant insight by 12-year-old Noga Alon. Our approach is purely empirical and experimental, yet it is fully rigorous, thereby debunking, yet another time, the myth that mathematics is always a deductive science. This revised version contains three postscripts describing improvements pointed out by Stoyan Dimitrov, Kyle Petersen, and Martin Rubey. △ Less

Submitted 31 October, 2021; v1 submitted 28 September, 2021; originally announced September 2021.

Comments: 9 pages. Accompanied by a Maple package available from https://sites.math.rutgers.edu/~zeilberg/mamarim/mamarimhtml/noga12.html

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

Automatic Counting of Generalized Latin Rectangles and Trapezoids

Authors: George Spahn, Doron Zeilberger

Abstract: In this case study in ``fully automated enumeration'', we illustrate how to take full advantage of symbolic computation by develo** (what we call) `symbolic-dynamical-programming' algorithms for computing many terms of `hard to compute sequences', namely the number of Latin trapezoids, generalized derangements, and generalized three-rowed Latin rectangles. At the end we also sketch the proof of… ▽ More In this case study in ``fully automated enumeration'', we illustrate how to take full advantage of symbolic computation by develo** (what we call) `symbolic-dynamical-programming' algorithms for computing many terms of `hard to compute sequences', namely the number of Latin trapezoids, generalized derangements, and generalized three-rowed Latin rectangles. At the end we also sketch the proof of a generalization of Ira Gessel's 1987 theorem that says that for any number of rows, k, the number of Latin rectangles with k rows and n columns is P-recursive in n. Our algorithms are fully implemented in Maple, and generated quite a few terms of such sequences. △ Less

Submitted 25 August, 2021; originally announced August 2021.

Comments: 12 pages. Accompanied by three Maple packages, and numerous output files, available from https://sites.math.rutgers.edu/~zeilberg/mamarim/mamarimhtml/ltrap.html

Automatic Generation of Convolution Identities for C-finite sequences

Authors: Shalosh B. Ekhad, Doron Zeilberger

Abstract: In a recent insightful article, Helmut Prodinger uses sophisticated complex analysis, with residues, to derive convolution identities for Fibonacci, Tribonacci, and k-bonacci numbers. Here we use a naive, "experimental mathematics" (yet fully rogorous!) approach, using the C-finite ansatz, that can derive such identities in a few seconds, but not just for the above-mentioned sequences, but for eve… ▽ More In a recent insightful article, Helmut Prodinger uses sophisticated complex analysis, with residues, to derive convolution identities for Fibonacci, Tribonacci, and k-bonacci numbers. Here we use a naive, "experimental mathematics" (yet fully rogorous!) approach, using the C-finite ansatz, that can derive such identities in a few seconds, but not just for the above-mentioned sequences, but for every C-finite sequence (i.e. a sequence satisfying a linear recurrence with constant coefficients), and even for a pair of these. △ Less

Submitted 5 August, 2021; originally announced August 2021.

Comments: 3 pages. Accompanied by a Maple package and output files available from https://sites.math.rutgers.edu/~zeilberg/mamarim/mamarimhtml/prodinger.html

On Invariance Properties of Entries of Matrix Powers

Authors: Shalosh B. Ekhad, Doron Zeilberger

Abstract: A few years ago, Peter Larcombe discovered an amazing property regarding two by two matrices. For any such 2 by 2 matrix A, the ratios of the two anti-diagonal entries is the same for all powers of A. We discuss extensions to higher dimensions, and give a short bijective proof of Larcombe and Eric Fennessey's elegant extension to tri-diagonal matrices of arbitrary dimension. This article is accomp… ▽ More A few years ago, Peter Larcombe discovered an amazing property regarding two by two matrices. For any such 2 by 2 matrix A, the ratios of the two anti-diagonal entries is the same for all powers of A. We discuss extensions to higher dimensions, and give a short bijective proof of Larcombe and Eric Fennessey's elegant extension to tri-diagonal matrices of arbitrary dimension. This article is accompanied by a Maple package. △ Less

Submitted 27 July, 2021; originally announced July 2021.

Comments: 6 pages, accompanied by a Maple package and output file obtainable from https://sites.math.rutgers.edu/~zeilberg/mamarim/mamarimhtml/larcombe.html

Some Deep and Original Questions about the "critical exponents" of Generalized Ballot Sequences

Authors: Shalosh B. Ekhad, Doron Zeilberger

Abstract: We numerically estimate the critical exponents of certain enumeration sequences that naturally generalize the famous Catalan and super-Catalan sequences, and raise deep and original questions about their exact values, and whether they are rational numbers. In this version we announce that our questions were brilliantly answered by Michael Wallner, and that the pledged donation to the OEIS, in his… ▽ More We numerically estimate the critical exponents of certain enumeration sequences that naturally generalize the famous Catalan and super-Catalan sequences, and raise deep and original questions about their exact values, and whether they are rational numbers. In this version we announce that our questions were brilliantly answered by Michael Wallner, and that the pledged donation to the OEIS, in his honor, was made. △ Less

Submitted 27 May, 2021; v1 submitted 4 April, 2021; originally announced April 2021.

Comments: 9 pages; Accompanied by a Maple package and output files available from https://sites.math.rutgers.edu/~zeilberg/mamarim/mamarimhtml/capone.html

Automated Generation of Generating Functions Related to Generalized Stern's Diatomic Arrays in the footsteps of Richard Stanley

Authors: Shalosh B. Ekhad, Doron Zeilberger

Abstract: Using Symbolic Dynamic Programming we describe algorithms, fully implemented in Maple, for automatically generating generating functions introduced by Richard Stanley in his study of generalized Stern arrays, generalized even further, to arrays defined in terms of general sequences satisfying linear recurrences with constant coefficients, rather than just the Fibonacci and k-bonacci sequences Using Symbolic Dynamic Programming we describe algorithms, fully implemented in Maple, for automatically generating generating functions introduced by Richard Stanley in his study of generalized Stern arrays, generalized even further, to arrays defined in terms of general sequences satisfying linear recurrences with constant coefficients, rather than just the Fibonacci and k-bonacci sequences △ Less

Submitted 23 March, 2021; originally announced March 2021.

Comments: 18 pages; Exclusively published in the Personal Journal of Shalosh B. Ekhad and Doron Zeilberger and this arxiv. Accompanied by two Maple packages and numerous input and output files available from https://sites.math.rutgers.edu/~zeilberg/mamarim/mamarimhtml/stern.html

A Bijective Proof of Richard Stanley's Observation that the sum of the cubes of the n-th row of Stern's Diatomic array equals 3 times 7 to the power n-1

Authors: Shalosh B. Ekhad, Doron Zeilberger

Abstract: In a delightful article, Richard Stanley derived, algebraically, the surprisingly simple formula, 3 times 7 to the power n-1, for the sum of the cubes of the n-th row of Stern's diatomic array. In this note, we find an elegant bijective proof of this surprising fact, that explains it and gives insight. The novelty is that this gorgeous bijection was discovered by a computer (SBE), with minimal gui… ▽ More In a delightful article, Richard Stanley derived, algebraically, the surprisingly simple formula, 3 times 7 to the power n-1, for the sum of the cubes of the n-th row of Stern's diatomic array. In this note, we find an elegant bijective proof of this surprising fact, that explains it and gives insight. The novelty is that this gorgeous bijection was discovered by a computer (SBE), with minimal guidance by a human (DZ). This debunks the conventional wisdom, held by some human supremacists, that computers can only compute, but they can't give insight △ Less

Submitted 23 March, 2021; originally announced March 2021.

Comments: 2 pages; Exclusively published in the Personal Journal of Shalosh B. Ekhad and this arxiv. Accompanied by a Maple package and output files available from https://sites.math.rutgers.edu/~zeilberg/mamarim/mamarimhtml/bijstern.html

There are EXACTLY 1493804444499093354916284290188948031229880469556 Ways to Derange a Standard Deck of Cards (ignoring suits) [and many other such useful facts]

Authors: Shalosh B. Ekhad, Christoph Koutschan, Doron Zeilberger

Abstract: In this memorial tribute to Joe Gillis, who taught us that Special Functions count, we show how the seminal Even-Gillis integral formula for the number of derangements of a multiset, in terms of Laguerre polynomials, can be used to efficiently compute not only the number of the title, but much harder ones, when it is interfaced with Wilf-Zeilberger algorithmic proof theory. In this memorial tribute to Joe Gillis, who taught us that Special Functions count, we show how the seminal Even-Gillis integral formula for the number of derangements of a multiset, in terms of Laguerre polynomials, can be used to efficiently compute not only the number of the title, but much harder ones, when it is interfaced with Wilf-Zeilberger algorithmic proof theory. △ Less

Submitted 25 January, 2021; originally announced January 2021.

Comments: Accompanied by a Maple package and output files that can be gotten from https://sites.math.rutgers.edu/~zeilberg/mamarim/mamarimhtml/multider.html

MSC Class: 33F10; 05A15; 33D45; 68W30

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

Two Quick Proofs of a Catalan Lemma Needed by Lisa Sauermann and Yuval Wigderson

Authors: Shalosh B. Ekhad, Doron Zeilberger

Abstract: We present two proofs each, all shorter than the original proofs, of two elegant combinatorial identities that came up in the beautiful article arXiv:2010.00077 . We present two proofs each, all shorter than the original proofs, of two elegant combinatorial identities that came up in the beautiful article arXiv:2010.00077 . △ Less

Submitted 15 November, 2020; originally announced November 2020.

Comments: 2+epsilon pages. Dedicated to the memory of Robin Chapman (1963-2020)

Automatic Solving of Cubic Diophantine Equations Inspired by Ramanujan

Authors: Shalosh B. Ekhad, Doron Zeilberger

Abstract: In Ramanujan's Lost Notebook there is an amazing identity that furnishes infinitely many "almost counterexamples" to the cubic Fermat's Last Theorem, with no indication whatsoever how he discovered it. In 1995, Michael Hirschhorn explained, in a brilliant way, how Ramanujan may have done it, based on a certain polynomial identity for a sum of four cubes. Much earlier, Eri Jabotinsky, in an article… ▽ More In Ramanujan's Lost Notebook there is an amazing identity that furnishes infinitely many "almost counterexamples" to the cubic Fermat's Last Theorem, with no indication whatsoever how he discovered it. In 1995, Michael Hirschhorn explained, in a brilliant way, how Ramanujan may have done it, based on a certain polynomial identity for a sum of four cubes. Much earlier, Eri Jabotinsky, in an article published in 1946 (in a mathematics journal for teenagers) explained how Ramanujan may have discovered these polynomial identities needed for Hirschhorn's approach. Here we combine these two brilliant ideas (that may or may not have been how Ramanujan did it), automate it, and generalize, by develo** an algorithm to solve a large class of cubic diophantine equations. Our interest in this problem was rekindled after reading Amy Alznauer's (b. Andrews) delightful children book "The Boy Who Dreamed of Infinity" (Candlewick Press), 2020, where Ramanujan's identity appears in one of the illustrations. △ Less

Submitted 30 July, 2020; originally announced July 2020.

Comments: 11 pages. Exclusively published in the Personal Journal of Shalosh B. Ekhad and Doron Zeilberger and this arxiv.longhoe.net . Accompanied by three Maple packages that can be downloaded from <A HREF="https://sites.math.rutgers.edu/~zeilberg/mamarim/mamarimhtml/ramacubic.html">thus url</A>

Counting Standard Young Tableaux With Restricted Runs

Authors: Manuel Kauers, Doron Zeilberger

Abstract: The number of Young Tableaux whose shape is a k by n rectangle is famously (nk)! 0! ... (k-1)!/((n+k-1)!(n+k-2)!... n!) implying that for each specific k, that sequence satisfies a linear recurrence equation with polynomial coefficients of the first order. But what about counting Young tableaux where certain "run lengths" are forbidden? Then things seem to get much more complicated. We conclude wi… ▽ More The number of Young Tableaux whose shape is a k by n rectangle is famously (nk)! 0! ... (k-1)!/((n+k-1)!(n+k-2)!... n!) implying that for each specific k, that sequence satisfies a linear recurrence equation with polynomial coefficients of the first order. But what about counting Young tableaux where certain "run lengths" are forbidden? Then things seem to get much more complicated. We conclude with four conjectures and pledge donations to the OEIS in honor of the first provers. △ Less

Submitted 8 August, 2020; v1 submitted 17 June, 2020; originally announced June 2020.

Comments: 8 pages. Accompanied by Maple packages and C programs available from https://sites.math.rutgers.edu/~zeilberg/mamarim/mamarimhtml/cyt.html This version adds a footnote, and pledges donations to the OEIS in honor of the first provers

Automatic Counting of Restricted Dyck Paths via (Numeric and Symbolic) Dynamic Programming

Authors: Shalosh B. Ekhad, Doron Zeilberger

Abstract: Dyck paths are one of the most important objects in enumerative combinatorics, and there are many papers devoted to counting selected families of Dyck paths. Here we present two approaches for the automatic counting of many such families, using both a "dumb" approach (driven by numeric dynamic programming) that often works in practice, and a "clever" approach, needed for larger problems, driven by… ▽ More Dyck paths are one of the most important objects in enumerative combinatorics, and there are many papers devoted to counting selected families of Dyck paths. Here we present two approaches for the automatic counting of many such families, using both a "dumb" approach (driven by numeric dynamic programming) that often works in practice, and a "clever" approach, needed for larger problems, driven by "symbolic" dynamic programming. Both approaches are fully automated and implemented in Maple. △ Less

Submitted 17 June, 2020; v1 submitted 2 June, 2020; originally announced June 2020.

Comments: 13 pages. Accompanied by two Maple packages available from https://sites.math.rutgers.edu/~zeilberg/mamarim/mamarimhtml/dyck.html .Exclusively published in the Personal Journal of Shalosh B. Ekhad and Doron Zeilberger and this arxiv. This version has a few references to previous work added

A Mathematical Analysis of Mathematical Faculty

Authors: Victoria Chayes, Dodam Ih, Yukun Yao, Doron Zeilberger, Tianhao Zhang

Abstract: We use the data of tenured and tenure-track faculty at ten public and private math departments of various tiered rankings in the United States, as a case study to demonstrate the statistical and mathematical relationships among several variables, e.g., the number of publications and citations, the rank of professorship and AMS fellow status. At first we do an exploratory data analysis of the math… ▽ More We use the data of tenured and tenure-track faculty at ten public and private math departments of various tiered rankings in the United States, as a case study to demonstrate the statistical and mathematical relationships among several variables, e.g., the number of publications and citations, the rank of professorship and AMS fellow status. At first we do an exploratory data analysis of the math departments. Then various statistical tools, including regression, artificial neural network, and unsupervised learning, are applied and the results obtained from different methods are compared. We conclude that with more advanced models, it may be possible to design an automatic promotion algorithm that has the potential to be fairer, more efficient and more consistent than human approach. △ Less

Submitted 21 May, 2020; originally announced May 2020.

Comments: 26 pages, 8 figures

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)

The Absent-Minded Passengers Problem via Computer Algebra

Authors: Shalosh B. Ekhad, Doron Zeilberger

Abstract: In a delightful article that recently appeared in the American Mathematics Monthly, Norbert Henze and Guenter Last discuss the "Absent-Minded Passengers" Problem, but left open finding an explicit expression for the probability generating function, of the random variable "Number of passengers occupying a wrong seat", when the number of absent-minded passengers is larger than one. This is accomplis… ▽ More In a delightful article that recently appeared in the American Mathematics Monthly, Norbert Henze and Guenter Last discuss the "Absent-Minded Passengers" Problem, but left open finding an explicit expression for the probability generating function, of the random variable "Number of passengers occupying a wrong seat", when the number of absent-minded passengers is larger than one. This is accomplished in this note, using experimental mathematics and symbolic computation. We also derive explicit expressions for the first 8 moments of the original case of one absent-minded passenger, and indicate how to extend it to the general case △ Less

Submitted 19 January, 2020; originally announced January 2020.

Comments: 7 pages; Accompanied by a Maple package available from https://sites.math.rutgers.edu/~zeilberg/mamarim/mamarimhtml/amp.html

Automatic Discovery of Irrationality Proofs and Irrationality Measures

Authors: Doron Zeilberger, Wadim Zudilin

Abstract: We illustrate the power of Experimental Mathematics and Symbolic Computation to suggest irrationality proofs of natural constants, and the determination of their irrationality measures. Sometimes such proofs can be fully automated, but sometimes there is still need for a human touch. We illustrate the power of Experimental Mathematics and Symbolic Computation to suggest irrationality proofs of natural constants, and the determination of their irrationality measures. Sometimes such proofs can be fully automated, but sometimes there is still need for a human touch. △ Less

Submitted 21 December, 2019; originally announced December 2019.

Comments: 10 pages; accompanying Maple packages available from http://www.math.rutgers.edu/~zeilberg/mamarim/mamarimhtml/gat.html

MSC Class: Primary 11J71; 11J82; Secondary 11Y60; 33F10

Journal ref: Intern. J. Number Theory 17 (2021), no. 3, 815--825

The Irrationality Measure of Pi is at most 7.103205334137...

Authors: Doron Zeilberger, Wadim Zudilin

Abstract: We use a variant of Salikhov's ingenious proof that the irrationality measure of $π$ is at most $7.606308\dots$ to prove that, in fact, it is at most $7.103205334137\dots$. Accompanying Maple package: While this article has a fully rigorous human-made and human-readable proof of the claim in the title, it was discovered thanks to the Maple package available from http://sites.math.rutgers.edu/~ze… ▽ More We use a variant of Salikhov's ingenious proof that the irrationality measure of $π$ is at most $7.606308\dots$ to prove that, in fact, it is at most $7.103205334137\dots$. Accompanying Maple package: While this article has a fully rigorous human-made and human-readable proof of the claim in the title, it was discovered thanks to the Maple package available from http://sites.math.rutgers.edu/~zeilberg/mamarim/mamarimhtml/pimeas.html △ Less

Submitted 7 January, 2020; v1 submitted 13 December, 2019; originally announced December 2019.

Comments: 13 pages; v2: Lemma 2 corrected; accompanying Maple package available from http://sites.math.rutgers.edu/~zeilberg/mamarim/mamarimhtml/pimeas.html

MSC Class: 11J82 (Primary); 11Y60; 33F10; 33C60 (Secondary)

Journal ref: Moscow J. Comb. Number Th. 9 (2020) 407-419