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:2609.16460

Environmental records unlock universal quantum computation from thermal decoherence

Chenfeng Cao, Qi Zhao

quant-phSubmitted Sep 15, 2026• Announced Sep 16, 2026• 0 citations
arXivHTMLPDF

Abstract

At a fixed thermal exposure, the same stabilizer processor can be classically simulable or quantum universal, depending on which environmental records its controller retains. We give an exact computational classification of energy-counting thermal-idle instruments in a quantum processor with ideal stabilizer control and independent local Markov baths. The relaxation time $T_1$, homogeneous coherence time $T_2$, and equilibrium excited-state population $p_e$ determine an exact computational boundary at $(1-p_e)T_2/T_1=1$. If every location lies at or below it, branchwise nonnegative stabilizer decompositions give an explicit efficient classical sampler for the adaptive circuit and its full time-resolved exchange record. Above it at a single repeatedly accessible location, a suitable idle duration and no-exchange conditioning supply distillable ancillas and enable universal quantum computation with polynomial overhead. At finite temperature on the resource side, erasing the record at a sufficiently long, unsplit exposure makes the averaged channel stabilizer measure-and-prepare, and even a terminal parity check then yields only simulable branches. Yet at that same exposure, retaining only the bit recording whether any exchange occurred still heralds distillable ancillas, because a thermal round trip restores the parity after its first exchange has already removed the coherence.

Comments
16 pages, 4 figures

Related papers

Exact and Efficient Stabilizer Simulation of Thermal-Relaxation Noise for Quantum Error Correction

Sean R. Garner, Nathan M. Myers, Meng Wang +3 more

Stabilizer-based simulation of quantum error-correcting codes typically relies on the Pauli-twirling approximation (PTA) to render non-Clifford noise classically tractable, but PTA can distort the behavior of physically relevant channels such as thermal relaxation. Physically accurate noise simulation is needed to train decoders and understand the noise suppression capabilities of quantum error correction codes. In this work, we develop an exact and stabilizer-compatible model of qubit thermal relaxation noise and show that the combined amplitude damping and dephasing channel admits a fully positive probability decomposition into Clifford operations and reset whenever $T_2 \leqslant T_1$. For $T_2 > T_1$, the resulting decomposition is negative, but allows a smaller sampling overhead versus independent channels. We further introduce an approximated error channel with reset that removes the negativity of the decomposition while achieving higher channel fidelity to the true thermal relaxation than PTA, and extend our construction to finite temperature relaxation. We apply the exact combined model to investigate large surface codes and bivariate bicycle codes on superconducting platforms with realistic thermal relaxation error. The differing logical performances across code states further indicate that noise-model-informed decoders will be essential for accurately capturing thermal-noise structure in future fault-tolerant architectures.

quant-pharXiv:2512.09189•Physical Review Research•Dec 11, 2025•0 citations

From Decoherence to Operationally Recoverable Records: Measurement, Dependence, and Finite-Sample Certification in a Minimal Quantum-Darwinism Model

David Reardon

Abstract Decoherence suppresses interference, but an observer’s ability to reconstruct a classical pointer value depends on additional resources: distinguishable conditional environmental states, an allowed measurement, sufficient accessible fragments, and sufficiently independent records. We provide an explicit minimal quantum-to-operational bridge that places these requirements in one chain. A system qubit is correlated with conditional environmental qubit states, permitting exact expressions for residual coherence, quantum mutual information, pointer Holevo information, accessible information, and Helstrom discrimination error. Full density-matrix calculations validate the formulas across 280 endpoint and interior cases. An accessible-sector/hidden-bath construction shows that coherence can fall below 2.3 × 10⁻⁵ while the observer’s record information and error remain fixed at 0.0803 bits and 0.4009. Measurement policies shift recovery thresholds: for record overlap 0.8 and error tolerance 0.05, collective or optimized adaptive-local discrimination requires four fragments, a fixed canonical-basis measurement requires six, and repeated one-fragment Helstrom measurements followed by classical decoding require seven. More importantly, records matched at the one-fragment level can have radically different collective behavior. For a binary pointer, the common-mode classical channel has an exact accessible-information ceiling of 1 − h₂(0.1) = 0.5310 bits, while the noncommuting hidden-memory ensemble approaches the same Holevo-information ceiling; matched independent records approach one bit and zero error. Disjoint observer counts and unanimous agreement likewise depend on shared error structure. Finally, declared local measurements induce classical record channels that are subjected to held-out model selection, predictive checks, abstention, and simultaneous finite-sample threshold certification. The resulting framework supplies the validated quantum-to-operational record model used in the companion analysis of operational capacity bounds for distinguishable decoherent histories.

•Jul 31, 2026•0 citations

Coherence-assisted quantum state preparation and thermal control through repeated interactions

Alessandro Prositto, Dvira Segal

We investigate the relaxation dynamics and steady state of a qubit interacting with a coherent environment through an energy-conserving flip-flop interaction within the Markovian repeated-interaction framework. We derive an exact analytical solution for the evolving and stationary state, nonperturbative in the environmental coherence. We show that environmental coherence provides a resource for dissipative state preparation by expanding the set of accessible steady states. In particular, coherent ancillas can increase the system ground- state population beyond that of the bath, corresponding to an effective temperature below the bath temperature, and enhance its steady-state purity, with these effects controlled by the interplay between the system energy scale and the system-ancilla coupling. Nevertheless, we prove that the purity of the system can never exceed the purity of the ancilla. We further analyze the thermodynamics of the protocol and show that environmental coherence can modify and even reverse the natural direction of heat transfer, giving rise to anomalous heat flow. Remarkably, for fixed interaction parameters, the direction of the coherence-induced heat transfer is governed by the relative phase between the system and ancilla coherence, whereas their magnitudes determine the amount of heat exchanged. Our results establish environmental coherence as a resource for controlling steady-state preparation and energy transfer in repeated-interaction dynamics.

quant-pharXiv:2610.10794•Oct 9, 2026•0 citations

Polylog-depth Quantum Thermal Simulation via Local Recovery Channels

Hideaki Hakoshima, Atsushi Iwaki, Nobuyuki Yoshioka

We establish sufficient conditions for preparing quantum thermal states of noncommuting local Hamiltonians with polylogarithmic circuit depth in arbitrary fixed spatial dimension. Our conditions combine locality and stability bounds on the effective interactions of reduced density matrices of a Gibbs state with a quantitative high-temperature condition and access to coarse classical reference Hamiltonians. When these references can be generated locally, the classical preprocessing cost is $N^{1+o(1)}$ for $N$ sites at inverse-polynomial global accuracy. We construct the preparation circuit from spatially localized Petz recovery maps. Quantum corrections derived from the microscopic Hamiltonian enable accurate recovery while the classical references remain coarse. After preprocessing, the resulting circuit prepares the canonical purification using $N\operatorname{polylog}(N/\varepsilon)$ gates and qubits, where $\varepsilon$ is the preparation error. These results link two fundamental questions: how correlations are organized in thermal equilibrium, and how efficiently the corresponding states can be realized through operations allowed by quantum mechanics. By translating static equilibrium structure into explicit preparation circuits, they give equilibrium locality a constructive computational interpretation and a physically grounded role in quantum algorithm design.

quant-pharXiv:2609.39674•Oct 1, 2026•0 citations

Quantum and Classical Memory for Storage and Retrieval of Quantum Measurements

Filip Turoboś, Ludmiła Marcinkowska, Zbigniew Puchała

We study the persistent quantum and classical memory required for exact heralded storage and retrieval of quantum measurements. Given only black-box access to the measurement channel, we construct an exact compression of the port-based program into an outcome-type record and a quantum register, with total dimension polynomial in the query count. For every universal retrieval processor we prove the bounds $Q+C\ge\log_2 n$ and $2Q+C\ge\log_2\bigl((n-1)d^2+1\bigr)$ on the numbers $Q$ of qubits and $C$ of bits of the program, for $n$-outcome POVMs on $\mathbb{C}^d$ with $d\ge2$. For $n\ge2$, no finite classical memory removes the need for quantum memory: any such processor requires a quantum program of dimension at least $d$, at that dimension its classical alphabet must have at least $n$ symbols, and both minima are attained by a single-query protocol with success $1/d^2$. Combining direct-program compression with a converse from approximate measurement programming gives logarithmic total-memory scaling in $1/(1-p)$ as the uniform success probability $p$ approaches one, at fixed $d,n\ge2$. At fixed input dimension and target success below one, the optimal total-memory scaling is logarithmic in $n$. We also construct self-contained programs under branch-decomposition access and compare the quantum and classical costs of all constructions, including where the outcome-type record is kept: for POVMs with $n$ nonzero rank-one effects the direct program admits a purely quantum allocation whose register is never larger than that of the minimal-Naimark unitary program and which succeeds more often whenever $n>d$.

quant-pharXiv:2610.36972•Oct 28, 2026•0 citations

Finite Quantum Records and Source-Inclusive Coherence Tests

Qingchun Zhang

A durable quantum record, the location of its coherence, and a uniquely actual outcome are different physical questions. We study their separation in a supplied finite-dimensional quantum theory. An explicit, time-independent apparatus couples a system–detector encoding to a controller, a distinct archive, and a finite returning source. A conditional energy penalty suppresses release of the original record without deleting its return coupling. An invariant reduction and a one-sided spectral-gap estimate yield a certified interval with archive occupation above 0.98438, controller-latched occupation above 0.99161, and filled-but-unlatched weight below 2.402 × 10^-7 in one stated design. The same record statistics admit different source-label overlaps and hence different coherence on a specified retained boundary. A conserved product of complementary exchanges accesses that coherence when the finite source is included. Given a calibrated multiregister reader, its finite-duration response separates the coherent apparatus from an independently added archive-gated reduction law, with the added process left active during readout. A conservative example retains a response gap above 0.01717 after separately stipulated one-percent error allowances. The contribution is the finite construction and its quantitative retention, access, and readout interfaces. Quantum carriers, Hamiltonian couplings, trace readout, source preparation, and the reader are supplied; local reader synthesis, empirical calibration, absolute rate selection, and unique-event actualization are not established. Paper code: CFQR-P1 (Complementarity-First Quantum Records — Paper 1). The associated bundle contains the technical supplement, editable LaTeX, numerical checking programs and rational certificates, and selected Lean sources with returned build and axiom-audit evidence. The 39 supporting declarations are partially formalized; eleven recorded type excerpts contain printing elisions. This is not end-to-end formalization, external human peer review, an experimental detection of fundamental collapse, or a derivation of unique-event actualization. Author-owned manuscripts, documentation and mathematical data are CC BY 4.0; author-owned software is MIT, subject to the bundle’s licence map and third-party notices.

•Oct 15, 2026•0 citations
At a fixed thermal exposure, the same stabilizer processor can be classically simulable or quantum universal, depending on which environmental records its controller retains. We give an exact computational classification of energy-counting thermal-idle instruments in a quantum processor with ideal stabilizer control and independent local Markov baths. The relaxation time T1T_1T1​, homogeneous coherence time T2T_2T2​, and equilibrium excited-state population pep_epe​ determine an exact computational boundary at (1−pe)T2/T1=1(1-p_e)T_2/T_1=1(1−pe​)T2​/T1​=1. If every location lies at or below it, branchwise nonnegative stabilizer decompositions give an explicit efficient classical sampler for the adaptive circuit and its full time-resolved exchange record. Above it at a single repeatedly accessible location, a suitable idle duration and no-exchange conditioning supply distillable ancillas and enable universal quantum computation with polynomial overhead. At finite temperature on the resource side, erasing the record at a sufficiently long, unsplit exposure makes the averaged channel stabilizer measure-and-prepare, and even a terminal parity check then yields only simulable branches. Yet at that same exposure, retaining only the bit recording whether any exchange occurred still heralds distillable ancillas, because a thermal round trip restores the parity after its first exchange has already removed the coherence.
Stabilizer-based simulation of quantum error-correcting codes typically relies on the Pauli-twirling approximation (PTA) to render non-Clifford noise classically tractable, but PTA can distort the behavior of physically relevant channels such as thermal relaxation. Physically accurate noise simulation is needed to train decoders and understand the noise suppression capabilities of quantum error correction codes. In this work, we develop an exact and stabilizer-compatible model of qubit thermal relaxation noise and show that the combined amplitude damping and dephasing channel admits a fully positive probability decomposition into Clifford operations and reset whenever T2⩽T1T_2 \leqslant T_1T2​⩽T1​. For T2>T1T_2 > T_1T2​>T1​, the resulting decomposition is negative, but allows a smaller sampling overhead versus independent channels. We further introduce an approximated error channel with reset that removes the negativity of the decomposition while achieving higher channel fidelity to the true thermal relaxation than PTA, and extend our construction to finite temperature relaxation. We apply the exact combined model to investigate large surface codes and bivariate bicycle codes on superconducting platforms with realistic thermal relaxation error. The differing logical performances across code states further indicate that noise-model-informed decoders will be essential for accurately capturing thermal-noise structure in future fault-tolerant architectures.
Abstract Decoherence suppresses interference, but an observer’s ability to reconstruct a classical pointer value depends on additional resources: distinguishable conditional environmental states, an allowed measurement, sufficient accessible fragments, and sufficiently independent records. We provide an explicit minimal quantum-to-operational bridge that places these requirements in one chain. A system qubit is correlated with conditional environmental qubit states, permitting exact expressions for residual coherence, quantum mutual information, pointer Holevo information, accessible information, and Helstrom discrimination error. Full density-matrix calculations validate the formulas across 280 endpoint and interior cases. An accessible-sector/hidden-bath construction shows that coherence can fall below 2.3 × 10⁻⁵ while the observer’s record information and error remain fixed at 0.0803 bits and 0.4009. Measurement policies shift recovery thresholds: for record overlap 0.8 and error tolerance 0.05, collective or optimized adaptive-local discrimination requires four fragments, a fixed canonical-basis measurement requires six, and repeated one-fragment Helstrom measurements followed by classical decoding require seven. More importantly, records matched at the one-fragment level can have radically different collective behavior. For a binary pointer, the common-mode classical channel has an exact accessible-information ceiling of 1 − h₂(0.1) = 0.5310 bits, while the noncommuting hidden-memory ensemble approaches the same Holevo-information ceiling; matched independent records approach one bit and zero error. Disjoint observer counts and unanimous agreement likewise depend on shared error structure. Finally, declared local measurements induce classical record channels that are subjected to held-out model selection, predictive checks, abstention, and simultaneous finite-sample threshold certification. The resulting framework supplies the validated quantum-to-operational record model used in the companion analysis of operational capacity bounds for distinguishable decoherent histories.
We investigate the relaxation dynamics and steady state of a qubit interacting with a coherent environment through an energy-conserving flip-flop interaction within the Markovian repeated-interaction framework. We derive an exact analytical solution for the evolving and stationary state, nonperturbative in the environmental coherence. We show that environmental coherence provides a resource for dissipative state preparation by expanding the set of accessible steady states. In particular, coherent ancillas can increase the system ground- state population beyond that of the bath, corresponding to an effective temperature below the bath temperature, and enhance its steady-state purity, with these effects controlled by the interplay between the system energy scale and the system-ancilla coupling. Nevertheless, we prove that the purity of the system can never exceed the purity of the ancilla. We further analyze the thermodynamics of the protocol and show that environmental coherence can modify and even reverse the natural direction of heat transfer, giving rise to anomalous heat flow. Remarkably, for fixed interaction parameters, the direction of the coherence-induced heat transfer is governed by the relative phase between the system and ancilla coherence, whereas their magnitudes determine the amount of heat exchanged. Our results establish environmental coherence as a resource for controlling steady-state preparation and energy transfer in repeated-interaction dynamics.
We establish sufficient conditions for preparing quantum thermal states of noncommuting local Hamiltonians with polylogarithmic circuit depth in arbitrary fixed spatial dimension. Our conditions combine locality and stability bounds on the effective interactions of reduced density matrices of a Gibbs state with a quantitative high-temperature condition and access to coarse classical reference Hamiltonians. When these references can be generated locally, the classical preprocessing cost is N1+o(1)N^{1+o(1)}N1+o(1) for NNN sites at inverse-polynomial global accuracy. We construct the preparation circuit from spatially localized Petz recovery maps. Quantum corrections derived from the microscopic Hamiltonian enable accurate recovery while the classical references remain coarse. After preprocessing, the resulting circuit prepares the canonical purification using Npolylog⁡(N/ε)N\operatorname{polylog}(N/\varepsilon)Npolylog(N/ε) gates and qubits, where ε\varepsilonε is the preparation error. These results link two fundamental questions: how correlations are organized in thermal equilibrium, and how efficiently the corresponding states can be realized through operations allowed by quantum mechanics. By translating static equilibrium structure into explicit preparation circuits, they give equilibrium locality a constructive computational interpretation and a physically grounded role in quantum algorithm design.
We study the persistent quantum and classical memory required for exact heralded storage and retrieval of quantum measurements. Given only black-box access to the measurement channel, we construct an exact compression of the port-based program into an outcome-type record and a quantum register, with total dimension polynomial in the query count. For every universal retrieval processor we prove the bounds Q+C≥log⁡2nQ+C\ge\log_2 nQ+C≥log2​n and 2Q+C≥log⁡2((n−1)d2+1)2Q+C\ge\log_2\bigl((n-1)d^2+1\bigr)2Q+C≥log2​((n−1)d2+1) on the numbers QQQ of qubits and CCC of bits of the program, for nnn-outcome POVMs on Cd\mathbb{C}^dCd with d≥2d\ge2d≥2. For n≥2n\ge2n≥2, no finite classical memory removes the need for quantum memory: any such processor requires a quantum program of dimension at least ddd, at that dimension its classical alphabet must have at least nnn symbols, and both minima are attained by a single-query protocol with success 1/d21/d^21/d2. Combining direct-program compression with a converse from approximate measurement programming gives logarithmic total-memory scaling in 1/(1−p)1/(1-p)1/(1−p) as the uniform success probability ppp approaches one, at fixed d,n≥2d,n\ge2d,n≥2. At fixed input dimension and target success below one, the optimal total-memory scaling is logarithmic in nnn. We also construct self-contained programs under branch-decomposition access and compare the quantum and classical costs of all constructions, including where the outcome-type record is kept: for POVMs with nnn nonzero rank-one effects the direct program admits a purely quantum allocation whose register is never larger than that of the minimal-Naimark unitary program and which succeeds more often whenever n>dn>dn>d.
A durable quantum record, the location of its coherence, and a uniquely actual outcome are different physical questions. We study their separation in a supplied finite-dimensional quantum theory. An explicit, time-independent apparatus couples a system–detector encoding to a controller, a distinct archive, and a finite returning source. A conditional energy penalty suppresses release of the original record without deleting its return coupling. An invariant reduction and a one-sided spectral-gap estimate yield a certified interval with archive occupation above 0.98438, controller-latched occupation above 0.99161, and filled-but-unlatched weight below 2.402 × 10^-7 in one stated design. The same record statistics admit different source-label overlaps and hence different coherence on a specified retained boundary. A conserved product of complementary exchanges accesses that coherence when the finite source is included. Given a calibrated multiregister reader, its finite-duration response separates the coherent apparatus from an independently added archive-gated reduction law, with the added process left active during readout. A conservative example retains a response gap above 0.01717 after separately stipulated one-percent error allowances. The contribution is the finite construction and its quantitative retention, access, and readout interfaces. Quantum carriers, Hamiltonian couplings, trace readout, source preparation, and the reader are supplied; local reader synthesis, empirical calibration, absolute rate selection, and unique-event actualization are not established. Paper code: CFQR-P1 (Complementarity-First Quantum Records — Paper 1). The associated bundle contains the technical supplement, editable LaTeX, numerical checking programs and rational certificates, and selected Lean sources with returned build and axiom-audit evidence. The 39 supporting declarations are partially formalized; eleven recorded type excerpts contain printing elisions. This is not end-to-end formalization, external human peer review, an experimental detection of fundamental collapse, or a derivation of unique-event actualization. Author-owned manuscripts, documentation and mathematical data are CC BY 4.0; author-owned software is MIT, subject to the bundle’s licence map and third-party notices.