Title:Zero-Error Capacity of a Class of Timing Channels

Abstract:We analyze the problem of zero-error communication through certain timing channels that can be interpreted as discrete-time queues with bounded waiting times. These timing channels are partly motivated by settings in which communication is done with rather unconventional physical carriers, such as particles, molecules, items, etc. The channel model includes the following assumptions: 1) at most $ N $ "particles" are sent in each time slot, 2) every particle is delayed in the channel for a number of slots chosen randomly from the set $ \{0, 1, \ldots, K\} $, and 3) the particles are indistinguishable, and hence the information is conveyed via the number of particles in each slot only. It is shown that the zero-error capacity of this channel is $ \log r $, where $ r $ is the unique positive real root of the polynomial $ x^{K+1} - x^{K} - N $. It is interesting to note that in the particular case $ N = 1 $, $ K = 1 $, the capacity is equal to $ \log \phi $, where $ \phi = (1 + \sqrt{5}) / 2 $ is the golden ratio. Capacity-achieving codes are explicitly constructed.