Inapproximability of Unique Games in Fixed-Point Logic with Counting
We study the extent to which it is possible to approximate the optimal value of a Unique Games instance in Fixed-Point Logic with Counting (FPC). We prove two new FPC- inexpressibility results for Unique Games: the existence of a \left( {\frac{1}{2},\frac{1}{3} + \delta } \right)-inapproximability g...
Uloženo v:
| Vydáno v: | Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science s. 1 - 13 |
|---|---|
| Hlavní autor: | |
| Médium: | Konferenční příspěvek |
| Jazyk: | angličtina |
| Vydáno: |
IEEE
29.06.2021
|
| Témata: | |
| On-line přístup: | Získat plný text |
| Tagy: |
Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
|
| Abstract | We study the extent to which it is possible to approximate the optimal value of a Unique Games instance in Fixed-Point Logic with Counting (FPC). We prove two new FPC- inexpressibility results for Unique Games: the existence of a \left( {\frac{1}{2},\frac{1}{3} + \delta } \right)-inapproximability gap, and inapproximability to within any constant factor. Previous recent work has established similar FPC-inapproximability results for a small handful of other problems. Our construction builds upon some of these ideas, but contains a novel technique. While most FPC-inexpressibility results are based on variants of the CFI-construction, ours is significantly different. |
|---|---|
| AbstractList | We study the extent to which it is possible to approximate the optimal value of a Unique Games instance in Fixed-Point Logic with Counting (FPC). We prove two new FPC- inexpressibility results for Unique Games: the existence of a \left( {\frac{1}{2},\frac{1}{3} + \delta } \right)-inapproximability gap, and inapproximability to within any constant factor. Previous recent work has established similar FPC-inapproximability results for a small handful of other problems. Our construction builds upon some of these ideas, but contains a novel technique. While most FPC-inexpressibility results are based on variants of the CFI-construction, ours is significantly different. |
| Author | Tucker-Foltz, Jamie |
| Author_xml | – sequence: 1 givenname: Jamie surname: Tucker-Foltz fullname: Tucker-Foltz, Jamie email: jtuckerfoltz@gmail.com organization: Harvard University |
| BookMark | eNotj9FKwzAUQCMoqLNfIEh-oPUmvUmTR6luFgoKuufRNjczsqV17XD7ewfu6bwdzrlll7GPxNiDgEwIsI91VX4oKTVmEqTILBZQgL5giS2M0FohGqv0NUvG8RsApCkEoL1hz1VshmHXH8K2acMmTEfee76M4WdPfNFsaeQh8nk4kEvf-xAnXvfr0PHfMH3xst_HKcT1HbvyzWak5MwZW85fPsvXtH5bVOVTnTbS2ClFKqxHYdEgWEsecwPWqU56r7pOS1RICh3JohWnZiRwglrnXeuUAczzGbv_9wYiWg27U_PuuDq_5n-mwkw0 |
| ContentType | Conference Proceeding |
| DBID | 6IE 6IH CBEJK RIE RIO |
| DOI | 10.1109/LICS52264.2021.9470706 |
| DatabaseName | IEEE Electronic Library (IEL) Conference Proceedings IEEE Proceedings Order Plan (POP) 1998-present by volume IEEE Xplore All Conference Proceedings IEEE Electronic Library (IEL) IEEE Proceedings Order Plans (POP) 1998-present |
| DatabaseTitleList | |
| Database_xml | – sequence: 1 dbid: RIE name: IEEE Electronic Library (IEL) url: https://ieeexplore.ieee.org/ sourceTypes: Publisher |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Computer Science |
| EISBN | 9781665448956 1665448954 |
| EndPage | 13 |
| ExternalDocumentID | 9470706 |
| Genre | orig-research |
| GroupedDBID | 6IE 6IH ACM ALMA_UNASSIGNED_HOLDINGS APO CBEJK GUFHI LHSKQ RIE RIO |
| ID | FETCH-LOGICAL-a289t-4e79f419484099ef43809d5c2ff5cc62454e54de27b11664e0d1ebdfdbd580433 |
| IEDL.DBID | RIE |
| ISICitedReferencesCount | 1 |
| ISICitedReferencesURI | http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=000947350400076&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| IngestDate | Wed Aug 27 02:26:37 EDT 2025 |
| IsPeerReviewed | false |
| IsScholarly | true |
| Language | English |
| LinkModel | DirectLink |
| MergedId | FETCHMERGED-LOGICAL-a289t-4e79f419484099ef43809d5c2ff5cc62454e54de27b11664e0d1ebdfdbd580433 |
| PageCount | 13 |
| ParticipantIDs | ieee_primary_9470706 |
| PublicationCentury | 2000 |
| PublicationDate | 2021-June-29 |
| PublicationDateYYYYMMDD | 2021-06-29 |
| PublicationDate_xml | – month: 06 year: 2021 text: 2021-June-29 day: 29 |
| PublicationDecade | 2020 |
| PublicationTitle | Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science |
| PublicationTitleAbbrev | LICS |
| PublicationYear | 2021 |
| Publisher | IEEE |
| Publisher_xml | – name: IEEE |
| SSID | ssj0002871049 |
| Score | 2.177984 |
| Snippet | We study the extent to which it is possible to approximate the optimal value of a Unique Games instance in Fixed-Point Logic with Counting (FPC). We prove two... |
| SourceID | ieee |
| SourceType | Publisher |
| StartPage | 1 |
| SubjectTerms | Approximation algorithms Complexity theory Computer science Games Graph theory Linear algebra |
| Title | Inapproximability of Unique Games in Fixed-Point Logic with Counting |
| URI | https://ieeexplore.ieee.org/document/9470706 |
| WOSCitedRecordID | wos000947350400076&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| link | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV1LSwMxEA61ePBUtRXf5ODRbXfz2DTnarVQSkErvZVuMoE9uCt1K_Xfm0nXiuDFWwgkgQm788h830fIDQehYse4z038L1CwxERa6CySCWRWQapVQPG_jNVk0p_P9bRBbndYGAAIzWfQxWF4y7elWWOprKf9vgr5tfeUUlus1q6egpG_j3ZrEHAS6954NHjC6AIrJyzp1ot_qagEJzJs_e_4Q9L5QePR6c7PHJEGFMek9S3HQOuvs03uRkVgCN_kr1vy7U9aOjoLDK30AbthaV7QYb4BG03LvKgoCi0biqVYOqg1IzpkNrx_HjxGtUhCtPS5UhUJUNqJRAvM1DQ4ZJDXVhrmnDQmZUIKkMICU1mSpKmA2OI1OJtZ2Uf2shPSLMoCTgn1fkozyw033mfxTC557LRRsOTWB1GWn5E2GmXxtuXBWNT2OP97-oIcoN2xrYrpS9KsVmu4Ivvmo8rfV9fh8r4AIp6Zkw |
| linkProvider | IEEE |
| linkToHtml | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV1LT8JAEN4QNNETKhjf7sGjhXYfLXtGEWIlJILhRujubNKDrcFi8N-7UyrGxIu3TZOdNDvZzqPzfR8hNxxE5FvGXW3iPoGCBdpTQiWeDCAxEYQqKlH8L3E0GnVnMzWukdstFgYAyuEzaOOy_Jdvcr3CVllHObsR8mvvSOHMbtBa244K5v4u361gwIGvOvGw94z5BfZOWNCutv_SUSnDSL_xvxc4IK0fPB4dbyPNIalBdkQa34IMtLqfTXI3zEqO8HX6uqHf_qS5pdOSo5U-4DwsTTPaT9dgvHGeZgVFqWVNsRlLe5VqRItM-_eT3sCrZBK8hauWCk9ApKwIlMBaTYFFDnllpGbWSq1DJqQAKQywKAmCMBTgG3SENYmRXeQvOyb1LM_ghFAXqRQzXHPtohZP5IL7VukIFty4NMrwU9LEQ5m_bZgw5tV5nP39-JrsDSZP8Twejh7PyT76AIesmLog9WK5gkuyqz-K9H15VTryC1ALnNo |
| openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=proceeding&rft.title=Proceedings+of+the+36th+Annual+ACM%2FIEEE+Symposium+on+Logic+in+Computer+Science&rft.atitle=Inapproximability+of+Unique+Games+in+Fixed-Point+Logic+with+Counting&rft.au=Tucker-Foltz%2C+Jamie&rft.date=2021-06-29&rft.pub=IEEE&rft.spage=1&rft.epage=13&rft_id=info:doi/10.1109%2FLICS52264.2021.9470706&rft.externalDocID=9470706 |