© 2026 Aqora Quantum S.A.S.

Terms Privacy Legal Notice

arXiv:2305.12970 · PRX Quantum

Quantum State Smoothing Cannot Be Assumed Classical Even When the Filtering and Retrofiltering Are Classical

Kiarn T. Laverick, Prahlad Warszawski, Areeya Chantasri, Howard M. Wiseman

Published Dec 11, 2023• 3 citations

Abstract

State smoothing is a technique to estimate a state at a particular time, conditioned on information obtained both before (past) and after (future) that time.For a classical system, the smoothed state is a normalized product of the filtered state (a state conditioned only on the past measurement information and the initial preparation) and the retrofiltered effect (depending only on the future measurement information).For the quantum case, while there are well-established analogues of the filtered state (ρ F ) and the retrofiltered effect ( ÊR ), their product does not, in general, provide a valid quantum state for smoothing.However, this procedure does seem to work when ρ F and ÊR are mutually diagonalizable.This fact has been used to obtain smoothed quantum states-purer than the filtered states-in a number of experiments on continuously monitored quantum systems, in cavity QED and atomic systems.In this paper we show that there is an implicit assumption underlying this technique: that if all the information were known to the observer, the true system state would be one of the diagonal basis states.This assumption does not necessarily hold, as the missing information is quantum information.It could be known to the observer only if it were turned into a classical measurement record, but then its nature would depend on the choice of measurement.We show by a simple model that, depending on that measurement choice, the smoothed quantum state can: agree with that from the classical method, disagree with it but still be co-diagonal with it, or not even be co-diagonal with it.That is, just because filtering and retrofiltering appear classical does not mean classical smoothing theory is applicable in quantum experiments.

DOI: 10.1103/prxquantum.4.040340

Related papers

Unifying quantum smoothing theories with extended retrodiction

Mingxuan Liu, Ge Bai, Valerio Scarani

Estimating the state of an open quantum system monitored over time requires incorporating information from past measurements (filtering) and, for improved accuracy, also from future measurements (smoothing). While classical smoothing is well understood within a Bayesian framework, its quantum generalization has been challenging, leading to distinct and seemingly incompatible approaches. In this work, we demonstrate that quantum state smoothing hinges on a uniquely quantum feature: the fundamental dependence of retrodiction on prior correlations. We introduce auxiliary systems into the prior to represent specified correlations formed during preparation and evolution, and formulate quantum state smoothing as extended Bayesian retrodiction. This framework identifies previous approaches as different choices of the extended prior, and naturally extends it to other choices that have not been considered before. We also give an information-theoretic characterization of the choices of prior, in terms of the average entropy of the smoothed states. Our results establish quantum state smoothing as a fundamentally retrodictive process just like classical smoothing, with proper quantum features clearly identified.

arXiv:2510.08447•npj Quantum Information•Nov 1, 2026•0 citations

Optimality of the Petz-Fuchs Smoothed State

Kiarn T. Laverick

Quantum state smoothing is an estimation technique that uses past and future measurement information obtained from a continuous-in-time measurement record to reconstruct the state of an open quantum system. Recently, there has been a new approach to quantum state smoothing based on quantum retrodiction known as the Petz-Fuchs smoothed state. Here I prove that this Petz-Fuchs smoothed state majorizes all other smoothed states that only depend on the filtered state (the operator conditioned on the past measurement record) and the retrofiltered effect (the operator describing the future measurement record). To do this, I characterize the set of all possible smoothed states satisfying this condition.

quant-pharXiv:2610.41311•Nov 2, 2026

Quantum state smoothing for tracking optical quantum dynamics and recovering purity and squeezing

Shota Yokoyama, Kiarn T. Laverick, David McManus +6 more

Abstract Tracking the dynamics of a quantum system is conventionally achieved by monitoring the system continuously in time and filtering the information contained in measurement records via the causal quantum trajectory approach. However, in practical scenarios, there is often loss of information to the environment, leading to filtered states that are impure because of decoherence. If real-time tracking is not required, the lost information can be maximally extracted via acausal quantum state smoothing , which has been theoretically proven to better restore the system’s coherence (purity) than causal filtering. Interestingly, quantum state smoothing requires assumptions about how any lost quantum information (unobserved by the experimenter) was turned into classical information by the environment. In this work, we experimentally demonstrate smoothing scenarios, using an optical parametric oscillator and introducing ‘observed’ and ‘unobserved’ channels by splitting the output beam into two independent homodyne detectors. We achieve improvement in state purification of 10.3% ± 1.6%, squeezing restoration of 7.6% ± 2.6%, and show that smoothed states are better estimates of hidden true states than those from conventional filtering. The estimation techniques used in this paper are promising for many applications in quantum information that incorporate post-processing.

npj Quantum Information•Oct 21, 2026•0 citations

Retrodictive approach to quantum state smoothing

Mingxuan Liu, Valerio Scarani, Alexia Auffèves +1 more

Smoothing is a technique for estimating the state of an imperfectly monitored open system by combining both prior and posterior measurement information. In the quantum regime, current approaches to smoothing either give unphysical outcomes, due to the non-commutativity of the measurements at different times, or require assumptions about how the environment is measuring the system, which with current technology is unverifiable. We propose a novel definition of the smoothed quantum state based on quantum Bayesian retrodiction, which mirrors the classical retrodictive approach to smoothing. This approach always yields physical results and does not require any assumption on the environment. We show that this smoothed state has, on average, greater purity than the state reconstructed using just the prior information. Finally, we make a connection with the smoothing theory of Guevara and Wiseman in a well-studied regime, and describe from a purely quantum perspective how it conditions on the posterior information.

arXiv:2501.15986•Physical Review A•Sep 2, 2025•1 citation

Classical Limits of Spectral Filtering in Quantum Generative Models

Marco Roth

Spectral filtering has been proposed as a route to regularization in quantum generative models: the quantum Fourier transform exposes the amplitude spectrum of a quantum circuit Born machine, and a diagonal filter suppresses the high frequencies associated with finite-sample noise, an operation whose classical counterpart seemingly requires manipulating an exponentially long amplitude vector. We examine whether this coherent operation produces anything that classical post-processing of samples from the unfiltered model cannot match. Measuring the filter against convolution with a symmetric probability kernel at matched sampling cost, which accounts for the post-selection overhead of attenuation, we derive necessary and sufficient conditions for the gap between the two to vanish. Magnitude (attenuating) filters obey a dichotomy: at a fixed affordability threshold, the filtered output is either a constant-size Fourier object with an efficient classical sampler, or the passband must widen until no fixed frequency is attenuated and the filter no longer smooths. In neither case does the filter create a quantum-classical separation. Whatever separation survives is inherited from the spectral phase of the input state. Numerical experiments on trained circuit Born machines confirm the classification and show that the deciding phases are invisible to the Born-rule training loss and set by the initialization. Within the diagonal family, pure phase filters remain the only spectral operations exempt from these constraints.

quant-pharXiv:2608.14169•Aug 17, 2026•0 citations

Finite Realizations and Effective Memory in Nonlinear Quantum Filtering

Jacob Emerson

Nonlinear dynamics generate non-Gaussian states and operations, but they also make continuously monitored quantum systems difficult to track. A quantum filter performs this task by compressing a noisy measurement record into a set of evolving variables that predict future observables. For Gaussian dynamics, this compression is exact and finite. In nonlinear systems, conventional moment equations generally expand without bound, but the failure of one representation does not prove that every finite description is impossible. Here we formulate quantum filtering as a realization problem for general quantum input--output maps. We introduce the linearized observable Hankel operator $K_O$, which maps changes in the past measurement record to changes in a future conditional observable. Any finite-dimensional smooth filter forces $K_O$ to have finite rank, so infinite rank provides a coordinate-independent proof that no exact finite-dimensional filter exists. Applied to single-mode polynomial bosonic systems under continuous quadrature monitoring, this yields a sharp boundary: Gaussian dynamics and the measurement-aligned Conditional Momentum Moment class admit finite realizations, whereas dynamics outside these classes produce infinitely many response directions and admit no finite-dimensional smooth exact filter. Exact impossibility, however, need not imply large practical complexity. The singular values of $K_O$ quantify how many response directions matter at a chosen local accuracy, defining the effective memory of an observable. For the Kerr and Duffing oscillators, these singular values decay rapidly despite infinite exact rank, showing that infinite exact memory can coexist with low finite-accuracy complexity. The framework therefore separates exact realizability from effective complexity in nonlinear quantum filtering.

quant-pharXiv:2609.09663•Sep 10, 2026•0 citations

State smoothing is a technique to estimate a state at a particular time, conditioned on information obtained both before (past) and after (future) that time.For a classical system, the smoothed state is a normalized product of the filtered state (a state conditioned only on the past measurement information and the initial preparation) and the retrofiltered effect (depending only on the future measurement information).For the quantum case, while there are well-established analogues of the filtered state (ρ F ) and the retrofiltered effect ( ÊR ), their product does not, in general, provide a valid quantum state for smoothing.However, this procedure does seem to work when ρ F and ÊR are mutually diagonalizable.This fact has been used to obtain smoothed quantum states-purer than the filtered states-in a number of experiments on continuously monitored quantum systems, in cavity QED and atomic systems.In this paper we show that there is an implicit assumption underlying this technique: that if all the information were known to the observer, the true system state would be one of the diagonal basis states.This assumption does not necessarily hold, as the missing information is quantum information.It could be known to the observer only if it were turned into a classical measurement record, but then its nature would depend on the choice of measurement.We show by a simple model that, depending on that measurement choice, the smoothed quantum state can: agree with that from the classical method, disagree with it but still be co-diagonal with it, or not even be co-diagonal with it.That is, just because filtering and retrofiltering appear classical does not mean classical smoothing theory is applicable in quantum experiments.

Estimating the state of an open quantum system monitored over time requires incorporating information from past measurements (filtering) and, for improved accuracy, also from future measurements (smoothing). While classical smoothing is well understood within a Bayesian framework, its quantum generalization has been challenging, leading to distinct and seemingly incompatible approaches. In this work, we demonstrate that quantum state smoothing hinges on a uniquely quantum feature: the fundamental dependence of retrodiction on prior correlations. We introduce auxiliary systems into the prior to represent specified correlations formed during preparation and evolution, and formulate quantum state smoothing as extended Bayesian retrodiction. This framework identifies previous approaches as different choices of the extended prior, and naturally extends it to other choices that have not been considered before. We also give an information-theoretic characterization of the choices of prior, in terms of the average entropy of the smoothed states. Our results establish quantum state smoothing as a fundamentally retrodictive process just like classical smoothing, with proper quantum features clearly identified.

Quantum state smoothing is an estimation technique that uses past and future measurement information obtained from a continuous-in-time measurement record to reconstruct the state of an open quantum system. Recently, there has been a new approach to quantum state smoothing based on quantum retrodiction known as the Petz-Fuchs smoothed state. Here I prove that this Petz-Fuchs smoothed state majorizes all other smoothed states that only depend on the filtered state (the operator conditioned on the past measurement record) and the retrofiltered effect (the operator describing the future measurement record). To do this, I characterize the set of all possible smoothed states satisfying this condition.

Abstract Tracking the dynamics of a quantum system is conventionally achieved by monitoring the system continuously in time and filtering the information contained in measurement records via the causal quantum trajectory approach. However, in practical scenarios, there is often loss of information to the environment, leading to filtered states that are impure because of decoherence. If real-time tracking is not required, the lost information can be maximally extracted via acausal quantum state smoothing , which has been theoretically proven to better restore the system’s coherence (purity) than causal filtering. Interestingly, quantum state smoothing requires assumptions about how any lost quantum information (unobserved by the experimenter) was turned into classical information by the environment. In this work, we experimentally demonstrate smoothing scenarios, using an optical parametric oscillator and introducing ‘observed’ and ‘unobserved’ channels by splitting the output beam into two independent homodyne detectors. We achieve improvement in state purification of 10.3% ± 1.6%, squeezing restoration of 7.6% ± 2.6%, and show that smoothed states are better estimates of hidden true states than those from conventional filtering. The estimation techniques used in this paper are promising for many applications in quantum information that incorporate post-processing.

Smoothing is a technique for estimating the state of an imperfectly monitored open system by combining both prior and posterior measurement information. In the quantum regime, current approaches to smoothing either give unphysical outcomes, due to the non-commutativity of the measurements at different times, or require assumptions about how the environment is measuring the system, which with current technology is unverifiable. We propose a novel definition of the smoothed quantum state based on quantum Bayesian retrodiction, which mirrors the classical retrodictive approach to smoothing. This approach always yields physical results and does not require any assumption on the environment. We show that this smoothed state has, on average, greater purity than the state reconstructed using just the prior information. Finally, we make a connection with the smoothing theory of Guevara and Wiseman in a well-studied regime, and describe from a purely quantum perspective how it conditions on the posterior information.

Spectral filtering has been proposed as a route to regularization in quantum generative models: the quantum Fourier transform exposes the amplitude spectrum of a quantum circuit Born machine, and a diagonal filter suppresses the high frequencies associated with finite-sample noise, an operation whose classical counterpart seemingly requires manipulating an exponentially long amplitude vector. We examine whether this coherent operation produces anything that classical post-processing of samples from the unfiltered model cannot match. Measuring the filter against convolution with a symmetric probability kernel at matched sampling cost, which accounts for the post-selection overhead of attenuation, we derive necessary and sufficient conditions for the gap between the two to vanish. Magnitude (attenuating) filters obey a dichotomy: at a fixed affordability threshold, the filtered output is either a constant-size Fourier object with an efficient classical sampler, or the passband must widen until no fixed frequency is attenuated and the filter no longer smooths. In neither case does the filter create a quantum-classical separation. Whatever separation survives is inherited from the spectral phase of the input state. Numerical experiments on trained circuit Born machines confirm the classification and show that the deciding phases are invisible to the Born-rule training loss and set by the initialization. Within the diagonal family, pure phase filters remain the only spectral operations exempt from these constraints.

Nonlinear dynamics generate non-Gaussian states and operations, but they also make continuously monitored quantum systems difficult to track. A quantum filter performs this task by compressing a noisy measurement record into a set of evolving variables that predict future observables. For Gaussian dynamics, this compression is exact and finite. In nonlinear systems, conventional moment equations generally expand without bound, but the failure of one representation does not prove that every finite description is impossible. Here we formulate quantum filtering as a realization problem for general quantum input--output maps. We introduce the linearized observable Hankel operator

K_O

, which maps changes in the past measurement record to changes in a future conditional observable. Any finite-dimensional smooth filter forces

K_O

to have finite rank, so infinite rank provides a coordinate-independent proof that no exact finite-dimensional filter exists. Applied to single-mode polynomial bosonic systems under continuous quadrature monitoring, this yields a sharp boundary: Gaussian dynamics and the measurement-aligned Conditional Momentum Moment class admit finite realizations, whereas dynamics outside these classes produce infinitely many response directions and admit no finite-dimensional smooth exact filter. Exact impossibility, however, need not imply large practical complexity. The singular values of

K_O

quantify how many response directions matter at a chosen local accuracy, defining the effective memory of an observable. For the Kerr and Duffing oscillators, these singular values decay rapidly despite infinite exact rank, showing that infinite exact memory can coexist with low finite-accuracy complexity. The framework therefore separates exact realizability from effective complexity in nonlinear quantum filtering.