arXiv++ Combinatorics

Recently, Xia introduced a deterministic variation $φ_σ$ of Defant and Kravitz's stack-sorting maps for set partitions and showed that any set partition $p$ is sorted by $φ^{N(p)}_{aba}$, where $N(p)$ is the number of distinct alphabets in $p$. Xia then asked which set partitions $p$ are not sorted by $φ_{aba}^{N(p)-1}$. In this note, we prove that the minimal length of a set partition $p$ that is not sorted by $φ_{aba}^{N(p)-1}$ is $2N(p)$. Then we show that there is only one set partition of length $2N(p)$ and ${{N(p) + 1} \choose 2} + 2{N(p) \choose 2}$ set partitions of length $2N(p)+1$ that are not sorted by $φ_{aba}^{N(p)-1}$.

We consider sequences of polynomials that satisfy differential-difference recurrences. Polynomials satisfying such recurrences frequently appear as generating polynomials of integer valued random variables that are of interest in discrete mathematics. It is, therefore, of interest to understand the properties of such polynomials and their probabilistic consequences. We identify a class of polynomial recurrences that lead to a normal law with the expected value and the variance proportional to $n/\log n$ and $n/\log^2n$, respectively. Examples include Stirling number of the second kind and other polynomials concerning set partitions as well as polynomials related to Whitney numbers of Dowling lattices.

We establish a bijection between marginal independence models on $n$ random variables and split closed order ideals in the poset of partial set partitions. We also establish that every discrete marginal independence model is toric in cdf coordinates. This generalizes results of Boege, Petrovic, and Sturmfels and Drton and Richardson, and provides a unified framework for discussing marginal independence models. Additionally, we provide an axiomatic characterization of marginal independence and we show that our set of axioms are sound and complete in the set of probability distributions. This follows the work of Geiger, Paz and Pearl who provided an analogous characterization of independence for statements involving 2 sets of random variables.

Verifying a suspicion of Propp and Reiner concerning the cyclic sieving phenomenon (CSP), M. Thiel introduced a Catalan object called noncrossing $(1,2)$-configurations (denoted by $X_n$), which is a class of set partitions of $[n-1]$. More precisely, Thiel proved that, with a natural action of the cyclic group $C_{n-1}$ on $X_n$, the triple $\left(X_n,C_{n-1},\text{Cat}_n(q)\right)$ exhibits the CSP, where $\text{Cat}_n(q):=\frac{1}{[n+1]_q}\begin{bmatrix} 2n\\ n \end{bmatrix}_q$ is MacMahon's $q$-Catalan number. Recently, in a study of the fermionic diagonal coinvariant ring $FDR_n$, J. Kim found a combinatorial basis for $FDR_n$ indexed by $X_n$. In this paper, we continue to study $X_n$ and obtain the following results: (1) We define a statistic $cwt$ on $X_n$ whose generating function is $\text{Cat}_n(q)$, which answers a problem of Thiel. (2) We show that $\text{Cat}_n(q)$ is equivalent to $$\sum_{\substack{k,x,y\\2k+x+y=n-1}}\begin{bmatrix} n-1 2k,x,y \end{bmatrix}_q\text{Cat}_k (q)q^{k+\binom{x}{2}+\binom{y}{2}+\binom{n}{2}}$$ modulo $q^{n-1}-1$, which answers a problem of Kim. As mentioned by Kim, this result leads to a representation theoretic proof of the above cyclic sieving result of Thiel. (3) We consider the dihedral sieving, a generalization of the CSP, which was recently introduced by Rao and Suk. Under a natural action of the dihedral group $I_2(n-1)$ (for even $n$), we prove a dihedral sieving result on $X_n$.

We initiate an in-depth study of pattern avoidance on modified ascent sequences. Our main technique consists in using Stanley's standardization to obtain a transport theorem between primitive modified ascent sequences and permutations avoiding a bivincular pattern of length three. We enumerate some patterns via bijections with other combinatorial structures such as Fishburn permutations, lattice paths and set partitions. We settle the last remaining case of a conjecture by Duncan and Steingrímsson by proving that modified ascent sequences avoiding 2321 are counted by the Bell numbers.

Stirling number of the first and the second kinds have seen many generalizations and applications in various areas of mathematics. We introduce some combinatorial parameters which realize $q$-analogues and Broder's $r$-variants of Stirling numbers of type $B$ of both kinds, which count signed set partitions and signed permutations respectively. Applications to orthogonality relations and power sums are given.

The aim of this paper is to derive explicit formulas for two distinct values. The first is the total number of symmetric peaks in a set partition of $[n]$ with exactly $k$ blocks, and the second one is the total number of non-symmetric peaks in a set partition of $[n]$ with exactly $k$ blocks. We represent these results in two ways. First by using the theory of generating functions, and the second by using combinatorial tools.

In algebraic combinatorics and formal calculation, context-free grammar is defined by a formal derivative based on a set of substitution rules. In this paper, we investigate this issue from three related viewpoints. Firstly, we introduce a differential operator method. As one of the applications, we deduce a new grammar for the Narayana polynomials. Secondly, we investigate the normal ordered grammars associated with the Eulerian polynomials. Thirdly, motivated by the theory of differential posets, we introduce a box sorting algorithm which leads to a bijection between the terms in the expansion of $(cD)^nc$ and a kind of ordered weak set partitions, where $c$ is a smooth function in the indeterminate $x$ and $D$ is the derivative with respect to $x$. Using a map from ordered weak set partitions to standard Young tableaux, we find an expansion of $(cD)^nc$ in terms of standard Young tableaux. Combining this with the theory of context-free grammars, we provide a unified interpretations for the Ramanujan polynomials, André polynomials, left peak polynomials, interior peak polynomials, Eulerian polynomials of types $A$ and $B$, $1/2$-Eulerian polynomials, second-order Eulerian polynomials, and Narayana polynomials of types $A$ and $B$ in terms of standard Young tableaux. Along the same lines, we present an expansion of the powers of $c^kD$ in terms of standard Young tableaux, where $k$ is a positive integer. In particular, we provide four interpretations for the second-order Eulerian polynomials. All of the above apply to the theory of formal differential operator rings.

Group equivariant neural networks have proven effective in modelling a wide range of tasks where the data lives in a classical geometric space and exhibits well-defined group symmetries. However, these networks are not suitable for learning from data that lives in a non-commutative geometry, described formally by non-commutative $C^{*}$-algebras, since the $C^{*}$-algebra of continuous functions on a compact matrix group is commutative. To address this limitation, we derive the existence of a new type of equivariant neural network, called compact matrix quantum group equivariant neural networks, which encode symmetries that are described by compact matrix quantum groups. We characterise the weight matrices that appear in these neural networks for the easy compact matrix quantum groups, which are defined by set partitions. As a result, we obtain new characterisations of equivariant weight matrices for some compact matrix groups that have not appeared previously in the machine learning literature.

A nonempty set $A\subset\mathbb{N}$ is $\ell$-strong Schreier if $\min A\geqslant \ell|A|-\ell+1$. We define a set of positive integers to be sparse if either the set has at most two numbers or the differences between consecutive numbers in increasing order are non-decreasing. This note establishes a connection between sparse Schreier-type sets and (restricted) partition numbers. One of our results states that if $\mathcal{G}_{n,\ell}$ consists of partitions of $n$ that contain no parts in $\{2, \ldots, \ell\}$, and \begin{equation*} \mathcal{A}_{n,\ell} \ :=\ \{A\subset \{1, \ldots, n\}\,:\, n\in A, A\mbox{ is sparse and }\ell\mbox{-strong Schreier}\}, \end{equation*} then $$|\mathcal{A}_{n,\ell}|\ =\ |\mathcal{G}_{n-1,\ell}|, \quad n, \ell\in \mathbb{N}.$$ The special case $\mathcal{G}_{n-1, 1}$ consists of all partitions of $n-1$. Besides partitions, integer compositions are also investigated.

A sock sequence is a sequence of elements, which we will refer to as socks, from a finite alphabet. A sock sequence is sorted if all occurrences of a sock appear consecutively. We define equivalence classes of sock sequences called sock patterns, which are in bijection with set partitions. The notion of stack-sorting for set partitions was originally introduced by Defant and Kravitz. In this paper, we define a new deterministic stack-sorting map $φ_σ$ for sock sequences that uses a $σ$-avoiding stack, where pattern containment need not be consecutive. When $σ= aba$, we show that our stack-sorting map sorts any sock sequence with $n$ distinct socks in at most $n$ iterations, and that this bound is tight for $n \geq 3$. We obtain a fine-grained enumeration of the number of sock patterns of length $n$ on $r$ distinct socks that are $1$-stack-sortable under $φ_{aba}$, and we also obtain asymptotics for the number of sock patterns of length $n$ that are $1$-stack-sortable under $φ_{aba}$. Finally, we show that for all unsorted sock patterns $σ\neq a\cdots a b a \cdots a$, the map $φ_σ$ cannot eventually sort all sock sequences on any multiset $M$ unless every sock sequence on $M$ is already sorted.

The Fibonacci polynomials are defined recursively as $f_{n}(x)=xf_{n-1}(x)+f_{n-2}(x)$, where $f_0(x) = 0$ and $f_1(x)= 1$. We generalize these polynomials to an arbitrary number of variables with the $r$-Fibonacci polynomial. We extend several well-known results such as the explicit Binet formula and a Cassini-like identity, and use these to prove that the $r$-Fibonacci polynomials are irreducible over $\mathbb{C}$ for $n \geq r \geq 3$. Additionally, we derive an explicit sum formula and a generalized generating function. Using these results, we establish connections to ordinary Bell polynomials, exponential Bell polynomials, Fubini numbers, and integer and set partitions.

We discuss the problem posed by Bender, Coley, Robbins and Rumsey of enumerating the number of subspaces which have a given profile with respect to a linear operator over the finite field $\mathbb{F}_q$. We solve this problem in the case where the operator is diagonalizable. The solution leads us to a new class of polynomials $b_{μν}(q)$ indexed by pairs of integer partitions. These polynomials have several interesting specializations and can be expressed as positive sums over semistandard tableaux. We present a new correspondence between set partitions and semistandard tableaux. A close analysis of this correspondence reveals the existence of several new set partition statistics which generate the polynomials $b_{μν}(q)$; each such statistic arises from a Mahonian statistic on multiset permutations. The polynomials $b_{μν}(q)$ are also given a description in terms of coefficients in the monomial expansion of $q$-Whittaker symmetric functions which are specializations of Macdonald polynomials. We express the Touchard--Riordan generating polynomial for chord diagrams by number of crossings in terms of $q$-Whittaker functions. We also introduce a class of $q$-Stirling numbers defined in terms of the polynomials $b_{μν}(q)$ and present connections with $q$-rook theory in the spirit of Garsia and Remmel.

Vacillating tableaux are sequences of integer partitions that satisfy specific conditions. The concept of vacillating tableaux stems from the representation theory of the partition algebra and the combinatorial theory of crossings and nestings of matchings and set partitions. In this paper, we further investigate the enumeration of vacillating tableaux and derive multiple combinatorial identities and integer sequences relating to the number of vacillating tableaux, simplified vacillating tableaux, and limiting vacillating tableaux.

Let $W^c(A_n)$ be the set of fully commutative elements in the $A_n$-type Coxeter group. Using only the settings of their canonical form, we recount $W^c(A_n)$ by the recurrence that is taken as a definition of the Catalan number $C_{n+1}$ and we find the Narayana numbers as well as the Catalan triangle via suitable set partitions of $W^c(A_n)$. We determine the unique bijection between $W^c(A_n)$ and the set of non-crossing diagrams of $n+1$ strings that respects the diagrammatic multiplication by concatenation in the $A_n$-type Temperley-Lieb algebra, along with the two algorithms implementing this bijection and its inverse.

We introduce a Combinatorial Hopf Algebra (CHA) with bases indexed by the partition diagrams indexing the bases for partition algebras. By analogy with the operation $H_α H_β = H_{α\cdot β}$ for the complete homogeneous basis of the CHA $ \textsf{NSym}$ given by concatenating compositions $α$ and $β$, we mimic this multiplication rule by setting $\textsf{H}_π \textsf{H}_ρ = \textsf{H}_{π\otimes ρ}$ for partition diagrams $π$ and $ρ$ and for the horizontal concatenation $π\otimes ρ$ of $ π$ and $ρ$. This gives rise to a free, graded algebra $\textsf{ParSym}$, which we endow with a CHA structure by lifting the CHA structure of $ \textsf{NSym}$ using an analogue, for partition diagrams, of near-concatenations of integer compositions. Unlike the Hopf algebra $\textsf{NCSym}$ on set partitions, the new CHA $\textsf{ParSym}$ projects onto $\textsf{NSym}$ in natural way via a ``forgetful'' morphism analogous to the projection of $\textsf{NSym}$ onto its commutative counterpart $\textsf{Sym}$. We prove, using the Boolean transform for the sequence $(B_{2n} : n \in \mathbb{N})$ of even-indexed Bell numbers, an analogue of Comtet's generating function for the sequence counting irreducible permutations, yielding a formula for the number of generators in each degree for $\textsf{ParSym}$, and we prove, using a sign-reversing involution, an evaluation for the antipode for $\textsf{ParSym}$. An advantage of our CHA being defined on partition diagrams in full generality, in contrast to a previously defined Hopf algebra on uniform block permutations, is given by how the coproduct operation we have defined for $\textsf{ParSym}$ is such that the usual diagram subalgebras of partition algebras naturally give rise to Hopf subalgebras of $\textsf{ParSym}$ by restricting the indexing sets of the graded components to diagrams of a specified form.

A $k$-Stirling permutation of order $n$ is said to be "flattened" if the leading terms of its increasing runs are in ascending order. We show that flattened $k$-Stirling permutations of order $n+1$ are in bijection correspondence with a colored variant of type $B$ set partitions of $[-n,n]$, introduced by D.G.L. Wang. Using the theory of weighted labelled structures, we give the exponential generating functions of their cardinality and their descent enumerating polynomials. We also provide enumerative formulae for the number of flattened $k$-Stirling permutations of order $n$ with small number of descents and the number of flattened Stirling permutations with maximum number of descents.

For a given permutation or set partition there is a natural way to assign a genus. Counting all permutations or partitions of a fixed genus according to cycle lengths or block sizes, respectively, is the main content of this article. After a variable transformation, the generating series are rational functions with poles located at the ramification points in the new variable. The generating series for any genus is given explicitly for permutations and up to genus 2 for set partitions. Extending the topological structure not just by the genus but also by adding more boundaries, we derive the generating series of non-crossing partitions on the cylinder from known results of non-crossing permutations on the cylinder. Most, but not all, outcomes of this article are special cases of already known results, however they are not represented in this way in the literature, which however seems to be the canonical way. To make the article as accessible as possible, we avoid going into details into the explicit connections to Topological Recursion and Free Probability Theory, where the original motivation came from.

Recall that a Stirling permutation is a permutation on the multiset $\{1,1,2,2,\ldots,n,n\}$ such that any numbers appearing between repeated values of $i$ must be greater than $i$. We call a Stirling permutation ``flattened'' if the leading terms of maximal chains of ascents (called runs) are in weakly increasing order. Our main result establishes a bijection between flattened Stirling permutations and type $B$ set partitions of $\{0,\pm1,\pm2,\ldots,\pm (n-1)\}$, which are known to be enumerated by the Dowling numbers, and we give an independent proof of this fact. We also determine the maximal number of runs for any flattened Stirling permutation, and we enumerate flattened Stirling permutations with a small number of runs or with two runs of equal length. We conclude with some conjectures and generalizations worthy of future investigation.

In this paper we propose a notion of pattern avoidance in binary trees that generalizes the avoidance of contiguous tree patterns studied by Rowland and non-contiguous tree patterns studied by Dairyko, Pudwell, Tyner, and Wynn. Specifically, we propose algorithms for generating different classes of binary trees that are characterized by avoiding one or more of these generalized patterns. This is achieved by applying the recent Hartung-Hoang-Mütze-Williams generation framework, by encoding binary trees via permutations. In particular, we establish a one-to-one correspondence between tree patterns and certain mesh permutation patterns. We also conduct a systematic investigation of all tree patterns on at most 5 vertices, and we establish bijections between pattern-avoiding binary trees and other combinatorial objects, in particular pattern-avoiding lattice paths and set partitions.