Paper replacement

I have updated the paper with the answer to Terry Tao on arxiv (see here). No correction was needed, rather I have added a new result giving the next-to-leading order correction for the Yang-Mills field. This result is important as it shows the right approximate solution, in an expansion into the inverse of the coupling constant, for the mapping between the scalar and the Yang-Mills field. As we repeated a lot of times, Smilga’s solutions are all is needed to work out our argument as this relies on a gradient expansion. A gradient expansion at the leading order has a solution depending just on time variable. But, as this has been a reason for discussion, I have also shown to what extent my approach applies to the solution of the quartic scalar field given in the form

with with an integration constant and the coupling. But I would like to emphasize that the relevance of these solutions for the Yang-Mills case was just demanded by Tao’s criticism but it is not needed for my argument to work. So, the main result of this paper is that

As it has been noted elsewhere, higher order corrections are zero in the Lorenz gauge. This result is certainly not trivial and worth to be considered in a classical analysis of Yang-Mills equations.

Finally, we note as any concern about gauge invariance is just worthless. Smilga’s solutions are exact solutions of the Yang-Mills equations. Casting doubt on them using gauge invariance arguments should be put on the same ground as casting doubt on Kasner solution of Einstein equations using general covariance reasons. Nothing worth to spend time on but a poor excuse to ignore a good work.

Quantum field theory and gradient expansion

In a preceding post (see here) I showed as a covariant gradient expansion can be accomplished maintaining Lorentz invariance during computation. Now I discuss here how to manage the corresponding generating functional

This integral can be computed exactly, the theory being free and the integral is a Gaussian one, to give

where we have introduced the Feynman propagator . This is well-knwon matter. But now we rewrite down the above integral introducing another spatial coordinate and write down

Feynman propagator solving this integral is given by

and a gradient expansion just means a series into of this propagator. From this we learn immeadiately two things:

• When one takes we get the right spectrum of the theory: a pole at
• When one takes and Wick-rotates one of the four spatial coordinates we recover the right Feynman propagator.

All works fine and we have kept Lorentz invariance everywhere hidden into the Euclidean part of a five-dimensional theory. Neglecting the Euclidean part gives us back the spectrum of the theory. This is the leading order of a gradient expansion.

So, the next step is to see what happens with an interaction term. I have already solved this problem here and was published by Physical Review D (see here). In this paper I did not care about Lorentz invariance as I expected it would be recovered in the end of computations as indeed happens. But here we can recover the main result of the paper keeping Lorentz invariance. One has

and if we want something not trivial we have to keep the interaction term into the leading order of our gradient expansion. So we will break the exponent as

and our leading order functional is now

This can be cast into a Gaussian form as, in the infrared limit, the one of our interest, one can use the following small time approximation

being now

that can be exactly solved giving back all the results of my paper. When the Gaussian form of the theory is obtained one can easily show that, in the infrared limit, the quartic scalar field theory is trivial as we obtain again a generating functional in the form

being now

after Wick-rotated a spatial variable and having set . The spectrum is proper to a trivial theory being that of an harmonic oscillator.

I think that all this machinery does work very well and is quite robust opening up a lot of possibilities to have a look at the other side of the world.

Covariant gradient expansion

Due to the relevance of the argument, after a nice discussion with a contribution of Carl Brannen, I decided to pursue this matter further. Indeed, the only way to have a covariant formulation of a gradient expansion is adding a time variable and taking the true time variable Wick rotated. In this way, for d=1+1 wave equation you will use d=2+1 wave equation and so on. In d=3+1 you will use d=4+1 wave equation. Let me explain with some equations what I mean. I consider again d=1+1 case as

but, instead to apply a gradient expansion to it, I apply this to the equation

being . As usual, I rescale time variable as and I take a solution series

Now I will get the set of equations

and so on. Let us note that, in this case, we can introduce two new spatial variables as and . These are conjugate variables as you know. So, already at the leading order I have solved my equation. Indeed, I note that

and so the Laplacian has the solution being f and g arbitrary functions. In this case the gradient expansion gives immediately the exact result making its application trivial as should be. Indeed, I take in the perturbation series and put and I get

that is the exact solution. Nice, it works! This means that a quantum field theory using gradient expansion exists and it is a strong coupling expansion. This result is surely less trivial than the one obtained above.

Gradient expansions and quantum field theory

It is more than two years that I am working on quantum field theory in the strong coupling limit and I am generally very satisfied with the acceptance by the community about my views. Of course, these are new ideas and may take some time to be accepted. So, I keep on working on them trying to clarify them at best so that people can have a clear understanding of their strengths and weaknesses. One of the ways we researchers have to know how our colleagues consider our views is peer-review. This system is indeed crucial to any serious scientific endeavor and, indeed, I am proud of my achievements only when my peers agree about their value. But peer-review is also useful to my work to know what are the main objections to it. It can happen that sometime these objections are deeply wrong and may be worthwhile to discuss them at length also to have an idea on how such a prejudice arose.

We should know that when a mathematical theory enters into the description of nature, whatever mathematical method one uses to exploit it is always correct. So, natural laws in physics are described by differential equations and  whatever method you know to solve them is good provided is also mathematically legal. You should consider mathematics for physicists as a severe judge that grants no appeal. You are right or wrong depending on the correctness of your computation. But in physics there is something more and these are assumptions we start with. You can do the beautiful mathematics in the world but if you started with a wrong concept about how nature works your computations are simply rubbish.

One of the criticisms I have received on trying to get my papers published is that one cannot do a gradient expansion because this breaks Lorentz/Poincare’ invariance. This is completely wrong from a mathematical standpoint. As an exercise  you can consider the wave equation in two dimensions as

and consider the case where the spatial part is not so important. This can be easily obtained by rescaling time as and taking the limit . One gets the solution series

solving the equations

and so on. All this is perfectly legal from a mathematical standpoint and I get a true solution of the wave equation. But, as you can see, I have broken Lorentz invariance, a symmetry of this equation. So, mathematics says yes while physics seems to say no. The answer is quite simple and is known since a long time: The computation is right but Lorentz invariance is no more manifest. This is due to the fact that I have separated time and space. But if I am able to resum all the terms of the expansion series I will get the right answer

that is Lorentz invariant. So, both physics and mathematics give the same answer and is a resounding yes, it works and it works so well that we are left with a kind of strong coupling expansion.

So, what should do a smart referee with such a doubt, admitting that a smart referee does not know such mundane facts of physics and mathematics? It should realize that here one is facing a really interesting problem of physics: Could we formulate a gradient expansion in such a way to have Lorentz invariance manifest? I have not an answer yet to this question but I grant to you that is a matter I would like to publish a paper about  somewhere. This is an interesting mathematical problem as well. We know that people met a similar problem at the start of the deep understanding of QED due to Feynman, Schwinger, Tomonaga and Dyson. I think that an answer to this question would have the same scientific value.

Gradient expansions, strong perturbations and classicality

It is a common view that when in an equation appears a very large term we cannot use any perturbation approach at all. This is a quite common prejudice and forced physicists, for a lot of years, to invent exotic approaches with very few luck to unveil physics behind equations. The reason for this relies on a simple trick generally overlooked by mathematicians and physicists and here is my luck. This idea can be easily exposed for the Schroedinger equation. So, let us consider the case

with . This is a very unlucky case both for a physicist and a mathematician as the only sure approach that come to our rescue is a computer program with all the difficulties this implies. Of course, it would be very nice if we could find a solution in the form of an asymptotic series like

but we know quite well that if we insert such a solution into the Schroedinger equation we get meaningless results. But there is a very smart trick that can get us out of this dark and can produce the required result. I have exposed this since 1992 on Physical Review A (see here) and this paper was not taken too seriously by the community so that I had time enough to be able to apply this idea to all fields of physics. The paper producing the turning point has been published on Physical Review A (thank you very much, Bernd Crasemann!). You can find it here and here. The point is that when you have a strong perturbation, an expansion is not enough. You also need a rescaling in time like . If you do this and insert the above expansion into the original Schroedinger equation, this time you will get meaningful results: A dual Dyson series that, being now the perturbation independent of time, becomes a well-known gradient expansion: Wigner-Kirkwood series. But this series is a semiclassical one and you get the striking result that a strongly perturbed quantum system is a semiclassical system! So, if you want to change a quantum system into a classical one just perturb it strongly. This is something that happens when one does a measurement in quantum mechanics using just electromagnetic fields that are the only means we know to accomplish such a task.

This result about strong perturbations and semiclassicality has been published on a long time honored journal: Proceedings of the Royal Society A (see here and here). I am pleased of this also because of my estimation for Michael Berry, the Editor. I have met him at a Garda lake’s Conference some years ago and I have listened a beautiful talk by him about the appearance of a classical world out of the quantum conundrum. I remember he asked me how to connect to internet from the Conference site but there there was just a not so cheap machine from Telecom Italia and then my help was quite limited.

So, I just removed a prejudice and was lucky enough to give sound examples in all branches of physics. Sometime, looking in some dusty corners of physics and mathematics can be quite rewarding!

Classical scalar theory in D=1+1 and gradient expansion

As said before a pde with a large parameter has the spatial variations that are negligible. Let us see this for a very simple case. We consider the following equation

with the conditions , and where the choice of a parabolic profile is arbitrary and can be changed. We also know that, if we can neglect the spatial part, the solution can be written down analytically as (see here and here):

being . Indeed, for we get the following pictures

Numerical Curves - t is chosen as 0=red, 1/8=blue, 1/4=green, 0.3=yellow

and

Analytical solution - t chosen as above

The agreement is excellent confirming the fact that a strong coupling expansion is a gradient expansion. So, a large perturbation entering into a differential equation can be managed much in the same way one does for a small perturbation. In the case of ode look at this post.

Physics laws and strong coupling

It is a well acquired fact that all the laws of physics are expressed through differential equations and our ability as physicists is to unveil their solutions in a way or another. Indeed, almost all these equations are really difficult to solve in a straightforward way and are very far from the exercises at undergraduate courses. During the centuries people invented several techniques to manage such equations and the most generally known is surely perturbation theory. Perturbation theory applies when a small parameter enters into the equations and a series solution is so allowed. I remember I have seen this method the first time at the third year of my “laurea” course and was Giovanni Jona-Lasinio that showed it to me and other fellow students.

Presently, we see as small perturbation theory has become so pervasive that conclusions derived just at a perturbation level are sometime believed always true. An example of this is the Landau pole or, generally, what implies the renormalization program. It is not generally stated but it is quite common the prejudice that when a large parameter enters into a differential equation we are stuck and nothing can be done than using our physical intuition or numerical computation. This is true despite the fact that the inverse of such a large parameter is indeed a small parameter and most known functions have both a small parameter and a large parameter series as well.

As I said elsewhere this is just a prejudice and I have proved it wrong in a series of papers on Physical Review A (see here, here and here). I have given an overview in a recent paper. With such a great innovation to solve differential equations at hand is really tempting to try to apply it to all fields of physics. Indeed, I have worked for a lot of years in quantum optics testing the approach in a lot of successful ways and I have also found applications to condensed matter physics appeared on Physical Review B and Physica E.

The point is quite clear. How to apply all this to partial differential equations? What is the effect of a large perturbation on such equations? Indeed, I have had this understanding under my nose since the start but I have not been so able to catch it immediately. The reason is that the result is really counterintuitive. When a physical system is strongly perturbed all the terms that imply spatial variation can be neglected. So, a strong perturbation series is a gradient expansion and the converse is true as well. I have proved it numerically in a quite easy way using two or three lines of Maple. These results can be found in my very recent paper on quantum field theory (see here and here). Other results can be found by yourself with similar simple means and are very easy to verify.

As strange as may seem this conclusion, it has obtained a striking confirmation through numerical computations in general relativity. Indeed, I have applied this method also to general relativity (see here and here). Indeed this paper gives a sensible proof of the Belinski-Khalatnikov-Lifshitz or BKL conjecture on the behavior of space-time approaching a singularity. Indeed, BKL conjecture has been analyzed numerically by David Garfinkle with a very beatiful paper published on Physical Review Letters (see here and here). It is seen in a striking way how all the gradient contributions from Einstein equations become increasingly irrelevant as the singularity is approached. This is a clear proof of BKL conjecture and our approach of strong perturbations at work. Since then Prof. Garfinkle has done a lot of other very good work on general relativity (see here).

We hope to show in future posts how this machinery works for pdes. In case of odes we have already posted about (see here).