Importance: Medium ✭✭
Author(s): Wan, Peng-Jun
Keywords: coloring
hypercube
Recomm. for undergrads: yes
Posted by: mdevos
on: November 21st, 2007
Solved by: See pgregor's reference

If $ G $ is a simple graph, we let $ G^{(2)} $ denote the simple graph with vertex set $ V(G) $ and two vertices adjacent if they are distance $ \le 2 $ in $ G $.

Conjecture   $ \chi(Q_d^{(2)}) = 2^{ \lfloor \log_2 d \rfloor + 1} $.

Here $ Q_d $, denotes the $ d $-dimensional hypercube, i.e. the graph with vertex set $ \{0,1\}^d $ and two vertices adjacent if they differ in exactly one coordinate. So, the vertices with at most one coordinate equal to $ 1 $ form a clique of size $ d+1 $ in $ Q_d^{(2)} $, giving us the easy lower bound $ d+1 \le \chi(Q_d^{(2)}) $. An independent set in $ Q_d^{(2)} $ is precisely an error correcting code, so a proper coloring of this graph may be viewed as a covering of the hypercube with codes. Wan [W] constructed a coloring of $ Q_d^{(2)} $ using $ 2^{ \lfloor \log_2 d \rfloor + 1} $ many colors, and he conjectures that this is optimal.

Note that $ Q_d^{(2)} $ contains a subgraph isomorphic to $ Q_{d-1}^{(2)} $, so it suffices to prove the conjecture when $ d $ is a power of 2. The cases $ d=1,2,4 $ are rather easy to verify, but $ d=8 $ appears to be open.

In his Ph.D. thesis, Ghebleh suggests the stronger conjecture that $ Q_d^{(2)} $ has circular chromatic number equal to $ 2^{ \lfloor \log_2 d \rfloor + 1} $.

Bibliography

[G] M. Ghebleh, Theorems and Computations in Circular Colourings of Graphs, Ph.D. thesis, Simon Fraser University, 2007.

*[W] P. J. Wan, Near-optimal conflict-free channel set assignments for an optical cluster-based hypercube network. J. Comb. Optim. 1 (1997), no. 2, 179--186. MathSciNet.


* indicates original appearance(s) of problem.

Reply

Comments are limited to a maximum of 1000 characters.
More information about formatting options