Source author record

Aldo Procacci

Aldo Procacci appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

23works
7topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

23 published item(s)

preprint2026arXiv

On the zero-free region for the chromatic polynomial of claw-free graphs with and without induced square and induced diamond

Given a claw-free graph $G=(V,E)$ with maximum degree $Δ$, we define the parameter $κ\in [0,1]$ as $κ={\max_{v\in V}|I_v|\over \lfloorΔ^2/4\rfloor}$ where $I_v$ is the set of all independent pairs in the neighborhood of $v$. We refer to $κ$ as the pair independence ratio of $G$. We prove that for any claw-free graph $G$ with pair independence ratio at most $κ$ the zeros of its chromatic polynomial $P_G(q)$ lie inside the disk $D=\{q\in \mathbb{C}:~|q|< C_κ^0Δ\}$, where $C_κ^0$ is an increasing function of $κ\in [0,1]$. If $G$ is also square-free and diamond free, the function $C_κ^0$ can be replaced by a sharper function $C_κ^1$. These bounds constitute an improvement upon results recently given by Bencs and Regts in ''Improved bounds on the zeros of the chromatic polynomial of graphs and claw-free graphs''.

preprint2020arXiv

Absolute convergence of the free energy of the BEG model in the disordered region for all temperatures

We analyze the d-dimensional Blume-Emery-Griffiths model in the disordered region of parameters and we show that its free energy can be explicitly written in term of a series which is absolutely convergent at any temperature in an unbounded portion of this region. As a byproduct we also obtain an upper bound for the number of d-dimensional fixed polycubes of size n.

preprint2020arXiv

Classical particles in the continuum subjected to high density boundary conditions

We consider a continuous system of classical particles confined in a finite region $Λ$ of $\mathbb{R}^d$ interacting through a superstable and tempered pair potential in presence of non free boundary conditions. We prove that the thermodynamic limit of the pressure of the system at any fixed inverse temperature $β$ and any fixed fugacity $λ$ does not depend on boundary conditions produced by particles outside $Λ$ whose density may increase sub-linearly with the distance from the origin at a rate which depends on how fast the pair potential decays at large distances. In particular, if the pair potential $v(x-y)$ is of Lennard-Jones type, i.e. it decays as $C/\|x-y\|^{d+p}$ (with $p>0$) where $\|x-y\|$ is the Euclidean distance between $x$ and $y$, then the existence of the thermodynamic limit of the pressure is guaranteed in presence of boundary conditions generated by external particles which may be distributed with a density increasing with the distance $r$ from the origin as $ρ(1+ r^q)$, where $ρ$ is any positive constant (even arbitrarily larger than the density $ρ_0(β,λ)$ of the system evaluated with free boundary conditions) and $q\le {1\over 2}\min\{1, p\}$.

preprint2020arXiv

Virial series for a system of classical particles interacting through a pair potential with negative minimum

In this note we revisit the recent developments concerning rigorous results on the virial series of a continuous system of classical particles interacting via a stable and tempered pair potential and we provide new lower bounds for its convergence radius when the potential has a strictly positive stability constant. As an application we obtain a new estimate for the convergence radius of the virial series of the Lennard-Jones gas which improves sensibly previous estimates present in the literature.

preprint2015arXiv

A remark on monotonicity in Bernoulli bond Percolation

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.

preprint2015arXiv

On stable pair potentials with an attractive tail, remarks on two papers by A. G. Basuev

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].

preprint2014arXiv

A continuum limit for the Kronig-Penney model

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$.

preprint2014arXiv

A-priori Upper Bounds for the Set Covering Problem

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.

preprint2014arXiv

Complex zero-free regions at large |q| for multivariate Tutte polynomials (alias Potts-model partition functions) with general complex edge weights

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.

preprint2014arXiv

The Mayer series of the Lennard-Jones gas: improved bounds for the convergence radius

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.

preprint2013arXiv

Continuos particles in the Canonical Ensemble as an abstract polymer gas

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.

preprint2013arXiv

Witness trees in the Moser-Tardos algorithmic Lovász Local Lemma and Penrose trees in the hard core lattice gas

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.

preprint2012arXiv

Percolation on infinite graphs and isoperimetric inequalities

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.

preprint2011arXiv

Improved bounds on coloring of graphs

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}.

preprint2010arXiv

An Improvement of the Lovász Local Lemma via Cluster Expansion

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.

preprint2010arXiv

On the convergence of cluster expansions for polymer gases

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.

preprint2010arXiv

Properly coloured copies and rainbow copies of large graphs with small maximum degree

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].

preprint2009arXiv

Absence of phase transitions in a class of integer spin systems

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.

preprint2009arXiv

Clustering Bounds on N-Point Correlations for Unbounded Spin Systems

We prove clustering estimates for the truncated correlations, i.e., cumulants of an unbounded spin system on the lattice. We provide a unified treatment, based on cluster expansion techniques, of four different regimes: large mass, small interaction between sites, large self-interaction, as well as the more delicate small self-interaction or `low temperature' regime. A clustering estimate in the latter regime is needed for the Bosonic case of the recent result obtained by Lukkarinen and Spohn on the rigorous control on kinetic scales of quantum fluids.