arXiv++ Combinatorics

Subbarao and Verma introduced, in 1999, a number of open problems concerning the sequence $(f(n))_{n \geq 0}$ of complementary Bell numbers, which may be defined via Bell polynomials $B_{n}(x) = \sum_{k=0}^{n} \left\{ \begin{smallmatrix} n \\ k \end{smallmatrix} \right\} x^k$ so that $f(n) = B_{n}(-1)$. Yang [Electron. J. Combin., 2001] subsequently solved the first two problems from Subbarao and Verma, but the third such problem has remained open, to the best of our knowledge. The first part of this third problem asks whether or not $f(n)$ takes any given value only a finite number of times. We solve this problem in the affirmative, through a combined application of finite difference-based methods, partial Motzkin paths, the completeness of the Tate algebra with respect to the Gauss norm, and Strassmann's theorem.

Let $[0, 1]^{n} \subseteq \mathbb{R}^{n}$ be endowed with its pointwise order, and let $k$ be a positive integer. A subset $A$ of $[0, 1]^{n}$ is said to be a \emph{$k$-antichain} if $\operatorname{card}(A \cap C) \leq k$ for each chain $C \subseteq [0, 1]^{n}$. Letting $\mathcal{H}^{m}$ denote the $m$-dimensional Hausdorff outer measure, Pelekis and Vlasák [Publ.\ Math.\ Debrecen, 2020] conjectured that there exists a $k$-antichain $A \subseteq [0, 1]^{n}$ satisfying $\mathcal{H}^{n-1}(A) = k n$, and proved the special case of this conjecture for $n = 2$, whereas Janzer [Mathematika, 2020] proved the $k = 1$ case of Pelekis and Vlasák's conjecture. This conjecture is motivated by a result due to Erdős on $k$-antichains in $\{ 0, 1 \}^{n}$. We prove Pelekis and Vlasák's conjecture in full generality, thus establishing that their upper bound $\mathcal{H}^{n-1}(A) \leq k n$ is sharp for $k$-antichains $A$ in $[0, 1]^{n}$.

Defant and Kravitz introduced generalizations of West's stack-sorting map $s$ from permutations to finite words. This raises questions as to how such generalizations could be applied in the field of combinatorics on words. The Defant-Kravitz generalizations of $s$ depend on how repeated occurrences of the same character within a word may be repositioned, according to their $\textsf{tortoise}$ and $\textsf{hare}$ operations. As demonstrated in this paper, these operations provide a natural way of extending abelian complexity functions for infinite sequences, in a way that gives light to structural properties associated with infinite words. We apply these new ideas to two famous infinite words: the paperfolding word and the Thue-Morse word. In the case of the Thue-Morse word, we discover an interesting connection to the previous work of several authors, such as de Luca and Varricchio, on the ``special'' factors of the Thue-Morse word. This may be seen as providing a basis for a new and interdisciplinary area linking the combinatorics about the stack-sorting of permutations with the field of combinatorics on words.

One of the central open problems in both algebraic combinatorics and representation theory is to find a positive combinatorial rule for Kronecker coefficients $ g_{λ\, μ\, ν}$. A notable advance in this direction is due to Blasiak, who proved a combinatorial interpretation in terms of colored Yamanouchi tableaux for the case whereby one of the indexing partitions is hook-shaped. In this paper, we introduce a framework for the evaluation and combinatorial interpretation of Kronecker coefficients, combining a Schur function identity of Littlewood, the Giambelli identity for Schur functions, and Blasiak's combinatorial rule. This framework reduces the study of Kronecker coefficients to alternating sums involving hook-indexed cases. As an application of this framework, we obtain combinatorial interpretations of $g_{t, h^{(1)}, h^{(2)}}$ for two-row partitions $t$ and hook-like partitions $h^{(1)}$ and $h^{(2)}$ satisfying natural conditions. More broadly, our approach provides a systematic method for extending hook-based combinatorial rules to wider families of Kronecker coefficients.

Many research works have concerned normality-preserving selection rules and operations on the sequence of digits of a given normal number that maintain or violate normality. This leads us to introduce rearrangement operations on finite subwords appearing within the digit expansions of normal numbers, and this is inspired by the concept of an abelian complexity function in the field of combinatorics on words. We introduce the concept of an abelian-normal number, with respect to a given base and a given weighting/counting function on subwords, by analogy with normal numbers and with the use of the equivalence classes associated with abelian complexity functions. We then construct a non-normal analogue $D_{10}$ of Champernowne's constant $C_{10}$ and prove that $D_{10}$ is abelian-normal with respect to a given weighting function. We conclude with two open problems concerning our Champernowne-like constant $D_{10}$.

We apply the EKHAD-normalization method given in our recent work to obtain, via the $q$-version of Zeilberger's algorithm, $q$-WZ pairs $(F, G)$ such that $\sum_{k = 0}^{\infty} F(0, k)$ may be expressed as a basic hypergeometric series of the form ${}_{3}φ_2$ with multiple free parameters, and in such a way so that $\sum_{k=0}^{\infty} F(0, k) = \sum_{n=0}^{\infty} G(n, 0)$. In contrast to how previous applications of EKHAD-normalization relied on $q$-analogues for specific WZ pairs introduced by Guillera, our multiparameter approach provides a broad framework in the construction of $q$-analogues for accelerated series for universal constants such as $π$. We apply this multiparameter version of EKHAD-normalization to obtain and prove new $q$-analogues for accelerated hypergeometric series attributed to many authors, including (alphabetically) Adamchik and Wagon, Apéry, Chu, Chu and Zhang, Fabry, Guillera, Ramanujan, and Zeilberger.

There is a natural bijection between standard immaculate tableaux of composition shape $α\vDash n$ and length $\ell(α) = k$ and the $ \left\{ \begin{smallmatrix} n \\ k \end{smallmatrix} \right\} $ set-partitions of $\{ 1, 2, \ldots, n \}$ into $k$ blocks, for the Stirling number $ \left\{ \begin{smallmatrix} n \\ k \end{smallmatrix} \right\} $ of the second kind. We introduce a family of tableaux that we refer to as \emph{lexical tableaux} that generalize immaculate tableaux in such a way that there is a bijection between standard lexical tableaux of shape $α\vDash n$ and length $\ell(α) = k$ and the $ \left[ \begin{smallmatrix} n \\ k \end{smallmatrix} \right] $ permutations on $\{ 1, 2, \ldots, n \}$ with $k$ disjoint cycles. In addition to the entries in the first column strictly increasing, the defining characteristic of lexical tableaux is that the word $w$ formed by the consecutive labels in any row is the lexicographically smallest out of all cyclic permutations of $w$. This includes weakly increasing words, and thus, lexical tableaux provide a natural generalization of immaculate tableaux. Extending this generalization, we introduce a pair of dual bases of the Hopf algebras $\textsf{QSym}$ and $\textsf{NSym}$ defined in terms of lexical tableaux. We present two expansions of these bases, involving the monomial and fundamental bases (or, dually, the ribbon and complete homogeneous bases), using Kostka coefficient analogues and coefficients derived from standard lexical tableaux.

Letting $w$ denote a finite, nonempty word, let $\text{red}(w)$ denote the word obtained from $w$ by replacing every subword $s$ of $w$ of the form $cc \cdots c$ for a given character $c$ (such that there is no character immediately to the left or right of $s$ equal to $c$) with $c$. Complexity functions for infinite words play important roles within combinatorics on words, and this leads us to introduce and investigate variants of the factor and abelian complexity functions using the given reduction operation. By enumerating words $v$ and $w$ of a given length $n \geq 0$ and associated with an infinite sequence over a finite alphabet such that $\text{red}(v)$ and $\text{red}(w)$ are equal or otherwise equivalent in some specified way, by analogy with the factor and abelian complexity functions, this may be seen as producing simplified versions of previously introduced complexity functions. We prove a recursion for the reduced factor complexity function $ρ_{\mathbf{t}}^{\text{red}}$ for the Thue-Morse sequence $\mathbf{t}$, giving us that $(ρ_{\mathbf{t}}^{\text{red}}(n) : n \in \mathbb{N})$ is a $2$-regular sequence, we prove an explicit evaluation for the reduced factor complexity function $ρ_{\mathbf{f}}^{\text{red}}$ for the (regular) paperfolding sequence $\mathbf{f}$, together with an evaluation for the reduced abelian complexity function $ρ_{\mathbf{f}}^{\text{ab}, \text{red}}$ for $\mathbf{f}$. We conclude with open problems concerning $ρ_{\mathbf{t}}^{\text{ab}, \text{red}}$.

The first known $q$-analogues for any of the $17$ formulas for $\frac{1}π$ due to Ramanujan were introduced in 2018 by Guo and Liu (J. Difference Equ. Appl. 29:505-513, 2018), via the $q$-Wilf-Zeilberger method. Through a "normalization" method, which we refer to as EKHAD-normalization, based on the $q$-polynomial coefficients involved in first-order difference equations obtained from the $q$-version of Zeilberger's algorithm, we introduce $q$-WZ pairs that extend WZ pairs introduced by Guillera (Adv. in Appl. Math. 29:599-603, 2002) (Ramanujan J. 11:41-48, 2006). We apply our EKHAD-normalization method to prove four new $q$-analogues for three of Ramanujan's formulas for $\frac{1}π$ along with $q$-analogues of Guillera's first two series for $\frac{1}{π^2}$. Our normalization method does not seem to have been previously considered in any equivalent way in relation to $q$-series, and this is substantiated through our survey on previously known $q$-analogues of Ramanujan-type series for $\frac{1}π$ and of Guillera's series for $\frac{1}{π^2}$. We conclude by showing how our method can be adapted to further extend Guillera's WZ pairs by introducing hypergeometric expansions for $\frac{1}{π^2}$.

Wilcox has considered a twisted semigroup algebra structure on the partition algebra $\mathbb{C}A_k(n)$, but it appears that there has not previously been any known basis that gives $\mathbb{C}A_k(n)$ the structure of a "non-twisted" semigroup algebra or a monoid algebra. This motivates the following problem, for the non-degenerate case whereby $n \in \mathbb{C} \setminus \{ 0, 1, \ldots, 2 k - 2 \}$ so that $ \mathbb{C}A_k(n)$ is semisimple. How could a basis $M_{k} = M$ of $ \mathbb{C}A_k(n)$ be constructed so that $M$ is closed under the multiplicative operation on $\mathbb{C}A_k(n)$, in such a way so that $M$ is a monoid under this operation, and how could a product rule for elements in $M$ be defined in an explicit and combinatorial way in terms of partition diagrams? We construct a basis $M$ of the desired form using Halverson and Ram's matrix unit construction for partition algebras, Benkart and Halverson's bijection between vacillating tableaux and set-partition tableaux, an analogue given by Colmenarejo et al. for partition diagrams of the RSK correspondence, and a variant of a result due to Hewitt and Zuckerman characterizing finite-dimensional semisimple algebras that are isomorphic to semigroup algebras.

Given a direct sum $A$ of full matrix algebras, if there is a combinatorial interpretation associated with both the dimension of $A$ and the dimensions of the irreducible $A$-modules, then this can be thought of as providing an analogue of the famous Frobenius-Young identity $n! = \sum_{λ\vdash n} ( f^λ )^{2}$ derived from the semisimple structure of the symmetric group algebra $\mathbb{C}S_{n}$, letting $f^λ$ denote the number of Young tableaux of partition shape $λ\vdash n$. By letting $g^α$ denote the number of standard immaculate tableaux of composition shape $α\vDash n$, we construct an algebra $\mathbb{C}\mathcal{I}_{n}$ with a semisimple structure such that $\dim \mathbb{C}\mathcal{I}_{n} = \sum_{α\vDash n} (g^α)^{2}$ and such that $\mathbb{C}\mathcal{I}_{n} $ contains an isomorphic copy of $\mathbb{C}S_{n}$. We bijectively prove a recurrence for $\dim \mathbb{C}\mathcal{I}_{n}$ so as to construct a basis of $\mathbb{C}\mathcal{I}_{n}$ indexed by permutation-like objects that we refer to as immacutations. We form a basis $\mathcal{B}_{n}$ of $\mathbb{C}\mathcal{I}_{n}$ such that $\mathbb{C} \mathcal{B}_n$ has the structure of a monoid algebra in such a way so that $\mathcal{B}_n$ is closed under the multiplicative operation of $\mathbb{C} \mathcal{I}_n$, yielding a monoid structure on the set of order-$n$ immacutations.

Deterministic Finite Automata (DFAs) are of central importance in automata theory. In view of how state diagrams for DFAs are defined using directed graphs, this leads us to introduce a generalization of DFAs related to a method widely used in graph theory referred to as the discharging method. Given a DFA $(Q, Σ, δ, q_{0}, F)$, the transition function $δ\colon Q \times Σ\to Q$ determines a directed path in the corresponding state diagram based on an input string $a_{1} a_{2} \cdots a_{n}$ consisting of characters in $Σ$, and our generalization can be thought of as being based on how each vertex in $D$ ''discharges'' rational values to adjacent vertices (by analogy with the discharging method) depending on the string $a_{1} a_{2} \cdots a_{n}$ and according to a fixed set of rules. We formalize this notion and pursue an exploration of the notion of a Discharging Deterministic Finite Automaton (DDFA) introduced in this paper. Our DDFA construction gives rise to a ring structure consisting of sequences that we refer to as being quasi-$k$-regular, and this ring generalizes the ring of $k$-regular sequences introduced by Allouche and Shallit.

For an integer partition $ λ$ of $n$ and an $n \times n$ matrix $A$, consider the expansion of the immanant $\text{Imm}^λ(A)$ as a sum indexed by permutations $σ$ of order $n$, with coefficients given by the irreducible characters $χ^λ(\text{ctype}(σ))$ of the symmetric group $S_{n}$, for the cycle type $\text{ctype}(σ) \vdash n$ of $σ$. Skandera et al. have introduced combinatorial interpretations of a generalization of immanants given by replacing the coefficient $χ^λ(\text{ctype}(σ))$ with preimages with respect to the Frobenius morphism of elements among the distinguished bases of the algebra $\textsf{Sym}$ of symmetric functions. Since $ \textsf{Sym}$ is contained in the algebra $\textsf{QSym}$ of quasisymmetric functions, this leads us to further generalize immanants with the use of quasisymmetric functions. Since bases of $ \textsf{QSym}$ are indexed by integer compositions, we make use of cycle compositions in place of cycle types to define the family of quasi-immanants introduced in this paper. This is achieved through the use of the quasisymmetric power sum bases due to Ballantine et al., and we prove a combinatorial formula for the coefficients arising in an analogue, given by a special case of quasi-immanants associated with quasisymmetric Schur functions, of second immanants.

Given an identity relating families of Schur and power sum symmetric functions, this may be thought of as encoding representation-theoretic properties according to how the $p$-to-$s$ transition matrices provide the irreducible character tables for symmetric groups. The case of the Murnaghan-Nakayama rule for cycles provides that $p_{n} = \sum_{i = 0}^{n-1} (-1)^i s_{(n-i, 1^{i})}$, and, since the power sum generator $p_{n}$ reduces to $ζ(2n)$ for the Riemann zeta function $ζ$ and for specialized values of the indeterminates involved in the inverse limit construction of the algebra of symmetric functions, this motivates both combinatorial and number-theoretic applications related to the given case of the Murnaghan-Nakayama rule. In this direction, since every Schur-hook admits an expansion in terms of twofold products of elementary and complete homogeneous generators, we exploit this property for the same specialization that allows us to express $p_{n}$ with the Bernoulli number $B_{2n}$, using remarkable results due to Hoffman on multiple harmonic series. This motivates our bijective approach, through the use of sign-reversing involutions, toward the determination of identities that relate Schur-hooks and power sum symmetric functions and that we apply to obtain a new recurrence for Bernoulli numbers.

If we consider previously introduced extensions of Stanley's chromatic symmetric function $X_{G}(x_1, x_2, \ldots)$ for a graph $G$ to elements in the algebra $\textsf{QSym}$ of quasisymmetric functions and in the algebra $\textsf{NCSym}$ of symmetric functions in noncommuting variables, this motivates our introduction of a lifting of $X_{G}$ to the dual of $\textsf{QSym}$, i.e., the algebra $\textsf{NSym}$ of noncommutative symmetric functions, as opposed to $\textsf{NCSym}$. For an unlabelled directed graph $D$, our extension of chromatic symmetric functions provides an element $\text{X}_{D}$ in $\textsf{NSym}$, in contrast to the analogue $Y_{G} \in \textsf{NCSym}$ of $X_{G}$ due to Gebhard and Sagan. Letting $G$ denote the undirected graph underlying $D$, our construction is such that the commutative image of $\text{X}_{D}$ is $ X_{G}$. This projection property is achieved by lifting Stanley's power sum expansion for chromatic symmetric functions, with the use of the $Ψ$-basis of $\textsf{NSym}$, so that the orderings of the entries of the indexing compositions are determined by the directed edges of $D$. We then construct generating sets for $\textsf{NSym}$ consisting of expressions of the form $\text{X}_{D}$, building on the work of Cho and van Willigenburg on chromatic generating sets for $\textsf{Sym}$.

Hou, Krattenthaler, and Sun have introduced two $q$-analogues of a remarkable series for $π^2$ due to Guillera, and these $q$-identities were, respectively, proved with the use of a $q$-analogue of a Wilf-Zeilberger pair provided by Guillera and with the use of ${}_{3}φ_{2}$-transforms. We prove a $q$-analogue of Guillera's formula for $π^2$ that is inequivalent to previously known $q$-analogues of the same formula due to Guillera, including the Hou-Krattenthaler-Sun $q$-identities and a subsequent $q$-identity due to Wei. In contrast to previously known $q$-analogues of Guillera's formula, our new $q$-analogue involves another free parameter apart from the $q$-parameter. Our derivation of this new result relies on the $q$-analogue of Zeilberger's algorithm.

In combinatorics on words, the well-studied factor complexity function $ρ_{\infw{x}}$ of a sequence $\infw{x}$ over a finite alphabet counts, for every nonnegative integer $n$, the number of distinct length-$n$ factors of $\infw{x}$. In this paper, we introduce the \emph{reflection complexity} function $r_{\infw{x}}$ to enumerate the factors occurring in a sequence $\infw{x}$, up to reversing the order of symbols in a word. We prove a number of results about the growth properties of $r_{\infw{x}}$ and its relationship with other complexity functions. We also prove a Morse--Hedlund-type result characterizing eventually periodic sequences in terms of their reflection complexity, and we deduce a characterization of Sturmian sequences. We investigate the reflection complexity of quasi-Sturmian, episturmian, $(s+1)$-dimensional billiard, complementation-symmetric Rote, and rich sequences. Furthermore, we prove that if $\infw{x}$ is $k$-automatic, then $r_{\infw{x}}$ is computably $k$-regular, and we use the software \texttt{Walnut} to evaluate the reflection complexity of some automatic sequences, such as the Thue--Morse sequence. We note that there are still many unanswered questions about this reflection measure.

We introduce a generalization of immanants of matrices, using partition algebra characters in place of symmetric group characters. We prove that our immanant-like function on square matrices, which we refer to as the recombinant, agrees with the usual definition for immanants for the special case whereby the vacillating tableaux associated with the irreducible characters correspond, according to the Bratteli diagram for partition algebra representations, to the integer partition shapes for symmetric group characters. In contrast to previously studied variants and generalizations of immanants, as in Temperley-Lieb immanants and $f$-immanants, the sum that we use to define recombinants is indexed by a full set of partition diagrams, as opposed to permutations.

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.

We introduce a lifting of West's stack-sorting map $s$ to partition diagrams, which are combinatorial objects indexing bases of partition algebras. Our lifting $\mathscr{S}$ of $s$ is such that $\mathscr{S}$ behaves in the same way as $s$ when restricted to diagram basis elements in the order-$n$ symmetric group algebra as a diagram subalgebra of the partition algebra $\mathscr{P}_{n}^ξ$. We then introduce a lifting of the notion of $1$-stack-sortability, using our lifting of $s$. By direct analogy with Knuth's famous result that a permutation is $1$-stack-sortable if and only if it avoids the pattern $231$, we prove a related pattern-avoidance property for partition diagrams, as opposed to permutations, according to what we refer to as stretch-stack-sortability.