arXiv++ Combinatorics

A quiver representation consists of a collection of vector spaces along with a set of arrows, which are linear maps between these spaces. In this work, we study quiver representations in equioriented type $A$ which are also chain complexes; that is, in which consecutive arrows compose to zero. We show that orbits of these representations under a change of basis action are in bijection with mixed dimer covers of a $2 \times n$ grid graph. The latter object can be endowed with a partial order which is a distributive lattice, and we show that the degeneration order on the orbits of chain complexes is a coarsening of this partial order. In addition, we use recent matrix formulae of Claussen and Ovenhouse to enumerate these orbits. This also computes the Kostant partition function applied to height-restricted, type $A$ roots. When the dimension vector is uniform, we discuss a correspondence with paths of a beam of light bouncing between glass plates and give an explicit generating function.

In this paper, we extend the study of the quantum $k$-Bruhat order initiated in the work of Benedetti, Bergeron, Colmenarejo, Saliola, and Sottile concerning the quantum Murnaghan-Nakayama rule. Specifically, identifying maximal chains in intervals of the quantum $k$-Bruhat order with sequences of transpositions, we investigate a naturally associated free monoid $F_n^{\mathbf{q}}$ with an action on a $q$-extension of $S_n$, denoted $S_n[\mathbf{q}]$, which encodes the chain structure of the quantum $k$-Bruhat order. Aside from numerous structural results, our main contribution is an identification of a large family of equivalences satisfied by the elements of $F_n^{\mathbf{q}}$ as operators on $S_n[\mathbf{q}]$. In fact, we conjecture that our list of equivalences is complete. As a consequence of the quantum Monk's rule, a complete understanding of such equivalences can be used to gain information about the multiplicative structure of quantum Schubert polynomials.

Motivated by recent work of Hanser and Mayers, we study two combinatorial puzzles arising from the theory of Kohnert polynomials. Such polynomials are defined as generating polynomials for certain collections of diagrams consisting of unit cells arranged in the first quadrant generated from an initial "seed diagram" by applying what are called "Kohnert moves". Each Kohnert move affects the position of at most cell of a diagram, attempting to move the rightmost cell of a given row to the first available position below and in the same column. In this paper, we study the combinatorial puzzles defined as follows: given a diagram $D$, form a diagram that is fixed by all Kohnert moves by applying either the fewest or most possible number of Kohnert moves. For both puzzles, we find complete solutions as well as methods for combinatorially computing the associated number of Kohnert moves in terms of the initial diagram $D$.

We establish a conjecture of Defant, Hopkins, Poznanović, and Propp concerning the dimensions of toggleability spaces for products of chains, shifted staircases, type-A root posets, and type-B posets. Generalizing this result, we show that for a larger family of posets defined by restricted diagrams, the dimensions of toggleability spaces are equal to the rank of the poset plus one. As part of our approach, we build upon the technique of rook statistics introduced by Chan, Haddadan, Hopkins, and Moci.

Recently, Pan and Yu showed that Lascoux polynomials can be defined in terms of certain collections of diagrams consisting of unit cells arranged in the first quadrant. Starting from certain initial diagrams, one forms a finite set of diagrams by applying two types of moves: Kohnert and ghost moves. Both moves cause at most one cell to move to a lower row with ghost moves leaving a new "ghost cell" in its place. Each diagram formed in this way defines a monomial in the associated Lascoux polynomial. Restricting attention to diagrams formed by applying sequences of only Kohnert moves in the definition of Lascoux polynomials, one obtains the family of key polynomials. Recent articles have considered a poset structure on the collections of diagrams formed when one uses only Kohnert moves. In general, these posets are not "well-behaved," not usually having desirable poset properties. Here, as an intermediate step to studying the analogous posets associated with Lascoux polynomials, we consider the posets formed by restricting attention to those diagrams formed by using only ghost moves. Unlike in the case of Kohnert posets, we show that such "ghost Kohnert posets" are always ranked join semi-lattices. In addition, we establish a necessary condition for when ghost Kohnert posets are bounded and, consequently, lattices.

For integral weights $λ$ and $μ$ of a classical simple Lie algebra $\mathfrak{g}$, Kostant's weight multiplicity formula gives the multiplicity of the weight $μ$ in the irreducible representation with highest weight $λ$, which we denote by $m(λ,μ)$. Kostant's weight multiplicity formula is an alternating sum over the Weyl group of the Lie algebra whose terms are determined via a vector partition function. The Weyl alternation set $\mathcal{A}(λ,μ)$ is the set of elements of the Weyl group that contribute nontrivially to the multiplicity $m(λ,μ)$. In this article, we prove that Weyl alternation sets are order ideals in the weak Bruhat order of the corresponding Weyl group. Specializing to the Lie algebra $\mathfrak{sl}_{r+1}(\mathbb{C})$, we give a complete characterization of the Weyl alternation sets $\mathcal{A}(\tildeα,μ)$, where $\tildeα$ is the highest root and $μ$ is a negative root, answering a question of Harry posed in 2024. We also provide some enumerative results that pave the way for our future work, where we aim to prove Harry's conjecture that the $q$-analog of Kostant's weight multiplicity formula is $m_q(\tildeα,μ)=q^{r+j-i+1}+q^{r+j-i}-q^{j-i+1}$ when $μ=-(α_i+α_{i+1}+\cdots+α_{j})$ is a negative root of $\mathfrak{sl}_{r+1}(\mathbb{C})$.

Lascoux polynomials are a class of nonhomogeneous polynomials which form a basis of the full polynomial ring. Recently, Pan and Yu showed that Lascoux polynomials can be defined as generating polynomials for certain collections of diagrams consisting of unit cells arranged in the first quadrant generated from an associated ``key diagram" by applying sequences of ``$K$-Kohnert moves". Within diagrams generated in this manner, certain cells are designated as special and referred to as ``ghost cells". Given a fixed Lascoux polynomial, Pan and Yu established a combinatorial algorithm in terms of ``snow diagrams" for computing the maximum number of ghost cells occurring in a diagram defining a monomial of the given polynomial; having this value allows for one to determine the total degree of the given Lascoux polynomial. In this paper, we study the combinatorial puzzle which arises when one replaces key diagrams by arbitrary diagrams in the definition of Lascoux polynomials. Specifically, given an arbitrary diagram, we consider the question of determining the maximum number of ghost cells contained within a diagram among those formed from our given initial one by applying sequences of $K$-Kohnert moves. In this regard, we establish means of computing the aforementioned max ghost cell value for various families of diagrams as well as for diagrams in general when one takes a greedy approach.

We extend a recently established combinatorial index formula applying to Lie poset algebras of types B, C, and D. Then, using the extended index formula, we determine a characterization of contact Lie poset algebras of types B, C, and D corresponding to posets of height one in terms of an associated graph.

In this paper, we explore combinatorial properties of the posets associated with Kohnert polynomials. In particular, we determine a sufficient condition guaranteeing when such ``Kohnert posets'' are bounded and two necessary conditions for when they are ranked. Moreover, we apply the aforementioned conditions to find complete characterizations of when Kohnert posets are bounded and when they are ranked in special cases, including those associated with Demazure characters.

If $\mathfrak{g}$ is a Frobenius Lie algebra, then the spectrum of $\mathfrak{g}$ is an algebraic invariant equal to the multiset of eigenvalues corresponding to a particular operator acting on $\mathfrak{g}$. In the case of Frobenius seaweed subalgebras of $A_{n-1}=\mathfrak{sl}(n)$, or type-A seaweeds for short, it has been shown that the spectrum can be computed combinatorially using an attendant graph. With the aid of such graphs, it was further shown that the spectrum of a type-A seaweed consists of an unbroken sequence of integers centered at $\frac{1}{2}$. It has been conjectured that if the eigenvalues are arranged in increasing order, then the sequence of multiplicities forms a unimodal sequence about $\frac{1}{2}$. Here, we establish this conjecture for certain families of Frobenius type-A seaweeds by finding explicit formulas for their spectra; in fact, for some families we are able to show that the corresponding sequences of multiplicities form log-concave sequences. All arguments are combinatorial.