Document Open Access Logo

The SDP Value for Random Two-Eigenvalue CSPs

Authors Sidhanth Mohanty, Ryan O'Donnell, Pedro Paredes

PDF
Thumbnail PDF

File

LIPIcs.STACS.2020.50.pdf
  • Filesize: 0.9 MB
  • 45 pages

Document Identifiers

Author Details

Sidhanth Mohanty
  • EECS Department, University of California, Berkeley, CA, USA
Ryan O'Donnell
  • Computer Science Department, Carnegie Mellon University, Pittsburgh, PA, USA
Pedro Paredes
  • Computer Science Department, Carnegie Mellon University, Pittsburgh, PA, USA

Funding

  • Mohanty, Sidhanth: Supported by NSF grant CCF-1718695.
  • O'Donnell, Ryan: Supported by NSF grant CCF-1717606. This material is based upon work supported by the National Science Foundation under grant numbers listed above. Any opinions, findings and conclusions or recommendations expressed in this material are those of the author and do not necessarily reflect the views of the National Science Foundation (NSF).
  • Paredes, Pedro: Supported by NSF grant CCF-1717606.

Acknowledgements

We thank Yuval Peled for emphasizing the bipartite graph view of additive lifts, and Tselil Schramm for helpful discussions surrounding the trace method on graphs. S.M. would like to thank Jess Banks and Prasad Raghavendra for plenty of helpful discussions on orthogonal polynomials and nonbacktracking walks. Finally, we are grateful to Xinyu Wu for bringing the relevance of [Bordenave and Collins, 2018] to our attention and helping us to understand the issues discussed in Section A.

Cite AsGet BibTex

Sidhanth Mohanty, Ryan O'Donnell, and Pedro Paredes. The SDP Value for Random Two-Eigenvalue CSPs. In 37th International Symposium on Theoretical Aspects of Computer Science (STACS 2020). Leibniz International Proceedings in Informatics (LIPIcs), Volume 154, pp. 50:1-50:45, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2020)
https://doi.org/10.4230/LIPIcs.STACS.2020.50

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 and NAE-3SAT, and includes new cases such as random Sort₄ (equivalently, CHSH) and Forrelation CSPs. Our techniques include new generalizations of the nonbacktracking operator, the Ihara-Bass Formula, and the Friedman/Bordenave proof of Alon’s Conjecture.

Subject Classification

ACM Subject Classification
  • Theory of computation → Semidefinite programming
Keywords
  • Semidefinite programming
  • constraint satisfaction problems

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads
    0
    Metadata Views

Related Versions

References

  1. Scott Aaronson and Andris Ambainis. Forrelation: a problem that optimally separates quantum from classical computing. In Proceedings of the 47th Annual ACM Symposium on Theory of Computing, pages 307-316, 2015. Google Scholar
  2. Noga Alon, Shlomo Hoory, and Nathan Linial. The Moore bound for irregular graphs. Graphs and Combinatorics, 18(1):53-57, 2002. Google Scholar
  3. Andris Ambainis. Polynomial degree vs. quantum query complexity. Journal of Computer and System Sciences, 72(2):220-238, 2006. Google Scholar
  4. Andris Ambainis, Krišjānis Prūsis, and Jevgēnijs Vihrovs. Sensitivity versus certificate complexity of Boolean functions. In Proceedings of the 11th Annual Computer Science Symposium in Russia, pages 16-28, 2016. Google Scholar
  5. Omer Angel, Joel Friedman, and Shlomo Hoory. The non-backtracking spectrum of the universal cover of a graph. Transactions of the American Mathematical Society, 367(6):4287-4318, 2015. Google Scholar
  6. Benny Applebaum, Boaz Barak, and Avi Wigderson. Public-key cryptography from different assumptions. In Proceedings of the 42nd Annual ACM Symposium on Theory of Computing, pages 171-180, 2010. Google Scholar
  7. Alain Aspect, Jean Dalibard, and Gérard Roger. Experimental test of Bell’s inequalities using time-varying analyzers. Physical Review Letters, 49(25):1804-1807, 1982. Google Scholar
  8. Jess Banks, Robert Kleinberg, and Cristopher Moore. The Lovász Theta function for random regular graphs and community detection in the hard regime. In Proceedings of the 21st Annual International Workshop on Randomized Techniques in Computation, volume 81, pages 28:1-28:22, 2017. Google Scholar
  9. John Bell. On the Einstein Podolsky Rosen paradox. Physics Physique Fizika, 1(3):195-200, 1964. Google Scholar
  10. Yonatan Bilu and Nathan Linial. Lifts, discrepancy and nearly optimal spectral gap. Combinatorica. An International Journal on Combinatorics and the Theory of Computing, 26(5):495-519, 2006. Google Scholar
  11. Avrim Blum, Merrick Furst, Michael Kearns, and Richard Lipton. Cryptographic primitives based on hard learning problems. In Proceedings of the 13th Annual International Cryptography Conference, pages 278-291, 1993. Google Scholar
  12. Charles Bordenave. A new proof of Friedman’s second eigenvalue theorem and its extension to random lifts. arXiv preprint, 2015. URL: http://arxiv.org/abs/1502.04482.
  13. Charles Bordenave and Benoît Collins. Eigenvalues of random lifts and polynomial of random permutations matrices. arXiv preprint, 2018. URL: http://arxiv.org/abs/1801.00876.
  14. Charles Bordenave, Marc Lelarge, and Laurent Massoulié. Non-backtracking spectrum of random graphs: community detection and non-regular Ramanujan graphs. In 2015 IEEE 56th Annual Symposium on Foundations of Computer Science, pages 1347-1357. IEEE, 2015. Google Scholar
  15. Mark Braverman, Konstantin Makarychev, Yury Makarychev, and Assaf Naor. The Grothendieck constant is strictly smaller than Krivine’s bound. Forum of Mathematics. Pi, 1:e4, 42, 2013. Google Scholar
  16. Gerandy Brito, Ioana Dumitriu, and Kameron Decker Harris. Spectral gap in random bipartite biregular graphs and its applications. arXiv preprint, 2018. URL: http://arxiv.org/abs/1804.07808.
  17. Moses Charikar and Anthony Wirth. Maximizing quadratic programs: extending Grothendieck’s Inequality. In Proceedings of the 45th Annual IEEE Symposium on Foundations of Computer Science, pages 54-60, 2004. Google Scholar
  18. John Clauser, Michael Horne, Abner Shimony, and Richard Holt. Proposed experiment to test local hidden-variable theories. Physical Review Letters, 23(15):880-884, 1969. Google Scholar
  19. Richard Cleve, Peter Høyer, Benjamin Toner, and John Watrous. Consequences and limits of nonlocal strategies. In Proceedings of the 19th Annual Computational Complexity Conference, pages 246-249, 2004. Google Scholar
  20. Endre Csóka, Balázs Gerencsér, Viktor Harangi, and Bálint Virág. Invariant Gaussian processes and independent sets on regular graphs of large girth. Random Structures & Algorithms, 47(2):284-303, 2015. Google Scholar
  21. Amit Daniely and Shai Shalev-Shwartz. Complexity theoretic limitations on learning DNF’s. In Proceedings of the 29th Annual Conference on Learning Theory, pages 815-830, 2016. Google Scholar
  22. Charles Delorme and Svatopluk Poljak. Laplacian eigenvalues and the maximum cut problem. Mathematical Programming, 62(1-3):557-574, 1993. Google Scholar
  23. Amir Dembo, Andrea Montanari, and Subhabrata Sen. Extremal cuts of sparse random graphs. The Annals of Probability, 45(2):1190-1217, 2017. Google Scholar
  24. Yash Deshpande, Andrea Montanari, Ryan O'Donnell, Tselil Schramm, and Subhabrata Sen. The threshold for SDP-refutation of random regular NAE-3SAT. In Proceedings of the 30th Annual ACM-SIAM Symposium on Discrete Algorithms, pages 2305-2321, 2019. Google Scholar
  25. Jian Ding, Allan Sly, and Nike Sun. Proof of the satisfiability conjecture for large k. In Proceedings of the 47th Annual ACM Symposium on Theory of Computing, pages 59-68, 2015. Google Scholar
  26. Yehonatan Elon. Gaussian waves on the regular tree. Technical report, arXiv, 2009. URL: http://arxiv.org/abs/0907.5065.
  27. Uriel Feige. Relations between average case complexity and approximation complexity. In Proceedings of the 34th Annual ACM Symposium on Theory of Computing, pages 543-543, 2002. Google Scholar
  28. Uriel Feige and Gideon Schechtman. On the optimality of the random hyperplane rounding technique for Max-Cut. Randoom Structures and Algorithms, 20(3):403-440, 2002. Google Scholar
  29. Joel Friedman. A proof of Alon’s second eigenvalue conjecture and related problems. Memoirs of the American Mathematical Society, 195(910):viii+100, 2008. Google Scholar
  30. Michel Goemans and David Williamson. Improved approximation algorithms for maximum cut and satisfiability problems using semidefinite programming. Journal of the ACM, 42:1115-1145, 1995. Google Scholar
  31. Oded Goldreich. Candidate one-way functions based on expander graphs. Technical Report 90, Electronic Colloquium on Computational Complexity, 2000. Google Scholar
  32. Rostislav Grigorchuk and Andrzej Żuk. On the asymptotic spectrum of random walks on infinite families of graphs. In Random walks and discrete potential theory (Cortona, 1997), Sympos. Math., XXXIX, pages 188-204. Cambridge Univ. Press, Cambridge, 1999. Google Scholar
  33. Alexander Grothendieck. Résumé de la théorie métrique des produits tensoriels topologiques. Boletín de la Sociedad Matemática S~ao Paulo, 8:1-79, 1953. Google Scholar
  34. Viktor Harangi and Bálint Virág. Independence ratio and random eigenvectors in transitive graphs. The Annals of Probability, 43(5):2810-2840, 2015. Google Scholar
  35. Ari Juels and Marcus Peinado. Hiding cliques for cryptographic security. Designs, Codes and Cryptography, 20(3):269-280, 2000. Google Scholar
  36. Pravesh Kothari, Ryuhei Mori, Ryan O'Donnell, and David Witmer. Sum of squares lower bounds for refuting any CSP. In Proceedings of the 49th Annual ACM Symposium on Theory of Computing, pages 132-145, 2017. Google Scholar
  37. Florent Krzakala, Cristopher Moore, Elchanan Mossel, Joe Neeman, Allan Sly, Lenka Zdeborová, and Pan Zhang. Spectral redemption in clustering sparse networks. Proceedings of the National Academy of Sciences of the United States of America, 110(52):20935-20940, 2013. Google Scholar
  38. Carlos S Kubrusly. Spectral theory of operators on Hilbert spaces. Springer Science & Business Media, 2012. Google Scholar
  39. Huijia Lin. Indistinguishability obfuscation from SXDH on 5-linear maps and locality-5 PRGs. In Proceedings of the 37th Annual International Cryptography Conference, pages 599-629, 2017. Google Scholar
  40. László Lovász. On the Shannon capacity of a graph. Institute of Electrical and Electronics Engineers. Transactions on Information Theory, 25(1):1-7, 1979. Google Scholar
  41. Russell Lyons. Factors of IID on trees. Combinatorics, Probability and Computing, 26(2):285-300, 2017. Google Scholar
  42. Raffaele Marino, Giorgio Parisi, and Federico Ricci-Tersenghi. The backtracking survey propagation algorithm for solving random k-sat problems. Nature Communications, 7:12996, 2016. Google Scholar
  43. Laurent Massoulié. Community detection thresholds and the weak Ramanujan property. In Proceedings of the forty-sixth annual ACM symposium on Theory of computing, pages 694-703. ACM, 2014. Google Scholar
  44. Marc Mézard and Andrea Montanari. Information, physics, and computation. Oxford University Press, 2009. Google Scholar
  45. Sidhanth Mohanty and Ryan O'Donnell. X-Ramanujan graphs, 2018. Available at URL: https://arxiv.org/abs/1904.03500.
  46. Andrea Montanari. Bounds on ground state enery in the Sherrington-Kirkpatrick model, 2017. Open problem from AIM workshop, available at URL: http://aimpl.org/phaserandom/1/.
  47. Andrea Montanari. Optimization of the Sherrington-Kirkpatrick hamiltonian. arXiv preprint, 2018. URL: http://arxiv.org/abs/1812.10897.
  48. Andrea Montanari and Subhabrata Sen. Semidefinite programs on sparse random graphs and their application to community detection. In Proceedings of the 48th Annual ACM Symposium on Theory of Computing, pages 814-827, 2016. Google Scholar
  49. Elchanan Mossel, Joe Neeman, and Allan Sly. A proof of the block model threshold conjecture. Combinatorica, 38(3):665-708, 2018. Google Scholar
  50. Sam Northshield. Several Proofs of Ihara’s theorem, 1997. Google Scholar
  51. Ryan O'Donnell, Xiaorui Sun, Li-Yang Tan, John Wright, and Yu Zhao. A composition theorem for parity kill number. In Proceedings of the 29th Annual Computational Complexity Conference, pages 144-154, 2014. Google Scholar
  52. Prasad Raghavendra, Satish Rao, and Tselil Schramm. Strongly refuting random CSPs below the spectral threshold. In Proceedings of the 49th Annual ACM Symposium on Theory of Computing, pages 121-131, 2017. Google Scholar
  53. Farzaneh Ramezani. On the signed graphs with two distinct eigenvalues. arXiv preprint, 2015. URL: http://arxiv.org/abs/1511.03511.
  54. Subhabrata Sen. Optimization on sparse random hypergraphs and spin glasses. Random Structures & Algorithms, 53(3):504-536, 2018. Google Scholar
  55. Michel Talagrand. The Parisi formula. Annals of Mathematics. Second Series, 163(1):221-263, 2006. Google Scholar
  56. Boris Tsirelson. Quantum generalizations of Bell’s inequality. Letters in Mathematical Physics, 4(2):93-100, 1980. Google Scholar
  57. Ryan Williams. Algorithms and resource requirements for fundamental problems. PhD thesis, Carnegie Mellon University, 2007. Google Scholar
  58. Wolfgang Woess. Random walks on infinite graphs and groups, volume 138. Cambridge university press, 2000. Google Scholar
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail
© 2023-2024 Schloss Dagstuhl – LZI GmbH Imprint Privacy Contact