arXiv subjects
Publications and source records attributed to Aldo Procacci.
We present new lower bounds for the size of perfect and separating hash families ensuring their existence. Such new bounds are based on the algorithmic Cluster expansion improved version of the Lovász Local Lemma, which also implies that the Moser-Tardos algorithm finds such hash families in polynomial time.
We establish new lower bounds for the convergence radius of the Mayer series and the Virial series of a continuous particle system interacting via a stable and tempered pair potential. Our bounds considerably improve those given by Penrose and Ruelle in 1963 for the Mayer series and by Lebowitz and Penrose in 1964 for the Virial series. To get our results we exploit the tree-graph identity given by Penrose in 1967 using a new partition scheme based on minumum spanning trees.
We construct a parallel stochastic dynamics with invariant measure converging to the Gibbs measure of the low temperature Ising model. The proof of such convergence requires a polymer expansion based on suitably defined Peierls-type contours.
We revisit two old and apparently little known papers by Basuev [2] [3] and show that the results contained there yield strong improvements on current lower bounds of the convergence radius of the Mayer series for continuous particle systems interacting via a very large class of stable and tempered potentials which includes the Lennard-Jones type potentials. In particular we analyze the case of the classical Lennard-Jones gas under the light of the Basuev scheme and, using also some new results [33] on this model recently obtained by one of us, we provide a new lower bound for the Mayer series convergence radius of the classical Lennard-Jones gas which improves by a factor of the order $10^5$ on the current best lower bound recently obtained in [17].
Consider an anisotropic independent bond percolation model on the $d$-dimensional hypercubic lattice, $d\geq 2$, with parameter $p$. We show that the two point connectivity function $P_{p}(\{(0,\dots,0)\leftrightarrow (n,0,\dots,0)\})$ is a monotone function in $n$ when the parameter $p$ is close enough to 0. Analogously, we show that truncated connectivity function $P_{p}(\{(0,\dots,0)\leftrightarrow (n,0,\dots,0), (0,\dots,0)\nleftrightarrow\infty\})$ is also a monotone function in $n$ when $p$ is close to 1.
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 investigate the transmission properties of a quantum one-dimensional periodic system of fixed length $L$, with $N$ barriers of constant height $V$ and width $λ$, and $N$ wells of width $δ$. In particular, we study the behaviour of the transmission coefficient in the limit $N\to \infty$, with $L$ fixed. This is achieved by letting $δ$ and $λ$ both scale as $1/N$, in such a way that their ratio $γ= λ/δ$ is a fixed parameter characterizing the model. In this continuum limit the multi-barrier system behaves as it were constituted by a unique barrier of constant height $E_o=(γV)/(1+γ)$. The analysis of the dispersion relation of the model shows the presence of forbidden energy bands at any finite $N$.
We provide a lower bound for the convergence radius of the Mayer series of the Lennard-Jones gas which strongly improves on the classical bound obtained by Penrose and Ruelle 1963. To obtain this result we use an alternative estimate recently proposed by Morais et al. (J. Stat. Phys. 2014) for a restricted class of stable and tempered pair potentials (namely those which can be written as the sum of a non-negative potential plus an absolutely integrable and stable potential) combined with a method developed by Locatelli and Schoen (J. Glob. Optim. 2002) for establishing a lower bound for the minimal interatomic distance between particles interacting via a Morse potential in a cluster of minimum-energy configurations.
In this paper we present a new bound obtained with the probabilistic method for the solution of the Set Covering problem with unit costs. The bound is valid for problems of fixed dimension, thus extending previous similar asymptotic results, and it depends only on the number of rows of the coefficient matrix and the row densities. We also consider the particular case of matrices that are \textit{almost} block decomposable, and show how the bound may improve according to the particular decomposition adopted. Such final result may provide interesting indications for comparing different matrix decomposition strategies.
We revisit an old tree graph formula, namely the Brydges-Federbush tree identity, and use it to get new bounds for the convergence radius of the Mayer series for gases of continuous particles interacting via non absolutely summable pair potentials with an attractive tail including Lennard-Jones type pair potentials.
We point out a close connection between the Moser-Tardos algorithmic version of the Lovász Local Lemma, a central tool in probabilistic combinatorics, and the cluster expansion of the hard core lattice gas in statistical mechanics. We show that the notion of witness trees given by Moser and Tardos is essentially coincident with that of Penrose trees in the Cluster expansion scheme of the hard core gas. Such an identification implies that the Moser Tardos algorithm is successful in a polynomial time if the Cluster expansion converges.
We revisit the expansion recently proposed by Pulvirenti and Tsagkarogiannis for a system of $N$ continuous particles in the canonical ensemble. Under the sole assumption that the particles interact via a tempered and stable pair potential and are subjected to the usual free boundary conditions, we show the analyticity of the Helmholtz free energy at low densities and, using the Penrose tree graph identity, we establish a lower bound for the convergence radius which happens to be identical to the lower bound of the convergence radius of the virial series in the grand canonical ensemble established by Lebowitz and Penrose in 1964. We also show that the (Helmholtz) free energy can be written as a series in power of the density whose $k$ order coefficient coincides, modulo terms $o(N)/N$, with the $k$-order virial coefficient divided by $k+1$, according to its expression in terms of the $m$-order (with $m\le k+1$) simply connected cluster integrals first given by Mayer in 1942. We finally give an upper bound for the $k$-order virial coefficient which slightly improves, at high temperatures, the bound obtained by Lebowitz and Penrose.
We consider the Bernoulli bond percolation process (with parameter $p$) on infinite graphs and we give a general criterion for bounded degree graphs to exhibit a non-trivial percolation threshold based either on a single isoperimetric inequality if the graph has a bi-infinite geodesic, or two isoperimetric inequalities if the graph has not a bi-infinite geodesic. This new criterion extends previous criteria and brings together a large class of amenable graphs (such as regular lattices) and non-amenable graphs (such trees). We also study the finite connectivity in graphs satisfying the new general criterion and show that graphs in this class with a bi-infinite geodesic always have finite connectivity functions with exponential decay as $p$ is sufficiently close to one. On the other hand, we show that there are graphs in the same class with no bi-infinite geodesic for which the finite connectivity decays sub-exponentially (down to polynomially) in the highly supercritical phase even for $p$ arbitrarily close to one.
Given a graph $G$ with maximum degree $Δ\ge 3$, we prove that the acyclic edge chromatic number $a'(G)$ of $G$ is such that $a'(G)\le\lceil 9.62 (Δ-1)\rceil$. Moreover we prove that: $a'(G)\le \lceil 6.42(Δ-1)\rceil$ if $G$ has girth $g\ge 5\,$; $a'(G)\le \lceil5.77 (Δ-1)\rc$ if $G$ has girth $g\ge 7$; $a'(G)\le \lc4.52(\D-1)\rc$ if $g\ge 53$; $a'(G)\le \D+2\,$ if $g\ge \lceil25.84\D\log\D(1+ 4.1/\log\D)\rceil$. We further prove that the acyclic (vertex) chromatic number $a(G)$ of $G$ is such that $a(G)\le \lc 6.59 Δ^{4/3}+3.3\D\rc$. We also prove that the star-chromatic number $χ_s(G)$ of $G$ is such that $χ_s(G)\le \lc4.34Δ^{3/2}+ 1.5\D\rc$. We finally prove that the $\b$-frugal chromatic number $χ^\b(G)$ of $G$ is such that $χ^\b(G)\le \lc\max\{k_1(\b)\D,\; k_2(\b){\D^{1+1/\b}/ (\b!)^{1/\b}}\}\rc$, where $k_1(\b)$ and $k_2(\b)$ are decreasing functions of $\b$ such that $k_1(\b)\in[4, 6]$ and $k_2(\b)\in[2,5]$. To obtain these results we use an improved version of the Lovász Local Lemma due to Bissacot, Fernández, Procacci and Scoppola \cite{BFPS}.
Let G be a graph on n vertices with maximum degree D. We use the Lovász local lemma to show the following two results about colourings c of the edges of the complete graph K_n. If for each vertex v of K_n the colouring c assigns each colour to at most (n-2)/22.4D^2 edges emanating from v, then there is a copy of G in K_n which is properly edge-coloured by c. This improves on a result of Alon, Jiang, Miller, and Pritikin [Random Struct. Algorithms 23(4), 409-433, 2003]. On the other hand, if c assigns each colour to at most n/51D^2 edges of K_n, then there is a copy of G in K_n such that each edge of G receives a different colour from c. This proves a conjecture of Frieze and Krivelevich [Electron. J. Comb. 15(1), R59, 2008]. Our proofs rely on a framework developed by Lu and Székely [Electron. J. Comb. 14(1), R63, 2007] for applying the local lemma to random injections. In order to improve the constants in our results we use a version of the local lemma due to Bissacot, Fernández, Procacci, and Scoppola [preprint, arXiv:0910.1824].
An old result by Shearer relates the Lovász Local Lemma with the independent set polynomial on graphs, and consequently, as observed by Scott and Sokal, with the partition function of the hard core lattice gas on graphs. We use this connection and a recent result on the analyticity of the logarithm of the partition function of the abstract polymer gas to get an improved version of the Lovász Local Lemma. As applications we obtain tighter bounds on conditions for the existence of latin transversal matrices and the satisfiability of k-SAT forms.
We compare the different convergence criteria available for cluster expansions of polymer gases subjected to hard-core exclusions, with emphasis on polymers defined as finite subsets of a countable set (e.g. contour expansions and more generally high- and low-temperature expansions). In order of increasing strength, these criteria are: (i) Dobrushin criterion, obtained by a simple inductive argument; (ii) Gruber-Kunz criterion obtained through the use of Kirkwood-Salzburg equations, and (iii) a criterion obtained by two of us via a direct combinatorial handling of the terms of the expansion. We show that for subset polymers our sharper criterion can be proven both by a suitable adaptation of Dobrushin inductive argument and by an alternative --in fact, more elementary-- handling of the Kirkwood-Salzburg equations. In addition we show that for general abstract polymers this alternative treatment leads to the same convergence region as the inductive Dobrushin argument and, furthermore, to a systematic way to improve bounds on correlations.
We exhibit a class of integer spin systems whose free energy can be written in term of an absolutely convergent series at any temperature. This class includes spin systems on $\Z^d$ interacting through infinite range pair potential polynomially decaying at large distances $r$ at a rate $1/r^{d+\e}$ with $\e>0$. It also contains the Blume-Emery-Griffiths model in the disordered phase at large values of the crystal field.