Fat struts: Constructions and a bound

Given a lattice A C R, a cylinder anchored at two lattice points is called a strut if its interior does not contain a lattice point. We wish to determine the maximum radius of a strut of given length. Optimal struts are constructed in Z3 and Z4. We also derive, using a nonconstructive but elementary argument, an achievable lower bound on the product Z∊, where I and ∊ are the length and radius of a strut in Zn. The motivation for the problem comes from studying nonlinear analog communication systems.

[1]  N. Hofreiter Zur Geometrie der Zahlen , 1933 .

[2]  E. T. An Introduction to the Theory of Numbers , 1946, Nature.

[3]  F. Thorne,et al.  Geometry of Numbers , 2017, Algebraic Number Theory.

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

[5]  Ezio Biglieri,et al.  Cyclic-group codes for the Gaussian channel (Corresp.) , 1976, IEEE Trans. Inf. Theory.

[6]  E. Biglieri,et al.  Cyclic-group codes for the Gaussian channel , 1976 .

[7]  C.E. Shannon,et al.  Communication in the Presence of Noise , 1949, Proceedings of the IRE.

[8]  W. Fischer,et al.  Sphere Packings, Lattices and Groups , 1990 .

[9]  Thomas C. Hales Sphere packings, I , 1997, Discret. Comput. Geom..

[10]  N. J. A. Sloane,et al.  Dynamical systems, curves and coding for continuous alphabet sources , 2002, Proceedings of the IEEE Information Theory Workshop.

[11]  Sueli I. Rodrigues Costa,et al.  Curves on a sphere, shift-map dynamics, and error control for continuous alphabet sources , 2003, IEEE Transactions on Information Theory.