Quantum isomorphism is equivalent to equality of homomorphism counts from planar graphs

Understand

Over 50 years ago, Lov\'{a}sz proved that two graphs are isomorphic if and only if they admit the same number of homomorphisms from any graph [Acta Math.

• Hungar.
• 18 (1967), pp.
• 321--328].