<?xml version="1.0" encoding="utf-8"?>
<TEI xmlns="http://www.tei-c.org/ns/1.0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:hal="http://hal.archives-ouvertes.fr/" xmlns:gml="http://www.opengis.net/gml/3.3/" xmlns:gmlce="http://www.opengis.net/gml/3.3/ce" version="1.1" xsi:schemaLocation="http://www.tei-c.org/ns/1.0 http://api.archives-ouvertes.fr/documents/aofr-sword.xsd">
  <teiHeader>
    <fileDesc>
      <titleStmt>
        <title>HAL TEI export of hal-00846977v4</title>
      </titleStmt>
      <publicationStmt>
        <distributor>CCSD</distributor>
        <availability status="restricted">
          <licence target="https://creativecommons.org/publicdomain/zero/1.0/">CC0 1.0 - Universal</licence>
        </availability>
        <date when="2026-04-29T17:19:33+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Exact relaxation for polynomial optimization on semi-algebraic sets</title>
            <author role="aut">
              <persName>
                <forename type="first">Marta</forename>
                <surname>Abril Bucero</surname>
              </persName>
              <email type="md5">6e2147b08fb7af4a6642e319da2ba524</email>
              <email type="domain">inria.fr</email>
              <idno type="idhal" notation="numeric">935724</idno>
              <idno type="halauthorid" notation="string">686395-935724</idno>
              <affiliation ref="#struct-407009"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Bernard</forename>
                <surname>Mourrain</surname>
              </persName>
              <email type="md5">99d2b72427e88e39557fd123d18bb4ee</email>
              <email type="domain">inria.fr</email>
              <idno type="idhal" notation="string">bernard-mourrain</idno>
              <idno type="idhal" notation="numeric">397</idno>
              <idno type="halauthorid" notation="string">15487-397</idno>
              <idno type="IDREF">https://www.idref.fr/050178725</idno>
              <affiliation ref="#struct-407009"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Marta</forename>
                <surname>Abril Bucero</surname>
              </persName>
              <email type="md5">6e2147b08fb7af4a6642e319da2ba524</email>
              <email type="domain">inria.fr</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1">
              <date type="whenSubmitted">2013-07-24 15:42:03</date>
            </edition>
            <edition n="v2">
              <date type="whenSubmitted">2014-02-04 16:41:43</date>
            </edition>
            <edition n="v3">
              <date type="whenSubmitted">2014-02-06 16:54:35</date>
            </edition>
            <edition n="v4" type="current">
              <date type="whenSubmitted">2014-07-01 17:04:18</date>
              <date type="whenModified">2025-08-26 15:21:01</date>
              <date type="whenReleased">2014-07-01 21:15:39</date>
              <date type="whenProduced">2014-07-01</date>
              <date type="whenEndEmbargoed">2014-07-01</date>
              <ref type="file" target="https://inria.hal.science/hal-00846977v4/document">
                <date notBefore="2014-07-01"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://inria.hal.science/hal-00846977v4/file/certifiedrevised.pdf" id="file-1017067-814422">
                <date notBefore="2014-07-01"/>
              </ref>
              <ref type="externalLink" target="http://arxiv.org/pdf/1307.6426"/>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="179873">
                <persName>
                  <forename>Marta</forename>
                  <surname>Abril Bucero</surname>
                </persName>
                <email type="md5">6e2147b08fb7af4a6642e319da2ba524</email>
                <email type="domain">inria.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-00846977</idno>
            <idno type="halUri">https://inria.hal.science/hal-00846977</idno>
            <idno type="halBibtex">abrilbucero:hal-00846977</idno>
            <idno type="halRefHtml">2014</idno>
            <idno type="halRef">2014</idno>
            <availability status="restricted">
              <licence target="https://about.hal.science/hal-authorisation-v1/">HAL Authorization<ref corresp="#file-1017067-814422"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="INRIA">INRIA - Institut National de Recherche en Informatique et en Automatique</idno>
            <idno type="stamp" n="INRIA-SOPHIA">INRIA Sophia Antipolis - Méditerranée</idno>
            <idno type="stamp" n="INRIASO">INRIA-SOPHIA</idno>
            <idno type="stamp" n="DIEUDONNE">Laboratoire Jean-Alexandre Dieudonné</idno>
            <idno type="stamp" n="INRIA_TEST">INRIA - Institut National de Recherche en Informatique et en Automatique</idno>
            <idno type="stamp" n="TESTALAIN1">TESTALAIN1</idno>
            <idno type="stamp" n="INRIA2">INRIA 2</idno>
            <idno type="stamp" n="DIEUDONNE-ATG" corresp="DIEUDONNE">Laboratoire J.A. Dieudonné - UMR 7351 - Algèbre, Topologie et Géométrie</idno>
            <idno type="stamp" n="TDS-MACS">Réseau de recherche en Théorie des Systèmes Distribués, Modélisation, Analyse et Contrôle des Systèmes</idno>
            <idno type="stamp" n="UNIV-COTEDAZUR">Université Côte d'Azur</idno>
          </seriesStmt>
          <notesStmt>
            <note type="audience" n="1">Not set</note>
          </notesStmt>
          <sourceDesc>
            <biblStruct>
              <analytic>
                <title xml:lang="en">Exact relaxation for polynomial optimization on semi-algebraic sets</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Marta</forename>
                    <surname>Abril Bucero</surname>
                  </persName>
                  <email type="md5">6e2147b08fb7af4a6642e319da2ba524</email>
                  <email type="domain">inria.fr</email>
                  <idno type="idhal" notation="numeric">935724</idno>
                  <idno type="halauthorid" notation="string">686395-935724</idno>
                  <affiliation ref="#struct-407009"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Bernard</forename>
                    <surname>Mourrain</surname>
                  </persName>
                  <email type="md5">99d2b72427e88e39557fd123d18bb4ee</email>
                  <email type="domain">inria.fr</email>
                  <idno type="idhal" notation="string">bernard-mourrain</idno>
                  <idno type="idhal" notation="numeric">397</idno>
                  <idno type="halauthorid" notation="string">15487-397</idno>
                  <idno type="IDREF">https://www.idref.fr/050178725</idno>
                  <affiliation ref="#struct-407009"/>
                </author>
              </analytic>
              <monogr>
                <imprint/>
              </monogr>
              <idno type="arxiv">1307.6426</idno>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <keywords scheme="author">
                <term xml:lang="en">polynomial optimization</term>
                <term xml:lang="en">semidefinite programming</term>
                <term xml:lang="en">KKT ideal</term>
                <term xml:lang="en">sum of squares</term>
                <term xml:lang="en">convergence certification</term>
                <term xml:lang="en">finite convergence</term>
              </keywords>
              <classCode scheme="classification">90C22;65K10;14P10;11E25;13J30</classCode>
              <classCode scheme="acm" n="G.0">G.: Mathematics of Computing/G.0: GENERAL</classCode>
              <classCode scheme="acm" n="G.4">G.: Mathematics of Computing/G.4: MATHEMATICAL SOFTWARE</classCode>
              <classCode scheme="halDomain" n="math.math-ag">Mathematics [math]/Algebraic Geometry [math.AG]</classCode>
              <classCode scheme="halDomain" n="math.math-oc">Mathematics [math]/Optimization and Control [math.OC]</classCode>
              <classCode scheme="halTypology" n="UNDEFINED">Preprints, Working Papers, ...</classCode>
              <classCode scheme="halOldTypology" n="UNDEFINED">Preprints, Working Papers, ...</classCode>
              <classCode scheme="halTreeTypology" n="UNDEFINED">Preprints, Working Papers, ...</classCode>
            </textClass>
            <abstract xml:lang="en">
              <p>In this paper, we study the problem of computing by relaxation hierarchies the infimum of a real polynomial function f on a closed basic semialgebraic set and the points where this infimum is reached, if they exist. We show that when the infimum is reached, a relaxation hierarchy constructed from the Karush-Kuhn-Tucker ideal is always exact and that the vanishing ideal of the KKT minimizer points is generated by the kernel of the associated moment matrix in that degree, even if this ideal is not zero-dimensional. We also show that this relaxation allows to detect when there is no KKT minimizer. We prove that the exactness of the relaxation depends only on the real points which satisfy these constraints.This exploits representations of positive polynomials as elementsof the preordering modulo the KKT ideal, which only involves polynomials in the initial set of variables. Applications to global optimization, optimization on semialgebraic sets defined by regular sets of constraints, optimization on finite semialgebraic sets, real radical computation are given.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="researchteam" xml:id="struct-407009" status="OLD">
          <idno type="RNSR">201421204S</idno>
          <orgName>Géométrie , Algèbre, Algorithmes</orgName>
          <orgName type="acronym">GALAAD2</orgName>
          <date type="start">2014-01-01</date>
          <date type="end">2016-06-30</date>
          <desc>
            <address>
              <addrLine>Centre de RechercheInria Sophia Antipolis - Méditerranée2004, route des Lucioles - BP 9306902 Sophia Antipolis Cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www-sop.inria.fr/teams/galaad-static/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-34586" type="direct"/>
            <relation active="#struct-300009" type="indirect"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-34586" status="VALID">
          <idno type="RNSR">198318250R</idno>
          <idno type="ROR">https://ror.org/01nzkaw91</idno>
          <orgName>Centre Inria d'Université Côte d'Azur</orgName>
          <desc>
            <address>
              <addrLine>2004 route des Lucioles BP 93 06902 Sophia Antipolis</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.inria.fr/centre/sophia/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-300009" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-300009" status="VALID">
          <idno type="ROR">https://ror.org/02kvxyf05</idno>
          <orgName>Institut National de Recherche en Informatique et en Automatique</orgName>
          <orgName type="acronym">Inria</orgName>
          <desc>
            <address>
              <addrLine>Domaine de VoluceauRocquencourt - BP 10578153 Le Chesnay Cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.inria.fr/en/</ref>
          </desc>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>