Results 1  10
of
162
SUM OF SQUARES CERTIFICATES FOR CONTAINMENT OF HPOLYTOPES IN VPOLYTOPES
"... Abstract. Given an Hpolytope P and a Vpolytope Q, the decision problem whether P is contained in Q is coNPcomplete. This hardness remains if P is restricted to be a standard cube and Q is restricted to be the affine image of a cross polytope. While this hardness classification by Freund and Orli ..."
Abstract

Cited by 1 (0 self)
 Add to MetaCart
and Orlin dates back to 1985, for general dimension there seems to be only limited progress on that problem so far. Based on a formulation of the problem in terms of a bilinear feasibility problem, we study sum of squares certificates to decide the containment problem. These certificates can be computed
A NOTE ON THE NONEXISTENCE OF SUM OF SQUARES CERTIFICATES FOR THE BMV CONJECTURE
, 2010
"... The algebraic reformulation of the BMV conjecture is equivalent to a family of dimensionfree tracial inequalities involving positive semidefinite matrices. Sufficient conditions for these to hold in the form of algebraic identities involving polynomials in noncommuting variables have been given ..."
Abstract
 Add to MetaCart
by Markus Schweighofer and the second author. Later the existence of these certificates has been settled for all but one case, which is resolved in this note.
Sums of squares, moment matrices and optimization over polynomials
, 2008
"... We consider the problem of minimizing a polynomial over a semialgebraic set defined by polynomial equations and inequalities, which is NPhard in general. Hierarchies of semidefinite relaxations have been proposed in the literature, involving positive semidefinite moment matrices and the dual theory ..."
Abstract

Cited by 154 (9 self)
 Add to MetaCart
theory of sums of squares of polynomials. We present these hierarchies of approximations and their main properties: asymptotic/finite convergence, optimality certificate, and extraction of global optimum solutions. We review the mathematical tools underlying these properties, in particular, some sums
CERTIFICATE OF APPROVAL
, 1984
"... Application of least square cubic splines to the analysis of edges ..."
An exact duality theory for semidefinite programming based on sums of squares
, 2012
"... Farkas’ lemma is a fundamental result from linear programming providing linear certificates for infeasibility of systems of linear inequalities. In semidefinite programming, such linear certificates only exist for strongly infeasible linear matrix inequalities. We provide nonlinear algebraic certifi ..."
Abstract

Cited by 13 (2 self)
 Add to MetaCart
radical and sums of squares certificates from real algebraic geometry.
Global optimization of polynomials using gradient tentacles and sums of squares
 SIAM Journal on Optimization
"... We consider the problem of computing the global infimum of a real polynomial f on R n. Every global minimizer of f lies on its gradient variety, i.e., the algebraic subset of R n where the gradient of f vanishes. If f attains a minimum on R n, it is therefore equivalent to look for the greatest low ..."
Abstract

Cited by 26 (0 self)
 Add to MetaCart
lower bound of f on its gradient variety. Nie, Demmel and Sturmfels proved recently a theorem about the existence of sums of squares certificates for such lower bounds. Based on these certificates, they find arbitrarily tight relaxations of the original problem that can be formulated as semidefinite
QuadraticTime Certificates in Linear Algebra
, 2011
"... We present certificates for the positive semidefiniteness of an n × n matrix A, whose entries are integers of binary length log ‖A‖, that can be verified in O(n 2+ǫ (log ‖A‖) 1+ǫ) binary operations for any ǫ> 0. The question arises in Hilbert/Artinbased rational sumofsquares certificates, i.e. ..."
Abstract

Cited by 4 (2 self)
 Add to MetaCart
We present certificates for the positive semidefiniteness of an n × n matrix A, whose entries are integers of binary length log ‖A‖, that can be verified in O(n 2+ǫ (log ‖A‖) 1+ǫ) binary operations for any ǫ> 0. The question arises in Hilbert/Artinbased rational sumofsquares certificates, i
CERTIFICATE OF APPROVAL
, 2014
"... Treatment plan optimization for rotatingshield brachytherapy ..."
Verifying nonlinear real formulas via sums of squares
 Theorem Proving in Higher Order Logics, TPHOLs 2007, volume 4732 of Lect. Notes in Comp. Sci
, 2007
"... Abstract. Techniques based on sums of squares appear promising as a general approach to the universal theory of reals with addition and multiplication, i.e. verifying Boolean combinations of equations and inequalities. A particularly attractive feature is that suitable ‘sum of squares ’ certificates ..."
Abstract

Cited by 31 (3 self)
 Add to MetaCart
Abstract. Techniques based on sums of squares appear promising as a general approach to the universal theory of reals with addition and multiplication, i.e. verifying Boolean combinations of equations and inequalities. A particularly attractive feature is that suitable ‘sum of squares
Quantum Certificate Complexity
 In Proc. IEEE Conference on Computational Complexity
, 2003
"... Given a Boolean function f, we study two natural gener alizations of the certificate complexity C (f): the randomized certificate complexity RC (f) and the quantum certificate complexity QC(f). Using Ambainis' adversary method, we exactly characterize QC (f) as the square root of RC(f). We the ..."
Abstract

Cited by 13 (4 self)
 Add to MetaCart
Given a Boolean function f, we study two natural gener alizations of the certificate complexity C (f): the randomized certificate complexity RC (f) and the quantum certificate complexity QC(f). Using Ambainis' adversary method, we exactly characterize QC (f) as the square root of RC(f). We
Results 1  10
of
162