arXiv++ Combinatorics

The combinatorics of tilings of a hexagon of integer side-length $n$ by 120 degree - 60 degree diamonds of side-length 1 has a long history, both directly (as a problem of interest in thermodynamic models) and indirectly (through the equivalence to plane partitions). Formulae as products of factorials have been conjectured and, one by one, proven for the number of such tilings under each of the symmetries of the hexagon. However, when this note was written the entry for the number of distinct such tilings in the Online Encyclopedia of Integer Sequences (OEIS) consisted of little more than a table for $0 \le n \le 4$ and a brief discussion of those values. The aim of this note is to pull together the relevant facts.

We address the problem of enumerating paths in square lattices, where allowed steps include (1,0) and (0,1) everywhere, and (1,1) above the diagonal y=x. We consider two such lattices differing in whether the (1,1) steps are allowed along the diagonal itself. Our analysis leads to explicit generating functions and an efficient way to compute terms of many sequences in the Online Encyclopedia of Integer Sequences, proposed by Clark Kimberling almost two decades ago.

Two families $\mathcal{A}$ and $\mathcal{B}$ of sets are said to be cross-$t$-intersecting if each set in $\mathcal{A}$ intersects each set in $\mathcal{B}$ in at least $t$ elements. An active problem in extremal set theory is to determine the maximum product of sizes of cross-$t$-intersecting subfamilies of a given family. We prove a cross-$t$-intersection theorem for weighted subsets of a set by means of a new subfamily alteration method, and use the result to provide solutions for three natural families. For $r\in[n]=\{1,2,\dots,n\}$, let ${[n]\choose r}$ be the family of $r$-element subsets of $[n]$, and let ${[n]\choose\leq r}$ be the family of subsets of $[n]$ that have at most $r$ elements. Let $\mathcal{F}_{n,r,t}$ be the family of sets in ${[n]\choose\leq r}$ that contain $[t]$. We show that if $g:{[m]\choose\leq r}\rightarrow\mathbb{R}^+$ and $h:{[n]\choose\leq s}\rightarrow\mathbb{R}^+$ are functions that obey certain conditions, $\mathcal{A}\subseteq{[m]\choose\leq r}$, $\mathcal{B}\subseteq{[n]\choose\leq s}$, and $\mathcal{A}$ and $\mathcal{B}$ are cross-$t$-intersecting, then \[\sum_{A\in\mathcal{A}}g(A)\sum_{B\in\mathcal{B}}h(B)\leq\sum_{C\in\mathcal{F}_{m,r,t}}g(C)\sum_{D\in\mathcal{F}_{n,s,t}}h(D),\] and equality holds if $\mathcal{A}=\mathcal{F}_{m,r,t}$ and $\mathcal{B}=\mathcal{F}_{n,s,t}$. We prove this in a more general setting and characterise the cases of equality. We use the result to show that the maximum product of sizes of two cross-$t$-intersecting families $\mathcal{A}\subseteq{[m]\choose r}$ and $\mathcal{B}\subseteq{[n]\choose s}$ is ${m-t\choose r-t}{n-t\choose s-t}$ for $\min\{m,n\}\geq n_0(r,s,t)$, where $n_0(r,s,t)$ is close to best possible. We obtain analogous results for families of integer sequences and for families of multisets. The results yield generalisations for $k\geq2$ cross-$t$-intersecting families, and Erdos-Ko-Rado-type results.

Vincular and covincular patterns are generalizations of classical patterns allowing restrictions on the indices and values of the occurrences in a permutation. In this paper we study the integer sequences arising as the enumerations of permutations simultaneously avoiding a vincular and a covincular pattern, both of length 3, with at most one restriction. We see familiar sequences, such as the Catalan and Motzkin numbers, but also some previously unknown sequences which have close links to other combinatorial objects such as lattice paths and integer partitions. Where possible we include a generating function for the enumeration. One of the cases considered settles a conjecture by Pudwell (2010) on the Wilf-equivalence of barred patterns. We also give an alternative proof of the classic result that permutations avoiding 123 are counted by the Catalan numbers.

We present a sufficient condition for a pair of finite integer sequences to be degree sequences of a bipartite graph, based only on the lengths of the sequences and their largest and smallest elements.

Consider the full modular group $\sf{PSL}_{2}(\mathbb{Z})$ with presentation $\langle U,S|U^3,S^2\rangle$. Motivated by our investigations on quasi-modular forms and the Minkowski question mark function (so that this paper might be considered as a necessary appendix), we are lead to the following natural question. Some words in the alphabet $\{U,S\}$ are equal to the unity; for example, $USU^3SU^2$ is such a word of length $8$, and $USU^3SUSU^3S^3U$ is such a word of length $15$. Given $n\in\mathbb{N}_{0}$. Find the number of words of length $n$ which are equal to the unity. This is the new entry A265434 into the Online Encyclopedia of Integer Sequences. We investigate the generating function of this sequence and prove that it is an algebraic function over $\mathbb{Q}(x)$ of degree $3$. As an aside, we formulate the problem of describing all algebraic functions with a Fermat property.

Morphisms are homomorphisms under the concatenation operation of the set of words over a finite set. Changing the elements of the finite set does not essentially change the morphism. We propose a way to select a unique representing member out of all these morphisms. This has applications to the classification of the shift dynamical systems generated by morphisms. In a similar way, we propose the selection of a representing sequence out of the class of symbolic sequences over an alphabet of fixed cardinality. Both methods are useful for the storing of symbolic sequences in databases, like The On-Line Encyclopedia of Integer Sequences. We illustrate our proposals with the $k$-symbol Fibonacci sequences.

In this article, we study Hartnell's Firefighter Problem through the group theoretic notions of growth and quasi-isometry. A graph has the $n$-containment property if for every finite initial fire, there is a strategy to contain the fire by protecting $n$ vertices at each turn. A graph has the constant containment property if there is an integer $n$ such that it has the $n$-containment property. Our first result is that any locally finite connected graph with quadratic growth has the constant containment property; the converse does not hold. This result provides a unified way to recover previous results in the literature, in particular the class of graphs satisfying the constant containment property is infinite. A second result is that in the class of graphs with bounded degree, having the constant containment property is preserved by quasi-isometry. Some sample consequences of the second result are that any regular tiling of the Euclidean plane has the fire containment property; no regular tiling of the $n$-dimensional Euclidean space has the containment property if $n>2$; and no regular tiling of the $n$-dimensional hyperbolic space has the containment property if $n\geq 2$. We prove analogous results for the $\{f_n\}$-containment property, where $f_n$ is an integer sequence corresponding to the number of vertices protected at time $n$. In particular, we positively answer a conjecture by Develin and Hartke by proving that the $d$-dimensional square grid $\mathbb{L}^d$ does not satisfy the $cn^{d-3}$-containment property for any constant $c$.

Polytope numbers for a given polytope are an integer sequence defined by the combinatorics of the polytope. Recent work by H. K. Kim and J. Y. Lee has focused on writing polytope number sequences as sums of simplex number sequences. We focus on $r$-rectified simplices and show that the sequences for these polytopes can be written as alternating sums of simplex numbers analogous to the inclusion-exclusion given by the geometric process of $r$-rectification.

Polytope numbers for a given polytope are an integer sequence defined by the combinatorics of the polytope. Recent work by H. K. Kim and J. Y. Lee has focused on writing polytope number sequences as sums of simplex number sequences. In addition, these works have given a process for writing the polytope number sequence in a recursive fashion by using the interior sequence for the various k-faces of the polytope, each viewed as a k-dimensional polytope. This paper shows that the coefficients of the linear combination of simplex number are the h-vector components for a certain type of triangulation of the polytope. In addition, reversing the order of the coefficients in the linear combination is shown to equal the interior polytope sequence for this polytope.

It follows from work of Chung and Graham that for a certain family of polynomials $T_{n}(x)$, derived from the descent statistic on permutations, the coefficient sequence of $T_{n-1}(x)$ coincides with that of the polynomial $T_{n}(x)/\left(1+x+\cdots+x^{n-1}\right)$. We observed computationally that the inflated $\mathbf{s}$-Eulerian polynomial $Q_{n}^{(\mathbf{s})}(x)$, which satisfies $Q_{n}^{(\mathbf{s})}(x) = T_{n}(x)$ when $\mathbf{s}=(1,2,\ldots,n)$, also satisfies this property for many sequences $\mathbf{s}$. In this work we characterize those sequences $\mathbf{s}$ for which the coefficient sequence of $Q_{n-1}^{(\mathbf{s})}(x)$ coincides with that of the polynomial $Q_{n}^{(\mathbf{s})}(x)/\left(1+x+\cdots+x^{s_{n}-1}\right)$. In particular, we show that all nondecreasing sequences satisfy this property. We also settle a conjecture of Pensyl and Savage by showing that the inflated $\mathbf{s}$-Eulerian polynomials are unimodal for all choices of positive integer sequences ${\bf s}$. In addition, we determine when these polynomials are palindromic and show our characterization is equivalent to another of Beck, Braun, Köppe, Savage, and Zafeirakopoulos.

A preferential arrangement of a set $X_n=\{1,2,...,n\}$ is an ordered partition of the set $X_n$ induced with a linear order. Separation of blocks of a preferential arrangement with bars result in the notation of barred preferential arrangements. Roger Nelsen and Harvey Schmidt have proposed the family of generating functions $P^k(m)=\frac{e^{km}}{2-e^m}$; which for $k=0$ and for $k=2$ they have shown that the generating functions are exponential generating functions for the number of preferential arrangements of a set $X_n$ and the number of chains in the power set of $X_n$ respectively. In this study we propose combinatorial structures whose integer sequences are generated by members of the family for all values of $k$ in $\mathbb{Z}^+$. To do this we use a notion of restricted barred preferential arrangements. We then propose a more general family of generating functions $P^{r}_{j}(m)=\frac{e^{rm}}{(2-e^m)^j}$ for $r,j\in\mathbb{Z^+}$. We derive some new identities on restricted barred preferential arrangements and give their combinatorial proofs. We also propose conjectures on number of restricted barred preferential arrangements.

We introduce a class of commutative superalgebras generalizing cluster algebras. A cluster superalgebra is defined by a hypergraph called an "extended quiver", and transformations called mutations. We prove the super analog of the "Laurent phenomenon", i.e., that all elements of a given cluster superalgebra are Laurent polynomials in the initial variables, and find an invariant presymplectic form. Examples of cluster superalgebras are provided by superanalogs of Coxeter's frieze patterns. We apply the Laurent phenomenon to construct a new integer sequence extending the Somos-$4$ sequence.

We investigate partitioning of integer sequences into heapable subsequences (previously defined and established by Mitzenmacher et al). We show that an extension of patience sorting computes the decomposition into a minimal number of heapable subsequences (MHS). We connect this parameter to an interactive particle system, a multiset extension of Hammersley's process, and investigate its expected value on a random permutation. In contrast with the (well studied) case of the longest increasing subsequence, we bring experimental evidence that the correct asymptotic scaling is $\frac{1+\sqrt{5}}{2}\cdot \ln(n)$. Finally we give a heap-based extension of Young tableaux, prove a hook inequality and an extension of the Robinson-Schensted correspondence.

An m-endomorphism of a free semigroup is an endomorphism that sends every generator to a word of length at most m. Two m-endomorphisms are combinatorially equivalent if they are conjugate under an automorphism of the semigroup. In this paper, we specialize an argument of N. G. de Bruijn to produce a formula for the number of combinatorial equivalence classes of m-endomorphisms on a rank-n semigroup. From this formula, we derive several little-known integer sequences.

We present a family of partitions of $W_\mathcal{G}$, the set of walks on a directed graph $\mathcal{G}$. Each partition in this family is identified by an integer sequence $K$, which specifies a collection of cycles on $\mathcal{G}$ with a certain well-defined structure. We term such cycles resummable, and a walk that does not traverse any such cycles $K$-irreducible. For a given value of $K$, the corresponding partition of $W_\mathcal{G}$ consists of a collection of cells that each contain a single $K$-irreducible walk $i$ plus all walks that can be formed from $i$ by attaching one or more resummable cycles to its vertices. We characterise the entire family of partitions of $W_\mathcal{G}$ by giving explicit expressions for the structure of the $K$-irreducible walks and the resummable cycles for arbitrary values of $K$. We demonstrate how these results can be exploited to recast the sum over all walks on a directed graph as a sum over dressed $K$-irreducible walks, and discuss the applications of this reformulation to matrix computations.

We have exhaustively enumerated all simple, connected graphs of a finite order and have computed a selection of invariants over this set. Integer sequences were constructed from these invariants and checked against the Online Encyclopedia of Integer Sequences (OEIS). 141 new sequences were added and 6 sequences were appended or corrected. From the graph database, we were able to programmatically suggest relationships among the invariants. It will be shown that we can readily visualize any sequence of graphs with a given criteria. The code has been released as an open-source framework for further analysis and the database was constructed to be extensible to invariants not considered in this work.

An integer sequence is said to be 3-free if no three elements form an arithmetic progression. Following the greedy algorithm, the Stanley sequence $S(a_0,a_1,\ldots,a_k)$ is defined to be the 3-free sequence $\{a_n\}$ having initial terms $a_0,a_1,\ldots,a_k$ and with each subsequent term $a_n>a_{n-1}$ chosen minimally such that the 3-free condition is not violated. Odlyzko and Stanley conjectured that Stanley sequences divide into two classes based on asymptotic growth patterns, with one class of highly structured sequences satisfying $a_n\approx Θ(n^{\log_2 3})$ and another class of seemingly chaotic sequences obeying $a_n=Θ(n^2/\log n)$. We propose a rigorous definition of regularity in Stanley sequences based on local structure rather than asymptotic behavior and show that our definition implies the corresponding asymptotic property proposed by Odlyzko and Stanley. We then construct many classes of regular Stanley sequences, which include as special cases all such sequences previously identified. We show how two regular sequences may be combined into another regular sequence, and how parts of a Stanley sequence may be translated while preserving regularity. Finally, we demonstrate that certain Stanley sequences possess proper subsets that are also Stanley sequences, a situation that appears previously to have been assumed impossible.

We use a sign-reversing involution to show that trees on the vertex set [n], considered to be rooted at 1, in which no vertex has exactly one child are counted by 1/n sum_{k=1}^{n} (-1)^(n-k) {n}-choose-{k} (n-1)!/(k-1)! k^(k-1). This result corrects a persistent misprint in the Encyclopedia of Integer Sequences.

Let $β$ be any permutation on $n$ symbols and let $c(k, β)$ be the number of permutations that $k$-commute with $β$. The cycle type of a permutation $β$ is a vector $(c_1, \dots, c_n)$ such that $β$ has exactly $c_i$ cycles of length $i$ in its disjoint cycle factorization. In this article we obtain formulas for $c(k, β)$, for some cycle types. We also express these formulas in terms of integer sequences as given in "The On-line Encyclopedia of Integer Sequences" (OEIS). For some of these sequences we obtain either new interpretations or relationships with sequences in the OEIS database.