Quantum and non-signalling graph isomorphisms

Cita com:
hdl:2117/127696
Document typeArticle
Defense date2019-05
Rights accessOpen Access
European Commission's projectAUTAR - A Unified Theory of Algorithmic Relaxations (EC-H2020-648276)
Abstract
We introduce the (G,H)-isomorphism game, a new two-player non-local game that classical players can win with certainty iff the graphs G and H are isomorphic. We then define quantum and non-signalling isomorphisms by considering perfect quantum and non-signalling strategies for this game. We prove that non-signalling isomorphism coincides with fractional isomorphism, giving the latter an operational interpretation. We show that quantum isomorphism is equivalent to the feasibility of two polynomial systems obtained by relaxing standard integer programs for graph isomorphism to Hermitian variables. Finally, we provide a reduction from linear binary constraint system games to isomorphism games. This reduction provides examples of quantum isomorphic graphs that are not isomorphic, implies that the tensor product and commuting operator frameworks result in different notions of quantum isomorphism, and proves that both relations are undecidable.
CitationAtserias, A. [et al.]. Quantum and non-signalling graph isomorphisms. "Journal of combinatorial theory. Series B", vol. 136, Maig 2019, p. 289-328.
ISSN0095-8956
Publisher versionhttps://www.sciencedirect.com/science/article/pii/S0095895618301059
Other identifiershttps://arxiv.org/abs/1611.09837
Files | Description | Size | Format | View |
---|---|---|---|---|
Quantum_Isomorphisms-pre-proofs-version.pdf | 446,4Kb | View/Open |
Except where otherwise noted, content on this work
is licensed under a Creative Commons license
:
Attribution-NonCommercial-NoDerivs 3.0 Spain