We develop an extension of the process matrix (PM) framework for correlations between quantum operations with no causal order that allows multiple rounds of information exchange for each party compatibly with the assumption of well-defined causal ord
er of events locally. We characterise the higher-order process describing such correlations, which we name the multi-round process matrix (MPM), and formulate a notion of causal nonseparability for it that extends the one for standard PMs. We show that in the multi-round case there are novel manifestations of causal nonseparability that are not captured by a naive application of the standard PM formalism: we exhibit an instance of an operator that is both a valid PM and a valid MPM, but is causally separable in the first case and can violate causal inequalities in the second case due to the possibility of using a side channel.
Causal reasoning is essential to science, yet quantum theory challenges it. Quantum correlations violating Bell inequalities defy satisfactory causal explanations within the framework of classical causal models. What is more, a theory encompassing qu
antum systems and gravity is expected to allow causally nonseparable processes featuring operations in indefinite causal order, defying that events be causally ordered at all. The first challenge has been addressed through the recent development of intrinsically quantum causal models, allowing causal explanations of quantum processes -- provided they admit a definite causal order, i.e. have an acyclic causal structure. This work addresses causally nonseparable processes and offers a causal perspective on them through extending quantum causal models to cyclic causal structures. Among other applications of the approach, it is shown that all unitarily extendible bipartite processes are causally separable and that for unitary processes, causal nonseparability and cyclicity of their causal structure are equivalent.
We define an uncertainty observable, acting on several replicas of a continuous-variable bosonic state, whose trivial uncertainty lower bound induces nontrivial phase-space uncertainty relations for a single copy of the state. By exploiting the Schwi
nger representation of angular momenta in terms of bosonic operators, we construct such an observable that is invariant under symplectic transformations (rotation and squeezing in phase space). We first design a two-copy uncertainty observable, which is a discrete-spectrum operator vanishing with certainty if and only if it is applied on (two copies of) any pure Gaussian state centered at the origin. The non-negativity of its variance translates into the Schrodinger-Robertson uncertainty relation. We then extend our construction to a three-copy uncertainty observable, which exhibits additional invariance under displacements (translations in phase space) so that it vanishes on every pure Gaussian state. The resulting invariance under Gaussian unitaries makes this observable a natural tool to measure the phase-space uncertainty -- or the deviation from pure Gaussianity -- of continuous-variable bosonic states. In particular, it suggests that the Shannon entropy of this observable provides a symplectic-invariant entropic measure of uncertainty in position and momentum phase space.
It is known that the classical framework of causal models is not general enough to allow for causal reasoning about quantum systems. While the framework has been generalized in a variety of different ways to the quantum case, much of this work leaves
open whether causal concepts are fundamental to quantum theory, or only find application at an emergent level of classical devices and measurement outcomes. Here, we present a framework of quantum causal models, with causal relations defined in terms intrinsic to quantum theory, and the central object of study being the quantum process itself. Following Allen et al., Phys. Rev. X 7, 031021 (2017), the approach defines quantum causal relations in terms of unitary evolution, in a way analogous to an approach to classical causal models that assumes underlying determinism and situates causal relations in functional dependences between variables. We show that any unitary quantum circuit has a causal structure corresponding to a directed acyclic graph, and that when marginalising over local noise sources, the resulting quantum process satisfies a Markov condition with respect to the graph. We also prove a converse to this statement. We introduce an intrinsically quantum notion that plays a role analogous to the conditional independence of classical variables, and (generalizing a central theorem of the classical framework) show that d-separation is sound and complete for it in the quantum case. We present generalizations of the three rules of the classical do-calculus, in each case relating a property of the causal structure to a formal property of the quantum process, and to an operational statement concerning the outcomes of interventions. In addition, we introduce and derive similar results for classical split-node causal models, which are more closely analogous to quantum causal models than the classical causal models that are usually studied.
It has been shown that it is theoretically possible for there to exist higher-order quantum processes in which the operations performed by separate parties cannot be ascribed a definite causal order. Some of these processes are believed to have a phy
sical realization in standard quantum mechanics via coherent control of the times of the operations. A prominent example is the quantum SWITCH, which was recently demonstrated experimentally. However, the interpretation of such experiments as realizations of a process with indefinite causal structure as opposed to some form of simulation of such a process has remained controversial. Where exactly are the local operations of the parties in such an experiment? On what spaces do they act given that their times are indefinite? Can we probe them directly rather than assume what they ought to be based on heuristic considerations? How can we reconcile the claim that these operations really take place, each once as required, with the fact that the structure of the presumed process implies that they cannot be part of any acyclic circuit? Here, I offer a precise answer to these questions: the input and output systems of the operations in such a process are generally nontrivial subsystems of Hilbert spaces that are tensor products of Hilbert spaces associated with systems at different times---a fact that is directly experimentally verifiable. With respect to these time-delocalized subsystems, the structure of the process is one of a circuit with a causal cycle. I also identify a whole class of isometric processes, of which the quantum SWITCH is a special case, that admit a physical realization on time-delocalized subsystems. These results unveil a novel structure within quantum mechanics, which may have important implications for physics and information processing.
The symmetry of quantum theory under time reversal has long been a subject of controversy because the transition probabilities given by Borns rule do not apply backward in time. Here, we resolve this problem within a rigorous operational probabilisti
c framework. We argue that reconciling time reversal with the probabilistic rules of the theory requires a notion of operation that permits realizations via both pre- and post-selection. We develop the generalized formulation of quantum theory that stems from this approach and give a precise definition of time-reversal symmetry, emphasizing a previously overlooked distinction between states and effects. We prove an analogue of Wigners theorem, which characterizes all allowed symmetry transformations in this operationally time-symmetric quantum theory. Remarkably, we find larger classes of symmetry transformations than those assumed before. This suggests a possible direction for search of extensions of known physics.
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 assumptio
n 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.
The standard formulation of quantum theory assumes a predefined notion of time. This is a major obstacle in the search for a quantum theory of gravity, where the causal structure of space-time is expected to be dynamical and fundamentally probabilist
ic in character. Here, we propose a generalized formulation of quantum theory without predefined time or causal structure, building upon a recently introduced operationally time-symmetric approach to quantum theory. The key idea is a novel isomorphism between transformations and states which depends on the symmetry transformation of time reversal. This allows us to express the time-symmetric formulation in a time-neutral form with a clear physical interpretation, and ultimately drop the assumption of time. In the resultant generalized formulation, operations are associated with regions that can be connected in networks with no directionality assumed for the connections, generalizing the standard circuit framework and the process matrix framework for operations without global causal order. The possible events in a given region are described by positive semidefinite operators on a Hilbert space at the boundary, while the connections between regions are described by entangled states that encode a nontrivial symmetry and could be tested in principle. We discuss how the causal structure of space-time could be understood as emergent from properties of the operators on the boundaries of compact space-time regions. The framework is compatible with indefinite causal order, timelike loops, and other acausal structures.
We review an approach to fault-tolerant holonomic quantum computation on stabilizer codes. We explain its workings as based on adiabatic dragging of the subsystem containing the logical information around suitable loops along which the information remains protected.
Continuous-time quantum error correction (CTQEC) is an approach to protecting quantum information from noise in which both the noise and the error correcting operations are treated as processes that are continuous in time. This chapter investigates C
TQEC based on continuous weak measurements and feedback from the point of view of the subsystem principle, which states that protected quantum information is contained in a subsystem of the Hilbert space. We study how to approach the problem of constructing CTQEC protocols by looking at the evolution of the state of the system in an encoded basis in which the subsystem containing the protected information is explicit. This point of view allows us to reduce the problem to that of protecting a known state, and to design CTQEC procedures from protocols for the protection of a single qubit. We show how previously studied CTQEC schemes with both direct and indirect feedback can be obtained from strategies for the protection of a single qubit via weak measurements and weak unitary operations. We also review results on the performance of CTQEC with direct feedback in cases of Markovian and non-Markovian decoherence, where we have shown that due to the existence of a Zeno regime in non-Markovian dynamics, the performance of CTQEC can exhibit a quadratic improvement if the time resolution of the weak error-correcting operations is high enough to reveal the non-Markovian character of the noise process.
