arxiv: 2605.13019 · v1 · submitted 2026-05-13 · 🧮 math.OA · math.CT

Recognition: 2 theorem links

· Lean Theorem

Categorical (Co)Limits of Quantum Graphs

Jennifer Zhu

Pith reviewed 2026-05-14 02:02 UTC · model grok-4.3

classification 🧮 math.OA math.CT

keywords quantum graphsleft idealsextended Haagerup tensor productoperator space theorycategorical limitsmorphismsC*-graphs

0 comments

The pith

Quantum graphs are identified with left ideals in the extended Haagerup tensor product to give representation-free morphisms and categorical colimits.

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

Quantum graphs are identified with left ideals in the extended Haagerup tensor product of a von Neumann algebra with itself. This identification avoids dependence on specific representations of the algebra. Using operator space theory, the paper gives a new definition of morphisms between such quantum graphs that agrees with all previous representation-dependent definitions. This allows the formation of categorical colimits and limits in the category of quantum graphs. An alternative quantization as bimodules over C*-algebras is considered to show that its morphisms differ from those of C*-correspondences.

Core claim

By identifying quantum graphs with left ideals in the extended Haagerup tensor product M ⊗_eh M, which serve as canonical complements, a representation-free characterization of morphisms is obtained via operator space techniques. These morphisms are compatible with all earlier representation-dependent versions. This framework then supports the construction of categorical (co)limits of quantum graphs.

What carries the argument

Left ideals in the extended Haagerup tensor product M ⊗_eh M, which correspond to canonical complements of quantum graphs and enable the definition of compatible morphisms.

Load-bearing premise

Left ideals in the extended Haagerup tensor product provide a canonical complement to a quantum graph that yields morphisms compatible with all prior representation-dependent definitions.

What would settle it

A concrete morphism of quantum graphs defined via left ideals that fails to match a morphism from any representation-dependent definition in the existing literature.

Figures

Figures reproduced from arXiv: 2605.13019 by Jennifer Zhu.

read the original abstract

We begin with the characterization of quantum graphs as left ideals in $\mathcal M \otimes_{eh} \mathcal M$ (the extended Haagerup tensor product of $\mathcal M$ with itself) to avoid technicalities surrounding representation dependence of quantum graphs. These left ideals roughly correspond to a canonical complement of a quantum graph. Using these left ideals and some operator space theory, we find a new, representation-free characterization of a morphism of quantum graphs compatible with previous representation-dependent morphisms. A notion of categorical (co)limit of quantum graphs follows. We also briefly explore an alternative quantization of graphs as bimodules over $C^*$-algebras ($C^*$-graphs), mostly to emphasize the point that a morphism of $C^*$-graphs is not a morphism of $C^*$-correspondences.

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

Zhu's paper sets up quantum graphs as left ideals in the extended Haagerup tensor product for a representation-free category with morphisms and (co)limits, but the key 'roughly' correspondence needs tighter proof to ensure compatibility.

read the letter

The punchline is that Zhu characterizes quantum graphs as left ideals in M ⊗_eh M to dodge representation dependence, then defines morphisms via operator space theory that are claimed to match the old ones, and builds categorical (co)limits on top. What the paper does well is to give a clean abstract starting point. The extended Haagerup tensor product already carries the right operator space structure, so working directly with ideals there makes sense for avoiding Hilbert space choices. The note that morphisms of C*-graphs are not the same as morphisms of C*-correspondences is a useful clarification that keeps the definitions from getting mixed up. The soft spot is the 'roughly correspond to a canonical complement' step. If the map from left ideals to quantum graphs is not bijective or fails to carry over all the properties from representation-dependent versions like those using quantum adjacency operators, then the compatibility of the new morphisms is not guaranteed. Since the abstract only sketches this, the central claim rests on details that need explicit verification. This is for people in operator algebras and quantum information who are looking for categorical tools to handle limits of quantum graphs. A reader familiar with the existing literature on quantum graphs will see the value in the representation-free approach, provided the equivalence holds. It deserves a serious referee to check the compatibility proofs and assess whether the (co)limits produce anything new beyond reorganization. I would recommend sending it to peer review.

Referee Report

2 major / 2 minor

Summary. The paper characterizes quantum graphs as left ideals in the extended Haagerup tensor product M ⊗_eh M to obtain a representation-free setting. It uses operator-space morphisms on these ideals to define morphisms of quantum graphs that are claimed to be compatible with prior representation-dependent definitions, then constructs categorical (co)limits in the resulting category. A brief comparison with C*-bimodule quantizations of graphs is included to highlight differences in morphism notions.

Significance. If the left-ideal correspondence is made bijective and the compatibility of the new morphisms is verified in detail, the work supplies a categorical framework for quantum graphs that is independent of concrete representations. This could streamline the treatment of morphisms and enable systematic study of limits and colimits, which are currently absent from the literature on quantum graphs.

major comments (2)

[Abstract / characterization of quantum graphs] The abstract states that left ideals in M ⊗_eh M 'roughly correspond to a canonical complement' of a quantum graph. This qualifier indicates that the map from ideals to graphs (and its inverse) is not yet shown to be bijective or to preserve all structural data used in prior definitions (e.g., completely positive maps or quantum adjacency operators). Because this correspondence is the foundation for the representation-free morphism definition and the subsequent (co)limit construction, a precise statement together with a proof of equivalence to existing categories of quantum graphs is required.
[Section defining morphisms of quantum graphs] The claim that the operator-space morphisms defined via the left ideals are compatible with all previous representation-dependent morphisms must be accompanied by an explicit verification (e.g., showing that the new morphisms coincide with those induced by quantum adjacency operators or CP maps on the standard representations). Without this check, the asserted compatibility remains unproven and the category of quantum graphs may not be equivalent to the categories used in the literature.

minor comments (2)

[Notation] Clarify the precise meaning of the symbol M throughout; it appears to denote a von Neumann algebra, but the dependence on the choice of M should be stated explicitly when defining the category.
[Section on C*-graphs] The brief discussion of C*-graphs as bimodules would benefit from a short comparison table or explicit counter-example showing why a morphism of C*-correspondences fails to be a morphism of C*-graphs.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the detailed and constructive report. The two major comments identify genuine gaps in the current draft: the abstract's use of 'roughly correspond' leaves the bijectivity and structural preservation unproven, and the compatibility of the new morphisms is asserted without explicit verification. We will revise the manuscript to supply the missing precise statements and proofs, thereby strengthening the foundation for the representation-free category and its (co)limits.

read point-by-point responses

Referee: [Abstract / characterization of quantum graphs] The abstract states that left ideals in M ⊗_eh M 'roughly correspond to a canonical complement' of a quantum graph. This qualifier indicates that the map from ideals to graphs (and its inverse) is not yet shown to be bijective or to preserve all structural data used in prior definitions (e.g., completely positive maps or quantum adjacency operators). Because this correspondence is the foundation for the representation-free morphism definition and the subsequent (co)limit construction, a precise statement together with a proof of equivalence to existing categories of quantum graphs is required.

Authors: We agree that the qualifier 'roughly' is imprecise and that a bijective correspondence preserving all relevant data must be established. In the revised manuscript we will replace the abstract sentence with a precise theorem stating that the assignment of left ideals in M ⊗_eh M to quantum graphs (via the canonical complement construction) is bijective, and that it intertwines the completely positive maps and quantum adjacency operators of the original definitions. A full proof of this equivalence, including the inverse map, will be added to Section 2, thereby showing that the new category is equivalent to the representation-dependent categories in the literature. revision: yes
Referee: [Section defining morphisms of quantum graphs] The claim that the operator-space morphisms defined via the left ideals are compatible with all previous representation-dependent morphisms must be accompanied by an explicit verification (e.g., showing that the new morphisms coincide with those induced by quantum adjacency operators or CP maps on the standard representations). Without this check, the asserted compatibility remains unproven and the category of quantum graphs may not be equivalent to the categories used in the literature.

Authors: We accept that the compatibility claim requires explicit verification rather than an assertion. The revised version will include a dedicated subsection (new Section 3.2) that proves the operator-space morphisms on the left ideals coincide with the morphisms induced by quantum adjacency operators and by completely positive maps on the standard representations. The proof will proceed by direct computation on the dense subalgebras and by using the universal property of the extended Haagerup tensor product, confirming that the two notions of morphism agree on all objects. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation uses standard operator-space constructions without reduction to inputs by construction

full rationale

The paper begins by adopting the known characterization of quantum graphs as left ideals in the extended Haagerup tensor product M ⊗_eh M to sidestep representation dependence. It then applies standard operator space theory to obtain a representation-free morphism definition stated to be compatible with prior representation-dependent ones, followed by the definition of categorical (co)limits. No load-bearing step reduces a claimed result to a fitted parameter, a self-citation chain, or an input by definition; the central claims rest on external operator-algebraic facts rather than internal re-labeling or self-referential fitting. This is the normal case of a self-contained derivation in the field.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The paper relies on established facts from operator-space theory and category theory without introducing fitted numerical parameters or new postulated entities.

axioms (2)

standard math Standard properties of the extended Haagerup tensor product and left ideals in operator algebras
Invoked to equate quantum graphs with left ideals in M ⊗_eh M.
standard math Existence of limits and colimits in categories once morphisms are defined
Used to assert that categorical (co)limits of quantum graphs exist once the morphism notion is fixed.

pith-pipeline@v0.9.0 · 5420 in / 1233 out tokens · 44616 ms · 2026-05-14T02:02:35.720291+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear
We begin with the characterization of quantum graphs as left ideals in M ⊗_eh M ... to avoid technicalities surrounding representation dependence
IndisputableMonolith/Foundation/RealityFromDistinction.lean reality_from_one_distinction unclear
A notion of categorical (co)limit of quantum graphs follows

Reference graph

Works this paper leans on

15 extracted references · 15 canonical work pages · 1 internal anchor

[1]

The quantum-to- classical graph homomorphism game

[BGH22] Michael Brannan, Priyanga Ganesan, and Samuel J. Harris. “The quantum-to- classical graph homomorphism game”. In:J. Math. Phys.63.11 (2022), Paper No. 112204, 34.issn: 0022-2488,1089-7658.doi:10 . 1063 / 5 . 0072288.url: https://doi.org/10.1063/5.0072288(cit. on p. 54). [BH25] Michael Brannan and Roberto Hern´ andez Palomares. “Quantum graphs, sub...

work page doi:10.1063/5.0072288(cit 2022
[2]

The Dual of the Haagerup Tensor Prod- uct

Oxford: Clarendon, 2004.isbn: 0198526598 (cit. on pp. 9, 13). [BS92] David P. Blecher and Roger R. Smith. “The Dual of the Haagerup Tensor Prod- uct”. In:Journal of the London Mathematical Societys2-45.1 (1992), pp. 126– 144.doi:https : / / doi . org / 10 . 1112 / jlms / s2 - 45 . 1

work page 2004
[3]

onlinelibrary

eprint:https : / / londmathsoc . onlinelibrary . wiley . com / doi / pdf / 10 . 1112 / jlms / s2 - 45.1.126.url:https://londmathsoc.onlinelibrary.wiley.com/doi/abs/ 10.1112/jlms/s2-45.1.126(cit. on pp. 9, 10, 12, 13, 33, 36, 41, 42, 52). [CDG25] Javier Alejandro Ch´ avez-Dom´ ınguez, Ver´ onica Dimant, and Daniel Galicer.Op- erator space tensor norms. Vol

work page doi:10.1112/jlms/s2-45.1.126(cit
[4]

Connectivity for Quantum Graphs via Quantum Adjacency Operators

Lecture Notes in Mathematics. Springer, Cham, 2025, pp. xv+189.isbn: 978-3-031-96209-7.doi:10.1007/978-3-031- 96209-7.url:https://doi.org/10.1007/978-3-031-96209-7(cit. on pp. 8, 15). [CGW26] Kristin Courtney, Priyanga Ganesan, and Mateusz Wasilewski. “Connectivity for Quantum Graphs via Quantum Adjacency Operators”. In:Int. Math. Res. Not. IMRN9 (2026), ...

work page doi:10.1007/978-3-031- 2025
[5]

Zero-Error Communica- tion via Quantum Channels, Noncommutative Graphs, and a Quantum Lov´ asz Number

arXiv:2511.23121 [math.OA].url:https://arxiv. org/abs/2511.23121(cit. on p. 16). [DSW13] Runyao Duan, Simone Severini, and Andreas Winter. “Zero-Error Communica- tion via Quantum Channels, Noncommutative Graphs, and a Quantum Lov´ asz Number”. In:IEEE Transactions on Information Theory59.2 (Feb. 2013), pp. 1164– 1174.issn: 1557-9654.doi:10.1109/tit.2012.2...

work page doi:10.1109/tit.2012.2221677.url:http://dx.doi 2013
[6]

A representation the- orem for locally compact quantum groups

Oxford Graduate Texts in Mathematics. An introduction. Oxford University Press, Ox- ford, 2019, pp. xii+324.isbn: 978-0-19-873961-6.doi:10.1093/oso/9780198739623. 001.0001.url:https://doi.org/10.1093/oso/9780198739623.001.0001 (cit. on pp. 2, 55). [JNR09] Marius Junge, Matthias Neufang, and Zhong-Jin Ruan. “A representation the- orem for locally compact q...

work page doi:10.1093/oso/9780198739623 2019
[7]

arXiv:2412.20999 [math.CT].url:https: //arxiv.org/abs/2412.20999(cit. on pp. 20, 22). [Mac98] Saunders Mac Lane.Categories for the working mathematician. Second. Vol

work page arXiv
[8]

Strong operator modules and the Haagerup tensor product

Graduate Texts in Mathematics. Springer-Verlag, New York, 1998, pp. xii+314. isbn: 0-387-98403-8 (cit. on pp. 4, 17, 21, 22). [Mag97] Bojan Magajna. “Strong operator modules and the Haagerup tensor product”. In:Proc. London Math. Soc. (3)74.1 (1997), pp. 201–240.issn: 0024-6115,1460- 244X.doi:10.1112/S0024611597000087.url:https://doi.org/10.1112/ S0024611...

work page doi:10.1112/s0024611597000087.url:https://doi.org/10.1112/ 1998
[9]

arXiv:1412.7101 [math.OA].url:https://arxiv.org/abs/ 1412.7101(cit. on p. 6). [Pau02] Vern I. Paulsen.Completely bounded maps and operator algebras. eng. Cambridge studies in advanced mathematics

work page arXiv
[10]

Isomorphisms of UHF algebras

Cambridge ; Cambridge University Press, 2002.isbn: 0521816696 (cit. on p. 6). [Ped78] Gert K. Pedersen. “Isomorphisms of UHF algebras”. In:J. Functional Analysis 30.1 (1978), pp. 1–16.issn: 0022-1236.doi:10.1016/0022-1236(78)90051-4. url:https://doi.org/10.1016/0022-1236(78)90051-4(cit. on p. 52). [Ped99] Gert K. Pedersen. “Pullback and pushout constructi...

work page doi:10.1016/0022-1236(78)90051-4 2002
[11]

Cambridge University Press, 2003.isbn: 1-139-88301-1 (cit

Cambridge, U.K. ; Cambridge University Press, 2003.isbn: 1-139-88301-1 (cit. on pp. 6, 8, 11, 15, 44). [Pis20] Gilles Pisier.Tensor products of C*-algebras and operator spaces : the Connes- Kirchberg problem. eng. 1st ed. London Mathematical Society student texts

work page 2003
[12]

Cambridge: Cambridge University Press, 2020.isbn: 1-108-78647-2 (cit. on p. 49). [Rib17] Luis Ribes.Profinite graphs and groups. Vol

work page 2020
[13]

A Series of Modern Surveys in Mathematics [Results in Mathematics and Related Areas

Folge. A Series of Modern Surveys in Mathematics [Results in Mathematics and Related Areas. 3rd Series. A Series of Modern Surveys in Mathematics]. Springer, Cham, 2017, pp. xv+471.isbn: 978-3-319-61199-0.doi: 10.1007/978-3-319-61199-0.url:https://doi.org/10.1007/978-3-319- 61199-0(cit. on p. 54). [Rie03] Marc A. Rieffel.Compact Quantum Metric Spaces

work page doi:10.1007/978-3-319-61199-0.url:https://doi.org/10.1007/978-3-319- 2017
[14]

Compact Quantum Metric Spaces

arXiv:math/0308207 [math.OA].url:https://arxiv.org/abs/math/0308207(cit. on p. 55). [Rua88] Zhong-Jin Ruan. “Subspaces ofC ∗-algebras”. In:J. Funct. Anal.76.1 (1988), pp. 217–230.issn: 0022-1236.doi:10 . 1016 / 0022 - 1236(88 ) 90057 - 2.url: https://doi.org/10.1016/0022-1236(88)90057-2(cit. on p. 7). [Sha56] Claude E. Shannon. “The zero error capacity of...

work page internal anchor Pith review Pith/arXiv arXiv doi:10.1016/0022-1236(88)90057-2(cit 1988
[15]

Categorical formulation of finite-dimensional quantum algebras

Berlin ; New York : Springer-Verlag, 2002.isbn: 354042248X (cit. on p. 5). [Vic11] Jamie Vicary. “Categorical formulation of finite-dimensional quantum algebras”. In:Comm. Math. Phys.304.3 (2011), pp. 765–796.issn: 0010-3616,1432-0916. doi:10.1007/s00220-010-1138-0.url:https://doi.org/10.1007/s00220- 010-1138-0(cit. on pp. 56, 57). [Was24] Mateusz Wasilew...

work page doi:10.1007/s00220-010-1138-0.url:https://doi.org/10.1007/s00220- 2002