Linear space streaming lower bounds for approximating CSPs
This work investigates the approximability threshold of constraint satisfaction problems (CSPs) in the streaming model. For $n$-variable CSPs over domain ${0,dots,q-1}$ with $O(n)$ constraints, we prove that any algorithm achieving approximation ratio strictly better than the trivial $1/q$ requires $Omega(n)$ space—establishing the first linear-space lower bound for approximation ratios below $1/2$. Methodologically, we extend the Kapralov–Krachun linear lower-bound technique to general CSPs (surpassing prior $Omega(sqrt{n})$ bounds) via modular-$q$ linear equation encoding, communication complexity analysis, and pseudorandom hard-instance reduction. This yields optimal $q^{-(k-1)}$ inapproximability for Max $k$-LIN mod $q$ with $k>2$, $q>2$. Our results uniformly characterize the streaming hardness of broad CSP subclasses: all nontrivial approximation requires essentially linear space, significantly advancing the theoretical understanding of streaming algorithm limitations.