Limits to Perception by Quantum Monitoring with Finite Efficiency

Abstract

We formulate limits to perception under continuous quantum measurements by comparing the quantum states assigned by agents that have partial access to measurement outcomes. To this end, we provide bounds on the trace distance and the relative entropy between the assigned state and the actual state of the system. These bounds are expressed solely in terms of the purity and von Neumann entropy of the state assigned by the agent, and are shown to characterize how an agent’s perception of the system is altered by access to additional information. We apply our results to Gaussian states and to the dynamics of a system embedded in an environment illustrated on a quantum Ising chain.

Quantum theory rests on the fact that the quantum state of a system encodes all predictions of possible measurements as well as the system’s posterior evolution. However, in general, different agents may assign different states to the same system, depending on their knowledge of it. Complete information of the physical state of a system is equated to pure states, mathematically modeled by unit vectors in Hilbert space. By contrast, mixed states correspond to a lack of complete descriptions of the system, either due to uncertainties in the preparation, or due to the system being correlated with secondary systems. In this paper, we address how the perception of a system differs among observers with different levels of knowledge. Specifically, we quantify how different the effective descriptions that two agents provide of the same system can be, when acquiring information through continuous measurements.

Consider a monitored quantum system, that is, a system being continuously measured in time. An omniscient agent $\mathcal{O}$ is assumed to know all interactions and measurements that occur to the system. In particular, she has access to all outcomes of measurements that are performed. As such, $\mathcal{O}$ has a complete description of the pure state ${\rho }_t^{\mathcal{O}}={\left({\rho }_t^{\mathcal{O}}\right)}^2$ of the system.

While not necessary for subsequent results, we model such a monitoring process by continuous quantum measurements [1,2,3] as a natural test-bed with experimental relevance [4,5,6]. For ideal continuous quantum measurements, the state ${\rho }_t^{\mathcal{O}}$ satisfies a stochastic equation dictating its change,

$$\begin{array}{c}\hfill d{\rho }_t^{\mathcal{O}}=-i\left[H,{\rho }_t^{\mathcal{O}}\right]dt+\Lambda \left[{\rho }_t^{\mathcal{O}}\right]dt+\sum _{\alpha }{I}_{A_{\alpha }}\left[{\rho }_t^{\mathcal{O}}\right]d{W}_t^{\alpha }.\end{array}$$

(1)

The dephasing superoperator $\mathsf{\Lambda }\left[{\rho }_t^{\mathcal{O}}\right]$ is of Lindblad form,

$$\begin{array}{c}\hfill \mathsf{\Lambda }\left[{\rho }_t^{\mathcal{O}}\right]=-\sum _{\alpha }\frac{1}{8{\tau }_m^{\alpha }}\left[A_{\alpha },\left[A_{\alpha },{\rho }_t^{\mathcal{O}}\right]\right]\end{array}$$

(2)

for the set of measured physical observables $\left\{A_{\alpha }\right\}$, and the “innovation terms” are given by

$$\begin{array}{c}\hfill I_{A_{\alpha }}\left[{\rho }_t^{\mathcal{O}}\right]=\frac{1}{\sqrt{4{\tau }_m^{\alpha }}}\left(\{A_{\alpha },{\rho }_t^{\mathcal{O}}\}-2Tr\left(A_{\alpha }{\rho }_t^{\mathcal{O}}\right){\rho }_t^{\mathcal{O}}\right).\end{array}$$

(3)

The latter account for the information about the system acquired during the monitoring process, and model the quantum back-action on the state during a measurement. The characteristic measurement times ${\tau }_m^{\alpha }$ depend on the strength of the measurement, and characterize the time over which information of the observable $A_{\alpha }$ is acquired. The terms $d{W}_t^{\alpha }$ are independent random Gaussian variables of zero mean and variance $dt$.

An agent $\mathcal{A}$ without access to the measurement outcomes possesses a different–incomplete description of the state of the system. The need to average over the unknown results implies that the state ${\rho }_t^{\mathcal{A}}$ assigned by $\mathcal{A}$ satisfies the master equation

$$\begin{array}{c}\hfill d{\rho }_t^{\mathcal{A}}=-i\left[H,{\rho }_t^{\mathcal{A}}\right]dt+\mathsf{\Lambda }\left[{\rho }_t^{\mathcal{A}}\right]dt,\end{array}$$

(4)

obtained from (1) by using that $\langle d{W}_t^{\alpha }\rangle =0$, where $\langle ·\rangle$ denote averages over realizations of the measurement process [1]. Assuming that agent $\mathcal{A}$ knows the initial state of the system before the measurement process, ${\rho }_0^{\mathcal{O}}={\rho }_0^{\mathcal{A}}$, the state that she assigns at later times is ${\rho }_t^{\mathcal{A}}\equiv \langle {\rho }_t^{\mathcal{O}}\rangle$.

As a result of the incomplete description of the state of the system, agent $\mathcal{A}$ suffers from a growing uncertainty in the predictions of measurement outcomes. We quantify this by means of two figures of merit: the trace distance and the relative entropy.

The trace distance between states ${\sigma }_1$ and ${\sigma }_2$ is defined as

$$\begin{array}{c}\hfill \mathcal{D}({\sigma }_1,{\sigma }_2)=\frac{\parallel {\sigma }_1-{\sigma }_2{\parallel }_1}{2},\end{array}$$

(5)

where the trace norm for an operator with a spectral decomposition $A={\sum }_j{\lambda }_j|j\rangle \langle j|$ is ${\parallel A\parallel }_1={\sum }_j\left|{\lambda }_j\right|$. Its operational meaning derives from the fact that the trace distance characterizes the maximum difference in probability of outcomes for any measurement on the states ${\sigma }_1$ and ${\sigma }_2$:

$$\begin{array}{c}\hfill \mathcal{D}({\sigma }_1,{\sigma }_2)=\underset{0\le P\le \mathrm{𝟙}}{max}|Tr\left(P{\sigma }_1\right)-Tr\left(P{\sigma }_2\right)|,\end{array}$$

(6)

where P is a positive-operator valued measure. It also quantifies the probability p of successfully guessing, with a single measurement instance, the correct state in a scenario where one assumes equal prior probabilities for having state ${\sigma }_1$ or ${\sigma }_2$. Then, the best conceivable protocol gives $p=\frac{1}{2}\left(1+\mathcal{D}({\sigma }_1,{\sigma }_2)\right)$. Thus, if two states are close in trace distance they are hard to distinguish under any conceivable measurement [7,8,9].

The relative entropy also serves as a figure of merit to quantify the distance between probability distributions, in particular characterizing the extent to which one distribution can encode information contained in the other one [10]. In the quantum case, the relative entropy is defined as:

$$\begin{array}{c}\hfill S\left({\sigma }_1\left|\right|{\sigma }_2\right)\equiv Tr\left({\sigma }_{1}log{\sigma }_1\right)-Tr\left({\sigma }_{1}log{\sigma }_2\right).\end{array}$$

(7)

In a hypothesis testing scenario between states ${\sigma }_1$ and ${\sigma }_2$, the probability $p_N$ of wrongly believing that ${\sigma }_2$ is the correct state scales as $p_N\sim e^{-NS\left({\sigma }_1\left|\right|{\sigma }_2\right)}$ in the limit of large N, where N is the number of copies of the state that are available to measure on [11,12]. That is, ${\sigma }_2$ is easily confused with ${\sigma }_1$ if $S\left({\sigma }_1\left|\right|{\sigma }_2\right)$ is small [13,14].

1. Quantum Limits to Perception

Lack of knowledge of the outcomes from measurements performed on the system induces $\mathcal{A}$ to assign an incomplete, mixed, state to the system. This hinders the agent’s perception of the system (see illustration in Figure 1). We quantify this by the trace distance and the relative entropy.

We are interested in comparing $\mathcal{A}$’s incomplete description to the pure state ${\rho }_T^{\mathcal{O}}$ assigned by $\mathcal{O}$, i.e., to the complete description. Under ideal monitoring of a quantum system, the pure state ${\rho }_T^{\mathcal{O}}$ remains pure. Therefore, the following holds [7]:

$$\begin{array}{c}\hfill 1-Tr\left({\rho }_T^{\mathcal{O}}{\rho }_T^{\mathcal{A}}\right)\le \mathcal{D}\left({\rho }_T^{\mathcal{O}},{\rho }_T^{\mathcal{A}}\right)\le \sqrt{1-Tr\left({\rho }_T^{\mathcal{O}}{\rho }_T^{\mathcal{A}}\right)}.\end{array}$$

(8)

One can then directly relate the average trace distance to the purity $\mathcal{P}\left({\rho }_T^{\mathcal{A}}\right)\equiv Tr\left({{\rho }_T^{\mathcal{A}}}^2\right)$ of state ${\rho }_T^{\mathcal{A}}$ as

$$\begin{array}{c}\hfill 1-\mathcal{P}\left({\rho }_T^{\mathcal{A}}\right)\le 〈\mathcal{D}\left({\rho }_T^{\mathcal{O}},{\rho }_T^{\mathcal{A}}\right)〉\le \sqrt{1-\mathcal{P}\left({\rho }_T^{\mathcal{A}}\right)},\end{array}$$

(9)

by using Jensen’s inequality and the fact that the square root is concave. The level of mixedness of the state ${\rho }_T^{\mathcal{A}}$ that $\mathcal{A}$ assigns to the system provides lower and upper bounds to the average probability of error that she has in guessing the actual state of the system ${\rho }_T^{\mathcal{O}}$. This provides an operational meaning to the purity of a quantum state, as a quantifier of the average trace distance between a state ${\rho }_t^{\mathcal{O}}$ and post-measurement (average) state ${\rho }_t^{\mathcal{A}}$.

To appreciate the dynamics in which the average trace distance evolves, we note that at short times

$$\begin{array}{c}\hfill \frac{T}{{\tau }_D}\le 〈\mathcal{D}\left({\rho }_T^{\mathcal{O}},{\rho }_T^{\mathcal{A}}\right)〉\le \sqrt{\frac{T}{{\tau }_D}},\end{array}$$

(10)

where the decoherence rate is given by [15,16]

$$\begin{array}{c}\hfill \frac{1}{{\tau }_D}=\sum _{\alpha }\frac{1}{4{\tau }_m^{\alpha }}{\mathrm{Var}}_{{\rho }_0^{\mathcal{A}}}\left(A_{\alpha }\right),\end{array}$$

(11)

in terms of the variance ${\mathrm{Var}}_{{\rho }_0^{\mathcal{A}}}\left(A_{\alpha }\right)$ of the measured observables over the initial pure state ${\rho }_0^{\mathcal{A}}$. Analogous bounds can be derived at arbitrary times of evolution for the difference of perceptions among various agents (see Appendix A).

For the case of the quantum relative entropy between states of complete and incomplete knowledge, the following identity holds:

$$\begin{array}{cc}\hfill 〈S\left({\rho }_t^{\mathcal{O}}\left|\right|{\rho }_t^{\mathcal{A}}\right)〉& =S\left({\rho }_t^{\mathcal{A}}\right),\hfill \end{array}$$

(12)

proven by using that ${\rho }_t^{\mathcal{O}}$ is pure and that the von Neumann entropy of a state $\sigma$ is $S\left(\sigma \right):=-Tr\left(\sigma log\sigma \right)$. Thus, the entropy of the state assigned by the agent $\mathcal{A}$ fully determines the average relative entropy with respect to the complete description ${\rho }_t^{\mathcal{O}}$ (alternative interpretations to this quantity have been given in [17,18]).

Similar calculations allow to bound the variances of $\mathcal{D}\left({\rho }_T^{\mathcal{O}},{\rho }_T^{\mathcal{A}}\right)$ and of $S\left({\rho }_t^{\mathcal{O}}\left|\right|{\rho }_t^{\mathcal{A}}\right)$ as well. The variance of the trace distance, $\mathsf{\Delta }{\mathcal{D}}_T^2\equiv 〈{\mathcal{D}}^2\left({\rho }_T^{\mathcal{O}},{\rho }_T^{\mathcal{A}}\right)〉-{〈\mathcal{D}\left({\rho }_T^{\mathcal{O}},{\rho }_T^{\mathcal{A}}\right)〉}^2$, satisfies

$$\begin{array}{c}\hfill \mathsf{\Delta }{\mathcal{D}}_T^2\le \mathcal{P}\left({\rho }_T^{\mathcal{A}}\right)-\mathcal{P}{\left({\rho }_T^{\mathcal{A}}\right)}^2,\end{array}$$

(13)

while for the variance of the relative entropy it holds that

$$\begin{array}{cc}\hfill \mathsf{\Delta }{S}^2\left({\rho }_t^{\mathcal{O}}\left|\right|{\rho }_t^{\mathcal{A}}\right)& \le Tr\left({\rho }_t^{\mathcal{A}}{log}^2{\rho }_t^{\mathcal{A}}\right)-S^2\left({\rho }_t^{\mathcal{A}}\right).\hfill \end{array}$$

(14)

The right-hand side of this inequality admits a classical interpretation in terms of the variance of the surprisal $(-log{p}_j)$ over the eigenvalues $p_j$ of ${\rho }_t^{\mathcal{A}}$ [14]. We thus find that, at the level of a single realization, the dispersion of the relative entropy between the states assigned by the agents $\mathcal{O}$ and $\mathcal{A}$ is upper bounded by the variance of the surprise in the description of $\mathcal{A}$. The later naturally vanishes when ${\rho }_t^{\mathcal{A}}$ is pure, and increases as the state becomes more mixed.

2. Transition to Complete Descriptions

So far we considered the extreme case of comparing the states assigned by $\mathcal{A}$, who is in complete ignorance of the measurement outcomes, and by an omniscient agent $\mathcal{O}$. One can in fact consider a continuous transition between these limiting cases, i.e., as the accuracy in the perception of the monitored system by an agent is enhanced, as illustrated in Figure 1. Consider a third agent $\mathcal{B}$, with access to a fraction of the measurement output. This can be modeled by introducing a filter function $\eta \left(\alpha \right)\in [0,1]$ characterizing the efficiency of the measurement channels in Equation (1) [1]. Then, the dynamics of state ${\rho }_t^{\mathcal{B}}$ is dictated by

$$\begin{array}{c}\hfill d{\rho }_t^{\mathcal{B}}=-i\left[H,{\rho }_t^{\mathcal{B}}\right]dt+\mathsf{\Lambda }\left[{\rho }_t^{\mathcal{B}}\right]dt+\sum _{\alpha }\sqrt{\eta \left(\alpha \right)}{I}_{A_{\alpha }}\left[{\rho }_t^{\mathcal{B}}\right]d{V}_t^{\alpha },\end{array}$$

(15)

with $d{V}_t^{\alpha }$ Wiener noises for observer $\mathcal{B}.$ It holds that ${\rho }_t^{\mathcal{B}}\equiv {\langle {\rho }_t^{\mathcal{O}}\rangle }_{\mathcal{B}}$, where the average is now over the outcomes obtained by $\mathcal{O}$ that are unknown to $\mathcal{B}$ [1].

Note that the case with null measurement efficiencies $\eta \left(j\right)=0$ gives the exact same dynamics as that of a system in which the monitored observables $\left\{A_{\alpha }\right\}$ are coupled to environmental degrees of freedom, producing dephasing [19,20]. Equations (15) and (1) then correspond to unravellings in which partial or full access to environmental degrees of freedom allow learning the state of the system by conditioning on the state observed in the environment. Therefore, knowing how $\mathcal{D}\left({\rho }_t^{\mathcal{B}},{\rho }_t^{\mathcal{O}}\right)$ and $S\left({\rho }_t^{\mathcal{O}}\left|\right|{\rho }_t^{\mathcal{B}}\right)$ decrease as $\eta$ increases directly informs of how much the description of an open system can be improved by observing a fraction of the environment. This is reminiscent of the Quantum Darwinism approach, whereby fractions of the environment encode objective approximate descriptions of the system. While in the Darwinistic framework the focus is on environmental correlations, we focus on the state of the system itself.

The results of the previous section hold for partial-ignorance state ${\rho }_t^{\mathcal{B}}$ as well:

$$\begin{array}{cc}\hfill 1-\mathcal{P}\left({\rho }_T^{\mathcal{B}}\right)\le & {〈\mathcal{D}\left({\rho }_T^{\mathcal{O}},{\rho }_T^{\mathcal{B}}\right)〉}_{\mathcal{B}}\le \sqrt{1-\mathcal{P}\left({\rho }_T^{\mathcal{B}}\right)}\hfill \end{array}$$

(16a)

$$\begin{array}{cc}\hfill & {〈S\left({\rho }_t^{\mathcal{O}}\left|\right|{\rho }_t^{\mathcal{B}}\right)〉}_{\mathcal{B}}=S\left({\rho }_t^{\mathcal{B}}\right).\hfill \end{array}$$

(16b)

Similar extensions are obtained for the variances. This allows exploring the transition from the incomplete description of $\mathcal{A}$, to a complete description of the state of the system as $\eta \to 1$. Note that these results hold for each realization of a trajectory of $\mathcal{B}$’s state ${\rho }_t^{\mathcal{B}}$, and that if one averages over the measurement outcomes unknown to both agents $\mathcal{A}$ and $\mathcal{B}$, Equation (16b) gives $\langle S\left({\rho }_t^{\mathcal{O}}\left|\right|{\rho }_t^{\mathcal{B}}\right)\rangle =\langle S\left({\rho }_t^{\mathcal{B}}\right)\rangle$.

These results allow to compare the descriptions of different agents that jointly monitor a system [1,20,21,22,23]. We show in Appendix A that

$$\begin{array}{c}\hfill \left|Tr\left({{\rho }_T^{\mathcal{A}}}^2\right)-Tr\left({{\rho }_T^{\mathcal{B}}}^2\right)\right|\le {〈\mathcal{D}\left({\rho }_T^{\mathcal{A}},{\rho }_T^{\mathcal{B}}\right)〉}_{\mathcal{A}\mathcal{B}}\le \sqrt{1-Tr\left({{\rho }_T^{\mathcal{A}}}^2\right)}+\sqrt{1-Tr\left({{\rho }_T^{\mathcal{B}}}^2\right)}.\end{array}$$

(17)

The joint monitoring of a system by independent observers has been realized experimentally in [24,25].

3. Illustrations

3.1. Evolution of the Limits to Perception

Consider a 1D transverse field Ising model, with the Hamiltonian

$$\begin{array}{c}\hfill H=-h\sum _j^N{\sigma }_j^x-J\sum _j^{N-1}{\sigma }_j^z{\sigma }_{j+1}^z,\end{array}$$

(18)

where ${\sigma }_j^x$ and ${\sigma }_j^z$ denote Pauli matrices on the x and z directions, and $\{h,J\}$ denote coupling strengths.

We study the case of observer $\mathcal{O}$ monitoring the individual spin z components. Equation (1) thus governs the evolution of the state ${\rho }_t^{\mathcal{O}}$, with $\left\{A_{\alpha }\right\}=\left\{{\sigma }_j^z\right\}$. Meanwhile, the state assigned by observers with partial access to measurement outcomes follows Equation (15). The case $\eta \left(j\right)=0$ gives equivalent dynamics to that of an Ising chain in which individual spins couple to environmental degrees of freedom via ${\sigma }_j^z$, producing dephasing.

Figure 2 illustrates the evolution of the averaged relative entropy $〈S\left({\rho }_t^{\mathcal{O}}\left|\right|{\rho }_t^{\mathcal{B}}\right)〉$ between the complete description and $\mathcal{B}$’s partial one, for different values of the monitoring efficiency $\eta$. The average $\langle ·\rangle$ is over all measurement outcomes. Analogous results for the average trace distance can be found in Appendix A. The dynamics are simulated by implementation of the monitoring process as a sequence of weak measurements, which can be modeled by Kraus operators acting on the state of the system. Specifically, the evolution of ${\rho }_t^{\mathcal{O}}$ and corresponding state ${\rho }_t^{\mathcal{B}}$ with partial measurements is numerically obtained from assuming two independent measurement processes, as in [1].

3.2. Transition to Complete Descriptions

Consider the case of a one-dimensional harmonic oscillator with position and momentum operators X and P. We assume agent $\mathcal{B}$ is monitoring the position of the oscillator with an efficiency $\eta$. The dynamics is dictated by Equation (15) for the case of a single monitored observable X, and can be determined by a set of differential equations on the moments of the Gaussian state ${\rho }_t^{\mathcal{B}}$ [1,21].

We prove in Appendix A that the purity of the density matrix for long times has a simple expression in terms of the measurement efficiency, satisfying $\mathcal{P}\left({\rho }_T^{\mathcal{B}}\right)⟶\sqrt{\eta }$ for long times. Equation (16) and properties of Gaussian states [22,23,24,25,26] then imply

$$\begin{array}{c}\hfill 1-\sqrt{\eta }\le {〈\mathcal{D}\left({\rho }_T^{\mathcal{O}},{\rho }_T^{\mathcal{B}}\right)〉}_{\mathcal{B}}\le \sqrt{1-\sqrt{\eta }},\end{array}$$

(19)

and

$$\begin{array}{cc}\hfill {〈S\left({\rho }_t^{\mathcal{O}}\left|\right|{\rho }_t^{\mathcal{B}}\right)〉}_{\mathcal{B}}& =\left(\frac{1}{2\sqrt{\eta }}+\frac{1}{2}\right)log\left(\frac{1}{2\sqrt{\eta }}+\frac{1}{2}\right)-\left(\frac{1}{2\sqrt{\eta }}-\frac{1}{2}\right)log\left(\frac{1}{2\sqrt{\eta }}-\frac{1}{2}\right).\hfill \end{array}$$

(20)

See [27] for further results on the gains in purity that can be obtained from conditioning on measurement outcomes in Gaussian systems. Figure 3 depicts the trace distance ${〈\mathcal{D}\left({\rho }_t^{\mathcal{B}},{\rho }_t^{\mathcal{O}}\right)〉}_{\mathcal{B}}$ and the relative entropy ${〈S\left({\rho }_t^{\mathcal{O}}\left|\right|{\rho }_t^{\mathcal{B}}\right)〉}_{\mathcal{B}}$ as a function of the measurements efficiency of $\mathcal{B}$’s measurement process, illustrating the transition from least accurate perception to most accurate perception and optimal predictive power as $\eta \to 1$. Note that, since both the bounds on the trace distance and relative entropy are independent of the parameters of the model in this example, the transition to most accurate perceptions of the system is solely a function of the measurement efficiency. The figures show that a high knowledge of the state of the system is gained for $\eta \sim 0$ as $\eta$ increases. This gain decreases for larger values of $\eta$. This observation is confirmed by explicit computation using the relative entropy, which satisfies $\frac{d}{d\eta }{〈S\left({\rho }_t^{\mathcal{O}}\left|\right|{\rho }_t^{\mathcal{B}}\right)〉}_{\mathcal{B}}=log\left(\frac{1-\sqrt{\eta }}{1+\sqrt{\eta }}\right)/\left(4{\eta }^{3/2}\right)$. Thus, its rate of change and the information gain diverges for $\eta \to 0$ as a power law $\frac{d}{d\eta }{〈S\left({\rho }_t^{\mathcal{O}}\left|\right|{\rho }_t^{\mathcal{B}}\right)〉}_{\mathcal{B}}=-(1/6+1/2\eta )+\mathcal{O}\left({\eta }^2\right)$, while it becomes essentially constant for intermediate values of $\eta$. In the transition to most accurate perception the effective description of the system changes from a mixed to a pure state, and the information gain becomes divergent as well as $\eta \to 1$.

4. Discussion

Different levels of information of a system amount to different effective descriptions. We studied these different descriptions for the case of a system being monitored by an observer, and compared this agent’s description to that of other agents with a restricted access to the measurement outcomes. With continuous measurements as an illustrative case study, we put bounds on the average trace distance between states that different agents assign to the system, and obtained exact results for the average quantum relative entropy. The expressions solely involve the state assigned by the less-knowledgeable agent, providing estimates for the distance to the exact state that can be calculated by the agent without knowledge of the latter.

The setting we presented here has a natural application to the case of a system interacting with an environment. For all practical purposes, one can view the effect of an environment as effectively monitoring the system with which it interacts [28,29]. Without access to the environmental degrees of freedom, the master equation that governs the state of the system takes a Lindblad form with Hermitian operators, as in Equation (4). However, access to the degrees of freedom of the environment can provide information of the state of the system, effectively leading to a dynamics governed by Equation (15). Access to a high fraction of the environment leads to a dynamics as in Equation (1), providing complete description of the state of the system by conditioning on the observed state of the environmental degrees of freedom. With this in mind, our results shed light on how much one can improve the description of a given system by incorporating information encoded in an environment [29,30,31,32,33,34,35], as experimentally explored in [36,37]. Note that since our bounds depend on the state assigned by the agent with less information, the above is independent of the unraveling chosen. It would also be interesting to extend our results and the connections to the dynamics of open systems to more general monitoring dynamics (e.g., non-Hermitian operators or other noise models).

As brought up by an analysis of a continuously-monitored harmonic oscillator, a large gain of information about the state of the system occurs when an agent has access to a small fraction of the measurement output, when quantified both by the trace distance and by the relative entropy. Our results thus complement the Quantum Darwinism program and related approaches [29,30,31,32,33,34,35], where the authors compare the state of a system interacting with an environment and the state of fractions of such an environment. While those works focused on the correlation buildup between the system and the environment, we instead address the subjective description that observers assign to the state of the system, conditioned on the information encoded in a given measurement record.