We address the question of quantum memory storage for quantum dynamics. In particular, we design an optimal protocol for N→1 probabilistic storage and retrieval of unitary channels on d-dimensional quantum systems. If we access the unknown unitary gate only N times, the optimal success probability of perfect single-use retrieval is N/(N-1+d^{2}). The derived size of the memory system exponentially improves the known upper bound on the size of the program register needed for probabilistic programmable quantum processors. Our results are closely related to probabilistic perfect alignment of reference frames and probabilistic port-based teleportation.
Can a larger quantum memory compensate for a less reliable one? This paper answers that question for optical heterodyne quantum conditional entropy under a total photon budget and a strict physical memory dimension. It separates an uncertainty loss that additional storage can reduce from an erasure floor that no increase in dimension can remove. Preparation and noise model. The optical system has
m modes and total mean photon number at most
E. Its joint preparation with a memory is optimized over all normal mixed states, including arbitrary optical coherence and infinite photon tails. The input memory has dimension at most
d. Independently, the entire register survives with probability
1−p or is erased into an orthogonal readable failure state. The physical output therefore has
d+1 levels; a total
q-qubit register permits
d≤2q−1. Every event is retained, with no postselection. For heterodyne measure
d2mz/πm and natural logarithms, the exact all-preparation reduction is
Ver(m,d,E,p)=minrankρ≤d,Tr(Nρ)≤E{W(ρ)−(1−p)S(ρ)}. Here
W is Wehrl entropy,
S is von Neumann entropy and
N is total photon number. The rank constraint follows from pure attainment of the original mixed optical–memory problem. The objective describes quantum side information; it is not automatically the uncertainty achieved by a classical readout of the memory. An exact reliability ceiling. Define
g(x)=(1+x)ln(1+x)−xlnx,
S∗=mg(E/m), the ideal unlimited-memory value
Bm(E)=m−Eln(1+m/E), and
aE=1−[(1+E/m)ln(1+m/E)]−1. For any target excess satisfying
0<ε<aES∗,
pcrit=mg(E/m)ε. A finite register reaches
Ver≤Bm(E)+ε if and only if
p<pcrit. At equality only an infinite memory attains the target. Above the ceiling the target is impossible even with unlimited memory. Finite storage and reliability pay different costs. Let
Sd be the largest entropy of any rank-at-most-
d optical state within the same photon budget, and
Δd=S∗−Sd. For
0≤p<aE,
pS∗+(aE−p)Δd≤Ver−Bm(E)≤pS∗+(1−p)Δd. The first contribution survives at unlimited dimension, whereas
Δd tends to zero as storage grows. An exact finite Gibbs program computes
Sd, including partially occupied photon shells. The two bounds give necessary and sufficient resource tests rather than an exact full finite-dimensional frontier. The unlimited-memory floor is obtained from an explicit scalar thermal optimization. Above its energy-use crossover the attaining thermal source uses less than the allowed energy. At
0<E≤10−4,
2≤d≤m+1 and
p<1/8, an explicit vacuum–one-photon entangled preparation remains globally optimal over the full preparation class. Finite examples also reserve the failure flag inside the stated register and distinguish heralded erasure from unheralded replacement. The analysis builds on Gaussian Wehrl extremality theorems established in earlier literature and on Zixuan He's previous results on ideal-memory spectrum shaping and low-photon resource laws. Its additional contribution is the optimized finite-memory erasure contract, the exact feasibility boundary and physically budgeted attaining sources. The integrated 14-page article contains the complete proofs, two figure groups, finite certificates and references.
Quantum process tomography, the task of learning an unknown quantum channel from black-box access, is a central problem in quantum information. In this setting, protocols with quantum memory can coherently store and jointly process quantum information obtained from multiple channel uses, whereas protocols without quantum memory must measure after each use and retain only a classical transcript of the measurement outcomes. A fundamental open question is whether quantum memory provides a query-complexity advantage even when protocols without quantum memory may adapt their experiments based on all previous outcomes with unbounded classical computational power. In this work, we show that it does. We determine the optimal query complexity of quantum process tomography without quantum memory up to a constant factor to be
Θ(din3dout3/ε2), where
din and
dout are the channel input and output dimensions, respectively, and
ε is the target diamond-norm accuracy. More precisely, we prove that any incoherent protocol for this task, including adaptive protocols, requires
Ω(din3dout3/ε2) queries, even when each channel use may be assisted by arbitrary fresh ancilla, and we present a non-adaptive, ancilla-free incoherent protocol achieving the matching upper bound
O(din3dout3/ε2). Our results thereby generalize the optimal sample-complexity bounds for single-copy state tomography, recovered as the special case
din=1. By contrast, coherent protocols with quantum memory achieve query complexity
Θ(din2dout2/ε2). Hence, our results establish a rigorous learning separation between quantum process tomography with and without quantum memory.
Storage and retrieval refer to the task of encoding an unknown quantum channel Λ into a quantum state, known as the program state, such that the channel can later be retrieved. There are two strategies for this task: classical and quantum strategies. The classical strategy uses multiple queries to Λ to estimate Λ and retrieves the channel based on the estimate represented in classical bits. The classical strategy turns out to offer the optimal performance for the storage and retrieval of unitary channels. In this work, we analyze the asymptotic performance of the classical and quantum strategies for the storage and retrieval of isometry channels. We show that the optimal fidelity for isometry estimation is given by F=1-[d(D-d)/n]+O(n^{-2}), where d and D denote the input and output dimensions of the isometry, and n is the number of queries. This result indicates that, unlike in the case of unitary channels, the classical strategy is suboptimal for the storage and retrieval of isometry channels, which requires n=Θ(ε^{-1}) to achieve the diamond-norm error ε. We propose a more efficient quantum strategy based on port-based teleportation, which stores the isometry channel in a program state using only n=Θ(1/sqrt[ε]) queries, achieving a quadratic improvement over the classical strategy. As an application, we extend our approach to general quantum channels, achieving improved program cost compared to prior results by Gschwendtner, Bluhm, and Winter [Quantum 5, 488 (2021)2521-327X10.22331/q-2021-06-29-488].
A finite-dimensional physical processor cannot exactly program a continuous family of distinct unitary channels. We show that this obstruction becomes quantitative when the target channel is stored in a normalized Choi state and its output observables are reconstructed by sampling physical channels and classically post-processing their measurement outcomes. For arbitrary
d-dimensional channels, we construct a target-independent exact reconstruction protocol and prove the optimal one-copy sampling overhead, which grows quadratically with system dimension. We further prove the sharp fixed-
d law that the excess overhead vanishes inversely with the number of identical Choi programs. The upper bound combines deterministic port-based teleportation with a quasi-decomposition that corrects its depolarizing distortion. The converse maps any low-overhead reconstruction protocol to a physical learner of unknown unitaries and uses local quantum estimation to recover the same leading coefficient. These results recast the universal no-programming obstruction as a quantitative trade-off between quantum program memory and classical sampling, with a leading cost that reflects the locally learnable unitary degrees of freedom.
How much internal quantum memory is needed to reproduce a stationary stochastic process, and how does reducing that memory change the environmental resources required when output records are retained? This paper establishes exact quantum-source constructions and resource bounds under explicitly specified readout and retained-output conditions. A general completion theorem identifies the minimum Hilbert-space dimension for stationary triple data in the orthogonal-current-symbol source class: it equals the sum of the complex positive-semidefinite ranks of the middle-symbol slices. An attaining construction reproduces the entire canonical stationary order-two process. For the delayed trine process, the minimum classical hidden Markov model requires nine states at every non-independent parameter value. Quantum instruments reproduce the same complete output law using four-dimensional memory throughout the parameter range, with four dimensions proved necessary in a certified low-noise regime and three dimensions both sufficient and necessary on an explicit high-noise interval. The paper then separates reusable memory dimension from environmental dilation cost. On the certified high-noise interval, the exact one-step Pareto frontier consists of a three-dimensional source with recorded-channel Choi rank nine and a four-dimensional source with rank three. Here, Choi rank measures the minimum initially pure environmental remainder dimension for the channel retaining both the emitted classical symbol and final quantum memory. A separate mixed-support qutrit construction at noise parameter 0.99 improves complete-history costs and gives upper bounds close to universal lower bounds. These results show why optimizing a single step need not optimize a retained multi-step history. The analysis also distinguishes complete channels, fixed-input states and archive-only outputs, and demonstrates how access to a retained reference can distinguish generators with identical passive output statistics. Full-word proofs, algebraic complete-positivity certificates, a technical companion and reproducibility materials accompany the results. The exact intermediate memory boundary and complete-history optimum remain open. All results use standard quantum probabilities and apply to the stated operational resource models; they do not establish total hardware, energy or thermodynamic minima.