We're sorry but this page doesn't work properly without JavaScript enabled. Please enable it to continue.
Feedback

Solvable Dyson-Schwinger Equations

00:00

Formal Metadata

Title
Solvable Dyson-Schwinger Equations
Title of Series
Number of Parts
28
Author
Contributors
License
CC Attribution 3.0 Unported:
You are free to use, adapt and copy, distribute and transmit the work or content in adapted or unchanged form for any legal purpose as long as the work is attributed to the author in the manner specified by the author or licensor.
Identifiers
Publisher
Release Date
Language

Content Metadata

Subject Area
Genre
Abstract
Dyson-Schwinger equations provide one of the most powerful non-perturbative approaches to quantum field theories. The quartic analogue of the Kontsevich model is a toy model for QFT in which the tower of Dyson-Schwinger equations splits into one non-linear equation for the planar two-point function and an infinite hierarchy of affine equations for all other functions. The non-linear equation admits a purely algebraic solution, identified through insight from perturbation theory. The affine equations turn out to be affiliated with (and solved by) a universal structure in complex algebraic geometry: blobbed topological recursion. As such they connect to the geometry of the moduli space of complex curves.
Mathematical structureTheoryQuantumField of setsSolvable groupEquationNichtlineares GleichungssystemFunction (mathematics)Green's functionPerturbation theoryInfinityApproximationGraph (mathematics)Algebraic structureSeries (mathematics)Formal power seriesMatrix (mathematics)Commutative propertyNetwork topologyConnected spaceVariable (mathematics)Meromorphe FunktionModel theoryTheoremStochastic kernel estimationRecursionTopologyPole (complex analysis)Residue (complex analysis)Well-formed formulaPropositional formulaPoint (geometry)RamificationModulformSpacetimeSurfaceLine (geometry)MereologyEntire functionMusical ensemblePerturbation theoryHypergeometrische ReiheConvolutionQuantum field theoryTranszendente ZahlFeldtheoriePartition function (statistical mechanics)Formal power seriesQuadratic formEquations of motionRamificationRational numberRational functionKopplungskonstanteNichtlineares GleichungssystemAlgebraic structureSpacetimeField of setsLogarithmInfinityLimit (category theory)Regular graphSocial classGoodness of fitPolylogarithmische FunktionRecursionDirection (geometry)Model theoryInverse elementPolygonMereologyINTEGRALTransformation (genetics)Presentation of a groupTheory of relativityComplete metric spaceDimensional analysisNatural numberEquationNetwork topologyMatrix (mathematics)TheoremPrice indexFinitismusGraph (mathematics)MeasurementNormal (geometry)Point (geometry)Food energySeries (mathematics)Line (geometry)TheoryProof theoryDivergenceNumerical analysisOpen setFiber (mathematics)HypothesisProper mapMultiplication signBlock (periodic table)Correspondence (mathematics)Limit of a functionGraph (mathematics)Degree (graph theory)Group actionPolynomialPartition (number theory)Well-formed formulaOperator (mathematics)MathematicsQuantumArithmetic meanGeometryLocal ringCohen's kappaUniverselle AlgebraResultantPrime idealStability theoryComputabilityPlanar graphVector potentialVariable (mathematics)Laplace-OperatorModulformDifferential (mechanical device)Energy levelExpressionMathematical structureSpectrum (functional analysis)Different (Kate Ryan album)Latent heatUniqueness quantificationTorusSurfaceFlow separationChainVector spaceCuboidFundamental theorem of algebraMoment (mathematics)Algebraic closureObject (grammar)HierarchySign (mathematics)Signed measureSkalarproduktraumDual spaceWahrscheinlichkeitsmaßLogicHarmonic analysisPole (complex analysis)Green's functionCubeStochastic kernel estimationVacuumGeneral relativityComplex analysisInverse functionTheory of everythingWave functionMeromorphe FunktionFinite setCurveThermal expansionPhysical systemBeta functionSummierbarkeitCovering spaceDerivation (linguistics)DiagonalString theoryReflection (mathematics)IterationCombinatory logicIdentical particlesNumerical digitTerm (mathematics)2 (number)AdditionModal logicContent (media)Volume (thermodynamics)Sigma-algebraSet theoryLinearizationCoefficientProduct (business)SineLoop (music)Power (physics)Quadratic equationLogical constantDivisorRule of inferenceCondition numberEvent horizonVelocityMany-sorted logicDistribution (mathematics)Holomorphic functionAxiom of choiceMultiplicationFamilyDoubling the cubeMathematical optimizationMassCartesian coordinate systemCountingCentralizer and normalizerAbsolute valueGenetic programmingPulse (signal processing)Mortality rateAreaProjective planeHeat transferMultilaterationObservational studyGame theorySheaf (mathematics)Factory (trading post)Stress (mechanics)Cubic graphEvoluteIntercept theoremScaling (geometry)OpticsNominal numberFree groupParameter (computer programming)AlgebraProcess (computing)Roundness (object)Fatou-MengeMaxima and minimaData transmissionDeutscher FilmpreisMaß <Mathematik>Category of beingMathematical singularityAssociative propertyWave packetDirected graphCodomainTranslation (relic)LokalisationstheorieTime seriesGroup representationExplosionCanonical ensembleGrothendieck topologyStandard deviationWater vaporLattice (order)Variety (linguistics)Computer animation
Transcript: English(auto-generated)
You know, first, many thanks to Kevin and Eric for organizing
this event in three different versions. And I think it's a good compromise. It really works well. Then thanks for the invitation to speak here. It's a great honor for me. And as many other speakers, I will go back to history, to March 98.
I just arrived at CPT Marseille at the time as a postdoc. And then a larger group of us went to a conference on non-confrontist geometry in Wiederseldnauer in south Italy. And of course, there was a contribution by Anaconda.
And I remember reported on a really fascinating groundbreaking work by a physicist, Joe Cramer, who discovered that the realization of quantum field theory, which was a mystery for many mathematicians, is actually encoded in Hopf algebra.
So this was absolutely remarkable. And even more remarkably is that the same Hopf algebra in a slightly different paper appears in another work, what Alain was doing with Morimoto Scavici, on the local index formula for certain hyper-lytic operators
on space affiliations. So of course, we didn't understand immediately all the details. But it was clear to everyone that this is absolutely great development. And we have to understand it as well. So it had enormous impact to our group in Marseille.
So we had seminars on it. We stopped all other work and wanted to understand it. So OK, I worked with Thomas Kroski, our next speaker, on this. And we soon understood the generic structure.
But we had problems with overlapping divergences. And OK, I think it was Bruno Jukum who invited Jukum to Marseille for the end of May. And as preparation for discussion, Thomas and I made our notes on archive.
And OK, here that's more or less the first part of our paper. And I want to highlight one sentence, which is to recite already of discussion with Jukum. So here we describe how Jukum treats
overlapping divergences. And there is a story behind this little sentence. The story is more or less this. So I found on an old computer my email correspondence
with Jukum. So this Jukum's message from May 1998. And so OK, he explains what to do. And what I want to emphasize is here that, so he points out that to understand overlapping divergences,
it's assumed that the reader digested the use of Schwinger-Dyson infection. And he refers then to the amputation thesis where OK, details can be found. All right, so I stop history here at this point because I discontinued working on top of H1.
There are other speakers who can do this much better than I can. But so for me, these diastronic equations, they are of absolute central importance. Back in 1998, it was new for me. But in the meantime, they really become I would say my most important tool.
So then I would like to show this impressive page. So this impressive number of 11 papers authored by Jukum, which have diastronic equations in the title. So just in title.
So I'm sure there are many, many more where diastronic equations are the main, one main subject. But already in title, there are 11 papers. So three with Karen, but many, many more. So OK, therefore, I think contributing something on diastronic equations is something
well-suited for this nice version. OK, one can say really a lot about diastronic equations. We can have lectures here and so on. So I will be very short and give some general idea. And then we go to a specific instance.
So diastronic equations are some equations of motions for Green function in the 23 theory. One can understand them graphically as the collection of Feynman graph series of same external structure. So they form blobs, and the equations are of that type.
So for instance, one is interested in connected two-point function, and then one follows here the first line on the left, so what can happen? So either the line goes through, nothing happens. That's a free theory. Or it hits somewhere a vertex. So then you write the vertex, and then you ask,
what else can there be? So in this case, it will be a connected four-point function, which then would happen. So yeah, so OK, this picture is very easy
to understand when collecting Feynman graphs. But the point is somehow this assumes that the series of Feynman graphs converges, which is absolutely not clear. But there is another remark. So such an equation can be completely
rigorously derived without any reference to penbavian theory. So that's an exact equation, which can be solved by penbavian theory, but it's not needed. So therefore, in fact, these di-Sicher equations are non-perturbed equations.
The problem is it's always sometimes often hard to solve it. And the problem you see already here in the structure. So you want to know something on the two-point function. That's what you want to study. But this equation involves here the four-point function.
So that's a typical feature that somehow you need information which you don't have yet. So either one has to solve all of these equations simultaneously, which of course is difficult, or one has to work. And I'm working in particular on concrete series
on finite dimension approximations, not with geometries. Another word is made, Tricks model. So in this setting, it happens that these equations somehow are disentangled. So we get equations where this relation sign is reversed.
So we are interested in n-point function, and then we only need functions where the number of legs is smaller, not larger than n. So the price to pay is that this equation will become non-linear, and that's also difficult.
So OK, now I come to the subject. One feet series of a particular type on matrices. So all right. So a starting point is fundamental theorem
in harmonic analysis to Bogner, who proved that whenever we have an inner product on a real vector space, so finite dimension for simplicity, for instance, the space of separate joint n by n matrices. OK, so it's fine.
So OK, the theorem is whenever you have an inner product on such space, then there is a unique probability measure on the dual space whose Fourier transform is exp of minus 1 half the inner product, completely general.
So we take a very specific inner product on space of matrices. Namely, we give ourselves n cross different numbers, e1 to en. So this somehow stands for the energies on the spectrum of Laplace operator truncated to n levels.
So when we built a scalar product, well, this one. And kl and prime k divided by ek plus el. So that gives an inner product. And OK, we take this one. So as I said, it has something to do with Laplacians or number geometries.
And OK, here, that's a Gaussian measure, and everything is now, of course. OK, we will not stop here for the next step. And also, next step will explain why we are interested in this particular inner product. So OK, the reason for choosing this inner product
is the Consevich model. So the Consevich model is a deformation of the measure I just introduced, what free theory, by a cubic potential. So e to the minus lambda n. We've discovered that if you do computations
with this particular measure, so vacuum graphs, and you understand them as function here of the spectral values e1 to n, then this gives rise to the numbers which you get,
rational numbers. They are, in fact, intersection numbers of topological crevice classes on the moody space of complex graphs. So it's a very deep result. And so there are many, many developments connected to this result, among other sorts. Incubate model related to the KDP hierarchy.
So in fact, all these relations were already suggested by Whitten shortly before. And Consevich gave the proof by inventing this particular measure. But actually, it's, of course, not a real measure. As you know, phi cubed is unbounded below. So you better have lambda purely imaginary,
and then it's not a measure. But formally, it is. So OK, and it's connected to something which is very professional now, topological recursion, also talked about tomorrow, deal with it, and so on. OK, so and OK, everything is known.
So we are interested in the deformation by aquatic potential. So phi to the 4 instead of phi cubed. This is a very small step from point of view of concrete theory, a very natural step. Lambda phi to the 4 is much more natural than lambda phi cubed. But the mathematics is completely different.
So there is a clear logic by Consevich chose phi cubed, and namely phi cubed has something to do with simple zeros of Schreiber differential on Biemann surface. And you cannot replace it by phi 4, which would be quadratic
zeros, but these are exceptional. So the generic case is really phi cubed, and there is absolutely no relation, mathematically, between phi cubed and phi to the 4. Also, perturbation theory is completely different. It turns out, however, that that's a recent result of the previous year,
that nevertheless, we find structures which are completely similar, mathematical structures, as something to do with topological recursion. And well, this is the subject of the talk. But one remark, we get something for concrete theory.
So it's a toy model, all right? But it's something where we have nearly exact solution, exact in the coupling constant. So OK, that's the contents. OK, so let's start.
A starting point, well, is we really derive disjoint equations. So we consider the full transform of the measure, and that's a full measure. So depending on the spectral values, you want to do that again, and the coupling constant.
So that's the 40 differential. So then it's a complete elementary exercise to derive these equations of motions. For the full transform. So and these are important. Because if you remember, I try to go back to the picture.
So OK, these external x in this formulation preside by differentiating the full transform with respect to the source matrix. So if I have n derivatives, then I get n external x. So a derivative with respect to m brings the phi downstairs,
and then graphically, this is the endpoint function. All right, so the problem is that in this equation, we have too many external x. And these equation help us, because they
allow to express here a second derivative, which gives two additional x, second derivative of the full transform by something which has only one leg, or in this case, no leg at all. So OK, we can express these derivatives
by something which has less derivatives, or maybe the same number. But OK, that's the key point, which is not available in digital conflict theory. That's special for matrix models. And that's the key why we can go much further than for normal conflict theories. All right, so I will show some of these equations
then which you can decide. So the idea is you differentiate some more times, and then you get identities. And these identities are the Dyson string iterations. OK, so these Dyson string iterations, they have then,
they inherit these matrix indices. So these are matrix indices, of course. And then we have a finite number distinguished by a finite number of matrix indices of these equations. So there's a key step. Namely, it turns out that one can complexify the resulting
Dyson string equations so that they become equations between meromorphic functions in many complex variables. Of course, complexifying finite number of, they are given by a finite number of points, and complexifying them is not unique.
But there's a natural way to do it. So we stress that there is a very natural way to obtain Dyson string equations for meromorphic functions. And then we can use the whole power of complex analysis to tackle and to solve them. So in doing this, so after complexification,
we can relax a little bit the conditions that these e1 up to n were previously degenerate. So we can omit multiplicities. So our different eigenvalues, spectral values, are little e1 up to ed, and they come with a certain multiplicity.
It's not really important, but it gives us a lot of flexibility. So here is the simplest, or the first equation which one gets. So we consider kilosecond moment of the measure with a two-point function.
All right, there are certain factors of n. We give it a name, g, with two indices. OK, if b is different from q, no, that's OK. But if here is something else, then it's 0 at the measure. So that's the interesting object to study.
So we're interested in large n expansion. So this is a formal power series in inverse powers of n. Turns out, it goes in even steps. And the little number g, the parameter, is or will be related to the genus of a Riemann surface.
So that's it. But OK, here, it's just a name. But yes, it's formal expansion. So as I said, we complexify. So here, everything is discrete. We complexify it. So we arrange that our g, pq, is actually
the evaluation of a meromorphic function in two complex variables, sine eta, no, zeta, zeta eta, where zeta is ep. So no, this was fast. And eta is eq.
So these initial spectral values, if you evaluate our meromorphic function on them, we get back this, OK, the expansion coefficients. So the first equation is this one. So it has a long history of playing with Hart's Gauss many, many years ago.
So the important thing is that's an equation which only involves this two-point function, complex two-point function. So that's nice to have. But as I said, the prize is it's a nonlinear equation. So here is the nonlinearity, which
was really hard to understand and well to solve. So it's a very general setting. So if we go to the large n limit, then we could have divergence, so better have bare mass and wave function optimization there to have a lot of freedom.
Well, so OK. Well, for me, the breakthrough was in joint work with Eric, which we achieved during a school in Lisieux organized by Duke two years ago, where we
were able to solve this equation, learning equation in a special case, namely that the multiplicity is 1. And all these spectral values are equally spaced. So this is a particular choice, which corresponds exactly to the lambda for the 4-model
or two-dimensional model space. So there is particular interest studying this choice in large n limit. So it turned out that doing this, so all these sums become integrals and so on. And then, OK, you do perturbation theory,
not for this equation, but for some axial equation. And remarkably, using Eric's hyperin program, pushing far enough, we understood the first coefficients. So we did a pre-market pattern,
and we understood then that they are the first terms of a series, which is the series of the Lambert function, Lambert-W function. OK, so well, that's something. Solving such an equation to Lambert-W was unexpected,
and this opened the way. So it opened the door to tackle the general case. So the Lambert function has special properties, and after understanding them, which took some time, we understood the general case.
So take general case, general r case, finite or infinite, whatever, we can solve in any case this equation. So of particular interest is the Froude-Majim-Moyali space, where we get, instead of Lambert function, we get the inverse function of the hypergeometric function.
So this will be covered in the overnight talk by Alex Hock, 1550 in Paris time. So he will present more details on this approach and very nice consequences of this example.
So I continue with the discrete case because for finite d or finite n, there are extremely nice structures which appear, which has something to do with complex analysis and algebraic geometry.
All right, so it's also a long history, but I will just give the final theory. So I will describe the solution of this equation in complete generality in case of finite n, finite d. So you have to do something.
OK, remember, we are given the spectral velocity k, multiplicities, and coupling constant. So define new parameters, epsilon k, rho k, which somehow deform from this data in the following way. So build such a function of z, z minus lambda divided by n.
OK, let's find some. So here you should see in a certain regime, this will produce a logarithm. And that's z plus lambda log z is then, OK, the inverse function of this lambda function. So there's a logic behind this, which can be guessed from the lambda function.
All right, so take this problem, function r. And OK, here you have epsilon k, rho k. And they are implicitly defined to satisfy r of epsilon k is ek. And r prime epsilon k rho k is rk. So that's implicitly defined problem.
So then, so remember, this was the function we want to have, solve this equation, hopefully. So you go to the pre-image, so zeta eta given. And then you go to the pre-image via r, so z and w.
And you transform variables. And after transformation, the result is script g. So for this function script g, we have a formula. So here it is. So it's a, well, it's a rational function. That's important.
And it involves the definition of r. And so r of z can be replaced by zeta. That's clear. But the point is we also have the negative, r of minus w, r of minus z, where we cannot do it directly. So there's no direct relation. So we have to go via r.
So r is important. Then a notation, there's a little hat. So a hat means, OK, first go back here. It's, well, you see this is a rational function, which is the ratio of polynomial of degree d plus 1
by polynomial degree d. So there are d plus 1 pre-images of every value. And the other pre-images, except of the principal one, they carry a hat. So this epsilon k hat are then the pre-images of these deformed energies. OK, so that's the solution.
And so proving it when one knows what to do is very, very easy. So you can give it as an exercise in a complex analysis course. But it really took us 10 years to come from this equation to the solution. So OK, remark, symmetry, although it is not manifest,
it is automatic. It can be checked. And yeah, OK, that's remark. And that's a pointer. Good. More remarks. So again, stress, that's a solution of nonlinear Dieneschian equation. We found it first with Eric by, well, brute force, I would say,
perturbation theory. And a lot of luck understood what we were computing there. But then we proved it. So we got an idea. And then the proof is beautiful. It's beautiful complex analysis. So then, of course, you ask, how is this possible that you solve a nonlinear problem?
And it's more or less clear there must be something behind, some deep edge-back structure, which we don't have it. But we are confident to find it. And this involves the affine equation, which I will then talk next.
OK, one remark. It was very important to deform the data. So originally, we had ek, spas, multiplicity, lambda. And in these variables, you don't see anything. It's absolutely important to transform
by the inverse of such a relatively simple function. Then we see a structure. And OK, it's an empty statement. But nevertheless, maybe one should think about it. Maybe something similar could be true also in familiar confidence, that we have to transform in a way which we do not know
to other variables. And in these other variables, we see more structure. OK, but I have no idea how to do it in nice examples. OK, so now I come to the affine equations.
So well, by general theory analysis, it's clear they are solvable. But there doesn't seem to exist any theory which could give us this equation explicitly. So the key idea was due to Alex. So he suggested to look at auxiliary functions.
So namely, so here, these are our two-point functions. And so well, they somehow depend implicitly on the initial data, the energies, and the coupling constant. And so you differentiate these two-point functions
with respect to the energies. Of course, you can do this in practice because we don't control the measure. But OK, let's introduce them and call them omega with indices a1 up to n, which, OK, one a1 special and the others are derivatives. And then again, apply these genus expansions.
OK, so the key step is we don't need to know here the two-point function. We can derive this equation directly for these omega n's. Well, not directly. They are coupled to other functions which I will introduce. And then we can try to solve it. So what we need are the initial data, our rational
function r, and the planar two-point function, but nothing else. Everything else is contained in the initial equations. So for me, at least, complete and unexpected result was that these auxiliary functions unexpectedly
translate to something which has a clear mathematical meaning, namely they are object of block topological closure proposed by Burrow and Chaterin five years ago. So I will say a little bit on this. OK, here that's more or less the overview
what one has to do. So it is not that we are interested in these omega's. So from them, we later get, then, the moments here, these, which we're going to have. So OK, they were auxiliary functions, but we have to introduce more auxiliary functions, namely t's, two sorts of them.
And then one has to go through such a triangular pattern. So here, this first box is what we know, the two-point function, planar two-point function. And then, OK, for genus zero, it's enough to compute this chain in the upper line. But if you want to increase the genus,
then we also need here this strange other function. And then we won't go here. Then, OK, this is the way to go. So OK, for all these functions, we have downstream equations. And so evaluating the t's is relatively easy.
But the result is horribly complicated. And you insert this horrible result into the equation for the omega's. And then many, many cancellations arise. And finally, the outcome for the omega's is extremely easy. So I will only show the results, not the equation
and not the way to compute it. So the first result is quite marked points, omega 0, 2. So of interest is this expression here in parenthesis, especially the red one.
So this is, OK, up to differentials, it's the Birkin kernel of topological excursion. So having found this, we knew that we are on the right way. So and there are always these prefactors. So the idea is we multiply by the differential of R
and any of these variables. Also, lambda goes away. And then we come to differential forms, the one form in each variable. And so OK, well, that's so we know it's true in the planar case, otherwise it's contracted.
We are sure that these omega GNs have a very simple post structure. So they are more monomorphic. And we think we know where the ports are. So we are sure in planar case, but otherwise it's contracted. So they have only ports at 0 on the opposite diagonal.
And on special points, there are two of them, where the derivative of R vanishes. So these are the so-called ramification points of the ramified cover encoded in this rational function R.
Yeah, OK. So we'll mark these T functions. They are much more complicated. They have many, many more ports. OK, so here's the few solutions. OK, looks also complicated, but in fact, there is a key logic.
And in fact, these are relatively simple functions. I wanted to show, maybe show first this. OK, so these are known perturbative results.
So that's important. And in principle, you can amuse yourselves in finding which Feynman graphs, use the Feynman graphs, contribute to such an omega GM. Of course, there are many of them. And so the sum is convergent.
And so there are certain graphs of a certain external structure, certain topology, and well, all they sum to such an expression. And of course, the dependence on the coupling constant is a little bit hidden. So remember, we had the system of equations.
The epsilon case and the rho case, they are implicitly defined. And then we have the betas, the solution of r prime beta plus 0. And well, this system has to be solved somehow by the implicit function theory. So abstractly, it's completely clear. We have a holomorphic solution.
And also, as you know, we have good convergence results if one wants to find a solution numerically. But one can also approach them via a Taylor expansion to the implicit function theory. And then this Taylor approach will coincide
with the Feynman graph expansion of a certain topology and external structure. So our idea is that this is something which we would like to contribute to this sigma volume for Dirk's birthday. It's still nice to compare the Feynman graph series with the exact result, going in particular
through the simplification points. So a few remarks on color code. On the next two pages, I will show that the terms in blue have a very clear mathematical meaning. So there's something very, very known. So in particular, here, you see these rational numbers
appearing. At least some of them have a meaning as intersection numbers of characters, classes on the modal space of graphs. Not all of them, but many of them. So then here, this term in black
with ports on the opposite diagonal, we understand them at least for all planar functions, so genus zero, projected, but it's clear it's true. And so we are confident that very soon we will understand them completely. So my feeling is that they are just there for confusory,
but maybe they will not have a meaning in mathematics. But these terms here in red, ports at zero, because zero is special. So you remember, we had always this reflection that goes to minus z, so here, eta minus beta. This is very special for this particular model.
And zero is the fixed point of this reflection, and these numbers, one-eighth, one-sixteenths, and so in particular, these combinations of ratios of derivatives of r and zero. So my feeling is they have a certain meaning. So there's something which will extend
the result of conception to something, but I have no idea to what. That's for the future. So, okay, now what are the blue terms? So here, that's the general picture of the ramification points. Of course, I can only draw a real picture.
So if they are simple zeros, then the real behavior is just a z-square function. And then you have z, and the reflection is called sigma offset. So it means r of z is r of sigma, i of z, and at beta i, the two come together.
Good. So this reflection is the local Galois rule issue. Good. So, okay, now you do the following. Omega zero one is special. So you define it as minus r of minus z, r prime of z dz. So in all other omega gn, as I said before,
and then, well, surprisingly, but there will be some origin, we have so-called loop equations. So, okay, these omega gns, they have ports very high order at beta, but if we sum the contribution at z, and at, sorry,
and at sigma of z, the reflect value, then the ports cancel, and you get something, also constant term vanishes. So it's something which starts linearly about the ramification point. And then there's quadratic loop equation that, okay,
it's a very strange combination. So you take omega, okay, one genus lower, and so at z and sigma of z, and then you share it in product quadratic, and you share z and sigma of z in both variables, and otherwise you distribute the other variables,
and the genus. And then, so again, these are ports of high orders, but in this particular combination, all the ports cancel, also linear term cancels, and you get some things quadratic form in z, which starts quadratically about the point. So, okay, this is true,
and planar case up to five, and also four, one, one, and of course we can check chart, this can be an accident, that all these ports cancel, so this should be true in general. So then there's a general theorem of block double recursion, that whenever you have a family of differential forms,
neuromorphic, which satisfy these epsilon equations, then you know what is the polar part, so polar part of this omega GM with poles at the ramification points, and this part is given by such a formula, okay, it looks complicated, but anyway, but this is familiar, so that's the famous formula of topological recursion,
and so in the original version of topological recursion, was just this, so that's the formula how you build from, so here on the right, everything is known, so you want to compute omega GM, and all the others are already known, you have them, and all you have to do is to evaluate just this residue,
and to create a certain recursion kernel, or the Birkin kernel, integrated, omega zero, one are given, and so on. So this is something easy, and the remarkable thing is that many, many structures in mathematics follow exactly this formula.
So in large class of examples, PZ omega is equal to omega, so you can remove this P, there are no other poles, but as proved by Boren and Chardin, that's not the general case, so when you only require these absolute equations,
then you can afford more, and then these formulae describe the polar part, and then there's something else, H, the holomorphic part, holomorphic at ramification points, and they are formed by these blobs,
so additional input, so here's a picture, so that's the picture of topological recursion, that, so okay, we live here on space of lines, compactified complex lines, two mark points on a Riemann surface, and so you want to build such a particular form
on that space, and the idea is you distribute lines and genera in all possible ways, and then you glue everything with recursion product, so that's the natural recursion, and in the block case, there is an additional input at every recursion step. So the important point is,
that's an infinite space, but our omega GN select one particular point in this space, and question is, what's the significance? Okay, good. Yeah, it's a sort of outlook, whatever,
so it is known from the paper that whenever we have these absolute equations, then these omega GM encode intersection numbers on the modal space of stable complex graphs, that's a general effect.
So, and they give formula, so most ideas we get in general, several copies of the same intersections of the psi and kappa classes, so psi and echelon classes, kappa and Manford classes, as in the conservative model, and, but they are not independent, they are coupled somehow,
or described, well, they give a precise description, via the blobs. It's completely generic. so any case, one gets something, but it's not clear that this of interest. So here, but in our case,
we have this global involution z to minus z, which places special order, so that, let's hope, it's not proved, but I hope that at least these points about zero, could have some meaning in mathematics. We do not know what, but it could be something. So this global involution as an additional structure
on the modal space of curves. So another thing is, so we have endpoint functions here, forms. We don't have the partition function itself. At some point, we would like to identify it. And then the interesting question is,
whether this partition function, is a tau function for a hero type equation. So if so, this would be a precise formulation of incurability. So in general, topological recursion, there's always this relation, there's always a tau function. For block topological recursion, this is not known.
So it could be, could also be not the case. So there's something which one should decide. Okay, I think I'm on time. All right, so someone. Yeah, first talk on disjoint equations.
And so it arches from the proper fiber graphs, where it's the tool to disentangle the problem of open divergences. Two things are presented. di-shwinger equations are central to DURB and to me.
And yes, so at least I tried to convince you that di-shwinger equations are really, I would say the best approach to study from field theory non-perturbatively. So in this particular case of matrix models,
confused on a basis, they produce a complete understanding. And I'm sure, but I can prove it, that also other concrete theories should be treated in this way. So it brings me to an end, to Dirk. So I wish you a lot of pleasure and success
with your work on downstream tracing or also everything else, and happy birthday. Thank you very much, Reimer. So I have a question for Reimer. Yeah, all right. So what would be your advice,
how to use topological or blob topological recurve when I want to go from solvable to true quantum field theory in the finger equations? Well, I would say this relation is very special. But, so I'm sure there's some integrability
and you can expect this for normal quantum field theories. But I'm sure that the idea to look for, to disentangle the problem when you have a quantum field theory that you split, you somehow understand it
as the convolution of function with the inverse of another function. Part of the difficulty you throw in this problem of determining the inverse. So we have seen for the Lambert function, this expanded gives all the logarithms, integrals, then the Niesen polygon and so on.
And it's inverse of a very, very simple function. So I'm sure something in this direction should be there also in other quantum fields. Topological recursion, I'm not sure. I have Garth and Bobo now sitting next to me
so I can actually try to get something for him. Garth thinks that you hired him. Reminds me, yep, thanks. If there are further questions, feel free to raise your hand if you're a viewer or just speak up as a speaker.
I had a question when you showed your formula for the, I mean, these omega G and everything's rational, right? There's no transcendental numbers in these things. This one? Yeah. Yeah, so I was just confused because if I remember at some point, as you just mentioned, there are transcendental things, right? There's logarithms and maybe some zeta values
or polylogarithms. Oh, good point, yeah. And you said you can somehow match some classes of Feynman diagrams to these individual omegas. Then I just wonder where does the transcendental score? Well, so to do this,
well, that's a trial model. In concrete theory, there's no organization. Everything is, it's a regularization. So everything is fine dimensional. For concrete theory, you have to go to the large N limit into infinity, D to infinity in a certain way, and this produces here integrals.
And in the case which we had, this was the logarithm. You almost see it here, that this converges to logarithm. In other cases, so that will be the presentation by Alex in one hour or so, this would be a hypergeometric function. And then you have to produce the inverse. You see it somewhere here after this transformation.
And even if you have a very simple integral here, for instance, the inverse of the hypergeometric function is not clear to me that this, well, of course it exists. It's a monotonous function. So it must have an inverse, but what it is, it's not clear. Expand it and you get all the hyperlogarithms.
So there's a step which is hidden here. So I described the fine dimensional case for concrete theory, you want to have the large N limit. Yeah. Thank you very much. That's very clear. All right. I suggest we thank Reimer again for his nice talk.