⚛️ quantum physics

Optimality of the Petz-Fuchs Smoothed State

This paper proves that the Petz-Fuchs smoothed state, derived from quantum retrodiction, is optimal in the sense that it majorizes all other smoothed states constructed solely from the filtered state and the retrofiltered effect.

Original authors: Kiarn T. Laverick

Published 2026-11-02

📖 5 min read🧠 Deep dive

CC BY 4.0

Original authors: Kiarn T. Laverick

Original paper licensed under CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ This is an AI-generated explanation of the paper below. It is not written or endorsed by the authors. For technical accuracy, refer to the original paper. Read full disclaimer

In the quantum world, where particles exist in states of probability rather than fixed positions, scientists face a constant challenge: how to know what a system is doing right now. Imagine trying to track a ghost that moves only when you look at it. To understand such a system, researchers use a method called filtering, which builds a picture of the system's state based only on measurements taken up to the present moment. This is like trying to guess the path of a car by looking only at the road behind it. However, a more powerful technique exists called smoothing. Smoothing uses information from both the past and the future to reconstruct the state of the system at a specific moment in time. While this cannot be done in real time—since we cannot see the future—it allows scientists to look back at data they have already collected and create a much clearer, more accurate picture of what actually happened. This is particularly useful for understanding open quantum systems, which are constantly interacting with their environment and losing information, making them difficult to track.

For some time, a specific method known as the Petz-Fuchs smoothed state has been used to perform this reconstruction. This approach treats the problem like a game of reverse engineering, working backward from the final measurement to the moment of interest. However, a lingering question remained: is this specific method the best possible way to do it? Could there be other mathematical ways to combine the past and future data that would yield an even clearer picture? In a recent study, Kiarn T. Laverick set out to answer this by mapping the entire landscape of possible solutions. The researcher did not just test a few ideas; they mathematically defined every single valid way to construct a smoothed state using only the available past and future data. By doing so, they proved that the Petz-Fuchs method is not just one option among many, but the optimal one.

The study began by establishing the rules that any valid smoothed state must follow. A good reconstruction must be a single, definite state, not a confusing pair of possibilities. It must also be consistent with the past; if you were to average out all possible future outcomes, the result should match the best guess you had based only on the past. Furthermore, the state must behave like a classical object when the quantum effects are turned off, and it must remain physically possible, meaning it cannot have negative probabilities. With these boundaries set, Laverick explored the vast space of mathematical functions that could combine the past data (the filtered state) and the future data (the retrofiltered effect) to create a smoothed state.

The investigation revealed that while there are indeed many ways to combine these pieces of information, they all share a common structure. The researcher showed that every valid smoothed state can be viewed as a slightly "fuzzier" or less precise version of the Petz-Fuchs state. In the language of quantum physics, this means the Petz-Fuchs state contains the maximum amount of order and clarity possible given the data. Any other valid method of smoothing is essentially a degraded version of this optimal state. This finding is significant because it proves that the Petz-Fuchs approach is the purest possible description one can assign to the system. It extracts the maximum amount of information from the measurement record, leaving no room for a more accurate reconstruction based on the same inputs.

The implications of this result are subtle but profound. Because the Petz-Fuchs state is the most ordered of all possibilities, it has the lowest possible uncertainty, or entropy, compared to any other valid smoothed state. This means that if a scientist wants to know the state of a quantum system with the highest degree of confidence, using the Petz-Fuchs method is the only way to achieve the best possible result. It does not mean the state is perfect or that it is always more certain than the real-time filtered state, but rather that among all the ways to look back at the data, this specific method provides the clearest window into the past. The work confirms that this approach is not just a convenient choice, but the mathematically superior one for reconstructing the history of open quantum systems.

This clarity could help researchers better understand complex physical phenomena where quantum systems interact with their surroundings, such as light fields scattering off atoms. By knowing that the Petz-Fuchs state offers the purest possible reconstruction, scientists can trust that their models of these interactions are as accurate as the data allows. The study closes the door on the search for a "better" smoothing method within this specific framework, establishing a definitive standard for how quantum histories should be reconstructed. It turns a question of preference into a matter of mathematical fact, showing that in the quest to understand the quantum past, one path leads to the clearest view.

Technical Summary: Optimality of the Petz-Fuchs Smoothed State

Problem Statement
Quantum state smoothing is an estimation technique that reconstructs the state of an open quantum system at time $t$ using a continuous measurement record gathered both prior to (past) and posterior to (future) that time. While classical smoothing is well-established, adapting this to quantum systems presents unique challenges due to the non-commutative nature of quantum operators. Specifically, the filtered state $\rho_F(t)$ (conditioned on the past) and the retrofiltered effect $\hat{E}_R(t)$ (describing the future) do not generally commute.

Recently, a new approach based on quantum retrodiction, utilizing the Petz recovery map, was proposed to define the "Petz-Fuchs smoothed state" ( $\rho_{PF}^S$ ). While this state is a valid quantum state, its optimality relative to other potential smoothing strategies remained unclear. Given that quantum retrodiction is an active field with multiple valid approaches, it was necessary to determine if the Petz-Fuchs state possesses a specific optimality property, such as maximizing purity or minimizing entropy, compared to other valid smoothed states that rely solely on the filtered state and retrofiltered effect.

Methodology
The paper proceeds in three main stages to address the problem:

Review and Criteria Definition: The author reviews classical and quantum filtering and smoothing, specifically focusing on the Petz-Fuchs formulation. Four criteria for a "valid" smoothed quantum state are established (based on Wiseman's work):
- The theory must yield a single smoothed state.
- The smoothed state must average to the filtered state over all possible future records.
- The state must reduce to the classical smoothed state when the system is co-diagonal in a fixed basis.
- The state must be Hermitian, positive semidefinite, and have unit trace (an S-class state).
Characterization of the Valid Set: The author mathematically characterizes the entire set of possible smoothed states ( $\check{\rho}_S$ ) that depend exclusively on $\rho_F(t)$ and $\hat{E}_R(t)$ and satisfy the four criteria above. By analyzing the constraints imposed by the averaging condition (Criterion 2) and the classical limit (Criterion 3), the author derives that any such valid state can be expressed in the diagonal basis of the filtered state as a Hadamard (entry-wise) product:
$\check{\rho}_S^{(\psi)}(t) = \frac{\hat{K} \odot \hat{E}_R^{(\psi)}(t)}{\text{Tr}[\rho_F(t)\hat{E}_R(t)]}$
where $\hat{K}$ is a positive semidefinite operator with diagonal elements matching the probabilities of the filtered state ( $K_{x,x} = \wp_F(x; t)$ ).
Proof of Majorization: The author compares the Petz-Fuchs state to this general set. The Petz-Fuchs state corresponds to the specific case where the operator $\hat{K}$ is constructed such that $K_{x,z} = \sqrt{\wp_F(x; t)\wp_F(z; t)}$ . The author demonstrates that for any other valid smoothed state in the characterized set, the correlation matrix relating it to the Petz-Fuchs state is positive semidefinite with unit diagonal elements. This structure implies that any valid smoothed state $\check{\rho}_S$ can be obtained from the Petz-Fuchs state $\rho_{PF}^S$ via a unital quantum channel $\Phi$ :
$\check{\rho}_S(t) = \Phi[\rho_{PF}^S(t)]$
In quantum information theory, the existence of such a channel is equivalent to the statement that $\rho_{PF}^S$ majorizes $\check{\rho}_S$ (denoted $\rho_{PF}^S \succ \check{\rho}_S$ ).

Key Contributions and Results

Complete Characterization: The paper provides a rigorous characterization of the complete set of valid smoothed quantum states that are functions only of the filtered state and the retrofiltered effect.
Proof of Optimality: It is proven that the Petz-Fuchs smoothed state majorizes all other states within this set.
Implications for Purity and Entropy: As a direct consequence of majorization, the Petz-Fuchs state minimizes all Schur-concave functions (such as von Neumann entropy and Rényi entropy) and maximizes all Schur-convex functions (such as purity) among all valid smoothed states.
Physical Interpretation: The result establishes that the Petz-Fuchs state represents the "purest" possible smoothed reconstruction of the system state given the available past and future measurement information.

Significance
The paper claims that the Petz-Fuchs smoothed state is not merely one of many valid retrodictive approaches but is uniquely optimal in terms of state purity. By utilizing the information in the past-future measurement record to the maximum extent possible, it yields the most deterministic (purest) description of the system consistent with the measurement data. The author notes that while this does not guarantee the state is purer than the filtered state on every individual trajectory, it is the purest assignment possible on average. The paper concludes by suggesting that this optimality could be useful for better understanding physical phenomena involving open quantum systems, such as light fields scattered by atoms coupled to bosonic baths, though it does not propose specific new experiments or applications beyond this general potential.

More like this