A mysterious Heisenberg algebra identity from Sylvester, 1867 - MathOverflow

A mysterious Heisenberg algebra identity from Sylvester, 1867

2012-07-15T11:12:00Z

I am trying to understand two papers by James Joseph Sylvester:

P92: "Note on the properties of the test operators which occur in the calculus of invariants, their derivatives, analogues, and laws of combination; with an incidental application to the development in a Maclaurinian series of any power of the logarithm of an augmented variable."

and

P95: "On the multiplication of partial differential operators."

[The numbering is from volume 2 of Sylvester's Collected Works. These, incidentally, are spread over four volumes: volume 1, volume 2, volume 3, volume 4 (first two courtesy of anonymous book scanners), with some duplicates on the Internet Archive. All of them are out of copyright.]

On the first page of P95 (aka page 11 of the linked djvu), Sylvester states that

"If $\phi$ be any such function [i. e., a polynomial or power series in infinitely many commuting variables $x$, $y$, $z$, ..., $\delta_x$, $\delta_y$, $\delta_z$, ... (here, $\delta_x$, $\delta_y$, $\delta_z$, ... are just symbols, not differential operators!) which is multilinear with respect to $\left(\delta_x,\delta_y,\delta_z,...\right)$], [we have]

$e^{\displaystyle t\phi\star} = \left[e^{\displaystyle \left(e^{\displaystyle t\phi\star}-1\right)\phi}\right]\star$."

Here, as far as I understand, the $\star$ operation is defined as follows (see page 1 of P92, aka page 1 of the linked djvu): If $\psi$ is any polynomial or power series in infinitely many variables $x$, $y$, $z$, ..., $\delta_x$, $\delta_y$, $\delta_z$, ..., then $\psi\star$ means the differential operator we obtain if we collect all the $\delta_x$, $\delta_y$, $\delta_z$, ... variables at the right end of every monomial and replace them by the partial derivative operators $\frac{\delta}{\delta x}$, $\frac{\delta}{\delta y}$, $\frac{\delta}{\delta z}$, .... I cannot say that I am sure about this, though, because no matter how I try to obtain a small, verifiable example for the formula, I get some nonsense which is either wrong or I am not able to check.

Sylvester studied these in the context of classical invariant theory, but nowadays quantum field theorists are interested in these differential operators as elements of the Heisenberg algebra. Is there any modern (readable) reformulation of the above identity? Has anyone else tried to comprehend its meaning? Is it related to the identity $\left(\exp a\right)\left(\exp b\right)\left(\exp a\right)^{-1} = \exp\left(\left(\exp\left(\mathrm{ad} a\right)\right)\left(b\right)\right)$ which holds for any two elements $a$ and $b$ of a ring for which these exponentials make sense? (This is speculation based on nothing more than the appearance of nested exponentials in both identities.)

Answer by Austen for A mysterious Heisenberg algebra identity from Sylvester, 1867

2012-07-16T11:29:18Z

The following instance of your identity is well known in physics (and is sometimes called an "operator disentangling" identity)

$:\exp\left[\left(e^W-1\right)_{ij}a_i^\dagger a_j\right]:\;=\exp\left(W_{ij}a^\dagger_i a_j\right)$

where $::$ denotes normal ordering, $a_i$ and $a^\dagger_j$ are canonical Bose annhilation and creation operators satisfying $[a_i,a^\dagger_j]=\delta_{ij}$, and W is an arbitrary matrix (summation implied).

For general (rather than just quadratic) $\phi$ the formula is completely new (indeed remarkable) to me.

Frustratingly, it's hard to track down the origins of the above formula. Here's a recent discussion that includes the above version for a single boson mode (Eq. 30):

Combinatorics and Boson normal ordering: A gentle introduction American Journal of Physics, 75 (7), pp. 639 (2007)

The authors' comments after Eq. 30 seem to imply that the formula doesn't generalize simply.

EDIT: I realized that Sylvester initially states the quadratic form above, and then limits his generalization to functions $\phi$ "linear quantic in $\delta_x$, $\delta_y$, $\delta_z$,...". Still, this generalization appears to contradict Eq. 31 of the above article.

Answer by darij grinberg for A mysterious Heisenberg algebra identity from Sylvester, 1867

2012-07-17T09:55:18Z

Thanks, Austen; I didn't think a particular case could be that strong. (I can't say it's an immediate particular case, though. It took me some transformations to get the $e^W-1$ term.)

Meanwhile I have understood the claim (and found a proof; more about it later today or tomorrow).

The formula I quoted above is slightly wrong, at least as I understand it. It should be $e^{\displaystyle t\phi\star} = \left[e^{\displaystyle \left(\left(e^{\displaystyle t\phi\star}-1\right) / \left(\phi\star\right)\right) \phi}\right]\star$, where $\left(e^{\displaystyle t\phi\star}-1\right) / \left(\phi\star\right)$ is to be understood "formally" (as in, "plug in $\phi\star$ as $x$ in the power series $\left(e^{tx}-1\right)/x$"). Sylvester gets this right in his first paper (P92) even though he misses an assumption (multilinearity with respect to the $\delta$ variables) there. Apparently, the wrong formula is due to an off-by-$1$ error.

Let me rewrite the correct formula in some more modern notations.

Theorem 1 (Sylvester). Let $K$ be a commutative ring.

Let $K\left[a,b,c,...\right]$ be the ring of polynomials in the commuting indeterminates $a$, $b$, $c$, ..., and let $K\left[\delta_a,\delta_b,\delta_c,...\right]$ be the ring of polynomials in the commuting indeterminates $\delta_a$, $\delta_b$, $\delta_c$, ... (which, as for now, have nothing to do with $a$, $b$, $c$, ... except being similarly labelled). Let $\mathrm{Diff}\left(a,b,c,...\right)$ be the ring of polynomial differential operators on $K\left[a,b,c,...\right]$. Then, we can define a $K$-module isomorphism

$M : K\left[a,b,c,...\right] \otimes K\left[\delta_a,\delta_b,\delta_c,...\right] \to \mathrm{Diff}\left(a,b,c,...\right),$

$P \otimes Q \mapsto P \cdot Q\left(\dfrac{\partial}{\partial a},\dfrac{\partial}{\partial b},\dfrac{\partial}{\partial c},...\right)$.

(Only $Q$, not $P\cdot Q$, is being evaluated at $\left(\dfrac{\partial}{\partial a},\dfrac{\partial}{\partial b},\dfrac{\partial}{\partial c},...\right)$ here.)

Let $\left(K\left[\delta_a,\delta_b,\delta_c,...\right]\right)_1$ be the $K$-submodule of $K\left[\delta_a,\delta_b,\delta_c,...\right]$ spanned by $\delta_a$, $\delta_b$, $\delta_c$, ... (that is, the degree-$1$ part of $K\left[\delta_a,\delta_b,\delta_c,...\right]$).

The ring $\mathrm{Diff}\left(a,b,c,...\right)$ acts on the tensor product $K\left[a,b,c,...\right] \otimes K\left[\delta_a,\delta_b,\delta_c,...\right]$ by acting on the first tensorand only. Denote this action by $\rightharpoonup$. In other words, for any differential operator $R\in \mathrm{Diff}\left(a,b,c,...\right)$, any $P\in K\left[a,b,c,...\right]$ and any $d\in K\left[\delta_a,\delta_b,\delta_c,...\right]$, set $R\rightharpoonup \left(P\otimes d\right) = R\left(P\right)\otimes d$, and extend this by linearity to an action of $\mathrm{Diff}\left(a,b,c,...\right)$ on the whole tensor product.

Let $D \in K\left[a,b,c,...\right] \otimes \left(K\left[\delta_a,\delta_b,\delta_c,...\right]\right)_1$ be arbitrary. Let $T$ be the power series

$\sum\limits_{i\geq 1} \left(M\left(D\right)\right)^{i-1} \rightharpoonup D \dfrac{t^i}{i!} \in \left(K\left[a,b,c,...\right] \otimes K\left[\delta_a,\delta_b,\delta_c,...\right]\right)\left[\left[t\right]\right]$.

Then, $M\left(\exp T\right) = \exp\left(tM\left(D\right)\right)$, where $M\left(\exp T\right)$ is shorthand for "the image of $T$ under the canonical map $M : \left(K\left[a,b,c,...\right] \otimes K\left[\delta_a,\delta_b,\delta_c,...\right]\right)\left[\left[t\right]\right] \to \left(\mathrm{Diff}\left(a,b,c,...\right)\right)\left[\left[t\right]\right]$ induced by $M$".

Note that this is closely related to normal ordered products, but I find the $:...:$ notation for normal ordered products annoyingly restrictive (as it forces everything between the colons to be normal ordered, but the proof of Theorem 1 needs a normal ordered product with a non-normal ordered product inside). Maybe this is because I don't really understand the subtleties of this notation. I would personally just use some different symbol for the commutative multiplication map on $\mathrm{Diff}\left(a,b,c,...\right)$ transferred from $\left[a,b,c,...\right] \otimes K\left[\delta_a,\delta_b,\delta_c,...\right]$ by the isomorphism $M$. What about $\boxdot$?

Theorem 1 is by no means the whole content of the two papers I've linked, and I'd welcome any readable "translations" of the other results. (I'm going to try that myself, too.)

Note that there are two typos in the second equation on page 568 of P92. It says

$\phi_1\star\phi_1\star\phi_1\star = \left(\phi_1^s + 2 \phi_1\phi_2 + \phi_3\right)\star$.

First, the $s$ should be a $3$ (this is probably because whoever made the djvu set the threshold for identity of shapes too liberally); second, the $2$ coefficient should be a $3$.