Certificados polinomiales de no negatividad sobre conjuntos semialgebraicos cilíndricos

Autores
Escorcielo, Paula Micaela
Año de publicación
2020
Idioma
español castellano
Tipo de recurso
tesis doctoral
Estado
versión publicada
Colaborador/a o director/a de tesis
Perrucci, Daniel
Descripción
Dados g1, . . . , gs ∈ R[X ̄] = R[X1, . . . , Xn], S ⊂ R^n el conjunto semialgebraico cerrado básico definido por S = {x ̄ ∈ R^n| g1( ̄x) ≥ 0, . . . , gs( ̄x) ≥ 0} [fórmula aproximada, revisar la misma en el original] y f ∈ R[X ̄] un polinomio que resulta no negativo en S, un problema clásico es buscar una igualdad algebraica que ponga en evidencia ese hecho. Dicha igualdad se denomina certificado de no negatividad de f en S. En esta tesis estudiamos certificados de no negatividad sobre conjuntos semialgebraicos cilíndricos no compactos. En la primera parte, consideramos conjuntos de la forma S × R con S ⊂ R^n semialgebraico cerrado básico y demostramos que el Putinar Positivstellensatz puede extenderse, bajo una hipótesis adicional, a conjuntos de la forma S × R. Además, presentamos una cota para el grado de cada término de la representación obtenida. En la segunda parte, consideramos el caso de polinomios no negativos sobre una franja de R^2. Dado f ∈ R[X, Y] no negativo en el conjunto semialgebraico [0, 1]×R (definido por la desigualdad X(1−X) ≥ 0), se sabe que f se puede reescribir como f = σ0 + σ1X(1 − X) con σ0, σ1 ∈ Σ R[X, Y ]^2. En este trabajo estudiamos la existencia de cotas de grado para cada término de dicha reescritura en los casos degY f ≤ 2 y f positivo en [0, 1]×R. Para este último caso, presentamos un método constructivo para obtener dicha reescritura, que puede extenderse al caso f no negativo en [0, 1] × R, pero con finitos ceros simples y todos en el borde.
Given g1, . . . , gs ∈ R[X ̄] = R[X1, . . . , Xn], S ⊂ R^n the basic closed semialgebraic set defined by S = {x ̄ ∈ R^n| g1( ̄x) ≥ 0, . . . , gs( ̄x) ≥ 0} [fórmula aproximada, revisar la misma en el original] and a polynomial f ∈ R[X ̄] which is non-negative on S, a classical problem is to look for an algebraic identity which makes evident this fact. Such an identity is called a certificate of non-negativity of f over S. In this thesis we study certificates of non-negativity over semialgebraic non-compact cylindrical sets. In the first part, we consider sets of type S × R with S ⊂ R^n a basic closed semialgebraic set and we prove, under an additional hypothesis, that Putinar Positivstellensatz can be extended to sets of type S × R. In addition, we present a degree bound for the terms in the representation. In the second part, we consider the case of polynomials non-negative on a strip in R^2. Given f ∈ R[X, Y] non negative on the semialgebraic set [0, 1] × R (defined by the inequality X(1 − X) ≥ 0), it is known that f can be written as f(X, Y ) = σ0 + σ1X(1 − X) with σ0, σ1 ∈ Σ R[X, Y ]^2. In this work, we study the existence of degree bounds for each term in this representation in the cases degY f ≤ 2 and f positive on [0, 1]×R. For this last case, we present a constructive method to obtain this representation, which can be extended to the case of f non-negative on [0, 1] × R, with at most a finite number of simple zeros, all of them lying on the boundary.
Fil: Escorcielo, Paula Micaela. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales; Argentina.
Materia
CERTIFICADOS DE NO NEGATIVIDAD
SUMAS DE CUADRADOS
POSITIVSTELLENSATZ
COTAS DE GRADO
NON-NEGATIVITY CERTIFICATES
SUMS OF SQUARES
POSITIVSTELLENSATZ
DEGREE BOUNDS
Nivel de accesibilidad
acceso abierto
Condiciones de uso
https://creativecommons.org/licenses/by-nc-sa/2.5/ar
Repositorio
Biblioteca Digital (UBA-FCEN)
Institución
Universidad Nacional de Buenos Aires. Facultad de Ciencias Exactas y Naturales
OAI Identificador
tesis:tesis_n6751_Escorcielo

id BDUBAFCEN_d94984b1060ec3c2bb2e536bc6b6c05c
oai_identifier_str tesis:tesis_n6751_Escorcielo
network_acronym_str BDUBAFCEN
repository_id_str 1896
network_name_str Biblioteca Digital (UBA-FCEN)
spelling Certificados polinomiales de no negatividad sobre conjuntos semialgebraicos cilíndricosNon-negativity polynomial certificates over cylindrical semialgebraic setsEscorcielo, Paula MicaelaCERTIFICADOS DE NO NEGATIVIDADSUMAS DE CUADRADOSPOSITIVSTELLENSATZCOTAS DE GRADONON-NEGATIVITY CERTIFICATESSUMS OF SQUARESPOSITIVSTELLENSATZDEGREE BOUNDSDados g1, . . . , gs ∈ R[X ̄] = R[X1, . . . , Xn], S ⊂ R^n el conjunto semialgebraico cerrado básico definido por S = {x ̄ ∈ R^n| g1( ̄x) ≥ 0, . . . , gs( ̄x) ≥ 0} [fórmula aproximada, revisar la misma en el original] y f ∈ R[X ̄] un polinomio que resulta no negativo en S, un problema clásico es buscar una igualdad algebraica que ponga en evidencia ese hecho. Dicha igualdad se denomina certificado de no negatividad de f en S. En esta tesis estudiamos certificados de no negatividad sobre conjuntos semialgebraicos cilíndricos no compactos. En la primera parte, consideramos conjuntos de la forma S × R con S ⊂ R^n semialgebraico cerrado básico y demostramos que el Putinar Positivstellensatz puede extenderse, bajo una hipótesis adicional, a conjuntos de la forma S × R. Además, presentamos una cota para el grado de cada término de la representación obtenida. En la segunda parte, consideramos el caso de polinomios no negativos sobre una franja de R^2. Dado f ∈ R[X, Y] no negativo en el conjunto semialgebraico [0, 1]×R (definido por la desigualdad X(1−X) ≥ 0), se sabe que f se puede reescribir como f = σ0 + σ1X(1 − X) con σ0, σ1 ∈ Σ R[X, Y ]^2. En este trabajo estudiamos la existencia de cotas de grado para cada término de dicha reescritura en los casos degY f ≤ 2 y f positivo en [0, 1]×R. Para este último caso, presentamos un método constructivo para obtener dicha reescritura, que puede extenderse al caso f no negativo en [0, 1] × R, pero con finitos ceros simples y todos en el borde.Given g1, . . . , gs ∈ R[X ̄] = R[X1, . . . , Xn], S ⊂ R^n the basic closed semialgebraic set defined by S = {x ̄ ∈ R^n| g1( ̄x) ≥ 0, . . . , gs( ̄x) ≥ 0} [fórmula aproximada, revisar la misma en el original] and a polynomial f ∈ R[X ̄] which is non-negative on S, a classical problem is to look for an algebraic identity which makes evident this fact. Such an identity is called a certificate of non-negativity of f over S. In this thesis we study certificates of non-negativity over semialgebraic non-compact cylindrical sets. In the first part, we consider sets of type S × R with S ⊂ R^n a basic closed semialgebraic set and we prove, under an additional hypothesis, that Putinar Positivstellensatz can be extended to sets of type S × R. In addition, we present a degree bound for the terms in the representation. In the second part, we consider the case of polynomials non-negative on a strip in R^2. Given f ∈ R[X, Y] non negative on the semialgebraic set [0, 1] × R (defined by the inequality X(1 − X) ≥ 0), it is known that f can be written as f(X, Y ) = σ0 + σ1X(1 − X) with σ0, σ1 ∈ Σ R[X, Y ]^2. In this work, we study the existence of degree bounds for each term in this representation in the cases degY f ≤ 2 and f positive on [0, 1]×R. For this last case, we present a constructive method to obtain this representation, which can be extended to the case of f non-negative on [0, 1] × R, with at most a finite number of simple zeros, all of them lying on the boundary.Fil: Escorcielo, Paula Micaela. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales; Argentina.Universidad de Buenos Aires. Facultad de Ciencias Exactas y NaturalesPerrucci, Daniel2020-11-05info: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_n6751_Escorcielospainfo: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-FCEN2025-09-29T13:41:49Ztesis:tesis_n6751_EscorcieloInstitucionalhttps://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:18962025-09-29 13:41:50.358Biblioteca Digital (UBA-FCEN) - Universidad Nacional de Buenos Aires. Facultad de Ciencias Exactas y Naturalesfalse
dc.title.none.fl_str_mv Certificados polinomiales de no negatividad sobre conjuntos semialgebraicos cilíndricos
Non-negativity polynomial certificates over cylindrical semialgebraic sets
title Certificados polinomiales de no negatividad sobre conjuntos semialgebraicos cilíndricos
spellingShingle Certificados polinomiales de no negatividad sobre conjuntos semialgebraicos cilíndricos
Escorcielo, Paula Micaela
CERTIFICADOS DE NO NEGATIVIDAD
SUMAS DE CUADRADOS
POSITIVSTELLENSATZ
COTAS DE GRADO
NON-NEGATIVITY CERTIFICATES
SUMS OF SQUARES
POSITIVSTELLENSATZ
DEGREE BOUNDS
title_short Certificados polinomiales de no negatividad sobre conjuntos semialgebraicos cilíndricos
title_full Certificados polinomiales de no negatividad sobre conjuntos semialgebraicos cilíndricos
title_fullStr Certificados polinomiales de no negatividad sobre conjuntos semialgebraicos cilíndricos
title_full_unstemmed Certificados polinomiales de no negatividad sobre conjuntos semialgebraicos cilíndricos
title_sort Certificados polinomiales de no negatividad sobre conjuntos semialgebraicos cilíndricos
dc.creator.none.fl_str_mv Escorcielo, Paula Micaela
author Escorcielo, Paula Micaela
author_facet Escorcielo, Paula Micaela
author_role author
dc.contributor.none.fl_str_mv Perrucci, Daniel
dc.subject.none.fl_str_mv CERTIFICADOS DE NO NEGATIVIDAD
SUMAS DE CUADRADOS
POSITIVSTELLENSATZ
COTAS DE GRADO
NON-NEGATIVITY CERTIFICATES
SUMS OF SQUARES
POSITIVSTELLENSATZ
DEGREE BOUNDS
topic CERTIFICADOS DE NO NEGATIVIDAD
SUMAS DE CUADRADOS
POSITIVSTELLENSATZ
COTAS DE GRADO
NON-NEGATIVITY CERTIFICATES
SUMS OF SQUARES
POSITIVSTELLENSATZ
DEGREE BOUNDS
dc.description.none.fl_txt_mv Dados g1, . . . , gs ∈ R[X ̄] = R[X1, . . . , Xn], S ⊂ R^n el conjunto semialgebraico cerrado básico definido por S = {x ̄ ∈ R^n| g1( ̄x) ≥ 0, . . . , gs( ̄x) ≥ 0} [fórmula aproximada, revisar la misma en el original] y f ∈ R[X ̄] un polinomio que resulta no negativo en S, un problema clásico es buscar una igualdad algebraica que ponga en evidencia ese hecho. Dicha igualdad se denomina certificado de no negatividad de f en S. En esta tesis estudiamos certificados de no negatividad sobre conjuntos semialgebraicos cilíndricos no compactos. En la primera parte, consideramos conjuntos de la forma S × R con S ⊂ R^n semialgebraico cerrado básico y demostramos que el Putinar Positivstellensatz puede extenderse, bajo una hipótesis adicional, a conjuntos de la forma S × R. Además, presentamos una cota para el grado de cada término de la representación obtenida. En la segunda parte, consideramos el caso de polinomios no negativos sobre una franja de R^2. Dado f ∈ R[X, Y] no negativo en el conjunto semialgebraico [0, 1]×R (definido por la desigualdad X(1−X) ≥ 0), se sabe que f se puede reescribir como f = σ0 + σ1X(1 − X) con σ0, σ1 ∈ Σ R[X, Y ]^2. En este trabajo estudiamos la existencia de cotas de grado para cada término de dicha reescritura en los casos degY f ≤ 2 y f positivo en [0, 1]×R. Para este último caso, presentamos un método constructivo para obtener dicha reescritura, que puede extenderse al caso f no negativo en [0, 1] × R, pero con finitos ceros simples y todos en el borde.
Given g1, . . . , gs ∈ R[X ̄] = R[X1, . . . , Xn], S ⊂ R^n the basic closed semialgebraic set defined by S = {x ̄ ∈ R^n| g1( ̄x) ≥ 0, . . . , gs( ̄x) ≥ 0} [fórmula aproximada, revisar la misma en el original] and a polynomial f ∈ R[X ̄] which is non-negative on S, a classical problem is to look for an algebraic identity which makes evident this fact. Such an identity is called a certificate of non-negativity of f over S. In this thesis we study certificates of non-negativity over semialgebraic non-compact cylindrical sets. In the first part, we consider sets of type S × R with S ⊂ R^n a basic closed semialgebraic set and we prove, under an additional hypothesis, that Putinar Positivstellensatz can be extended to sets of type S × R. In addition, we present a degree bound for the terms in the representation. In the second part, we consider the case of polynomials non-negative on a strip in R^2. Given f ∈ R[X, Y] non negative on the semialgebraic set [0, 1] × R (defined by the inequality X(1 − X) ≥ 0), it is known that f can be written as f(X, Y ) = σ0 + σ1X(1 − X) with σ0, σ1 ∈ Σ R[X, Y ]^2. In this work, we study the existence of degree bounds for each term in this representation in the cases degY f ≤ 2 and f positive on [0, 1]×R. For this last case, we present a constructive method to obtain this representation, which can be extended to the case of f non-negative on [0, 1] × R, with at most a finite number of simple zeros, all of them lying on the boundary.
Fil: Escorcielo, Paula Micaela. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales; Argentina.
description Dados g1, . . . , gs ∈ R[X ̄] = R[X1, . . . , Xn], S ⊂ R^n el conjunto semialgebraico cerrado básico definido por S = {x ̄ ∈ R^n| g1( ̄x) ≥ 0, . . . , gs( ̄x) ≥ 0} [fórmula aproximada, revisar la misma en el original] y f ∈ R[X ̄] un polinomio que resulta no negativo en S, un problema clásico es buscar una igualdad algebraica que ponga en evidencia ese hecho. Dicha igualdad se denomina certificado de no negatividad de f en S. En esta tesis estudiamos certificados de no negatividad sobre conjuntos semialgebraicos cilíndricos no compactos. En la primera parte, consideramos conjuntos de la forma S × R con S ⊂ R^n semialgebraico cerrado básico y demostramos que el Putinar Positivstellensatz puede extenderse, bajo una hipótesis adicional, a conjuntos de la forma S × R. Además, presentamos una cota para el grado de cada término de la representación obtenida. En la segunda parte, consideramos el caso de polinomios no negativos sobre una franja de R^2. Dado f ∈ R[X, Y] no negativo en el conjunto semialgebraico [0, 1]×R (definido por la desigualdad X(1−X) ≥ 0), se sabe que f se puede reescribir como f = σ0 + σ1X(1 − X) con σ0, σ1 ∈ Σ R[X, Y ]^2. En este trabajo estudiamos la existencia de cotas de grado para cada término de dicha reescritura en los casos degY f ≤ 2 y f positivo en [0, 1]×R. Para este último caso, presentamos un método constructivo para obtener dicha reescritura, que puede extenderse al caso f no negativo en [0, 1] × R, pero con finitos ceros simples y todos en el borde.
publishDate 2020
dc.date.none.fl_str_mv 2020-11-05
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_n6751_Escorcielo
url https://hdl.handle.net/20.500.12110/tesis_n6751_Escorcielo
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
reponame_str Biblioteca Digital (UBA-FCEN)
collection Biblioteca Digital (UBA-FCEN)
instname_str Universidad Nacional de Buenos Aires. Facultad de Ciencias Exactas y Naturales
instacron_str UBA-FCEN
institution 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_ 1844618714008256512
score 13.070432