1,427 research outputs found
The random graph
Erd\H{o}s and R\'{e}nyi showed the paradoxical result that there is a unique
(and highly symmetric) countably infinite random graph. This graph, and its
automorphism group, form the subject of the present survey.Comment: Revised chapter for new edition of book "The Mathematics of Paul
Erd\H{o}s
Complex Networks and Symmetry I: A Review
In this review we establish various connections between complex networks and
symmetry. While special types of symmetries (e.g., automorphisms) are studied
in detail within discrete mathematics for particular classes of deterministic
graphs, the analysis of more general symmetries in real complex networks is far
less developed. We argue that real networks, as any entity characterized by
imperfections or errors, necessarily require a stochastic notion of invariance.
We therefore propose a definition of stochastic symmetry based on graph
ensembles and use it to review the main results of network theory from an
unusual perspective. The results discussed here and in a companion paper show
that stochastic symmetry highlights the most informative topological properties
of real networks, even in noisy situations unaccessible to exact techniques.Comment: Final accepted versio
Counting hypergraph matchings up to uniqueness threshold
We study the problem of approximately counting matchings in hypergraphs of
bounded maximum degree and maximum size of hyperedges. With an activity
parameter , each matching is assigned a weight .
The counting problem is formulated as computing a partition function that gives
the sum of the weights of all matchings in a hypergraph. This problem unifies
two extensively studied statistical physics models in approximate counting: the
hardcore model (graph independent sets) and the monomer-dimer model (graph
matchings).
For this model, the critical activity
is the threshold for the uniqueness of Gibbs measures on the infinite
-uniform -regular hypertree. Consider hypergraphs of maximum
degree at most and maximum size of hyperedges at most . We show that
when , there is an FPTAS for computing the partition
function; and when , there is a PTAS for computing the
log-partition function. These algorithms are based on the decay of correlation
(strong spatial mixing) property of Gibbs distributions. When , there is no PRAS for the partition function or the log-partition
function unless NPRP.
Towards obtaining a sharp transition of computational complexity of
approximate counting, we study the local convergence from a sequence of finite
hypergraphs to the infinite lattice with specified symmetry. We show a
surprising connection between the local convergence and the reversibility of a
natural random walk. This leads us to a barrier for the hardness result: The
non-uniqueness of infinite Gibbs measure is not realizable by any finite
gadgets
On the genericity of Whitehead minimality
We show that a finitely generated subgroup of a free group, chosen uniformly
at random, is strictly Whitehead minimal with overwhelming probability.
Whitehead minimality is one of the key elements of the solution of the orbit
problem in free groups. The proofs strongly rely on combinatorial tools,
notably those of analytic combinatorics. The result we prove actually depends
implicitly on the choice of a distribution on finitely generated subgroups, and
we establish it for the two distributions which appear in the literature on
random subgroups
Thresholds in Random Motif Graphs
We introduce a natural generalization of the Erd\H{o}s-R\'enyi random graph
model in which random instances of a fixed motif are added independently. The
binomial random motif graph is the random (multi)graph obtained by
adding an instance of a fixed graph on each of the copies of in the
complete graph on vertices, independently with probability . We
establish that every monotone property has a threshold in this model, and
determine the thresholds for connectivity, Hamiltonicity, the existence of a
perfect matching, and subgraph appearance. Moreover, in the first three cases
we give the analogous hitting time results; with high probability, the first
graph in the random motif graph process that has minimum degree one (or two) is
connected and contains a perfect matching (or Hamiltonian respectively).Comment: 19 page
Percolation on nonunimodular transitive graphs
We extend some of the fundamental results about percolation on unimodular
nonamenable graphs to nonunimodular graphs. We show that they cannot have
infinitely many infinite clusters at critical Bernoulli percolation. In the
case of heavy clusters, this result has already been established, but it also
follows from one of our results. We give a general necessary condition for
nonunimodular graphs to have a phase with infinitely many heavy clusters. We
present an invariant spanning tree with on some nonunimodular graph.
Such trees cannot exist for nonamenable unimodular graphs. We show a new way of
constructing nonunimodular graphs that have properties more peculiar than the
ones previously known.Comment: Published at http://dx.doi.org/10.1214/009117906000000494 in the
Annals of Probability (http://www.imstat.org/aop/) by the Institute of
Mathematical Statistics (http://www.imstat.org
The genus of curve, pants and flip graphs
This article is about the graph genus of certain well studied graphs in
surface theory: the curve, pants and flip graphs. We study both the genus of
these graphs and the genus of their quotients by the mapping class group. The
full graphs, except for in some low complexity cases, all have infinite genus.
The curve graph once quotiented by the mapping class group has the genus of a
complete graph so its genus is well known by a theorem of Ringel and Youngs.
For the other two graphs we are able to identify the precise growth rate of the
graph genus in terms of the genus of the underlying surface. The lower bounds
are shown using probabilistic methods.Comment: 26 pages, 9 figure
Subset currents on free groups
We introduce and study the space of \emph{subset currents} on the free group
. A subset current on is a positive -invariant locally finite
Borel measure on the space of all closed subsets of consisting of at least two points. While ordinary geodesic currents
generalize conjugacy classes of nontrivial group elements, a subset current is
a measure-theoretic generalization of the conjugacy class of a nontrivial
finitely generated subgroup in , and, more generally, in a word-hyperbolic
group. The concept of a subset current is related to the notion of an
"invariant random subgroup" with respect to some conjugacy-invariant
probability measure on the space of closed subgroups of a topological group. If
we fix a free basis of , a subset current may also be viewed as an
-invariant measure on a "branching" analog of the geodesic flow space for
, whose elements are infinite subtrees (rather than just geodesic lines)
of the Cayley graph of with respect to .Comment: updated version; to appear in Geometriae Dedicat
- …