English

The SDP value for random two-eigenvalue CSPs

Data Structures and Algorithms 2019-06-18 v1 Computational Complexity Discrete Mathematics Combinatorics Probability

Abstract

We precisely determine the SDP value (equivalently, quantum value) of large random instances of certain kinds of constraint satisfaction problems, ``two-eigenvalue 2CSPs''. We show this SDP value coincides with the spectral relaxation value, possibly indicating a computational threshold. Our analysis extends the previously resolved cases of random regular 2XOR\mathsf{2XOR} and NAE-3SAT\textsf{NAE-3SAT}, and includes new cases such as random Sort4\mathsf{Sort}_4 (equivalently, CHSH\mathsf{CHSH}) and Forrelation\mathsf{Forrelation} CSPs. Our techniques include new generalizations of the nonbacktracking operator, the Ihara--Bass Formula, and the Friedman/Bordenave proof of Alon's Conjecture.

Cite

@article{arxiv.1906.06732,
  title  = {The SDP value for random two-eigenvalue CSPs},
  author = {Sidhanth Mohanty and Ryan O'Donnell and Pedro Paredes},
  journal= {arXiv preprint arXiv:1906.06732},
  year   = {2019}
}

Comments

50 pages excluding title page and table of contents

R2 v1 2026-06-23T09:54:57.311Z