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
- Institución
- Universidad Nacional de Buenos Aires. Facultad de Ciencias Exactas y Naturales
- OAI Identificador
- tesis:tesis_n6751_Escorcielo
Ver los metadatos del registro completo
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 |