20,200 research outputs found
Embedding nearly-spanning bounded degree trees
We derive a sufficient condition for a sparse graph G on n vertices to
contain a copy of a tree T of maximum degree at most d on (1-\epsilon)n
vertices, in terms of the expansion properties of G. As a result we show that
for fixed d\geq 2 and 0<\epsilon<1, there exists a constant c=c(d,\epsilon)
such that a random graph G(n,c/n) contains almost surely a copy of every tree T
on (1-\epsilon)n vertices with maximum degree at most d. We also prove that if
an (n,D,\lambda)-graph G (i.e., a D-regular graph on n vertices all of whose
eigenvalues, except the first one, are at most \lambda in their absolute
values) has large enough spectral gap D/\lambda as a function of d and
\epsilon, then G has a copy of every tree T as above
The densest subgraph problem in sparse random graphs
We determine the asymptotic behavior of the maximum subgraph density of large
random graphs with a prescribed degree sequence. The result applies in
particular to the Erd\H{o}s-R\'{e}nyi model, where it settles a conjecture of
Hajek [IEEE Trans. Inform. Theory 36 (1990) 1398-1414]. Our proof consists in
extending the notion of balanced loads from finite graphs to their local weak
limits, using unimodularity. This is a new illustration of the objective method
described by Aldous and Steele [In Probability on Discrete Structures (2004)
1-72 Springer].Comment: Published at http://dx.doi.org/10.1214/14-AAP1091 in the Annals of
Applied Probability (http://www.imstat.org/aap/) by the Institute of
Mathematical Statistics (http://www.imstat.org
On rigidity, orientability and cores of random graphs with sliders
Suppose that you add rigid bars between points in the plane, and suppose that
a constant fraction of the points moves freely in the whole plane; the
remaining fraction is constrained to move on fixed lines called sliders. When
does a giant rigid cluster emerge? Under a genericity condition, the answer
only depends on the graph formed by the points (vertices) and the bars (edges).
We find for the random graph the threshold value of
for the appearance of a linear-sized rigid component as a function of ,
generalizing results of Kasiviswanathan et al. We show that this appearance of
a giant component undergoes a continuous transition for and a
discontinuous transition for . In our proofs, we introduce a
generalized notion of orientability interpolating between 1- and
2-orientability, of cores interpolating between 2-core and 3-core, and of
extended cores interpolating between 2+1-core and 3+2-core; we find the precise
expressions for the respective thresholds and the sizes of the different cores
above the threshold. In particular, this proves a conjecture of Kasiviswanathan
et al. about the size of the 3+2-core. We also derive some structural
properties of rigidity with sliders (matroid and decomposition into components)
which can be of independent interest.Comment: 32 pages, 1 figur
Near-optimal adjacency labeling scheme for power-law graphs
An adjacency labeling scheme is a method that assigns labels to the vertices
of a graph such that adjacency between vertices can be inferred directly from
the assigned label, without using a centralized data structure. We devise
adjacency labeling schemes for the family of power-law graphs. This family that
has been used to model many types of networks, e.g. the Internet AS-level
graph. Furthermore, we prove an almost matching lower bound for this family. We
also provide an asymptotically near- optimal labeling scheme for sparse graphs.
Finally, we validate the efficiency of our labeling scheme by an experimental
evaluation using both synthetic data and real-world networks of up to hundreds
of thousands of vertices
Induced Ramsey-type theorems
We present a unified approach to proving Ramsey-type theorems for graphs with
a forbidden induced subgraph which can be used to extend and improve the
earlier results of Rodl, Erdos-Hajnal, Promel-Rodl, Nikiforov, Chung-Graham,
and Luczak-Rodl. The proofs are based on a simple lemma (generalizing one by
Graham, Rodl, and Rucinski) that can be used as a replacement for Szemeredi's
regularity lemma, thereby giving much better bounds. The same approach can be
also used to show that pseudo-random graphs have strong induced Ramsey
properties. This leads to explicit constructions for upper bounds on various
induced Ramsey numbers.Comment: 30 page
Ising models on locally tree-like graphs
We consider ferromagnetic Ising models on graphs that converge locally to
trees. Examples include random regular graphs with bounded degree and uniformly
random graphs with bounded average degree. We prove that the "cavity"
prediction for the limiting free energy per spin is correct for any positive
temperature and external field. Further, local marginals can be approximated by
iterating a set of mean field (cavity) equations. Both results are achieved by
proving the local convergence of the Boltzmann distribution on the original
graph to the Boltzmann distribution on the appropriate infinite random tree.Comment: Published in at http://dx.doi.org/10.1214/09-AAP627 the Annals of
Applied Probability (http://www.imstat.org/aap/) by the Institute of
Mathematical Statistics (http://www.imstat.org
A Local Algorithm for the Sparse Spanning Graph Problem
Constructing a sparse spanning subgraph is a fundamental primitive in graph
theory. In this paper, we study this problem in the Centralized Local model,
where the goal is to decide whether an edge is part of the spanning subgraph by
examining only a small part of the input; yet, answers must be globally
consistent and independent of prior queries.
Unfortunately, maximally sparse spanning subgraphs, i.e., spanning trees,
cannot be constructed efficiently in this model. Therefore, we settle for a
spanning subgraph containing at most edges (where is the
number of vertices and is a given approximation/sparsity
parameter). We achieve query complexity of
, (-notation hides
polylogarithmic factors in ). where is the maximum degree of the
input graph. Our algorithm is the first to do so on arbitrary bounded degree
graphs. Moreover, we achieve the additional property that our algorithm outputs
a spanner, i.e., distances are approximately preserved. With high probability,
for each deleted edge there is a path of
hops in the output that connects its endpoints
- …