arXiv++ Combinatorics

We study probability measures on partitions based on symmetric Grothendieck polynomials. These deformations of Schur polynomials introduced in the K-theory of Grassmannians share many common properties. Our Grothendieck measures are analogs of the Schur measures on partitions introduced by Okounkov (arXiv:math/9907127 [math.RT]). Despite the similarity of determinantal formulas for the probability weights of Schur and Grothendieck measures, we demonstrate that Grothendieck measures are \emph{not} determinantal point processes. This question is related to the principal minor assignment problem in algebraic geometry, and we employ a determinantal test first obtained by Nanson in 1897 for the $4\times4$ problem. We also propose a procedure for getting Nanson-like determinantal tests for matrices of any size $n\ge4$ which appear new for $n\ge 5$. By placing the Grothendieck measures into a new framework of tilted biorthogonal ensembles generalizing a rich class of determinantal processes introduced by Borodin (arXiv:math/9804027 [math.CA]), we identify Grothendieck random partitions as a cross-section of a Schur process, a determinantal process in two dimensions. This identification expresses the correlation functions of Grothendieck measures through sums of Fredholm determinants, which are not immediately suitable for asymptotic analysis. A more direct approach allows us to obtain a limit shape result for the Grothendieck random partitions. The limit shape curve is not particularly explicit as it arises as a cross-section of the limit shape surface for the Schur process. The gradient of this surface is expressed through the argument of a complex root of a cubic equation.

Set-valued tableaux, introduced by Buch to express the tableaux-sum formula for stable Grothendieck polynomials, generalize semistandard tableaux. We provide a new recursive proof that the number of set-valued tableaux of a given shape is odd.

Using a transversality argument, we demonstrate the positivity of certain coefficients in the equivariant cohomology and K-theory of a generalized flag manifold. This strengthens earlier equivariant positivity theorems (of Graham and Anderson-Griffeth-Miller) by further constraining the roots which can appear in these coefficients. As an application, we deduce that structure constants for comultiplication in the equivariant K-theory of an infinite flag manifold exhibit an unusual positivity property, establishing conjectures of Lam-Lee-Shimozono. Along the way, we present alternative formulas for the back stable Grothendieck polynomials defined by those authors, as well as a new method for computing the coproduct coefficients.

The Castelnuovo-Mumford polynomial $\widehat{\mathfrak{G}}_w$ with $w \in S_n$ is the highest homogeneous component of the Grothendieck polynomial $\mathfrak{G}_w$. Pechenik, Speyer and Weigandt define a statistic $\mathsf{rajcode}(\cdot)$ on $S_n$ that gives the leading monomial of $\widehat{\mathfrak{G}}_w$. We introduce a statistic $\mathsf{rajcode}(\cdot)$ on any diagram $D$ through a combinatorial construction ``snow diagram'' that augments and decorates $D$. When $D$ is the Rothe diagram of a permutation $w$, $\mathsf{rajcode}(D)$ agrees with the aforementioned $\mathsf{rajcode}(w)$. When $D$ is the key diagram of a weak composition $α$, $\mathsf{rajcode}(D)$ yields the leading monomial of $\widehat{\mathfrak{L}}_α$, the highest homogeneous component of the Lascoux polynomials $\mathfrak{L}_α$. We use $\widehat{\mathfrak{L}}_α$ to construct a basis of $\widehat{V}_n$, the span of $\widehat{\mathfrak{G}}_w$ with $w \in S_n$. Then we show $\widehat{V}_n$ gives a natural algebraic interpretation of a classical $q$-analogue of Bell numbers.

We describe the twisted $K$-polynomial of multiplicity-free varieties in a multiprojective setting. More precisely, for multiplicity-free varieties, we show that the support of the twisted $K$-polynomial is a generalized polymatroid. As applications, we show that the support of the Möbius function of a linear polymatroid is a generalized polymatroid, and we settle a conjecture of Monical, Tokcan and Yong regarding Grothendieck polynomials for the case of zero-one Schubert polynomials.

We give a presentation of refined (dual) canonical Grothendieck polynomials and their skew versions using free-fermions. Using this, we derive a number of identities, including the skew Cauchy identities, branching rules, expansion formulas, and integral formulas.

The purpose of this paper is to prove a Pieri-type multiplication formula for quantum Grothendieck polynomials, which was conjectured by Lenart-Maeno. This formula would enable us to compute explicitly the quantum product of two arbitrary (opposite) Schubert classes in the (small) quantum $K$-theory ring $QK(Fl_{n})$ of the (full) flag manifold $Fl_{n}$ of type $A_{n-1}$ on the basis of the fact that quantum Grothendieck polynomials represent (opposite) Schubert classes in $QK(Fl_{n})$.

The $K$-theoretic Schur $P$- and $Q$-functions $GP_λ$ and $GQ_λ$ may be concretely defined as weight generating functions for semistandard shifted set-valued tableaux. These symmetric functions are the shifted analogues of stable Grothendieck polynomials, and were introduced by Ikeda and Naruse for applications in geometry. Nakagawa and Naruse specified families of dual $K$-theoretic Schur $P$- and $Q$-functions $gp_λ$ and $gq_λ$ via a Cauchy identity involving $GP_λ$ and $GQ_λ$. They conjectured that the dual power series are weight generating functions for certain shifted plane partitions. We prove this conjecture. We also derive a related generating function formula for the images of $gp_λ$ and $gq_λ$ under the $ω$ involution of the ring of symmetric functions. This confirms a conjecture of Chiu and the second author. Using these results, we verify a conjecture of Ikeda and Naruse that the $GQ$-functions are a basis for a ring.

A beautiful degree formula for the Grothendieck polynomials was recently given by Pechenik, Speyer, and Weigandt (2021). We provide an alternative proof of their degree formula, utilizing the climbing chain model for Grothendieck polynomials introduced by Lenart, Robinson, and Sottile (2006). Moreover, for any term order satisfying $x_1<x_2<\cdots<x_n$ we present the leading monomial of each homogeneous components of the Grothendieck polynomial $\mathfrak{G}_w(x_1,\ldots,x_n)$, confirming a conjecture of Hafner (2022). We conclude with a conjecture for the leading monomials of the homogenegous components of $\mathfrak{G}_w(x_1,\ldots,x_n)$ in any term order satisfying $x_1>x_2>\cdots>x_n$.

We prove a `Whitney' presentation, and a `Coulomb branch' presentation, for the torus equivariant quantum K theory of the Grassmann manifold $\mathrm{Gr}(k;n)$, inspired from physics, and stated in an earlier paper. The first presentation is obtained by quantum deforming the product of the Hirzebruch $λ_y$ classes of the tautological bundles. In physics, the $λ_y$ classes arise as certain Wilson line operators. The second presentation is obtained from the Coulomb branch equations involving the partial derivatives of a twisted superpotential from supersymmetric gauge theory. This is closest to a presentation obtained by Gorbounov and Korff, utilizing integrable systems techniques. Algebraically, we relate the Coulomb and Whitney presentations utilizing transition matrices from the (equivariant) Grothendieck polynomials to the (equivariant) complete homogeneous symmetric polynomials. Along the way, we calculate K-theoretic Gromov-Witten invariants of wedge powers of the tautological bundles on $\mathrm{Gr}(k;n)$, using the `quantum=classical' statement.

An element of a Weyl group of classical type is skew if it is the left factor in a reduced factorization of a Grassmannian element. The skew Grothendieck polynomials are those which are indexed by skew elements of the Weyl group. We define set-valued tableaux which are fillings of the associated skew Young diagrams and use them to prove tableau formulas for the skew double Grothendieck polynomials in all four classical Lie types. We deduce tableau formulas for the Grassmannian Grothendieck polynomials and the K-theoretic analogues of the (double mixed) skew Stanley functions in the respective Lie types.

There has been recent interest in lower bounds for the principal specializations of Schubert polynomials $ν_w := \mathfrak S_w(1,\dots,1)$. We prove a conjecture of Yibo Gao in the setting of $1243$-avoiding permutations that gives a lower bound for $ν_w$ in terms of the permutation patterns contained in $w$. We extended this result to principal specializations of $β$-Grothendieck polynomials $ν^{(β)}_w := \mathfrak G^{(β)}_w(1,\dots,1)$ by restricting to the class of vexillary $1243$-avoiding permutations. Our methods are bijective, offering a combinatorial interpretation of the coefficients $c_w$ and $c^{(β)}_w$ appearing in these conjectures.

In this paper, we introduce the concept of the weighted (harmonic) chromatic polynomials of graphs and discuss some of its properties. We also present the notion of the weighted (harmonic) Tutte--Grothendieck polynomials of graphs and give a generalization of the recipe theorem between the harmonic Tutte--Grothendieck polynomials graphs and the harmonic Tutte polynomials of matroids. Moreover, we give some constructions of the weighted (harmonic) Tutte--Grothendieck invariants for graphs and the weighted (harmonic) Tutte invariants for matroids. Finally, we give a remark on the categorification of the harmonic chromatic polynomials of graphs and harmonic Tutte polynomials of matroids.

We give degree formulas for Grothendieck polynomials indexed by vexillary permutations and $1432$-avoiding permutations via tableau combinatorics. These formulas generalize a formula for degrees of symmetric Grothendieck polynomials which appeared in previous joint work of the authors with Y. Ren and A. St. Dizier. We apply our formulas to compute Castelnuovo-Mumford regularity of classes of generalized determinantal ideals. In particular, we give combinatorial formulas for the regularities of all one-sided mixed ladder determinantal ideals. We also derive formulas for the regularities of certain Kazhdan-Lusztig ideals, including those coming from open patches of Schubert varieties in Grassmannians. This provides a correction to a conjecture of Kummini-Lakshmibai-Sastry-Seshadri (2015).

Schubert polynomials $\mathfrak{S}_w$ are polynomial representatives for cohomology classes of Schubert varieties in a complete flag variety, while Grothendieck polynomials $\mathfrak{G}_w$ are analogous representatives for the $K$-theory classes of the structure sheaves of Schubert varieties. In the special case that $\mathfrak{S}_w$ is a multiplicity-free sum of monomials, K. Mészáros, L. Setiabrata, and A. St. Dizier conjectured that $\mathfrak{G}_w$ can be easily computed from $\mathfrak{S}_w$ via Möbius inversion on a certain poset. We prove this conjecture.

We study the effect of linear transformations on quantum fields with applications to vertex operator presentations of symmetric functions. Properties of linearly transformed quantum fields and corresponding transformations of Hall-Littlewood polynomials are described, including preservation of commutation relations, stability, explicit combinatorial formulas and generating functions. We prove that specializations of linearly transformed Hall-Littlewood polynomials describe all polynomial tau functions of the KP and the BKP hierarchy. Examples of linear transformations are related to multiparameter symmetric functions, Grothendieck polynomials, deformations by cyclotomic polynomials, and some other variations of Schur symmetric functions that exist in the literature.

Recent work of Pechenik, Speyer, and Weigandt proved a formula for the degree of any Grothendieck polynomial. A distinct formula for the degree of vexillary Grothendieck polynomials was proven by Rajchgot, Robichaux, and Weigandt. We give a new proof of Pechenik, Speyer, and Weigandt's formula in the special case of vexillary permutations and characterize the set of bumpless pipe dreams which contribute maximal degree terms to the Grothendieck polynomial in this case. Furthermore, we use this characterization to draw connections between the Pechenik-Speyer-Weigandt and Rajchgot-Robichaux-Weigandt formulas. We also use bumpless pipe dreams to prove new results about the support of vexillary Grothendieck polynomials, addressing special cases of conjectures of Mészáros, Setiabrata, and St. Dizier.

Grothendieck polynomials $\mathfrak{G}_w$ of permutations $w\in S_n$ were introduced by Lascoux and Schützenberger in 1982 as a set of distinguished representatives for the K-theoretic classes of Schubert cycles in the K-theory of the flag variety of $\mathbb{C}^n$. We conjecture that the exponents of nonzero terms of the Grothendieck polynomial $\mathfrak{G}_w$ form a poset under componentwise comparison that is isomorphic to an induced subposet of $\mathbb{Z}^n$. When $w\in S_n$ avoids a certain set of patterns, we conjecturally connect the coefficients of $\mathfrak{G}_w$ with the Möbius function values of the aforementioned poset with $\hat{0}$ appended. We prove special cases of our conjectures for Grassmannian and fireworks permutations.

Matrix Schubert varieties are affine varieties arising in the Schubert calculus of the complete flag variety. We give a formula for the Castelnuovo-Mumford regularity of matrix Schubert varieties, answering a question of Jenna Rajchgot. We follow her proposed strategy of studying the highest-degree homogeneous parts of Grothendieck polynomials, which we call Castelnuovo-Mumford polynomials. In addition to the regularity formula, we obtain formulas for the degrees of all Castelnuovo-Mumford polynomials and for their leading terms, as well as a complete description of when two Castelnuovo-Mumford polynomials agree up to scalar multiple. The degree of the Grothendieck polynomial is a new permutation statistic which we call the Rajchgot index; we develop the properties of Rajchgot index and relate it to major index and to weak order.

We derive several identities involving Ikeda and Naruse's $K$-theoretic Schur $P$- and $Q$-functions. Our main result is a formula conjectured by Lewis and the second author which expands each $K$-theoretic Schur $Q$-function in terms of $K$-theoretic Schur $P$-functions. This formula extends to some more general identities relating the skew and dual versions of both power series. We also prove a shifted version of Yeliussizov's skew Cauchy identity for symmetric Grothendieck polynomials. Finally, we discuss some conjectural formulas for the dual $K$-theoretic Schur $P$- and $Q$-functions of Nakagawa and Naruse. We show that one such formula would imply a basis property expected of the $K$-theoretic Schur $Q$-functions.