Intermediate memory costs of quantum channel synthesis with a protected subsystem
Abstract
A quantum memory can preserve a subsystem perfectly while discarding information needed by a later operation. We study the total intermediate dimension required for channel synthesis when the first stage protects a b-dimensional subsystem and has a prescribed noncommutative graph imposing full confusability on an a-dimensional control register. For a finite family of classically controlled branches, exact synthesis is possible if and only if the target graph contains the prescribed graph of the first stage. For every feasible family, we construct a single processor that implements all branches exactly. The processor uses pairwise nonorthogonal pure program states in a register of dimension at most a. A target graph may be realizable with a carrier of dimension b, while synthesizing a channel with that graph can require dimension ab. We also characterize the closure of the attainable channels, distinguishing exact synthesis from arbitrarily accurate approximation. Finally, for a family built from the trine communication task, a four-dimensional carrier permits exact synthesis with quantum programs under output depolarization. At the same total carrier dimension and without free shared randomness, classical programs have optimal normalized diamond error (1−η)/4, where 0≤η≤1 is the depolarization strength. For η<1, the gap persists under sufficiently small perturbations of the target branches.
Related
- Quantum Algorithms for Multivariable Polynomial Transformations: From Efficient Synthesis to Quantum Channel Transformations
- A critical-layer instability of structural acoustic wall modes in a two-flexible-plate channel with Poiseuille flow: closed-form low-Mach corrections and parity-protected absorption
- Subsystem quantum Rényi-Bhattacharyya distance in 2D CFTs and its holographic applications
- Protected Logical Qudits in Kitaev Quantum Double Models via Stable Representations
- Protected Metallic Edge States in a Graphene-Capped Quantum Spin Hall System.
BibTeX
@misc{liu2026intermediate,
title = {{Intermediate memory costs of quantum channel synthesis with a protected subsystem}},
author = {Kai Liu and Deguang Han},
howpublished = {arXiv},
year = {2026},
month = oct,
doi = {10.48550/arxiv.2610.20536},
eprint = {2610.20536},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2610.20536},
}
RIS
TY - UNPB
TI - Intermediate memory costs of quantum channel synthesis with a protected subsystem
AU - Kai Liu
AU - Deguang Han
PY - 2026
DA - 2026/10/14
PB - arXiv
DO - 10.48550/arxiv.2610.20536
UR - https://arxiv.org/abs/2610.20536
AB - A quantum memory can preserve a subsystem perfectly while discarding information needed by a later operation. We study the total intermediate dimension required for channel synthesis when the first stage protects a b-dimensional subsystem and has a prescribed noncommutative graph imposing full confusability on an a-dimensional control register. For a finite family of classically controlled branches, exact synthesis is possible if and only if the target graph contains the prescribed graph of the first stage. For every feasible family, we construct a single processor that implements all branches exactly. The processor uses pairwise nonorthogonal pure program states in a register of dimension at most a. A target graph may be realizable with a carrier of dimension b, while synthesizing a channel with that graph can require dimension ab. We also characterize the closure of the attainable channels, distinguishing exact synthesis from arbitrarily accurate approximation. Finally, for a family built from the trine communication task, a four-dimensional carrier permits exact synthesis with quantum programs under output depolarization. At the same total carrier dimension and without free shared randomness, classical programs have optimal normalized diamond error (1−η)/4, where 0≤η≤1 is the depolarization strength. For η<1, the gap persists under sufficiently small perturbations of the target branches.
ER -