Matches in SemOpenAlex for { <https://semopenalex.org/work/W3126477253> ?p ?o ?g. }
Showing items 1 to 94 of
94
with 100 items per page.
- W3126477253 abstract "Over 50 years ago, Lovasz proved that two graphs are isomorphic if and only if they admit the same number of homomorphisms from any graph. Other equivalence relations on graphs, such as cospectrality or fractional isomorphism, can be characterized by equality of homomorphism counts from an appropriately chosen class of graphs. Dvořak [J. Graph Theory 2010] showed that taking this class to be the graphs of treewidth at most $k$ yields a tractable relaxation of graph isomorphism known as $k$ -dimensional Weisfeiler-Leman equivalence. Together with a famous result of Cai, Furer, and Immerman [FOCS 1989], this shows that homomorphism counts from graphs of bounded treewidth do not determine a graph up to isomorphism. Dell, Grohe, and Rattan [ICALP 2018] raised the questions of whether homomorphism counts from planar graphs determine a graph up to isomorphism, and what is the complexity of the resulting relation. We answer the former in the negative by showing that the resulting relation is equivalent to the so-called quantum isomorphism [Mancinska et al, ICALP 2017]. Using this equivalence, we further resolve the latter question, showing that testing whether two graphs have the same number of homomorphisms from any planar graph is, surprisingly, an undecidable problem, and moreover is complete for the class coRE (the complement of recursively enumerable problems). Quantum isomorphism is defined in terms of a one-round, two-prover interactive proof system in which quantum provers, who are allowed to share entanglement, attempt to convince the verifier that the graphs are isomorphic. Our combinatorial proof leverages the quantum automorphism group of a graph, a notion from noncommutative mathematics." @default.
- W3126477253 created "2021-02-15" @default.
- W3126477253 creator A5020559291 @default.
- W3126477253 creator A5023984902 @default.
- W3126477253 date "2020-11-01" @default.
- W3126477253 modified "2023-10-16" @default.
- W3126477253 title "Quantum isomorphism is equivalent to equality of homomorphism counts from planar graphs" @default.
- W3126477253 cites W1933312167 @default.
- W3126477253 cites W2016232593 @default.
- W3126477253 cites W2019578639 @default.
- W3126477253 cites W2033026830 @default.
- W3126477253 cites W2046563523 @default.
- W3126477253 cites W2114382532 @default.
- W3126477253 cites W2135830616 @default.
- W3126477253 cites W2148352980 @default.
- W3126477253 cites W2148791594 @default.
- W3126477253 cites W2162178369 @default.
- W3126477253 cites W2409179138 @default.
- W3126477253 cites W2524594508 @default.
- W3126477253 cites W273178449 @default.
- W3126477253 cites W2951124766 @default.
- W3126477253 cites W2963063614 @default.
- W3126477253 cites W2963458829 @default.
- W3126477253 cites W2964077962 @default.
- W3126477253 cites W2999186103 @default.
- W3126477253 cites W3099772093 @default.
- W3126477253 cites W3101939560 @default.
- W3126477253 cites W4256317935 @default.
- W3126477253 doi "https://doi.org/10.1109/focs46700.2020.00067" @default.
- W3126477253 hasPublicationYear "2020" @default.
- W3126477253 type Work @default.
- W3126477253 sameAs 3126477253 @default.
- W3126477253 citedByCount "19" @default.
- W3126477253 countsByYear W31264772532020 @default.
- W3126477253 countsByYear W31264772532021 @default.
- W3126477253 countsByYear W31264772532022 @default.
- W3126477253 countsByYear W31264772532023 @default.
- W3126477253 crossrefType "proceedings-article" @default.
- W3126477253 hasAuthorship W3126477253A5020559291 @default.
- W3126477253 hasAuthorship W3126477253A5023984902 @default.
- W3126477253 hasBestOaLocation W31264772532 @default.
- W3126477253 hasConcept C102192266 @default.
- W3126477253 hasConcept C114614502 @default.
- W3126477253 hasConcept C115624301 @default.
- W3126477253 hasConcept C118615104 @default.
- W3126477253 hasConcept C132525143 @default.
- W3126477253 hasConcept C132569581 @default.
- W3126477253 hasConcept C160446614 @default.
- W3126477253 hasConcept C185592680 @default.
- W3126477253 hasConcept C203436722 @default.
- W3126477253 hasConcept C203776342 @default.
- W3126477253 hasConcept C22149727 @default.
- W3126477253 hasConcept C33923547 @default.
- W3126477253 hasConcept C4042151 @default.
- W3126477253 hasConcept C43517604 @default.
- W3126477253 hasConcept C61665672 @default.
- W3126477253 hasConcept C7036158 @default.
- W3126477253 hasConcept C8010536 @default.
- W3126477253 hasConceptScore W3126477253C102192266 @default.
- W3126477253 hasConceptScore W3126477253C114614502 @default.
- W3126477253 hasConceptScore W3126477253C115624301 @default.
- W3126477253 hasConceptScore W3126477253C118615104 @default.
- W3126477253 hasConceptScore W3126477253C132525143 @default.
- W3126477253 hasConceptScore W3126477253C132569581 @default.
- W3126477253 hasConceptScore W3126477253C160446614 @default.
- W3126477253 hasConceptScore W3126477253C185592680 @default.
- W3126477253 hasConceptScore W3126477253C203436722 @default.
- W3126477253 hasConceptScore W3126477253C203776342 @default.
- W3126477253 hasConceptScore W3126477253C22149727 @default.
- W3126477253 hasConceptScore W3126477253C33923547 @default.
- W3126477253 hasConceptScore W3126477253C4042151 @default.
- W3126477253 hasConceptScore W3126477253C43517604 @default.
- W3126477253 hasConceptScore W3126477253C61665672 @default.
- W3126477253 hasConceptScore W3126477253C7036158 @default.
- W3126477253 hasConceptScore W3126477253C8010536 @default.
- W3126477253 hasLocation W31264772531 @default.
- W3126477253 hasLocation W31264772532 @default.
- W3126477253 hasLocation W31264772533 @default.
- W3126477253 hasOpenAccess W3126477253 @default.
- W3126477253 hasPrimaryLocation W31264772531 @default.
- W3126477253 hasRelatedWork W31595256 @default.
- W3126477253 hasRelatedWork W33341167 @default.
- W3126477253 hasRelatedWork W35387897 @default.
- W3126477253 hasRelatedWork W46292265 @default.
- W3126477253 hasRelatedWork W48106904 @default.
- W3126477253 hasRelatedWork W48861618 @default.
- W3126477253 hasRelatedWork W52235624 @default.
- W3126477253 hasRelatedWork W5683130 @default.
- W3126477253 hasRelatedWork W58480198 @default.
- W3126477253 hasRelatedWork W6903974 @default.
- W3126477253 isParatext "false" @default.
- W3126477253 isRetracted "false" @default.
- W3126477253 magId "3126477253" @default.
- W3126477253 workType "article" @default.