Search arXivSearch

arXiv · 2211.05513

Coding Schemes Based on Reed-Muller Codes for $(d,\infty)$-RLL Input-Constrained Channels

Abstract

The paper considers coding schemes derived from Reed-Muller (RM) codes, for transmission over input-constrained memoryless channels. Our focus is on the $(d,\infty)$-runlength limited (RLL) constraint, which mandates that any pair of successive $1$s be separated by at least $d$ $0$s. In our study, we first consider $(d,\infty)$-RLL subcodes of RM codes, taking the coordinates of the RM codes to be in the standard lexicographic ordering. We show, via a simple construction, that RM codes of rate $R$ have linear $(d,\infty)$-RLL subcodes of rate $R\cdot{2^{-\left \lceil \log_2(d+1)\right \rceil}}$. We then show that our construction is essentially rate-optimal, by deriving an upper bound on the rates of linear $(d,\infty)$-RLL subcodes of RM codes of rate $R$. Next, for the special case when $d=1$, we prove the existence of potentially non-linear $(1,\infty)$-RLL subcodes that achieve a rate of $\max\left(0,R-\frac38\right)$. This, for $R > 3/4$, beats the $R/2$ rate obtainable from linear subcodes. We further derive upper bounds on the rates of $(1,\infty)$-RLL subcodes, not necessarily linear, of a certain canonical sequence of RM codes of rate $R$. We then shift our attention to settings where the coordinates of the RM code are not ordered according to the lexicographic ordering, and derive rate upper bounds for linear $(d,\infty)$-RLL subcodes in these cases as well. Finally, we present a new two-stage constrained coding scheme, again using RM codes of rate $R$, which outperforms any linear coding scheme using $(d,\infty)$-RLL subcodes, for values of $R$ close to $1$.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

V. Arvind Rameshwar, Navin Kashyap. 2023-05-20. Coding Schemes Based on Reed-Muller Codes for $(d,\infty)$-RLL Input-Constrained Channels. https://arxiv.org/abs/2211.05513

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Fundamental Scaling Laws of Covert Communication in the Presence of Block Fading

Covert communication is the undetected transmission of sensitive information over a communication channel. In wireless communication systems, channel impairments such as signal fading present challenges in the effective implementation and analysis of covert communication systems. This paper generalizes early work in the covert communication field by considering asymptotic results for the number of bits that can be covertly transmitted in $n$ channel uses on a block fading channel. Critical to the investigation is characterizing the performance of optimal detectors at the adversary. Matching achievable and converse results are presented.

cs.IT

Sequence Reconstruction over the Deletion Channel

In this paper, we consider the Levenshtein's sequence reconstruction problem in the case where the transmitted codeword is chosen from $\{0,1\}^n$ and the channel can delete up to $t$ symbols from the transmitted codeword. We determine the minimum number of channel outputs (assuming that they are distinct) required to reconstruct a list of size $\ell-1$ of candidate sequences, one of which corresponds to the original transmitted sequence. More specifically, we determine the maximum possible size of the intersection of $\ell \geq 3$ deletion balls of radius $t$ centered at $x_1, x_2, \dots, x_{\ell}$, where $x_i \in \{0,1\}^n$ for all $i \in \{1,2,\dots,\ell\}$ and $x_i \neq x_j$ for $i \neq j$, with $ n \geq t+\ell-1$ and $t \geq 1$.

cs.IT

A generalization of the map $χ$

The mapping $ χ_n:\mathbb{F}_2^n \to \mathbb{F}_2^n$ defined by $y=χ_n(x)$ with $y_i = x_i + x_{i+1}x_{i+2} + x_{i+2}$, where the indices are computed modulo $n$, has been widely studied for its application in lightweight cryptography. In this paper, we generalize this mapping and completely characterize all these shift-invariant permutations of the form $y_i=x_{i+u}+x_{i+v}(x_{i+w}+a_i)$, where $0\le u, v, w<n$ and $a_i\in \mathbb{F}_2$, $1\le i\le n$.

cs.IT