arxiv: 2604.18065 · v1 · submitted 2026-04-20 · 🧮 math.OA · math-ph· math.MP

Recognition: unknown

Morita equivalence for quantum graphs

Alexandros Chatzinikolaou, Gage Hoefer, Ioannis Apollon Paraskevas, Nikolaos Koutsonikos-Kouloumpis

Pith reviewed 2026-05-10 03:29 UTC · model grok-4.3

classification 🧮 math.OA math-phmath.MP

keywords quantum graphsMorita equivalenceoperator systemsquantum relationsnoncommutative graphsgraph invariantsTRO-equivalencepullback

0 comments

The pith

Irreducibly acting quantum graphs are Morita equivalent exactly when both are full pullbacks of one common quantum graph.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper adapts the notion of Delta-equivalence from operator systems to define Morita equivalence for quantum graphs, which it treats as quantum relations in the sense of operator systems carrying a bimodule action over the commutant of a von Neumann algebra. It proves that, under the assumption of irreducible action, this equivalence holds if and only if the two graphs arise as full pullbacks from the same underlying quantum graph. The result extends an earlier classification for ordinary graph operator systems and shows that several standard graph parameters remain unchanged when graphs are related by this equivalence. A reader cares because the criterion supplies a canonical form for equivalence classes and lets properties transfer directly between equivalent graphs without recomputation.

Core claim

Two irreducibly acting quantum graphs are Morita equivalent if and only if they are both full pullbacks of a common quantum graph. This is established inside the operator-system framework for quantum relations, and the paper also constructs a true-twin reduction for such graphs and characterizes the stronger case of simultaneous TRO-equivalence of the graphs and their associated algebras.

What carries the argument

The full pullback construction on quantum graphs, which produces the canonical representative inside each Morita equivalence class defined via Delta-equivalence of the associated operator systems.

If this is right

Connectivity, independence number, Shannon capacity, quantum complexity, subcomplexity, Haemers bound and Lovasz number are identical for any two Morita-equivalent quantum graphs.
In the special case of noncommutative graphs the two notions of equivalence coincide, yielding a characterization by strong co-homomorphisms.
Every irreducibly acting quantum graph admits a true-twin reduction that preserves the Morita class.
Simultaneous TRO-equivalence of the graphs and their algebras supplies a strictly stronger form of Morita equivalence.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

Questions about parameters or homomorphisms on a complicated quantum graph can be reduced to the same questions on its simpler common pullback representative.
The framework supplies a classification of noncommutative graphs up to strong co-homomorphisms that is directly relevant to zero-error quantum communication.
The pullback construction may serve as a reduction tool for studying other invariants or relations on quantum graphs that the paper does not treat explicitly.

Load-bearing premise

The quantum graphs act irreducibly and can be represented as operator systems equipped with a bimodule structure over the commutant of a von Neumann algebra.

What would settle it

An explicit pair of irreducibly acting quantum graphs that satisfy Delta-equivalence of their operator systems yet fail to be full pullbacks of any single common quantum graph would refute the claimed if-and-only-if statement.

Figures

Figures reproduced from arXiv: 2604.18065 by Alexandros Chatzinikolaou, Gage Hoefer, Ioannis Apollon Paraskevas, Nikolaos Koutsonikos-Kouloumpis.

**Figure 1.** Figure 1: An example of graphs with TRO-equivalent graph operator systems. Both are clique blow-ups of the path P3 and their skeleton is P3 [PITH_FULL_IMAGE:figures/full_fig_p012_1.png] view at source ↗

**Figure 2.** Figure 2: The graphs G and H, respectively It is readily verified that α(G) = α(H) = 2. Moreover, we claim that ϑ(G) = ϑ(H) = 2, β(G) = β(H) = 2, and H(G) = H(H) = 2. Indeed, for both graphs the complements G and H are bipartite, and hence have chromatic number 2. Using the inequalities α(G) ≤ ϑ(G) ≤ χ0(G), we obtain 2 = α(G) ≤ ϑ(G) ≤ 2, 2 = α(H) ≤ ϑ(H) ≤ 2, which implies ϑ(G) = ϑ(H) = 2. The same conclusion holds f… view at source ↗

read the original 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.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

The paper gives a direct extension of Morita equivalence to quantum graphs via full pullbacks for the irreducible case, plus invariance of several standard parameters.

read the letter

Two irreducibly acting quantum graphs are Morita equivalent if and only if they are full pullbacks of a common quantum graph. That is the central new statement, and it comes with a true-twin reduction analogue plus a stronger TRO-equivalence version that collapses to strong co-homomorphisms when the graphs are noncommutative. The paper also records that connectivity, independence number, Shannon capacity, quantum complexity, subcomplexity, Haemers bound, and Lovász number stay the same under this equivalence. These are the quantities that matter for zero-error communication, so the invariance results are the part that will actually get used. The work sits squarely on the Eleftherakis-Kakariadis-Todorov Δ-equivalence for operator systems and Weaver's quantum-relation viewpoint, so the extension is natural rather than forced. The proofs appear to follow the classical template without introducing new circularities or ad-hoc choices. The main limitation is the restriction to irreducible actions; outside that class the iff statement does not hold and the paper does not claim it does. The TRO case is treated separately but not developed at length, which is reasonable for a first paper but leaves some room for follow-up. Overall the arguments track the prior literature closely and the invariants are checked against the equivalence relation in a straightforward way. This is a paper for people already working on quantum graphs or operator-system equivalences in quantum information. A reader who knows the classical graph case will see exactly where the quantum version differs and where it agrees. The claims are internally consistent and the authors engage the relevant citations without overclaiming. It is worth sending to peer review so that the pullback constructions and the handling of bimodules can be checked in detail.

Referee Report

2 major / 2 minor

Summary. The manuscript develops an operator-algebraic framework for Morita equivalence of quantum graphs by adopting Weaver's quantum-relations perspective (operator systems with bimodule structure over the commutant of a von Neumann algebra) and using Δ-equivalence of operator systems. The central theorem asserts 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 the Eleftherakis-Kakariadis-Todorov result for graph operator systems. Additional contributions include a true-twin reduction analogue for irreducibly acting quantum graphs, a stronger simultaneous TRO-equivalence notion, a characterization via strong co-homomorphisms in the noncommutative-graph case, and invariance of connectivity, independence number, Shannon capacity, quantum complexity/subcomplexity, Haemers bound, and Lovász number under the equivalence.

Significance. If the derivations are complete, the work supplies a natural and useful extension of Morita equivalence to the quantum-graph setting, directly relevant to zero-error quantum communication. The pullback characterization, the true-twin reduction, and the explicit invariance of the Lovász number together with the Haemers bound and Shannon capacity constitute concrete, falsifiable advances that link operator-algebraic equivalence to concrete graph invariants.

major comments (2)

[Main theorem and pullback construction] The central iff statement (abstract and likely §3–4) is stated only for irreducibly acting quantum graphs; the manuscript must verify that irreducibility is preserved under the full-pullback construction and that the bimodule structure over the commutant is functorial with respect to Δ-equivalence, otherwise the equivalence relation may fail to be well-defined on the intended class.
[Invariance results] The invariance claims for quantum complexity, subcomplexity, and the Lovász number (final section) are load-bearing for the paper's utility in quantum information; the proofs should explicitly show that these quantities are unchanged under the Δ-equivalence and pullback functors, including any necessary compatibility with the operator-system bimodule actions.

minor comments (2)

[Abstract] The abstract introduces 'quantum complexity and subcomplexity' without a parenthetical reference or short definition; adding one would improve immediate readability for readers outside the immediate subfield.
[Preliminaries / §2] Notation for TRO-equivalence versus Δ-equivalence should be introduced with a clear comparison table or paragraph in the preliminaries to distinguish the stronger simultaneous notion from the primary Morita equivalence.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We are grateful to the referee for their thorough review and valuable feedback on our paper. The comments highlight important aspects that we will clarify in the revision. We address each major comment below.

read point-by-point responses

Referee: [Main theorem and pullback construction] The central iff statement (abstract and likely §3–4) is stated only for irreducibly acting quantum graphs; the manuscript must verify that irreducibility is preserved under the full-pullback construction and that the bimodule structure over the commutant is functorial with respect to Δ-equivalence, otherwise the equivalence relation may fail to be well-defined on the intended class.

Authors: We thank the referee for this observation. The central theorem is indeed restricted to irreducibly acting quantum graphs, as stated in the abstract and Theorem 3.8. In Section 3, the full pullback construction is introduced, and we show that irreducibility is preserved: if the original quantum graphs act irreducibly, so do their pullbacks (see the proof of Theorem 4.2, which relies on the bimodule properties). The bimodule structure is functorial by the very definition of Δ-equivalence, which is an equivalence of operator systems with bimodule actions over the commutant. To ensure this is explicit, we will add a short paragraph in the revised manuscript confirming the preservation of irreducibility under pullbacks and the compatibility with Δ-equivalence. revision: yes
Referee: [Invariance results] The invariance claims for quantum complexity, subcomplexity, and the Lovász number (final section) are load-bearing for the paper's utility in quantum information; the proofs should explicitly show that these quantities are unchanged under the Δ-equivalence and pullback functors, including any necessary compatibility with the operator-system bimodule actions.

Authors: We appreciate the referee's emphasis on the importance of these results for applications in quantum information. The invariance of quantum complexity, subcomplexity, and the Lovász number under Morita equivalence is established in Section 5. These proofs proceed by showing that the quantities, defined in terms of the operator system structure, remain invariant under Δ-equivalence, and the pullback construction preserves the relevant bimodule actions and the associated invariants. We will revise the section to include more explicit references to the compatibility with the bimodule actions and to highlight how the pullback functor interacts with these quantities. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation is self-contained

full rationale

The paper defines Morita equivalence externally via Δ-equivalence of operator systems (from Eleftherakis-Kakariadis-Todorov) and Weaver's quantum-relation framework, then proves an iff theorem for irreducibly acting quantum graphs in terms of full pullbacks of a common quantum graph. This extends an existing result on graph operator systems without introducing fitted parameters, self-referential definitions, or load-bearing self-citations. The true-twin reduction, TRO-equivalence characterization, and invariance of numerical invariants (connectivity, independence number, etc.) are standard verifications under the adopted definitions rather than reductions to the paper's own inputs. No step reduces by construction to a prior equation or citation chain within the manuscript.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 1 invented entities

The framework rests on the standard definition of operator systems and bimodules in von Neumann algebra theory, plus the prior Δ-equivalence notion. No numerical free parameters appear. The pullback construction and true-twin reduction are defined within the new framework rather than postulated as independent entities with external evidence.

axioms (2)

domain assumption Quantum graphs are operator systems endowed with a bimodule structure over the commutant of a von Neumann algebra (Weaver perspective).
This is the foundational view adopted for the entire framework and stated explicitly in the abstract.
standard math Δ-equivalence of operator systems as introduced by Eleftherakis, Kakariadis and Todorov.
Used directly as the basis for defining Morita equivalence of quantum graphs.

invented entities (1)

True-twin reduction analogue for an irreducibly acting quantum graph no independent evidence
purpose: To provide a simplification operation that preserves Morita equivalence properties.
Constructed in passing as an analogue to classical graph theory; no independent falsifiable evidence outside the paper is indicated.

pith-pipeline@v0.9.0 · 5557 in / 1585 out tokens · 47481 ms · 2026-05-10T03:29:19.141539+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

47 extracted references · 6 canonical work pages · 1 internal anchor

[1]

Arveson , The noncommutative Choquet boundary , J.\ Amer.\ Math.\ Soc

W.B. Arveson , The noncommutative Choquet boundary , J.\ Amer.\ Math.\ Soc. 21 (2008), no.\ 4, 1065--1084

2008
[2]

Arveson , The noncommutative Choquet boundary III: Operator systems in matrix algebras , Math

W.B. Arveson , The noncommutative Choquet boundary III: Operator systems in matrix algebras , Math. Scand. 106 (2010), no. 2, 196–210

2010
[3]

Bass , The Morita Theorems , Lecture Notes, University of Oregon, Eugene, 1962

H. Bass , The Morita Theorems , Lecture Notes, University of Oregon, Eugene, 1962

1962
[4]

Blecher, and U

D.P. Blecher, and U. Kashyap , Morita equivalence of dual operator algebras , J. Pure Appl. Algebra 212 (2008), 2401--2412

2008
[5]

Blecher, and C

D.P. Blecher, and C. Le Merdy , Operator Algebras and Their Modules: An Operator Space Approach , Oxford Science Publications. The Clarendon Press, Oxford University Press, Oxford, 2004

2004
[6]

Blecher, P.S

D.P. Blecher, P.S. Muhly, and V.I. Paulsen , Categories of operator modules (Morita equivalence and projective modules) , Memoirs of the American Mathematical Society. American Mathematical Society, Providence, RI, 2000

2000
[7]

Boreland, I.G

G. Boreland, I.G. Todorov, and A. Winter , Sandwich theorems and capacity bounds for non-commutative graphs , J. Comb. Theory, Ser. A 177 (2021), 105302

2021
[8]

Brown, P

L.G. Brown, P. Green, and M.A. Rieffel , Stable isomorphism and strong Morita equivalence of C*-algebras , Pac. J. Math. 71 (1977), 349--363

1977
[9]

J. A. Ch\'avez-Dom\'inguez, and A. T. Swift , Connectivity for quantum graphs , Linear Algebra Appl. 608 (2021), 37--53

2021
[10]

Choi , Completely positive linear maps on complex matrices , Linear Algebra and Appl

M.-D. Choi , Completely positive linear maps on complex matrices , Linear Algebra and Appl. vol. 10, no. 3 (1975), 285--290

1975
[11]

Courtney, P

K. Courtney, P. Ganesan, and M. Wasilewski , Connectivity for quantum graphs via quantum adjacency operators , to appear in Int. Math. Res. Not., available at arXiv:2505.22519 (2025)

work page arXiv 2025
[12]

Daws , Quantum graphs: different perspectives, homomorphisms and quantum automorphisms , Comm

M. Daws , Quantum graphs: different perspectives, homomorphisms and quantum automorphisms , Comm. Amer. Math. Soc. 4 (2024), 117–181

2024
[13]

Dritschel, and S.A

M.A. Dritschel, and S.A. McCullough , Boundary representations for families of representations of operator algebras and spaces , J.\ Operator Theory 53 (2005), no.\ 1, 159--167

2005
[14]

Duan , Super activation of zero-error capacity of noisy quantum channels , preprint, available at arXiv:0906.2527 (2009)

R. Duan , Super activation of zero-error capacity of noisy quantum channels , preprint, available at arXiv:0906.2527 (2009)

work page arXiv 2009
[15]

R. Duan, S. Severini, and A. Winter , Zero-error communication via quantum channels, non-commutative graphs, and a quantum Lovász number , IEEE Trans. Inf. Theory 59 (2013), pp. 1164–1174

2013
[16]

Eleftherakis , A Morita type equivalence for dual operator algebras , J

G.K. Eleftherakis , A Morita type equivalence for dual operator algebras , J. Pure Appl. Algebra 212 (2008), 1060--1071

2008
[17]

Eleftherakis , TRO equivalent algebras , Houston J

G.K. Eleftherakis , TRO equivalent algebras , Houston J. Math. 38 (2012), no.\ 1, 153--175

2012
[18]

Eleftherakis , Stable isomorphism and strong Morita equivalence of operator algebras , Houston J

G.K. Eleftherakis , Stable isomorphism and strong Morita equivalence of operator algebras , Houston J. Math. 42 (2016), 1245-1266

2016
[19]

Eleftherakis, and E.T.A

G.K. Eleftherakis, and E.T.A. Kakariadis , Strong Morita equivalence of operator spaces , J. Math. Anal. Appl. 446 (2017), 1632-1653

2017
[20]

Eleftherakis, E.T.A

G.K. Eleftherakis, E.T.A. Kakariadis, and I.G. Todorov , Morita equivalence for operator systems , to appear in J. Anal. Math., available at arXiv:2109.12031 (2021)

work page arXiv 2021
[21]

Eleftherakis, E.T.A

G.K. Eleftherakis, E.T.A. Kakariadis, and I.G. Todorov Symmetrisations of operator spaces , preprint, available at arXiv:2503.15192 (2025)

work page arXiv 2025
[22]

Eleftherakis, and V.I

G.K. Eleftherakis, and V.I. Paulsen , Stably isomorphic dual operator algebras , Math. Ann. 341 (2008), 99--112

2008
[23]

Eleftherakis, V.I

G.K. Eleftherakis, V.I. Paulsen, and I.G. Todorov , Stable isomorphism of dual operator spaces , J. Funct. Anal. 258 (2010), 260--278

2010
[24]

Erdos, A

J.A. Erdos, A. Katavolos, and V.S. Shulman , Rank one subspaces of bimodules over maximal abelian selfadjoint algebras , J. Funct. Anal. 157 (1998), no. 2, 554--587

1998
[25]

Gribling, and Y

S. Gribling, and Y. Li , The Haemers bound of noncommutative graphs , IEEE J. Select. Areas. Info. Theory 1 (2020), no. 2

2020
[26]

Hamana , Injective envelopes of operator systems , Publ

M. Hamana , Injective envelopes of operator systems , Publ. Res. Inst. Math. Sci. 15 (1979), no. 3, 773--785

1979
[27]

Katavolos and I.G

A. Katavolos and I.G. Todorov , Normalisers of operator algebras and reflexivity , Proc.\ London Math.\ Soc. (3) 86 (2003), 463--484

2003
[28]

Kim, and A

S-J. Kim, and A. Mehta , Chromatic numbers, Sabidussi's Theorem, and Hedetniemi's conjecture for non-commutative graphs , Lin. Alg. Appl. 582 (2019), 291-309

2019
[29]

Quantum graphs of homomorphisms

A. Kornell, and B. Lindenhovius , Quantum graphs of homomorphisms , preprint, available at arXiv: 2601.09685 (2026)

work page internal anchor Pith review Pith/arXiv arXiv 2026
[30]

Koutsonikos-Kouloumpis , Morita equivalence and stable isomorphism via unitary operators , preprint, available at arXiv:2512.03956 (2025)

N. Koutsonikos-Kouloumpis , Morita equivalence and stable isomorphism via unitary operators , preprint, available at arXiv:2512.03956 (2025)

work page arXiv 2025
[31]

Levene, V.I

R. Levene, V.I. Paulsen, and I.G. Todorov , Complexity and capacity bounds for quantum channels , IEEE Trans. Inform. Theory 64 (2018), no. 10, 6917-6928

2018
[32]

Lov\'asz , On the Shannon capacity of a graph , IEEE Trans

L. Lov\'asz , On the Shannon capacity of a graph , IEEE Trans. Inform. Theory 25 (1979), no. 1, 1-7

1979
[33]

Matsuda , Algebraic connectedness and bipartiteness of quantum graphs , Comm

J. Matsuda , Algebraic connectedness and bipartiteness of quantum graphs , Comm. Math. Phys. 405 (2024), no. 8, 185

2024
[34]

Musto, D

B. Musto, D. Reutter and D. Verdon , A compositional approach to quantum functions , J. Math. Phys. 59 (2018), no. 8, 081706

2018
[35]

Musto, D

B. Musto, D. Reutter, and D. Verdon , The Morita theory of quantum graph isomorphisms , Comm. Math. Phys. 365 (2019), 797–845

2019
[36]

Ortiz, and V.I

C. Ortiz, and V.I. Paulsen , Lovász theta type norms and operator systems , Lin. Alg. Appl. 477 (2015), 128–147

2015
[37]

Paulsen , Completely bounded maps and operator algebras , vol

V.I. Paulsen , Completely bounded maps and operator algebras , vol. 78 of Cambridge Studies in Advanced Mathematics, Cambridge University Press, Cambridge, 2002. xii+300 pp

2002
[38]

Paulsen , Entanglement and Nonlocality , lecture notes, available online

V.I. Paulsen , Entanglement and Nonlocality , lecture notes, available online
[39]

Paulsen, S.C

V.I. Paulsen, S.C. Power, and R.R. Smith , Schur products and matrix completions , J. Funct. Anal. 85 (1989), no. 1, 151--178

1989
[40]

Rieffel , Morita equivalence for C*-algebras and W*-algebras , J

M.A. Rieffel , Morita equivalence for C*-algebras and W*-algebras , J. Pure Appl. Algebra 5 (1974), 51--96

1974
[41]

Scarpa, and S

G. Scarpa, and S. Severini , Kochen-Specker sets and the rank-1 quantum chromatic number , IEEE Trans. Inf. Theory 58 (2012), no. 4, 2524-2529

2012
[42]

Shulman, L

V. Shulman, L. Turowska , Operator synthesis. I. Synthetic sets, bilattices and tensor algebras , J. Funct. Anal. 209 (2004), no. 2, 293--331

2004
[43]

Stahlke , Quantum zero-error source-channel coding and non-commutative graph theory , IEEE Trans

D. Stahlke , Quantum zero-error source-channel coding and non-commutative graph theory , IEEE Trans. Inf. Theory 62 (2016), no. 1, 554-577

2016
[44]

Wasilewski , On quantum Cayley graphs , Documenta Math

M. Wasilewski , On quantum Cayley graphs , Documenta Math. 29 (2024), no. 6, 1281--1317

2024
[45]

Watrous , The Theory of Quantum Information , Cambridge University Press, Cambridge, 2018

J. Watrous , The Theory of Quantum Information , Cambridge University Press, Cambridge, 2018

2018
[46]

Weaver , Quantum relations , Mem

N. Weaver , Quantum relations , Mem. Amer. Math. Soc. 215 (2012), no. 1010, v-vi, 81-140

2012
[47]

Weaver , Quantum graphs as quantum relations , J

N. Weaver , Quantum graphs as quantum relations , J. Geom. Anal. 31 (2021), no. 9, 9090-9112

2021