Following recent advancements, we consider a scenario of multipartite postquantum steering and general no-signaling assemblages. We introduce the notion of the edge of the set of no-signaling assemblages and we present its characterization. Next, we use this concept to construct witnesses for no-signaling assemblages without a local hidden state model. Finally, in the simplest nontrivial case of steering with two untrusted subsystems, we discuss the possibility of quantum realization of assemblages on the edge. In particular, for three-qubit states, we obtain a no-go-type result, which states that it is impossible to produce an assemblage on the edge using measurements described by positive operator valued measures as long as the rank of a given state is greater than or equal to 3.
Following recent advancements, we consider a scenario of multipartite postquantum steering and general no-signaling assemblages. We introduce the notion of the edge of the set of no-signaling assemblages and we present its characterization. Next, we use this concept to construct witnesses for no-signaling assemblages without a local hidden state model. Finally, in the simplest nontrivial case of steering with two untrusted subsystems, we discuss the possibility of quantum realization of assemblages on the edge. In particular, for three-qubit states, we obtain a no-go-type result, which states that it is impossible to produce an assemblage on the edge using measurements described by positive operator valued measures as long as the rank of a given state is greater than or equal to 3.
Motivated by the recent studies on post-quantum steering, we generalize the notion of bipartite channel steering by introducing the concept of multipartite no-signaling channel assemblages. We first show that beyond the bipartite case, the no-signaling and quantum descriptions of channel assemblages do not coincide. Using the Choi-Jamiołkowski isomorphism, we present a complete characterization of these classes of assemblages and use this characterization to provide sufficient conditions for extremality of quantum channel assemblages within the set of all no-signaling channel assemblages. Finally, we introduce and discuss a relaxed version of channel steering where only certain subsystems obey the no-signaling constraints. In this latter asymmetric scenario we show the possibility of certifying a perfect key bit that is secure against a general no-signaling eavesdropper.
We develop a unified approach to classical, quantum and post-quantum steering. The framework is based on uncharacterised (black-box) parties performing quantum measurements on their share of a (possibly unphysical) quantum state, and its starting point is the characterisation of general no-signalling assemblages via non-positive local hidden-state models, which will be defined in this work. By developing a connection to entanglement witnesses, this formalism allows for new definitions of families of assemblages, in particular via (i) non-decomposable positive maps and (ii) unextendible product bases. The former proves to be useful for constructing post-quantum assemblages with the built-in feature of yielding only quantum correlations in Bell experiments, while the latter always gives certifiably post-quantum assemblages. Finally, our framework is equipped with an inherent quantifier of post-quantum steering, which we call the negativity of post-quantum steering. We postulate that post-quantum steering should not increase under one-way quantum operations from the steered parties to the steering parties, and we show that, in this sense, the negativity of post-quantum steering is a convex post-quantum-steering monotone.
We discuss a scenario of bipartite steering with local subsystems of the parties modeled by certain operator algebras. In particular, we formalize the notion of quantum assemblages in a commuting observables paradigm and focus on equivalent descriptions of such objects providing a systematic analysis of previously scattered approaches. We provide necessary and sufficient conditions for the equivalence of quantum commuting and tensor models that is stable under extensions of the trusted subsystem by arbitrary finite-dimensional ancillae. As a result, we show that the gap between two models of bipartite steering can be observed in an arbitrary scenario with two measurement settings (m=2) and more than two outcomes (k>2). We also demonstrate that the identified gap is independent of nonlocality arising from the refutation of Tsirelson's conjecture. Finally, we provide no-go results concerning the possibility of post-quantum steering in this most general bipartite paradigm and discuss related corollaries regarding free probability and operator system approach as well as a link to Tsirelson's problem.
The study of stronger-than-quantum phenomena (i.e., postquantum) has enabled a deeper understanding of the scope of quantum theory. Much is known about the case of correlations in Bell scenarios, where the device-independent framework allowed us to explore its possibilities independently of the formalism of quantum theory. However, less is known about the phenomenon of Einstein-Podolsky-Rosen steering. Here, the `characterised parties' are assumed to describe their systems locally through the quantum formalism, which inconveniences a theory-independent description. In addition, a theorem by Gisin and Hughston, Josza and Wootters further hindered the discovery of the phenomenon. The study of postquantum steering, initiated about a decade ago, has been quite fruitful, including: the development of mathematical formalisms that frame the effect, resource theories that quantify it as a resource, and activation protocols that relate it to Bell correlations. However, all these results have a limitation in common: they apply to scenarios with only one quantum party.
Here we articulate the concept of postquantum steering for scenarios with multiple quantum parties, bringing in the missing piece to the puzzle. We provide an algorithm to certify postquantumness, which in some cases also certifies quantumness. We also define a hierarchy of semidefinite programs that bounds the set of quantum assemblages from the outside. Moreover, we show that the study of postquantum steering is fundamentally relevant since it is not just a mere mathematical curiosity allowed by the no-signalling principle, but it may arise within compositional theories beyond quantum theory. Our work further discovers a peculiarity of steering: its theory-independent description fundamentally prevents a direct connection with Bell nonlocality -- e.g., nonclassical Bell correlations do not imply nonclassical steering.
The POVM measurement assemblage consisting of a set of positive operator-value measurements (POVMs) is an important tool for describing and studying the non-locality, quantum steering and quantum correlation of composite quantum systems. In this paper, we first introduce the definition of joint measurability of the POVM measurement assemblage MS consisting of a finite number of POVMs and then prove that the joint measurability of MS is equivalent to its compatibility. We give a general form of a POVM measurement which is jointly measurable with the one-rank projection measurement. It is proved that the POVM measurement assemblage MS is jointly measurable if and only if the corresponding “row stochastic operator matrix" MS composed of MS can be expressed as an “operator convex combination" of {0,IS}—the row stochastic operator matrices. In particular, it is proved that the POVM measurement assemblage M(n0,n1) induced by two three-dimensional real unit vectors ni(i=0,1) is jointly measurable if and only if n0=±n1. As an application, we obtain a necessary and sufficient condition under which a two-qubit quantum state is unsteerable with M(n0,n1).
In this work, we will consider the star network scenario where the central party is trusted while all the edge parties (with a number of n) are untrusted. Network steering is defined with an n local hidden state model which can be viewed as a special kind of n local hidden variable model. Two different types of sufficient criteria, nonlinear steering inequality and linear steering inequality will be constructed to verify the quantum steering in a star network. Based on the linear steering inequality, how to detect the network steering with a fixed measurement will be discussed.