[论文解读] Polynomial constraints on representing entangled qubits as matrix product states

Andrew Critch, Jason Morton|arXiv (Cornell University)|Oct 10, 2012

Algebraic structures and combinatorial models被引用 1

一句话总结

本文通过迹代数与隐马尔可夫模型的联系，利用迹代数与迹代数簇理论，推导出纯量子态振幅中的多项式约束，以刻画多体量子比特态何时可表示为平移不变矩阵乘积态（MPS）或其极限形式。研究为小系统提供了显式方程，并提出了关于参数可辨识性的猜想，推动了对MPS可表示性的代数理解。

ABSTRACT

We quantify the representational power of matrix product states (MPS) for entangled qubit systems by giving polynomial expressions in a pure quantum state's amplitudes which hold if and only if the state is a translation invariant matrix product state or a limit of such states. For systems with few qubits, we give these equations explicitly, considering both periodic and open boundary conditions. Using the classical theory of trace varieties and trace algebras, we explain the relationship between MPS and hidden Markov models and exploit this relationship to derive useful parameterizations of MPS. We make four conjectures on the identifiability of MPS parameters.

研究动机与目标

• 通过代数约束刻画哪些纠缠量子比特态可表示为平移不变矩阵乘积态（MPS）或其极限形式。
• 为小系统中MPS可表示性推导出关于量子态振幅的显式多项式方程，这些方程是必要且充分的。
• 通过迹代数与迹代数簇，建立MPS与隐马尔可夫模型之间的数学联系。
• 基于此代数框架，提供MPS的参数化形式，以改进状态表示的分析。
• 提出关于MPS参数可辨识性的猜想，解决量子态表示中的基本结构性问题。

提出的方法

• 利用迹代数簇与迹代数的经典理论，推导出刻画MPS态的多项式不变量。
• 应用矩阵乘积态的代数结构，识别出在且仅在态为平移不变MPS或其极限时成立的振幅多项式约束。
• 在开放与周期性边界条件下，对少量量子比特的系统显式构造这些多项式方程。
• 利用MPS与隐马尔可夫模型之间的对偶性，通过代数几何技术推导MPS的参数化形式。
• 运用矩阵迹中的迹恒等式与多项式关系，代数地编码MPS波函数的结构。
• 基于推导出的代数约束，提出关于MPS参数唯一性与可辨识性的猜想。

实验结果

研究问题

• RQ1 哪些关于纯量子态振幅的多项式约束是必要且充分的，以使该态可表示为平移不变MPS或其极限？
• RQ2 迹代数簇与迹代数的代数结构如何与矩阵乘积态的表示相关联？
• RQ3 如何利用MPS与隐马尔可夫模型之间的对偶性来参数化MPS波函数？
• RQ4 在什么条件下可确保MPS参数的可辨识性，以及如何从代数角度形式化这一性质？
• RQ5 边界条件（开放与周期性）如何影响MPS可表示性多项式约束的形式？

主要发现

• 本文推导出关于量子态振幅的显式多项式方程，可刻画态是否为平移不变MPS或其极限形式，适用于小系统。
• 通过迹代数理论，建立了MPS与隐马尔可夫模型之间精确的代数对应关系。
• 所推导的约束在平移不变条件下被证明对MPS可表示性既必要又充分。
• 该框架实现了基于迹恒等式的新型MPS参数化，为状态表示提供了几何与代数视角。
• 提出了四个关于MPS参数可辨识性的猜想，暗示了参数空间更深层次的结构性特征。
• 研究结果为理解MPS在表示纠缠量子比特系统时的代数限制与能力奠定了基础。