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