Schrijver Number Quasi-Tensorization and Multicolor Ramsey Bounds via Robust OR Polynomials

Ijay Narang, Yukai Tang

We introduce a robust OR polynomial framework for composing positive semidefinite certificates across OR constraints. We demonstrate the power of this method in two applications. T…