We prove a conjecture by DiVincenzo, which in the terminology of Preskill et al. states that “semicausal operations are semilocalizable”. That is, we show that any operation on the combined system of Alice and Bob, which does not allow Bob to send messages to Alice, can be represented as an operation by Alice, transmitting a quantum particle to Bob, and a local operation by Bob. The proof is based on the uniqueness of the Stinespring representation for a completely positive map. We sketch some of the problems in transferring these concepts to the context of relativistic quantum field theory.
Information causality (IC) was introduced as a physical principle that imposes constraints on the non-local correlations between two parties (Alice and Bob) in a Bell scenario. Specifically, it states that the information that Bob can gain about an
n-bit database held by Alice is bounded by the information she communicates to him. To date, the question whether IC for any
n∈N singles out the set of quantum correlations remains open, meaning that it is unknown whether for any number of inputs
m and outputs
d of the two parties the set of correlations that satisfy IC exactly coincides with the quantum correlations. In this work, we answer this question in the negative. Firstly, we show that for any finite database length
n≥2, there is a bipartite set of correlations that satisfies IC for all compatible protocols and that exhibits post-quantum correlations in the Bell scenario with
n+1 inputs and
2 outcomes per party. This result relies on constructing an entropic proof of IC for GPTs that may be of independent interest. We further show that in the Bell scenario with
n+1 inputs and
2 outcomes per party, our constructed sets of correlations lead to neither a superset nor a subset of the quantum correlations. Secondly, we construct a set of correlations in the Bell scenario with
3 inputs and
2 outputs per party that satisfies IC (for all database sizes
n∈N) and that includes post-quantum points. Consequently, all known formulations of information causality fail to fully characterize the bipartite set of quantum correlations, already in the
3-input,
2-outcome Bell scenario.
A classical nonsignaling (or causal) box is an operation on classical bipartite input with classical bipartite output such that no signal can be sent from a party to the other through the use of the box. The quantum counterpart of such boxes, i.e., completely positive trace-preserving maps on bipartite states, though studied in literature, have been investigated less intensively than classical boxes. We present here some results and remarks about such maps. In particular, we analyze: the relations among properties as causality, nonlocality and entanglement; the connection between causal and entanglement breaking maps; the characterization of causal maps in terms of the classification of states with fixed reductions. We also provide proofs of the fact that every nonproduct unitary transformation is not causal, as well as for the equivalence of the so-called semicausality and semilocalizability properties.
As noted by Sorkin, regarding quantum instruments whose Kraus operators are localizable within some spacetime region as operations accessible therein leads to superluminal communication. This so-called Sorkin paradox can be resolved by further constraining the set of allowed local operations in quantum field theory (QFT). In this spirit, Fewster and Verch proposed a framework for local QFT operations that generalizes non-relativistic quantum measurement theory and does not lead to Sorkin-like paradoxes. Shortly afterwards, Jubb (and later Oeckl) identified the minimal conditions that QFT instruments must satisfy to be compatible with Einstein's causality. In this work, we study both approaches in the quantum field theory of the free scalar field. First, we prove that a very wide class of causal instruments is FV-realizable: namely, those whose measurement channels are random displacements of the field operators. As we show, this class allows implementing arbitrary instruments in a heralded, probabilistic way, as well as non-demolition measurements deterministically. Second, we construct examples of causal channels that do not admit an approximate FV realization. Some of such causal, not FV-realizable channels violate basic physical principles, so they should not be part of any measurement theory for QFT. Third, we investigate the difficulty of characterizing the set of QFT channels that can be generated through the composition of several FV schemes. In this regard, we find a countable family of simple QFT channels for which no Turing machine can discriminate between channels within or far away from the implementable set.
In this work, we study the Localizability Problem for relativistic quantum systems.We do it on two fronts.In the first part of this thesis, we extend Newton-Wigner's localization approach to homogeneous globally hyperbolic spacetimes, defining generalized (local) Newton-Wigner position operators.We also give criteria to classify which unitary representations of the spacetime isometry group give origin to localizable representations, showing that the stabilizer group of the spatial isometry group plays a fundamental role.In the second part, we present a novel approach to the Localizability Problem, utilizing techniques from the Modular Theory of Tomita-Takesaki.We argue that position measurements must follow logical principles, incorporated in a mathematical structure referred to as a logic.The core idea is to include the causality structure of Minkowski spacetime in this logic so that the causality problems inherent in Newton-Wigner's approach are solved.We do it through the Modular Localization map [1] for arbitrary massive representations of P + .Our main contribution is the construction of a (quasi-) probability measure on the logic structure of spacetime for each algebraic state (which we interpret as the probability of detection of the system in these spacetime regions), and of a position observable in the logic-theoretic sense.Additionally, we compare our new approach with Newton-Wigner's localization, showing they are approximate in certain regimes.
The conflict between relativistic causality and localizability is analysed in the light of the existence of unsharp localization observables. A theorem due to Schlieder is generalized, showing that the assumption of local commutativity implies the localization observable in question to be unsharp in a strong sense. Furthermore, a recent generalization of a theorem of Lüders is applied to demonstrate that local commutativity is a necessary consequence of Einstein causality even in the case of unsharp observables if they admit local measurements. These findings raise the question of whether localization observables can be measured by means of local operations.