Golden–Thompson inequality

The Golden-Thompson inequality is a result in linear algebra and functional analysis, particularly concerning positive semi-definite matrices and traces of exponentials of matrices.