A rigorous theory of quantum state reduction, the state change of the measured system caused by a measurement conditional upon the outcome of measurement, is developed fully within quantum mechanics without leading to the vicious circle relative to the von Neumann chain. For the basis of the theory, the local measurement theorem provides the joint probability distribution for the outcomes of local successive measurements on a noninteracting entangled system without assuming the projection postulate, and the quantum Bayes principle enables us to determine operationally the quantum state from a given information on the outcome of measurement.
An operational approach to quantum state reduction, the state change of the measured system caused by a measurement of an observable conditional upon the outcome of measurement, is founded without assuming the projection postulate in any stages of the measuring process. Whereas the conventional formula assumes that the probe measurement satisfies the projection postulate, a new formula for determining the state reduction shows that the state reduction does not depend on how the probe observable is measured, or in particular does not depend on whether the probe measurement satisfies the project…
The concept of intrinsic and operational observables in quantum mechanics is introduced. In any realistic description of a quantum measurement that includes a macroscopic detecting device, it is possible to construct from the statistics of the recorded raw data a set of operational quantities that correspond to the intrinsic quantum mechanical observable.
An operational time of arrival is introduced using a realistic position and momentum measurement scheme. The phase space measurement involves the dynamics of a quantum particle probed by a measuring device. For such a measurement an operational positive operator valued measure in phase space is introduced and investigated. In such an operational formalism a quantum mechanical time operator is constructed and analyzed. A phase space time and energy uncertainty relation is derived.
Quantum mechanics predicts the joint probability distribution of the outcomes of simultaneous measurements of commuting observables, but, in the state of the art, has lacked the operational definition of simultaneous measurements. The question is answered as to when the consecutive applications of measuring apparatuses give a simultaneous measurement of their observables. For this purpose, all the possible state reductions caused by measurements of an observable is also characterized by their operations.
The concept of intrinsic and operational observables in quantum mechanics is introduced. It is argued that, in any realistic description of a quantum measurement that includes a detecting device, it is possible to construct from the statistics of the recorded raw data a set of operational quantities that correspond to the intrinsic quantum mechanical observable. Using the concept of the propensity and the associated operational positive operator valued measure (POVM) a general description of the operational algebra of quantum mechanical observables is derived for a wide class of realistic dete…
We propose an operational measure of distance of two quantum states, which conversely tells us their closeness. This is defined as a sum of differences in partial knowledge over a complete set of mutually complementary measurements for the two states. It is shown that the measure is operationally invariant and it is equivalent to the Hilbert-Schmidt distance. The operational measure of distance provides a remarkable interpretation of the information distance between quantum states.
Quantum memory effects can be qualitatively understood as a consequence of an environment-to-system backflow of information. Here, we analyze and compare how this concept is interpreted and implemented in different approaches to quantum non-Markovianity. We study a non-operational approach, defined by the istinguishability between two system states characterized by different initial conditions, and an operational approach, which is defined by the correlation between different outcomes associated to successive measurement processes performed over the system of interest. The differences, limitat…
We describe how to achieve optimal entanglement generation and one-way entanglement distillation rates by coherent implementation of a class of secret key generation and secret key distillation protocols, respectively. This short paper is a high-level descrioption of our detailed papers [8] and [10].
Does the remote measurement-disturbance of the quantum state of a system $B$ by measurement on system $A$ entangled with $B$, constitute a real disturbance -- i.e., an objective alteration -- of $B$ in an operational sense? Employing information theoretic criteria motivated by operational considerations alone, we argue that the disturbance in question is real for a subset of steerable correlations. This result highlights the distinction between quantum no-signaling and relativistic signal-locality. It furthermore suggests a natural reason why a convex operational theory should be non-signaling…
Since simulating quantum computers requires exponentially more classical resources, efficient algorithms are extremely helpful. We analyze algorithms that create single qubit and specific controlled qubit matrix representations of gates. Additionally, we use the simulator to investigate errors based on different probability distributions and to investigate the robustness of different 2-qubit multiplier circuits in the presence of operational errors.
In this work a generalization of the consistent histories approach to quantum mechanics is presented. We first critically review the consistent histories approach to nonrelativistic quantum mechanics in a mathematically rigorous way and give some general comments about it. We investigate to what extent the consistent histories scheme is compatible with the results of the operational formulation of quantum mechanics. According to the operational approach nonrelativistic quantum mechanics is most generally formulated in terms of effects, states and operations. We formulate a generalized consiste…
This paper outlines a mathematical framework of quantum probability in which the time asymmetry in describing measuring processes is avoided. The main objects of the framework are hyperfinite operations, which are constructed by using nonstandard analysis and the operational approach by Davies and Lewis. Then the notions of Bayesian conditional probability are defined, and Bayes-type theorems in terms of the probability are showed.
We consider a model of quantum measurement built on an ideal operational amplifier operating in the limit of infinite gain, infinite input impedance and null output impedance and with a feddback loop. We evaluate the intensity and voltage noises which have to be added to the classical amplification equations in order to fulfill the requirements of quantum mechanics. We give a description of this measurement device as a quantum network scattering quantum fluctuations from input to output ports.
We propose a definition of externally measurable quantum work in driven systems. Work is given as a quantum observable on a control device which is forcing the system and can be determined without knowledge of the system Hamiltonian $H_\mathcal{S}$. We argue that quantum work fluctuation theorems which rely on the knowledge of $H_\mathcal{S}$ are of little practical relevance, contrary to their classical counterparts. Using our framework, we derive a fluctuation theorem which is operationally accessible and could in principle be implemented in experiments to determine bounds on free energy dif…
A C*-algebra formulation of Quantum Mechanics is derived from purely operational axioms in which the primary role is played by the "transformations" that the system undergoes in the course of an "experiment". The notion of the {\em adjoint} of a transformation is based on the postulated existence of "faithful states" that allows one to calibrate the experimental apparatus.
A new measure of information in quantum mechanics is proposed which takes into account that for quantum systems the only feature known before an experiment is performed are the probabilities for various events to occur. The sum of the individual measures of information for mutually complementary observations is invariant under the choice of the particular set of complementary observations and conserved if there is no information exchange with an environment. That operational quantum information invariant results in N bits of information for a system consisting of N qubits.
Quantum discord quantifies non-classical correlations going beyond the standard classification of quantum states into entangled and unentangled ones. Although it has received considerable attention, it still lacks any precise interpretation in terms of some protocol in which quantum features are relevant. Here we give quantum discord its first operational meaning in terms of entanglement consumption in an extended quantum state merging protocol. We further relate the asymmetry of quantum discord with the performance imbalance in quantum state merging and dense coding.
Despite being one of the hallmarks of quantum physics, there is a lack of operational interpretations of quantum coherence. Here we provide an operational interpretation of coherence of a quantum system, in terms of the amount of noise that is to be injected in order to fully decohere it. In particular, we show that in the asymptotic limit, the minimum amount of noise that is required to fully decohere a quantum system, is equal to the relative entropy of coherence. This quantifies the erasure cost of quantum coherence. We employ the entropy exchanged between system and environment during the …
We present an imperative quantum programming language LanQ which was designed to support combination of quantum and classical programming and basic process operations - process creation and interprocess communication. The language can thus be used for implementing both classical and quantum algorithms and protocols. Its syntax is similar to that of C language what makes it easy to learn for existing programmers. In this paper, we present operational semantics of the language and a proof of type soundness of the noncommunicating part of the language. We provide an example run of a quantum rando…
An experimental comparison of several operational phase concepts is presented. In particular, it is shown that statistically motivated evaluation of experimental data may lead to a significant improvement in phase fitting upon the conventional Noh, Fouge'res and Mandel procedure. The analysis is extended to the asymptotic limit of large intensities, where a strong evidence in favor of multi--dimensional estimation procedures has been found.
The eight-port homodyne detection apparatus is analyzed in the framework of the operational theory of quantum measurement. For an arbitrary quantum noise leaking through the unused port of the beam splitter, the positive operator valued measure and the corresponding operational homodyne observables are derived. It is shown that such an eight-port homodyne device can be used to construct the operational quantum trigonometry of an optical field. The quantum trigonometry and the corresponding phase space Wigner functions are derived for a signal field probed by a classical local oscillator and a …
A collection of quantum channels is called incompatible if they cannot be obtained as marginals from a single channel. No-cloning theorem is the most prominent instance of incompatibility of quantum channels. We show that every collection of incompatible channels can be more useful than compatible ones as preprocessings in a state discrimination task with multiple ensembles of states. This is done by showing that the robustness of channel incompatibility which is a measure for incompatibility of channels exactly quantifies the maximum advantage in the state discrimination. We also show that in…
We derive a necessary and sufficient condition for a quantum process to be Markovian which coincides with the classical one in the relevant limit. Our condition unifies all previously known definitions for quantum Markov processes by accounting for all potentially detectable memory effects. We then derive a family of measures of non-Markovianity with clear operational interpretations, such as the size of the memory required to simulate a process, or the experimental falsifiability of a Markovian hypothesis.
The operational formulations of quantum theory are drastically time oriented. However, to the best of our knowledge, microscopic physics is time-symmetric. We address this tension by showing that the asymmetry of the operational formulations does not reflect a fundamental time-orientation of physics. Instead, it stems from built-in assumptions about the $users$ of the theory. In particular, these formalisms are designed for predicting the future based on information about the past, and the main mathematical objects contain implicit assumption about the past, but not about the future. The main …
Based on the problem of quantum data compression in a lossless way, we present here an operational interpretation for the family of quantum Rényi entropies. In order to do this, we appeal to a very general quantum encoding scheme that satisfies a quantum version of the Kraft-McMillan inequality. Then, in the standard situation, where one is intended to minimize the usual average length of the quantum codewords, we recover the known results, namely that the von Neumann entropy of the source bounds the average length of the optimal codes. Otherwise, we show that by invoking an exponential averag…
From an operational point of view, we propose several new entanglement detection criteria using quantum designs. These criteria are constructed by considering the correlations defined with quantum designs. Counter-intuitively, the criteria with more settings are exactly equivalent to the corresponding ones with the minimal number of settings, namely the symmetric informationally complete positive operator-valued measures (SIC POVMs). Fundamentally, this observation highlights the potentially unique role played by SIC POVMs in quantum information processing. Experimentally, this provides the mi…
Quantum information science is a source of task-related axioms whose consequences can be explored in general settings encompassing quantum mechanics, classical theory, and more. Quantum states are compendia of probabilities for the outcomes of possible operations we may perform a system: ``operational states.'' I discuss general frameworks for ``operational theories'' (sets of possible operational states of a system), in which convexity plays key role. The main technical content of the paper is in a theorem that any such theory naturally gives rise to a ``weak effect algebra'' when outcomes ha…
We propose and investigate a procedure to measure, at least in principle, a positive quantum version of the local kinetic energy density. This procedure is based, under certain idealized limits, on the detection rate of photons emitted by moving atoms which are excited by a localized laser beam. The same type of experiment, but in different limits, can also provide other non positive-definite versions of the kinetic energy density. A connection with quantum arrival time distributions is discussed.
Quantum resource theories have been widely studied to systematically characterize the non-classicality of quantum systems. Most resource theories focus on quantum states and study their interconversions. Although quantum channels are generally used as the tool for state manipulation, such a manipulation capability can be naturally regarded as a generalized quantum resource, leading to an open research direction in the resource theories of quantum channels. Various resource-theoretic properties of channels have been investigated, however, without treating channels themselves as operational reso…
In this paper, I propose a project of enlisting quantum information science as a source of task-oriented axioms for use in the investigation of operational theories in a general framework capable of encompassing quantum mechanics, classical theory, and more. Whatever else they may be, quantum states of systems are compendia of probabilities for the outcomes of possible operations we may perform on the systems: ``operational theories.'' I discuss appropriate general frameworks for such theories, in which convexity plays a key role. Such frameworks are appropriate for investigating what things l…
An operational concept of locality whose quantum violation is indicated independently of any other assumption(s) seems to be lacking in the quantum foundations literature so far. Bell's theorem only shows that quantum correlations violate the conjunction of the ontological assumptions of localism and determinism. Taking a cue from computational complexity theory, here we define such a concept of locality in terms of a class of operational decision problems, and propose that Einstein-Podolsky-Rosen (EPR) steering in its basic asymmetric formulation gives a specific realization of this class. Va…
We consider a new approach to describe a quantum optical Bose-system with internal Gell-Mann symmetry by the SU(3)-symmetry polarization map in Hilbert space. The operational measurement in density (or coherency) matrix elements for the three mode optical field is discussed for the first time. We have introduced a set of operators that describes the quantum measurement procedure and the behavior of fluctuations for the amplitude and phase characteristics of three level system. The original twelve-port interferometer for parallel measurements of the Gell-Mann parameters is proposed. The quantum…
Observed quantum correlations are known to determine in certain cases the underlying quantum state and measurements. This phenomenon is known as (quantum) self-testing. Self-testing constitutes a significant research area with practical and theoretical ramifications for quantum information theory. But since its conception two decades ago by Mayers and Yao, the common way to rigorously formulate self-testing has been in terms of operator-algebraic identities, and this formulation lacks an operational interpretation. In particular, it is unclear how to formulate self-testing in other physical th…
To find the essential nature of quantum theory has been an important problem for not only theoretical interest but also applications to quantum technologies. In those studies on quantum foundations, the notion of uncertainty plays a primary role among several stunning features of quantum theory. The purpose of this thesis is to investigate fundamental aspects of uncertainty. In particular, we address this problem focusing on convexity, which has an operational origin. We first try to reveal why in quantum theory similar bounds are often obtained for two types of uncertainty relations, namely, …
Quantum memory -- the capacity to store and faithfully recover unknown quantum states -- is essential for quantum-enhanced technology. There is thus a pressing need for operationally meaningful means to benchmark candidate memories across diverse physical platforms. Here we introduce a universal benchmark distinguished by its relevance across multiple key operational settings, exactly quantifying (1) the memory's robustness to noise, (2) the number of noiseless qubits needed for its synthesis, (3) its potential to speed up statistical sampling tasks, and (4) performance advantage in non-local …
One of the central problems in the study of quantum resource theories is to provide a given resource with an operational meaning, characterizing physical tasks in which the resource can give an explicit advantage over all resourceless states. We show that this can always be accomplished for all convex resource theories. We establish in particular that any resource state enables an advantage in a channel discrimination task, allowing for a strictly greater success probability than any state without the given resource. Furthermore, we find that the generalized robustness measure serves as an exa…
Operational interpretation of the reverse sandwiched Renyi divergences in composite quantum hypothesis testing
School of Data Science, The Chinese University of Hong Kong, Shenzhen（香港中文大学（深圳）数据科学学院）；International Quantum Academy（国际量子学院）；Graduate School of Mathematics, Nagoya University（名古屋大学大学院数学研究科）
In this thesis, we consider the properties of measurements in quantum theory and other operational theories. After having introduced the framework of operational theories, we consider a communication scheme based on an experimental prepare-and-measure scenario and demonstrate this with different communication tasks. This gives us context for how the different communication tasks can be implemented in different theories, in doing so establishing quantum theory intuitively as an operational theory among other theories. The main property of measurements we focus on in this work is the simulation …
Universal Operational Privacy in Distributed Quantum Sensing
Center for Quantum Technology, Korea Institute of Science and Technology (KIST)（韩国科学技术院量子技术中心）；Department of Physics, Yonsei University（延世大学物理系）；Division of Quantum Information, KIST School, Korea University of Science and Technology（韩国科学技术院KIST学院量子信息系）；Emerging Science and Technology Directorate, Agency for Defense Development（国防发展局新兴科技部）；Weapon Systems Engineering, ADD School, University of Science and Technology（韩国科学技术院ADD学校武器系统工程系）
The role of operational quantum mechanics, quantum axiomatics and quantum structures in general is presented as a contribution to a compendium on quantum physics, its history and philosophy.
Entanglement without Quantum Mechanics: Operational Constraints on the Quantum Signature
University of Vienna（维也纳大学）；Institute for Quantum Optics and Quantum Information (IQOQI), Austrian Academy of Sciences（奥地利科学院量子光学与量子信息研究所）；University of Geneva（日内瓦大学）；Constructor University（Constructor 大学）
We introduce the resource quantifier of weight of resource for convex quantum resource theories of states with arbitrary resources. We show that it captures the advantage that a resourceful state offers over all possible free states, in the operational task of exclusion of subchannels. Furthermore, we introduce information-theoretic quantities related to exclusion and find a connection between the weight of resource of a state, and the exclusion-type information of ensembles it can generate. These results provide support to a recent conjecture made in the context of convex quantum resource the…
As increasingly impressive quantum information processors are realized in laboratories around the world, robust and reliable characterization of these devices is now more urgent than ever. These diagnostics can take many forms, but one of the most popular categories is tomography, where an underlying parameterized model is proposed for a device and inferred by experiments. Here, we introduce and implement efficient operational tomography, which uses experimental observables as these model parameters. This addresses a problem of ambiguity in representation that arises in current tomographic app…
The debate on the nature of quantum probabilities in relation to Quantum Non Locality has elevated Quantum Mechanics to the level of an "Operational Epistemic Theory". In such context the quantum superposition principle has an extraneous non epistemic nature. This leads us to seek purely operational foundations for Quantum Mechanics, from which to derive the current mathematical axiomatization based on Hilbert spaces. In the present work I present a set of axioms of purely operational nature, based on a general definition of "the experiment", the operational/epistemic archetype of information …
The prevalent modus operandi within the framework of quantum resource theories has been to characterise and harness the resources within single objects, in what we can call \emph{single-object} quantum resource theories. One can wonder however, whether the resources contained within multiple different types of objects, now in a \emph{multi-object} quantum resource theory, can simultaneously be exploited for the benefit of an operational task. In this work, we introduce examples of such multi-object operational tasks in the form of subchannel discrimination and subchannel exclusion games, in wh…
