Convergence rates of moment-sum-of-squares hierarchies for volume approximation of semialgebraic sets

Moment-sum-of-squares hierarchies of semidefinite programs can be used to approximate the volume of a given compact basic semialgebraic set K . The idea consists of approximating from above the indicator function of K with a sequence of polynomials of increasing degree d , so that the integrals of t...

Full description

Saved in:
Bibliographic Details
Published in:Optimization letters Vol. 12; no. 3; pp. 435 - 442
Main Authors: Korda, Milan, Henrion, Didier
Format: Journal Article
Language:English
Published: Berlin/Heidelberg Springer Berlin Heidelberg 01.05.2018
Subjects:
ISSN:1862-4472, 1862-4480
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Abstract Moment-sum-of-squares hierarchies of semidefinite programs can be used to approximate the volume of a given compact basic semialgebraic set K . The idea consists of approximating from above the indicator function of K with a sequence of polynomials of increasing degree d , so that the integrals of these polynomials generate a convergence sequence of upper bounds on the volume of K . Under certain assumptions, we show that the asymptotic rate of this convergence is at least O ( 1 / log log d ) in general and O ( 1 / log d ) provided that the semialgebraic set is defined by a single inequality.
AbstractList Moment-sum-of-squares hierarchies of semidefinite programs can be used to approximate the volume of a given compact basic semialgebraic set K . The idea consists of approximating from above the indicator function of K with a sequence of polynomials of increasing degree d , so that the integrals of these polynomials generate a convergence sequence of upper bounds on the volume of K . Under certain assumptions, we show that the asymptotic rate of this convergence is at least O ( 1 / log log d ) in general and O ( 1 / log d ) provided that the semialgebraic set is defined by a single inequality.
Author Korda, Milan
Henrion, Didier
Author_xml – sequence: 1
  givenname: Milan
  surname: Korda
  fullname: Korda, Milan
  email: milan.korda@engineering.ucsb.edu
  organization: Department of Mechanical Engineering, University of California
– sequence: 2
  givenname: Didier
  surname: Henrion
  fullname: Henrion, Didier
  organization: LAAS, CNRS, LAAS, Université de Toulouse, Faculty of Electrical Engineering, Czech Technical University in Prague
BookMark eNp9kM9OwzAMxiM0JMbgAbj1BQJ226XtEU38kyZxgXOUZM7o1CYjaafx9mQMceCw02fL-tmfv0s2cd4RYzcItwhQ3UXEeQMcsOKIteD7MzZNmvOyrGHyV1f5BbuMcQMgEJtmymjh3Y7CmpyhLKiBYuZt1vue3MDj2HNvefwcVUiDj5aCCiZJzKwP2c53Y0-Z2m6D37e9GlrvDnSkvlXdmnRQrUndEK_YuVVdpOtfnbH3x4e3xTNfvj69LO6X3BQFDlzYWufaroRWOTa6smChEmpV6hJE2cyhUAoLazBXjao1aFHODVUNEhKYFRUzhse9JvgYA1m5DclY-JII8pCTPOYkU07ykJPcJ6b6x5h2-PllSP67k2R-JGO64tYU5MaPwaUHT0DfMCuCqA
CitedBy_id crossref_primary_10_1109_LCSYS_2024_3407610
crossref_primary_10_1109_LCSYS_2022_3185982
crossref_primary_10_1007_s00454_022_00462_0
crossref_primary_10_1007_s10898_023_01287_8
crossref_primary_10_1016_j_laa_2022_04_002
crossref_primary_10_3934_naco_2025011
Cites_doi 10.2307/2371513
10.1512/iumj.1993.42.42045
10.3844/jmssp.2010.240.245
10.1137/080730287
10.1016/j.jco.2006.07.002
10.1016/j.jco.2004.01.005
10.1016/j.sysconle.2016.11.010
ContentType Journal Article
Copyright Springer-Verlag GmbH Germany 2017
Copyright_xml – notice: Springer-Verlag GmbH Germany 2017
DBID AAYXX
CITATION
DOI 10.1007/s11590-017-1186-x
DatabaseName CrossRef
DatabaseTitle CrossRef
DatabaseTitleList
DeliveryMethod fulltext_linktorsrc
Discipline Engineering
Mathematics
EISSN 1862-4480
EndPage 442
ExternalDocumentID 10_1007_s11590_017_1186_x
GrantInformation_xml – fundername: Schweizerischer Nationalfonds zur Förderung der Wissenschaftlichen Forschung
  grantid: P2ELP2_165166
  funderid: http://dx.doi.org/10.13039/501100001711
GroupedDBID -5D
-5G
-BR
-EM
-Y2
-~C
.VR
06D
0R~
0VY
123
1N0
203
2J2
2JN
2JY
2KG
2KM
2LR
2VQ
2~H
30V
4.4
406
408
409
40D
40E
5VS
67Z
6NX
8TC
8UJ
95-
95.
95~
96X
AAAVM
AABHQ
AACDK
AAHNG
AAIAL
AAJBT
AAJKR
AANZL
AARHV
AARTL
AASML
AATNV
AATVU
AAUYE
AAWCG
AAYIU
AAYQN
AAYTO
AAYZH
ABAKF
ABBXA
ABDZT
ABECU
ABFTV
ABHQN
ABJNI
ABJOX
ABKCH
ABMNI
ABMQK
ABNWP
ABQBU
ABSXP
ABTEG
ABTHY
ABTKH
ABTMW
ABULA
ABWNU
ABXPI
ACAOD
ACBXY
ACDTI
ACGFS
ACHSB
ACHXU
ACKNC
ACMDZ
ACMLO
ACOKC
ACOMO
ACPIV
ACSNA
ACZOJ
ADHHG
ADHIR
ADINQ
ADKNI
ADKPE
ADRFC
ADTPH
ADURQ
ADYFF
ADZKW
AEBTG
AEFQL
AEGAL
AEGNC
AEJHL
AEJRE
AEMSY
AENEX
AEOHA
AEPYU
AESKC
AETLH
AEVLU
AEXYK
AFBBN
AFGCZ
AFLOW
AFQWF
AFWTZ
AFZKB
AGAYW
AGDGC
AGJBK
AGMZJ
AGQEE
AGQMX
AGRTI
AGWIL
AGWZB
AGYKE
AHAVH
AHBYD
AHKAY
AHSBF
AHYZX
AIAKS
AIGIU
AIIXL
AILAN
AITGF
AJBLW
AJRNO
AJZVZ
ALMA_UNASSIGNED_HOLDINGS
ALWAN
AMKLP
AMXSW
AMYLF
AMYQR
AOCGG
ARMRJ
AXYYD
AYJHY
B-.
BA0
BAPOH
BDATZ
BGNMA
BSONS
CAG
COF
CS3
CSCUP
DDRTE
DNIVK
DPUIP
DU5
EBLON
EBS
EIOEI
EJD
ESBYG
FERAY
FFXSO
FIGPU
FINBP
FNLPD
FRRFC
FSGXE
FWDCC
GGCAI
GGRSB
GJIRD
GNWQR
GQ6
GQ7
GQ8
GXS
H13
HF~
HG5
HG6
HLICF
HMJXF
HQYDN
HRMNR
HZ~
IJ-
IKXTQ
IWAJR
IXC
IXD
IXE
IZIGR
IZQ
I~X
I~Z
J-C
J0Z
J9A
JBSCW
JCJTX
JZLTJ
KDC
KOV
LLZTM
M4Y
MA-
N9A
NPVJJ
NQJWS
NU0
O9-
O93
O9J
OAM
P2P
P9M
PF0
PT4
QOS
R89
R9I
ROL
RPX
RSV
S16
S1Z
S27
S3B
SAP
SDH
SHX
SISQX
SJYHP
SMT
SNE
SNPRN
SNX
SOHCF
SOJ
SPISZ
SRMVM
SSLCW
STPWE
SZN
T13
TSG
TSK
TSV
TUC
U2A
UG4
UOJIU
UTJUX
UZXMN
VC2
VFIZW
W23
W48
WK8
YLTOR
Z45
Z7R
Z7Y
Z83
Z88
ZMTXR
~A9
AAPKM
AAYXX
ABBRH
ABDBE
ABFSG
ABRTQ
ACSTC
AEZWR
AFDZB
AFHIU
AFOHR
AHPBZ
AHWEU
AIXLP
ATHPR
AYFIA
CITATION
ID FETCH-LOGICAL-c331t-6f8b2bfd6ba219b7f0f076ad4b40649503aa13fc12a9a8b0b645ce791e1e0cde3
IEDL.DBID RSV
ISICitedReferencesCount 7
ISICitedReferencesURI http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=000429677700001&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
ISSN 1862-4472
IngestDate Tue Nov 18 21:16:31 EST 2025
Sat Nov 29 02:44:10 EST 2025
Fri Feb 21 02:36:59 EST 2025
IsDoiOpenAccess false
IsOpenAccess true
IsPeerReviewed true
IsScholarly true
Issue 3
Keywords Convergence rate
Polynomial sums of squares
Moment relaxations
Semidefinite programming
Approximation theory
Language English
LinkModel DirectLink
MergedId FETCHMERGED-LOGICAL-c331t-6f8b2bfd6ba219b7f0f076ad4b40649503aa13fc12a9a8b0b645ce791e1e0cde3
OpenAccessLink https://hal.laas.fr/hal-01415327/file/convergevol.pdf
PageCount 8
ParticipantIDs crossref_primary_10_1007_s11590_017_1186_x
crossref_citationtrail_10_1007_s11590_017_1186_x
springer_journals_10_1007_s11590_017_1186_x
PublicationCentury 2000
PublicationDate 20180500
2018-5-00
PublicationDateYYYYMMDD 2018-05-01
PublicationDate_xml – month: 5
  year: 2018
  text: 20180500
PublicationDecade 2010
PublicationPlace Berlin/Heidelberg
PublicationPlace_xml – name: Berlin/Heidelberg
PublicationTitle Optimization letters
PublicationTitleAbbrev Optim Lett
PublicationYear 2018
Publisher Springer Berlin Heidelberg
Publisher_xml – name: Springer Berlin Heidelberg
References Nie, Schweighofer (CR6) 2007; 23
Laurent, Putinar, Sullivan (CR5) 2009
CR3
Schweighofer (CR8) 2004; 20
Putinar (CR7) 1993; 42
Weyl (CR9) 1939; 61
Henrion, Lasserre, Savorgnan (CR2) 2009; 51
Bhaya (CR1) 2010; 6
Lasserre (CR4) 2010
ES Bhaya (1186_CR1) 2010; 6
D Henrion (1186_CR2) 2009; 51
M Laurent (1186_CR5) 2009
J Nie (1186_CR6) 2007; 23
M Putinar (1186_CR7) 1993; 42
H Weyl (1186_CR9) 1939; 61
JB Lasserre (1186_CR4) 2010
1186_CR3
M Schweighofer (1186_CR8) 2004; 20
References_xml – volume: 61
  start-page: 461
  year: 1939
  end-page: 472
  ident: CR9
  article-title: On the volume of tubes
  publication-title: Am. J. Math.
  doi: 10.2307/2371513
– year: 2009
  ident: CR5
  article-title: Sums of squares, moment matrices and polynomial optimization
  publication-title: Emerging Applications of Algebraic Geometry
– year: 2010
  ident: CR4
  publication-title: Moments, Positive Polynomials and Their Applications
– volume: 42
  start-page: 969
  year: 1993
  end-page: 984
  ident: CR7
  article-title: Positive polynomials on compact semi-algebraic sets
  publication-title: Indiana Univ. Math. J.
  doi: 10.1512/iumj.1993.42.42045
– volume: 6
  start-page: 240
  year: 2010
  end-page: 245
  ident: CR1
  article-title: Interpolating operators for multiapproximation
  publication-title: J. Math. Stat.
  doi: 10.3844/jmssp.2010.240.245
– ident: CR3
– volume: 51
  start-page: 722
  issue: 4
  year: 2009
  end-page: 743
  ident: CR2
  article-title: Approximate volume and integration for basic semialgebraic sets
  publication-title: SIAM Rev.
  doi: 10.1137/080730287
– volume: 23
  start-page: 135
  year: 2007
  end-page: 150
  ident: CR6
  article-title: On the complexity of Putinar’s Positivstellensatz
  publication-title: J. Complex.
  doi: 10.1016/j.jco.2006.07.002
– volume: 20
  start-page: 529
  year: 2004
  end-page: 543
  ident: CR8
  article-title: On the complexity of Schmüdgen’s Positivstellensatz
  publication-title: J. Complex.
  doi: 10.1016/j.jco.2004.01.005
– volume: 42
  start-page: 969
  year: 1993
  ident: 1186_CR7
  publication-title: Indiana Univ. Math. J.
  doi: 10.1512/iumj.1993.42.42045
– volume: 51
  start-page: 722
  issue: 4
  year: 2009
  ident: 1186_CR2
  publication-title: SIAM Rev.
  doi: 10.1137/080730287
– volume-title: Moments, Positive Polynomials and Their Applications
  year: 2010
  ident: 1186_CR4
– ident: 1186_CR3
  doi: 10.1016/j.sysconle.2016.11.010
– volume-title: Emerging Applications of Algebraic Geometry
  year: 2009
  ident: 1186_CR5
– volume: 61
  start-page: 461
  year: 1939
  ident: 1186_CR9
  publication-title: Am. J. Math.
  doi: 10.2307/2371513
– volume: 6
  start-page: 240
  year: 2010
  ident: 1186_CR1
  publication-title: J. Math. Stat.
  doi: 10.3844/jmssp.2010.240.245
– volume: 23
  start-page: 135
  year: 2007
  ident: 1186_CR6
  publication-title: J. Complex.
  doi: 10.1016/j.jco.2006.07.002
– volume: 20
  start-page: 529
  year: 2004
  ident: 1186_CR8
  publication-title: J. Complex.
  doi: 10.1016/j.jco.2004.01.005
SSID ssj0061199
Score 2.2047472
Snippet Moment-sum-of-squares hierarchies of semidefinite programs can be used to approximate the volume of a given compact basic semialgebraic set K . The idea...
SourceID crossref
springer
SourceType Enrichment Source
Index Database
Publisher
StartPage 435
SubjectTerms Computational Intelligence
Mathematics
Mathematics and Statistics
Numerical and Computational Physics
Operations Research/Decision Theory
Optimization
Original Paper
Simulation
Title Convergence rates of moment-sum-of-squares hierarchies for volume approximation of semialgebraic sets
URI https://link.springer.com/article/10.1007/s11590-017-1186-x
Volume 12
WOSCitedRecordID wos000429677700001&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
journalDatabaseRights – providerCode: PRVAVX
  databaseName: Springer LINK
  customDbUrl:
  eissn: 1862-4480
  dateEnd: 99991231
  omitProxy: false
  ssIdentifier: ssj0061199
  issn: 1862-4472
  databaseCode: RSV
  dateStart: 20070101
  isFulltext: true
  titleUrlDefault: https://link.springer.com/search?facet-content-type=%22Journal%22
  providerName: Springer Nature
link http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV1LS8QwEA6yetCDb3F9kYMnJdA0aZseZXHx4iK-2FtJ0gQK7q5uurI_30kfrgsq6KU0MCllksw3YWa-QegcYEGpmMdESHgAQlkiUyqIUpHOtWBa6brZRDIYiOEwvWvquF2b7d6GJCtLvSh2A-T1SVQJAac4JuA4rgLaCd-v4f7huTW_Ma2bRoJISDhPwjaU-d0nlsFoORJaAUx_61-_to02G38SX9UbYAetmPEu2vjCMgij209qVreHTM_nmVcllwZ7ngiHJxaPPBFDSWBbkokl7m3my5Kw75NdRRrgHZxbXJsyXPGQz4u66NHPdmZU-H4hcPMuNIxKt4-e-tePvRvS9FogmjFaktgKFSqbx0qCDVOJDWyQxDLnChAfLlEBk5Iyq2koUylUAOsbaZOk1FAT6NywA9QZT8bmEGFfSiuECQ21nFsVppxZKSIpmY5UGOVdFLRKz3RDRO77YbxkCwplr88M9Jl5fWbzLrr4nPJas3D8JnzZrlLWHEj3s_TRn6SP0Tp4TKLOeDxBnXI6M6doTb-XhZueVRvxA2RD22Q
linkProvider Springer Nature
linkToHtml http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV3dS8MwEA8yBfXBb3F-5sEnJdC0aZs-ynBM3IbolL2VJE1g4DZdO9mf76UfmwMV9KU0cCnlktzvwt39DqFLgAUpAxYQLuABCGWIiCgnUvoqUdxTUhXNJsJul_f70UNZx51W2e5VSDK31ItiN0Bem0QVEnCKAwKO4yoDwLKE-Y9PL5X5DWjRNBJEXMJY6FahzO8-sQxGy5HQHGCa2__6tR20VfqT-KbYALtoRY_20OYXlkEYdebUrOk-0g2bZ56XXGpseSJSPDZ4aIkYMgLbkowNSd-ntiwJ2z7ZeaQB3sG5xYUpwzkP-WxQFD3a2akeDmy_ELh5DxSMsvQAPTdve40WKXstEOV5NCOB4dKVJgmkABsmQ-MYJwxEwiQgPlyiHE8I6hlFXREJLh1YX1_pMKKaakcl2jtEtdF4pI8QtqW0nGtXU8OYkW7EPCO4L4SnfOn6SR05ldJjVRKR234Yr_GCQtnqMwZ9xlaf8ayOruZT3goWjt-Er6tVissDmf4sffwn6Qu03up12nH7rnt_gjbAe-JF9uMpqmWTqT5Da-ojG6ST83xTfgK1_N5I
linkToPdf http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwpV3dS8MwEA8yRfTBb3F-9sEnJaxt-pE-ynQo6hj4wd5KkiZQcN1cO9mf76VpNwcqiC-lgUspd0nuwt39fgidg1vgPPACTBk8wEMpzCKHYs59kQhKBBeGbCLsdmm_H_UqntO8rnavU5Kmp0GjNGVFa5So1rzxDbywLqgKMQTIAYYgctnTdfT6uv70Wh_FgWMIJEHExZ4XunVa87tPLDqmxaxo6Ww6m__-zS20UcWZ1pVZGNtoSWY7aP0L-iCMHmeQrfkukm1df162YkpL40fk1lBZAw3QUGBYrniocP4-0e1KlubPLjMQ8A5Br2WOOKvEJ5-mphlSz87lINU8InAjTwWMinwPvXRuntu3uOJgwIIQp8CBotzlKgk4g7ONh8pWdhiwxOMQCcDlyiaMOUQJx2URo9wGu_tChpEjHWmLRJJ91MiGmTxAlm6xpVS60lGep7gbeUQx6jNGhM9dP2kiuzZALCqAcs2T8RbPoZW1PmPQZ6z1GU-b6GI2ZWTQOX4TvqwtFlcbNf9Z-vBP0mdotXfdiR_uuvdHaA2CKmqKIo9RoxhP5AlaER9Fmo9Py_X5CYh95yw
openUrl ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=Convergence+rates+of+moment-sum-of-squares+hierarchies+for+volume+approximation+of+semialgebraic+sets&rft.jtitle=Optimization+letters&rft.au=Korda%2C+Milan&rft.au=Henrion%2C+Didier&rft.date=2018-05-01&rft.issn=1862-4472&rft.eissn=1862-4480&rft.volume=12&rft.issue=3&rft.spage=435&rft.epage=442&rft_id=info:doi/10.1007%2Fs11590-017-1186-x&rft.externalDBID=n%2Fa&rft.externalDocID=10_1007_s11590_017_1186_x
thumbnail_l http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=1862-4472&client=summon
thumbnail_m http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=1862-4472&client=summon
thumbnail_s http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=1862-4472&client=summon