arXiv++ Combinatorics

Dumont and Foata introduced in 1976 a three-variable symmetric refinement of Genocchi numbers, which satisfies a simple recurrence relation. A six-variable generalization with many similar properties was later considered by Dumont. They generalize a lot of known integer sequences, and their ordinary generating function can be expanded as a Jacobi continued fraction. We give here a new combinatorial interpretation of the six-variable polynomials in terms of the alternative tableaux introduced by Viennot. A powerful tool to enumerate alternative tableaux is the so-called "matrix Ansatz", and using this we show that our combinatorial interpretation naturally leads to a new proof of the continued fraction expansion.

This paper describes a simple method for estimating lower bounds on the number of classes of equivalence for a special kind of integer sequences, called division sequences. The method is based on adding group structure to classes of equivalence and studying properties of resulting groups as presentations of free group.

When my "Handbook of Integer Sequences" came out in 1973, Philip Morrison gave it an enthusiastic review in the Scientific American and Martin Gardner was kind enough to say in his Mathematical Games column that "every recreational mathematician should buy a copy forthwith." That book contained 2372 sequences. Today the "On-Line Encyclopedia of Integer Sequences" contains 117000 sequences. This paper will describe seven that I find especially interesting. These are the EKG sequence, Gijswijt's sequence, a numerical analog of Aronson's sequence, approximate squaring, the integrality of n-th roots of generating functions, dissections, and the kissing number problem. (Paper for conference in honor of Martin Gardner's 91st birthday.)

We describe here an experimental method that permits to compute a good candidate for the closed form of a generating function if we know the first few terms of a series. The method is based on integer relations algorithms and uses either two programs of symbolic computation: Maple or Pari-Gp. Some results are presented in the appendix. This method was tested on a set of sequences that were part of the incoming book on integer sequences (as of 1993). This method was presented at the FPSAC, Formal Power Series and Algebraic Combinatorics, Florence, June 1993.

Let $\mathcal S$ be a subset of the positive integers, and $M$ be a positive integer. Mohammad K. Azarian, inspired by work of Tony Colledge, considered the number of ways to climb a staircase containing $n$ stairs using "step-sizes" $s \in \mathcal S$ and multiplicities at most $M$. In this exposition, we find a solution via generating functions, i.e., an expression which counts the number of partitions $n = \sum_{s \in \mathcal S} m_s s$ satisfying $0 \leq m_s \leq M$. We then use this result to answer a series of questions posed by Azarian, thereby showing a link with ten sequences listed in the On-Line Encyclopedia of Integer Sequences. We conclude by posing open questions which seek to count the number of compositions of $n$.

In this paper, we partially solve an open problem, due to J.C. Molluzzo in 1976, on the existence of balanced Steinhaus triangles modulo a positive integer $n$, that are Steinhaus triangles containing all the elements of $\mathbb{Z}/n\mathbb{Z}$ with the same multiplicity. For every odd number $n$, we build an orbit in $\mathbb{Z}/n\mathbb{Z}$, by the linear cellular automaton generating the Pascal triangle modulo $n$, which contains infinitely many balanced Steinhaus triangles. This orbit, in $\mathbb{Z}/n\mathbb{Z}$, is obtained from an integer sequence called the universal sequence. We show that there exist balanced Steinhaus triangles for at least $2/3$ of the admissible sizes, in the case where $n$ is an odd prime power. Other balanced Steinhaus figures, such as Steinhaus trapezoids, generalized Pascal triangles, Pascal trapezoids or lozenges, also appear in the orbit of the universal sequence modulo $n$ odd. We prove the existence of balanced generalized Pascal triangles for at least $2/3$ of the admissible sizes, in the case where $n$ is an odd prime power, and the existence of balanced lozenges for all admissible sizes, in the case where $n$ is a square-free odd number.

Given a barrier $0 \leq b_0 \leq b_1 \leq ...$, let $f(n)$ be the number of nondecreasing integer sequences $0 \leq a_0 \leq a_1 \leq ... \leq a_n$ for which $a_j \leq b_j$ for all $0 \leq j \leq n$. Known formulæfor $f(n)$ include an $n \times n$ determinant whose entries are binomial coefficients (Kreweras, 1965) and, in the special case of $b_j = rj+s$, a short explicit formula (Proctor, 1988, p.320). A relatively easy bivariate recursion, decomposing all sequences according to $n$ and $a_n$, leads to a bivariate generating function, then a univariate generating function, then a linear recursion for $\{f(n) \}$. Moreover, the coefficients of the bivariate generating function have a probabilistic interpretation, leading to an analytic inequality which is an identity for certain values of its argument.

We consider quivers/skew-symmetric matrices under the action of mutation (in the cluster algebra sense). We classify those which are isomorphic to their own mutation via a cycle permuting all the vertices, and give families of quivers which have higher periodicity. The periodicity means that sequences given by recurrence relations arise in a natural way from the associated cluster algebras. We present a number of interesting new families of non-linear recurrences, necessarily with the Laurent property, of both the real line and the plane, containing integrable maps as special cases. In particular, we show that some of these recurrences can be linearised and, with certain initial conditions, give integer sequences which contain all solutions of some particular Pell equations. We extend our construction to include recurrences with parameters, giving an explanation of some observations made by Gale. Finally, we point out a connection between quivers which arise in our classification and those arising in the context of quiver gauge theories.

Building on work by Desjarlais, Molina, Faase, and others, a general method is obtained for counting the number of spanning trees of graphs that are a product of an arbitrary graph and either a path or a cycle, of which grid graphs are a subclass. Results are obtained pertaining to recurrences obtained in this manner, and numerous new integer sequences are found.

An integer sequence a(n) is called a jump sequence if a(1)=1 and 1<=a(n)<n for n>=2. Such a sequence has the property that a^k(n)=a(a(...(a(n))...)) goes to 1 in finitely many steps and we call the pattern (n,a(n),a^2(n),...,a^k(n)=1) a jumping pattern from n down to 1. In this paper we look at jumping sequences which are weight minimizing with respect to various weight functions (where a weight w(i,j) is given to each jump from j down to i). Our main result is to show that if w(i,j)=(i+j)/i^2 then the cost minimizing jump sequence has the property that the number m satisfies m=a^q(p) for arbitrary q and some p (depending on q) if and only if m is a Pell number.

We compute the dimension $d_{n,r}(q) = \dim(\IR_q^r)$ of the defining module $\IR_q^r$ for the $q$-partition algebra. This module comes from $r$-iterations of Harish-Chandra restriction and induction on $\GL_n(\FF_q)$. This dimension is a polynomial in $q$ that specializes as $d_{n,r}(1) = n^r$ and $d_{n,r}(0) = B(r)$, the $r$th Bell number. We compute $d_{n,r}(q)$ in two ways. The first is purely combinatorial. We show that $d_{n,r}(q) = \sum_λf^λ(q) m_r^λ$, where $f^λ(q)$ is the $q$-hook number and $m_r^λ$ is the number of $r$-vacillating tableaux. Using a Schensted bijection, we write this as a sum over integer sequences which, when $q$-counted by inverse major index, gives $d_{n,r}(q)$. The second way is algebraic. We find a basis of $\IR_q^r$ that is indexed by $n$-restricted $q$-set partitions of $\{1,..., r\}$, and we show that there are $d_{n,r}(q)$ of these.

We give some interpretations to certain integer sequences in terms of parameters on Grand-Dyck paths and coloured noncrossing partitions, and we find some new bijections relating Grand-Dyck paths and signed pattern avoiding permutations. Next we transfer a natural distributive lattice structure on Grand-Dyck paths to coloured noncrossing partitions and signed pattern avoiding permutations, thus showing, in particular, that it is isomorphic to the structure induced by the (strong) Bruhat order on a certain set of signed pattern avoiding permutations.

We present bijections between four classes of combinatorial objects. Two of them, the class of unlabeled (2+2)-free posets and a certain class of involutions (or chord diagrams), already appeared in the literature, but were apparently not known to be equinumerous. We present a direct bijection between them. The third class is a family of permutations defined in terms of a new type of pattern. An attractive property of these patterns is that, like classical patterns, they are closed under the action of $D_8$, the symmetry group of the square. The fourth class is formed by certain integer sequences, called ascent sequences, which have a simple recursive structure and are shown to encode (2+2)-free posets and permutations. Our bijections preserve numerous statistics. We determine the generating function of these classes of objects, thus recovering a non-D-finite series obtained by Zagier for the class of chord diagrams. Finally, we characterize the ascent sequences that correspond to permutations avoiding the barred pattern $3{\bar 1}52{\bar 4}$ and use this to enumerate those permutations, thereby settling a conjecture of Pudwell.

In his July 1974 Scientific American column, Martin Gardner mentioned the Handbook of Integer Sequences, which then contained 2372 sequences. Today the On-Line Encyclopedia of Integer Sequences (the OEIS) contains 140000 sequences. This paper discusses eight of them, suggested by the theme of the Eighth Gathering For Gardner: they are all infinite, and all 'ateful in one way or another. Each one is connected with an unsolved problem. The sequences are related to: hateful numbers, Angelini's 1995 puzzle, the persistence of a number, Alekseyev's 123 sequence, the curling number conjecture, Quet's prime-generating recurrence, the traveling salesman's problem, and the Riemann Hypothesis.

The set of all non-increasing nonnegative integers sequence $π=$ ($d(v_1),$ $d(v_2),$ $...,$ $d(v_n)$) is denoted by $NS_n$. A sequence $π\in NS_n$ is said to be graphic if it is the degree sequence of a simple graph $G$ on $n$ vertices, and such a graph $G$ is called a realization of $π$. The set of all graphic sequences in $NS_n$ is denoted by $GS_n$. A graphical sequence $π$ is potentially $H$-graphical if there is a realization of $π$ containing $H$ as a subgraph, while $π$ is forcibly $H$-graphical if every realization of $π$ contains $H$ as a subgraph. Let $K_k$ denote a complete graph on $k$ vertices. Let $K_{m}-H$ be the graph obtained from $K_{m}$ by removing the edges set $E(H)$ of the graph $H$ ($H$ is a subgraph of $K_{m}$). This paper summarizes briefly some recent results on potentially $K_{m}-G$-graphic sequences and give a useful classification for determining $σ(H,n)$.

I introduce autobiographical numbers as defined in A046043 (see Online Encyclopedia of Integer Sequences). I continue by defining and analyzing biographies, curricula vitae and complete life stories of numbers. I end with the definition of mutually-praising number pairs.

In this note we characterize all regular tetrahedra whose vertices in R^3 have integer coordinates. The main result is a consequence of the characterization of all equilateral triangles having integer coordinates contained in previous work. Then we use this characterization to point out some corollaries. The number of such tetrahedra whose vertices are in the finite set {0,1,2,...,n}^3, n in N, is related to the sequence A103158 in the Online Encyclopedia of Integer Sequences.

There are several standard procedures used to create new sequences from a given sequence or from a given pair of sequences. In this paper I discuss the most popular of these procedures. For each procedure, I give a definition and provide examples based on three famous sequences: the natural numbers, the prime numbers and the Fibonacci numbers. I also add my thoughts on what makes a sequence interesting. My goal is to help my readers invent new sequences, differentiate interesting sequences from boring ones, and better understand sequences they encounter.

Partitions of [n]={1,2,...,n} into sets of lists are counted by sequence number A000262 in the On-Line Encyclopedia of Integer Sequences. They are somewhat less numerous than partitions of [n] into lists of sets, A000670. Here we observe that the former are actually equinumerous with partitions of [n] into lists of *noncrossing* sets and give a bijective proof. We show that partitions of [n] into sets of noncrossing lists are counted by A088368 and generalize this result to introduce a transform on integer sequences that we dub the "noncrossing partition" transform. We also derive recurrence relations to count partitions of [n] into lists of noncrossing lists.

We analyze properties of the 2-adic valuations of an integer sequence that originates from an explicit evaluation of a quartic integral. We also give a combinatorial interpretation of the valuations of this sequence. Connections with the orbits arising from the Collatz (3x+1) problem are discussed.