In their strongest usage, quantum reference frames have been described as referring to "the measurements performed by a superposed lab", "the perspective of a quantum particle", "the point of view of a superposed observer", etc. While exciting, these operational proposals have remained brief and ambiguous, leading to misinterpretations and criticism. Here, we provide a detailed specification and defense of the notion of a position-superposed lab or observer. We argue that this requires no exotic claims about quantum physics and raises no greater interpretive difficulty than ordinary quantum measurements. We then derive several consequences of taking this operational meaning seriously. We stress that the position-superposed observers that define quantum references frames are different from, and considerably less problematic than, the outcome-superposed observers considered in Wigners' friend scenarios. In particular, we show that outcomes obtained by a position-superposed observer may (without decohering the superposition) be broadcast to a well-localised one, in contrast with Wigner's friend scenarios, which require the outcomes to remain internal to the system at hand. Finally, we defend the possibility to roleplay a quantum reference frame from a classical reference frame.
Quantum discord is a prominent measure of quantum correlations, playing an important role in expanding its horizon beyond entanglement. Here we provide an operational meaning of (geometric) discord, which quantifies the amount of non-classical correlation of an arbitrary quantum system in terms of its minimal distance from the set of classical states, in terms of teleportation fidelity for general two qubit and $d \otimes d$ dimensional isotropic and Werner states. A critical value of the discord is found beyond which the two qubit state must violate the Bell inequality. This is illustrated by…
Entanglement, one of the most intriguing aspects of quantum mechanics, marks itself into different features of quantum states. For this reason different criteria can be used for verifying entanglement. In this paper we review some of the entanglement criteria casted for continuous variable states and link them to peculiar aspects of the original debate on the famous EPR paradox. Moreover, we give a handy expression for valuating Bell-type non-locality on Gaussian states. We also present the experimental measurement of a particular realization of the Bell operator over continuous variable entan…
In this work, we give rigorous operational meaning to superposition of causal orders. This fits within a recent effort to understand how the standard operational perspective on quantum theory could be extended to include indefinite causality. The mainstream view, that of "process matrices", takes a top-down approach to the problem, considering all causal correlations that are compatible with local quantum experiments. Conversely, we pursue a bottom-up approach, investigating how the concept of indefiniteness emerges from specific characteristics of generic operational theories. Specifically, w…
Minimum error state discrimination between two mixed states ρand σcan be aided by the receipt of "classical side information" specifying which states from some convex decompositions of ρand σapply in each run. We quantify this phenomena by the average trace distance, and give lower and upper bounds on this quantity as functions of ρand σ. The lower bound is simply the trace distance between ρand σ, trivially seen to be tight. The upper bound is \sqrt{1 - tr(ρσ)}, and we conjecture that this is also tight. We reformulate this conjecture in terms of the existence of a pair of "unbiased decomposi…
The spin is the prime example of a qubit. Encoding and decoding information in the spin qubit is operationally well defined through the Stern-Gerlach set-up in the non-relativistic (i.e., low velocity) limit. However, an operational definition of the spin in the relativistic regime is missing. The origin of this difficulty lies in the fact that, on the one hand, the spin gets entangled with the momentum in Lorentz-boosted reference frames, and on the other hand, for a particle moving in a superposition of velocities, it is impossible to "jump" to its rest frame, where spin is unambiguously def…
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 …
Several information measures have recently been defined which capture the notion of "recoverability." In particular, the fidelity of recovery quantifies how well one can recover a system $A$ of a tripartite quantum state, defined on systems $ABC$, by acting on system $C$ alone. The relative entropy of recovery is an associated measure in which the fidelity is replaced by relative entropy. In this paper, we provide concrete operational interpretations of the aforementioned recovery measures in terms of a computational decision problem and a hypothesis testing scenario. Specifically, we show tha…
We show that the conditional min-entropy Hmin(A|B) of a bipartite state rho_AB is directly related to the maximum achievable overlap with a maximally entangled state if only local actions on the B-part of rho_AB are allowed. In the special case where A is classical, this overlap corresponds to the probability of guessing A given B. In a similar vein, we connect the conditional max-entropy Hmax(A|B) to the maximum fidelity of rho_AB with a product state that is completely mixed on A. In the case where A is classical, this corresponds to the security of A when used as a secret key in the presenc…
In quantum logic there is well-known arbitrariness in choosing a binary operation for conditional. Currently, we have at least three candidates, called the Sasaki conditional, the contrapositive Sasaki conditional, and the relevance conditional. A fundamental problem is to show how the form of the conditional follows from an analysis of operational concepts in quantum theory. Here, we attempt such an analysis through quantum set theory (QST). In this paper, we develop quantum set theory based on quantum logics with those three conditionals, each of which defines different quantum logical truth…
Based on the monogamy of entanglement, we develop the technique of quantum conditioning to build an {\it additive} entanglement measure: the conditional entanglement of mutual information. Its {\it operational} meaning is elaborated to be the minimal net "flow of qubits" in the process of partial state merging. The result and conclusion can also be generalized to multipartite entanglement cases.
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.
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…
The University of Tokyo（东京大学）；RIKEN Center for Quantum Computing (RQC)（理化学研究所量子计算中心）；The Chinese University of Hong Kong, Shenzhen（香港中文大学（深圳））；International Quantum Academy（国际量子学院）；Nagoya University（名古屋大学）
Aharonov and Anandan's claim that the notion of ``proper mixture'' is improper is shown to be unjustified. The point is made that if a purely operationalist standpoint is taken the three difficulties these authors describe relatively to the conventional interpretation of density matrices in fact vanish. It is noted that nevertheless it is very difficult for us to do without any form of realism, in particular when the quantum measurement problem is considered, and it is stressed that the proper mixture notion comes in precisely at this level. The more general question of the real bearing of Aha…
A fundamental approach for the characterization and quantification of all kinds of resources is to study the conversion between different resource objects under certain constraints. Here we analyze, from a resource-non-specific standpoint, the optimal efficiency of resource formation and distillation tasks with only a single copy of the given quantum state, thereby establishing a unified framework of one-shot quantum resource manipulation. We find general bounds on the optimal rates characterized by resource measures based on the smooth max/min-relative entropies and hypothesis testing relativ…
Temperature is usually defined for physical systems at thermal equilibrium. Nevertheless one may wonder if it would be possible to attribute a meaningful notion of temperature to an arbitrary quantum state, beyond simply the thermal (Gibbs) state. In this work, we propose such a notion of temperature considering an operational task, inspired by the Zeroth Law of thermodynamics. Specifically, we define two effective temperatures for quantifying the ability of a quantum system to cool down or heat up a thermal environment. In this way we can associate an operationally meaningful notion of temper…
The theory of noncommutative dynamical entropy and quantum symbolic dynamics for quantum dynamical systems is analised from the point of view of quantum information theory. Using a general quantum dynamical system as a communication channel one can define different classical capacities depending on the character of resources applied for encoding and decoding procedures and on the type of information sources. It is shown that for Bernoulli sources the entanglement-assisted classical capacity, which is the largest one, is bounded from above by the quantum dynamical entropy defined in terms of op…
The operational meaning of some measures of noise and disturbance in measurements is analyzed and their limitations are pointed out. The cases of minimal noise and least disturbance are characterized.
This paper charts a very direct path between the categorical approach to quantum mechanics, due to Abramsky and Coecke, and the older convex-operational approach based on ordered vector spaces (recently reincarnated as "generalized probabilistic theories"). In the former, the objects of a symmetric monoidal category C are understood to represent physical systems and morphisms, physical processes. Elements of the monoid C(I,I) are interpreted somewhat metaphorically as probabilities. Any monoid homomorphism from the scalars of a symmetric monoidal category C gives rise to a covariant functor V_…
The formalism of general probabilistic theories provides a universal paradigm that is suitable for describing various physical systems including classical and quantum ones as particular cases. Contrary to the usual no-restriction hypothesis, the set of accessible meters within a given theory can be limited for different reasons, and this raises a question of what restrictions on meters are operationally relevant. We argue that all operational restrictions must be closed under simulation, where the simulation scheme involves mixing and classical post-processing of meters. We distinguish three c…
An Operational Resolution of the Third-Particle Paradox
Institute for Quantum Optics and Quantum Information - Vienna, Austrian Academy of Sciences（奥地利科学院维也纳量子光学与量子信息研究所）；Faculty of Physics, University of Vienna（维也纳大学物理学院）；University of Innsbruck（因斯布鲁克大学）
The question of what is genuinely quantum about weak values is only ever going to elicit strongly subjective opinions---it is not a scientific question. Good questions, when comparing theories, are operational---they deal with the unquestionable outcomes of experiment. We give the anomalous shift of weak values an objective meaning through a generalization to an operational definition of anomalous post-selected averages. We show the presence of these averages necessitate correlations in every model giving rise to them---quantum or classical. Characterizing such correlations shows that they are…
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…
We show that the usefulness of a state as an activator in teleportation protocols is equivalent to the robustness of its entanglement to noise. The robustness of entanglement of a bi-partite state is linked to the maximum increase in the the fidelity of teleportation of any other state when the former is used as an extra resource. On the one hand, this connection gives an operational meaning to the robustness of entanglement. On the other hand, it shows that the activation capability - which has a central role as an operational way of quantifying bound entangled states - can be estimated exper…
We discuss the effects of a gauge freedom in representing quantum information processing devices, and its implications for characterizing these devices. We demonstrate with experimentally relevant examples that there exists equally valid descriptions of the same experiment which distribute errors differently among objects in a gate-set, leading to different error rates. Consequently, it can be misleading to attach a concrete operational meaning to figures of merit for individual gate-set elements. We propose an alternative operational figure of merit for a gate-set, the mean variation error, a…
It is known that repeated gambling over the outcomes of independent and identically distributed (i.i.d.) random variables gives rise to alternate operational meaning of entropies in the classical case in terms of the doubling rates. We give a quantum extension of this approach for gambling over the measurement outcomes of tensor product states. Under certain parameters of the gambling setup, one can give operational meaning of von Neumann entropies. We discuss two variants of gambling when a helper is available and it is shown that the difference in their doubling rates is the quantum discord.…
The nonclassical properties of quantum states are of tremendous interest due to their potential applications in future technologies. It has recently been realized that the concept of a "resource theory" is a powerful approach to quantifying and understanding nonclassicality. To realize the potential of this approach one must first find resource theoretic measures of nonclassicality that are "operational", meaning that they also quantify the ability of quantum states to provide enhanced performance for specific tasks, such as precision sensing. Here we achieve a significant milestone in this en…
The notion of probability plays a crucial role in quantum mechanics. It appears in quantum mechanics as the Born rule. In modern mathematics which describes quantum mechanics, however, probability theory means nothing other than measure theory, and therefore any operational characterization of the notion of probability is still missing in quantum mechanics. In this paper, based on the toolkit of algorithmic randomness, we present a refinement of the Born rule, as an alternative rule to it, for specifying the property of the results of quantum measurements in an operational way. Algorithmic ran…
The standard operational probabilistic framework (within which we can formulate Operational Quantum Theory) is time asymmetric. This is clear because the conditions on allowed operations are time asymmetric. It is odd, though, because Schoedinger's equation is time symmetric and probability theory does not care about time direction. In this work we provide a time symmetric framework for operational theories in general and for Quantum Theory in particular. The clearest expression of the time asymmetry of standard Operational Quantum Theory is that the deterministic effect is unique - meaning th…
A variety of new measures of quantum Renyi mutual information and quantum Renyi conditional entropy have recently been proposed, and some of their mathematical properties explored. Here, we show that the Renyi mutual information attains operational meaning in the context of composite hypothesis testing, when the null hypothesis is a fixed bipartite state and the alternate hypothesis consists of all product states that share one marginal with the null hypothesis. This hypothesis testing problem occurs naturally in channel coding, where it corresponds to testing whether a state is the output of …
Although quantum channels underlie the dynamics of quantum states, maps which are not physical channels -- that is, not completely positive -- can often be encountered in settings such as entanglement detection, non-Markovian quantum dynamics, or error mitigation. We introduce an operational approach to the quantitative study of the non-physicality of linear maps based on different ways to approximate a given linear map with quantum channels. Our first measure directly quantifies the cost of simulating a given map using physically implementable quantum channels, shifting the difficulty in simu…
An elucidation of the current state of art in quasi-Hermitian quantum theory (QHQT) as inspired by the recent paper by Alase et al (J. Phys. A: Math. Theor. 55 (2022) 244003, paper [1]) is offered. We point out that the author's main discovery (viz., that the QHQT does not extend the standard quantum theory) is not new. In a related comment on the author's method of proof performed in ``the framework of general probabilistic theories'' (GPT) we add that also in this context a few other, mathematically consistent GPT-like theories are already available in the literature (pars pro toto we mentio…
We establish an operational characterization of general convex resource theories -- describing the resource content of not only states, but also measurements and channels, both within quantum mechanics and in general probabilistic theories (GPTs) -- in the context of state and channel discrimination. We find that discrimination tasks provide a unified operational description for quantification and manipulation of resources by showing that the family of robustness measures can be understood as the maximum advantage provided by any physical resource in several different discrimination tasks, as …
