arXiv++ Combinatorics

Given a (possibly infinite) subset $A$ of the natural numbers, we ask how many times a fair six-sided die must be rolled until the rolled numbers add up to an element of $A$. Using a one-dimensional dynamic programming recursion together with truncation and rigorous error bounds, we compute the expected number of rolls efficiently and with very high accuracy. When $A$ is the set of prime numbers, the irregular distribution of primes makes it difficult to obtain explicit error estimates. Nevertheless, the density of primes implies that the associated survival probability decays exponentially fast, which enables highly accurate truncation estimates. As a result, our calculations yield significantly sharper estimates for this expectation and its higher moments than the original results of Conroy, Alon, and Malinovsky. In particular, we determine the expectation to more than $1000$ decimal places.

We study the expected number of rolls required for the cumulative sum of a fair six-sided die to first enter a prescribed target set $H\subset\mathbb{Z}_{\ge0}$. A one-variable dynamic-programming formulation is introduced that removes dependence on the roll count. Within this framework, the infinite process is truncated at a large cutoff $N$ and corrected by an analytically derived overshoot term that accounts for the rare event of exceeding $N$ before entering $H$. Explicit bounds on this residual yield a strict two-sided estimate of the truncation error. The method is numerically efficient, requiring constant memory and linear time in the cutoff. For the perfect-square target set $H=\{n^2:n\in\mathbb{N}\}$, all quantities are evaluated explicitly, yielding \[ \mathbb{E}[T]=7.07976423755110510389555305690818489468\ldots, \] provably correct to 1,017 decimal places. This constitutes the most precise result known to date and establishes a general framework for high-accuracy computation of discrete hitting times.

John von Neumann studied a simplified version of poker where the "deck" consists of infinitely many cards, in fact, all real numbers between $0$ and $1$. We harness the power of computation, both numeric and symbolic, to investigate analogs with finitely many cards. We also study finite analogs of a simplified poker introduced by D.J. Newman, and conclude with a thorough investigation, fully implemented in Maple, of the three-player game, doing both the finite and the infinite versions. This paper is accompanied by two Maple packages and numerous output files.

In the classical coupon collector's problem, every box of breakfast cereal contains one coupon from a collection of n distinct coupons, each equally likely to appear. The goal is to find the expected number of boxes a player needs to purchase to complete the whole collection. In this work, we extend the classical problem to k players who compete with one another to be the first to collect the whole collection. We find the expected numbers of boxes required for the slowest and fastest players to finish the game. The odds of a particular player being the slowest or fastest player will also be touched upon. The solutions will be discussed from both the tractable algebraic techniques as well as the probability point of views.

Relying on the optimal guessing strategy recently found for a no-feedback card guessing game with $k$-time riffle shuffles, we derive an exact, closed-form formula for the expected number of correct guesses and higher moments for a $1$-time shuffle case. Our approach makes use of the fast generating function based on a recurrence relation, the method of overlapping stages, and interpolation. As for $k>1$-time shuffles, we establish the expected number of correct guesses through a self-contained combinatorial proof. The proof turns out to be the answer to an open problem listed in Krityakierne and Thanatipanonda (2022), asking for a combinatorial interpretation of a generating function object introduced therein.

In 1998, Ciucu published "No-feedback card guessing for dovetail shuffles", an article which gives the optimal guessing strategy for $n$ cards ($n$ even) after $k$ riffle shuffles whenever $k>2\log_{2}\left(n\right)$. We discuss in this article the optimal guessing strategy and the asymptotic (in $n$) expected number of correct guesses for any fixed $k\geq1$. This complements the work achieved two decades ago by Ciucu.

Given a sequence 1, 1, 5, 23, 135, 925, 7285, 64755, 641075, 6993545, 83339745,..., how can we guess a formula for it? This article will quickly walk you through the concept of ansatz for classes of polynomial, $C$-finite, holonomic, and the most recent addition $C^2$-finite sequences. For each of these classes, we discuss in detail various aspects of the guess and check, generating functions, closure properties, and closed-form solutions. Every theorem is presented with an accessible proof, followed by several examples intended to motivate the development of the theories. Each example is accompanied by a Maple program with the purpose of demonstrating use of the program in solving problems in this area. While this work aims to give a comprehensive review of existing ansatzes, we also systematically fill a research gap in the literature by providing theoretical and numerical results for the $C^2$-finite sequences. We hope the readers will enjoy the journey through our unifying framework for the study of ansatz.

Consider a card guessing game with complete feedback in which a deck of $n$ cards ordered $1,\dots, n$ is riffle-shuffled once. With the goal to maximize the number of correct guesses, a player guesses cards from the top of the deck one at a time under the optimal strategy until no cards remain. We provide an expression for the expected number of correct guesses with arbitrary number of terms, an accuracy improvement over the results of Liu (2021). In addition, using generating functions, we give a unified framework for systematically calculating higher-order moments. Although the extension of the framework to $k\geq2$ shuffles is not immediately straightforward, we are able to settle a long-standing McGrath's conjectured optimal strategy described in Bayer and Diaconis (1992) by showing that the optimal guessing strategy for $k=1$ riffle shuffle does not necessarily apply to $k\geq2$ shuffles.