Sumner's Conjecture
   HOME

TheInfoList



OR:

Sumner's conjecture (also called Sumner's universal tournament conjecture) is a conjecture in
extremal graph theory Extremal graph theory is a branch of combinatorics, itself an area of mathematics, that lies at the intersection of extremal combinatorics and graph theory. In essence, extremal graph theory studies how global properties of a graph influence loca ...
on oriented
trees In botany, a tree is a perennial plant with an elongated stem, or trunk, usually supporting branches and leaves. In some usages, the definition of a tree may be narrower, e.g., including only woody plants with secondary growth, only p ...
in
tournaments A tournament is a competition involving at least three competitors, all participating in a sport or game. More specifically, the term may be used in either of two overlapping senses: # One or more competitions held at a single venue and concentr ...
. It states that every
orientation Orientation may refer to: Positioning in physical space * Map orientation, the relationship between directions on a map and compass directions * Orientation (housing), the position of a building with respect to the sun, a concept in building des ...
of every n-vertex
tree In botany, a tree is a perennial plant with an elongated stem, or trunk, usually supporting branches and leaves. In some usages, the definition of a tree may be narrower, e.g., including only woody plants with secondary growth, only ...
is a subgraph of every (2n-2)-vertex tournament. David Sumner, a graph theorist at the
University of South Carolina The University of South Carolina (USC, SC, or Carolina) is a Public university, public research university in Columbia, South Carolina, United States. Founded in 1801 as South Carolina College, It is the flagship of the University of South Car ...
,
conjecture In mathematics, a conjecture is a conclusion or a proposition that is proffered on a tentative basis without proof. Some conjectures, such as the Riemann hypothesis or Fermat's conjecture (now a theorem, proven in 1995 by Andrew Wiles), ha ...
d in 1971 that
tournaments A tournament is a competition involving at least three competitors, all participating in a sport or game. More specifically, the term may be used in either of two overlapping senses: # One or more competitions held at a single venue and concentr ...
are
universal graph In mathematics, a universal graph is an infinite Graph (discrete mathematics), graph that contains ''every'' finite (or at-most-countable) graph as an induced Glossary of graph theory#Subgraphs, subgraph. A universal graph of this type was first c ...
s for
polytree In mathematics, and more specifically in graph theory, a polytree (also called directed tree, oriented tree; . or singly connected network.) is a directed acyclic graph whose underlying undirected graph is a tree. In other words, a polytree is form ...
s. The conjecture was proven for all large n by
Daniela Kühn Daniela Kühn (born 1973) is a German mathematician and the Mason Professor in Mathematics at the University of Birmingham in Birmingham, England.
, Richard Mycroft, and Deryk Osthus.


Examples

Let polytree P be a
star A star is a luminous spheroid of plasma (physics), plasma held together by Self-gravitation, self-gravity. The List of nearest stars and brown dwarfs, nearest star to Earth is the Sun. Many other stars are visible to the naked eye at night sk ...
K_, in which all edges are oriented outward from the central vertex to the leaves. Then, P cannot be embedded in the tournament formed from the vertices of a regular 2n-3-gon by directing every edge clockwise around the polygon. For, in this tournament, every vertex has indegree and outdegree equal to n-2, while the central vertex in P has larger outdegree n-1. Thus, if true, Sumner's conjecture would give the best possible size of a universal graph for polytrees. However, in every tournament of 2n-2 vertices, the average outdegree is n-\frac, and the maximum outdegree is an integer greater than or equal to the average. Therefore, there exists a vertex of outdegree \left\lceil n-\frac\right\rceil=n-1, which can be used as the central vertex for a copy of P.


Partial results

The following partial results on the conjecture have been proven. *There is a function f(n) with asymptotic growth rate f(n)=2n+o(n) with the property that every n-vertex polytree can be embedded as a subgraph of every f(n)-vertex tournament. Additionally and more explicitly, f(n)\le 3n-3. *There is a function g(k) such that tournaments on n+g(k) vertices are universal for polytrees with k leaves. *There is a function h(n,\Delta) such that every n-vertex polytree with maximum degree at most \Delta forms a subgraph of every tournament with h(n,\Delta) vertices. When \Delta is a fixed constant, the asymptotic growth rate of h(n,\Delta) is n+o(n). *Every "near-regular" tournament on 2n-2 vertices contains every n-vertex polytree.. *Every orientation of an n-vertex
caterpillar tree In graph theory, a caterpillar or caterpillar tree is a tree (graph theory), tree in which all the Vertex (graph theory), vertices are within distance 1 of a central Path graph, path. Caterpillars were first studied in a series of papers by Har ...
with
diameter In geometry, a diameter of a circle is any straight line segment that passes through the centre of the circle and whose endpoints lie on the circle. It can also be defined as the longest Chord (geometry), chord of the circle. Both definitions a ...
at most four can be embedded as a subgraph of every (2n-2)-vertex tournament. *Every (2n-2)-vertex tournament contains as a subgraph every n-vertex
arborescence Arborescence refers to any tree-like structure. It may also refer to: * Arborescence (graph theory) * ''Arborescence'' (album), a 1994 album by Ozric Tentacles * ''Arborescence'', a 2013 album by Aaron Parks {{disambiguation ...
.


Related conjectures

conjectured that every orientation of an n-vertex
path graph In the mathematical field of graph theory, a path graph (or linear graph) is a graph whose vertices can be listed in the order such that the edges are where . Equivalently, a path with at least two vertices is connected and has two termina ...
(with n\ge 8) can be embedded as a subgraph into every n-vertex tournament. After partial results by , this was proven by . Havet and Thomassé in turn conjectured a strengthening of Sumner's conjecture, that every tournament on n+k-1 vertices contains as a subgraph every polytree with at most k leaves. This has been confirmed for almost every tree by Mycroft and . conjectured that, whenever a graph G requires 2n-2 or more colors in a coloring of G, then every orientation of G contains every orientation of an n-vertex tree. Because complete graphs require a different color for each vertex, Sumner's conjecture would follow immediately from Burr's conjecture.This is a corrected version of Burr's conjecture from . As Burr showed, orientations of graphs whose chromatic number grows quadratically as a function of n are universal for polytrees.


Notes


References

*. *. As cited by . *. *. *. *. *. *. *. *. *. *. *. *{{citation , last = Wormald , first = Nicholas C. , contribution = Subtrees of large tournaments , doi = 10.1007/BFb0071535 , location = Berlin , mr = 731598 , pages = 417–419 , publisher = Springer , series = Lecture Notes in Math. , title = Combinatorial mathematics, X (Adelaide, 1982) , volume = 1036 , year = 1983, isbn = 978-3-540-12708-6 .


External links


Sumner's Universal Tournament Conjecture (1971)
D. B. West, updated July 2008. Conjectures Unsolved problems in graph theory