Related papers: Comultiplication rules for the double Schur functi…
Parametric families in the centre ${\bf Z}({\bf C}[S_n])$ of the group algebra of the symmetric group are obtained by identifying the indeterminates in the generating function for Macdonald polynomials as commuting Jucys-Murphy elements.…
Let the formal power series f in d variables with coefficients in an arbitrary field be a symmetric function decomposed as a series of Schur functions, and let f be a rational function whose denominator is a product of binomials of the form…
We obtain general identities for the product of two Schur functions in the case where one of the functions is indexed by a rectangular partition, and give their t-analogs using vertex operators. We study subspaces forming a filtration for…
We introduce a ring of noncommutative shifted symmetric functions based on an integer-indexed sequence of shift parameters. Using generating series and quasideterminants, this multiparameter approach produces deformations of the ring of…
We prove a determinantal identity concerning Schur functions for 2-staircase diagrams lambda=(ln+l',ln,l(n-1)+l',l(n-1),...,l+l',l,l',0). When l=1 and l'=0 these functions are related to the partition function of the 6-vertex model at the…
The ring of cyclic quasi-symmetric functions and its non-Escher subring are introduced in this paper. A natural basis consists of fundamental cyclic quasi-symmetric functions; for the non-Escher subring they arise as toric $P$-partition…
We find a simple criterion for the equality $Q_\lambda=Q_{\mu/\nu}$ where $Q_\lambda$ and $Q_{\mu/\nu}$ are Schur's Q-functions on infinitely many variables.
With the goal of providing the foundations for a rigorous study of modules of bicomplex holomorphic functions, we develop a general theory of functional analysis with bicomplex scalars. Even though the basic properties of bicomplex number…
We give a proof of the generalized Cauchy identity for double Grothendieck polynomials, a combinatorial interpretation of the stable double Grothendieck polynomials in terms of triples of tableaux, and an interpolation between the stable…
We present a library of formalized results around symmetric functions and the character theory of symmetric groups. Written in Coq/Rocq and based on the Mathematical Components library, it covers a large part of the contents of a graduate…
Cylindric Schur functions are a family of symmetric functions that generalize skew Schur functions. We give a short proof that skew cylindric Schur functions expand positively in terms of non-skew cylindric Schur functions. In particular,…
Genus 2 Macdonald polynomials $\Psi^{(q,t)}_{j_1,j_2,j_3}$ generalize ordinary Macdonald polynomials in several aspects. First, they provide common eigenfunctions for commuting difference operators that generalize the Macdonald difference…
The product $s_\mu s_\nu$ of two Schur functions is one of the most famous examples of a Schur-positive function, i.e. a symmetric function which, when written as a linear combination of Schur functions, has all positive coefficients. We…
In this paper, we construct the q-analogue of Poirier-Reutenauer algebras, related deeply with other q-combinatorial Hopf algebras. As an application, we use them to realize the odd Schur functions defined in \cite{EK}, and naturally obtain…
Let $\bigwedge_1$ and $\bigwedge_2$ be two symmetric function algebras in independent sets of variables. We define vector space bases of $\bigwedge_1 \otimes_\mathbb{Z} \bigwedge_2$ coming from certain quivers, with vertex sets indexed by…
Double Kostka polynomials are polynomials indexed by a pair of double partitions. As in the ordinary case, double Kostka polynomials are defined in terms of Schur functions and Hall-Littlewood functions associated to double partitions. In…
Plethysm coefficients $\mathsf{a}_{\mu[\nu]}^\lambda$ are the structure coefficients of the plethysm of Schur functions $s_\mu[s_\nu] = \sum_{\lambda} \mathsf{a}_{\mu[\nu]}^\lambda s_\lambda$. We study a bivariate generating function of…
We define a number of related combinatorial objects, each of which possesses a surprising symmetry. We include several applications such as a combinatorial explanation for certain fixed points of the involution $\omega$ on the ring of…
Macdonald polynomials are orthogonal polynomials associated to root systems, and in the type A case, the symmetric kind is a common generalization of Schur functions, Macdonald spherical functions, and Jack polynomials. We use the…
We prove the Cauchy type identities for the universal double Schubert polynomials, introduced recently by W. Fulton. As a corollary, the determinantal formulae for some specializations of the universal double Schubert polynomials…