{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:5VL4RDLLNPGQ6CZAHZGBM6I23X","merge_version":"pith-open-graph-merge-v1","event_count":10,"valid_event_count":10,"invalid_event_count":0,"equivocation_count":1,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"86097f3773fed35bf701f10c263eeb2b7c0a9e5f6a7cb1052fd8c189befaf5f2","cross_cats_sorted":["math.CT"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.OA","submitted_at":"2026-05-13T05:21:07Z","title_canon_sha256":"c0f2ee50d4ec77de339b9862ab8b7bcf6c730b59229eb5d765eada952e680e52"},"schema_version":"1.0","source":{"id":"2605.13019","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2605.13019","created_at":"2026-05-18T03:09:00Z"},{"alias_kind":"arxiv_version","alias_value":"2605.13019v1","created_at":"2026-05-18T03:09:00Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2605.13019","created_at":"2026-05-18T03:09:00Z"},{"alias_kind":"pith_short_12","alias_value":"5VL4RDLLNPGQ","created_at":"2026-05-18T12:33:37Z"},{"alias_kind":"pith_short_16","alias_value":"5VL4RDLLNPGQ6CZA","created_at":"2026-05-18T12:33:37Z"},{"alias_kind":"pith_short_8","alias_value":"5VL4RDLL","created_at":"2026-05-18T12:33:37Z"}],"graph_snapshots":[{"event_id":"sha256:2bf5208254e81685c79769d87347563c619966e5e4c82b9fcb09ef0519b29acc","target":"graph","created_at":"2026-05-18T03:09:00Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":4,"items":[{"attestation":"unclaimed","claim_id":"C1","kind":"strongest_claim","source":"verdict.strongest_claim","status":"machine_extracted","text":"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."},{"attestation":"unclaimed","claim_id":"C2","kind":"weakest_assumption","source":"verdict.weakest_assumption","status":"machine_extracted","text":"That left ideals in the extended Haagerup tensor product M ⊗_eh M provide a canonical complement to a quantum graph and that this correspondence yields morphisms compatible with all prior representation-dependent definitions."},{"attestation":"unclaimed","claim_id":"C3","kind":"one_line_summary","source":"verdict.one_line_summary","status":"machine_extracted","text":"Quantum graphs are redefined as left ideals in the extended Haagerup tensor product, enabling representation-independent morphisms and categorical (co)limits."},{"attestation":"unclaimed","claim_id":"C4","kind":"headline","source":"verdict.pith_extraction.headline","status":"machine_extracted","text":"Quantum graphs are identified with left ideals in the extended Haagerup tensor product to give representation-free morphisms and categorical colimits."}],"snapshot_sha256":"a8b14b035e387a8d34d172483d1a314e563453d1821b94a7fe7954fc203840ad"},"formal_canon":{"evidence_count":2,"snapshot_sha256":"43160ce1ee8229fcf8de8d38b66e16ee24f8fe666ad0851d3ffd555f063aa03b"},"paper":{"abstract_excerpt":"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.","authors_text":"Jennifer Zhu","cross_cats":["math.CT"],"headline":"Quantum graphs are identified with left ideals in the extended Haagerup tensor product to give representation-free morphisms and categorical colimits.","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.OA","submitted_at":"2026-05-13T05:21:07Z","title":"Categorical (Co)Limits of Quantum Graphs"},"references":{"count":15,"internal_anchors":1,"resolved_work":15,"sample":[{"cited_arxiv_id":"","doi":"10.1063/5.0072288(cit","is_internal_anchor":false,"ref_index":1,"title":"The quantum-to- classical graph homomorphism game","work_id":"892b9f9c-0846-48a3-9591-0a733581fdef","year":2022},{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":2,"title":"The Dual of the Haagerup Tensor Prod- uct","work_id":"168b8627-4fda-4fda-9f54-9982bcf66c3b","year":2004},{"cited_arxiv_id":"","doi":"10.1112/jlms/s2-45.1.126(cit","is_internal_anchor":false,"ref_index":3,"title":"onlinelibrary","work_id":"fd69837b-9b9b-4377-9de2-7a5fd9478403","year":null},{"cited_arxiv_id":"","doi":"10.1007/978-3-031-","is_internal_anchor":false,"ref_index":4,"title":"Connectivity for Quantum Graphs via Quantum Adjacency Operators","work_id":"4a7d968d-ee43-47f9-9cca-832cf129af59","year":2025},{"cited_arxiv_id":"","doi":"10.1109/tit.2012.2221677.url:http://dx.doi","is_internal_anchor":false,"ref_index":5,"title":"Zero-Error Communica- tion via Quantum Channels, Noncommutative Graphs, and a Quantum Lov´ asz Number","work_id":"d91bb95a-3662-40fd-94dd-cbb7c6cbd123","year":2013}],"snapshot_sha256":"7ea1fdfc7831c98e99f81d2cf43a135b3965e2a9a0e484e8783469d39f35b8b3"},"source":{"id":"2605.13019","kind":"arxiv","version":1},"verdict":{"created_at":"2026-05-14T02:02:35.720291Z","id":"3a66167b-f0e3-4151-bc44-756e9a24b8ff","model_set":{"reader":"grok-4.3"},"one_line_summary":"Quantum graphs are redefined as left ideals in the extended Haagerup tensor product, enabling representation-independent morphisms and categorical (co)limits.","pipeline_version":"pith-pipeline@v0.9.0","pith_extraction_headline":"Quantum graphs are identified with left ideals in the extended Haagerup tensor product to give representation-free morphisms and categorical colimits.","strongest_claim":"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.","weakest_assumption":"That left ideals in the extended Haagerup tensor product M ⊗_eh M provide a canonical complement to a quantum graph and that this correspondence yields morphisms compatible with all prior representation-dependent definitions."}},"verdict_id":"3a66167b-f0e3-4151-bc44-756e9a24b8ff"}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:7747f1a8831b3a50eb413ef44c5b7082412d912c2f8f85b78e5b755b56ca48cb","target":"record","created_at":"2026-05-18T03:09:00Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"86097f3773fed35bf701f10c263eeb2b7c0a9e5f6a7cb1052fd8c189befaf5f2","cross_cats_sorted":["math.CT"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.OA","submitted_at":"2026-05-13T05:21:07Z","title_canon_sha256":"c0f2ee50d4ec77de339b9862ab8b7bcf6c730b59229eb5d765eada952e680e52"},"schema_version":"1.0","source":{"id":"2605.13019","kind":"arxiv","version":1}},"canonical_sha256":"ed57c88d6b6bcd0f0b203e4c16791adde8e41387dcb50ef9bc3a7bc220d0b40a","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"ed57c88d6b6bcd0f0b203e4c16791adde8e41387dcb50ef9bc3a7bc220d0b40a","first_computed_at":"2026-05-18T03:09:00.071413Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:09:00.071413Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"BAxMGFgMS2LKTlHhVIuz5wWCxusLVaJqnWxscJpGjS70iY8EO2h3fElk9KWRKzEyzhvbt3czQp7YQnwcRJfOCw==","signature_status":"signed_v1","signed_at":"2026-05-18T03:09:00.071960Z","signed_message":"canonical_sha256_bytes"},"source_id":"2605.13019","source_kind":"arxiv","source_version":1}}},"equivocations":[{"signer_id":"pith.science","event_type":"integrity_finding","target":"integrity","event_ids":["sha256:2c289fc2e752888b1de6e751182f96c5285949ce6636720fa163cd4f44eaf247","sha256:2e73b3e64d0ae47f05d7731875d9c2948eb3e6ebf4f48c3c5dbd92bf5f330574","sha256:6df4caea300ff749092205e7483735065934b7bc33ed1f99d5972a97339b7cce","sha256:797b1e3d81b58bd7248035c910c544e22feb954fa80d4f61f199448fc1127d35","sha256:8a979d0555faa49862431bc2cf9f56d3125effe1254d718cf4473e2514839255","sha256:acdcd66912497775f1a8dbd1b79cd8a20b46901c30b3c0e6e7a83fa756284fcf","sha256:f0ac007dd3c286ccba37806799323e643161e5a28eab9d35863b78c77927924e","sha256:ffd4002122916f1193eac98bb6e46f36e86a0e5b5f6d035b3dfb8909eed6c235"]}],"invalid_events":[],"applied_event_ids":["sha256:7747f1a8831b3a50eb413ef44c5b7082412d912c2f8f85b78e5b755b56ca48cb","sha256:2bf5208254e81685c79769d87347563c619966e5e4c82b9fcb09ef0519b29acc"],"state_sha256":"5d2f2788b000f75983b056c118034e63a875ed33f3e330e2c6072602cf52dba2"}