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, we pin down the operational phenomenology of the notion of non-classical (e.g. "coherent") control, which we then use to formalise a theory-independent notion of control (e.g. "superposition") of causal orders. To validate our framework, we show how salient examples from the literature can be captured in our framework.
An operational measure to quantify the sizes of some ``macroscopic quantum superpositions'', realized in recent experiments, is proposed. The measure is based on the fact that a superposition presents greater sensitivity in interferometric applications than its superposed constituent states. This enhanced sensitivity, or ``interference utility'', may then be used as a size criterion among superpositions.
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…
Causal nonseparability refers to processes where events take place in a coherent superposition of different causal orders. These may be the key resource for experimental violations of causal inequalities and have been recently identified as resources for concrete information-theoretic tasks. Here, we take a step forward by deriving a complete operational framework for causal nonseparability as a resource. Our first contribution is a formal definition of quantum control of causal orders, a stronger form of causal nonseparability (with the celebrated quantum switch as best-known example) where t…
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…
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…
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…
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…
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 …
Operational criterion for Wigner function negativity
Università di Genova（热那亚大学）；INFN - Sezione di Genova（意大利国家核物理研究所热那亚分部）；Istituto Nazionale di Ottica del Consiglio Nazionale delle Ricerche (CNR-INO)（意大利国家研究委员会光学研究所）；European Laboratory for Non-linear Spectroscopy, Universitá di Firenze（佛罗伦萨大学欧洲非线性光谱学实验室）
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 propose a method to prepare and verify spatial quantum superpositions of a nanometer-sized object separated by distances of the order of its size. This method provides unprecedented bounds for objective collapse models of the wave function by merging techniques and insights from cavity quantum optomechanics and matter wave interferometry. An analysis and simulation of the experiment is performed taking into account standard sources of decoherence. We provide an operational parameter regime using present day and planned technology.
In this paper, we introduce a "coherence equality" that is satisfied by any classical communication -- i.e., conveyed by a localized carrier traveling along well defined directions. In contrast, this equality is violated when the carrier is prepared in a quantum superposition of communication directions. This is phrased in terms of the success probability of a certain communication task, which results to be always constant and equal to 1/2 in the classical case. On the other hand, we develop two simple quantum schemes that deviate systematically from the classical value, thus violating the coh…
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…
We analyse the way in which the principle that 'the whole is greater than the sum of its parts' manifests itself with phenomena of visual perception. For this investigation we use insights and techniques coming from quantum cognition, and more specifically we are inspired by the correspondence of this principle with the phenomenon of the conjunction effect in human cognition. We identify entities of meaning within artefacts of visual perception and rely on how such entities are modelled for corpuses of texts such as the webpages of the World-Wide Web for our study of how they appear in phenome…
In this paper we attempt to provide a physical representation of quantum superpositions. For this purpose we discuss the constraints of the quantum formalism to the notion of possibility and the necessity to consider a potential realm independent of actuality. Taking these insights into account and from the basic principles of quantum mechanics itself we advance towards the definition of the notions of power and potentia. Assuming these notions as a standpoint we analyze the meaning of 'observation' and 'interaction'. As a conclusion we provide a set of axioms which comprise our interpretation…
Quantum applications are most often hybrid, i.e. they are not only made of implementations of pure quantum algorithms but also of classical programs as well as workflows and topologies as key artifacts, and data they process. Since workflows and topologies are referred to as orchestrations in modern terminology (but with very different meaning), two orchestrations that go hand-in-hand are required to realize quantum applications. We motivate this by means of a non-trivial example, sketch these orchestration technologies and reveal the overall structure of nontrivial quantum applications as wel…
We analyze quantum states formed as superpositions of an initial pure product state and its image under local unitary evolution, using two measurement-based measures of superposition size: one based on the optimal quantum binary distinguishability of the branches of the superposition and another based on the ratio of the maximal quantum Fisher information of the superposition to that of its branches, i.e., the relative metrological usefulness of the superposition. A general formula for the effective sizes of these states according to the branch distinguishability measure is obtained and applie…
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.
We present a new operational framework for studying ``superpositions of spacetimes'', which are of fundamental interest in the development of a theory of quantum gravity. Our approach capitalizes on nonlocal correlations in curved spacetime quantum field theory, allowing us to formulate a metric for spacetime superpositions as well as characterizing the coupling of particle detectors to a quantum field. We apply our approach to analyze the dynamics of a detector (using the Unruh-deWitt model) in a spacetime generated by a BTZ black hole in a superposition of masses. We find that the detector e…
We propose a new kind of coherent state for the general $SO(D+1)$ formulation of loop quantum gravity in the $(1+D)$-dimensional space-time. Instead of Thiemann's coherent state for $SO(D+1)$ gauge theory, our coherent spin-network state is given by constructing proper superposition over quantum numbers of the spin-networks with vertices labelled by the coherent intertwiners. Such superposition type coherent states are labelled by the so-called generalized twisted geometric variables which capture the geometric meaning of discretized general relativity. We study the basic properties of this ki…
Within any anticipated unifying theory of quantum gravity, it should be meaningful to combine the fundamental notions of quantum superposition and spacetime to obtain so-called "spacetime superpositions": that is, quantum superpositions of different spacetimes not related by a global coordinate transformation. Here we consider the quantum-gravitational effects produced by superpositions of periodically identified Minkowski spacetime (i.e.\ Minkowski spacetime with a periodic boundary condition) with different characteristic lengths. By coupling relativistic quantum matter to fields on such a s…
The quantization of time-reparametrization invariant systems such as general relativity is plagued by an ambiguity relating to the role of time in the theory. If one parametrizes observables by the (unobservable) time, and then relies on the existence of an approximate "clock" degree of freedom to give physical meaning to the observables, one finds multiple quantum states that yield the same predictions yet interfere with each other.
We discuss some difficulties that arise in attempting to interpret the Page-Wootters and Internal Quantum Reference Frames formalisms, then use a 'final measurement' approach to demonstrate that there is a workable single-world realist interpretation for these formalisms. We note that it is necessary to adopt some interpretation before we can determine if the 'reference frames' invoked in these approaches are operationally meaningful, and we argue that without a clear operational interpretation, such reference frames might not be suitable to define an equivalence principle. We argue that the n…
Quantum gravity is expected to contain descriptions of semiclassical spacetime geometries in quantum superpositions. To date, no framework for modelling such superpositions has been devised. Here, we provide a new phenomenological description for the response of quantum probes (i.e. Unruh-deWitt detectors) on a spacetime manifold in quantum superposition. By introducing an additional control degree of freedom, one can assign a Hilbert space to the spacetime, allowing it to exist in a superposition of spatial or curvature states. Applying this approach to static de Sitter space, we discover sce…
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…
Theory and experiment both demonstrate that an entangled quantum state of two subsystems is neither a superposition of states of its subsystems nor a superposition of composite states but rather a coherent superposition of nonlocal correlations between incoherently mixed local states of the two subsystems. Thus, even if one subsystem happens to be macroscopic as in the entangled "Schrodinger's cat" state resulting from an ideal measurement, this state is not the paradoxical macroscopic superposition it is generally presumed to be. It is, instead, a "macroscopic correlation," a coherent quantum…
Equilibration and the eigenstate thermalization hypothesis as limits to observing macroscopic quantum superpositions
Escola Politécnica de Pernambuco, Universidade de Pernambuco（伯南布哥联邦大学应用理工学院）；Universidade Estadual de Santa Cruz（圣克鲁斯州立大学）；Instituto de Física, Universidade Federal Fluminense（弗鲁米嫩塞联邦大学物理研究所）
Simulating quantum measurements without superposition devices
Lund University（隆德大学）；Instituto de física Teórica, IFT-UAM/CSIC, Universidad Autónoma de Madrid（马德里自治大学理论物理研究所）；Uppsala University（乌普萨拉大学）；Nordita, KTH Royal Institute of Technology and Stockholm University（诺迪塔，皇家理工学院与斯德哥尔摩大学）
Quantum coherence was recently formalized as a physical resource to measure the strength of superposition. Based on the resource theory, we present a systematic framework that connects a coherence measure to the security of quantum key distribution. By considering a generic entanglement-based key distribution protocol under the collective attack scenario, we show that the key rate can be quantified by the coherence of the shared bipartite states. This framework allows us to derive the key rate of the BB84 and six-state protocols. By utilizing fine-grained parameters, we also derive the improve…
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 superposition principle is at the heart of quantum mechanics and at the root of many paradoxes arising when trying to extend its predictions to our everyday world. Schroedinger's cat is the prototype of such paradoxes and here, in contrast to many others, we choose to investigate it from the operational point of view. We experimentally demonstrate a universal strategy for producing an unambiguously distinguishable type of superposition, that of an arbitrary pure state and its orthogonal. It relies on only a limited amount of information about the input state to first generate its orthogona…
Many insights into the quantum world can be found by studying it from amongst more general operational theories of physics. In this thesis, we develop an approach to the study of such theories purely in terms of the behaviour of their processes, as described mathematically through the language of category theory. This extends a framework for quantum processes known as categorical quantum mechanics (CQM) due to Abramsky and Coecke. We first consider categorical frameworks for operational theories. We introduce a notion of such theory, based on those of Chiribella, D'Ariano and Perinotti (CDP), …
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.
In this paper we analyze the definition of quantum superpositions within orthodox Quantum Mechanics (QM) and their relation to physical reality. We will begin by discussing how the metaphysical presuppositions imposed by Bohr on the interpretation of QM have become not only interpretational dogmas which constrain the limits of the present Orthodox Line of Research (OLR), but also how these desiderata implicitly preclude the possibility of developing a physical representation of quantum superpositions. We will then continue analyzing how most interpretations of QM argue against the existence of…
A series of recent works has shown that placing communication channels in a coherent superposition of alternative configurations can boost their ability to transmit information. Instances of this phenomenon are the advantages arising from the use of communication devices in a superposition of alternative causal orders, and those arising from the transmission of information along a superposition of alternative trajectories. The relation among these advantages has been the subject of recent debate, with some authors claiming that the advantages of the superposition of orders could be reproduced,…
We establish an operational theory of coherence (or of superposition) in quantum systems, by focusing on the optimal rate of performance of certain tasks. Namely, we introduce the two basic concepts - "coherence distillation" and "coherence cost" in the processing quantum states under so-called incoherent operations [Baumgratz/Cramer/Plenio, Phys. Rev. Lett. 113:140401 (2014)]. We then show that in the asymptotic limit of many copies of a state, both are given by simple single-letter formulas: the distillable coherence is given by the relative entropy of coherence (in other words, we give the …
What is the true meaning of quantum superposition? Can a particle genuinely reside in several places simultaneously? These questions lie at the heart of this paper which presents an updated survey of some important stages in the evolution of the three-boxes paradox, as well as novel conclusions drawn from it. We begin with the original thought experiment of Aharonov and Vaidman, and proceed to its non-counterfactual version. The latter was recently realized by Okamoto and Takeuchi using a quantum router. We then outline a dynamic version of this experiment, where a particle is shown to "disapp…
To quantify single mode nonclassicality, we start from an operational approach. A positive semi-definite observable is introduced to describe a measurement setup. The quantification is based on the negativity of the normally ordered version of this observable. Perfect operational quantumness corresponds to the quantum-noise-free measurement of the chosen observable. Surprisingly, even moderately squeezed states may exhibit perfect quantumness for a properly designed measurement. The quantification is also considered from an axiomatic viewpoint, based on the algebraic structure of the quantum s…
As is well known, the double slit experiment contains every key concepts of quantum mechanics such as phase effect, probability wave, quantum interference, quantum superposition. In this article, I will clarify the meaning of quantum superposition in terms of phase effect between states. After applying standard quantum theory, it leads to serious questions about the unitary process of an isolated system. It implies that non collapsing interpretations including many worlds may not be justified. This also could explain that there is no such boundary between classical and quantum domains.
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（名古屋大学）
