arXiv++ Combinatorics

For each positive integer $n$, let $G_n$ be the graph whose vertices are the partitions of $n$, with edges corresponding to elementary transfers of one cell between two parts, followed by reordering. Let $K_n := \mathrm{Cl}(G_n)$ be the clique complex of $G_n$. We prove that $K_n$ is homotopy equivalent to a wedge of $2$-spheres. More precisely, $K_n$ is homotopy equivalent to a wedge of $b_n$ copies of $S^2$, where $b_n = χ(K_n) - 1$. Thus the homotopy type of $K_n$ is completely determined by its Euler characteristic. The proof has three main ingredients. First, we classify all cliques in $G_n$ via two canonical families of simplices, called star-simplices and top-simplices, and use them to build a canonical cover of $K_n$. Second, we pass to the corresponding nerve, construct a second natural cover, and show via the intersection poset of that cover that $K_n$ has the homotopy type of a CW-complex of dimension at most $2$. Third, using an explicit height function on partitions, we prove that $K_n$ is connected and simply connected. It follows that the reduced homology of $K_n$ is concentrated in degree $2$, where its rank is $χ(K_n) - 1$, and therefore $K_n$ has the homotopy type claimed above. We conclude with remarks on Euler characteristics, small examples, and the integer sequences arising from these complexes.

In this paper, we provide a combinatorial interpretation for Laurent polynomials obtained by iteratively mutating a certain periodic quiver that has been framed with frozen vertices. This yields a family of cluster variables with principal coefficients associated to a family of integer sequences known as Gale-Robinson sequences. The work of this paper completes arguments for preliminary results announced in earlier work of Jeong-Musiker-Zhang, and relates to works of Bousquet-Mélou-Propp-West, Speyer, Vichitkunakorn, and of Eager-Franco.

For any finite totally ordered set, the multisets of intervals form an abelian category. Various classes of subcategories admit natural combinatorial descriptions, and counting them yields familiar integer sequences. Surprisingly, in some cases new integer sequences arise. The formulation of this counting problem leads to a universal construction which assigns to any poset a finitely cocomplete additive category; it is abelian when the poset is finite and does not depend on the choice of any ring of coefficients. For a general poset the universal category of representations is abelian if and only if for the lattice of ideals the meet of two compact elements is again compact.

In this paper, we study a structured family of matrices whose entries are given by products of $k$-Fibonacci and $k$-Lucas numbers. For this family, we obtain explicit and unified formulas for several classical matrix invariants, including the determinant, inverse, trace, and matrix powers, revealing nontrivial algebraic patterns induced by the underlying recurrence relations. In addition, we determine the spectral radius and the energy of the graphs naturally associated with these matrices. Finally, we establish connections between the resulting formulas and certain integer sequences recorded in the On-Line Encyclopedia of Integer Sequences (OEIS).

We summarize known results on how to generate an infinite family of integer sequences from the root lattices of rank 2 Kac--Moody algebras. We compute and tabulate the first twenty entries of a number of these sequences. This provides an overarching framework for a large class of Fibonacci-type integer sequences, evaluations of Chebyshev S and U-polynomials and others.

The problem of enumerating meanders -- pairs of simple plane curves with transverse intersections -- was formulated about forty years ago and is still far from solved. Recently, it was discovered that meanders admit a factorization into prime components. This factorization naturally leads to a broader class of objects, which we call singular meanders, in which tangential intersections between the curves are also allowed. In the present paper we initiate a systematic study of singular meanders: we develop a basic combinatorial framework, point out connections with other combinatorial objects and known integer sequences, and completely enumerate several natural families of singular meanders.

An inversion sequence of length $n$ is an integer sequence $(a_1, \ldots, a_n)$ such that $0 \le a_i < i$ for all $i$. The study of pattern-avoiding inversion sequences was initiated in 2015 by Mansour and Shattuck and in 2016 by Corteel, Martinez, Savage and Weselcouch. Martinez and Savage later defined a new type of pattern, a triple of binary relations, of which there are currently 14 uncounted avoidance classes. We complete the enumeration for all of these classes using generating tree methods "growing on the left" and "growing on the right". For many of these classes we are able to find algebraic generating functions. We also discuss the asymptotic behaviour of the counting sequences.

In this paper, we study the famous Erdős--Sós forbidden intersection problem for words over an alphabet of size $m$: what is the maximal size of a subfamily $\mathcal{F}$ of $[m]^n$ that does not contain two vectors $x, y$ coinciding on exactly $t - 1$ coordinates? We answer this question provided $m \ge \operatorname{poly}(t)$ and $n \ge \operatorname{poly}(t)$ for some polynomial function $\operatorname{poly}(\cdot)$ of $t$, greatly extending the recent result of Keevash, Lifshitz, Long and Minzer. Our proof combines some of the recently developed methods in extremal combinatorics, including the spread approximation technique of Kupavskii and Zakharov and the hypercontractivity approach developed in a series of works by Keevash, Keller, Lifshitz, Long, Marcus and Minzer.

The sequence $A067549$ of The On-Line Encyclopedia of Integer Sequences is defined as $(a_k)_{k \geq 1}$ with $a_k$ being the determinant of the $k \times k$ matrix whose diagonal contains the first $k$ prime numbers and all other elements are ones. We relate this sequence to a concrete counting problem. Choose an arbitrary residue class $r_i$ for each prime $p_i$ with $1 \leq i \leq k$ and set $P_k = \prod_{i=1}^k p_i$. We show that $a_k$ is the number of integers in $[1, P_k]$ that are contained in \emph{at most} one of the $k$ chosen residue classes. Interestingly, we show that this sequence is closely related to the better known sequence $A005867$ for which we derive a novel characterisation in terms of determinants and which gives the number of integers in $[1, P_k]$ that are not contained in any of the $k$ residue classes. Our proof is purely structural and, therefore, it can be generalised to counting appearances of integers in residue classes of arbitrary arithmetic progressions generated by $k$ different primes using the determinant of a matrix of ones having those $k$ primes on its diagonal. The revealed structure also offers a fast way of calculating such determinants.

We investigate the product measures of intersection problems in extremal combinatorics. Invoking a recent result of He--Li--Wu--Zhang, we prove that for any $ n \geq t \geq 3$ and $ p_1, p_2 \in (0, \frac{1}{t+1})$, if $ \mathcal{F}_1, \mathcal{F}_2 \subseteq 2^{[n]}$ are cross $ t$-intersecting families, then $μ_{p_1}(\mathcal{F}_1)μ_{p_2}(\mathcal{F}_2)\le (p_1p_2)^t$. Secondly, we study the intersection problems for integer sequences by proving that if $\mathcal{H}_1, \mathcal{H}_2 \subseteq [m]^{n}$ are cross $t$-intersecting with $ m > t+1$, then $|\mathcal{H}_1|| \mathcal{H}_2|\leq (m^{n-t})^2$. These results confirm two classical conjectures of Tokushige. As an application, we strengthen a recent theorem of Frankl--Kupavskii, generalizing the well-known IU-Theorem. Finally, we show that if $ p \geq \frac{1}{2}$ and $ \mathcal{F}_1, \mathcal{F}_2 \subseteq 2^{[n]}$ are cross $t$-intersecting families, then $\min \left\{μ_{p}(\mathcal{F}_1),μ_{p}(\mathcal{F}_2)\right\} \leq μ_{p}(\mathcal{K}(n,t))$, where $\mathcal{K}(n,t)$ denotes the Katona family. This recovers an old result of Ahlswede--Katona.

In this paper some combinatorial and homological tools are used to describe and give an explicit formula for the number of exceptional pairs (exceptional sequences of length two) for some classes of Nakayama Algebras and for the Auslander algebra of a radical square zero algebra of type $\mathbb{A}_n$. In addition, we explore how the number of exceptional pairs can be connected with some integer sequences in the OEIS (The On-line Encyclopedia of Integer Sequences).

Given a weakly decreasing positive integer sequence $λ= (λ_1,\dotsc,λ_\ell)$ summing to $n$, let $χ^λ$ denote the irreducible character of the symmetric group $S_n$ indexed by $λ$. This representation has dimension $χ^λ(e)$, where $e$ is the identity element of $S_n$. Let $\mathrm{Imm}_{χ^λ}$ denote the corresponding irreducible character immanant, the function on $n \times n$ matrices $A = (a_{i,j})$ defined by $\mathrm{Imm}_{χ^λ}(A) := \sum_{w \in S_n} χ^λ(w) a_{1,w_1} \cdots a_{n,w_n}$. Merris conjectured [Linear Multilinear Algebra 14 (1983) pp. 21--35] and Heyfron proved [Linear Multilinear Algebra 24 (1988) pp. 65--78] that irreducible character immanants indexed by ``hook'' sequences $(k, 1, \dotsc, 1)$ satisfy the inequalities $\mathrm{per}(A)=\frac{\mathrm{Imm}_{χ^n}(A)}{χ^{n}(e)}\geq \frac{\mathrm{Imm}_{χ^{n-1,1}}(A)}{χ^{n-1,1}(e)}\geq \frac{\mathrm{Imm}_{χ^{ n-2,1,1}}(A)}{χ^{n-2,1,1}(e)}\geq \cdots \geq \frac{\mathrm{Imm}_{χ^{1,\dotsc,1}}(A)}{χ^{1,\dotsc,1}(e)}=\det(A)$ whenever $A$ is an $n \times n$ Hermitian positive semidefinite matrix. We prove that the same inequalities hold whenever $A$ is an $n \times n$ totally nonnegative matrix.

Integer compositions restricted by inequalities on certain pairs of parts were first considered by Jörg Arndt in 2013 and several variations have been studied recently. Here we consider a broad two-parameter generalization that scales the defining relation. We connect these to compositions restricted to parts from certain congruence classes and establish the recurrence relations satisfied by the related counting sequences. This provides new combinatorial interpretations to several documented integer sequences and also simple unrecorded sequences. We conclude with suggestions for further study.

Motivated by Vassiliev's knot invariants, Stoimenow introduced a special class of matchings, now known as Stoimenow matchings. These matchings have since been linked to various combinatorial structures enumerated by the Fishburn numbers. In a recent paper, a problem posed by Bevan et al. was addressed concerning the identification of subsets of Stoimenow matchings counted by the Catalan numbers. Five such subsets were presented, each defined by the avoidance of a single pattern, referred to as a Catalan pattern, within Stoimenow matchings. In the present paper, we extend this line of research by enumerating all cases of simultaneous avoidance of sets of Catalan patterns in Stoimenow matchings. This comprehensive analysis reveals connections to nine integer sequences listed in the OEIS.

This paper presents a combinatorial study of the power contamination problem, a dynamic variant of power domination modeled on grid graphs. We resolve a conjecture posed by Ainouche and Bouroubi (2021) by proving it is false and instead establish the exact value of the power contamination number on grid graphs. Furthermore, we derive recurrence relations for this number and initiate the enumeration of optimal contamination sets. We prove that the number of optimal solutions for specific grid families corresponds to well-known integer sequences, including those counting ternary words with forbidden subwords and the large Schröder numbers. This work settles the fundamental combinatorial questions of the power contamination problem on grids and reveals its rich connections to classical combinatorics.

The h-vector of a matroid M is an important invariant related to the independence complex of M and can also be recovered from an evaluation of its Tutte polynomial. A well-known conjecture of Stanley posits that the h-vector of a matroid is a pure O-sequence, meaning that it can be obtained by counting faces of a pure multicomplex. Merino has established Stanley's conjecture for the case of cographic matroids via chip-firing on graphs and the concept of a G-parking function. Inspired by these constructions, we introduce the notion of a cycle system for a matroid M -- a family of cycles (unions of circuits) of M with overlap properties that mimic cut-sets in a graph. A choice of cycle system on M defines a collection of integer sequences that we call coparking functions. We show that for any cycle system on M, the set of coparking functions is in bijection with the set of bases of M. We show that maximal coparking functions all have the same degree, and that cycle systems behave well under deletion and contraction. This leads to a proof of Stanley's conjecture for the case of matroids that admit cycle systems, which include, for instance, graphic matroids of cones as well as K33-free graphs.

Assume $G$ is a graph, $(v_1,\ldots,v_k)$ is a sequence of distinct vertices of $G$, and $(a_1,\ldots,a_k)$ is an integer sequence with $a_i \in \{1,2\}$. We say $G$ is \emph{$(a_1,\ldots,a_k)$-list extendable} (respectively, \emph{$(a_1,\ldots,a_k)$-AT extendable}) with respect to $(v_1,\ldots,v_k)$ if $G$ is $f$-choosable (respectively, $f$-AT), where $f(v_i)=a_i $ for $i \in \{1,\ldots, k\}$, and $f(v)=3$ for $v \in V(G) \setminus \{v_1,\ldots, v_k\}$. Hutchinson proved that if $G$ is an outerplanar graph, then $G$ is $(2,2)$-list extendable with respect to $(x,y)$ for any vertices $x,y$. We strengthen this result and prove that if $G$ is a $K_4$-minor-free graph, then $G$ is $(2,2)$-AT extendable with respect to $(x,y)$ for any vertices $x,y$. Then we characterize all triples $(x,y,z)$ of a $K_4$-minor-free graph $G$ for which $G$ is $(2,2,2)$-AT extendable (as well as $(2,2,2)$-list extendable) with respect to $(x,y,z)$. We also characterize the pairs $(x,y)$ of a $K_4$-minor-free graph $G$ for which $G$ is $(2,1)$-AT extendable (as well as $(2,1)$-list extendable) with respect to $(x,y)$. Moreover, we characterize all triples $(x,y,z)$ of a 3-colorable graph $G$ with its maximum average degree less than $\frac{14}{5}$ for which $G$ is $(2,2,2)$-AT extendable with respect to $(x,y,z)$.

In this paper, we give recurrence relations and identities for some integer sequences related to Ward numbers such as Ward-Lah numbers, varied Ward numbers and binomial Ward numbers. Most of the sequences are entered in the On-Line Encyclopedia of Integer Sequences. We give triangular recurrence relations, horizontal recurrence relations, generating functions and some recurrence relations of higher order obtained by using Sister Celine's general algorithm.

This experimental study presents some interesting conjectured relations between some integer sequences and certain graph parameters of the family of linear Jaco graphs $J_n(x)$ where $n = 1,2,3,\dots$. It appears that $\textit{Golden ratio}$-like floor function terms play an important role in the analysis of the graph structural properties of the family of linear Jaco graphs. The experimental methodology to obtain the conjectures is indeed trivial. However, it is the author's view that the proofs or disproofs of the conjectures may be challenging.

In previous work we computed the number $C_n(q)$ of ideals of codimension $n$ of the algebra ${\mathbb{F}}_q[x,y,x^{-1}, y^{-1}]$ of two-variable Laurent polynomials over a finite field: it turned out that $C_n(q)$ is a palindromic polynomial of degree $2n$ in $q$, divisible by $(q-1)^2$. The quotient $P_n(q) = C_n(q)/(q-1)^2$ is a palindromic polynomial of degree $2n-2$. For each $n\geq 1$ let ${\overline{P}}_n(X) \in {\mathbb{Z}}[X]$ be the degree $n-1$ polynomial such that ${\overline{P}}_n(q+q^{-1}) = P_n(q)/q^{n-1}$. In this note we show that for any integer $N$ the integer value ${\overline{P}}_n(N)$ is close to the value at $N$ of the degree $n-1$ polynomial $F_{n-1}(X) = 1 + \sum_{k=1}^{n-1} \, {\overline{T}}_k(X)$, which is a sum of monic versions ${\overline{T}}_k(X)$ of Chebyshev polynomials of the first kind. We give a precise formula for ${\overline{P}}_n(X)$ as a linear combination of $F_k(X)$'s, each appearance of the latter being parametrized by an odd divisor of $n$. As a consequence, ${\overline{P}}_n(X) = F_{n-1}(X)$ if and only if $n$ is a power of $2$. We exhibit similar formulas for $C_n(q)$.