This is the story of the shameful conjecture, which started with Dominic Welsh, was almost solved by Paul Seymour, and eventually resolved by my friend Fengming Dong from Nanyang in Singapore.
The conjecture concerns a graph parameter called the mean colour number defined as follows: If is an -vertex graph, then is the average number of colours used over all proper colourings of using a palette of n colours.
As this is a slightly strange parameter, an example is probably in order, and it seems only appropriate to use the Welsh graph (that is, the graph obtained by deleting one edge from ) for this purpose.
Using a palette of colours, there are colourings that use all four of the colours. There are colourings that use a fixed set of colours (the two vertices of degree two must be assigned the same colour), and there are ways of choosing colours of out , making a total of colourings using three colours. So the mean colour number of the Welsh graph is as the colourings are evenly divided between – and -colourings (there are no colourings with fewer than colours).
Using some straightforward identities, it can be shown that
where is the chromatic polynomial of .
The chromatic polynomial of the Welsh graph is so for this graph the expression has the value as expected.
It is obvious that the complete graph has the largest mean colour number, because every colouring requires colours, so .
At the other extreme is the empty graph on vertices, which has chromatic polynomial and thus
and as gets large the factor famously converges to from below.
But hang on, why did I say “the other extreme”? How do I know that the empty graph has the lowest mean colour number? Of course, it seems intuitively obvious that adding an edge to a graph can only increase the average number of colours required to colour it. Unfortunately, while it is intuitively obvious, it is not actually true that adding edges increases the mean colour number. Mike Mosca (yes, the quantum crypto guy from Waterloo) found an infinite family of counterexamples, of which the smallest has only 6 vertices.
So is it even true that is the extreme graph? Bartels and Welsh conjectured that this is indeed the case – namely that for any -vertex graph
For a graph theorist, it is a little embarrassing to define a parameter applicable to all graphs, with the complete graph trivially at one extreme, and then be unable to show that the empty graph is the other extreme. In fact, more than just embarrassing, perhaps even positively shameful.
Thus the shameful conjecture was christened.
Now Paul Seymour enters the ring. Normally if he turns his attention to some topic, even briefly, he quickly vacuums up and solves most of the known unsolved conjectures, generates some much harder and deeper conjectures, and then moves on. In this case though, he didn’t quite knock off the shameful conjecture. Instead, he proved that for any n-vertex graph ,
As , this value is just a little bit too low to prove the shameful conjecture.
The shameful conjecture hung on for another few years, but ultimately Fengming Dong (who has resolved quite a number of difficult chromatic and flow polynomial questions), used one of his typically intricate and ingenious proofs to show that the shameful conjecture is indeed true.
I don’t know if the shameful conjecture has stimulated any further research, or if the mean colour number has found any other uses, but I’ve always liked the story…
Written with StackEdit.