63 research outputs found
On the Peak-to-Mean Envelope Power Ratio of Phase-Shifted Binary Codes
The peak-to-mean envelope power ratio (PMEPR) of a code employed in
orthogonal frequency-division multiplexing (OFDM) systems can be reduced by
permuting its coordinates and by rotating each coordinate by a fixed phase
shift. Motivated by some previous designs of phase shifts using suboptimal
methods, the following question is considered in this paper. For a given binary
code, how much PMEPR reduction can be achieved when the phase shifts are taken
from a 2^h-ary phase-shift keying (2^h-PSK) constellation? A lower bound on the
achievable PMEPR is established, which is related to the covering radius of the
binary code. Generally speaking, the achievable region of the PMEPR shrinks as
the covering radius of the binary code decreases. The bound is then applied to
some well understood codes, including nonredundant BPSK signaling, BCH codes
and their duals, Reed-Muller codes, and convolutional codes. It is demonstrated
that most (presumably not optimal) phase-shift designs from the literature
attain or approach our bound.Comment: minor revisions, accepted for IEEE Trans. Commun
ON THE PROPERTIES AND COMPLEXITY OF MULTICOVERING RADII
People rely on the ability to transmit information over channels of communication that aresubject to noise and interference. This makes the ability to detect and recover from errorsextremely important. Coding theory addresses this need for reliability. A fundamentalquestion of coding theory is whether and how we can correct the errors in a message thathas been subjected to interference. One answer comes from structures known as errorcorrecting codes.A well studied parameter associated with a code is its covering radius. The coveringradius of a code is the smallest radius such that every vector in the Hamming space of thecode is contained in a ball of that radius centered around some codeword. Covering radiusrelates to an important decoding strategy known as nearest neighbor decoding.The multicovering radius is a generalization of the covering radius that was proposed byKlapper [11] in the course of studying stream ciphers. In this work we develop techniques forfinding the multicovering radius of specific codes. In particular, we study the even weightcode, the 2-error correcting BCH code, and linear codes with covering radius one.We also study questions involving the complexity of finding the multicovering radius ofcodes. We show: Lower bounding the m-covering radius of an arbitrary binary code is NPcompletewhen m is polynomial in the length of the code. Lower bounding the m-coveringradius of a linear code is Σp2-complete when m is polynomial in the length of the code. IfP is not equal to NP, then the m-covering radius of an arbitrary binary code cannot beapproximated within a constant factor or within a factor nϵ, where n is the length of thecode and ϵ andlt; 1, in polynomial time. Note that the case when m = 1 was also previouslyunknown. If NP is not equal to Σp2, then the m-covering radius of a linear code cannot beapproximated within a constant factor or within a factor nϵ, where n is the length of thecode and ϵ andlt; 1, in polynomial time
Covering Radius 1985-1994
We survey important developments in the theory of covering radius during the period 1985-1994. We present lower bounds, constructions and upper bounds, the linear and nonlinear cases, density and asymptotic results, normality, specific classes of codes, covering radius and dual distance, tables, and open problems
Covering -Symbol Metric Codes and the Generalized Singleton Bound
Symbol-pair codes were proposed for the application in high density storage
systems, where it is not possible to read individual symbols. Yaakobi, Bruck
and Siegel proved that the minimum pair-distance of binary linear cyclic codes
satisfies and introduced -symbol metric
codes in 2016. In this paper covering codes in -symbol metrics are
considered. Some examples are given to show that the Delsarte bound and the
Norse bound for covering codes in the Hamming metric are not true for covering
codes in the pair metric. We give the redundancy bound on covering radius of
linear codes in the -symbol metric and give some optimal codes attaining
this bound. Then we prove that there is no perfect linear symbol-pair code with
the minimum pair distance and there is no perfect -symbol metric code if
. Moreover a lot of cyclic and algebraic-geometric codes
are proved non-perfect in the -symbol metric. The covering radius of the
Reed-Solomon code in the -symbol metric is determined. As an application the
generalized Singleton bound on the sizes of list-decodable -symbol metric
codes is also presented. Then an upper bound on lengths of general MDS
symbol-pair codes is proved.Comment: 21 page
Results on the Generalized Covering Radius of Error Correcting Codes
The recently proposed generalized covering radius is a fundamental property of error correcting codes. This quantity characterizes the trade off between time and space complexity of certain algorithms when a code is used in them. However, for the most part very little is known about the generalized covering radius. My thesis seeks to expand on this field in several ways. First, a new upper bound on this quantity is established and compared to previous bounds. Second, this bound is used to derive a new algorithm for finding codewords within the generalized covering radius of a given vector, and also to modify an existing algorithm, greatly improving its efficiency
Smoothing of binary codes, uniform distributions, and applications
The action of a noise operator on a code transforms it into a distribution on
the respective space. Some common examples from information theory include
Bernoulli noise acting on a code in the Hamming space and Gaussian noise acting
on a lattice in the Euclidean space. We aim to characterize the cases when the
output distribution is close to the uniform distribution on the space, as
measured by R{\'e}nyi divergence of order . A version of
this question is known as the channel resolvability problem in information
theory, and it has implications for security guarantees in wiretap channels,
error correction, discrepancy, worst-to-average case complexity reductions, and
many other problems.
Our work quantifies the requirements for asymptotic uniformity (perfect
smoothing) and identifies explicit code families that achieve it under the
action of the Bernoulli and ball noise operators on the code. We derive
expressions for the minimum rate of codes required to attain asymptotically
perfect smoothing. In proving our results, we leverage recent results from
harmonic analysis of functions on the Hamming space. Another result pertains to
the use of code families in Wyner's transmission scheme on the binary wiretap
channel. We identify explicit families that guarantee strong secrecy when
applied in this scheme, showing that nested Reed-Muller codes can transmit
messages reliably and securely over a binary symmetric wiretap channel with a
positive rate. Finally, we establish a connection between smoothing and error
correction in the binary symmetric channel
On Saturating Sets in Small Projective Geometries
AbstractA set of points, S⊆PG(r, q), is said to be ϱ -saturating if, for any point x∈PG(r, q), there exist ϱ+ 1 points in S that generate a subspace in which x lies. The cardinality of a smallest possible set S with this property is denoted by k(r, q,ϱ ). We give a short survey of what is known about k(r, q, 1) and present new results for k(r, q, 2) for small values of r and q. One construction presented proves that k(5, q, 2) ≤ 3 q+ 1 forq= 2, q≥ 4. We further give an upper bound onk (ϱ+ 1, pm, ϱ)
- …