Descomposición equidimensional efectiva de variedades algebraicas

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

Detalles Bibliográficos
Autor: Talí Jerónimo, Gabriela
Tipo de recurso: tesis doctoral
Estado:Versión publicada
Fecha de publicación:2002
País:Argentina
Institución:Universidad Nacional de Buenos Aires. Facultad de Ciencias Exactas y Naturales
Repositorio:Biblioteca Digital (UBA-FCEN)
Idioma:español
OAI Identifier:tesis:tesis_n3452_TaliJeronimo
Acceso en línea:https://hdl.handle.net/20.500.12110/tesis_n3452_TaliJeronimo
Access Level:acceso abierto
Palabra clave:SISTEMAS DE ECUACIONES POLINOMIALES
ALGORITMOS
COMPLEJIDAD
VARIEDADES EQUIDIMENSIONALES
DESCOMPOSICION EQUIDIMENSIONAL
FORMA DE CHOW
POLYNOMIAL EQUATION SYSTEMS
ALGORITHMS
COMPLEXITY
EQUIDIMENSIONAL VARIETIES
EQUIDIMENSIONAL DESCOMPOSITION
CHOW FORM
id AR_c3cb5a930d19fe1ab2b83074bdaf0eb7
oai_identifier_str tesis:tesis_n3452_TaliJeronimo
network_acronym_str AR
network_name_str Argentina
repository_id_str
spelling Descomposición equidimensional efectiva de variedades algebraicasEffective equidimensional descomposition of algebraic varietiesTalí Jerónimo, GabrielaSISTEMAS DE ECUACIONES POLINOMIALESALGORITMOSCOMPLEJIDADVARIEDADES EQUIDIMENSIONALESDESCOMPOSICION EQUIDIMENSIONALFORMA DE CHOWPOLYNOMIAL EQUATION SYSTEMSALGORITHMSCOMPLEXITYEQUIDIMENSIONAL VARIETIESEQUIDIMENSIONAL DESCOMPOSITIONCHOW FORMPresentamos 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 NaturalesSabia, Juan V. R.2002info:eu-repo/semantics/doctoralThesisinfo:eu-repo/semantics/publishedVersionhttp://purl.org/coar/resource_type/c_db06info:ar-repo/semantics/tesisDoctoralapplication/pdfhttps://hdl.handle.net/20.500.12110/tesis_n3452_TaliJeronimospainfo:eu-repo/semantics/openAccesshttps://creativecommons.org/licenses/by-nc-sa/2.5/arreponame:Biblioteca Digital (UBA-FCEN)instname:Universidad Nacional de Buenos Aires. Facultad de Ciencias Exactas y Naturalesinstacron:UBA-FCEN2024-05-10T10:41:15Ztesis:tesis_n3452_TaliJeronimoInstitucionalhttps://digital.bl.fcen.uba.ar/Universidad públicaNo correspondehttps://digital.bl.fcen.uba.ar/cgi-bin/oaiserver.cgiana@bl.fcen.uba.arArgentinaNo correspondeNo correspondeNo correspondeopendoar:18962024-05-10 10:41:16.568Biblioteca Digital (UBA-FCEN) - Universidad Nacional de Buenos Aires. Facultad de Ciencias Exactas y Naturalesfalse
dc.title.none.fl_str_mv Descomposición equidimensional efectiva de variedades algebraicas
Effective equidimensional descomposition of algebraic varieties
title Descomposición equidimensional efectiva de variedades algebraicas
spellingShingle Descomposición equidimensional efectiva de variedades algebraicas
Talí Jerónimo, Gabriela
SISTEMAS DE ECUACIONES POLINOMIALES
ALGORITMOS
COMPLEJIDAD
VARIEDADES EQUIDIMENSIONALES
DESCOMPOSICION EQUIDIMENSIONAL
FORMA DE CHOW
POLYNOMIAL EQUATION SYSTEMS
ALGORITHMS
COMPLEXITY
EQUIDIMENSIONAL VARIETIES
EQUIDIMENSIONAL DESCOMPOSITION
CHOW FORM
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
dc.creator.none.fl_str_mv Talí Jerónimo, Gabriela
author Talí Jerónimo, Gabriela
author_facet Talí Jerónimo, Gabriela
author_role author
dc.contributor.none.fl_str_mv Sabia, Juan V. R.
dc.subject.none.fl_str_mv SISTEMAS DE ECUACIONES POLINOMIALES
ALGORITMOS
COMPLEJIDAD
VARIEDADES EQUIDIMENSIONALES
DESCOMPOSICION EQUIDIMENSIONAL
FORMA DE CHOW
POLYNOMIAL EQUATION SYSTEMS
ALGORITHMS
COMPLEXITY
EQUIDIMENSIONAL VARIETIES
EQUIDIMENSIONAL DESCOMPOSITION
CHOW FORM
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
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.
publishDate 2002
dc.date.none.fl_str_mv 2002
dc.type.none.fl_str_mv info:eu-repo/semantics/doctoralThesis
info:eu-repo/semantics/publishedVersion
http://purl.org/coar/resource_type/c_db06
info:ar-repo/semantics/tesisDoctoral
format doctoralThesis
status_str publishedVersion
dc.identifier.none.fl_str_mv https://hdl.handle.net/20.500.12110/tesis_n3452_TaliJeronimo
url https://hdl.handle.net/20.500.12110/tesis_n3452_TaliJeronimo
dc.language.none.fl_str_mv spa
language spa
dc.rights.none.fl_str_mv info:eu-repo/semantics/openAccess
https://creativecommons.org/licenses/by-nc-sa/2.5/ar
eu_rights_str_mv openAccess
rights_invalid_str_mv https://creativecommons.org/licenses/by-nc-sa/2.5/ar
dc.format.none.fl_str_mv application/pdf
dc.publisher.none.fl_str_mv Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales
publisher.none.fl_str_mv Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales
dc.source.none.fl_str_mv reponame:Biblioteca Digital (UBA-FCEN)
instname:Universidad Nacional de Buenos Aires. Facultad de Ciencias Exactas y Naturales
instacron:UBA-FCEN
instname_str Universidad Nacional de Buenos Aires. Facultad de Ciencias Exactas y Naturales
instacron_str UBA-FCEN
institution UBA-FCEN
reponame_str Biblioteca Digital (UBA-FCEN)
collection Biblioteca Digital (UBA-FCEN)
repository.name.fl_str_mv Biblioteca Digital (UBA-FCEN) - Universidad Nacional de Buenos Aires. Facultad de Ciencias Exactas y Naturales
repository.mail.fl_str_mv ana@bl.fcen.uba.ar
_version_ 1799196592718217216
score 15.812429

Similares en LA Referencia