Descomposición equidimensional efectiva de variedades algebraicas

Mostrar todas las versiones(3)

Presentamos algoritmos para el cálculo de la descomposición equidimensional de una variedadalgebraica afín a partir (le un conjunto finito de polinomios que la define: En primer lugar, se prueba la existencia de un algoritmo dcterminístico no uniforme quecalcula en tiempo polinomial una descripción...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autor principal: Talí Jerónimo, Gabriela
Otros Autores: Sabia, Juan V. R.
Formato: Tesis doctoral publishedVersion
Lenguaje:Español
Publicado: Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales 2002
Materias:
SISTEMAS DE ECUACIONES POLINOMIALES
ALGORITMOS
COMPLEJIDAD
VARIEDADES EQUIDIMENSIONALES
DESCOMPOSICION EQUIDIMENSIONAL
FORMA DE CHOW
POLYNOMIAL EQUATION SYSTEMS
ALGORITHMS
COMPLEXITY
EQUIDIMENSIONAL VARIETIES
EQUIDIMENSIONAL DESCOMPOSITION
CHOW FORM
Acceso en línea:https://hdl.handle.net/20.500.12110/tesis_n3452_TaliJeronimo
Aporte de:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA) de Universidad de Buenos Aires
id tesis:tesis_n3452_TaliJeronimo
record_format dspace
spelling tesis:tesis_n3452_TaliJeronimo2023-10-02T19:48:57Z Descomposición equidimensional efectiva de variedades algebraicas Effective equidimensional descomposition of algebraic varieties Talí Jerónimo, Gabriela Sabia, Juan V. R. SISTEMAS DE ECUACIONES POLINOMIALES ALGORITMOS COMPLEJIDAD VARIEDADES EQUIDIMENSIONALES DESCOMPOSICION EQUIDIMENSIONAL FORMA DE CHOW POLYNOMIAL EQUATION SYSTEMS ALGORITHMS COMPLEXITY EQUIDIMENSIONAL VARIETIES EQUIDIMENSIONAL DESCOMPOSITION CHOW FORM Presentamos algoritmos para el cálculo de la descomposición equidimensional de una variedadalgebraica afín a partir (le un conjunto finito de polinomios que la define: En primer lugar, se prueba la existencia de un algoritmo dcterminístico no uniforme quecalcula en tiempo polinomial una descripción de la componente equidimensional de dimensiónmáxima de una variedad algebraica. Aplicando este algoritmo se obtiene unprocedimiento para decidir si una variedad es equidimensional o no. A continuación, seconstruye un algoritmo probabilistico que (la en tiempo polinomial, para cada componenteequidimensional de una variedad dada, un conjunto Íinito de polinomios que ladefine. Para terminar, se desarrolla otro algoritmo probabilístico, que calcula la forma de Chow de cada una de las componentes equidimensionales de una variedad. La cota parala complejidad de este algoritmo también es —en el peor caso- polinomial en el tamañodel input. Sin embargo, bajo ciertas condiciones genéricas, puede darse una cota para sucomplejidad secuencial en términos del grado geométrico del sistema de polinomios quedefine la variedad y, por lo tanto, puede ser de orden muy inferior. Palabras clave: Sistemas de ecuaciones polinomiales, algoritmos, complejidad, variedadesequidimensionales, descomposición equidimensional, forma de Chow. We present algorithms for the computation of the equidimensional decomposition of analline algebraic variety from a finite set of polynomials defining it: First, we prove the existence of a non-uniform deterministic algorithm which computes adescription of the equidimensional component of maximal dimension of an algebraic varietyin polynomial time. Applying this algorithm we obtain a procedure to determine whethera variety is equidimensional or not. Then, we construct a probabilistic algorithm whichgives a finite set of polynomials defining each equidimensional component of a given varietyin polynomial time. Finally, another probabilistic algorithn is developed. It computesthe Chow form of each equidimensional component of a variety. The complexity boundfor this algorithm —in the worst case- is also polynomial in the input size. IIowever, undercertain genericity conditions, a complexity estimate in terms of the geometric degree ofthe polynomial system defining the variety can be given and, therefore, it may result in a much lower complexity order. Key words: Polynomial equation systems, algorithms, complexity, equidimensional varieties,equidimensional decomposition, Chow form. Fil: Talí Jerónimo, Gabriela. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales; Argentina. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales 2002 info:eu-repo/semantics/doctoralThesis info:ar-repo/semantics/tesis doctoral info:eu-repo/semantics/publishedVersion application/pdf spa info:eu-repo/semantics/openAccess https://creativecommons.org/licenses/by-nc-sa/2.5/ar https://hdl.handle.net/20.500.12110/tesis_n3452_TaliJeronimo
institution Universidad de Buenos Aires
institution_str I-28
repository_str R-134
collection Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
language Español
orig_language_str_mv spa
topic SISTEMAS DE ECUACIONES POLINOMIALES
ALGORITMOS
COMPLEJIDAD
VARIEDADES EQUIDIMENSIONALES
DESCOMPOSICION EQUIDIMENSIONAL
FORMA DE CHOW
POLYNOMIAL EQUATION SYSTEMS
ALGORITHMS
COMPLEXITY
EQUIDIMENSIONAL VARIETIES
EQUIDIMENSIONAL DESCOMPOSITION
CHOW FORM
spellingShingle SISTEMAS DE ECUACIONES POLINOMIALES
ALGORITMOS
COMPLEJIDAD
VARIEDADES EQUIDIMENSIONALES
DESCOMPOSICION EQUIDIMENSIONAL
FORMA DE CHOW
POLYNOMIAL EQUATION SYSTEMS
ALGORITHMS
COMPLEXITY
EQUIDIMENSIONAL VARIETIES
EQUIDIMENSIONAL DESCOMPOSITION
CHOW FORM
Talí Jerónimo, Gabriela
Descomposición equidimensional efectiva de variedades algebraicas
topic_facet SISTEMAS DE ECUACIONES POLINOMIALES
ALGORITMOS
COMPLEJIDAD
VARIEDADES EQUIDIMENSIONALES
DESCOMPOSICION EQUIDIMENSIONAL
FORMA DE CHOW
POLYNOMIAL EQUATION SYSTEMS
ALGORITHMS
COMPLEXITY
EQUIDIMENSIONAL VARIETIES
EQUIDIMENSIONAL DESCOMPOSITION
CHOW FORM
description Presentamos algoritmos para el cálculo de la descomposición equidimensional de una variedadalgebraica afín a partir (le un conjunto finito de polinomios que la define: En primer lugar, se prueba la existencia de un algoritmo dcterminístico no uniforme quecalcula en tiempo polinomial una descripción de la componente equidimensional de dimensiónmáxima de una variedad algebraica. Aplicando este algoritmo se obtiene unprocedimiento para decidir si una variedad es equidimensional o no. A continuación, seconstruye un algoritmo probabilistico que (la en tiempo polinomial, para cada componenteequidimensional de una variedad dada, un conjunto Íinito de polinomios que ladefine. Para terminar, se desarrolla otro algoritmo probabilístico, que calcula la forma de Chow de cada una de las componentes equidimensionales de una variedad. La cota parala complejidad de este algoritmo también es —en el peor caso- polinomial en el tamañodel input. Sin embargo, bajo ciertas condiciones genéricas, puede darse una cota para sucomplejidad secuencial en términos del grado geométrico del sistema de polinomios quedefine la variedad y, por lo tanto, puede ser de orden muy inferior. Palabras clave: Sistemas de ecuaciones polinomiales, algoritmos, complejidad, variedadesequidimensionales, descomposición equidimensional, forma de Chow.
author2 Sabia, Juan V. R.
author_facet Sabia, Juan V. R.
Talí Jerónimo, Gabriela
format Tesis doctoral
Tesis doctoral
publishedVersion
author Talí Jerónimo, Gabriela
author_sort Talí Jerónimo, Gabriela
title Descomposición equidimensional efectiva de variedades algebraicas
title_short Descomposición equidimensional efectiva de variedades algebraicas
title_full Descomposición equidimensional efectiva de variedades algebraicas
title_fullStr Descomposición equidimensional efectiva de variedades algebraicas
title_full_unstemmed Descomposición equidimensional efectiva de variedades algebraicas
title_sort descomposición equidimensional efectiva de variedades algebraicas
publisher Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales
publishDate 2002
url https://hdl.handle.net/20.500.12110/tesis_n3452_TaliJeronimo
work_keys_str_mv AT talijeronimogabriela descomposicionequidimensionalefectivadevariedadesalgebraicas
AT talijeronimogabriela effectiveequidimensionaldescompositionofalgebraicvarieties
_version_ 1782022206071504896

Ejemplares similares