29 research outputs found
Asymptotically good binary linear codes with asymptotically good self-intersection spans
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.Comment: 18 pages; v2->v3: expanded introduction and bibliography + various
minor change
On products and powers of linear codes under componentwise multiplication
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.Comment: 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" sectio
An upper bound of Singleton type for componentwise products of linear codes
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.Comment: 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. Theor
(2,1)-separating systems beyond the probabilistic bound
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.)Comment: 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 instea
Bilinear complexity of algebras and the Chudnovsky-Chudnovsky interpolation method
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.Comment: 40 pages; difference with previous version: modified Lemma 5.
New uniform and asymptotic upper bounds on the tensor rank of multiplication in extensions of finite fields
International audienceWe obtain new uniform upper bounds for the tensor rank of the multiplication in the extensions of the finite fields for any prime power ; moreover these uniform bounds lead to new asymptotic bounds as well. In addition, we also give purely asymptotic bounds which are substantially better by using a family of Shimura curves defined over , with an optimal ratio of -rational places to their genus, where is a square