# Wigner vs. BRST approach to Klein-Gordon

In Wigner's classification of particles Wigner, E. (1939). On Unitary Representations of the Inhomogeneous Lorentz Group. Annals of Mathematics, 40(1), 149–204. http://www.jstor.org/stable/1968551 the Hilbert space of a single spinless particles of mass $$m$$ is given by functions $$\tilde{\varphi}$$ of 4-momentum $$p$$ which are supported on the mass shell $$p^2=m^2$$ and have inner product $$\langle\tilde{\varphi}_1,\tilde{\varphi}_2\rangle=\int \frac{d^3\mathbf{p}}{2E_\mathbf{p}}\tilde{\varphi}_1^*(p)\tilde{\varphi}_2(p)|_{p^0=E_\mathbf{p}}.$$ In particular, in terms of the position space $$\varphi(x)=\frac{1}{(2\pi)^{3/2}}\int\frac{d^3\mathbf{p}}{2E_\mathbf{p}}e^{-i p\cdot x}\tilde{\varphi}(p)|_{p^0=E_\mathbf{p}},$$ the inner product is $$\langle \varphi_1,\varphi_2\rangle=i\int d^3\mathbf{x}\left(\varphi_1^*\frac{\partial\varphi_2}{\partial t}-\frac{\partial\varphi_1^*}{\partial t}\varphi_2\right)$$ at any time slice. These position space functions satisfy the Klein-Gordon equation since the momentum space ones where concentrated on the mass shell. It is usually claimed that this cannot be interpreted as a probability amplitude for position given that this inner product is not positive definite. Moreover, in this scheme there doesn't seem to be any plausible notion of position operator (see Ticciati, R. (1999). Quantum Field Theory for Mathematicians. Cambridge University Press section 1.6). A nice summary of these facts is in the first chapter of Haag, R. (1996). Local Quantum Physics (2nd ed.). Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-642-61458-3.

On the other hand, in section 4.2 of Polchinski, J. (1998). String Theory. In Cambridge Monographs on Mathematical Physics. Cambridge University Press. https://doi.org/10.1017/CBO9780511816079, there is another approach to the quantum theory of a single spinless particle. Instead of being based on a classification of the representations of the Lorentz group, it is given by quantization of the classical theory of the particle $$S=\int d\tau\left(\frac{1}{2e}\dot{x}^\mu\dot{x}_\mu-\frac{1}{2}em^2\right).$$ The BRST procedure here yields the bosonic operators $$x^\mu$$ and $$p^\mu$$ satisfying $$[x^\mu,p^\nu]=i\eta^{\mu\nu}$$ fermionic operators $$b$$ and $$c$$ satisfying $${b,c}=1$$, and a BRST operator $$Q=cH$$, where the Hamiltonian $$H=\frac{1}{2}(p^2+m^2)$$. Then the Stone - von Neumann theorem says that the Hilbert space of the theory is given by $$\mathbb{C}^2$$ valued functions $$\varphi$$ of position $$x$$ with inner product $$\langle\varphi_1,\varphi_2\rangle=\int d^4x\varphi_1^*(x)\varphi_2(x).$$ After taking the BRST cohomology, one can essentially forget that they are $$\mathbb{C}^2$$ valued and one obtains the additional restriction that they must satisfy the Klein-Gordon equation. However, unlike the previous case, in this perspective there is a position operator and one can interpret $$\varphi$$ as the spatial (spacetime) probability amplitude of the particle.

I am very confused by the fact that these two approaches give different answers. What is the relationship between them?

A comment:

The Klein-Gordon QFT yields a Hilbert space which is the second quantization of the one described by Wigner. On the other hand, the Feynman diagram expansion of the theory can be expressed in the worldline formalism in terms of the quantum theory described in Polchinski's book.

• The first one is a quantum field theory and the second one is a quantum point-particle theory. As such, one can describe many-body phenomena (particle creation and annihilation, and multiple scattering) and one cannot. The latter is limited to one-particle processes only. Jan 10, 2021 at 0:03
• I was under the impression that the theory I described at the beginning was a point-particle theory as well. If we call the Hilbert space I described by $\mathcal{H}$, the quantum field theory associated would have Hilbert space $\oplus_{n=0}^\infty S^n\mathcal{H}$. In particular, the $\varphi$ I described is not the quantum field. It is the state in the one-particle space. Jan 10, 2021 at 0:09
• After some more thought, both theories have the same Hilbert space of functions of position satisfying the Klein-Gordon equation. The only difference is the "inner product". Jan 10, 2021 at 0:16
• I see. An issue with the second scalar product is that in general $\phi$ is integrable with respect to $\boldsymbol x$ but not with respect to $t$. So it is not clear to me how the second approach can lead to a well-defined Hilbert space. (Note that the first approach only integrates with respect to the spatial variable). Jan 10, 2021 at 0:57
• Adding to @AccidentalFourierTransform's comment about the inner product, I think your issue may be coming in from the assertion that SvN implies the given inner product. The 00 component of the commutation relations have wrong sign, and so I think are not a Hermitian rep of the Heisenberg algebra with 4 position operators. This fact seems closely related to the existence of negative norm states and the reason BRST is used in the first place. Jan 10, 2021 at 1:43

The faulty assumption is that the elements of the BRST cohomology can be represented by the elements of the unconstrained Hilbert space. They are really not, which means that one can't borrow the definition of the unconstrained inner product and use it. One has to invent another definition for the physical inner product that in this particular problem turns out to not be positively definite.

Let's consider something conceptually simpler first – the solutions of the $$H \psi = 0$$ constraint equation. After all you don't really need BRST in this problem if you're able to solve the quantum constraint $$H \psi = 0$$ constraint defined on the unconstrained Hilbert space.

One might naively assume that such elements belong to the unconstrained Hilbert space $$\mathcal{H}$$, but actually they do not. The reason is that zero lies in the continuum part of the spectrum of $$H$$ rather than being an isolated eigenvalue. This means that there aren't really any eigenvectors of $$H$$ in $$\mathcal{H}$$ with eigenvalue zero (a simple example of this is the operator $$\hat{x}$$ from 1d quantum mechanics – zero lies in its continuous spectrum, and so there doesn't exist a wavefunction that is its eigenfunction with eigenvalue zero – the delta function is not a function and is not square integrable).

Instead, the solutions of the quantum constraint live in the dual space $$\mathcal{H}^{*}$$. We say that $$\varphi \in \mathcal{H}^{*}$$ is a solution of the quantum constraint if $$\forall \psi \in \mathcal{H}: \quad \varphi \left( H \psi \right) = 0.$$

Actually, I lied a bit there. To make everything more precise, one needs rigged Hilbert spaces. Then the space of which the solutions of the quantum constraint are elements is the dual of the dense subspace $$S$$ of rapidly decreasing wavefunctions that is part of the definition of the rigged Hilbert space.

Alternatively, you may try to solve the differential constraint equation which is just the KG equation: $$\left( \Box + m^2 \right) \psi(x^{\mu}) = 0.$$

You will realize that the nonzero solutions of this equation are plane waves which are not elements of $$\mathcal{H}$$, because they don't have a finite norm (with the definition of norm coming from the spacetime integral that you have in your question).

It is in general nontrivial to solve the quantum constraint equation with zero in the continuous spectrum of the constraint operator. Several techniques exist such as group averaging, refined algebraic quantization, master constraint etc.

Fun fact (though not directly related to your question) – people in the LQG community have been trying to solve the quantum Hamiltonian constraint equation from General Relativity using these methods for decades. Some progress has been made including a few candidate models.

Now with BRST, since $$Q = c H$$ you have that the solutions of $$H \psi = 0$$ are also solutions of $$Q \psi = 0$$. It is not hard to convince yourself that the same caveat about dual spaces applies to the BRST cohomology when $$0$$ is in the continuous spectrum of $$Q$$. In fact, using BRST for this problem is a bit of an overkill, and the result of the application of BRST is just that the physical states are those that satisfy $$H \psi = 0$$.

Among other things it means that it is nontrivial to define the inner product on the space of solutions. You can't simply borrow the definition of the inner product on $$\mathcal{H}$$, because the solutions are not elements of $$\mathcal{H}$$. One has to demonstrate for an individual model that this is possible to define the physical inner product on solutions, it doesn't automatically follow from the definition of $$Q$$.

In the case of point particles, the physical inner product is given by the $$3d$$ integral from your question. It is not positive definite, which poses some problems for the interpretation of the theory (but not for the mathematics of the theory, it is still an interesting model and a prelude to string quantization).

• You're right about problems with the inner product, but I'm not convinced this really has something to do with the non-normalizability of solutions: 1. OP simply didn't give any reason for picking the given "inner product" on the physical state of space here, it is not clear to me how you concluded its problems are related to the continuous spectrum. 2. Hilbert spaces are self-dual, so your paragraph about $\mathcal{H}^\ast$ is wrong - you need to pick some nuclear space (like Schwartz functions) $N\subset\mathcal{H}$ and talk about its dual. Jan 10, 2021 at 14:48
• 3. The inner product on the space resulting from the BRST procedure can have problems with negative-norm states regardless of the spectrum of the BRST operator, caused by zero-ghost-number states arising from non-null doublet instead of null singlets of the ghost number operator. Jan 10, 2021 at 14:48
• @ACuriousMind 1. As OP correctly mentions, the SvN theorem guarantees that this Hilbert space & inner product is the only representation of canonical commutation relations $[x^{\mu}, p_{\nu}] = i \hbar \delta^{\mu}_{\nu}$ (you can argue that this form of CCR is unphysical, but I don't want to get into that, since it is assumed by OP); 2. Agreed – I have a paragraph explaining that in my answer. I didn't start with that right away because I didn't want to put out all layers of complexity together from the start. Jan 10, 2021 at 14:51
• @ACuriousMind 3. I think I agree with that statement, but this is not what's going on in this particular example. Jan 10, 2021 at 14:53
• @ACuriousMind sorry I misunderstood your first point – you said physical inner product space, not the unconstrained kinematical space. My point is that if 0 is an isolated eigenvalue, it is possible to find the kernel of the constraint operator as a proper subspace of $\mathcal{H}$. The restriction of the inner product to that subspace then gives you the physical inner product. But this is impossible to do in general when 0 is in the continuous spectrum, hence the problems with the definition of the physical inner product. Jan 10, 2021 at 15:04