催化优超关系的一组有限充分条件集

优超关系在数学、量子信息与资源理论以及量子热力学中有着众多应用，它描述了两个物理态之间的允许跃迁。在许多情况下，当态矢量 $x$ 不优超态矢量 $y$ 时，仍然有可能找到一个催化剂——另一个矢量 $z$，使得 $x \otimes z$ 优超 $y \otimes z$。确定此类催化变换的可行性通常需要检验一组无限的 inequalities。在此，我们推导出了一组蕴含催化作用的有限充分 inequalities 集。将此框架扩展至热力学，我们还确立了在热操作下催化态变换的一组充分条件。针对新的示例，我们提供了一个实现这些条件的软件工具箱。