arXiv++ Combinatorics

Let $m\ge 2$ be a fixed positive integer. Suppose that $m^j \leq n< m^{j+1}$ is a positive integer for some $j\ge 0$. Denote $b_{m}(n)$ the number of $m$-ary partitions of $n$, where each part of the partition is a power of $m$. In this paper, we show that $b_m(n)$ can be represented as a $j$-fold summation by constructing a one-to-one correspondence between the $m$-ary partitions and a special class of integer sequences rely only on the base $m$ representation of $n$. It directly reduces to Andrews, Fraenkel and Sellers' characterization of the values $b_{m}(mn)$ modulo $m$. Moreover, denote $c_{m}(n)$ the number of $m$-ary partitions of $n$ without gaps, wherein if $m^i$ is the largest part, then $m^k$ for each $0\leq k<i$ also appears as a part. We also obtain an enumeration formula for $c_m(n)$ which leads to an alternative representation for the congruences of $c_m(mn)$ due to Andrews, Fraenkel, and Sellers.

We investigate a general method that allows one to construct new integer sequences extending existing ones. We apply this method to the classic Somos-4 and Somos-5, and the Gale-Robinson sequences, as well as to more general class of sequences introduced by Fordy and Marsh, and produce a great number of new sequences. The method is based on the notion of "weighted quiver", a quiver with a $\mathbb Z$-valued function on the set of vertices that obeys very special rules of mutation.

We consider the number of passes a permutation needs to take through a stack if we only pop the appropriate output values and start over with the remaining entries in their original order. We define a permutation $π$ to be $k$-pass sortable if $π$ is sortable using $k$ passes through the stack. Permutations that are $1$-pass sortable are simply the stack sortable permutations as defined by Knuth. We define the permutation class of $2$-pass sortable permutations in terms of their basis. We also show all $k$-pass sortable classes have finite bases by giving bounds on the length of a basis element of the permutation class for any positive integer $k$. Finally, we define the notion of tier of a permutation $π$ to be the minimum number of passes after the first pass required to sort $π$. We then give a bijection between the class of permutations of tier $t$ and a collection of integer sequences studied by Parker. This gives an exact enumeration of tier $t$ permutations of a given length and thus an exact enumeration for the class of $(t+1)$-pass sortable permutations. Finally, we give a new derivation for the generating function in Parker's thesis and an explicit formula for the coefficients.

A multipermutation with $k$ copies each of $1\ldots n$ is Carlitz if neighbours are different. We enumerate these objects for $k=2,3,4$ and derive recurrences. In particular, we prove and improve a conjectured recurrence for $k=3$, stated in OEIS, the Online Encyclopedia of Integer Sequences.

The Hankel transform of an integer sequence is a much studied and much applied mathematical operation. In this note, we extend the notion in a natural way to sequences of $d$ integer sequences. We explore links to generalized continued fractions in the context of $d$-orthogonal sequences.

In the gift exchange game there are n players and n wrapped gifts. When a player's number is called, that person can either choose one of the remaining wrapped gifts, or can "steal" a gift from someone who has already unwrapped it, subject to the restriction that no gift can be stolen more than a total of sigma times. The problem is to determine the number of ways that the game can be played out, for given values of sigma and n. Formulas and asymptotic expansions are given for these numbers. This work was inspired in part by a 2005 remark by Robert A. Proctor in the On-Line Encyclopedia of Integer Sequences.

The Jacobi--Trudi identity associates a symmetric function to any integer sequence. Let $Γ_{(t|X)}$ be the vertex operator defined by $Γ_{(t|X)} s_α=\sum_{n \in \mathbb{Z}} s_{(n,α)} [X] t^n$. We provide a combinatorial proof for the identity $Γ_{(t|X)} s_α= σ[tX] s_α\big[x-1/t\big] $ due to Thibon et al. We include an overview of all the combinatorial ideas behind this beautiful identity, including a combinatorial description for the expansion of $s_{(n,α)} [X] $ in the Schur basis, for any integer value of $n$.

Rigged configurations are combinatorial objects prominent in the study of solvable lattice models. Marginally large tableaux are semi-standard Young tableaux of special form that give a realization of the crystals ${\cal B}(\infty)$. We introduce cascading sequences to characterize marginally large tableaux. Then we use cascading sequences and a non-explicit crystal isomorphism between marginally large tableaux and rigged configurations to give a characterization of the latter set, and to give an explicit bijection between the two sets.

We consider a family of nonlinear rational recurrences of odd order which was introduced by Heideman and Hogan. All of these recurrences have the Laurent property, implying that for a particular choice of initial data (all initial values set to 1) they generate an integer sequence. For these particular sequences, Heideman and Hogan gave a direct proof of integrality by showing that the terms of the sequence also satisfy a linear recurrence relation with constant coefficients. Here we present an analogous result for the general solution of each of these recurrences.

Inversion sequences of length $n$, $\mathbf{I}_n$, are integer sequences $(e_1, \ldots, e_n)$ with $0 \leq e_i < n$ for each $i$. The study of patterns in inversion sequences was initiated recently by Mansour-Shattuck and Corteel-Martinez-Savage-Weselcouch through a systematic study of inversion sequences avoiding words of length 3. We continue this investigation by generalizing the notion of a pattern to a fixed triple of binary relations $(ρ_1,ρ_2,ρ_3)$ and consider the set $\mathbf{I}_n(ρ_1,ρ_2,ρ_3)$ consisting of those $e \in \mathbf{I}_n$ with no $i < j < k$ such that $e_i ρ_1 e_j$, $e_j ρ_2 e_k$, and $e_i ρ_3 e_k$. We show that "avoiding a triple of relations" can characterize inversion sequences with a variety of monotonicity or unimodality conditions, or with multiplicity constraints on the elements. We uncover several interesting enumeration results and relate pattern avoiding inversion sequences to familiar combinatorial families. We highlight open questions about the relationship between pattern avoiding inversion sequences and families such as plane permutations and Baxter permutations. For several combinatorial sequences, pattern avoiding inversion sequences provide a simpler interpretation than otherwise known.

Let $A=(a_{ij})$ be an $n$-by-$n$ matrix. For any real number $μ$, we define the polynomial $$P_μ(A)=\sum_{σ\in S_n} a_{1σ(1)}\cdots a_{nσ(n)}\,μ^{\ell(σ)}\; ,$$ as the $μ$-permanent of $A$, where $\ell(σ)$ is the number of inversions of the permutation $σ$ in the symmetric group $S_n$. In this note, motivated by this notion, we discuss a new graph labeling for trees whose matrices satisfy certain $μ$-permanental identities. We relate the number of labelings of a path with a known integer sequence. Several examples are provided.

Sequence A000975 in the Online Encyclopedia of Integer Sequences (OEIS) starts out 1, 2, 5, 10, 21, 42, 85, ... . As of July 1, 2016, the description in the OEIS lists several characterizations of this sequence and numerous examples of instances where this sequence occurs. It also presents a "not yet proved" result, a conjecture, and an unanswered question concerning this sequence. In this paper we show that all of these proposed results are in fact true.

In estimating the complexity of objects, in particular of graphs, it is common practice to rely on graph- and information-theoretic measures. Here, using integer sequences with properties such as Borel normality, we explain how these measures are not independent of the way in which an object, such as a graph, can be described or observed. From observations that can reconstruct the same graph and are therefore essentially translations of the same description, we will see that when applying a computable measure such as Shannon Entropy, not only is it necessary to pre-select a feature of interest where there is one, and to make an arbitrary selection where there is not, but also that more general properties, such as the causal likelihood of a graph as a measure (opposed to randomness), can be largely misrepresented by computable measures such as Entropy and Entropy rate. We introduce recursive and non-recursive (uncomputable) graphs and graph constructions based on these integer sequences, whose different lossless descriptions have disparate Entropy values, thereby enabling the study and exploration of a measure's range of applications and demonstrating the weaknesses of computable measures of complexity.

In this tribute to Neil Sloane, we revisit the first sequence in the On-Line Encyclopedia of Integer Sequences, sequence A435 (1, 8, 78, 944, 13800, 237432, 4708144, 105822432, ...), that he encountered when he was a graduate student, and when normalized gives the average total height of rooted labeled trees. We state rigorously-computed explicit expressions for the first twelve moments of the random variable `total height' on rooted labeled trees, and pledge to donate to the OEIS 100 dollars in honor of the first to find an explicit expression for the probability density function of the limiting scaled probability distribution, as n goes to infinity.

On the math-fun mailing list (7 May 2013), Neil Sloane asked to calculate the number of $n \times n$ matrices with entries in $\{0,1\}$ which are squares of other such matrices. In this paper we analyze the case that the arithmetic is in $\mathbb{F}_{2}$. We follow the dictum of Wilf ("What is an answer?") to derive a "effective" algorithm to count such matrices in much less time than it takes to enumerate them. The algorithm which we use involves the analysis of conjugacy classes of matrices. The restricted integer partitions which arise are counted by the coefficients of one of Ramanujan's mock Theta functions, which we found thanks to Sloane's OEIS (Online Encyclopedia of Integer Sequences). Let $a_n$ be the number elements of ${\rm Mat}_n(\mathbb{F}_{2})$ which are squares, and $b_n$ be the number of elements of ${\rm GL}(n,\mathbb{F}_{2})$ which are squares. The numerical results strongly suggest that there are constants $α,β> 0$ such that $a_n \sim α2^{n^2}$, $b_n \sim β2^{n^2}$.

Stephan (Prove or Disprove 100 Conjectures from the OES, arXiv:math/0409509v4 [math.CO])enumerates a number of conjectures regarding integer sequences contained in Sloane's On-line Encyclopedia of Integer Sequences (N. J. A. Sloane, editor, The On-Line Encyclopedia of Integer Sequences, published electronically at https://oeis.org). In this paper, we prove two of these conjectures.

An S-restricted composition of a positive integer n is an ordered partition of n where each summand is drawn from a given subset S of positive integers. There are various problems regarding such compositions which have received attention in recent years. This paper is an attempt at finding a closed- form formula for the number of S-restricted compositions of n. To do so, we reduce the problem to finding solutions to corresponding so-called interpreters which are linear homogeneous recurrence relations with constant coefficients. Then, we reduce interpreters to Diophantine equations. Such equations are not in general solvable. Thus, we restrict our attention to those S-restricted composition problems whose interpreters have a small number of coefficients, thereby leading to solvable Diophantine equations. The formalism developed is then used to study the integer sequences related to some well-known cases of the S-restricted composition problem.

Shmuel Friedland and Giorgio Ottaviani's beautiful constant term expression for the number of singular vector tuples of generic tensors is used to derive a rational generating function for these numbers, that in turn, is used to obtain an asymptotic formula for the number of such tuples for n by n by n three-dimensional tensors, and to conjecture an asymptotic formula for the general d-dimensional case. A donation of 100 dollars, in honor of the first prover, will be made to the On-line Encyclopedia of Integer Sequences.

Cellular automata are discrete dynamical systems that consist of patterns of symbols on a grid, which change according to a locally determined transition rule. In this paper, we will consider cellular automata that arise from polynomial transition rules, where the symbols in the automaton are integers modulo some prime $p$. We are principally concerned with the asymptotic behavior of the line complexity sequence $a_T(k)$, which counts, for each $k$, the number of coefficient strings of length $k$ that occur in the automaton. We begin with the modulo $2$ case. For a given polynomial $T(x) = c_0 + c_1x + ... + c_nx^n$ with $c_0,c_n\neq 0$, we construct odd and even parts of the polynomial from the strings $0c_1c_3c_5...$ and $c_0c_2c_4...$, respectively. We prove that for polynomials for which the odd and even parts are relatively prime, $a_T(k)$ satisfies recursions of a specific form. We also consider powers of transition rules modulo $p$, introducing a notion of the order of a recursion. We show that the property of "having a recursion of some order" is preserved when the transition rule is raised to a positive integer power. Extending to a more general setting, we investigate the asymptotics of $a_T(k)$ by considering an abstract generating function $φ(z)=\sum_{k=1}^\inftyα(k)z^k$ which satisfies a general functional equation relating $φ(z)$ and $φ(z^p)$ for some prime $p$. We show that there is a continuous, piecewise quadratic function $f$ on $[1/p, 1]$ for which $\lim_{k\to\infty}(α(k)/k^2 - f(p^{-\langle\log_p k\rangle})) = 0$, where $\langle y\rangle$ denotes the fractional part of $y$. We use this result to show that for certain positive integer sequences $s_k\to\infty$ with a parameter $x\in [1/p,1]$, the ratio $α(s_k(x))/s_k(x)^2$ tends to $f(x)$, and that the limit superior and inferior of $α(k)/k^2$ are given by the extremal values of $f$.

We show that sequences A026737 and A111279 in The On-Line Encyclopedia of Integer Sequences are the same by giving a bijection between two classes of Grand Schroder paths.