中文
相关论文

相关论文: Stokes, Gibbs and volume computation of semi-algeb…

200 篇论文

Global polynomial optimization is an important tool across applied mathematics, with many applications in operations research, engineering, and physical sciences. In various settings, the polynomials depend on external parameters that may…

最优化与控制 · 数学 2024-06-14 Richard L. Zhu , Mathias Oster , Yuehaw Khoo

In this paper, we study a class of fractional semi-infinite polynomial programming problems involving s.o.s-convex polynomial functions. For such a problem, by a conic reformulation proposed in our previous work and the quadratic modules…

最优化与控制 · 数学 2022-12-29 Feng Guo , Meijun Zhang

The Moment/Sum-of-squares hierarchy provides a way to compute the global minimizers of polynomial optimization problems (POP), at the cost of solving a sequence of increasingly large semidefinite programs (SDPs). We consider large-scale…

最优化与控制 · 数学 2023-09-13 Johannes Aspman , Gilles Bareilles , Vyacheslav Kungurtsev , Jakub Marecek , Martin Takáč

Let $G$ be a bounded open subset of Euclidean space with real algebraic boundary $\Gamma$. Under the assumption that the degree $d$ of $\Gamma$ is given, and the power moments of the Lebesgue measure on $G$ are known up to order $3d$, we…

最优化与控制 · 数学 2014-02-07 Jean-Bernard Lasserre , Mihai Putinar

Semidefinite programs (SDP) are one of the most versatile frameworks in numerical optimization, serving as generalizations of many conic programs and as relaxations of NP-hard combinatorial problems. Their main drawback is their…

最优化与控制 · 数学 2022-02-28 Biel Roig-Solvas , Mario Sznaier

We present a general approach to rounding semidefinite programming relaxations obtained by the Sum-of-Squares method (Lasserre hierarchy). Our approach is based on using the connection between these relaxations and the Sum-of-Squares proof…

数据结构与算法 · 计算机科学 2013-12-24 Boaz Barak , Jonathan Kelner , David Steurer

We give new positive and negative results (some conditional) on speeding up computational algebraic geometry over the reals: (1) A new and sharper upper bound on the number of connected components of a semialgebraic set. Our bound is novel…

代数几何 · 数学 2007-05-23 J. Maurice Rojas

In theory, hierarchies of semidefinite programming (SDP) relaxations based on sum of squares (SOS) polynomials have been shown to provide arbitrarily close approximations for a general polynomial optimization problem (POP). However, due to…

最优化与控制 · 数学 2018-12-31 Xiaolong Kuang , Bissan Ghaddar , Joe Naoum-Sawaya , Luis F. Zuluaga

Under what circumstances does the ``closeness" of two functions imply the ``closeness" of their respective sublevel sets? In this paper, we answer this question by showing that if a sequence of functions converges strictly from above/below…

最优化与控制 · 数学 2024-01-23 Morgan Jones

Many uncertainty sets encountered in control systems analysis and design can be expressed in terms of semialgebraic sets, that is as the intersection of sets described by means of polynomial inequalities. Important examples are for instance…

最优化与控制 · 数学 2015-09-15 Fabrizio Dabbene , Didier Henrion , Constantino Lagoa

Quadratic Unconstrained Binary Optimization (QUBO) problems are prevalent in various applications and are known to be NP-hard. The seminal work of Goemans and Williamson introduced a semidefinite programming (SDP) relaxation for such…

量子物理 · 物理学 2025-10-10 Haomu Yuan , Daniel Stilck França , Ilia Luchnikov , Egor Tiunov , Tobias Haug , Leandro Aolita

We consider evolutionary Stokes system, coupled with the so-called dynamic slip boundary condition, in the simple geometry of a $d$-dimensional half-space. Using the standard technique of the Fourier transform in tangential directions, we…

偏微分方程分析 · 数学 2026-03-19 Dalibor Pražák , Michael Zelina

We study quantum algorithms for approximating Lasserre's hierarchy values for polynomial optimization. Let $f,g_1,\ldots,g_m$ be real polynomials in $n$ variables and $f^\star$ the infimum of $f$ over the semialgebraic set $S(g)=\{x:…

量子物理 · 物理学 2025-11-19 Daniel Stilck França , Ngoc Hoang Anh Mai

We consider the problem of approximating a semialgebraic set with a sublevel-set of a polynomial function. In this setting, it is standard to seek a minimum volume outer approximation and/or maximum volume inner approximation. As there is…

最优化与控制 · 数学 2022-05-30 James Guthrie

We analyze a semi-implicit finite volume scheme for the Gray--Scott system, a model for pattern formation in chemical and biological media. We prove unconditional well-posedness of the fully discrete problem and establish qualitative…

数值分析 · 数学 2025-08-27 Tsiry Avisoa Randrianasolo

The moment sum of squares (moment-SOS) hierarchy produces sequences of upper and lower bounds on functionals of the exit time solution of a polynomial stochastic differential equation with polynomial constraints, at the price of solving…

最优化与控制 · 数学 2021-01-18 Didier Henrion , Mauricio Junca , Mauricio Velasco

In this paper, we want to clarify the Gibbs phenomenon when continuous and discontinuous finite elements are used to approximate discontinuous or nearly discontinuous PDE solutions from the approximation point of view. For a simple step…

数值分析 · 数学 2022-08-03 Shun Zhang

We study the polynomial optimization problem of minimizing a multihomogeneous polynomial over the product of spheres. This polynomial optimization problem models the tensor optimization problem of finding the best rank one approximation of…

最优化与控制 · 数学 2025-12-16 Sami Halaseh , Victor Magron , Mateusz Skomra

This paper aims to investigate the numerical approximation of a general second order parabolic stochastic partial differential equation(SPDE) driven by multiplicative and additive noise. Our main interest is on such SPDEs where the…

数值分析 · 数学 2020-11-19 Jean Daniel Mukam , Antoine Tambue

We establish new convergence rates for the Moment-Sum-of-Squares (Moment-SoS) relaxations for the Generalized Moment Problem (GMP) with countable moment constraints on vectors of measures, under dual optimum attainment, $S$-fullness and…

最优化与控制 · 数学 2025-09-03 Lucas Gamertsfelder , Bernard Mourrain