Submind YouTube summaries
Thumbnail for Stefano de Angelis - The hidden simplicity of the classical limit

Stefano de Angelis - The hidden simplicity of the classical limit

Watch on YouTube

Video summary

Stefano de Angelis opens his presentation by addressing the urgent need for precise gravitational waveforms in the context of upcoming observatories like LISA, which will operate at frequencies distinct from current detectors. The core challenge lies in creating a dense template bank to detect signals buried in noise, requiring theoretical predictions that remain accurate across various mass ratios and orbital regimes. Traditional methods often rely on matching different perturbative expansions—such as post-Newtonian approximations for slow-moving bodies and black hole perturbation theory for the ringdown phase—but these approaches struggle when transitioning between unbound scattering orbits and bound systems due to the nonlinear nature of gravity in four dimensions. To bridge this gap, de Angelis proposes a strategy involving the resummation of perturbation theory, specifically focusing on self-force effects and extreme mass-ratio inspirals, which are crucial for understanding the dynamics of compact objects where one body is significantly heavier than the other. The central theme of the talk reveals a surprising "hidden simplicity" within the classical limit of quantum field theories when applied to gravitational observables. De Angelis demonstrates that while standard perturbative calculations become increasingly complex at higher orders, particularly distinguishing between odd and even terms in the scattering angle expansion, there exists an underlying recursive structure. By utilizing unitarity cuts and BCFW recursion relations, he shows that multi-point amplitudes can be reconstructed from simpler three-point seeds using a sum over tree-level diagrams. This approach bypasses the need for traditional integration-by-parts identities by leveraging the properties of the Schwinger-Keldysh formalism, where advanced fields correspond to equations of motion and only retarded interactions contribute to physical observables like waveforms. This mathematical elegance allows for the systematic computation of relativistic effects without getting lost in the combinatorial explosion of Feynman diagrams typically associated with high-order perturbative gravity. In his concluding remarks, de Angelis outlines a practical framework for generating waveforms by integrating out gravitons to determine local interactions between worldlines directly from the effective action. This method effectively decouples the radiation reaction effects from the conservative dynamics, allowing for the numerical integration of trajectories under generic boundary conditions, including relativistic velocities and eccentric orbits. The technique naturally handles the cancellation of spurious terms, such as those with incorrect signs in radiation reaction, through the structure of the path integral itself. Ultimately, this work provides a robust pathway to compute gravitational wave signals for both scattering and bound states with controlled theoretical uncertainties, offering a unified perspective that simplifies the complex interplay between quantum amplitudes and classical gravitational dynamics.
Read the full video transcript
Okay, good morning everybody. So, uh let me start by thanking the organizers to inviting me. It's very nice to walk down the hill and uh meet friends and new friends. I'm actually sorry that Rub is not here because I really want to be one of those that uh get reselected too [laughter] and I really wanted to impress him but uh uh but uh yeah I hope he will come he'll be impressed later. Good. Uh so today I'm going to talk about um well some project that uh as I start when I started my post in Sak uh with David he gave uh to me and Fabian and still didn't come out after a few years but uh at some point I didn't feel like putting some uh preliminary archive number at some point this will be out [snorts] and uh it's basically trying to understand resumation for observables from uh you know resumation of perturbation theory of various observables which are relevant for the gravitational to body system and then by the end if I manage to get there I will probably mention uh some other work that I've been doing recently on my own. [snorts] So let me start with a outline of the talk. Uh okay maybe I should do this. So we'll start with motivations for our interesting rotational waves. This will take onethird of the talk. Uh I was you know is a string theory workshop. I didn't give for granted that people are familiar with what we do and why we do it and since I'm the first speaker uh I felt uh I should do this part and uh and then I will talk about the gravitational dynamics through the eyes of an effective field theory. So the scales involves the separation of scales, the different regimes and I will briefly sketch on the perturbative computations that are usually performed uh in this the usual perturbative computations that uh the community the scattering amplitudes or gravitational wave community perform. uh and at some point I will get to the part where I explain some hidden simplicity of the classical limit that um some curious structure that comes from taking the classical limit of observables in quantum field theories and at the end I will mention this work which is bas is based on uh uh the gravit the kish integral to compute um waveforms and interactions. So the let me start with the very broad motivation. So in November 2005, the LVK has completed this fourth observ observing run and the fourth observing run has given us hundreds of new signals that uh we are ready to be studied. And among these 100 signals, some of them are really they really stand out in the sense that they are very loud compared to the average signal. And this feature and obviously the energy involved uh made it possible for for example to observe for the first time the ring down phase uh of the of of the of the the ring down phase of the merger of two black holes. So let me give just very you know the uh bachelor uh considerations Newtonian considerations that uh suggest like give an estimate for the amplitude of these gravitational wave signals. Uh here you have the frequency of the gravitational waves, the masses involved, the total mass, the reduced mass and uh so far the signal that we observe are very very uh small and uh you know since the observatories LVK and LISA are very different in size uh one is a few kilometers the other will be uh thousands of kilometers. They they will observe frequent very different frequencies and since they will observe very different frequencies uh they will also capture very different events uh given these masses. So yeah that that's the take-home message like uh the LVK observation that we have currently today are very different uh from the one we will have in Lisa and for Lisa one is very essential is essential that uh we uh provide very precise and very precise um predictions. Why is that? Well, you know 10 to the minus 21 at peak is extremely small which makes the signal buried by the noise. And uh to observe some uh some strain, you need some u theoretical waveform to match filter the the the signal and basically look for some statistical uh um overlap some significant significant overlap. Okay. So basically this is saying that we need the template uh a template bank for waveform signals. Uh and these uh waveforms depends continuously on various parameters. the masses, the spin, the spins of the black hole or the neutron stars, the their finite size, the sky location and uh you know we have no priority knowledge of this uh of this uh data. So to not miss any signal you must fill the parameter space densely densely enough that uh any you know physically significant um uh you know that you you don't miss any signal. So you have to basically feel fill the space of the parameter space uh these parameters here. Now this is very sketchy. I'm sorry to bo uh but uh uh you know the framework so far to get uh these waveforms is that we have some uh analytic computations where we have analytic control of the systems and uh we make an for what for the Hamiltonian of the system the flaxes and then we match these results where they both hold. So where the two bodies are very far or where the masses are the two masses are uh very different like the ratio of the masses is very small or large. Um and once you have done this matching this fixes basically an amonian that uh you can trust beyond you trust beyond the regime of validity of perturbation theory. Obviously this uh you know the the the this the waveform you get from this resounded waveform uh the this resounded strategy um like in the long run towards merger start defasing with respect to the real signal and uh so through some resumation some resumation and uh some calibration You match it with the numerical results to you you tune this difference like you make this uh difference disappear in uh when you match it with the numerical results and then basically you glue it with black hole perturbation theory to have a signal that uh goes all the way from where when the bodies are very far from each other to the single body in in the excited state that decays into a stable state. Now okay so what are the scales of this problem obviously uh there is so in this talk C equal one H bar is equal one and I'm only talking about length scales so there is the gravitational the scale associated to the gravitational charge which is basically the there is vi there is a typical separation of the two bodies which for example in a scattering setup would be the distance of minimal approach of the two bodies. This B. The larger this scale is, the weaker the gravitational interactions. And then there is the characteristic length in linear dimensions of these two bodies because they don't have to be black holes. They could be neutron stars. So these are an additional scale. I think we we will hear about finite size uh later um in Anna's talk and uh well the this is usually larger than the zwar shield ready and is typically for neutron stars is 10 times order 10 uh this length. So there is a separation of scale between this and then another typical scale is the wavelength of the emitted radiation. This is usually correlated to other uh kinematic parameter like the other kinematic parameters. Uh and this also plays uh quite an important role and the least interesting uh uh scale is the distance uh of the observer from the system which is usually the largest scale in this problem. Okay. So there are various setups like various scenarios where we can apply perturbation theory. As I was saying, if uh GM over B is very small, you have a weak field expansion. And uh if you combine this with the assumption that the two bodies move uh slowly compared to the compared to light then this is basically the the PN uh the PN expansion. And if you are looking at uh bound orbits basically the viral theorem tells you that these two scales uh sorry these two parameters dimensionless parameters are correlated and once you are in a postnewtonian setup is very the convenient the the description of this system is very convenient you know you have the single ball like this is distance this is energy so the shorter distance is this single body which is a almost spherical matter distribution with its dynamical moment because it doesn't doesn't have to be well if it's not a black hole but a neutron star this could be um some very nerial distribution of matter as you zoom out there is the dynamic of the dynamics of the system so you can model these two particles to be point particles that uh interact dynamically And uh and okay and the dynamics okay sorry yes and the dynamics of these two bodies is well is almost uncorrelated uh uh with the dynamics of the radiation outside the body which is now a multipolar source and um yeah because the w the typical wavelength is the typical distance between the two bodies over the typical velocity. And since we are assuming the postonian expansion, you know, the these two scales are uncorrelated. Well, they they are parametrically separated. [clears throat] Now there is another setup which is also interesting and is the one I will talk about in the real part of the talk is where we consider relativistic velocities. So we um yeah we give up the assumption of the small velocity and in that case uh in principle there is no separation between the dynamics of the system and the dynamics of the of the radiation and I mean obviously the these setups are very common for well they are very typical of scattering but uh one can think of um uh the this uh sorry the this approximation to be very relevant if we consider uh a very eccentric orbit where locally the velocity of the the respective velocity of the two bodies can be almost um can be uh can be order one. There is one last uh one last uh setup that uh like uh that we would like to consider and is the one where actually this separation the separation scales between the the dynamics you know the of the of the matter distribution or the single body and the dynamics of the two body uh is uh parametrically separated but only for one of the two objects. So we take B we this is basically the an expansion in the symmetric mass ratio in the small symmetric mass ratio um and uh is basically a resomeation in one of the we coupling uh so now we take uh GM over B or for for one of the M's order one and I mean this is very important for for Lisa Because you know uh this is actually the the setup where extreme mass ratio intermediate mass ratio systems um live. >> Okay. >> So >> yes >> in the ratio limit now there is again a separation between the radiation and the because the radiation is suppressed by which is why you can do like this. Oh okay. Yeah. Yeah. Yeah. Yeah, good. So I mean since the beginning I I mentioned uh uh amplitudes uh and how amplitudes can uh can be used in this setup and uh some hardcore physicists should complain that uh uh scattering amplitudes in in the classical limit are very uh they are almost meaningless in the sense that uh the probability of some event in the future to happen given some initial state is either one if it is the solution of the of the equation of motion or zero if he's not uh but you know why am I talking about amplitude scattering amplitudes at all well even at colliders we do not measure scattering amplitudes and when we compute scattering amplitudes we uh from there we compute uh cross-sections and energy energy correlators which are actually in inobservable so you prepare some initial state you make it evolve. You measure something in the future and you sum or ignore things [clears throat] the things that you are not interesting in measure interested in measure. Uh so I would claim that u in the gravitational physics this is exactly the same. So we have a binary system that evolves emit radiation. At some point in the future we collect this radiation without really observing the final uh the the you know the rest of the well we collect the radiation at one point without really observing the details of the system um after the merger. Okay. So usually these observable are quadratic in the S matrix. So uh this will be very useful because it gives some computational advantages uh in the computations because we can use some properties which are otherwise hidden in the classical dynamics such as uh unitarity. Okay. So let me give a very quick sketch of the perturbative computations. So what we do since uh you know modern ampute techniques were developed in the context of perturbative QCD what we can really do well is perturbation theory and in the case of the gravitational systems we compute observables in the econom limit. So the small angle scattering where we are mainly focused on uh uh trajectories which are slightly deflected by the like they're almost straight lines and slightly deflected by uh by the gravitational interactions. And uh the the way to do this is that you basically write some final rules for the deflection of the deflection of the of the trajectories. Some final final rules for for the gravit like the interactions between the word lines and the gravitons. And basically you compute uh your your diagrams use identities to reduce these very complicated integrals to a set of simple integrals which is a very nerous step and at the end you compute these integrals with f new fancy techniques. Um and okay and then obviously here in this talk I've only cited these two because I those are the people I I've stolen these uh these plots. Uh but uh there are like several equivalent uh approaches and uh well depending on the order in which you do the computations in particular depending on the order you take the classical limit uh the there have been several different approaches which at the end of the day bring to the to the to the same result. if they are computed correctly obviously. Now uh so let me mention the main problem of this of this approach. The main problem is that uh this is an assumption here that uh if we compute an observable in the in the scattering setup then we can use that information for the bound uh setup and for for actual um uh for you know to for the templates we need and [clears throat] well and if you go high enough uh in perturbation theory actually you find that uh the two body gravitational interactions are very different between uh unbound and bound orbits and basically in four dimension this originates because of uh from the nonlinearities of gravity and the long range nature of uh gravitational interactions. So the setup is the following. You have your system here which emits some radiation which uh goes on shell and far away from the system and then um the background source by the binary pushes back to the system. So the dynamics of the body at some point in uh space time depends on all the past history. So the inside of the of the lyon and so basically the interactions are an integration over the past history of the system and if you integrate a scattering or integrate a bound system this the result looks very different. So yeah, you have something like this this any observable uh well obviously this is this was not a compelling uh problem in the sense that uh the these interactions this kind of uh interactions you see they need a lot of gravitons and gravitational inter um gravitational vertices. So you can imagine that this uh is very high order in G. Let me say that uh a nice play toy model that uh in which one could study this setup could be just looking at uh systems uh gravit for example gravitational system in odd dimensions because in odd dimension this happens without uh nonlinearities and without uh long range natur uh the long without long range. So understanding there the the problem may be interesting and useful. >> Can you say why odd dimensions? >> Yeah, this is I think the greens fun the support of the green of the greens functions in odd dimension is uh inside the the litecoon while in in even dimension the greens functions the free green functions are only supported uh on the lite con. So the this is uh so in one case you know is in four dimension is the interactions that then uh pushes the the the support of the green functions inside the lyon but uh in dimension it comes a leading order you have these kind of interactions already a leading order >> sorry >> yes >> so in the previous slide you mentioned icon >> so what I know from it is just that you take the that I'm thinking slowly learning fast physics. Is it the same here? >> Well, icon in this setup was simply meaning that we assumed the two bodies to be very far from each other like a large angular momentum uh uh expansion. So they are very far from each other the interaction are very weak. So the result is just a slight deflection of of the trajectory that that's what I have in mind when I say icon just large angular momentum. [clears throat] Okay. So one thing okay now we go to the part of the talk that is not review. So [snorts] one way of uh trying to attempt like the understand like one way to uh understand this problem or solve this problem of uh of um uh the the map between unbound to bound is actually to get some resumation get some more some some results which are uh resummed in the angular momentum. And uh so beyond the small beyond the small angle uh scattering and once you have an an analytic function of the angular momentum you can uh try to really analytically continue this result. Uh so when when I talk about resomesh I mentioned several scales. There are several there are obviously there are several ways you can uh um you can res well as I was saying before post minkoskin is a resumation of postonian for the scattering orbits. uh just for the scattering orbits. Uh so this kind of resumation is understood but what I have in mind is actually trying to understand the self force resumation. uh what we had in mind uh was to uh trying to understand the self force resumation in one of these um two variables and I'm sorry now I will switch to blackboards because the this becomes very very quickly very technical and uh the formula are simple but long uh so if I put you know like if I when I wrote them on a slide. I thought okay I'm going to lose everybody here. So I will just uh shift to a blackboard. So to understand to try to understand this resumation we actually start as usual with simpler setups not from the gravitational case. We we started from um uh something which is exactly solvable from from a classical point of view that has no no problem which is the relativistic scattering. some relativistic scattering of central potential and this is something well understood since uh forever. >> Can you write a little bit bigger? >> Yes, this is just ratric scattering of central potential. uh and um so the the setups we we study I we we study this uh relativistic scattering in several different theories which have something in common well except that they are simpler than gravity. So first of all what one of these theorem uh one of these theory is electronamics. So the colum scattering and then there is uh some extreme black scattering in an equalite sugra and uh some very simple theory some scalar theory scalar mediated theory and the scal mediated theory it's something like um this so let me write the action for this you have some massless mediator and then you have two objects two heavy object just one much heavier than the I there. [snorts] And uh this is uh cubic interactions if you want. And then you have which is coupled to the mass. And then you have also some cortic interaction. Okay. [snorts] So if I tell you at this point that these theories are very closely related, you will uh doubt my words. uh but I can show you the computation and uh so basically you compute the scattering angle in this central potential and you find that for the theory like for the scalar theory with this cubic and quarting coupling the scattering uh angle is this. So is some square root some aran is super simple. uh in n equal 8 when you take one of these extreal black holes to be much heavier than the other you have just the arctan the square root is gone and uh basically you find up to uh change of what you mean by g uh you find that this is basically the same result as the scalar theory just by uh putting this very particular choice of coupling. This is this is the misalignment of the a one angle misalignment of the uh B bps charges of the black holes. And uh here you have the col the colum scattering which you can notice that is just uh lambda minus g² and then a change of name for for g. So if we do now the computation in perturbation theory, we should find something which um you know connect or some structure that connects all these theories and then understanding these structures probably can help us uh understanding the the problem in a more generic setup. >> What is height >> is the scattering angle. So these are scattering of a of a central potential. Oh, >> okay. And here is always a two body system where one is taken to be much heavier than the other. >> So this is a classical >> is a classical computation. Yes. So that I asked to find typos in the presentation. >> Yeah. So okay. So how we how do do we try to reproduce that uh that result? Well, we try to compute loops from trees and uh basically what do I mean by that? I mean that uh let me compute the the scattering amplitude at Loops. reconstruct the scattering ample at a loops by knowing its discontinuity and here I know that unitarity comes and helps me because the discontinuity of the amplitude is given by some um uh unitarity cut sorry here in the T channel so the momentum uh exchange changed channel here you have the four point and uh now here you have to trust me that uh when when I take the prob limit this is some simple power counting but I have no time to explain it in the prob limit this is equivalent to having what is also very intuitive on one side of the cut the where the you have the heavy guy uh a number of sources and here you have the full three amplitude. So in the problem it basically we we mapped the by just by using unitarity we mapped the problem of the central scattering to understanding uh the generic multiplicity amplitude in uh in those theories like three level amplitudes in those theories. [snorts] uh and one one thing you can do is you know since Loops will compute uh some L order in the perturbative expansion you can start inspecting the perturbative expansion of those scattering angles and you find some interesting structure I mean this is just u the electronamic case. And then yes. So here the structure is already evident. At all odd orders you have some very simple term which comes with pi. At even orders you have something which is grow like [snorts] is more and more complicated as you go as you push this to higher and higher orders. Actually this is a feature that holds beyond the fact that the odd orders are simple are simpler than the even orders is a feature that holds beyond the prop scattering and I'm I'm not sure is fully understood but you know we know from this expansion that there is some recursive structure so you know we we need a generic multiplicity three three amplitude and a recursive structure so this screaming BFFW which uh I'm not sure you're all familiar with but uh is basically uh a way of reconstructing uh endpoint amplitudes from lower point amplitudes just by using uh the the fact that the amplitudes the quantum amplitudes like by using three-le unitarity [applause] So the fact that an endpoint amplitude when you go when of the one of the intermediate particle goes near the mash shell blows up and it has simple poles. So the this is a way of using well you just use koshi's theorem and in some variable to reconstruct the three-le amplitudes from unitarity but you know unitarity now can be a weird business in the sense that um uh this is unitarity at the quantum level. Do we find something like this in the classical limit? Does this survive the classical limit? And I mean the answer is yes but not in the form that uh we know here and I mean here there was already some work by Vincent and Julio but let let me give let me give you another way of deriving how three-level unitarity looks like in the classical limit. So in the classical limit you have certain sets of poles where you have he I particles here and I compliment I compliment I this is P in this is P in [applause] the classical limit these two poles will end up on the same point. So basically from a simple pole like the overlap of these two factorizations give you a new factorization theorem where K I is the sum over I of K to M U. Yeah. M U K I² A I A I minus K I. So D in is N U I. Okay. Minus uh Yes. UI zero. So now what what it was a very simple factorization on a simple pole looks like a factorization on a double pole which is basically the sum of like the product of these two. um the sum of these two sorry and [snorts] um a simple pole which looks like a soft theorem but okay now once you have this factorization you basically do well your amplitude endpoint amplitude sorry endpoint amplitude you Just use some cushy stem. So just writing something completely trivial. This is zero. And then this can be written as minus the two partitions of uh S z I basically where the Z I is where this goes to zero when you shift the U with this quantity. minus some res at infinity that uh um is not relevant for any of these theories. Okay. So what do we do? We start computing well the three point amplitude is just the definition of our theory. Let me let me start with the scala is simply this and then you compute the four point. The four point is proportional to k1 k2 u k1 squared. Very simple. Well, if you want the quadratic term I mentioned here, you have to put it by end. And then you compute the five point. And now you start seeing structure. So k1k2 k2 k3 k1 squared k12 squared and then per two permutations of this structure. Okay. [snorts] Now the answer is simple and is simply wrong because now if you compute the six point yes there is 3 4 u k1 2 3 squared and there are 11 of these terms. But this is not enough. You have a new kind of term which is K1 K2 K2 K4 K3 K4 K2 plus three terms like this. Okay. And now again you see a structure a new structure but still you see a structure you can make an answer that uh something like this will always be there and then you have uh you know seven point you have u uh five 25 these numerators and still you miss a structure. So you can compute some higher point and then you need somebody who has encyclopedic knowledge and is very good at recognizing patterns. So [snorts] this is our AI usage. Uh and basically you find something very simple, extremely simple that uh that the two plus n point ampute is a sum over some trees where the vertices of these trees are the momenta of the of the external massless mediator. uh for each tree you you take the product of edges and each edge has its own weight. Now this is very simple. Let let me take a uh five point one two three four five. So the sorry is a seven point. So uh 2 + 5 and I mean among the three graphs you can draw there's this there's this one one two three four well this is this then there is another simple one two three four five. All right. Okay. So, how do we how do we read the weight? Well, you have to choose a root here. Let's let's choose four. And then uh you say, well, the weight of one tree is k1 k3 divided by remove this edge. There are two trees. Now the tree that does not contain the root is the one you want. So here if you remove this there is the root of one. So this is k1 square. Now you do it for 2 three and this is 2 three. These are the two threes. This three here contains four. So you want the momentum of the other one squared. And then 34 again. 3 4 um yep. Uh so here is k1 2 3 squared and k5 squar and actually this this formula does not depend on where you choose the root. So you can check that explicitly and once you have understood this formula you can use basically the fact that you can check explicitly the residue at infinity vanishes you know that it exists a recursion relation. So the the only one the only thing you have to check is that this formula here satisfies this factorization theorem and that's a proof that this is a non multiplicity formula. So and since this formula this formula are quite unique when you take the contraction with the sources here uh the this is since since I mean the three point and the four point which are our uh seeds for the recussion are the same for mod contact terms are the same for the scalar theory. the the electronamic case and in n equal 8 you know that the integrant is exactly the same up to uh up to the coupling in here in front of up to the coupling. So this is this is a proof like that we are close to understanding this hidden simplicity of the classical limit because then the trees that you construct this way you can use it in other context like for example if you want to compute waveforms this is not very different from uh uh the computation we have done before you just add an external leg that is not contracted but you know already the all multiplicity one. [snorts] Um I mean just for some technical uh remark uh yeah where is it? I think it's here. You know for the n equal 8 case you know that uh the pi term there the odd terms are actually not there but still the integrant is u is non vanishing. So there is a very non-trivial identity uh that uh and is not very clear how to understand it in terms of um yeah one t [snorts] The sum of trees trees plus okay here I reconstructed the trees up to Iapsion. There is a very systematic way of reconstructing those IPS as well. So let me say up to distribution terms this is actually proportional to d minus 4 and vanishes in four dimension. So the the these are very non-trigger identity that uh uh doesn't really uh come from uh usual IBPS and you know simplify the computation a lot if one can understand it sematically. [snorts] Uh yes. So the this is I hope this was understandable but let me go back to slides where so this was one way of attempting uh understanding the resumation of perturbation theory in this context and uh let me mention in my last five uh minutes uh something I've been exploring which is very similar to what so some middle ground of resumation something that we can call the high school approach where the only thing we do is uh we uh determine local interactions between the word lines and uh and we determine [snorts] the observables for generic uh word lines in perturbation theory and then we compute the trajectory exactly numerically if you want And I mean this is not very different from what people have been have been doing in uh for example multipolar possian or nrg is just the relativistic version of it. So uh so the the a systematic way of doing the relativistic version of it. Uh so the the point here is that we can compute these uh interactions by integrating out the gravitons in the two body problem without going on shell. So the this you can do from the equation of motions by iteratively iteratively solve the matrix variations and then substitute them back in the Einstein's equations or since we are QFT people here you just compute the in effective action by integrating out the gravitons in a winger kish integral so the winger kish part integral is usually a twofold party integral [clears throat] and uh yeah observe like observe correlation functions are usually computed this way. In the classical limit, the Schwinger Kelish part integral is extremely simple because if you use this uh advanced and uh this the so-called Kelish basis basically you see that at the level of the P integral the coefficient of the of the single insertion of the advanced field is the equation of motion for the uh uh field corresponding to it. And uh so the first if you want to compute the interactions independently of the wland use the word len as sources. So your your word and variable now are the sources of the uh gravitational part integral and then you compute this input integral and the connected diagrams gives you the the effective action and the effective action is once you expand in advanced variables the the linear term is proportional to the the equation of motion and it keeps track of retardation effects and no I don't know. Where is it now? No. Okay. And something very similar can be done for observables like the waveform at infinity. You can compute connected diagrams in the Schwinger Kat integral. This gives you the the expectation value for for the metric perturbation. And once you compute the the like when once you integrate out the the the warning variables, the advanced warning variables will localize you on the uh on the on on the variables in these are basically stationary phase approximation that localizes you uh on the localizes the the word line sorry the waveform on the word lines which satisfy the equation of motions. So basically in this case we compute diagrams with no word lines. So the first term here is just the free particle. Then you have relativistic version of the Newtonian physics with the whole wheel fman interactions. This is radiation reactions. And then uh you know these are second these three are the second possan corrections in the effective action and these the rest is the third poss corrections. The nice thing about this is okay sorry I forgot about this just to show some some results which are very simple you know the the the relativistic Newton Newton you know doesn't have the problem I was telling before you know the interaction is localizes on is localized on the intersection of the two light cones and the radiation reaction uh effect is very easy to compute because we have dimensional regularization which makes this computation extremely uh manageable and this checks with exist existing results uh uh in the literature. Uh the waveform computation in this context comes for free is basically a um a generally like you just take the diagrams you were computing before. You strip off the advanced source, you plug in uh instead of that uh um the the graviton propagator and this gives you the waveform uh for some fun. I mean it's very interesting like uh something that is supposed to be a more complicated computation actually uh bypasses some of the technical bottlenecks like IBP identities which are not needed at any point. And at this point uh we can use the equation of motion to evaluate the trajectory numerically for generic boundary conditions uh like uh relativistic so generic velocities but uh scattering or bound and uh another thing is that you can uh uh have a control of the growth of of the numerical uncertainty. So you can really generate waveforms for bound states elliptic bound states um with some theoretical uncertainty given uh yeah that's it sorry I trash [applause] thanks for questions does any of those three examples process Yes, I think at least the last two. No, I I know about the first two. >> Uh I don't think so. >> So is this simplicity of the classical limit or is it simplicity of theories that have you know sure you you the nonprocessing thing is just a toy model. Uh but uh you can add one over r cubed interaction like something that makes you process and the only thing you have to do is um when you do here the the the product over the edges some edges will have a different weight. So you know this in principle uh can be applied also to gravitational theories even though the structures are a bit more complicated. Yeah. So yeah, it was I mean it's just the simplest playground to actually find find these uh these structures. [clears throat] >> On one your last slides there appeared the infamous minus 113. >> Yes. short term which has the wrong sign of addition reaction and which is actually cancelled because this is the analog of the >> ed electro dynamics 23 of the robot of laurens dra >> but uh this has the opposite sign and it is canled the radiation reaction is higher order in gravity so this term is an intermediate thing that has to be cancelled >> exactly like you can see this from the from the part integral point of view like you though you can use a filter definition to push this uh to the next order. So this will not enter at leading order but uh you will uh so I mean it's a triple derivative and it should be treated as a triple derivative which means push to higher orders via filter definitions or iterating equation of motions. So it will I'm not saying it will end. >> Reaction is more nonlinear. I mean it cancel. >> Yeah. Yeah. You have to keep you have to keep in mind that you have to be careful. >> Uh in the last slide when you say uh there's no need for IBP. Um but uh do you not need IP for doing the uh cage in uh integration because you said you have to integrate out the gravitons. >> Yeah. But integrating out the graviton is computing uh connected diagrams uh uh is just connected computing connected fment diagrams. Uh the the reason why there is no need for IBPS is that you you have an exponential because this is the green fun unexpanded greens function. Um so sorry is is the green function with a generic exponential and you can use that exponential as a generating function of uh tensor integrals. So that that's basically you you can compute higher uh higher tensors just by acting with derivatives. >> Okay, let's thank Stephan [applause and music] >> [music]