arXiv++ Combinatorics

Suppose $G$ is a tree. Graham's "Tree Reconstruction Conjecture" states that $G$ is uniquely determined by the integer sequence $|G|$, $|L(G)|$, $|L(L(G))|$, $|L(L(L(G)))|$, $\ldots$, where $L(H)$ denotes the line graph of the graph $H$. Little is known about this question apart from a few simple observations. We show that the number of trees on $n$ vertices which can be distinguished by their associated integer sequences is $e^{Ω((\log n)^{3/2})}$. The proof strategy involves constructing a large collection of caterpillar graphs using partitions arising from the Prouhet-Tarry-Escott problem.

We define the notion of circular words, then consider on such words a constraint derived from the Fibonacci condition. We give several results on the structure of these circular words, then mention possible applications to various situations: periodic expansion of numbers in numeration systems, "gcd-property" of integer sequences, partition of the prefix of the fixed point of the Fibonacci substitution, spanning trees of a wheel. Eventually, we mention some open questions.

Let the sequence S_m of nonnegative integers be generated by the following conditions: Set the first term a_0 = 0, and for all k \geq 0, let a_k+1 be the least integer greater than a_k such that no element of {a_0,...,a_k+1} is the average of m - 1 distinct other elements. Szekeres gave a closed-form description of S_3 in 1936, and Layman provided a similar description for S_4 in 1999. We first find closed forms for some similar greedy sequences that avoid averages in terms not all the same. Then, we extend the closed-form description of S_m from the known cases when m = 3 and m = 4 to any integer m \geq 3. With the help of a computer, we also generalize this to sequences that avoid solutions to specific weighted averages in distinct terms. Finally, from the closed forms of these sequences, we find bounds for their growth rates.

The Magnetic Tower of Hanoi puzzle - a modified "base 3" version of the classical Tower of Hanoi puzzle as described in earlier papers, is actually a small set of independent sister-puzzles, depending on the "pre-coloring" combination of the tower's posts. Starting with Red facing up on a Source post, working through an Intermediate - colored or Neutral post, and ending Blue facing up on a Destination post, we identify the different pre-coloring combinations in (S,I,D) order. The Tower's pre-coloring combinations are {[(R,B,B) / (R,R,B)] ; [(R,B,N) / (N,R,B)] ; [(N,B,N) / (N,R,N)] ; [R,N,B] ; [(R,N,N) / (N,N,B)] ; [N,N,N]}. In this paper we investigate these sister-puzzles, identify the algorithm that optimally solves each pre-colored puzzle, and prove its Optimality. As it turns out, five of the six algorithms, challenging on their own, are part of the algorithm solving the "natural", Free Magnetic Tower of Hanoi puzzle [N,N,N]. We start by showing that the N-disk Colored Tower [(R,B,B) / (R,R,B)] is solved by (3^N - 1)/2 moves. Defining "Algorithm Duration" as the ratio of number of algorithm-moves solving the puzzle to the number of algorithm-moves solving the Colored Tower, we find the Duration-Limits for all sister-puzzles. In the order of the list above they are {[1] ; [10/11] ; [10/11] ; [8/11] ; [7/11] ; [20/33]}. Thus, the Duration-Limit of the Optimal Algorithm solving the Free Magnetic Tower of Hanoi puzzle is 20/33 or 606 0/00. On the road to optimally solve this colorful Magnetic puzzle, we hit other "forward-moving" puzzle-solving algorithms. Overall we looked at 10 pairs of integer sequences. Of the twenty integer sequences, five are listed in the On-line Encyclopedia of Integer Sequences, the other fifteen - not yet. The large set of different solutions is a clear indication to the freedom-of-wondering that makes this Magnetic Tower of Hanoi puzzle so colorful.

Denote by r(n) the length of a shortest integer sequence on a circle containing all permutations of the set {1,2,...,n} as subsequences. Hansraj Gupta conjectured in 1981 that r(n) <= n^2/2. In this paper we confirm the conjecture for the case where n is even, and show that r(n) < n^2/2 + n/4 -1 if n is odd.

We prove the following conjecture of Zeilberger. Denoting by $C_n$ the Catalan number, define inductively $A_n$ by $(-1)^{n-1}A_n=C_n+\sum_{j=1}^{n-1} (-1)^{j} \binom{2n-1}{2j-1} A_j \,C_{n-j}$ and $a_n=2A_n/C_n$. Then $a_n$ (hence $A_n$) is a positive integer.

A solution is proposed for the problem of composition of ordinary generating functions. A new class of functions that provides a composition of ordinary generating functions is introduced; main theorems are presented; compositae are written for polynomials, trigonometric and hyperbolic functions, exponential and log functions. It is shown that the composition holds true for many integer sequences.

Operators on probability distributions can be expressed as operators on the associated moment sequences, and so correspond to operators on integer sequences. Thus, there is an opportunity to apply each theory to the other. Moreover, probability models can be sources of integer sequences, both classical and new, as we show by considering the classical M/G/1 single-server queueing model. We identify moment sequences that are integer sequences. We establish connections between the M/M/1 busy period distribution and the Catalan and Schroeder numbers.

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.