26,313 research outputs found
Logical limit laws for minor-closed classes of graphs
Let be an addable, minor-closed class of graphs. We prove that
the zero-one law holds in monadic second-order logic (MSO) for the random graph
drawn uniformly at random from all {\em connected} graphs in on
vertices, and the convergence law in MSO holds if we draw uniformly at
random from all graphs in on vertices. We also prove analogues
of these results for the class of graphs embeddable on a fixed surface,
provided we restrict attention to first order logic (FO). Moreover, the
limiting probability that a given FO sentence is satisfied is independent of
the surface . We also prove that the closure of the set of limiting
probabilities is always the finite union of at least two disjoint intervals,
and that it is the same for FO and MSO. For the classes of forests and planar
graphs we are able to determine the closure of the set of limiting
probabilities precisely. For planar graphs it consists of exactly 108
intervals, each of length . Finally, we analyse
examples of non-addable classes where the behaviour is quite different. For
instance, the zero-one law does not hold for the random caterpillar on
vertices, even in FO.Comment: minor changes; accepted for publication by JCT
Random graphs from a weighted minor-closed class
There has been much recent interest in random graphs sampled uniformly from
the n-vertex graphs in a suitable minor-closed class, such as the class of all
planar graphs. Here we use combinatorial and probabilistic methods to
investigate a more general model. We consider random graphs from a
`well-behaved' class of graphs: examples of such classes include all
minor-closed classes of graphs with 2-connected excluded minors (such as
forests, series-parallel graphs and planar graphs), the class of graphs
embeddable on any given surface, and the class of graphs with at most k
vertex-disjoint cycles. Also, we give weights to edges and components to
specify probabilities, so that our random graphs correspond to the random
cluster model, appropriately conditioned.
We find that earlier results extend naturally in both directions, to general
well-behaved classes of graphs, and to the weighted framework, for example
results concerning the probability of a random graph being connected; and we
also give results on the 2-core which are new even for the uniform (unweighted)
case.Comment: 46 page
Logical properties of random graphs from small addable classes
We establish zero-one laws and convergence laws for monadic second-order
logic (MSO) (and, a fortiori, first-order logic) on a number of interesting
graph classes. In particular, we show that MSO obeys a zero-one law on the
class of connected planar graphs, the class of connected graphs of tree-width
at most and the class of connected graphs excluding the -clique as a
minor. In each of these cases, dropping the connectivity requirement leads to a
class where the zero-one law fails but a convergence law for MSO still holds
The first order convergence law fails for random perfect graphs
We consider first order expressible properties of random perfect graphs. That
is, we pick a graph uniformly at random from all (labelled) perfect
graphs on vertices and consider the probability that it satisfies some
graph property that can be expressed in the first order language of graphs. We
show that there exists such a first order expressible property for which the
probability that satisfies it does not converge as .Comment: 11 pages. Minor corrections since last versio
Effective Theories for Circuits and Automata
Abstracting an effective theory from a complicated process is central to the
study of complexity. Even when the underlying mechanisms are understood, or at
least measurable, the presence of dissipation and irreversibility in
biological, computational and social systems makes the problem harder. Here we
demonstrate the construction of effective theories in the presence of both
irreversibility and noise, in a dynamical model with underlying feedback. We
use the Krohn-Rhodes theorem to show how the composition of underlying
mechanisms can lead to innovations in the emergent effective theory. We show
how dissipation and irreversibility fundamentally limit the lifetimes of these
emergent structures, even though, on short timescales, the group properties may
be enriched compared to their noiseless counterparts.Comment: 11 pages, 9 figure
First-order logic of uniform attachment random graphs with a given degree
In this paper, we prove the first-order convergence law for the uniform
attachment random graph with almost all vertices having the same degree. In the
considered model, vertices and edges are introduced recursively: at time
we start with a complete graph on vertices. At step the vertex
is introduced together with edges joining the new vertex with
vertices chosen uniformly from those vertices of , whom degree is
less then . To prove the law, we describe the dynamics of the logical
equivalence class of the random graph using Markov chains. The convergence law
follows from the existence of a limit distribution of the considered Markov
chain
- …