Any network codes comes from an algebraic curve taking osculating spaces

Edoardo Ballico

DOI: https://doi.org/10.1007/s10623-013-9841-4

2013-06-05

Abstract:In this note we prove that every network code over $\mathbb {F}_q$ may be realized taking some of the osculating spaces of a smooth projective curve.

Algebraic Geometry,Information Theory

What problem does this paper attempt to address?

On Codes in the Projective Linear Group PGL(2,q)

Tao Feng,Weicong Li,Jingkun Zhou

DOI: https://doi.org/10.1016/j.ffa.2021.101812

IF: 1.655

2021-01-01

Finite Fields and Their Applications

Abstract:In this paper, we resolve a conjecture of Green and Liebeck (2019) [3] on codes in PGL(2,q). To be specific, we show that: if D is a dihedral subgroup of order 2(q+1) in G=PGL(2,q), and A={g∈G:gq+1=1,g2≠1}, then λG=A⋅D, where λ=q or q−1 according as q is even or odd.
Non-algebraizable neighborhoods of curves

Maycol Falla Luza,Frank Loray,Paulo Sad

2024-07-30

Abstract:We provide several families of compact complex curves embedded in smooth complex surfaces such that no neighborhood of the curve can be embedded in an algebraic surface. Different constructions are proposed, by patching neighborhoods of curves in projective surfaces, and blowing down exceptional curves. These constructions generalize examples recently given by S. Lvovski. One of our non algebraic argument is based on an extension theorem of S. Ivashkovich.

Algebraic Geometry,Complex Variables
Codes from Infinitely Near Points

Bruce M. Bennett,Hing Sun Luk,Stephen S. -T. Yau

DOI: https://doi.org/10.4310/ajm.2012.v16.n1.a3

2012-01-01

Asian Journal of Mathematics

Abstract:We introduce a new class of nonlinear algebraic-geometry codes based on evaluation of functions on infinitely near points. Let X be an algebraic variety over the finite field F-q. An infinitely near point of order mu is a point P on a variety X' obtained by mu iterated blowing-ups starting from X. Given such a point P and a function f on X, we give a definition of f(P) which is nonlinear in f (unless mu = 0). Given a set S of infinitely near points {P-1, . . . , P-n}, we associate to f its set of values (f(P-1), . . . , f(P-n)) in F-q(n). Let V be a k dimensional vector space of functions on X. Evaluation of functions in V at the n points of S gives a map V -> F-q(n), which we view as an (n, q(k), d) code when the map is injective. Here d is the largest integer such that a function in V is uniquely determined by its values on any n - d + 1 points of S. These codes generalize the Reed-Solomon codes, but unlike the R-S codes they can be constructed to have arbitrarily large code length n. The first nontrivial case is where X = A(Fq)(2), affine 2-space, and we study this case in detail.
Encoding of algebraic geometry codes with quasi-linear complexity O(Nlog N)

Songsong Li,Shu Liu,Liming Ma,Yunqi Wan,Chaoping Xing

2024-07-06

Abstract:Fast encoding and decoding of codes have been always an important topic in code theory as well as complexity theory. Although encoding is easier than decoding in general, designing an encoding algorithm of codes of length $N$ with quasi-linear complexity $O(N\log N)$ is not an easy task. Despite the fact that algebraic geometry codes were discovered in the early of 1980s, encoding algorithms of algebraic geometry codes with quasi-linear complexity $O(N\log N)$ have not been found except for the simplest algebraic geometry codes--Reed-Solomon codes. The best-known encoding algorithm of algebraic geometry codes based on a class of plane curves has quasi-linear complexity at least $O(N\log^2 N)$. In this paper, we design an encoding algorithm of algebraic geometry codes with quasi-linear complexity $O(N\log N)$. Our algorithm works well for a large class of algebraic geometry codes based on both plane and non-plane curves. The main idea of this paper is to generalize the divide-and-conquer method from the fast Fourier Transform over finite fields to algebraic curves. Suppose we consider encoding of algebraic geometry codes based on an algebraic curve ${\mathcal X}$ over $\mathbb{F}_q$. We first consider a tower of Galois coverings ${\mathcal X}={\mathcal X}_0\rightarrow{\mathcal X}_1\rightarrow\cdots\rightarrow{\mathcal X}_r$ over a finite field $\mathbb{F}_q$, i.e., their function field tower $\mathbb{F}_q({\mathcal X}_0)\supsetneq\mathbb{F}_q({\mathcal X}_{1})\supsetneq\cdots \supsetneq\mathbb{F}_q({\mathcal X}_r)$ satisfies that each of extension \mathbb{F}_q({\mathcal X}_{i-1})/\mathbb{F}_q({\mathcal X}_i)$ is a Galois extension and the extension degree $[\mathbb{F}_q({\mathcal X}_{i-1}):\mathbb{F}_q({\mathcal X}_i)]$ {is a constant}. Then encoding of an algebraic geometry code based on ${\mathcal X}$ is reduced to the encoding of an algebraic geometry code based on ${\mathcal X}_r$.

Computational Complexity
On algebraic space filling curves

Alana Campbell,Flora Dedvukaj,Donald McCormick III,Han-Bom Moon,Joshua Morales

2023-09-05

Abstract:Poonen and Gabber independently showed that any smooth geometrically irreducible projective scheme over a finite field has a smooth space filling curve, that is, a smooth curve defined over the field and passes through all points over the field. However, except the case of projective plane, no concrete example was found in literature. In this note, we construct explicit examples of algebraic space filling curves in three dimensional projective space, in particular the ones with minimum degree.

Algebraic Geometry
Algebraic geometry codes over abelian surfaces containing no absolutely irreducible curves of low genus

Yves Aubry,Elena Berardini,Fabien Herbaut,Marc Perret

DOI: https://doi.org/10.1016/j.ffa.2020.101791

IF: 1.655

2021-02-01

Finite Fields and Their Applications

Abstract:We provide a theoretical study of Algebraic Geometry codes constructed from abelian surfaces defined over finite fields. We give a general bound on their minimum distance and we investigate how this estimation can be sharpened under the assumption that the abelian surface does not contain low genus curves. This approach naturally leads us to consider Weil restrictions of elliptic curves and abelian surfaces which do not admit a principal polarization.

mathematics, applied
Two-point AG codes from one of the Skabelund maximal curves

Leonardo Landi,Marco Timpanella,Lara Vicino

DOI: https://doi.org/10.1109/TIT.2024.3351862

2023-06-27

Abstract:In this paper, we investigate two-point Algebraic Geometry codes associated to the Skabelund maximal curve constructed as a cyclic cover of the Suzuki curve. In order to estimate the minimum distance of such codes, we make use of the generalized order bound introduced by P. Beelen and determine certain two-point Weierstrass semigroups of the curve.

Algebraic Geometry,Information Theory
Algebraic Methods for Quantum Codes on Lattices

Jeongwan Haah

DOI: https://doi.org/10.15446/recolma.v50n2.62214

2017-01-26

Revista Colombiana de Matemáticas

Abstract:Abstract This is a note from a series of lectures at Encuentro Colombiano de Computacin Cuntica, Universidad de los Andes, Bogot, Colombia, 2015. The purpose is to introduce additive quantum error correcting codes, with emphasis on the use of binary representation of Pauli matrices and modules over a translation group algebra. The topics include symplectic vector spaces, Clifford group, cleaning lemma, an error correcting criterion, entanglement spectrum, implications of the locality of stabilizer group generators, and the classification of translation-invariant one-dimensional additive codes and two-dimensional CSS codes with large code distances. In particular, we describe an algorithm to find a Clifford quantum circuit (CNOTs) to transform any two-dimensional translation-invariant CSS code on qudits of a prime dimension with code distance being the linear system size, into a tensor product of finitely many copies of the qudit toric code and a product state. Thus, the number of embedded toric codes is the complete invariant of these CSS codes under local Clifford circuits.
Injective linear series of algebraic curves on quadrics

Edoardo Ballico,Emanuele Ventura

DOI: https://doi.org/10.48550/arXiv.1812.02377

2020-05-05

Abstract:We study linear series on curves inducing injective morphisms to projective space, using zero-dimensional schemes and cohomological vanishings. Albeit projections of curves and their singularities are of central importance in algebraic geometry, basic problems still remain unsolved. In this note, we study cuspidal projections of space curves lying on irreducible quadrics (in arbitrary characteristic).

Algebraic Geometry
On AG codes from a generalization of the Deligne-Lustzig curve of Suzuki type

Marco Timpanella

2023-06-02

Abstract:In this paper, Algebraic-Geometric (AG) codes and quantum codes associated to a family of curves which comprises the famous Suzuki curve are investigated. The Weierstrass semigroup at some rational point is computed. Notably, each curve in the family turn out to be a Castle curve over some finite field, and a weak Castle curve over its extensions. This is a relevant feature when codes constructed from the curve are considered.

Combinatorics
Algebraic Geometry codes in the sum-rank metric

Elena Berardini,Xavier Caruso

DOI: https://doi.org/10.1109/TIT.2024.3366751

2024-05-30

Abstract:We introduce the first geometric construction of codes in the sum-rank metric, which we called linearized Algebraic Geometry codes, using quotients of the ring of Ore polynomials with coefficients in the function field of an algebraic curve. We study the parameters of these codes and give lower bounds for their dimension and minimum distance. Our codes exhibit quite good parameters, respecting a similar bound to Goppa's bound for Algebraic Geometry codes in the Hamming metric. Furthermore, our construction yields codes asymptotically better than the sum-rank version of the Gilbert-Varshamov bound.

Algebraic Geometry,Information Theory
Codes with Hierarchical Locality on Artin-Schreier Surfaces

Jennifer Berg,Beth Malmskog,Mckenzie West

2024-05-30

Abstract:In this article, we construct codes with hierarchical locality using natural geometric structures in Artin-Schreier surfaces of the form $y^p-y=f(x,z)$. Our main theorem describes the codes, their hierarchical structure and recovery algorithms, and gives parameters. We also develop a family of examples using codes defined over $\mathbb{F}_{p^2}$ on the surface $y^p-y=x^{p+1}z^2+x^2z^{p+1}$. We count the $\mathbb{F}_{p^2}$-rational points on the surface, a topic of more general number theoretic interest, and provide more explicit parameters a better bound on minimum distance for these codes. An additional example and some generalizations are also considered.

Number Theory
Algebraic Geometry codes in the sum–rank metric

Elena Berardini,Xavier Caruso

DOI: https://doi.org/10.1109/tit.2024.3366751

IF: 2.5

2024-01-01

IEEE Transactions on Information Theory

Abstract:We introduce the first geometric construction of codes in the sum-rank metric, which we called linearized Algebraic Geometry codes, using quotients of the ring of Ore polynomials with coefficients in the function field of an algebraic curve. We study the parameters of these codes and give lower bounds for their dimension and minimum distance. Our codes exhibit quite good parameters, respecting a similar bound to Goppa’s bound for Algebraic Geometry codes in the Hamming metric. Furthermore, our construction yields codes asymptotically better than the sum-rank version of the Gilbert–Varshamov bound.

computer science, information systems,engineering, electrical & electronic
Asymptotic Bounds on Quantum Codes from Algebraic Geometry Codes

KQ Feng,S Ling,CP Xing

DOI: https://doi.org/10.1109/tit.2005.862086

IF: 2.5

2006-01-01

IEEE Transactions on Information Theory

Abstract:We generalize a characterization of p-ary (p is a prime) quantum codes given by Feng and Xing to q-ary (q is a prime power) quantum codes. This characterization makes it possible to convert an asymptotic bound of Stichtenoth and Xing for nonlinear algebraic geometry codes to a quantum asymptotic bound. Besides, we also investigate the asymptotic behavior of quantum codes
Encoding via Gröbner bases and discrete Fourier transforms for several types of algebraic codes

Hajime Matsui,Seiichi Mita

DOI: https://doi.org/10.48550/arXiv.cs/0703104

2007-05-02

Abstract:We propose a novel encoding scheme for algebraic codes such as codes on algebraic curves, multidimensional cyclic codes, and hyperbolic cascaded Reed-Solomon codes and present numerical examples. We employ the recurrence from the Gröbner basis of the locator ideal for a set of rational points and the two-dimensional inverse discrete Fourier transform. We generalize the functioning of the generator polynomial for Reed-Solomon codes and develop systematic encoding for various algebraic codes.

Information Theory
Number Theoretical Locally Recoverable Codes

Andrea Ferraguti,Dorian Goldfeld,Giacomo Micheli

2023-04-18

Abstract:In this paper we give constructions for infinite sequences of finite non-linear locally recoverable codes $\mathcal C\subseteq \prod\limits^N_{i=1}\mathbb F_{q_i}$ over a product of finite fields arising from basis expansions in algebraic number fields. The codes in our sequences have increasing length and size, constant rate, fixed locality, and minimum distance going to infinity.

Information Theory,Number Theory
The Serializability of Network Codes

Anna Blasiak,Robert Kleinberg

DOI: https://doi.org/10.48550/arXiv.1001.1373

2010-01-09

Abstract:Network coding theory studies the transmission of information in networks whose vertices may perform nontrivial encoding and decoding operations on data as it passes through the network. The main approach to deciding the feasibility of network coding problems aims to reduce the problem to optimization over a polytope of entropic vectors subject to constraints imposed by the network structure. In the case of directed acyclic graphs, these constraints are completely understood, but for general graphs the problem of enumerating them remains open: it is not known how to classify the constraints implied by a property that we call serializability, which refers to the absence of paradoxical circular dependencies in a network code. In this work we initiate the first systematic study of the constraints imposed on a network code by serializability. We find that serializability cannot be detected solely by evaluating the Shannon entropy of edge sets in the graph, but nevertheless, we give a polynomial-time algorithm that decides the serializability of a network code. We define a certificate of non-serializability, called an information vortex, that plays a role in the theory of serializability comparable to the role of fractional cuts in multicommodity flow theory, including a type of min-max relation. Finally, we study the serializability deficit of a network code, defined as the minimum number of extra bits that must be sent in order to make it serializable. For linear codes, we show that it is NP-hard to approximate this parameter within a constant factor, and we demonstrate some surprising facts about the behavior of this parameter under parallel composition of codes.

Information Theory,Data Structures and Algorithms
Goppa code and quantum stabilizer codes from plane curves given by separated polynomials

Vahid Nourozi,Farzaneh Ghanbari

2024-06-26

Abstract:In this paper, we examine algebraic geometric (AG) codes associated with curves generated by separated polynomials, and we create AG codes and quantum stabilizer codes from these curves by varying their parameters. Our research involves a thorough examination of the curves' algebraic features as well as the creation of Goppa codes over them. Extending these findings, we create quantum stabilizer codes, revealing that quantum codes built from Hermitian self-orthogonal AG codes have acceptable parameters, improving the reliability and performance of communication networks.

Algebraic Geometry
Euclidean and Hermitian Self-orthogonal Algebraic Geometry Codes and Their Application to Quantum Codes.

Lingfei Jin,Chaoping Xing

DOI: https://doi.org/10.1109/tit.2011.2177066

IF: 2.5

2012-01-01

IEEE Transactions on Information Theory

Abstract:In the present paper, we show that if the dimension of an arbitrary algebraic geometry code over a finite field of even characteristic is slightly less than $n/2-g$ with $n$ being the length of the code and $g$ being the genus of the base curve, then it is equivalent to an Euclidean self-orthogonal code. Previously, such results required a strong condition on the existence of a certain differential. We also show a similar result on Hermitian self-orthogonal algebraic geometry codes. As a consequence, we can apply our result to quantum codes and obtain some good quantum codes. In particular, we obtain a $q$-ary quantum $[[q+1,1]]$-MDS code for an even power $q$ which is essential for quantum secret sharing.
Equidistant Linear Codes in Projective Spaces

Pranab Basu

DOI: https://doi.org/10.48550/arXiv.2107.10820

2021-07-22

Information Theory

Abstract:Linear codes in the projective space $\mathbb{P}_q(n)$, the set of all subspaces of the vector space $\mathbb{F}_q^n$, were first considered by Braun, Etzion and Vardy. The Grassmannian $\mathbb{G}_q(n,k)$ is the collection of all subspaces of dimension $k$ in $\mathbb{P}_q(n)$. We study equidistant linear codes in $\mathbb{P}_q(n)$ in this paper and establish that the normalized minimum distance of a linear code is maximum if and only if it is equidistant. We prove that the upper bound on the size of such class of linear codes is $2^n$ when $q=2$ as conjectured by Braun et al. Moreover, the codes attaining this bound are shown to have structures akin to combinatorial objects, viz. \emph{Fano plane} and \emph{sunflower}. We also prove the existence of equidistant linear codes in $\mathbb{P}_q(n)$ for any prime power $q$ using \emph{Steiner triple system}. Thus we establish that the problem of finding equidistant linear codes of maximum size in $\mathbb{P}_q(n)$ with constant distance $2d$ is equivalent to the problem of finding the largest $d$-intersecting family of subspaces in $\mathbb{G}_q(n, 2d)$ for all $1 \le d \le \lfloor \frac{n}{2}\rfloor$. Our discovery proves that there exist equidistant linear codes of size more than $2^n$ for every prime power $q > 2$.

Any network codes comes from an algebraic curve taking osculating spaces

On Codes in the Projective Linear Group PGL(2,q)

Non-algebraizable neighborhoods of curves

Codes from Infinitely Near Points

Encoding of algebraic geometry codes with quasi-linear complexity O(Nlog N)

On algebraic space filling curves

Algebraic geometry codes over abelian surfaces containing no absolutely irreducible curves of low genus

Two-point AG codes from one of the Skabelund maximal curves

Algebraic Methods for Quantum Codes on Lattices

Injective linear series of algebraic curves on quadrics

On AG codes from a generalization of the Deligne-Lustzig curve of Suzuki type

Algebraic Geometry codes in the sum-rank metric

Codes with Hierarchical Locality on Artin-Schreier Surfaces

Algebraic Geometry codes in the sum–rank metric

Asymptotic Bounds on Quantum Codes from Algebraic Geometry Codes

Encoding via Gröbner bases and discrete Fourier transforms for several types of algebraic codes

Number Theoretical Locally Recoverable Codes

The Serializability of Network Codes

Goppa code and quantum stabilizer codes from plane curves given by separated polynomials

Euclidean and Hermitian Self-orthogonal Algebraic Geometry Codes and Their Application to Quantum Codes.

Equidistant Linear Codes in Projective Spaces