Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

arXiv:2306.14344

On steering in the C*-algebraic framework

Michał Banacki

Published Jun 25, 2023• 0 citations
arXivHTMLPDF

Abstract

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.

DOI
10.48550/arxiv.2306.14344

Related papers

Multipartite channel assemblages

Michał Banacki, Ravishankar Ramanathan, Paweł Horodecki

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.

arXiv:2205.05033•May 10, 2022•0 citations

Edge of the set of no-signaling assemblages

Michał Banacki, Ricard Ravell Rodríguez, Paweł Horodecki

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.

arXiv:2008.12325•Physical Review A•May 27, 2021•2 citations

Device-independent quantification of steerability in tripartite scenario

Xin-Hong Wang, Miao-Tzu Lin, Shin-Liang Chen

Quantum steering captures the ability of one party, through local measurements on a shared entangled state, to affect the conditional states held by distant parties in a way that admits no local explanation. Its device-independent (DI) quantification -- requiring no characterization of any state or measurement -- has been developed in the bipartite setting, notably through the framework of assemblage moment matrices (AMMs) [Phys. Rev. Lett. 116, 240401 (2016)], but has remained largely unexplored beyond it. Here, we extend the AMM framework to tripartite steering, covering both the scenario in which two parties jointly steer a third one (2-steer-1) and that in which a single party steers the remaining two (1-steer-2). For each scheme, we construct a semidefinite program that, from the observed correlations -- or merely from the violation of a Bell inequality -- yields lower bounds on the steering robustness of the underlying assemblage. As a by-product, our bounds also certify, in a DI manner, the incompatibility of the measurements performed by the steering parties.

quant-pharXiv:2609.36907•Sep 30, 2026•0 citations

Can every set of incompatible measurements lead to genuine multipartite steering?

Lucas E. A. Porto, Lucas Tendick, Daniel Cavalcanti +2 more

Measurement incompatibility and bipartite quantum steering are known to display a strong connection: a set of measurements is incompatible if and only if it can lead to bipartite steering. Despite such a close link between these concepts in bipartite scenarios, little is known in the multipartite setting, where notions of genuine multipartite correlations play major roles. In this work we prove that, as in the bipartite case, incompatibility is also necessary and sufficient for genuine multipartite steering in any multipartite scenario with a single uncharacterised party. Interestingly, genuine multipartite steering can be extracted from any set of incompatible measurements using states which are not SLOCC equivalent, such as GHZ and W states. In contrast, we prove that this result does not hold in scenarios with more than one uncharacterised party, by presenting a set of incompatible measurements that can never lead to genuine multipartite steering in these cases. In order to obtain our main results, we introduce methods tailored for multipartite correlations, paving the way to understanding the role of measurement incompatibility beyond bipartite scenarios.

quant-pharXiv:2603.25345•Physical Review Letters•Mar 27, 2026•0 citations

Unitary induced channels and Tsirelson's problem

Michał Banacki, Paweł Horodecki

Motivated by a recent progress concerning quantum commuting and quantum tensor models of composed systems we investigate a notion of (generalized) unitary induced quantum channel. Using properties of Brown algebras we provide an equivalent characterization of discussed families in both tensor and commuting paradigms. In particular, we provide an equivalent formulation of Tsirelson's conjecture (Connes' embedding problem) in terms of considered paradigms based on protocols which do not require measurements performed on infinite-dimensional subsystems. As a result we show that there is a difference between quantum commuting and quantum tensor models for generalized unitary induced channels.

arXiv:2508.21808•Aug 29, 2025•0 citations

Quantum steering is equivalent to state-preserving conditional expectations

Lauritz van Luijk, Amine Marrakchi, Tobias Osborne +2 more

In systems with infinitely many degrees of freedom, fundamental results from quantum information theory can fail. An important example is the uniqueness of purifications: Even when two subsystems, described by commuting von Neumann algebras $A$ and $B$, are tomographically complete, purifications of a state on $A$ need not be related by unitaries in $B$. It was recently shown that this occurs precisely when Haag duality fails, i.e., when the commutant $B'$ is strictly larger than $A$. This raises the question of which fundamental entanglement properties survive in such a setting. We show that, for a pure global state, the ability to steer any ensemble decomposition of the marginal state on $A$ by measurements on $B$ is equivalent to the existence of a state-preserving conditional expectation from $B'$ onto $A$. This establishes a direct connection between quantum steering and subfactor theory. The key observation is that steering is equivalent to the existence of extensions of ensemble decompositions from $A$ to $B'$. Working with general Jordan algebras, we prove that unital positive maps have state-preserving left inverses if and only if ensemble decompositions can be lifted. For the inclusion $A\hookrightarrow B'$, a left inverse is precisely a conditional expectation, yielding the characterization above.

quant-pharXiv:2608.10783•Aug 12, 2026•0 citations
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=2m = 2m=2) and more than two outcomes (k>2k > 2k>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.
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.
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.
Quantum steering captures the ability of one party, through local measurements on a shared entangled state, to affect the conditional states held by distant parties in a way that admits no local explanation. Its device-independent (DI) quantification -- requiring no characterization of any state or measurement -- has been developed in the bipartite setting, notably through the framework of assemblage moment matrices (AMMs) [Phys. Rev. Lett. 116, 240401 (2016)], but has remained largely unexplored beyond it. Here, we extend the AMM framework to tripartite steering, covering both the scenario in which two parties jointly steer a third one (2-steer-1) and that in which a single party steers the remaining two (1-steer-2). For each scheme, we construct a semidefinite program that, from the observed correlations -- or merely from the violation of a Bell inequality -- yields lower bounds on the steering robustness of the underlying assemblage. As a by-product, our bounds also certify, in a DI manner, the incompatibility of the measurements performed by the steering parties.
Measurement incompatibility and bipartite quantum steering are known to display a strong connection: a set of measurements is incompatible if and only if it can lead to bipartite steering. Despite such a close link between these concepts in bipartite scenarios, little is known in the multipartite setting, where notions of genuine multipartite correlations play major roles. In this work we prove that, as in the bipartite case, incompatibility is also necessary and sufficient for genuine multipartite steering in any multipartite scenario with a single uncharacterised party. Interestingly, genuine multipartite steering can be extracted from any set of incompatible measurements using states which are not SLOCC equivalent, such as GHZ and W states. In contrast, we prove that this result does not hold in scenarios with more than one uncharacterised party, by presenting a set of incompatible measurements that can never lead to genuine multipartite steering in these cases. In order to obtain our main results, we introduce methods tailored for multipartite correlations, paving the way to understanding the role of measurement incompatibility beyond bipartite scenarios.
Motivated by a recent progress concerning quantum commuting and quantum tensor models of composed systems we investigate a notion of (generalized) unitary induced quantum channel. Using properties of Brown algebras we provide an equivalent characterization of discussed families in both tensor and commuting paradigms. In particular, we provide an equivalent formulation of Tsirelson's conjecture (Connes' embedding problem) in terms of considered paradigms based on protocols which do not require measurements performed on infinite-dimensional subsystems. As a result we show that there is a difference between quantum commuting and quantum tensor models for generalized unitary induced channels.
In systems with infinitely many degrees of freedom, fundamental results from quantum information theory can fail. An important example is the uniqueness of purifications: Even when two subsystems, described by commuting von Neumann algebras AAA and BBB, are tomographically complete, purifications of a state on AAA need not be related by unitaries in BBB. It was recently shown that this occurs precisely when Haag duality fails, i.e., when the commutant B′B'B′ is strictly larger than AAA. This raises the question of which fundamental entanglement properties survive in such a setting. We show that, for a pure global state, the ability to steer any ensemble decomposition of the marginal state on AAA by measurements on BBB is equivalent to the existence of a state-preserving conditional expectation from B′B'B′ onto AAA. This establishes a direct connection between quantum steering and subfactor theory. The key observation is that steering is equivalent to the existence of extensions of ensemble decompositions from AAA to B′B'B′. Working with general Jordan algebras, we prove that unital positive maps have state-preserving left inverses if and only if ensemble decompositions can be lifted. For the inclusion A↪B′A\hookrightarrow B'A↪B′, a left inverse is precisely a conditional expectation, yielding the characterization above.