531 research outputs found
Completion and deficiency problems
Given a partial Steiner triple system (STS) of order , what is the order
of the smallest complete STS it can be embedded into? The study of this
question goes back more than 40 years. In this paper we answer it for
relatively sparse STSs, showing that given a partial STS of order with at
most triples, it can always be embedded into a complete
STS of order , which is asymptotically optimal. We also obtain
similar results for completions of Latin squares and other designs.
This suggests a new, natural class of questions, called deficiency problems.
Given a global spanning property and a graph , we define the
deficiency of the graph with respect to the property to be
the smallest positive integer such that the join has property
. To illustrate this concept we consider deficiency versions of
some well-studied properties, such as having a -decomposition,
Hamiltonicity, having a triangle-factor and having a perfect matching in
hypergraphs.
The main goal of this paper is to propose a systematic study of these
problems; thus several future research directions are also given
Vertex covering with monochromatic pieces of few colours
In 1995, Erd\H{o}s and Gy\'arf\'as proved that in every -colouring of the
edges of , there is a vertex cover by monochromatic paths of
the same colour, which is optimal up to a constant factor. The main goal of
this paper is to study the natural multi-colour generalization of this problem:
given two positive integers , what is the smallest number
such that in every colouring of the edges of with
colours, there exists a vertex cover of by
monochromatic paths using altogether at most different colours? For fixed
integers and as , we prove that , where is the chromatic number of
the Kneser gr aph . More generally, if one replaces by
an arbitrary -vertex graph with fixed independence number , then we
have , where this time around is the
chromatic number of the Kneser hypergraph . This
result is tight in the sense that there exist graphs with independence number
for which . This is in sharp
contrast to the case , where it follows from a result of S\'ark\"ozy
(2012) that depends only on and , but not on
the number of vertices. We obtain similar results for the situation where
instead of using paths, one wants to cover a graph with bounded independence
number by monochromatic cycles, or a complete graph by monochromatic
-regular graphs
An asymptotic multipartite Kühn-Osthus theorem
In this paper we prove an asymptotic multipartite version of a well-known theorem of K¨uhn and Osthus by establishing, for any graph H with chromatic number r, the asymptotic multipartite minimum degree threshold which ensures that a large r-partite graph G admits a perfect H-tiling. We also give the threshold for an H-tiling covering all but a linear number of vertices of G, in a multipartite analogue of results of Koml´os and of Shokoufandeh and Zhao
A Geometric Theory for Hypergraph Matching
We develop a theory for the existence of perfect matchings in hypergraphs
under quite general conditions. Informally speaking, the obstructions to
perfect matchings are geometric, and are of two distinct types: 'space
barriers' from convex geometry, and 'divisibility barriers' from arithmetic
lattice-based constructions. To formulate precise results, we introduce the
setting of simplicial complexes with minimum degree sequences, which is a
generalisation of the usual minimum degree condition. We determine the
essentially best possible minimum degree sequence for finding an almost perfect
matching. Furthermore, our main result establishes the stability property:
under the same degree assumption, if there is no perfect matching then there
must be a space or divisibility barrier. This allows the use of the stability
method in proving exact results. Besides recovering previous results, we apply
our theory to the solution of two open problems on hypergraph packings: the
minimum degree threshold for packing tetrahedra in 3-graphs, and Fischer's
conjecture on a multipartite form of the Hajnal-Szemer\'edi Theorem. Here we
prove the exact result for tetrahedra and the asymptotic result for Fischer's
conjecture; since the exact result for the latter is technical we defer it to a
subsequent paper.Comment: Accepted for publication in Memoirs of the American Mathematical
Society. 101 pages. v2: minor changes including some additional diagrams and
passages of expository tex
Revolutionaries and spies: Spy-good and spy-bad graphs
We study a game on a graph played by {\it revolutionaries} and
{\it spies}. Initially, revolutionaries and then spies occupy vertices. In each
subsequent round, each revolutionary may move to a neighboring vertex or not
move, and then each spy has the same option. The revolutionaries win if of
them meet at some vertex having no spy (at the end of a round); the spies win
if they can avoid this forever.
Let denote the minimum number of spies needed to win. To
avoid degenerate cases, assume |V(G)|\ge r-m+1\ge\floor{r/m}\ge 1. The easy
bounds are then \floor{r/m}\le \sigma(G,m,r)\le r-m+1. We prove that the
lower bound is sharp when has a rooted spanning tree such that every
edge of not in joins two vertices having the same parent in . As a
consequence, \sigma(G,m,r)\le\gamma(G)\floor{r/m}, where is the
domination number; this bound is nearly sharp when .
For the random graph with constant edge-probability , we obtain constants
and (depending on and ) such that is near the
trivial upper bound when and at most times the trivial lower
bound when . For the hypercube with , we have
when , and for at least spies are
needed.
For complete -partite graphs with partite sets of size at least , the
leading term in is approximately
when . For , we have
\sigma(G,2,r)=\bigl\lceil{\frac{\floor{7r/2}-3}5}\bigr\rceil and
\sigma(G,3,r)=\floor{r/2}, and in general .Comment: 34 pages, 2 figures. The most important changes in this revision are
improvements of the results on hypercubes and random graphs. The proof of the
previous hypercube result has been deleted, but the statement remains because
it is stronger for m<52. In the random graph section we added a spy-strategy
resul
Holographic quantum error-correcting codes: Toy models for the bulk/boundary correspondence
We propose a family of exactly solvable toy models for the AdS/CFT
correspondence based on a novel construction of quantum error-correcting codes
with a tensor network structure. Our building block is a special type of tensor
with maximal entanglement along any bipartition, which gives rise to an
isometry from the bulk Hilbert space to the boundary Hilbert space. The entire
tensor network is an encoder for a quantum error-correcting code, where the
bulk and boundary degrees of freedom may be identified as logical and physical
degrees of freedom respectively. These models capture key features of
entanglement in the AdS/CFT correspondence; in particular, the Ryu-Takayanagi
formula and the negativity of tripartite information are obeyed exactly in many
cases. That bulk logical operators can be represented on multiple boundary
regions mimics the Rindler-wedge reconstruction of boundary operators from bulk
operators, realizing explicitly the quantum error-correcting features of
AdS/CFT recently proposed by Almheiri et. al in arXiv:1411.7041.Comment: 40 Pages + 25 Pages of Appendices. 38 figures. Typos and
bibliographic amendments and minor correction
- …