Sumner's conjecture

<h2 id="examples">Examples</h2>
Let polytree 
 
 
 
 P
 
 
 {\displaystyle P}
 
 be a <a href="/facts/Star_(graph_theory)/PNW0H6eK">star</a> 
 
 
 
 
 K
 
 1
 ,
 n
 −
 1
 
 
 
 
 {\displaystyle K_{1,n-1}}
 
, in which all edges are oriented outward from the central vertex to the leaves. Then, 
 
 
 
 P
 
 
 {\displaystyle P}
 
 cannot be embedded in the tournament formed from the vertices of a regular 
 
 
 
 2
 n
 −
 3
 
 
 {\displaystyle 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
 
 
 {\displaystyle n-2}
 
, while the central vertex in 
 
 
 
 P
 
 
 {\displaystyle P}
 
 has larger outdegree 
 
 
 
 n
 −
 1
 
 
 {\displaystyle n-1}
 
.<a class="footnote-ref" id="fnref:3" href="#fn:3">3</a> Thus, if true, Sumner's conjecture would give the best possible size of a universal graph for polytrees.
However, in every tournament of 
 
 
 
 2
 n
 −
 2
 
 
 {\displaystyle 2n-2}
 
 vertices, the average outdegree is 
 
 
 
 n
 −
 
 
 3
 2
 
 
 
 
 {\displaystyle n-{\frac {3}{2}}}
 
, and the maximum outdegree is an integer greater than or equal to the average. Therefore, there exists a vertex of outdegree 
 
 
 
 
 ⌈
 
 n
 −
 
 
 3
 2
 
 
 
 ⌉
 
 =
 n
 −
 1
 
 
 {\displaystyle \left\lceil n-{\frac {3}{2}}\right\rceil =n-1}
 
, which can be used as the central vertex for a copy of 
 
 
 
 P
 
 
 {\displaystyle P}
 
.

<h2 id="partial-results">Partial results</h2>
The following partial results on the conjecture have been proven.

<ul><li>There is a function 
 
 
 
 f
 (
 n
 )
 
 
 {\displaystyle f(n)}
 
 with asymptotic growth rate 
 
 
 
 f
 (
 n
 )
 =
 2
 n
 +
 o
 (
 n
 )
 
 
 {\displaystyle f(n)=2n+o(n)}
 
 with the property that every 
 
 
 
 n
 
 
 {\displaystyle n}
 
-vertex polytree can be embedded as a subgraph of every 
 
 
 
 f
 (
 n
 )
 
 
 {\displaystyle f(n)}
 
-vertex tournament. Additionally and more explicitly, 
 
 
 
 f
 (
 n
 )
 ≤
 3
 n
 −
 3
 
 
 {\displaystyle f(n)\leq 3n-3}
 
.<a class="footnote-ref" id="fnref:4" href="#fn:4">4</a></li>
<li>There is a function 
 
 
 
 g
 (
 k
 )
 
 
 {\displaystyle g(k)}
 
 such that tournaments on 
 
 
 
 n
 +
 g
 (
 k
 )
 
 
 {\displaystyle n+g(k)}
 
 vertices are universal for polytrees with 
 
 
 
 k
 
 
 {\displaystyle k}
 
 leaves.<a class="footnote-ref" id="fnref:5" href="#fn:5">5</a></li>
<li>There is a function 
 
 
 
 h
 (
 n
 ,
 Δ
 )
 
 
 {\displaystyle h(n,\Delta )}
 
 such that every 
 
 
 
 n
 
 
 {\displaystyle n}
 
-vertex polytree with maximum degree at most 
 
 
 
 Δ
 
 
 {\displaystyle \Delta }
 
 forms a subgraph of every tournament with 
 
 
 
 h
 (
 n
 ,
 Δ
 )
 
 
 {\displaystyle h(n,\Delta )}
 
 vertices. When 
 
 
 
 Δ
 
 
 {\displaystyle \Delta }
 
 is a fixed constant, the asymptotic growth rate of 
 
 
 
 h
 (
 n
 ,
 Δ
 )
 
 
 {\displaystyle h(n,\Delta )}
 
 is 
 
 
 
 n
 +
 o
 (
 n
 )
 
 
 {\displaystyle n+o(n)}
 
.<a class="footnote-ref" id="fnref:6" href="#fn:6">6</a></li>
<li>Every "near-regular" tournament on 
 
 
 
 2
 n
 −
 2
 
 
 {\displaystyle 2n-2}
 
 vertices contains every 
 
 
 
 n
 
 
 {\displaystyle n}
 
-vertex polytree.<a class="footnote-ref" id="fnref:7" href="#fn:7">7</a></li>
<li>Every orientation of an 
 
 
 
 n
 
 
 {\displaystyle n}
 
-vertex <a href="/facts/Caterpillar_tree/bPYdGwms">caterpillar tree</a> with <a href="/facts/Diameter_(graph_theory)/EmQFKvqa">diameter</a> at most four can be embedded as a subgraph of every 
 
 
 
 (
 2
 n
 −
 2
 )
 
 
 {\displaystyle (2n-2)}
 
-vertex tournament.<a class="footnote-ref" id="fnref:8" href="#fn:8">8</a></li>
<li>Every 
 
 
 
 (
 2
 n
 −
 2
 )
 
 
 {\displaystyle (2n-2)}
 
-vertex tournament contains as a subgraph every 
 
 
 
 n
 
 
 {\displaystyle n}
 
-vertex <a href="/facts/Arborescence_(graph_theory)/qFKvoaLJ">arborescence</a>.<a class="footnote-ref" id="fnref:9" href="#fn:9">9</a></li></ul>
<h2 id="related-conjectures">Related conjectures</h2>
Rosenfeld (1972) conjectured that every orientation of an 
 
 
 
 n
 
 
 {\displaystyle n}
 
-vertex <a href="/facts/Path_graph/4Y2f35eM">path graph</a> (with 
 
 
 
 n
 ≥
 8
 
 
 {\displaystyle n\geq 8}
 
) can be embedded as a subgraph into every 
 
 
 
 n
 
 
 {\displaystyle n}
 
-vertex tournament.<a class="footnote-ref" id="fnref:10" href="#fn:10">10</a> After partial results by Thomason (1986), this was proven by Havet & Thomassé (2000a).
Havet and Thomassé<a class="footnote-ref" id="fnref:11" href="#fn:11">11</a> in turn conjectured a strengthening of Sumner's conjecture, that every tournament on 
 
 
 
 n
 +
 k
 −
 1
 
 
 {\displaystyle n+k-1}
 
 vertices contains as a subgraph every polytree with at most 
 
 
 
 k
 
 
 {\displaystyle k}
 
 leaves. This has been confirmed for almost every tree by Mycroft and Naia (2018).
Burr (1980) conjectured that, whenever a graph 
 
 
 
 G
 
 
 {\displaystyle G}
 
 requires 
 
 
 
 2
 n
 −
 2
 
 
 {\displaystyle 2n-2}
 
 or more colors in a <a href="/facts/Graph_coloring/J6HoBfP0">coloring</a> of 
 
 
 
 G
 
 
 {\displaystyle G}
 
, then every orientation of 
 
 
 
 G
 
 
 {\displaystyle G}
 
 contains every orientation of an 
 
 
 
 n
 
 
 {\displaystyle n}
 
-vertex tree. Because complete graphs require a different color for each vertex, Sumner's conjecture would follow immediately from Burr's conjecture.<a class="footnote-ref" id="fnref:12" href="#fn:12">12</a> As Burr showed, orientations of graphs whose chromatic number grows quadratically as a function of 
 
 
 
 n
 
 
 {\displaystyle n}
 
 are universal for polytrees.

<h2 id="notes">Notes</h2>

<ul><li><a href="/facts/Stefan_Burr/ct2rqeok">Burr, Stefan A.</a> (1980), "Subtrees of directed graphs and hypergraphs", Proceedings of the Eleventh Southeastern Conference on Combinatorics, Graph Theory and Computing (Florida Atlantic Univ., Boca Raton, Fla., 1980), Vol. I, Congressus Numerantium, vol. 28, pp. 227–239, <a href="/facts/MR_(identifier)/uP137L11">MR</a> <a href="https://mathscinet.ams.org/mathscinet-getitem?mr=0608430">0608430</a>.</li>
<li><a href="/facts/Fan_Chung/amGEVrj5">Chung, F.R.K.</a> (1981), A note on subtrees in tournaments, Internal Memorandum, <a href="/facts/Bell_Laboratories/fKP5Gk0H">Bell Laboratories</a>. As cited by Wormald (1983).</li>
<li>El Sahili, A. (2004), "Trees in tournaments", <a href="/facts/Journal_of_Combinatorial_Theory/oYS6G76K">Journal of Combinatorial Theory</a>, Series B, 92 (1): 183–187, <a href="/facts/Doi_(identifier)/muM9Etpq">doi</a>:<a href="https://doi.org/10.1016%2Fj.jctb.2004.04.002">10.1016/j.jctb.2004.04.002</a>, <a href="/facts/MR_(identifier)/uP137L11">MR</a> <a href="https://mathscinet.ams.org/mathscinet-getitem?mr=2078502">2078502</a>.</li>
<li>Häggkvist, Roland; Thomason, Andrew (1991), "Trees in tournaments", <a href="/facts/Combinatorica/AxdqUqrp">Combinatorica</a>, 11 (2): 123–130, <a href="/facts/Doi_(identifier)/muM9Etpq">doi</a>:<a href="https://doi.org/10.1007%2FBF01206356">10.1007/BF01206356</a>, <a href="/facts/MR_(identifier)/uP137L11">MR</a> <a href="https://mathscinet.ams.org/mathscinet-getitem?mr=1136161">1136161</a>.</li>
<li>Havet, Frédéric (2002), "Trees in tournaments", <a href="/facts/Discrete_Mathematics_(journal)/K4e6z8wQ">Discrete Mathematics</a>, 243 (1–3): 121–134, <a href="/facts/Doi_(identifier)/muM9Etpq">doi</a>:<a href="https://doi.org/10.1016%2FS0012-365X%2800%2900463-5">10.1016/S0012-365X(00)00463-5</a>, <a href="/facts/MR_(identifier)/uP137L11">MR</a> <a href="https://mathscinet.ams.org/mathscinet-getitem?mr=1874730">1874730</a>.</li>
<li>Havet, Frédéric; Thomassé, Stéphan (2000a), "Oriented Hamiltonian paths in tournaments: a proof of Rosenfeld's conjecture", <a href="/facts/Journal_of_Combinatorial_Theory/oYS6G76K">Journal of Combinatorial Theory</a>, Series B, 78 (2): 243–273, <a href="/facts/Doi_(identifier)/muM9Etpq">doi</a>:<a href="https://doi.org/10.1006%2Fjctb.1999.1945">10.1006/jctb.1999.1945</a>, <a href="/facts/MR_(identifier)/uP137L11">MR</a> <a href="https://mathscinet.ams.org/mathscinet-getitem?mr=1750898">1750898</a>.</li>
<li>Havet, Frédéric; Thomassé, Stéphan (2000b), "Median orders of tournaments: a tool for the second neighborhood problem and Sumner's conjecture", Journal of Graph Theory, 35 (4): 244–256, <a href="/facts/Doi_(identifier)/muM9Etpq">doi</a>:<a href="https://doi.org/10.1002%2F1097-0118%28200012%2935%3A4%3C244%3A%3AAID-JGT2%3E3.0.CO%3B2-H">10.1002/1097-0118(200012)35:4<244::AID-JGT2>3.0.CO;2-H</a>, <a href="/facts/MR_(identifier)/uP137L11">MR</a> <a href="https://mathscinet.ams.org/mathscinet-getitem?mr=1791347">1791347</a>.</li>
<li><a href="/facts/Daniela_K%25C3%25BChn/mgN9N5yQ">Kühn, Daniela</a>; Mycroft, Richard; Osthus, Deryk (2011a), "An approximate version of Sumner's universal tournament conjecture", <a href="/facts/Journal_of_Combinatorial_Theory/oYS6G76K">Journal of Combinatorial Theory</a>, Series B, 101 (6): 415–447, <a href="/facts/ArXiv_(identifier)/H6EtgnBe">arXiv</a>:<a href="https://arxiv.org/abs/1010.4429">1010.4429</a>, <a href="/facts/Doi_(identifier)/muM9Etpq">doi</a>:<a href="https://doi.org/10.1016%2Fj.jctb.2010.12.006">10.1016/j.jctb.2010.12.006</a>, <a href="/facts/MR_(identifier)/uP137L11">MR</a> <a href="https://mathscinet.ams.org/mathscinet-getitem?mr=2832810">2832810</a>, <a href="/facts/Zbl_(identifier)/P6rFxKKx">Zbl</a> <a href="https://zbmath.org/?format=complete&q=an:1234.05115">1234.05115</a>.</li>
<li><a href="/facts/Daniela_K%25C3%25BChn/mgN9N5yQ">Kühn, Daniela</a>; Mycroft, Richard; Osthus, Deryk (2011b), "A proof of Sumner's universal tournament conjecture for large tournaments", Proceedings of the London Mathematical Society, Third Series, 102 (4): 731–766, <a href="/facts/ArXiv_(identifier)/H6EtgnBe">arXiv</a>:<a href="https://arxiv.org/abs/1010.4430">1010.4430</a>, <a href="/facts/Doi_(identifier)/muM9Etpq">doi</a>:<a href="https://doi.org/10.1112%2Fplms%2Fpdq035">10.1112/plms/pdq035</a>, <a href="/facts/MR_(identifier)/uP137L11">MR</a> <a href="https://mathscinet.ams.org/mathscinet-getitem?mr=2793448">2793448</a>, <a href="/facts/Zbl_(identifier)/P6rFxKKx">Zbl</a> <a href="https://zbmath.org/?format=complete&q=an:1218.05034">1218.05034</a>.</li>
<li>Naia, Tássio (2018), <a href="https://etheses.bham.ac.uk/id/eprint/8658/">Large structures in dense directed graphs</a> (Doctoral thesis), University of Birmingham.</li>
<li>Reid, K. B.; Wormald, N. C. (1983), "Embedding oriented n-trees in tournaments", Studia Scientiarum Mathematicarum Hungarica, 18 (2–4): 377–387, <a href="/facts/MR_(identifier)/uP137L11">MR</a> <a href="https://mathscinet.ams.org/mathscinet-getitem?mr=0787942">0787942</a>.</li>
<li>Rosenfeld, M. (1972), "Antidirected Hamiltonian paths in tournaments", <a href="/facts/Journal_of_Combinatorial_Theory/oYS6G76K">Journal of Combinatorial Theory</a>, Series B, 12: 93–99, <a href="/facts/Doi_(identifier)/muM9Etpq">doi</a>:<a href="https://doi.org/10.1016%2F0095-8956%2872%2990035-4">10.1016/0095-8956(72)90035-4</a>, <a href="/facts/MR_(identifier)/uP137L11">MR</a> <a href="https://mathscinet.ams.org/mathscinet-getitem?mr=0285452">0285452</a>.</li>
<li>Thomason, Andrew (1986), "Paths and cycles in tournaments", Transactions of the American Mathematical Society, 296 (1): 167–180, <a href="/facts/Doi_(identifier)/muM9Etpq">doi</a>:<a href="https://doi.org/10.2307%2F2000567">10.2307/2000567</a>, <a href="/facts/JSTOR_(identifier)/YTeVmaJ7">JSTOR</a> <a href="https://www.jstor.org/stable/2000567">2000567</a>, <a href="/facts/MR_(identifier)/uP137L11">MR</a> <a href="https://mathscinet.ams.org/mathscinet-getitem?mr=0837805">0837805</a>.</li>
<li>Wormald, Nicholas C. (1983), "Subtrees of large tournaments", Combinatorial mathematics, X (Adelaide, 1982), Lecture Notes in Math., vol. 1036, Berlin: Springer, pp. 417–419, <a href="/facts/Doi_(identifier)/muM9Etpq">doi</a>:<a href="https://doi.org/10.1007%2FBFb0071535">10.1007/BFb0071535</a>, <a href="/facts/ISBN_(identifier)/15AdSPa9">ISBN</a> 978-3-540-12708-6, <a href="/facts/MR_(identifier)/uP137L11">MR</a> <a href="https://mathscinet.ams.org/mathscinet-getitem?mr=0731598">0731598</a>.</li></ul>
<h2 id="external-links">External links</h2>
<ul><li><a href="http://www.math.uiuc.edu/~west/openp/univtourn.html">Sumner's Universal Tournament Conjecture (1971)</a>, D. B. West, updated July 2008.</li></ul>

<h2 id="references">References</h2>

<ol>
<li id="fn:1">Kühn, Mycroft & Osthus (2011a). However the earliest published citations given by Kühn et al. are to Reid & Wormald (1983) and Wormald (1983). Wormald (1983) cites the conjecture as an undated private communication by Sumner. - Kühn, Daniela; Mycroft, Richard; Osthus, Deryk (2011a), "An approximate version of Sumner's universal tournament conjecture", Journal of Combinatorial Theory, Series B, 101 (6): 415–447, arXiv:1010.4429, doi:10.1016/j.jctb.2010.12.006, MR 2832810, Zbl 1234.05115 <a href="https://arxiv.org/abs/1010.4429" target="_blank">https://arxiv.org/abs/1010.4429</a> <a href="#fnref:1" class="footnote-back-ref">↩</a></li>
<li id="fn:2">Kühn, Mycroft & Osthus (2011b). - Kühn, Daniela; Mycroft, Richard; Osthus, Deryk (2011b), "A proof of Sumner's universal tournament conjecture for large tournaments", Proceedings of the London Mathematical Society, Third Series, 102 (4): 731–766, arXiv:1010.4430, doi:10.1112/plms/pdq035, MR 2793448, Zbl 1218.05034 <a href="https://arxiv.org/abs/1010.4430" target="_blank">https://arxiv.org/abs/1010.4430</a> <a href="#fnref:2" class="footnote-back-ref">↩</a></li>
<li id="fn:3">This example is from Kühn, Mycroft & Osthus (2011a). - Kühn, Daniela; Mycroft, Richard; Osthus, Deryk (2011a), "An approximate version of Sumner's universal tournament conjecture", Journal of Combinatorial Theory, Series B, 101 (6): 415–447, arXiv:1010.4429, doi:10.1016/j.jctb.2010.12.006, MR 2832810, Zbl 1234.05115 <a href="https://arxiv.org/abs/1010.4429" target="_blank">https://arxiv.org/abs/1010.4429</a> <a href="#fnref:3" class="footnote-back-ref">↩</a></li>
<li id="fn:4">Kühn, Mycroft & Osthus (2011a) and El Sahili (2004). For earlier weaker bounds on 
 
 
 
 f
 (
 n
 )
 
 
 {\displaystyle f(n)}
 
, see Chung (1981), Wormald (1983), Häggkvist & Thomason (1991), Havet & Thomassé (2000b), and Havet (2002). - Kühn, Daniela; Mycroft, Richard; Osthus, Deryk (2011a), "An approximate version of Sumner's universal tournament conjecture", Journal of Combinatorial Theory, Series B, 101 (6): 415–447, arXiv:1010.4429, doi:10.1016/j.jctb.2010.12.006, MR 2832810, Zbl 1234.05115 <a href="https://arxiv.org/abs/1010.4429" target="_blank">https://arxiv.org/abs/1010.4429</a> <a href="#fnref:4" class="footnote-back-ref">↩</a></li>
<li id="fn:5">Häggkvist & Thomason (1991); Havet & Thomassé (2000a); Havet (2002). - Häggkvist, Roland; Thomason, Andrew (1991), "Trees in tournaments", Combinatorica, 11 (2): 123–130, doi:10.1007/BF01206356, MR 1136161 <a href="https://doi.org/10.1007%2FBF01206356" target="_blank">https://doi.org/10.1007%2FBF01206356</a> <a href="#fnref:5" class="footnote-back-ref">↩</a></li>
<li id="fn:6">Kühn, Mycroft & Osthus (2011a). - Kühn, Daniela; Mycroft, Richard; Osthus, Deryk (2011a), "An approximate version of Sumner's universal tournament conjecture", Journal of Combinatorial Theory, Series B, 101 (6): 415–447, arXiv:1010.4429, doi:10.1016/j.jctb.2010.12.006, MR 2832810, Zbl 1234.05115 <a href="https://arxiv.org/abs/1010.4429" target="_blank">https://arxiv.org/abs/1010.4429</a> <a href="#fnref:6" class="footnote-back-ref">↩</a></li>
<li id="fn:7">Reid & Wormald (1983). - Reid, K. B.; Wormald, N. C. (1983), "Embedding oriented n-trees in tournaments", Studia Scientiarum Mathematicarum Hungarica, 18 (2–4): 377–387, MR 0787942 <a href="https://mathscinet.ams.org/mathscinet-getitem?mr=0787942" target="_blank">https://mathscinet.ams.org/mathscinet-getitem?mr=0787942</a> <a href="#fnref:7" class="footnote-back-ref">↩</a></li>
<li id="fn:8">Reid & Wormald (1983). - Reid, K. B.; Wormald, N. C. (1983), "Embedding oriented n-trees in tournaments", Studia Scientiarum Mathematicarum Hungarica, 18 (2–4): 377–387, MR 0787942 <a href="https://mathscinet.ams.org/mathscinet-getitem?mr=0787942" target="_blank">https://mathscinet.ams.org/mathscinet-getitem?mr=0787942</a> <a href="#fnref:8" class="footnote-back-ref">↩</a></li>
<li id="fn:9">Havet & Thomassé (2000b). - Havet, Frédéric; Thomassé, Stéphan (2000b), "Median orders of tournaments: a tool for the second neighborhood problem and Sumner's conjecture", Journal of Graph Theory, 35 (4): 244–256, doi:10.1002/1097-0118(200012)35:4<244::AID-JGT2>3.0.CO;2-H, MR 1791347 <a href="https://doi.org/10.1002%2F1097-0118%28200012%2935%3A4%3C244%3A%3AAID-JGT2%3E3.0.CO%3B2-H" target="_blank">https://doi.org/10.1002%2F1097-0118%28200012%2935%3A4%3C244%3A%3AAID-JGT2%3E3.0.CO%3B2-H</a> <a href="#fnref:9" class="footnote-back-ref">↩</a></li>
<li id="fn:10">Reid & Wormald (1983). - Reid, K. B.; Wormald, N. C. (1983), "Embedding oriented n-trees in tournaments", Studia Scientiarum Mathematicarum Hungarica, 18 (2–4): 377–387, MR 0787942 <a href="https://mathscinet.ams.org/mathscinet-getitem?mr=0787942" target="_blank">https://mathscinet.ams.org/mathscinet-getitem?mr=0787942</a> <a href="#fnref:10" class="footnote-back-ref">↩</a></li>
<li id="fn:11">In Havet (2002), but jointly credited to Thomassé in that paper. - Havet, Frédéric (2002), "Trees in tournaments", Discrete Mathematics, 243 (1–3): 121–134, doi:10.1016/S0012-365X(00)00463-5, MR 1874730 <a href="https://doi.org/10.1016%2FS0012-365X%2800%2900463-5" target="_blank">https://doi.org/10.1016%2FS0012-365X%2800%2900463-5</a> <a href="#fnref:11" class="footnote-back-ref">↩</a></li>
<li id="fn:12">This is a corrected version of Burr's conjecture from Wormald (1983). - Wormald, Nicholas C. (1983), "Subtrees of large tournaments", Combinatorial mathematics, X (Adelaide, 1982), Lecture Notes in Math., vol. 1036, Berlin: Springer, pp. 417–419, doi:10.1007/BFb0071535, ISBN 978-3-540-12708-6, MR 0731598 <a href="https://doi.org/10.1007%2FBFb0071535" target="_blank">https://doi.org/10.1007%2FBFb0071535</a> <a href="#fnref:12" class="footnote-back-ref">↩</a></li>
</ol>

Sumner's conjecture open-in-new

Sumner's conjecture