Linear Index Coding via Graph Homomorphism

TL;DR

This paper explores the structure of graphs related to linear index coding, establishing new bounds and complexity results by leveraging graph homomorphism and properties of vertex transitive digraphs.

Contribution

It introduces a detailed analysis of the digraphs $H_k^q$, proves their vertex transitivity, and derives necessary conditions and lower bounds for the linear index coding problem using graph homomorphism techniques.

Findings

Proves $H_k^q$ are vertex transitive digraphs.

Derives new lower bounds on linear index coding length.

Shows NP-completeness of the decision problem for arbitrary alphabet.

Abstract

It is known that the minimum broadcast rate of a linear index code over $\mathbb{F}_q$ is equal to the $minrank_q$ of the underlying digraph. In [3] it is proved that for $\mathbb{F}_2$ and any positive integer $k$, $minrank_q(G)\leq k$ iff there exists a homomorphism from the complement of the graph $G$ to the complement of a particular undirected graph family called "graph family $\{G_k\}$". As observed in [2], by combining these two results one can relate the linear index coding problem of undirected graphs to the graph homomorphism problem. In [4], a direct connection between linear index coding problem and graph homomorphism problem is introduced. In contrast to the former approach, the direct connection holds for digraphs as well and applies to any field size. More precisely, in [4], a graph family $\{H_k^q\}$ is introduced and shown that whether or not the scalar linear index of a digraph $G$ is less than or equal to $k$ is equivalent to the existence of a graph homomorphism from the complement of $G$ to the complement of $H_k^q$. Here, we first study the structure of the digraphs $H_k^q$. Analogous to the result of [2] about undirected graphs, we prove that $H_k^q$'s are vertex transitive digraphs. Using this, and by applying a lemma of Hell and Nesetril [5], we derive a class of necessary conditions for digraphs $G$ to satisfy $lind_q(G)\leq k$. Particularly, we obtain new lower bounds on $lind_q(G)$. Our next result is about the computational complexity of scalar linear index of a digraph. It is known that deciding whether the scalar linear index of an undirected graph is equal to $k$ or not is NP-complete for $k\ge 3$ and is polynomially decidable for $k=1,2$ [3]. For digraphs, it is shown in [6] that for the binary alphabet, the decision problem for $k=2$ is NP-complete. We use graph homomorphism framework to extend this result to arbitrary alphabet.