Search arXivSearch

arXiv · 1810.08161

Ratio List Decoding

Abstract

We extend the notion of list decoding to {\em ratio list decoding} which involves a list decoder whose list size is specified as a function of the number of messages $M_n$ and the block length $n$. We present necessary and sufficient conditions on $M_n$ for the existence of code sequences which enable reliable list decoding with respect to the desired list size $L(M_n,n)$. It is shown that the ratio-capacity, defined as the supremum of achievable normalized logarithms of the ratio $r(M_n,n)=M_n/L(M_n,n)$ is equal to the Shannon channel capacity $C$, for both stochastic and deterministic encoding. Allowing for random list size, we are able to deduce some properties of identification codes, where the decoder's output can be viewed as a list of messages corresponding to decision regions that include the channel output. We further address the regime of mismatched list decoding, in which the list constitutes of the codewords that accumulate the highest score values (jointly with the channel output) according to some given function. We study the case of deterministic encoding and mismatched ratio list decoding. We establish similar necessary and sufficient conditions for the existence of code sequences which enable reliable mismatched list decoding with respect to the desired list size $L(M_n,n)$, and we show that the ratio-capacity with mismatched decoding is equal to the mismatch capacity. Focusing on the case of an exponential list size $L_n=e^{n Θ}$, its comparison with ordinary mismatched decoding shows that the increase in capacity is by $Θ$ bits per channel use for all channels and decoding metrics. Several properties of the average error probability in the setup of mismatched list decoding with deterministic list size are provided.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Anelia Somekh-Baruch. 2018-10-18. Ratio List Decoding. https://arxiv.org/abs/1810.08161

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