kth.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Max-3-Lin Over Non-abelian Groups with Universal Factor Graphs
Department of Computer Science and Engineering, University of California, Riverside, USA.
KTH, School of Engineering Sciences (SCI), Mathematics (Dept.), Mathematics (Div.).ORCID iD: 0000-0002-8416-8665
2023 (English)In: Algorithmica, ISSN 0178-4617, E-ISSN 1432-0541, Vol. 85, no 9, p. 2693-2734Article in journal (Refereed) Published
Abstract [en]

The factor graph of an instance of a constraint satisfaction problem with n variables and m constraints is the bipartite graph between [m] and [n] describing which variable appears in which constraints. Thus, an instance of a CSP is completely determined by its factor graph and the list of predicates. We show optimal inapproximability of Max-3-LIN over non-Abelian groups (both in the perfect completeness case and in the imperfect completeness case), even when the factor graph is fixed. Previous reductions which proved similar optimal inapproximability results produced factor graphs that were dependent on the input instance. Along the way, we also show that these optimal hardness results hold even when we restrict the linear equations in the Max-3-LIN instances to the form x· y· z= g, where x, y, z are the variables and g is a group element. We use representation theory and Fourier analysis over non-Abelian groups to analyze the reductions.

Place, publisher, year, edition, pages
Springer Nature , 2023. Vol. 85, no 9, p. 2693-2734
Keywords [en]
Constraint satisfaction problems, Hardness of approximation, Label cover, Non-Abelian groups, Representation theory, Universal factor graphs
National Category
Computer Sciences Discrete Mathematics
Identifiers
URN: urn:nbn:se:kth:diva-338479DOI: 10.1007/s00453-023-01115-1ISI: 000959301000001Scopus ID: 2-s2.0-85150954838OAI: oai:DiVA.org:kth-338479DiVA, id: diva2:1812197
Note

QC 20231115

Available from: 2023-11-15 Created: 2023-11-15 Last updated: 2023-11-15Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full textScopus

Authority records

Stankovic, Aleksa

Search in DiVA

By author/editor
Stankovic, Aleksa
By organisation
Mathematics (Div.)
In the same journal
Algorithmica
Computer SciencesDiscrete Mathematics

Search outside of DiVA

GoogleGoogle Scholar

doi
urn-nbn

Altmetric score

doi
urn-nbn
Total: 115 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf