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:2605.09710

Local state antimarking : Nonlocality without entanglement

Biswadeep Chatterjee, Tathagata Gupta, Pratik Ghosal, Samrat Sen

quant-phSubmitted May 10, 2026• Announced May 12, 2026• 0 citations• Revised Sep 28, 2026 (v2)
v1 · May 10, 2026v2 · Sep 28, 2026
arXivHTMLPDF

Abstract

A set of quantum states is said to be antidistinguishable if, upon being given a randomly chosen state from the set, it is possible to exclude with certainty a state that was definitely not prepared. We study quantum nonlocality within the framework of local state exclusion and prove that any set of multipartite pure states containing a state that is orthogonal to all the others is locally antidistinguishable. Next, we introduce the task of $\textit{local state antimarking}$, where, instead of a single state, a non-repetitive sequence of states from a known set of multipartite states is randomly selected and distributed to spatially separated parties, whose objective is to identify, using LOCC, at least one sequence that was not supplied. We present an ensemble of product states that is not globally antidistinguishable; yet, by choosing states from it without replacement, one can construct sequences that can be perfectly excluded globally but, importantly, not locally. This reveals a hitherto unexplored form of `nonlocality without entanglement'. Finally, for a given ensemble, we compare its local antidistinguishability and antimarkability with its conclusive local distinguishability and markability. We demonstrate that no strict hierarchy exists between these paradigms: there exist product-state ensembles that permit one task while strictly forbidding the other, and vice versa.

Comments
15 pages, 3 figures, Revised Version

Related papers

Nonlocality without entanglement in exclusion of quantum states

Satyaki Manna, Anandamay Das Bhowmik

We study the task of quantum state exclusion, focusing on antidistinguishability and its generalization to $x$-antidistinguishability, under global measurements and local operations with classical communication (LOCC). We also introduce weak and strong notions of antidistinguiahbaility ($x$-antidistinguishability) depending on whether all states or all $x$-tuples are exhaustively eliminated. Our results reveal striking differences between state exclusion and the more familiar task of state discrimination. In particular, we show that LOCC antidistinguishability of multipartite product states is symmetric with respect to the initiating party but this symmetry breaks down for higher-order $x$-antidistinguishability. Most notably, we establish a manifestation of \emph{nonlocality without entanglement} in the context of state exclusion: we prove that three bipartite product states can be globally antidistinguishable while failing to be LOCC antidistinguishable, demonstrating that three is the minimal number of states required for this phenomenon. We further extend this separation to $2$-antidistinguishability and present example exhibiting the same type of nonlocality. At last, we provide an antidistinguishable tripartite product states that are not LOCC antidistinguishable across any bipartition, which ensures the phenomenon of \emph{genuine nonlocality without entanglement} in this framework.

quant-pharXiv:2602.15452•Feb 18, 2026•0 citations

Conclusive local state marking: More nonlocality with no entanglement

Samrat Sen

Nonlocality exhibited by ensembles of composite quantum states, wherein local operations and classical communication (LOCC) yield suboptimal discrimination probabilities compared to global strategies, is one of the striking nonclassical features of quantum theory. A variant of this phenomenon arises in conclusive local state discrimination, where the correct state must be identified with zero error, albeit allowing for inconclusive outcomes. More recently, the notion of local state marking has been introduced, with the focus shifted to correctly identifying the permutation of a subset of states randomly chosen from a given set of multipartite states under LOCC. In this work, we unify these two approaches by introducing the task of conclusive local state marking, which reveals a finer hierarchy of nonlocality in multipartite quantum state ensembles. Notably, we demonstrate that certain ensembles of product states can exhibit a stronger form of nonlocality than entangled ensembles traditionally considered highly nonlocal.

arXiv:2506.09415•Physical Review A•Nov 26, 2025•1 citation

Local Marking of Locally Implementable Unitary Operations

Adil Imam, Satyaki Manna

We investigate the task of local marking for locally implementable unitary operations. In this setting, multipartite quantum unitary channels, chosen randomly from a known set, are distributed among spatially separated parties without revealing their identities. The objective is to correctly identify (mark) the applied process using only local operations supplemented with classical communication (LOCC). While local distinguishability implies local marking, local marking does not guarantee either local or even global distinguishability of a set of unitaries. Thus the task of marking is not equivalent to the task of discrimination. We demonstrate a stronger manifestation of nonlocality without entanglement by constructing a set of globally distinguishable tripartite product unitaries that cannot be locally marked. In contrast to state marking, we find that marking a subset of product unitaries does not imply the ability to mark a larger subset. Finally, we explore the hierarchy of probes-entangled and product-in the context of local marking with respect to the standard discrimination scenario.

quant-pharXiv:2604.08054•Apr 10, 2026•0 citations

Strong Quantum Nonlocality without Entanglement

Saronath Halder, Manik Banik, Sristy Agrawal +1 more

Quantum nonlocality is usually associated with entangled states by their violations of Bell-type inequalities. However, even unentangled systems, whose parts may have been prepared separately, can show nonlocal properties. In particular, a set of product states is said to exhibit "quantum nonlocality without entanglement" if the states are locally indistinguishable; i.e., it is not possible to optimally distinguish the states by any sequence of local operations and classical communication. Here, we present a stronger manifestation of this kind of nonlocality in multiparty systems through the notion of local irreducibility. A set of multiparty orthogonal quantum states is defined to be locally irreducible if it is not possible to locally eliminate one or more states from the set while preserving orthogonality of the postmeasurement states. Such a set, by definition, is locally indistinguishable, but we show that the converse does not always hold. We provide the first examples of orthogonal product bases on C^{d}⊗C^{d}⊗C^{d} for d=3, 4 that are locally irreducible in all bipartitions, where the construction for d=3 achieves the minimum dimension necessary for such product states to exist. The existence of such product bases implies that local implementation of a multiparty separable measurement may require entangled resources across all bipartitions.

arXiv:1808.00318•Physical Review Letters•Feb 1, 2019•159 citations

Local distinguishability based genuinely quantum nonlocality without entanglement

Mao-Sheng Li, Yan-Ling Wang, Fei Shi +1 more

Abstract Recently, Halder et al (2019 Phys. Rev. Lett. 122 040403) proposed the concept of strong nonlocality without entanglement: an orthogonal set of fully product states in multipartite quantum systems that is locally irreducible for every bipartition of its subsystems. Due to the complexity of the problem, most results are limited to tripartite systems. Here we consider a weaker form of nonlocality which is called local distinguishability based genuine nonlocality. A set of orthogonal multipartite quantum states is said to be genuinely nonlocal if it is locally indistinguishable for every bipartition of the subsystems. In this work, we study how to construct sets of orthogonal product states which are genuinely nonlocal. Firstly, we present a set of product states with simple structure in bipartite systems that is locally indistinguishable. After that, based on a simple observation, we present a general method to construct genuinely nonlocal sets of multipartite product states by using those sets that are genuinely nonlocal but with less parties. As a consequence, we obtain that genuinely nonlocal sets of fully product states exist in any L parties systems ⨂ i = 1 L C d i provided L ⩾ 3 and d i ⩾ 3 for all i .

arXiv:2011.10286•Journal of Physics A Mathematical and Theoretical•Sep 21, 2021•26 citations

Minimal nonlocality in multipartite quantum systems

Guang‐Bao Xu, Yong-Qi Zhang, Dong‐Huan Jiang

Quantum nonlocality, rooted in the quantum state discrimination task, contributes to the development of the theory of local distinguishability of quantum states. Recently, Zhu et al. [Phys. A (Amsterdam, Neth.) 624, 128956 (2023)] found that a nonlocal set of orthogonal product states (OPSs) can be perfectly identified by local operations and classical communication after removing a specific quantum state in a bipartite quantum system. They called this phenomenon minimal nonlocality. It is obvious that minimal nonlocality effectively reflects the lower boundary of the elements contained in a nonlocal set of OPSs. In this paper, we generalize the methods of constructing nonlocal sets with minimal nonlocality from bipartite systems to multipartite systems and from orthogonal product states to entangled states. First, we give a method to construct a set of OPSs with minimal nonlocality in the ${\mathbb{C}}^{d}\ensuremath{\bigotimes}{\mathbb{C}}^{d}\ensuremath{\bigotimes}{\mathbb{C}}^{d}$ quantum system, and then we extend it to the ${\ensuremath{\bigotimes}}_{i=1}^{n}{\mathbb{C}}^{d}$ quantum system for $d\ensuremath{\ge}4$ and $n\ensuremath{\ge}3$. In addition, we give a method to construct a nonlocal set of orthogonal states with entanglement relations in the ${\mathbb{C}}^{d}\ensuremath{\bigotimes}{\mathbb{C}}^{d}$ quantum system, and we prove that this set has minimal nonlocality, which can also be extended to the ${\ensuremath{\bigotimes}}_{i=1}^{n}{\mathbb{C}}^{d}$ quantum system.

Physical Review A•Feb 10, 2025•11 citations
A set of quantum states is said to be antidistinguishable if, upon being given a randomly chosen state from the set, it is possible to exclude with certainty a state that was definitely not prepared. We study quantum nonlocality within the framework of local state exclusion and prove that any set of multipartite pure states containing a state that is orthogonal to all the others is locally antidistinguishable. Next, we introduce the task of local state antimarking\textit{local state antimarking}local state antimarking, where, instead of a single state, a non-repetitive sequence of states from a known set of multipartite states is randomly selected and distributed to spatially separated parties, whose objective is to identify, using LOCC, at least one sequence that was not supplied. We present an ensemble of product states that is not globally antidistinguishable; yet, by choosing states from it without replacement, one can construct sequences that can be perfectly excluded globally but, importantly, not locally. This reveals a hitherto unexplored form of `nonlocality without entanglement'. Finally, for a given ensemble, we compare its local antidistinguishability and antimarkability with its conclusive local distinguishability and markability. We demonstrate that no strict hierarchy exists between these paradigms: there exist product-state ensembles that permit one task while strictly forbidding the other, and vice versa.
We study the task of quantum state exclusion, focusing on antidistinguishability and its generalization to xxx-antidistinguishability, under global measurements and local operations with classical communication (LOCC). We also introduce weak and strong notions of antidistinguiahbaility (xxx-antidistinguishability) depending on whether all states or all xxx-tuples are exhaustively eliminated. Our results reveal striking differences between state exclusion and the more familiar task of state discrimination. In particular, we show that LOCC antidistinguishability of multipartite product states is symmetric with respect to the initiating party but this symmetry breaks down for higher-order xxx-antidistinguishability. Most notably, we establish a manifestation of \emph{nonlocality without entanglement} in the context of state exclusion: we prove that three bipartite product states can be globally antidistinguishable while failing to be LOCC antidistinguishable, demonstrating that three is the minimal number of states required for this phenomenon. We further extend this separation to 222-antidistinguishability and present example exhibiting the same type of nonlocality. At last, we provide an antidistinguishable tripartite product states that are not LOCC antidistinguishable across any bipartition, which ensures the phenomenon of \emph{genuine nonlocality without entanglement} in this framework.
Nonlocality exhibited by ensembles of composite quantum states, wherein local operations and classical communication (LOCC) yield suboptimal discrimination probabilities compared to global strategies, is one of the striking nonclassical features of quantum theory. A variant of this phenomenon arises in conclusive local state discrimination, where the correct state must be identified with zero error, albeit allowing for inconclusive outcomes. More recently, the notion of local state marking has been introduced, with the focus shifted to correctly identifying the permutation of a subset of states randomly chosen from a given set of multipartite states under LOCC. In this work, we unify these two approaches by introducing the task of conclusive local state marking, which reveals a finer hierarchy of nonlocality in multipartite quantum state ensembles. Notably, we demonstrate that certain ensembles of product states can exhibit a stronger form of nonlocality than entangled ensembles traditionally considered highly nonlocal.
We investigate the task of local marking for locally implementable unitary operations. In this setting, multipartite quantum unitary channels, chosen randomly from a known set, are distributed among spatially separated parties without revealing their identities. The objective is to correctly identify (mark) the applied process using only local operations supplemented with classical communication (LOCC). While local distinguishability implies local marking, local marking does not guarantee either local or even global distinguishability of a set of unitaries. Thus the task of marking is not equivalent to the task of discrimination. We demonstrate a stronger manifestation of nonlocality without entanglement by constructing a set of globally distinguishable tripartite product unitaries that cannot be locally marked. In contrast to state marking, we find that marking a subset of product unitaries does not imply the ability to mark a larger subset. Finally, we explore the hierarchy of probes-entangled and product-in the context of local marking with respect to the standard discrimination scenario.
Quantum nonlocality is usually associated with entangled states by their violations of Bell-type inequalities. However, even unentangled systems, whose parts may have been prepared separately, can show nonlocal properties. In particular, a set of product states is said to exhibit "quantum nonlocality without entanglement" if the states are locally indistinguishable; i.e., it is not possible to optimally distinguish the states by any sequence of local operations and classical communication. Here, we present a stronger manifestation of this kind of nonlocality in multiparty systems through the notion of local irreducibility. A set of multiparty orthogonal quantum states is defined to be locally irreducible if it is not possible to locally eliminate one or more states from the set while preserving orthogonality of the postmeasurement states. Such a set, by definition, is locally indistinguishable, but we show that the converse does not always hold. We provide the first examples of orthogonal product bases on C^{d}⊗C^{d}⊗C^{d} for d=3, 4 that are locally irreducible in all bipartitions, where the construction for d=3 achieves the minimum dimension necessary for such product states to exist. The existence of such product bases implies that local implementation of a multiparty separable measurement may require entangled resources across all bipartitions.
Abstract Recently, Halder et al (2019 Phys. Rev. Lett. 122 040403) proposed the concept of strong nonlocality without entanglement: an orthogonal set of fully product states in multipartite quantum systems that is locally irreducible for every bipartition of its subsystems. Due to the complexity of the problem, most results are limited to tripartite systems. Here we consider a weaker form of nonlocality which is called local distinguishability based genuine nonlocality. A set of orthogonal multipartite quantum states is said to be genuinely nonlocal if it is locally indistinguishable for every bipartition of the subsystems. In this work, we study how to construct sets of orthogonal product states which are genuinely nonlocal. Firstly, we present a set of product states with simple structure in bipartite systems that is locally indistinguishable. After that, based on a simple observation, we present a general method to construct genuinely nonlocal sets of multipartite product states by using those sets that are genuinely nonlocal but with less parties. As a consequence, we obtain that genuinely nonlocal sets of fully product states exist in any L parties systems ⨂ i = 1 L C d i provided L ⩾ 3 and d i ⩾ 3 for all i .
Quantum nonlocality, rooted in the quantum state discrimination task, contributes to the development of the theory of local distinguishability of quantum states. Recently, Zhu et al. [Phys. A (Amsterdam, Neth.) 624, 128956 (2023)] found that a nonlocal set of orthogonal product states (OPSs) can be perfectly identified by local operations and classical communication after removing a specific quantum state in a bipartite quantum system. They called this phenomenon minimal nonlocality. It is obvious that minimal nonlocality effectively reflects the lower boundary of the elements contained in a nonlocal set of OPSs. In this paper, we generalize the methods of constructing nonlocal sets with minimal nonlocality from bipartite systems to multipartite systems and from orthogonal product states to entangled states. First, we give a method to construct a set of OPSs with minimal nonlocality in the ${\mathbb{C}}^{d}\ensuremath{\bigotimes}{\mathbb{C}}^{d}\ensuremath{\bigotimes}{\mathbb{C}}^{d}$ quantum system, and then we extend it to the ${\ensuremath{\bigotimes}}_{i=1}^{n}{\mathbb{C}}^{d}$ quantum system for $d\ensuremath{\ge}4$ and $n\ensuremath{\ge}3$. In addition, we give a method to construct a nonlocal set of orthogonal states with entanglement relations in the ${\mathbb{C}}^{d}\ensuremath{\bigotimes}{\mathbb{C}}^{d}$ quantum system, and we prove that this set has minimal nonlocality, which can also be extended to the ${\ensuremath{\bigotimes}}_{i=1}^{n}{\mathbb{C}}^{d}$ quantum system.