MathOverflow will be down for maintenance for approximately 3 hours, starting Monday evening (06/24/2013) at approximately 9:00 PM Eastern time (UTC-4).

Let $A$ and $B$ be $n \times n$ Hermitian matrices. Then the function $$\phi(t) = \mbox{trace}(e^{A+i t B}),$$ is a positive-definite function.