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:1102.0841 · New Journal of Physics

LOCC distinguishability of unilaterally transformable quantum states

Somshubhro Bandyopadhyay, Sibasish Ghosh, Guruprasad Kar

Published Dec 8, 2011• 99 citations
arXivHTMLPDF

Abstract

We consider the question of perfect local distinguishability of mutually orthogonal bipartite quantum states, with the property that every state can be specified by a unitary operator acting on the local Hilbert space of Bob. We show that if the states can be exactly discriminated by one-way local operations and classical communication (LOCC) where Alice goes first, then the unitary operators can also be perfectly distinguished by an orthogonal measurement on Bob's Hilbert space. We give examples of sets of N ⩽ d maximally entangled states in d ⊗ d for d = 4,5,6 that are not perfectly distinguishable by one-way LOCC. Interestingly, for d = 5,6, our examples consist of four and five states, respectively. We conjecture that these states cannot be perfectly discriminated by two-way LOCC.

DOI
10.1088/1367-2630/13/12/123013

Related papers

Distinguishing maximally entangled states by one-way local operations and classical communication

Zhichao Zhang, Keqin Feng, Fei Gao +1 more

In this paper, we mainly study the local indistinguishability of mutually orthogonal bipartite maximally entangled states. We construct sets of fewer than $d$ orthogonal maximally entangled states which are not distinguished by one-way local operations and classical communication (LOCC) in the Hilbert space of $d\ensuremath{\bigotimes}d$. The proof, based on the Fourier transform of an additive group, is very simple but quite effective. Simultaneously, our results give a general unified upper bound for the minimum number of one-way LOCC indistinguishable maximally entangled states. This improves previous results which only showed sets of $N\ensuremath{\ge}d\ensuremath{-}2$ such states. Finally, our results also show that previous conjectures in Zhang et al. [Z.-C. Zhang, Q.-Y. Wen, F. Gao, G.-J. Tian, and T.-Q. Cao, Quant. Info. Proc. 13, 795 (2014)] are indeed correct.

Physical Review A•Jan 21, 2015•26 citations

Three maximally entangled states can require two-way local operations and classical communication for local discrimination

Michael Nathanson

We show that there exist sets of three mutually orthogonal $d$-dimensional maximally entangled states which cannot be perfectly distinguished using one-way local operations and classical communication (LOCC) for arbitrarily large values of $d$. This contrasts with several well-known families of maximally entangled states, for which any three states can be perfectly distinguished. We then show that two-way LOCC is sufficient to distinguish these examples. We also show that any three mutually orthogonal $d$-dimensional maximally entangled states can be perfectly distinguished using measurements with a positive partial transpose (PPT) and can be distinguished with one-way LOCC with high probability. These results circle around the question of whether there exist three maximally entangled states which cannot be distinguished using the full power of LOCC; we discuss possible approaches to answer this question.

arXiv:1310.4220•Physical Review A•Dec 12, 2013•69 citations

Entanglement of minimal dimension and a class of local state discrimination problems

Saronath Halder, Suchetana Goswami

In this work, we construct small sets of bipartite orthogonal pure states that cannot be perfectly distinguished by local operations and classical communication (LOCC). We mention that not all the states within the constructed sets are necessarily entangled. However, such a set contains at least one entangled state which cannot be conclusively identified by LOCC (with nonzero probability). Then, we show that the states of any such set can be perfectly distinguished by LOCC using a minimal-dimensional entangled resource state. Clearly, here the entangled resource state provides an advantage irrespective of the dimension of the given set. Using this result, we also prove that any pure entangled state is useful as a resource to distinguish the states of any present set unambiguously with nonzero probability under LOCC. These sets exist in all two-qudit Hilbert spaces. Furthermore, it is possible to decrease the average entanglement content of such a set or to increase the cardinality of the set without changing certain properties of the same.

quant-pharXiv:2603.28284•Mar 31, 2026•0 citations

Discrimination of two-qubit unitaries via local operations and classical communication

Joonwoo Bae

Distinguishability is a fundamental and operational measure generally connected to information applications. In quantum information theory, from the postulates of quantum mechanics it often has an intrinsic limitation, which then dictates and also characterises capabilities of related information tasks. In this work, we consider discrimination between bipartite two-qubit unitary transformations by local operations and classical communication (LOCC) and its relations to entangling capabilities of given unitaries. We show that a pair of entangling unitaries which do not contain local parts, if they are perfectly distinguishable by global operations, can also be perfectly distinguishable by LOCC. There also exist non-entangling unitaries, e.g. local unitaries, that are perfectly discriminated by global operations but not by LOCC. The results show that capabilities of LOCC are strictly restricted than global operations in distinguishing bipartite unitaries for a finite number of repetitions, contrast to discrimination of a pair of bipartite states and also to asymptotic discrimination of unitaries.

arXiv:1601.07256•Scientific Reports•Dec 15, 2015•15 citations

Polynomial Separation between One-Way and Two-Way LOCC in Discrimination of Maximally Entangled States

Youngrong Lim

One-way local operations and classical communication (LOCC) can fail to distinguish four orthogonal maximally entangled states in every local dimension $d\ge4$. We show that every set of $k$ pairwise orthogonal maximally entangled states in $\mathbb C^d\otimes\mathbb C^d$ is perfectly distinguishable by an $A\to B\to A$ protocol whenever $d\ge Ck^4[\log(2k)]^ν$, for universal constants $C,ν>0$. A single feedback message therefore raises the number of candidates that can always be distinguished from a constant to $Ω\!\left(d^{1/4}/(\log d)^{ν/4}\right)$, establishing a polynomial separation between one-way and two-way LOCC. In our protocol, Alice preserves exact orthogonality while reducing overlaps between Bob's conditional subspaces. Bob reduces the candidates to a singleton or an orthogonal pair and refines his outcome so that Alice can complete the discrimination. As a corollary, nine copies suffice for perfect two-way LOCC discrimination of any orthogonal maximally entangled set in all sufficiently large local dimensions.

quant-pharXiv:2610.04288•Oct 6, 2026•0 citations

Framework for distinguishability of orthogonal bipartite states by one-way local operations and classical communication

Tanmay Singal

In the topic of perfect local distinguishability of orthogonal multipartite quantum states, most results obtained so far pertain to bipartite systems whose subsystems are of specific dimensions. In contrast very few results for bipartite systems whose subsystems are of arbitrary dimensions, are known. This is because a rich variety of (algebraic or geometric) structure is exhibited by different sets of orthogonal states owing to which it is difficult to associate some common property underlying them all, i.e., a common property that would play a crucial role in the local distinguishability of these states. In this Rapid Communication, I propose a framework for the distinguishability by one-way local operations and classical communication (1-LOCC) of sets of orthogonal bipartite states in a ${d}_{A}\ensuremath{\bigotimes}{d}_{B}$ bipartite system, where ${d}_{A},{d}_{B}$ are the dimensions of both subsytems, labeled as $A$ and $B$. I show that if the $i\mathrm{th}$ party (where $i=A,B$) can initiate a 1-LOCC protocol to perfectly distinguish among a set of orthogonal bipartite states, then the information of the existence of such a 1-LOCC protocol lies in a subspace of ${d}_{i}\ifmmode\times\else\texttimes\fi{}{d}_{i}$ Hermitian matrices, denoted by ${\mathcal{T}}_{\ensuremath{\perp}}^{(i)}$, and that the method to extract this information (of the existence of this 1-LOCC protocol) from ${\mathcal{T}}_{\ensuremath{\perp}}^{(i)}$ depends on the value of $\mathrm{dim}{\mathcal{T}}_{\ensuremath{\perp}}^{(i)}$. In this way one can give sweeping results for the 1-LOCC (in)distinguishability of all sets of orthogonal bipartite states corresponding to certain values of $\mathrm{dim}{\mathcal{T}}_{\ensuremath{\perp}}^{(i)}$. Thus I propose that the value of $\mathrm{dim}{\mathcal{T}}_{\ensuremath{\perp}}^{(i)}$ gives the common underlying property based on which sweeping results for the 1-LOCC (in)distinguishability of orthogonal bipartite quantum states can be made.

arXiv:1509.08450•Physical Review A•Mar 7, 2016•6 citations
We consider the question of perfect local distinguishability of mutually orthogonal bipartite quantum states, with the property that every state can be specified by a unitary operator acting on the local Hilbert space of Bob. We show that if the states can be exactly discriminated by one-way local operations and classical communication (LOCC) where Alice goes first, then the unitary operators can also be perfectly distinguished by an orthogonal measurement on Bob's Hilbert space. We give examples of sets of N ⩽ d maximally entangled states in d ⊗ d for d = 4,5,6 that are not perfectly distinguishable by one-way LOCC. Interestingly, for d = 5,6, our examples consist of four and five states, respectively. We conjecture that these states cannot be perfectly discriminated by two-way LOCC.
In this paper, we mainly study the local indistinguishability of mutually orthogonal bipartite maximally entangled states. We construct sets of fewer than ddd orthogonal maximally entangled states which are not distinguished by one-way local operations and classical communication (LOCC) in the Hilbert space of $d\ensuremath{\bigotimes}d$. The proof, based on the Fourier transform of an additive group, is very simple but quite effective. Simultaneously, our results give a general unified upper bound for the minimum number of one-way LOCC indistinguishable maximally entangled states. This improves previous results which only showed sets of $N\ensuremath{\ge}d\ensuremath{-}2$ such states. Finally, our results also show that previous conjectures in Zhang et al. [Z.-C. Zhang, Q.-Y. Wen, F. Gao, G.-J. Tian, and T.-Q. Cao, Quant. Info. Proc. 13, 795 (2014)] are indeed correct.
We show that there exist sets of three mutually orthogonal ddd-dimensional maximally entangled states which cannot be perfectly distinguished using one-way local operations and classical communication (LOCC) for arbitrarily large values of ddd. This contrasts with several well-known families of maximally entangled states, for which any three states can be perfectly distinguished. We then show that two-way LOCC is sufficient to distinguish these examples. We also show that any three mutually orthogonal ddd-dimensional maximally entangled states can be perfectly distinguished using measurements with a positive partial transpose (PPT) and can be distinguished with one-way LOCC with high probability. These results circle around the question of whether there exist three maximally entangled states which cannot be distinguished using the full power of LOCC; we discuss possible approaches to answer this question.
In this work, we construct small sets of bipartite orthogonal pure states that cannot be perfectly distinguished by local operations and classical communication (LOCC). We mention that not all the states within the constructed sets are necessarily entangled. However, such a set contains at least one entangled state which cannot be conclusively identified by LOCC (with nonzero probability). Then, we show that the states of any such set can be perfectly distinguished by LOCC using a minimal-dimensional entangled resource state. Clearly, here the entangled resource state provides an advantage irrespective of the dimension of the given set. Using this result, we also prove that any pure entangled state is useful as a resource to distinguish the states of any present set unambiguously with nonzero probability under LOCC. These sets exist in all two-qudit Hilbert spaces. Furthermore, it is possible to decrease the average entanglement content of such a set or to increase the cardinality of the set without changing certain properties of the same.
Distinguishability is a fundamental and operational measure generally connected to information applications. In quantum information theory, from the postulates of quantum mechanics it often has an intrinsic limitation, which then dictates and also characterises capabilities of related information tasks. In this work, we consider discrimination between bipartite two-qubit unitary transformations by local operations and classical communication (LOCC) and its relations to entangling capabilities of given unitaries. We show that a pair of entangling unitaries which do not contain local parts, if they are perfectly distinguishable by global operations, can also be perfectly distinguishable by LOCC. There also exist non-entangling unitaries, e.g. local unitaries, that are perfectly discriminated by global operations but not by LOCC. The results show that capabilities of LOCC are strictly restricted than global operations in distinguishing bipartite unitaries for a finite number of repetitions, contrast to discrimination of a pair of bipartite states and also to asymptotic discrimination of unitaries.
One-way local operations and classical communication (LOCC) can fail to distinguish four orthogonal maximally entangled states in every local dimension d≥4d\ge4d≥4. We show that every set of kkk pairwise orthogonal maximally entangled states in Cd⊗Cd\mathbb C^d\otimes\mathbb C^dCd⊗Cd is perfectly distinguishable by an A→B→AA\to B\to AA→B→A protocol whenever d≥Ck4[log⁡(2k)]νd\ge Ck^4[\log(2k)]^νd≥Ck4[log(2k)]ν, for universal constants C,ν>0C,ν>0C,ν>0. A single feedback message therefore raises the number of candidates that can always be distinguished from a constant to Ω ⁣(d1/4/(log⁡d)ν/4)Ω\!\left(d^{1/4}/(\log d)^{ν/4}\right)Ω(d1/4/(logd)ν/4), establishing a polynomial separation between one-way and two-way LOCC. In our protocol, Alice preserves exact orthogonality while reducing overlaps between Bob's conditional subspaces. Bob reduces the candidates to a singleton or an orthogonal pair and refines his outcome so that Alice can complete the discrimination. As a corollary, nine copies suffice for perfect two-way LOCC discrimination of any orthogonal maximally entangled set in all sufficiently large local dimensions.
In the topic of perfect local distinguishability of orthogonal multipartite quantum states, most results obtained so far pertain to bipartite systems whose subsystems are of specific dimensions. In contrast very few results for bipartite systems whose subsystems are of arbitrary dimensions, are known. This is because a rich variety of (algebraic or geometric) structure is exhibited by different sets of orthogonal states owing to which it is difficult to associate some common property underlying them all, i.e., a common property that would play a crucial role in the local distinguishability of these states. In this Rapid Communication, I propose a framework for the distinguishability by one-way local operations and classical communication (1-LOCC) of sets of orthogonal bipartite states in a ${d}_{A}\ensuremath{\bigotimes}{d}_{B}$ bipartite system, where dA,dB{d}_{A},{d}_{B}dA​,dB​ are the dimensions of both subsytems, labeled as AAA and BBB. I show that if the ithi\mathrm{th}ith party (where i=A,Bi=A,Bi=A,B) can initiate a 1-LOCC protocol to perfectly distinguish among a set of orthogonal bipartite states, then the information of the existence of such a 1-LOCC protocol lies in a subspace of ${d}_{i}\ifmmode\times\else\texttimes\fi{}{d}_{i}$ Hermitian matrices, denoted by ${\mathcal{T}}_{\ensuremath{\perp}}^{(i)}$, and that the method to extract this information (of the existence of this 1-LOCC protocol) from ${\mathcal{T}}_{\ensuremath{\perp}}^{(i)}$ depends on the value of $\mathrm{dim}{\mathcal{T}}_{\ensuremath{\perp}}^{(i)}$. In this way one can give sweeping results for the 1-LOCC (in)distinguishability of all sets of orthogonal bipartite states corresponding to certain values of $\mathrm{dim}{\mathcal{T}}_{\ensuremath{\perp}}^{(i)}$. Thus I propose that the value of $\mathrm{dim}{\mathcal{T}}_{\ensuremath{\perp}}^{(i)}$ gives the common underlying property based on which sweeping results for the 1-LOCC (in)distinguishability of orthogonal bipartite quantum states can be made.