arXiv++ Combinatorics

Let G be a graph. The black-white polynomial W_G(t) enumerates colorings of the vertices of G with two colors (black and white), where the power of t keeps track of how many white vertices have an even number of black neighbors. Such polynomials appear in quantum information theory, where they are used to capture properties of the entanglement in certain quantum states described by graphs. In this paper we describe how to use generating functions to compute these polynomials for various families X of graphs. Our main results are the following: (i) we describe some constructions under which X leads to a rational generating function; (ii) we use a matrix model to construct the exponential generating function of the black-white polynomials of all graphs; and (iii) we generalize a construction of Wright to build exponential generating functions of black-white polynomials for graphs of a given loop number.

Recently we introduced the hypergraph matrix model (HMM), a Hermitian matrix model generalizing the classical Gaussian Unitary Ensemble (GUE). In this model the Gaussians of the GUE, whose moments count partitions of finite sets into pairs, are replaced by formal measures whose moments count set partitions into parts of a fixed even size 2m >= 2. Just as the expectations of the trace polynomials Tr X^{2r} in the GUE produce polynomials counting unicellular orientable maps of different genera, in the HHM these expectations give polynomials counting certain unicelled edge-ramified CW complexes with extra data that we call (orientable CW) maps with instructions. In this paper we describe generating functions for maps with instructions of fixed genus and with the number of vertices arbitrary. Our results are motivated by work of Wright. In particular Wright computed generating functions of connected graphs of fixed first Betti number as rational functions in the rooted tree function T (x), given as the solution to the functional relation x = T e^{-T}.

The Catalan numbers (C_n)_{n >= 0} = 1,1,2,5,14,42,... form one of the most venerable sequences in combinatorics. They have many combinatorial interpretations, from counting bracketings of products in non-associative algebra to counting plane trees and noncrossing set partitions. They also arise in the GUE matrix model as the leading coefficient of certain polynomials, a connection closely related to the plane trees and noncrossing set partitions interpretations. In this paper we define a generalization of the Catalan numbers. In fact we define an infinite collection of generalizations C_n^(m), m >= 1, with m=1 giving the usual Catalans. The sequence C_n^(m) comes from studying certain matrix models attached to hypergraphs. We also give some combinatorial interpretations of these numbers, and conjecture some asymptotics.

The matrix models attached to real symmetric matrices and the complex/quaternionic Hermitian matrices have been studied by many authors. These models correspond to three of the simple formally real Jordan algebras over R. Such algebras were classified by Jordan, von Neumann, and Wigner in the 30s, and apart from these three there are two others: (i) the spin factor L_{1,n}, an algebra built on R^{n+1}, and (ii) the Albert algebra A of 3 by 3 Hermitian matrices over the octonions. In this paper we investigate the matrix models attached to these remaining cases.

Let $V$ be a real vector space of dimension $n$ and let $M\subset V$ be a lattice. Let $P\subset V$ be an $n$-dimensional polytope with vertices in $M$, and let $\varphi\colon V\rightarrow \CC $ be a homogeneous polynomial function of degree $d$ (i.e., an element of $\Sym^{d} (V^{*})$). For $q\in \ZZ_{>0}$ and any face $F$ of $P$, let $D_{\varphi ,F} (q)$ be the sum of $\varphi$ over the lattice points in the dilate $qF$. We define a generating function $G_{\varphi}(q,y) \in \QQ [q] [y]$ packaging together the various $D_{\varphi ,F} (q)$, and show that it satisfies a functional equation that simultaneously generalizes Ehrhart--Macdonald reciprocity and the Dehn--Sommerville relations. When $P$ is a simple lattice polytope (i.e., each vertex meets $n$ edges), we show how $G_{\varphi}$ can be computed using an analogue of Brion--Vergne's Euler--Maclaurin summation formula.

Maxmin trees are labeled trees with the property that each vertex is either a local maximum or a local minimum. Such trees were originally introduced by Postnikov, who gave a formula to count them and different combinatorial interpretations for their number. In this paper we generalize this construction and define tiered trees by allowing more than two classes of vertices. Tiered trees arise naturally when counting the absolutely indecomposable representations of certain quivers, and also when one enumerates torus orbits on certain homogeneous varieties. We define a notion of weight for tiered trees and prove bijections between various weight 0 tiered trees and other combinatorial objects; in particular order n weight 0 maxmin trees are naturally in bijection with permutations on n-1 letters. We conclude by using our weight function to define a new q-analogue of the Eulerian numbers.

We conjecture a deformation of the Weyl character formula for type G_2 in the spirit of Tokuyama's formula for type A. Using our conjecture we prove a combinatorial version of the Gindikin--Karpelevic formula for G_2, in the spirit of Bump--Nakasuji's formula for type A.

The purpose of this article is to shed new light on the combinatorial structure of Kazhdan-Lusztig cells in infinite Coxeter groups $W$. Our main focus is the set $\D$ of distinguished involutions in $W$, which was introduced by Lusztig in one of his first papers on cells in affine Weyl groups. We conjecture that the set $\D$ has a simple recursive structure and can be enumerated algorithmically starting from the distinguished involutions of finite Coxeter groups. Moreover, to each element of $\D$ we assign an explicitly defined set of equivalence relations on $W$ that altogether conjecturally determine the partition of $W$ into left (right) cells. We are able to prove these conjectures only in a special case, but even from these partial results we can deduce some interesting corollaries.

Spherical Whittaker functions on the metaplectic n-fold cover of GL(r+1) over a nonarchimedean local field containing n distinct n-th roots of unity may be expressed as the partition functions of statistical mechanical systems that are variants of the six-vertex model. If n=1 then in view of the Casselman-Shalika formula this fact is related to Tokuyama's deformation of the Weyl character formula. It is shown that various properties of these Whittaker functions may be expressed in terms of the commutativity of row transfer matrices for the system. Potentially these properties (which are already proved by other methods, but very nontrivial) are amenable to proof by the Yang-Baxter equation.

Let P be a simple lattice polytope. We define an action of the Hecke operators on E (P), the Ehrhart polynomial of P, and describe their effect on the coefficients of E (P). We also describe how the Brion-Vergne formula transforms under the Hecke operators for nonsingular lattice polytopes P.