Showing 1–16 of 16 results for author: Bigatti, A M

Computation of dominant ideals

Authors: Anna Maria Bigatti, Nursel Erey, Selvi Kara, Augustine O'Keefe, Sonja Petrović, Pierpaola Santarsiero, Janet Striuli

Abstract: We consider the problem of determining whether a monomial ideal is dominant. This property is critical for determining for which monomial ideals the Taylor resolution is minimal. We first analyze dominant ideals with a fixed least common multiple of generators using combinatorial methods. Then, we adopt a probabilistic approach via the \er\ type model, examining both homogeneous and non-homogeneou… ▽ More We consider the problem of determining whether a monomial ideal is dominant. This property is critical for determining for which monomial ideals the Taylor resolution is minimal. We first analyze dominant ideals with a fixed least common multiple of generators using combinatorial methods. Then, we adopt a probabilistic approach via the \er\ type model, examining both homogeneous and non-homogeneous cases. This model offers an efficient alternative to exhaustive enumeration, allowing the study of dominance through small random samples, even in high-dimensional settings. △ Less

Submitted 16 April, 2025; originally announced April 2025.

A new iterative algorithm for comprehensive Grobner systems

Authors: Anna Maria Bigatti, Elisa Palezzato, Michele Torielli

Abstract: A Comprehensive Grobner system for a parametric ideal I in K(A)[X] represents the collection of all Grobner bases of the ideals I' in K[X] obtained as the values of the parameters A vary in K. The recent algorithms for computing them comprehensive Grobner systems consider the corresponding ideal J in K[A,X], and are based on stability of Grobner bases of ideals under specializations of the param… ▽ More A Comprehensive Grobner system for a parametric ideal I in K(A)[X] represents the collection of all Grobner bases of the ideals I' in K[X] obtained as the values of the parameters A vary in K. The recent algorithms for computing them comprehensive Grobner systems consider the corresponding ideal J in K[A,X], and are based on stability of Grobner bases of ideals under specializations of the parameters. Starting from a Grobner basis of J, the computation splits recursively depending on the vanishing of the evaluation of some ``coefficients'' in K[A]. In this paper, taking inspiration from the algorithm described by Nabeshima, we create a new iterative algorithm to compute comprehensive Grobner systems. We show how we keep track of the sub-cases to be considered, and how we avoid some redundant computation branches using ``comparatively-cheap'' ideal-membership tests, instead of radical-membership tests. △ Less

Submitted 20 April, 2024; originally announced April 2024.

A C++ class for algebraic reliability computations

Authors: Anna Maria Bigatti, Patricia Pascual-Ortigosa, Eduardo Sáenz-de-Cabezón

Abstract: We present the design and implementation of a \texttt{C++} class for reliability analysis of multi-state systems using an algebraic approach based on monomial ideals. The class is implemented within the open-source \verb|CoCoALib| library and provides functions to compute system reliability and bounds. The algorithms we present may be applied to general systems with independent components having i… ▽ More We present the design and implementation of a \texttt{C++} class for reliability analysis of multi-state systems using an algebraic approach based on monomial ideals. The class is implemented within the open-source \verb|CoCoALib| library and provides functions to compute system reliability and bounds. The algorithms we present may be applied to general systems with independent components having identical or non-identical probability distributions. △ Less

Submitted 30 September, 2021; v1 submitted 17 September, 2021; originally announced September 2021.

Comments: 28 pages

Saturations of Subalgebras, SAGBI Bases, and U-invariants

Authors: Anna Maria Bigatti, Lorenzo Robbiano

Abstract: Given a polynomial ring $P$ over a field $K$, an element $g \in P$, and a $K$-subalgebra $S$ of $P$, we deal with the problem of saturating $S$ with respect to $g$, i.e. computing $Sat_g(S) = S[g, g^{-1}]\cap P$. In the general case we describe a procedure/algorithm to compute a set of generators for $Sat_g(S)$ which terminates if and only if it is finitely generated. Then we consider the more i… ▽ More Given a polynomial ring $P$ over a field $K$, an element $g \in P$, and a $K$-subalgebra $S$ of $P$, we deal with the problem of saturating $S$ with respect to $g$, i.e. computing $Sat_g(S) = S[g, g^{-1}]\cap P$. In the general case we describe a procedure/algorithm to compute a set of generators for $Sat_g(S)$ which terminates if and only if it is finitely generated. Then we consider the more interesting case when $S$ is graded. In particular, if $S$ is graded by a positive matrix $W$ and $g$ is an indeterminate, we show that if we choose a term ordering $σ$ of $g$-DegRev type compatible with $W$, then the two operations of computing a $σ$-SAGBI basis of $S$ and saturating $S$ with respect to $g$ commute. This fact opens the doors to nice algorithms for the computation of $Sat_g(S)$. In particular, under special assumptions on the grading one can use the truncation of a $σ$-SAGBI basis and get the desired result. Notably, this technique can be applied to the problem of directly computing some $U$-invariants, classically called semi-invariants, even in the case that $K$ is not the field of complex numbers. △ Less

Submitted 11 May, 2020; v1 submitted 24 September, 2019; originally announced September 2019.

Comments: Strongly improved introduction. Minor errors corrected. To be published in the JSC (MEGA 2019)

MSC Class: 13P10; 08A30; 13-04; 14R20; 68W30

New characterizations of freeness for hyperplane arrangements

Authors: Anna Maria Bigatti, Elisa Palezzato, Michele Torielli

Abstract: In this article we describe two new characterizations of freeness for hyperplane arrangements via the study of the generic initial ideal and of the sectional matrix of the Jacobian ideal of arrangements. In this article we describe two new characterizations of freeness for hyperplane arrangements via the study of the generic initial ideal and of the sectional matrix of the Jacobian ideal of arrangements. △ Less

Submitted 30 January, 2018; originally announced January 2018.

Ideals modulo a prime

Authors: John Abbott, Anna Maria Bigatti, Lorenzo Robbiano

Abstract: The main focus of this paper is on the problem of relating an ideal $I$ in the polynomial ring $\mathbb Q[x_1, \dots, x_n]$ to a corresponding ideal in $\mathbb F_p[x_1,\dots, x_n]$ where $p$ is a prime number; in other words, the \textit{reduction modulo $p$} of $I$. We first define a new notion of $σ$-good prime for $I$ which does depends on the term ordering $σ$, but not on the given generators… ▽ More The main focus of this paper is on the problem of relating an ideal $I$ in the polynomial ring $\mathbb Q[x_1, \dots, x_n]$ to a corresponding ideal in $\mathbb F_p[x_1,\dots, x_n]$ where $p$ is a prime number; in other words, the \textit{reduction modulo $p$} of $I$. We first define a new notion of $σ$-good prime for $I$ which does depends on the term ordering $σ$, but not on the given generators of $I$. We relate our notion of $σ$-good primes to some other similar notions already in the literature. Then we introduce and describe a new invariant called the universal denominator which frees our definition of reduction modulo~$p$ from the term ordering, thus letting us show that all but finitely many primes are good for $I$. One characteristic of our approach is that it enables us to easily detect some bad primes, a distinct advantage when using modular methods. △ Less

Submitted 12 December, 2019; v1 submitted 18 January, 2018; originally announced January 2018.

Comments: Improvements, and extended bibliography. To be published on "Journal of Algebra and Its Applications (JAA)"

MSC Class: 13P25; 13P10; 13-04; 14Q10; 68W30

Computing and Using Minimal Polynomials

Authors: John Abbott, Anna Maria Bigatti, Elisa Palezzato, Lorenzo Robbiano

Abstract: Given a zero-dimensional ideal I in a polynomial ring, many computations start by finding univariate polynomials in I. Searching for a univariate polynomial in I is a particular case of considering the minimal polynomial of an element in P/I. It is well known that minimal polynomials may be computed via elimination, therefore this is considered to be a "resolved problem". But being the key of so m… ▽ More Given a zero-dimensional ideal I in a polynomial ring, many computations start by finding univariate polynomials in I. Searching for a univariate polynomial in I is a particular case of considering the minimal polynomial of an element in P/I. It is well known that minimal polynomials may be computed via elimination, therefore this is considered to be a "resolved problem". But being the key of so many computations, it is worth investigating its meaning, its optimization, its applications (e.g. testing if a zero-dimensional ideal is radical, primary or maximal). We present efficient algorithms for computing the minimal polynomial of an element of P/I. For the specific case where the coefficients are in Q, we show how to use modular methods to obtain a guaranteed result. We also present some applications of minimal polynomials, namely algorithms for computing radicals and primary decompositions of zero-dimensional ideals, and also for testing radicality and maximality. △ Less

Submitted 7 August, 2019; v1 submitted 23 February, 2017; originally announced February 2017.

Comments: This is a fully revised version. To be published in Journal of Symbolic Computation, special Issue on Symbolic Computation and Satisfiability Checking

MSC Class: 13P25; 13P10; 13-04; 14Q10; 68W30

Journal ref: JSC 2019

Extremal behaviour in sectional matrices

Authors: Anna Maria Bigatti, Elisa Palezzato, Michele Torielli

Abstract: In this paper we want to revive the object sectional matrix which encodes the Hilbert functions of successive hyperplane sections of a homogeneous ideal. We translate and/or reprove recent results in this language. Moreover, some new results are shown about their maximal growth and Persistence Theorem, a gen- eralization of Gotzmann's persistence Theorem. This suggests that further investigation o… ▽ More In this paper we want to revive the object sectional matrix which encodes the Hilbert functions of successive hyperplane sections of a homogeneous ideal. We translate and/or reprove recent results in this language. Moreover, some new results are shown about their maximal growth and Persistence Theorem, a gen- eralization of Gotzmann's persistence Theorem. This suggests that further investigation of this object might cast a new light in the study of geometric consequences of maximal growth of the Hilbert function. △ Less

Submitted 19 October, 2017; v1 submitted 10 February, 2017; originally announced February 2017.

MSC Class: 13D40; 05E40; 13P99

Groebner Bases for Everyone with CoCoA-5 and CoCoALib

Authors: John Abbott, Anna Maria Bigatti

Abstract: We present a survey on the developments related to Groebner bases, and show explicit examples in CoCoA. The CoCoA project dates back to 1987: its aim was to create a "mathematician"-friendly computational laboratory for studying Commutative Algebra, most especially Groebner bases. Always maintaining this "friendly" tradition, the project has grown and evolved, and the software has been completely… ▽ More We present a survey on the developments related to Groebner bases, and show explicit examples in CoCoA. The CoCoA project dates back to 1987: its aim was to create a "mathematician"-friendly computational laboratory for studying Commutative Algebra, most especially Groebner bases. Always maintaining this "friendly" tradition, the project has grown and evolved, and the software has been completely rewritten. CoCoA offers Groebner bases for all levels of interest: from the basic, explicit call in the interactive system CoCoA-5, to problem-specific optimized implementations, to the computer--computer communication with the open source C++ software library, CoCoALib, or the prototype OpenMath-based server. The openness and clean design of CoCoALib and CoCoA-5 are intended to offer different levels of usage, and to encourage external contributions. △ Less

Submitted 18 April, 2017; v1 submitted 22 November, 2016; originally announced November 2016.

Comments: 24 pages

MSC Class: 13P15; 13P10; 13-04; 14Q10; 68W30; 05E40; 68W24

Journal ref: Advanced Studies in Pure Mathematics 75, 2017

Satisfiability Checking meets Symbolic Computation (Project Paper)

Authors: E. Abraham, J. Abbott, B. Becker, A. M. Bigatti, M. Brain, B. Buchberger, A. Cimatti, J. H. Davenport, M. England, P. Fontaine, S. Forrest, A. Griggio, D. Kroening, W. M. Seiler, T. Sturm

Abstract: Symbolic Computation and Satisfiability Checking are two research areas, both having their individual scientific focus but sharing also common interests in the development, implementation and application of decision procedures for arithmetic theories. Despite their commonalities, the two communities are rather weakly connected. The aim of our newly accepted SC-square project (H2020-FETOPEN-CSA) is… ▽ More Symbolic Computation and Satisfiability Checking are two research areas, both having their individual scientific focus but sharing also common interests in the development, implementation and application of decision procedures for arithmetic theories. Despite their commonalities, the two communities are rather weakly connected. The aim of our newly accepted SC-square project (H2020-FETOPEN-CSA) is to strengthen the connection between these communities by creating common platforms, initiating interaction and exchange, identifying common challenges, and developing a common roadmap from theory along the way to tools and (industrial) applications. In this paper we report on the aims and on the first activities of this project, and formalise some relevant challenges for the unified SC-square community. △ Less

Submitted 27 July, 2016; originally announced July 2016.

Journal ref: M. Kohlhase, M. Johansson, B. Miller, L. de Moura, F. Tompa, eds., Intelligent Computer Mathematics (Proceedings of CICM 2016), pp. 28-43, (Lecture Notes in Computer Science, 9791). Springer International Publishing, 2016

Satisfiability Checking and Symbolic Computation

Authors: E. Abraham, J. Abbott, B. Becker, A. M. Bigatti, M. Brain, B. Buchberger, A. Cimatti, J. H. Davenport, M. England, P. Fontaine, S. Forrest, A. Griggio, D. Kroening, W. M. Seiler, T. Sturm

Abstract: Symbolic Computation and Satisfiability Checking are viewed as individual research areas, but they share common interests in the development, implementation and application of decision procedures for arithmetic theories. Despite these commonalities, the two communities are currently only weakly connected. We introduce a new project SC-square to build a joint community in this area, supported by a… ▽ More Symbolic Computation and Satisfiability Checking are viewed as individual research areas, but they share common interests in the development, implementation and application of decision procedures for arithmetic theories. Despite these commonalities, the two communities are currently only weakly connected. We introduce a new project SC-square to build a joint community in this area, supported by a newly accepted EU (H2020-FETOPEN-CSA) project of the same name. We aim to strengthen the connection between these communities by creating common platforms, initiating interaction and exchange, identifying common challenges, and developing a common roadmap. This abstract and accompanying poster describes the motivation and aims for the project, and reports on the first activities. △ Less

Submitted 23 July, 2016; originally announced July 2016.

Comments: 3 page Extended Abstract to accompany an ISSAC 2016 poster. Poster available at http://www.sc-square.org/SC2-AnnouncementPoster.pdf

Journal ref: ACM Communications in Computer Algebra, 50:4 (issue 198), pp. 145-147, ACM, 2016

Implicitization of Hypersurfaces

Authors: John Abbott, Anna Maria Bigatti, Lorenzo Robbiano

Abstract: We present new, practical algorithms for the hypersurface implicitization problem: namely, given a parametric description (in terms of polynomials or rational functions) of the hypersurface, find its implicit equation. Two of them are for polynomial parametrizations: one algorithm, "ElimTH", has as main step the computation of an elimination ideal via a \textit{truncated, homogeneous} Gröbner basi… ▽ More We present new, practical algorithms for the hypersurface implicitization problem: namely, given a parametric description (in terms of polynomials or rational functions) of the hypersurface, find its implicit equation. Two of them are for polynomial parametrizations: one algorithm, "ElimTH", has as main step the computation of an elimination ideal via a \textit{truncated, homogeneous} Gröbner basis. The other algorithm, "Direct", computes the implicitization directly using an approach inspired by the generalized Buchberger-Möller algorithm. Either may be used inside the third algorithm, "RatPar", to deal with parametrizations by rational functions. Finally we show how these algorithms can be used in a modular approach, algorithm "ModImplicit", for avoiding the high costs of arithmetic with rational numbers. We exhibit experimental timings to show the practical efficiency of our new algorithms. △ Less

Submitted 13 October, 2016; v1 submitted 12 February, 2016; originally announced February 2016.

Comments: Improved version to appear on the J.Symb.Comput

MSC Class: 13P25; 13P10; 13-04; 14Q10; 68W30

Computing Inhomogeneous Groebner Bases

Authors: A. M. Bigatti, M. Caboara, L. Robbiano

Abstract: In this paper we describe how an idea centered on the concept of self-saturation allows several improvements in the computation of Groebner bases via Buchberger's Algorithm. In this paper we describe how an idea centered on the concept of self-saturation allows several improvements in the computation of Groebner bases via Buchberger's Algorithm. △ Less

Submitted 8 January, 2009; originally announced January 2009.

Comments: 19 pages

MSC Class: 13P10; 68W30

(n-1)-st Koszul homology and the structure of monomial ideals

Authors: Anna M. Bigatti, E. Saenz-de-Cabezon

Abstract: Koszul homology of monomial ideals provides a description of the structure of such ideals, not only from a homological point of view (free resolutions, Betti numbers, Hilbert series) but also from an algebraic viewpoint. In this paper we show that, in particular, the homology at degree (n-1), with n the number of indeterminates of the ring, plays an important role for this algebraic description… ▽ More Koszul homology of monomial ideals provides a description of the structure of such ideals, not only from a homological point of view (free resolutions, Betti numbers, Hilbert series) but also from an algebraic viewpoint. In this paper we show that, in particular, the homology at degree (n-1), with n the number of indeterminates of the ring, plays an important role for this algebraic description in terms of Stanley and irreducible decompositions. △ Less

Submitted 6 November, 2008; originally announced November 2008.

MSC Class: 13D02;05E99

Generic initial ideals and distractions

Authors: A. M. Bigatti, A. Conca, L. Robbiano

Abstract: The generic initial ideals of a given ideal are rather recent invariants. Not much is known about these objects, and it turns out to be very difficult to compute them. The main purpose of this paper is to study the behaviour of generic initial ideals with respect to the operation of taking distractions. Our main result states that the revlex generic initial ideal of the distraction of a strongly… ▽ More The generic initial ideals of a given ideal are rather recent invariants. Not much is known about these objects, and it turns out to be very difficult to compute them. The main purpose of this paper is to study the behaviour of generic initial ideals with respect to the operation of taking distractions. Our main result states that the revlex generic initial ideal of the distraction of a strongly stable ideal is the ideal itself. In proving this fact we develop some new results related to distractions, stable and strongly stable ideals. We show, for example, that the gin of a "principal" stable ideal does not depend on the term order and onthe characteristic of the base field. We draw some geometric conclusions for ideals of points. △ Less

Submitted 1 August, 2003; originally announced August 2003.

MSC Class: 13C99; 13P10

Upper Bounds for the Betti Numbers of a given Hilbert Function

Authors: Anna Maria Bigatti

Abstract: From a Macaulay's paper it follows that a lex-segment ideal has the greatest number of generators (the 0-th Betti number $\b_0$) among all the homogeneous ideals with the same Hilbert function. In this paper we prove that this fact extends to every Betti number, in the sense that all the Betti numbers of a minimal free resolution of a lex segment ideal are bigger than or equal to the ones of any… ▽ More From a Macaulay's paper it follows that a lex-segment ideal has the greatest number of generators (the 0-th Betti number $\b_0$) among all the homogeneous ideals with the same Hilbert function. In this paper we prove that this fact extends to every Betti number, in the sense that all the Betti numbers of a minimal free resolution of a lex segment ideal are bigger than or equal to the ones of any homogeneous ideal with the same Hilbert function. △ Less

Submitted 19 May, 1992; originally announced May 1992.

Comments: 18 pages, plain tex