We show that it is impossible to perform ideal projective measurements on quantum systems using finite resources. We identify three fundamental features of ideal projective measurements and show that when limited by finite resources only one of these features can be salvaged. Our framework is general enough to accommodate any system and measuring device (pointer) models, but for illustration we use an explicit model of an N -particle pointer. For a pointer that perfectly reproduces the statistics of the system, we provide tight analytic expressions for the energy cost of performing the measurement. This cost may be broken down into two parts. First, the cost of preparing the pointer in a suitable state, and second, the cost of a global interaction between the system and pointer in order to correlate them. Our results show that, even under the assumption that the interaction can be controlled perfectly, achieving perfect correlation is infinitely expensive. We provide protocols for achieving optimal correlation given finite resources for the most general system and pointer Hamiltonians, phrasing our results as fundamental bounds in terms of the dimensions of these systems.
We show that it is impossible to perform ideal projective measurements on quantum systems using finite resources. We identify three fundamental features of ideal projective measurements and show that when limited by finite resources only one of these features can be salvaged. Our framework is general enough to accommodate any system and measuring device (pointer) models, but for illustration we use an explicit model of an N -particle pointer. For a pointer that perfectly reproduces the statistics of the system, we provide tight analytic expressions for the energy cost of performing the measurement. This cost may be broken down into two parts. First, the cost of preparing the pointer in a suitable state, and second, the cost of a global interaction between the system and pointer in order to correlate them. Our results show that, even under the assumption that the interaction can be controlled perfectly, achieving perfect correlation is infinitely expensive. We provide protocols for achieving optimal correlation given finite resources for the most general system and pointer Hamiltonians, phrasing our results as fundamental bounds in terms of the dimensions of these systems.
Measurements and feedback are essential in the control of any device operating at the quantum scale and exploiting the features of quantum physics. As the number of quantum components grows, it becomes imperative to consider the energetic expense of such elementary operations. Here, we derive energy requirements for general quantum measurement, extending previous models and obtaining stronger bounds in relevant situations, and then study two important classes of measurements in detail. One is the projective measurement, where we obtain the exact cost rather than a lower bound, and the other is the so-called inefficient measurement, in which we explicitly show that energy extraction is possible. As applications, we derive the energy-precision trade-off in quantum Zeno stabilisation schemes and the exact energy expense for quantum error correction. Our results constitute fundamental energetic limitations against which to benchmark implementations of future quantum devices as they grow in complexity.
A long-standing open question is to characterize the classical communication cost of simulating the correlations arising from measurements on finite-dimensional quantum systems. We consider this question in the prepare-and-measure scenario. First we construct a classical simulation model involving a finite average number of bits of one-way communication that simulates exactly the correlations arising from arbitrary d-dimensional quantum states and arbitrary measurements. Second, we show that no classical simulation protocol involving a finite average message dimension can exist for d≥4, hence strengthening a recent result of de Gois, Santos and Vieira. Our first result relies on a more general simulation theorem which can be applied to certain continuous variable (i.e. infinite-dimensional) quantum systems, and even beyond quantum theory, e.g. to generalized probabilistic theories. In particular, we show that multimode Gaussian states of bounded average energy and general Gaussian measurements admit an exact classical simulation with a finite expected number of bits. Overall, our results show that the classical simulation cost of quantum communication is essentially as high as it could be.
Quantum measurements are an essential ingredient in numerous protocols and quantum technologies.As a characteristic trait, quantum measurements are typically employed a vast number of times to allow for higher accuracy, better control or just increased performance of quantum devices.In this thesis, we pursue a resource-theoretic approach to quantum measurements, aiming at the quantification of their energetic cost.While there exists a plethora of literature on this topic already, we develop a general framework that allows us to unify several of these previous results and to improve them systematically.We highlight an issue common to most of these previous works, where a notion of quantum measurement is employed which is not detailed enough to be applicable to several realistic and important applications for quantum measurement.More concretely, previous work typically involves a state transformation concept, similar to thermodynamic considerations, where only a specific initial and final state of the measured system are specified to characterise the process.For real applications however, quantum measurement devices are typically required to perform the measurement for all possible initial states of the measured system.In this thesis we analyse this requirement and obtain as a consequence much stronger energy constraints on quantum measurements than previously known.For particular forms of measurement, namely dephasing channels, projective quantum instruments, and projection valued measures, we even determine the exact energy costs in contrast to the common lower bound statements in previous literature.Remarkably, the exact cost of projective quantum instruments constitutes the strongest energy constraint on quantum measurement known so far.We demonstrate the implications of these results in two important applications, where quantum measurements play a significant role, namely quantum Zeno stabilisation and quantum error correction.The exact energetic requirements we compute for these two protocols show that any restriction on the amount of available energy immediately places fundamental constraints on the performance of these protocols.
Ideal quantum measurement requires divergent thermodynamic resources. This is a consequence of the third law of thermodynamics, which prohibits the preparation of the measurement pointer in a fully erased, pure state required for the acquisition of perfect, noiseless measurement information. In this work, we investigate the consequences of finite resources in the emergence of intersubjectivity as a model for measurement processes with multiple observers. Here, intersubjectivity refers to a condition in which observers agree on the observed outcome (agreement), and their local random variables exactly reproduce the original random variable for the system observable (probability reproducibility). While agreement and reproducibility are mutually implied in the case of ideal measurement, finite thermodynamic resources constrain each of them. Starting from the third law of thermodynamics, we derive how the achievability of ideal intersubjectivity is affected by restricted thermodynamic resources. Specifically, we establish a no-go theorem concerning perfect intersubjectivity and present a deviation metric to account for the influence of limited resources. We further present attainable bounds for the agreement and bias that are exclusively dependent on the initial state of the environment. In addition, we show that either by cooling or coarse graining, we can approximate ideal intersubjectivity even with finite resources. This work bridges quantum thermodynamics and the emergence of classicality in the form of intersubjectivity.
Measurements can be viewed as interactions between a measured system and a pointer system that imprint information about the system on the pointer. For so-called unbiased interactions, the measurement statistics--the information corresponding to the diagonal of the system's initial density operator--with respect to a chosen measurement basis are transferred accurately, even if the pointer is initially in a mixed state. However, establishing measurement outcomes as objective facts also requires redundancy. We therefore consider the problem of unitarily distributing the outcome statistics to several pointers or quantum memories. We show that the accuracy of this process is limited by thermodynamic restrictions on preparing the memories in pure states: exact duplication of unknown outcome statistics is impossible using finite resources. For finite-temperature memories, we put forward a lower bound on the entropy production of the duplication process. This \emph{Holevo-Landauer} bound demonstrates that the mixedness of the initial memory limits the ability to accurately transfer the same information to more than one memory component, thus fundamentally restricting the creation of redundancies while maintaining the integrity of the original information. Finally, we show how the outcome statistics can be recovered exactly in the classical limit--via coarse-graining or asymptotically as the number of subsystems of each memory component increases--thus elucidating how objective properties can emerge despite inherent imperfections.
Performing perfect/conclusive quantum state exclusion means to be able to discard with certainty at least one out of n possible quantum state preparations by performing a measurement of the resulting state. This task of state exclusion has recently been studied at length in \cite{bandyopadhyay2014conclusive}, and it is at the heart of the celebrated PBR thought experiment \cite{pusey2012reality}. When all the preparations correspond to pure states and there are no more of them than their common dimension, it is an open problem whether POVMs give any additional power for this task with respect to projective measurements. This is the case even for the simple case of three states in three dimensions, which is mentioned in \cite{caves2002conditions} as unsuccessfully tackled. In this paper, we give an analytical proof that in this case considering POVMs does indeed not give any additional power with respect to projective measurements. To do so, we first make without loss of generality some assumptions about the structure of an optimal POVM. The justification of these assumptions involves arguments based on convexity, rank and symmetry properties. We show then that any pure states perfectly excluded by such a POVM meet the conditions identified in \cite{caves2002conditions} for perfect exclusion by a projective measurement of three pure states in three dimensions. We also discuss possible generalizations of our work, including an application of Quadratically Constrained Quadratic Programming that might be of special interest.