A functional analysis of the task of observing multiple macroscopic quantum systems over an extended period of time and then reporting the accumulated results is used to investigate the information that must be encoded in the "ready" state |O^r> of any finite, macroscopic observer O capable of performing this task. Decoherence considerations show that this task can be considered as involving local observations under classical conditions (LOCC), allowing the use of classical automata theory to define a minimal observer. It is shown that such a minimal observer must implement a functional architecture equivalent to a classical Turing machine and must encode in |O^r> a classical specification of the complete set of reportable apparatus states. The observation task is then re-characterized employing an explicit model of such a minimal observer, and it is shown that both the assumption that external systems have well-defined boundaries against the environment and the assumption of decoherence are unnecessary for the characterization of measurements made by a minimal observer. It is shown that the observables available to a minimal observer are positive operator-valued measures (POVMs) and that the measurement results reported by a minimal observer comply with the Born rule. The differences in underlying physical assumptions between this "systems-free" treatment of observation and that traditionally employed in analyses of quantum measurement and quantum communication are discussed.
A functional analysis of the task of observing multiple macroscopic quantum systems over an extended period of time and then reporting the accumulated results is used to investigate the information that must be encoded in the "ready" state |O^r> of any finite, macroscopic observer O capable of performing this task. Decoherence considerations show that this task can be considered as involving local observations under classical conditions (LOCC), allowing the use of classical automata theory to define a minimal observer. It is shown that such a minimal observer must implement a functional architecture equivalent to a classical Turing machine and must encode in |O^r> a classical specification of the complete set of reportable apparatus states. The observation task is then re-characterized employing an explicit model of such a minimal observer, and it is shown that both the assumption that external systems have well-defined boundaries against the environment and the assumption of decoherence are unnecessary for the characterization of measurements made by a minimal observer. It is shown that the observables available to a minimal observer are positive operator-valued measures (POVMs) and that the measurement results reported by a minimal observer comply with the Born rule. The differences in underlying physical assumptions between this "systems-free" treatment of observation and that traditionally employed in analyses of quantum measurement and quantum communication are discussed.
Observations of quantum systems carried out by finite observers who subsequently communicate their results using classical data structures can be described as “local operations, classical communication” (LOCC) observations. The implementation of LOCC observations by the Hamiltonian dynamics prescribed by minimal quantum mechanics is investigated. It is shown that LOCC observations cannot be described using decoherence considerations alone, but rather require the a priori stipulation of a positive operator-valued measure (POVM) about which communicating observers agree. It is also shown that the transfer of classical information from system to observer can be described in terms of system-observer entanglement, raising the possibility that an apparatus implementing an appropriate POVM can reveal the entangled system-observer states that implement LOCC observations.
Quantum detectors provide information about the microscopic properties of quantum systems by establishing correlations between those properties and a set of macroscopically distinct events that we observe. The question of how much information a quantum detector can extract from a system is therefore of fundamental significance. In this paper, we address this question within a precise framework: given a measurement apparatus implementing a specific POVM measurement, what is the optimal performance achievable with it for a specific information readout task and what is the optimal way to encode information in the quantum system in order to achieve this performance? We consider some of the most common information transmission tasks—the Bayes cost problem, unambiguous message discrimination and the maximal mutual information. We provide general solutions to the Bayesian and unambiguous discrimination problems. We also show that the maximal mutual information is equal to the classical capacity of the quantum-to-classical channel describing the measurement, and study its properties in certain special cases. For a group covariant measurement, we show that the problem is equivalent to the problem of accessible information of a group covariant ensemble of states. We give analytical proofs of optimality in some relevant cases. The framework presented here provides a natural way to characterize generalized quantum measurements in terms of their information readout capabilities.
Standard semi-classical models of decoherence do not take explicit account of the classical information required to specify the system - environment boundary. I show that this information can be represented as a finite set of reference eigenvalues that must be encoded by any observer, including any apparatus, able to distinguish the system from its environment. When the information required for system identification is accounted for in this way, decoherence can be described as a sequence of entanglement swaps between reference and pointer components of the system and their respective environments. Doing so removes the need for the a priori assumptions of ontic boundaries required by semi-classical models.
The goal of this thesis is to define the concept of coarse-graining in quantum systems through measurements and to develop a unified mathematical framework for macroscopic states, operations, correlations, and entropy.Within this framework, irreversible phenomena arise from the loss of statistical information that is accessible to macroscopic observers.To achieve this goal, we rigorously define macroscopicity.This thesis investigates observational entropy, a concept that unifies Boltzmann entropy, Gibbs entropy, von Neumann's macroscopic entropy, and diagonal entropy.Our approach to explaining how irreversibility arises in isolated quantum systems is based on this unified perspective.When the initial state is "macroscopic," we use Petz's theory of statistical sufficiency to show that observational entropy strictly increases with unitary time evolution.Furthermore, we show that, for any initial state, the probability of the system's observational entropy increasing and rapidly reaching its maximum value under random unitary time evolution is extremely high.Specifically, we demonstrate that when measurements on a quantum system are sufficiently coarse-grained relative to its size, its initial state (whether pure or mixed) becomes indistinguishable from the maximally mixed state through random time evolution.We show that this holds not only for random time evolutions sampled according to the Haar measure, but also for approximate 2-designs, which are considered more physically realistic models.Next, we extend this framework by introducing positive operator-valued measures (POVMs) and quantum prior states.This allows us to construct a unified inferential framework for macroscopic states.A macroscopic state can be characterized using equivalent algebraic and constructive formulations based on quantum statistical sufficiency.This approach is based on the concept of an observational deficit, which quantifies the degree to which a state is "irretrodictable" relative to prior and measurement.This structure is formulated as an "inferential reference frame" that encapsulates the observer's informational perspective.Furthermore, we treat macroscopic states as free states and construct the resource theory of microscopicity.This theory unifies existing theories of coherence, athermality and asymmetry.Finally, we extend this framework to the study of quantum correlations under observational constraints.This enables us to show that quantum correlations, such as entanglement and quantum discord, are context-dependent resources that depend on the observer's reference frame.I would like to express my deepest gratitude to my supervisor,
Various forms of optimality for quantum observables described as normalized positive-operator-valued measures (POVMs) are studied in this paper. We give characterizations for observables that determine the values of the measured quantity with probabilistic certainty or a state of the system before or after the measurement. We investigate observables that are free from noise caused by classical post-processing, mixing, or pre-processing of quantum nature. Especially, a complete characterization of pre-processing and post-processing clean observables is given, and necessary and sufficient conditions are imposed on informationally complete POVMs within the set of pure states. We also discuss joint and sequential measurements of optimal quantum observables.
The theory of decoherence attempts to explain the emergent classical behaviour of a quantum system interacting with its quantum environment. In order to formalize this mechanism we introduce the idea that the information preserved in an open quantum evolution (or channel) can be characterized in terms of observables of the initial system. We use this approach to show that information which is broadcast into many parts of the environment can be encoded in a single observable. This supports a model of decoherence where the pointer observable can be an arbitrary positive operator-valued measure (POVM). This generalization makes it possible to characterize the emergence of a realistic classical phase-space. In addition, this model clarifies the relationships among the information preserved in the system, the information flowing from the system to the environment (measurement), and the establishment of correlations between the system and the environment.