---
title: Quantum Homeomorphisms in Quantum Hypergraphs
url: https://www.emergentmind.com/topics/quantum-homeomorphisms
type: topic
---

# Quantum Homeomorphisms in Quantum Hypergraphs

A quantum homeomorphism refers to a family of structure-preserving maps—termed “t-homomorphisms” for various choices of operational context—between quantum hypergraphs. Quantum hypergraphs generalize classical hypergraphs to the non-commutative setting by encoding hyperedges as subspaces of linear operators between finite-dimensional Hilbert spaces. Quantum homeomorphisms are fundamentally characterized using the existence of perfect strategies for associated quantum non-local games; their structure and classification reveal parallels and distinctions with classical homomorphic concepts and operator space theory, particularly in the context of ternary rings of operators (TRO) equivalence [2311.06355].

## 1. Quantum Hypergraphs and Operator Spaces

A quantum hypergraph over finite sets $X,Y$ is defined as a linear subspace $U\subseteq L(\mathbb{C}^{X},\mathbb{C}^{Y})$, where $L(\mathbb{C}^{X},\mathbb{C}^{Y})$ denotes the space of linear operators from $\mathbb{C}^{X}$ to $\mathbb{C}^{Y}$. Elements $u\in U$ are regarded as quantum edges. The classical case arises as the special case where $U$ is invariant under left and right multiplication by diagonal algebras $D_Y$ and $D_X$ (the diagonal subalgebras of matrix algebras $M_X$ and $M_Y$). In this scenario, for a classical edge set $E\subseteq X\times Y$, the corresponding quantum hypergraph is $U_E = \mathrm{span}\{ e_y e_x^* : (x,y)\in E \}$.

Operator-system-theoretic structures are instantiated by sets such as $L_{X,A}$, which comprises matrices in $M_{XA}$ commuting with $D_X\otimes I_A$ and $I_X \otimes D_A$. These settings underpin the formalism of quantum no-signalling (QNS) correlations used in defining t-homomorphisms, with tensor products taken with respect to the minimal (i.e., “operator-system”) norm.

## 2. Canonical Non-local Games and Correlation Classes

Given two quantum hypergraphs $U_1\subseteq L(\mathbb{C}^{X_1},\mathbb{C}^{Y_1})$ and $U_2\subseteq L(\mathbb{C}^{X_2},\mathbb{C}^{Y_2})$, the associated non-local game $G(U_1\to U_2)$ establishes a test for t-homomorphic relations. Alice and Bob receive indices from $X_2$ and $Y_1$ respectively and must output elements in $X_1$ and $Y_2$. A correlation $T: M_{X_2Y_1}\to M_{X_1Y_2}$ is said to provide a perfect type-$t$ strategy if:

- $T$ is contained in a prescribed class of QNS correlations $Q^t$ (for $t \in \{\mathrm{loc}, q, qa, qc, ns\}$), corresponding to local, quantum (entanglement-assisted), approximate, commuting operator, or no-signalling resources, respectively;
- For all $u_1\in U_1$, $T\odot u_1 \subseteq U_2$, meaning that the action of $T$ (expressed via the canonical flip isomorphism $\odot$) maps every $U_1$-edge into the span of $U_2$.

Equivalent formulations are given in terms of the Choi matrix $C_T$ of $T$ (with $\mathrm{Ran}\,C_T \subseteq U_{1\rightarrow 2}$, where $U_{1\rightarrow 2}$ is a subspace canonically constructed from $U_1$ and $U_2$), or using Kraus (stochastic operator-matrix) representations, where each operator $B_i u_1 A_i \in U_2$ for all $u_1\in U_1$.

## 3. Definition and Typology of Quantum Homeomorphisms

A t-homomorphism between quantum hypergraphs formalizes the notion of a structure-preserving quantum map tailored to operational constraints:

- $U_1 \rightsquigarrow_t U_2$ (t-quasi-homomorphic): Existence of a QNS correlation $T\in Q^t$ satisfying $\mathrm{Ran}\,C_T\subseteq U_{1\rightarrow 2}$;
- $U_1 \to_t U_2$ (t-homomorphic): Existence of such a $T$ which is a quantum channel (trace-preserving and completely positive).

The variants are summarized in the following table:

| $t$      | Allowed Resources                    | Channel Structure                                  |
|----------|--------------------------------------|----------------------------------------------------|
| loc      | Shared randomness (local)            | Convex mixtures of product channels                |
| q        | Finite-dimensional entanglement      | Local POVMs on entangled states                    |
| qa       | Approximate quantum                  | Limits of $q$-type                                 |
| qc       | Commuting measurements               | Commuting operator algebras on possibly infinite $\mathcal{H}$ |
| ns       | Full no-signalling                   | Arbitrary QNS correlations                         |

Here, "channel structure" designates the affiliated operational implementation of the homomorphism.

## 4. Preorder Structure and Composition

Each relation $\to_t$ is a preorder: it is reflexive (the identity channel constitutes a local perfect strategy) and transitive (composability follows from the channel-simulation and composition lemma). Specifically, if $U_1\to_t U_2$ via $T_1$ and $U_2\to_t U_3$ via $T_2$, then $T_2\circ T_1$ gives a $U_1\to_t U_3$ t-homomorphism with type preserved [2311.06355, Thm 3.3]. This establishes a categorical landscape for quantum hypergraph homomorphisms, with subclasses defined by the operational constraints on allowed strategies.

## 5. TRO Equivalence and Local Quantum Homeomorphisms

A critical structural insight links local quantum homeomorphisms to the theory of ternary rings of operators (TROs). For $U\subseteq L(\mathbb{C}^X,\mathbb{C}^Y)$, the dual space is $U^*=\{u^*:u\in U\}\subseteq L(\mathbb{C}^Y,\mathbb{C}^X)$. TROs $R\subseteq B(H,K)$ are subspaces closed under $r_1 r_2^* r_3$ and are non-degenerate if their action densely spans $H$ and $K$.

Two operator spaces $S_1\subseteq L(\mathbb{C}^{Y_1},\mathbb{C}^{X_1})$, $S_2\subseteq L(\mathbb{C}^{Y_2},\mathbb{C}^{X_2})$ are TRO-equivalent, $S_1\sim_{\mathrm{TRO}} S_2$, if there exist non-degenerate TROs $L$ and $R$ such that $L S_1 R\subseteq S_2$ and $L^* S_2 R^*\subseteq S_1$.

The main result (Theorem 5.3) asserts:

$$
U_1\to_{\mathrm{loc}} U_2 \iff U_1^*\sim_{\mathrm{TRO}} U_2^*
$$

In addition, if the local channel can be chosen with invertible Choi matrix ("fully local" homomorphism), then the equivalence can be sharpened to a Morita-type equivalence with two-sided non-degenerate TROs. The construction of these TROs from the Kraus operators of the local channel, and vice versa, provides the precise mechanism for the correspondence.

## 6. Classical Case as a Specialization

Classical hypergraphs are naturally embedded in this quantum framework. For example, with $X_i=\{1\}$, $Y_1=\{a,b\}$, $Y_2=\{\alpha\}$, and classical edge sets $E_1=\{(1,a),(1,b)\}$, $E_2=\{(1,\alpha)\}$, the corresponding operator subspaces are

- $U_1=\mathrm{span}\{e_a e_1^*, e_b e_1^*\}\subseteq L(\mathbb{C}^1,\mathbb{C}^2)$,
- $U_2=\mathrm{span}\{e_{\alpha} e_1^*\}\subseteq L(\mathbb{C}^1,\mathbb{C}^1)$.

Maps $A,C^1\to C^1$ and $B,C^2\to C^1$ (with $A e_1=e_1$ and $B e_a = B e_b = e_{\alpha}$) generate a local channel $T(S)=BSA^*$ verifying $U_1\to_{\mathrm{loc}} U_2$. The corresponding TROs $L=\mathrm{span}\{B\}$ and $R=\mathrm{span}\{A\}$ are non-degenerate and realize the TRO equivalence of $U_1^*$ and $U_2^*$, illustrating the precise correspondence in Theorem 5.3.

## 7. Notational Summary and Operational Landscape

Key notational conventions include $U_1\rightsquigarrow_t U_2$ for the existence of a QNS correlation, $U_1\to_t U_2$ for the existence of a quantum channel fitting the canonical game, $U\subseteq L(\mathbb{C}^X,\mathbb{C}^Y)$ as the definition of a quantum hypergraph (with classical instance where $U=U_E$ for an edge set $E$), dual operator space $U^*$, and TRO equivalence $U_1^*\sim_{\mathrm{TRO}} U_2^*$ as the local quantum homomorphism criterion. The operational typology (local, quantum, approximate, commuting, and no-signalling) systematically controls the permissible strategies and channel structures [2311.06355].

Source: https://www.emergentmind.com/topics/quantum-homeomorphisms