-
The weight hierarchy of decreasing norm-trace codes
Authors:
Eduardo Camps-Moreno,
Hiram H. López,
Gretchen L. Matthews,
Rodrigo San-José
Abstract:
The Generalized Hamming weights and their relative version, which generalize the minimum distance of a linear code, are relevant to numerous applications, including coding on the wire-tap channel of type II, $t$-resilient functions, bounding the cardinality of the output in list decoding algorithms, ramp secret sharing schemes, and quantum error correction. The generalized Hamming weights have bee…
▽ More
The Generalized Hamming weights and their relative version, which generalize the minimum distance of a linear code, are relevant to numerous applications, including coding on the wire-tap channel of type II, $t$-resilient functions, bounding the cardinality of the output in list decoding algorithms, ramp secret sharing schemes, and quantum error correction. The generalized Hamming weights have been determined for some families of codes, including Cartesian codes and Hermitian one-point codes. In this paper, we determine the generalized Hamming weights of decreasing norm-trace codes, which are linear codes defined by evaluating monomials that are closed under divisibility on the rational points of the extended norm-trace curve given by $x^{u} = y^{q^{s - 1}} + y^{q^{s - 2}} + \cdots + y$ over the finite field of cardinality $q^s$, where $u$ is a positive divisor of $\frac{q^s - 1}{q - 1}$. As a particular case, we obtain the weight hierarchy of one-point norm-trace codes and recover the result of Barbero and Munuera (2001) giving the weight hierarchy of one-point Hermitian codes. We also study the relative generalized Hamming weights for these codes and use them to construct impure quantum codes with excellent parameters.
△ Less
Submitted 20 November, 2024;
originally announced November 2024.
-
Algebraic Geometric Rook Codes for Coded Distributed Computing
Authors:
Gretchen L. Matthews,
Pedro Soto
Abstract:
We extend coded distributed computing over finite fields to allow the number of workers to be larger than the field size. We give codes that work for fully general matrix multiplication and show that in this case we serendipitously have that all functions can be computed in a distributed fault-tolerant fashion over finite fields. This generalizes previous results on the topic. We prove that the as…
▽ More
We extend coded distributed computing over finite fields to allow the number of workers to be larger than the field size. We give codes that work for fully general matrix multiplication and show that in this case we serendipitously have that all functions can be computed in a distributed fault-tolerant fashion over finite fields. This generalizes previous results on the topic. We prove that the associated codes achieve a recovery threshold similar to the ones for characteristic zero fields but now with a factor that is proportional to the genus of the underlying function field. In particular, we have that the recovery threshold of these codes is proportional to the classical complexity of matrix multiplication by a factor of at most the genus.
△ Less
Submitted 28 October, 2024; v1 submitted 15 May, 2024;
originally announced May 2024.
-
Fractional decoding of algebraic geometry codes over extension fields
Authors:
Eduardo Camps-Moreno,
Gretchen L. Matthews,
Welington Santos
Abstract:
In this paper, we study algebraic geometry codes from curves over $\mathbb{F}_{q^\ell}$ through their virtual projections which are algebraic geometric codes over $\mathbb{F}_q$. We use the virtual projections to provide fractional decoding algorithms for the codes over $\mathbb{F}_{q^\ell}$. Fractional decoding seeks to perform error correction using a smaller fraction of $\mathbb{F}_q$-symbols t…
▽ More
In this paper, we study algebraic geometry codes from curves over $\mathbb{F}_{q^\ell}$ through their virtual projections which are algebraic geometric codes over $\mathbb{F}_q$. We use the virtual projections to provide fractional decoding algorithms for the codes over $\mathbb{F}_{q^\ell}$. Fractional decoding seeks to perform error correction using a smaller fraction of $\mathbb{F}_q$-symbols than a typical decoding algorithm. In one instance, the bound on the number of correctable errors differs from the usual lower bound by the degree of a pole divisor of an annihilator function. In another, we view the virtual projections as interleaved codes to, with high probability, correct more errors than anticipated.
△ Less
Submitted 10 April, 2024;
originally announced April 2024.
-
Mathematical LoRE: Local Recovery of Erasures using Polynomials, Curves, Surfaces, and Liftings
Authors:
Kathryn Haymaker,
Hiram H. López,
Beth Malmskog,
Gretchen L. Matthews,
Fernando Piñero
Abstract:
Employing underlying geometric and algebraic structures allows for constructing bespoke codes for local recovery of erasures. We survey techniques for enriching classical codes with additional machinery, such as using lines or curves in projective space for local recovery sets or products of curves to enhance the availability of data.
Employing underlying geometric and algebraic structures allows for constructing bespoke codes for local recovery of erasures. We survey techniques for enriching classical codes with additional machinery, such as using lines or curves in projective space for local recovery sets or products of curves to enhance the availability of data.
△ Less
Submitted 3 February, 2024; v1 submitted 26 December, 2023;
originally announced December 2023.
-
Algebraic hierarchical locally recoverable codes with nested affine subspace recovery
Authors:
Kathryn Haymaker,
Beth Malmskog,
Gretchen L. Matthews
Abstract:
Codes with locality, also known as locally recoverable codes, allow for recovery of erasures using proper subsets of other coordinates. These subsets are typically of small cardinality to promote recovery using limited network traffic and other resources. Hierarchical locally recoverable codes allow for recovery of erasures using sets of other symbols whose sizes increase as needed to allow for re…
▽ More
Codes with locality, also known as locally recoverable codes, allow for recovery of erasures using proper subsets of other coordinates. These subsets are typically of small cardinality to promote recovery using limited network traffic and other resources. Hierarchical locally recoverable codes allow for recovery of erasures using sets of other symbols whose sizes increase as needed to allow for recovery of more symbols. In this paper, we describe a hierarchical recovery structure arising from geometry in Reed-Muller codes and codes with availability from fiber products of curves. We demonstrate how the fiber product hierarchical codes can be viewed as punctured subcodes of Reed-Muller codes, uniting the two constructions. This point of view provides natural structures for local recovery with availability at each level in the hierarchy.
△ Less
Submitted 22 January, 2025; v1 submitted 31 October, 2023;
originally announced October 2023.
-
Curve-lifted codes for local recovery using lines
Authors:
Gretchen L. Matthews,
Travis Morrison,
Aidan W. Murphy
Abstract:
In this paper, we introduce curve-lifted codes over fields of arbitrary characteristic, inspired by Hermitian-lifted codes over $\mathbb{F}_{2^r}$. These codes are designed for locality and availability, and their particular parameters depend on the choice of curve and its properties. Due to the construction, the numbers of rational points of intersection between curves and lines play a key role.…
▽ More
In this paper, we introduce curve-lifted codes over fields of arbitrary characteristic, inspired by Hermitian-lifted codes over $\mathbb{F}_{2^r}$. These codes are designed for locality and availability, and their particular parameters depend on the choice of curve and its properties. Due to the construction, the numbers of rational points of intersection between curves and lines play a key role. To demonstrate that and generate new families of locally recoverable codes (LRCs) with high availabilty, we focus on norm-trace-lifted codes. In some cases, they are easier to define than their Hermitian counterparts and consequently have a better asymptotic bound on the code rate.
△ Less
Submitted 24 July, 2023;
originally announced July 2023.
-
HerA Scheme: Secure Distributed Matrix Multiplication via Hermitian Codes
Authors:
Roberto A. Machado,
Gretchen L. Matthews,
Welington Santos
Abstract:
We consider the problem of secure distributed matrix multiplication (SDMM), where a user has two matrices and wishes to compute their product with the help of $N$ honest but curious servers under the security constraint that any information about either $A$ or $B$ is not leaked to any server. This paper presents a \emph{new scheme} that considers the inner product partition for matrices $A$ and…
▽ More
We consider the problem of secure distributed matrix multiplication (SDMM), where a user has two matrices and wishes to compute their product with the help of $N$ honest but curious servers under the security constraint that any information about either $A$ or $B$ is not leaked to any server. This paper presents a \emph{new scheme} that considers the inner product partition for matrices $A$ and $B$. Our central technique relies on encoding matrices $A$ and $B$ in a Hermitian code and its dual code, respectively. We present the Hermitian Algebraic (HerA) scheme, which employs Hermitian codes and characterizes the partitioning and security capacities given entries of matrices belonging to a finite field with $q^2$ elements. We showcase that this scheme performs the secure distributed matrix multiplication in a significantly smaller finite field and expands security allowances compared to the existing results in the literature.
△ Less
Submitted 15 May, 2023; v1 submitted 28 March, 2023;
originally announced March 2023.
-
Relative hulls and quantum codes
Authors:
Sarah E. Anderson,
Eduardo Camps-Moreno,
Hiram H. López,
Gretchen L. Matthews,
Diego Ruano,
Ivan Soprunov
Abstract:
Given two $q$-ary codes $C_1$ and $C_2$, the relative hull of $C_1$ with respect to $C_2$ is the intersection $C_1\cap C_2^\perp$. We prove that when $q>2$, the relative hull dimension can be repeatedly reduced by one, down to a certain bound, by replacing either of the two codes with an equivalent one. The reduction of the relative hull dimension applies to hulls taken with respect to the $e$-Gal…
▽ More
Given two $q$-ary codes $C_1$ and $C_2$, the relative hull of $C_1$ with respect to $C_2$ is the intersection $C_1\cap C_2^\perp$. We prove that when $q>2$, the relative hull dimension can be repeatedly reduced by one, down to a certain bound, by replacing either of the two codes with an equivalent one. The reduction of the relative hull dimension applies to hulls taken with respect to the $e$-Galois inner product, which has as special cases both the Euclidean and Hermitian inner products. We give conditions under which the relative hull dimension can be increased by one via equivalent codes when $q>2$. We study some consequences of the relative hull properties on entanglement-assisted quantum error-correcting codes and prove the existence of new entanglement-assisted quantum error-correcting maximum distance separable codes, meaning those whose parameters satisfy the quantum Singleton bound.
△ Less
Submitted 23 December, 2023; v1 submitted 29 December, 2022;
originally announced December 2022.
-
Decreasing norm-trace codes
Authors:
Cícero Carvalho,
Hiram H. López,
Gretchen L. Matthews
Abstract:
The decreasing norm-trace codes are evaluation codes defined by a set of monomials closed under divisibility and the rational points of the extended norm-trace curve. In particular, the decreasing norm-trace codes contain the one-point algebraic geometry (AG) codes over the extended norm-trace curve. We use Gröbner basis theory and find the indicator functions on the rational points of the curve t…
▽ More
The decreasing norm-trace codes are evaluation codes defined by a set of monomials closed under divisibility and the rational points of the extended norm-trace curve. In particular, the decreasing norm-trace codes contain the one-point algebraic geometry (AG) codes over the extended norm-trace curve. We use Gröbner basis theory and find the indicator functions on the rational points of the curve to determine the basic parameters of the decreasing norm-trace codes: length, dimension, and minimum distance. We also obtain their dual codes. We give conditions for a decreasing norm-trace code to be a self-orthogonal or a self-dual code. We provide a linear exact repair scheme to correct single erasures for decreasing norm-trace codes, which applies to higher rate codes than the scheme developed by Jin, Luo, and Xing (IEEE Transactions on Information Theory {\bf 64} (2), 900-908, 2018) when applied to the one-point AG codes over the extended norm-trace curve.
△ Less
Submitted 24 July, 2023; v1 submitted 24 September, 2022;
originally announced September 2022.
-
Explicit non-special divisors of small degree, algebraic geometric hulls, and LCD codes from Kummer extensions
Authors:
Eduardo Camps,
Hiram H. López,
Gretchen L. Matthews
Abstract:
In this paper, we consider the hull of an algebraic geometry code, meaning the intersection of the code and its dual. We demonstrate how codes whose hulls are algebraic geometry codes may be defined using only rational places of Kummer extensions (and Hermitian function fields in particular). Our primary tool is explicitly constructing non-special divisors of degrees $g$ and $g-1$ on certain famil…
▽ More
In this paper, we consider the hull of an algebraic geometry code, meaning the intersection of the code and its dual. We demonstrate how codes whose hulls are algebraic geometry codes may be defined using only rational places of Kummer extensions (and Hermitian function fields in particular). Our primary tool is explicitly constructing non-special divisors of degrees $g$ and $g-1$ on certain families of function fields with many rational places, accomplished by appealing to Weierstrass semigroups. We provide explicit algebraic geometry codes with hulls of specified dimensions, producing along the way linearly complementary dual algebraic geometric codes from the Hermitian function field (among others) using only rational places and an answer to an open question posed by Ballet and Le Brigand for particular function fields. These results complement earlier work by Mesnager, Tang, and Qi that use lower-genus function fields as well as instances using places of a higher degree from Hermitian function fields to construct linearly complementary dual (LCD) codes and that of Carlet, Mesnager, Tang, Qi, and Pellikaan to provide explicit algebraic geometry codes with the LCD property rather than obtaining codes via monomial equivalences.
△ Less
Submitted 3 February, 2024; v1 submitted 26 December, 2021;
originally announced December 2021.
-
Codes with locality from cyclic extensions of Deligne-Lusztig curves
Authors:
Gretchen L. Matthews,
Fernando L. Piñero
Abstract:
Recently, Skabelund defined new maximal curves which are cyclic extensions of the Suzuki and Ree curves. Previously, the now well-known GK curves were found as cyclic extensions of the Hermitian curve. In this paper, we consider locally recoverable codes constructed from these new curves, complementing that done for the GK curve. Locally recoverable codes allow for the recovery of a single symbol…
▽ More
Recently, Skabelund defined new maximal curves which are cyclic extensions of the Suzuki and Ree curves. Previously, the now well-known GK curves were found as cyclic extensions of the Hermitian curve. In this paper, we consider locally recoverable codes constructed from these new curves, complementing that done for the GK curve. Locally recoverable codes allow for the recovery of a single symbol by accessing only a few others which form what is known as a recovery set. If every symbol has at least two disjoint recovery sets, the code is said to have availability. Three constructions are described, as each best fits a particular situation. The first employs the original construction of locally recoverable codes from curves by Tamo and Barg. The second yields codes with availability by appealing to the use of fiber products as described by Haymaker, Malmskog, and Matthews, while the third accomplishes availability by taking products of codes themselves. We see that cyclic extensions of the Deligne-Lusztig curves provide codes with smaller locality than those typically found in the literature.
△ Less
Submitted 11 June, 2020;
originally announced June 2020.
-
Triples of rational points on the Hermitian curve and their Weierstrass semigroups
Authors:
Gretchen L. Matthews,
Dane Skabelund,
Michael Wills
Abstract:
In this paper, we study configurations of three rational points on the Hermitian curve over $\mathbb{F}_{q^2}$ and classify them according to their Weierstrass semigroups. For $q>3$, we show that the number of distinct semigroups of this form is equal to the number of positive divisors of $q+1$ and give an explicit description of the Weierstrass semigroup for each triple of points studied. To do s…
▽ More
In this paper, we study configurations of three rational points on the Hermitian curve over $\mathbb{F}_{q^2}$ and classify them according to their Weierstrass semigroups. For $q>3$, we show that the number of distinct semigroups of this form is equal to the number of positive divisors of $q+1$ and give an explicit description of the Weierstrass semigroup for each triple of points studied. To do so, we make use of two-point discrepancies and derive a criterion which applies to arbitrary curves over a finite field.
△ Less
Submitted 16 November, 2020; v1 submitted 19 May, 2020;
originally announced May 2020.
-
On Laplacian Monopoles
Authors:
Cong X. Kang,
Gretchen L. Matthews,
Justin D. Peachey
Abstract:
We consider the action of the (combinatorial) Laplacian of a finite and simple graph on integer vectors. By a \emph{Laplacian monopole} we mean an image vector negative at exactly one coordinate associated with a vertex. We consider a numerical semigroup $H_f(P)$ given by all monopoles at a vertex of a graph. The well-known analogy between finite graphs and algebraic curves (Riemann surfaces) has…
▽ More
We consider the action of the (combinatorial) Laplacian of a finite and simple graph on integer vectors. By a \emph{Laplacian monopole} we mean an image vector negative at exactly one coordinate associated with a vertex. We consider a numerical semigroup $H_f(P)$ given by all monopoles at a vertex of a graph. The well-known analogy between finite graphs and algebraic curves (Riemann surfaces) has motivated much work. More specifically for us, the motivation arises out of the classical Weierstrass semigroup of a rational point on a curve whose properties are tied to the Riemann-Roch Theorem, as well as out of the graph theoretic Riemann-Roch Theorem demonstrated by Baker and Norine. We determine $H_f(P)$ for some families of graphs and demonstrate a connection between $H_f(P)$ and the vertex (also edge) connectivity of a graph. We also study $H_r(P)$, another numerical semigroup which arises out of the result of Baker and Norine, and explore its connection to $H_f(P)$ on graphs. We show that $H_r(P)\subseteq H_f(P)$ in a number of special cases. In contrast to the situation in the classical setting, we demonstrate that $H_f(P)\setminus H_r(P)$ can be arbitrarily large and identify a potential obstruction to the inclusion of $H_r(P)$ in $H_f(P)$ in general, though we still conjecture this inclusion. We conclude with a few open questions.
△ Less
Submitted 10 June, 2020; v1 submitted 12 October, 2019;
originally announced October 2019.
-
Locally recoverable codes from algebraic curves and surfaces
Authors:
Alexander Barg,
Kathryn Haymaker,
Everett W. Howe,
Gretchen L. Matthews,
Anthony Várilly-Alvarado
Abstract:
A locally recoverable code is a code over a finite alphabet such that the value of any single coordinate of a codeword can be recovered from the values of a small subset of other coordinates. Building on work of Barg, Tamo, and Vlăduţ, we present several constructions of locally recoverable codes from algebraic curves and surfaces.
A locally recoverable code is a code over a finite alphabet such that the value of any single coordinate of a codeword can be recovered from the values of a small subset of other coordinates. Building on work of Barg, Tamo, and Vlăduţ, we present several constructions of locally recoverable codes from algebraic curves and surfaces.
△ Less
Submitted 18 January, 2017;
originally announced January 2017.
