Electron and Proton Charges: A Fundamental Mystery or a Natural Phenomenon?

[tom.stoer]

I agree with the lattice-idea, but I woudn't integrate over all copies = ober R³ but over R³/Z³ which means. That's the idea of the 3-torus: elimination of the IR divergence.

Regarding mass or energy: no, this is different as there is no Gauss law coming from gauge invariance which requires E=0. In GR the total energy cannot be defined via a volume integral in case of arbitrary spacetimes. This is one big issue in GR - unique defintion of energy!

In GR reformulated as a gauge theory (see Ashtekar's variable in loop quantum gravity) something like that indeed happens.

 

[DrDu]

I agree with the lattice-idea, but I woudn't integrate over all copies = ober R³ but over R³/Z³ which means. That's the idea of the 3-torus: elimination of the IR divergence.

Could you elaborate on this? To avoid misunderstanding: I would also integrate only over one cell, e.g. to calculate total charge, but in this cell, there are field contributions from charges in other cells (or due to paths of non-zero winding number). To make things clearer let's consider a single point charge Q at R:
The potential at r is then \phi(r)\propto Q \sum_{lmn} |r-R-(al,bm ,cn)^T|^{-1}
where a,b, c are the dimensions of the torus and i,j,k are in Z.

 

[tom.stoer]

I understand your idea of the copies.

But as we saw this configuration (non-vanishing total charge) is rules out.

 

[DrDu]

I would be really interested about the opinion of some mathematician like A.Neumaier, who recently joined this forum, on that discussion so I thought I bring it up on the agenda once more.

 

[A. Neumaier]

I would be really interested about the opinion of some mathematician like A.Neumaier, who recently joined this forum, on that discussion so I thought I bring it up on the agenda once more.

OK, I read the whole thread, and comment below
(i) on some of the posts of Tom Stoer, where I disagree or have questions,
(ii) on mathman's original posting.
Note that the fact I don't comment the others does not mean that I agree with what they wrote.


As we discussed in the other thread, Tom Stoer's derivation of the neutrality of the universe implicitly assumes boundary conditions at infinity that smuggle in the desired conclusion as an assumption.

This whole operator G becomes ill-defined on a torus for Q ne 0.
...
so \mathbf{E}=-i \mathbf{K} \rho(\mathbf{K})/K^2+\mathbf{E}_\perp

I think this is not true. E lives the bosonic sector of the Hilbert space whereas the charge density lives in the fermionic sector. That means you can't solve the equation as an operator equation.

This would be the case in a free theory. But in the interacting theory, all fields act (densely, after smearing) on the whole Hilbert space of the interacting representation. Thus solving equations makes at least formally sense, as long as noncommutativity is respected. Thus your criticism does not hold water.

The [temporal] gauge isn't unsuitable. It's püerfectlywell defined and in the context of canonical quantization it's the gauge that makes most sense! The problem is that most people are not familiar with it as standard QFT textbooks do only talk about Lorentz gauge.

One can find it in the QFT book by Bjorken and Drell (Vol. 2).

Now the requirement is to have gauge-invariant physical states, i.e. every physical state is a color-singulet! But this automatically means that all Q's have zero eigenvalue on physical states! Please note that this shortcut is not possible in QED as the gauge group has an abelian structure which does not immediately single out color singulets.

The quantum numbers (masses, charges, and flavors) of a particle are a property of its single particle representation, not of a particular state. Charge-neutrality means transforming to the trivial representation, while nontrivial charge says transforming according to a nontrivial representation. Thus it is not a question about eigenvectors. Physical states need not transform trivially; gauge invariance only requires that the states psi and U psi describe the same physical situation when U is a local gauge transformation. (Otherwise we wouldn't even have photons...)

The standard model requires that certain charges of different types of leptons and quarks add up to zero b/c of anomaly cancellation. w/o this perfect match the theory would have triangle anomalies in the chiral el.-weak sector which would spoil its mathematical consistency.

For the sake of definiteness, could you please write down this constraint explicitly?

The charge of an electron is exactly equal in magnitude to that of a proton (2 up quarks plus down quark). What is the theoretical basis for this, or is essentially a fact of nature that is accepted?

Phenomenologically, electrons and many ions are stable in isolation (i.e., with nothing else in the universe), so these are observable charged states of QED (when enhanced with nuclei in case of ions).

Also, we observe on a daily basis that the bigger a metal object the more charge it can hold without being unstable and discharge. Thus a universe with small but nonzero net charge is consistent with experiment (and presumably therefore also with the standard model). If the charge imbalance is too large, particles of the excess charge would move away from each other until their fields will hardly be noticable to each other. This is also consistent with QFT, due to the cluster decomposition property of particles and bound states (discussed, e.g., in Weinberg's Vol. I). Thus locally, one expects to see a rough but not exact charge balance. Which is what we actually observe.

 

[mathman]

Phenomenologically, electrons and many ions are stable in isolation (i.e., with nothing else in the universe), so these are observable charged states of QED (when enhanced with nuclei in case of ions).

Also, we observe on a daily basis that the bigger a metal object the more charge it can hold without being unstable and discharge. Thus a universe with small but nonzero net charge is consistent with experiment (and presumably therefore also with the standard model). If the charge imbalance is too large, particles of the excess charge would move away from each other until their fields will hardly be noticable to each other. This is also consistent with QFT, due to the cluster decomposition property of particles and bound states (discussed, e.g., in Weinberg's Vol. I). Thus locally, one expects to see a rough but not exact charge balance. Which is what we actually observe.

As I interpret this statement, the proton - electron charge magnitude agreement is basically observational. Are there any fundamental theoretical bases for this?

 

[tom.stoer]

The quantum numbers (masses, charges, and flavors) of a particle are a property of its single particle representation, not of a particular state. Charge-neutrality means transforming to the trivial representation, while nontrivial charge says transforming according to a nontrivial representation. Thus it is not a question about eigenvectors. Physical states need not transform trivially; gauge invariance only requires that the states psi and U psi describe the same physical situation when U is a local gauge transformation.

Before gauge fixing yes. But after full gauge fixing there is no (continuous) gauge symmetry left (it has been reduced to the identity in the physical sector of the Hilbert space - except for discrete topological gauge transformations / Gribov copies); the physical states are identical with the kernel of the associated generator of gauge transformations (here: generalized Gauss law).
My argument is of course used only in the physical sector. One could "rotate back" introducing unphysical states again, but that is not the intention.
Conclusion: after complete gauge fixing + implementation of the Gauss law constraint the kernel of the Gauss law operator is identical with the physical subspace and is identical with the singulet of the gauge symmetry.

Regarding my statement "the standard model requires that certain charges of different types of leptons and quarks add up to zero b/c of anomaly cancellation. w/o this perfect match the theory would have triangle anomalies in the chiral el.-weak sector which would spoil its mathematical consistency." you wrote

For the sake of definiteness, could you please write down this constraint explicitly?

I have no comprehensive list; I would have to compile it. One has to count all triangle anomalies generated by the chiral fermions in the standard model. One has to distinguish between different axial currents (only axial currents associacted to local gauge symmetries are relevant; the anomaly in the flavor sector is uncritical). The sum of all these anomalies have to cancel, therefore the coupling constants involved (incl. symmetry factors etc.) have to sum to zero.

 

[A. Neumaier]

Now the requirement is to have gauge-invariant physical states, i.e. every physical state is a color-singulet! But this automatically means that all Q's have zero eigenvalue on physical states!

Charge-neutrality means transforming to the trivial representation, while nontrivial charge says transforming according to a nontrivial representation. Thus it is not a question about eigenvectors. Physical states need not transform trivially; gauge invariance only requires that the states psi and U psi describe the same physical situation when U is a local gauge transformation.

Before gauge fixing yes. But after full gauge fixing there is no (continuous) gauge symmetry left (it has been reduced to the identity in the physical sector of the Hilbert space - except for discrete topological gauge transformations / Gribov copies)

But if there is no gauge symmetry left, your original argument breaks down since the resulting physical states (representatives of the gauge orbits) can no longer be required to have gauge-invariant physical states!

Regarding my statement "the standard model requires that certain charges of different types of leptons and quarks add up to zero b/c of anomaly cancellation. w/o this perfect match the theory would have triangle anomalies in the chiral el.-weak sector which would spoil its mathematical consistency." you wrote

For the sake of definiteness, could you please write down this constraint explicitly?

I have no comprehensive list; I would have to compile it. One has to count all triangle anomalies generated by the chiral fermions in the standard model. One has to distinguish between different axial currents (only axial currents associated to local gauge symmetries are relevant; the anomaly in the flavor sector is uncritical). The sum of all these anomalies have to cancel, therefore the coupling constants involved (incl. symmetry factors etc.) have to sum to zero.

A reference to the details would be enough. I'd simply like to check whether this implies that electron and proton charge must have equal magnitude.

 

[tom.stoer]

I'll send you some references to read the details.

 

[DrDu]

I personally was more interested in Tom's argument that on a torus the boundary conditions would exclude the existence of total charge. I had the feeling that this may be one of the arguments that zero times infinity is zero.

 

[A. Neumaier]

I personally was more interested in Tom's argument that on a torus the boundary conditions would exclude the existence of total charge. I had the feeling that this may be one of the arguments that zero times infinity is zero.

It seems to me that for a torus, his argument is sensible though perhaps not rigorous,
whereas in R^4 it should be wrong.

 

[tom.stoer]

On T³ there is no boundary at all; therefore integrating the Gauss law constraint equation G(x)|phys> = 0 (which is identical with gauge invariance of physical states)
is exactly Q|phys> = 0. That means that the requirement of vanishing total charge is a special case of gauge invariance.

The argument is rigorous for T³.

 

[tom.stoer]

Please check http://cdsweb.cern.ch/record/292166/files/9511450.pdf
plus references therein, esepecially
[1] F. Lenz, H.W.L. Naus, K. Ohta, and M. Thies, (1994a). Ann. Phys., 233, 17.
[2] F. Lenz, H.W.L. Naus, and M. Thies, (1994b). Ann. Phys., 233, 317.

In [1] an simple qm toy model is dicussed and an application to QED on T³ is presented. In [2] the approach is applied to QCD on T³ in axial gauge.

Then I found the following diss. http://tobias-lib.uni-tuebingen.de/volltexte/2006/2358/pdf/diss.pdf five minutes ago (in German, but I guess its OK for Arnold Neumaier :-) Looking at the table of contents I guess it provides a good introduction to the methods applied to QCD in Coulomb gauge.

 

[A. Neumaier]

Please check http://cdsweb.cern.ch/record/292166/files/9511450.pdf
plus references therein, esepecially
[1] F. Lenz, H.W.L. Naus, K. Ohta, and M. Thies, (1994a). Ann. Phys., 233, 17.
[2] F. Lenz, H.W.L. Naus, and M. Thies, (1994b). Ann. Phys., 233, 317.

In [1] an simple qm toy model is dicussed and an application to QED on T³ is presented. In [2] the approach is applied to QCD on T³ in axial gauge.

Then I found the following diss. http://tobias-lib.uni-tuebingen.de/volltexte/2006/2358/pdf/diss.pdf five minutes ago (in German, but I guess its OK for Arnold Neumaier :-) Looking at the table of contents I guess it provides a good introduction to the methods applied to QCD in Coulomb gauge.

Thanks, but this was not quite what I asked for. I wanted to see details for your statement that non-equal magnitude of proton and electron charge would cause an anomaly that cancels in the case of equality.

 

[tom.stoer]

Thanks, but this was not quite what I asked for. I wanted to see details for your statement that non-equal magnitude of proton and electron charge would cause an anomaly that cancels in the case of equality.

I thought you need both. Anyway - you should read the Lenz et al. papers if you are interested in canonical quantization of QCD. In addtrion I guess the Jackiw papares are very interesting. I met him a couple of times and was always very impressed.

Let's se if I can find something regarding anomaly cancelation (realted to the ABJ anomaly :-). It was always used as a reason why the top-quark MUST exist.The argument works on the level of fundamental fermions (quarks and leptons), not on the level of protons of course.

 

[tom.stoer]

@A.Neumaier: I found this paper which describes the mechanism of anomaly cancellation in section 2

http://arxiv.org/abs/hep-ph/0303191
The Top Quark, QCD, and New Physics
Authors: S. Dawson (BNL)
(Submitted on 21 Mar 2003 (v1), last revised 21 Mar 2003 (this version, v2))
Abstract: The role of the top quark in completing the Standard Model quark sector is reviewed, along with a discussion of production, decay, and theoretical restrictions on the top quark properties. Particular attention is paid to the top quark as a laboratory for perturbative QCD. As examples of the relevance of QCD corrections in the top quark sector, the calculation of $e^+e^-\to t {\bar t}$ at next-to-leading-order QCD using the phase space slicing algorithm and the implications of a precision measurement of the top quark mass are discussed in detail. The associated production of a $t {\bar t}$ pair and a Higgs boson in either $e^+e^-$ or hadronic collisions is presented at next-to-leading-order QCD and its importance for a measurement of the top quark Yukawa coupling emphasized. Implications of the heavy top quark mass for model builders are briefly examined, with the minimal supersymmetric Standard Model and topcolor discussed as specific examples.

 

[A. Neumaier]

@A.Neumaier: I found this paper which describes the mechanism of anomaly cancellation in section 2
http://arxiv.org/abs/hep-ph/0303191

Yes. This explains why the fractions between quark charges and the electron charge has the standard values. In particular, it explains why hydrogen is exactly neutral,
and answers the original poster''s question.

It leaves open, however, the question whether the total charge of the universe is zero.

Thanks for the discussion and the references.

 

[tom.stoer]

It leaves open, however, the question whether the total charge of the universe is zero.

Do you agree in the meantime that I have answered this question for a closed universe with compact topology?

 

[A. Neumaier]

Do you agree in the meantime that I have answered this question for a closed universe with compact topology?

Yes, on the level of rigor customary in theoretical physics.

 

[tom.stoer]

pooh

 

[DrDu]

I found an interesting article on that subject (although I basically don't understand a word of it), by the specialists on that field:

http://arxiv.org/abs/hep-th/9705089

 

[tom.stoer]

... although I basically don't understand a word of it ...

don't care; there are not so many physicists able to understand Strocchi ...

 

[kexue]

The charge of an electron is exactly equal in magnitude to that of a proton (2 up quarks plus down quark). What is the theoretical basis for this, or is essentially a fact of nature that is accepted?

It is because the charge renormalization of the proton and electron is completely determined by the photon field renormlization. Look for example Preskill QFT notes, chapter 5, pages 52-121 starting at page 12 especially.

But beware, he says that the charge renormalization is completely determined by photon field renormalization may be interpreted to mean that charge renormalization is entirely an effect of the "dielectric properties of the vaccum." Virtual pairs of charged particles tend to screen the bare charge...

Vanadium, Tom, A.Neumaier would like to have banned such loose and unrigorous talk, some would say physical reasoning, from this site. This also leads to such great answers to your questions, I guess.

 

[tom.stoer]

I don't want to "ban" anything at all.

 

[Dadface]

The charge of an electron is exactly equal in magnitude to that of a proton (2 up quarks plus down quark). What is the theoretical basis for this, or is essentially a fact of nature that is accepted?

When I first read the above opening question in this thread my original thought was(and tentatively still is) that within experimental error the charges on the electron and proton are numerically equal and that charge is conserved and that total charge is zero,these things being based on observations and measurements.In other words the answer to the question is that it is a "fact of nature" based on experiments.
Now this thread has been going on for a long time with people trying to answer the question by referring to various theories ,models and equations.Most of what has been written goes enormously above my present knowledge but at least I have been able to scan and get a rough feeling of what the discussions have been about.
Throughout the discussion I have had the uncomfortable feeling,and at present it is only a feeling,that some or all of the theories referred to are based on the relevant experimental observations such as those listed above.If that's the case is it legitimate to use a theory based on experimental observations in order to explain those observations?Surely it is the observations that should inform the theories and not the other way round.
Anyway,when I get time,I will try to research the origins of these theories and the experimental evidence on which they are based.In the meantime if anyone can enlighten me I will be grateful.

 

[tom.stoer]

When I first read the above opening question in this thread my original thought was(and tentatively still is) that within experimental error the charges on the electron and proton are numerically equal and that charge is conserved and that total charge is zero,these things being based on observations and measurements.In other words the answer to the question is that it is a "fact of nature" based on experiments.
Now this thread has been going on for a long time with people trying to answer the question by referring to various theories ,models and equations.Most of what has been written goes enormously above my present knowledge but at least I have been able to scan and get a rough feeling of what the discussions have been about.
Throughout the discussion I have had the uncomfortable feeling,and at present it is only a feeling,that some or all of the theories referred to are based on the relevant experimental observations such as those listed above.If that's the case is it legitimate to use a theory based on experimental observations in order to explain those observations?Surely it is the observations that should inform the theories and not the other way round.
Anyway,when I get time,I will try to research the origins of these theories and the experimental evidence on which they are based.In the meantime if anyone can enlighten me I will be grateful.

Of course I am not able to comment on ALL models and explanations (mentioned in this thread) you are referring to, but of course a few general comments are in order.

There is a rather satisfactory theory called "the standard model of elementary particle physics" which subsumes our present knowledge regarding electro-weak and strong interactions as relativistic quantum field theories. Currently there is no evidence (at least not for experimentally accessible energies at colliders including the first LHC results) that this SM is at odds with known experimental facts.
[There are hints from cosmology and astrophysics that dark matter may exist which would be certainly a strong hint towards physics beyond the SM; there are numerous questions that cannot be answered withing the SM, e.g. the values of the masses and coupling constants of SM particles; but even if the SM is expected to be replaced some day by a deeper theory explaining some of the SM ad hoc inputs, nevertheless the SM passed all direct experimental tests as of today]

Afaik all above mentioned models and explanations are nothing else but certain applications, interpretations or formulations of the SM. That means we tried to show how the SM explains (or at least motivates) the experimental fact that the electric charge of electron and proton are numerically equal. There was and still is a strong and fruitful interplay between theory an experiment that led over decades to the formulation of the SM. Therefore you should not worry about the observations and the theoretical explanations we discussed.
[coming back to DM and a possible explanation via SUSY: I don't think that the arguments presented here would change so much when taking SUSY into account]

 

[A. Neumaier]

there are not so many physicists able to understand Strocchi ...

Well, I don't understand everything but at least some things in his papers.

Strocchi echoes (in many of his papers) more or less your arguments about why under certain assumptions the Gauss law implies the absence of charged states, but puts them into the framework of axiomatic field theory (where the completely different notation and terminology makes things look very different). This results in theorem that precisely specify the assumptions that go into the conclusions.

Prompted by a remark in a different thread,

it is well known that Wightman axioms are very difficult to satisfy, and actually impossible in gauge field theories (http://arxiv.org/abs/hep-th/0401143).

(for my first reactions to this remark see the discussion there), I started to look into the evidence Strocchi referenced there. I am still reading, and hope to present my findings later in this thread.

His formal exposition is generally rigorous (if one ignores somewhat looser talk in the introductions), but I find fault with his informal conclusions, since they are based on interpreting assumptions (stated in his theorems) that are far from trivial and by no means only formal translations of properties necessary for the real thing.

In particular, at present I don't think his no-go theorems are relevant for theories (like QCD) expected to have a mass gap. The situation may be different (i.e., not of Wightman form) for theories like QED that have massless asymptotic fields, because then the asymptotic states carrying the scattering physics cannot be described in a Fock representation but need more general coherent representations of the CCR (and different such representations for asymptotic states of different velocity).

The article mentioned by

I found an interesting article on that subject (although I basically don't understand a word of it), by the specialists on that field:
http://arxiv.org/abs/hep-th/9705089

is about the latter situation.

A superselection sector is essentially an orbit of the algebra of local observables on a representing Hilbert space. (This is usually expressed by saying that superpositions between different superselection sectors are forbidden. See, e.g., http://en.wikipedia.org/wiki/Superselection) Thus it characterizes the asymptotic structure of a theory, capturing in particular the boundary conditions at infinity that we had been discussing.

 

[kexue]

This thread is almost comical!

The OP asked a very interesting and obvious question that QFT definitely should be able to answer. And of course it does.

But the same people that yelled at me in some other thread that 'virtual' particles explain nothing, can not answered it, but digress in some obsure discussions, whereas exactly these very virtual particles explain very, very well what goes on here.

Why is the charge of a proton and electron equal? It is because the charge renormalization of the proton and electron is completely determined by the photon field renormlization!

That's all. That is the explanation, the only explanation.

Check the John Preskill notes, or even better one of the leading textbook of QFT, Zee "QFT in a Nuttshell", the chapter called "Polarizing the vacuum and renormalizing the charge".

 

[A. Neumaier]

Why is the charge of a proton and electron equal? It is because the charge renormalization of the proton and electron is completely determined by the photon field renormalization!

That's all. That is the explanation, the only explanation.

That's no explanation at all. Your argument would also ''explain'' that the charge of an alpha particle is equal to that of an electron, since it doesn't make any use of any special property of the proton.

Stop polluting serious discussions with your superficial views!

 

[kexue]

To the OP, the answer to your question can be found in "QFT in a nutshell" of Anthony Zee, chapter III.7. or in John Preskill QFT lecture notes, second part of chapter five.

(And could someone, maybe a mentor explain to me if it is ok on PF to be accused of polluting the discussion when providing the standard textbook answer to an asked question?)

 

[DrDu]

Kexue, from my limited understanding I would say that your explanation only explains why the ratio of the bare charges of the electron and the proton equals the ratio of the physical charges. However, the discussion of A Neumaier and tom stoer is about why this ratio is 1.

 

[Dadface]

Of course I am not able to comment on ALL models and explanations (mentioned in this thread) you are referring to, but of course a few general comments are in order.

There is a rather satisfactory theory called "the standard model of elementary particle physics" which subsumes our present knowledge regarding electro-weak and strong interactions as relativistic quantum field theories. Currently there is no evidence (at least not for experimentally accessible energies at colliders including the first LHC results) that this SM is at odds with known experimental facts.
[There are hints from cosmology and astrophysics that dark matter may exist which would be certainly a strong hint towards physics beyond the SM; there are numerous questions that cannot be answered withing the SM, e.g. the values of the masses and coupling constants of SM particles; but even if the SM is expected to be replaced some day by a deeper theory explaining some of the SM ad hoc inputs, nevertheless the SM passed all direct experimental tests as of today]

Afaik all above mentioned models and explanations are nothing else but certain applications, interpretations or formulations of the SM. That means we tried to show how the SM explains (or at least motivates) the experimental fact that the electric charge of electron and proton are numerically equal. There was and still is a strong and fruitful interplay between theory an experiment that led over decades to the formulation of the SM. Therefore you should not worry about the observations and the theoretical explanations we discussed.
[coming back to DM and a possible explanation via SUSY: I don't think that the arguments presented here would change so much when taking SUSY into account]

Thanks tom,I know very little about the SM but your post has triggered my interest and I intend to have a closer look at the subject.Let me try to clarify the point I tried to make in my previous post:
As I understand it is experiments such as deep inelastic scattering that provide evidence for SM and the existence of,for example,quarks and that these quarks have charges such as plus or minus 1/3e or plus or minus 2/3e.Now the scattering experiments do not measure these charges(as far as I am aware) but it is experiments carried out separately and which started before the advent of SM which measured(measure) these charges.When it was concluded that quarks have the fractional charges that they are assumed to have was this not based on the previously gained evidence that the electron charge and proton charge are numerically equal?In other words can the SM or any other theory explain the equality of these charges when the theory itself is partly based on the experimental evidence that the charges are equal?

 

[A. Neumaier]

When it was concluded that quarks have the fractional charges that they are assumed to have was this not based on the previously gained evidence that the electron charge and proton charge are numerically equal?In other words can the SM or any other theory explain the equality of these charges when the theory itself is partly based on the experimental evidence that the charges are equal?

The values of the fractional charges for the quarks u and d come from the fact that p=uud and n=udd must have charge e and 0, respectively, where e is the proton charge. This is independent of the question whether the electron charge is -e. The latter follows in the standard model from the fact (discussed earlier in this thread) that the triangle anomaly cancels.

There is no consistent variant of the standard model in which this could be relaxed. Thus the anomaly cancellation provides a theoretical explanation for the initially only empirically observed fact that the hydrogen atom seems to be exactly neutral, equivalently that electron and proton charges are equal and opposite.

 

[A. Neumaier]

To the OP, the answer to your question can be found in "QFT in a nutshell" of Anthony Zee, chapter III.7. or in John Preskill QFT lecture notes, second part of chapter five.

(And could someone, maybe a mentor explain to me if it is ok on PF to be accused of polluting the discussion when providing the standard textbook answer to an asked question?)

Pollution referred to bringing virtual particles into a completely unrelated discussion.

That I answered at all was to clarify that your alleged standard textbook answer was a spurious argument that didn't contribute anything to answering the question of the OP.

Those participating in discussions should contribute answers only if they really understood the problem discussed (which is surely not the case if a serious thread seems ''almost comical''), while ignorance (or hearsay knowledge such as yours) should be contributed in the form of questions (or requests for correction).

 

[kexue]

Pollution referred to bringing virtual particles into a completely unrelated discussion.

That I answered at all was to clarify that your alleged standard textbook answer was a spurious argument that didn't contribute anything to answering the question of the OP.
..

The question of the OP was

The charge of an electron is exactly equal in magnitude to that of a proton (2 up quarks plus down quark). What is the theoretical basis for this, or is essentially a fact of nature that is accepted?

I gave him the answer and the reference where he can check it.

Still in post 56 the OP (mathman by the way) asked

As I interpret this statement, the proton - electron charge magnitude agreement is basically observational. Are there any fundamental theoretical bases for this?

So he was still in the dark after 55 posts why protons and electrons have equal charges. Again, if someone polluted this thread with disgressions into mathematical arguments and contributed very little in answering the OP answer, it must be clearly you.

Comical is that Preskill and Zee who provide the answer in their texts both use virtual particles to explain this curious fact why protons and electrons have equal charges.

Comical because you and other posters in that thread who so fiercly reject any usefulness of the concept of virtual particles could not answer the question.

 

[DarMM]

In case anybody is wondering Strocchi's theorem proves a very restricted statement. In QED we have the Electron fields and the Photon Fields. Strocchi shows that if you assume:
(a) \Psi and A_{\mu} are Wightman Fields.
(b) They obey Maxwell's equations
(c) They are covariant
(d) Gauge invariance holds.

Then physical charge vanishes.

However this isn't really a problem. What the theorem is "really" proving is that there are no gauge invariant, local, covariant Wightman fields. QED can be described in terms of Wightman fields which are not covariant or in terms of Wightman fields which describe the dynamics directly, the "physical fields", instead of the Lagrangian fields. The problem with these is that non-covariant fields lose manifest covariance. The physical fields would make the Hamiltonian look hideous and you can't see gauge-invariance (similar to describing QCD with proton fields, the Hamiltonian would be infinitely long and gauge invariance of quarks and gluons would be invisible). You could also work with non-local objects like "Wilson loops" whose algebra would satisfy the Haag-Kastler axioms, but this would be even more difficult.

This is a problem for perturbation theory where you would like a covariant, local field for doing calculations. So if you want to do that you need to drop some assumption. Commonly we drop (b) and obtain an enlarged Hilbert space of states on which Maxwell's equations do not hold. In some subspace of this space they hold, the physical Hilbert space. This subspace is then specified by the Gupta-Bluer condition. (In Yang-Mills theories the interaction makes the condition more subtle and you need to enlarge the Hilbert space even further to obtain a simple linear condition. The correct enlargement is to include fermions with incorrect statistics, which you will know as ghosts.)

So we perform calculations in this enlarged Hilbert space, where we are allowed use a local, covariant field and compute physical state -> physical state processes.

Of course one could just calculate in the physical Hilbert space, but standard perturbation theory would be impossible, but the Wightman axioms do hold for the physical fields.

If anybody is afraid of the lack of rigour here, since I assume QED exists*, just pretend I am talking about QED in 2,3 dimensions where it does exist. Or consider the electron field to be classical in 4D. Or perhaps take my remarks in the Yang-Mills case.

*Which some doubt due to triviality.

 

[DarMM]

The charge of an electron is exactly equal in magnitude to that of a proton (2 up quarks plus down quark). What is the theoretical basis for this, or is essentially a fact of nature that is accepted?

A silly answer maybe, but a quantum field theory containing SU(3) quarks and U(1) leptons will only be sensible (that is have no infinities) if the quarks in each generation have +2/3 and -1/3 charge. The quarks will always be able to produce a particle with spin-1/2 and charge +1 by group theory. So your question can be reduced to why does the world involve SU(3) and U(1).

 

[tom.stoer]

A silly answer maybe, but a quantum field theory containing SU(3) quarks and U(1) leptons will only be sensible (that is have no infinities) if the quarks in each generation have +2/3 and -1/3 charge. The quarks will always be able to produce a particle with spin-1/2 and charge +1 by group theory. So your question can be reduced to why does the world involve SU(3) and U(1).

Isn't this a simplification of the "anomaly cancellation argument"?

 

[A. Neumaier]

In case anybody is wondering Strocchi's theorem proves a very restricted statement. In QED we have the Electron fields and the Photon Fields. Strocchi shows that if you assume:
(a) \Psi and A_{\mu} are Wightman Fields.
(b) They obey Maxwell's equations
(c) They are covariant
(d) Gauge invariance holds.

Then physical charge vanishes. [...]


This is a problem for perturbation theory where you would like a covariant, local field for doing calculations. So if you want to do that you need to drop some assumption. Commonly we drop (b)

I wonder why the assumption (a) is reasonable: Since A(x) is an unobservable, gauge-dependent field, I don't see any reason to suppose that it must be a Wightman field.
Both the requirement of causal commutation rules for A(x) and the requirement of Lorentz invariance for A(x) seem to be not gauge covariant, hence can hold, if at all, only in special gauges. But both are part of the assumption that A(x) is a Wightman field.

Is there anything left from Strocchi's assertions in his many papers on the subject if one drops these two assumptions?

 

[A. Neumaier]

I gave him the answer and the reference where he can check it.

Still in post 56 the OP (mathman by the way) asked

So he was still in the dark after 55 posts why protons and electrons have equal charges.

The appropriate answer was clear after post number #65-#67.

You entered the discussion in post #73 after the question had been fully settled (and the thread had continued with discussing some other issues raised on the way), and provided an ''answer'' that doesn't hold water since it applies equally to arbitrary charged particles in place of the proton, no matter what their charge. But you are so sure of yourself that you don't even admit it after it was pointed out by Dr.Du that you made an obvious mistake.

I knew already that it is futile to argue with you, and this will be my last comment on this.

 

[DarMM]

I wonder why the assumption (a) is reasonable: Since A(x) is an unobservable, gauge-dependent field, I don't see any reason to suppose that it must be a Wightman field.

Exactly, in a sense Strocchi's theorem isn't really that surprising. Even Strocchi himself in some of his books makes this point, also see the book by Steinmann "Perturbative QED and Axiomatic Field Theory".

Is there anything left from Strocchi's assertions in his many papers on the subject if one drops these two assumptions?

No not really. Strocchi is mainly concerned with issues that arise in a rigorous study of gauge theories that don't occur in other field theories. For example the theorem above simply shows that A_{\mu} isn't a Wightman field so a rigorous treatment will not be as straight forward. Theorems like the above are also used to show where certain objects from formal field theory orginate from in a rigorous approach. So Strocchi and others such as Nakanishi show that the Gupta-Bluer condition and ghosts arise from trying to work with a field as "Wightman-like" as we can manage.

I don't think Strocchi is really pointing anything out, more just showing where naïve assumptions from formal field theory go wrong and what is really going on behind the scenes.

 

[DarMM]

Isn't this a simplification of the "anomaly cancellation argument"?

Yes, indeed it is. I should have read the first page, I see you said pretty much the same thing.

 

[DrDu]

I would like to learn more about the connection between gauge fields and charge superselection; a problem which has turned up in this thread, too. However I don't want to hijack it. Therefore I started a new one in the quantum theory forum:
How does a gauge field lead to charge superselection?

Maybe someone can give me an idea of this anomaly cancellation argument.

 

[kexue]

The appropriate answer was clear after post number #65-#67.

You entered the discussion in post #73 after the question had been fully settled (and the thread had continued with discussing some other issues raised on the way), and provided an ''answer'' that doesn't hold water since it applies equally to arbitrary ...

Well, why the bare charges equal exactly, Zee says in grand unified theories it can be shown that this follows from group theory.

But I was referring to that given the bare charges are completetly equal, and given that a proton is a composite of quarks and participates in strong interaction whereas an electron does not, how come that both their charges are still exact equal.

The answer to that was not given in this thread before my post.

And where and when was the discussion fully settled regarding OP's question? What now is the fully settled answer to OP's question according to you?

 

[tom.stoer]

Maybe someone can give me an idea of this anomaly cancellation argument.

The anomalies in 4-dim. quantum field theory are usually contained in so-called triangle graphs with three external gauge boson lines and three inner fermion lines forming a triangle. This graph is divergent and has to be renormalized. It contributes to two different continuity equations (in quantum field theory replaced by so-called Ward identities). Now one finds that in order to keep one current conservation law one must violate the other one; the renormalization is not able to protect both conservations laws which means that one current becomes anomalous.

Usually one choses the renormalization such that the gauge current (e.g. the electromagnetic current) derived from a local gauge symmetry remains conserved whereas the other current (axial current) derived from a global symmetry becomes anomalous (the two currents are due to the fact that one can project to left- or right-handed fermions; therefore instead of calling in axial anomaly sometimes one refers to it as chiral anomaly). The reason for gauge current conservation is renormalizibility, i.e. consistency of the theory. The anomaly itself has physical effects which can be seene.g. in pion decay and the mass of the eta-prime meson.

Now in electroweak interactions the left and the right handed currents become gauge currents which are conserved seperately in classical field theory. But due to the above arguments that means that one can no longer protect both gauge symmetries in the current conservation b/c one must necessarily break gauge invariance either in the left or in the right handed sector.

That would mean that the theory becomes inconsistent, but there is one way to protect both gauge symmetries in the left- and in the right-handed sector. Roughly speaking each fermion species comes with its own triangle anomaly. But the external gauge bosons do not carry any fermion information which means that in order to calculate the total contribution of the triangle graphs to the current conservation one has to sum over all triangle graphs. Each triangle comes with a pre-factor that is related to the (electroweak) charges of the inner fermion in that graph. So the sum over all graphs vanishes iff the sum over these pre-factors vanishes which results in a constraint for the electroweak charges of the fermions.

In the SM the anomaly has to cancel in each generation, which essentially means that given the electric charge of the fermions (up, down, e, e-neutrino) and the multiplicity of the fermions in the graph (e.g. counting different colors) the electric charges must fulfill certain consistency conditions. In addition it means that one generation has to be complete. That was one reason for the existence of the top quark: an incomplete 3rd generation (., bottom, tau,tau-neutrino) would cause the gauge current to become anomalous whereas a complete 3rd generation (top, bottom, tau,tau-neutrino) saves the consistency.

So once one knows the electric charge of the electron the charges of up and down are essentially fixed: afaik one can derive both Q(d) = -Q(u)/2 and Q(d) = Q(e)/3; the last equation is related to the fact that there are three colors - and the different colors are counted individually in the triangle diagrams.

But using these equations one automatically finds that Q(proton) = 1 and Q(neutron) = 0. In addition one finds Q(proton) = - Q(electron).

I'lltry to find some references where all this is derived rigorously.

 

[DrDu]

Thank you Tom, that's quite interesting.

 

[A. Neumaier]

Well, why the bare charges equal exactly, Zee says in grand unified theories it can be shown that this follows from group theory.

But I was referring to that given the bare charges are completetly equal, and given that a proton is a composite of quarks and participates in strong interaction whereas an electron does not, how come that both their charges are still exact equal.

The answer to that was not given in this thread before my post.

Because nobody had asked about that. Reducing the OPs question about real particles to that for bare (nonexistent) particles is not a useful contribution to the discussion.

And where and when was the discussion fully settled regarding OP's question? What now is the fully settled answer to OP's question according to you?

Charges are equal up to sign because the triangle anomaly of the standard model must cancel, a consistency condition without which the SM would not be well-defined.

Yes, it follows from group theory, and in a way that makes all your virtual particle talk look silly, because the cancellation says that effects involving Feynman diagrams in which (according to you) virtual particles are created and destroyed are in fact completely absent (and must be so for consistency reasons).

 

[Dadface]

Thanks A.Neumaier(post 83) and thanks tom.I'm struggling with this but as I understand it cancellation of the anomaly results in the charges on uud minus the charge on e being zero.That's impressive stuff.
I want to know more so can anyone recommend a book or article on the "S.M. for dummies"

 

[A. Neumaier]

Thanks A.Neumaier(post 83) and thanks tom.I'm struggling with this but as I understand it cancellation of the anomaly results in the charges on uud minus the charge on e being zero.That's impressive stuff.
I want to know more so can anyone recommend a book or article on the "S.M. for dummies"

There are dummies of different degrees.
What's your background in math and physics?

 

[A. Neumaier]

I would like to learn more about the connection between gauge fields and charge superselection; a problem which has turned up in this thread, too. However I don't want to hijack it. Therefore I started a new one in the quantum theory forum:
How does a gauge field lead to charge superselection?

It is not really hijacked since the questions are related - charges are particular superselection rules, and there would have been little point in moving a discussion in progress to a new place.

Indeed, the discussion was part of answering the original post starting this thread. Now that this is answered to everyone but kexue's satisfaction, we are just clearing up what remained of the surrounding questions brought up by the discussion.

The superselection stuff is part of Strocchi's work, and DarMM is much more competent here than I or Tom Stoer. I hope he'll be able to explain it to our all satisfaction.