1
$\begingroup$

It is well known that the knowledge of the characteristic polynomial $p(x)$ and of the minimal polynomial $m(x)$ of an $3 \times 3$ matrix , determines its Jordan Normal form. But for an $n \times n$ matrix with $n>3$ we can have more than one Jordan form for given $p(x)$ and $m(x)$.

As an example, for a $6\times 6$ matrix with $p(x)=(x-2)^4(x-3)^2$ and $m(x)=(x-2)^2(x-3)^2$ we can have two (not similar) Jordan forms, one with one block of dimension $2$ for the eigenvalue $x=2$ and the other with two blocks of dimension $2$ for this same eigenvalue.

Given the dimension of the matrix and the two polynomials $p(x)$ and $m(x)$, I can enumerate the possible Jordan forms, using the fact that the $p(x)$ gives all the eigenvalues with their algebraic multiplicity and $m(x)$ gives the maximum dimension of the Jordan blocks for any eigenvalue.

But, for increasing $n$, this procedure becomes a long road, so I'm searching if there is some formula that counts the possible Jordan forms for given $p(x)$ and $m(x)$, also for matrices of great dimension.

More general: for an $n \times n$ matrix how many consistent couples of factorizations of the characteristic and minimal polynomial we can have? And how many non similar Jordan forms are compatible with any couple of factorizations? And eventually, how many are all the possible Jordan forms (not similar) for a given set of eigenvalues?

PS: this question is related to the other question that, maybe, can be useful for an answer (but I don't see how...)

$\endgroup$
  • 1
    $\begingroup$ for each eigenvalue: en.wikipedia.org/wiki/… $\endgroup$ – Will Jagy Apr 30 '18 at 21:43
  • $\begingroup$ As to your general question, the answer must be infinitely many if you're working in characteristic $0$ since there are infinitely many possible eigenvalues. So once again, you've got to be clearer about what you want to count. $\endgroup$ – ancientmathematician May 2 '18 at 12:53
  • $\begingroup$ @ancientmathematician: In this case the eigenvalues are given (we know the characteristic and minimal polynomials). As an example: the problem can be to find all Jordan matrices of dimension $n\times n$ with eigenvalues $\lambda_1=1,\lambda_2=2\cdots \lambda_k=k$ for $k \le n$. $\endgroup$ – Emilio Novati May 5 '18 at 12:50
  • $\begingroup$ In that case I don't understand what " how many consistent couples of factorizations of the characteristic and minimal polynomial we can have? " $\endgroup$ – ancientmathematician May 5 '18 at 15:39
  • $\begingroup$ @ancientmathematician: My english is poor, so maybe that I'm not clear. As an example: If $n=4$ and the eigenvalues are $1,2$, than the characteristic polynomial can be factorized as $(x-1)^m (x-2)^n$ with $m+n=4$. If $m=n=2$ the minimal polynomials ''consistent'' with such characteristic polynomial are $(x-1)^2(x-2)^2$,$(x-1)(x-2)^2$, $(x-1)^2(x-2)$ and $(x-1)(x-2)$. $\endgroup$ – Emilio Novati May 5 '18 at 19:09
2
$\begingroup$

I dont know if it helps but I reprased the question in combinatorial terms. Let $T(n,k)$ be the number of distinct ways you can obtain $n$ as the sum of non zero naturals less than or equal to $k$. eg: $$3=1+1+1=2+1 \implies T(3,2)=2$$

Let the following be the factorizations of the polinomials: $$\begin{align}p(x)=\prod_{ k=1 } ^{l} (x-\lambda_k)^{i_k} && m(x)=\prod_{ k=1 }^{l}(x-\lambda_k)^{j_k} \end{align} $$ Whe know that $\forall k, 1 \leq k \leq l$ the jordan form has at least a block of type $( \lambda_k,j_k)$, the sum of the sizes of all jordan bloks realative to $\lambda_k$ is equal to $i_k$ and the size of each block is comprised between $1$ and $j_k$. The number of classes of equivalence of matrices with the given polynomials is then $$\prod_{k=1}^l T(i_k - j_k,j_k) $$ A recursive formula for $T(n,k)$ lifted from OEIS - A026820 is: $$T(n,k) = T(n,k-1) + T(n-k,k)$$

$\endgroup$
  • $\begingroup$ Thank you @Dario. This can be useful (+1) $\endgroup$ – Emilio Novati May 5 '18 at 19:12

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.