Constructions of LOCC Indistinguishable Set of Generalized Bell States

Basic Information

• Paper ID: 1805.09211
• Title: Constructions of LOCC indistinguishable set of generalized Bell states
• Authors: Jiang-Tao Yuan, Cai-Hong Wang, Ying-Hui Yang & Shi-Jiao Geng (School of Mathematics and Information Science, Henan Polytechnic University)
• Classification: quant-ph cs.IT math.IT
• Publication Date: May 2018
• Paper Link: https://arxiv.org/abs/1805.09211

Abstract

This paper primarily investigates the local indistinguishability problem of bipartite orthogonal generalized Bell states (GBSs) sets. The authors construct small sets of GBSs with cardinality less than d that cannot be distinguished through one-way local operations and classical communication (1-LOCC) in d⊗d systems. Based on construction methods utilizing linear systems and Vandermonde matrices, the approach is simple and effective, providing a unified upper bound for the minimum cardinality of 1-LOCC indistinguishable sets of GBSs, significantly improving previous results by Zhang et al. and Wang et al. Notably, the results for odd d demonstrate that the set of 4 GBSs proposed by Fan in the 5⊗5 system is indeed 1-LOCC indistinguishable.

Research Background and Motivation

1. Core Problem: Although any orthogonal state set can be perfectly distinguished in quantum mechanics, for bipartite systems, local operations and classical communication (LOCC) are insufficient to distinguish all orthogonal states. The core question addressed is: in a d⊗d system, can sets containing N≤d orthogonal maximally entangled states be perfectly distinguished by LOCC?
2. Significance:
   • Reveals the non-local nature of quantum information
   • Explores the relationship between quantum non-locality and entanglement
   • Provides theoretical foundations for understanding the non-locality of maximally entangled states
3. Limitations of Existing Methods:
   • It is known that d+1 or more MESs cannot be locally perfectly distinguished in d⊗d
   • Existing upper bounds are often too loose and imprecise
   • Fan's method is ineffective for certain specific cases
4. Research Motivation: Construct smaller 1-LOCC indistinguishable GBSs sets, improve existing theoretical bounds, and address limitations of Fan's method.

Core Contributions

1. Improved Theoretical Bounds: For odd d, prove the existence of 1-LOCC indistinguishable GBSs sets with cardinality at most $\min\{\frac{d+3}{2}, \lfloor\frac{d+1}{4}\rfloor + 5, 2\lceil\sqrt{d}\rceil + \lceil\frac{\lceil\frac{d-1}{4}\rceil}{\lceil\sqrt{d}\rceil}\rceil\}$
2. Even-Dimensional Construction: For even d, construct 1-LOCC indistinguishable sets with cardinality at most $\min\{\lceil\frac{d}{4}\rceil+3, 2\lceil\sqrt{\frac{d+2}{2}}\rceil + \lceil\frac{\lceil\frac{d+1}{4}\rceil}{\lceil\sqrt{\frac{d+2}{2}}\rceil}\rceil\}$
3. Unified Construction Method: Propose a simple and effective construction method based on linear systems and Vandermonde matrices
4. Resolution of Open Problems: Prove that Fan's set of 4 GBSs in 5⊗5 is indeed 1-LOCC indistinguishable, resolving limitations of Fan's method
5. Exact Value Determination: Determine $f_{GBS}(7) = 5$ and improve bounds for multiple dimensions

Detailed Methodology

Task Definition

Define the function $f_{GBS}(d)$ as the minimum cardinality of 1-LOCC indistinguishable GBSs sets in d⊗d systems. The objective is to construct 1-LOCC indistinguishable GBSs sets with the smallest possible cardinality, thereby improving the upper bound of $f_{GBS}(d)$.

Core Theoretical Tools

Generalized Bell State Representation

In d⊗d quantum systems, generalized Bell states are defined as: $|\Phi_{m,n}\rangle = (I \otimes U_{m,n})|\Phi\rangle$ where $U_{m,n} = X^mZ^n$, $X|j\rangle = |j+1 \bmod d\rangle$, $Z|j\rangle = \omega^j|j\rangle$, $\omega = e^{2\pi i/d}$.

Key Lemmas

Lemma 1: A set of l GBSs $\{|\Phi_{m_j n_j}\rangle\}_{j=1}^l$ in d⊗d can be perfectly distinguished by 1-LOCC if and only if there exists at least one state $|\alpha\rangle$ such that the set $\{U_{m_j n_j}|\alpha\rangle\}_{j=1}^l$ is pairwise orthogonal.

Lemma 2 (Vandermonde Matrix Property): Any k×k submatrix (k≤d) of a Vandermonde matrix is invertible, providing a key tool for analyzing linear systems.

Construction Methods

Odd-Dimensional Case

Method 1: Generalization Based on Fan's Example Construct the set $S_d = \{(0,0), (2,0), (1,2i-1), i=1,\ldots,\frac{d-1}{2}\}$

Core Idea:

1. Analyze the difference set $\Delta U$ containing specific patterns
2. Utilize $\Delta U \supseteq \{(0,i)\}_{i=2}^{d-2} \cup \{(1,i)\}_{i=1}^{d-1} \cup \{(2,0)\}$
3. Prove this leads to $\Delta U \supseteq \{(1,0)\}$, thereby applying Lemma 3

Method 2: Improvement over Zhang et al. Construct $S_d = \{(1,2i-1)\}_{i=1}^{\lfloor\frac{d+1}{4}\rfloor} \cup \{(0,0), (1,0), (1,1), (1,\lfloor\frac{d}{2}\rfloor), (1,\lceil\frac{d}{2}\rceil)\}$

Even-Dimensional Case

Construction Strategy:

• When $d=4m$: $S_d = \{(0,2i-1)\}_{i=1}^{d/4} \cup \{(0,0), (\frac{d}{2},0), (\frac{d}{2},\frac{d}{2}+1)\}$
• When $d=4m+2$: $S_d = \{(0,2i-1)\}_{i=1}^{\lceil d/4\rceil} \cup \{(0,0), (\frac{d}{2},0), (\frac{d}{2},\frac{d}{2})\}$

Technical Innovations

1. Unified Analysis Framework: Lemmas 3 and 5 provide unified conditions for determining indistinguishability
2. Vandermonde Matrix Application: Cleverly exploit Vandermonde matrix properties to analyze solution spaces of linear systems
3. Difference Set Analysis: Establish indistinguishability by analyzing inclusion relationships of pairwise difference sets $\Delta U$
4. Dimension-Specific Treatment: Employ different construction strategies for odd and even dimensions based on their distinct characteristics

Experimental Results

Main Results Comparison

Key Improvements

1. Odd Dimensions: Achieve $\frac{d+3}{2}$ compared to Zhang et al.'s $\frac{d+5}{2}$
2. Even Dimensions: Achieve $3+\lceil\frac{d}{4}\rceil$ compared to Zhang et al.'s $\frac{d+4}{2}$
3. Specific Values: Determine $f_{GBS}(7) = 5$ (exact value)

Theoretical Verification

Confirmation of Fan's Example: Prove that Fan's set of 4 GBSs $S_5 = \{(0,0), (2,0), (1,1), (1,3)\}$ in the 5⊗5 system is indeed 1-LOCC indistinguishable, resolving the issue that Fan's method could not handle this example.

Related Work

Main Research Trajectory

1. Early Work:
   • Bennett et al.: Established the LOCC framework
   • Ghosh et al.: First provided examples of d indistinguishable GBSs in d⊗d
2. Theoretical Development:
   • Fan: Proposed discrimination conditions based on mutually unbiased bases (MUBs)
   • Zhang et al.: Defined function f(d) and provided upper bounds
   • Wang et al.: Constructed sets based on $\sqrt{d}$
3. This Paper's Contribution: Building on existing theory, significantly improve bounds through new construction methods and resolve several open problems.

Conclusions and Discussion

Main Conclusions

1. Unified Bounds: Provide improved unified upper bound formulas for odd and even dimensions
2. Construction Method: The approach based on linear systems and Vandermonde matrices is simple and effective
3. Exact Values: Determine $f_{GBS}(7) = 5$
4. Theoretical Refinement: Resolve limitations of Fan's method

Limitations

1. Missing Exact Values: For cases d=6 and d≥8, exact values of $f_{GBS}(d)$ remain undetermined
2. Construction Optimization: Existing constructions may not be optimal, with room for further improvement
3. Generalization Scope: Methods primarily target GBSs with limited applicability to other types of entangled states

Future Directions

1. Find exact values of $f_{GBS}(d)$ for more dimensions
2. Explore more optimal construction methods
3. Generalize methods to other types of entangled states
4. Investigate analogous problems in multipartite systems

In-Depth Evaluation

Strengths

1. Significant Theoretical Contribution: Substantially improves existing theoretical bounds, particularly for small dimensions
2. Methodological Innovation: Cleverly combines linear algebra tools (Vandermonde matrices) with quantum information theory
3. Problem Resolution: Resolves the open problem of Fan's example with important theoretical value
4. Strong Systematicity: Provides a unified treatment framework for odd and even dimensions

Weaknesses

1. Computational Complexity: Construction complexity may be high for large dimensions
2. Unknown Optimality: Cannot determine whether constructions achieve theoretical optimality
3. Limited Application Scope: Primarily focuses on theoretical constructions with practical applications yet to be explored

Impact

1. Theoretical Advancement: Provides important progress for quantum non-locality theory
2. Methodological Inspiration: Application of linear algebra methods in quantum information is instructive
3. Foundation for Future Research: Establishes basis for further investigation of related problems

Applicable Scenarios

1. Security analysis in quantum cryptography
2. Design of quantum communication protocols
3. Study of local properties of entangled states
4. Theoretical exploration of quantum non-locality

References

The paper cites important literature in the field, including:

• Foundational work by Bennett et al. on the LOCC framework
• Important results by Fan on MUBs and GBSs distinguishability
• Recent theoretical advances by Zhang et al. and Wang et al.
• Related quantum information theory literature

Overall Assessment: This is an important paper in quantum information theory that makes significant contributions through innovative mathematical methods, substantially improves existing theoretical results, solves practical problems, and makes valuable contributions to the development of the field.