We consider the most general correlations that can be obtained by a group of parties whose causal relations are well-defined, although possibly probabilistic and dependent on past parties' operations. We show that, for any fixed number of parties and inputs and outputs for each party, the set of such correlations forms a convex polytope, whose vertices correspond to deterministic strategies, and whose (nontrivial) facets define so-called causal inequalities. We completely characterize the simplest tripartite polytope in terms of its facet inequalities, propose generalizations of some inequalities to scenarios with more parties, and show that our tripartite inequalities can be violated within the process matrix formalism, where quantum mechanics is locally valid but no global causal structure is assumed.

The Kochen-Specker theorem shows the impossibility for a hidden variable theory to consistently assign values to certain (finite) sets of observables in a way that is non-contextual and consistent with quantum mechanics. If we require non-contextuality, the consequence is that many observables must not have pre-existing definite values. However, the Kochen-Specker theorem does not allow one to determine which observables must be value indefinite. In this paper we present an improvement on the Kochen-Specker theorem which allows one to actually locate observables which are provably value indefinite. Various technical and subtle aspects relating to this formal proof and its connection to quantum mechanics are discussed. This result is then utilized for the proposal and certification of a dichotomic quantum random number generator operating in a three-dimensional Hilbert space.Comment: 31 pages, 5 figures, final versio

A completely depolarising quantum channel always outputs a fully mixed state and thus cannot transmit any information. In a recent Letter\cite{ebler18}, it was however shown that if a quantum state passes through two such channels in a quantum superposition of different orders---a setup known as the ``quantum switch''---then information can nevertheless be transmitted through the channels. Here, we show that a similar effect can be obtained when one coherently controls between sending a target system through one of two identical depolarising channels. Whereas it is tempting to attribute this effect in the quantum switch to the indefinite causal order between the channels, causal indefiniteness plays no role in this new scenario. This raises questions about its role in the corresponding effect in the quantum switch. We study this new scenario in detail and we see that, when quantum channels are controlled coherently, information about their specific implementation is accessible in the output state of the joint control-target system. This allows two different implementations of what is usually considered to be the same channel to therefore be differentiated. More generally, we find that to completely describe the action of a coherently controlled quantum channel, one needs to specify not only a description of the channel (e.g., in terms of Kraus operators), but an additional ``transformation matrix'' depending on its implementation.

Abstract:The well-known Robertson-Schrödinger uncertainty relations have state-dependent lower bounds, which are trivial for certain states. We present a general approach to deriving tight state-independent uncertainty relations for qubit measurements that completely characterise the obtainable uncertainty values. This approach can give such relations for any number of observables, and we do so explicitly for arbitrary pairs and triples of qubit measurements. We show how these relations can be transformed into equivalent tight entropic uncertainty relations. More generally, they can be expressed in terms of any measure of uncertainty that can be written as a function of the expectation value of the observable for a given state.

The Kochen-Specker theorem proves the inability to assign, simultaneously, noncontextual definite values to all (of a finite set of) quantum mechanical observables in a consistent manner. If one assumes that any definite values behave noncontextually, one can nonetheless only conclude that some observables (in this set) are value indefinite.In this paper we prove a variant of the Kochen-Specker theorem showing that, under the same assumption of noncontextuality, if a single one-dimensional projection observable is assigned the definite value 1, then no one-dimensional projection observable that is incompatible (i.e., non-commuting) with this one can be assigned consistently a definite value. Unlike standard proofs of the Kochen-Specker theorem, in order to localise and show the extent of value indefiniteness this result requires a constructive method of reduction between KochenSpecker sets.If a system is prepared in a pure state |ψ , then it is reasonable to assume that any value assignment (i.e., hidden variable model) for this system assigns the value 1 to the observable projecting onto the one-dimensional linear subspace spanned by |ψ , and the value 0 to those projecting onto linear subspaces orthogonal to it. Our result can be interpreted, under this assumption, as showing that the outcome of a measurement of any other incompatible one-dimensional projection observable cannot be determined in advance, thus formalising a notion of quantum randomness.

The concept of causal nonseparability has been recently introduced, in opposition to that of causal separability, to qualify physical processes that locally abide by the laws of quantum theory, but cannot be embedded in a well-defined global causal structure. While the definition is unambiguous in the bipartite case, its generalisation to the multipartite case is not so straightforward. Two seemingly different generalisations have been proposed, one for a restricted tripartite scenario and one for the general multipartite case. Here we compare the two, showing that they are in fact inequivalent. We propose our own definition of causal (non)separability for the general case, which-although a priori subtly different -turns out to be equivalent to the concept of 'extensible causal (non)separability' introduced before, and which we argue is a more natural definition for general multipartite scenarios. We then derive necessary, as well as sufficient conditions to characterise causally (non)separable processes in practice. These allow one to devise practical tests, by generalising the tool of witnesses of causal nonseparability. J Wechs et ali.e. the unitaries are applied in a 'superposition of orders'. The output state is then sent to a third party C (Charlie) who can measure the control qubit, and possibly also the target system. The protocol just described can straightforwardly be generalised to the case where A and Bʼs operations are general quantum instruments instead of unitaries. This so-called quantum switch can be understood as a quantum supermap [23], or higher order transformation, that maps A and Bʼs local operations to the overall global transformation. It cannot be realised by inserting the local operations into a circuit with a well-defined causal order, and therefore constitutes a new resource for quantum computation that goes beyond causally ordered quantum circuits [4]. It has attracted particular interest as a consequence of being readily implementable, and indeed several implementations have been experimentally realised [24-28]. Consequent work has sought to clarify whether such implementations can New J. Phys. 21 (2019) 013027 J Wechs et al New J. Phys. 21 (2019) 013027 J Wechs et al 12 1 2 (which may be empty), respectively, one must have 18 New J. Phys. 21 (2019) 013027 J Wechs et al W k M k 1 1 is causally separable. 30 New J. Phys. 21 (2019) 013027 J Wechs et al

No abstract

No abstract