On the orthogonal rank of Cayley graphs and impossibility of quantum round elimination

After Bob sends Alice a bit, she responds with a lengthy reply. At the cost of a factor of two in the total communication, Alice could just as well have given the two possible replies without listening and have Bob select which applies to him. Motivated by a conjecture stating that this form of "round elimination" is impossible in exact quantum communication complexity, we study the orthogonal rank and a symmetric variant thereof for a certain family of Cayley graphs. The orthogonal rank of a graph is the smallest number $d$ for which one can label each vertex with a nonzero $d$-dimensional complex vector such that adjacent vertices receive orthogonal vectors. We show an exp$(n)$ lower bound on the orthogonal rank of the graph on $\{0,1\}^n$ in which two strings are adjacent if they have Hamming distance at least $n/2$. In combination with previous work, this implies an affirmative answer to the above conjecture.

[1]  Simone Severini,et al.  On the Quantum Chromatic Number of a Graph , 2007, Electron. J. Comb..

[2]  Harry Buhrman,et al.  Round Elimination in Exact Communication Complexity , 2015, TQC.

[3]  Avi Wigderson,et al.  Quantum vs. classical communication and computation , 1998, STOC '98.

[4]  Amir Yehudayoff,et al.  The maximal probability that k-wise independent bits are all 1 , 2011, Random Struct. Algorithms.

[5]  Gábor Lugosi,et al.  Concentration Inequalities , 2008, COLT.

[6]  Thierry Paul,et al.  Quantum computation and quantum information , 2007, Mathematical Structures in Computer Science.

[7]  R. Schumann Quantum Information Theory , 2000, quant-ph/0010060.

[8]  Stasys Jukna,et al.  Extremal Combinatorics - With Applications in Computer Science , 2001, Texts in Theoretical Computer Science. An EATCS Series.

[9]  Alexander Schrijver,et al.  A comparison of the Delsarte and Lovász bounds , 1979, IEEE Trans. Inf. Theory.

[10]  I. Benjamini,et al.  On K-wise Independent Distributions and Boolean Functions , 2012, 1201.3261.

[11]  Avishay Tal,et al.  Two Structural Results for Low Degree Polynomials and Applications , 2014, Electron. Colloquium Comput. Complex..

[12]  László Lovász,et al.  On the Shannon capacity of a graph , 1979, IEEE Trans. Inf. Theory.

[13]  Harry Buhrman,et al.  Quantum Computing and Communication Complexity , 2001, Bull. EATCS.