Undefinability of Approximation of 2-To-2 Games

Authors Anuj Dawar , Bálint Molnár



PDF
Thumbnail PDF

File

LIPIcs.CSL.2025.16.pdf
  • Filesize: 0.89 MB
  • 21 pages

Document Identifiers

Author Details

Anuj Dawar
  • Department of Computer Science and Technology, University of Cambridge, UK
Bálint Molnár
  • Department of Computer Science and Technology, University of Cambridge, UK

Cite As Get BibTex

Anuj Dawar and Bálint Molnár. Undefinability of Approximation of 2-To-2 Games. In 33rd EACSL Annual Conference on Computer Science Logic (CSL 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 326, pp. 16:1-16:21, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025) https://doi.org/10.4230/LIPIcs.CSL.2025.16

Abstract

Recent work by Atserias and Dawar [Albert Atserias and Anuj Dawar, 2019] and Tucker-Foltz [Jamie Tucker-Foltz, 2024] has established undefinability results in fixed-point logic with counting (FPC) corresponding to many classical complexity results from the hardness of approximation. In this line of work, NP-hardness results are turned into unconditional FPC undefinability results. We extend this work by showing the FPC undefinability of any constant factor approximation of weighted 2-to-2 games, based on the NP-hardness results of Khot, Minzer and Safra. Our result shows that the completely satisfiable 2-to-2 games are not FPC-separable from those that are not ε-satisfiable, for arbitrarily small ε. The perfect completeness of our inseparability is an improvement on the complexity result, as the NP-hardness of such a separation is still only conjectured. This perfect completeness enables us to show the FPC undefinability of other problems whose NP-hardness is conjectured. In particular, we are able to show that no FPC formula can separate the 3-colourable graphs from those that are not t-colourable, for any constant t.

Subject Classification

ACM Subject Classification
  • Theory of computation → Finite Model Theory
  • Theory of computation → Complexity theory and logic
  • Theory of computation → Problems, reductions and completeness
Keywords
  • Hardness of Approximation
  • Unique Games
  • Descriptive Complexity
  • Fixed-Point Logic with Counting

Metrics

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

References

  1. Matthew Anderson and Anuj Dawar. On symmetric circuits and fixed-point logics. Theory of Computing Systems, 60(3):521-551, July 2017. URL: https://doi.org/10.1007/s00224-016-9692-2.
  2. Sanjeev Arora, Carsten Lund, Rajeev Motwani, Madhu Sudan, and Mario Szegedy. Proof verification and the hardness of approximation problems. J. ACM, 45(3):501-555, May 1998. URL: https://doi.org/10.1145/278298.278306.
  3. Sanjeev Arora and Shmuel Safra. Probabilistic checking of proofs: a new characterization of np. J. ACM, 45(1):70-122, January 1998. URL: https://doi.org/10.1145/273865.273901.
  4. Albert Atserias, Andrei Bulatov, and Anuj Dawar. Affine systems of equations and counting infinitary logic. Theoretical Computer Science, 410(18):1666-1683, 2009. Automata, Languages and Programming (ICALP 2007). URL: https://doi.org/10.1016/j.tcs.2008.12.049.
  5. Albert Atserias and Víctor Dalmau. Promise constraint satisfaction and width. In Proceedings of the 2022 ACM-SIAM Symposium on Discrete Algorithms, SODA 2022, pages 1129-1153. SIAM, 2022. URL: https://doi.org/10.1137/1.9781611977073.48.
  6. Albert Atserias and Anuj Dawar. Definable inapproximability: New challenges for duplicator, 2019. URL: https://arxiv.org/abs/1806.11307.
  7. Libor Barto, Jakub Bulín, Andrei Krokhin, and Jakub Opršal. Algebraic approach to promise constraint satisfaction. Journal of the ACM, 68(4):1-66, July 2021. URL: https://doi.org/10.1145/3457606.
  8. Libor Barto and Marcin Kozik. Constraint satisfaction problems solvable by local consistency methods. J. ACM, 61(1), January 2014. URL: https://doi.org/10.1145/2556646.
  9. Pierluigi Crescenzi, Riccardo Silvestri, and Luca Trevisan. On weighted vs unweighted versions of combinatorial optimization problems. Inf. Comput., 167(1):10-26, May 2001. URL: https://doi.org/10.1006/inco.2000.3011.
  10. Anuj Dawar. The nature and power of fixed-point logic with counting. ACM SIGLOG News, 2(1):8-21, January 2015. URL: https://doi.org/10.1145/2728816.2728820.
  11. Irit Dinur, Subhash Khot, Guy Kindler, Dor Minzer, and Muli Safra. Towards a proof of the 2-to-1 games conjecture? In Proceedings of the 50th Annual ACM SIGACT Symposium on Theory of Computing, STOC 2018, pages 376-389, New York, NY, USA, 2018. Association for Computing Machinery. URL: https://doi.org/10.1145/3188745.3188804.
  12. Irit Dinur, Elchanan Mossel, and Oded Regev. Conditional hardness for approximate coloring. SIAM Journal on Computing, 39(3):843-873, January 2009. URL: https://doi.org/10.1137/07068062x.
  13. Irit Dinur and Shmuel Safra. On the hardness of approximating label-cover. Information Processing Letters, 89(5):247-254, March 2004. URL: https://doi.org/10.1016/j.ipl.2003.11.007.
  14. Heinz-Dieter Ebbinghaus and Jörg Flum. Finite Model Theory. Springer, 2nd edition, 1999. Google Scholar
  15. Uriel Feige, Shafi Goldwasser, Laszlo Lovász, Shmuel Safra, and Mario Szegedy. Interactive proofs and the hardness of approximating cliques. J. ACM, 43(2):268-292, March 1996. URL: https://doi.org/10.1145/226643.226652.
  16. Venkatesan Guruswami and Sai Sandeep. d-to-1 hardness of coloring 3-colorable graphs with o (1) colors. In 47th International Colloquium on Automata, Languages, and Programming (ICALP 2020). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020. Google Scholar
  17. Johan Håstad. Some optimal inapproximability results. J. ACM, 48(4):798-859, July 2001. URL: https://doi.org/10.1145/502090.502098.
  18. Subhash Khot. On the power of unique 2-prover 1-round games. In Proceedings of the Thiry-Fourth Annual ACM Symposium on Theory of Computing, STOC '02, pages 767-775, New York, NY, USA, 2002. Association for Computing Machinery. URL: https://doi.org/10.1145/509907.510017.
  19. Subhash Khot. On the unique games conjecture (invited survey). In 2010 IEEE 25th Annual Conference on Computational Complexity, pages 99-121, 2010. URL: https://doi.org/10.1109/CCC.2010.19.
  20. Subhash Khot, Dor Minzer, and Muli Safra. On independent sets, 2-to-2 games, and grassmann graphs. In Proceedings of the 49th Annual ACM SIGACT Symposium on Theory of Computing, STOC 2017, pages 576-589, New York, NY, USA, 2017. Association for Computing Machinery. URL: https://doi.org/10.1145/3055399.3055432.
  21. Subhash Khot, Dor Minzer, and Muli Safra. Pseudorandom sets in Grassmann graph have near-perfect expansion. Annals of Mathematics, 198(1):1-92, 2023. URL: https://doi.org/10.4007/annals.2023.198.1.1.
  22. Dor Minzer. On Monotonicity Testing and the 2-to-2 Games Conjecture, volume 49. Association for Computing Machinery, New York, NY, USA, 1 edition, 2022. Google Scholar
  23. Prasad Raghavendra. Optimal algorithms and inapproximability results for every csp? In Proceedings of the Fortieth Annual ACM Symposium on Theory of Computing, STOC '08, pages 245-254, New York, NY, USA, 2008. Association for Computing Machinery. URL: https://doi.org/10.1145/1374376.1374414.
  24. Benjamin Rossman. Equi-rank homomorphism preservation theorem on finite structures. In 33rd EACSL Annual Conference on Computer Science Logic, CSL, 2025. Google Scholar
  25. Khot Subhash, Dor Minzer, and Muli Safra. Pseudorandom sets in grassmann graph have near-perfect expansion. In 2018 IEEE 59th Annual Symposium on Foundations of Computer Science (FOCS), pages 592-601, 2018. URL: https://doi.org/10.1109/FOCS.2018.00062.
  26. Jamie Tucker-Foltz. Inapproximability of Unique Games in Fixed-Point Logic with Counting. Logical Methods in Computer Science, Volume 20, Issue 2, April 2024. URL: https://doi.org/10.46298/lmcs-20(2:3)2024.
  27. Salil P. Vadhan. Pseudorandomness. Foundations and Trends® in Theoretical Computer FhScience, 7(1–3):1-336, 2012. URL: https://doi.org/10.1561/0400000010.
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