We introduce two generalizations of Kochen-Specker (KS) sets: projective KS
sets and generalized KS sets. We then use projective KS sets to characterize
all graphs for which the chromatic number is strictly larger than the quantum
chromatic number. Here, the quantum chromatic number is defined via a nonlocal
game based on graph coloring. We further show that from any graph with
separation between these two quantities, one can construct a classical channel
for which entanglement assistance increases the one-shot zero-error capacity.
As an example, we exhibit a new family of classical channels with an
exponential increase.Comment: 16 page