Monomial-size vs. Bit-complexity in Sums-of-Squares and Polynomial Calculus
Abstract
In this paper we consider the relationship between monomial-size and bit-complexity in Sums-of-Squares (SOS) in Polynomial Calculus Resolution over rationals (PCR/$\mathbb{Q}$). We show that there is a set of polynomial constraints $Q_n$ over Boolean variables that has both SOS and PCR/$\mathbb{Q}$ refutations of degree 2 and thus with only polynomially many monomials, but for which any SOS or PCR/$\mathbb{Q}$ refutation must have exponential bit-complexity, when the rational coefficients are represented with their reduced fractions written in binary.
- Publication:
-
arXiv e-prints
- Pub Date:
- May 2021
- DOI:
- 10.48550/arXiv.2105.07525
- arXiv:
- arXiv:2105.07525
- Bibcode:
- 2021arXiv210507525H
- Keywords:
-
- Computer Science - Computational Complexity;
- Computer Science - Logic in Computer Science
- E-Print:
- To appear in the Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2021)