arXiv++ Combinatorics

A "flip-and-reversal" involution arising in the study of quasisymmetric Schur functions provides a passage between what we term "Young" and "reverse" variants of bases of polynomials or quasisymmetric functions. Building on this perspective, which has found recent application in the study of $q$-analogues of combinatorial Hopf algebras and generalizations of dual immaculate functions, we develop and explore Young analogues of well-known bases for polynomials. We prove several combinatorial formulas for the Young analogue of the key polynomials, show that they form the generating functions for left keys, and provide a representation-theoretic interpretation of Young key polynomials as traces on certain modules. We also give combinatorial formulas for the Young analogues of Schubert polynomials, including their crystal graph structure. We moreover determine the intersections of (reverse) bases and their Young counterparts, further clarifying their relationships to one another.

Multi-Schur functions are symmetric functions that generalize the supersymmetric Schur functions, the flagged Schur functions, and the refined dual Grothendieck functions, which have been intensively studied by Lascoux. In this paper, we give a new free-fermionic presentation of them. The multi-Schur functions are indexed by a partition and two ``tuples of tuples'' of indeterminates. We construct a family of linear bases of the fermionic Fock space that are indexed by such data and prove that they correspond to the multi-Schur functions through the boson-fermion correspondence. By focusing on some special bases, which we call refined bases, we give a straightforward method of expanding a multi-Schur function in the refined dual Grothendieck polynomials. We also present a sufficient condition for a multi-Schur function to have its Hall-dual function in the completed ring of symmetric functions.

Let $E$ be the natural representation of the special linear group $\mathrm{SL}_2(K)$ over an arbitrary field $K$. We use the two dual constructions of the symmetric power when $K$ has prime characteristic to construct an explicit isomorphism $\mathrm{Sym}_m \mathrm{Sym}^\ell E \cong \mathrm{Sym}_\ell \mathrm{Sym}^m E$. This generalises Hermite reciprocity to arbitrary fields. We prove a similar explicit generalisation of the classical Wronskian isomorphism, namely $\mathrm{Sym}_m \mathrm{Sym}^\ell E \cong \bigwedge^m \mathrm{Sym}^{\ell+m-1} E$. We also generalise a result first proved by King, by showing that if $\nabla^λ$ is the Schur functor for the partition $λ$ and $λ^\circ$ is the complement of $λ$ in a rectangle with $\ell+1$ rows, then $\nabla^λ\mathrm{Sym}^\ell E \cong \nabla^{λ^\circ} \mathrm{Sym}_\ell E$. To illustrate that the existence of such `plethystic isomorphisms' is far from obvious, we end by proving that the generalisation $\nabla^λ\mathrm{Sym}^\ell E \cong \nabla^{λ'} \mathrm{Sym}^{\ell + \ell(λ') - \ell(λ)}E$ of the Wronskian isomorphism, known to hold for a large class of partitions over the complex field, does not generalise to fields of prime characteristic, even after considering all possible dualities.

We use the periodic Schur process, introduced in arXiv:math/0601019v1, to study the random height function of lozenge tilings (equivalently, dimers) on an infinite cylinder distributed under two variants of the $q^{\operatorname{vol}}$ measure. Under the first variant, corresponding to random cylindric partitions, the height function converges to a deterministic limit shape and fluctuations around it are given by the Gaussian free field in the conformal structure predicted by the Kenyon-Okounkov conjecture. Under the second variant, corresponding to an unrestricted dimer model on the cylinder, the fluctuations are given by the same Gaussian free field with an additional discrete Gaussian shift component. Fluctuations of the latter type have been previously conjectured for dimer models on planar domains with holes.

We introduce a two-parameter function $φ_{q_+,q_-}$ on the infinite hyperoctahedral group, which is a bivariate refinement of the reflection length keeping track of the long and the short reflections separately. We show that this signed reflection function $φ_{q_+,q_-}$ is positive definite if and only if it is an extreme character of the infinite hyperoctahedral group and we classify the corresponding set of parameters $q_+,q_-$. We construct the corresponding representations through a natural action of the hyperoctahedral group $B(n)$ on the tensor product of $n$ copies of a vector space, which gives a two-parameter analog of the classical construction of Schur--Weyl. We apply our classification to construct a cyclic Fock space of type B generalizing the one-parameter construction in type A found previously by Bożejko and Guta. We also construct a new Gaussian operator acting on the cyclic Fock space of type B and we relate its moments with the Askey--Wimp--Kerov distribution by using the notion of cycles on pair-partitions, which we introduce here. Finally, we explain how to solve the analogous problem for the Coxeter groups of type D by using our main result.

This article studies some new insertion algorithms that associate pairs of shifted tableaux to finite integer sequences in which certain terms may be primed. When primes are ignored in the input word these algorithms reduce to known correspondences, namely, a shifted form of Edelman-Greene insertion, Sagan-Worley insertion, and Haiman's shifted mixed insertion. These maps have the property that when the input word varies such that one output tableau is fixed, the other output tableau ranges over all (semi)standard tableaux of a given shape with no primed diagonal entries. Our algorithms have the same feature, but now with primes allowed on the main diagonal. One application of this is to give another Littlewood-Richardson rule for products of Schur $Q$-functions. It is hoped that there will exist set-valued generalizations of our bijections that can be used to understand products of $K$-theoretic Schur $Q$-functions.

I present a set of remarks related to joint works \cite{paper1},\cite{paper2},\cite{paper3},\cite{MMNO}. These are remarks about polynomials solutions and vertex operators, eigenproblem for polynomials and a remark related to the the conjecture of Alexandrov and Mironov, Morozov about the ratios of the projective Schur functions. New results on the bilinear relations between characters of the symmetric and of the Sergeev group and on bilinear relations between skew Schur and projective Schur functions and also between shifted Schur and projective Schur functions are added. Certain new matrix models are considered and a comment on Mironov-Morozov-Natanzon cut-and-join relation is added.

In this paper we introduce refined canonical stable Grothendieck polynomials and their duals with two infinite sequences of parameters. These polynomials unify several generalizations of Grothendieck polynomials including canonical stable Grothendieck polynomials due to Yeliussizov, refined Grothendieck polynomials due to Chan and Pflueger, and refined dual Grothendieck polynomials due to Galashin, Liu, and Grinberg. We give Jacobi--Trudi-like formulas, combinatorial models, Schur expansions, Schur positivity, and dualities of these polynomials.

Our main goal is to compute the decomposition of arbitrary Kronecker powers of the Harmonics of $S_n$. To do this, we give a new way of decomposing the character for the action of $S_n$ on polynomial rings with $k$ sets of $n$ variables. There are two aspects to this decomposition. The first is algebraic, in which formulas can be given for certain restrictions from $GL_n$ to $S_n$ occurring in Schur-Weyl duality. The second is combinatorial. We give a generalization of the $comaj$ statistic on permutations which includes the $comaj$ statistic on standard tableaux. This statistic allows us to write a generalized principal evaluation for Schur functions and Gessel Fundamental quasisymmetric functions.

We introduce a new paradigm for proving the Schur $P$-positivity. Generalizing dual equivalence, we give an axiomatic definition for a family of involutions on a set of objects to be a queer dual equivalence, and we prove whenever such a family exists, the fundamental quasisymmetric generating function is Schur $P$-positive. In contrast with shifted dual equivalence, the queer dual equivalence involutions restrict to a dual equivalence when the queer involution is omitted. We highlight the difference between these two generalization with a new application to the product of Schur $P$-functions.

This is a note for constructing fundamental invariants and computing the Hilbert series of the invariant subalgebras of tensor products of polynomial rings under the action by a direct product of symmetric groups. Our computation relies on Schur functions bringing together several identities of combinatorial generating functions including that of plane partitions.

This paper proves Lee-Lee's conjecture that establishes a coincidence between the set of associated roots of non-self-intersecting curves in a $n$-punctured disc and the set of real Schur roots of acyclic (valued) quivers with $n$ vertices.

In this paper, we reformulate the Bakry-Émery curvature on a weighted graph in terms of the smallest eigenvalue of a rank one perturbation of the so-called curvature matrix using Schur complement. This new viewpoint allows us to show various curvature function properties in a very conceptual way. We show that the curvature, as a function of the dimension parameter, is analytic, strictly monotone increasing and strictly concave until a certain threshold after which the function is constant. Furthermore, we derive the curvature of the Cartesian product using the crucial observation that the curvature matrix of the product is the direct sum of each component. Our approach of the curvature functions of graphs can be employed to establish analogous results for the curvature functions of weighted Riemannian manifolds. Moreover, as an application, we confirm a conjecture (in a general weighted case) of the fact that the curvature does not decrease under certain graph modifications.

Enriched versions of type A Schubert polynomials are constructed with coefficients in a polynomial ring in variables $c_1, c_2, \ldots$. Specializing these variables to $0$ recovers the double Schubert polynomials of Lascoux and Schützenberger; specializing them to certain power series recovers the back-stable double Schubert polynomials of Lam, Lee, and Shimozono; specializing them to Schur Q-polynomials relates them to the type C double Schubert polynomials of Ikeda, Mihalcea, and Naruse. Many formulas for classical Schubert polynomials generalize to this setting. They give, and are characterized by, formulas for degeneracy loci.

The Schur polynomials $s_λ$ are essential in understanding the representation theory of the general linear group. They also describe the cohomology ring of the Grassmannians. For $ρ= (n, n-1, \dots, 1)$ a staircase shape and $μ\subseteq ρ$ a subpartition, the Stembridge equality states that $s_{ρ/μ} = s_{ρ/μ^T}$. This equality provides information about the symmetry of the cohomology ring. The stable Grothendieck polynomials $G_λ$, and the dual stable Grothendieck polynomials $g_λ$, developed by Buch, Lam, and Pylyavskyy, are variants of the Schur polynomials and describe the $K$-theory of the Grassmannians. Using the Hopf algebra structure of the ring of symmetric functions and a generalized Littlewood-Richardson rule, we prove that $G_{ρ/μ} = G_{ρ/μ^T}$ and $g_{ρ/μ} = g_{ρ/μ^T}$, the analogues of the Stembridge equality for the skew stable and skew dual stable Grothendieck polynomials.

Consider a lattice of n sites arranged around a ring, with the $n$ sites occupied by particles of weights $\{1,2,\dots,n\}$; the possible arrangements of particles in sites thus corresponds to the $n!$ permutations in $S_n$. The \emph{inhomogeneous totally asymmetric simple exclusion process} (or TASEP) is a Markov chain on the set of permutations, in which two adjacent particles of weights $i<j$ swap places at rate $x_i - y_{n+1-j}$ if the particle of weight $j$ is to the right of the particle of weight $i$. (Otherwise nothing happens.) In the case that $y_i=0$ for all $i$, the stationary distribution was conjecturally linked to Schubert polynomials by Lam-Williams, and explicit formulas for steady state probabilities were subsequently given in terms of multiline queues by Ayyer-Linusson and Arita-Mallick. In the case of general $y_i$, Cantini showed that $n$ of the $n!$ states have probabilities proportional to double Schubert polynomials. In this paper we introduce the class of \emph{evil-avoiding permutations}, which are the permutations avoiding the patterns $2413, 4132, 4213$ and $3214$. We show that there are $\frac{(2+\sqrt{2})^{n-1}+(2-\sqrt{2})^{n-1}}{2}$ evil-avoiding permutations in $S_n$, and for each evil-avoiding permutation $w$, we give an explicit formula for the steady state probability $ψ_w$ as a product of double Schubert polynomials. We also show that the Schubert polynomials that arise in these formulas are flagged Schur functions, and give a bijection in this case between multiline queues and semistandard Young tableaux.

The permanent-on-top conjecture states that the largest eigenvalue of the Schur power matrix of a positive semi-definite Hermitian matrix H is per(H). A counterexample has been found with the help of computers, but here, I present another counterexample that can be checked by hand. My method is to use linear representations of groups to connect the spectrum of the Schur power matrix with the spectra of the entrywise(Hadamard) product matrices of permanental compound matrices. By that, we are able to study the properties of the spectrum of the Schur power matrix through the entrywise(Hadamard) product matrices of permanental compound matrices. The counterexample we find is in fact also a counterexample to a weaker conjecture related to permanental compound matrices. This conjecture was also known to be false, but the new counterexample is smaller than the known one.

In this text we introduce and analyze families of symmetric functions arising as partition functions for colored fermionic vertex models associated with the quantized affine Lie superalgebra $U_q \big( \widehat{\mathfrak{sl}} (1 | n) \big)$. We establish various combinatorial results for these vertex models and symmetric functions, which include the following. (1) We apply the fusion procedure to the fundamental $R$-matrix for $U_q \big( \widehat{\mathfrak{sl}} (1 | n) \big)$ to obtain an explicit family of vertex weights satisfying the Yang-Baxter equation. (2) We define families of symmetric functions as partition functions for colored, fermionic vertex models under these fused weights. We further establish several combinatorial properties for these symmetric functions, such as branching rules and Cauchy identities. (3) We show that the Lascoux-Leclerc-Thibon (LLT) polynomials arise as special cases of these symmetric functions. This enables us to show both old and new properties about the LLT polynomials, including Cauchy identities, contour integral formulas, stability properties, and branching rules under a certain family of plethystic transformations. (4) A different special case of our symmetric functions gives rise to a new family of polynomials called factorial LLT polynomials. We show they generalize the LLT polynomials, while also satisfying a vanishing condition reminiscent of that satisfied by the factorial Schur functions. (5) By considering our vertex model on a cylinder, we obtain fermionic partition function formulas for both the symmetric and nonsymmetric Macdonald polynomials. (6) We prove combinatorial formulas for the coefficients of the LLT polynomials when expanded in the modified Hall-Littlewood basis, as partition functions for a $U_q \big( \widehat{\mathfrak{sl}} (2 | n) \big)$ vertex model.

Schützenberger's jeu de taquin is an algorithm on the structure of tableaux, which transforms a skew tableau into a Young one by local transformation rules on the columns of the tableaux. This algorithm defines an equivalence relation on tableaux compatible with the plactic congruence, and gives a proof of the Littlewood-Richardson rule on Schur polynomials. In this article, we introduce the notion of string of columns rewriting system as mechanism of transformations of glued sequences of columns. We describe the execution of the jeu de taquin algorithm as rewriting paths of a string of columns rewriting. We deduce algebraic properties on the plastic congruence and we relate the jeu de taquin to insertion algorithms on tableaux.

We generalize the famous weight basis constructions of the finite-dimensional irreducible representations of $\mathfrak{sl}(n,\mathbb{C})$ obtained by Gelfand and Tsetlin in 1950. Using combinatorial methods, we construct one such basis for each finite-dimensional representation of $\mathfrak{sl}(n,\mathbb{C})$ associated to a given skew Schur function. Our constructions use diamond-colored distributive lattices of skew-shaped semistandard tableaux that generalize some classical Gelfand--Tsetlin (GT) lattices. Our constructions take place within the context of a certain programmatic study of poset models for semisimple Lie algebra representations and Weyl group symmetric functions undertaken by the first-named author and others. Some key aspects of the methodology of that program are recapitulated here. Combinatorial and representation-theoretic applications of our constructions are pursued here and elsewhere.