aiqbench analysis
This paper investigates the intermediate memory costs required for synthesizing quantum channels when a subsystem is protected against information loss. It establishes precise conditions under which exact synthesis is possible using noncommutative graphs and demonstrates how carrier dimensions scale relative to control registers in classically controlled branches. The work provides rigorous bounds on the resources needed for implementing families of quantum operations, distinguishing between exact realization and approximation limits.
Intermediate memory costs of quantum channel synthesis with a protected subsystem
arXiv:2610.20536v1 Announce Type: new 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-\eta)/4$, where $0\leq\eta\leq1$ is the depolarization strength. For $\eta<1$, the gap persists under sufficiently small perturbations of the target branches.
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-\eta)/4$, where $0\leq\eta\leq1$ is the depolarization strength. For $\eta<1$, the gap persists under sufficiently small perturbations of the target branches.
arXiv:2610.20536 [quant-ph]
(or arXiv:2610.20536v1 [quant-ph] for this version)
https://doi.org/10.48550/arXiv.2610.20536 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.
Full text under the publisher's open licence · 295 words
Related coverage

News
Quantum Computing Report · Jul 25, 2026

News
Quantum Computing Report · Jun 7, 2026

Alice & Bob, the French Quantum Computing Company Building FTQC
Quantum Zeitgeist · Jul 17, 2026

How Do Photonic Quantum Computers Work?
Quantum Zeitgeist · Sep 5, 2026