A partial 4-cycle system is a simple graph whose edge set is
decomposed into edge-disjoint 4-cycles. If the graph is complete then we
have a 4-cycle system. The order of a partial 4-cycle system is the number
of vertices in the graph. The question we consider is this: Given a partial
4-cycle system of order n, how many extra vertices must you introduce for
it to be possible to extend to a 4-cycle system , where the vertex set of
is the vertex set of plus the extra vertices? More precisely, given n
what is the value of t such that any partial 4-cycle system of order n can
be embedded in a 4-cycle system of order t.
It has been known for a long while that the order of is at least
. We show that it is at most
.
This improves on the previous best estimate of .