skip to main content
10.1145/1277500.1277516acmconferencesArticle/Chapter ViewAbstractPublication PagesissacConference Proceedingsconference-collections
Article

Polynomial-time algorithm for Hilbert series of Borel type ideals

Published:25 July 2007Publication History

ABSTRACT

In this paper, it is shown that the Hilbert series of a Borel type ideal may be computed within a complexity which is polynomial in Dn where n + 1 is the number of unknowns and D is the highest degree of a minimal generator of input (monomial) ideal.

References

  1. D. Bayer and M. Stillman. A criterion for detecting m-regularity. Invent. Math., 87(1):1--11, 1987.Google ScholarGoogle ScholarCross RefCross Ref
  2. D. Bayer and M. Stillman. Computation of Hilbert functions. J. Symbolic Comput., 14(1):31--50, 1992. Google ScholarGoogle ScholarDigital LibraryDigital Library
  3. I. Bermejo and P. Gimenez. Computing the Castelnuovo-Mumford regularity of some subschemes of PnK using quotients of monomial ideals. J. Pure Appl. Algebra, 164(1-2):23--33, 2001. Effective methods in algebraic geometry (Bath, 2000).Google ScholarGoogle ScholarCross RefCross Ref
  4. I. Bermejo and P. Gimenez. Saturation and Catelnuovo-Mumford regularity. J. Algebra, 303:592--617, 2006.Google ScholarGoogle ScholarCross RefCross Ref
  5. A. M. Bigatti, P. Conti, L. Robbiano, and C. Traverso. A "divide and conquer" algorithm for Hilbert-Poincaré series, multiplicity and dimension of monomial ideals. In Applied algebra, algebraic algorithms and error-correcting codes (San Juan, PR, 1993), volume 673 of Lecture Notes in Comput. Sci., pages 76--88. Springer, Berlin, 1993. Google ScholarGoogle ScholarDigital LibraryDigital Library
  6. D. Cox, J. Little, and D. O'Shea. Using algebraic geometry, volume 185 of Graduate Texts in Mathematics. Springer-Verlag, New York, 1998.Google ScholarGoogle Scholar
  7. S. Eliahou and M. Kervaire. Minimal resolutions of some monomial ideals. J. Algebra, 129(1):1--25, 1990.Google ScholarGoogle ScholarCross RefCross Ref
  8. R. Fröberg. An introduction to Gröbner bases. Pure and Applied Mathematics (New York). John Wiley & Sons Ltd., Chichester, 1997.Google ScholarGoogle Scholar
  9. G.-M. Greuel, G. Pfister, and H. Schönemann. Singular 3.0. A Computer Algebra System for Polynomial Computations, Centre for Computer Algebra, University of Kaiserslautern, 2005. http://www.singular.uni-kl.de.Google ScholarGoogle Scholar
  10. A. Hashemi. Strong Noether Position and Stabilized Regularities. submitted to Applicable Algebra in Engineering, Communication and Computing, 2006.Google ScholarGoogle Scholar
  11. J. Herzog, D. Popescu, and M. Vladoiu. On the Ext-modules of ideals of Borel type. In Commutative algebra (Grenoble/Lyon, 2001), volume 331 of Contemp. Math., pages 171--186. Amer. Math. Soc., Providence, RI, 2003.Google ScholarGoogle Scholar
  12. A. Imran and A. Sarfraz. Regularity of ideals of Borel type is linearly bounded. Preprint (see math.AC/0610537), 2007.Google ScholarGoogle Scholar
  13. E. W. Mayr and A. R. Meyer. The complexity of the word problems for commutative semigroups and polynomial ideals. Adv. in Math., 46(3):305--329, 1982.Google ScholarGoogle ScholarCross RefCross Ref

Index Terms

  1. Polynomial-time algorithm for Hilbert series of Borel type ideals

      Recommendations

      Comments

      Login options

      Check if you have access through your login credentials or your institution to get full access on this article.

      Sign in
      • Published in

        cover image ACM Conferences
        SNC '07: Proceedings of the 2007 international workshop on Symbolic-numeric computation
        July 2007
        218 pages
        ISBN:9781595937445
        DOI:10.1145/1277500

        Copyright © 2007 ACM

        Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

        Publisher

        Association for Computing Machinery

        New York, NY, United States

        Publication History

        • Published: 25 July 2007

        Permissions

        Request permissions about this article.

        Request Permissions

        Check for updates

        Qualifiers

        • Article
      • Article Metrics

        • Downloads (Last 12 months)0
        • Downloads (Last 6 weeks)0

        Other Metrics

      PDF Format

      View or Download as a PDF file.

      PDF

      eReader

      View online with eReader.

      eReader