arXiv++ Combinatorics

In this paper, we study the interaction of an antisense RNA and its target mRNA, based on the model introduced by Alkan {\it et al.} (Alkan {\it et al.}, J. Comput. Biol., Vol:267--282, 2006). Our main results are the derivation of the partition function \cite{Backhofen} (Chitsaz {\it et al.}, Bioinformatics, to appear, 2009), based on the concept of tight-structure and the computation of the base pairing probabilities. This paper contains the folding algorithm {\sf rip} which computes the partition function as well as the base pairing probabilities in $O(N^4M^2)+O(N^2M^4)$ time and $O(N^2M^2)$ space, where $N,M$ denote the lengths of the interacting sequences.

We consider the partition function Z(N;x_1,...,x_N,y_1,...,y_N) of the square ice model with domain wall boundary. We give a simple proof of the symmetry of Z with respect to all its variables when the global parameter a of the model is set to the special value a=exp(iπ/3). Our proof does not use any determinantal interpretation of Z and can be adapted to other situations (for examples to some symmetric ice models).

Fully packed loop models describe the statistics of closely packed nested polygons on the square lattice. Many exact results can be obtained for these models, even for finite geometries, using their close relationship to alternating-sign matrices and the solvable six-vertex and O(n=1) lattice models. Some results for the exact partition function of fully packed loop models on various finite geometries are briefly reviewed, as well as the well-known order-disorder bulk phase transition present in these models. A detailed study is presented of the distribution of boundary nests of polygons in fully packed loop models with mirror or rotational symmetry. The probability distribution function of such nests, as well as the average number of nests, are obtained analytically, albeit conjecturally. It is further shown that fully packed loop models undergo another phase transition as a function of the boundary nest fugacity. At criticality, we derive a scaling form for the nest distribution function which displays an unusual non-Gaussian cubic exponential behaviour.

Inspired by the study of community structure in connection networks, we introduce the graph polynomial $Q(G;x,y)$, the bivariate generating function which counts the number of connected components in induced subgraphs. We give a recursive definition of $Q(G;x,y)$ using vertex deletion, vertex contraction and deletion of a vertex together with its neighborhood and prove a universality property. We relate $Q(G;x,y)$ to other known graph invariants and graph polynomials, among them partition functions, the Tutte polynomial, the independence and matching polynomials, and the universal edge elimination polynomial introduced by I. Averbouch, B. Godlin and J.A. Makowsky (2008). We show that $Q(G;x,y)$ is vertex reconstructible in the sense of Kelly and Ulam, discuss its use in computing residual connectedness reliability. Finally we show that the computation of $Q(G;x,y)$ is $\sharp \mathbf{P}$-hard, but Fixed Parameter Tractable for graphs of bounded tree-width and clique-width.

Fendley, Schoutens and van Eerten [Fendley et al., J. Phys. A: Math. Gen., 38 (2005), pp. 315-322] studied the hard square model at negative activity. They found analytical and numerical evidence that the eigenvalues of the transfer matrix with periodic boundary were all roots of unity. They also conjectured that for an m times n square grid, with doubly periodic boundary, the partition function is equal to 1 when m and n are relatively prime. These conjectures were later proven by Jonsson [Jonsson, Electronic J. Combin., 13(1) (2006), R67]. There, it was also noted that the cylindrical case seemed to have interesting properties when the circumference of the cylinder is odd. In particular, when 3 is a divisor of both the circumference and the width of the cylinder minus 1, the partition function is -2. Otherwise, it is equal to 1. In this paper, we investigate the hard square and hard hexagon models at activity -1, with single periodic boundary, i.e, cylindrical identifications, using both topological and combinatorial techniques. We compute the homology groups of the associated independence complex for small sizes and suggest a matching which, we believe, with further analysis could help solve the conjecture.

We give two combinatorial interpretations of the Matrix Ansatz of the PASEP in terms of lattice paths and rook placements. This gives two (mostly) combinatorial proofs of a new enumeration formula for the partition function of the PASEP. Besides other interpretations, this formula gives the generating function for permutations of a given size with respect to the number of ascents and occurrences of the pattern 13-2, the generating function according to weak exceedances and crossings, and the n-th moment of certain q-Laguerre polynomials.

We consider the cluster algebra associated to the $Q$-system for $A_r$ as a tool for relating $Q$-system solutions to all possible sets of initial data. We show that the conserved quantities of the $Q$-system are partition functions for hard particles on particular target graphs with weights, which are determined by the choice of initial data. This allows us to interpret the simplest solutions of the Q-system as generating functions for Viennot's heaps on these target graphs, and equivalently as generating functions of weighted paths on suitable dual target graphs. The generating functions take the form of finite continued fractions. In this setting, the cluster mutations correspond to local rearrangements of the fractions which leave their final value unchanged. Finally, the general solutions of the $Q$-system are interpreted as partition functions for strongly non-intersecting families of lattice paths on target lattices. This expresses all cluster variables as manifestly positive Laurent polynomials of any initial data, thus proving the cluster positivity conjecture for the $A_r$ $Q$-system. We also give an alternative formulation in terms of domino tilings of deformed Aztec diamonds with defects.

Given two operators $\hat D$ and $\hat E$ subject to the relation $\hat D\hat E -q \hat E \hat D =p$, and a word $w$ in $M$ and $N$, the rewriting of $w$ in normal form is combinatorially described by rook placements in a Young diagram. We give enumerative results about these rook placements, particularly in the case where $p=(1-q)/q^2$. This case naturally arises in the context of the PASEP, a random process whose partition function and stationary distribution are expressed using two operators $D$ and $E$ subject to the relation $DE-qED=D+E$ (matrix Ansatz). Using the link obtained by Corteel and Williams between the PASEP, permutation tableaux and permutations, we prove a conjecture of Corteel and Rubey about permutation enumeration. This result gives the generating function for permutations of given size with respect to the number of ascents and occurrences of the pattern 13-2, this is also the moments of the $q$-Laguerre orthogonal polynomials.

It is well-known that the partition function of the unitary ensembles of random matrices is given by a tau-function of the Toda lattice hierarchy and those of the orthogonal and symplectic ensembles are tau-functions of the Pfaff lattice hierarchy. In these cases the asymptotic expansions of the free energies given by the logarithm of the partition functions lead to the dispersionless (i.e. continuous) limits for the Toda and Pfaff lattice hierarchies. There is a universality between all three ensembles of random matrices, one consequence of which is that the leading orders of the free energy for large matrices agree. In this paper, this universality, in the case of Gaussian ensembles, is explicitly demonstrated by computing the leading orders of the free energies in the expansions. We also show that the free energy as the solution of the dispersionless Toda lattice hierarchy gives a solution of the dispersionless Pfaff lattice hierarchy, which implies that this universality holds in general for the leading orders of the unitary, orthogonal, and symplectic ensembles. We also find an explicit formula for the two point function $F_{nm}$ which represents the number of connected ribbon graphs with two vertices of degrees n and m on a sphere. The derivation is based on the Faber polynomials defined on the spectral curve of the dispersionless Toda lattice hierarchy, and $\frac{1}{nm} F_{nm}$ are the Grunsky coefficients of the Faber polynomials.

We find zero-free regions in the complex plane at large |q| for the multivariate Tutte polynomial (also known in statistical mechanics as the Potts-model partition function) Z_G(q,w) of a graph G with general complex edge weights w = {w_e}. This generalizes a result of Sokal (cond-mat/9904146) that applies only within the complex antiferromagnetic regime |1+w_e| \le 1. Our proof uses the polymer-gas representation of the multivariate Tutte polynomial together with the Penrose identity.

We demonstrate that the classical dimer model defined on a toroidal hexagonal lattice acquires holonomy phases in the thermodynamic limit. When all activities are equal the lattice sizes must be considered mod 6 in which case the finite size corrections to the bulk partition function correspond to a massless Dirac Fermion in the presence of a flat connection with nontrivial holonomy. For general bond activities we find that the phase transition in this model is a topological one, where the torus degenerates and its modular parameter becomes real at the critical temperature. We argue that these features are generic to bipartite dimer models and we present a more general lattice whose continuum partition function is that of a massive Dirac Fermion.

In 1952 Lee and Yang proposed the program of analyzing phase transitions in terms of zeros of partition functions. Linear operators preserving non-vanishing properties are essential in this program and various contexts in complex analysis, probability theory, combinatorics, and matrix theory. We characterize all linear operators on finite or infinite-dimensional spaces of multivariate polynomials preserving the property of being non-vanishing whenever the variables are in prescribed open circular domains. In particular, this solves the higher dimensional counterpart of a long-standing classification problem originating from classical works of Hermite, Laguerre, Hurwitz and Pólya-Schur on univariate polynomials with such properties.

Let G be a torus acting linearly on a complex vector space M, and let X be the list of weights of G in M. We determine the equivariant K-theory of the open subset of M consisting of points with finite stabilizers. We identify it to the space DM(X) of functions on the lattice of weights of G, satisfying the cocircuit difference equations associated to X, introduced by Dahmen--Micchelli in the context of the theory of splines in order to study vector partition functions. This allows us to determine the range of the index map from G-transversally elliptic operators on M to generalized functions on G and to prove that the index map is an isomorphism on the image. This is a setting studied by Atiyah-Singer which is in a sense universal for index computations.

Let $I$ be an independent set drawn from the discrete $d$-dimensional hypercube $Q_d=\{0,1\}^d$ according to the hard-core distribution with parameter $λ>0$ (that is, the distribution in which each independent set $I$ is chosen with probability proportional to $λ^{|I|}$). We show a sharp transition around $λ=1$ in the appearance of $I$: for $λ>1$, $\min\{|I \cap {\cal E}|, |I \cap {\cal O}|\}=0$ asymptotically almost surely, where ${\cal E}$ and ${\cal O}$ are the bipartition classes of $Q_d$, whereas for $λ<1$, $\min\{|I \cap {\cal E}|, |I \cap {\cal O}|\}$ is asymptotically almost surely exponential in $d$. The transition occurs in an interval whose length is of order $1/d$. A key step in the proof is an estimation of $Z_λ(Q_d)$, the sum over independent sets in $Q_d$ with each set $I$ given weight $λ^{|I|}$ (a.k.a. the hard-core partition function). We obtain the asymptotics of $Z_λ(Q_d)$ for $λ>\sqrt{2}-1$, and nearly matching upper and lower bounds for $λ\leq \sqrt{2}-1$, extending work of Korshunov and Sapozhenko. These bounds allow us to read off some very specific information about the structure of an independent set drawn according to the hard-core distribution. We also derive a long-range influence result. For all fixed $λ>0$, if $I$ is chosen from the independent sets of $Q_d$ according to the hard-core distribution with parameter $λ$, conditioned on a particular $v \in {\cal E}$ being in $I$, then the probability that another vertex $w$ is in $I$ is $o(1)$ for $w \in {\cal O}$ but $Ω(1)$ for $w \in {\cal E}$.

The chromatic polynomial P_G(q) of a loopless graph G is known to be nonzero (with explicitly known sign) on the intervals (-\infty,0), (0,1) and (1,32/27]. Analogous theorems hold for the flow polynomial of bridgeless graphs and for the characteristic polynomial of loopless matroids. Here we exhibit all these results as special cases of more general theorems on real zero-free regions of the multivariate Tutte polynomial Z_G(q,v). The proofs are quite simple, and employ deletion-contraction together with parallel and series reduction. In particular, they shed light on the origin of the curious number 32/27.

This is the first of two papers on partition functions and the index theory of transversally elliptic operators. In this paper we only discuss algebraic and combinatorial issues related to partition functions. The applications to index theory will appear in a subsequent paper.

In this survey, we give a friendly introduction from a graph theory perspective to the q-state Potts model, an important statistical mechanics tool for analyzing complex systems in which nearest neighbor interactions determine the aggregate behavior of the system. We present the surprising equivalence of the Potts model partition function and one of the most renowned graph invariants, the Tutte polynomial, a relationship that has resulted in a remarkable synergy between the two fields of study. We highlight some of these interconnections, such as computational complexity results that have alternated between the two fields. The Potts model captures the effect of temperature on the system and plays an important role in the study of thermodynamic phase transitions. We discuss the equivalence of the chromatic polynomial and the zero-temperature antiferromagnetic partition function, and how this has led to the study of the complex zeros of these functions. We also briefly describe Monte Carlo simulations commonly used for Potts model analysis of complex systems. The Potts model has applications as widely varied as magnetism, tumor migration, foam behaviors, and social demographics, and we provide a sampling of these that also demonstrates some variations of the Potts model. We conclude with some current areas of investigation that emphasize graph theoretic approaches. This paper is an elementary general audience survey, intended to popularize the area and provide an accessible first point of entry for further exploration.

Mayer's theory of cluster integrals allows one to write the partition function of a gas model as a generating function of weighted graphs. Recently, Labelle, Leroux and Ducharme have studied the graph weights arising from the one-dimensional hard-core gas model and noticed that the sum of the weights over all connected graphs with $n$ vertices is $(-n)^{n-1}$. This is, up to sign, the number of rooted Cayley trees on $n$ vertices and the authors asked for a combinatorial explanation. The main goal of this article is to provide such an explanation.

We give an elementary algebraic proof of Paradan's wall crossing formulae for partition functions. We also express such jumps in volume and partition functions by one dimensional residue formulae. Subsequently we reprove the relation between them as given by the application of a generalized Khovanskii-Pukhlikov differential operator.

We prove some variants of the exponential formula and apply them to the multivariate Tutte polynomials (also known as Potts-model partition functions) of graphs. We also prove some further identities for the multivariate Tutte polynomial, which generalize an identity for counting connected graphs found by Riordan, Nijenhuis, Wilf and Kreweras and in more general form by Leroux and Gessel, and an identity for the inversion enumerator of trees found by Mallows, Riordan and Kreweras. Finally, we prove a generalization of Mobius inversion on the partition lattice.