Sum of squares lower bounds for refuting any CSP

PK Kothari, R Mori, R O'Donnell, D Witmer - Proceedings of the 49th …, 2017 - dl.acm.org
Let P:{0, 1} k→{0, 1} be a nontrivial k-ary predicate. Consider a random instance of the
constraint satisfaction problem (P) on n variables with Δ n constraints, each being P applied …

Approximation resistance from pairwise-independent subgroups

SO Chan - Journal of the ACM (JACM), 2016 - dl.acm.org
We show optimal (up to a constant factor) NP-hardness for a maximum constraint
satisfaction problem with k variables per constraint (Max-k CSP) whenever k is larger than …

How to refute a random CSP

SR Allen, R O'Donnell, D Witmer - 2015 IEEE 56th Annual …, 2015 - ieeexplore.ieee.org
Let P be a k-ary predicate over a finite alphabet. Consider a random CSP (P) instance I over
n variables with m constraints. When m≫ n the instance will be unsatisfiable with high …

Goldreich's PRG: evidence for near-optimal polynomial stretch

R ODonnell, D Witmer - 2014 IEEE 29th Conference on …, 2014 - ieeexplore.ieee.org
Furthering the study of cryptography in constant parallel time, we give new evidence for the
security of Gold Reich's candidate pseudorandom generator with near-optimal, polynomial …

Cryptographic hardness of random local functions: Survey

B Applebaum - Computational complexity, 2016 - Springer
Constant parallel-time cryptography allows to perform complex cryptographic tasks at an
ultimate level of parallelism, namely by local functions that each of their output bits depend …

How Random CSPs Fool Hierarchies

SO Chan, HT Ng, S Peng - Proceedings of the 56th Annual ACM …, 2024 - dl.acm.org
Relaxations for the constraint satisfaction problem (CSP) include bounded width, linear
program (LP), semidefinite program (SDP), affine integer program (AIP), and the combined …

Sum of squares lower bounds from pairwise independence

B Barak, SO Chan, PK Kothari - Proceedings of the forty-seventh annual …, 2015 - dl.acm.org
We prove that for every ε> 0 and predicate P:{0, 1} k->{0, 1} that supports a pairwise
independent distribution, there exists an instance I of the Max P constraint satisfaction …

Strongly refuting all semi-random Boolean CSPs

J Abascal, V Guruswami, PK Kothari - Proceedings of the 2021 ACM-SIAM …, 2021 - SIAM
We give an efficient algorithm to strongly refute semi-random instances of all Boolean
constraint satisfaction problems. The number of constraints required by our algorithm …

Lower bounds for CSP refutation by SDP hierarchies

R Mori, D Witmer - arXiv preprint arXiv:1610.03029, 2016 - arxiv.org
For a $ k $-ary predicate $ P $, a random instance of CSP $(P) $ with $ n $ variables and $
m $ constraints is unsatisfiable with high probability when $ m\gg n $. The natural …

[PDF][PDF] Refutation of random constraint satisfaction problems using the sum of squares proof system

D Witmer - 2017 - reports-archive.adm.cs.cmu.edu
Given a k-ary predicate P, a random instance of a constraint satisfaction problem with
predicate P (CSP (P)) is a set of m constraints on n variables. Each constraint is P applied to …