Showing 1–15 of 15 results for author: Federbush, P

On the Pernici-Wanless Expansion for the Entropy ( and Virial Coefficients ) of a Dimer Gas on an Infinite Regular Lattice

Authors: Paul Federbush

Abstract: 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… ▽ More 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. △ Less

Submitted 17 February, 2022; v1 submitted 1 February, 2022; originally announced February 2022.

Comments: 16 pages, LaTeX, a Maple program

Random Regular Bipartite Graphs Satisfy Weak Virial Positivity, for a Large Range of the Parameters

Authors: Paul Federbush

Abstract: 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 p… ▽ More 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. △ Less

Submitted 23 August, 2022; v1 submitted 11 July, 2021; originally announced July 2021.

Comments: 5 pages, increased region of validity from results in reference [7]

Four Amazing Positivities with Dimers/i-Matchings

Authors: Paul Federbush

Abstract: 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 appeti… ▽ More 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.) △ Less

Submitted 14 October, 2022; v1 submitted 22 May, 2021; originally announced May 2021.

Comments: 4 pages, New results based on integer arithmetic computer calculations reported in reference 12, some embarrassing corrections

A PROOF of Weak Graph Positivity, for a Large Range of the Parameters

Authors: Paul Federbush

Abstract: 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… ▽ More 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. △ Less

Submitted 8 May, 2022; v1 submitted 20 December, 2020; originally announced December 2020.

Comments: 18 pages, basic corrections to Appendix B, some computer proofs, appendix with work of Robin Chapman. added range of validity from new paper on mp_arc but not arXiv. arXiv admin note: text overlap with arXiv:1710.00357

The Genius Conjectures (via Bell Polynomials)

Authors: Paul Federbush

Abstract: 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 fu… ▽ More 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. △ Less

Submitted 4 February, 2020; originally announced February 2020.

Comments: 6 pages, challenge to prove conjectures

A Set of Conjectured Identities for Stirling Numbers of the First Kind

Authors: Paul Federbush

Abstract: 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. 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. △ Less

Submitted 28 August, 2018; originally announced August 2018.

Comments: 3 pages

Regular Bipartite Lattices with Large Values of Theta_2,2,2/C_4

Authors: Paul Federbush

Abstract: 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. 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. △ Less

Submitted 22 January, 2018; v1 submitted 2 December, 2017; originally announced December 2017.

Comments: 4 pages, a better counterexample, a 3-d lattice, asks: what is a lattice in statistical mechanics

A Near Proof of Weak Graph Positivity, A New Property of Random Regular Graphs

Authors: Paul Federbush

Abstract: 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 positivi… ▽ More 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. △ Less

Submitted 8 September, 2019; v1 submitted 1 October, 2017; originally announced October 2017.

Comments: 9 pages, revised to assume basic conjecture ( computer tested ) and numerous improvements

On the Approximate Asymptotic Statistical Independence of the Permanents of 0-1 Matrices

Authors: Paul Federbush

Abstract: 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… ▽ More 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)). △ Less

Submitted 3 September, 2017; v1 submitted 4 May, 2017; originally announced May 2017.

Comments: 8 pages

A Mysterious Cluster Expansion Associated to the Expectation Value of the Permanent of 0-1 Matrices

Authors: Paul Federbush

Abstract: 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 expectatio… ▽ More 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. △ Less

Submitted 15 May, 2023; v1 submitted 4 July, 2016; originally announced July 2016.

Comments: 8 pages, exegesis of eq(16), great progress in theory and computation compared to published version

Journal ref: Jour Stat Phys 167 No. 6 p.1489 (2017)

Asymptotic Behavior of the Expectation Value of Permanent Products, a Sequel

Authors: Paul Federbush

Abstract: 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 exp… ▽ More 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." △ Less

Submitted 12 April, 2016; originally announced April 2016.

Comments: 6 pages

Asymptotic Behavior of the Expectation Value of Permanent Products

Authors: Paul Federbush

Abstract: 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 de… ▽ More 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. △ Less

Submitted 24 July, 2014; originally announced July 2014.

Comments: 8 pages

Existence of Magnetic Compressible Fluid Stars

Authors: Paul Federbush, Tao Luo, Joel Smoller

Abstract: The existence of magnetic star solutions which are axi-symmetric stationary solutions for the Euler-Poisson system of compressible fluids coupled to a magnetic field is proved in this paper by a variational method. Our method of proof consists of deriving an elliptic equation for the magnetic potential in cylindrical coordinates in $\mathbb{R}^3$, and obtaining the estimates of the Green's functio… ▽ More The existence of magnetic star solutions which are axi-symmetric stationary solutions for the Euler-Poisson system of compressible fluids coupled to a magnetic field is proved in this paper by a variational method. Our method of proof consists of deriving an elliptic equation for the magnetic potential in cylindrical coordinates in $\mathbb{R}^3$, and obtaining the estimates of the Green's function for this elliptic equation by transforming it to 5-Laplacian. △ Less

Submitted 2 February, 2014; originally announced February 2014.

An Asymptotic Expansion and Recursive Inequalities for the Monomer-Dimer Problem

Authors: Paul Federbush, Shmuel Friedland

Abstract: 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… ▽ More 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). △ Less

Submitted 26 February, 2011; v1 submitted 30 November, 2010; originally announced November 2010.

Comments: 15 pages, much more about d=1,2,3

Journal ref: Journal of Statistical Physics: Volume 143, Issue 2 (2011), p. 306

e to the A, in a New Way

Authors: Paul Federbush

Abstract: Apparently new expressions are given for the exponential of a hermitian matrix,A, in the 2x2,3x3,and 4x4 cases. Replacing A by iA these are explicit formulas for the Fourier transform of exp(iA). Apparently new expressions are given for the exponential of a hermitian matrix,A, in the 2x2,3x3,and 4x4 cases. Replacing A by iA these are explicit formulas for the Fourier transform of exp(iA). △ Less

Submitted 20 April, 1999; v1 submitted 3 March, 1999; originally announced March 1999.

Comments: 5 pages, added some details