Skip to main content
Erschienen in: Foundations of Computational Mathematics 2/2012

01.04.2012

Algebraic Osculation and Application to Factorization of Sparse Polynomials

verfasst von: Martin Weimann

Erschienen in: Foundations of Computational Mathematics | Ausgabe 2/2012

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

We prove a theorem on algebraic osculation and apply our result to the computer algebra problem of polynomial factorization. We consider X a smooth completion of ℂ2 and D an effective divisor with support the boundary ∂X=X∖ℂ2. Our main result gives explicit conditions that are necessary and sufficient for a given Cartier divisor on the subscheme \((|D|,\mathcal{O}_{D})\) to extend to X. These osculation criteria are expressed with residues. When applied to the toric setting, our result gives rise to a new algorithm for factoring sparse bivariate polynomials which takes into account the geometry of the Newton polytope.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Fußnoten
1
The genericity must be defined relative to some invariant, such as the cardinality of interior lattice points, or the volume.
 
Literatur
1.
Zurück zum Zitat F. Abu Salem, S. Gao, A.G.B. Lauder, Factoring polynomials via polytopes, in Proc. of ISSAC (2004), pp. 4–11. CrossRef F. Abu Salem, S. Gao, A.G.B. Lauder, Factoring polynomials via polytopes, in Proc. of ISSAC (2004), pp. 4–11. CrossRef
2.
3.
Zurück zum Zitat W.P. Barth, K. Hulek, C.A.M. Peters, A. Van De Ven, Compact Complex Surfaces, 2nd edn. (Springer, Berlin, 2004). MATH W.P. Barth, K. Hulek, C.A.M. Peters, A. Van De Ven, Compact Complex Surfaces, 2nd edn. (Springer, Berlin, 2004). MATH
4.
Zurück zum Zitat K. Belabas, M. van Hoeij, J. Kluners, A. Steel, Factoring polynomials over global fields, J. Théor. Nr. Bordx. 21(1), 15–39 (2009). MATHCrossRef K. Belabas, M. van Hoeij, J. Kluners, A. Steel, Factoring polynomials over global fields, J. Théor. Nr. Bordx. 21(1), 15–39 (2009). MATHCrossRef
5.
Zurück zum Zitat G. Chèze, Absolute polynomial factorization in two variables and the knapsack problem, in Proc. of ISSAC (2004), pp. 87–94. CrossRef G. Chèze, Absolute polynomial factorization in two variables and the knapsack problem, in Proc. of ISSAC (2004), pp. 87–94. CrossRef
6.
Zurück zum Zitat G. Chèze, A. Galligo, From an approximate to an exact factorization, J. Symb. Comput. 41(6), 682–696 (2006). MATHCrossRef G. Chèze, A. Galligo, From an approximate to an exact factorization, J. Symb. Comput. 41(6), 682–696 (2006). MATHCrossRef
7.
Zurück zum Zitat G. Chèze, G. Lecerf, Lifting and recombination techniques for absolute factorization, J. Complex. 23(3), 380–420 (2007). MATHCrossRef G. Chèze, G. Lecerf, Lifting and recombination techniques for absolute factorization, J. Complex. 23(3), 380–420 (2007). MATHCrossRef
9.
10.
Zurück zum Zitat W. Fulton, Introduction to Toric Varieties. Annals of Math. Studies (Princeton University Press, Princeton, 1993). MATH W. Fulton, Introduction to Toric Varieties. Annals of Math. Studies (Princeton University Press, Princeton, 1993). MATH
12.
Zurück zum Zitat S. Gao, A.G.B. Lauder, Decomposition of polytopes and polynomials, Discrete Comput. Geom. 6(1), 89–124 (2001). MathSciNet S. Gao, A.G.B. Lauder, Decomposition of polytopes and polynomials, Discrete Comput. Geom. 6(1), 89–124 (2001). MathSciNet
13.
Zurück zum Zitat M.L. Green, Secant functions, the Reiss relation and its converse, Trans. Am. Math. Soc. 280(2), 499–507 (1983). MATHCrossRef M.L. Green, Secant functions, the Reiss relation and its converse, Trans. Am. Math. Soc. 280(2), 499–507 (1983). MATHCrossRef
15.
Zurück zum Zitat P.A. Griffiths, J. Harris, Principles of Algebraic Geometry. Pure and Applied Mathematics (Wiley-Interscience, New York, 1978). MATH P.A. Griffiths, J. Harris, Principles of Algebraic Geometry. Pure and Applied Mathematics (Wiley-Interscience, New York, 1978). MATH
16.
Zurück zum Zitat P.A. Griffiths, J. Harris, Residues and zero-cycles on algebraic varieties, Ann. Math. 128, 461–505 (1978). MathSciNetCrossRef P.A. Griffiths, J. Harris, Residues and zero-cycles on algebraic varieties, Ann. Math. 128, 461–505 (1978). MathSciNetCrossRef
17.
Zurück zum Zitat G. Henkin, M. Passare, Abelian differentials on singular varieties and variation on a theorem of Lie-Griffiths, Invent. Math. 135, 297–328 (1999). MathSciNetMATHCrossRef G. Henkin, M. Passare, Abelian differentials on singular varieties and variation on a theorem of Lie-Griffiths, Invent. Math. 135, 297–328 (1999). MathSciNetMATHCrossRef
18.
Zurück zum Zitat A.G. Khovansky, Newton polyhedra and toric varieties, Funct. Anal. Appl. 11, 56–67 (1977). A.G. Khovansky, Newton polyhedra and toric varieties, Funct. Anal. Appl. 11, 56–67 (1977).
19.
20.
Zurück zum Zitat A.M. Ostrowski, On multiplication and factorization of polynomials. Lexicographic orderings and extreme aggregates of terms, Aequ. Math. 13, 201–228 (1975). MathSciNetMATHCrossRef A.M. Ostrowski, On multiplication and factorization of polynomials. Lexicographic orderings and extreme aggregates of terms, Aequ. Math. 13, 201–228 (1975). MathSciNetMATHCrossRef
21.
Zurück zum Zitat A. Tsikh, Multidimensional residues and their applications, Trans. Am. Math. Soc. 103 (1992). A. Tsikh, Multidimensional residues and their applications, Trans. Am. Math. Soc. 103 (1992).
22.
Zurück zum Zitat J. von zur Gathen, J. Gerhard, Modern Computer Algebra, 1st edn. (Cambridge University Press, Cambridge, 1999). MATH J. von zur Gathen, J. Gerhard, Modern Computer Algebra, 1st edn. (Cambridge University Press, Cambridge, 1999). MATH
23.
Zurück zum Zitat M. Weimann, Trace et calcul résiduel: nouvelle version du théorème d’Abel-inverse et formes abéliennes, Ann. Toulouse 16(2), 397–424 (2007). MathSciNetMATHCrossRef M. Weimann, Trace et calcul résiduel: nouvelle version du théorème d’Abel-inverse et formes abéliennes, Ann. Toulouse 16(2), 397–424 (2007). MathSciNetMATHCrossRef
25.
Zurück zum Zitat M. Weimann, A lifting and recombination algorithm for rational factorization of sparse polynomials, J. Complex. 26(6), 608–628 (2010). MathSciNetMATHCrossRef M. Weimann, A lifting and recombination algorithm for rational factorization of sparse polynomials, J. Complex. 26(6), 608–628 (2010). MathSciNetMATHCrossRef
26.
Zurück zum Zitat J.A. Wood, Osculation by algebraic hypersurfaces, J. Differ. Geom. 18, 563–573 (1983). MATH J.A. Wood, Osculation by algebraic hypersurfaces, J. Differ. Geom. 18, 563–573 (1983). MATH
Metadaten
Titel
Algebraic Osculation and Application to Factorization of Sparse Polynomials
verfasst von
Martin Weimann
Publikationsdatum
01.04.2012
Verlag
Springer-Verlag
Erschienen in
Foundations of Computational Mathematics / Ausgabe 2/2012
Print ISSN: 1615-3375
Elektronische ISSN: 1615-3383
DOI
https://doi.org/10.1007/s10208-012-9114-z

Premium Partner