Showing 1–36 of 36 results for author: Gorla, E

The complexity of the SupportMinors Modeling for the MinRank Problem

Authors: Daniel Cabarcas, Giulia Gaggero, Elisa Gorla

Abstract: In this note, we provide proven estimates for the complexity of the SupportMinors Modeling, mostly confirming the heuristic complexity estimates contained in the original article. In this note, we provide proven estimates for the complexity of the SupportMinors Modeling, mostly confirming the heuristic complexity estimates contained in the original article. △ Less

Submitted 6 June, 2025; originally announced June 2025.

Latroids and code invariants

Authors: Elisa Gorla, Flavio Salizzoni

Abstract: Latroids were introduced by Vertigan, who associated a latroid to a linear block code and showed that its Tutte polynomial determines the weight enumerator of the code. We associate a latroid to a code over a ring or a field endowed with a general support function, and show that the generalized weights of the code can be recovered from the associated latroid. This provides a uniform framework for… ▽ More Latroids were introduced by Vertigan, who associated a latroid to a linear block code and showed that its Tutte polynomial determines the weight enumerator of the code. We associate a latroid to a code over a ring or a field endowed with a general support function, and show that the generalized weights of the code can be recovered from the associated latroid. This provides a uniform framework for studying generalized weights of linear block codes, linear codes over a ring, rank-metric and sum-rank metric codes. Under suitable assumptions, we show that the latroid determines the weight distribution of the code. △ Less

Submitted 4 March, 2025; originally announced March 2025.

The complexity of solving a random polynomial system

Authors: Giulia Gaggero, Elisa Gorla

Abstract: A multivariate cryptograpic instance in practice is a multivariate polynomial system. So the security of a protocol rely on the complexity of solving a multivariate polynomial system. In this paper there is an overview on a general algorithm used to solve a multivariate system and the quantity to which the complexity of this algorithm depends on: the solving degree. Unfortunately, it is hard to co… ▽ More A multivariate cryptograpic instance in practice is a multivariate polynomial system. So the security of a protocol rely on the complexity of solving a multivariate polynomial system. In this paper there is an overview on a general algorithm used to solve a multivariate system and the quantity to which the complexity of this algorithm depends on: the solving degree. Unfortunately, it is hard to compute. For this reason, it is introduced an invariant: the degree of regularity. This invariant, under certain condition, give us an upper bound on the solving degree. Then we speak about random polynomial systems and in particular what "random" means to us. Finally, we give an upper bound on both the degree of regularity and the solving degree of such random systems. △ Less

Submitted 18 November, 2024; v1 submitted 7 September, 2023; originally announced September 2023.

Radical support for multigraded ideals

Authors: Aldo Conca, Emanuela De Negri, Elisa Gorla

Abstract: Can one tell if an ideal is radical just by looking at the degrees of the generators? In general, this is hopeless. However, there are special collections of degrees in multigraded polynomial rings, with the property that any multigraded ideal generated by elements of those degrees is radical. We call such a collection of degrees a radical support. In this paper, we give a combinatorial characteri… ▽ More Can one tell if an ideal is radical just by looking at the degrees of the generators? In general, this is hopeless. However, there are special collections of degrees in multigraded polynomial rings, with the property that any multigraded ideal generated by elements of those degrees is radical. We call such a collection of degrees a radical support. In this paper, we give a combinatorial characterization of radical supports. Our characterization is in terms of properties of cycles in an associated labelled graph. We also show that the notion of radical support is closely related to that of Cartwright-Sturmfels ideals. In fact, any ideal generated by multigraded generators whose multidegrees form a radical support is a Cartwright-Sturmfels ideal. Conversely, a collection of degrees such that any multigraded ideal generated by elements of those degrees is Cartwright-Sturmfels is a radical support. △ Less

Submitted 16 March, 2022; originally announced March 2022.

Comments: 11 pages, 7 figures

MSC Class: Primary 13C13; 13C70. Secondary 13P10

Generalized weights of codes over rings and invariants of monomial ideals

Authors: Elisa Gorla, Alberto Ravagnani

Abstract: We develop an algebraic theory of supports for $R$-linear codes of fixed length, where $R$ is a finite commutative unitary ring. A support naturally induces a notion of generalized weights and allows one to associate a monomial ideal to a code. Our main result states that, under suitable assumptions, the generalized weights of a code can be obtained from the graded Betti numbers of its associated… ▽ More We develop an algebraic theory of supports for $R$-linear codes of fixed length, where $R$ is a finite commutative unitary ring. A support naturally induces a notion of generalized weights and allows one to associate a monomial ideal to a code. Our main result states that, under suitable assumptions, the generalized weights of a code can be obtained from the graded Betti numbers of its associated monomial ideal. In the case of $\mathbb{F}_q$-linear codes endowed with the Hamming metric, the ideal coincides with the Stanley-Reisner ideal of the matroid associated to the code via its parity-check matrix. In this special setting, we recover the known result that the generalized weights of an $\mathbb{F}_q$-linear code can be obtained from the graded Betti numbers of the ideal of the matroid associated to the code. We also study subcodes and codewords of minimal support in a code, proving that a large class of $R$-linear codes is generated by its codewords of minimal support. △ Less

Submitted 15 January, 2022; originally announced January 2022.

The complexity of solving Weil restriction systems

Authors: Alessio Caminata, Michela Ceria, Elisa Gorla

Abstract: The solving degree of a system of multivariate polynomial equations provides an upper bound for the complexity of computing the solutions of the system via Groebner bases methods. In this paper, we consider polynomial systems that are obtained via Weil restriction of scalars. The latter is an arithmetic construction which, given a finite Galois field extension $k\hookrightarrow K$, associates to a… ▽ More The solving degree of a system of multivariate polynomial equations provides an upper bound for the complexity of computing the solutions of the system via Groebner bases methods. In this paper, we consider polynomial systems that are obtained via Weil restriction of scalars. The latter is an arithmetic construction which, given a finite Galois field extension $k\hookrightarrow K$, associates to a system $\mathcal{F}$ defined over $K$ a system $\mathrm{Weil}(\mathcal{F})$ defined over $k$, in such a way that the solutions of $\mathcal{F}$ over $K$ and those of $\mathrm{Weil}(\mathcal{F})$ over $k$ are in natural bijection. In this paper, we find upper bounds for the complexity of solving a polynomial system $\mathrm{Weil}(\mathcal{F})$ obtained via Weil restriction in terms of algebraic invariants of the system $\mathcal{F}$. △ Less

Submitted 3 February, 2023; v1 submitted 20 December, 2021; originally announced December 2021.

Comments: Final version. To appear in Journal of Algebra

Solving degree, last fall degree, and related invariants

Authors: Alessio Caminata, Elisa Gorla

Abstract: In this paper we study and relate several invariants connected to the solving degree of a polynomial system. This provides a rigorous framework for estimating the complexity of solving a system of polynomial equations via Groebner bases methods. Our main results include a connection between the solving degree and the last fall degree and one between the degree of regularity and the Castelnuovo-Mum… ▽ More In this paper we study and relate several invariants connected to the solving degree of a polynomial system. This provides a rigorous framework for estimating the complexity of solving a system of polynomial equations via Groebner bases methods. Our main results include a connection between the solving degree and the last fall degree and one between the degree of regularity and the Castelnuovo-Mumford regularity. △ Less

Submitted 1 June, 2022; v1 submitted 10 December, 2021; originally announced December 2021.

Comments: Final version. To appear in Journal of Symbolic Computation

Radical generic initial ideals

Authors: A. Conca, E. De Negri, E. Gorla

Abstract: In this paper, we survey the theory of Cartwright-Sturmfels ideals. These are Z^n-graded ideals, whose multigraded generic initial ideal is radical. Cartwright-Sturmfels ideals have surprising properties, mostly stemming from the fact that their Hilbert scheme only contains one Borel-fixed point. This has consequences, e.g., on their universal Groebner bases and on the family of their initial idea… ▽ More In this paper, we survey the theory of Cartwright-Sturmfels ideals. These are Z^n-graded ideals, whose multigraded generic initial ideal is radical. Cartwright-Sturmfels ideals have surprising properties, mostly stemming from the fact that their Hilbert scheme only contains one Borel-fixed point. This has consequences, e.g., on their universal Groebner bases and on the family of their initial ideals. In this paper, we discuss several known classes of Cartwright-Sturmfels ideals and we find a new one. Among determinantal ideals of same-size minors of a matrix of variables and Schubert determinantal ideals, we are able to characterize those that are Cartwright-Sturmfels. △ Less

Submitted 23 August, 2021; originally announced August 2021.

Rees algebras of sparse determinantal ideals

Authors: Ela Celikbas, Emilie Dufresne, Louiza Fouli, Elisa Gorla, Kuei-Nuan Lin, Claudia Polini, Irena Swanson

Abstract: We determine the defining equations of the Rees algebra and of the special fiber ring of the ideal of maximal minors of a $2\times n$ sparse matrix. We prove that their initial algebras are ladder determinantal rings. This allows us to show that the Rees algebra and the special fiber ring are Cohen-Macaulay domains, they are Koszul, they have rational singularities in characteristic zero and are F… ▽ More We determine the defining equations of the Rees algebra and of the special fiber ring of the ideal of maximal minors of a $2\times n$ sparse matrix. We prove that their initial algebras are ladder determinantal rings. This allows us to show that the Rees algebra and the special fiber ring are Cohen-Macaulay domains, they are Koszul, they have rational singularities in characteristic zero and are F-rational in positive characteristic. △ Less

Submitted 8 January, 2021; originally announced January 2021.

Comments: Comments welcome

MSC Class: Primary 13A30; 13C40; Secondary 14M12; 13P10; 05E40; 13F50

Stronger bounds on the cost of computing Groebner bases for HFE systems

Authors: Elisa Gorla, Daniela Mueller, Christophe Petit

Abstract: We give upper bounds for the solving degree and the last fall degree of the polynomial system associated to the HFE (Hidden Field Equations) cryptosystem. Our bounds improve the known bounds for this type of systems. We also present new results on the connection between the solving degree and the last fall degree and prove that, in some cases, the solving degree is independent of coordinate change… ▽ More We give upper bounds for the solving degree and the last fall degree of the polynomial system associated to the HFE (Hidden Field Equations) cryptosystem. Our bounds improve the known bounds for this type of systems. We also present new results on the connection between the solving degree and the last fall degree and prove that, in some cases, the solving degree is independent of coordinate changes. △ Less

Submitted 2 November, 2020; originally announced November 2020.

Comments: 15 pages

Semi-regular sequences and other random systems of equations

Authors: M. Bigdeli, E. De Negri, M. M. Dizdarevic, E. Gorla, R. Minko, S. Tsakou

Abstract: The security of multivariate cryptosystems and digital signature schemes relies on the hardness of solving a system of polynomial equations over a finite field. Polynomial system solving is also currently a bottleneck of index-calculus algorithms to solve the elliptic and hyperelliptic curve discrete logarithm problem. The complexity of solving a system of polynomial equations is closely related t… ▽ More The security of multivariate cryptosystems and digital signature schemes relies on the hardness of solving a system of polynomial equations over a finite field. Polynomial system solving is also currently a bottleneck of index-calculus algorithms to solve the elliptic and hyperelliptic curve discrete logarithm problem. The complexity of solving a system of polynomial equations is closely related to the cost of computing Groebner bases, since computing the solutions of a polynomial system can be reduced to finding a lexicographic Groebner basis for the ideal generated by the equations. Several algorithms for computing such bases exist: We consider those based on repeated Gaussian elimination of Macaulay matrices. In this paper, we analyze the case of random systems, where random systems means either semi-regular systems, or quadratic systems in n variables which contain a regular sequence of n polynomials. We provide explicit formulae for bounds on the solving degree of semi-regular systems with m > n equations in n variables, for equations of arbitrary degrees for m = n+1, and for any m for systems of quadratic or cubic polynomials. In the appendix, we provide a table of bounds for the solving degree of semi-regular systems of m = n + k quadratic equations in n variables for 2 <= k; n <= 100 and online we provide the values of the bounds for 2 <= k; n <= 500. For quadratic systems which contain a regular sequence of n polynomials, we argue that the Eisenbud-Green-Harris Conjecture, if true, provides a sharp bound for their solving degree, which we compute explicitly. △ Less

Submitted 2 November, 2020; originally announced November 2020.

Comments: 27 pages, 4 tables

MSC Class: Primary: 94A60; 13P10; 13P15; 13P25; Secondary: 13D40

Rank-Metric Codes and $q$-Polymatroids

Authors: Elisa Gorla, Relinde Jurrius, Hiram H. López, Alberto Ravagnani

Abstract: This paper contributes to the study of rank-metric codes from an algebraic and combinatorial point of view. We introduce $q$-polymatroids, the $q$-analogue of polymatroids, and develop their basic properties. We associate a pair of q-polymatroids to a rank-metric codes and show that several invariants and structural properties of the code, such as generalized weights, the property of being MRD or… ▽ More This paper contributes to the study of rank-metric codes from an algebraic and combinatorial point of view. We introduce $q$-polymatroids, the $q$-analogue of polymatroids, and develop their basic properties. We associate a pair of q-polymatroids to a rank-metric codes and show that several invariants and structural properties of the code, such as generalized weights, the property of being MRD or an optimal anticode, and duality, are captured by the associated combinatorial object. △ Less

Submitted 5 September, 2019; v1 submitted 28 March, 2018; originally announced March 2018.

Comments: Previous version has a typo in M_2 in Example 2.5

Journal ref: Journal of Algebraic Combinatorics (2019)

Gorenstein liaison for toric ideals of graphs

Authors: Alexandru Constantinescu, Elisa Gorla

Abstract: A central question in liaison theory asks whether every Cohen-Macaulay, graded ideal of a standard graded K-algebra belongs to the same G-liaison class of a complete intersection. In this paper we answer this question positively for toric ideals defining edge subrings of bipartite graphs. A central question in liaison theory asks whether every Cohen-Macaulay, graded ideal of a standard graded K-algebra belongs to the same G-liaison class of a complete intersection. In this paper we answer this question positively for toric ideals defining edge subrings of bipartite graphs. △ Less

Submitted 13 December, 2017; originally announced December 2017.

Comments: 8 pages

MSC Class: 14M06; 13C40; 13H10; 05C70

Codes Endowed With the Rank Metric

Authors: Elisa Gorla, Alberto Ravagnani

Abstract: We review the main results of the theory of rank-metric codes, with emphasis on their combinatorial properties. We study their duality theory and MacWilliams identities, comparing in particular rank-metric codes in vector and matrix representation. We then investigate the combinatorial structure of MRD codes and optimal anticodes in the rank metric, describing how they relate to each other. We review the main results of the theory of rank-metric codes, with emphasis on their combinatorial properties. We study their duality theory and MacWilliams identities, comparing in particular rank-metric codes in vector and matrix representation. We then investigate the combinatorial structure of MRD codes and optimal anticodes in the rank metric, describing how they relate to each other. △ Less

Submitted 5 October, 2017; originally announced October 2017.

Solving multivariate polynomial systems and an invariant from commutative algebra

Authors: Alessio Caminata, Elisa Gorla

Abstract: The complexity of computing the solutions of a system of multivariate polynomial equations by means of Groebner bases computations is upper bounded by a function of the solving degree. In this paper, we discuss how to rigorously estimate the solving degree of a system, focusing on systems arising within public-key cryptography. In particular, we show that it is upper bounded by, and often equal to… ▽ More The complexity of computing the solutions of a system of multivariate polynomial equations by means of Groebner bases computations is upper bounded by a function of the solving degree. In this paper, we discuss how to rigorously estimate the solving degree of a system, focusing on systems arising within public-key cryptography. In particular, we show that it is upper bounded by, and often equal to, the Castelnuovo-Mumford regularity of the ideal generated by the homogenization of the equations of the system, or by the equations themselves in case they are homogeneous. We discuss the underlying commutative algebra and clarify under which assumptions the commonly used results hold. In particular, we discuss the assumption of being in generic coordinates (often required for bounds obtained following this type of approach) and prove that systems that contain the field equations or their fake Weil descent are in generic coordinates. We also compare the notion of solving degree with that of degree of regularity, which is commonly used in the literature. We complement the paper with some examples of bounds obtained following the strategy that we describe. △ Less

Submitted 21 September, 2022; v1 submitted 20 June, 2017; originally announced June 2017.

Comments: Final version. Theorem numbering adjusted to match the published version

MSC Class: 94A60; 13P10; 13P15; 13P25; 68W40

Journal ref: Lecture Notes in Computer Science, 2021, 12542 LNCS, pp. 3-36

Cartwright-Sturmfels ideals associated to graphs and linear spaces

Authors: Aldo Conca, Emanuela De Negri, Elisa Gorla

Abstract: Inspired by work of Cartwright and Sturmfels, in a previous paper we introduced two classes of multigraded ideals named after them. These ideals are defined in terms of properties of their multigraded generic initial ideals. The goal of this paper is showing that three families of ideals that have recently attracted the attention of researchers are Cartwright-Sturmfels ideals. More specifically, w… ▽ More Inspired by work of Cartwright and Sturmfels, in a previous paper we introduced two classes of multigraded ideals named after them. These ideals are defined in terms of properties of their multigraded generic initial ideals. The goal of this paper is showing that three families of ideals that have recently attracted the attention of researchers are Cartwright-Sturmfels ideals. More specifically, we prove that binomial edge ideals, multigraded homogenizations of linear spaces, and multiview ideals are Cartwright-Sturmfels ideals, hence recovering and extending recent results of Herzog-Hibi-Hreinsdottir-Kahle-Rauh, Ohtani, Ardila-Boocher, Aholt-Sturmfels-Thomas, and Binglin Li. We also propose a conjecture on the rigidity of local cohomology modules of Cartwright-Sturmfels ideals, that was inspired by a theorem of Brion. We provide some evidence for the conjecture by proving it in the monomial case. △ Less

Submitted 23 March, 2021; v1 submitted 1 May, 2017; originally announced May 2017.

Comments: 22 pages. We are grateful to Giulia Gaggero for pointing out a mistake in the proof of Theorem 2.1, which we corrected in the current version

An algebraic framework for end-to-end physical-layer network coding

Authors: Elisa Gorla, Alberto Ravagnani

Abstract: We propose an algebraic setup for end-to-end physical-layer network coding based on submodule transmission. We introduce a distance function between modules, describe how it relates to information loss and errors, and show how to compute it. Then we propose a definition of submodule error-correcting code, and investigate bounds and constructions for such codes. We propose an algebraic setup for end-to-end physical-layer network coding based on submodule transmission. We introduce a distance function between modules, describe how it relates to information loss and errors, and show how to compute it. Then we propose a definition of submodule error-correcting code, and investigate bounds and constructions for such codes. △ Less

Submitted 13 November, 2016; originally announced November 2016.

Multigraded generic initial ideals of determinantal ideals

Authors: Aldo Conca, Emanuela De Negri, Elisa Gorla

Abstract: Let I be either the ideal of maximal minors or the ideal of 2-minors of a row graded or column graded matrix of linear forms L. In two previous papers we showed that I is a Cartwright-Sturmfels ideal, that is, the multigraded generic initial ideal gin(I) of I is radical (and essentially independent of the term order chosen). In this paper we describe generators and prime decomposition of gin(I) in… ▽ More Let I be either the ideal of maximal minors or the ideal of 2-minors of a row graded or column graded matrix of linear forms L. In two previous papers we showed that I is a Cartwright-Sturmfels ideal, that is, the multigraded generic initial ideal gin(I) of I is radical (and essentially independent of the term order chosen). In this paper we describe generators and prime decomposition of gin(I) in terms of data related to the linear dependences among the row or columns of the submatrices of L. In the case of 2-minors we also give a closed formula for its multigraded Hilbert series. △ Less

Submitted 31 August, 2016; originally announced August 2016.

Comments: 14 pages

Universal Groebner bases and Cartwright-Sturmfels ideals

Authors: Aldo Conca, Emanuela De Negri, Elisa Gorla

Abstract: We describe the universal Groebner basis of the ideal of maximal minors and the ideal of $2$-minors of a multigraded matrix of linear forms. Our results imply that the ideals are radical and provide bounds on the regularity. In particular, the ideals of maximal minors have linear resolutions. Our main theoretical contribution consists of introducing two new classes of ideals named after Cartwright… ▽ More We describe the universal Groebner basis of the ideal of maximal minors and the ideal of $2$-minors of a multigraded matrix of linear forms. Our results imply that the ideals are radical and provide bounds on the regularity. In particular, the ideals of maximal minors have linear resolutions. Our main theoretical contribution consists of introducing two new classes of ideals named after Cartwright and Sturmfels, and proving that they are closed under multigraded hyperplane sections. The gins of the ideals that we study enjoy special properties. △ Less

Submitted 31 August, 2016; originally announced August 2016.

Comments: 10 pages

Compression for trace zero points on twisted Edwards curves

Authors: Giulia Bianco, Elisa Gorla

Abstract: We propose two optimal representations for the elements of trace zero subgroups of twisted Edwards curves. For both representations, we provide efficient compression and decompression algorithms. The efficiency of the algorithm is compared with the efficiency of similar algorithms on elliptic curves in Weierstrass form. We propose two optimal representations for the elements of trace zero subgroups of twisted Edwards curves. For both representations, we provide efficient compression and decompression algorithms. The efficiency of the algorithm is compared with the efficiency of similar algorithms on elliptic curves in Weierstrass form. △ Less

Submitted 27 July, 2015; originally announced July 2015.

Subspace codes from Ferrers diagrams

Authors: Elisa Gorla, Alberto Ravagnani

Abstract: In this paper we give new constructions of Ferrer diagram rank metric codes, which achieve the largest possible dimension. In particular, we prove several cases of a conjecture by T. Etzion and N. Silberstein. We also establish a sharp lower bound on the dimension of linear rank metric anticodes with a given profile. Combining our results with the multilevel construction, we produce examples of su… ▽ More In this paper we give new constructions of Ferrer diagram rank metric codes, which achieve the largest possible dimension. In particular, we prove several cases of a conjecture by T. Etzion and N. Silberstein. We also establish a sharp lower bound on the dimension of linear rank metric anticodes with a given profile. Combining our results with the multilevel construction, we produce examples of subspace codes with the largest known cardinality for the given parameters. △ Less

Submitted 13 June, 2014; v1 submitted 12 May, 2014; originally announced May 2014.

Comments: minor edits

An optimal representation for the trace zero subgroup

Authors: Elisa Gorla, Maike Massierer

Abstract: We give an optimal-size representation for the elements of the trace zero subgroup of the Picard group of an elliptic or hyperelliptic curve of any genus, with respect to a field extension of any prime degree. The representation is via the coefficients of a rational function, and it is compatible with scalar multiplication of points. We provide efficient compression and decompression algorithms, a… ▽ More We give an optimal-size representation for the elements of the trace zero subgroup of the Picard group of an elliptic or hyperelliptic curve of any genus, with respect to a field extension of any prime degree. The representation is via the coefficients of a rational function, and it is compatible with scalar multiplication of points. We provide efficient compression and decompression algorithms, and complement them with implementation results. We discuss in detail the practically relevant cases of small genus and extension degree, and compare with the other known compression methods. △ Less

Submitted 15 June, 2016; v1 submitted 12 May, 2014; originally announced May 2014.

Comments: submitted

MSC Class: primary: 14G50; 11G25; 14H52; secondary: 11T71; 14K15

Computing the dimension of ideals in group algebras, with an application to coding theory

Authors: Michele Elia, Elisa Gorla

Abstract: The problem of computing the dimension of a left/right ideal in a group algebra F[G] of a finite group G over a field F is considered. The ideal dimension is related to the rank of a matrix originating from a regular left/right representation of G; in particular, when F[G] is semisimple, the dimension of a principal ideal is equal to the rank of the matrix representing a generator. From this obser… ▽ More The problem of computing the dimension of a left/right ideal in a group algebra F[G] of a finite group G over a field F is considered. The ideal dimension is related to the rank of a matrix originating from a regular left/right representation of G; in particular, when F[G] is semisimple, the dimension of a principal ideal is equal to the rank of the matrix representing a generator. From this observation, a bound and an efficient algorithm to compute the dimension of an ideal in a group ring are established. Since group codes are ideals in finite group rings, the algorithm allows efficient computation of their dimension. △ Less

Submitted 6 September, 2019; v1 submitted 31 March, 2014; originally announced March 2014.

Comments: 13 pages, submitted

Point compression for the trace zero subgroup over a small degree extension field

Authors: Elisa Gorla, Maike Massierer

Abstract: Using Semaev's summation polynomials, we derive a new equation for the $\mathbb{F}_q$-rational points of the trace zero variety of an elliptic curve defined over $\mathbb{F}_q$. Using this equation, we produce an optimal-size representation for such points. Our representation is compatible with scalar multiplication. We give a point compression algorithm to compute the representation and a decompr… ▽ More Using Semaev's summation polynomials, we derive a new equation for the $\mathbb{F}_q$-rational points of the trace zero variety of an elliptic curve defined over $\mathbb{F}_q$. Using this equation, we produce an optimal-size representation for such points. Our representation is compatible with scalar multiplication. We give a point compression algorithm to compute the representation and a decompression algorithm to recover the original point (up to some small ambiguity). The algorithms are efficient for trace zero varieties coming from small degree extension fields. We give explicit equations and discuss in detail the practically relevant cases of cubic and quintic field extensions. △ Less

Submitted 1 March, 2014; originally announced March 2014.

Comments: 23 pages, to appear in Designs, Codes and Cryptography

MSC Class: 14G50; 11G25; 14H52; 11T71; 14K15

Invariants of ideals generated by pfaffians

Authors: Emanuela De Negri, Elisa Gorla

Abstract: Ideals generated by pfaffians are of interest in commutative algebra and algebraic geometry, as well as in combinatorics. In this article we compute multiplicity and Castelnuovo-Mumford regularity of pfaffian ideals of ladders. We give explicit formulas for some families of ideals, and indicate a procedure that allows to recursively compute the invariants of any pfaffian ideal of ladder. Our appro… ▽ More Ideals generated by pfaffians are of interest in commutative algebra and algebraic geometry, as well as in combinatorics. In this article we compute multiplicity and Castelnuovo-Mumford regularity of pfaffian ideals of ladders. We give explicit formulas for some families of ideals, and indicate a procedure that allows to recursively compute the invariants of any pfaffian ideal of ladder. Our approach makes an essential use of liaison theory. △ Less

Submitted 27 March, 2013; originally announced March 2013.

Journal ref: Commutative Algebra and Its Connections to Geometry, A. Corso and C. Polini Editors, Contemporary Mathematics 555 (2011), 47-62

Universal Groebner bases for maximal minors

Authors: Aldo Conca, Emanuela De Negri, Elisa Gorla

Abstract: A set of polynomials G in a polynomial ring S over a field is said to be a universal Groebner basis, if G is a Groebner basis with respect to every term order on S. Twenty years ago Bernstein, Sturmfels, and Zelevinsky proved that the set of the maximal minors of a matrix X of variables is a universal Groebner basis. Boocher recently proved that any initial ideal of the ideal of maximal minors… ▽ More A set of polynomials G in a polynomial ring S over a field is said to be a universal Groebner basis, if G is a Groebner basis with respect to every term order on S. Twenty years ago Bernstein, Sturmfels, and Zelevinsky proved that the set of the maximal minors of a matrix X of variables is a universal Groebner basis. Boocher recently proved that any initial ideal of the ideal of maximal minors of X has a linear resolution. In this paper we give a quick proof of the results mentioned above. Our proof is based on a specialization argument. Then we show that similar statements hold in a more general setting, for matrices of linear forms satisfying certain homogeneity conditions. More precisely, we show that the set of maximal minors of a matrix L of linear forms is a universal Groebner basis for the ideal I that it generates, provided that L is column-graded. Under the same assumption we show that every initial ideal of I has a linear resolution. Furthermore, the projective dimension of I and of its initial ideals is n-m, unless I=0 or a column of L is identically 0. Here L is a matrix of size m times n, and m is smaller than or equal to n. If instead L is row-graded, then we prove that I has a universal Groebner basis of elements of degree m and that every initial ideal of I has a linear resolution, provided that I has the expected codimension. The proofs are based on a rigidity property of radical Borel fixed ideals in a multigraded setting: We prove that if two Borel fixed ideals I and J have the same multigraded Hilbert series and I is radical, then I = J. We also discuss some of the consequences of this rigidity property. △ Less

Submitted 25 February, 2013; v1 submitted 18 February, 2013; originally announced February 2013.

Comments: This work was done while the authors were at MSRI for the 2012-13 special year in commutative algebra. The second version contains minor edits with respect to the first

Groebner bases via linkage

Authors: Elisa Gorla, Juan C. Migliore, Uwe Nagel

Abstract: In this paper, we give a sufficient condition for a set $\mathal G$ of polynomials to be a Gröbner basis with respect to a given term-order for the ideal $I$ that it generates. Our criterion depends on the linkage pattern of the ideal $I$ and of the ideal generated by the initial terms of the elements of $\mathcal G$. We then apply this criterion to ideals generated by minors and pfaffians. More p… ▽ More In this paper, we give a sufficient condition for a set $\mathal G$ of polynomials to be a Gröbner basis with respect to a given term-order for the ideal $I$ that it generates. Our criterion depends on the linkage pattern of the ideal $I$ and of the ideal generated by the initial terms of the elements of $\mathcal G$. We then apply this criterion to ideals generated by minors and pfaffians. More precisely, we consider large families of ideals generated by minors or pfaffians in a matrix or a ladder, where the size of the minors or pfaffians is allowed to vary in different regions of the matrix or the ladder. We use the sufficient condition that we established to prove that the minors or pfaffians form a reduced Gröbner basis for the ideal that they generate, with respect to any diagonal or anti-diagonal term-order. We also show that the corresponding initial ideal is Cohen-Macaulay and squarefree, and that the simplicial complex associated to it is vertex decomposable, hence shellable. Our proof relies on known results in liaison theory, combined with a simple Hilbert function computation. In particular, our arguments are completely algebraic. △ Less

Submitted 3 June, 2011; v1 submitted 31 August, 2010; originally announced August 2010.

Comments: 29 pages, 9 figures. The main improvement to this paper is that we show that the initial ideals obtained are squarefree, and that the simplicial complexes associated to them are vertex decomposable, hence shellable. We also have improved the exposition and references

MSC Class: 13C40 (Primary); 14M12; 13P10; 14M06

Pole Placement with Fields of Positive Characteristic

Authors: Elisa Gorla, Joachim Rosenthal

Abstract: The pole placement problem belongs to the classical problems of linear systems theory. It is often assumed that the ground field is the real numbers R or the complex numbers C. The major result over the complex numbers derived in 1981 by Brockett and Byrnes states that arbitrary static pole placement is possible for a generic set of m-inputs, p-outputs and McMillan degree n system as soon as mp>… ▽ More The pole placement problem belongs to the classical problems of linear systems theory. It is often assumed that the ground field is the real numbers R or the complex numbers C. The major result over the complex numbers derived in 1981 by Brockett and Byrnes states that arbitrary static pole placement is possible for a generic set of m-inputs, p-outputs and McMillan degree n system as soon as mp>=n. Moreover the number of solutions in the situation mp=n is an intersection number first computed by Hermann Schubert in the 19th century. In this paper we show that the same result with slightly different proofs holds over any algebraically closed field. △ Less

Submitted 15 December, 2009; originally announced December 2009.

Symmetric ladders and G-biliaison

Authors: Elisa Gorla

Abstract: We study the family of ideals generated by minors of mixed size contained in a ladder of a symmetric matrix from the point of view of liaison theory. We prove that they can be obtained from ideals of linear forms by ascending G-biliaison. In particular, they are glicci. We study the family of ideals generated by minors of mixed size contained in a ladder of a symmetric matrix from the point of view of liaison theory. We prove that they can be obtained from ideals of linear forms by ascending G-biliaison. In particular, they are glicci. △ Less

Submitted 25 January, 2010; v1 submitted 25 September, 2008; originally announced September 2008.

Comments: 13 pages, 5 figures, to appear in an upcoming volume in honor of Gaeta

MSC Class: 13C40; 14M06; 14M12; 14M05; 13H10

G-biliaison of ladder Pfaffian varieties

Authors: Emanuela De Negri, Elisa Gorla

Abstract: The ideals generated by pfaffians of mixed size contained in a subladder of a skew-symmetric matrix of indeterminates define arithmetically Cohen-Macaulay, projectively normal, reduced and irreducible projective varieties. We show that these varieties belong to the G-biliaison class of a complete intersection. In particular, they are glicci. The ideals generated by pfaffians of mixed size contained in a subladder of a skew-symmetric matrix of indeterminates define arithmetically Cohen-Macaulay, projectively normal, reduced and irreducible projective varieties. We show that these varieties belong to the G-biliaison class of a complete intersection. In particular, they are glicci. △ Less

Submitted 19 September, 2008; originally announced September 2008.

Comments: 15 pages

MSC Class: 14M06; 13C40; 14M12

A generalized Gaeta's Theorem

Authors: Elisa Gorla

Abstract: We generalize Gaeta's Theorem to the family of determinantal schemes. In other words, we show that the schemes defined by minors of a fixed size of a matrix with polynomial entries belong to the same G-biliaison class of a complete intersection whenever they have maximal possible codimension, given the size of the matrix and of the minors that define them. We generalize Gaeta's Theorem to the family of determinantal schemes. In other words, we show that the schemes defined by minors of a fixed size of a matrix with polynomial entries belong to the same G-biliaison class of a complete intersection whenever they have maximal possible codimension, given the size of the matrix and of the minors that define them. △ Less

Submitted 16 January, 2007; originally announced January 2007.

Comments: 17 pages, submitted

MSC Class: 14M06; 14M10; 14M12; 13C40

Lifting the determinantal property

Authors: Elisa Gorla

Abstract: In this note we study standard and good determinantal schemes. We show that there exist arithmetically Cohen-Macaulay schemes that are not standard determinantal, and whose general hyperplane section is good determinantal. We prove that if a general hyperplane section of a scheme is standard (resp. good) determinantal, then the scheme is standard (resp. good) determinantal up to flat deformation… ▽ More In this note we study standard and good determinantal schemes. We show that there exist arithmetically Cohen-Macaulay schemes that are not standard determinantal, and whose general hyperplane section is good determinantal. We prove that if a general hyperplane section of a scheme is standard (resp. good) determinantal, then the scheme is standard (resp. good) determinantal up to flat deformation. We also study the transfer of the property of being standard or good determinantal under basic double links. △ Less

Submitted 13 August, 2007; v1 submitted 22 November, 2006; originally announced November 2006.

Comments: 21 pages, the content has been reorganized and there are substantial changes, final version to appear in the proceedings of MAGIC05

Mixed ladder determinantal varieties from two-sided ladders

Authors: Elisa Gorla

Abstract: We study the family of ideals defined by mixed size minors of two-sided ladders of indeterminates. We compute their Groebner bases with respect to a skew-diagonal monomial order, then we use them to compute the height of the ideals. We show that these ideals correspond to a family of irreducible projective varieties, that we call mixed ladder determinantal varieties. We show that these varieties… ▽ More We study the family of ideals defined by mixed size minors of two-sided ladders of indeterminates. We compute their Groebner bases with respect to a skew-diagonal monomial order, then we use them to compute the height of the ideals. We show that these ideals correspond to a family of irreducible projective varieties, that we call mixed ladder determinantal varieties. We show that these varieties are arithmetically Cohen-Macaulay. We characterize the arithmetically Gorenstein ones, among those that satisfy a technical condition. Our main result consists in proving that mixed ladder determinantal varieties belong to the same G-biliaison class of a linear variety. △ Less

Submitted 21 April, 2006; v1 submitted 25 October, 2005; originally announced October 2005.

Comments: 15 pages, contains an improved version of Theorem 1.25 (now 1.23)

MSC Class: 14M06; 13C40; 14M12

The G-biliaison class of symmetric determinantal schemes

Authors: Elisa Gorla

Abstract: We consider a family of schemes, that are defined by minors of a homogeneous symmetric matrix with polynomial entries. We assume that they have maximal possible codimension, given the size of the matrix and of the minors that define them. We show that these schemes are G-bilinked to a linear variety of the same dimension. In particular, they can be obtained from a linear variety by a finite sequ… ▽ More We consider a family of schemes, that are defined by minors of a homogeneous symmetric matrix with polynomial entries. We assume that they have maximal possible codimension, given the size of the matrix and of the minors that define them. We show that these schemes are G-bilinked to a linear variety of the same dimension. In particular, they can be obtained from a linear variety by a finite sequence of ascending G-biliaisons on some determinantal schemes. In particular, it follows that these schemes are glicci. We describe the biliaisons explicitely in the proof of the main theorem. △ Less

Submitted 13 December, 2006; v1 submitted 19 May, 2005; originally announced May 2005.

Comments: 20 pages, reference addeded, a few mistakes fixed, final version to appear on J. Algebra

MSC Class: 14M06; 14M10; 14M12; 13C40

The general hyperplane section of a curve

Authors: E. Gorla

Abstract: In this paper, we discuss some necessary and sufficient condition for a curve to be arithmetically Cohen-Macaulay, in terms of its general hyperplane section. We obtain a characterization of the degree matrices that can occur for points in the plane that are the general hyperplane section of a non arithmetically Cohen-Macaulay curve of P^3. We prove that almost all the degree matrices with posit… ▽ More In this paper, we discuss some necessary and sufficient condition for a curve to be arithmetically Cohen-Macaulay, in terms of its general hyperplane section. We obtain a characterization of the degree matrices that can occur for points in the plane that are the general hyperplane section of a non arithmetically Cohen-Macaulay curve of P^3. We prove that almost all the degree matrices with positive subdiagonal that occur for the general plane section of a non arithmetically Cohen-Macaulay curve of P^3, arise also as degree matrices of the general plane section of some smooth, integral, non arithmetically Cohen-Macaulay curve, and we characterize the exceptions. We give a necessary condition on the graded Betti numbers of the general hyperplane section of an arithmetically Buchsbaum, (non arithmetically Cohen-Macaulay) curve in P^n. For curves in P^3, we show that any set of Betti numbers that satisfies that condition, can be realised as the Betti numbers of the general plane section of an arithmetically Buchsbaum, non arithmetically Cohen-Macaulay curve. We also show that the matrices that arise as degree matrix of the general plane section of an arithmetically Buchsbaum, integral, (smooth) non arithmetically Cohen-Macaulay space curve are exactly those that arise as degree matrix of the general plane section of an arithmetically Buchsbaum, non arithmetically Cohen-Macaulay space curve and have positive subdiagonal. We also prove some bounds on the dimension of the deficiency module of an arithmetically Buchsbaum space curve, in terms of the degree matrix of the general plane section of the curve. △ Less

Submitted 13 April, 2004; v1 submitted 10 September, 2003; originally announced September 2003.

Comments: 55 pages, to appear in Transactions AMS

MSC Class: 14H99; 14M02; 13F20

Hilbert functions of irreducible arithmetically Gorenstein schemes

Authors: Nero Budur, Marta Casanellas, Elisa Gorla

Abstract: In this paper we compute the Hilbert functions of irreducible (or smooth) and reduced arithmetically Gorenstein schemes that are twisted anti-canonical divisors on arithmetically Cohen-Macaulay schemes. We also prove some folklore results characterizing the Hilbert functions of irreducible standard determinantal schemes, and we use them to produce a new class of functions that occur as Hilbert f… ▽ More In this paper we compute the Hilbert functions of irreducible (or smooth) and reduced arithmetically Gorenstein schemes that are twisted anti-canonical divisors on arithmetically Cohen-Macaulay schemes. We also prove some folklore results characterizing the Hilbert functions of irreducible standard determinantal schemes, and we use them to produce a new class of functions that occur as Hilbert functions of irreducible (or smooth) and reduced arithmetically Gorenstein schemes in any codimension. △ Less

Submitted 22 August, 2003; originally announced August 2003.

Comments: 17 pages, to appear in Journal of Algebra

MSC Class: 14M05