Characteristic Polynomial – Can an Operator Have Exp(z)?

fa.functional-analysishilbert-spacesrt.representation-theory

Let $\mathcal{H}$ be a Hilbert space, and let $T: \mathcal{H} \rightarrow \mathcal{H}$ be a trace-class operator. Define
$$ f_T(z) = \sum_{i=0}^\infty \mbox{Tr}(\wedge^k T) \cdot z^k, $$

the ordinary generating function for traces of exterior powers of $T$. Expressed another way,

$$ f_T(z) = \mbox{Det}(I + zT) $$

where $\mbox{Det}$ is the Fredholm determinant. This function is entire, and can be considered a generalization of the characteristic polynomial.

I am wondering if
$$f_T(z) = e^z $$
for some natural choice of $T$ on some nice incarnation of Hilbert space.

The motivation for this problem comes from representation theory, where finite minors of such a $T$ provide a formula for dimensions of irreps of $S_n$, the symmetric group on $n$ letters.

–edit–

In order to provide slightly more background on the sort of application I have in mind, here is an attractive identity which might pique your interest:

If $\beta : \mathbb{C} \rightarrow \mathbb{C}$ is any function, define $$\gamma(z) = \frac{1}{\Gamma(z+1)}, \hspace{.4in} \delta(z) = \frac{\beta(z)}{\Gamma(z+1)}$$
Now

$$
\left|
\begin{pmatrix}
\gamma(3) & \gamma(4) & \gamma(5) \\\\
\gamma(-1) & \gamma(0) & \gamma(1) \\\\
\gamma(-2) & \gamma(-1) & \gamma(0)
\end{pmatrix}
\begin{pmatrix}
\delta(3) & \delta(4) & \delta(5)\\\\
\delta(-1) & \delta(0) & \delta(1)\\\\
\delta(-2) & \delta(-1) & \delta(0)
\end{pmatrix}
\right|
+ $$
$$
\left|
\begin{pmatrix}
\gamma(2) & \gamma(3) & \gamma(4) \\\\
\gamma(0) & \gamma(1) & \gamma(2) \\\\
\gamma(-2) & \gamma(-1) & \gamma(0)
\end{pmatrix}
\begin{pmatrix}
\delta(2) & \delta(3) & \delta(4)\\\\
\delta(0) & \delta(1) & \delta(2)\\\\
\delta(-2) & \delta(-1) & \delta(0)
\end{pmatrix}
\right|
+ $$
$$
\left|
\begin{pmatrix}
\gamma(1) & \gamma(2) & \gamma(3) \\\\
\gamma(0) & \gamma(1) & \gamma(2) \\\\
\gamma(-1) & \gamma(0) & \gamma(1)
\end{pmatrix}
\begin{pmatrix}
\delta(1) & \delta(2) & \delta(3)\\\\
\delta(0) & \delta(1) & \delta(2)\\\\
\delta(-1) & \delta(0) & \delta(1)
\end{pmatrix}
\right| = \frac{\delta(1)^3}{3!}
$$

Best Answer

Here's a proof that $\exp(z)$ is not a characteristic function using the product expansion for the determinant, which is essentially equivalent to Lidskii's theorem stating that the trace of a trace class operator is the sum of its eigenvalues.

If $T$ is a trace class operator on a Hilbert space $\mathcal{H}$ with eigenvalues $\lambda_n$ (counted up to algebraic multiplicity), then $\sum_n\vert\lambda_n\vert < \infty$ and $$ {\rm det}(1+zT)\equiv\sum_{k=0}^\infty{\rm Tr}(\Lambda^kT)z^k=\prod_n(1+z\lambda_n) $$ for all $z\in\mathbb{C}$.

See Trace Ideals and Their Applications, Theorem 3.7. Actually, they use this result to prove Lidskii's theorem, that ${\rm Tr}(T)=\sum_n\lambda_n$.

Then, ${\rm det}(1+zT)$ cannot be equal to $\exp(z)$ everywhere. This is because $\exp$ has no zeros, so $\lambda_n$ would have to be all zero, giving ${\rm det}(1+zT)=1$.

Related Question