Asymptotic capacity of two-dimensional channels with checkerboard constraints

A checkerboard constraint is a bounded measurable set S/spl sub/R/sup 2/, containing the origin. A binary labeling of the Z/sup 2/ lattice satisfies the checkerboard constraint S if whenever t/spl isin/Z/sup 2/ is labeled 1, all of the other Z/sup 2/-lattice points in the translate t+S are labeled 0. Two-dimensional channels that only allow labelings of Z/sup 2/ satisfying checkerboard constraints are studied. Let A(S) be the area of S, and let A(S)/spl rarr//spl infin/ mean that S retains its shape but is inflated in size in the form /spl alpha/S, as /spl alpha//spl rarr//spl infin/. It is shown that for any open checkerboard constraint S, there exist positive reals K/sub 1/ and K/sub 2/ such that as A(S)/spl rarr//spl infin/, the channel capacity C/sub S/ decays to zero at least as fast as (K/sub 1/log/sub 2/A(S))/A(S) and at most as fast as (K/sub 2/log/sub 2/A(S))/A(S). It is also shown that if S is an open convex and symmetric checkerboard constraint, then as A(S)/spl rarr//spl infin/, the capacity decays exactly at the rate 4/spl delta/(S)(log/sub 2/A(S))/A(S), where /spl delta/(S) is the packing density of the set S. An implication is that the capacity of such checkerboard constrained channels is asymptotically determined only by the areas of the constraint and the smallest (possibly degenerate) hexagon that can be circumscribed about the constraint. In particular, this establishes that channels with square, diamond, or hexagonal checkerboard constraints all asymptotically have the same capacity, since /spl delta/(S)=1 for such constraints.

[1]  Kenneth G. Paterson,et al.  Zero/positive capacities of two-dimensional runlength-constrained arrays , 2005, IEEE Transactions on Information Theory.

[2]  C. Tracy,et al.  Equation of state and isothermal compressibility for the hard hexagon model in the disordered regime , 1987 .

[3]  R. Baxter Solving Models in Statistical Mechanics , 1989 .

[4]  C. A. Rogers,et al.  An Introduction to the Geometry of Numbers , 1959 .

[5]  Ron M. Roth,et al.  Parallel constrained coding with application to two-dimensional constraints , 2002, IEEE Trans. Inf. Theory.

[6]  Kenneth Zeger,et al.  On the capacity of two-dimensional run-length constrained channels , 1999, IEEE Trans. Inf. Theory.

[7]  Paul H. Siegel,et al.  Codes for Digital Recorders , 1998, IEEE Trans. Inf. Theory.

[8]  Brian H. Marcus,et al.  Two-dimensional low-pass filtering codes , 1998, IEEE Trans. Commun..

[9]  J. Wolf,et al.  A new class of two-dimensional RLL recording codes , 1992 .

[10]  C. H. Dowker On minimum circumscribed polygons , 1944 .

[11]  Emina Soljanin,et al.  Writing sequences on the plane , 2002, IEEE Trans. Inf. Theory.

[12]  M. .. Moore Exactly Solved Models in Statistical Mechanics , 1983 .

[13]  E. Soijanin Writing sequences on the plane , 2002 .

[14]  Ron M. Roth,et al.  Efficient Code Construction for Certain Two-Dimensional Constraints , 1997, IEEE Trans. Inf. Theory.

[15]  Michael W. Marcellin,et al.  Error-correcting two-dimensional modulation codes , 1995, IEEE Trans. Inf. Theory.

[16]  Paul H. Siegel,et al.  Efficient coding schemes for the hard-square model , 2001, IEEE Trans. Inf. Theory.

[17]  S. K. Tsang,et al.  Entropy of hard hexagons , 1980 .

[18]  C. A. Rogers,et al.  Packing and Covering , 1964 .

[19]  Richard E. Blahut,et al.  The Capacity and Coding Gain of Certain Checkerboard Codes , 1998, IEEE Trans. Inf. Theory.

[20]  Tuvi Etzion,et al.  Cascading methods for runlength-limited arrays , 1997, IEEE Trans. Inf. Theory.

[21]  P. Kelly,et al.  Geometry and Convexity: A Study in Mathematical Methods , 1979 .

[22]  J. Wolf,et al.  Bit-stuffing bounds on the capacity of 2-dimensional constrained arrays , 1998, Proceedings. 1998 IEEE International Symposium on Information Theory (Cat. No.98CH36252).

[23]  Michael Larsen,et al.  The Problem of Kings , 1995, Electron. J. Comb..

[24]  Bane V. Vasic Capacity of channels with redundant multitrack (d, k) constraints: the k , 1996, IEEE Trans. Inf. Theory.

[25]  R. Baxter Exactly solved models in statistical mechanics , 1982 .

[26]  Herbert S. Wilf,et al.  The Number of Independent Sets in a Grid Graph , 1998, SIAM J. Discret. Math..

[27]  Jørn Justesen,et al.  Entropy Bounds for Constrained Two-Dimensional Random Fields , 1999, IEEE Trans. Inf. Theory.

[28]  G. Joyce On the hard-hexagon model and the theory of modular functions , 1988, Philosophical Transactions of the Royal Society of London. Series A, Mathematical and Physical Sciences.

[29]  Bane V. Vasic,et al.  Shannon Capacity of M-ary Redundant Multitrack Runlength Limited Codes , 1998, IEEE Trans. Inf. Theory.

[30]  Michael Newman,et al.  Modular properties of the hard hexagon model , 1987 .