395 research outputs found
Realization of aperiodic subshifts and uniform densities in groups
A theorem of Gao, Jackson and Seward, originally conjectured to be false by
Glasner and Uspenskij, asserts that every countable group admits a
-coloring. A direct consequence of this result is that every countable group
has a strongly aperiodic subshift on the alphabet . In this article,
we use Lov\'asz local lemma to first give a new simple proof of said theorem,
and second to prove the existence of a -effectively closed strongly
aperiodic subshift for any finitely generated group . We also study the
problem of constructing subshifts which generalize a property of Sturmian
sequences to finitely generated groups. More precisely, a subshift over the
alphabet has uniform density if for every
configuration the density of 's in any increasing sequence of balls
converges to . We show a slightly more general result which implies
that these subshifts always exist in the case of groups of subexponential
growth.Comment: minor typos correcte
Problems in extremal graph theory
We consider a variety of problems in extremal graph and set theory.
The {\em chromatic number} of , , is the smallest integer
such that is -colorable.
The {\it square} of , written , is the supergraph of in which also
vertices within distance 2 of each other in are adjacent.
A graph is a {\it minor} of if
can be obtained from a subgraph of by contracting edges.
We show that the upper bound for
conjectured by Wegner (1977) for planar graphs
holds when is a -minor-free graph.
We also show that is equal to the bound
only when contains a complete graph of that order.
One of the central problems of extremal hypergraph theory is
finding the maximum number of edges in a hypergraph
that does not contain a specific forbidden structure.
We consider as a forbidden structure a fixed number of members
that have empty common intersection
as well as small union.
We obtain a sharp upper bound on the size of uniform hypergraphs
that do not contain this structure,
when the number of vertices is sufficiently large.
Our result is strong enough to imply the same sharp upper bound
for several other interesting forbidden structures
such as the so-called strong simplices and clusters.
The {\em -dimensional hypercube}, ,
is the graph whose vertex set is and
whose edge set consists of the vertex pairs
differing in exactly one coordinate.
The generalized Tur\'an problem asks for the maximum number
of edges in a subgraph of a graph that does not contain
a forbidden subgraph .
We consider the Tur\'an problem where is and
is a cycle of length with .
Confirming a conjecture of Erd{\H o}s (1984),
we show that the ratio of the size of such a subgraph of
over the number of edges of is ,
i.e. in the limit this ratio approaches 0
as approaches infinity
Acyclic edge-coloring using entropy compression
An edge-coloring of a graph G is acyclic if it is a proper edge-coloring of G
and every cycle contains at least three colors. We prove that every graph with
maximum degree Delta has an acyclic edge-coloring with at most 4 Delta - 4
colors, improving the previous bound of 9.62 (Delta - 1). Our bound results
from the analysis of a very simple randomised procedure using the so-called
entropy compression method. We show that the expected running time of the
procedure is O(mn Delta^2 log Delta), where n and m are the number of vertices
and edges of G. Such a randomised procedure running in expected polynomial time
was only known to exist in the case where at least 16 Delta colors were
available. Our aim here is to make a pedagogic tutorial on how to use these
ideas to analyse a broad range of graph coloring problems. As an application,
also show that every graph with maximum degree Delta has a star coloring with 2
sqrt(2) Delta^{3/2} + Delta colors.Comment: 13 pages, revised versio
- …