There is a received wisdom about where to draw the boundary between classical and nonclassical for various types of quantum processes. For multipartite states, it is the divide between separable and entangled; for channels, the divide between entanglement breaking and not; for sets of measurements, the divide between compatible and incompatible; for assemblages, the divide between unsteerable and steerable. However, these choices have not been motivated by any unified notion of what it means to be classically explainable. One well-motivated notion of classical explainability is the one based on generalized noncontextuality: A set of circuits is classically explainable if a generalized-noncontextual ontological model can realize the statistics they generate. In this work, we show that this notion can be leveraged to define a classical-nonclassical divide for individual quantum processes of arbitrary type. A set of measurements, for example, is judged to be classical if and only if a particular set of circuits—the one obtained by contracting these measurements with every possible quantum state—is classically explainable in the sense just articulated. We begin the task of characterizing where the classical-nonclassical divide lies according to this proposal for a variety of different types of processes. In particular, we show that all of the following are judged to be nonclassical: every entangled state, every set of incompatible measurements, every non-entanglement-breaking channel, and every steerable assemblage. Our proposal differs from the received wisdom, however, insofar as it also judges certain subsets of the complementary classes to be nonclassical, including certain separable states, compatible sets of measurements, entanglement-breaking channels, and unsteerable assemblages. Finally, we prove structure theorems characterizing the classical-nonclassical divide based on whether a process admits of a specific type of frame representation.
There is a received wisdom about where to draw the boundary between classical and nonclassical for various types of quantum processes. For multipartite states, it is the divide between separable and entangled; for channels, the divide between entanglement breaking and not; for sets of measurements, the divide between compatible and incompatible; for assemblages, the divide between unsteerable and steerable. However, these choices have not been motivated by any unified notion of what it means to be classically explainable. One well-motivated notion of classical explainability is the one based on generalized noncontextuality: A set of circuits is classically explainable if a generalized-noncontextual ontological model can realize the statistics they generate. In this work, we show that this notion can be leveraged to define a classical-nonclassical divide for individual quantum processes of arbitrary type. A set of measurements, for example, is judged to be classical if and only if a particular set of circuits—the one obtained by contracting these measurements with every possible quantum state—is classically explainable in the sense just articulated. We begin the task of characterizing where the classical-nonclassical divide lies according to this proposal for a variety of different types of processes. In particular, we show that all of the following are judged to be nonclassical: every entangled state, every set of incompatible measurements, every non-entanglement-breaking channel, and every steerable assemblage. Our proposal differs from the received wisdom, however, insofar as it also judges certain subsets of the complementary classes to be nonclassical, including certain separable states, compatible sets of measurements, entanglement-breaking channels, and unsteerable assemblages. Finally, we prove structure theorems characterizing the classical-nonclassical divide based on whether a process admits of a specific type of frame representation.
Several definitions of classicality are considered, such as P-representability, generalized coherent states and separable states. These notions are treated under a simple and general definition based on convex sets, which enables the use of the Hahn-Banach theorem to separate classical states from nonclassical ones. Nonclassicality linear witnesses are constructed, based on the observables available in a given physical situation. Some examples of nonclassical states are considered, with detection schemes available nowadays. Reviewing the concept of entanglement potential from a different perspective, it is shown that in some contexts an arbitrary single-system nonclassical state can be converted into a bipartite entangled state, provided a generalized controlled-displacement (e.g., beam-splitter, CNOT gate) is available. Also, this entanglement can be detected in a simple way using the nonclassicality witness of the original single-system state. Finally, we extend the discussion to multipartite states, proposing alternative ways to generate and classify multipartite entanglement.
Quantum channels breaking entanglement, incompatibility, or nonlocality are defined as such because they are not useful for entanglement-based, one-sided device-independent, or device-independent quantum-information processing, respectively.Here, we show that such breaking channels are related to complementary tests of macrorealism, i.e., temporal separability, channel unsteerability, temporal unsteerability, and the temporal Bell inequality.To demonstrate this we first define a steerability-breaking channel, which is conceptually similar to entanglement and nonlocality-breaking channels and prove that it is identical to an incompatibility-breaking channel.A hierarchy of quantum nonbreaking channels is derived, akin to the existing hierarchy relations for temporal and spatial quantum correlations.We then introduce the concept of channels that break temporal correlations, explain how they are related to the standard breaking channels, and prove the following results.(1) A robustness-based measure for non-entanglementbreaking channels can be probed by temporal nonseparability.(2) A non-steerability-breaking channel can be quantified by channel steering.(3) Temporal steerability and nonmacrorealism can be used for, respectively, distinguishing unital steerability-breaking channels and nonlocality-breaking channels for a maximally entangled state.Finally, a two-dimensional depolarizing channel is experimentally implemented as a proof-of-principle example to demonstrate the hierarchy relation of nonbreaking channels using temporal quantum correlations.
Quantum channels, which break entanglement, incompatibility, or nonlocality, are not useful for entanglement-based, one-sided device-independent, or device-independent quantum information processing, respectively. Here, we show that such breaking channels are related to certain temporal quantum correlations, i.e., temporal separability, channel unsteerability, temporal unsteerability, and macrorealism. More specifically, we first define the steerability-breaking channel, which is conceptually similar to the entanglement and nonlocality-breaking channels and prove that it is identical to the incompatibility-breaking channel. Similar to the hierarchy relations of the temporal and spatial quantum correlations, the hierarchy of non-breaking channels is discussed. We then introduce the concept of the channels which break temporal correlations, explain how they are related to the standard breaking channels, and prove the following results: (1) A certain measure of temporal nonseparability can be used to quantify a non-entanglement-breaking channel in the sense that the measure is a memory monotone under the framework of the resource theory of the quantum memory. (2) A non-steerability-breaking channel can be certified with channel steering because the steerability-breaking channel is equivalent to the incompatibility-breaking channel. (3) The temporal steerability and non-macrorealism can, respectively, distinguish the steerability-breaking and the nonlocality-breaking unital channel from their corresponding non-breaking channels. Finally, a two-dimensional depolarizing channel is experimentally implemented as a proof-of-principle example to compare the temporal quantum correlations with non-breaking channels.
We introduce a quantum-optical notion of nonclassicality that we call the process output nonclassicality for multimode quantum channels. The motivation comes from an information-theoretic point of view and the emphasis is on the output states of a channel. We deem a channel to be ``classical'' if its outputs are always classical irrespective of the input, i.e., if the channel is nonclassicality breaking, and nonclassical otherwise. Our condition is stronger than the one considered by Rahimi-Keshari et al., [Phys. Rev. Lett. 110, 160401 (2013)] and we compare the two approaches. Using our framework we then quantify the nonclassicality of a quantum process by introducing a noise-robustness type of measure that we call the nonclassicality depth of a channel. It characterizes a certain threshold noise beyond which a given channel outputs only classical states. We achieve this by generalizing a prescription by Lee [Phys. Rev. A 44, R2775 (1991)] to multimode states and then by extension to multimode channels.
Nonclassicality and entanglement are notions fundamental to quantum-information processes involving continuous variable systems. That these two notions are intimately related has been intuitively appreciated for quite some time. An aspect of considerable interest is the behavior of these attributes of a state under the action of a noisy channel. Inspired by the notion of entanglement-breaking channels, we define the concept of nonclassicality-breaking channels in a natural manner. We show that the notion of nonclassicality breaking is essentially equivalent---in a clearly defined sense of the term ``essentially''---to the notion of entanglement breaking, as far as bosonic Gaussian channels are concerned. This is notwithstanding the fact that the very notion of entanglement breaking requires reference to a bipartite system, whereas the definition of nonclassicality breaking makes no such reference. Our analysis rests on our classification of channels into nonclassicality-based, as against entanglement-based, types of canonical forms. Our result takes ones intuitive understanding of the close relationship between nonclassicality and entanglement a step closer.
In recent work [Phys. Rev. X 16, 021050], we proposed a unified notion of nonclassicality that applies to arbitrary processes in quantum theory, including individual quantum states, measurements, and sets thereof. This notion is derived from the principle of generalized noncontextuality, but in a novel manner that applies to individual processes rather than full experiments or theories. In the present work, we develop semidefinite-programming-based certificates and witnesses for the nonclassicality of states, sources, measurements, and sets thereof. These theory-dependent methods complement theory-independent approaches based on noncontextuality inequalities. We demonstrate the framework through a variety of explicit examples.