面向完整分类全息熵不等式的探索

我们提出了一种确定性方法，用于寻找具有相应收缩映射的全部全息熵不等式，并论证了该方法的完备性。我们利用全息熵不等式、收缩映射与部分立方体之间的三元关系。更具体地，全息熵不等式的有效性由收缩映射的存在所暗示，我们证明了这等价于寻找收缩图的等距嵌入。因此，凭借所论证的收缩映射证明方法的完备性，寻找全部全息熵不等式的问题等价于寻找全部收缩映射的问题，我们将其转化为寻找全部图像图部分立方体的问题。我们给出了该问题的算法解决方案，并对该方法的复杂度进行了刻画。我们还展示了一些有趣的副产品，最显著的是一种生成候选量子熵不等式的程序。