arXiv++ Combinatorics

We establish Taylor series expansions in rational (and elliptic) function bases using E. Rains' elliptic extension of the Askey-Wilson divided difference operator. The expansion theorem we consider extends M.E.H. Ismail's expansion for the Askey-Wilson monomial basis. Three immediate applications (essentially already due to Rains) include simple proofs of Frenkel and Turaev's elliptic extensions of Jackson's 8-phi-7 summation and of Bailey's 10-phi-9 transformation, and the computation of the connection coefficients of Spiridonov's elliptic extension of Rahman's biorthogonal rational functions. We adumbrate other examples including the nonterminating extension of Jackson's 8-phi-7 summation and a quadratic expansion.

We give a combinatorial proof of the factorization formula of modified Macdonald polynomials when the parameter t is specialized at a primitive root of unity. Our proof is restricted to the special case of partitions with 2 columns. We mainly use the combinatorial interpretation of Haglund, Haiman and Loehr giving the expansion of the modified Macdonald polynomials on the monomial basis.

We prove that a $q$-deformation $\Disc k\X q$ of the powers of the discriminant is equal, up to a normalization, to a specialization of a Macdonald polynomial indexed by a staircase partition. We investigate the expansion of $\Disc k\X q$ on different basis of symmetric functions. In particular, we show that its expansion on the monomial basis can be explicitly described in terms of standard tableaux and we generalize a result of King-Toumazet-Wybourne about the expansion of the $q$-discriminant on the Schur basis.

The purpose of this paper is to find a new way to prove the $n!$ conjecture for particular partitions. The idea is to construct a monomial and explicit basis for the space $M_μ$. We succeed completely for hook-shaped partitions, i.e., $μ=(K+1,1^L)$. We are able to exhibit a basis and to verify that its cardinality is indeed $n!$, that it is linearly independent and that it spans $M_μ$. We derive from this study an explicit and simple basis for $I_μ$, the annihilator ideal of $Δ_μ$. This method is also successful for giving directly a basis for the homogeneous subspace of $M_μ$ consisting of elements of 0 $x$-degree.

G. E. Murphy showed in 1983 that the centre of every symmetric group algebra has an integral basis consisting of a specific set of monomial symmetric polynomials in the Jucys--Murphy elements. While we have shown in earlier work that the centre of the group algebra of S_3 has exactly three additional such bases, we show in this paper that the centre of the group algebra of S_4 has infinitely many bases consisting of monomial symmetric polynomials in Jucys--Murphy elements, which we characterize completely. The proof of this result involves establishing closed forms for coefficients of class sums in the monomial symmetric polynomials in Jucys--Murphy elements, and solving several resulting exponential Diophantine equations with the aid of a computer. Our initial motivation was in finding integral bases for the centre of the Iwahori--Hecke algebra, and we address this question also, by finding several integral bases of monomial symmetric polynomials in Jucys--Murphy elements for the centre of the Iwahori--Hecke algebra of S_4.

Let F be a field and let G be a finite graph with a total ordering on its edge set. Richard Stanley noted that the Stanley-Reisner ring F(G) of the broken circuit complex of G is Cohen-Macaulay. Jason Brown gave an explicit description of a homogeneous system of parameters for F(G) in terms of fundamental cocircuits in G. So F(G) modulo this hsop is a finite dimensional vector space. We conjecture an explicit monomial basis for this vector space in terms of the circuits of G and prove that the conjecture is true for two infinite families of graphs. We also explore an application of these ideas to bounding the number of acyclic orientations of G from above.

We uncover the structure of the space of symmetric functions in non-commutative variables by showing that the underlined Hopf algebra is both free and co-free. We also introduce the Hopf algebra of quasi-symmetric functions in non-commutative variables and define the product and coproduct on the monomial basis of this space and show that this Hopf algebra is free and cofree. In the process of looking for bases which generate the space we define orders on the set partitions and set compositions which allow us to define bases which have simple and natural rules for the product of basis elements.

Let \{M_{r,s}\}_{0< r < p, 0< s < p'} be the irreducible Virasoro modules in the $(p,p')$-minimal series. In our previous paper, we have constructed a monomial basis of \oplus_{r=1}^{p-1}M_{r,s} in the case of $1<p'/p<2$. By `monomials' we mean vectors of the form φ^{(r_L,r_{L-1})}_{-n_L}...φ^{(r_1,r_{0})}_{-n_1} |r_0,s >, where φ_{-n}^{(r',r)} are the Fourier components of the (2,1)-primary field mapping M_{r,s} to M_{r',s}, and |r_0,s > is the highest weight vector of M_{r_0,s}. In this article, for all p<p' with p>2 and s=1, we describe a subset of such monomials which conjecturally forms a basis of \oplus_{r=1}^{p-1}M_{r,1}. We prove that the character of the combinatorial set labeling these monomials coincides with the character of the corresponding Virasoro module. We also verify the conjecture in the case of p=3.

The monomial basis for polynomials in N variables is labeled by compositions. To each composition there is associated a hook-length product, which is a product of linear functions of a parameter. The zeroes of this product are related to "critical pairs" of compositions; a concept defined in this paper. This property can be described in an elementary geometric way; for example: consider the two compositions (2,7,8,2,0,0) and (5,1,2,5,3,3), then the respective ranks, permutations of the index set {1,2,...,6} sorting the compositions, are (3,2,1,4,5,6) and (1,6,5,2,3,4), and the two vectors of differences (between the compositions and the ranks, respectively) are (-3,6,6,-3,-3,-3) and (2,-4,-4,2,2,2), which are parallel, with ratio -3/2. For a given composition and zero of its hook-length product there is an algorithm for constructing another composition with the parallelism property and which is comparable to it in a certain partial order on compositions, derived from the dominance order. This paper presents the motivation from the theory of nonsymmetric Jack polynomials and the description of the algorithm, as well as the proof of its validity.

We study a graded algebra D=D(L,G) defined by a finite lattice L and a subset G in L, a so-called building set. This algebra is a generalization of the cohomology algebras of hyperplane arrangement compactifications found in work of De Concini and Procesi. Our main result is a representation of D, for an arbitrary atomic lattice L, as the Chow ring of a smooth toric variety that we construct from L and G. We describe this variety both by its fan and geometrically by a series of blowups and orbit removal. Also we find a Groebner basis of the relation ideal of D and a monomial basis of D over Z.

The wave functions of a quantum isotropic harmonic oscillator in N-space modified by barriers at the coordinate hyperplanes can be expressed in terms of certain generalized spherical harmonics. These are associated with a product-type weight function on the sphere. Their analysis is carried out by means of differential-difference operators. The symmetries of this system involve the Weyl group of type B, generated by permutations and changes of sign of the coordinates. A new basis for symmetric functions as well as an explicit transition matrix to the monomial basis is constructed. This basis leads to a basis for invariant spherical harmonics. The determinant of the Gram matrix for the basis in the natural inner product over the sphere is evaluated, and there is a formula for the evaluation of the basis elements at (1,1,...,1). When the underlying parameter is specialized to zero, the basis consists of ordinary spherical harmonics with cube group symmetry, as used for wave functions of electrons in crystals. The harmonic oscillator can also be considered as a degenerate interaction-free spin Calogero model.

We study a vertex operator algebra (VOA) V related to the M(3,p) Virasoro minimal series. This VOA reduces in the simplest case p=4 to the level two integrable vacuum module of $\hat{sl}_2$. On V there is an action of a commutative current a(z), which is an analog of the current e(z) of $\hat{sl}_2$. Our main concern is the subspace W generated by this action from the highest weight vector of V. Using the Fourier components of a(z), we present a monomial basis of W and a semi-infinite monomial basis of V. We also give a Gordon type formula for their characters.

We show that the action of classical operators associated to the Macdonald polynomials on the basis of Schur functions, S_λ[X(t-1)/(q-1)], can be reduced to addition in λ-rings. This provides explicit formulas for the Macdonald polynomials expanded in this basis as well as in the ordinary Schur basis, S_λ[X], and the monomial basis, m_λ[X].