No Arabic abstract
We develop rigorous notions of causality and causal separability in the process framework introduced in [Oreshkov, Costa, Brukner, Nat. Commun. 3, 1092 (2012)], which describes correlations between separate local experiments without a prior assumption of causal order between them. We consider the general multipartite case and take into account the possibility for dynamical causal order, where the order of a set of events can depend on other events in the past. Starting from a general definition of causality, we derive an iteratively formulated canonical decomposition of multipartite causal processes, and show that for a fixed number of settings and outcomes for each party, the respective correlations form a polytope whose facets define causal inequalities. In the case of quantum processes, we investigate the link between causality and the theory-dependent notion of causal separability, which we here extend to the multipartite case based on concrete principles. We show that causality and causal separability are not equivalent in general by giving an example of a physically admissible tripartite quantum process that is causal but not causally separable. We also show that there exist causally separable (and hence causal) quantum processes that become non-causal if extended by supplying the parties with entangled ancillas. This example of activation of non-causality motivates the concepts of extensibly causal and extensibly causally separable (ECS) processes, for which the respective property remains invariant under extension with arbitrary ancillas. We characterize the class of tripartite ECS processes in terms of simple conditions on the form of the process matrix, which generalize the form of bipartite causally separable process matrices. We show that the processes realizable by classically controlled quantum circuits are ECS and conjecture that the reverse also holds.
A recent framework of quantum theory with no global causal order predicts the existence of causally nonseparable processes. Some of these processes produce correlations incompatible with any causal order (they violate so-called causal inequalities analogous to Bell inequalities) while others do not (they admit a causal model analogous to a local model). Here we show for the first time that bipartite causally nonseparable processes with a causal model exist, and give evidence that they have no clear physical interpretation. We also provide an algorithm to generate processes of this kind and show that they have nonzero measure in the set of all processes. We demonstrate the existence of processes which stop violating causal inequalities but are still causally nonseparable when mixed with a certain amount of white noise. This is reminiscent of the behavior of Werner states in the context of entanglement and nonlocality. Finally, we provide numerical evidence for the existence of causally nonseparable processes which have a causal model even when extended with an entangled state shared among the parties.
Recently, the possible existence of quantum processes with indefinite causal order has been extensively discussed, in particular using the formalism of process matrices. Here we give a new perspective on this question, by establishing a direct connection to the theory of multi-time quantum states. Specifically, we show that process matrices are equivalent to a particular class of pre- and post- selected quantum states. This offers a new conceptual point of view to the nature of process matrices. Our results also provide an explicit recipe to experimentally implement any process matrix in a probabilistic way, and allow us to generalize some of the previously known properties of process matrices. Furthermore we raise the issue of the difference between the notions of indefinite temporal order and indefinite causal order, and show that one can have indefinite causal order even with definite temporal order.
The counterintuitive features of quantum physics challenge many common-sense assumptions. In an interferometric quantum eraser experiment, one can actively choose whether or not to erase which-path information, a particle feature, of one quantum system and thus observe its wave feature via interference or not by performing a suitable measurement on a distant quantum system entangled with it. In all experiments performed to date, this choice took place either in the past or, in some delayed-choice arrangements, in the future of the interference. Thus in principle, physical communications between choice and interference were not excluded. Here we report a quantum eraser experiment, in which by enforcing Einstein locality no such communication is possible. This is achieved by independent active choices, which are space-like separated from the interference. Our setup employs hybrid path-polarization entangled photon pairs which are distributed over an optical fiber link of 55 m in one experiment, or over a free-space link of 144 km in another. No naive realistic picture is compatible with our results because whether a quantum could be seen as showing particle- or wave-like behavior would depend on a causally disconnected choice. It is therefore suggestive to abandon such pictures altogether.
Two-photon states entangled in continuous variables such as wavevector or frequency represent a powerful resource for quantum information protocols in higher-dimensional Hilbert spaces. At the same time, there is a problem of addressing separately the corresponding Schmidt modes. We propose a method of engineering two-photon spectral amplitude in such a way that it contains several non-overlapping Schmidt modes, each of which can be filtered losslessly. The method is based on spontaneous parametric down-conversion (SPDC) pumped by radiation with a comb-like spectrum. There are many ways of producing such a spectrum; here we consider the simplest one, namely passing the pump beam through a Fabry-Perot interferometer. For the two-photon spectral amplitude (TPSA) to consist of non-overlapping Schmidt modes, the crystal dispersion dependence, the length of the crystal, the Fabry-Perot free spectral range and its finesse should satisfy certain conditions. We experimentally demonstrate the control of TPSA through these parameters. We also discuss a possibility to realize a similar situation using cavity-based SPDC.
Absolute separable states is a kind of separable state that remain separable under the action of any global unitary transformation. These states may or may not have quantum correlation and these correlations can be measured by quantum discord. We find that the absolute separable states are useful in quantum computation even if it contains infinitesimal quantum correlation in it. Thus to search for the class of two-qubit absolute separable states with zero discord, we have derived an upper bound for $Tr(varrho^{2})$, where $varrho$ denoting all zero discord states. In general, the upper bound depends on the state under consideration but if the state belong to some particular class of zero discord states then we found that the upper bound is state independent. Later, it is shown that among these particular classes of zero discord states, there exist sub-classes which are absolutely separable. Furthermore, we have derived necessary conditions for the separability of a given qubit-qudit states. Then we used the derived conditions to construct a ball for $2otimes d$ quantum system described by $Tr(rho^{2})leq Tr(X^{2})+2Tr(XZ)+Tr(Z^{2})$, where the $2otimes d$ quantum system is described by the density operator $rho$ which can be expressed by block matrices $X,Y$ and $Z$ with $X,Zgeq 0$. In particular, for qubit-qubit system, we show that the newly constructed ball contain larger class of absolute separable states compared to the ball described by $Tr(rho^{2})leq frac{1}{3}$. Lastly, we have derived the necessary condition in terms of purity for the absolute separability of a qubit-qudit system under investigation.