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

Optimality of the Petz-Fuchs Smoothed State

Kiarn T. Laverick

quant-phSubmitted Oct 30, 2026• Announced Nov 2, 2026
arXivHTMLPDF

Abstract

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.

AI Summary

Quantum state smoothing estimates an open system’s state using measurement records both before and after the estimation time. This paper asks whether the Petz–Fuchs assignment, $\rho_{\mathrm{PF}}=\sqrt{\rho_F}E_R\sqrt{\rho_F}/\operatorname{Tr}(\rho_FE_R)$, is optimal among smoothed states constructed solely from the filtered state $\rho_F$ and retrofiltered effect $E_R$. The analysis imposes four requirements: a single density-operator assignment, recovery of the filtered state upon averaging over future records, agreement with classical smoothing when the input operators commute, and positivity with unit trace. It characterizes the resulting assignments, in an eigenbasis of $\rho_F$, as $\rho_S=(K\odot E_R)/\operatorname{Tr}(\rho_FE_R)$, where $K\geq0$, $K_{xx}=(\rho_F)_{xx}$, and $\odot$ denotes entrywise multiplication. Dividing $K_{xz}$ by $\sqrt{(\rho_F)_{xx}(\rho_F)_{zz}}$ yields a positive correlation matrix with unit diagonal. The corresponding Schur-product map is a unital quantum channel taking $\rho_{\mathrm{PF}}$ to $\rho_S$. Consequently, the paper concludes that $\rho_{\mathrm{PF}}$ majorizes every assignment in this class: it maximizes purity and other Schur-convex spectral functions, while minimizing von Neumann and Rényi entropies. The result is restricted to assignments depending only on $\rho_F$ and $E_R$, with classical consistency interpreted through their simultaneous diagonalizability. It does not encompass formulations requiring additional information, such as Guevara–Wiseman smoothing. Optimality concerns spectral mixedness rather than a separate estimation-error objective. The paper also notes that smoothing need not increase purity on each individual trajectory, although an average improvement over filtering holds.

No sign of AI-generated textPossible errorOverclaims

Central claim may not hold: The claimed complete characterization is false: transposing the effect in a selected eigenbasis of the filtered state gives an assignment satisfying all four stated criteria but not generally admitting the required positive-semidefinite Hadamard kernel. The proof of universal Petz–Fuchs majorization relies on that false characterization and therefore establishes the result only for the asserted Hadamard-product subclass.

Written by gpt-6.1-sol from the paper's full text. Automated: it can be wrong.

Comments
6 Pages, Comments Welcome!

Related papers

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

Kiarn T. Laverick, Prahlad Warszawski, Areeya Chantasri +1 more

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.

arXiv:2305.12970•PRX Quantum•Dec 11, 2023•3 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

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

Quantum retrodiction in Gaussian systems and applications in optomechanics

Jonas Lammers, Klemens Hammerer

What knowledge can be obtained from the record of a continuous measurement about the quantum state of the measured system at the beginning of the measurement? The task of quantum state retrodiction, the inverse of the more common state prediction, is rigorously addressed in quantum measurement theory through retrodictive positive operator-valued measures (POVMs). This introduction to this general framework presents its practical formulation for retrodicting Gaussian quantum states using continuous-time homodyne measurements and applies it to optomechanical systems. We identify and characterize achievable retrodictive POVMs in common optomechanical operating modes with resonant or off-resonant driving fields and specific choices of local oscillator frequencies in homodyne detection. In particular, we demonstrate the possibility of a near-ideal measurement of the quadrature of the mechanical oscillator, giving direct access to the position or momentum distribution of the oscillator at a given time. This forms the basis for complete quantum state tomography, albeit in a destructive manner.

arXiv:2309.03507•Frontiers in Quantum Science and Technology•Jan 25, 2024•6 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

Connecting Quantum Tomography and Quantum Retrodiction

Sebastian Murk, Ian Tan, Fabian Müller +1 more

Quantum tomography and quantum retrodiction are traditionally viewed as separate inference tasks. We show that the two are manifestations of the same underlying principle. We prove that the Petz recovery map of a measurement channel is a gradient of the log-likelihood used in maximum-likelihood tomography, and we derive its extension to arbitrary quantum channels. Consequently, for measurement channels, repeated applications of the Petz map monotonically increase the likelihood, naturally yielding a method for quantum tomography.

quant-pharXiv:2606.23777•Jun 24, 2026
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.
Quantum state smoothing estimates an open system’s state using measurement records both before and after the estimation time. This paper asks whether the Petz–Fuchs assignment, ρPF=ρFERρF/Tr⁡(ρFER)\rho_{\mathrm{PF}}=\sqrt{\rho_F}E_R\sqrt{\rho_F}/\operatorname{Tr}(\rho_FE_R)ρPF​=ρF​​ER​ρF​​/Tr(ρF​ER​), is optimal among smoothed states constructed solely from the filtered state ρF\rho_FρF​ and retrofiltered effect ERE_RER​.
The analysis imposes four requirements: a single density-operator assignment, recovery of the filtered state upon averaging over future records, agreement with classical smoothing when the input operators commute, and positivity with unit trace. It characterizes the resulting assignments, in an eigenbasis of ρF\rho_FρF​, as ρS=(K⊙ER)/Tr⁡(ρFER)\rho_S=(K\odot E_R)/\operatorname{Tr}(\rho_FE_R)ρS​=(K⊙ER​)/Tr(ρF​ER​), where K≥0K\geq0K≥0, Kxx=(ρF)xxK_{xx}=(\rho_F)_{xx}Kxx​=(ρF​)xx​, and ⊙\odot⊙ denotes entrywise multiplication. Dividing KxzK_{xz}Kxz​ by (ρF)xx(ρF)zz\sqrt{(\rho_F)_{xx}(\rho_F)_{zz}}(ρF​)xx​(ρF​)zz​​ yields a positive correlation matrix with unit diagonal. The corresponding Schur-product map is a unital quantum channel taking ρPF\rho_{\mathrm{PF}}ρPF​ to ρS\rho_SρS​. Consequently, the paper concludes that ρPF\rho_{\mathrm{PF}}ρPF​ majorizes every assignment in this class: it maximizes purity and other Schur-convex spectral functions, while minimizing von Neumann and Rényi entropies.
The result is restricted to assignments depending only on ρF\rho_FρF​ and ERE_RER​, with classical consistency interpreted through their simultaneous diagonalizability. It does not encompass formulations requiring additional information, such as Guevara–Wiseman smoothing. Optimality concerns spectral mixedness rather than a separate estimation-error objective. The paper also notes that smoothing need not increase purity on each individual trajectory, although an average improvement over filtering holds.
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.
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.
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.
What knowledge can be obtained from the record of a continuous measurement about the quantum state of the measured system at the beginning of the measurement? The task of quantum state retrodiction, the inverse of the more common state prediction, is rigorously addressed in quantum measurement theory through retrodictive positive operator-valued measures (POVMs). This introduction to this general framework presents its practical formulation for retrodicting Gaussian quantum states using continuous-time homodyne measurements and applies it to optomechanical systems. We identify and characterize achievable retrodictive POVMs in common optomechanical operating modes with resonant or off-resonant driving fields and specific choices of local oscillator frequencies in homodyne detection. In particular, we demonstrate the possibility of a near-ideal measurement of the quadrature of the mechanical oscillator, giving direct access to the position or momentum distribution of the oscillator at a given time. This forms the basis for complete quantum state tomography, albeit in a destructive manner.
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 KOK_OKO​, which maps changes in the past measurement record to changes in a future conditional observable. Any finite-dimensional smooth filter forces KOK_OKO​ 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 KOK_OKO​ 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.
Quantum tomography and quantum retrodiction are traditionally viewed as separate inference tasks. We show that the two are manifestations of the same underlying principle. We prove that the Petz recovery map of a measurement channel is a gradient of the log-likelihood used in maximum-likelihood tomography, and we derive its extension to arbitrary quantum channels. Consequently, for measurement channels, repeated applications of the Petz map monotonically increase the likelihood, naturally yielding a method for quantum tomography.