A Feynman loop diagrams and Dyson series for anomalous magnetic moment

Click For Summary
The discussion centers on the derivation of the fine structure constant (α) from Feynman loop diagrams and the Dyson series, particularly critiquing a paper by Aoyama et al. Many participants argue that the paper does not convincingly derive α from first principles, as it relies on experimental inputs rather than providing a robust analytical derivation. The authors' use of "analytic" results is questioned, with suggestions that they may be misleadingly presented as derived rather than numerically computed. There is also a historical reference to Schwinger's work, which is clarified as not claiming to derive α independently of experimental data. Overall, the consensus is that a true derivation of α from first principles remains elusive in current theoretical frameworks.
  • #61
Vanadium 50 said:
The answer to the question posed in this thread is "no". If something does allow it to be predicted in the future, that something will not be QED.
Thanks for your input. Have you any opinion on the issue I raised in #59 with vanhees71.
 
Physics news on Phys.org
  • #62
vanhees71 said:
They are up to what's said in the title of the paper, i.e., to review the theory of the anomalous magnetic moment of the electron, i.e., the electron's Lande factor including higher-order loop corrections.
Still with you on this. However, my issue is how they go from Feynman loop calculations to the power series coefficients. They appear to jump from setting up the calculation. They state at the top of page 22 that they wish to 'explicitly work out the fourth order case', and by the middle of the page they quote a numerical result of -0.334166. How do they do this?
 
  • #63
Meir Achuz said:
But, it is ##\alpha##, not ##\epsilon_0##, that is actually measured.
That depends on the measurement. If you measure the force between two stationary charges and you are using SI units, you are measuring ##\epsilon_0##, since that's the only quantity in the equation for the force that does not have a fixed value in SI units.
 
  • #64
Adrian59 said:
Have you any opinion on the issue I raised in #59 with vanhees71.
I am starting to conclude that a) the paper does what it says it does and does not calculate α, and b) nothing we write will convince you that α is not something derivable from QED. Other issues belong in a separate thread.
 
  • #65
Vanadium 50 said:
I am starting to conclude that a) the paper does what it says it does and does not calculate α, and b) nothing we write will convince you that α is not something derivable from QED. Other issues belong in a separate thread
Why is that despite agreeing with you, you keep attributing the wrong idea to me? I agree that α cannot be derived from QED. I think it is pertinent to this thread to explore the issues raised by the Aoyama et al paper. It is deeply mathematical and that may be problematic to some contributors to this thread. However, I did assign this as advanced, so I would hope it would attract suitably proficient responses. So far so good, but I feel I am missing something. I have already stated that my OP could have been worded better: more like, many authors appear to use Feynman loop diagrams to assist in the derivation of the fine structure constant from the anomalous magnetic moment or vice versa. Clearly this is what Aoyama et al are doing. However, they appear to get so far then jump to an answer as I said in #62.

PeterDonis said:
I think their language might be confusing. Normally I would expect an "analytic" result to mean one computed from a closed-form formula instead of numerically. If the formula is an integral, as I would expect for terms in a perturbation series, it would have to be an integral that was solvable using explicit functions, rather than numerically integrated. It is not clear to me that all of the results that this paper says are "analytic" were obtained in this way.

It would appear we have arrived at an agreement on two points:
1) that α cannot be derived from QED;
2) we are not quite sure what Aoyama et al are doing in their so called analytic calculation.
 
  • Like
Likes Vanadium 50
  • #66
Adrian59 said:
Why is that despite agreeing with you, you keep attributing the wrong idea to me?
Because the titel of this thread is "QED derivation of the fine structure constant?" and the answer "no" has been given by multiple people at multiple times for multiple reasons. Yet the thread continues. It;s natural for people to conclude that you aren't really convinced.
 
  • #67
Vanadium 50 said:
Because the titel of this thread is "QED derivation of the fine structure constant?" and the answer "no" has been given by multiple people at multiple times for multiple reasons. Yet the thread continues. It;s natural for people to conclude that you aren't really convinced.
I am, can we move on to the other issues I've mentioned.
 
  • #68
Adrian59 said:
can we move on to the other issues I've mentioned.
What should we change the thread title to to make it clear that it is those other issues that you are really interested in?
 
  • #69
PeterDonis said:
What should we change the thread title to to make it clear that it is those other issues that you are really interested in?
Have complex QED calculations involving Feynman loops with say 891 (4th order) or 12672 (5th order) anything to do with calculating either the fine structure constant or the anomalous magnetic moment, accepting we need one of these to be experimentally measured?

If so how does one deal with these large number of loops at a conceptual level?
 
  • #70
Adrian59 said:
Have complex QED calculations involving Feynman loops with say 891 (4th order) or 12672 (5th order) anything to do with calculating either the fine structure constant or the anomalous magnetic moment, accepting we need one of these to be experimentally measured?

If so how does one deal with these large number of loops at a conceptual level?
That's way too long for a thread title.
 
  • Like
Likes Vanadium 50
  • #71
Adrian59 said:
Have complex QED calculations involving Feynman loops with say 891 (4th order) or 12672 (5th order) anything to do with calculating either the fine structure constant or the anomalous magnetic moment, accepting we need one of these to be experimentally measured?
Yes. In fact I think calculations now have to be carried to 6th order to get sufficient accuracy to match experiments.

Adrian59 said:
If so how does one deal with these large number of loops at a conceptual level?
I'm not sure what you mean by "at a conceptual level".
 
  • #72
PeterDonis said:
I'm not sure what you mean by "at a conceptual level".
I meant more than 'Oh, we use a computer algorithm'. That is, I was asking for more of an explanation of the mathematical processes.
 
  • #73
Adrian59 said:
I was asking for more of an explanation of the mathematical processes.
AFAIK they're just grinding through numerical evaluation of the Feynman integrals corresponding to each Feynman diagram, order by order, using standard numerical techniques for evaluating integrals.
 
  • #74
PeterDonis said:
That's way too long for a thread title.
How about, 'using Feynman loop diagrams to calculate the Dyson series for the anomalous magnetic moment.'
 
  • #75
Adrian59 said:
How about, 'using Feynman loop diagrams to calculate the Dyson series for the anomalous magnetic moment.'
That works. Title change done (I abbreviated it just a little bit).
 
  • #76
PeterDonis said:
AFAIK they're just grinding through numerical evaluation of the Feynman integrals corresponding to each Feynman diagram, order by order, using standard numerical techniques for evaluating integrals.
Hooray, actually this is exactly my thought from the start. Apologies if the OP has mislead anyone.

Also, as you have stated before I cannot see any justification for Aoyama et al claiming there derivation is analytic when it looks like a pure numerical technique.

So if that is the case, the inclusion of Feynman loop propagators is superfluous.
 
  • #77
Adrian59 said:
if that is the case, the inclusion of Feynman loop propagators is superfluous
Why? They're part of the calculation. Saying it's "numerical" doesn't mean you throw away the equations. It means you evaluate the equations numerically instead of as a closed form answer.
 
  • Like
Likes Vanadium 50 and vanhees71
  • #78
On the analytic vs. numeric thing, I think the distinction isn't really about using numerics or not using numerics. The distinction is how much work do you do starting from the fundamental governing equations before you decide to use numerics. Usually doing something analytically means you gain insight or information you otherwise wouldn't. For example, I might just solve Newton's equations for a pendulum numerically right off the bat. Alternatively, I can discover the energy conservation and what it tells me about solutions, even though in the end I will be reduced to writing Elliptic integrals that will be solved numerically. Similarly, using perturbation series usually tells you something about the strength/significance of various terms/effects, whereas if I just put QFT on a lattice I might not learn as much (or I learn something different). Random aside done.
 
  • Like
Likes Adrian59 and vanhees71
  • #79
PeterDonis said:
That depends on the measurement. If you measure the force between two stationary charges and you are using SI units, you are measuring ##\epsilon_0##, since that's the only quantity in the equation for the force that does not have a fixed value in SI units.
Yes, you are right. ##\epsilon_0## could now be measured from Coulomb's law. Is there a reference for such an experiment? In any event, the measured value of ##\epsilon## would be limited in accuracy by the present value of ##\alpha##. Before the improvement in SI, ##\epsilon _0## was only known as a conversion constant, with no error.
 
  • #80
I guess that's a very inaccurate way of measuring ##\epsilon_0##. Rather one measures ##\alpha## very accurately via the quantum Hall effect, the Josephson effect, or determining the gyrofactor of the electron in a Penning trap, which afaik is the most accurate one:

https://arxiv.org/abs/2209.13084

Having ##\alpha## you also have ##\epsilon_0##, which is the only constant that's not defined in the SI:
$$\alpha=\frac{e^2}{4 \pi \epsilon_0 \hbar c}=\frac{e^2}{2 \epsilon_0 h c}.$$
Both ##h## (Planck's quantum of action) and ##c## (vacuum speed of light) are used to define the SI units.
 
  • #81
PeterDonis said:
Why? They're part of the calculation. Saying it's "numerical" doesn't mean you throw away the equations.
And what is "numerical"? If I have a thousand terms and I calculate them all analytically and add them up, is it analytic? Is it numeric? Does it even matter?

These days, even "analytic" calculations are often done by computer. It reduces the chance for a inconsistency in sign convention (which has historically been a problem with this calculation). Does that make it "numeric"? And does it matter?

I sense this thread is changing direction yet again. And I am not sue that deciding what the right words are to use is going to shed much light on things.
 

Similar threads

  • · Replies 0 ·
Replies
0
Views
2K
Replies
2
Views
2K
  • · Replies 163 ·
6
Replies
163
Views
26K
  • · Replies 2 ·
Replies
2
Views
2K
Replies
13
Views
6K