Showing 1–50 of 71 results for author: Villarreal, R H

Symbolic powers: Simis and weighted monomial ideals

Authors: Fernando O. Méndez, Maria Vaz Pinto, Rafael H. Villarreal

Abstract: The aim of this work is to compare symbolic and ordinary powers of monomial ideals using commutative algebra and combinatorics. Monomial ideals whose symbolic and ordinary powers coincide are called Simis ideals. Weighted monomial ideals are defined by assigning linear weights to monomials. We examine Simis and normally torsion-free ideals, relate some of the properties of monomial ideals and weig… ▽ More The aim of this work is to compare symbolic and ordinary powers of monomial ideals using commutative algebra and combinatorics. Monomial ideals whose symbolic and ordinary powers coincide are called Simis ideals. Weighted monomial ideals are defined by assigning linear weights to monomials. We examine Simis and normally torsion-free ideals, relate some of the properties of monomial ideals and weighted monomial ideals, and present an structure theorem for edge ideals of $d$-uniform clutters whose ideal of covers is Simis in degree $d$. One of our main results is a combinatorial classification of when the dual of the edge ideal of a weighted oriented graph is Simis in degree $2$. △ Less

Submitted 18 February, 2024; v1 submitted 13 February, 2024; originally announced February 2024.

Comments: 22 pages

MSC Class: 13C70; 13A70; 05E40

Indicator functions, v-numbers and Gorenstein rings in the theory of projective Reed-Muller-type codes

Authors: Manuel González-Sarabia, Humberto Muñoz-George, Jorge A. Ordaz, Eduardo Sáenz-de-Cabezón, Rafael H. Villarreal

Abstract: For projective Reed--Muller-type codes we give a global duality criterion in terms of the v-number and the Hilbert function of a vanishing ideal. As an application, we provide a global duality theorem for projective Reed--Muller-type codes over Gorenstein vanishing ideals, generalizing the known case where the vanishing ideal is a complete intersection. We classify self dual Reed-Muller-type codes… ▽ More For projective Reed--Muller-type codes we give a global duality criterion in terms of the v-number and the Hilbert function of a vanishing ideal. As an application, we provide a global duality theorem for projective Reed--Muller-type codes over Gorenstein vanishing ideals, generalizing the known case where the vanishing ideal is a complete intersection. We classify self dual Reed-Muller-type codes over Gorenstein ideals using the regularity and a parity check matrix. For projective evaluation codes, we give a duality theorem inspired by that of affine evaluation codes. We show how to compute the regularity index of the $r$-th generalized Hamming weight function in terms of the standard indicator functions of the set of evaluation points. △ Less

Submitted 25 May, 2024; v1 submitted 25 August, 2023; originally announced August 2023.

Comments: 33 pages

MSC Class: 13P25; 14G50; 94B27; 11T71

Graph rings and ideals: Wolmer Vasconcelos contributions

Authors: Maria Vaz Pinto, Rafael H. Villarreal

Abstract: This is a survey article featuring some of Wolmer Vasconcelos contributions to commutative algebra, and explaining how Vasconcelos' work and insights have contributed to the development of commutative algebra and its interaction with other areas to the present. We show that the regularity of subrings of normal $k$-uniform monomial ideals is a monotone function, and we give a normality criterion fo… ▽ More This is a survey article featuring some of Wolmer Vasconcelos contributions to commutative algebra, and explaining how Vasconcelos' work and insights have contributed to the development of commutative algebra and its interaction with other areas to the present. We show that the regularity of subrings of normal $k$-uniform monomial ideals is a monotone function, and we give a normality criterion for edge ideals of graphs using Ehrhart rings. △ Less

Submitted 19 June, 2023; v1 submitted 10 May, 2023; originally announced May 2023.

Codes parameterized by the edges of a bipartite graph with a perfect matching

Authors: Manuel Gonzalez Sarabia, Rafael H. Villarreal

Abstract: In this paper we study the main characteristics of some evaluation codes parameterized by the edges of a bipartite graph with a perfect matching. In this paper we study the main characteristics of some evaluation codes parameterized by the edges of a bipartite graph with a perfect matching. △ Less

Submitted 1 October, 2022; v1 submitted 26 September, 2022; originally announced September 2022.

Comments: 11 pages

MSC Class: 14G50; 13P25 (Primary); 14G15; 11T71; 94B27; 94B05 (Secondary)

Normality criteria for monomial ideals

Authors: Luis A. Dupont, Humberto Muñoz-George, Rafael H. Villarreal

Abstract: In this paper we study the normality of monomial ideals using linear programming and graph theory. We give normality criteria for monomial ideals, for ideals generated by monomials of degree two, and for edge ideals of graphs and clutters and their ideals of covers. In this paper we study the normality of monomial ideals using linear programming and graph theory. We give normality criteria for monomial ideals, for ideals generated by monomials of degree two, and for edge ideals of graphs and clutters and their ideals of covers. △ Less

Submitted 26 November, 2022; v1 submitted 17 August, 2022; originally announced August 2022.

MSC Class: 13C70; 13B22; 13F55; 13A30; 05E40

Journal ref: Results Math. 78 (2023), no. 1, paper no. 34, 31 pp

A duality theorem for the ic-resurgence of edge ideals

Authors: Rafael H. Villarreal

Abstract: The aim of this work is to use linear programming and polyhedral geometry to prove a duality formula for the ic-resurgence of edge ideals. We show that the ic-resurgence of the edge ideal $I$ of a clutter $\mathcal{C}$ and the ic-resurgence of the edge ideal $I^\vee$ of the blocker $\mathcal{C}^\vee$ of $\mathcal{C}$ coincide. If $\mathcal{C}$ is the clutter of bases of certain uniform matroids, w… ▽ More The aim of this work is to use linear programming and polyhedral geometry to prove a duality formula for the ic-resurgence of edge ideals. We show that the ic-resurgence of the edge ideal $I$ of a clutter $\mathcal{C}$ and the ic-resurgence of the edge ideal $I^\vee$ of the blocker $\mathcal{C}^\vee$ of $\mathcal{C}$ coincide. If $\mathcal{C}$ is the clutter of bases of certain uniform matroids, we recover a formula for the resurgence of $I$, and if $\mathcal{C}$ is a connected non-bipartite graph with a perfect matching, we show a formula for the Waldschmidt constant of $I^\vee$. △ Less

Submitted 14 November, 2022; v1 submitted 2 March, 2022; originally announced March 2022.

MSC Class: 13C70; 13F20; 13F55; 05E40

Journal ref: European J. Combin. 109 (2023), paper no. 103656, 18 pp

Normally torsion-free edge ideals of weighted oriented graphs

Authors: Gonzalo Grisalde, Jose Martinez-Bernal, Rafael H. Villarreal

Abstract: Let $I=I(D)$ be the edge ideal of a weighted oriented graph $D$, let $G$ be the underlying graph of $D$, and let $I^{(n)}$ be the $n$-th symbolic power of $I$ defined using the minimal primes of $I$. We prove that $I^2=I^{(2)}$ if and only if (i) every vertex of $D$ with weight greater than $1$ is a sink and (ii) $G$ has no triangles. As a consequence, using a result of Mandal and Pradhan, and the… ▽ More Let $I=I(D)$ be the edge ideal of a weighted oriented graph $D$, let $G$ be the underlying graph of $D$, and let $I^{(n)}$ be the $n$-th symbolic power of $I$ defined using the minimal primes of $I$. We prove that $I^2=I^{(2)}$ if and only if (i) every vertex of $D$ with weight greater than $1$ is a sink and (ii) $G$ has no triangles. As a consequence, using a result of Mandal and Pradhan, and the classification of normally torsion-free edge ideals of graphs, it follows that $I^n=I^{(n)}$ for all $n\geq 1$ if and only if (a) every vertex of $D$ with weight greater than $1$ is a sink and (b) $G$ is bipartite. If $I$ has no embedded primes, conditions (a) and (b) classify when $I$ is normally torsion-free. Using polyhedral geometry and integral closure, we give necessary conditions for the equality of ordinary and symbolic powers of monomial ideals with a minimal irreducible decomposition. Then, we classify when the Alexander dual of the edge ideal of a weighted oriented graph is normally torsion-free. △ Less

Submitted 7 October, 2023; v1 submitted 5 December, 2021; originally announced December 2021.

Comments: updated the references

MSC Class: 13C70; 13A70; 13F20; 05E40

Journal ref: Comm. Algebra 52 (2024), no. 4, 1672--1685

Induced matchings and the v-number of graded ideals

Authors: Gonzalo Grisalde, Enrique Reyes, Rafael H. Villarreal

Abstract: We give a formula for the v-number of a graded ideal that can be used to compute this number. Then we show that for the edge ideal $I(G)$ of a graph $G$ the induced matching number of $G$ is an upper bound for the v-number of $I(G)$ when $G$ is very well-covered, or $G$ has a simplicial partition, or $G$ is well-covered connected and contain neither $4$- nor $5$-cycles. In all these cases the v-nu… ▽ More We give a formula for the v-number of a graded ideal that can be used to compute this number. Then we show that for the edge ideal $I(G)$ of a graph $G$ the induced matching number of $G$ is an upper bound for the v-number of $I(G)$ when $G$ is very well-covered, or $G$ has a simplicial partition, or $G$ is well-covered connected and contain neither $4$- nor $5$-cycles. In all these cases the v-number of $I(G)$ is a lower bound for the regularity of the edge ring of $G$. We classify when the upper bound holds when $G$ is a cycle, and classify when all vertices of a graph are shedding vertices to gain insight on $W_2$-graphs. △ Less

Submitted 14 October, 2021; v1 submitted 28 September, 2021; originally announced September 2021.

MSC Class: 13F20; 13F55; 05C70; 05E40; 13H10

Rees algebras of filtrations of covering polyhedra and integral closure of powers of monomial ideals

Authors: Gonzalo Grisalde, Alexandra Seceleanu, Rafael H. Villarreal

Abstract: The aims of this work are to study Rees algebras of filtrations of monomial ideals associated to covering polyhedra of rational matrices with non-negative entries and non-zero columns using combinatorial optimization and integer programming, and to study powers of monomial ideals and their integral closures using irreducible decompositions and polyhedral geometry. We study the Waldschmidt constant… ▽ More The aims of this work are to study Rees algebras of filtrations of monomial ideals associated to covering polyhedra of rational matrices with non-negative entries and non-zero columns using combinatorial optimization and integer programming, and to study powers of monomial ideals and their integral closures using irreducible decompositions and polyhedral geometry. We study the Waldschmidt constant and the ic-resurgence of the filtration associated to a covering polyhedron and show how to compute these constants using linear programming. Then we show a lower bound for the ic-resurgence of the ideal of covers of a graph and prove that the lower bound is attained when the graph is perfect. We also show lower bounds for the ic-resurgence of the edge ideal of a graph and give an algorithm to compute the asymptotic resurgence of squarefree monomial ideals. A classification of when Newton's polyhedron is the irreducible polyhedron is presented using integral closure. △ Less

Submitted 8 August, 2021; v1 submitted 30 June, 2021; originally announced June 2021.

MSC Class: 13C70; 13F20; 13F55; 05E40; 13A30; 13B22

Journal ref: Res. Math. Sci. 9} (2022), no. 1, paper no. 13, 33 pp

The dual of an evaluation code

Authors: Hiram H. López, Ivan Soprunov, Rafael H. Villarreal

Abstract: The aim of this work is to study the dual and the algebraic dual of an evaluation code using standard monomials and indicator functions. We show that the dual of an evaluation code is the evaluation code of the algebraic dual. We develop an algorithm for computing a basis for the algebraic dual. Let $C_1$ and $C_2$ be linear codes spanned by standard monomials. We give a combinatorial condition fo… ▽ More The aim of this work is to study the dual and the algebraic dual of an evaluation code using standard monomials and indicator functions. We show that the dual of an evaluation code is the evaluation code of the algebraic dual. We develop an algorithm for computing a basis for the algebraic dual. Let $C_1$ and $C_2$ be linear codes spanned by standard monomials. We give a combinatorial condition for the monomial equivalence of $C_1$ and the dual $C_2^\perp$. Moreover, we give an explicit description of a generator matrix of $C_2^\perp$ in terms of that of $C_1$ and coefficients of indicator functions. For Reed--Muller-type codes we give a duality criterion in terms of the v-number and the Hilbert function of a vanishing ideal. As an application, we provide an explicit duality for Reed--Muller-type codes corresponding to Gorenstein ideals. In addition, when the evaluation code is monomial and the set of evaluation points is a degenerate affine space, we classify when the dual is a monomial code. △ Less

Submitted 21 March, 2023; v1 submitted 17 December, 2020; originally announced December 2020.

Comments: The previous version has a typo on the statement of Theorem 5.4. The published version can be found here: https://rdcu.be/cjon5

MSC Class: 13P25; 14G50; 94B27; 11T71

Journal ref: Designs, Codes and Cryptography, 89 (2021), no. 7, 1367-1403

Bounds for the Minimum Distance Function

Authors: Luis Núñez-Betancourt, Yuriko Pitones, Rafael H. Villarreal

Abstract: Let $I$ be a homogeneous ideal in a polynomial ring $S$. In this paper, we extend the study of the asymptotic behavior of the minimum distance function $δ_I$ of $I$ and give bounds for its stabilization point, $r_I$, when $I$ is an $F$-pure or a square-free monomial ideal. These bounds are related with the dimension and the Castelnuovo--Mumford regularity of $I$. Let $I$ be a homogeneous ideal in a polynomial ring $S$. In this paper, we extend the study of the asymptotic behavior of the minimum distance function $δ_I$ of $I$ and give bounds for its stabilization point, $r_I$, when $I$ is an $F$-pure or a square-free monomial ideal. These bounds are related with the dimension and the Castelnuovo--Mumford regularity of $I$. △ Less

Submitted 4 December, 2020; originally announced December 2020.

Comments: 11 pages

The v-number of edge ideals

Authors: Delio Jaramillo, Rafael H. Villarreal

Abstract: The aim of this work is to study the v-number of edge ideals of clutters and graphs. We relate the v-number with the regularity of edge ideals and study the combinatorial structure of the graphs whose edge ideals have their second symbolic power Cohen-Macaulay. The aim of this work is to study the v-number of edge ideals of clutters and graphs. We relate the v-number with the regularity of edge ideals and study the combinatorial structure of the graphs whose edge ideals have their second symbolic power Cohen-Macaulay. △ Less

Submitted 19 January, 2020; originally announced January 2020.

MSC Class: 13F20; 05C22; 05E40; 13H10

Journal ref: J. Combin. Ser. A 177 (2021), 105310

Unmixed and Cohen--Macaulay weighted oriented König graphs

Authors: Yuriko Pitones, Enrique Reyes, Rafael H. Villarreal

Abstract: Let $D$ be a weighted oriented graph, whose underlying graph is $G$, and let $I(D)$ be its edge ideal. If $G$ has no $3$-, $5$-, or $7$-cycles, or $G$ is König, we characterize when $I(D)$ is unmixed. If $G$ has no $3$- or $5$-cycles, or $G$ is König, we characterize when $I(D)$ is Cohen--Macaulay. We prove that $I(D)$ is unmixed if and only if $I(D)$ is Cohen--Macaulay when $G$ has girth greater… ▽ More Let $D$ be a weighted oriented graph, whose underlying graph is $G$, and let $I(D)$ be its edge ideal. If $G$ has no $3$-, $5$-, or $7$-cycles, or $G$ is König, we characterize when $I(D)$ is unmixed. If $G$ has no $3$- or $5$-cycles, or $G$ is König, we characterize when $I(D)$ is Cohen--Macaulay. We prove that $I(D)$ is unmixed if and only if $I(D)$ is Cohen--Macaulay when $G$ has girth greater than $7$ or $G$ is König and has no $4$-cycles. △ Less

Submitted 29 September, 2019; originally announced September 2019.

MSC Class: 13F20; 05C22; 05E40; 13H10

Joins, Ears and Castelnuovo-Mumford regularity

Authors: Jorge Neves, Maria Vaz Pinto, Rafael H. Villarreal

Abstract: We introduce a new class of polynomial ideals associated to a simple graph, $G$. Let $K[E_G]$ be the polynomial ring on the edges of $G$ and $K[V_G]$ the polynomial ring on the vertices of $G$. We associate to $G$ an ideal, $I(X_G)$, defined as the preimage of $(x_i^2-x_j^2 : i,j\in V_G)\subseteq K[V_G]$ by the map $K[E_G]\to K[V_G]$ which sends a variable, $t_e$, associated to an edge… ▽ More We introduce a new class of polynomial ideals associated to a simple graph, $G$. Let $K[E_G]$ be the polynomial ring on the edges of $G$ and $K[V_G]$ the polynomial ring on the vertices of $G$. We associate to $G$ an ideal, $I(X_G)$, defined as the preimage of $(x_i^2-x_j^2 : i,j\in V_G)\subseteq K[V_G]$ by the map $K[E_G]\to K[V_G]$ which sends a variable, $t_e$, associated to an edge $e=\{i,j\}$, to the product $x_ix_j$ of the variables associated to its vertices. We show that $K[E_G]/I(X_G)$ is a one-dimensional, Cohen-Macaulay, graded ring, that $I(X_G)$ is a binomial ideal and that, with respect to a fixed monomial order, its initial ideal has a generating set independent of the field $K$. We focus on the Castelnuovo-Mumford regularity of $I(X_G)$ providing the following sharp upper and lower bounds: $$ μ(G) \leq \operatorname{reg} I(X_G) \leq |V_G|-b_0(G)+1, $$ where $μ(G)$ is the maximum vertex join number of the graph and $b_0(G)$ is the number of its connected components. We show that the lower bound is attained for a bipartite graph and use this to derive a new combinatorial result on the number of even length ears of nested ear decomposition. △ Less

Submitted 6 September, 2019; originally announced September 2019.

MSC Class: 13F20; 13P20; 05E40; 05C70

Evaluation codes and their basic parameters

Authors: Delio Jaramillo, Maria Vaz Pinto, Rafael H. Villarreal

Abstract: The aim of this work is to give degree formulas for the generalized Hamming weights of evaluation codes and to show lower bounds for these weights. In particular, we give degree formulas for the generalized Hamming weights of Reed--Muller-type codes, and we determine the minimum distance of toric codes over hypersimplices, and the 1st and 2nd generalized Hamming weights of squarefree evaluation co… ▽ More The aim of this work is to give degree formulas for the generalized Hamming weights of evaluation codes and to show lower bounds for these weights. In particular, we give degree formulas for the generalized Hamming weights of Reed--Muller-type codes, and we determine the minimum distance of toric codes over hypersimplices, and the 1st and 2nd generalized Hamming weights of squarefree evaluation codes. △ Less

Submitted 19 May, 2020; v1 submitted 30 July, 2019; originally announced July 2019.

Comments: We thank Nupur Patanker for pointing out an error in Proposition 2.5. This proposition has been deleted

MSC Class: 13P25; 14G50; 94B27; 11T71

Hamming Polynomial of a Demimatroid

Authors: Jose Martinez-Bernal, Miguel A. Valencia-Bucio, Rafael H. Villarreal

Abstract: Following Britz, Johnsen, Mayhew and Shiromoto, we consider demi\-ma\-troids as a(nother) natural generalization of matroids. As they have shown, demi\-ma\-troids are the appropriate combinatorial objects for studying Wei's duality. Our results here apport further evidence about the trueness of that observation. We define the Hamming polynomial of a demimatroid $M$, denoted by $W(x,y,t)$, as a gen… ▽ More Following Britz, Johnsen, Mayhew and Shiromoto, we consider demi\-ma\-troids as a(nother) natural generalization of matroids. As they have shown, demi\-ma\-troids are the appropriate combinatorial objects for studying Wei's duality. Our results here apport further evidence about the trueness of that observation. We define the Hamming polynomial of a demimatroid $M$, denoted by $W(x,y,t)$, as a generalization of the extended Hamming weight enumerator of a matroid. The polynomial $W(x,y,t)$ is a specialization of the Tutte polynomial of $M$, and actually is equivalent to it. Guided by work of Johnsen, Roksvold and Verdure for matroids, we prove that Betti numbers of a demimatroid and its elongations determine the Hamming polynomial. Our results may be applied to simplicial complexes since in a canonical way they can be viewed as demimatroids. Furthermore, following work of Brylawski and Gordon, we show how demimatroids may be generalized one step further, to combinatroids. A combinatroid, or Brylawski structure, is an integer valued function $ρ$, defined over the power set of a finite ground set, satisfying the only condition $ρ(\emptyset)=0$. Even in this extreme generality, we will show that many concepts and invariants in coding theory can be carried on directly to combinatroids, say, Tutte polynomial, characteristic polynomial, MacWilliams identity, extended Hamming polynomial, and the $r$-th generalized Hamming polynomial; this last one, at least conjecturelly, guided by the work of Jurrius and Pellikaan for linear codes. All this largely extends the notions of deletion, contraction, duality and codes to non-matroidal structures. △ Less

Submitted 22 July, 2019; originally announced July 2019.

MSC Class: 05B35; 05E45; 13F55; 05C22

On the generalized Hamming weights of certain Reed-Muller-type codes

Authors: Manuel Gonzalez-Sarabia, Delio Jaramillo, Rafael H. Villarreal

Abstract: There is a nice combinatorial formula of P. Beelen and M. Datta for the $r$-th generalized Hamming weight of an affine cartesian code. Using this combinatorial formula we give an easy to evaluate formula to compute the $r$-th generalized Hamming weight for a family of affine cartesian codes. If $\mathbb{X}$ is a set of projective points over a finite field we determine the basic parameters and the… ▽ More There is a nice combinatorial formula of P. Beelen and M. Datta for the $r$-th generalized Hamming weight of an affine cartesian code. Using this combinatorial formula we give an easy to evaluate formula to compute the $r$-th generalized Hamming weight for a family of affine cartesian codes. If $\mathbb{X}$ is a set of projective points over a finite field we determine the basic parameters and the generalized Hamming weights of the Veronese type codes on $\mathbb{X}$ and their dual codes in terms of the basic parameters and the generalized Hamming weights of the corresponding projective Reed--Muller-type codes on $\mathbb{X}$ and their dual codes. △ Less

Submitted 15 July, 2019; v1 submitted 28 May, 2019; originally announced May 2019.

Comments: An. Ştiinţ. Univ. "Ovidius'' Constanţa Ser. Mat., to appear

MSC Class: 13P25; 94B27

Journal ref: An. Ştiinţ. Univ. "Ovidius'' Constanţa Ser. Mat. 28(1) (2020), 205--217

Linear codes over signed graphs

Authors: Jose Martinez-Bernal, Miguel A. Valencia, Rafael H. Villarreal

Abstract: We give formulas, in terms of graph theoretical invariants, for the minimum distance and the generalized Hamming weights of the linear code generated by the rows of the incidence matrix of a signed graph over a finite field, and for those of its dual code. Then we determine the regularity of the ideals of circuits and cocircuits of a signed graph, and prove an algebraic formula in terms of the mul… ▽ More We give formulas, in terms of graph theoretical invariants, for the minimum distance and the generalized Hamming weights of the linear code generated by the rows of the incidence matrix of a signed graph over a finite field, and for those of its dual code. Then we determine the regularity of the ideals of circuits and cocircuits of a signed graph, and prove an algebraic formula in terms of the multiplicity for the frustration index of an unbalanced signed graph. △ Less

Submitted 21 September, 2019; v1 submitted 20 April, 2019; originally announced April 2019.

Comments: Des. Codes Cryptogr., to appear

MSC Class: 94B05; 94C15; 05C40; 05C22; 13P25

Journal ref: Des. Codes Cryptogr. 88 (2020), 273--296

Generalized minimum distance functions and algebraic invariants of Geramita ideals

Authors: Susan M. Cooper, Alexandra Seceleanu, Stefan O. Tohaneanu, Maria Vaz Pinto, Rafael H. Villarreal

Abstract: Motivated by notions from coding theory, we study the generalized minimum distance (GMD) function $δ_I(d,r)$ of a graded ideal $I$ in a polynomial ring over an arbitrary field using commutative algebraic methods. It is shown that $δ_I$ is non-decreasing as a function of $r$ and non-increasing as a function of $d$. For vanishing ideals over finite fields, we show that $δ_I$ is strictly decreasing a… ▽ More Motivated by notions from coding theory, we study the generalized minimum distance (GMD) function $δ_I(d,r)$ of a graded ideal $I$ in a polynomial ring over an arbitrary field using commutative algebraic methods. It is shown that $δ_I$ is non-decreasing as a function of $r$ and non-increasing as a function of $d$. For vanishing ideals over finite fields, we show that $δ_I$ is strictly decreasing as a function of $d$ until it stabilizes. We also study algebraic invariants of Geramita ideals. Those ideals are graded, unmixed, $1$-dimensional and their associated primes are generated by linear forms. We also examine GMD functions of complete intersections and show some special cases of two conjectures of Tohăneanu--Van Tuyl and Eisenbud-Green-Harris. △ Less

Submitted 11 September, 2019; v1 submitted 16 December, 2018; originally announced December 2018.

MSC Class: 13P25; 14G50; 94B27; 11T71

Journal ref: Adv. in Appl. Math. 112 (2020), 101940

Generalized Hamming weights of projective Reed--Muller-type codes over graphs

Authors: Jose Martinez-Bernal, Miguel A. Valencia-Bucio, Rafael H. Villarreal

Abstract: Let $G$ be a connected graph and let $\mathbb{X}$ be the set of projective points defined by the column vectors of the incidence matrix of $G$ over a field $K$ of any characteristic. We determine the generalized Hamming weights of the Reed--Muller-type code over the set $\mathbb{X}$ in terms of graph theoretic invariants. As an application to coding theory we show that if $G$ is non-bipartite and… ▽ More Let $G$ be a connected graph and let $\mathbb{X}$ be the set of projective points defined by the column vectors of the incidence matrix of $G$ over a field $K$ of any characteristic. We determine the generalized Hamming weights of the Reed--Muller-type code over the set $\mathbb{X}$ in terms of graph theoretic invariants. As an application to coding theory we show that if $G$ is non-bipartite and $K$ is a finite field of ${\rm char}(K)\neq 2$, then the $r$-th generalized Hamming weight of the linear code generated by the rows of the incidence matrix of $G$ is the $r$-th weak edge biparticity of $G$. If ${\rm char}(K)=2$ or $G$ is bipartite, we prove that the $r$-th generalized Hamming weight of that code is the $r$-th edge connectivity of $G$. △ Less

Submitted 15 August, 2019; v1 submitted 10 December, 2018; originally announced December 2018.

Comments: Discrete Math., to appear

MSC Class: 13P25; 94B05; 94C15; 11T71; 05C40

Edge ideals of oriented graphs

Authors: Huy Tài Hà, Kuei-Nuan Lin, Susan Morey, Enrique Reyes, Rafael H. Villarreal

Abstract: Let $\mathcal{D}$ be a weighted oriented graph and let $I(\mathcal{D})$ be its edge ideal. Under a natural condition that the underlying (undirected) graph of $\mathcal{D}$ contains a perfect matching consisting of leaves, we provide several equivalent conditions for the Cohen-Macaulayness of $I(\mathcal{D})$. We also completely characterize the Cohen-Macaulayness of $I(\mathcal{D})$ when the unde… ▽ More Let $\mathcal{D}$ be a weighted oriented graph and let $I(\mathcal{D})$ be its edge ideal. Under a natural condition that the underlying (undirected) graph of $\mathcal{D}$ contains a perfect matching consisting of leaves, we provide several equivalent conditions for the Cohen-Macaulayness of $I(\mathcal{D})$. We also completely characterize the Cohen-Macaulayness of $I(\mathcal{D})$ when the underlying graph of $\mathcal{D}$ is a bipartite graph. When $I(\mathcal{D})$ fails to be Cohen-Macaulay, we give an instance where $I(\mathcal{D})$ is shown to be sequentially Cohen-Macaulay. △ Less

Submitted 10 May, 2018; originally announced May 2018.

Comments: 22 pages, 2 figures

Depth and regularity of monomial ideals via polarization and combinatorial optimization

Authors: Jose Martínez-Bernal, Susan Morey, Rafael H. Villarreal, Carlos E. Vivares

Abstract: In this paper we use polarization to study the behavior of the depth and regularity of a monomial ideal $I$, locally at a variable $x_i$, when we lower the degree of all the highest powers of the variable $x_i$ occurring in the minimal generating set of $I$, and examine the depth and regularity of powers of edge ideals of clutters using combinatorial optimization techniques. If $I$ is the edge ide… ▽ More In this paper we use polarization to study the behavior of the depth and regularity of a monomial ideal $I$, locally at a variable $x_i$, when we lower the degree of all the highest powers of the variable $x_i$ occurring in the minimal generating set of $I$, and examine the depth and regularity of powers of edge ideals of clutters using combinatorial optimization techniques. If $I$ is the edge ideal of an unmixed clutter with the max-flow min-cut property, we show that the powers of $I$ have non-increasing depth and non-decreasing regularity. In particular edge ideals of unmixed bipartite graphs have non-decreasing regularity. We are able to show that the symbolic powers of the ideal of covers of the clique clutter of a strongly perfect graph have non-increasing depth. A similar result holds for the ideal of covers of a uniform ideal clutter. △ Less

Submitted 18 October, 2018; v1 submitted 5 March, 2018; originally announced March 2018.

Comments: Acta Math. Vietnam., to appear

MSC Class: 13F20; 05C22; 05E40; 13H10

Journal ref: Acta Math. Vietnam. 44 (2019), no. 1, 243--268

Footprint and minimum distance functions

Authors: Luis Núñez-Betancourt, Yuriko Pitones, Rafael H. Villarreal

Abstract: Let $S$ be a polynomial ring over a field $K$, with a monomial order $\prec$, and let $I$ be an unmixed graded ideal of $S$. In this paper we study two functions associated to $I$: the minimum distance function $δ_I$ and the footprint function ${\rm fp}_I$. It is shown that $δ_I$ is positive and that ${\rm fp}_I$ is positive if the initial ideal of $I$ is unmixed. Then we show that if $I$ is radic… ▽ More Let $S$ be a polynomial ring over a field $K$, with a monomial order $\prec$, and let $I$ be an unmixed graded ideal of $S$. In this paper we study two functions associated to $I$: the minimum distance function $δ_I$ and the footprint function ${\rm fp}_I$. It is shown that $δ_I$ is positive and that ${\rm fp}_I$ is positive if the initial ideal of $I$ is unmixed. Then we show that if $I$ is radical and its associated primes are generated by linear forms, then $δ_I$ is strictly decreasing until it reaches the asymptotic value $1$. If $I$ is the edge ideal of a Cohen--Macaulay bipartite graph, we show that $δ_I(d)=1$ for $d$ greater than or equal to the regularity of $S/I$. For a graded ideal of dimension $\geq 1$, whose initial ideal is a complete intersection, we give an exact sharp lower bound for the corresponding minimum distance function. △ Less

Submitted 1 December, 2017; originally announced December 2017.

Comments: Commun. Korean Math. Soc., to appear

MSC Class: Primary 13P25

Journal ref: Commun. Korean Math. Soc. 33 (2018), No. 1, pp. 85--101

Generalized minimum distance functions

Authors: Manuel Gonzalez-Sarabia, Jose Martínez-Bernal, Rafael H. Villarreal, Carlos E. Vivares

Abstract: Using commutative algebra methods we study the generalized minimum distance function (gmd function) and the corresponding generalized footprint function of a graded ideal in a polynomial ring over a field. The number of solutions that a system of homogeneous polynomials has in any given finite set of projective points is expressed as the degree of a graded ideal. If $\mathbb{X}$ is a set of projec… ▽ More Using commutative algebra methods we study the generalized minimum distance function (gmd function) and the corresponding generalized footprint function of a graded ideal in a polynomial ring over a field. The number of solutions that a system of homogeneous polynomials has in any given finite set of projective points is expressed as the degree of a graded ideal. If $\mathbb{X}$ is a set of projective points over a finite field and $I$ is its vanishing ideal, we show that the gmd function and the Vasconcelos function of $I$ are equal to the $r$-th generalized Hamming weight of the corresponding Reed-Muller-type code $C_\mathbb{X}(d)$ of degree $d$. We show that the generalized footprint function of $I$ is a lower bound for the $r$-th generalized Hamming weight of $C_\mathbb{X}(d)$. Then we present some applications to projective nested cartesian codes. To give applications of our lower bound to algebraic coding theory, we show an interesting integer inequality. Then we show an explicit formula and a combinatorial formula for the second generalized Hamming weight of an affine cartesian code. △ Less

Submitted 16 October, 2018; v1 submitted 9 July, 2017; originally announced July 2017.

Comments: J. Algebraic Combin., to appear. arXiv admin note: text overlap with arXiv:1512.06868

MSC Class: 13P25; 14G50; 94B27; 11T71

Journal ref: J. Algebraic Combin. 50 (2019), no. 3, 317-346

Symbolic powers of monomial ideals and Cohen-Macaulay vertex-weighted digraphs

Authors: Philippe Gimenez, Jose Martínez-Bernal, Aron Simis, Rafael H. Villarreal, Carlos E. Vivares

Abstract: In this paper we study irreducible representations and symbolic Rees algebras of monomial ideals. Then we examine edge ideals associated to vertex-weighted oriented graphs. These are digraphs having no oriented cycles of length two with weights on the vertices. For a monomial ideal with no embedded primes we classify the normality of its symbolic Rees algebra in terms of its primary components. If… ▽ More In this paper we study irreducible representations and symbolic Rees algebras of monomial ideals. Then we examine edge ideals associated to vertex-weighted oriented graphs. These are digraphs having no oriented cycles of length two with weights on the vertices. For a monomial ideal with no embedded primes we classify the normality of its symbolic Rees algebra in terms of its primary components. If the primary components of a monomial ideal are normal, we present a simple procedure to compute its symbolic Rees algebra using Hilbert bases, and give necessary and sufficient conditions for the equality between its ordinary and symbolic powers. We give an effective characterization of the Cohen--Macaulay vertex-weighted oriented forests. For edge ideals of transitive weighted oriented graphs we show that Alexander duality holds. It is shown that edge ideals of weighted acyclic tournaments are Cohen--Macaulay and satisfy Alexander duality △ Less

Submitted 31 January, 2018; v1 submitted 31 May, 2017; originally announced June 2017.

Comments: Special volume dedicated to Professor Antonio Campillo, Springer, to appear

MSC Class: 13F20; 05C22; 05E40; 13H10

Journal ref: in Singularities, Algebraic Geometry, Commutative Algebra, and Related Topics (G. M. Greuel, et.al. Eds), Springer, Cham, 2018, pp. 491--510

The second generalized Hamming weight of some evaluation codes arising from a projective torus

Authors: Manuel González Sarabia, Eduardo Camps, Eliseo Sarmiento, Rafael H. Villarreal

Abstract: In this paper we find the second generalized Hamming weight of some evaluation codes arising from a projective torus, and it allows to compute the second generalized Hamming weight of the codes parameterized by the edges of any complete bipartite graph. Also, at the beginning, we obtain some results about the generalized Hamming weights of some evaluation codes arising from a complete intersection… ▽ More In this paper we find the second generalized Hamming weight of some evaluation codes arising from a projective torus, and it allows to compute the second generalized Hamming weight of the codes parameterized by the edges of any complete bipartite graph. Also, at the beginning, we obtain some results about the generalized Hamming weights of some evaluation codes arising from a complete intersection when the minimum distance is known and they are non--degenerate codes. Finally we give an example where we use these results to determine the complete weight hierarchy of some codes. △ Less

Submitted 15 May, 2018; v1 submitted 19 November, 2016; originally announced November 2016.

Comments: To appear in the journal Finite Fields And Their Applications

MSC Class: 13P25; 94B65; 14G50

Journal ref: Finite Fields Appl. 52 (2018), 370--394

Regularity of the vanishing ideal over a parallel composition of paths

Authors: Antonio Macchia, Jorge Neves, Maria Vaz Pinto, Rafael H. Villarreal

Abstract: Let G be a graph obtained by taking r>=2 paths and identifying all first vertices and identifying all the last vertices. We compute the Castelnuovo--Mumford regularity of the quotient S/I(X), where S is the polynomial ring on the edges of G and I(X) is the vanishing ideal of the projective toric subset parameterized by G. The case we consider is the first case where the regularity was unknown, fol… ▽ More Let G be a graph obtained by taking r>=2 paths and identifying all first vertices and identifying all the last vertices. We compute the Castelnuovo--Mumford regularity of the quotient S/I(X), where S is the polynomial ring on the edges of G and I(X) is the vanishing ideal of the projective toric subset parameterized by G. The case we consider is the first case where the regularity was unknown, following earlier computations (by several authors) of the regularity when G is a tree, cycle, complete graph or complete bipartite graph, but specially in light of the reduction of the computation of the regularity in the bipartite case to the computation of the regularity of the blocks of G. We also prove new inequalities relating the Castelnuovo--Mumford regularity of S/I(X) with the combinatorial structure of G, for a general graph. △ Less

Submitted 28 June, 2016; originally announced June 2016.

MSC Class: 13F20 (primary); 14G15; 11T55

Minimum distance functions of complete intersections

Authors: Yuriko Pitones, Jose Martinez-Bernal, Rafael H. Villarreal

Abstract: We study the footprint function, with respect to a monomial order, of complete intersection graded ideals in a polynomial ring with coefficients in a field. For graded ideals of dimension one, whose initial ideal is a complete intersection, we give a formula for the footprint function and a sharp lower bound for the corresponding minimum distance function. This allows us to recover a formula for t… ▽ More We study the footprint function, with respect to a monomial order, of complete intersection graded ideals in a polynomial ring with coefficients in a field. For graded ideals of dimension one, whose initial ideal is a complete intersection, we give a formula for the footprint function and a sharp lower bound for the corresponding minimum distance function. This allows us to recover a formula for the minimum distance of an affine cartesian code and the fact that in this case the minimum distance and the footprint functions coincide. Then we present an extension of a result of Alon and Füredi, about coverings of the cube $\{0,1\}^n$ by affine hyperplanes, in terms of the regularity of a vanishing ideal. △ Less

Submitted 24 October, 2017; v1 submitted 27 January, 2016; originally announced January 2016.

Comments: Journal of Algebra and its Applications, to appear. arXiv admin note: text overlap with arXiv:1512.06868

MSC Class: 13P25; 94B60; 11T71

Journal ref: J. Algebra Appl. 17 (2018), no. 11, 1850204 (22 pages)

Minimum distance functions of graded ideals and Reed-Muller-type codes

Authors: Jose Martinez-Bernal, Yuriko Pitones, Rafael H. Villarreal

Abstract: We introduce and study the minimum distance function of a graded ideal in a polynomial ring with coefficients in a field, and show that it generalizes the minimum distance of projective Reed-Muller-type codes over finite fields. This gives an algebraic formulation of the minimum distance of a projective Reed-Muller-type code in terms of the algebraic invariants and structure of the underlying vani… ▽ More We introduce and study the minimum distance function of a graded ideal in a polynomial ring with coefficients in a field, and show that it generalizes the minimum distance of projective Reed-Muller-type codes over finite fields. This gives an algebraic formulation of the minimum distance of a projective Reed-Muller-type code in terms of the algebraic invariants and structure of the underlying vanishing ideal. Then we give a method, based on Groebner bases and Hilbert functions, to find lower bounds for the minimum distance of certain Reed-Muller-type codes. Finally we show explicit upper bounds for the number of zeros of polynomials in a projective nested cartesian set and give some support to a conjecture of Carvalho, Lopez-Neumann and Lopez. △ Less

Submitted 11 June, 2016; v1 submitted 17 December, 2015; originally announced December 2015.

Comments: J. Pure Appl. Algebra, to appear

MSC Class: 13P25

Journal ref: J. Pure Appl. Algebra 221 (2017), 251--275

Binomial vanishing ideals

Authors: Azucena Tochimani, Rafael H. Villarreal

Abstract: In this paper we characterize, in algebraic and geometric terms, when a graded vanishing ideal is generated by binomials over any field K. In this paper we characterize, in algebraic and geometric terms, when a graded vanishing ideal is generated by binomials over any field K. △ Less

Submitted 21 April, 2015; v1 submitted 8 March, 2015; originally announced March 2015.

MSC Class: 13F20; 13C05; 14H45

Journal ref: J. Algebra Comb. Discrete Appl. 2 (2015), no. 2, 77--82

Complete intersection vanishing ideals on sets of clutter type over finite fields

Authors: Azucena Tochimani, Rafael H. Villarreal

Abstract: In this paper we give a classification of complete intersection vanishing ideals on parameterized sets of clutter type over finite fields. In this paper we give a classification of complete intersection vanishing ideals on parameterized sets of clutter type over finite fields. △ Less

Submitted 4 March, 2015; originally announced March 2015.

MSC Class: 14M10; 14G15; 13P25; 13P10; 11T71; 94B27; 94B05

Journal ref: Bull. Malays. Math. Sci. Soc. 41 (2018), no. 1, 81--89

Vanishing ideals over finite fields

Authors: Azucena Tochimani, Rafael H. Villarreal

Abstract: Let $\mathbb{F}_q$ be a finite field, let $\mathbb{X}$ be a subset of a projective space ${\mathbb P}^{s-1}$, over the field $\mathbb{F}_q$, parameterized by rational functions, and let $I(\mathbb{X})$ be the vanishing ideal of $\mathbb{X}$. The main result of this paper is a formula for $I(\mathbb{X})$ that will allows us to compute: (i) the algebraic invariants of $I(\mathbb{X})$, and (ii) the b… ▽ More Let $\mathbb{F}_q$ be a finite field, let $\mathbb{X}$ be a subset of a projective space ${\mathbb P}^{s-1}$, over the field $\mathbb{F}_q$, parameterized by rational functions, and let $I(\mathbb{X})$ be the vanishing ideal of $\mathbb{X}$. The main result of this paper is a formula for $I(\mathbb{X})$ that will allows us to compute: (i) the algebraic invariants of $I(\mathbb{X})$, and (ii) the basic parameters of the corresponding Reed-Muller-type code. △ Less

Submitted 19 June, 2016; v1 submitted 18 February, 2015; originally announced February 2015.

MSC Class: 13P25; 14G50; 14G15; 11T71; 94B27; 94B05

Journal ref: Math. Notes 105 (2019), no. 3, 429--438

Direct products in projective Segre codes

Authors: Azucena Tochimani, Maria Vaz Pinto, Rafael H. Villarreal

Abstract: Let K=Fq be a finite field. We introduce a family of projective Reed-Muller-type codes called projective Segre codes. Using commutative algebra and linear algebra methods, we study their basic parameters and show that they are direct products of projective Reed-Muller-type codes. As a consequence we recover some results on projective Reed-Muller-type codes over the Segre variety and over projectiv… ▽ More Let K=Fq be a finite field. We introduce a family of projective Reed-Muller-type codes called projective Segre codes. Using commutative algebra and linear algebra methods, we study their basic parameters and show that they are direct products of projective Reed-Muller-type codes. As a consequence we recover some results on projective Reed-Muller-type codes over the Segre variety and over projective tori. △ Less

Submitted 26 January, 2016; v1 submitted 7 January, 2015; originally announced January 2015.

MSC Class: 13P25; 15A78; 14G50; 94B27

Journal ref: Finite Fields Appl. 39 (2016), 96--110

On complete monomial ideals

Authors: Philippe Gimenez, Aron Simis, Wolmer V. Vasconcelos, Rafael H. Villarreal

Abstract: In dimension two, we study complete monomial ideals combinatorially, their Rees algebras and develop effective means to find their defining equations. In dimension two, we study complete monomial ideals combinatorially, their Rees algebras and develop effective means to find their defining equations. △ Less

Submitted 8 September, 2014; v1 submitted 29 October, 2013; originally announced October 2013.

Journal ref: J. Commut. Algebra Volume 8, Number 2 (2016), 207-226

Degree and algebraic properties of lattice and matrix ideals

Authors: Liam O'Carroll, Francesc Planas-Vilanova, Rafael H. Villarreal

Abstract: We study the degree of non-homogeneous lattice ideals over arbitrary fields, and give formulae to compute the degree in terms of the torsion of certain factor groups of Z^s and in terms of relative volumes of lattice polytopes. We also study primary decompositions of lattice ideals over an arbitrary field using the Eisenbud-Sturmfels theory of binomial ideals over algebraically closed fields. We t… ▽ More We study the degree of non-homogeneous lattice ideals over arbitrary fields, and give formulae to compute the degree in terms of the torsion of certain factor groups of Z^s and in terms of relative volumes of lattice polytopes. We also study primary decompositions of lattice ideals over an arbitrary field using the Eisenbud-Sturmfels theory of binomial ideals over algebraically closed fields. We then use these results to study certain families of integer matrices (PCB, GPCB, CB, GCB matrices) and the algebra of their corresponding matrix ideals. In particular, the family of generalized positive critical binomial matrices (GPCB matrices) is shown to be closed under transposition, and previous results for PCB ideals are extended to GPCB ideals. Then, more particularly, we give some applications to the theory of 1-dimensional binomial ideals. If G is a connected graph, we show as a further application that the order of its sandpile group is the degree of the Laplacian ideal and the degree of the toppling ideal. We also use our earlier results to give a structure theorem for graded lattice ideals of dimension 1 in 3 variables and for homogeneous lattices in Z^3 in terms of critical binomial ideals (CB ideals) and critical binomial matrices, respectively, thus complementing a well-known theorem of Herzog on the toric ideal of a monomial space curve. △ Less

Submitted 13 January, 2014; v1 submitted 21 March, 2013; originally announced March 2013.

Comments: SIAM J. Discrete Math., to appear

MSC Class: 13F20; 13A15; 13H15; 13P05

Journal ref: SIAM J. Discrete Math. 28 (2014), no. 1, 394--427

Regularity and algebraic properties of certain lattice ideals

Authors: Jorge Neves, Maria Vaz Pinto, Rafael H. Villarreal

Abstract: We study the regularity and the algebraic properties of certain lattice ideals. We establish a map I --> I\~ between the family of graded lattice ideals in an N-graded polynomial ring over a field K and the family of graded lattice ideals in a polynomial ring with the standard grading. This map is shown to preserve the complete intersection property and the regularity of I but not the degree. We r… ▽ More We study the regularity and the algebraic properties of certain lattice ideals. We establish a map I --> I\~ between the family of graded lattice ideals in an N-graded polynomial ring over a field K and the family of graded lattice ideals in a polynomial ring with the standard grading. This map is shown to preserve the complete intersection property and the regularity of I but not the degree. We relate the Hilbert series and the generators of I and I\~. If dim(I)=1, we relate the degrees of I and I\~. It is shown that the regularity of certain lattice ideals is additive in a certain sense. Then, we give some applications. For finite fields, we give a formula for the regularity of the vanishing ideal of a degenerate torus in terms of the Frobenius number of a semigroup. We construct vanishing ideals, over finite fields, with prescribed regularity and degree of a certain type. Let X be a subset of a projective space over a field K. It is shown that the vanishing ideal of X is a lattice ideal of dimension 1 if and only if X is a finite subgroup of a projective torus. For finite fields, it is shown that X is a subgroup of a projective torus if and only if X is parameterized by monomials. We express the regularity of the vanishing ideal over a bipartie graph in terms of the regularities of the vanishing ideals of the blocks of the graph. △ Less

Submitted 19 December, 2013; v1 submitted 17 January, 2013; originally announced January 2013.

Comments: Bull. Braz. Math. Soc. (N.S.), to appear

MSC Class: 13F20; 13P25; 14H45; 11T71

Journal ref: Bull. Braz. Math. Soc. (N.S.) 45 (2014), no. 4, 777--806

Complete intersection vanishing ideals on degenerate tori over finite fields

Authors: Hiram H. Lopez, Rafael H. Villarreal, Leticia Zarate

Abstract: We study the complete intersection property and the algebraic invariants (index of regularity, degree) of vanishing ideals on degenerate tori over finite fields. We establish a correspondence between vanishing ideals and toric ideals associated to numerical semigroups. This correspondence is shown to preserve the complete intersection property, and allows us to use some available algorithms to det… ▽ More We study the complete intersection property and the algebraic invariants (index of regularity, degree) of vanishing ideals on degenerate tori over finite fields. We establish a correspondence between vanishing ideals and toric ideals associated to numerical semigroups. This correspondence is shown to preserve the complete intersection property, and allows us to use some available algorithms to determine whether a given vanishing ideal is a complete intersection. We give formulae for the degree, and for the index of regularity of a complete intersection in terms of the Frobenius number and the generators of a numerical semigroup. △ Less

Submitted 21 December, 2012; v1 submitted 1 July, 2012; originally announced July 2012.

Comments: Arabian Journal of Mathematics, to appear

MSC Class: 13F20; 14H45

Journal ref: Arabian Journal of Mathematics, Springer, 2 (2013), no. 2, 189-197

Computing the degree of a lattice ideal of dimension one

Authors: Hiram H. Lopez, Rafael H. Villarreal

Abstract: We show that the degree of a graded lattice ideal of dimension 1 is the order of the torsion subgroup of the quotient group of the lattice. This gives an efficient method to compute the degree of this type of lattice ideals. We show that the degree of a graded lattice ideal of dimension 1 is the order of the torsion subgroup of the quotient group of the lattice. This gives an efficient method to compute the degree of this type of lattice ideals. △ Less

Submitted 4 January, 2014; v1 submitted 8 June, 2012; originally announced June 2012.

Comments: J. Symbolic Comput., to appear

MSC Class: 13F20; 13P25; 13H15; 11T71

Journal ref: Journal of Symbolic Computation, 65 (2014), no. 1, 15-28

Complete intersections in binomial and lattice ideals

Authors: Hiram H. Lopez, Rafael H. Villarreal

Abstract: For the family of graded lattice ideals of dimension 1, we establish a complete intersection criterion in algebraic and geometric terms. In positive characteristic, it is shown that all ideals of this family are binomial set theoretic complete intersections. In characteristic zero, we show that an arbitrary lattice ideal which is a binomial set theoretic complete intersection is a complete interse… ▽ More For the family of graded lattice ideals of dimension 1, we establish a complete intersection criterion in algebraic and geometric terms. In positive characteristic, it is shown that all ideals of this family are binomial set theoretic complete intersections. In characteristic zero, we show that an arbitrary lattice ideal which is a binomial set theoretic complete intersection is a complete intersection. △ Less

Submitted 11 June, 2013; v1 submitted 3 May, 2012; originally announced May 2012.

Comments: Internat. J. Algebra Comput., to appear

MSC Class: 13F20; 14H45; 13P25; 11T71

Journal ref: International Journal of Algebra and Computation, 23 (2013), no. 6, 1419-1429

Affine cartesian codes

Authors: Hiram H. Lopez, Carlos Renteria, Rafael H. Villarreal

Abstract: We compute the basic parameters (dimension, length, minimum distance) of affine evaluation codes defined on a cartesian product of finite sets. Given a sequence of positive integers, we construct an evaluation code, over a degenerate torus, with prescribed parameters. As an application of our results, we recover the formulas for the minimum distance of various families of evaluation codes. We compute the basic parameters (dimension, length, minimum distance) of affine evaluation codes defined on a cartesian product of finite sets. Given a sequence of positive integers, we construct an evaluation code, over a degenerate torus, with prescribed parameters. As an application of our results, we recover the formulas for the minimum distance of various families of evaluation codes. △ Less

Submitted 5 June, 2012; v1 submitted 31 January, 2012; originally announced February 2012.

Comments: Designs, Codes and Cryptography, to appear

MSC Class: 13P25; 14G50; 94B27; 11T71

Journal ref: Designs, Codes and Cryptography, 71 (2014), no. 1, 5-19

Vanishing ideals over graphs and even cycles

Authors: Jorge Neves, Maria Vaz Pinto, Rafael H. Villarreal

Abstract: Let X be an algebraic toric set in a projective space over a finite field. We study the vanishing ideal, I(X), of X and show some useful degree bounds for a minimal set of generators of I(X). We give an explicit description of a set of generators of I(X), when X is the algebraic toric set associated to an even cycle or to a connected bipartite graph with pairwise disjoint even cycles. In this case… ▽ More Let X be an algebraic toric set in a projective space over a finite field. We study the vanishing ideal, I(X), of X and show some useful degree bounds for a minimal set of generators of I(X). We give an explicit description of a set of generators of I(X), when X is the algebraic toric set associated to an even cycle or to a connected bipartite graph with pairwise disjoint even cycles. In this case, a fomula for the regularity of I(X) is given. We show an upper bound for this invariant, when X is associated to a (not necessarily connected) bipartite graph. The upper bound is sharp if the graph is connected. We are able to show a formula for the length of the parameterized linear code associated with any graph, in terms of the number of bipartite and non-bipartite components. △ Less

Submitted 8 March, 2012; v1 submitted 27 November, 2011; originally announced November 2011.

MSC Class: 13P25; 14G50; 94B27

Journal ref: Comm. Algebra 43 (2015), no. 3, 1050--1075

The Degree and regularity of vanishing ideals of algebraic toric sets over finite fields

Authors: Maria Vaz Pinto, Rafael H. Villarreal

Abstract: Let X* be a subset of an affine space A^s, over a finite field K, which is parameterized by the edges of a clutter. Let X and Y be the images of X* under the maps x --> [x] and x --> [(x,1)] respectively, where [x] and [(x,1)] are points in the projective spaces P^{s-1} and P^s respectively. For certain clutters and for connected graphs, we were able to relate the algebraic invariants and properti… ▽ More Let X* be a subset of an affine space A^s, over a finite field K, which is parameterized by the edges of a clutter. Let X and Y be the images of X* under the maps x --> [x] and x --> [(x,1)] respectively, where [x] and [(x,1)] are points in the projective spaces P^{s-1} and P^s respectively. For certain clutters and for connected graphs, we were able to relate the algebraic invariants and properties of the vanishing ideals I(X) and I(Y). In a number of interesting cases, we compute its degree and regularity. For Hamiltonian bipartite graphs, we show the Eisenbud-Goto regularity conjecture. We give optimal bounds for the regularity when the graph is bipartite. It is shown that X* is an affine torus if and only if I(Y) is a complete intersection. We present some applications to coding theory and show some bounds for the minimum distance of parameterized linear codes for connected bipartite graphs. △ Less

Submitted 21 June, 2013; v1 submitted 10 October, 2011; originally announced October 2011.

MSC Class: 13F20; 13P25; 11T71; 94B25

Journal ref: Comm. Algebra 41 (2013), no. 9, 3376--3396

Parameterized affine codes

Authors: Hiram H. Lopez, Eliseo Sarmiento, Maria Vaz Pinto, Rafael H. Villarreal

Abstract: Let K be a finite field and let X* be an affine algebraic toric set parameterized by monomials. We give an algebraic method, using Groebner bases, to compute the length and the dimension of C_X*(d), the parameterized affine code of degree d on the set X*. If Y is the projective closure of X*, it is shown that C_X^*(d) has the same basic parameters that C_Y(d), the parameterized projective code on… ▽ More Let K be a finite field and let X* be an affine algebraic toric set parameterized by monomials. We give an algebraic method, using Groebner bases, to compute the length and the dimension of C_X*(d), the parameterized affine code of degree d on the set X*. If Y is the projective closure of X*, it is shown that C_X^*(d) has the same basic parameters that C_Y(d), the parameterized projective code on the set Y. If X* is an affine torus, we compute the basic parameters of C_X*(d). We show how to compute the vanishing ideals of X* and Y. △ Less

Submitted 9 November, 2011; v1 submitted 11 September, 2011; originally announced September 2011.

Comments: Studia Sci. Math. Hungar., to appear

MSC Class: 13P25; 14G50; 94B27

Journal ref: Studia Scientiarum Mathematicarum Hungarica, 49 (2012), no. 3, 406-418

On the vanishing ideal of an algebraic toric set and its parameterized linear codes

Authors: Eliseo Sarmiento, Maria Vaz Pinto, Rafael H. Villarreal

Abstract: Let K be a finite field and let X be a subset of a projective space, over the field K, which is parameterized by monomials arising from the edges of a clutter. We show some estimates for the degree-complexity, with respect to the revlex order, of the vanishing ideal I(X) of X. If the clutter is uniform, we classify the complete intersection property of I(X) using linear algebra. We show an upper b… ▽ More Let K be a finite field and let X be a subset of a projective space, over the field K, which is parameterized by monomials arising from the edges of a clutter. We show some estimates for the degree-complexity, with respect to the revlex order, of the vanishing ideal I(X) of X. If the clutter is uniform, we classify the complete intersection property of I(X) using linear algebra. We show an upper bound for the minimum distance of certain parameterized linear codes along with certain estimates for the algebraic invariants of I(X). △ Less

Submitted 15 September, 2011; v1 submitted 21 July, 2011; originally announced July 2011.

Comments: J. Algebra Appl., to appear

MSC Class: 13P25; 14G50; 94B27

Journal ref: J. Algebra Appl. 11 (2012), no. 4, 1250072

Associated primes of powers of edge ideals

Authors: Jose Martinez-Bernal, Susan Morey, Rafael H. Villarreal

Abstract: Let G be a graph and let I be its edge ideal. Our main result shows that the sets of associated primes of the powers of I form an ascending chain. It is known that the sets of associated primes of I(i) and intcl(I(i)) stabilize for large i, where "intcl" denotes integral closure and I(i) denotes the i-th power of I. We show that for edge ideals their corresponding stable sets are equal. To show ou… ▽ More Let G be a graph and let I be its edge ideal. Our main result shows that the sets of associated primes of the powers of I form an ascending chain. It is known that the sets of associated primes of I(i) and intcl(I(i)) stabilize for large i, where "intcl" denotes integral closure and I(i) denotes the i-th power of I. We show that for edge ideals their corresponding stable sets are equal. To show our main result we use a classical result of Berge from matching theory and certain notions from combinatorial optimization. △ Less

Submitted 20 May, 2011; v1 submitted 4 March, 2011; originally announced March 2011.

Comments: Collectanea Mathematica, to appear

MSC Class: 13C13; 13A30; 13F55

Journal ref: Collect. Math. 63 (2012), no. 3, 361--374

Edge ideals: algebraic and combinatorial properties

Authors: Susan Morey, Rafael H. Villarreal

Abstract: Let C be a clutter and let I(C) be its edge ideal. This is a survey paper on the algebraic and combinatorial properties of R/I(C) and C, respectively. We give a criterion to estimate the regularity of R/I(C) and apply this criterion to give new proofs of some formulas for the regularity. If C is a clutter and R/I(C) is sequentially Cohen-Macaulay, we present a formula for the regularity of the ide… ▽ More Let C be a clutter and let I(C) be its edge ideal. This is a survey paper on the algebraic and combinatorial properties of R/I(C) and C, respectively. We give a criterion to estimate the regularity of R/I(C) and apply this criterion to give new proofs of some formulas for the regularity. If C is a clutter and R/I(C) is sequentially Cohen-Macaulay, we present a formula for the regularity of the ideal of vertex covers of C and give a formula for the projective dimension of R/I(C). We also examine the associated primes of powers of edge ideals, and show that for a graph with a leaf, these sets form an ascending chain. △ Less

Submitted 28 March, 2011; v1 submitted 23 December, 2010; originally announced December 2010.

MSC Class: 13-02; 13F55; 05C10

Journal ref: Progress in Commutative Algebra, Combinatorics and Homology, Vol. 1, 2012, pp. 85-126

The minimum distance of parameterized codes on projective tori

Authors: Eliseo Sarmiento, Maria Vaz Pinto, Rafael H. Villarreal

Abstract: Let X be a subset of a projective space, over a finite field K, which is parameterized by the monomials arising from the edges of a clutter. Let I(X) be the vanishing ideal of X. It is shown that I(X) is a complete intersection if and only if X is a projective torus. In this case we determine the minimum distance of any parameterized linear code arising from X. Let X be a subset of a projective space, over a finite field K, which is parameterized by the monomials arising from the edges of a clutter. Let I(X) be the vanishing ideal of X. It is shown that I(X) is a complete intersection if and only if X is a projective torus. In this case we determine the minimum distance of any parameterized linear code arising from X. △ Less

Submitted 20 July, 2011; v1 submitted 24 September, 2010; originally announced September 2010.

Comments: Appl. Algebra Engrg. Comm. Comput., to appear

MSC Class: 13P25; 14G50; 94B27

Journal ref: Appl. Algebra Engrg. Comm. Comput. 22 (2011), no. 4, 249--264

Algebraic methods for parameterized codes and invariants of vanishing ideals over finite fields

Authors: C. Renteria, A. Simis, R. H. Villarreal

Abstract: Let K be a finite field with q elements and let X be a subset of a projective space P^{s-1}, over the field K, which is parameterized by Laurent monomials. Let I(X) be the vanishing ideal of X. Some of the main contributions of this paper are in determining the structure of I(X) and some of their invariants. It is shown that I(X) is a lattice ideal. We introduce the notion of a parameterized code… ▽ More Let K be a finite field with q elements and let X be a subset of a projective space P^{s-1}, over the field K, which is parameterized by Laurent monomials. Let I(X) be the vanishing ideal of X. Some of the main contributions of this paper are in determining the structure of I(X) and some of their invariants. It is shown that I(X) is a lattice ideal. We introduce the notion of a parameterized code arising from X and present algebraic methods to compute and study its dimension, length and minimum distance. For a parameterized code arising from a connected graph we are able to compute its length and to make our results more precise. If the graph is non-bipartite, we show an upper bound for the minimum distance. We also study the underlying geometric structure of X. △ Less

Submitted 24 September, 2010; v1 submitted 9 January, 2010; originally announced January 2010.

Comments: Finite Fields Appl., to appear

MSC Class: 13P25; 94B27

Journal ref: Finite Fields Appl. 17 (2011), no. 1, 81-104

Combinatorics of symbolic Rees algebras of edge ideals of clutters

Authors: Jose Martinez-Bernal, Carlos Renteria, Rafael H. Villarreal

Abstract: Let C be a clutter and let I be its edge ideal. We present a combinatorial description of the minimal generators of the symbolic Rees algebra Rs(I) of I. It is shown that the minimal generators of Rs(I) are in one to one correspondence with the irreducible parallelizations of C. From our description some major results on symbolic Rees algebras of perfect graphs and clutters will follow. As a bypro… ▽ More Let C be a clutter and let I be its edge ideal. We present a combinatorial description of the minimal generators of the symbolic Rees algebra Rs(I) of I. It is shown that the minimal generators of Rs(I) are in one to one correspondence with the irreducible parallelizations of C. From our description some major results on symbolic Rees algebras of perfect graphs and clutters will follow. As a byproduct, we give a method, using Hilbert bases, to compute all irreducible parallelizations of C along with all the corresponding vertex covering numbers. △ Less

Submitted 14 August, 2010; v1 submitted 6 May, 2009; originally announced May 2009.

Comments: Contemp. Math., to appear

MSC Class: 13A30; 05C65

Journal ref: Contemp. Math. 555 (2011), 151--164

Combinatorics of Cremona monomial maps

Authors: Aron Simis, Rafael H. Villarreal

Abstract: One studies Cremona monomial maps by combinatorial means. Among the results is a simple integer matrix theoretic proof that the inverse of a Cremona monomial map is also defined by monomials of fixed degree, and moreover, the set of monomials defining the inverse can be obtained explicitly in terms of the initial data. A neat consequence is drawn for the plane Cremona monomial group, in particular… ▽ More One studies Cremona monomial maps by combinatorial means. Among the results is a simple integer matrix theoretic proof that the inverse of a Cremona monomial map is also defined by monomials of fixed degree, and moreover, the set of monomials defining the inverse can be obtained explicitly in terms of the initial data. A neat consequence is drawn for the plane Cremona monomial group, in particular the known result saying that a plane Cremona (monomial) map and its inverse have the same degree. Included is a discussion about the computational side and/or implementation of the combinatorial invariants stemming from these questions. △ Less

Submitted 6 April, 2011; v1 submitted 26 April, 2009; originally announced April 2009.

Comments: Mathematics of Computation, to appear

MSC Class: 14E05; 14E07

Journal ref: Math. Comp. 81 (2012), no. 279, 1857--1867