Morita equivalence for quantum graphs

TL;DR

This paper develops an operator-algebraic framework for Morita equivalence of quantum graphs, extending classical results and characterizing invariants in the quantum setting.

Contribution

It introduces a new Morita equivalence framework for quantum graphs, generalizing previous results and providing characterizations and invariants.

Findings

Two irreducibly acting quantum graphs are Morita equivalent iff they are full pullbacks of a common quantum graph.

Constructs a true-twin reduction analogue for irreducibly acting quantum graphs.

Shows invariance of key graph parameters under Morita equivalence.

Abstract

We introduce an operator-algebraic framework for Morita equivalence of quantum graphs based on $\Delta$-equivalence of operator systems introduced by Eleftherakis, Kakariadis and Todorov. Adopting the perspective of Weaver, we view quantum graphs as quantum relations, that is, operator systems endowed with a bimodule structure over the commutant of a von Neumann algebra. Within this framework, we show that two irreducibly acting quantum graphs are Morita equivalent if and only if they are both full pullbacks of a common quantum graph. This extends a result of Eleftherakis, Kakariadis and Todorov for graph operator systems to the quantum graph setting. In passing we construct a true-twin reduction analogue for an irreducibly acting quantum graph. We further characterise the case where we have simultaneous TRO-equivalence of the quantum graphs and their associated algebras, thus giving a second, stronger notion of Morita equivalence. In the special case of noncommutative graphs, corresponding to the zero-error quantum communication setting, the two notions coincide and we obtain a characterisation in terms of strong co-homomorphisms of noncommutative graphs. Finally, we show that connectivity, the independence number, Shannon capacity, quantum complexity and subcomplexity, Haemers bound, and the Lov\'asz number are invariant under Morita equivalence.