Local orthogonality dimension

Abstract

An orthogonal representation of a graph over a field is an assignment of a vector to every vertex of , such that for every vertex and whenever and are adjacent in . The locality of the orthogonal representation is the largest dimension of a subspace spanned by the vectors associated with a closed neighborhood in the graph. We introduce a novel graph parameter, called the local orthogonality dimension, defined for a given graph and a given field , as the smallest possible locality of an orthogonal representation of over . This is a local variant of the well‐studied orthogonality dimension of graphs, introduced by Lovász, analogously to the local variant of the chromatic number introduced by Erdös et al. We investigate the usefulness of topological methods for proving lower bounds on the local orthogonality dimension. Such methods are known to imply tight lower bounds on the chromatic number of several graph families of interest, such as Kneser graphs and Schrijver graphs. We prove that graphs for which topological methods imply a lower bound of on their chromatic number have local orthogonality dimension at least over every field, strengthening a result of Simonyi and Tardos on the local chromatic number. We show that for certain graphs this lower bound is tight, whereas for others, the local orthogonality dimension over the reals is equal to the chromatic number. More generally, we prove that for every complement of a line graph, the local orthogonality dimension over coincides with the chromatic number. This strengthens a recent result by Daneshpajouh, Meunier, and Mizrahi, who proved that the local and standard chromatic numbers of these graphs are equal. As another extension of their result, we prove that the local and standard chromatic numbers are equal for some additional graphs, from the family of Kneser graphs. We also study the computational aspects of the local orthogonality dimension and show that for every integer and a field , it is NP‐hard to decide whether the local orthogonality dimension of an input graph over is at most . We finally present an application of the local orthogonality dimension to the index coding problem from information theory, extending a result of Shanmugam, Dimakis, and Langberg.