# Dimension of set of Hermitian matrices commuting with a given matrix

Given a Hermitian matrix $A$, what is the dimension of the set of all other Hermitian matrices $B$ such that $[A,B] = 0$.

It is clearly not the same for all $A$, but how can one find it for a given $A$.

• A guess: If $A$, $B$ do not have any common eigenvalues, they do not commute. So could the answer have to do with the multiplicity of eigenvalues in $A$, lets say, maybe, the largest multplicity? – kjetil b halvorsen Apr 8 '15 at 13:48

Let's start with the case where $A = \def\d{\mathrm{diag}}\d(\lambda_1, \ldots, \lambda_n)$ is diagonal. If now $B\in \def\C{\mathbf C}\C^{n \times n}$ is given, we have \begin{align*} AB &= \begin{pmatrix} \lambda_1 b_{11} & \lambda_1 b_{12} & \cdots & \lambda_1 b_{1n}\\ \vdots & & \ddots & \vdots\\ \lambda_n b_{n1} & \lambda_n b_{n2} & \cdots & \lambda_n b_{nn} \end{pmatrix}\\ BA &= \begin{pmatrix} \lambda_1 b_{11} & \lambda_2 b_{12} & \cdots & \lambda_n b_{1n}\\ \vdots & & \ddots & \vdots\\ \lambda_1 b_{n1} & \lambda_2 b_{n2} & \cdots & \lambda_n b_{nn} \end{pmatrix} \end{align*} That is, $B$ and $A$ commute, iff for each $i, j$ we have $$\lambda_i b_{ij} = \lambda_j b_{ij}$$ That is, for each $i, j$ with $\lambda_i \ne \lambda_j$ we must have $b_{ij} = 0$.
Now suppose $A$ has $d$ of the $\lambda_i$ are different and have multiplicity $k_i$, $i = 1, \ldots, d$. So $\sum_i k_i = n$. For each $1 \le i \le d$, we can choose the corresponding $k_i \times k_i$ block of $B$ as an arbitray $k_i \times k_i$ hermitian matrix, hence for this block we have $2\binom{k_i}2 + k_i$ real dimensions. So alltogether, we have $$2\sum_i \binom{k_i}2 + \sum_i k_i = n + 2\sum_i \binom{k_i}2$$ dimensions.
If $A$ is arbitrary, diagonalize $A$ by an unitary $U$. That is $U^*AU = D$, $D$ diagonal. Now note, that $B$ commutes with $A$ iff $U^*BU$ commutes with $U^*AU = D$ and $U^*BU$ is hermitian iff $B$ is. Hence, the spaces of matrices commuting with $A$ and with $D$ are isomorphic by means of $B \mapsto U^*BU$. So they have the same dimension. Hence we have proved:
Proposition. If $A$ is a Hermitian matrix with distinct eigenvalues $\lambda_1, \ldots, \lambda_d$, with multiplicities $k_1,\ldots, k_d$, then the real vector space of hermitian matrices commuting with $A$ has dimension $$n + 2\sum_{i=1}^d \binom{k_i}2$$