Sumner's conjecture

From Wikipedia, the free encyclopedia
Jump to: navigation, search

David Sumner (a graph theorist at the University of South Carolina) conjectured in 1971 that tournaments are universal graphs for polytrees. More precisely, Sumner's conjecture (also called Sumner's universal tournament conjecture) states that every orientation of every n-vertex tree is a subgraph of every (2n-2)-vertex tournament.[1] The conjecture remains unproven; Kühn, Mycroft & Osthus (2011a) call it "one of the most well-known problems on tournaments."

Examples[edit]

Let polytree P be a star K_{1,n-1}, 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.[2] 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{3}{2}, 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{3}{2}\right\rceil=n-1, which can be used as the central vertex for a copy of P.

Partial results[edit]

The following partial results on the conjecture are known.

  • It is true for all sufficiently large values of n.[3]
  • 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.[4]
  • There is a function g(k) such that tournaments on n+g(k) vertices are universal for polytrees with k leaves.[5]
  • 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).[6]
  • Every "near-regular" tournament on 2n-2 vertices contains every n-vertex polytree.[7]
  • Every orientation of an n-vertex caterpillar tree with diameter at most four can be embedded as a subgraph of every (2n-2)-vertex tournament.[7]
  • Every (2n-2)-vertex tournament contains as a subgraph every n-vertex rooted tree.[8]

Related conjectures[edit]

Rosenfeld (1972) conjectured that every orientation of an n-vertex path graph (with n\ge 8) can be embedded as a subgraph into every n-vertex tournament.[7] After partial results by Thomason (1986) this was proven by Havet & Thomassé (2000a).

Havet and Thomassé[9] 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.

Burr (1980) 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.[10] As Burr showed, orientations of graphs whose chromatic number grows quadratically as a function of n are universal for polytrees.

Notes[edit]

  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.
  2. ^ This example is from Kühn, Mycroft & Osthus (2011a).
  3. ^ Kühn, Mycroft & Osthus (2011b).
  4. ^ Kühn, Mycroft & Osthus (2011a) and El Sahili (2004). For earlier weaker bounds on f(n), see Chung (1981), Wormald (1983), Häggkvist & Thomason (1991), Havet & Thomassé (2000b), and Havet (2002).
  5. ^ Häggkvist & Thomason (1991); Havet & Thomassé (2000a); Havet (2002).
  6. ^ Kühn, Mycroft & Osthus (2011a).
  7. ^ a b c Reid & Wormald (1983).
  8. ^ Havet & Thomassé (2000b).
  9. ^ In Havet (2002), but jointly credited to Thomassé in that paper.
  10. ^ This is a corrected version of Burr's conjecture from Wormald (1983).

References[edit]

External links[edit]