We introduce a method for proving bounds on the SoS rank based on Boolean Function Analysis and Approximation Theory. We apply our technique to improve upon existing results, thus making progress towards answering several open questions. We consider two questions by Laurent. First, finding what is the SoS rank of the linear representation of the set with no integral points. We prove that the SoS rank is between ceil[n/2] and ceil[~ n/2 +sqrt{n log{2n}} ~]. Second, proving the bounds on the SoS rank for the instance of the Min Knapsack problem. We show that the SoS rank is at least Omega(sqrt{n}) and at most ceil[{n+ 4 ceil[sqrt{n} ~]}/2]. Finally, we consider the question by Bienstock regarding the instance of the Set Cover problem. For thi...
AbstractWe investigate the Semidefinite Programming based sums of squares (SOS) decomposition method...
In this paper, we develop machinery which makes it much easier to prove sum of squares lower bounds ...
Various key problems from theoretical computer science can be expressed as polynomial optimization p...
We study the rank of the Sum of Squares (SoS) hierarchy over the Boolean hypercube for Symmetric Qua...
We study the rank of the Sum of Squares (SoS) hierarchy over the Boolean hypercube for Symmetric Qua...
We give two results concerning the power of the Sum-Of-Squares(SoS)/Lasserre hierarchy. For binary p...
We study how well functions over the boolean hypercube of the form f_k(x)=(|x|-k)(|x|-k-1) can be ap...
We study how well functions over the boolean hypercube of the form fk(x) = (|x|-k)(|x|-k-1) can be a...
In this paper, we construct general machinery for proving Sum-of-Squares lower bounds on certificati...
We show that if a system of degree-k polynomial constraints on n Boolean variables has a Sums-of-Squ...
We prove lower bounds for the Minimum Circuit Size Problem (MCSP) in the Sum-of-Squares (SoS) proof ...
It has often been claimed in recent papers that one can find a degree d Sum-of-Squares proof if one ...
The Sum of Squares (SOS) algorithm (Parrilo, Lasserre) is a powerful convex programming hierarchy th...
© 2019 Society for Industrial and Applied Mathematics We prove that with high probability over the c...
We exhibit families of 4-CNF formulas over n variables that have sums-of-squares (SOS) proofs of uns...
AbstractWe investigate the Semidefinite Programming based sums of squares (SOS) decomposition method...
In this paper, we develop machinery which makes it much easier to prove sum of squares lower bounds ...
Various key problems from theoretical computer science can be expressed as polynomial optimization p...
We study the rank of the Sum of Squares (SoS) hierarchy over the Boolean hypercube for Symmetric Qua...
We study the rank of the Sum of Squares (SoS) hierarchy over the Boolean hypercube for Symmetric Qua...
We give two results concerning the power of the Sum-Of-Squares(SoS)/Lasserre hierarchy. For binary p...
We study how well functions over the boolean hypercube of the form f_k(x)=(|x|-k)(|x|-k-1) can be ap...
We study how well functions over the boolean hypercube of the form fk(x) = (|x|-k)(|x|-k-1) can be a...
In this paper, we construct general machinery for proving Sum-of-Squares lower bounds on certificati...
We show that if a system of degree-k polynomial constraints on n Boolean variables has a Sums-of-Squ...
We prove lower bounds for the Minimum Circuit Size Problem (MCSP) in the Sum-of-Squares (SoS) proof ...
It has often been claimed in recent papers that one can find a degree d Sum-of-Squares proof if one ...
The Sum of Squares (SOS) algorithm (Parrilo, Lasserre) is a powerful convex programming hierarchy th...
© 2019 Society for Industrial and Applied Mathematics We prove that with high probability over the c...
We exhibit families of 4-CNF formulas over n variables that have sums-of-squares (SOS) proofs of uns...
AbstractWe investigate the Semidefinite Programming based sums of squares (SOS) decomposition method...
In this paper, we develop machinery which makes it much easier to prove sum of squares lower bounds ...
Various key problems from theoretical computer science can be expressed as polynomial optimization p...