Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

arXiv:2512.21260

Random dilation superchannel

Satoshi Yoshida, Ryotaro Niwa, Takeru Utsumi, Ryuji Takagi, Mio Murao

quant-phSubmitted Dec 24, 2025• Announced Dec 25, 2025• 0 citations• Revised May 16, 2026 (v2)
v1 · Dec 24, 2025v2 · May 16, 2026
arXivHTMLPDF

Abstract

We present a quantum circuit that implements the random dilation superchannel, transforming parallel queries of an unknown quantum channel into the same number of parallel queries of a randomly chosen dilation isometry of the input channel. This is a natural generalization of the random purification channel, that transforms copies of an unknown mixed state to copies of a randomly chosen purification state. The circuit complexity of our construction is $O(\mathrm{poly}(n, \log d_I, \log d_O))$, where $n$ is the number of queries and $d_I$ and $d_O$ are the input and output dimensions of the input channel, respectively. This random dilation superchannel is extended to the sequential queries approximately, by transforming the parallel random dilation isometry into sequential random dilation unitaries with $O(\mathrm{poly}(d_I))$ overhead in the number of queries. We also show that our results can be further extended to the case of quantum superchannels. On the other hand, we show a no-go theorem on the exact random dilation of sequential queries with $o(\mathrm{poly}(\min\{d_I, d_O\}))$ query overhead, showcasing a fundamental difference between the parallel and sequential cases. As an application, we show an efficient storage-and-retrieval of an unknown quantum channel, which improves the program cost exponentially in the retrieval error $\varepsilon$. For the case where the Kraus rank $r$ is the least possible (i.e., $r = d_I/d_O$), we show quantum circuits that transform $n$ parallel queries of an unknown quantum channel $Λ$ to $Θ(n^α)$ parallel queries of $Λ$ for any $α<2$ approximately, and implement its Petz recovery map for the maximally mixed reference state probabilistically and exactly.

Comments
18 pages, 10 figures. See also the independent work arXiv:2512.20599, which constructs a quantum circuit implementing the random dilation superchannel shown in Fig. 2(a) of this work. Two authors are added and the contents are significantly updated from the previous version

Related papers

Random Stinespring superchannel: converting channel queries into dilation isometry queries

Filippo Girardi, Francesco Anna Mele, Haimeng Zhao +2 more

The recently introduced random purification channel, which converts $n$ copies of an arbitrary mixed quantum state into $n$ copies of the same uniformly random purification, has emerged as a powerful tool in quantum information theory. Motivated by this development, we introduce a channel-level analogue, which we call the random Stinespring superchannel. This consists in a procedure to transform $n$ parallel queries of an arbitrary quantum channel into $n$ parallel queries of the same uniformly random Stinespring isometry, via universal encoding and decoding operations that are efficiently implementable. When the channel is promised to have Choi rank at most $r$, the procedure can be tailored to yield a Stinespring environment of dimension $r$. We present two applications of the random Stinespring superchannel, one in quantum Shannon theory and one in quantum learning theory. In quantum Shannon theory, we prove a channel-level analogue of Uhlmann's theorem for quantum divergences. In quantum learning theory, our construction shows that tomography of quantum channels reduces to tomography of isometries. This yields a simple channel learning algorithm, based on existing isometry learning protocols, that matches the performance of the two recently proposed channel tomography algorithms. Complementarily, whereas the optimality of these algorithms had previously been established only up to a logarithmic factor in the dimension, we close this gap by removing this logarithmic factor from the lower bound. Taken together, our results fully establish the optimality of these recently introduced channel learning algorithms, showing that the optimal query complexity of learning a quantum channel with input dimension $d_A$, output dimension $d_B$, and Choi rank $r$ is $Θ(d_A d_B r)$.

quant-pharXiv:2512.20599•Dec 24, 2025•0 citations

Quantum channel tomography and estimation by local test

Kean Chen, Nengkun Yu, Zhicheng Zhang

We study the estimation of an unknown quantum channel $\mathcal{E}$ with input dimension $d_1$, output dimension $d_2$ and Kraus rank at most $r$. We establish a connection between the query complexities in two models: (i) access to $\mathcal{E}$, and (ii) access to a random dilation of $\mathcal{E}$. Specifically, we show that for parallel (possibly coherent) testers, access to dilations does not help. This is proved by constructing a local tester that uses $n$ queries to $\mathcal{E}$ yet faithfully simulates the tester with $n$ queries to a random dilation. As application, we show that: - $O(rd_1d_2/\varepsilon^2)$ queries to $\mathcal{E}$ suffice for channel tomography to within diamond norm error $\varepsilon$. Moreover, when $rd_2=d_1$, we show that the Heisenberg scaling $O(1/\varepsilon)$ can be achieved, even if $\mathcal{E}$ is not a unitary channel: - $O(\min\{d_1^{2.5}/\varepsilon,d_1^2/\varepsilon^2\})$ queries to $\mathcal{E}$ suffice for channel tomography to within diamond norm error $\varepsilon$, and $O(d_1^2/\varepsilon)$ queries suffice for the case of Choi state trace norm error $\varepsilon$. - $O(\min\{d_1^{1.5}/\varepsilon,d_1/\varepsilon^2\})$ queries to $\mathcal{E}$ suffice for tomography of the mixed state $\mathcal{E}(|0\rangle\langle 0|)$ to within trace norm error $\varepsilon$.

quant-pharXiv:2512.13614•Dec 16, 2025•0 citations

Optimal complex conjugation of unknown isometry channels

Satoshi Yoshida, Mio Murao

Access to the complex conjugate of an unknown quantum channel is a useful resource in quantum oracle problems, motivating the question of how such access can be simulated using only a limited number of calls to the original channel. We determine the optimal deterministic protocol for approximately implementing the complex conjugate isometry $\overline{V}$ from $n$ uses of an unknown isometry channel $V: \mathbb{C}^d\to\mathbb{C}^D$. We derive a closed-form expression for the optimal fidelity and prove that a parallel protocol is optimal even among general quantum superchannels, including adaptive and indefinite-causal-order strategies. The formula implies a query complexity $n=Θ(d[(D-d)/ε+1])$ for achieving infidelity $ε$. We also present a circuit construction based on the quantum Schur transform and the dual Clebsch--Gordan transform, with circuit complexity $O(\mathrm{poly}(D,1/ε))$. This task is extended to the multi-copy case $V^{\otimes n}\mapsto \overline{V}^{\otimes k}$. For fixed $d<D$ and $k$, we show that the optimal fidelity for the multi-copy case is $1-kd(D-d)/n+o(n^{-1})$, and that this value is asymptotically attained by a parallel estimation-based protocol. Finally, combining the isometry protocol with random Stinespring dilations yields a protocol for complex conjugation of unknown rank-$r$ quantum channels whose query complexity is optimal up to a constant factor if the Kraus rank $r$ is constant.

quant-pharXiv:2607.29054•Aug 3, 2026•0 citations

Random purification channel for passive Gaussian bosons

Francesco Anna Mele, Filippo Girardi, Senrui Chen +2 more

The random purification channel, which, given $n$ copies of an unknown mixed state $ρ$, prepares $n$ copies of an associated random purification, has proved to be an extremely valuable tool in quantum information theory. In this work, we construct a Gaussian version of this channel that, given $n$ copies of a bosonic passive Gaussian state, prepares $n$ copies of one of its randomly chosen Gaussian purifications. The construction has the additional advantage that each purification has a mean photon number which is exactly twice that of the initial state. Our construction relies on the characterisation of the commutant of passive Gaussian unitaries via the representation theory of dual reductive pairs of unitary groups.

quant-pharXiv:2512.16878•Dec 19, 2025•0 citations

Probabilistic and approximate universal quantum purification machines

Zoe G. del Toro, Jessica Bavaresco

We study the task of lifting arbitrary quantum states and channels to purifications and Stinespring dilations, respectively, in both the probabilistic exact and deterministic approximate settings. We formalize this task through a general framework of quantum purification machines that, given a finite number of copies or uses of a black-box input, aim to output a corresponding purification or Stinespring dilation. In the probabilistic exact setting, we show that universality is not necessary to rule out such transformations: the simple requirement that a machine purifies two inputs of different rank with non-zero probability already implies that it cannot be described by a linear positive map. This simple argument captures a fundamental obstruction of quantum theory and recovers the impossibility of universal probabilistic purification from finitely many copies. In the approximate setting, we allow for general machines that are not required, in general, to produce a pure output. Using the minimum average error as our figure of merit, we derive analytical expressions for the performance of several physically motivated strategies as well as a general upper bound on the achievable error, which is tight in a specific regime. Our analysis reveals a trade-off: strategies that produce a pure output - among which we prove the optimal to be a strategy that produces as a fixed output a maximally entangled purification of the fully depolarizing channel - perform optimally between those considered for large environment dimension, while append-environment strategies that generally produce non-pure outputs perform better at small environment dimension.

quant-pharXiv:2604.06325•Apr 9, 2026•0 citations

A random purification channel for arbitrary symmetries with applications to fermions and bosons

Michael Walter, Freek Witteveen

The random purification channel maps n copies of any mixed quantum state to n copies of a random purification of the state. We generalize this construction to arbitrary symmetries: for any group G of unitaries, we construct a quantum channel that maps states contained in the algebra generated by G to random purifications obtained by twirling over G. In addition to giving a surprisingly concise proof of the original random purification theorem, our result implies the existence of fermionic and bosonic Gaussian purification channels. As applications, we obtain the first tomography protocol for fermionic Gaussian states that scales optimally with the number of modes and the error, as well as an improved property test for this class of states.

quant-pharXiv:2512.15690•Dec 18, 2025•0 citations
We present a quantum circuit that implements the random dilation superchannel, transforming parallel queries of an unknown quantum channel into the same number of parallel queries of a randomly chosen dilation isometry of the input channel. This is a natural generalization of the random purification channel, that transforms copies of an unknown mixed state to copies of a randomly chosen purification state. The circuit complexity of our construction is O(poly(n,log⁡dI,log⁡dO))O(\mathrm{poly}(n, \log d_I, \log d_O))O(poly(n,logdI​,logdO​)), where nnn is the number of queries and dId_IdI​ and dOd_OdO​ are the input and output dimensions of the input channel, respectively. This random dilation superchannel is extended to the sequential queries approximately, by transforming the parallel random dilation isometry into sequential random dilation unitaries with O(poly(dI))O(\mathrm{poly}(d_I))O(poly(dI​)) overhead in the number of queries. We also show that our results can be further extended to the case of quantum superchannels. On the other hand, we show a no-go theorem on the exact random dilation of sequential queries with o(poly(min⁡{dI,dO}))o(\mathrm{poly}(\min\{d_I, d_O\}))o(poly(min{dI​,dO​})) query overhead, showcasing a fundamental difference between the parallel and sequential cases. As an application, we show an efficient storage-and-retrieval of an unknown quantum channel, which improves the program cost exponentially in the retrieval error ε\varepsilonε. For the case where the Kraus rank rrr is the least possible (i.e., r=dI/dOr = d_I/d_Or=dI​/dO​), we show quantum circuits that transform nnn parallel queries of an unknown quantum channel ΛΛΛ to Θ(nα)Θ(n^α)Θ(nα) parallel queries of ΛΛΛ for any α<2α<2α<2 approximately, and implement its Petz recovery map for the maximally mixed reference state probabilistically and exactly.
The recently introduced random purification channel, which converts nnn copies of an arbitrary mixed quantum state into nnn copies of the same uniformly random purification, has emerged as a powerful tool in quantum information theory. Motivated by this development, we introduce a channel-level analogue, which we call the random Stinespring superchannel. This consists in a procedure to transform nnn parallel queries of an arbitrary quantum channel into nnn parallel queries of the same uniformly random Stinespring isometry, via universal encoding and decoding operations that are efficiently implementable. When the channel is promised to have Choi rank at most rrr, the procedure can be tailored to yield a Stinespring environment of dimension rrr. We present two applications of the random Stinespring superchannel, one in quantum Shannon theory and one in quantum learning theory. In quantum Shannon theory, we prove a channel-level analogue of Uhlmann's theorem for quantum divergences. In quantum learning theory, our construction shows that tomography of quantum channels reduces to tomography of isometries. This yields a simple channel learning algorithm, based on existing isometry learning protocols, that matches the performance of the two recently proposed channel tomography algorithms. Complementarily, whereas the optimality of these algorithms had previously been established only up to a logarithmic factor in the dimension, we close this gap by removing this logarithmic factor from the lower bound. Taken together, our results fully establish the optimality of these recently introduced channel learning algorithms, showing that the optimal query complexity of learning a quantum channel with input dimension dAd_AdA​, output dimension dBd_BdB​, and Choi rank rrr is Θ(dAdBr)Θ(d_A d_B r)Θ(dA​dB​r).
We study the estimation of an unknown quantum channel E\mathcal{E}E with input dimension d1d_1d1​, output dimension d2d_2d2​ and Kraus rank at most rrr. We establish a connection between the query complexities in two models: (i) access to E\mathcal{E}E, and (ii) access to a random dilation of E\mathcal{E}E. Specifically, we show that for parallel (possibly coherent) testers, access to dilations does not help. This is proved by constructing a local tester that uses nnn queries to E\mathcal{E}E yet faithfully simulates the tester with nnn queries to a random dilation. As application, we show that: - O(rd1d2/ε2)O(rd_1d_2/\varepsilon^2)O(rd1​d2​/ε2) queries to E\mathcal{E}E suffice for channel tomography to within diamond norm error ε\varepsilonε. Moreover, when rd2=d1rd_2=d_1rd2​=d1​, we show that the Heisenberg scaling O(1/ε)O(1/\varepsilon)O(1/ε) can be achieved, even if E\mathcal{E}E is not a unitary channel: - O(min⁡{d12.5/ε,d12/ε2})O(\min\{d_1^{2.5}/\varepsilon,d_1^2/\varepsilon^2\})O(min{d12.5​/ε,d12​/ε2}) queries to E\mathcal{E}E suffice for channel tomography to within diamond norm error ε\varepsilonε, and O(d12/ε)O(d_1^2/\varepsilon)O(d12​/ε) queries suffice for the case of Choi state trace norm error ε\varepsilonε. - O(min⁡{d11.5/ε,d1/ε2})O(\min\{d_1^{1.5}/\varepsilon,d_1/\varepsilon^2\})O(min{d11.5​/ε,d1​/ε2}) queries to E\mathcal{E}E suffice for tomography of the mixed state E(∣0⟩⟨0∣)\mathcal{E}(|0\rangle\langle 0|)E(∣0⟩⟨0∣) to within trace norm error ε\varepsilonε.
Access to the complex conjugate of an unknown quantum channel is a useful resource in quantum oracle problems, motivating the question of how such access can be simulated using only a limited number of calls to the original channel. We determine the optimal deterministic protocol for approximately implementing the complex conjugate isometry V‾\overline{V}V from nnn uses of an unknown isometry channel V:Cd→CDV: \mathbb{C}^d\to\mathbb{C}^DV:Cd→CD. We derive a closed-form expression for the optimal fidelity and prove that a parallel protocol is optimal even among general quantum superchannels, including adaptive and indefinite-causal-order strategies. The formula implies a query complexity n=Θ(d[(D−d)/ε+1])n=Θ(d[(D-d)/ε+1])n=Θ(d[(D−d)/ε+1]) for achieving infidelity εεε. We also present a circuit construction based on the quantum Schur transform and the dual Clebsch--Gordan transform, with circuit complexity O(poly(D,1/ε))O(\mathrm{poly}(D,1/ε))O(poly(D,1/ε)). This task is extended to the multi-copy case V⊗n↦V‾⊗kV^{\otimes n}\mapsto \overline{V}^{\otimes k}V⊗n↦V⊗k. For fixed d<Dd<Dd<D and kkk, we show that the optimal fidelity for the multi-copy case is 1−kd(D−d)/n+o(n−1)1-kd(D-d)/n+o(n^{-1})1−kd(D−d)/n+o(n−1), and that this value is asymptotically attained by a parallel estimation-based protocol. Finally, combining the isometry protocol with random Stinespring dilations yields a protocol for complex conjugation of unknown rank-rrr quantum channels whose query complexity is optimal up to a constant factor if the Kraus rank rrr is constant.
The random purification channel, which, given nnn copies of an unknown mixed state ρρρ, prepares nnn copies of an associated random purification, has proved to be an extremely valuable tool in quantum information theory. In this work, we construct a Gaussian version of this channel that, given nnn copies of a bosonic passive Gaussian state, prepares nnn copies of one of its randomly chosen Gaussian purifications. The construction has the additional advantage that each purification has a mean photon number which is exactly twice that of the initial state. Our construction relies on the characterisation of the commutant of passive Gaussian unitaries via the representation theory of dual reductive pairs of unitary groups.
We study the task of lifting arbitrary quantum states and channels to purifications and Stinespring dilations, respectively, in both the probabilistic exact and deterministic approximate settings. We formalize this task through a general framework of quantum purification machines that, given a finite number of copies or uses of a black-box input, aim to output a corresponding purification or Stinespring dilation. In the probabilistic exact setting, we show that universality is not necessary to rule out such transformations: the simple requirement that a machine purifies two inputs of different rank with non-zero probability already implies that it cannot be described by a linear positive map. This simple argument captures a fundamental obstruction of quantum theory and recovers the impossibility of universal probabilistic purification from finitely many copies. In the approximate setting, we allow for general machines that are not required, in general, to produce a pure output. Using the minimum average error as our figure of merit, we derive analytical expressions for the performance of several physically motivated strategies as well as a general upper bound on the achievable error, which is tight in a specific regime. Our analysis reveals a trade-off: strategies that produce a pure output - among which we prove the optimal to be a strategy that produces as a fixed output a maximally entangled purification of the fully depolarizing channel - perform optimally between those considered for large environment dimension, while append-environment strategies that generally produce non-pure outputs perform better at small environment dimension.
The random purification channel maps n copies of any mixed quantum state to n copies of a random purification of the state. We generalize this construction to arbitrary symmetries: for any group G of unitaries, we construct a quantum channel that maps states contained in the algebra generated by G to random purifications obtained by twirling over G. In addition to giving a surprisingly concise proof of the original random purification theorem, our result implies the existence of fermionic and bosonic Gaussian purification channels. As applications, we obtain the first tomography protocol for fermionic Gaussian states that scales optimally with the number of modes and the error, as well as an improved property test for this class of states.