Logo
ScienceStack
Table of Contents
Fetching ...
Sign In

Unifying Quantum Smoothing Theories with Extended Retrodiction

Mingxuan Liu, Ge Bai, Valerio Scarani

TL;DR

This work resolves a long-standing division in quantum state smoothing by introducing a unified retrodictive framework based on extended priors encoded in an auxiliary system and a filtered global state $\varrho_{\text{F}}(t)$. The generalized smoothed state $\rho_{\text{S}}(t)=\mathcal{R}_{\rm ext}^{\mathcal{E}_{t\to T},\varrho_{\text{F}}(t)}(\ket{\overrightarrow{\mathbf{O}}_t}\bra{\overrightarrow{\mathbf{O}}_t})$ encompasses both Petz–Fuchs smoothing and Guevara–Wiseman smoothing as special cases, and it can be extended to broader priors such as the CLHS scenario. The authors establish tight entropy bounds, proving that PF smoothing minimizes average von Neumann entropy while CLHS maximizes it, and they demonstrate that no universal prior quantifier orders average entropy across all future measurements. By connecting smoothing to classical retrodiction and counterfactual reasoning, the paper places quantum smoothing on a principled Bayesian footing with implications for quantum control, error correction, and learning under uncertainty.

Abstract

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 Bayesian framework, its quantum generalization has been challenging, leading to distinct and seemingly incompatible approaches. In this work, we resolve this conceptual divide by developing a comprehensive retrodictive framework for quantum state smoothing. We demonstrate that existing theories are special cases within our formalism, corresponding to different extended prior beliefs. Our theory unifies the field and naturally extends it to a broader class of scenarios. We also explore the behavior of updates when using different priors with the same marginal and prove that the upper and lower bounds on average entropy of smoothed states are achieved by the Petz-Fuchs smoothed state and the CLHS smoothed state, respectively. Our results establish that quantum state smoothing is fundamentally a retrodictive process, finally bringing it into a closer analogy with classical smoothing.

Unifying Quantum Smoothing Theories with Extended Retrodiction

TL;DR

This work resolves a long-standing division in quantum state smoothing by introducing a unified retrodictive framework based on extended priors encoded in an auxiliary system and a filtered global state . The generalized smoothed state encompasses both Petz–Fuchs smoothing and Guevara–Wiseman smoothing as special cases, and it can be extended to broader priors such as the CLHS scenario. The authors establish tight entropy bounds, proving that PF smoothing minimizes average von Neumann entropy while CLHS maximizes it, and they demonstrate that no universal prior quantifier orders average entropy across all future measurements. By connecting smoothing to classical retrodiction and counterfactual reasoning, the paper places quantum smoothing on a principled Bayesian footing with implications for quantum control, error correction, and learning under uncertainty.

Abstract

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 Bayesian framework, its quantum generalization has been challenging, leading to distinct and seemingly incompatible approaches. In this work, we resolve this conceptual divide by developing a comprehensive retrodictive framework for quantum state smoothing. We demonstrate that existing theories are special cases within our formalism, corresponding to different extended prior beliefs. Our theory unifies the field and naturally extends it to a broader class of scenarios. We also explore the behavior of updates when using different priors with the same marginal and prove that the upper and lower bounds on average entropy of smoothed states are achieved by the Petz-Fuchs smoothed state and the CLHS smoothed state, respectively. Our results establish that quantum state smoothing is fundamentally a retrodictive process, finally bringing it into a closer analogy with classical smoothing.

Paper Structure

This paper contains 29 sections, 1 theorem, 57 equations, 1 figure, 1 table.

Table of Contents

  1. Introduction
  2. Review: Classical state inference
  3. Set-up
  4. Filtering and Retrofiltering
  5. Smoothing
  6. Review: Quantum state inference
  7. Review: Quantum state inference
  8. Set-up
  9. Filtering and Retrofiltering
  10. Smoothing
  11. Guevara--Wiseman Smoothing
  12. Petz--Fuchs Smoothing
  13. Retrodictive Framework for Quantum Smoothing
  14. General Formalism
  15. Recovering Petz-Fuchs Smoothing
  16. ...and 14 more sections

Key Result

Theorem 1

Let $\mathcal{H}_Q$ be a finite-dimensional system Hilbert space, $\gamma\in\mathcal{S}(\mathcal{H}_Q)$ a density operator. Consider a POVM $\{E_i\}_i$ on $\mathcal{H}_Q$. For any extension $\Gamma\in\mathcal{S}(\mathcal{H}_Q\otimes \mathcal{H}_A)$ satisfying $\Tr_A\Gamma=\gamma$, for each outcome $ The smoothed state corresponding to this outcome, by eq:smoothig, is Consider the following extens

Figures (1)

  • Figure 1: Schematic illustration of the information structure underlying the generalized quantum smoothing formalism. (a) The initial condition may include correlations between the system $Q$ and an auxiliary subsystem $A_1$, representing knowledge about the system’s preparation. (b) The past process involves the interaction of $Q$ with several baths, part of which may be monitored by Alice, producing the observed record $\overleftarrow{\bf O}_t$. The auxiliary subsystem $A_2$ captures possible correlations with unmonitored baths. Together, $A_1$ and $A_2$ constitute the total auxiliary system $A$, forming the extended prior described by the filtered global state $\varrho_{\text{F}}(t)$. (c) The future measurement on the monitored bath yields the record $\overrightarrow{\bf O}_t$, which provides the evidence that Alice retrodicts on to construct the smoothed state $\rho_{\text{S}}(t)$.

Theorems & Definitions (1)

  • Theorem 1: Lower and upper bounds on average entropy