arXiv++ Combinatorics

E158 in the Enestrom index. Translation of the Latin original "Observationes analyticae variae de combinationibus" (1741). This paper introduces the problem of partitions, or partitio numerorum (the partition of integers). In the first part of the paper Euler looks at infinite symmetric functions. He defines three types of series: the first denoted with capital Latin letters are sums of powers, e.g. $A=a+b+c+...$, $B=a^2+b^2+c^3+...$, etc.; the second denoted with lower case Greek letters are the elementary symmetric functions; the third denoted with Germanic letters are sums of all combinations of $n$ symbols, e.g. $\mathfrak{A}=a+b+c+...$ is the series for $n=1$, $\mathfrak{B}=a^2+ab+b^2+ac+bc+c^2+...$ is the series for $n=2$, etc. Euler proves a lot of relations between these series. He defines some infinite products and proves some more relations between the products and these series. Then in §17 he looks at the particular case where $a=n,b=n^2,c=n^3$ etc. In §19 he says the Naudé has proposed studying the number of ways to break an integer into a certain number of parts. Euler proves his recurrence relations for the number of partitions into a $μ$ parts with repetition and without repetition. Finally at the end of the paper Euler states the pentagonal number theorem, but says he hasn't been able to prove it rigorously.

In this paper we investigate the uniform distribution properties of polynomials in many variables and bounded degree over a fixed finite field F of prime order. Our main result is that a polynomial P : F^n -> F is poorly-distributed only if P is determined by the values of a few polynomials of lower degree, in which case we say that P has small rank. We give several applications of this result, paying particular attention to consequences for the theory of the so-called Gowers norms. We establish an inverse result for the Gowers U^{d+1}-norm of functions of the form f(x)= e_F(P(x)), where P : F^n -> F is a polynomial of degree less than F, showing that this norm can only be large if f correlates with e_F(Q(x)) for some polynomial Q : F^n -> F of degree at most d. The requirement deg(P) < |F| cannot be dropped entirely. Indeed, we show the above claim fails in characteristic 2 when d = 3 and deg(P)=4, showing that the quartic symmetric polynomial S_4 in F_2^n has large Gowers U^4-norm but does not correlate strongly with any cubic polynomial. This shows that the theory of Gowers norms in low characteristic is not as simple as previously supposed. This counterexample has also been discovered independently by Lovett, Meshulam, and Samorodnitsky. We conclude with sundry other applications of our main result, including a recurrence result and a certain type of nullstellensatz.

Let W be a finite Coxeter group. We define its Hecke-group algebra by gluing together appropriately its group algebra and its 0-Hecke algebra. We describe in detail this algebra (dimension, several bases, conjectural presentation, combinatorial construction of simple and indecomposable projective modules, Cartan map) and give several alternative equivalent definitions (as symmetry preserving operator algebra, as poset algebra, as commutant algebra, ...). In type A, the Hecke-group algebra can be described as the algebra generated simultaneously by the elementary transpositions and the elementary sorting operators acting on permutations. It turns out to be closely related to the monoid algebras of respectively nondecreasing functions and nondecreasing parking functions, the representation theory of which we describe as well. This defines three towers of algebras, and we give explicitly the Grothendieck algebras and coalgebras given respectively by their induction products and their restriction coproducts. This yields some new interpretations of the classical bases of quasi-symmetric and noncommutative symmetric functions as well as some new bases.

A classical result of Artin states that the ideal generated by symmetric polynomials in $n$ variables is of codimension $n!$. The author, F. Bergeron and N. Bergeron have recently obtained a surprising analogous in the case of quasi-symmetric polynomials. In this case, the ideal is of codimension given by $C_n$, the $n$-th Catalan number. Quasi-symmetric polynomials are the invariants of a certain action of the symmetric group $S_n$ defined by F. Hivert. The aim of this work is to generalize these results to the wreath product $S_n\wr \Z_m$, also known as the generalized symmetric group $G\nm$. We first define a quasi-symmetrizing action of $G\nm$ on $\C[x_1,...,x_n]$, then obtain a description of the invariants and the codimension of the associated ideal, which is $m^n C_n$.

The Connes-Kreimer Hopf algebra of rooted trees, its dual, and the Foissy Hopf algebra of of planar rooted trees are related to each other and to the well-known Hopf algebras of symmetric and quasi-symmetric functions via a pair of commutative diagrams. We show how this point of view can simplify computations in the Connes-Kreimer Hopf algebra and its dual, particularly for combinatorial Dyson-Schwinger equations.

We study the Schubert calculus of the affine Grassmannian Gr of the symplectic group. The integral homology and cohomology rings of Gr are identified with dual Hopf algebras of symmetric functions, defined in terms of Schur's P and Q-functions. An explicit combinatorial description is obtained for the Schubert basis of the cohomology of Gr, and this is extended to a definition of the affine type C Stanley symmetric functions. A homology Pieri rule is also given for the product of a special Schubert class with an arbitrary one.

We prove conjectures of the third author [L. Tevlin, Proc. FPSAC'07, Tianjin] on two new bases of noncommutative symmetric functions: the transition matrices from the ribbon basis have nonnegative integral coefficients. This is done by means of two composition-valued statistics on permutations and packed words, which generalize the combinatorics of Genocchi numbers.

The operad of moulds is realized in terms of an operational calculus of formal integrals (continuous formal power series). This leads to many simplifications and to the discovery of various suboperads. In particular, we prove a conjecture of the first author about the inverse image of non-crossing trees in the dendriform operad. Finally, we explain a connection with the formalism of noncommutative symmetric functions.

The Bernstein operators allow to build recursively the Schur functions. We present a recursion formula for k-Schur functions at t=1 based on combinatorial operators that generalize the Bernstein operators. The recursion leads immediately to a combinatorial interpretation for the expansion coefficients of k-Schur functions at t=1 in terms of homogeneous symmetric functions.

Shifting by \pm 1 powers sums: p_i \to p_i \pm 1 induces a transformation on symmetric functions that we detail in the case of Hall-Littlewood polynomials. By iteration, this gives a description of these polynomials in terms of plane partitions, as well as some generating functions. We recover in particular an identity of Warnaar related to Rogers-Ramanujan identities.

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.

We prove that the number of Hamiltonian paths on the complement of an acyclic digraph is equal to the number of cycle covers. As an application, we obtain a new expansion of the chromatic symmetric function of incomparability graphs in terms of elementary symmetric functions. Analysis of some of the combinatorial implications of this expansion leads to three bijections involving acyclic orientations.

We use Rogers-Szego polynomials to unify some well-known identities for Hall-Littlewood symmetric functions due to Macdonald and Kawanaka.

We generalize the generating formula for plane partitions known as MacMahon's formula as well as its analog for strict plane partitions. We give a 2-parameter generalization of these formulas related to Macdonald's symmetric functions. The formula is especially simple in the Hall-Littlewood case. We also give a bijective proof of the analog of MacMahon's formula for strict plane partitions.

Some new relations on skew Schur function differences are established both combinatorially using Schützenberger's jeu de taquin, and algebraically using Jacobi-Trudi determinants. These relations lead to the conclusion that certain differences of skew Schur functions are Schur positive. Applying these results to a basis of symmetric functions involving ribbon Schur functions confirms the validity of a Schur positivity conjecture due to McNamara. A further application reveals that certain differences of products of Schubert classes are Schubert positive.

We define a class of bipartite graphs that correspond naturally with Ferrers diagrams. We give expressions for the number of spanning trees, the number of Hamiltonian paths when applicable, the chromatic polynomial, and the chromatic symmetric function. We show that the linear coefficient of the chromatic polynomial is given by the excedance set statistic.

We extend Stanley's work on alternating permutations with extremal number of fixed points in two directions: first, alternating permutations are replaced by permutations with a prescribed descent set; second, instead of simply counting permutations we study their generating polynomials by number of excedances. Several techniques are used: Desarmenien's desarrangement combinatorics, Gessel's hook-factorization and the analytical properties of two new permutation statistics "DEZ" and "lec". Explicit formulas for the maximal case are derived by using symmetric function tools.

The aim of this note is to introduce a compound basis for the space of symmetric functions. Our basis consists of products of Schur functions and $Q$-functions. The basis elements are indexed by the partitions. It is well known that the Schur functions form an orthonormal basis for our space. A natural question arises. How are these two bases connected? In this note we present some numerical results of the transition matrix for these bases. In particular we will see that the determinant of the transition matrix is a power of 2. This is not a surprising fact. However the explicit formula involves an interesting combinatorial feature. Our compound basis comes from the twisted homogeneous realization of the basic representation of the affine Lie algebras. This note is not written in a standard style of mathematical articles. It is more like a draft of a talk. In particular proofs are not given here. Details and proofs will be published elsewhere.

Motivated by work of Buch on set-valued tableaux in relation to the K-theory of the Grassmannian, we study six combinatorial Hopf algebras. These Hopf algebras can be thought of as K-theoretic analogues of the by now classical ``square'' of Hopf algebras consisting of symmetric functions, quasisymmetric functions, noncommutative symmetric functions and the Malvenuto-Reutenauer Hopf algebra of permutations. In addition, we develop a theory of set-valued P-partitions and study three new families of symmetric functions which are weight generating functions of reverse plane partitions, weak set-valued tableaux and valued-set tableaux.

We describe a recursive algorithm that produces an integral basis for the centre of the Hecke algebra of type A consisting of linear combinations of monomial symmetric polynomials of Jucys--Murphy elements. We also discuss the existence of integral bases for the centre of the Hecke algebra that consist solely of monomial symmetric polynomials of Jucys--Murphy elements. Finally, for n=3, we show that only one such basis exists for the centre of the Hecke algebra, by proving that there are exactly four bases for the centre of the corresponding symmetric group algebra which consist solely of monomial symmetric polynomials of Jucys--Murphy elements.