analiza aiqbench
This paper investigates the mathematical conditions required to promote standard quantum code networks into "factor code" networks, specifically analyzing how Hilbert space dimensions and operator algebra structures interact in tree versus diamond-shaped configurations. The work provides rigorous characterizations of when these networks support unital operator maps that form von Neumann factor subalgebras, which is fundamental for understanding the structural limits of fault-tolerant quantum information protocols.
Factor Code Networks
arXiv:2610.00469v1 Announce Type: new Abstract: For a quantum code defined by an isometry $T:H_{\rm code} \to H_{\rm phys}$, an operator map is a *-homomorphism $\varphi: B(H_{\rm code}) \to B(H_{\rm phys})$ from the space of operators on the logical Hilbert space to the space of operators on the physical Hilbert space satisfying $\varphi({\cal O}) T = T {\cal O}$ for every operator ${\cal O}$ on $H_{\rm code}$. This can additionally be taken to be unital $\varphi(I_{code}) = I_{phys}$ if and only if $\dim H_{\rm code}$ divides $\dim H_{\rm phys}$. In this case, $\varphi(B(H_{\rm code})$ is a von Neumann factor subalgebra of $B(H_{\rm phys})$ and we call the pair $(T,\varphi)$ a {\it factor code}. A code network is a family of Hilbert spaces $\{{\cal H}_i\}$ indexed by a partially ordered set with isometries $T_{ji}:{\cal H}_i \to {\cal H}_j$ for $i < j$ satisfying $T_{kj} T_{ji} = T_{ki}$ for $i < j < k$. In this paper, we ask when this can be promoted to a {\it factor code network} by defining unital operator maps $\varphi_{ji}$ so that $(T_{ji}, \varphi_{ji})$ is a factor code and $\varphi_{kj} \varphi_{ji} = \varphi_{ki}$. We show that the divisibility conditions on Hilbert space dimensions are sufficient for any code network with a tree structure but not in general. For a diamond-shaped network, we show that promotion is possible if and only if the principle angles between $T_{42} H_2$ and $T_{43} H_3$ all have multiplicity divisible by $H_1$. For incomparable $i_1,i_2 < j$, we characterize when $\varphi_{j i_1} (B(H_{i_1}))$ and $\varphi_{j i_2} (B(H_{i_2}))$ commute, when they generate all of $B(H_j)$, and when they intersect only on multiples of the identity. For $i < j_1,j_2 < k$, we characterize when $\varphi_{k j_1} (B(H_{j_1})) \cap \varphi_{k j_2} (B(H_{j_2})) = \varphi_{k i} (B(H_{i}))$ and when these algebras together with $B(H_k)$ form a nondegenerate commuting square.
Abstract:For a quantum code defined by an isometry $T:H_{\rm code} \to H_{\rm phys}$, an operator map is a *-homomorphism $\varphi: B(H_{\rm code}) \to B(H_{\rm phys})$ from the space of operators on the logical Hilbert space to the space of operators on the physical Hilbert space satisfying $\varphi({\cal O}) T = T {\cal O}$ for every operator ${\cal O}$ on $H_{\rm code}$. This can additionally be taken to be unital $\varphi(I_{code}) = I_{phys}$ if and only if $\dim H_{\rm code}$ divides $\dim H_{\rm phys}$. In this case, $\varphi(B(H_{\rm code})$ is a von Neumann factor subalgebra of $B(H_{\rm phys})$ and we call the pair $(T,\varphi)$ a {\it factor code}. A code network is a family of Hilbert spaces $\{{\cal H}_i\}$ indexed by a partially ordered set with isometries $T_{ji}:{\cal H}_i \to {\cal H}_j$ for $i < j$ satisfying $T_{kj} T_{ji} = T_{ki}$ for $i < j < k$. In this paper, we ask when this can be promoted to a {\it factor code network} by defining unital operator maps $\varphi_{ji}$ so that $(T_{ji}, \varphi_{ji})$ is a factor code and $\varphi_{kj} \varphi_{ji} = \varphi_{ki}$. We show that the divisibility conditions on Hilbert space dimensions are sufficient for any code network with a tree structure but not in general. For a diamond-shaped network, we show that promotion is possible if and only if the principle angles between $T_{42} H_2$ and $T_{43} H_3$ all have multiplicity divisible by $H_1$. For incomparable $i_1,i_2 < j$, we characterize when $\varphi_{j i_1} (B(H_{i_1}))$ and $\varphi_{j i_2} (B(H_{i_2}))$ commute, when they generate all of $B(H_j)$, and when they intersect only on multiples of the identity. For $i < j_1,j_2 < k$, we characterize when $\varphi_{k j_1} (B(H_{j_1})) \cap \varphi_{k j_2} (B(H_{j_2})) = \varphi_{k i} (B(H_{i}))$ and when these algebras together with $B(H_k)$ form a nondegenerate commuting square.
arXiv:2610.00469 [quant-ph]
(or arXiv:2610.00469v1 [quant-ph] for this version)
https://doi.org/10.48550/arXiv.2610.00469 Focus to learn more arXiv-issued DOI via DataCite (pending registration)
arXivLabs is a framework that allows collaborators to develop and share new arXiv features directly on our website.
Both individuals and organizations that work with arXivLabs have embraced and accepted our values of openness, community, excellence, and user data privacy. arXiv is committed to these values and only works with partners that adhere to them.
Have an idea for a project that will add value for arXiv's community? Learn more about arXivLabs.
Text integral sub licența deschisă a publicației · 389 cuvinte
Subiecte conexe

Challenge: Hand coding weights for efficient sequence memorisation
AI Alignment Forum · 23 iul. 2026

Lattice-Based Cryptography Explained
Quantum Zeitgeist · 15 aug. 2026

Cisco’s Compiler now plans for quantum network limits
Quantum Zeitgeist · 7 oct. 2026
The J-Space Debate, Agent Swarms, and Pacing Frontier AI - Digital Minds Newsletter #4
LessWrong · 18 sept. 2026