arXiv++ Combinatorics

A Young diagram is \emph{Latin} if there is an assignment of integers to its cells so that each row $i$ of length $l_i$ is populated by the numbers $1,\ldots,l_i$, and the numbers in each column are distinct. A Young diagram is called \emph{wide} if any subdiagram, formed by a subset of its rows, dominates its conjugate. Chow et al. [Advances in Applied Mathematics, 31, 2003] conjectured that any wide Young diagram is Latin. We introduce a notion of an \emph{allocation} which can be thought of as a coarse attempt at finding a Latin filling for a Young diagram. Using a theorem of Hilton, we prove that a Young diagram has an allocation if and only if it is Latin. This enables us to prove Chow et al.'s conjecture for Young diagrams with three distinct row lengths.

We introduce two related notions of pattern enforcement in $(0,1)$-matrices: $Q$-forcing and strongly $Q$-forcing, which formalize distinct ways a fixed pattern $Q$ must appear within a larger matrix. A matrix is $Q$-forcing if every submatrix can realize $Q$ after turning any number of $1$-entries into $0$-entries, and strongly $Q$-forcing if every $1$-entry belongs to a copy of $Q$. For $Q$-forcing matrices, we establish the existence and uniqueness of extremal constructions minimizing the number of $1$-entries, characterize them using Young diagrams and corner functions, and derive explicit formulas and monotonicity results. For strongly $Q$-forcing matrices, we show that the minimum possible number of $0$-entries of an $m\times n$ strongly $Q$-forcing matrix is always $O(m+n)$, determine the maximum possible number of $1$-entries of an $n\times n$ strongly $P$-forcing matrix for every $2\times2$ and $3\times3$ permutation matrix, and identify symmetry classes with identical extremal behavior. We further propose a conjectural formula for the maximum possible number of $1$-entries of an $n\times n$ strongly $I_k$-forcing matrix, supported by results for $k=2,3$. These findings reveal contrasting extremal structures between forcing and strongly forcing, extending the combinatorial understanding of pattern embedding in $(0,1)$-matrices.

An old conjecture of Kahn and Saks says, roughly, that any poset $P$ of large enough width contains elements $x,y$ which are "balanced" in the sense that the probability that $x$ precedes $y$ in a uniformly random linear extension of $P$ is close to $1/2$. We show this implies the seemingly stronger statement that the same conclusion holds if, instead of large width, we assume only that, for some $x$, the number, $π(x)$, of elements of $P$ incomparable to $x$ is large. The implication follows from our two main results: first, that if $π(P):=\max π(x)$ is large then $P$ has large variance, i.e. there is a $y$ whose position in a uniform extension of $P$ has large variance; and second, that the conclusion of the Kahn-Saks Conjecture holds for $P$ with large variance and bounded width. These two assertions also yield an easy proof of a (not easy) result of Chan, Pak and Panova on "sorting probabilities" for Young diagrams, together with its natural generalization to higher dimensions.

We study decomposable N^d-indexed persistence modules via higher dimensional partitions. Their barcodes are defined in terms of the extended interior of the corresponding Young diagrams. For two decomposable N^d-indexed persistence modules, we present a necessary and sufficient condition, in terms of the partitions, for their rank invariants to be the same. This generalizes the well-known fact that for an N-indexed persistence module, its barcode and its rank invariant determine each other, i.e., the rank invariant is a complete invariant.

In this paper, we examine the asymptotic behavior of the longest increasing subsequence (LIS) in a uniformly random permutation of $n$ elements. We rely on the Robinson--Schensted--Knuth correspondence, Young tableaux, and key classical results -- including the Erdős--Szekeres theorem and the Hook Length Formula -- to demonstrate that the expected LIS length grows as $2\sqrt{n}$. We review the essential variational principles of Logan--Shepp and Vershik--Kerov, which determine the limiting shape of the associated random Young diagrams, and summarize the Baik--Deift--Johansson theorem that links fluctuations of the LIS length to the Tracy--Widom distribution. Our approach focuses on providing conceptual and intuitive explanations of these results, unifying classical proofs into a single narrative and supplying fresh visual examples, while referring the reader to the original literature for detailed proofs and rigorous arguments.

By a theorem of Edrei, an infinite, normalised totally nonnegative upper-triangular Toeplitz matrix is determined by a pair of nonnegative parameter sequences, the `Schoenberg parameters', where nonzero parameters correspond to the roots and poles of a naturally associated generating function. These totally nonnegative Toeplitz matrices and their parameters also arise in the classification of characters of the infinite symmetric group by later work of Thoma. Moreover the Schoenberg parameters have an asymptotic interpretation in terms of irreducible representations of S_n and their Young diagrams by Vershik-Kerov. In this article we consider infinite totally positive Toeplitz matrices as limits of finite ones, and we obtain two further asymptotic descriptions of the Schoenberg parameters that are now related to quantum cohomology of the flag variety as n goes to infinity. One is related to asymptotics of normalised quantum parameters, and the other to asymptotics of the Chern classes of the tautological line bundles. We also describe the asymptotics of (quantum) Schubert classes in terms of the Schoenberg parameters. Our limit formulas relate to and were motivated by a tropical analogue of this theory that we survey. In the tropical setting one finds an asymptotic relationship between the `tropical Schoenberg parameters' and the weight map from Lusztig's parametrisation of the canonical basis.

We build a continuous analogue for Young diagrams, thought of as left-aligned stairs, following the line of research initiated by Díaz and Cano on the construction of continuous analogues for combinatorial objects.

Let $η_w$ be the quantum twist automorphism for the quantum unipotent coordinate ring $\mathrm{A}_q(\mathfrak{n}(w))$ introduced by Kimura and Oya. In this paper, we study the quantum twist automorphism $η_w$ in the viewpoint of the crystal bases theory and provide a crystal-theoretic description of $η_w$. In the case of the $*$-twisted minuscule crystals of classical finite types, we provide a combinatorial description of $η_w$ in terms of (shifted) Young diagrams. We further investigate the periodicity of $η_w$ up to a multiple of frozen variables in various setting.

We discover a family $A$ of sixteen statistics on fillings of any given Young diagram and prove new combinatorial formulas for modified Macdonald polynomials, that is, $$\tilde{H}_λ(X;q,t)=\sum_{σ\in T(λ)}x^σq^{maj(σ)}t^{η(σ)}$$ for each statistic $η\in A$. Building upon this new formula, we establish four compact formulas for the modified Macdonald polynomials, namely, $$\tilde{H}_λ(X;q,t)=\sum_σd_{\varepsilon}(σ)x^σq^{maj(σ)}t^{η(σ)}$$ which is summed over all canonical or dual canonical fillings of a Young diagram and $d_{\varepsilon}(σ)$ is a product of $t$-multinomials. Finally, the compact formulas enable us to derive four explicit expressions for the monomial expansion of modified Macdonald polynomials, one of which coincides with the formula given by Garbali and Wheeler (2020).

We describe PNim and RNim, two variants of Nim in which piles of tokens are replaced with integer partitions or hyperrectangles. In PNim, the players choose one of the integer partitions and remove a positive number of rows or a positive number of columns from the Young diagram of that partition. In RNim, players choose one of the hyperrectangles and reduce one of its side lengths. For PNim, we find a tight upper bound for the Sprague-Grundy values of partitions and characterize partitions with Sprague-Grundy value one. For RNim, we provide a formula for the Sprague-Grundy value of any position. We classify both games in the Conway-Gurvich-Ho hierarchy.

This paper introduces new structural decompositions for almost symmetric numerical semigroups through the combinatorial lens of Young diagrams. To do that, we use the foundational correspondence between numerical sets and Young diagrams, which enables a visual and algorithmic approach to studying properties of numerical semigroups. Central to the paper, a decomposition theorem for almost symmetric numerical semigroups is proved, which reveals that such semigroups can be uniquely expressed as a combination of a numerical semigroup, its dual and an ordinary numerical semigroup.

A partially ordered pattern (abbreviated POP) is a partially ordered set (poset) that generalizes the notion of a pattern when we are not concerned with the relative order of some of its letters. The notion of partially ordered patterns provides a convenient language to deal with large sets of permutation patterns. In analogy to the shape-Wilf-equivalence for permutation patterns, Burstein-Han-Kitaev-Zhang initiated the study of the shape-Wilf-equivalence for POPs which would result in the shape-Wilf-equivalence for large sets of permutation patterns. The main objective of this paper is to confirm a recent intriguing conjecture posed by Burstein-Han-Kitaev-Zhang concerning the shape-Wilf-equivalence for POPs of length $k$. This is accomplished by establishing a bijection between two sets of pattern-avoiding transversals of a given Young diagram.

We study the enumeration of mixed dimer covers on skew Young diagrams of ribbon shape (also called border strips or snake graphs). For the two extreme cases of straight and zigzag shapes, we show that the number of mixed dimer covers are given by the Euler and Catalan numbers. We also give q-analogs by showing that the rank generating functions of the partial orders on mixed dimer covers agree with certain q-Euler and q-Catalan numbers. These q-analogs are a consequence of an isomorphism between the partial order on mixed dimer covers and the so-called middle order on certain classes of permutations.

We introduce and develop the concept of Maximal Entropy Random Walks (MERWs) on Weighted Bratteli Diagrams (WBDs), maximizing entropy production along paths as a natural criterion for choosing random walks on networks. Initially defined for irreducible finite graphs, MERWs were recently extended to the infinite setting in [1]. Bratteli Diagrams model various growth processes, such as the Young Lattice, where the Plancherel growth process emerges as a MERW. We show that MERWs are special cases of central Markov chains, which, in general, provide a powerful framework for deriving combinatorial identities. Regarding growing trees, in particular, we retrieve and extend Han's hook-length formula for binary trees and demonstrate that the Binary Search Tree (BST) process is a MERW, recovering its asymptotic behavior. We also introduce preferential attachment to generalize BSTs. For comb models, significant central measures appear, including the Chinese restaurant process, providing an alternative proof of the Poisson-Dirichlet limit distribution. Finally, we propose a Monte Carlo method, based on Knuth's algorithm, to approximate MERWs. We apply it to a pyramidal growth model, drawing connections with the limit shape of Young diagrams under the Plancherel measure.

Given two affine permutations, some results of Lascoux and Deodhar, and independently Jacon-Lecouvey, allow to decide if they are comparable for the strong Bruhat order. These permutations are associated with tuples of core partitions, and the preceding problem is equivalent to compare the Young diagrams in each components for the inclusion. Using abaci, we give an easy rule to compute these Young diagrams one another. We deduce a procedure to compare, for the Bruhat order, two affine permutations in the window notation.

Skew shaped positroids (or skew shaped positroid varieties) are certain Richardson varieties in the flag variety that admit a realization as explicit subvarieties of the Grassmannian $\mathrm{Gr}(k,n)$. They are parametrized by a pair of Young diagrams $μ\subseteq λ$ fitting inside a $k \times (n-k)$-rectangle. For every $a = 1, \dots, n-k$, we define an explicit open set $U_a$ inside the skew shaped positroid $S^{\circ}_{λ/μ}$, and show that $U_a$ is isomorphic to the product of two smaller skew shaped positroids. Moreover, $U_a$ admits a natural cluster structure and the aforementioned isomorphism is quasi-cluster in the sense of Fraser. Our methods depend on realizing the skew shaped positroid as an explicit braid variety, and generalize the work of the first and third authors for open positroid cells in the Grassmannian.

We construct the independent particle representation for the Semistandard Young Tableaux (SsYT) of skew shape $λ/μ.$ The partition function of this particle system gives the generating function of the SsYT of skew shape $λ/μ.$ Thus we obtain a bijective proof of the Stanley formula for the SsYT generating function. To do this we define for every SsYT $T$ its plinth, $\mathsf{p}\left( T\right) ,$ which is a SsYT of the same shape $λ/μ.$ The set of plinths is finite. Our bijection associates to every SsYT $T$ a pair $\left( \mathsf{p}\left( T\right) ,Y\left( T-\mathsf{p}\left( T\right) \right) \right) ,$ where $Y\left( T-\mathsf{p}\left( T\right) \right) $ is the reading Young diagram of the SsYT $\left( T-\mathsf{p}\left( T\right) \right) $. \newline In particular, every Standard Young Tableau (SYT) $P$ has its plinth, $\mathsf{p}\left( P\right) $. The two statistics of SYT-s -- the volume $\left\vert \mathsf{p}\left( P\right) \right\vert $ and $\mathsf{maj}\left( P\right) $ -- are related via the Schützenberger involution $Sch:$% \[ \left\vert \mathsf{p}\left( P\right) \right\vert =\mathsf{maj}\left( Sch\left( P\right) \right) . \]

Berlekamp proposed a class of impartial combinatorial games based on the moves of chess pieces on rectangular boards. We generalize impartial chess games by playing them on Young diagrams and obtain results about winning and losing positions and Sprague-Grundy values for all chess pieces. We classify these games, and their restrictions to sets of partitions known as rectangles, staircases, and general staircases, according to the approach of Conway, later extended by Gurvich and Ho. The games $\rm {R\small OOK}$ and $\rm{Q\small UEEN}$ restricted to rectangles are known to have the same game tree as $2$-pile $\rm N{\small IM}$ and $\rm W{\small YTHOFF}$, respectively, so our work generalizes these well-known games.

We introduce a family of domination-type problems in Cartesian products of two graphs. The framework captures several well-studied topics, including variants of bootstrap percolation, line growth, distance domination, and target set selection. We focus on Cartesian products of two complete graphs and formulate the notion of Young domination number in terms of a growth rule determined by a Young diagram; this number is the smallest cardinality of an initial set that covers the entire vertex set in a prescribed number $L$ of iterations of the rule. We compute the Young domination number with $L=1$ for several natural cases, including $k$-domination for Cartesian products of two complete graphs of the same order, thereby proving a conjecture from 2009 due to Burchett, Lane, and Lachniet. We show that the case of $L=1$ of Young domination is equivalent to computing bipartite Turán numbers for families of double stars, yielding implications of our results in extremal graph theory. For arbitrary fixed $L$, we devise constant-factor approximation algorithms for the problem. Our approach is based on a variety of techniques, including duality between Young diagrams, algebraic formulations, explicit constructions, and dynamic programming.

Let ${\mathtt{k}}$ be an algebraically closed field of characteristic zero and $n, m$ coprime positive integers. Let ${\stackrel{\rm o}{\mathfrak{g}}}$ be the Lie superalgebra ${\mathfrak{gl}}(n|m)$ with root system $Δ$. Using $Δ$, Sergeev and Veselov, \cite{SV2} introduced an action of the Weyl groupoid ${\mathcal{W}}$, in connection with their study of the the Grothendieck group of finite dimensinonal graded $\mathfrak{g}$-modules. We denote the subgroupoid of ${\mathcal{W}}$ with morphisms corresponding to isotropic roots by $\mathfrak T_{iso}$. Later, \cite{SV101} the same authors defined an action of ${\mathcal{W}}$ on $X={\mathtt{k}}^{n|m}$ such that the invariant algebra ${\mathcal{O}}(X)^{\mathcal{W}}$ is isomorphic to the algebra of quantum integrals for the deformed Calogero-Moser system introduced in \cite{SV1}. This completely integrable system depends on a non-zero parameter $κ$. When $κ=-m/n$ we study a certain infinite $\mathfrak T_{iso}$-orbit {\bf O} for this action. %which appears in \cite{SV101} Equation (14). The Cayley graph for this orbit is isomorphic to the Cayley graphs for two other actions of $\mathfrak T_{iso}$ which were studied in \cite{M23}.