Registro:
Documento: | Tesis Doctoral |
Disciplina: | matematica |
Título: | Sobre la complejidad de la resolución de sistemas de ecuaciones polinomiales y de la interpolación polinomial multivariada |
Título alternativo: | On the complexity of polynomial system solving and multivariate polynomial interpolation |
Autor: | Giménez, Nardo |
Editor: | Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales |
Filiación: | Universidad Nacional de General Sarmiento. Instituto del Desarrollo Humano
|
Publicación en la Web: | 2018-08-16 |
Fecha de defensa: | 2017-08-25 |
Fecha en portada: | 2017 |
Grado Obtenido: | Doctorado |
Título Obtenido: | Doctor de la Universidad de Buenos Aires en el área de Ciencias Matemáticas |
Director: | Matera, Guillermo; Solernó, Pablo |
Jurado: | Dickenstein, Alicia Marcela; Sabia, Juan; Schost, Eric |
Idioma: | Español |
Palabras clave: | RESOLUCION DE SISTEMAS POLINOMIALES SOBRE Q; COMPLEJIDAD BIT; SUCESION REGULAR REDUCIDA; FORMA DE CHOW; FIBRAS DE LEVANTAMIENTO; LEVANTAMIENTO DE HENSEL; PRIMOS LUCKY; INTERPOLACION DE HERMITE-LAGRANGE; PROBLEMA DE INTERPOLACION; ALGORITMO DE INTERPOLACION; COMPLEJIDAD COMPUTACIONAL; COTA INFERIOR DE COMPLEJIDAD; APLICACION CONSTRUIBLE; APLICACION RACIONAL; APLICACION TOPOLOGICAMENTE ROBUSTA; APLICACION GEOMETRICAMENTE ROBUSTAPOLYNOMIAL SYSTEM SOLVING OVER Q; BIT COMPLEXITY; REDUCED REGULAR SEQUENCE; CHOW FORM; LIFTING FIBERS; HENSEL LIFTING; LUCKY PRIMES; HERMITE-LAGRANGE INTERPOLATION; INTERPOLATION PROBLEM; INTERPOLATION ALGORITHM; COMPUTATIONAL COMPLEXITY; LOWER COMPLEXITY BOUND; CONSTRUCTIBLE MAP; RATIONAL MAP; TOPOLOGICALLY ROBUST MAP; GEOMETRICALLY ROBUST MAP |
Formato: | PDF |
Handle: |
http://hdl.handle.net/20.500.12110/tesis_n6302_Gimenez |
PDF: | https://bibliotecadigital.exactas.uba.ar/download/tesis/tesis_n6302_Gimenez.pdf |
Registro: | https://bibliotecadigital.exactas.uba.ar/collection/tesis/document/tesis_n6302_Gimenez |
Ubicación: | Dep.MAT 006302 |
Derechos de Acceso: | Esta obra puede ser leída, grabada y utilizada con fines de estudio, investigación y docencia. Es necesario el reconocimiento de autoría mediante la cita correspondiente. Giménez, Nardo. (2017). Sobre la complejidad de la resolución de sistemas de ecuaciones polinomiales y de la interpolación polinomial multivariada. (Tesis Doctoral. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.). Recuperado de http://hdl.handle.net/20.500.12110/tesis_n6302_Gimenez |
Resumen:
La resolución de sistemas de ecuaciones polinomiales y la interpolación polinomialmultivariada se analizan desde el punto de vista algorítmico y de la complejidadcomputacional. Desde el punto de vista algorítmico se exhibe un algoritmo probabilístico queresuelve un sistema polinomial cuya complejidad bit es esencialmente cuadrática enel número de Bézout del sistema y lineal en su talla bit. Este algoritmo resuelve elsistema de entrada módulo un número primo p y aplica levantamiento p–ádico. Paraesto, se establecen una serie de resultados sobre la longitud bit de un primo “lucky” p,es decir un primo para el cual la reducción del sistema de entrada módulo p preservaciertas propiedades geométricas y algebraicas fundamentales del sistema original. Luego este algoritmo se aplica al problema de la interpolación polinomial cuando elconjunto de nodos está dado como el conjunto de ceros de un sistema polinomial,dando como resultado un procedimiento que calcula intepolantes de “bajo grado”. La complejidad bit de estos algoritmos es similar a la de los algoritmos que usanbases de Grobner o H–bases en el peor caso y en ciertos casos de interés prácticopuede resultar considerablemente menor. Desde el punto de vista de la complejidad computacional se demuestran cotasinferiores para la complejidad de los problemas de interpolación polinomial. Se introduceun nuevo modelo computacional para la interpolación de Hermite–Lagrangeque incluye clases no lineales de interpolantes. Este modelo incluye fenómenos decoalescencia y captura una gran variedad de conocidos problemas y algoritmos deinterpolación. En este contexto, se exhiben ejemplos de problemas de interpolacióncon clases no lineales de interpolantes cuya complejidad es intrínsecamente exponencial,mostrando que nuestro algoritmo para interpolación polinomial multivariada esesencialmente asintóticamente óptimo para los problemas seleccionados y que nadase gana admitiendo no linealidad.
Abstract:
Polynomial system solving and multivariate polynomial interpolation over therationals are considered from both the algorithmic and computational point of view. From the algorithmic point of view a probabilistic algorithm is developed whichsolves a polynomial system whose bit complexity is roughly quadratic in the B´ezoutnumber of the system and linear in its bit size. Our algorithm solves the input systemmodulo a prime number p and applies p–adic lifting. For this purpose, we establisha number of results on the bit length of a “lucky” prime p, namely one for whichthe reduction of the input system modulo p preserves certain fundamental geometricand algebraic properties of the original system. Then this algorithm is applied topolynomial interpolation when the set of nodes is given as the set of zeros of apolynomial system, yielding a procedure which computes “low degree” interpolants. The bit complexity of these algorithms is similar to that of the algorithms that use Grobner or H–bases in the worst case, and in certain cases of particular interest canbe significantly lower. From the computational complexity point of view lower complexity bounds forthe complexity of interpolation algorithms by polynomials are shown. A new computationalmodel for Hermite–Lagrange interpolation with nonlinear classes of interpolantsis introduced, which includes coalescence phenomena and captures a largevariety of known Hermite–Lagrange interpolation problems and algorithms. In thiscontext examples of interpolation problems are exhibited with nonlinear classes ofinterpolants whose complexity is intrinsically exponential, showing that our algorithmfor multivariate polynomial interpolation is essentially asymptotically optimalfor the problems under consideration and that nothing is gained by admittingnonlinearity.
Citación:
---------- APA ----------
Giménez, Nardo. (2017). Sobre la complejidad de la resolución de sistemas de ecuaciones polinomiales y de la interpolación polinomial multivariada. (Tesis Doctoral. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.). Recuperado de https://hdl.handle.net/20.500.12110/tesis_n6302_Gimenez
---------- CHICAGO ----------
Giménez, Nardo. "Sobre la complejidad de la resolución de sistemas de ecuaciones polinomiales y de la interpolación polinomial multivariada". Tesis Doctoral, Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales, 2017.https://hdl.handle.net/20.500.12110/tesis_n6302_Gimenez
Estadísticas:
Descargas totales desde :
Descargas mensuales
https://bibliotecadigital.exactas.uba.ar/download/tesis/tesis_n6302_Gimenez.pdf