Skip to main content
added 142 characters in body
Source Link
Sven
  • 73
  • 3

Given $A \in \mathrm{GL}_m(\mathbb{C})$, I can conjugate it by some $B \in \mathrm{GL}_m(\mathbb{C})$ into its Jordan normal form. That is, for some $n\le m$, there exists a $J \in \mathrm{GL}_n(\mathbb{C})$ containing all Jordan blocks which are not the $1 \times 1$ block with entry $1$ such that our Jordan normal form looks like \begin{align} BAB^{-1}= \begin{pmatrix} J & 0 & \dots &0 \\ 0 & 1 & \dots & 0\\ \vdots & \vdots & \ddots & \vdots \\ 0 & 0 & \dots & 1 \end{pmatrix} \end{align}

In my setting the parameter $m$ is to be thought of as large and $n$ as small, perceivingand we define $n$ asto be the size ofof $A$.

My question is if such a $B$ can be chosen in an efficient way. That is, is there such a $B$ which conjugates $A$ into its Jordan normal form and $B$ has linearly bounded size $ \leq Kn$ for some $K \in \mathbb{N}$ itself? That means that a Jordan normal form of $B$ has a linearly bounded number of nontrivial Jordan blocks for a particular choice of $B$ or equivalently a choice of $B$ which has a large subspace on which it acts by the identity, if that was already true for $A$.

Given $A \in \mathrm{GL}_m(\mathbb{C})$, I can conjugate it by some $B \in \mathrm{GL}_m(\mathbb{C})$ into its Jordan normal form. That is, for some $n\le m$, there exists a $J \in \mathrm{GL}_n(\mathbb{C})$ containing all Jordan blocks which are not the $1 \times 1$ block with entry $1$ such that our Jordan normal form looks like \begin{align} BAB^{-1}= \begin{pmatrix} J & 0 & \dots &0 \\ 0 & 1 & \dots & 0\\ \vdots & \vdots & \ddots & \vdots \\ 0 & 0 & \dots & 1 \end{pmatrix} \end{align}

In my setting the parameter $m$ is to be thought of as large and $n$ as small, perceiving $n$ as the size of $A$.

My question is if such a $B$ can be chosen in an efficient way. That is, is there such a $B$ which conjugates $A$ into its Jordan normal form and has linearly bounded size $ \leq Kn$ for some $K \in \mathbb{N}$ ? That means a particular choice of $B$ which has a large subspace on which it acts by the identity, if that was already true for $A$.

Given $A \in \mathrm{GL}_m(\mathbb{C})$, I can conjugate it by some $B \in \mathrm{GL}_m(\mathbb{C})$ into its Jordan normal form. That is, for some $n\le m$, there exists a $J \in \mathrm{GL}_n(\mathbb{C})$ containing all Jordan blocks which are not the $1 \times 1$ block with entry $1$ such that our Jordan normal form looks like \begin{align} BAB^{-1}= \begin{pmatrix} J & 0 & \dots &0 \\ 0 & 1 & \dots & 0\\ \vdots & \vdots & \ddots & \vdots \\ 0 & 0 & \dots & 1 \end{pmatrix} \end{align}

In my setting the parameter $m$ is to be thought of as large and $n$ as small, and we define $n$ to be the size of $A$.

My question is if such a $B$ can be chosen in an efficient way. That is, is there such a $B$ which conjugates $A$ into its Jordan normal form and $B$ has linearly bounded size $ \leq Kn$ for some $K \in \mathbb{N}$ itself? That means that a Jordan normal form of $B$ has a linearly bounded number of nontrivial Jordan blocks for a particular choice of $B$ or equivalently a choice of $B$ which has a large subspace on which it acts by the identity, if that was already true for $A$.

formatting
Source Link
YCor
  • 63.9k
  • 5
  • 187
  • 286

Effective Jordan Normalnormal form

Given $A \in GL_m(\mathbb{C})$$A \in \mathrm{GL}_m(\mathbb{C})$, I can conjugate it by some $B \in GL_m(\mathbb{C})$$B \in \mathrm{GL}_m(\mathbb{C})$ into its Jordan normal form. That is, for some $n$$n\le m$, there exists a $J \in GL_n(\mathbb{C})$$J \in \mathrm{GL}_n(\mathbb{C})$ containing all Jordan blocks which are not the $1 \times 1$ block with entry $1$ such that our Jordan normal form looks like \begin{align} BAB^{-1}= \begin{pmatrix} J & 0 & \dots &0 \\ 0 & 1 & \dots & 0\\ \vdots & \vdots & \ddots & \vdots \\ 0 & 0 & \dots & 1 \end{pmatrix} \end{align}

In my setting the parameter $m$ is to be thought of as large and $n$ as small, perceiving $n$ as the size of $A$.

My question is if such a $B$ can be chosen in an efficient way. That is, is there such a $B$ which conjugates $A$ into its Jordan normal form and has linearly bounded size $ \leq Kn$ for some $K \in \mathbb{N}$ ? That means a particular choice of $B$ which has a large subspace on which it acts by the identity, if that was already true for $A$.

Effective Jordan Normal form

Given $A \in GL_m(\mathbb{C})$ I can conjugate it by some $B \in GL_m(\mathbb{C})$ into its Jordan normal form. That is, for some $n$ there exists a $J \in GL_n(\mathbb{C})$ containing all Jordan blocks which are not the $1 \times 1$ block with entry $1$ such that our Jordan normal form looks like \begin{align} BAB^{-1}= \begin{pmatrix} J & 0 & \dots &0 \\ 0 & 1 & \dots & 0\\ \vdots & \vdots & \ddots & \vdots \\ 0 & 0 & \dots & 1 \end{pmatrix} \end{align}

In my setting the parameter $m$ is to be thought of as large and $n$ as small, perceiving $n$ as the size of $A$.

My question is if such a $B$ can be chosen in an efficient way. That is, is there such a $B$ which conjugates $A$ into its Jordan normal form and has linearly bounded size $ \leq Kn$ for some $K \in \mathbb{N}$ ? That means a particular choice of $B$ which has a large subspace on which it acts by the identity, if that was already true for $A$.

Effective Jordan normal form

Given $A \in \mathrm{GL}_m(\mathbb{C})$, I can conjugate it by some $B \in \mathrm{GL}_m(\mathbb{C})$ into its Jordan normal form. That is, for some $n\le m$, there exists a $J \in \mathrm{GL}_n(\mathbb{C})$ containing all Jordan blocks which are not the $1 \times 1$ block with entry $1$ such that our Jordan normal form looks like \begin{align} BAB^{-1}= \begin{pmatrix} J & 0 & \dots &0 \\ 0 & 1 & \dots & 0\\ \vdots & \vdots & \ddots & \vdots \\ 0 & 0 & \dots & 1 \end{pmatrix} \end{align}

In my setting the parameter $m$ is to be thought of as large and $n$ as small, perceiving $n$ as the size of $A$.

My question is if such a $B$ can be chosen in an efficient way. That is, is there such a $B$ which conjugates $A$ into its Jordan normal form and has linearly bounded size $ \leq Kn$ for some $K \in \mathbb{N}$ ? That means a particular choice of $B$ which has a large subspace on which it acts by the identity, if that was already true for $A$.

Source Link
Sven
  • 73
  • 3

Effective Jordan Normal form

Given $A \in GL_m(\mathbb{C})$ I can conjugate it by some $B \in GL_m(\mathbb{C})$ into its Jordan normal form. That is, for some $n$ there exists a $J \in GL_n(\mathbb{C})$ containing all Jordan blocks which are not the $1 \times 1$ block with entry $1$ such that our Jordan normal form looks like \begin{align} BAB^{-1}= \begin{pmatrix} J & 0 & \dots &0 \\ 0 & 1 & \dots & 0\\ \vdots & \vdots & \ddots & \vdots \\ 0 & 0 & \dots & 1 \end{pmatrix} \end{align}

In my setting the parameter $m$ is to be thought of as large and $n$ as small, perceiving $n$ as the size of $A$.

My question is if such a $B$ can be chosen in an efficient way. That is, is there such a $B$ which conjugates $A$ into its Jordan normal form and has linearly bounded size $ \leq Kn$ for some $K \in \mathbb{N}$ ? That means a particular choice of $B$ which has a large subspace on which it acts by the identity, if that was already true for $A$.