Abstract:
Multihomogeneous structure in algebraic systems is the first step away from the classical theory of homogeneous equations towards fully exploiting arbitrary supports. We propose constructive methods for resultant matrices in the entire spectrum of resultant formulae, ranging from pure Sylvester to pure Bézout types, including hybrid matrices. Our approach makes heavy use of the combinatorics of multihomogeneous systems, inspired by and generalizing certain joint results by Zelevinsky, and Sturmfels or Weyman [15, 18]. One contribution is to provide conditions and algorithmic tools so as to classify and construct the smallest possible determinantal formulae for multihomogeneous resultants. We also examine the smallest Sylvester-type matrices, generically of full rank, which yield a multiple of the resultant. The last contribution is to characterize the systems that admit a purely Bézout-type matrix and show a bijection of such matrices with the permutations of the variable groups. Interestingly, it is the same class of systems admitting an optimal Sylvester-type formula. We conclude with an example showing all kinds of matrices that may be encountered, and illustrations of our MAPLE implementation.
Registro:
| Documento: |
Conferencia
|
| Título: | Multihomogeneous resultant matrices |
| Autor: | Dickenstein, A.; Emiris, I.Z.; Mora T. |
| Ciudad: | Lille |
| Filiación: | Departamento de Matemática, F.C.E y N., UBA (1428) Buenos Aires, Argentina
|
| Palabras clave: | Degree vector; Determinantal formula; Multihomogeneous system; Sparse resultant; Sylvester and Bézout type matrix; Algorithms; Combinatorial mathematics; Computer aided software engineering; Computer simulation; Game theory; Polynomials; Bezout types; Classical theory of homogeneous equations; Degree vector; Determinantal formula; MAPLE implementation; Multihomogeneous resultant matrices; Sparse resultant; Sylvester type matrices; Matrix algebra |
| Año: | 2002
|
| Página de inicio: | 46
|
| Página de fin: | 54
|
| Título revista: | Proceedings of the 2002 International Symposium on Symbolic and Algebraic Computation
|
| Título revista abreviado: | Proc Int Symp Symbol Algebraic Comput ISSAC
|
| Registro: | https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_NIS20461_v_n_p46_Dickenstein |
Referencias:
- Cardinal, J.-P., Mourrain, B., Algebraic approach of residues and applications (1996) Math. of Numerical Analysis, pp. 189-210. , J. Renegar, M. Shub, & S. Smale, eds.; Lect. Appl. Math. AMS
- Chionh, E., Goldman, R., Zhang, M., Hybrid Dixon resultants (1998) Proc. 8th IMA Conf. Math. of Surfaces, pp. 193-212
- Chtcherba, A., Kapur, D., Conditions for exact resultants using the Dixon formulation (2000) Proc. ACM ISSAC, pp. 62-70
- D'Andrea, C., Dickenstein, A., Explicit formulas for the multivariate resultant (2001) J. Pure Appl. Algebra, 164 (1-2), pp. 59-86
- D'Andrea, C., Emiris, I.Z., Computing sparse projection operators Symb. Comput.: Solving Equations in Algebra, Geometry, & Engineering, 286, pp. 121-139. , E. Green, S. Hoşten, R. Laubenbacher, & V. Powers, eds.; Cont. Math. AMS, 2001
- Eisenbud, D., Schreyer, F.-O., Resultants and Chow forms via exterior syzygies (2001), Tech. Rep. 037, MSRI; Emiris, I.Z., Canny, J., Efficient incremental algorithms for the sparse resultant and the mixed volume (1995) J. Symb. Comput., 20, pp. 117-149
- Emiris, I.Z., Mourrain, B., Matrices in elimination theory (1999) J. Symb. Comput., Spec. Iss. on Elimination, 28, pp. 3-44
- Emiris, I.Z., Pan, V., Symbolic and numeric methods for exploiting structure in constructing resultant matrices (2002) J. Symb. Comput., , To appear
- Gelfand, I., Kapranov, M., Zelevinsky, A., (1994) Discriminants, Resultants and Multidimensional Determinants, , Birkhäuser, Boston
- Hartshorne, R., (1977) Algebraic Geometry, , Graduate Texts in Math. Springer, New York
- Jouanolou, J.-P., Formes d'inertie et résultant: Un formulaire (1997) Adv. in Math., 126, pp. 119-250
- Mourrain, B., Pan, V., Multivariate polynomials, duality and structured matrices (2000) J. Complexity, 16 (1), pp. 110-180
- Saxena, T., (1997) Efficient Variable Elimination Using Resultants, , PhD thesis, Comp. Science Dept., SUNY, Albany, NY
- Sturmfels, B., Zelevinsky, A., Multigraded resultants of Sylvester type (1994) J. Algebra, 163 (1), pp. 115-127
- Wampler, C., Bezout number calculations for multi-homogeneous polynomial systems (1992) Appl. Math. & Computat., 51, pp. 143-157
- Weyman, J., Calculating discriminant direct images (1994) Trans. AMS, 343 (1), pp. 367-389
- Weyman, J., Zelevinsky, A., Determinantal formulas for multigraded resultants (1994) J. Alg. Geom., 3, pp. 569-597
- Zhang, M., (2000) Topics in Resultants and Implicitization, , PhD thesis, Dept. Comp. Science, Rice U., Houston, TexasA4 - ACM SIGSAM; CNRS; CNRS; LIFL; USTL; Waterloo Maple
Citas:
---------- APA ----------
Dickenstein, A., Emiris, I.Z. & Mora T.
(2002)
. Multihomogeneous resultant matrices. Proceedings of the 2002 International Symposium on Symbolic and Algebraic Computation, 46-54.
Recuperado de https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_NIS20461_v_n_p46_Dickenstein [ ]
---------- CHICAGO ----------
Dickenstein, A., Emiris, I.Z., Mora T.
"Multihomogeneous resultant matrices"
. Proceedings of the 2002 International Symposium on Symbolic and Algebraic Computation
(2002) : 46-54.
Recuperado de https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_NIS20461_v_n_p46_Dickenstein [ ]
---------- MLA ----------
Dickenstein, A., Emiris, I.Z., Mora T.
"Multihomogeneous resultant matrices"
. Proceedings of the 2002 International Symposium on Symbolic and Algebraic Computation, 2002, pp. 46-54.
Recuperado de https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_NIS20461_v_n_p46_Dickenstein [ ]
---------- VANCOUVER ----------
Dickenstein, A., Emiris, I.Z., Mora T. Multihomogeneous resultant matrices. Proc Int Symp Symbol Algebraic Comput ISSAC. 2002:46-54.
Available from: https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_NIS20461_v_n_p46_Dickenstein [ ]
