Quantcast
  • Register
PhysicsOverflow is a next-generation academic platform for physicists and astronomers, including a community peer review system and a postgraduate-level discussion forum analogous to MathOverflow.

Welcome to PhysicsOverflow! PhysicsOverflow is an open platform for community peer review and graduate-level Physics discussion.

Please help promote PhysicsOverflow ads elsewhere if you like it.

News

PO is now at the Physics Department of Bielefeld University!

New printer friendly PO pages!

Migration to Bielefeld University was successful!

Please vote for this year's PhysicsOverflow ads!

Please do help out in categorising submissions. Submit a paper to PhysicsOverflow!

... see more

Tools for paper authors

Submit paper
Claim Paper Authorship

Tools for SE users

Search User
Reclaim SE Account
Request Account Merger
Nativise imported posts
Claim post (deleted users)
Import SE post

Users whose questions have been imported from Physics Stack Exchange, Theoretical Physics Stack Exchange, or any other Stack Exchange site are kindly requested to reclaim their account and not to register as a new user.

Public \(\beta\) tools

Report a bug with a feature
Request a new functionality
404 page design
Send feedback

Attributions

(propose a free ad)

Site Statistics

205 submissions , 163 unreviewed
5,047 questions , 2,200 unanswered
5,345 answers , 22,709 comments
1,470 users with positive rep
816 active unimported users
More ...

  Compatibility between normal ordering and Lorentz covariance.

+ 4 like - 0 dislike
4680 views

For simplicity let's consider a current operator $J^{\mu}$ that is bilinear in elementary fields(e.g. $J^{\mu}=\bar{\psi}\gamma^{\mu}\psi$), then $J^{\mu}$ and its normally ordered form only differ by a c-number, that is, $:J^{\mu}:= J^{\mu}+c^\mu$. We know $J^{\mu}$ is formally Lorentz covariant in the sense that 

$$ U(\Lambda)^{-1}J^\mu U(\Lambda)=\Lambda^\mu_{\ \ \nu}J^{\nu},$$

but then $:J^{\mu}:$ doesn't seem to be Lorentz covariant in the same sense:

\begin{split} U(\Lambda)^{-1}:J^{\mu}:U(\Lambda)&=U(\Lambda)^{-1}J^{\mu}U(\Lambda)+U(\Lambda)^{-1}c^\mu U(\Lambda)\\ &=\Lambda^\mu_{\ \ \nu}J^{\nu}+c^\mu\\ &=\Lambda^\mu_{\ \ \nu}:J^{\nu}:+ (\delta^\mu_{\ \ \nu}-\Lambda^\mu_{\ \ \nu})c^\nu \end{split} Covariance would only be achieved if $c^\nu=0$, but we know this is not the case: $c^\nu$ are divergent numbers rather than 0. It seems I have to reach the conclusion that $:J^{\mu}:$ is not covariant. However, the covariant perturbation theory is derived using $:J^{\mu}:$, so how is the covariance restored in the perturbation theory?

asked Jun 27, 2015 in Theoretical Physics by Jia Yiyang (2,640 points) [ revision history ]
edited Jun 27, 2015 by Jia Yiyang
Most voted comments show all comments

I believe $c$ also transforms like a vector, no?

Correctly interpreted, an infinite VEV also satisfies this, in a formal sense. This also gives ''sense'' to your original formal contradiction - linear combinations of infinite terms are infinite, too unless they cancel in which case they can take any value and in particular the value zero.

Once we require finiteness, $J$ is already out and only $:J:$ makes sense.

Thus one needs to verify the Lorentz covariance of $:J:$ only, which can be done by inspection of how it acts on $N$-particle momentum basis states. This unambiguously settles the question from the mathematical point of view, since all computations involving the unordered versions are meaningless.

@ArnoldNeumaier,

Thus one needs to verify the Lorentz covariance of :J: only, which can be done by inspection of how it acts on N-particle momentum basis states.

In a sense yes, see the comment I left under drake's answer. However then why should we trust the formal covariance at all? Does this mean every single time we see a $J^\mu$ involving local product, we need to verify the Lorentz covariance of the normal ordering manually? This doesn't seem very conceptually satifactory.

@ArnoldNeumaier, @drake

I have a crude thought, maybe I can prove the covariance of a general $:J:$, compatibly with the formal covariance of $J$, as long as we interpret 

$U(\Lambda)^{-1}J^\mu U(\Lambda)$ in exactly the very way we formally prove it's covariant, in particular, no manipulations through commutation relations shall happen. I'll try to write it down tomorrow.

Formal computations are just heuristics - they may or may not have a trustworthy version. Physicists typically work on the heuristic level until they encounter manifest problems, at which time they either take more care or decide upon the right form based on knowing the result. 

I trust to some extent formal power series with well-defined terms (which at least have a rigorous meaning as asymptotic series), But I never trust anything formal if it involves infinities.

The $J$'s arising in quantum field theory are typically for a free field, where its action on momentum states is easy to compute (using for fermions Gordon identities), and is a useful exercise anyway. There are also currents for interacting fields (see old work by Brandt and by Zimmermann), but these are far more elusive, and I have seen them used only in case of exactly solvable problems in 2 dimensions.

Most recent comments show all comments

@ArnoldNeumaier, well my instinctual diagnosis for the problem is that it again has something to do with the ill-definedness of the local product that forms $J^\mu$, and $J^\mu$ doesn't even satisfy the necessary condition for Lorentz covariance $\langle 0|J^\mu|0\rangle=0$. So my guess would be somehow we make $:J^\mu:$ covariant but not $J^\mu$ itself. However I need a more concrete analysis than this sort of handwaving.

I deleted my answer since it was incoherent; will write a new one when I have a better argument. Why should $\langle 0|J^\mu|0\rangle=0$ be a necessary condition for Lorentz covariance? 

The real problem is that $J^\mu(x)$ can in no way be interpreted as an operator on Fock space, so any equation claimed for it is spurious. 

3 Answers

+ 1 like - 0 dislike

You are  right in your observation, namely, both \(J\)and  \(:J:\) —as collections of operators acting on a Fock space—cannot transform covariantly.  It is, however, the normal ordered operator that transforming in a covariant way. Note that this already happens to any Hamiltonian: the normal-ordered Hamiltonian does transform as zero component of a 4-vector, but not the one giving a vacuum energy. 

Therefore, one can see normal ordering as the prescription to define the product of two local quantum fields at the same point that ensures Lorentz covariance. As I said above, one has to use normal ordering to define a Poincare algebra of operators, including the Hamiltonian, acting on a Fock space, rather than a trivial central extension of itself. 

answered Jun 29, 2015 by drake (885 points) [ revision history ]
edited Jun 30, 2015 by drake
Most voted comments show all comments

$J$ and $:J:$ are quantizations of the same classical observable. The spin of the classical observable equals the spin of its quantization. Do you disagree?

I think I agree with your conclusion, and I like your example of Hamiltonian. Yet I'd like to see a more elaborate argument on how this works in general. Note even in the case of a free particle Hamiltonian, formal manipulations already give weird contradictions(at least in a formal sense): for example, when we calculate the Hamiltonian of free scalar field as an integral of Hamiltonian density, we first reach the expression $H=\int dp E_{p}\frac{1}{2}(a_p a_p^\dagger+a_p^\dagger a_p)$, and this is already formally covariant. However, once we apply the commutation relation and get $H=\int dp E_{p}(a_p^\dagger a_p+ \delta(0))$, this is no longer covariant, but then throwing the c-number away makes it covariant again. The only moral of the story I can make out of it is that, the first form is formally covariant but since the first form is not a well-defined operator, we can't take much face value of the formal covariance, so let's manually check the covariance on its normally ordered form. But this is all like a happy coincidence to me that the normal ordering keeps the covariance, because such covariance doesn't clearly follow from the covariance of elementary quantum fields. Does this mean every time I see a formally convariant density, I really have to manually check the covariance of the normal ordering?(or maybe do the reverse engineering: require the normally ordered density to be covariant, and possibly revise the original density?)   

@JiaYiyang: Your ''definition'' of $U(\Lambda)$ is not really good - it is a nonlinear equation of which you'd have to show that is has a unique solution. Therefore one must define $U(\Lambda)$ on the Fock state and then show that this definition satisfies your equation. The definition (for the $p_j$ on the mass shell) 

$$U(\Lambda)|p_1,\ldots,p_N\rangle:=|\Lambda p_1,\ldots,\Lambda p_N\rangle$$

is manifestly unitary and covariant, and your equation should be derived from this, if the c/a operators are normalized appropriately. By taking $\Lambda$ as an infinitesimal Lorentz transformation, you then find the standard generators in integral form.

@JiaYiyang: Actually, your formula $U(\Lambda)|p\rangle=|\Lambda p\rangle$ (and my Fock version of it) is good only in the scalar case, as it ignores what happens on the spin/vector indices.

@ArnoldNeumaier, I ignored other indices for the sake of simplicity. If you want to include spin indices, you need to go through the little group analysis, which takes quite some extra effort. Or we can just quote the results presented by Weinberg in Chap2 of his textbook.

Most recent comments show all comments

@JiaYiyang I would like to see how you are ordering the creat/anh. operators in the boost and momentum generators, because with conventional (normal-ordering) the first Hamiltonian you wrote doesn't transform as zero component of a 4-vector.

@drake, I'm defining $U(\Lambda)$ in the above mentioned way. Equivalently $U$ acts on a single particle state as $U(\Lambda)|p\rangle =|\Lambda p\rangle$, and this should unambiguously fix $U$ on the Fock space. However you did raise a good point from another perspective, if I understand you correctly, that how would $U$ transform the fields if the generators of U are constructed as integrals of densities?

+ 1 like - 1 dislike

One way to see $c$ is a vector is to notice $c = -\langle 0 | J | 0 \rangle$. Since $|0\rangle$ is Lorentz-invariant, $c$ transforms like $J$ does.

answered Jun 27, 2015 by Ryan Thorngren (1,925 points) [ no revision ]

But note how the $U^{-1}\cdots U$ is applied: it's implemented as $U^{-1}\langle 0 | J | 0 \rangle U$ instead of $\langle 0 | U^{-1}J U | 0 \rangle$.

I find your statement very confusing. What is $U$ exactly? I thought it was an operator on the Hilbert space.

Yes it is, and you take $:J^{\mu}:= J^{\mu}+c^\mu$ as an operator identity, $c^\mu$ is really short for $c^\mu I$, with $I$ being the identity operator.

So what do you mean by $U^{-1} \langle 0 | J |0 \rangle U$?

It means $U^{-1} c I U$ where $c = -\langle 0 | J | 0 \rangle$.

Isn't $\langle 0|J|0\rangle$ a number (or scalar times the identity operator)? Then $U^{-1}I U=U^{-1}U=I$.

@Meng: yes, that's why he gets the apparent contradiction.

+ 0 like - 0 dislike

I think I've figured this out. The point is that, the rigorous meaning one can draw from the formal covariance of $J^\mu$ is that the momentum-space coefficient functions of $J^\mu$ (i.e. the functions in front of monomials of $a_p$ and $a^\dagger_p$) transform covariantly under the change of variable $p\to \Lambda p$. The covariance of the coefficient functions is unaffected by normal ordering, and is sufficient to give rise to the covariance of $:J^\mu:$. The rest of this answer will be an elaboration of the first paragraph. 

Let me first clarify the notations used and the meaning of the formal covariance of the ill-defined current $J^\mu$. I'm going to ignore the spin degrees of freedom in this discussion, but one should see the generalization to include spin only involves a straightforward (but perhaps cumbersome) change of notations. I'm also ignoring the spacetime dependence, that is to say I'm only considering the covariance of $J^\mu(0)$, and the generalization to $J^\mu(x)$ is straightforward and easy.

In the context of my question, $U(\Lambda)$ is defined as such that

$$U(\Lambda) a_{p} U^{-1}(\Lambda)=\sqrt{\frac{E_{\Lambda p}}{E_p}}a_{\Lambda p}.$$

The covariance of $J^\mu$ must be understood in a very formal and specific sense, the sense in which the covariance is formally proved. For example, in the case of a fermionic bilinear:

$$U(\Lambda)J^{\mu}U(\Lambda)^{-1}=U\bar{\psi}\gamma^{\mu}\psi U^{-1}\\ =U\bar{\psi}_iU^{-1}(\gamma^{\mu})_{ij}U \psi_j U^{-1}=\bar{\psi}D(\Lambda)\gamma^{\mu}D(\Lambda)^{-1}\psi= \Lambda^{\mu}_{\ \ \nu}\bar{\psi}\gamma^{\nu}\psi, $$

where $D(\Lambda)$ is the spinor representation of Lorentz group, typically constructed via Clifford algebra. Note in this formal proof, what's important is that, under the change $a_{p}\to \sqrt{\frac{E_{\Lambda p}}{E_p}}a_{\Lambda p}$ (ignoring spin indices of course) the elementary field transforms as $\psi \to D(\Lambda)\psi$. In the proof, no manipulation of operator ordering and commutation relations ever occurs: all we do is to do a change of integration variable, and let the algebraic properties of the coefficient functions take care of the rest. In fact, we'd better not mess with the operator ordering, as it can easily spoil the formal covariance (example: $H=\int \text{d}p\frac{1}{2}E_{p}(a_p a_p^\dagger+a_p^\dagger a_p)=\int \text{d}p E_{p}(a_p^\dagger a_p+\delta(0))$, see my longest comment under drake's answer).

To explain what's going on in more details without getting tangled with notational nuisances, let me remind you again I'll omit the spin degrees of freedom, but it should be transparent enough by the end of the argument that it's readily generalizable to spinor case, since all that matters is that we know the coefficient functions(even with spin indices) transform covariantly. The mathematical gist is, after multiplying the elementary fields and grouping c/a operators (during the grouping no operator ordering procedure should be performed at all, e.g. $a^\dagger(p_1)a(p_2)$ and $a(p_2)a^\dagger(p_1)$ should be treated as two independent terms), a typical monomial term in $J^\mu(0)$ has the form

$$ \int \left(\prod\limits_{i=1}^{n}\text{d}p_i\right)M(\{a^\dagger(p_i), a(p_i)\})f^\mu(\{p_i\}),$$

where $M$ is a monomial of c/a operators not necessarily normally ordered, but has an ordering directly from the multiplication of elementary fields.

The formal covariance of $J^\mu$ means

$$\Lambda^\mu_{\ \ \nu}\int \left(\prod\limits_{i=1}^{n}\text{d}p_i\right)M(\{a^\dagger(p_i), a(p_i)\})f^\nu(\{p_i\})\\=\int \left(\prod\limits_{i=1}^{n}\text{d}p_i\right)M(\{a^\dagger(\Lambda p_i), a(\Lambda p_i)\})f^\mu(\{p_i\})\\=\int \left(\prod\limits_{i=1}^{n}\text{d}q_i\right)\left(\prod\limits_{i=1}^n \frac{E_{\Lambda^{-1} q_i}}{E_{q_i}}\right) \left(\prod\limits_{i=1}^{m}\sqrt{\frac{E_{q_i}}{E_{\Lambda^{-1} q_i}}}\right) M(\{a^\dagger(q_i), a(q_i)\})f^\mu(\{\Lambda^{-1}q_i\}) ,$$

where $\prod\limits_{i=1}^n {E_{\Lambda^{-1} q_i}}/{E_{q_i}}$ comes from the transformation of measure and $\prod\limits_{i=1}^{m}\sqrt{{E_{q_i}}/{E_{\Lambda^{-1} q_i}}}$ from the transformation of c/a operators in $M$. This is equivalent to 

$$f^\mu(\{\Lambda^{-1}q_i\})\left(\prod\limits_{i=1}^n \frac{E_{\Lambda^{-1} q_i}}{E_{q_i}}\right) \left(\prod\limits_{i=1}^{m}\sqrt{\frac{E_{q_i}}{E_{\Lambda^{-1} q_i}}}\right)=\Lambda^\mu_{\ \ \nu}f^\nu(\{q_i\}).$$

The above equation makes completely rigorous sense since it's a statement about c-number functions. Obviously, this equation is sufficient to prove the covariance of the normal ordering 

$$ \int \left(\prod\limits_{i=1}^{n}\text{d}p_i\right):M(\{a^\dagger(p_i), a(p_i)\}):f^\mu(\{p_i\}),$$

since on the operator part only a change of integration variable is needed for the proof.

So let's recapitulate the logic of this answer:

1. The current is only covariant when written in a certain way, but not in all ways. (recall the free scalar field Hamiltonian example: $H=\int \text{d}p\frac{1}{2}E_{p}(a_p a_p^\dagger+a_p^\dagger a_p)=\int \text{d} pE_{p}(a_p^\dagger a_p+\delta(0))$, which is formally covariant in the first form but not in the second form.)

2. In that certain way where the current is formally covariant, the formal covariance really means a genuine covariance of the coefficient functions.

3. The covariance of the coefficient functions is sufficient to establish the covariance of the normally ordered current. 

answered Jul 2, 2015 by Jia Yiyang (2,640 points) [ revision history ]
edited Jul 2, 2015 by Jia Yiyang
Most voted comments show all comments

 I think you forgot in your transformation formula a factor $D(\Lambda)$, else your computation with the $\psi$'s does not make sense.

Also, you can save a lot of notation and hence have a cleaner argument if you change the normalization of the $a$'s so that the $\sqrt{E_p}a_p$ (now) becomes the new $a_p$. 

@ArnoldNeumaier

No it doesn't, since we do not know how to evaluate the right hand side without knowing already how U(Λ) acts.

Why not? For example $U(\Lambda)|p_1, p_2 \rangle=U(\Lambda)a^\dagger_{p_1}a^\dagger_{p_2}U(\Lambda)^{-1}|0\rangle=U(\Lambda)a^\dagger_{p_1}U(\Lambda)^{-1}U(\Lambda)a^\dagger_{p_2}U(\Lambda)^{-1}$

$=\sqrt{\frac{E_{\Lambda p_1}}{E_{p_1}}}\sqrt{\frac{E_{\Lambda p_2}}{E_{p_2}}}a^\dagger_{\Lambda p_1}a^\dagger_{\Lambda p_2}|0\rangle=\sqrt{\frac{E_{\Lambda p_1}}{E_{p_1}}}\sqrt{\frac{E_{\Lambda p_2}}{E_{p_2}}}|\Lambda p_1, \Lambda p_2\rangle$.

 I think you forgot in your transformation formula a factor $D(Λ)$, else your computation with the ψ's does not make sense.

As I said I was ignoring the spin indices, so the latter derivation is really for a scalar case, but it should be transparent enough that it's readily generalizable to spinor case, since all that matters is that we know the coefficient functions(even including spin) transform covariantly. I'll make it clearer in my answer.

I propose to use $U(\lambda):|p\rangle:=D(\Lambda,p)|\Lambda p\rangle\>$ as definition of $U$ on an arbitrary single-particle state with momentum $p$, to be extended canonically to multiparticle space (by a sum of terms acting on each factor of a tensor product separately). This gives a real definition independent of spin (whereas yours is an implicit definition that needs work to show why this ''defines'' a unitary transformation). As a consequence one has $U(\Lambda)a(p)=D(\Lambda,p) a(\Lambda p) U(\Lambda)$, which is an any-spin version of your abbreviated relation, but with a different normalization of the annihilators. Then you can do everything you did without any sloppiness, with all your square roots replaced by appropriate $D$'s, and your derivation is valid without any handwaving regarding spin indices.

@ArnoldNeumaier, thanks, I'll improve it when I get some time, but I assume you get what I'm conveying by this answer in its present form?

Yes, that's why I bothered to suggest improvements.

Most recent comments show all comments

You U(Λ) is defined as such that

This is not a definition but a property satisfied by $U(\Lambda)$. In fact, this property fixes the convention used for scaling $a_p$. The formula cannot be said to define $U(\Lambda)$ - it defines only what it means that $U(\Lambda)$ is representation of the Lorentz group. A definition of $U(\Lambda)$ itself would instead say how to compute $U(\Lambda)$ (applied to a state vector). Please change your text accordingly!

@ArnoldNeumaier, well, it implies how it will act on the Fock space in momentum basis, i.e. 

$U(\Lambda)|p_1, p_2,\ldots \rangle= U(\Lambda)a^\dagger_{p_1}a^\dagger_{p_2}\ldots U(\Lambda)^{-1}|0\rangle$, so it is unambiguously defined.

Your answer

Please use answers only to (at least partly) answer questions. To comment, discuss, or ask for clarification, leave a comment instead.
To mask links under text, please type your text, highlight it, and click the "link" button. You can then enter your link URL.
Please consult the FAQ for as to how to format your post.
This is the answer box; if you want to write a comment instead, please use the 'add comment' button.
Live preview (may slow down editor)   Preview
Your name to display (optional):
Privacy: Your email address will only be used for sending these notifications.
Anti-spam verification:
If you are a human please identify the position of the character covered by the symbol $\varnothing$ in the following word:
p$\hbar$ysicsOverf$\varnothing$ow
Then drag the red bullet below over the corresponding character of our banner. When you drop it there, the bullet changes to green (on slow internet connections after a few seconds).
Please complete the anti-spam verification




user contributions licensed under cc by-sa 3.0 with attribution required

Your rights
...