8113905ddac81606.tex
1: \begin{abstract}
2: It is well known that there is a one-to-one correspondence between the
3: entropy vector of a collection of $n$ random variables and a certain
4: group-characterizable vector obtained from a finite group and $n$ of
5: its subgroups \cite{Entropy_Group}. However, if one restricts
6: attention to abelian groups then not all entropy vectors can be
7: obtained. This is an explanation for the fact shown by Dougherty et al
8: \cite{zeger} that linear network codes cannot achieve capacity in
9: general network coding problems (since linear network codes form an
10: abelian group). All abelian group-characterizable vectors, and by fiat
11: all entropy vectors generated by linear network codes, satisfy a
12: linear inequality called the Ingleton inequality. In this paper, we
13: study the problem of finding nonabelian finite groups that yield
14: characterizable vectors which violate the Ingleton inequality. Using
15: a refined computer search, we find the symmetric group $S_5$ to be the
16: smallest group that violates the Ingleton inequality. Careful study of
17: the structure of this group, and its subgroups, reveals that it belongs to
18: the Ingleton-violating family $PGL(2,p)$ with primes $p \geq 5$, i.e.,
19: the projective group of $2\times 2$ nonsingular matrices with entries
20: in $\f_p$. This family of groups is therefore a good candidate for
21: constructing network codes more powerful than linear network codes.
22: \end{abstract}
23: