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
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, it is possible to identify a state that the system was definitively not prepared in. In this work, we begin with a study of quantum nonlocality within the framework of local state antidistinguishability (LSAD), and find that any ensemble of mutually orthogonal multipartite pure states is locally antidistinguishable. We then extend this paradigm by introducing the task of local state antimarking (LSAM), where a non-repetitive sequence from a known set of multipartite states is randomly selected and distributed to spatially separated parties who must identify at least one sequence that was not supplied using LOCC only. We present an ensemble of product states that is not globally antidistinguishable, but choosing states from it, without replacement, produces such sequences of states which are globally antidistinguishable but not locally-revealing a form of nonlocality without entanglement. Finally, we compare LSAD and LSAM with conclusive local state discrimination and conclusive local state marking. 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
13 pages, 3 figures

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

Local quantum state marking

Samrat Sen, Edwin Peter Lobo, Sahil Gopalkrishna Naik +8 more

We propose the task of local state marking (LSM), where some multipartite quantum states chosen randomly from a known set of states are distributed among spatially separated parties without revealing the identities of the individual states. The collaborative aim of the parties is to correctly mark the identities of states under the restriction that they can perform only local quantum operations (LOs) on their respective subsystems and can communicate with each other classically (CC)---popularly known as the operational paradigm of LOCC. While mutually orthogonal states can always be marked exactly under global operations, this is in general not the case under LOCC. We show that the LSM task is distinct from the vastly explored task of local state distinguishability (LSD)---perfect LSD always implies perfect LSM, whereas we establish that the converse does not hold in general. We also explore entanglement-assisted marking of states that are otherwise locally unmarkable, and we report intriguing entanglement-assisted catalytic LSM phenomena.

arXiv:2107.12208•Physical Review A•Mar 3, 2022•9 citations
A set of quantum states is said to be antidistinguishable if, upon being given a randomly chosen state, it is possible to identify a state that the system was definitively not prepared in. In this work, we begin with a study of quantum nonlocality within the framework of local state antidistinguishability (LSAD), and find that any ensemble of mutually orthogonal multipartite pure states is locally antidistinguishable. We then extend this paradigm by introducing the task of local state antimarking (LSAM), where a non-repetitive sequence from a known set of multipartite states is randomly selected and distributed to spatially separated parties who must identify at least one sequence that was not supplied using LOCC only. We present an ensemble of product states that is not globally antidistinguishable, but choosing states from it, without replacement, produces such sequences of states which are globally antidistinguishable but not locally-revealing a form of nonlocality without entanglement. Finally, we compare LSAD and LSAM with conclusive local state discrimination and conclusive local state marking. 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 .
We propose the task of local state marking (LSM), where some multipartite quantum states chosen randomly from a known set of states are distributed among spatially separated parties without revealing the identities of the individual states. The collaborative aim of the parties is to correctly mark the identities of states under the restriction that they can perform only local quantum operations (LOs) on their respective subsystems and can communicate with each other classically (CC)---popularly known as the operational paradigm of LOCC. While mutually orthogonal states can always be marked exactly under global operations, this is in general not the case under LOCC. We show that the LSM task is distinct from the vastly explored task of local state distinguishability (LSD)---perfect LSD always implies perfect LSM, whereas we establish that the converse does not hold in general. We also explore entanglement-assisted marking of states that are otherwise locally unmarkable, and we report intriguing entanglement-assisted catalytic LSM phenomena.