Abstract:In the Stanley lattice defined on Dyck paths of size $n$, cover relations are obtained by replacing a valley $DU$ by a peak $UD$. We investigate a greedy version of this lattice, first introduced by Chenevière, where cover relations replace a factor $DU^k D$ by $U^kD^2$. By relating this poset to another poset recently defined by Nadeau and Tewari, we prove that this still yields a lattice, which we call the ascent lattice $L_n$. We then count intervals in $L_n$. Their generating function is found to be algebraic of degree $3$. The proof is based on a recursive decomposition of intervals involving two catalytic parameters. The solution of the corresponding functional equation is inspired by recent work on the enumeration of walks confined to a quadrant. We also consider the order induced in $L_{mn}$ on $m$-Dyck paths, that is, paths in which all ascent lengths are multiples of $m$, and on mirrored $m$-Dyck paths, in which all descent lengths are multiples of $m$. The first poset $L_{m,n}$ is still a lattice for any $m$, while the second poset $L'_{m,n}$ is only a join semilattice when $m>1$. In both cases, the enumeration of intervals is still described by an equation in two catalytic variables. Interesting connections arise with the sylvester congruence of Hivert, Novelli and Thibon, and again with walks confined to a quadrant. We combine the latter connection with probabilistic results to give asymptotic estimates of the number of intervals in both $L_{m,n}$ and $L'_{m,n}$. Their form implies that the generating functions of intervals are no longer algebraic, nor even D-finite, when $m>1$.

Chutes and Ladders: on some sequences inspired by 2017 Putnam A1

Ungar Games on the Young-Fibonacci and the Shifted Staircase Lattices

On a Conjecture about Ron Graham's Sequence

Benchmark Instances and Branch-and-Cut Algorithm for the Hashiwokakero Puzzle

Computational and Theoretical Challenges on Counting Solid Standard Young Tableaux

On Ascent, Repetition and Descent Sequences

The Mutando of Insanity

Modified ascent sequences and Bell numbers

Quantifying the Vices and Virtues of Snakes and Ladders Through Time

A multi-computational exploration of some games of pure chance

On $\underline{12}0$-avoiding inversion and ascent sequences

A Mathematical Foundation for the Numberlink Game

Snakes and Ladders: a Treewidth Story

Counting tournament score sequences

The (Symbolic and Numeric) Computational Challenges of Counting 0-1 Balanced Matrices

Solving a Mathematical Problem in Square War: a Go-like Board Game

Parks: A Doubly Infinite Family of NP-Complete Puzzles and Generalizations of A002464

The Ungar Games

Two Games on Arithmetic Functions: SALIQUANT and NONTOTIENT

Eight Hateful Sequences

The ascent lattice on Dyck paths