Process tomography, the experimental characterization of physical processes, is a central task in science and engineering. Here, we investigate the axiomatic requirements that guarantee the in-principle feasibility of process tomography in general physical theories. Specifically, we explore the requirement that process tomography should be achievable with a finite number of auxiliary systems and with a finite number of input states. We show that this requirement is satisfied in every theory equipped with universal extensions, that is, correlated states from which all other correlations can be generated locally with non-zero probability. We show that universal extensions are guaranteed to exist in two cases: (1) theories permitting conclusive state teleportation, and (2) theories satisfying three properties of Causality, Pure Product States, and Purification. In case (2), the existence of universal extensions follows from a symmetry property of Purification, whereby all pure bipartite states with the same marginal on one system are locally interconvertible. Crucially, our results hold even in theories that do not satisfy Local Tomography, the property that the state of any composite system can be identified from the correlations of local measurements. Summarizing, the existence of universal extensions, without any additional requirement of Local Tomography, is a sufficient guarantee for the characterizability of physical processes using a finite number of auxiliary systems and with a finite number of input systems.
Process tomography, the experimental characterization of physical processes, is a central task in science and engineering. Here, we investigate the axiomatic requirements that guarantee the in-principle feasibility of process tomography in general physical theories. Specifically, we explore the requirement that process tomography should be achievable with a finite number of auxiliary systems and with a finite number of input states. We show that this requirement is satisfied in every theory equipped with universal extensions, that is, correlated states from which all other correlations can be generated locally with non-zero probability. We show that universal extensions are guaranteed to exist in two cases: (1) theories permitting conclusive state teleportation, and (2) theories satisfying three properties of Causality, Pure Product States, and Purification. In case (2), the existence of universal extensions follows from a symmetry property of Purification, whereby all pure bipartite states with the same marginal on one system are locally interconvertible. Crucially, our results hold even in theories that do not satisfy Local Tomography, the property that the state of any composite system can be identified from the correlations of local measurements. Summarizing, the existence of universal extensions, without any additional requirement of Local Tomography, is a sufficient guarantee for the characterizability of physical processes using a finite number of auxiliary systems and with a finite number of input systems.
Process tomography, the experimental characterization of physical processes, is a central task in science and engineering. Here we investigate the axiomatic requirements that guarantee the in-principle feasibility of process tomography in general physical theories. Specifically, we explore the requirement that process tomography should be achievable with a finite number of auxiliary systems. We show that this requirement is satisfied in every theory equipped with universal extensions, that is, correlated states from which all other correlations can be generated with non-zero probability. We show that universal extensions exist in two cases: (1) theories permitting conclusive state teleportation, and (2) theories satisfying three properties of Causality, Pure Product States, and Purification. In the second case, the existence of universal extensions follows from a symmetry property of Purification, whereby all pure bipartite states with the same marginal on one system are interconvertible. Crucially, our results hold even in theories that do not satisfy Local Tomography, the property that the state of any composite system can be identified from the correlations of local measurements. Summarizing, the existence of universal extensions, without any additional requirement of Local Tomography, is a sufficient guarantee for the characterizability of physical processes using a finite number of auxiliary systems.
Processes with indefinite causal order can arise when quantum theory is locally valid and they allow accomplishing new informational tasks. Despite recent progress, the correlations allowed in such processes have not been clearly understood. Here, we propose to study the constraints on information exchange through such processes in a paradigm of locally sequential operations. In this paradigm, we identify an information-theoretic principle constraining the correlations, termed parity erasure, which follows from the local validity of causality. We show that this principle completely characterizes the local-tomography representation of higher-order processes with indefinite causal order: among all multipartite channels, the ones describing valid higher-order processes are those and only those whose input-output correlations respect parity erasure. This approach reveals a fundamental property of information exchange in scenarios with indefinite causal structure and opens a new arena for exploring their potential applications.
Standard quantum process tomography on a d-dimensional input is performed by preparing several states of an input probe that then evolve under the action of the quantum channel corresponding to the progress. The final states of the probe are reconstructed by means of state tomography. An alternative is offered by ancilla-assisted process tomography: a single probe-ancilla state is used, and the correlations existing between probe and ancilla are exploited to fully reconstruct the information on the channel. In order for ancilla-assisted process tomography to be possible, the probe-ancilla input state does not need to be entangled, but still needs to have maximal operator Schmidt rank. Here we establish and analyze a framework for process tomography that interpolates between these two methods, aiming at exploiting any correlations that may exist between probe and ancilla to allow process tomography with as few input preparations as possible, when the probe-ancilla state may be operator-Schmidt-rank deficient. The main object of our investigation is the minimal number of initial local operations on the input probe for a given starting probe-ancilla state that are needed to allow process tomography. We prove that such a number scales inversely proportional to the operator Schmidt rank of the input probe-ancilla state for arbitrary local input processing. We also provide results for the case where this initial local processing is restricted to be a unitary rotation, in particular showing that the mentioned scaling is satisfied for pure input entangled states, and that in the case of mixed states there might be extreme cases where the fixed input probe-ancilla state provides information on a ≈d2/2-dimensional subspace of the operator space and a single additional input unitary rotation allows process tomography.
The idea that events are equipped with a partial causal order is central to our understanding of physics in the tested regimes: given two pointlike events A and B , either A is in the causal past of B , B is in the causal past of A , or A and B are space-like separated. Operationally, the meaning of these order relations corresponds to constraints on the possible correlations between experiments performed in the vicinities of the respective events: if A is in the causal past of B , an experimenter at A could signal to an experimenter at B but not the other way around, while if A and B are space-like separated, no signaling is possible in either direction. In the context of a concrete physical theory, the correlations compatible with a given causal configuration may obey further constraints. For instance, space-like correlations in quantum mechanics arise from local measurements on joint quantum states, while time-like correlations are established via quantum channels. Similarly to other variables, however, the causal order of a set of events could be random, and little is understood about the constraints that causality implies in this case. A main difficulty concerns the fact that the order of events can now generally depend on the operations performed at the locations of these events, since, for instance, an operation at A could influence the order in which B and C occur in A ’s future. So far, no formal theory of causality compatible with such dynamical causal order has been developed. Apart from being of fundamental interest in the context of inferring causal relations, such a theory is imperative for understanding recent suggestions that the causal order of events in quantum mechanics can be indefinite. Here, we develop such a theory in the general multipartite case. Starting from a background-independent definition of causality, we derive an iteratively formulated canonical decomposition of multipartite causal correlations. For a fixed number of settings and outcomes for each party, these correlations form a polytope whose facets define causal inequalities. The case of quantum correlations in this paradigm is captured by the process matrix formalism. We investigate the link between causality and the closely related notion of causal separability of quantum processes, which we here define rigorously in analogy with the link between Bell locality and separability of quantum states. 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 are causally separable quantum processes that become non-causal if extended by supplying the parties with entangled ancillas. This motivates the concepts of extensibly causal and extensibly causally separable (ECS) processes, for which the respective property remains invariant under extension. We characterize the class of ECS quantum processes in the tripartite case via simple conditions on the form of the process matrix. We show that the processes realizable by classically controlled quantum circuits are ECS and conjecture that the reverse also holds.
Quantum process tomography (QPT) methods aim at identifying, i.e., estimating, a given quantum process. QPT is a major quantum information processing tool, since it especially allows one to characterize the actual behavior of quantum gates, which are the building blocks of quantum computers. However, usual QPT procedures are complicated, since they set several constraints on the quantum states used as inputs of the process to be characterized. In this paper, we extend QPT so as to avoid two such constraints. On the one hand, usual QPT methods require one to know, hence to very precisely control (i.e., prepare), the specific quantum states used as inputs of the considered quantum process, which is cumbersome. We therefore propose a blind, or unsupervised, extension of QPT (i.e., BQPT), which means that this approach uses input quantum states whose values are unknown and arbitrary, except that they are requested to meet some general known properties (and this approach exploits the output states of the considered quantum process). On the other hand, usual QPT methods require one to be able to prepare many copies of the same (known) input state, which is constraining. In contrast, we propose ``single-preparation BQPT methods'' (SBQPT) , i.e., methods which can operate with only one instance of each considered input state. These two concepts are here illustrated with practical (S)BQPT methods which are numerically validated, in the case when (i) random pure states are used as inputs and their required properties are especially related to the statistical independence of the random variables that define them and (ii) the considered quantum process is based on cylindrical-symmetry Heisenberg spin coupling. As a benchmark, we moreover introduce nonblind QPT methods dedicated to the considered Heisenberg process, we analyze their theoretical behavior (this requires the tools developed in this paper for random input states), and we numerically test their sensitivity to systematic and nonsystematic errors, which are most likely to occur in practice. This shows that, even for very low preparation errors (especially systematic ones), these nonblind QPT methods yield much lower performance than our SBQPT methods. Our blind and single-preparation QPT concepts may be extended, e.g., to a much wider class of processes and to SBQPT methods based on other quantum state properties, as outlined in this paper.
An operational probabilistic theory where all systems are classical, and all pure states of composite systems are entangled, is constructed. The theory is endowed with a rule for composing an arbitrary number of systems, and with a nontrivial set of transformations. Hence, we demonstrate that the presence of entanglement is independent of the existence of incompatible measurements. We then study a variety of phenomena occurring in the theory, some of them contradicting both classical and quantum theories, including cloning, entanglement swapping, dense coding, additivity of classical capacities, nonmonogamous entanglement, hypersignaling. We also prove the existence, in the theory, of a universal processor. The theory is causal and satisfies the no-restriction hypothesis. At the same time, it violates a number of information-theoretic principles enjoyed by quantum theory, most notably, local discriminability, purity of parallel composition of states, and purification. Moreover, we introduce an exhaustive procedure to construct generic operational probabilistic theories, and a sufficient set of conditions to verify their consistency. In addition, we prove a characterization theorem for the parallel composition rules of arbitrary theories, and specialize it to the case of bilocal-tomographic theories. We conclude pointing out some open problems. In particular, on the basis of the fact that every separable state of the theory is a statistical mixture of entangled states, we formulate a no-go conjecture for the existence of a local-realistic ontological model.