TY - GEN

T1 - Sperner capacity of linear and nonlinear codes for the cyclic triangle

AU - Calderbank, A. R.

AU - Graham, R. L.

AU - Shepp, L. A.

AU - Frank, P.

AU - Li, W. C.W.

PY - 1993/1/1

Y1 - 1993/1/1

N2 - Shannon introduced the concept of zero-error capacity of a discrete memoryless channel. The channel determines an undirected graph on the symbol alphabet, where adjacency means that symbols cannot be confused at the receiver. The zero-error or Shannon capacity is an invariant of this graph. Gargano, Koerner, and Vaccaro have recently extended the concept of Shannon capacity to directed graphs. Their generalization of Shannon capacity is called Sperner capacity. We resolve a problem posed by these authors by giving the first example (the two orientations of the triangle) of a graph where the Sperner capacity depends on the orientations of the edges. Sperner capacity seems to be achieved by nonlinear codes, whereas Shannon capacity seems to be attainable by linear codes. In particular, linear codes do not achieve Sperner capacity for the cyclic triangle. We use Fourier analysis or linear programming to obtain the best upper bounds for linear codes. The bound for unrestricted codes are obtained from rank arguments, eigenvalue interlacing inequalities and polynomial algebra. The statement of the cyclic q-gon problem is very simple: what is the maximum size Nq(n) of a subset Sn of {0, 1, ..., q - 1}n with the property that for every pair of distinct vectors x = (xi), y = (yi) member of Sn, we have xj - yj ≡ 1(mod q) for some j? For q = 3 (the cyclic triangle), we show N3(n) ≅ 2n. If however Sn is a subgroup, then we give a simple proof that |Sn| ≤ √3n.

AB - Shannon introduced the concept of zero-error capacity of a discrete memoryless channel. The channel determines an undirected graph on the symbol alphabet, where adjacency means that symbols cannot be confused at the receiver. The zero-error or Shannon capacity is an invariant of this graph. Gargano, Koerner, and Vaccaro have recently extended the concept of Shannon capacity to directed graphs. Their generalization of Shannon capacity is called Sperner capacity. We resolve a problem posed by these authors by giving the first example (the two orientations of the triangle) of a graph where the Sperner capacity depends on the orientations of the edges. Sperner capacity seems to be achieved by nonlinear codes, whereas Shannon capacity seems to be attainable by linear codes. In particular, linear codes do not achieve Sperner capacity for the cyclic triangle. We use Fourier analysis or linear programming to obtain the best upper bounds for linear codes. The bound for unrestricted codes are obtained from rank arguments, eigenvalue interlacing inequalities and polynomial algebra. The statement of the cyclic q-gon problem is very simple: what is the maximum size Nq(n) of a subset Sn of {0, 1, ..., q - 1}n with the property that for every pair of distinct vectors x = (xi), y = (yi) member of Sn, we have xj - yj ≡ 1(mod q) for some j? For q = 3 (the cyclic triangle), we show N3(n) ≅ 2n. If however Sn is a subgroup, then we give a simple proof that |Sn| ≤ √3n.

UR - http://www.scopus.com/inward/record.url?scp=0027192671&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0027192671&partnerID=8YFLogxK

M3 - Conference contribution

AN - SCOPUS:0027192671

SN - 0780308786

T3 - Proceedings of the 1993 IEEE International Symposium on Information Theory

BT - Proceedings of the 1993 IEEE International Symposium on Information Theory

PB - Publ by IEEE

T2 - Proceedings of the 1993 IEEE International Symposium on Information Theory

Y2 - 17 January 1993 through 22 January 1993

ER -