一种用于组合图表示的量子态的可调谐框架，以及基于图论的纠缠检测方法

《Annals of Physics》：A tunable framework for quantum states from combinatorial graphs and graph-theoretic entanglement detection

　　**摘要**
图论结构在描述和分析量子系统中起着重要作用。在这项工作中，我们介绍了一种新的量子态类别，称为Aα-图态，它是由简单图（加权或非加权）的度矩阵D和邻接矩阵AG通过归一化凸组合构造而成的。Aα-图态由一个可调的混合参数α∈(0,1]参数化。我们提供了一个关于参数α的充分条件，使得相关的厄米算符ρα(AG)是半正定的，因此表示了一类有效的量子态。然后我们推导出一个不等式，该不等式为Aα-图态是正部分转置（PPT）态提供了充分条件。这个推导出的不等式仅用图参数来表示。此外，我们发展了基于图论的p3-PPT准则的公式化，用于Aα-图态。如果对于某些α的范围，Aα-图态的图论版本的p3-PPT准则被违反，那么相应的态类别表示纠缠态。由于部分转置态的矩可以通过随机测量和经典影子技术实验性地获得，我们的框架为组合图论和结构化量子系统中的纠缠表征提供了一条实用的桥梁。这项工作从可调和计算效率的角度探讨了组合结构在量子关联中的作用。

**引言**
纠缠是量子信息理论中最基本的资源。它的应用范围从量子计算和通信到量子计量学。在复合量子系统中检测和表征量子纠缠仍然是一个具有挑战性的问题。正部分转置准则（PPT准则[1]、[2]）是用于纠缠检测的最广泛使用的理论工具之一，它为2?2和2?3系统的可分性提供了必要和充分条件，但对于更高维（3?3或更高）的双态系统，它只提供了一个必要条件。对于两量子比特系统，Wootters[3]引入的并发性提供了一个可计算的纠缠必要和充分度量，补充了PPT准则。Peres-Horodecki PPT准则中使用的部分转置映射是正的但不完全正的，因此不能直接作为物理操作实现[1]。然而，其矩可以通过随机测量、经典影子技术、多副本协议和机器学习技术[4]、[5]、[6]实验性地估计。在此基础上，Elben等人[5]引入了p3-PPT准则，该准则仅使用部分转置密度矩阵的第二和第三矩来检测双态纠缠。

**并行发展**
并行发展采用了图论工具来分析量子关联。传统的图态是在稳定子形式主义[7]中定义的，构成了与基于测量的量子计算相关的一个重要但狭窄的图相关态类别。Braunstein等人[8]引入了基于归一化组合拉普拉斯矩阵的图密度矩阵，使得可以通过纯组合结构研究纠缠属性。后续工作进一步探索了基于图的方法来处理量子关联、维度见证和非确定性[9]、[10]、[11]、[12]、[13]、[14]。

在本文中，我们介绍了一类与图相关的新的量子态。我们称其为Aα-图态。给定一个简单的（非加权或加权）图G及其邻接矩阵AG和度矩阵D，我们定义了一族密度算符ρα(AG)，作为这些矩阵的归一化凸组合，由混合参数α参数化。我们在第4节进一步讨论了混合参数α的物理动机和操作意义。虽然我们的构造在结构上与已知的图（尤其是当α=1/2时恢复的图的归一化无符号拉普拉斯矩阵）有相似之处，但Aα-图态框架引入了一个可调的混合参数α∈(0,1)，该参数在度主导（α→1）和邻接主导（α→0） regime之间连续插值。这种参数化产生了一族直接与底层（加权或非加权）图的组合属性相关联的密度算符。

**结论**
这项工作的主要贡献在于：(i) 根据图邻接矩阵的最小特征值和图的最小度，推导出这些算符正性的充分条件；(ii) 利用[15]中关于部分转置态的二阶矩的结果，获得仅依赖于图参数（如度、总度和图邻接矩阵的弗罗贝尼乌斯范数）的PPT准则；(iii) 提出了基于图论的p3-PPT准则的公式化。因此，我们的方法能够直接根据图导出的量来检测Aα-图态中的PPT/纠缠。这些结果提供了另一种视角，说明组合结构如何以可能通过随机测量获得的方式 inform 黏缠检测。

本文组织成不同的部分和小节。第2节回顾了初步结果。第3节回顾了相关的图论概念。第4节我们建立了Aα-图态的正性条件，并推导出一个充分的PPT准则，并给出了加权图的例子。第5节确定了简单非加权图的Aα-图态为纠缠的α范围。第6节提出了图论的p3-PPT准则，并同样通过例子进行了支持。证明和额外细节出现在附录中。

**部分结果**
**初步结果**
在本节中，我们陈述了一些在后续章节中需要的一些结果。
- **结果1 [16]**：设Mn表示n×n的厄米矩阵集。如果X,Y∈Mn且特征值λi(X)、λi(Y)和λi(X+Y)按升序排列，则对于每个k=1,2,...,n，以下不等式成立：λk(X)+λ1(Y)≤λk(X+Y)≤λk(X)+λn(Y)，其中λ1(Y)、λn(Y)分别表示Y的最小和最大特征值。

**图论简介**
图论是数学中一个成熟的分支，在这个分支中，我们用顶点（或节点）来表示对象，用边来表示它们之间的连接。在本节中，我们介绍了图论的基础知识。图是一种数学结构，用于建模对象之间的成对关系或连接。图G由顶点集V(G)和边集E(G)组成。每条边连接一对顶点，并且表示为...

**Aα-图态和PPT条件**
在本节中，我们将介绍可以从图中生成的一类新的量子态，并讨论其PPT准则，该准则可以用图的属性来表示。

**基于简单非加权图的PPT条件的简化**
在本节中，我们简化了定理5中得到的简单图的PPT条件。简化的PPT条件对混合参数进行了限制。然后我们能够获得混合参数α的子区间，对于该区间，由密度算符ρα(AG)描述的简单图G对应的量子态表示一个PPT态。

**Aα-图态的图论公式化的基于矩的纠缠条件**
让我们从使用密度矩阵部分转置的矩的准则来检测纠缠开始。由于部分转置操作是一个正的但不完全正的映射，它不是物理的，因此不能直接在实验中实现。尽管在实验中实现部分转置操作存在上述困难，但可以测量它们的矩。这一事实已经在...

**结论**
在这项工作中，我们介绍了一种新的量子态类别，称为Aα-图态，它是由简单图（加权或非加权）作为归一化凸组合ρα(AG)=1αdG[αD+(1?α)AG]构造而成的，其中D和AG分别是度和邻接矩阵，α∈(0,1)是一个可调的混合参数。这项研究的主要结果如下：
- (a) 我们推导出了ρα(AG)半正定性的充分条件（引理4），提供了下界λmin(AG)λmin(AG)?δC

**作者贡献声明**
Rohit Kumar：撰写——原始草稿、可视化、验证、软件、方法论、调查、形式分析、概念化。
Satyabrata Adhikari：撰写——审阅与编辑、验证、监督、方法论、概念化。

**利益冲突声明**
作者声明他们没有已知的财务利益或个人关系可能影响本文报告的工作。