38 research outputs found
Matchings on infinite graphs
Elek and Lippner (2010) showed that the convergence of a sequence of
bounded-degree graphs implies the existence of a limit for the proportion of
vertices covered by a maximum matching. We provide a characterization of the
limiting parameter via a local recursion defined directly on the limit of the
graph sequence. Interestingly, the recursion may admit multiple solutions,
implying non-trivial long-range dependencies between the covered vertices. We
overcome this lack of correlation decay by introducing a perturbative parameter
(temperature), which we let progressively go to zero. This allows us to
uniquely identify the correct solution. In the important case where the graph
limit is a unimodular Galton-Watson tree, the recursion simplifies into a
distributional equation that can be solved explicitly, leading to a new
asymptotic formula that considerably extends the well-known one by Karp and
Sipser for Erd\"os-R\'enyi random graphs.Comment: 23 page
Right-convergence of sparse random graphs
The paper is devoted to the problem of establishing right-convergence of
sparse random graphs. This concerns the convergence of the logarithm of number
of homomorphisms from graphs or hyper-graphs \G_N, N\ge 1 to some target
graph . The theory of dense graph convergence, including random dense
graphs, is now well understood, but its counterpart for sparse random graphs
presents some fundamental difficulties. Phrased in the statistical physics
terminology, the issue is the existence of the log-partition function limits,
also known as free energy limits, appropriately normalized for the Gibbs
distribution associated with . In this paper we prove that the sequence of
sparse \ER graphs is right-converging when the tensor product associated with
the target graph satisfies certain convexity property. We treat the case of
discrete and continuous target graphs . The latter case allows us to prove a
special case of Talagrand's recent conjecture (more accurately stated as level
III Research Problem 6.7.2 in his recent book), concerning the existence of the
limit of the measure of a set obtained from by intersecting it with
linearly in many subsets, generated according to some common probability
law.
Our proof is based on the interpolation technique, introduced first by Guerra
and Toninelli and developed further in a series of papers. Specifically, Bayati
et al establish the right-convergence property for Erdos-Renyi graphs for some
special cases of . In this paper most of the results in this paper follow as
a special case of our main theorem.Comment: 22 page
Weighted counting of solutions to sparse systems of equations
Given complex numbers , we define the weight of a
set of 0-1 vectors as the sum of over all
vectors in . We present an algorithm, which for a set
defined by a system of homogeneous linear equations with at most
variables per equation and at most equations per variable, computes
within relative error in time
provided for an absolute constant and all . A similar algorithm is constructed for computing
the weight of a linear code over . Applications include counting
weighted perfect matchings in hypergraphs, counting weighted graph
homomorphisms, computing weight enumerators of linear codes with sparse code
generating matrices, and computing the partition functions of the ferromagnetic
Potts model at low temperatures and of the hard-core model at high fugacity on
biregular bipartite graphs.Comment: The exposition is improved, a couple of inaccuracies correcte