arXiv++ Combinatorics

For a simple graph $G$ with $n$ vertices, write its chromatic polynomial in the rising factorial basis as $$ χ_G(x)=\sum_{i=0}^{n}(-1)^{n-i}c_i(G)\langle x\rangle_i,$$ where $ \langle x\rangle_i=x(x+1)\cdots(x+i-1).$ The associated $τ$-polynomial $$ τ_G(x)=\sum_{i=0}^{n}c_i(G)x^i $$ was defined and systematically investigated by Brenti in 1992. In this paper, we prove that if the $τ$-polynomials of two vertex-disjoint simple graphs $G$ and $H$ have only real zeros, then the $τ$-polynomial of their join $G\vee H$ has only real zeros. This settles a conjecture posed by Brenti, Royle and Wagner since 1994.

Pipedreams and bumpless pipedreams are two combinatorial models that compute double Grothendieck polynomials. While studying matrix Schubert varieties, Pechenik, Speyer, and Weigandt defined a permutation statistic$\mathsf{rajcode}(\cdot)$ that captures the leading monomial of the top-degree components of a Grothendieck polynomial. Combinatorially, their result implies that there exists a unique pipedream (or bumpless pipedream) with row weight $\mathsf{rajcode}(w)$ and column weight $\mathsf{rajcode}(w^{-1})$. A construction of such a pipedream was subsequently given by Chou and Yu. In this paper, we resolve the bumpless pipedream version of this problem by providing an explicit algorithm.

For a subset $D$ of boxes in an $n\times n$ square grid, let $χ_{D}(x)$ denote the dual character of the flagged Weyl module associated to $D$. It is known that $χ_{D}(x)$ specifies to a Schubert polynomial (resp., a key polynomial) in the case when $D$ is the Rothe diagram of a permutation (resp., the skyline diagram of a composition). One can naturally define a lower and an upper bound of $χ_{D}(x)$. M{é}sz{á}ros, St. Dizier and Tanjaya conjectured that $χ_{D}(x)$ attains the upper bound if and only if $D$ avoids a certain subdiagram. We provide a proof of this conjecture.

We confirm a conjecture of Monical, Tokcan and Yong on a characterization of the lattice points in the Newton polytopes of key polynomials.

Gustafson and Milne proved an identity on the Schur function indexed by a partition of the form $(λ_1-n+k,λ_2-n+k,\ldots,λ_k-n+k)$. On the other hand, Fehér, Némethi and Rimányi found an identity on the Schur function indexed by a partition of the form $(m-k,\ldots,m-k, λ_1,\ldots,λ_k)$. Fehér, Némethi and Rimányi gave a geometric explanation of their identity, and they raised the question of finding a combinatorial proof. In this paper, we establish a Gustafson-Milne type identity as well as a Fehér-Némethi-Rimányi type identity for factorial Grothendieck polynomials. Specializing a factorial Grothendieck polynomial to a Schur function, we obtain a combinatorial proof of the Fehér-Némethi-Rimányi identity.

Lam, Lee and Shimozono introduced the structure of bumpless pipedreams in their study of back stable Schubert calculus. They found that a specific family of bumpless pipedreams, called EG-pipedreams, can be used to interpret the Edelman-Greene coefficients appearing in the expansion of a Stanley symmetric function in the basis of Schur functions. It is well known that the Edelman-Greene coefficients can also be interpreted in terms of reduced word tableaux for permutations. Lam, Lee and Shimozono proposed the problem of finding a shape preserving bijection between reduced word tableaux for a permutation $w$ and EG-pipedreams of $w$. In this paper, we construct such a bijection. The key ingredients are two new developed isomorphic tree structures associated to $w$: the modified Lascoux-Schützenberger tree of $w$ and the Edelman-Greene tree of $w$. Using the Little map, we show that the leaves in the modified Lascoux-Schützenberger of $w$ are in bijection with the reduced word tableaux for $w$. On the other hand, applying the droop operation on bumpless pipedreams also introduced by Lam, Lee and Shimozono, we show that the leaves in the Edelman-Greene tree of $w$ are in bijection with the EG-pipedreams of $w$. This allows us to establish a shape preserving one-to-one correspondence between reduced word tableaux for $w$ and EG-pipedreams of $w$.

The notion of a barely set-valued semistandard Young tableau was introduced by Reiner, Tenner and Yong in their study of the probability distribution of edges in the Young lattice of partitions. Given a partition $λ$ and a positive integer $k$, let ${\mathrm{BSSYT}}(λ,k)$ (respectively, ${\mathrm{SYT}}(λ,k)$) denote the set of barely set-valued semistandard Young tableaux (respectively, ordinary semistandard Young tableaux) of shape $λ$ with entries in row $i$ not exceeding $k+i$. In the case when $λ$ is a rectangular staircase partition $δ_d(b^a)$, Reiner, Tenner and Yong conjectured that $|{\mathrm{BSSYT}}(λ,k)|= \frac{kab(d-1)}{(a+b)} |{\mathrm{SYT}}(λ,k)|$. In this paper, we establish a connection between barely set-valued tableaux and reverse plane partitions with designated corners. We show that for any shape $λ$, the expected jaggedness of a subshape of $λ$ under the weak probability distribution can be expressed as $\frac{2|{\mathrm{BSSYT}}(λ,k)|} {k|{\mathrm{SYT}}(λ,k)|}$. On the other hand, when $λ$ is a balanced shape with $r$ rows and $c$ columns, Chan, Haddadan, Hopkins and Moci proved that the expected jaggedness of a subshape in $λ$ under the weak distribution equals $2rc/(r+c)$. Hence, for a balanced shape $λ$ with $r$ rows and $c$ columns, we establish the relation that $|{\mathrm{BSSYT}}(λ,k)|=\frac{krc}{(r+c)}|{\mathrm{SYT}}(λ,k)|$. Since a rectangular staircase shape $δ_d(b^a)$ is a balanced shape, we confirm the conjecture of Reiner, Tenner and Yong.