60

It is known that if two matrices $A,B \in M_n(\mathbb{C})$ commute, then $e^A$ and $e^B$ commute. Is the converse true?

If $e^A$ and $e^B$ commute, do $A$ and $B$ commute?

Edit: Addionally, what happens in $M_n(\mathbb{R})$?

Nota Bene: As a corollary of the counterexamples below, we deduce that if $A$ is not diagonal then $e^A$ may be diagonal.

Seirios
  • 31,571
  • 5
  • 66
  • 131

5 Answers5

65

No. Let $$A=\begin{pmatrix}2\pi i&0\\0&0\end{pmatrix}$$ and note that $e^A=I$. Let $B$ be any matrix that does not commute with $A$.

Harald Hanche-Olsen
  • 30,759
  • 2
  • 54
  • 77
  • How does one see that $e^A = I$? Just curious how one would actually go about doing the computation. – Stahl Apr 02 '13 at 15:48
  • 7
    @Stahl: Since the matrix is diagonal, just take the exponential of every diagonal element. To wit: $\exp\operatorname{diag}(\lambda_1,\lambda_2,\ldots)= \operatorname{diag}(e^{\lambda_1},e^{\lambda_2},\ldots)$. – Harald Hanche-Olsen Apr 02 '13 at 15:48
  • 1
    Ah ok! I've seen the exponential map before, but never any explicit computations using it. +1 – Stahl Apr 02 '13 at 15:49
  • 1
    (Can someone explain why one of the `\lambda`s in my comment above does not work? I edited it several times, ensuring there is no space or other unwanted character in there. Well, actually, there seems to be two characters: U+200C ZERO WIDTH NON-JOINER followed by U+200B ZERO WIDTH SPACE, but I didn't put them there!) – Harald Hanche-Olsen Apr 02 '13 at 15:53
  • That happens to me often with `\frac`, `\dfrac`, and `cfrac` in comments, and I've seen it happen with Greek letters before. I don't quite know what to make of it. – Cameron Buie Apr 02 '13 at 16:00
  • 2
    @CameronBuie The answer [seems to be here](http://meta.math.stackexchange.com/questions/5137/too-long-latex-formulae-not-shown-in-comments/5138#5138) – Harald Hanche-Olsen Apr 02 '13 at 16:02
  • Wonderful! Now I know how to avoid that. – Cameron Buie Apr 02 '13 at 16:33
  • This is my most favourite answer of the day to a linear algebra question. +1 – user1551 Apr 02 '13 at 16:42
  • @Stahl Also, the [Matrix Exponential](http://en.wikipedia.org/wiki/Matrix_exponential) Wikipedia page has some useful info on computing it. For instance, if the matrix is diagonal, you can simply raise $e$ to every diagonal element. It gets harder from there. :) – Kaz Apr 02 '13 at 19:50
33

Here's an example over $\mathbb{R}$, modeled after Harald's answer: let $$A=\pmatrix{0&-2\pi\\ 2\pi&0}.$$ Again, $e^A=I$. Now choose any $B$ that doesn't commute with $A$.

user1551
  • 122,076
  • 7
  • 103
  • 187
13

Another example: $$A=\pmatrix{0&-2\pi\\ 2\pi&0}, \textrm{ }B=\pmatrix{0&-2\pi\\49\cdot 2\pi&0}$$ This is a counterexample of the following statement: $$e^{A+B}=e^Ae^B\Longrightarrow AB=BA$$ since $$e^A=e^B=e^{A+B}=I$$ but $$AB=4\pi^2 \pmatrix{-49&0\\ 0&-1},$$ $$BA=4\pi^2 \pmatrix{-1&0\\0&-49}.$$

Sungjin Kim
  • 17,768
  • 3
  • 25
  • 69
8

I just want to point out a general(maybe not the most general) way of constructing infinitely many counterexamples in $M_2(\mathbb{R})$. It is not hard to prove for a $2\times2$ traceless matrix $X$, we have

$$e^X=\cos(\sqrt{\det X})I+\frac{\sin\sqrt{\det X}}{\sqrt{\det X}}X,$$

where $\frac{\sin 0}{0}$ is to be understood as 1 for the second term. Thus to have $e^X=I$ we just need some traceless $X$ having $\det X=(2n\pi)^2,n\in\mathbb{Z/\{0\}}$, and this is a fairly easy job. Most of the matrices you construct in this way won't commute with each other. All the previously given $M_2(\mathbb{R})$ counterexamples fall into this category.

nbubis
  • 31,733
  • 7
  • 76
  • 133
Jia Yiyang
  • 1,013
  • 9
  • 20
1

I would add that if $A$ and $B$ are Hermitian matrices, $[e^A,e^B] = 0$ does imply $[A,B] = 0$. You can refer to this answer by user8675309.

To put it shortly, the eigenspaces of $e^A$ are exactly those of $A$ if $A$ is Hermitian. Since $[e^A, e^B] = 0$, $e^A$ and $e^B$ have a common eigenbasis. This basis serves as a common eigenbasis of $A$ and $B$ as well. Therefore $A$ and $B$ commute.

Minh Nguyen
  • 113
  • 8