arXiv++ Combinatorics

In 1998, Allouche, Peyrière, Wen and Wen established that the Hankel determinants associated with the Thue--Morse sequence on $\{-1, 1\}$ are always nonzero. Their proof depends on a set of sixteen recurrence relations. We present an alternative, purely combinatorial proof of the same result. We also re-prove a recent result of Coons on the non-vanishing of the Hankel determinants associated to two other classical integer sequences.

Cameron introduced a bijection between the set of sum-free sets and the set of all zero-one sequences. In this paper, we study the sum-free sets of natural numbers corresponding to certain zero-one sequences which contain the Cantor-like sequences and some substitution sequences, etc. Those sum- free sets considered as integer sequences are 2-regular. We also prove that sequences corresponding to certain sum-free sets are automatic.

Edge-magic total labeling was introduced by \cite{GS}. The number of edge-magic solutions for cycles have been explored in \cite{BS}. This sequence is mentioned in On Line Encyclopedia of Integer Sequences (OEIS) \cite{oeis}. In this short note, we enumerate the number of unique edge-magic total labelings on Path $P_n$

Let $\mathcal{T}$ be a collection of 3-element subsets $S$ of $\{1, \ldots,n\}$ with the property that if $i<j<k$ and $a<b<c$ are two 3-element subsets in $S$, then there exists an integer sequence $x_1 < x_2 < \cdots < x_n$ such that $x_i, x_j, x_k$ and $x_a, x_b, x_c$ are arithmetic progressions. We determine the number of such collections $\mathcal{T}$ and the number of them of maximum size. These results confirm two conjectures of Noam Elkies.

One of the most basic results in graph theory states that every graph with at least two vertices has two vertices with the same degree. Since there are graphs without $3$ vertices of the same degree, it is natural to ask if for any fixed $k$, every graph $G$ is ``close'' to a graph $G'$ with $k$ vertices of the same degree. Our main result in this paper is that this is indeed the case. Specifically, we show that for any positive integer $k$, there is a constant $C=C(k)$, so that given any graph $G$, one can remove from $G$ at most $C$ vertices and thus obtain a new graph $G'$ that contains at least $\min\{k,|G|-C\}$ vertices of the same degree. Our main tool is a multidimensional zero-sum theorem for integer sequences, which we prove using an old geometric approach of Alon and Berman.

We introduce stamp chains. A stamp chain is a finite integer sequence that is both an addition chain and an additive 2-basis, i.e., a solution to the postage stamp problem. We provide a simple method for converting known postage stamp solutions of length k into stamp chains of length k+1. Using stamp chains, we construct an algorithm that computes u(x^i) for i=1,...,n in less than n-1 multiplications, if u is a function that can be computed at zero cost, and if there exists another zero-cost function v such that v(a,b) = u(ab). This can substantially reduce the computational cost of repeated multiplication, as illustrated by application examples related to matrix multiplication and data clustering using subset convolution. In addition, we report the extremal postage stamp solutions of length k=24.

We describe a set $\mathcal{R}^{\infty}$ consisting of tuples of integer sequences and provide certain explicit maps on it. We show that this defines a semiregular crystal for $\mathfrak{sl}_{n+1}$ and $\mathfrak{sp}_{2n}$ respectively. Furthermore we define for any dominant integral weight $λ$ a connected subcrystal $\mathcal{R}(λ)$ in $\mathcal{R}^{\infty}$, such that this crystal is isomorphic to the crystal graph $B(λ)$. Finally we provide an explicit description of these connected crystals $\mathcal{R}(λ)$.

In this paper, we study tau-tilting modules over Nakayama algebras. We establish bijections between tau-tilting modules, triangulations of a polygon with a puncture and certain integer sequences. Moreover, we give an algorithm to construct the Hasse quiver of support tau-tilting modules by using Rejection Lemma of Drozd-Kirichenko.

Dissections of a square into smaller squares, with the smaller squares having relatively prime sizes, are known as Mrs Perkins's quilts. A representation of these dissections using graphs is presented. The edges are directed and coloured North-South or West-East, and the graph corresponds naturally to the dissection. This representation allowed the exhaustive generation of all dissections up to order 18, using the plantri software. The results were cross-checked by generating all dissections of small sizes using a direct approach. The results confirm, extend and introduce several integer sequences.

We discuss an equivalence relation on the set of square binary matrices with the same number of 1's in each row and each column. Each binary matrix is represented using ordered n-tuples of natural numbers. We give a few starting values of integer sequences related to the discussed problem. The obtained sequences are new and they are not described in the On-Line Encyclopedia of Integer Sequences (OEIS). We show a relationship between some particular values of the parameters and the Fibonacci sequence.

In this paper, we introduce the notion of a $(a,b)$-rectangle pattern on permutations that not only generalizes the notion of successive elements (bonds) in permutations, but is also related to mesh patterns introduced recently by Brändén and Claesson. We call the $(k,k)$-rectangle pattern the $k$-box pattern. To provide an enumeration result on the maximum number of occurrences of the 1-box pattern, we establish an enumerative result on pattern-avoiding signed permutations. Further, we extend the notion of $(k,\ell)$-rectangle patterns to words and binary matrices, and provide distribution of $(1,\ell)$-rectangle patterns on words; explicit formulas are given for up to 7 letter alphabets where $\ell \in \{1,2\}$, while obtaining distributions for larger alphabets depends on inverting a matrix we provide. We also provide similar results for the distribution of bonds over words. As a corollary to our studies we confirm a conjecture of Mathar on the number of "stable LEGO walls" of width 7 as well as prove three conjectures due to Hardin and a conjecture due to Barker. We also enumerate two sequences published by Hardin in the On-Line Encyclopedia of Integer Sequences.

In this paper, we count the number of matrices whose rows generate different $\mathbb{Z}_2\mathbb{Z}_8$ additive codes. This is a natural generalization of the well known Gaussian numbers that count the number of matrices whose rows generate vector spaces with particular dimension over finite fields. Due to this similarity we name this numbers as Mixed Generalized Gaussian Numbers (MGN). The MGN formula by specialization leads to the well known formula for the number of binary codes and the number of codes over $\mathbb{Z}_8,$ and for additive $\mathbb{Z}_2\mathbb{Z}_4$ codes. Also, we conclude by some properties and examples of the MGN numbers that provide a good source for new number sequences that are not listed in The On-Line Encyclopedia of Integer Sequences.

We show that the counting sequence for permutations avoiding both of the (classical) patterns 1243 and 2134 has the algebraic generating function supplied by Vaclav Kotesovec for sequence A164651 in The On-Line Encyclopedia of Integer Sequences.

We define numbers of the type Oj(N) and Ej(N) and the corresponding integer sequences. We prove that these integer sequences, e.g., SO(N) and SE(N) correspond to the number of odd and even walks in complete graphs. We then prove that there is a unique family of graphs which have exactly the same sequence of odd walks between connected nodes and of even walks between pairs of nodes at distance two, respectively. These graphs are obtained as the Kronecker product. We show that they are the incidence graphs of block designs, are distance-regular and Ramanujan graphs.

We call $(a_1, \dots, a_n)$ an \emph{$r$-partial sequence} if exactly $r$ of its entries are positive integers and the rest are all zero. For ${\bf c} = (c_1, \dots, c_n)$ with $1 \leq c_1 \leq \dots \leq c_n$, let $S_{\bf c}^{(r)}$ be the set of $r$-partial sequences $(a_1, \dots, a_n)$ with $0 \leq a_i \leq c_i$ for each $i$ in $\{1, \dots, n\}$, and let $S_{\bf c}^{(r)}(1)$ be the set of members of $S_{\bf c}^{(r)}$ which have $a_1 = 1$. We say that $(a_1, \dots, a_n)$ \emph{meets} $(b_1, \dots, b_m)$ if $a_i = b_i \neq 0$ for some $i$. Two sets $A$ and $B$ of sequences are said to be \emph{cross-intersecting} if each sequence in $A$ meets each sequence in $B$. Let ${\bf d} = (d_1, \dots, d_m)$ with $1 \leq d_1 \leq \dots \leq d_m$. Let $A \subseteq S_{\bf c}^{(r)}$ and $B \subseteq S_{\bf d}^{(s)}$ such that $A$ and $B$ are cross-intersecting. We show that $|A||B| \leq |S_{\bf c}^{(r)}(1)||S_{\bf d}^{(s)}(1)|$ if either $c_1 \geq 3$ and $d_1 \geq 3$ or ${\bf c} = {\bf d}$ and $r = s = n$. We also determine the cases of equality. We obtain this by proving a general cross-intersection theorem for \emph{weighted} sets. The bound generalises to one for $k \geq 2$ cross-intersecting sets.

Given a finite nonempty sequence S of integers, write it as XY^k, where Y^k is a power of greatest exponent that is a suffix of S: this k is the curling number of S. The Curling Number Conjecture is that if one starts with any initial sequence S, and extends it by repeatedly appending the curling number of the current sequence, the sequence will eventually reach 1. The conjecture remains open. In this paper we discuss the special case when S consists just of 2's and 3's. Even this case remains open, but we determine how far a sequence of n 2's and 3's can extend before reaching a 1, conjecturally for n <= 80. We investigate several related combinatorial problems, such as finding c(n,k), the number of binary sequences of length n and curling number k, and t(n,i), the number of sequences of length n which extend for i steps before reaching a 1. A number of interesting combinatorial problems remain unsolved.

We propose several procedures for creating new families of integer sequences based on the method of Cantor diagonalization. Then we modify and generalize this method. The paper includes explicit formulas for most proposed families of integer sequences.

In 1997, Bousquet-Melou and Eriksson initiated the study of lecture hall partitions, a fascinating family of partitions that yield a finite version of Euler's celebrated odd/distinct partition theorem. In subsequent work on s-lecture hall partitions, they considered the self-reciprocal property for various associated generating functions, with the goal of characterizing those sequences s that give rise to generating functions of the form $((1-q^{e_1})(1-q^{e_2})...(1-q^{e_n}))^{-1}$. We continue this line of investigation, connecting their work to the more general context of Gorenstein cones. We focus on the Gorenstein condition for s-lecture hall cones when s is a positive integer sequence generated by a second-order homogeneous linear recurrence with initial values 0 and 1. Among such sequences s, we prove that the n-dimensional s-lecture hall cone is Gorenstein for all n greater than or equal to 1 if and only if s is an l-sequence. One consequence is that among such sequences s, unless s is an l-sequence, the generating function for the s-lecture hall partitions can have the form $((1-q^{e_1})(1-q^{e_2})...(1-q^{e_n}))^{-1}$ for at most finitely many n. We also apply the results to establish several conjectures by Pensyl and Savage regarding the symmetry of h*-vectors for s-lecture hall polytopes. We end with open questions and directions for further research.

Let S(n) be the integer sequence which is the coefficient of x^{n(n+1)/4} in the expansion of (1+x)(1+x^2), ..., (1+x^n) for positive integers n congruent to 0 or 3 mod 4. We prove a conjecture of Andrica and Tomescu that S(n) is asymptotic to \sqrt{6/π} 2^n n^{-3/2} as n approaches infinity.

In the study of Zeilberger's conjecture on an integer sequence related to the Catalan numbers, Lassalle proposed the following conjecture. Let $(t)_n$ denote the rising factorial, and let $Λ_{\mathbb{R}}$ denote the algebra of symmetric functions with real coefficients. If $\varphi$ is the homomorphism from $Λ_{\mathbb{R}}$ to $\mathbb{R}$ defined by $\varphi(h_n)={1}/{((t)_nn!)}$ for some $t>0$, then for any Schur function $s_λ$, the value $\varphi(s_λ)$ is positive. In this paper, we provide an affirmative answer to Lassalle's conjecture by using the Laguerre-Pólya-Schur theory of multiplier sequences.