量子绝热算法中的majorization序

majorization理论已被应用于分析量子算法的数学结构。先前文献中通过数值模拟得到的一个经验性结论表明，逐步majorization似乎普遍出现在量子绝热算法中。本文对一类特殊量子绝热算法中的majorization箭头进行了严格分析。特别地，我们证明对于该类任意绝热算法，基态的逐步majorization严格成立。对于实际态，我们证明逐步majorization近似成立，并且算法运行时间越长，近似越好。