arXiv++ Combinatorics

The six-vertex model with Domain Wall Boundary Conditions, or square ice, is considered for particular values of its parameters, corresponding to 1-, 2-, and 3-enumerations of Alternating Sign Matrices (ASMs). Using Hankel determinant representations for the partition function and the boundary correlator of homogeneous square ice, it is shown how the ordinary and refined enumerations can be derived in a very simple and straightforward way. The derivation is based on the standard relationship between Hankel determinants and orthogonal polynomials. For the particular sets of parameters corresponding to 1-, 2-, and 3-enumerations of ASMs, the Hankel determinant can be naturally related to Continuous Hahn, Meixner-Pollaczek, and Continuous Dual Hahn polynomials, respectively. This observation allows for a unified and simplified treatment of ASMs enumerations. In particular, along the lines of the proposed approach, we provide a complete solution to the long standing problem of the refined 3-enumeration of AMSs.

We prove that the sum of entries of the suitably normalized groundstate vector of the O(1) loop model with periodic boundary conditions on a periodic strip of size 2n is equal to the total number of n x n alternating sign matrices. This is done by identifying the state sum of a multi-parameter inhomogeneous version of the O(1) model with the partition function of the inhomogeneous six-vertex model on a n x n square grid with domain wall boundary conditions.

Let p(n) denote the number of unrestricted partitions of n. For i=0, 2, let p[i](n) denote the number of partitions pi of n such that O(pi) - O(pi') = i mod 4. Here O(pi) denotes the number of odd parts of the partition pi and pi' is the conjugate of pi. R. Stanley [13], [14] derived an infinite product representation for the generating function of p[0](n)-p[2](n). Recently, Holly Swisher[15] employed the circle method to show that limit[n->oo] p[0](n)/p(n) = 1/2 (i) and that for sufficiently large n 2 p[0](n) > p(n), if n=0,1 mod 4, 2 p[0](n) < p(n), otherwise. (ii) In this paper we study even/odd dissection of the Stanley product, and show how to use it to prove (i) and (ii) with no restriction on n. Moreover, we establish the following new result |p[0](2n) - p[2](2n)| > |p[0](2n+1) - p[2](2n+1)|, n>0. Two proofs of this surprising inequality are given. The first one uses the Gollnitz-Gordon partition theorem. The second one is an immediate corollary of a new partition inequality, which we prove in a combinatorial manner. Our methods are elementary. We use only Jacobi's triple product identity and some naive upper bound estimates.

Although symmetry methods and analysis are a necessary ingredient in every physicist's toolkit, rather less use has been made of combinatorial methods. One exception is in the realm of Statistical Physics, where the calculation of the partition function, for example, is essentially a combinatorial problem. In this talk we shall show that one approach is via the normal ordering of the second quantized operators appearing in the partition function. This in turn leads to a combinatorial graphical description, giving essentially Feynman-type graphs associated with the theory. We illustrate this methodology by the explicit calculation of two model examples, the free boson gas and a superfluid boson model. We show how the calculation of partition functions can be facilitated by knowledge of the combinatorics of the boson normal ordering problem; this naturally gives rise to the Bell numbers of combinatorics. The associated graphical representation of these numbers gives a perturbation expansion in terms of a sequence of graphs analogous to zero - dimensional Feynman diagrams.

We show that the hard-square lattice gas with activity z= -1 has a number of remarkable properties. We conjecture that all the eigenvalues of the transfer matrix are roots of unity. They fall into groups (``strings'') evenly spaced around the unit circle, which have interesting number-theoretic properties. For example, the partition function on an M by N lattice with periodic boundary condition is identically 1 when M and N are coprime. We provide evidence for these conjectures from analytical and numerical arguments.

An alternating sign matrix is a square matrix with entries 1, 0 and -1 such that the sum of the entries in each row and each column is equal to 1 and the nonzero entries alternate in sign along each row and each column. To some of the symmetry classes of alternating sign matrices and their variations, G. Kuperberg associate square ice models with appropriate boundary conditions, and give determinanat and Pfaffian formulae for the partition functions. In this paper, we utilize several determinant and Pfaffian identities to evaluate Kuperberg's determinants and Pfaffians, and express the round partition functions in terms of irreducible characters of classical groups. In particular, we settle a conjecture on the number of vertically and horizontally symmetric alternating sign matrices (VHSASMs).

We study the chromatic polynomial P_G(q) for m \times n square- and triangular-lattice strips of widths 2\leq m \leq 8 with cyclic boundary conditions. This polynomial gives the zero-temperature limit of the partition function for the antiferromagnetic q-state Potts model defined on the lattice G. We show how to construct the transfer matrix in the Fortuin--Kasteleyn representation for such lattices and obtain the accumulation sets of chromatic zeros in the complex q-plane in the limit n\to\infty. We find that the different phases that appear in this model can be characterized by a topological parameter. We also compute the bulk and surface free energies and the central charge.

We discuss some applications of signature quantization to the representation theory of compact Lie groups. In particular, we prove signature analogues of the Kostant formula for weight multiplicities and the Steinberg formula for tensor product multiplicities. Using symmetric functions, we also find, for type A, analogues of the Weyl branching rule and the Gelfand-Tsetlin theorem. These analogues involve a q-analogue of the Kostant partition function. We show that in type A, this q-analogue is polynomial in the relative interior of the cells of a complex of cones. This chamber complex can be taken to be the same as the chamber complex of the usual Kostant partition function. We present the case of A_2 as a detailed example.

It is shown that a graph parameter can be realized as the number of homomorphisms into a fixed (weighted) graph if and only if it satisfies two linear algebraic conditions: reflection positivity and exponential rank-connectivity. In terms of statistical physics, this can be viewed as a characterization of partition functions of vertex models.

We report about some results, interesting examples, problems and conjectures revolving around the parabolic Kostant partition functions, the parabolic Kostka polynomials and ``saturation'' properties of several generalizations of the Littlewood--Richardson numbers.

Using determinant representations for partition functions of the corresponding square ice models and the method proposed recently by one of the authors, we investigate refined enumerations of vertically symmetric alternating-sign matrices, off-diagonally symmetric alternating-sign matrices and alternating-sign matrices with U-turn boundary. For all these cases the explicit formulas for refined enumerations are found. It particular, Kutin-Yuen conjecture is proved.

By jagged partitions we refer to an ordered collection of non-negative integers $(n_1,n_2,..., n_m)$ with $n_m\geq p$ for some positive integer $p$, further subject to some weakly decreasing conditions that prevent them for being genuine partitions. The case analyzed in greater detail here corresponds to $p=1$ and the following conditions $n_i\geq n_{i+1}-1$ and $n_i\geq n_{i+2}$. A number of properties for the corresponding partition function are derived, including rather remarkable congruence relations. An interesting application of jagged partitions concerns the derivation of generating functions for enumerating partitions with special restrictions, a point that is illustrated with various examples.

We present a new tool to compute the number $φ_\A (\b)$ of integer solutions to the linear system $$ \x \geq 0 \qquad \A \x = \b $$ where the coefficients of $\A$ and $\b$ are integral. $φ_\A (\b)$ is often described as a \emph{vector partition function}. Our methods use partial fraction expansions of Euler's generating function for $φ_\A (\b)$. A special class of vector partition functions are Ehrhart (quasi-)polynomials counting integer points in dilated polytopes.

We elucidate the close connection between the repulsive lattice gas in equilibrium statistical mechanics and the Lovasz local lemma in probabilistic combinatorics. We show that the conclusion of the Lovasz local lemma holds for dependency graph G and probabilities {p_x} if and only if the independent-set polynomial for G is nonvanishing in the polydisc of radii {p_x}. Furthermore, we show that the usual proof of the Lovasz local lemma -- which provides a sufficient condition for this to occur -- corresponds to a simple inductive argument for the nonvanishing of the independent-set polynomial in a polydisc, which was discovered implicitly by Shearer and explicitly by Dobrushin. We also present some refinements and extensions of both arguments, including a generalization of the Lovasz local lemma that allows for "soft" dependencies. In addition, we prove some general properties of the partition function of a repulsive lattice gas, most of which are consequences of the alternating-sign property for the Mayer coefficients. We conclude with a brief discussion of the repulsive lattice gas on countably infinite graphs.

We present a polynomiality property of the Littlewood-Richardson coefficients c_{λμ}^ν. The coefficients are shown to be given by polynomials in λ, μand νon the cones of the chamber complex of a vector partition function. We give bounds on the degree of the polynomials depending on the maximum allowed number of parts of the partitions λ, μand ν. We first express the Littlewood-Richardson coefficients as a vector partition function. We then define a hyperplane arrangement from Steinberg's formula, over whose regions the Littlewood-Richardson coefficients are given by polynomials, and relate this arrangement to the chamber complex of the partition function. As an easy consequence, we get a new proof of the fact that c_{NλNμ}^{Nν} is given by a polynomial in N, which partially establishes the conjecture of King, Tollu and Toumazet that c_{NλNμ}^{Nν} is a polynomial in N with nonnegative rational coefficients.

We use Gelfand-Tsetlin diagrams to write down the weight multiplicity function for the Lie algebra sl_k(C) (type A_{k-1}) as a single partition function. This allows us to apply known results about partition functions to derive interesting properties of the weight diagrams. We relate this description to that of the Duistermaat-Heckman measure from symplectic geometry, which gives a large-scale limit way to look at multiplicity diagrams. We also provide an explanation for why the weight polynomials in the boundary regions of the weight diagrams exhibit a number of linear factors. Using symplectic geometry, we prove that the partition of the permutahedron into domains of polynomiality of the Duistermaat-Heckman function is the same as that for the weight multiplicity function, and give an elementary proof of this for sl_4(C) (A_3).

We derive the exact partition function for a discrete model of random trees embedded in a one-dimensional space. These trees have vertices labeled by integers representing their position in the target space, with the SOS constraint that adjacent vertices have labels differing by +1 or -1. A non-trivial partition function is obtained whenever the target space is bounded by walls. We concentrate on the two cases where the target space is (i) the half-line bounded by a wall at the origin or (ii) a segment bounded by two walls at a finite distance. The general solution has a soliton-like structure involving elliptic functions. We derive the corresponding continuum scaling limit which takes the remarkable form of the Weierstrass p-function with constrained periods. These results are used to analyze the probability for an evolving population spreading in one dimension to attain the boundary of a given domain with the geometry of the target (i) or (ii). They also translate, via suitable bijections, into generating functions for bounded planar graphs.

We apply some recent developments of Baldoni-DeLoera-Vergne on vector partition functions, to Kostant and Steinberg formulas, in the case of $A_r$. We therefore get a fast {\sc Maple} program that computes for $A_r$: the multiplicity $c_{λ,μ}$ of the weight $μ$ in the representation $V(λ)$ of highest weight $λ$; the multiplicity $c_{λ,μ,ν}$ of the representation $V(ν)$ in $V(λ)\otimes V(μ)$. The computation also gives the locally polynomial functions $c_{λ,μ}$ and $c_{λ,μ,ν}$.

Given a set of positive integers A = {a_1,...,a_n}, we study the number p_A (t) of nonnegative integer solutions (m_1,...,m_n) to m_1 a_1 + ... m_n a_n = t. We derive an explicit formula for the polynomial part of p_A.

We study the Frobenius problem: given relatively prime positive integers a_1,...,a_d, find the largest value of t (the Frobenius number g(a_1,...,a_d)) such that m_1 a_1 + ... m_d a_d = t has no solution in nonnegative integers m_1,...,m_d. We introduce a method to compute upper bounds for g(a_1,a_2,a_3), which seem to grow considerably slower than previously known bounds. Our computations are based on a formula for the restricted partition function, which involves Dedekind-Rademacher sums, and the reciprocity law for these sums.