{"id":"arxiv/2607.25023","url":"https://arxiv.org/abs/2607.25023","tags":["math.CO","cs.DM"],"score":0,"title":"Schrijver Number Quasi-Tensorization and Multicolor Ramsey Bounds via Robust OR Polynomials","domain":"math.CO","source":"arxiv","authors":["Ijay Narang","Yukai Tang"],"reviews":0,"subject":"math.CO","summary":"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. The first is on acute-free families. A set $\\mathcal F=\\{(x_i^{(1)},\\ldots,x_i^{(r)})\\}_{i=1}^M \\subseteq (S^{n-1})^r$ is $r$-way acute-free if, for every $i\\neq j$, there is a coordinate $t\\in[r]$ such that $\\langle x_i^{(t)},x_j^{(t)}\\rangle\\leq 0$. We write $M_r(n)$ for the maximum size of such a set, and $M_r^{\\pm}(n)$ for the hypercube restriction. On the hypercube, $r$-way acute-free sets are independent sets…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-07-27","reactions":{}}