-
Representability of the direct sum of uniform q-matroids
Authors:
Gianira N. Alfarano,
Relinde Jurrius,
Alessandro Neri,
Ferdinando Zullo
Abstract:
There are many similarities between the theories of matroids and $q$-matroids. However, when dealing with the direct sum of $q$-matroids many differences arise. Most notably, it has recently been shown that the direct sum of representable $q$-matroids is not necessarily representable. In this work, we focus on the direct sum of uniform $q$-matroids. Using algebraic and geometric tools, together wi…
▽ More
There are many similarities between the theories of matroids and $q$-matroids. However, when dealing with the direct sum of $q$-matroids many differences arise. Most notably, it has recently been shown that the direct sum of representable $q$-matroids is not necessarily representable. In this work, we focus on the direct sum of uniform $q$-matroids. Using algebraic and geometric tools, together with the notion of cyclic flats of $q$-matroids, we show that this is always representable, by providing a representation over a sufficiently large field.
△ Less
Submitted 1 August, 2024;
originally announced August 2024.
-
Eigenvalue bounds for the distance-$t$ chromatic number of a graph and their application to Lee codes
Authors:
Aida Abiad,
Alessandro Neri,
Luuk Reijnders
Abstract:
We derive eigenvalue bounds for the $t$-distance chromatic number of a graph, which is a generalization of the classical chromatic number. We apply such bounds to hypercube graphs, providing alternative spectral proofs for results by Ngo, Du and Graham [Inf. Process. Lett., 2002], and improving their bound for several instances. We also apply the eigenvalue bounds to Lee graphs, extending results…
▽ More
We derive eigenvalue bounds for the $t$-distance chromatic number of a graph, which is a generalization of the classical chromatic number. We apply such bounds to hypercube graphs, providing alternative spectral proofs for results by Ngo, Du and Graham [Inf. Process. Lett., 2002], and improving their bound for several instances. We also apply the eigenvalue bounds to Lee graphs, extending results by Kim and Kim [Discrete Appl. Math., 2011]. Finally, we provide a complete characterization for the existence of perfect Lee codes of minimum distance $3$. In order to prove our results, we use a mix of spectral and number theory tools. Our results, which provide the first application of spectral methods to Lee codes, illustrate that such methods succeed to capture the nature of the Lee metric.
△ Less
Submitted 23 April, 2024;
originally announced April 2024.
-
A proof of the Etzion-Silberstein conjecture for monotone and MDS-constructible Ferrers diagrams
Authors:
Alessandro Neri,
Mima Stanojkovski
Abstract:
Ferrers diagram rank-metric codes were introduced by Etzion and Silberstein in 2009. In their work, they proposed a conjecture on the largest dimension of a space of matrices over a finite field whose nonzero elements are supported on a given Ferrers diagram and all have rank lower bounded by a fixed positive integer $d$. Since stated, the Etzion-Silberstein conjecture has been verified in a numbe…
▽ More
Ferrers diagram rank-metric codes were introduced by Etzion and Silberstein in 2009. In their work, they proposed a conjecture on the largest dimension of a space of matrices over a finite field whose nonzero elements are supported on a given Ferrers diagram and all have rank lower bounded by a fixed positive integer $d$. Since stated, the Etzion-Silberstein conjecture has been verified in a number of cases, often requiring additional constraints on the field size or on the minimum rank $d$ in dependence of the corresponding Ferrers diagram. As of today, this conjecture still remains widely open. Using modular methods, we give a constructive proof of the Etzion-Silberstein conjecture for the class of strictly monotone Ferrers diagrams, which does not depend on the minimum rank $d$ and holds over every finite field. In addition, we leverage on the last result to also prove the conjecture for the class of MDS-constructible Ferrers diagrams, without requiring any restriction on the field size.
△ Less
Submitted 9 July, 2024; v1 submitted 28 June, 2023;
originally announced June 2023.
-
Strong blocking sets and minimal codes from expander graphs
Authors:
Noga Alon,
Anurag Bishnoi,
Shagnik Das,
Alessandro Neri
Abstract:
A strong blocking set in a finite projective space is a set of points that intersects each hyperplane in a spanning set. We provide a new graph theoretic construction of such sets: combining constant-degree expanders with asymptotically good codes, we explicitly construct strong blocking sets in the $(k-1)$-dimensional projective space over $\mathbb{F}_q$ that have size $O( q k )$. Since strong bl…
▽ More
A strong blocking set in a finite projective space is a set of points that intersects each hyperplane in a spanning set. We provide a new graph theoretic construction of such sets: combining constant-degree expanders with asymptotically good codes, we explicitly construct strong blocking sets in the $(k-1)$-dimensional projective space over $\mathbb{F}_q$ that have size $O( q k )$. Since strong blocking sets have recently been shown to be equivalent to minimal linear codes, our construction gives the first explicit construction of $\mathbb{F}_q$-linear minimal codes of length $n$ and dimension $k$, for every prime power $q$, for which $n = O (q k)$. This solves one of the main open problems on minimal codes.
△ Less
Submitted 24 May, 2023;
originally announced May 2023.
-
Maximum Flag-Rank Distance Codes
Authors:
Gianira N. Alfarano,
Alessandro Neri,
Ferdinando Zullo
Abstract:
In this paper we extend the study of linear spaces of upper triangular matrices endowed with the flag-rank metric. Such metric spaces are isometric to certain spaces of degenerate flags and have been suggested as suitable framework for network coding. In this setting we provide a Singleton-like bound which relates the parameters of a flag-rank-metric code. This allows us to introduce the family of…
▽ More
In this paper we extend the study of linear spaces of upper triangular matrices endowed with the flag-rank metric. Such metric spaces are isometric to certain spaces of degenerate flags and have been suggested as suitable framework for network coding. In this setting we provide a Singleton-like bound which relates the parameters of a flag-rank-metric code. This allows us to introduce the family of maximum flag-rank distance codes, that are flag-rank-metric codes meeting the Singleton-like bound with equality. Finally, we provide several constructions of maximum flag-rank distance codes.
△ Less
Submitted 29 March, 2023;
originally announced March 2023.
-
Higher-degree symmetric rank-metric codes
Authors:
Arthur Bik,
Alessandro Neri
Abstract:
Over fields of characteristic unequal to $2$, we can identify symmetric matrices with homogeneous polynomials of degree $2$. This allows us to view symmetric rank-metric codes as living inside the space of such polynomials. In this paper, we generalize the construction of symmetric Gabidulin codes to polynomials of degree $d>2$ over field of characteristic $0$ or $>d$. To do so, we equip the space…
▽ More
Over fields of characteristic unequal to $2$, we can identify symmetric matrices with homogeneous polynomials of degree $2$. This allows us to view symmetric rank-metric codes as living inside the space of such polynomials. In this paper, we generalize the construction of symmetric Gabidulin codes to polynomials of degree $d>2$ over field of characteristic $0$ or $>d$. To do so, we equip the space of homogeneous polynomials of degree $d\geq 2$ with the metric induced by the essential rank, which is the minimal number of linear forms needed to express a polynomial. We provide bounds on the minimal distance and dimension of the essential-rank metric codes we construct and provide an efficient decoding algorithm. Finally, we show how essential-rank metric codes can be seen as special instances of rank-metric codes and compare our construction to known rank-metric codes with the same parameters.
△ Less
Submitted 12 March, 2023;
originally announced March 2023.
-
Outer Strong Blocking Sets
Authors:
Gianira N. Alfarano,
Martino Borello,
Alessandro Neri
Abstract:
Strong blocking sets, introduced first in 2011 in connection with saturating sets, have recently gained a lot of attention due to their correspondence with minimal codes. In this paper, we dig into the geometry of the concatenation method, introducing the concept of outer strong blocking sets and their coding theoretical counterpart. We investigate their structure and provide bounds on their size.…
▽ More
Strong blocking sets, introduced first in 2011 in connection with saturating sets, have recently gained a lot of attention due to their correspondence with minimal codes. In this paper, we dig into the geometry of the concatenation method, introducing the concept of outer strong blocking sets and their coding theoretical counterpart. We investigate their structure and provide bounds on their size. As a byproduct, we improve the best-known upper bound on the minimum size of a strong blocking set. Finally, we present a geometric construction of small strong blocking sets, whose computational cost is significantly smaller than the previously known ones.
△ Less
Submitted 15 March, 2024; v1 submitted 23 January, 2023;
originally announced January 2023.
-
Exceptional scattered sequences
Authors:
Daniele Bartoli,
Giuseppe Marino,
Alessandro Neri,
Lara Vicino
Abstract:
The concept of scattered polynomials is generalized to those of exceptional scattered sequences which are shown to be the natural algebraic counterpart of $\mathbb{F}_{q^n}$-linear MRD codes. The first infinite family in the first nontrivial case is also provided and equivalence issues are considered. As a byproduct, a new infinite family of MRD codes is obtained.
The concept of scattered polynomials is generalized to those of exceptional scattered sequences which are shown to be the natural algebraic counterpart of $\mathbb{F}_{q^n}$-linear MRD codes. The first infinite family in the first nontrivial case is also provided and equivalence issues are considered. As a byproduct, a new infinite family of MRD codes is obtained.
△ Less
Submitted 21 November, 2022;
originally announced November 2022.
-
New MRD codes from linear cutting blocking sets
Authors:
Daniele Bartoli,
Giuseppe Marino,
Alessandro Neri
Abstract:
Minimal rank-metric codes or, equivalently, linear cutting blocking sets are characterized in terms of the second generalized rank weight, via their connection with evasiveness properties of the associated $q$-system. Using this result, we provide the first construction of a family of $\mathbb{F}_{q^m}$-linear MRD codes of length $2m$ that are not obtained as a direct sum of two smaller MRD codes.…
▽ More
Minimal rank-metric codes or, equivalently, linear cutting blocking sets are characterized in terms of the second generalized rank weight, via their connection with evasiveness properties of the associated $q$-system. Using this result, we provide the first construction of a family of $\mathbb{F}_{q^m}$-linear MRD codes of length $2m$ that are not obtained as a direct sum of two smaller MRD codes. In addition, such a family has better parameters, since its codes possess generalized rank weights strictly larger than those of the previously known MRD codes. This shows that not all the MRD codes have the same generalized rank weights, in contrast to what happens in the Hamming metric setting.
△ Less
Submitted 6 September, 2022;
originally announced September 2022.
-
Synthesis of Ultra-Incompressible Carbon Nitrides Featuring Three-Dimensional Frameworks of CN4 Tetrahedra Recoverable at Ambient Conditions
Authors:
Dominique Laniel,
Florian Trybel,
Andrey Aslandukov,
Saiana Khandarkhaeva,
Timofey Fedotenko,
Yuqing Yin,
Ferenc Tasnádi,
Alena V. Ponomareva,
Gunnar Weck,
Fariia Iasmin Akbar,
Bjoern Winkler,
Adrien Néri,
Stella Chariton,
Carlotta Giacobbe,
Jonathan Wright,
Gaston Garbarino,
Björn Wehinger,
Anna Pakhomova,
Mohamed Mezouar,
Vitali Prakapenka,
Victor Milman,
Wolfgang Schnick,
Igor A. Abrikosov,
Leonid Dubrovinsky,
Natalia Dubrovinskaia
Abstract:
More than thirty years ago, carbon nitrides featuring 3D frameworks of tetrahedral CN4 units were identified as one of the great aspirations of materials science, expected to have a hardness greater than or comparable to diamond. Since then, no unambiguous experimental evidence of their existence has been delivered. Here, we report the high-pressure high-temperature synthesis of the long-sought-af…
▽ More
More than thirty years ago, carbon nitrides featuring 3D frameworks of tetrahedral CN4 units were identified as one of the great aspirations of materials science, expected to have a hardness greater than or comparable to diamond. Since then, no unambiguous experimental evidence of their existence has been delivered. Here, we report the high-pressure high-temperature synthesis of the long-sought-after covalent carbon nitrides, tI14-C3N4, hP126-C3N4, and tI24-CN2, in laser-heated diamond anvil cells. Their structures were solved and refined using synchrotron single-crystal X-ray diffraction. In these solids, carbon atoms, all sp3-hybridized, and nitrogen atoms are fully saturated, forming four and three covalent bonds, respectively, leading to three-dimensional arrangements of corner-sharing CN4 tetrahedra. These carbon nitrides are ultra-incompressible, with hP126-C3N4 and tI24-CN2 even rivalling diamond's incompressibility, and superhard. These novel compounds are recoverable to ambient conditions in crystalline form and chemically stable in air. Being wide-band gap semiconductors with intriguing features in their electronic structure, they are expected to exhibit multiple exceptional functionalities besides their mechanical properties, opening new perspectives for materials science.
△ Less
Submitted 5 September, 2022;
originally announced September 2022.
-
Time scales of small body differentiation
Authors:
Marc Monnereau,
Jérémy Guignard,
Adrien Néri,
Michael J. Toplis,
Ghylaine Quitté
Abstract:
The petrologic and geochemical diversity of meteorites is a function of the bulk composition of their parent bodies, but also the result of how and when internal differentiation took place. Here we focus on this second aspect considering the two principal parameters involved: size and accretion time of the body. We discuss the interplay of the various time scales related to heating, cooling and dr…
▽ More
The petrologic and geochemical diversity of meteorites is a function of the bulk composition of their parent bodies, but also the result of how and when internal differentiation took place. Here we focus on this second aspect considering the two principal parameters involved: size and accretion time of the body. We discuss the interplay of the various time scales related to heating, cooling and drainage of silicate liquids. Based on two phase flow modelling in 1-D spherical geometry, we show that drainage time is proportional to two independent parameters: $μ_m/R^2$, the ratio of the matrix viscosity to the square of the body radius and $μ_f/a^2$, the ratio of the liquid viscosity to the square of the matrix grain size. We review the dependence of these properties on temperature, thermal history and degree of melting, demonstrating that they vary by several orders of magnitude during thermal evolution. These variations call into question the results of two phase flow modelling of small body differentiation that assume constant properties.For example, the idea that liquid migration was efficient enough to remove $^{26}$Al heat sources from the interior of bodies and dampen their melting (e.g. Moskovitz and Gaidos, 2011; Neumann et al., 2012) relies on percolation rates of silicate liquids overestimated by six to eight orders of magnitude. In bodies accreted during the first few million years of solar-system history, we conclude that drainage cannot prevent the occurrence of a global magma ocean. These conditions seem ideal to explain the generation of the parent-bodies of iron meteorites. A map of the different evolutionary scenarios of small bodies as a function of size and accretion time is proposed.
△ Less
Submitted 22 August, 2022;
originally announced August 2022.
-
Revealing Phosphorus Nitrides up to the Megabar Regime: Synthesis of alpha-P3N5, delta-P3N5 and PN2
Authors:
Dominique Laniel,
Florian Trybel,
Adrien Neri,
Yuqing Yin,
Andrey Aslandukov,
Timofey Fedotenko,
Saiana Khandarkhaeva,
Ferenc Tasnadi,
Stella Chariton,
Carlotta Giacobbe,
Eleanor Lawrence Bright,
Michael Hanfland,
Vitali Prakapenka,
Wolfgang Schnick,
Igor A. Abrikosov,
Leonid Dubrovinsky,
Natalia Dubrovinskaia
Abstract:
Non-metal nitrides are an exciting field of chemistry, featuring a significant number of compounds that can possess outstanding material properties. This characteristic relies on maximizing the number of strong covalent bonds, with crosslinked XN6 octahedra frameworks being particularly intriguing. In this study, the phosphorus-nitrogen system was studied up to 137 GPa in laser-heated diamond anvi…
▽ More
Non-metal nitrides are an exciting field of chemistry, featuring a significant number of compounds that can possess outstanding material properties. This characteristic relies on maximizing the number of strong covalent bonds, with crosslinked XN6 octahedra frameworks being particularly intriguing. In this study, the phosphorus-nitrogen system was studied up to 137 GPa in laser-heated diamond anvil cells and three previously unobserved phases were synthesized and characterized by single-crystal X-ray diffraction, Raman spectroscopy measurements and density functional theory calculations. Delta-P3N5 and PN2 were found to form at 72 and 134 GPa, respectively, and both feature dense 3D networks of the so far elusive PN6 units. The two are ultra-incompressible, having a bulk modulus of K0 = 322 GPa for delta-P3N5 and K0 = 339 GPa for PN2. Upon decompression below 7 GPa, delta-P3N5 undergoes a transformation into a novel alpha'-P3N5 solid, stable at ambient conditions, that has a unique structure type based on PN4 tetrahedra. The formation of alpha'-P3N5 underlines that a phase space otherwise inaccessible can be explored through high-pressure formed phases.
△ Less
Submitted 18 August, 2022;
originally announced August 2022.
-
Evasive subspaces, generalized rank weights and near MRD codes
Authors:
Giuseppe Marino,
Alessandro Neri,
Rocco Trombetti
Abstract:
We revisit and extend the connections between $\mathbb{F}_{q^m}$-linear rank-metric codes and evasive $\mathbb{F}_q$-subspaces of $\mathbb{F}_{q^m}^k$. We give a unifying framework in which we prove in an elementary way how the parameters of a rank-metric code are related to special geometric properties of the associated evasive subspace, with a particular focus on the generalized rank weights. In…
▽ More
We revisit and extend the connections between $\mathbb{F}_{q^m}$-linear rank-metric codes and evasive $\mathbb{F}_q$-subspaces of $\mathbb{F}_{q^m}^k$. We give a unifying framework in which we prove in an elementary way how the parameters of a rank-metric code are related to special geometric properties of the associated evasive subspace, with a particular focus on the generalized rank weights. In this way, we can also provide alternative and very short proofs of known results on scattered subspaces. We then use this simplified point of view in order to get a geometric characterization of near MRD codes and a clear bound on their maximal length. Finally we connect the theory of quasi-MRD codes with $h$-scattered subspaces of maximum dimension, extending to all the parameters sets the already known results on MRD codes.
△ Less
Submitted 25 April, 2022;
originally announced April 2022.
-
The geometry of one-weight codes in the sum-rank metric
Authors:
Alessandro Neri,
Paolo Santonastaso,
Ferdinando Zullo
Abstract:
We provide a geometric characterization of $k$-dimensional $\mathbb{F}_{q^m}$-linear sum-rank metric codes as tuples of $\mathbb{F}_q$-subspaces of $\mathbb{F}_{q^m}^k$. We then use this characterization to study one-weight codes in the sum-rank metric. This leads us to extend the family of linearized Reed-Solomon codes in order to obtain a doubly-extended version of them. We prove that these code…
▽ More
We provide a geometric characterization of $k$-dimensional $\mathbb{F}_{q^m}$-linear sum-rank metric codes as tuples of $\mathbb{F}_q$-subspaces of $\mathbb{F}_{q^m}^k$. We then use this characterization to study one-weight codes in the sum-rank metric. This leads us to extend the family of linearized Reed-Solomon codes in order to obtain a doubly-extended version of them. We prove that these codes are still maximum sum-rank distance (MSRD) codes and, when $k=2$, they are one-weight, as in the Hamming-metric case. We then focus on constant rank-profile codes in the sum-rank metric, which are a special family of one weight-codes, and derive constraints on their parameters with the aid of an associated Hamming-metric code. Furthermore, we introduce the $n$-simplex codes in the sum-rank metric, which are obtained as the orbit of a Singer subgroup of $\mathrm{GL}(k,q^m)$. They turn out to be constant rank-profile - and hence one-weight - and generalize the simplex codes in both the Hamming and the rank metric. Finally, we focus on $2$-dimensional one-weight codes, deriving constraints on the parameters of those which are also MSRD, and we find a new construction of one-weight MSRD codes when $q=2$.
△ Less
Submitted 9 December, 2021;
originally announced December 2021.
-
Linear Cutting Blocking Sets and Minimal Codes in the Rank Metric
Authors:
Gianira N. Alfarano,
Martino Borello,
Alessandro Neri,
Alberto Ravagnani
Abstract:
This work investigates the structure of rank-metric codes in connection with concepts from finite geometry, most notably the $q$-analogues of projective systems and blocking sets. We also illustrate how to associate a classical Hamming-metric code to a rank-metric one, in such a way that various rank-metric properties naturally translate into the homonymous Hamming-metric notions under this corres…
▽ More
This work investigates the structure of rank-metric codes in connection with concepts from finite geometry, most notably the $q$-analogues of projective systems and blocking sets. We also illustrate how to associate a classical Hamming-metric code to a rank-metric one, in such a way that various rank-metric properties naturally translate into the homonymous Hamming-metric notions under this correspondence. The most interesting applications of our results lie in the theory of minimal rank-metric codes, which we introduce and study from several angles. Our main contributions are bounds for the parameters of a minimal rank-metric codes, a general existence result based on a combinatorial argument, and an explicit code construction for some parameter sets that uses the notion of a scattered linear set. Throughout the paper we also show and comment on curious analogies/divergences between the theories of error-correcting codes in the rank and in the Hamming metric.
△ Less
Submitted 23 June, 2021;
originally announced June 2021.
-
Sum-rank product codes and bounds on the minimum distance
Authors:
Gianira N. Alfarano,
F. J. Lobillo,
Alessandro Neri,
Antonia Wachter-Zeh
Abstract:
The tensor product of one code endowed with the Hamming metric and one endowed with the rank metric is analyzed. This gives a code which naturally inherits the sum-rank metric. Specializing to the product of a cyclic code and a skew-cyclic code, the resulting code turns out to belong to the recently introduced family of cyclic-skew-cyclic. A group theoretical description of these codes is given, a…
▽ More
The tensor product of one code endowed with the Hamming metric and one endowed with the rank metric is analyzed. This gives a code which naturally inherits the sum-rank metric. Specializing to the product of a cyclic code and a skew-cyclic code, the resulting code turns out to belong to the recently introduced family of cyclic-skew-cyclic. A group theoretical description of these codes is given, after investigating the semilinear isometries in the sum-rank metric. Finally, a generalization of the Roos and the Hartmann-Tzeng bounds for the sum rank-metric is established, as well as a new lower bound on the minimum distance of one of the two codes constituting the product code.
△ Less
Submitted 31 May, 2021;
originally announced May 2021.
-
Twisted Linearized Reed-Solomon Codes: A Skew Polynomial Framework
Authors:
Alessandro Neri
Abstract:
We provide an algebraic description for sum-rank metric codes, as quotient space of a skew polynomial ring. This approach generalizes at the same time the skew group algebra setting for rank-metric codes and the polynomial setting for codes in the Hamming metric. This allows to construct twisted linearized Reed-Solomon codes, a new family of maximum sum-rank distance codes extending at the same ti…
▽ More
We provide an algebraic description for sum-rank metric codes, as quotient space of a skew polynomial ring. This approach generalizes at the same time the skew group algebra setting for rank-metric codes and the polynomial setting for codes in the Hamming metric. This allows to construct twisted linearized Reed-Solomon codes, a new family of maximum sum-rank distance codes extending at the same time Sheekey's twisted Gabidulin codes in the rank metric and twisted Reed-Solomon codes in the Hamming metric. Furthermore, we provide an analogue in the sum-rank metric of Trombetti-Zhou construction, which also provides a family of maximum sum-rank distance codes. As a byproduct, in the extremal case of the Hamming metric, we obtain a new family of additive MDS codes over quadratic fields.
△ Less
Submitted 21 May, 2021;
originally announced May 2021.
-
Extending two families of maximum rank distance codes
Authors:
Alessandro Neri,
Paolo Santonastaso,
Ferdinando Zullo
Abstract:
In this paper we provide a large family of rank-metric codes, which contains properly the codes recently found by Longobardi and Zanella (2021) and by Longobardi, Marino, Trombetti and Zhou (2021). These codes are $\mathbb{F}_{q^{2t}}$-linear of dimension $2$ in the space of linearized polynomials over $\mathbb{F}_{q^{2t}}$, where $t$ is any integer greater than $2$, and we prove that they are max…
▽ More
In this paper we provide a large family of rank-metric codes, which contains properly the codes recently found by Longobardi and Zanella (2021) and by Longobardi, Marino, Trombetti and Zhou (2021). These codes are $\mathbb{F}_{q^{2t}}$-linear of dimension $2$ in the space of linearized polynomials over $\mathbb{F}_{q^{2t}}$, where $t$ is any integer greater than $2$, and we prove that they are maximum rank distance codes. For $t\ge 5$, we determine their equivalence classes and these codes turn out to be inequivalent to any other construction known so far, and hence they are really new.
△ Less
Submitted 15 April, 2021;
originally announced April 2021.
-
Valued rank-metric codes
Authors:
Yassine El Maazouz,
Marvin Anas Hahn,
Alessandro Neri,
Mima Stanojkovski
Abstract:
In this paper, we study linear spaces of matrices defined over discretely valued fields and discuss their dimension and minimal rank drops over the associated residue fields. To this end, we take first steps into the theory of rank-metric codes over discrete valuation rings by means of skew algebras derived from Galois extensions of rings. Additionally, we model projectivizations of rank-metric co…
▽ More
In this paper, we study linear spaces of matrices defined over discretely valued fields and discuss their dimension and minimal rank drops over the associated residue fields. To this end, we take first steps into the theory of rank-metric codes over discrete valuation rings by means of skew algebras derived from Galois extensions of rings. Additionally, we model projectivizations of rank-metric codes via Mustafin varieties, which we then employ to give sufficient conditions for a decrease in the dimension.
△ Less
Submitted 13 October, 2023; v1 submitted 7 April, 2021;
originally announced April 2021.
-
Moderate Density Parity-Check Codes from Projective Bundles
Authors:
Jessica Bariffi,
Sam Mattheus,
Alessandro Neri,
Joachim Rosenthal
Abstract:
A new construction for moderate density parity-check (MDPC) codes using finite geometry is proposed. We design a parity-check matrix for this family of binary codes as the concatenation of two matrices: the incidence matrix between points and lines of the Desarguesian projective plane and the incidence matrix between points and ovals of a projective bundle. A projective bundle is a special collect…
▽ More
A new construction for moderate density parity-check (MDPC) codes using finite geometry is proposed. We design a parity-check matrix for this family of binary codes as the concatenation of two matrices: the incidence matrix between points and lines of the Desarguesian projective plane and the incidence matrix between points and ovals of a projective bundle. A projective bundle is a special collection of ovals which pairwise meet in a unique point. We determine minimum distance and dimension of these codes, showing that they have a natural quasi-cyclic structure. In addition, we analyze the error-correction performance within one round of a modification of Gallager's bit-flipping decoding algorithm. In this setting, our codes have the best possible error-correction performance for this range of parameters.
△ Less
Submitted 17 March, 2021;
originally announced March 2021.
-
Mind the wealth gap: a new allocation method to match micro and macro statistics for household wealth
Authors:
Michele Cantarella,
Andrea Neri,
Maria Giovanna Ranalli
Abstract:
The financial and economic crisis recently experienced by many European countries has increased demand for timely, coherent and consistent distributional information for the household sector. In the Euro area, most of the NCBs collect such information through income and wealth surveys, which are often used to inform their decisions. These surveys, however, can often suffer from biases, usually cau…
▽ More
The financial and economic crisis recently experienced by many European countries has increased demand for timely, coherent and consistent distributional information for the household sector. In the Euro area, most of the NCBs collect such information through income and wealth surveys, which are often used to inform their decisions. These surveys, however, can often suffer from biases, usually caused by non-response and under-reporting behaviours, leading to a mismatch with macroeconomic aggregates. In this paper, we develop a novel allocation method which combines information from a power law (Pareto) model and imputation procedures so to address these issues simultaneously, when only limited external information is available. We provide two important contributions: first, we adjust the weights of observed survey households for non-response bias, then, we correct for measurement error. Finally, we produce distributional indicators for four Euro-Area countries.
△ Less
Submitted 26 January, 2021; v1 submitted 4 January, 2021;
originally announced January 2021.
-
Weighted Reed-Solomon convolutional codes
Authors:
Gianira N. Alfarano,
Diego Napp,
Alessandro Neri,
Verónica Requena
Abstract:
In this paper we present a concrete algebraic construction of a novel class of convolutional codes. These codes are built upon generalized Vandermonde matrices and therefore can be seen as a natural extension of Reed-Solomon block codes to the context of convolutional codes. For this reason we call them weighted Reed-Solomon (WRS) convolutional codes. We show that under some constraints on the def…
▽ More
In this paper we present a concrete algebraic construction of a novel class of convolutional codes. These codes are built upon generalized Vandermonde matrices and therefore can be seen as a natural extension of Reed-Solomon block codes to the context of convolutional codes. For this reason we call them weighted Reed-Solomon (WRS) convolutional codes. We show that under some constraints on the defining parameters these codes are Maximum Distance Profile (MDP), which means that they have the maximal possible growth in their column distance profile. We study the size of the field needed to obtain WRS convolutional codes which are MDP and compare it with the existing general constructions of MDP convolutional codes in the literature, showing that in many cases WRS convolutional codes require significantly smaller fields.
△ Less
Submitted 3 March, 2023; v1 submitted 21 December, 2020;
originally announced December 2020.
-
Three Combinatorial Perspectives on Minimal Codes
Authors:
Gianira N. Alfarano,
Martino Borello,
Alessandro Neri,
Alberto Ravagnani
Abstract:
We develop three approaches of combinatorial flavour to study the structure of minimal codes and cutting blocking sets in finite geometry, each of which has a particular application. The first approach uses techniques from algebraic combinatorics, describing the supports in a linear code via the Alon-Füredi Theorem and the Combinatorial Nullstellensatz. The second approach combines methods from co…
▽ More
We develop three approaches of combinatorial flavour to study the structure of minimal codes and cutting blocking sets in finite geometry, each of which has a particular application. The first approach uses techniques from algebraic combinatorics, describing the supports in a linear code via the Alon-Füredi Theorem and the Combinatorial Nullstellensatz. The second approach combines methods from coding theory and statistics to compare the mean and variance of the nonzero weights in a minimal code. Finally, the third approach regards minimal codes as cutting blocking sets and studies these using the theory of spreads in finite geometry. Applying and combining these approaches with each other, we derive several new bounds and constraints on the parameters of minimal codes. Moreover, we obtain two new constructions of cutting blocking sets of small cardinality in finite projective spaces. In turn, these allow us to give explicit constructions of minimal codes having short length for the given field and dimension.
△ Less
Submitted 2 December, 2020; v1 submitted 30 October, 2020;
originally announced October 2020.
-
Compiling quantamorphisms for the IBM Q Experience
Authors:
Ana Neri,
Rui Soares Barbosa,
José N. Oliveira
Abstract:
Based on the connection between the categorical derivation of classical programs from specifications and the category-theoretic approach to quantum physics, this paper contributes to extending the laws of classical program algebra to quantum programming. This aims at building correct-by-construction quantum circuits to be deployed on quantum devices such as those available at the IBM Q Experience.…
▽ More
Based on the connection between the categorical derivation of classical programs from specifications and the category-theoretic approach to quantum physics, this paper contributes to extending the laws of classical program algebra to quantum programming. This aims at building correct-by-construction quantum circuits to be deployed on quantum devices such as those available at the IBM Q Experience. Quantum circuit reversibility is ensured by minimal complements, extended recursively. Measurements are postponed to the end of such recursive computations, termed "quantamorphisms", thus maximising the quantum effect. Quantamorphisms are classical catamorphisms which, extended to ensure quantum reversibility, implement quantum cycles (vulg. for-loops) and quantum folds on lists. By Kleisli correspondence, quantamorphisms can be written as monadic functional programs with quantum parameters. This enables the use of Haskell, a monadic functional programming language, to perform the experimental work. Such calculated quantum programs prepared in Haskell are pushed through Quipper to the Qiskit interface to IBM Q quantum devices. The generated quantum circuits - often quite large - exhibit the predicted behaviour. However, running them on real quantum devices incurs into a significant amount of errors. As quantum devices are constantly evolving, an increase in reliability is likely in the near future, allowing for our programs to run more accurately.
△ Less
Submitted 21 October, 2020;
originally announced October 2020.
-
Decoding of Interleaved Alternant Codes
Authors:
Lukas Holzbaur,
Hedongliang Liu,
Alessandro Neri,
Sven Puchinger,
Johan Rosenkilde,
Vladimir Sidorenko,
Antonia Wachter-Zeh
Abstract:
Interleaved Reed-Solomon codes admit efficient decoding algorithms which correct burst errors far beyond half the minimum distance in the random errors regime, e.g., by computing a common solution to the Key Equation for each Reed-Solomon code, as described by Schmidt et al. If this decoder does not succeed, it may either fail to return a codeword or miscorrect to an incorrect codeword, and good u…
▽ More
Interleaved Reed-Solomon codes admit efficient decoding algorithms which correct burst errors far beyond half the minimum distance in the random errors regime, e.g., by computing a common solution to the Key Equation for each Reed-Solomon code, as described by Schmidt et al. If this decoder does not succeed, it may either fail to return a codeword or miscorrect to an incorrect codeword, and good upper bounds on the fraction of error matrices for which these events occur are known. The decoding algorithm immediately applies to interleaved alternant codes as well, i.e., the subfield subcodes of interleaved Reed-Solomon codes, but the fraction of decodable error matrices differs, since the error is now restricted to a subfield. In this paper, we present new general lower and upper bounds on the fraction of error matrices decodable by Schmidt et al.'s decoding algorithm, thereby making it the only decoding algorithm for interleaved alternant codes for which such bounds are known.
△ Less
Submitted 17 September, 2021; v1 submitted 14 October, 2020;
originally announced October 2020.
-
Constructing Partial MDS Codes from Reducible Curves
Authors:
Tristram Bogart,
Anna-Lena Horlemann-Trautmann,
David Karpuk,
Alessandro Neri,
Mauricio Velasco
Abstract:
We propose reducible algebraic curves as a mechanism to construct Partial MDS (PMDS) codes geometrically. We obtain new general existence results, new explicit constructions and improved estimates on the smallest field sizes over which such codes can exist. Our results are obtained by combining ideas from projective algebraic geometry, combinatorics and probability theory.
We propose reducible algebraic curves as a mechanism to construct Partial MDS (PMDS) codes geometrically. We obtain new general existence results, new explicit constructions and improved estimates on the smallest field sizes over which such codes can exist. Our results are obtained by combining ideas from projective algebraic geometry, combinatorics and probability theory.
△ Less
Submitted 29 July, 2020;
originally announced July 2020.
-
First application of the failure forecast method to the GPS horizontal displacement data collected in the Campi Flegrei caldera (Italy) in 2011-2020
Authors:
Andrea Bevilacqua,
Abani Patra,
E. Bruce Pitman,
Marcus Bursik,
Prospero De Martino,
Flora Giudicepietro,
Giovanni Macedonio,
Stefano Vitale,
Franco Flandoli,
Barry Voight,
Augusto Neri
Abstract:
Using the failure forecast method we describe a first assessment of failure time on present-day unrest signals at Campi Flegrei caldera (Italy) based on the horizontal deformation data collected in [2011, 2020] at eleven GPS stations.
Using the failure forecast method we describe a first assessment of failure time on present-day unrest signals at Campi Flegrei caldera (Italy) based on the horizontal deformation data collected in [2011, 2020] at eleven GPS stations.
△ Less
Submitted 6 July, 2020;
originally announced July 2020.
-
Rank-metric codes over arbitrary Galois extensions and rank analogues of Reed-Muller codes
Authors:
Daniel Augot,
Alain Couvreur,
Julien Lavauzelle,
Alessandro Neri
Abstract:
This paper extends the study of rank-metric codes in extension fields $\mathbb{L}$ equipped with an arbitrary Galois group $G = \mathrm{Gal}(\mathbb{L}/\mathbb{K})$. We propose a framework for studying these codes as subspaces of the group algebra $\mathbb{L}[G]$, and we relate this point of view with usual notions of rank-metric codes in $\mathbb{L}^N$ or in $\mathbb{K}^{N\times N}$, where…
▽ More
This paper extends the study of rank-metric codes in extension fields $\mathbb{L}$ equipped with an arbitrary Galois group $G = \mathrm{Gal}(\mathbb{L}/\mathbb{K})$. We propose a framework for studying these codes as subspaces of the group algebra $\mathbb{L}[G]$, and we relate this point of view with usual notions of rank-metric codes in $\mathbb{L}^N$ or in $\mathbb{K}^{N\times N}$, where $N = [\mathbb{L} : \mathbb{K}]$. We then adapt the notion of error-correcting pairs to this context, in order to provide a non-trivial decoding algorithm for these codes. We then focus on the case where $G$ is abelian, which leads us to see codewords as elements of a multivariate skew polynomial ring. We prove that we can bound the dimension of the vector space of zeroes of these polynomials, depending of their degree. This result can be seen as an analogue of Alon-Füredi theorem -- and by means, of Schwartz-Zippel lemma -- in the rank metric. Finally, we construct the counterparts of Reed-Muller codes in the rank metric, and we give their parameters. We also show the connection between these codes and classical Reed-Muller codes in the case where $\mathbb{L}$ is a Kummer extension.
△ Less
Submitted 25 June, 2020;
originally announced June 2020.
-
Low-Rank Parity-Check Codes over Galois Rings
Authors:
Julian Renner,
Alessandro Neri,
Sven Puchinger
Abstract:
Low-rank parity-check (LRPC) are rank-metric codes over finite fields, which have been proposed by Gaborit et al. (2013) for cryptographic applications. Inspired by a recent adaption of Gabidulin codes to certain finite rings by Kamche et al. (2019), we define and study LRPC codes over Galois rings - a wide class of finite commutative rings. We give a decoding algorithm similar to Gaborit et al.'s…
▽ More
Low-rank parity-check (LRPC) are rank-metric codes over finite fields, which have been proposed by Gaborit et al. (2013) for cryptographic applications. Inspired by a recent adaption of Gabidulin codes to certain finite rings by Kamche et al. (2019), we define and study LRPC codes over Galois rings - a wide class of finite commutative rings. We give a decoding algorithm similar to Gaborit et al.'s decoder, based on simple linear-algebraic operations. We derive an upper bound on the failure probability of the decoder, which is significantly more involved than in the case of finite fields. The bound depends only on the rank of an error, i.e., is independent of its free rank. Further, we analyze the complexity of the decoder. We obtain that there is a class of LRPC codes over a Galois ring that can decode roughly the same number of errors as a Gabidulin code with the same code parameters, but faster than the currently best decoder for Gabidulin codes. However, the price that one needs to pay is a small failure probability, which we can bound from above.
△ Less
Submitted 4 December, 2020; v1 submitted 18 June, 2020;
originally announced June 2020.
-
Roos bound for skew cyclic codes in Hamming and rank metric
Authors:
Gianira N. Alfarano,
F. J. Lobillo,
Alessandro Neri
Abstract:
In this paper, a Roos like bound on the minimum distance for skew cyclic codes over a general field is provided. The result holds in the Hamming metric and in the rank metric. The proofs involve arithmetic properties of skew polynomials and an analysis of the rank of parity-check matrices. For the rank metric case, a way to arithmetically construct codes with a prescribed minimum rank distance, us…
▽ More
In this paper, a Roos like bound on the minimum distance for skew cyclic codes over a general field is provided. The result holds in the Hamming metric and in the rank metric. The proofs involve arithmetic properties of skew polynomials and an analysis of the rank of parity-check matrices. For the rank metric case, a way to arithmetically construct codes with a prescribed minimum rank distance, using the skew Roos bound, is also given. Moreover, some examples of MDS codes and MRD codes over finite fields are built, using the skew Roos bound.
△ Less
Submitted 6 February, 2020;
originally announced February 2020.
-
Equivalence and Characterizations of Linear Rank-Metric Codes Based on Invariants
Authors:
Alessandro Neri,
Sven Puchinger,
Anna-Lena Horlemann-Trautmann
Abstract:
We show that the sequence of dimensions of the linear spaces, generated by a given rank-metric code together with itself under several applications of a field automorphism, is an invariant for the whole equivalence class of the code. The same property is proven for the sequence of dimensions of the intersections of itself under several applications of a field automorphism. These invariants give ri…
▽ More
We show that the sequence of dimensions of the linear spaces, generated by a given rank-metric code together with itself under several applications of a field automorphism, is an invariant for the whole equivalence class of the code. The same property is proven for the sequence of dimensions of the intersections of itself under several applications of a field automorphism. These invariants give rise to easily computable criteria to check if two codes are inequivalent. We derive some concrete values and bounds for these dimension sequences for some known families of rank-metric codes, namely Gabidulin and (generalized) twisted Gabidulin codes. We then derive conditions on the length of the codes with respect to the field extension degree, such that codes from different families cannot be equivalent. Furthermore, we derive upper and lower bounds on the number of equivalence classes of Gabidulin codes and twisted Gabidulin codes, improving a result of Schmidt and Zhou for a wider range of parameters. In the end we use the aforementioned sequences to determine a characterization result for Gabidulin codes.
△ Less
Submitted 16 September, 2020; v1 submitted 29 November, 2019;
originally announced November 2019.
-
A geometric characterization of minimal codes and their asymptotic performance
Authors:
Gianira Nicoletta Alfarano,
Martino Borello,
Alessandro Neri
Abstract:
In this paper, we give a geometric characterization of minimal linear codes. In particular, we relate minimal linear codes to cutting blocking sets, introduced in a recent paper by Bonini and Borello. Using this characterization, we derive some bounds on the length and the distance of minimal codes, according to their dimension and the underlying field size. Furthermore, we show that the family of…
▽ More
In this paper, we give a geometric characterization of minimal linear codes. In particular, we relate minimal linear codes to cutting blocking sets, introduced in a recent paper by Bonini and Borello. Using this characterization, we derive some bounds on the length and the distance of minimal codes, according to their dimension and the underlying field size. Furthermore, we show that the family of minimal codes is asymptotically good. Finally, we provide some geometrical constructions of minimal codes.
△ Less
Submitted 12 December, 2019; v1 submitted 26 November, 2019;
originally announced November 2019.
-
Integrated Optimization of Ascent Trajectory and SRM Design of Multistage Launch Vehicles
Authors:
Lorenzo Federici,
Alessandro Zavoli,
Guido Colasurdo,
Lucandrea Mancini,
Agostino Neri
Abstract:
This paper presents a methodology for the concurrent first-stage preliminary design and ascent trajectory optimization, with application to a Vega-derived Light Launch Vehicle. The reuse as first stage of an existing upper-stage (Zefiro 40) requires a propellant grain geometry redesign, in order to account for the mutated operating conditions. An optimization code based on the parallel running of…
▽ More
This paper presents a methodology for the concurrent first-stage preliminary design and ascent trajectory optimization, with application to a Vega-derived Light Launch Vehicle. The reuse as first stage of an existing upper-stage (Zefiro 40) requires a propellant grain geometry redesign, in order to account for the mutated operating conditions. An optimization code based on the parallel running of several Differential Evolution algorithms is used to find the optimal internal pressure law during Z40 operation, together with the optimal thrust direction and other relevant flight parameters of the entire ascent trajectory. Payload injected into a target orbit is maximized, while respecting multiple design constraints, either involving the alone solid rocket motor or dependent on the actual flight trajectory. Numerical results for SSO injection are presented.
△ Less
Submitted 8 October, 2019;
originally announced October 2019.
-
Invariants and Inequivalence of Linear Rank-Metric Codes
Authors:
Alessandro Neri,
Sven Puchinger,
Anna-Lena Horlemann-Trautmann
Abstract:
We show that the sequence of dimensions of the linear spaces, generated by a given rank-metric code together with itself under several applications of a field automorphism, is an invariant for the whole equivalence class of the code. These invariants give rise to an easily computable criterion to check if two codes are inequivalent. With this criterion we then derive bounds on the number of equiva…
▽ More
We show that the sequence of dimensions of the linear spaces, generated by a given rank-metric code together with itself under several applications of a field automorphism, is an invariant for the whole equivalence class of the code. These invariants give rise to an easily computable criterion to check if two codes are inequivalent. With this criterion we then derive bounds on the number of equivalence classes of classical and twisted Gabidulin codes.
△ Less
Submitted 27 May, 2019;
originally announced May 2019.
-
Tensor Representation of Rank-Metric Codes
Authors:
Eimear Byrne,
Alessandro Neri,
Alberto Ravagnani,
John Sheekey
Abstract:
We present the theory of rank-metric codes with respect to the 3-tensors that generate them. We define the generator tensor and the parity check tensor of a matrix code, and describe the properties of a code through these objects. We define the tensor rank of a code to be the tensor rank of its generating tensors, and propose that this quantity is a significant coding theoretic parameter. By a res…
▽ More
We present the theory of rank-metric codes with respect to the 3-tensors that generate them. We define the generator tensor and the parity check tensor of a matrix code, and describe the properties of a code through these objects. We define the tensor rank of a code to be the tensor rank of its generating tensors, and propose that this quantity is a significant coding theoretic parameter. By a result on the tensor rank of Kruskal from the 1970s, the tensor rank of a rank-metric code of dimension $k$ and minimum rank distance $d$ is at least $k+d-1$. We call codes that meet this bound minimal tensor rank (MTR) codes. It is known from results in algebraic complexity theory that an MTR code implies the existence of an MDS code. In this paper, we also address the converse problem, that of the existence of an MTR code, given an MDS code. We identify several parameters for which the converse holds and give explicit constructions of MTR codes using MDS codes. We furthermore define generalized tensor ranks, which give a refinement of the tensor rank as a code invariant. Moreover, we use these to distinguish inequivalent rank-metric codes.
△ Less
Submitted 10 April, 2019;
originally announced April 2019.
-
New Lower Bounds for Permutation Codes using Linear Block Codes
Authors:
Giacomo Micheli,
Alessandro Neri
Abstract:
In this paper we prove new lower bounds for the maximal size of permutation codes by connecting the theory of permutation codes with the theory of linear block codes. More specifically, using the columns of a parity check matrix of an $[n,k,d]_q$ linear block code, we are able to prove the existence of a permutation code in the symmetric group of degree $n$, having minimum distance at least $d$ an…
▽ More
In this paper we prove new lower bounds for the maximal size of permutation codes by connecting the theory of permutation codes with the theory of linear block codes. More specifically, using the columns of a parity check matrix of an $[n,k,d]_q$ linear block code, we are able to prove the existence of a permutation code in the symmetric group of degree $n$, having minimum distance at least $d$ and large cardinality. With our technique, we obtain new lower bounds for permutation codes that enhance the ones in the literature and provide asymptotic improvements in certain regimes of length and distance of the permutation code.
△ Less
Submitted 25 January, 2019;
originally announced January 2019.
-
How many weights can a cyclic code have ?
Authors:
Minjia Shi,
Xiaoxiao Li,
Alessandro Neri,
Patrick Solé
Abstract:
Upper and lower bounds on the largest number of weights in a cyclic code of given length, dimension and alphabet are given. An application to irreducible cyclic codes is considered. Sharper upper bounds are given for the special cyclic codes (called here strongly cyclic), {whose nonzero codewords have period equal to the length of the code}. Asymptotics are derived on the function $Γ(k,q),$ {that…
▽ More
Upper and lower bounds on the largest number of weights in a cyclic code of given length, dimension and alphabet are given. An application to irreducible cyclic codes is considered. Sharper upper bounds are given for the special cyclic codes (called here strongly cyclic), {whose nonzero codewords have period equal to the length of the code}. Asymptotics are derived on the function $Γ(k,q),$ {that is defined as} the largest number of nonzero weights a cyclic code of dimension $k$ over $\F_q$ can have, and an algorithm to compute it is sketched. The nonzero weights in some infinite families of Reed-Muller codes, either binary or $q$-ary, as well as in the $q$-ary Hamming code are determined, two difficult results of independent interest.
△ Less
Submitted 15 November, 2018; v1 submitted 22 July, 2018;
originally announced July 2018.
-
Probabilistic enhancement of the Failure Forecast Method using a stochastic differential equation and application to volcanic eruption forecasts
Authors:
Andrea Bevilacqua,
E. Bruce Pitman,
Abani Patra,
Augusto Neri,
Marcus Bursik,
Barry Voight
Abstract:
We introduce a doubly stochastic method for performing material failure theory based forecasts of volcanic eruptions. The method enhances the well known Failure Forecast Method equation, introducing a new formulation similar to the Hull-White model in financial mathematics. In particular, we incorporate a stochastic noise term in the original equation, and systematically characterize the uncertain…
▽ More
We introduce a doubly stochastic method for performing material failure theory based forecasts of volcanic eruptions. The method enhances the well known Failure Forecast Method equation, introducing a new formulation similar to the Hull-White model in financial mathematics. In particular, we incorporate a stochastic noise term in the original equation, and systematically characterize the uncertainty. The model is a stochastic differential equation with mean reverting paths, where the traditional ordinary differential equation defines the mean solution. Our implementation allows the model to make excursions from the classical solutions, by including uncertainty in the estimation. The doubly stochastic formulation is particularly powerful, in that it provides a complete posterior probability distribution, allowing users to determine a worst case scenario with a specified level of confidence. We apply the new method on historical datasets of precursory signals, across a wide range of possible values of convexity in the solutions and amounts of scattering in the observations. The results show the increased forecasting skill of the doubly stochastic formulation of the equations if compared to statistical regression.
△ Less
Submitted 8 December, 2018; v1 submitted 29 May, 2018;
originally announced May 2018.
-
Systematic encoders for generalized Gabidulin codes and the $q$-analogue of Cauchy matrices
Authors:
Alessandro Neri
Abstract:
We characterize the generator matrix in standard form of generalized Gabidulin codes. The parametrization we get for the non-systematic part of this matrix coincides with the $q$-analogue of generalized Cauchy matrices, leading to the definition of $q$-Cauchy matrices. These matrices can be represented very conveniently and their representation allows to define new interesting subfamilies of gener…
▽ More
We characterize the generator matrix in standard form of generalized Gabidulin codes. The parametrization we get for the non-systematic part of this matrix coincides with the $q$-analogue of generalized Cauchy matrices, leading to the definition of $q$-Cauchy matrices. These matrices can be represented very conveniently and their representation allows to define new interesting subfamilies of generalized Gabidulin codes whose generator matrix is a structured matrix. In particular, as an application, we construct Gabidulin codes whose generator matrix is the concatenation of an identity block and a Toeplitz/Hankel matrix. In addition, our results allow to give a new efficient criterion to verify whether a rank metric code of dimension $k$ and length $n$ is a generalized Gabidulin code. This criterion is only based on the computation of the rank of one matrix and on the verification of the linear independence of two sets of elements and it requires $\mathcal O(m\cdot F(k,n))$ field operations, where $F(k,n)$ is the cost of computing the reduced row echelon form of a $k \times n$ matrix. Moreover, we also provide a characterization of the generator matrix in standard form of general MRD codes.
△ Less
Submitted 28 January, 2020; v1 submitted 17 May, 2018;
originally announced May 2018.
-
Maximum Weight Spectrum Codes
Authors:
Tim L. Alderson,
Alessandro Neri
Abstract:
In the recent work \cite{shi18}, a combinatorial problem concerning linear codes over a finite field $\F_q$ was introduced. In that work the authors studied the weight set of an $[n,k]_q$ linear code, that is the set of non-zero distinct Hamming weights, showing that its cardinality is upper bounded by $\frac{q^k-1}{q-1}$. They showed that this bound was sharp in the case $ q=2 $, and in the case…
▽ More
In the recent work \cite{shi18}, a combinatorial problem concerning linear codes over a finite field $\F_q$ was introduced. In that work the authors studied the weight set of an $[n,k]_q$ linear code, that is the set of non-zero distinct Hamming weights, showing that its cardinality is upper bounded by $\frac{q^k-1}{q-1}$. They showed that this bound was sharp in the case $ q=2 $, and in the case $ k=2 $. They conjectured that the bound is sharp for every prime power $ q $ and every positive integer $ k $. In this work quickly establish the truth of this conjecture. We provide two proofs, each employing different construction techniques. The first relies on the geometric view of linear codes as systems of projective points. The second approach is purely algebraic. We establish some lower bounds on the length of codes that satisfy the conjecture, and the length of the new codes constructed here are discussed.
△ Less
Submitted 17 April, 2018; v1 submitted 11 March, 2018;
originally announced March 2018.
-
Random Construction of Partial MDS Codes
Authors:
Alessandro Neri,
Anna-Lena Horlemann-Trautmann
Abstract:
This work deals with partial MDS (PMDS) codes, a special class of locally repairable codes, used for distributed storage system. We first show that a known construction of these codes, using Gabidulin codes, can be extended to use any maximum rank distance code. Then we define a standard form for the generator matrices of PMDS codes and use this form to give an algebraic description of PMDS genera…
▽ More
This work deals with partial MDS (PMDS) codes, a special class of locally repairable codes, used for distributed storage system. We first show that a known construction of these codes, using Gabidulin codes, can be extended to use any maximum rank distance code. Then we define a standard form for the generator matrices of PMDS codes and use this form to give an algebraic description of PMDS generator matrices. This implies that over a sufficiently large finite field a randomly chosen generator matrix in PMDS standard form generates a PMDS code with high probability. This also provides sufficient conditions on the field size for the existence of PMDS codes.
△ Less
Submitted 17 January, 2018;
originally announced January 2018.
-
Hartmann--Tzeng bound and Skew Cyclic Codes of Designed Hamming Distance
Authors:
José Gómez-Torrecillas,
Gabriel Navarro,
F. J. Lobillo,
Alessandro Neri
Abstract:
The use of skew polynomial rings allows to endow linear codes with cyclic structures which are not cyclic in the classical (commutative) sense. Whenever these skew cyclic structures are carefully chosen, some control over the Hamming distance is gained, and it is possible to design efficient decoding algorithms. In this paper, we give a version of the Hartmann-Tzeng bound that works for a wide cla…
▽ More
The use of skew polynomial rings allows to endow linear codes with cyclic structures which are not cyclic in the classical (commutative) sense. Whenever these skew cyclic structures are carefully chosen, some control over the Hamming distance is gained, and it is possible to design efficient decoding algorithms. In this paper, we give a version of the Hartmann-Tzeng bound that works for a wide class of skew cyclic codes. We also provide a practical method for constructing them with designed distance. For skew BCH codes, which are covered by our constructions, we discuss decoding algorithms. Detailed examples illustrate both the theory as the constructive methods it supports.
△ Less
Submitted 9 November, 2017;
originally announced November 2017.
-
A Complete Classification of Partial-MDS (Maximally Recoverable) Codes with One Global Parity
Authors:
Anna-Lena Horlemann-Trautmann,
Alessandro Neri
Abstract:
Partial-MDS (PMDS) codes are a family of locally repairable codes, mainly used for distributed storage. They are defined to be able to correct any pattern of $s$ additional erasures, after a given number of erasures per locality group have occurred. This makes them also maximally recoverable (MR) codes, another class of locally repairable codes. It is known that MR codes in general, and PMDS codes…
▽ More
Partial-MDS (PMDS) codes are a family of locally repairable codes, mainly used for distributed storage. They are defined to be able to correct any pattern of $s$ additional erasures, after a given number of erasures per locality group have occurred. This makes them also maximally recoverable (MR) codes, another class of locally repairable codes. It is known that MR codes in general, and PMDS codes in particular, exist for any set of parameters, if the field size is large enough. Moreover, some explicit constructions of PMDS codes are known, mostly (but not always) with a strong restriction on the number of erasures that can be corrected per locality group. In this paper we generalize the notion of PMDS codes to allow locality groups of different sizes. We give a general construction of such PMDS codes with $s=1$ global parity, i.e., one additional erasure can be corrected. Furthermore, we show that all PMDS codes for the given parameters are of this form, i.e., we give a classification of these codes. This implies a necessary and sufficient condition on the underlying field size for the existence of these codes (assuming that the MDS conjecture is true). For some parameter sets our generalized construction gives rise to PMDS codes with a smaller field size than any other known construction.
△ Less
Submitted 4 July, 2017;
originally announced July 2017.
-
Fuzzy Authentication using Rank Distance
Authors:
Alessandro Neri,
Joachim Rosenthal,
Davide Schipani
Abstract:
Fuzzy authentication allows authentication based on the fuzzy matching of two objects, for example based on the similarity of two strings in the Hamming metric, or on the similiarity of two sets in the set difference metric. Aim of this paper is to show other models and algorithms of secure fuzzy authentication, which can be performed using the rank metric. A few schemes are presented which can th…
▽ More
Fuzzy authentication allows authentication based on the fuzzy matching of two objects, for example based on the similarity of two strings in the Hamming metric, or on the similiarity of two sets in the set difference metric. Aim of this paper is to show other models and algorithms of secure fuzzy authentication, which can be performed using the rank metric. A few schemes are presented which can then be applied in different scenarios and applications.
△ Less
Submitted 9 March, 2017;
originally announced March 2017.
-
On the Genericity of Maximum Rank Distance and Gabidulin Codes
Authors:
Alessandro Neri,
Anna-Lena Horlemann-Trautmann,
Tovohery Randrianarisoa,
Joachim Rosenthal
Abstract:
We consider linear rank-metric codes in $\mathbb F_{q^m}^n$. We show that the properties of being MRD (maximum rank distance) and non-Gabidulin are generic over the algebraic closure of the underlying field, which implies that over a large extension field a randomly chosen generator matrix generates an MRD and a non-Gabidulin code with high probability. Moreover, we give upper bounds on the respec…
▽ More
We consider linear rank-metric codes in $\mathbb F_{q^m}^n$. We show that the properties of being MRD (maximum rank distance) and non-Gabidulin are generic over the algebraic closure of the underlying field, which implies that over a large extension field a randomly chosen generator matrix generates an MRD and a non-Gabidulin code with high probability. Moreover, we give upper bounds on the respective probabilities in dependence on the extension degree $m$.
△ Less
Submitted 19 May, 2016;
originally announced May 2016.
-
Properties of CdTe layers deposited by a novel method -Pulsed Plasma Deposition
Authors:
C. Ancora,
P. Nozar,
G. Mittica,
F. Prescimone,
A. Neri,
S. Contaldi,
S. Milita,
C. Albonetti,
F. Corticelli,
A. Brillante,
I. Bilotti,
G. Tedeschi,
C. Taliani
Abstract:
CdTe and CdS are emerging as the most promising materials for thin film photovoltaics in the quest of the achievement of grid parity. The major challenge for the advancement of grid parity is the achievement of high quality at the same time as low fabrication cost. The present paper reports the results of the new deposition technique, Pulsed Plasma Deposition (PPD), for the growth of the CdTe laye…
▽ More
CdTe and CdS are emerging as the most promising materials for thin film photovoltaics in the quest of the achievement of grid parity. The major challenge for the advancement of grid parity is the achievement of high quality at the same time as low fabrication cost. The present paper reports the results of the new deposition technique, Pulsed Plasma Deposition (PPD), for the growth of the CdTe layers on CdS/ZnO/quartz and quartz substrates. The PPD method allows to deposit at low temperature. The optical band gap of deposited layers is 1.50 eV, in perfect accord with the value reported in the literature for the crystalline cubic phase of the CdTe. The films are highly crystalline with a predominant cubic phase, a random orientation of the grains of the film and have an extremely low surface roughness of 4.6\pm0.7 nm r.m.s.. The low roughness, compared to traditional thermal deposition methods (close space sublimation and vapour transport) permits the reduction of the active absorber and n-type semiconductor layers resulting in a dramatic reduction of material usage and the relative deposition issues like safety, deposition rate and ultimately cost
△ Less
Submitted 23 March, 2011;
originally announced March 2011.