arXiv++ Combinatorics

Multiple Hook Removing Game (MHRG for short) is an impartial game played in terms of Young diagrams. In this paper, we give a characterization of the set of all game positions in MHRG. As an application, we prove that for $t \in \mathbb{Z}_{\geq 0}$ and $m, n \in \mathbb{N}$ such that $t \leq m \leq n$, and a Young diagram $Y$ contained in the rectangular Young diagram $Y_{t,n}$ of size $t \times n$, $Y$ is a game position in MHRG with $Y_{m,n}$ the starting position if and only if $Y$ is a game position in MHRG with $Y_{t,n-m+t}$ the starting position, and also that the Grundy value of $Y$ in the former MHRG is equal to that in the latter MHRG.

We introduce a new impartial game, named Multiple Hook Removing Game (MHRG for short). We also determine the $\mathcal{G}$-values of some game positions (including the starting positions) in MHRG$(m,n)$, the MHRG whose starting position is the rectangular Young diagram of size $m\times n$ with the unimodal numbering. In addition, we prove that MHRG$(m,n)$ is isomorphic, as games, to MHRG$(m,n+1)$ (if $m\le n$ and $m+n$ is even), and give a relationship between MHRG$(n,n+1)$ (and MHRG$(n,n)$) and HRG$(S_n)$, the Hook Removing Game in terms of shifted Young diagrams.

In a classical-type flag variety, we consider a Schubert variety associated to a vexillary (signed) permutation, and establish a combinatorial formula for the Hilbert-Samuel multiplicity of a point on such a Schubert variety. The formula is expressed in terms of excited Young diagrams, and extends results for Grassmannians due to Krattenthaler, Lakshmibai-Raghavan-Sankaran, and for the maximal isotropic (symplectic and orthogonal) Grassmannians to Ghorpade-Raghavan, Raghavan-Upadhyay, Kreiman, and Ikeda-Naruse. We also provide a new proof of a theorem of Li-Yong in the type A vexillary case. The main ingredient is an isomorphism between certain neighborhoods of fixed points, known as Kazhdan-Lusztig varieties, which, in turn, relies on a direct sum embedding previously used by Anderson-Fulton to relate vexillary loci to Grassmannian loci.

We consider the skew Howe duality for the action of certain dual pairs of Lie groups $(G_1, G_2)$ on the exterior algebra $\bigwedge(\mathbb{C}^{n} \otimes \mathbb{C}^{k})$ as a probability measure on Young diagrams by the decomposition into the sum of irreducible representations. We prove a combinatorial version of this skew Howe for the pairs $(\mathrm{GL}_{n}, \mathrm{GL}_{k})$, $(\mathrm{SO}_{2n+1}, \mathrm{Pin}_{2k})$, $(\mathrm{Sp}_{2n}, \mathrm{Sp}_{2k})$, and $(\mathrm{Or}_{2n}, \mathrm{SO}_{k})$ using crystal bases, which allows us to interpret the skew Howe duality as a natural consequence of lattice paths on lozenge tilings of certain partial hexagonal domains. The $G_1$-representation multiplicity is given as a determinant formula using the Lindström-Gessel-Viennot lemma and as a product formula using Dodgson condensation. These admit natural $q$-analogs that we show equals the $q$-dimension of a $G_2$-representation (up to an overall factor of $q$), giving a refined version of the combinatorial skew Howe duality. Using these product formulas (at $q =1$), we take the infinite rank limit and prove the diagrams converge uniformly to the limit shape.

Introduced by Ardila (J. Combin. Theory Ser. A, 2003), the Catalan matroid is obtained by defining the bases of the matroid using Dyck paths from $(0,0)$ to $(n,n)$. Further research has gone into the topic, with variants like lattice path matroids (introduced by Bonin, de Mier, and Noy (J. Combin. Theory Ser. A, 2003)) and shifted matroids (introduced independently by Klivans (2003), and Ardila) being studied intensively. In this short note, we introduce the Young matroid, an extension of the Catalan matroid, where the bases are defined using the standard Young tableaux of a fixed shape. This extension necessarily involves the consideration of independent multisets and multiset bases.

In this paper, we study relationships between the normalized characters of symmetric groups and the Boolean cumulants of Young diagrams. Specifically, we show that each normalized character is a polynomial of twisted Boolean cumulants with coefficients being non-negative integers, and conversely, that, when we expand a Boolean cumulant in terms of normalized characters, the coefficients are again non-negative integers. The main tool is Khovanov's Heisenberg category and the recently established connection of its center to the ring of functions on Young diagrams, which enables one to apply graphical manipulations to the computation of functions on Young diagrams. Therefore, this paper is an attempt to deepen the connection between the asymptotic representation theory and graphical categorification.

The crystal bases are quite useful combinatorial tools to study the representations of quantized universal enveloping algebras $U_q(\mathfrak{g})$. The polyhedral realization for $B(\infty)$ is a combinatorial description of the crystal base, which is defined as an image of embedding $Ψ_ι:B(\infty)\hookrightarrow \mathbb{Z}^{\infty}_ι$, where $ι$ is an infinite sequence of indices and $\mathbb{Z}^{\infty}_ι$ is an infinite $\mathbb{Z}$-lattice with a crystal structure associated with $ι$. It is a natural problem to find an explicit form of the polyhedral realization ${\rm Im}(Ψ_ι)$. In this article, supposing that $\mathfrak{g}$ is of affine type ${\rm A}^{(1)}_{n-1}$, ${\rm C}^{(1)}_{n-1}$, ${\rm A}^{(2)}_{2n-2}$ or ${\rm D}^{(2)}_{n}$ and $ι$ satisfies the condition of `adaptedness', we describe ${\rm Im}(Ψ_ι)$ by using several combinatorial objects such as extended Young diagrams and Young walls.

In this work we study the relationship between several combinatorial formulas for type $A$ spherical Whittaker functions. These are spherical functions on $p$-adic groups, which arise in the theory of automorphic forms. They depend on a parameter $t$, and are a specialization of Macdonald polynomials, and further specialize to Schur polynomials upon setting $t=0$. There are three types of formulas for these polynomials. The first formula is in terms of so-called alcove walks, works in arbitrary Lie type, and is derived from the Ram-Yip formula for Macdonald polynomials. The second one is in terms of certain fillings of Young diagrams, and is derived from, or is analogous to the Haglund-Haiman-Loehr formula for Macdonald polynomials. The third formula is in terms of the classical semistandard Young tableaux. We study the way in which each such formula is obtained from the previous one by combining terms $-$ a phenomenon called compression. No such results existed in the case of Whittaker functions.

We give closed product formulas for the irreducible characters of the symmetric groups related to rectangular `almost square' Young diagrams $p \times(p+δ)$ for a fixed value of an integer $δ$ and an arbitrary integer $p$.

Iterating the skew RSK correspondence discovered by Sagan and Stanley in the late '80s, we define a deterministic dynamics on the space of pairs of skew Young tableaux $(P,Q)$. We find that this skew RSK dynamics displays conservation laws which, in the picture of Viennot's shadow line construction, identify generalizations of Greene invariants. The introduction of a novel realization of $0$-th Kashiwara operators reveals that the skew RSK dynamics possesses symmetries induced by an affine bicrystal structure, which, combined with connectedness properties of Demazure crystals, leads to its linearization. Studying asymptotic evolution of the dynamics started from a pair of skew tableaux $(P,Q)$, we discover a new bijection $Υ: (P,Q) \mapsto (V,W; κ, ν)$. Here $(V,W)$ is a pair of vertically strict tableaux, i.e., column strict filling of Young diagrams with no condition on rows, with shape prescribed by the Greene invariant, $κ$ is an array of non-negative weights and $ν$ is a partition. An application of this construction is the first bijective proof of Cauchy and Littlewood identities involving $q$-Whittaker polynomials. New identities relating sums of $q$-Whittaker and Schur polynomials are also presented.

A remarkable result at the intersection of number theory and group theory states that the order of a finite group $G$ (denoted $|G|$) is divisible by the dimension $d_R$ of any irreducible complex representation of $G$. We show that the integer ratios ${ |G|^2 / d_R^2 } $ are combinatorially constructible using finite algorithms which take as input the amplitudes of combinatoric topological strings ($G$-CTST) of finite groups based on 2D Dijkgraaf-Witten topological field theories ($G$-TQFT2). The ratios are also shown to be eigenvalues of handle creation operators in $G$-TQFT2/$G$-CTST. These strings have recently been discussed as toy models of wormholes and baby universes by Marolf and Maxfield, and Gardiner and Megas. Boundary amplitudes of the $G$-TQFT2/$G$-CTST provide algorithms for combinatoric constructions of normalized characters. Stringy S-duality for closed $G$-CTST gives a dual expansion generated by disconnected entangled surfaces. There are universal relations between $G$-TQFT2 amplitudes due to the finiteness of the number $K $ of conjugacy classes. These relations can be labelled by Young diagrams and are captured by null states in an inner product constructed by coupling the $G$-TQFT2 to a universal TQFT2 based on symmetric group algebras. We discuss the scenario of a 3D holographic dual for this coupled theory and the implications of the scenario for the factorization puzzle of 2D/3D holography raised by wormholes in 3D.

Goulden-Rattan polynomials give the exact value of the subdominant part of the normalized characters of the symmetric groups in terms of certain quantities ($C_i$) which describe the macroscopic shape of the Young diagram. The Goulden-Rattan positivity conjecture states that the coefficients of these polynomials are positive rational numbers with small denominators. We prove a special case of this conjecture for the coefficient of the quadratic term $C_2^2$ by applying certain bijections involving maps (i.e., graphs drawn on surfaces).

Let $L(m,n)$ denote Young's lattice consisting of all partitions whose Young diagrams are contained in the $m\times n$ rectangle. It is a well-known result that the poset $L(m,n)$ is rank symmetric, rank unimodal, and Sperner. A direct proof of this result by finding an explicit order matching of $L(m,n)$ is an outstanding open problem. In this paper, we present an explicit order matching $\varphi$ for $L(3,n)$ by several different approaches, and give chain tableau version of $\varphi$ that is very helpful in finding patterns. It is surprise that the greedy algorithm and a recursive knead process also give the same order matching. Our methods extend for $L(4,n)$.

Linear extensions of posets are important objects in enumerative and algebraic combinatorics that are difficult to count in general. Families of posets like Young diagrams of straight shapes and $d$-complete posets have hook-length product formulas to count linear extensions, whereas families like Young diagrams of skew shapes have determinant or positive sum formulas like the Naruse hook-length formula from 2014. In 2020, Garver et. al. gave determinant formulas to count linear extensions of a family of posets called mobile posets that refine $d$-complete posets and border strip skew shapes. We give a Naruse type hook-length formula to count linear extensions of such posets by proving a major index $q$-analogue. We also a inversion index $q$-analogue of the Naruse formula for mobile tree posets.

We consider two natural statistics on pairs of histograms, in which the $n$ bins have weights $0, \ldots, n-1$. The difference ($\mathbf{D}$) between the weighted totals of the histograms is, in a sense, refined by the earth mover's distance ($\mathbf{EMD}$), which measures the amount of work required to equalize the histograms. We were recently surprised, however, by how little $\mathbf{EMD}$ actually does refine $\mathbf{D}$ in certain real-world applications, which led to the main problem in this paper: what is the probability that $\mathbf{EMD} = |\mathbf{D}|$? We derive a formula for this probability, as well as the expected value of $|\mathbf{D}|$, via the combinatorics of Young diagrams and plane partitions. We then generalize our results to an arbitrary number of histograms, where we realize this higher-dimensional $\mathbf{D}$ as distance on the Type-A root lattice.

We give a combinatorial formula for the character of a finite-dimensional irreducible representation of the periplectic Lie superalgebra $\mathfrak{p}(n)$. The character of irreducible module $L(μ)$ is given by a cancellation-free alternating sum over the characters of thick or thin Kac modules, $Δ(λ)$ or $\nabla(λ)$, such that there exists a ribbon tiling of a skew Young diagram $λ/μ$.

We give a combinatorial formula for LLT cumulants of unicellular unilevelled shapes in terms of parking functions and Cayley trees. Our formula implies previously conjectured Schur positivity.

To any Young diagram we can associate the multiset of residues of all its nodes. This paper is concerned with the inverse problem: given a multiset of elements of Z/eZ, does it comes from a Young diagram? We give a full solution in level one and a partial answer in higher levels for Young multidiagrams, using Fayers's notions of core block and weight of a multipartition. We apply the result in level one to study a shift operation on partitions.

We study a family of measures originating from the signatures of the irreducible components of representations of the unitary group, as the size of the group goes to infinity. Given a random signature $λ$ of length $N$ with counting measure $\mathbf{m}$, we obtain a random signature $μ$ of length $N-1$ through projection onto a unitary group of lower dimension. The signature $μ$ interlaces with the signature $λ$, and we record the data of $μ,λ$ in a random rectangular Young diagram $w$. We show that under a certain set of conditions on $λ$, both $\mathbf{m}$ and $w$ converge as $N\to\infty$. We provide an explicit moment generating function relationship between the limiting objects. We further show that the moment generating function relationship induces a bijection between bounded measures and certain continual Young diagrams, which can be viewed as a quantized analogue of the Markov-Krein correspondence.

This paper studies Young diagrams of symmetric and pseudo-symmetric numerical semigroups and describes new operations on Young diagrams as well as numerical semigroups. These provide new decompositions of symmetric and pseudo-symmetric semigroups into an over semigroup and its dual. It is also given exactly for what kind of numerical semigroup $S$, the semigroup ring $\Bbbk[\![S]\!]$ has at least one Gorenstein subring and has at least one Kunz subring.