Combinatorial Theory Seminar
|
Tue, 13/10/2009 14:30 |
Louigi Addario-Berry (McGill) |
Combinatorial Theory Seminar |
L3 |
Let be a graph with weights , and assume all weights are distinct. If is finite, then the well-known Prim's algorithm constructs its minimum spanning tree in the following manner. Starting from a single vertex , add the smallest weight edge connecting to any other vertex. More generally, at each step add the smallest weight edge joining some vertex that has already been "explored" (connected by an edge) to some unexplored vertex.
If is infinite, however, Prim's algorithm does not necessarily construct a spanning tree (consider, for example, the case when the underlying graph is the two-dimensional lattice , all weights on horizontal edges are strictly less than and all weights on vertical edges are strictly greater than ).
The behavior of Prim's algorithm for *random* edge weights is an interesting and challenging object of study, even
when the underlying graph is extremely simple. This line of research was initiated by McDiarmid, Johnson and Stone (1996), in the case when the underlying graph is the complete graph . Recently Angel et. al. (2006) have studied Prim's algorithm on regular trees with uniform random edge weights. We study Prim's algorithm on and on its infinitary analogue Aldous' Poisson-weighted infinite tree. Along the way, we uncover two new descriptions of the Poisson IIC, the critical Poisson Galton-Watson tree conditioned to survive forever.
Joint work with Simon Griffiths and Ross Kang. |
|||
|
Tue, 27/10/2009 14:30 |
Stanislav Volkov (Bristol) |
Combinatorial Theory Seminar |
L3 |
The simple harmonic urn is a discrete-time stochastic process on approximating the phase portrait of the harmonic oscillator using very basic transitional probabilities on the lattice, incidentally related to the Eulerian numbers.
This urn which we consider can be viewed as a two-colour generalized Polya urn with negative-positive reinforcements, and in a sense it can be viewed as a “marriage” between the Friedman urn and the OK Corral model, where we restart the process each time it hits the horizontal axes by switching the colours of the balls. We show the transience of the process using various couplings with birth and death processes and renewal processes. It turns out that the simple harmonic urn is just barely transient, as a minor modification of the model makes it recurrent.
We also show links between this model and oriented percolation, as well as some other interesting processes.
This is joint work with E. Crane, N. Georgiou, R. Waters and A. Wade. |
|||
|
Tue, 03/11/2009 14:30 |
Oliver Riordan (Oxford) |
Combinatorial Theory Seminar |
L3 |
One of the main aims in the theory of percolation is to find the `critical probability' above which long range connections emerge from random local connections with a given pattern and certain individual probabilities. The quintessential example is Kesten's result from 1980 that if the edges of the square lattice are selected independently with probability , then long range connections appear if and only if . The starting point is a certain self-duality property, observed already in the early 60s; the difficulty is not in this observation, but in proving that self-duality does imply criticality in this setting.
Since Kesten's result, more complicated duality properties have been used to determine a variety of other critical probabilities. Recently, Scullard and Ziff have described a very general class of self-dual percolation models; we show that for the entire class (in fact, a larger class), self-duality does imply criticality. |
|||
|
Tue, 10/11/2009 14:00 |
Harald Raecke (Warwick) |
Combinatorial Theory Seminar |
L3 |
HTML clipboard
Gupta et al. introduced a very general multi-commodity flow
problem in which the cost of a given flow solution on a graph is
calculated by first computing the link loads via a load-function l, that
describes the load of a link as a function of the flow traversing the link, and
then aggregating the individual link loads into a single number via an
aggregation function.
We show the existence of an oblivious routing scheme with competitive ratio
and a lower bound of for this model when the
aggregation function agg is an -norm.
Our results can also be viewed as a generalization of the
work on approximating metrics by a distribution over dominating tree metrics and
the work on minimum congestion oblivious. We provide a convex combination of
trees such that routing according to the tree distribution approximately
minimizes the -norm of the link loads. The embedding techniques of Bartal and
Fakcharoenphol et al. [FRT03] can be viewed as solving this problem in the
-norm while the result on congestion minmizing oblivious routing solves it
for . We give a single proof that shows the existence of a good
tree-based oblivious routing for any -norm. |
|||
|
Tue, 10/11/2009 14:50 |
Colin McDiarmid (Oxford) |
Combinatorial Theory Seminar |
L3 |
HTML clipboard
Fix a positive integer , and consider the class of all
graphs which do not have vertex-disjoint cycles. A classical result of
Erdos and Pósa says that each such graph contains a blocker of size at most . Here a blocker is a
set of vertices such that has no cycles.
We give a minor extension of this result, and deduce that
almost all such labelled graphs on vertex set have a blocker of
size . This yields an asymptotic counting formula for such graphs; and
allows us to deduce further properties of a graph taken uniformly at
random from the class: we see for example that the probability that is
connected tends to a specified limit as .
There are corresponding results when we consider unlabelled graphs with few
disjoint cycles. We consider also variants of the problem involving for example
disjoint long cycles.
This is joint work with Valentas Kurauskas and Mihyun Kang. |
|||
|
Tue, 10/11/2009 16:30 |
Gregory Sorkin (IBM Research NY) |
Combinatorial Theory Seminar |
SR2 |
HTML clipboard
We introduce a "Polya choice" urn model combining elements
of the well known "power of two choices" model and the "rich get richer" model.
From a set of urns, randomly choose distinct urns with probability
proportional to the product of a power of their occupancies, and
increment one with the smallest occupancy. The model has an interesting phase
transition. If , the urn occupancies are asymptotically equal
with probability 1. For , this still occurs with positive probability,
but there is also positive probability that some urns get only finitely many
balls while others get infinitely many. |
|||
|
Tue, 17/11/2009 14:30 |
Imre Leader (Cambridge) |
Combinatorial Theory Seminar |
L3 |
Given points in general position in the plane, how many of the triangles formed by them can contain the origin? This problem was solved 25 years ago by Boros and Furedi, who used a beautiful translation of the problem to a non-geometric setting. The talk will start with background, including this result, and will then go on to consider what happens in higher dimensions in the geometric and non-geometric cases. |
|||
|
Tue, 24/11/2009 14:30 |
Peter Allen (Warwick) |
Combinatorial Theory Seminar |
L3 |
Zarankiewicz showed that no -free graph with minimum degree exceeding can exist. This was generalised by Erdös and Stone, who showed that may be replaced by any graph with chromatic number at the cost of a term added to the minimum degree.
Andrásfai, Erdös and Sós proved a stability result for Zarankiewicz' theorem: -free graphs with minimum degree exceeding are forced to be -partite. Recently, Alon and Sudakov used the Szemerédi Regularity Lemma to obtain a corresponding stability result for the Erdös-Stone theorem; however this result was not best possible. I will describe a simpler proof (avoiding the Regularity Lemma) of a stronger result which is conjectured to be best possible. |
|||

be a graph with weights
, and assume all weights are distinct. If
is finite, then the well-known Prim's algorithm constructs its minimum spanning tree in the following manner. Starting from a single vertex
, add the smallest weight edge connecting
, all weights on horizontal edges are strictly less than
and all weights on vertical edges are strictly greater than
. Recently Angel et. al. (2006) have studied Prim's algorithm on regular trees with uniform random edge weights. We study Prim's algorithm on
approximating the phase portrait of the harmonic oscillator using very basic transitional probabilities on the lattice, incidentally related to the Eulerian numbers.
This urn which we consider can be viewed as a two-colour generalized Polya urn with negative-positive reinforcements, and in a sense it can be viewed as a “marriage” between the Friedman urn and the OK Corral model, where we restart the process each time it hits the horizontal axes by switching the colours of the balls. We show the transience of the process using various couplings with birth and death processes and renewal processes. It turns out that the simple harmonic urn is just barely transient, as a minor modification of the model makes it recurrent.
We also show links between this model and oriented percolation, as well as some other interesting processes.
This is joint work with E. Crane, N. Georgiou, R. Waters and A. Wade.
, then long range connections appear if and only if
. The starting point is a certain self-duality property, observed already in the early 60s; the difficulty is not in this observation, but in proving that self-duality does imply criticality in this setting.
Since Kesten's result, more complicated duality properties have been used to determine a variety of other critical probabilities. Recently, Scullard and Ziff have described a very general class of self-dual percolation models; we show that for the entire class (in fact, a larger class), self-duality does imply criticality.
norm
and a lower bound of
for this model when the
aggregation function agg is an
-norm while the result on congestion minmizing oblivious routing solves it
for
. We give a single proof that shows the existence of a good
tree-based oblivious routing for any
, and consider the class of all
graphs which do not have
vertex-disjoint cycles. A classical result of
Erdos and Pósa says that each such graph
. Here a blocker is a
set
of vertices such that
has no cycles.
We give a minor extension of this result, and deduce that
almost all such labelled graphs on vertex set
have a blocker of
size
taken uniformly at
random from the class: we see for example that the probability that
.
There are corresponding results when we consider unlabelled graphs with few
disjoint cycles. We consider also variants of the problem involving for example
disjoint long cycles.
This is joint work with Valentas Kurauskas and Mihyun Kang.
distinct urns with probability
proportional to the product of a power
of their occupancies, and
increment one with the smallest occupancy. The model has an interesting phase
transition. If
, the urn occupancies are asymptotically equal
with probability 1. For
, this still occurs with positive probability,
but there is also positive probability that some urns get only finitely many
balls while others get infinitely many.
points in general position in the plane, how many of the triangles formed by them can contain the origin? This problem was solved 25 years ago by Boros and Furedi, who used a beautiful translation of the problem to a non-geometric setting. The talk will start with background, including this result, and will then go on to consider what happens in higher dimensions in the geometric and non-geometric cases.
-free graphs are almost
-partite
-free graph with minimum degree exceeding
can exist. This was generalised by Erdös and Stone, who showed that
at the cost of a
term added to the minimum degree.
Andrásfai, Erdös and Sós proved a stability result for Zarankiewicz' theorem:
are forced to be
-partite. Recently, Alon and Sudakov used the Szemerédi Regularity Lemma to obtain a corresponding stability result for the Erdös-Stone theorem; however this result was not best possible. I will describe a simpler proof (avoiding the Regularity Lemma) of a stronger result which is conjectured to be best possible.