-
Self-orthogonal flags of codes and translation of flags of algebraic geometry codes
Authors:
Maria Bras-Amorós,
Alonso S. Castellanos,
Luciane Quoos
Abstract:
A flag $C_0 \subsetneq C_1 \cdots \subsetneq C_s \subsetneq {\mathbb F}_q^n $ of linear codes is said to be self-orthogonal if the duals of the codes in the flag satisfy $C_{i}^\perp=C_{s-i}$, and it is said to satisfy the isometry-dual property with respect to an isometry vector ${\bf x}$ if $C_i^\perp={\bf x} C_{s-i}$ for $i=1, \dots, s$. We characterize complete (i.e. $s=n$) flags with the isom…
▽ More
A flag $C_0 \subsetneq C_1 \cdots \subsetneq C_s \subsetneq {\mathbb F}_q^n $ of linear codes is said to be self-orthogonal if the duals of the codes in the flag satisfy $C_{i}^\perp=C_{s-i}$, and it is said to satisfy the isometry-dual property with respect to an isometry vector ${\bf x}$ if $C_i^\perp={\bf x} C_{s-i}$ for $i=1, \dots, s$. We characterize complete (i.e. $s=n$) flags with the isometry-dual property by means of the existence of a word with non-zero coordinates in a certain linear subspace of ${\mathbb F}_q^n$. For flags of algebraic geometry (AG) codes we prove a so-called translation property of isometry-dual flags and give a construction of complete self-orthogonal flags, providing examples of self-orthogonal flags over some maximal function fields. At the end we characterize the divisors giving the isometry-dual property and the related isometry vectors showing that for each function field there is only a finite number of isometry vectors and that they are related by cyclic repetitions.
△ Less
Submitted 13 June, 2024;
originally announced June 2024.
-
Rarity of the infinite chains in the tree of numerical semigroups
Authors:
Maria Bras-Amorós,
Mariana Rosas Ribeiro
Abstract:
We prove that, for each fixed genus, the portion of semigroups of that
genus belonging to infinite chains in the semigroup tree approaches 0 as
the genus grows to infinite. This means that most numerical semigroups
have a finite number of descendants in the semigroup tree. This problem
has been open since 2009.
We prove that, for each fixed genus, the portion of semigroups of that
genus belonging to infinite chains in the semigroup tree approaches 0 as
the genus grows to infinite. This means that most numerical semigroups
have a finite number of descendants in the semigroup tree. This problem
has been open since 2009.
△ Less
Submitted 31 January, 2024;
originally announced January 2024.
-
Infinite chains in the tree of numerical semigroups
Authors:
Mariana Rosas-Ribeiro,
Maria Bras-Amorós
Abstract:
One major problem in the study of numerical semigroups is determining the growth of the semigroup tree. In the present work, infinite chains of numerical semigroups in the semigroup tree, firstly introduced in Bras-Amorós and Nulygin (2009), are studied. Computational results show that these chains are rare, but without them the tree would not be infinite. It is proved that for each genus…
▽ More
One major problem in the study of numerical semigroups is determining the growth of the semigroup tree. In the present work, infinite chains of numerical semigroups in the semigroup tree, firstly introduced in Bras-Amorós and Nulygin (2009), are studied. Computational results show that these chains are rare, but without them the tree would not be infinite. It is proved that for each genus $g\geq 5$ there are more semigroups of that genus not belonging to infinite chains than semigroups belonging. The reference Bras-Amorós and Bulygin (2009) presented a characterization of the semigroups that belong to infinite chains in terms of the coprimality of the left elements of the semigroup as well as a result on the cardinality of the set of infinite chains to which a numerical semigroup belongs in terms of the primality of the greatest common divisor of these left elements. We revisit these results and fix an imprecision on the cardinality of the set of infinite chains to which a semigroup belongs in the case when the greatest common divisor of the left elements is a prime number. We then look at infinite chains in subtrees with fixed multiplicity. When the multiplicity is a prime number there is only one infinite chain in the tree of semigroups with such multiplicity. When the multpliplicity is $4$ or $6$ we prove a self-replication behavior in the subtree and prove a formula for the number of semigroups in infinite chains of a given genus and multiplicity $4$ and $6$, respectively.
△ Less
Submitted 18 August, 2023;
originally announced August 2023.
-
Acute Semigroups, the Order Bound on the Minimum Distance and the Feng-Rao Improvements
Authors:
M. Bras-Amorós
Abstract:
We introduce a new class of numerical semigroups, which we call the class of {\it acute} semigroups and we prove that they generalize symmetric and pseudo-symmetric numerical semigroups, Arf numerical semigroups and the semigroups generated by an interval. For a numerical semigroup $Λ=\{λ_0<λ_1<\dots\}$ denote $ν_i=\#\{j\midλ_i-λ_j\inΛ\}$. Given an acute numerical semigroup $Λ$ we find the smalles…
▽ More
We introduce a new class of numerical semigroups, which we call the class of {\it acute} semigroups and we prove that they generalize symmetric and pseudo-symmetric numerical semigroups, Arf numerical semigroups and the semigroups generated by an interval. For a numerical semigroup $Λ=\{λ_0<λ_1<\dots\}$ denote $ν_i=\#\{j\midλ_i-λ_j\inΛ\}$. Given an acute numerical semigroup $Λ$ we find the smallest non-negative integer $m$ for which the order bound on the minimum distance of one-point Goppa codes with associated semigroup $Λ$ satisfies $d_{ORD}(C_i)(:=\min\{ν_j\mid j>i\})=ν_{i+1}$ for all $i\geq m$. We prove that the only numerical semigroups for which the sequence $(ν_i)$ is always non-decreasing are ordinary numerical semigroups. Furthermore we show that a semigroup can be uniquely determined by its sequence $(ν_i)$.
△ Less
Submitted 31 July, 2023;
originally announced July 2023.
-
New Eliahou Semigroups and Verification of the Wilf Conjecture for Genus up to 65
Authors:
Maria Bras-Amorós,
César Marín-Rodríguez
Abstract:
We give a graphical reinterpretation of the seeds algorithm to explore the tree of numerical semigroups. We then exploit the seeds algorithm to find all the Eliahou semigroups of genus up to 65. Since all these semigroups satisfy the Wilf conjecture, this shows that the Wilf conjecture holds up to genus 65.
We give a graphical reinterpretation of the seeds algorithm to explore the tree of numerical semigroups. We then exploit the seeds algorithm to find all the Eliahou semigroups of genus up to 65. Since all these semigroups satisfy the Wilf conjecture, this shows that the Wilf conjecture holds up to genus 65.
△ Less
Submitted 20 July, 2023;
originally announced July 2023.
-
On the seeds and the great-grandchildren of a numerical semigroup
Authors:
Maria Bras-Amorós
Abstract:
We present a revisit of the seeds algorithm to explore the semigroup tree. First, an equivalent definition of seed is presented, which seems easier to manage. Second, we determine the seeds of semigroups with at most three left elements. And third, we find the great-grandchildren of any numerical semigroup in terms of its seeds. The RGD algorithm is the fastest known algorithm at the moment. But i…
▽ More
We present a revisit of the seeds algorithm to explore the semigroup tree. First, an equivalent definition of seed is presented, which seems easier to manage. Second, we determine the seeds of semigroups with at most three left elements. And third, we find the great-grandchildren of any numerical semigroup in terms of its seeds. The RGD algorithm is the fastest known algorithm at the moment. But if one compares the originary seeds algorithm with the RGD algorithm, one observes that the seeds algorithm uses more elaborated mathematical tools while the RGD algorithm uses data structures that are better adapted to the final C implementations. For genera up to around one half of the maximum size of native integers, the newly defined seeds algorithm performs significantly better than the RGD algorithm. For future compilators allowing larger native sized integers this may constitute a powerful tool to explore the semigroup tree up to genera never explored before. The new seeds algorithm uses bitwise integer operations, the knowledge of the seeds of semigroups with at most three left elements and of the great-grandchildren of any numerical semigroup, apart from techniques such as parallelization and depth first search as wisely introduced in this context by Fromentin and Hivert. The algorithm has been used to prove that there are no Eliahou semigroups of genus $66$, hence proving the Wilf conjecture for genus up to $66$. We also found three Eliahou semigroups of genus $67$. One of these semigroups is neither of Eliahou-Fromentin type, nor of Delgado's type. However, it is a member of a new family suggested by Shalom Eliahou.
△ Less
Submitted 10 August, 2023; v1 submitted 24 June, 2023;
originally announced June 2023.
-
The Key Equation for One-Point Codes
Authors:
Michael E. O'Sullivan,
Maria Bras-Amorós
Abstract:
For Reed-Solomon codes, the key equation relates the syndrome polynomial---computed from the parity check matrix and the received vector---to two unknown polynomials, the locator and the evaluator. The roots of the locator polynomial identify the error positions. The evaluator polynomial, along with the derivative of the locator polynomial, gives the error values via the Forney formula. The Berlek…
▽ More
For Reed-Solomon codes, the key equation relates the syndrome polynomial---computed from the parity check matrix and the received vector---to two unknown polynomials, the locator and the evaluator. The roots of the locator polynomial identify the error positions. The evaluator polynomial, along with the derivative of the locator polynomial, gives the error values via the Forney formula. The Berlekamp-Massey algorithm efficiently computes the two unknown polynomials.
This chapter shows how the key equation, the Berlekamp-Massey algorithm, the Forney formula, and another formula for error evaluation due to Horiguchi all generalize in a natural way to one-point codes. The algorithm presented here is based on Kötter's adaptation of Sakata's algorithm.
△ Less
Submitted 5 August, 2021;
originally announced August 2021.
-
Weierstrass semigroup at $m+1$ rational points in maximal curves which cannot be covered by the Hermitian curve
Authors:
Alonso Sepúlveda Castellanos,
Maria Bras-Amorós
Abstract:
We determine the Weierstrass semigroup $H(P_\infty,P_1,\ldots,P_m)$ at several rational points on the maximal curves which cannot be covered by the Hermitian curve introduced by Tafazolian, Teherán-Herrera, and Torres. Furthermore, we present some conditions to find pure gaps. We use this semigroup to obtain AG codes with better relative parameters than comparable one-point AG codes arising from t…
▽ More
We determine the Weierstrass semigroup $H(P_\infty,P_1,\ldots,P_m)$ at several rational points on the maximal curves which cannot be covered by the Hermitian curve introduced by Tafazolian, Teherán-Herrera, and Torres. Furthermore, we present some conditions to find pure gaps. We use this semigroup to obtain AG codes with better relative parameters than comparable one-point AG codes arising from these curves.
△ Less
Submitted 24 June, 2021;
originally announced June 2021.
-
Isometry-Dual Flags of Many-Point AG Codes
Authors:
Maria Bras-Amorós,
Alonso S. Castellanos,
Luciane Quoos
Abstract:
Let $F_q$ be a finite field. A flag of $F_q$-linear codes $C_0\subsetneq C_1\subsetneq\dots\subsetneq C_s$ is said to satisfy the isometry-dual property if there exists a vector $x\in(F_q^*)^n$ such that $C_i=x\cdot C_{s-i}^\perp$, where $C_i^\perp$ denotes the dual code of $C_i$. Consider $F/F_q$ a function field and let $P$ and $Q_1,\ldots,Q_t$ be rational places of $F$. Let the divisor $D$ be t…
▽ More
Let $F_q$ be a finite field. A flag of $F_q$-linear codes $C_0\subsetneq C_1\subsetneq\dots\subsetneq C_s$ is said to satisfy the isometry-dual property if there exists a vector $x\in(F_q^*)^n$ such that $C_i=x\cdot C_{s-i}^\perp$, where $C_i^\perp$ denotes the dual code of $C_i$. Consider $F/F_q$ a function field and let $P$ and $Q_1,\ldots,Q_t$ be rational places of $F$. Let the divisor $D$ be the sum of pairwise different places of $F$ such that $P, Q_1,\dots,Q_t$ are not in $supp(D)$. In a previous work we investigated the existence of flags of two-point codes $C(D,a_0P+bQ_1)\subsetneq C(D,a_1P+bQ_1))\subsetneq\dots\subsetneq C(D,a_sP+bQ_1)$ satisfying the isometry-dual property for a non-negative integer $b$ and an increasing sequence of positive integers $a_0,\dots,a_s$. While for one-point codes (i.e. for $b=0$) there is only need to analyze positive integers $a$, for the case of $(t+1)$-point codes, the integers $a$ may be negative. We extend our previous results in different directions. On one hand to the case of negative integers $a$ and $b$, and on the other hand we extend our results to flags of $(t+1)$-point codes $C(D,a_0P+\sum_{i=1}^tβ_iQ_i)\subsetneq C(D, a_1P+\sum_{i=1}^tβ_iQ_i))\subsetneq\dots\subsetneq C(D, a_sP+\sum_{i=1}^tβ_iQ_i)$ for any tuple of (either positive or negative) integers $β_1,\dots,β_t$ and for an increasing sequence of (either positive or negative) integers $a_0,\dots,a_s$. We apply the obtained results to the broad class of Kummer extensions defined by affine equations of the form $y^m=f(x)$, for $f(x)$ a separable polynomial of degree $r$, where $gcd(r, m)=1$. In particular, depending on the place $P$ and for $D$ an $Aut(F_q(x, y)/F_q(x))$-invariant sum of rational places of $F$ such that $P,Q_i\notin supp(D)$, we obtain necessary and sufficient conditions on $m$ and $β_i$'s such that the flag has the isometry-dual property.
△ Less
Submitted 14 July, 2023; v1 submitted 10 June, 2021;
originally announced June 2021.
-
Quasi-ordinarization transform of a numerical semigroup
Authors:
Maria Bras-Amorós,
Hebert Pérez-Rosés,
José Miguel Serradilla-Merinero
Abstract:
We introduce the quasi-ordinarization transform of a numerical semigroup. This transform will allow to organize all the semigroups of a given genus in a forest rooted at all quasi-ordinary semigroups with the given genus. This construction provides an alternative approach to the conjecture on the increasingness of the number of numerical semigroups for each given genus. We elaborate on the number…
▽ More
We introduce the quasi-ordinarization transform of a numerical semigroup. This transform will allow to organize all the semigroups of a given genus in a forest rooted at all quasi-ordinary semigroups with the given genus. This construction provides an alternative approach to the conjecture on the increasingness of the number of numerical semigroups for each given genus. We elaborate on the number of nodes at each tree depth in the forest and present a few new conjectures that can be developed in the future. We prove some properties of the quasi-ordinarization transform, its relations with the ordinarization transform, and we also present an alternative approach to the conjecture that the number of numerical semigroups of each given genus is increasing.
△ Less
Submitted 15 June, 2021; v1 submitted 8 December, 2020;
originally announced December 2020.
-
General Confidentiality and Utility Metrics for Privacy-Preserving Data Publishing Based on the Permutation Model
Authors:
Josep Domingo-Ferrer,
Krishnamurty Muralidhar,
Maria Bras-Amorós
Abstract:
Anonymization for privacy-preserving data publishing, also known as statistical disclosure control (SDC), can be viewed under the lens of the permutation model. According to this model, any SDC method for individual data records is functionally equivalent to a permutation step plus a noise addition step, where the noise added is marginal, in the sense that it does not alter ranks. Here, we propose…
▽ More
Anonymization for privacy-preserving data publishing, also known as statistical disclosure control (SDC), can be viewed under the lens of the permutation model. According to this model, any SDC method for individual data records is functionally equivalent to a permutation step plus a noise addition step, where the noise added is marginal, in the sense that it does not alter ranks. Here, we propose metrics to quantify the data confidentiality and utility achieved by SDC methods based on the permutation model. We distinguish two privacy notions: in our work, anonymity refers to subjects and hence mainly to protection against record re-identification, whereas confidentiality refers to the protection afforded to attribute values against attribute disclosure. Thus, our confidentiality metrics are useful even if using a privacy model ensuring an anonymity level ex ante. The utility metric is a general-purpose metric that can be conveniently traded off against the confidentiality metrics, because all of them are bounded between 0 and 1. As an application, we compare the utility-confidentiality trade-offs achieved by several anonymization approaches, including privacy models (k-anonymity and $ε$-differential privacy) as well as SDC methods (additive noise, multiplicative noise and synthetic data) used without privacy models.
△ Less
Submitted 7 October, 2020;
originally announced October 2020.
-
The Isometry-Dual Property in Flags of Two-Point Algebraic Geometry Codes
Authors:
Maria Bras-Amorós,
Alonso S. Castellanos,
Luciane Quoos
Abstract:
A flag of codes $C_0 \subsetneq C_1 \subsetneq \cdots \subsetneq C_s \subseteq {\mathbb F}_q^n$ is said to satisfy the {\it isometry-dual property} if there exists ${\bf x}\in (\mathbb{F}_q^*)^n$ such that the code $C_i$ is {\bf x}-isometric to the dual code $C_{s-i}^\perp$ for all $i=0,\ldots, s$. For $P$ and $Q$ rational places in a function field ${\mathcal F}$, we investigate the existence of…
▽ More
A flag of codes $C_0 \subsetneq C_1 \subsetneq \cdots \subsetneq C_s \subseteq {\mathbb F}_q^n$ is said to satisfy the {\it isometry-dual property} if there exists ${\bf x}\in (\mathbb{F}_q^*)^n$ such that the code $C_i$ is {\bf x}-isometric to the dual code $C_{s-i}^\perp$ for all $i=0,\ldots, s$. For $P$ and $Q$ rational places in a function field ${\mathcal F}$, we investigate the existence of isometry-dual flags of codes in the families of two-point algebraic geometry codes $$C_\mathcal L(D, a_0P+bQ)\subsetneq C_\mathcal L(D, a_1P+bQ)\subsetneq \dots \subsetneq C_\mathcal L(D, a_sP+bQ),$$ where the divisor $D$ is the sum of pairwise different rational places of ${\mathcal F}$ and $P, Q$ are not in $\mbox{supp}(D)$. We characterize those sequences in terms of $b$ for general function fields. We then apply the result to the broad class of Kummer extensions ${\mathcal F}$ defined by affine equations of the form $y^m=f(x)$, for $f(x)$ a separable polynomial of degree $r$, where $\mbox{gcd}(r, m)=1$. For $P$ the rational place at infinity and $Q$ the rational place associated to one of the roots of $f(x)$, it is shown that the flag of two-point algebraic geometry codes has the isometry-dual property if and only if $m$ divides $2b+1$. At the end we illustrate our results by applying them to two-point codes over several well know function fields.
△ Less
Submitted 3 November, 2021; v1 submitted 25 May, 2020;
originally announced May 2020.
-
Atomicity and Density of Puiseux Monoids
Authors:
Maria Bras-Amoros,
Marly Gotti
Abstract:
A Puiseux monoid is a submonoid of $(\mathbb{Q},+)$ consisting of nonnegative rational numbers. Although the operation of addition is continuous with respect to the standard topology, the set of irreducibles of a Puiseux monoid is, in general, difficult to describe. In this paper, we use topological density to understand how much a Puiseux monoid, as well as its set of irreducibles, spread through…
▽ More
A Puiseux monoid is a submonoid of $(\mathbb{Q},+)$ consisting of nonnegative rational numbers. Although the operation of addition is continuous with respect to the standard topology, the set of irreducibles of a Puiseux monoid is, in general, difficult to describe. In this paper, we use topological density to understand how much a Puiseux monoid, as well as its set of irreducibles, spread through $\mathbb{R}_{\ge 0}$. First, we separate Puiseux monoids according to their density in $\mathbb{R}_{\ge 0}$, and we characterize monoids in each of these classes in terms of generating sets and sets of irreducibles. Then we study the density of the difference group, the root closure, and the conductor semigroup of a Puiseux monoid. Finally, we prove that every Puiseux monoid generated by a strictly increasing sequence of rationals is nowhere dense in $\mathbb{R}_{\ge 0}$ and has empty conductor.
△ Less
Submitted 21 April, 2020;
originally announced April 2020.
-
Patterns on Numerical Semigroups
Authors:
Maria Bras-Amorós,
Pedro García-Sánchez
Abstract:
We introduce the notion of pattern for numerical semigroups, which allows us to generalize the definition of Arf numerical semigroups. In this way infinitely many other classes of numerical semigroups are defined giving a classification of the whole set of numerical semigroups. In particular, all semigroups can be arranged in an infinite non-stabilizing ascending chain whose first step consists ju…
▽ More
We introduce the notion of pattern for numerical semigroups, which allows us to generalize the definition of Arf numerical semigroups. In this way infinitely many other classes of numerical semigroups are defined giving a classification of the whole set of numerical semigroups. In particular, all semigroups can be arranged in an infinite non-stabilizing ascending chain whose first step consists just of the trivial semigroup and whose second step is the well known class of Arf semigroups. We escribe a procedure to compute the closure of a numerical semigroup with respect to a pattern. By using the concept of system of generators associated to a pattern we construct recursively a directed acyclic graph with all the semigroups admitting the pattern.
△ Less
Submitted 4 December, 2019;
originally announced December 2019.
-
The right-generators descendant of a numerical semigroup
Authors:
Maria Bras-Amorós,
Julio Fernández-González
Abstract:
For a numerical semigroup, we encode the set of primitive elements that are larger than its Frobenius number and show how to produce in a fast way the corresponding sets for its children in the semigroup tree. This allows us to present an efficient algorithm for exploring the tree up to a given genus. The algorithm exploits the second nonzero element of a numerical semigroup and the particular pse…
▽ More
For a numerical semigroup, we encode the set of primitive elements that are larger than its Frobenius number and show how to produce in a fast way the corresponding sets for its children in the semigroup tree. This allows us to present an efficient algorithm for exploring the tree up to a given genus. The algorithm exploits the second nonzero element of a numerical semigroup and the particular pseudo-ordinary case in which this element is the conductor.
△ Less
Submitted 8 November, 2019;
originally announced November 2019.
-
Isometry-Dual Flags of AG Codes
Authors:
Maria Bras-Amorós,
Iwan Duursma,
Eui** Hong
Abstract:
Consider a complete flag $\{0\} = C_0 < C_1 < \cdots < C_n = \mathbb{F}^n$ of one-point AG codes of length $n$ over the finite field $\mathbb{F}$. The codes are defined by evaluating functions with poles at a given point $Q$ in points $P_1,\dots,P_n$ distinct from $Q$. A flag has the isometry-dual property if the given flag and the corresponding dual flag are the same up to isometry. For several c…
▽ More
Consider a complete flag $\{0\} = C_0 < C_1 < \cdots < C_n = \mathbb{F}^n$ of one-point AG codes of length $n$ over the finite field $\mathbb{F}$. The codes are defined by evaluating functions with poles at a given point $Q$ in points $P_1,\dots,P_n$ distinct from $Q$. A flag has the isometry-dual property if the given flag and the corresponding dual flag are the same up to isometry. For several curves, including the projective line, Hermitian curves, Suzuki curves, Ree curves, and the Klein curve over the field of eight elements, the maximal flag, obtained by evaluation in all rational points different from the point $Q$, is self-dual. More generally, we ask whether a flag obtained by evaluation in a proper subset of rational points is isometry-dual. In [3] it is shown, for a curve of genus $g$, that a flag of one-point AG codes defined with a subset of $n > 2g+2$ rational points is isometry-dual if and only if the last code $C_n$ in the flag is defined with functions of pole order at most $n+2g-1$. Using a different approach, we extend this characterization to all subsets of size $n \geq 2g+2$. Moreover we show that this is best possible by giving examples of isometry-dual flags with $n=2g+1$ such that $C_n$ is generated by functions of pole order at most $n+2g-2$. We also prove a necessary condition, formulated in terms of maximum sparse ideals of the Weierstrass semigroup of $Q$, under which a flag of punctured one-point AG codes inherits the isometry-dual property from the original unpunctured flag.
△ Less
Submitted 25 June, 2019;
originally announced June 2019.
-
Increasingly Enumerable Submonoids of R: Music Theory as a Unifying Theme
Authors:
Maria Bras-Amorós
Abstract:
We analyze the set of increasingly enumerable additive submonoids of R, for instance, the set of logarithms of the positive integers with respect to a given base. We call them $ω$-monoids. The $ω$-monoids for which consecutive elements become arbitrarily close are called tempered monoids. This is, in particular, the case for the set of logarithms. We show that any $ω$-monoid is either a scalar mul…
▽ More
We analyze the set of increasingly enumerable additive submonoids of R, for instance, the set of logarithms of the positive integers with respect to a given base. We call them $ω$-monoids. The $ω$-monoids for which consecutive elements become arbitrarily close are called tempered monoids. This is, in particular, the case for the set of logarithms. We show that any $ω$-monoid is either a scalar multiple of a numerical semigroup or a tempered monoid. We will also show how we can differentiate $ω$-monoids that are multiples of numerical semigroups from those that are tempered monoids by the size and commensurability of their minimal generating sets. All the definitions and results are illustrated with examples from music theory.
△ Less
Submitted 8 April, 2019; v1 submitted 5 April, 2019;
originally announced April 2019.
-
A Note on the Inheritance of the Isometry-Dual Property under Puncturing AG Codes
Authors:
Maria Bras-Amorós
Abstract:
Consider a sequence of AG codes evaluating at a set of evaluation points $P_1,\dots,P_n$ the functions having only poles at a defining point $Q$, with the sequence of codes satisfying the isometry-dual condition (i.e. containing at the same time primal and their dual codes). We prove a necessary condition under which, after taking out a number of evaluation points (i.e. puncturing), the resulting…
▽ More
Consider a sequence of AG codes evaluating at a set of evaluation points $P_1,\dots,P_n$ the functions having only poles at a defining point $Q$, with the sequence of codes satisfying the isometry-dual condition (i.e. containing at the same time primal and their dual codes). We prove a necessary condition under which, after taking out a number of evaluation points (i.e. puncturing), the resulting AG codes can still satisfy the isometry-dual property. The condition has to do with the so-called maximum sparse ideals of the Weierstrass semigroup of $Q$.
△ Less
Submitted 13 July, 2017;
originally announced July 2017.
-
On the Geil-Matsumoto Bound and the Length of AG codes
Authors:
Maria Bras-Amorós,
Albert Vico-Oton
Abstract:
The Geil-Matsumoto bound conditions the number of rational places of a function field in terms of the Weierstrass semigroup of any of the places. Lewittes' bound preceded the Geil-Matsumoto bound and it only considers the smallest generator of the numerical semigroup. It can be derived from the Geil-Matsumoto bound and so it is weaker. However, for general semigroups the Geil-Matsumoto bound does…
▽ More
The Geil-Matsumoto bound conditions the number of rational places of a function field in terms of the Weierstrass semigroup of any of the places. Lewittes' bound preceded the Geil-Matsumoto bound and it only considers the smallest generator of the numerical semigroup. It can be derived from the Geil-Matsumoto bound and so it is weaker. However, for general semigroups the Geil-Matsumoto bound does not have a closed formula and it may be hard to compute, while Lewittes' bound is very simple. We give a closed formula for the Geil-Matsumoto bound for the case when the Weierstrass semigroup has two generators. We first find a solution to the membership problem for semigroups generated by two integers and then apply it to find the above formula. We also study the semigroups for which Lewittes's bound and the Geil-Matsumoto bound coincide. We finally investigate on some simplifications for the computation of the Geil-Matsumoto bound.
△ Less
Submitted 30 June, 2017;
originally announced June 2017.
-
New Lower Bounds on the Generalized Hamming Weights of AG Codes
Authors:
Maria Bras-Amorós,
Kwankyu Lee,
Albert Vico-Oton
Abstract:
A sharp upper bound for the maximum integer not belonging to an ideal of a numerical semigroup is given and the ideals attaining this bound are characterized. Then the result is used, through the so-called Feng-Rao numbers, to bound the generalized Hamming weights of algebraic-geometry codes. This is further developed for Hermitian codes and the codes on one of the Garcia-Stichtenoth towers, as we…
▽ More
A sharp upper bound for the maximum integer not belonging to an ideal of a numerical semigroup is given and the ideals attaining this bound are characterized. Then the result is used, through the so-called Feng-Rao numbers, to bound the generalized Hamming weights of algebraic-geometry codes. This is further developed for Hermitian codes and the codes on one of the Garcia-Stichtenoth towers, as well as for some more general families.
△ Less
Submitted 29 June, 2017;
originally announced June 2017.
-
Numerical Semigroups and Codes
Authors:
Maria Bras-Amorós
Abstract:
A numerical semigroup is a subset of N containing 0, closed under addition and with finite complement in N. An important example of numerical semigroup is given by the Weierstrass semigroup at one point of a curve. In the theory of algebraic geometry codes, Weierstrass semigroups are crucial for defining bounds on the minimum distance as well as for defining improvements on the dimension of codes.…
▽ More
A numerical semigroup is a subset of N containing 0, closed under addition and with finite complement in N. An important example of numerical semigroup is given by the Weierstrass semigroup at one point of a curve. In the theory of algebraic geometry codes, Weierstrass semigroups are crucial for defining bounds on the minimum distance as well as for defining improvements on the dimension of codes. We present these applications and some theoretical problems related to classification, characterization and counting of numerical semigroups.
△ Less
Submitted 29 June, 2017;
originally announced June 2017.
-
Fibonacci-Like Behavior of the Number of Numerical Semigroups of a Given Genus
Authors:
Maria Bras-Amorós
Abstract:
We conjecture a Fibonacci-like property on the number of numerical semigroups of a given genus. Moreover we conjecture that the associated quotient sequence approaches the golden ratio. The conjecture is motivated by the results on the number of semigroups of genus at most 50. The Wilf conjecture has also been checked for all numerical semigroups with genus in the same range.
We conjecture a Fibonacci-like property on the number of numerical semigroups of a given genus. Moreover we conjecture that the associated quotient sequence approaches the golden ratio. The conjecture is motivated by the results on the number of semigroups of genus at most 50. The Wilf conjecture has also been checked for all numerical semigroups with genus in the same range.
△ Less
Submitted 16 June, 2017;
originally announced June 2017.
-
A Decoding Approach to Reed-Solomon Codes from Their Definition
Authors:
Maria Bras-Amorós
Abstract:
Because of their importance in applications and their quite simple definition, Reed-Solomon codes can be explained in any introductory course on coding theory. However, decoding algorithms for Reed-Solomon codes are far from being simple and it is difficult to fit them in introductory courses for undergraduates. We introduce a new decoding approach, in a self-contained presentation, which we think…
▽ More
Because of their importance in applications and their quite simple definition, Reed-Solomon codes can be explained in any introductory course on coding theory. However, decoding algorithms for Reed-Solomon codes are far from being simple and it is difficult to fit them in introductory courses for undergraduates. We introduce a new decoding approach, in a self-contained presentation, which we think may be appropriate for introducing error correction of Reed-Solomon codes to nonexperts. In particular, we interpret Reed-Solomon codes by means of the degree of the interpolation polynomial of the code words and from this derive a decoding algorithm. Compared to the classical algorithms, our algorithm appears to arise more naturally from definitions and to be easier to understand. It is related to the Peterson-Gorenstein-Zierler algorithm.
△ Less
Submitted 12 June, 2017;
originally announced June 2017.
-
Tempered Monoids of Real Numbers, the Golden Fractal Monoid, and the Well-Tempered Harmonic Semigroup
Authors:
Maria Bras-Amorós
Abstract:
This paper deals with the algebraic structure of the sequence of harmonics when combined with equal temperaments. Fractals and the golden ratio appear surprisingly on the way. The sequence of physical harmonics is an increasingly enumerable submonoid of (R+,+) whose pairs of consecutive terms get arbitrarily close as they grow. These properties suggest the definition of a new mathematical object w…
▽ More
This paper deals with the algebraic structure of the sequence of harmonics when combined with equal temperaments. Fractals and the golden ratio appear surprisingly on the way. The sequence of physical harmonics is an increasingly enumerable submonoid of (R+,+) whose pairs of consecutive terms get arbitrarily close as they grow. These properties suggest the definition of a new mathematical object which we denote a tempered monoid. Map** the elements of the tempered monoid of physical harmonics from R to N may be considered tantamount to defining equal temperaments. The number of equal parts of the octave in an equal temperament corresponds to the multiplicity of the related numerical semigroup. Analyzing the sequence of musical harmonics we derive two important properties that tempered monoids may have: that of being product-compatible and that of being fractal. We demonstrate that, up to normalization, there is only one product-compatible tempered monoid, which is the logarithmic monoid, and there is only one nonbisectional fractal monoid which is generated by the golden ratio. The example of half-closed cylindrical pipes imposes a third property to the sequence of musical harmonics, the so-called odd-filterability property. We prove that the maximum number of equal divisions of the octave such that the discretizations of the golden fractal monoid and the logarithmic monoid coincide, and such that the discretization is odd-filterable is 12. This is nothing else but the number of equal divisions of the octave in classical Western music.
△ Less
Submitted 2 November, 2019; v1 submitted 3 March, 2017;
originally announced March 2017.
-
Computation of numerical semigroups by means of seeds
Authors:
Maria Bras-Amorós,
Julio Fernández-González
Abstract:
For the elements of a numerical semigroup which are larger than the Frobenius number, we introduce the definition of, seed, by broadening the notion of generator. This new concept allows us to explore the semigroup tree in an alternative efficient way, since the seeds of each descendant can be easily obtained from the seeds of its parent. The paper is devoted to presenting the results which are re…
▽ More
For the elements of a numerical semigroup which are larger than the Frobenius number, we introduce the definition of, seed, by broadening the notion of generator. This new concept allows us to explore the semigroup tree in an alternative efficient way, since the seeds of each descendant can be easily obtained from the seeds of its parent. The paper is devoted to presenting the results which are related to this approach, leading to a new algorithm for computing and counting the semigroups of a given genus.
△ Less
Submitted 23 December, 2017; v1 submitted 6 July, 2016;
originally announced July 2016.
-
Linear non-homogenous patterns and prime power generators in numerical semigroups associated to combinatorial configurations
Authors:
Klara Stokes,
Maria Bras-Amorós
Abstract:
It is proved that the numerical semigroups associated to the combinatorial configurations satisfy a family of non-linear symmetric patterns. Also, these numerical semigroups are studied for two particular classes of combinatorial configurations.
It is proved that the numerical semigroups associated to the combinatorial configurations satisfy a family of non-linear symmetric patterns. Also, these numerical semigroups are studied for two particular classes of combinatorial configurations.
△ Less
Submitted 15 December, 2012;
originally announced December 2012.
-
Nonhomogeneous patterns on numerical semigroups
Authors:
Maria Bras-Amorós,
Pedro A. García-Sánchez,
Albert Vico-Oton
Abstract:
Patterns on numerical semigroups are multivariate linear polynomials, and they are said to be admissible if there exists a numerical semigroup such that evaluated at any nonincreasing sequence of elements of the semigroup gives integers belonging to the semigroup. In a first approach, only homogeneous patterns where analized. In this contribution we study conditions for an eventually non-homogeneo…
▽ More
Patterns on numerical semigroups are multivariate linear polynomials, and they are said to be admissible if there exists a numerical semigroup such that evaluated at any nonincreasing sequence of elements of the semigroup gives integers belonging to the semigroup. In a first approach, only homogeneous patterns where analized. In this contribution we study conditions for an eventually non-homogeneous pattern to be admissible, and particularize this study to the case the independent term of the pattern is a multiple of the multiplicity of the semigroup. Moreover, for the so called strongly admissible patterns, the set of numerical semigroups admitting these patterns with fixed multiplicity $m$ form an $m$-variety, which allows us to represent this set in a tree and to describe minimal sets of generators of the semigroups in the variety with respect to the pattern. Furthermore, we characterize strongly admissible patterns having a finite associated tree.
△ Less
Submitted 5 November, 2012;
originally announced November 2012.
-
Unique Decoding of General AG Codes
Authors:
Kwankyu Lee,
Maria Bras-Amorós,
Michael E. O'Sullivan
Abstract:
A unique decoding algorithm for general AG codes, namely multipoint evaluation codes on algebraic curves, is presented. It is a natural generalization of the previous decoding algorithm which was only for one-point AG codes. As such, it retains the same advantages of fast speed and regular structure with the previous algorithm. Compared with other known decoding algorithms for general AG codes, it…
▽ More
A unique decoding algorithm for general AG codes, namely multipoint evaluation codes on algebraic curves, is presented. It is a natural generalization of the previous decoding algorithm which was only for one-point AG codes. As such, it retains the same advantages of fast speed and regular structure with the previous algorithm. Compared with other known decoding algorithms for general AG codes, it is much simpler in its description and implementation.
△ Less
Submitted 2 November, 2012; v1 submitted 10 October, 2012;
originally announced October 2012.
-
Ordinarization Transform of a Numerical Semigroup and Semigroups with a Large Number of Intervals
Authors:
Maria Bras-Amorós
Abstract:
A numerical semigroup is said to be ordinary if it has all its gaps in a row. Indeed, it contains zero and all integers from a given positive one. One can define a simple operation on a non-ordinary semigroup, which we call here the ordinarization transform, by removing its smallest non-zero non-gap (the multiplicity) and adding its largest gap (the Frobenius number). This gives another numerical…
▽ More
A numerical semigroup is said to be ordinary if it has all its gaps in a row. Indeed, it contains zero and all integers from a given positive one. One can define a simple operation on a non-ordinary semigroup, which we call here the ordinarization transform, by removing its smallest non-zero non-gap (the multiplicity) and adding its largest gap (the Frobenius number). This gives another numerical semigroup and by repeating this transform several times we end up with an ordinary semigroup. The genus, that is, the number of gaps, is kept constant in all the transforms.
This procedure allows the construction of a tree for each given genus containing all semigrpoups of that genus and rooted in the unique ordinary semigroup of that genus. We study here the regularity of these trees and the number of semigroups at each depth. For some depths it is proved that the number of semigroups increases with the genus and it is conjectured that this happens at all given depths. This may give some lights to a former conjecture saying that the number of semigroups of a given genus increases with the genus.
We finally give an identification between semigroups at a given depth in the ordinarization tree and semigroups with a given (large) number of gap intervals and we give an explicit characterization of those semigroups.
△ Less
Submitted 17 March, 2012;
originally announced March 2012.
-
Unique Decoding of Plane AG Codes via Interpolation
Authors:
Kwankyu Lee,
Maria Bras-Amorós,
Michael E. O'Sullivan
Abstract:
We present a unique decoding algorithm of algebraic geometry codes on plane curves, Hermitian codes in particular, from an interpolation point of view. The algorithm successfully corrects errors of weight up to half of the order bound on the minimum distance of the AG code. The decoding algorithm is the first to combine some features of the interpolation based list decoding with the performance of…
▽ More
We present a unique decoding algorithm of algebraic geometry codes on plane curves, Hermitian codes in particular, from an interpolation point of view. The algorithm successfully corrects errors of weight up to half of the order bound on the minimum distance of the AG code. The decoding algorithm is the first to combine some features of the interpolation based list decoding with the performance of the syndrome decoding with majority voting scheme. The regular structure of the algorithm allows a straightforward parallel implementation.
△ Less
Submitted 28 October, 2011;
originally announced October 2011.
-
The Berlekamp-Massey Algorithm and the Euclidean Algorithm: a Closer Link
Authors:
Maria Bras-Amorós,
Michael E. O'Sullivan
Abstract:
The two primary decoding algorithms for Reed-Solomon codes are the Berlekamp-Massey algorithm and the Sugiyama et al. adaptation of the Euclidean algorithm, both designed to solve a key equation. In this article an alternative version of the key equation and a new way to use the Euclidean algorithm to solve it are presented, which yield the Berlekamp-Massey algorithm. This results in a new, simp…
▽ More
The two primary decoding algorithms for Reed-Solomon codes are the Berlekamp-Massey algorithm and the Sugiyama et al. adaptation of the Euclidean algorithm, both designed to solve a key equation. In this article an alternative version of the key equation and a new way to use the Euclidean algorithm to solve it are presented, which yield the Berlekamp-Massey algorithm. This results in a new, simpler, and compacter presentation of the Berlekamp-Massey algorithm.
△ Less
Submitted 15 August, 2009;
originally announced August 2009.
-
The Semigroup of Combinatorial Configurations
Authors:
Maria Bras-Amorós,
Klara Stokes
Abstract:
A (v,b,r,k) combinatorial configuration is a (r,k)-biregular bipartite graph with v vertices on the left and b vertices on the right and with no cycle of length 4. Combinatorial configurations have become very important for some cryptographic applications to sensor networks and to peer-to-peer communities. Configurable tuples are those tuples (v,b,r,k) for which a (v,b,r,k) combinatorial configura…
▽ More
A (v,b,r,k) combinatorial configuration is a (r,k)-biregular bipartite graph with v vertices on the left and b vertices on the right and with no cycle of length 4. Combinatorial configurations have become very important for some cryptographic applications to sensor networks and to peer-to-peer communities. Configurable tuples are those tuples (v,b,r,k) for which a (v,b,r,k) combinatorial configuration exists. It is proved in this work that the set of configurable tuples with fixed r and k has the structure of a numerical semigroup. The numerical semigroup is completely described for r=2 and r=3.
△ Less
Submitted 23 December, 2010; v1 submitted 24 July, 2009;
originally announced July 2009.
-
Towards a Better Understanding of the Semigroup Tree
Authors:
Maria Bras-Amoros,
Stanislav Bulygin
Abstract:
In this paper we elaborate on the structure of the semigroup tree and the regularities on the number of descendants of each node observed earlier. These regularites admit two different types of behavior and in this work we investigate which of the two types takes place in particular for well-known classes of semigroups. Also we study the question of what kind of chains appear in the tree and cha…
▽ More
In this paper we elaborate on the structure of the semigroup tree and the regularities on the number of descendants of each node observed earlier. These regularites admit two different types of behavior and in this work we investigate which of the two types takes place in particular for well-known classes of semigroups. Also we study the question of what kind of chains appear in the tree and characterize the properties (like being (in)finite) thereof. We conclude with some thoughts that show how this study of the semigroup tree may help in solving the conjecture of Fibonacci-like behavior of the number of semigroups with given genus.
△ Less
Submitted 9 October, 2008;
originally announced October 2008.
-
Bounds on the Number of Numerical Semigroups of a Given Genus
Authors:
Maria Bras-Amoros
Abstract:
Combinatorics on multisets is used to deduce new upper and lower bounds on the number of numerical semigroups of each given genus, significantly improving existing ones. In particular, it is proved that the number $n_g$ of numerical semigroups of genus $g$ satisfies $2F_{g}\leq n_g\leq 1+3\cdot 2^{g-3}$, where $F_g$ denotes the $g$th Fibonacci number.
Combinatorics on multisets is used to deduce new upper and lower bounds on the number of numerical semigroups of each given genus, significantly improving existing ones. In particular, it is proved that the number $n_g$ of numerical semigroups of genus $g$ satisfies $2F_{g}\leq n_g\leq 1+3\cdot 2^{g-3}$, where $F_g$ denotes the $g$th Fibonacci number.
△ Less
Submitted 15 February, 2008;
originally announced February 2008.
-
Representation of Numerical Semigroups by Dyck Paths
Authors:
Maria Bras-Amorós,
Anna de Mier
Abstract:
We introduce square diagrams that represent numerical semigroups and we obtain an injection from the set of numerical semigroups into the set of Dyck paths.
We introduce square diagrams that represent numerical semigroups and we obtain an injection from the set of numerical semigroups into the set of Dyck paths.
△ Less
Submitted 21 December, 2006;
originally announced December 2006.
-
On Semigroups Generated by Two Consecutive Integers and Improved Hermitian Codes
Authors:
Maria Bras-Amorós,
Michael E. O'Sullivan
Abstract:
Analysis of the Berlekamp-Massey-Sakata algorithm for decoding one-point codes leads to two methods for improving code rate. One method, due to Feng and Rao, removes parity checks that may be recovered by their majority voting algorithm. The second method is to design the code to correct only those error vectors of a given weight that are also geometrically generic. In this work, formulae are gi…
▽ More
Analysis of the Berlekamp-Massey-Sakata algorithm for decoding one-point codes leads to two methods for improving code rate. One method, due to Feng and Rao, removes parity checks that may be recovered by their majority voting algorithm. The second method is to design the code to correct only those error vectors of a given weight that are also geometrically generic. In this work, formulae are given for the redundancies of Hermitian codes optimized with respect to these criteria as well as the formula for the order bound on the minimum distance. The results proceed from an analysis of numerical semigroups generated by two consecutive integers. The formula for the redundancy of optimal Hermitian codes correcting a given number of errors answers an open question stated by Pellikaan and Torres in 1999.
△ Less
Submitted 15 November, 2006; v1 submitted 29 September, 2006;
originally announced September 2006.
-
The Order Bound on the Minimum Distance of the One-Point Codes Associated to a Garcia-Stichtenoth Tower of Function Fields
Authors:
Maria Bras-Amorós,
Michael E. O'Sullivan
Abstract:
Garcia and Stichtenoth discovered two towers of function fields that meet the Drinfeld-Vlăduţ bound on the ratio of the number of points to the genus. For one of these towers, Garcia, Pellikaan and Torres derived a recursive description of the Weierstrass semigroups associated to a tower of points on the associated curves. In this article, a non-recursive description of the semigroups is given a…
▽ More
Garcia and Stichtenoth discovered two towers of function fields that meet the Drinfeld-Vlăduţ bound on the ratio of the number of points to the genus. For one of these towers, Garcia, Pellikaan and Torres derived a recursive description of the Weierstrass semigroups associated to a tower of points on the associated curves. In this article, a non-recursive description of the semigroups is given and from this the enumeration of each of the semigroups is derived as well as its inverse. This enables us to find an explicit formula for the order (Feng-Rao) bound on the minimum distance of the associated one-point codes.
△ Less
Submitted 15 November, 2006; v1 submitted 29 September, 2006;
originally announced September 2006.
-
Redundancies of Correction-Capability-Optimized Reed-Muller Codes
Authors:
Maria Bras-Amorós,
Michael E. O'Sullivan
Abstract:
This article is focused on some variations of Reed-Muller codes that yield improvements to the rate for a prescribed decoding performance under the Berlekamp-Massey-Sakata algorithm with majority voting. Explicit formulas for the redundancies of the new codes are given.
This article is focused on some variations of Reed-Muller codes that yield improvements to the rate for a prescribed decoding performance under the Berlekamp-Massey-Sakata algorithm with majority voting. Explicit formulas for the redundancies of the new codes are given.
△ Less
Submitted 29 September, 2006;
originally announced September 2006.
-
Duality for Several Families of Evaluation Codes
Authors:
Maria Bras-Amorós,
Michael E. O'Sullivan
Abstract:
We consider generalizations of Reed-Muller codes, toric codes, and codes from certain plane curves, such as those defined by norm and trace functions on finite fields. In each case we are interested in codes defined by evaluating arbitrary subsets of monomials, and in identifying when the dual codes are also obtained by evaluating monomials. We then move to the context of order domain theory, in…
▽ More
We consider generalizations of Reed-Muller codes, toric codes, and codes from certain plane curves, such as those defined by norm and trace functions on finite fields. In each case we are interested in codes defined by evaluating arbitrary subsets of monomials, and in identifying when the dual codes are also obtained by evaluating monomials. We then move to the context of order domain theory, in which the subsets of monomials can be chosen to optimize decoding performance using the Berlekamp-Massey-Sakata algorithm with majority voting. We show that for the codes under consideration these subsets are well-behaved and the dual codes are also defined by monomials.
△ Less
Submitted 11 December, 2006; v1 submitted 29 September, 2006;
originally announced September 2006.