Capacity of Additive-Noise Sticky Channels
Sticky channels, which never destroy nor create runs, are some of the simplest types of channels with synchronization errors (such as deletions, insertions, and replications). Despite their simplicity, we know little about the capacity of the sticky channels considered in the literature so far beyond what can be gleaned from purely numerical methods. Towards a broader and systematic exploration of these channels, we initiate the study of additive-noise sticky channels, a basic family of sticky channels that extend each input run by an amount independently sampled from a fixed noise distribution. The capacity of these channels corresponds to the capacity per unit cost of additive-noise memoryless channels over the non-negative integers, and they capture some aspects of the loss of synchronization caused by homopolymer length miscalls in DNA sequencing. We first focus on the setting of Bernoulli additive noise with parameter $p$, and uncover curious behavior of the capacity beyond what numerical methods can tell us. For example, the capacity is constant when $p\in [1/φ^2,1/2]$ with $φ\approx 1.618$ the golden ratio, achieved by zero-error runlength-constrained coding, and behaves differently when $p\approx 0$ vs. when $p\approx 1$. More generally, we determine the capacity exactly for all $p\leq 1/2$, and when $1/2<p<1$ we give analytical bounds that allow us to characterize the asymptotic behavior of the capacity as $p\to 1$. We also extend our analysis to the setting where input strings have bounded runlengths, motivated by DNA-based data storage. Then, we study additive-noise sticky channels beyond Bernoulli noise. We derive capacity lower bounds for all additive-noise sticky channels whose noise distributions have a given mean and support. These lower bounds allow us to characterize the regime where zero-error runlength-constrained coding is never optimal.