Preprint by Seth Douglas (seth.douglas@gmail.com) on the dimension and actual initial-entropy rate region of a closed device serving repeated uses of one fixed quantum channel against adaptive inputs. Includes the complete manuscript, appendices and reproducibility materials. Scoped licenses: the manuscript, appendices, PDF and TeX are licensed under Creative Commons Attribution 4.0 International (CC-BY-4.0). Original code and accompanying software documentation are MIT-licensed. These are separate file-specific licenses, not a choice of license for every file. See LICENSE.md and LICENSES/ in the archive. The aggregate Other (Open) category represents this mixed-license package. Lean coverage is partial: a finite quantum closing identity and six arithmetic lemmas, not the full entropy or asymptotic theorem. AI assistance is disclosed in the manuscript. No efficient circuit synthesis or AK resolution is claimed.
Preprint by Seth Douglas (seth.douglas@gmail.com) on the dimension and actual initial-entropy rate region of a closed device serving repeated uses of one fixed quantum channel against adaptive inputs. Includes the complete manuscript, appendices and reproducibility materials. Scoped licenses: the manuscript, appendices, PDF and TeX are licensed under Creative Commons Attribution 4.0 International (CC-BY-4.0). Original code and accompanying software documentation are MIT-licensed. These are separate file-specific licenses, not a choice of license for every file. See LICENSE.md and LICENSES/ in the archive. The aggregate Other (Open) category represents this mixed-license package. Lean coverage is partial: a finite quantum closing identity and six arithmetic lemmas, not the full entropy or asymptotic theorem. AI assistance is disclosed in the manuscript. No efficient circuit synthesis or AK resolution is claimed.
We characterize the bath resources needed to supply repeated uses of a fixed finite-dimensional quantum channel in a closed device. For each horizon T, one bath, one initial state and one repeated unitary are fixed before the user. Each output is returned before the next input arrives; no reset, discard, fresh ancilla or uncounted controller is available. Approximation error must vanish against arbitrary adaptive users with quantum memory and references. Writing r=limlog2(RT)/T for the bath dimension rate and s=limS(ωT)/T for the actual initial entropy rate, we prove that the achievable region is exactly s≥0, r+s≥h and r−s≥κ. Here h is maximum entropy exchange and κ is a smoothed independent-reference extension cost, with the zero-error limit taken before the supremum over full-rank inputs. Its exact fixed-input form is an affine transform of the zero-leakage quantum privacy funnel. The minimum dimension rate is (h+κ)/2. The proof combines entropy converses, a bath-dimension-independent support repair, and a closed adaptive implementation of encoder-only fully quantum Slepian--Wolf recycling. All seeds, clocks, workspace and retained residues are counted. Worked examples include dephasing, pure replacement and a qubit channel with 0<κ<h. No computability of κ or efficient circuit synthesis is claimed.
How much memory does it take to apply the same quantum channel many times, when each output must be released before the next input arrives and every retained qubit counts? One-use invariants do not decide it. Two explicit channels on dimension 1664 have identical normalized Choi spectra (32 eigenvalues 1/32), the same maximal complementary entropy 5, and zero asymptotic purity cost. At the same optimal exchange rate, one is implemented exactly with five memory qubits for any number of uses, while the other needs Omega(n^(1/(2 log_2(107)+2))) memory qubits for n uses, at every fixed error at most 1/16 and whatever purity is available; memory O(n^(1/3) log^(4/3) n) suffices for it. The hard channel is built from Houghton's group H_3. Behind the example is a general theory: the achievable exchange and purity rates, the purity cost kappa, which vanishes exactly on the closure of finite tracial factorizations, and memory bounds from how well a channel's environment is approximated by finite ones, and, for channels built from finite presentations, from the approximation profile of the group. Version 1.1 adds where the expensive channels lie: on the relative boundary of the closure; any fixed depolarizing admixture brings them down to polylogarithmic memory at the rank rate; on a face containing the Houghton channel a single moment of a trace on the group decides expense; and one free fermion per site already forces polynomial memory. Version 1.1.1 adds a map of what the main separation depends on (published inputs, companion results and new arguments), sets finite-budget and asymptotic-rate statements side by side, cites the companion papers at their published versions, pins the tested software versions, and makes every check refuse to run under optimized Python. The mathematical results are unchanged. Version 1.1.2 corrects attributions and makes two headline statements precise. The separation of Theorem A is stated at the exchange budget 5n/2, and the channels that need polynomial memory at every exchange rate are those with purity limited to O(log n). Credits added or corrected: Bisio, D'Ariano, Perinotti and Chiribella, and Bisio, D'Ariano, Perinotti and Sedlak; Boes et al. for the square-root dephasing construction; Lie, Son, Boes, Ng and Wilming for the exact case of the tracialization lemma; Faist, Berta and Brandao for the relation to the thermodynamic capacity; Haagerup, Musat and Rordam for the moment criteria; Thoma, Johnson, Watrous, Horodecki-Oppenheim-Winter and Lie-Jeong; Cornulier for the Baumslag-Solitar bound. Known results are moved out of numbered statements. The mathematical results and the numbering are unchanged. All operational bounds use complete-experiment error against adaptive observers with quantum references. The general rate-region achievability result uses a cited closed-device theorem; the explicit separation does not. This preprint archive includes the PDF, TeX source, finite verification scripts, and scoped Lean arithmetic proofs. The artifacts do not formally verify the entire manuscript; their scope and external dependencies are documented in verification/README.md.
Faist, Berta and Brandão showed that n uses of a time-covariant quantum channel cost, to leading order, n times its thermodynamic capacity, when the device may collect all inputs before it releases any output. Many devices cannot wait: they must release each output before the next input arrives. This paper shows that, for devices built from energy-conserving dynamics and heat baths, this can cost extra work, but only for quantum channels, and determines exactly how much. Real-time work law. For a time-covariant channel the real-time work per use is a maximum over inputs of an entropy change plus an energy change, with one extra term: the least correlation an implementation must leave between each output and what stays in the device. Below this rate, with thermal hardware and deterministic work, the worst-case error of every real-time device tends to one. Only quantum channels pay. Classical channels, including full reset, pay no surcharge. Partial reset of a qubit pays one at every temperature, and the Werner–Holevo qutrit channel pays kT ln 3 per use, against essentially nothing in batch. What is free, and undecidability. In real time a channel costs nothing exactly when it is a limit of thermal operations, and no algorithm decides which channels these are, even in a fixed dimension. Clocks. If the battery holds no phase reference of its own, a clock that must come back exactly cannot run a channel that is not time-covariant; one that may come back slightly changed, with its actual mean energy and entropy refunded, runs every channel at the same rate, and for a gate the heat baths must reach energies that grow faster than the number of uses. All rates here are optimal asymptotic work rates at vanishing error over the complete interaction, with hardware allowed to grow; where a controller comes back only approximately, its actual mean energy and entropy are also refunded up to sublinear changes. This record archives the manuscript, its TeX source and its machine checks (Python, and Lean with Mathlib). The manuscript is the authority for exact statements and hypotheses; the verification notes list what is checked by machine and what is proved only in the text. How the work was done, including the use of AI models, is described in the manuscript. This paper is one of four on the thermodynamics of time order: The work cost of answering in real time (https://github.com/Apsiape/answering-in-real-time); The price of keeping time (https://github.com/Apsiape/price-of-keeping-time); The price of time order (https://github.com/Apsiape/price-of-time-order). Scoped licenses: the manuscript, PDF and TeX source are licensed under Creative Commons Attribution 4.0 International (CC-BY-4.0). The software and machine-readable verification artifacts are additionally available under the MIT License. See RIGHTS.md in the archive. The aggregate Other (Open) category represents this mixed-license package.
How much memory does a device need to apply one quantum channel n times, if each output must leave before the next input arrives? The paper counts the qubits the device keeps, the qubits it exchanges for fresh ones, and the purity it is given, with error measured on the whole experiment against an adaptive observer. Immediate release has a price. For the qutrit Werner-Holevo channel, vanishing error requires log2 3 bits of purity per use, a known rate; the paper adds a bound at finite error. If all outputs may leave together, O(log n) bits suffice in total at polynomially small error, refining a known zero rate. At error n^-2 the change comes when outputs wait in batches of about log n, and the zero supplied-purity-rate side holds for every unital channel. Purity separates cheap from expensive repeated use along one set of channels, the closure of those that a finite, maximally mixed bath implements exactly: outside it, linear purity is known to be needed at small error, hence linear memory when fresh qubits are maximally mixed. The paper proves a converse for memory, keeping maximally mixed fresh qubits and the optimal exchange rate: a channel in the closure with a flat probe (an input that leaves the minimal environment maximally mixed) can be served with sublinear memory at any error that is not exponentially small. For channels built from finitely many group relations, memory at fixed error is at most logarithmic, divergent but sublinear, or linear, and some are linear exactly when some finitely presented group is not hyperlinear. Along the way, Rybar and Ziman's question on repeating a channel without resets is answered. At high precision, the memory of n uses of such a channel equals, up to squared logarithms, the cost of the best single use that never leaves the channel's support. That cost is the bath entropy plus n times the entropy one use adds to the bath. For Houghton's group, devices acting through the group need and attain memory n^(1/3) up to logarithmic factors. Whether the single-use law holds at fixed error is open. This archive includes the paper, its LaTeX source and the finite numerical checks; they support but do not replace the proofs.
Preprint by Seth Douglas (seth.douglas@gmail.com) on quantitative recovery from finitely many calibrated sharp binary observables, with complete Appendix A and reproducibility materials. Scoped licenses: the manuscript, PDF and TeX are licensed under Creative Commons Attribution 4.0 International (CC-BY-4.0). Original code and accompanying software documentation are MIT-licensed. These are separate file-specific licenses, not a choice of license for every file. See LICENSE.md and LICENSES/ in the archive. The aggregate Other (Open) category represents this mixed-license package. Lean coverage is partial: calibrated projections imply finite-word operator-norm stability; no numbered recovery theorem is fully formalized. Language models assisted exploration and checking; the author retains responsibility for the claims.