arXiv++ Combinatorics

We work with the following expression for the entropy (density) of a dimer gas on an infinite r-regular lattice lambda(p) = 1/2 [ pln(r)-ln(p)-2(1-p)ln(1-p)-p ]+sum_{k=2}(d_k)(p^k) where the indicated sum converges for density, p, small enough. Pernici has computed the coefficients d_k for k < 13. He found these d_k to be polynomials in certain interesting "geometric quantites" arising in the work of Wanless. Each of these quantities is the number density of isomorphic mappings of some graph into the lattice (graph). So for a bipartite lattice d_2 = c_2 d_3 = c_3 d_4 = c_4 + c_5 hat{G}_1 d_5 = c_6 + c_7 hat{G}_1. The c_i depend only on r. Here hat{G}_1 is the density of mapping classes of the four loop graph into the lattice. The limit of 1/V times the number of such mapping classes into a lattice of volume V as V goes to infinity. The infinite volume limit. There is a simple linear relation that yields the kth virial coefficient from the value of d_k! We feel this expression gives the deepest insight into the virial coefficients so far obtained. What we show in this paper is that such polynomial relations for the d_k in these geometric quantities holds for the d_k for k < 28. Of course we expect it to hold for all k. We use the same computation procedure as Pernici. We note this procedure is not rigorously established. So far a procedure for the physicist, perhaps not the mathematician (their loss). It is a worthy challenge for the mathematical physicist to supply the needed rigor.

We deal with $r$-regular bipartite graphs with $2n$ vertices. In a previous paper, Butera, Pernici and the author have introduced a quantity $u(i)$, $u(i) = -\ln(i!m\_i)$, a function of the number of $i$-matchings, $m\_i$, and conjectured that the fraction of graphs that violate $Δ^k u(i) > 0$ for $k > 1$ vanishes as $n$ goes to infinity. Here $Δ$ is the finite difference operator. We now more particularly define the "Virial Positivity Conjecture" as the conjecture that the fraction of graphs that satisfy $Δ^k u(i)$ go to 0 for all $k > 1$ and $i$, approaches 1 as $n$ goes to infinity. The "Weak Virial Positivity Conjecture" is the conjecture that for each $i$ and $k > 1$ the probability that $Δ^k u(i) > 0$ goes to $1$ as $n$ goes to infinity. The term Virial is used since the condition $Δ^k u(i) > 0$ corresponds to the positivity of the Virial coefficients for infinite regular lattices. Herein we prove Weak Virial Positivity for the range of parameters $r < 11$, $i+k < 101$, $1 < k < 28$,or $i+k < 30$ all $r$. A formalism of Wanless as systematized by Pernici is central to this effort. Basically this paper is a corollary to our parallel attack on graph positivity in a previous paper. We assume basic knowledge of this previous paper.

We collect a number of striking recent results in a study of dimers on infinite regular bipartite lattices and also on regular bipartite graphs. We clearly separate rigorously proven results from conjectures. A primary goal is to show people: here is a field which is ripe for further interesting research. We separate four classes of endeavor, of which we here extract two items to whet one's appetite. Primo,for hyper-rectangular lattices of every dimension the first 20 virial coefficients are positive. (One has no understanding of this yet!) Secondo, all regular bipartite graphs with less than $14$ vertices satisfy graph positivity, defined below. (Here there is some understanding.)

One deals with r-regular bipartite graphs with 2n vertices. In a previous paper Butera, Pernici, and the author have introduced a quantity d(i), a function of the number of i-matchings, and conjectured that as n goes to infinity the fraction of graphs that satisfy Delta^k( d(i)) is non-negative, for all k and i, approaches 1. Here Delta is the finite difference operator. This conjecture we called the "graph positivity conjecture". "Weak graph positivity" is the conjecture that for each i and k the probability that Delta^k (d(i) is non-negative goes to 1 as n goes to infinity. Here we prove this for the range of parameters where r < 11, i+k < 101, k < 21, or i+k < 30 all r. A formalism of Wanless as systematized by Pernici is central to this effort.

We present two related conjectures, arising in work on i-matchings in random r-regular bipartite graphs. The conjectures themselves are easily stated and involve only basic properties of convergent power series. One formulation involves Bell's polynomials. The conjectures name was chosen since we earnestly believe only a truly genius mathematician will prove them. We advise others not to try. A further belief is that the proof will arise from some deep properties of partitions.

Given an integer g, g > 1, an integer w, -1 < w <g - 1, and a set of g distinct numbers, c_1, ..., c_g, we present a conjectured identity for Stirling numbers of the first kind. We have proven all the equalities in case g < 7; and for the case g = 7, provided w < 4. These expressions arise from an aspect of the study of the dimer-monomer problem on regular graphs.

The quantities C_4 and Theta_2,2,2 are as defined by Wanless, C_4 just the number of 4-loops of a graph. The construction of this paper provides a counterexample to a conjecture of Butera, Pernici, and the author about the monomer-dimer entropy, lambda, of a regular bipartite lattice. The lattice we construct is not a lattice graph in its most common definition.

One deals with r-regular bipartite graphs with 2n vertices. In a previous paper Butera, Pernici, and the author have introduced a quantity d(i), a function of the number of i-matchings, and conjectured that as n goes to infinity the fraction of graphs that satisfy Delta^k d(i) for all k and i, approaches 1. Here Delta is the finite difference operator. This conjecture we called the 'graph positivity conjecture'. In this paper it is formally shown that for each i and k the probability that Delta^k d(i) goes to 1 with n going to infinity. We call this weaker result the 'weak graph positivity conjecture ( theorem )'. A formalism of Wanless as systematized by Pernici is central to this effort. Our result falls short of being a rigorous proof since we make a sweeping conjecture ( computer tested ), of which we so far have only a portion of the proof.

We consider the ensemble of n x n 0 - 1 matrices with all column and row sums equal r. We give this ensemble the uniform weighting to construct a measure E. We know from the work of Wanless and Pernici that E(prod_{i=1}^N (perm_{m_i}(A)) = prod_{i=1}^N (E(perm_{m_i}(A)) * (1+ O(1/n^4)) In this paper we prove E_1(prod_{i=1}^N (perm_{m_i}(A)) = prod_{i=1}^N (E_1(perm_{m_i}(A)) * (1+ O(1/n^2)) where E_1 is the measure constructed on the ensemble of n x n 0 - 1 matrices with non-negative integer entries realized as the sum of r random permutation matrices. E_1 is often used as an "approximation" to E. We have computer evidence for E_1(prod_{i=1}^N (perm_{m_i}(A)) = prod_{i=1}^N (E_1(perm_{m_i}(A)) * (1+ O(1/n^4)).

We consider two ensembles of nxn matrices. The first is the set of all nxn matrices with entries zeroes and ones such that all column sums and all row sums equal r, uniformly weighted. The second is the set of nxn matrices with zero and one entries where the probability that any given entry is one is r/n, the probabilities of the set of individual entries being i.i.d.'s. Calling the two expectation values E and EB respectively, we develop a formal relation E(perm(A)) = EB(perm (A)) x exp{sum Ti}. We also use a well-known approximating ensemble to E, E1. We prove using E or E1 one obtains the same value of Ti for i < 21. (THE PUBLISHED VERSION OF THIS PAPER ONLY OBTAINS RESULTS FOR i < 8. We go beyond the results of the published version by taking much more advantage of recent work of Pernici and of Wanless on i-matchings on regular bipartite graphs.)These terms Ti, i < 21, have amazing properties. We conjecture that these properties hold also for all i.

Continuing the computations of the previous paper,[1], we calculate another approximation to the expectation value of the product of two permanents in the ensemble of 0-1 n x n matrices with like row and column sums equal r uniformly weighted. Here we consider the Bernoulli random matrix ensemble where each entry independently has a probability p=r/n of being one, otherwise zero. We denote the expectations of the approximation ensemble of [1] by E, and the expectations of the present approximation ensemble, the Bernoulli random matrix ensemble, by E*. One has for these lim_{r to infinity}( lim_{n to infinity} (1/n) ln(E(perm_m(A))) -lim_{n to infinity} (1/n) ln(E*(perm_m(A))) ) = 0 and lim_{n to infinity} (1/n) ln(E(perm_m(A)perm_m'(A))) = lim_{n to infinity} (1/n) ln(E(perm_m(A))) + lim_{n to infinity} (1/n) ln(E(perm_m'(A))) Here and in all such formulas the subscripts m,m' are assumed proportional to n. It seems likely to us that lim_{r to infinity}( lim_{n to infinity} (1/n) ln(E*(perm_m(A)perm_m'(A))) - lim_{n to infinity} (1/n) ln(E*(perm_m(A))) + - lim_{n to infinity} (1/n) ln(E*(perm_m'(A))) ) = 0 We believe: "E gives us the `correct' expectations in these equations, and E* is only `correct' in the r to infinity limit."

We would desire to have done the calculations of this paper in the measure on nxn matrices that weights uniformly all 0-1 matrices with row and column sum equal to r, other matrices given weight zero. Instead we work with all matrices that are the sum of r independent uniformly weighted permutation matrices, with the hope that the computations we perform give the same result in this measure. We derive the result for limiting expectations lim (1/n)ln(E(perm_m(A) perm_m'(A))) =lim (1/n)ln(E(perm_m(A)))+ +lim (1/n)ln(E(perm_m'(A))) Here the limit is n to infinity, r is fixed, and m and m' are taken as each proportional to n.

Let (lambda_d)(p) be the p monomer-dimer entropy on the d-dimensional integer lattice Z^d, where p in [0,1] is the dimer density. We give upper and lower bounds for (lambda_d)(p) in terms of expressions involving (lambda_(d-1))(q). The upper bound is based on a conjecture claiming that the p monomer-dimer entropy of an infinite subset of Z^d is bounded above by (lambda_d)(p). We compute the first three terms in the formal asymptotic expansion of (lambda_d)(p) in powers of 1/d. We prove that the lower asymptotic matching conjecture is satisfied for (lambda_d)(p).