Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Let $A$ and $B$ be finite-dimensional Hermitian matrices, and let $v$ $:=$ $max${$||A||,||B||$}.

Show that $||(e^{-iAt/m}e^{-iBt/m})^m -e^{-i(A+B)t}||\leq\epsilon$ provided $m = \Omega(v^2t^2/\epsilon)$.

share|cite|improve this question
Is that supposed to be a 2-norm? – J. M. Nov 26 '10 at 3:59
It is generally considered impolite to phrase your questions in the imperative voice. If this is homework, you should also indicate what you've done so far and where you've gotten stuck. It is not our job to do your homework for you every time you tell us to. – Qiaochu Yuan Nov 26 '10 at 4:09

HINT: Consider the product of power series $\exp(A/m)\exp(B/m) = I + \frac{A}{m} + \frac{B}{m} + O\left(\frac{1}{m^2}\right)$. Then use this to estimate the logarithm for sufficiently large $m$, then exponentiate and raise to the $m$-th power.

This is from the proof in section 2.4 of "Lie Groups, Lie Algebras, and Representations" by Brian C. Hall.

share|cite|improve this answer
+1 for referencing this book! – Matt Calhoun Nov 27 '10 at 1:44

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.