text: Если A {\displaystyle A} и H {\displaystyle H} — эрмитовы матрицы, то: tr ⁡ exp ⁡ ( A + H ) ⩽ tr ⁡ ( exp ⁡ ( A ) exp ⁡ ( H ) ) {\displaystyle \operatorname {tr} \exp(A+H)\leqslant \operatorname {tr} (\exp(A)\exp(H))} , где tr ⁡ X {\displaystyle \operatorname {tr} X} — след матрицы X {\displaystyle X} .