arXiv++ Combinatorics

We give a new interpretation of the shifted Littlewood-Richardson coefficients $f_{λμ}^ν$ ($λ,μ,ν$ are strict partitions). The coefficients $g_{λμ}$ which appear in the decomposition of Schur $Q$-function $Q_λ$ into the sum of Schur functions $Q_λ= 2^{l(λ)}\sum_μg_{λμ}s_μ$ can be considered as a special case of $f_{λμ}^ν$ (here $λ$ is a strict partition of length $l(λ)$). We also give another description for $g_{λμ}$ as the cardinal of a subset of a set that counts Littlewood-Richardson coefficients $c_{μ^tμ}^{\tildeλ}$. This new point of view allows us to establish connections between $g_{λμ}$ and $c_{μ^t μ}^{\tildeλ}$. More precisely, we prove that $g_{λμ}=g_{λμ^t}$, and $g_{λμ} \leq c_{μ^tμ}^{\tildeλ}$. We conjecture that $g_{λμ}^2 \leq c^{\tildeλ}_{μ^tμ}$ and formulate some conjectures on our combinatorial models which would imply this inequality if it is valid.

We study the weighted partition function for lozenge tilings, with weights given by multivariate rational functions originally defined by Morales, Pak and Panova (2019) in the context of the factorial Schur functions. We prove that this partition function is symmetric for large families of regions. We employ both combinatorial and algebraic proofs.

We study the $H_n(0)$-module $\mathbf{S}^σ_α$ due to Tewari and van Willigenburg, which was constructed using new combinatorial objects called standard permuted composition tableaux and decomposed into cyclic submodules. First, we show that every direct summand appearing in their decomposition is indecomposable and characterize when $\mathbf{S}^σ_α$ is indecomposable. Second, we find characteristic relations among $\mathbf{S}^σ_α$'s and expand the image of $\mathbf{S}^σ_α$ under the quasi characteristic in terms of quasisymmetric Schur functions. Finally, we show that the canonical submodule of $\mathbf{S}^σ_α$ appears as a homomorphic image of a projective indecomposable module.

In this article, we use Lindström Gessel Viennot Lemma to give a short, combinatorial, visualizable proof of the identity of Schur polynomials -- the sum of monomials of Young tableaux equals to the quotient of determinants. As a by-product, we have a proof of Vandermonde determinant without words. We also prove the cauchy identity. In the remarks, we discuss factorial Schur polynomials, dual Cauchy identity and the relation beteen Newton interpolation formula.

This paper proves an identity between flagged Schur polynomials, giving a duality between row flags and column flags. This identity generalises both the binomial determinant duality theorem due to Gessel and Viennot and the symmetric function duality theorem due to Aitken. As corollaries we obtain the lifts of the binomial determinant duality theorem to $q$-binomial coefficients and to symmetric polynomials. Our method is a path counting argument on a novel lattice generalising that used by Gessel and Viennot.

We prove Jacobi-Trudi-type determinantal formulas for skew dual Grothendieck polynomials which are $K$-theoretic deformations of Schur polynomials. We also prove a bialternant-type formula analogous to the classical definition of Schur polynomials.

Multitriangulations, and more generally subword complexes, yield a large family of simplicial complexes that are homeomorphic to spheres. Until now, all attempts to prove or disprove that they can be realized as convex polytopes faced major obstacles. In this article, we lay out the foundations of a framework -- built upon notions from algebraic combinatorics and discrete geometry -- that allows a deeper understanding of geometric realizations of subword complexes of Coxeter groups. Namely, we describe explicitly a family of chirotopes that encapsulate the necessary information to obtain geometric realizations of subword complexes. Further, we show that the space of geometric realizations of this family covers that of subword complexes, making this combinatorially defined family into a natural object to study. The family of chirotopes is described through certain parameter matrices. That is, given a finite Coxeter group, we present matrices where certain minors have prescribed signs. Parameter matrices are universal: The existence of these matrices combined with conditions in terms of Schur functions is equivalent to the realizability of all subword complexes of this Coxeter group as chirotopes. Finally, parameter matrices provide extensions of combinatorial identities; for instance, the Vandermonde determinant and the dual Cauchy identity are recovered through suitable choices of parameters.

This paper contains a partial answer to the open problem 3.11 of \cite{[H2008]}. That is to find an explicit bijection on Schröder paths that inverts the statistics area and bounce. This paper started as an attempt to write the sum over $m$-Schröder paths with a fix number of diagonal steps into Schur functions in the variables $q$ and $t$. Some results have been generalized to parking functions, and some bijections were made with standard Young tableaux giving way to partial combinatorial formulas in the basis $s_μ(q,t)s_λ(X)$ for $\nabla(e_n)$ (respectively, $\nabla^m(e_n)$), when $μ$ and $λ$ are hooks (respectively, $μ$ is of length one). We also give an explicit algorithm that gives all the Schröder paths related to a Schur function $s_μ(q,t)$ when $μ$ is of length one. In a sense, it is a partial decomposition of Schröder paths into crystals.

Recently Okada defined algebraically ninth variation skew Q-functions, in parallel to Macdonald's ninth variation skew Schur functions. Here we introduce a skew shifted tableaux definition of these ninth variation skew Q-functions, and prove by means of a non-intersecting lattice path model a Pfaffian outside decomposition result in the form of a ninth variation version of Hamel's Pfaffian outside decomposition identity. As corollaries to this we derive Pfaffian identities generalizing those of Josefiak-Pragacz, Nimmo, and most recently Okada. As a preamble to this we present a parallel development based on (unshifted) semistandard tableaux that leads to a ninth variation version of the outside decomposition determinantal identity of Hamel and Goulden. In this case the corollaries we offer include determinantal identities generalizing the Schur and skew Schur function identities of Jacobi-Trudi, Giambelli, Lascoux-Pragacz, Stembridge, and Okada.

The ring of symmetric functions has a basis of dual Grothendieck polynomials that are inhomogeneous $K$-theoretic deformations of Schur polynomials. We prove that dual Grothendieck polynomials determine column distributions for a directed last-passage percolation model.

We present an explicit formula for the transition matrix $\mathcal{C}$ from the type $BC_n$ Koornwinder polynomials $P_{(1^r)}(x|a,b,c,d|q,t)$ with one column diagrams, to the type $BC_n$ monomial symmetric polynomials $m_{(1^{r})}(x)$. The entries of the matrix $\mathcal{C}$ enjoy a set of four terms recursion relations. These recursions provide us with the branching rules for the Koornwinder polynomials with one column diagrams, namely the restriction rules from $BC_n$ to $BC_{n-1}$. To have a good description of the transition matrices involved, we introduce the following degeneration scheme of the Koornwinder polynomials: $P_{(1^r)}(x|a,b,c,d|q,t) \longleftrightarrow P_{(1^r)}(x|a,-a,c,d|q,t)\longleftrightarrow P_{(1^r)}(x|a,-a,c,-c|q,t) \longleftrightarrow P_{(1^r)}\big(x|t^{1/2}c,-t^{1/2}c,c,-c|q,t\big) \longleftrightarrow P_{(1^r)}\big(x|t^{1/2},-t^{1/2},1,-1|q,t\big)$. We prove that the transition matrices associated with each of these degeneration steps are given in terms of the matrix inversion formula of Bressoud. As an application, we give an explicit formula for the Kostka polynomials of type $B_n$, namely the transition matrix from the Schur polynomials $P^{(B_n,B_n)}_{(1^r)}(x|q;q,q)$ to the Hall-Littlewood polynomials $P^{(B_n,B_n)}_{(1^r)}(x|t;0,t)$. We also present a conjecture for the asymptotically free eigenfunctions of the $B_n$ $q$-Toda operator, which can be regarded as a branching formula from the $B_n$ $q$-Toda eigenfunction restricted to the $A_{n-1}$ $q$-Toda eigenfunctions.

The symmetric Grothendieck polynomials generalize Schur polynomials and are Schur-positive by degree. Combinatorially this is manifested as the generalization of semistandard Young tableaux by set-valued tableaux. We define a (weak) symmetric $P$-Grothendieck polynomial which generalizes $P$-Schur polynomials in the same way. Combinatorially this is manifested as the generalization of shifted semistandard Young tableaux by a new type of tableaux which we call shifted multiset tableaux.

We classify and construct all multiplicity-free plethystic products of Schur functions. We also compute many new (infinite) families of plethysm coefficients, with particular emphasis on those near maximal in the dominance ordering and those of small Durfee size.

In their 2011 paper on the AGT conjecture, Alba, Fateev, Litvinov and Tarnopolsky (AFLT) obtained a closed-form evaluation for a Selberg integral over the product of two Jack polynomials, thereby unifying the well-known Kadell and Hua--Kadell integrals. In this paper we use a variety of symmetric functions and symmetric function techniques to prove generalisations of the AFLT integral. These include (i) an $\mathrm{A}_n$ analogue of the AFLT integral, containing two Jack polynomials in the integrand; (ii) a generalisation of (i) for $γ=1$ (the Schur or GUE case), containing a product of $n+1$ Schur functions; (iii) an elliptic generalisation of the AFLT integral in which the role of the Jack polynomials is played by a pair of elliptic interpolation functions; (iv) an AFLT integral for Macdonald polynomials.

Given a symmetric polynomial $P$ in $2n$ variables, there exists a unique symmetric polynomial $Q$ in $n$ variables such that \[ P(x_1,\ldots,x_n,x_1^{-1},\ldots,x_n^{-1}) =Q(x_1+x_1^{-1},\ldots,x_n+x_n^{-1}). \] We denote this polynomial $Q$ by $Φ_n(P)$ and show that $Φ_n$ is an epimorphism of algebras. We compute $Φ_n(P)$ for several families of symmetric polynomials $P$: symplectic and orthogonal Schur polynomials, elementary symmetric polynomials, complete homogeneous polynomials, and power sums. Some of these formulas were already found by Elouafi (2014) and Lachaud (2016). The polynomials of the form $Φ_n(\operatorname{s}_{λ/μ}^{(2n)})$, where $\operatorname{s}_{λ/μ}^{(2n)}$ is a skew Schur polynomial in $2n$ variables, arise naturally in the study of the minors of symmetric banded Toeplitz matrices, when the generating symbol is a palindromic Laurent polynomial, and its roots can be written as $x_1,\ldots,x_n,x^{-1}_1,\ldots,x^{-1}_n$. Trench (1987) and Elouafi (2014) found efficient formulas for the determinants of symmetric banded Toeplitz matrices. We show that these formulas are equivalent to the result of Ciucu and Krattenthaler (2009) about the factorization of the characters of classical groups.

We present several new and compact formulas for the modified and integral form of the Macdonald polynomials, building on the compact "multiline queue" formula for Macdonald polynomials due to Corteel, Mandelshtam and Williams. We also introduce a new quasisymmetric analogue of Macdonald polynomials. These quasisymmetric Macdonald polynomials refine the (symmetric) Macdonald polynomials and specialize at $q=t=0$ to the quasisymmetric Schur polynomials defined by Haglund, Luoto, Mason, and van Willigenburg. This is an extended abstract.

The connection between the generating functions of various sets of tableaux and the appropriate families of quasisymmetric functions is a significant tool to give a direct analytical proof of some advanced bijective results and provide new combinatorial formulas. In this paper we focus on two kinds of type B Littlewood-Richardson coefficients and derive new formulas using weak composition quasisymmetric functions and Chow's quasisymmetric functions. In the type A case these coefficients give the multiplication table for Schur functions, i.e. the generating functions for classical Young tableaux. We look at their generalisations involving a set of bi-tableaux and domino tableaux.

For numerical semigroups with a specified list of (not necessarily minimal) generators, we obtain explicit asymptotic expressions, and in some cases quasipolynomial/quasirational representations, for all major factorization length statistics. This involves a variety of tools that are not standard in the subject, such as algebraic combinatorics (Schur polynomials), probability theory (weak convergence of measures, characteristic functions), and harmonic analysis (Fourier transforms of distributions). We provide instructive examples which demonstrate the power and generality of our techniques. We also highlight unexpected consequences in the theory of homogeneous symmetric functions.

Given a homogeneous ideal $I$ in a polynomial ring over a field, one may record, for each degree $d$ and for each polynomial $f\in I_d$, the set of monomials in $f$ with nonzero coefficients. These data collectively form the tropicalization of $I$. Tropicalizing ideals induces a "matroid stratification" on any (multigraded) Hilbert scheme. Very little is known about the structure of these stratifications. In this paper, we explore many examples of matroid strata, including some with interesting combinatorial structure, and give a convenient way of visualizing them. We show that the matroid stratification in the Hilbert scheme of points $(\mathbb{P}^1)^{[k]}$ is generated by all Schur polynomials in $k$ variables. We end with an application to the $T$-graph problem of $(\mathbb{A}^2)^{[n]}$; classifying this graph is a longstanding open problem, and we establish the existence of an infinite class of edges.

We explore some probabilistic applications arising in connections with $K$-theoretic symmetric functions. For instance, we determine certain corner distributions of random lozenge tilings and plane partitions. We also introduce some distributions that are naturally related to the corner growth model. Our main tools are dual symmetric Grothendieck polynomials and normalized Schur functions.