26 research outputs found
Asymptotic Improvement of the Gilbert-Varshamov Bound on the Size of Binary Codes
Given positive integers and , let denote the maximum size
of a binary code of length and minimum distance . The well-known
Gilbert-Varshamov bound asserts that , where
is the volume of a Hamming sphere of
radius . We show that, in fact, there exists a positive constant such
that whenever . The result follows by recasting the Gilbert- Varshamov bound into a
graph-theoretic framework and using the fact that the corresponding graph is
locally sparse. Generalizations and extensions of this result are briefly
discussed.Comment: 10 pages, 3 figures; to appear in the IEEE Transactions on
Information Theory, submitted August 12, 2003, revised March 28, 200
Quickest Sequence Phase Detection
A phase detection sequence is a length- cyclic sequence, such that the
location of any length- contiguous subsequence can be determined from a
noisy observation of that subsequence. In this paper, we derive bounds on the
minimal possible in the limit of , and describe some sequence
constructions. We further consider multiple phase detection sequences, where
the location of any length- contiguous subsequence of each sequence can be
determined simultaneously from a noisy mixture of those subsequences. We study
the optimal trade-offs between the lengths of the sequences, and describe some
sequence constructions. We compare these phase detection problems to their
natural channel coding counterparts, and show a strict separation between the
fundamental limits in the multiple sequence case. Both adversarial and
probabilistic noise models are addressed.Comment: To appear in the IEEE Transactions on Information Theor
Reticulados em problemas de comunicação
Orientadores: Sueli Irene Rodrigues Costa, Vinay Anant VaishampayanTese (doutorado) - Universidade Estadual de Campinas, Instituto de Matemática Estatística e Computação CientíficaResumo: O estudo de códigos no contexto de reticulados e outras constelações discretas para aplicações em comunicações é um tópico de interesse na área de teoria da informação. Certas construções de reticulados, como é o caso das Construções A e D, e de outras constelações que não são reticulados, como a Construção C, são utilizadas na decodificação multi-estágio e para quantização vetorial eficiente. Isso motiva a primeira contribuição deste trabalho, que consiste em investigar características da Construção C e propor uma nova construção baseada em códigos lineares, que chamamos de Construção analisando suas propriedades (condições para ser reticulado, uniformidade geométrica e distância mínima) e relação com a Construção C. Problemas na área de comunicações envolvendo reticulados podem ser computacionalmente difíceis à medida que a dimensão aumenta, como é o caso de, dado um vetor no espaço real dimensional, determinar o ponto do reticulado mais próximo a este. A segunda contribuição deste trabalho é a análise desse problema restrito a um sistema distribuído, ou seja, onde o vetor a ser decodificado possui cada uma de suas coordenadas disponíveis em um nó distinto desse sistema. Nessa investigação, encontramos uma solução aproximada para duas e três dimensões considerando a partição de Babai e também estudamos o custo de comunicação envolvidoAbstract: The study of codes in the context of lattices and other discrete constellations for applications in communications is a topic of interest in the area of information theory. Some lattice constructions, such as the known Constructions A and D, and other special nonlattice constellations, as Construction C, are used in multi-stage decoding and efficient vector quantization. This motivates the first contribution of this work, which is to investigate characteristics of Construction C and to propose a new construction based on linear codes that we called Construction analyzing its properties (latticeness, geometric uniformity and minimum distance) and relations with Construction C. Communication problems related to lattices can be computationally hard when the dimension increases, as it is the case of, given a real vector in the dimensional space, determine the closest lattice point to it. The second contribution of this work is the analysis of this problem restricted to a distributed system, i.e., where the vector to be decoded has each coordinate available in a separated node in this system. In this investigation, we find the approximate solution for two and three dimensions considering the Babai partition and study the communication cost involvedDoutoradoMatematica AplicadaDoutora em Matemática Aplicada140797/2017-3CNPQCAPE
Generalization of the Ball-Collision Algorithm
In this paper we generalize the ball-collision algorithm by Bernstein, Lange, Peters from the binary field to a general finite field. We also provide a complexity analysis and compare the asymptotic complexity to other generalized information set decoding algorithms
Algebraic Codes For Error Correction In Digital Communication Systems
Access to the full-text thesis is no longer available at the author's request, due to 3rd party copyright restrictions. Access removed on 29.11.2016 by CS (TIS).Metadata merged with duplicate record (http://hdl.handle.net/10026.1/899) on 20.12.2016 by CS (TIS).C. Shannon presented theoretical conditions under which communication was possible
error-free in the presence of noise. Subsequently the notion of using error
correcting codes to mitigate the effects of noise in digital transmission was introduced
by R. Hamming. Algebraic codes, codes described using powerful tools from
algebra took to the fore early on in the search for good error correcting codes. Many
classes of algebraic codes now exist and are known to have the best properties of
any known classes of codes. An error correcting code can be described by three of its
most important properties length, dimension and minimum distance. Given codes
with the same length and dimension, one with the largest minimum distance will
provide better error correction. As a result the research focuses on finding improved
codes with better minimum distances than any known codes.
Algebraic geometry codes are obtained from curves. They are a culmination of years
of research into algebraic codes and generalise most known algebraic codes. Additionally
they have exceptional distance properties as their lengths become arbitrarily
large. Algebraic geometry codes are studied in great detail with special attention
given to their construction and decoding. The practical performance of these codes
is evaluated and compared with previously known codes in different communication
channels. Furthermore many new codes that have better minimum distance
to the best known codes with the same length and dimension are presented from
a generalised construction of algebraic geometry codes. Goppa codes are also an
important class of algebraic codes. A construction of binary extended Goppa codes
is generalised to codes with nonbinary alphabets and as a result many new codes
are found. This construction is shown as an efficient way to extend another well
known class of algebraic codes, BCH codes. A generic method of shortening codes
whilst increasing the minimum distance is generalised. An analysis of this method
reveals a close relationship with methods of extending codes. Some new codes from
Goppa codes are found by exploiting this relationship. Finally an extension method
for BCH codes is presented and this method is shown be as good as a well known
method of extension in certain cases
Correlated Pseudorandomness from the Hardness of Quasi-Abelian Decoding
Secure computation often benefits from the use of correlated randomness to
achieve fast, non-cryptographic online protocols. A recent paradigm put forth
by Boyle (CCS 2018, Crypto 2019) showed how pseudorandom
correlation generators (PCG) can be used to generate large amounts of useful
forms of correlated (pseudo)randomness, using minimal interactions followed
solely by local computations, yielding silent secure two-party computation
protocols (protocols where the preprocessing phase requires almost no
communication). An additional property called programmability allows to extend
this to build N-party protocols. However, known constructions for programmable
PCG's can only produce OLE's over large fields, and use rather new splittable
Ring-LPN assumption.
In this work, we overcome both limitations. To this end, we introduce the
quasi-abelian syndrome decoding problem (QA-SD), a family of assumptions which
generalises the well-established quasi-cyclic syndrome decoding assumption.
Building upon QA-SD, we construct new programmable PCG's for OLE's over any
field with . Our analysis also sheds light on the security
of the ring-LPN assumption used in Boyle (Crypto 2020). Using
our new PCG's, we obtain the first efficient N-party silent secure computation
protocols for computing general arithmetic circuit over for any
.Comment: This is a long version of a paper accepted at CRYPTO'2