Showing 1–9 of 9 results for author: Randriambololona, H

Algebraic geometry codes and some applications

Authors: Alain Couvreur, Hugues Randriambololona

Abstract: This article surveys the development of the theory of algebraic geometry codes since their discovery in the late 70's. We summarize the major results on various problems such as: asymptotic parameters, improved estimates on the minimum distance, and decoding algorithms. In addition, we present various modern applications of these codes such as public-key cryptography, algebraic complexity theory,… ▽ More This article surveys the development of the theory of algebraic geometry codes since their discovery in the late 70's. We summarize the major results on various problems such as: asymptotic parameters, improved estimates on the minimum distance, and decoding algorithms. In addition, we present various modern applications of these codes such as public-key cryptography, algebraic complexity theory, multiparty computation or distributed storage. △ Less

Submitted 2 September, 2020; originally announced September 2020.

Comments: Survey chapter to appear in "A Concise Encyclopedia of Coding Theory", W.C. Huffman, J.-L. Kim, and P. Sole' Eds., CRC Press

The quadratic hull of a code and the geometric view on multiplication algorithms

Authors: Hugues Randriambololona

Abstract: We introduce the notion of quadratic hull of a linear code, and give some of its properties. We then show that any symmetric bilinear multiplication algorithm for a finite-dimensional algebra over a field can be obtained by evaluation-interpolation at simple points (i.e. of degree and multiplicity 1) on a naturally associated space, namely the quadratic hull of the corresponding code. This also pr… ▽ More We introduce the notion of quadratic hull of a linear code, and give some of its properties. We then show that any symmetric bilinear multiplication algorithm for a finite-dimensional algebra over a field can be obtained by evaluation-interpolation at simple points (i.e. of degree and multiplicity 1) on a naturally associated space, namely the quadratic hull of the corresponding code. This also provides a geometric answer to some questions such as: which linear maps actually are multiplication algorithms, or which codes come from supercodes (as asked by Shparlinski-Tsfasman-Vladut). We illustrate this with examples, in particular we describe the quadratic hull of all the optimal algorithms computed by Barbulescu-Detrey-Estibals-Zimmermann for small algebras. In our presentation we actually work with multiplication reductions. This is a generalization of multiplication algorithms, that allows for instance evaluation-interpolation at points of higher degree and/or with multiplicities, and also includes the recently introduced notion of "reverse multiplication-friendly embedding" from Cascudo-Cramer-Xing-Yang. All our results hold in this more general context. △ Less

Submitted 20 November, 2020; v1 submitted 13 December, 2019; originally announced December 2019.

Comments: 27 pages, submitted to proceedings of AGCT-17; v2: added references + cosmetic changes; v3: 30 pages, includes changes suggested by the referee

Harder-Narasimhan theory for linear codes

Authors: Hugues Randriambololona

Abstract: In this text we develop some aspects of Harder-Narasimhan theory, slopes, semistability and canonical filtration, in the setting of combinatorial lattices. Of noticeable importance is the Harder-Narasimhan structure associated to a Galois connection between two lattices. It applies, in particular, to matroids. We then specialize this to linear codes. This could be done from at least three differ… ▽ More In this text we develop some aspects of Harder-Narasimhan theory, slopes, semistability and canonical filtration, in the setting of combinatorial lattices. Of noticeable importance is the Harder-Narasimhan structure associated to a Galois connection between two lattices. It applies, in particular, to matroids. We then specialize this to linear codes. This could be done from at least three different approaches: using the sphere-packing analogy, or the geometric view, or the Galois connection construction just introduced. A remarkable fact is that these all lead to the same notion of semistability and canonical filtration. Relations to previous propositions towards a classification of codes, and to Wei's generalized Hamming weight hierarchy, are also discussed. Last, we study the important question of the preservation of semistability (or more generally the behaviour of slopes) under duality, and under tensor product. The former essentially follows from Wei's duality theorem for higher weights---and its matroid version---which we revisit in an appendix, develo** analogues of the Riemann-Roch, Serre duality, Clifford, and gap and gonality sequence theorems for codes. Likewise the latter is closely related to the bound on higher weights of a tensor product, conjectured by Wei and Yang, and proved by Schaathun in the geometric language, which we reformulate directly in terms of codes. From this material we then derive semistability of tensor product. △ Less

Submitted 10 September, 2018; v1 submitted 2 September, 2016; originally announced September 2016.

Comments: 41 pages, to appear in J. Pure Appl. Algebra; main change between v1 and v2: material on Riemann-Roch theory for codes and matroids was moved in an appendix

Linear independence of rank 1 matrices and the dimension of *-products of codes

Authors: Hugues Randriambololona

Abstract: We show that with high probability, random rank 1 matrices over a finite field are in (linearly) general position, at least provided their shape k x l is not excessively unbalanced. This translates into saying that the dimension of the *-product of two [n, k] and [n, l] random codes is equal to min(n, kl), as one would have expected. Our work is inspired by a similar result of Cascudo-Cramer-Miran… ▽ More We show that with high probability, random rank 1 matrices over a finite field are in (linearly) general position, at least provided their shape k x l is not excessively unbalanced. This translates into saying that the dimension of the *-product of two [n, k] and [n, l] random codes is equal to min(n, kl), as one would have expected. Our work is inspired by a similar result of Cascudo-Cramer-Mirandola-Zemor dealing with *-squares of codes, which it complements, especially regarding applications to the analysis of McEliece-type cryptosystems. We also briefly mention the case of higher *-powers, which require to take the Frobenius into account. We then conclude with some open problems. △ Less

Submitted 23 January, 2015; originally announced January 2015.

Comments: 13 pages

On products and powers of linear codes under componentwise multiplication

Authors: Hugues Randriambololona

Abstract: In this text we develop the formalism of products and powers of linear codes under componentwise multiplication. As an expanded version of the author's talk at AGCT-14, focus is put mostly on basic properties and descriptive statements that could otherwise probably not fit in a regular research paper. On the other hand, more advanced results and applications are only quickly mentioned with referen… ▽ More In this text we develop the formalism of products and powers of linear codes under componentwise multiplication. As an expanded version of the author's talk at AGCT-14, focus is put mostly on basic properties and descriptive statements that could otherwise probably not fit in a regular research paper. On the other hand, more advanced results and applications are only quickly mentioned with references to the literature. We also point out a few open problems. Our presentation alternates between two points of view, which the theory intertwines in an essential way: that of combinatorial coding, and that of algebraic geometry. In appendices that can be read independently, we investigate topics in multilinear algebra over finite fields, notably we establish a criterion for a symmetric multilinear map to admit a symmetric algorithm, or equivalently, for a symmetric tensor to decompose as a sum of elementary symmetric tensors. △ Less

Submitted 14 October, 2014; v1 submitted 29 November, 2013; originally announced December 2013.

Comments: 75 pages; expanded version of a talk at AGCT-14 (Luminy), to appear in vol. 637 of Contemporary Math., AMS, Apr. 2015; v3: minor typos corrected in the final "open questions" section

An upper bound of Singleton type for componentwise products of linear codes

Authors: Hugues Randriambololona

Abstract: We give an upper bound that relates the minimum weight of a nonzero componentwise product of codewords from some given number of linear codes, with the dimensions of these codes. Its shape is a direct generalization of the classical Singleton bound. We give an upper bound that relates the minimum weight of a nonzero componentwise product of codewords from some given number of linear codes, with the dimensions of these codes. Its shape is a direct generalization of the classical Singleton bound. △ Less

Submitted 2 September, 2013; v1 submitted 21 May, 2013; originally announced May 2013.

Comments: 9 pages; major improvements in v3: now works for an arbitrary number of codes, and the low-weight codeword can be taken in product form; submitted to IEEE Trans. Inform. Theory

Asymptotically good binary linear codes with asymptotically good self-intersection spans

Authors: Hugues Randriambololona

Abstract: If C is a binary linear code, let C^2 be the linear code spanned by intersections of pairs of codewords of C. We construct an asymptotically good family of binary linear codes such that, for C ranging in this family, the C^2 also form an asymptotically good family. For this we use algebraic-geometry codes, concatenation, and a fair amount of bilinear algebra. More precisely, the two main ingredi… ▽ More If C is a binary linear code, let C^2 be the linear code spanned by intersections of pairs of codewords of C. We construct an asymptotically good family of binary linear codes such that, for C ranging in this family, the C^2 also form an asymptotically good family. For this we use algebraic-geometry codes, concatenation, and a fair amount of bilinear algebra. More precisely, the two main ingredients used in our construction are, first, a description of the symmetric square of an odd degree extension field in terms only of field operations of small degree, and second, a recent result of Garcia-Stichtenoth-Bassa-Beelen on the number of points of curves on such an odd degree extension field. △ Less

Submitted 31 August, 2012; v1 submitted 13 April, 2012; originally announced April 2012.

Comments: 18 pages; v2->v3: expanded introduction and bibliography + various minor changes

Bilinear complexity of algebras and the Chudnovsky-Chudnovsky interpolation method

Authors: Hugues Randriambololona

Abstract: We give new improvements to the Chudnovsky-Chudnovsky method that provides upper bounds on the bilinear complexity of multiplication in extensions of finite fields through interpolation on algebraic curves. Our approach features three independent key ingredients: (1) We allow asymmetry in the interpolation procedure. This allows to prove, via the usual cardinality argument, the existence of auxi… ▽ More We give new improvements to the Chudnovsky-Chudnovsky method that provides upper bounds on the bilinear complexity of multiplication in extensions of finite fields through interpolation on algebraic curves. Our approach features three independent key ingredients: (1) We allow asymmetry in the interpolation procedure. This allows to prove, via the usual cardinality argument, the existence of auxiliary divisors needed for the bounds, up to optimal degree. (2) We give an alternative proof for the existence of these auxiliary divisors, which is constructive, and works also in the symmetric case, although it requires the curves to have sufficiently many points. (3) We allow the method to deal not only with extensions of finite fields, but more generally with monogenous algebras over finite fields. This leads to sharper bounds, and is designed also to combine well with base field descent arguments in case the curves do not have sufficiently many points. As a main application of these techniques, we fix errors in, improve, and generalize, previous works of Shparlinski-Tsfasman-Vladut, Ballet, and Cenk-Ozbudak. Besides, generalities on interpolation systems, as well as on symmetric and asymmetric bilinear complexity, are also discussed. △ Less

Submitted 16 March, 2012; v1 submitted 1 July, 2011; originally announced July 2011.

Comments: 40 pages; difference with previous version: modified Lemma 5.6

(2,1)-separating systems beyond the probabilistic bound

Authors: Hugues Randriambololona

Abstract: Building on previous results of Xing, we give new lower bounds on the rate of intersecting codes over large alphabets. The proof is constructive, and uses algebraic geometry, although nothing beyond the basic theory of linear systems on curves. Then, using these new bounds within a concatenation argument, we construct binary (2,1)-separating systems of asymptotic rate exceeding the one given by th… ▽ More Building on previous results of Xing, we give new lower bounds on the rate of intersecting codes over large alphabets. The proof is constructive, and uses algebraic geometry, although nothing beyond the basic theory of linear systems on curves. Then, using these new bounds within a concatenation argument, we construct binary (2,1)-separating systems of asymptotic rate exceeding the one given by the probabilistic method, which was the best lower bound available up to now. This answers (negatively) the question of whether this probabilistic bound was exact, which has remained open for more than 30 years. (By the way, we also give a formulation of the separation property in terms of metric convexity, which may be an inspirational source for new research problems.) △ Less

Submitted 10 January, 2012; v1 submitted 27 October, 2010; originally announced October 2010.

Comments: Version 7 is a shortened version, so that numbering should match with the journal version (to appear soon). Material on convexity and separation in discrete and continuous spaces has been removed. Readers interested in this material should consult version 6 instead