Pith. sign in

REVIEW 1 cited by

Sum-of-squares hierarchies for polynomial optimization and the Christoffel-Darboux kernel

Not yet reviewed by Pith; the record is open.

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 2111.04610 v3 pith:SWZARQRL submitted 2021-11-08 math.OC

classification math.OC
keywords hierarchieskernelcertificateschristoffel-darbouxlasserremathbfoptimizationpolynomial
verification ladder T0 review T1 audit T2 compute T3 formal
0 comments
abstract

Consider the problem of minimizing a polynomial $f$ over a compact semialgebraic set ${\mathbf{X} \subseteq \mathbb{R}^n}$. Lasserre introduces hierarchies of semidefinite programs to approximate this hard optimization problem, based on classical sum-of-squares certificates of positivity of polynomials due to Putinar and Schm\"udgen. When $\mathbf{X}$ is the unit ball or the standard simplex, we show that the hierarchies based on the Schm\"udgen-type certificates converge to the global minimum of $f$ at a rate in $O(1/r^2)$, matching recently obtained convergence rates for the hypersphere and hypercube $[-1,1]^n$. For our proof, we establish a connection between Lasserre's hierarchies and the Christoffel-Darboux kernel, and make use of closed form expressions for this kernel derived by Xu.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. On the convergence rates of moment-SOS hierarchies approximation of truncated moment sequences

    math.OC 2025-07 conditional novelty 8.0 of 10

    The convergence rate of the moment-SOS hierarchy on a compact semi-algebraic set is O(1/r^L), where L is the Lojasiewicz exponent of the set's defining polynomials.

Pith tools