2025-11-10T02:32:46.978316

Construnctions of LOCC indistinguishable set of generalized Bell states

Yuan, Wang, Yang et al.

In this paper, we mainly consider the local indistinguishability of the set of mutually orthogonal bipartite generalized Bell states (GBSs). We construct small sets of GBSs with cardinality smaller than $d$ which are not distinguished by one-way local operations and classical communication (1-LOCC) in $d\otimes d$. The constructions, based on linear system and Vandermonde matrix, is simple and effective. The results give a unified upper bound for the minimum cardinality of 1-LOCC indistinguishable set of GBSs, and greatly improve previous results in [Zhang \emph{et al.}, Phys. Rev. A 91, 012329 (2015); Wang \emph{et al.}, Quantum Inf. Process. 15, 1661 (2016)]. The case that $d$ is odd of the results also shows that the set of 4 GBSs in $5\otimes 5$ in [Fan, Phys. Rev. A 75, 014305 (2007)] is indeed a 1-LOCC indistinguishable set which can not be distinguished by Fan's method.

academic

Constructions of LOCC indistinguishable set of generalized Bell states

基本信息

论文ID: 1805.09211
标题: Constructions of LOCC indistinguishable set of generalized Bell states
作者: Jiang-Tao Yuan, Cai-Hong Wang, Ying-Hui Yang & Shi-Jiao Geng (河南理工大学数学与信息科学学院)
分类: quant-ph cs.IT math.IT
发表时间: 2018年5月
论文链接: https://arxiv.org/abs/1805.09211

摘要

本文主要研究双分量正交广义贝尔态(GBSs)集合的局域不可区分性问题。作者构造了基数小于d的GBSs小集合，这些集合在d⊗d系统中无法通过单向局域操作和经典通信(1-LOCC)进行区分。基于线性系统和Vandermonde矩阵的构造方法简单有效，为GBSs的1-LOCC不可区分集合的最小基数给出了统一上界，显著改进了Zhang等人和Wang等人的先前结果。特别地，当d为奇数时的结果表明Fan在5⊗5系统中提出的4个GBSs集合确实是1-LOCC不可区分的。

研究背景与动机

核心问题：在量子力学中，虽然任何正交态集合都可以被完美区分，但对于双分量系统，局域操作和经典通信(LOCC)并不足以区分所有正交态。本文研究的核心问题是：在d⊗d系统中，包含N≤d个正交最大纠缠态的集合是否能被LOCC完美区分。
重要性：
- 揭示量子信息的非局域性质
- 探索量子非局域性与纠缠的关系
- 为理解最大纠缠态的非局域性提供理论基础
现有方法局限性：
- 已知d+1个或更多MESs在d⊗d中无法被局域完美区分
- 现有上界往往过于宽松且不精确
- Fan的方法对某些特定情况无效
研究动机：构造更小的1-LOCC不可区分GBSs集合，改进现有理论上界，并解决Fan方法的局限性问题。

核心贡献

改进理论上界：当d为奇数时，证明存在基数不超过 $\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\}$ 的1-LOCC不可区分GBSs集合
偶数维度构造：当d为偶数时，构造基数不超过 $\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\}$ 的1-LOCC不可区分集合
统一构造方法：提出基于线性系统和Vandermonde矩阵的简单有效构造方法
解决悬而未决问题：证明Fan在5⊗5中的4个GBSs集合确实是1-LOCC不可区分的，解决了Fan方法的局限性
精确值确定：确定 $f_{GBS}(7) = 5$ ，并改进多个维度的上界

方法详解

任务定义

定义函数 $f_{GBS}(d)$ 为d⊗d系统中1-LOCC不可区分GBSs集合的最小基数。目标是构造基数尽可能小的1-LOCC不可区分GBSs集合，从而改进 $f_{GBS}(d)$ 的上界。

核心理论工具

广义贝尔态表示

在d⊗d量子系统中，广义贝尔态定义为： $|\Phi_{m,n}\rangle = (I \otimes U_{m,n})|\Phi\rangle$ 其中 $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}$ 。

关键引理

引理1：d⊗d中的l个GBSs集合 $\{|\Phi_{m_j n_j}\rangle\}_{j=1}^l$ 能被1-LOCC完美区分当且仅当存在至少一个态 $|\alpha\rangle$ 使得集合 $\{U_{m_j n_j}|\alpha\rangle\}_{j=1}^l$ 两两正交。

引理2（Vandermonde矩阵性质）：Vandermonde矩阵的任何k×k子矩阵（k≤d）都是可逆的，这为线性系统的分析提供了关键工具。

构造方法

奇数维度情况

方法1：基于Fan例子的推广 构造集合 $S_d = \{(0,0), (2,0), (1,2i-1), i=1,\ldots,\frac{d-1}{2}\}$

核心思想：

通过分析差集 $\Delta U$ 包含特定模式
利用 $\Delta U \supseteq \{(0,i)\}_{i=2}^{d-2} \cup \{(1,i)\}_{i=1}^{d-1} \cup \{(2,0)\}$
证明这导致 $\Delta U \supseteq \{(1,0)\}$ ，从而应用引理3

方法2：改进Zhang等人的结果 构造 $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)\}$

偶数维度情况

构造策略：

当 $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)\}$
当 $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})\}$