0 00:00:02,100 --> 00:00:06,980 Jorge Pullin: Your speaker did as you can. I want you, so I will speak about avenues to spin for phenomenology. 1 00:00:08,140 --> 00:00:20,750 Johanna Borissova: Okay, thank you very much for the invitation and introduction. Today I would like to to present you with a new perspective on the degrees of freedom that are relevant for spin forms and a semi-classical limit. 2 00:00:20,830 --> 00:00:31,020 Johanna Borissova: This is based on work with Bianca, and we expect us to set the stage for a diverse phenomenology, and also a variety of other conceptual and fundamental questions. 3 00:00:35,060 --> 00:00:36,320 Johanna Borissova: Okay, let me see. 4 00:00:48,220 --> 00:01:00,380 Johanna Borissova: Okay, You should be able to see the second slide. Now I will start with a motivation. So spin forms are covariant path Integrals for quantum gravity parts in the case of gravity represents space-time geometries 5 00:01:00,380 --> 00:01:08,350 Johanna Borissova: that satisfies certain boundary conditions, and they are weighted by an amplitude which is given by exponential of 5 times the action. 6 00:01:09,300 --> 00:01:21,190 Johanna Borissova: Now, classical geometry is just an equivalence class of metrics, modular dipomorphisms, but quantum geometries are fuzzy and the reason for this is common to a large class of spinful models. 7 00:01:21,590 --> 00:01:38,030 Johanna Borissova: So at the classical level constraints up here, these are the primary simplicity constraints in the form of first class algebra. but at the quantum level these constraints become partially second class. I would don't normally parameterize, but about very music parameter. 8 00:01:38,070 --> 00:01:46,610 Johanna Borissova: and if these second class constraints would be imposed strongly to what restrict the solution space to much so, therefore, they can only be in post weekly. 9 00:01:46,940 --> 00:01:59,540 Johanna Borissova: But as a consequence, the pattern to define over an extended configuration space. So it is, then, a natural question to ask, Can we parameterize this extended configuration space? 10 00:02:15,380 --> 00:02:18,740 So this space is parametrized by a metrics. 11 00:02:19,610 --> 00:02:30,210 Johanna Borissova: Now my plan will be as follows: I will first introduce to you what an area metric is. I would then provide you with some evidence. Why, Aaron metrics appear in a semi-classical limit of spin forms 12 00:02:30,540 --> 00:02:41,300 Johanna Borissova: I would then ask, Can we derive an on action which describes the dynamics of an error metrics that mechanism that imposes constraints weekly, but as a classical level. 13 00:02:42,120 --> 00:02:56,590 Johanna Borissova: then I will ask the question: okay, Out of the degrees of freedom of the error metric, can you find a subset which corresponds to a length metric? And if yes, how does the effective action for this metric look like? Does it reproduce gr, or do we have to expect corrections? 14 00:02:56,930 --> 00:03:06,600 Johanna Borissova: And so my final? My final slide will then be on geometric interpretation of this part of the area metric which is not the like metric part. 15 00:03:06,630 --> 00:03:14,720 Johanna Borissova: And so, finally, as I said, my message will be that this sets the stage from from phenomenology and also other interesting questions. 16 00:03:16,290 --> 00:03:25,040 Johanna Borissova: Okay. So in this slide I would like to introduce to you what an aerometric is, and I would like to do this by comparing it to the concept of a link metric. 17 00:03:25,450 --> 00:03:39,090 Johanna Borissova: So a length metric at a point on a manifold is a symmetric rank 0. 2 tensor I'm. Assuming non degenerate metrics in the sense that this matrix here is not a determinant, not 0. 18 00:03:39,420 --> 00:03:47,270 Johanna Borissova: A length metric can be used to define an inner product between 2 vectors where these vectors come from a tangent space at this point. 19 00:03:47,420 --> 00:03:58,470 Johanna Borissova: So if these vectors are the same, vector and then Romanian signature. The inner product of a vector with itself, quantifies the length, or in this case the length squared of this. Vector 20 00:03:59,190 --> 00:04:08,930 Johanna Borissova: If these vector are different, then the inner product of these 2 vectors quantifies the to the angle between the vectors that intersect at this point 21 00:04:10,070 --> 00:04:24,750 Johanna Borissova: so very similarly on aerometric which was introduced by scholar and collaborators. An area metric can be seen as a metric, for by vectors where the vectors that are vet together, they live at the tangent space at this point. 22 00:04:24,890 --> 00:04:32,000 Johanna Borissova: So, therefore, more formally on a metric, is around 0 for tensor with the following properties here. 23 00:04:32,160 --> 00:04:45,370 Johanna Borissova: So the first property says that it's a symmetric under the exchange of the first and next pair, and the static second index pair. This must be the case, because if you want to define an in a product, and we want this to be symmetric. 24 00:04:45,980 --> 00:04:56,030 Johanna Borissova: The second property says that it is antisymmetric in each of these index pairs, which also has to be the case, because a bi-vector contains a vet product which is antisymmetric. 25 00:04:56,350 --> 00:05:13,460 Johanna Borissova: and so finally, one can also demand a similar condition. As for the length metric case of non degeneracy that does not degeneracy implies that the matrix here is non-degenerate it allows for a consistent raising and lower ring of by vector indices. 26 00:05:14,740 --> 00:05:23,930 Johanna Borissova: So now the inner product of a simple, by vector which is so just the vet product of 2 vectors, and no linear combination of it. 27 00:05:24,120 --> 00:05:32,150 Johanna Borissova: The the inner product of a simple by vector quantifies the area of the parallelogram spent by these 2 vectors. 28 00:05:32,350 --> 00:05:45,680 Johanna Borissova: On the other hand, if the planes that are to go to these 5 vectors. If they intersect at the line, then the inner product of these 2 by vectors, they parametrizes the 3D that you triangle between these planes. 29 00:05:47,030 --> 00:06:05,770 Johanna Borissova: so one can, besides of these symmetry properties, also demands that the I am a metric is cyclic. This corresponds to this a requirement here, if all other algebraic symmetries are satisfied, this is equivalent to demanding that the cyclic mirror has no totally antisymmetric part. 30 00:06:05,770 --> 00:06:11,610 Johanna Borissova: and therefore the contraction of the error metric with the Epsilon new to which are 10. So is 0. 31 00:06:12,850 --> 00:06:21,980 Johanna Borissova: So okay, it's important also to note that every length metric and uses a cyclic error metric by which of this definition here? 32 00:06:22,940 --> 00:06:31,940 But the opposite is not true in general, and, in fact, only in 3 spacetime dimensions, where length and aerometric have the same number of degrees of freedom, namely, 6 33 00:06:31,970 --> 00:06:40,750 Johanna Borissova: only. In this case every area metric is induced by on length, metric in dimensions higher than, say, a higher than 3 34 00:06:40,880 --> 00:06:59,700 Johanna Borissova: Aaron metrics feature, a a a a true generalization of length, metric geometries, that feature many more degrees of freedom than the length metric. So, for example, in Depos 4, a cyclic error metric has the same as your bride symmetries as the Riemann Tensor, and the effort has 20 degrees of freedom 35 00:06:59,860 --> 00:07:07,830 Johanna Borissova: as compared to the length metric which has only 10 degrees of freedom. So an interesting question is, then, once you have this area 36 00:07:08,030 --> 00:07:20,520 Johanna Borissova: a an area metric or spacetime, or an area metric? Can you identify a subset of degrees of freedom which define an effective length metric? And if yes, what could the other part represent. 37 00:07:20,660 --> 00:07:31,950 Johanna Borissova: So I will ask, answer this question, and in the context of Pfi it's in the Plavansky formulation. It was also an effect. Affection introduced by scholar. But I will not go into more detail on this. 38 00:07:32,090 --> 00:07:45,510 Johanna Borissova: First of all. Yeah, with this, now that you know that an what an area metric is, I would like to give you 2 pieces of evidence. Why, we think that a metrics are relevant in a semi classical regime of spin phones. 39 00:07:45,800 --> 00:07:52,650 Johanna Borissova: So the first one is the results on a lattice continuum limit of the error regions. 40 00:07:53,140 --> 00:08:03,680 Johanna Borissova: So, just to fix notation in the following, I will be the length of an edge, a D area of a triangle and a simplex. 41 00:08:03,710 --> 00:08:13,690 Johanna Borissova: an epsilon, the deficit angle at a triangle. So all of the following is an in 40, and so, therefore the curvature is concentrated at triangles 42 00:08:15,000 --> 00:08:27,450 Johanna Borissova: now in length to edgy calculus, which was introduced by Edgy in the 19 sixties. It provides a discretized version of Back from Gr on a piece ofise flat, discretized for the manifold. 43 00:08:27,570 --> 00:08:37,000 Johanna Borissova: the fundamental variables and the length where g action are the edge, length and the action is obtained by just summing all triangle areas times the deficit angle. 44 00:08:38,200 --> 00:08:43,549 Johanna Borissova: So in a case of length, Reggie calculus, the deficit angles parametrize the curvature 45 00:08:43,640 --> 00:08:56,800 Johanna Borissova: concentrated as a at this triangle, so, in other words, they parameterize the angular gap that would arise if you flatten the 4 D simply sees which meet at a triangle if you flatten these to 4 D flat space time. 46 00:08:57,980 --> 00:09:10,730 Johanna Borissova: Now, by contrast and error, energy calculus, the fundamental variables are taken to be the areas of the triangles. So note that within a given simplex the map between lengths and areas can be inverted 47 00:09:10,740 --> 00:09:16,140 Johanna Borissova: just because the single simplex has the same number of edges and triangle areas. 48 00:09:16,880 --> 00:09:29,480 Johanna Borissova: But as soon as you start gluing simply sees together, you have many more error variables than length, variables, and therefore the that the error, energy action describes the dynamics of many more degrees of freedom. 49 00:09:29,730 --> 00:09:40,750 Johanna Borissova: It's also important to note that why your gluing the errors can match, but the shape does not have to match. And therefore, if you vary this action with respect to the configuration variables. 50 00:09:40,770 --> 00:09:53,150 Johanna Borissova: and you get the equations of motion with which say that the deficit angles are 0, then this does not mean that solutions are flat, but it rather means that the combination of curvature and shape M. Matches 0. 51 00:09:54,550 --> 00:10:14,800 Johanna Borissova: So there was as a summary the error as you action. First of all, it describes many more degrees of freedom, and second, solutions are not necessarily flat. so the error energy, action appears in a semi classical limit of spin forms, and the following is a result: by Bianca and Biancana, another Phd. Student. 52 00:10:14,840 --> 00:10:23,390 Johanna Borissova: So they saw that putting the error to action on the lattice on a hybrid, Kubernetes lattice and a flat background expansion. 53 00:10:23,520 --> 00:10:34,040 Johanna Borissova: the error energy, action can be seen as a discretized version for an error, energy, action for an an aerometric action in the limit in which this lattice constant case to 0. 54 00:10:34,330 --> 00:10:48,760 Johanna Borissova: And so importantly, this aerometric is associated to the hypercube, and the degrees of freedom of this area Metric can be split into a part that is massless, and is precisely 10 degrees of freedom for the length metric. 55 00:10:48,760 --> 00:11:01,960 Johanna Borissova: plus a set of massive degrees of freedom, and these are suppressed by the inverse power of the lattice constant by the inverse lattice constant. So if you integrate out these massive degrees of freedom. 56 00:11:02,220 --> 00:11:13,980 Johanna Borissova: the result is an effective action for the length metric, and it's effective action reproduces to lowest order, but it also contains a V. By squared corrections at next order. 57 00:11:15,020 --> 00:11:22,030 Johanna Borissova: So this is an example that area metrics appear microscopically in the semi-classical regime of spin phones. 58 00:11:22,860 --> 00:11:30,790 The second piece of evidence that I would like to give you, for I metrics and and spin forms is a microscopic identification. 59 00:11:30,820 --> 00:11:44,370 Johanna Borissova: It is based on recent work of, and not just a Phd student and bianca they showed that semi classic, the semi-classical spin from the degrees of freedom can be matched to aiometric degrees of freedom. 60 00:11:45,090 --> 00:11:50,870 Johanna Borissova: So, first of all, a classical Simplex, as I just mentioned, has 10 degrees of freedom. 61 00:11:50,950 --> 00:12:00,220 Johanna Borissova: This this can be to taken to be either the 10 lengths or the 10 areas. I can see something in a jet. There's no question 62 00:12:03,830 --> 00:12:08,240 Lee Smolin: I assigned right in the extraction of the 63 00:12:08,400 --> 00:12:10,900 Lee Smolin: the the length area metric 64 00:12:11,250 --> 00:12:14,900 Johanna Borissova: to me. Do you mean the sign of the Why squared term? 65 00:12:15,230 --> 00:12:19,420 Lee Smolin: Yes, and the 66 00:12:19,600 --> 00:12:36,960 Johanna Borissova: so regarding the Einstein hover part. Yes, the other one. I think so. But this is meant to be more formally. It is just meant to say that there's a Y squared corrections, and in fact, a sign will be important later in our effective action there is a sign which is crucial to state that this action is ghostly. 67 00:12:36,960 --> 00:12:46,730 Johanna Borissova: But regarding the error reduction, I I'm: not clearly here this time. Okay, Thank you. Okay, Thank you. Okay. 68 00:12:46,940 --> 00:12:58,980 Johanna Borissova: No. A classical simplex has 10 degrees of freedom. A quantum simplex consists of the gluing of 5 quantum tetrahedra in such a way that it respects the quantum uncertainty relation. 69 00:12:59,180 --> 00:13:10,060 Johanna Borissova: So a quantum tetrahedron has 5. No 4 normals can be parameterized by 5 quantum numbers. These can be taken to be 4 areas. So 4 norms of normal lectures. 70 00:13:10,410 --> 00:13:24,420 Johanna Borissova: plus one in a product between 2 normal. So 1, 3D he triangle and the quantum uncertainty relations. They say that only the areas of the 10 triangles shed by pass of the triangle can be identified. 71 00:13:24,540 --> 00:13:29,140 Johanna Borissova: There was a consequence. A quantum simplex has 15 degrees of freedom 72 00:13:30,500 --> 00:13:41,590 Johanna Borissova: on the other hand, there's also the notion of a semi-classical or coherent or twisted simplex, in which case the 5 5 classical to where he draws together. 73 00:13:43,580 --> 00:13:44,310 Yeah. 74 00:13:44,550 --> 00:13:58,880 Johanna Borissova: So a classical tetrahedron can be time advised by 6 quantities. These are: these can be taken either 6 lengths. either the sex lengths or for areas, and to the he draw angles at not opposite edges. 75 00:13:59,150 --> 00:14:09,410 Johanna Borissova: Then the the quantum gluing in this case means that only the areas of the 10 triangles are identified. So the 10 drivers that are shared by pairs of tetrahedron. 76 00:14:09,640 --> 00:14:19,040 Johanna Borissova: So, therefore, semi-classical Simplex has 20 degrees of freedom and these can be split into 10 triangle areas plus 10 dihedra angles 77 00:14:19,050 --> 00:14:22,710 Johanna Borissova: 2 PET tetrahedron, and a non opposite touches. 78 00:14:23,520 --> 00:14:35,210 Johanna Borissova: So Hosse and Bianca, short at the 20 degrees of freedom of a semi classical Simplex can be arranged into 20 degrees of freedom for an era metric associated to to Simplex. 79 00:14:36,470 --> 00:14:41,790 Johanna Borissova: So with these 2 examples, I Okay, that's right. 80 00:14:52,740 --> 00:15:03,240 Johanna Borissova: Okay. So with these 2 examples, I've hopefully shown you that air metrics appear in a semi-classical regime of spin forms. They are pre and microscopically as well as microscopically. 81 00:15:03,650 --> 00:15:18,920 Johanna Borissova: So by the way, actually aaron metrics were introduced in the context of string theory, but they also pia and holography, and also in reconstructing geometry from entanglement. Now here we see that they also appear in a semi-classical regime of spin forms. 82 00:15:19,340 --> 00:15:34,330 Johanna Borissova: so my goal will be there, and the following to parametrize the classical extended configuration space at a continuum level in terms of error metrics, and for this I will start from the configuration variables in the Plebanski formulation of Gr. 83 00:15:34,330 --> 00:15:49,870 Johanna Borissova: which, in fact, sets the origin of spin from quantization, and which I will introduce in the next slide. And so the question will be, then can we derive the dynamics for an error metric Can we reproduce the continuum effective result of the area reg action on the lattice. 84 00:15:49,880 --> 00:15:58,340 Johanna Borissova: and can we do so by that very similar mechanism as at a quantum level but imposing classical constraints weekly. 85 00:15:59,400 --> 00:16:05,930 Johanna Borissova: So yeah, I will first remind you quickly of the formulation of gr. 86 00:16:06,210 --> 00:16:17,990 Johanna Borissova: So the Plavanski formulation in the contains. Yeah. Well it's constructive for them to have configuration in this case the B field a connection, and the lagrange multiplier. 87 00:16:18,080 --> 00:16:23,210 Johanna Borissova: So the B fields and a non-carrow version is an so 4 valued 2 form. 88 00:16:23,360 --> 00:16:39,890 Johanna Borissova: The connection is regarded as an S of 4 value to one form and 5 is a Lagrange. Multiply a feature taken to be with internal indices, and is also required to have the same algebraic symmetry as the Riemann Tensor. So it has 20 degrees of freedom of 20 components. 89 00:16:40,910 --> 00:16:44,870 So the plastic action is then, first of all the Bf. Action. 90 00:16:45,050 --> 00:16:51,390 Johanna Borissova: The B of action on itself defines a topological future with no local propagating degrees of freedom. 91 00:16:51,690 --> 00:16:58,770 Johanna Borissova: One can then also add to the host term, which, coupling constant prima, tries by the inverse Barbara in music parameters. 92 00:16:59,070 --> 00:17:10,650 Johanna Borissova: And so finally, there is this last term here which includes the Lagrange multiplier, and varying this action with respect to this, to the Lagrange multiplier imposes constraints on the b field. 93 00:17:11,000 --> 00:17:17,460 Johanna Borissova: These are the simplicity constraints, because they their solution restricts the if you to be a simple by vector 94 00:17:18,430 --> 00:17:30,790 Johanna Borissova: and in the case of so 4 there are 2 solution sectors. The first one is the gravitational sector. So plugging in this solution into the cleavans section again leads to the Palatini action for Gr. 95 00:17:31,080 --> 00:17:35,180 Johanna Borissova: Or if you include Gamma, at least to the Palatini host action for gr. 96 00:17:35,450 --> 00:17:45,270 Johanna Borissova: The second solution Sector is the topological sector. If you include, if you re-enerate this solution into the Planans section. Then you get a multiple of the horse term. 97 00:17:46,710 --> 00:18:04,680 Johanna Borissova: So now, as I said, primary simplicity constraints are first class, but quantizing the f, and imposing the primary simplicity constraints at a quantum level, they become partially second class, and therefore the and so this mechanism leads to an extended configuration space in a path integral. 98 00:18:05,030 --> 00:18:16,070 Johanna Borissova: Now I would like to do a various to look if some of we can do a similar mechanism at a classical level and suppress parts of the constraints, so i'm. Post them weekly. 99 00:18:16,110 --> 00:18:22,510 Johanna Borissova: And how how this can be done is in the framework of modified. 100 00:18:22,670 --> 00:18:34,200 Johanna Borissova: So the Pravansk action that I just introduced is the sum of the Bf. Action plus simplicity. Constraints on the B field. and the simplicity constraints are imposed by the Lagrange multiplier file. 101 00:18:35,200 --> 00:18:44,990 Johanna Borissova: on the other hand, and modified plastic theories, the simplicity constraints are replaced by a potential which is now an entire function of this field here 102 00:18:45,780 --> 00:18:54,280 Johanna Borissova: so varying the with respect to this, to this field you'll get a new term, which is the gradient of the potential. 103 00:18:55,690 --> 00:19:07,000 Johanna Borissova: So if the second variation of the potential is not singular. So the determinant of this matrix is not 0. Then you can solve this for 5 as a function of P, 104 00:19:07,070 --> 00:19:21,760 Johanna Borissova: and it re and reinserting this again into the Plavanski action, leads to a modified Plavanski action, where now the configuration variables are the B feed and the connection and the simplicity constraints on the beefield are replaced by a potential. 105 00:19:23,110 --> 00:19:33,300 Johanna Borissova: Now, from this action it is possible to integrate out a connection, so to find a solution to the compatibility equation and write the connection as a function of the B field. 106 00:19:33,420 --> 00:19:42,400 Johanna Borissova: So the result is then an effective, modified prevention. But the only configuration variable is the B field, and it is a second order action. 107 00:19:42,700 --> 00:19:49,450 Johanna Borissova: So it's important to keep in mind that this is an effective action in the sense that the connection has been integrated out. 108 00:19:50,920 --> 00:19:58,330 Johanna Borissova: So in the non degenerate case, in which case the determinant of this matrix of second variations is not 0. 109 00:19:58,540 --> 00:20:06,790 Johanna Borissova: This is seen as as just a mechanism of replacing the full full simplicity constraints, but potential for the B Fields 110 00:20:07,530 --> 00:20:18,650 Johanna Borissova: Canonical analysis showed that in the Kyo case, in which, where the algebra is su 2, there are 2 massless, propagating degrees of freedom that correspond to the graviton. 111 00:20:18,780 --> 00:20:34,410 Johanna Borissova: and so these series became known as the formations of Gr. So Jr. Is then obtained in the limit of constant potential versus taking a Ted Delta function potential just reproduces Bf: Again: so in this sense the series. 112 00:20:34,670 --> 00:20:39,120 Johanna Borissova: Yeah. Paramet. Try smoothly between the F. And Gr 113 00:20:39,890 --> 00:20:42,940 in a non-cario case the legend is so 4. 114 00:20:43,210 --> 00:20:50,020 Johanna Borissova: And in this case there are 6 degrees of freedom. More than so, this theories differs substantially from Gr. 115 00:20:51,740 --> 00:21:02,160 Johanna Borissova: Okay. Now, what happens in the degenerate case, and the case where the second variations of the potential are singular. So the determinant of this matrix is you. 116 00:21:02,630 --> 00:21:14,800 Johanna Borissova: So this case should be interpreted in a way that out of the full simplicity constraints. Only a subset of simplicity is of simplicity, constraints it's imposed sharp. 117 00:21:15,320 --> 00:21:22,560 Johanna Borissova: and these are precisely the ones in which the in which the pretend potential is constant directions. 118 00:21:22,830 --> 00:21:41,460 Johanna Borissova: The other directions, instead give rise to a potential for the rest degrees of freedom of the B field, and this potential can be taken as a suppressing potential. So you should notice this is precisely the mechanism that we are looking for, and therefore the question is, Can we use modified clebansk theories 119 00:21:41,460 --> 00:21:43,560 Johanna Borissova: to derive an area metric action. 120 00:21:45,210 --> 00:21:51,980 Johanna Borissova: So yeah. for this. I would like to first to accounting of degrees of freedom. 121 00:21:52,140 --> 00:22:00,040 Johanna Borissova: So in a non Cairo version the B field is an S. Of 4 valued 2 form. So 4 has I mentioned 6. 122 00:22:00,210 --> 00:22:04,370 Johanna Borissova: I can see something else on the shuttle. Is there a question? 123 00:22:08,470 --> 00:22:10,980 Lee Smolin: It's a common. 124 00:22:11,080 --> 00:22:14,160 Johanna Borissova: Well, yeah, the contract? 125 00:22:14,930 --> 00:22:28,390 Johanna Borissova: Yeah, Thank you for the comment. The context in which I would like to talk about this modified is really in the context of kind of versus non kyle and other additional degrees of freedom or not. 126 00:22:29,170 --> 00:22:30,590 Johanna Borissova: Okay. 127 00:22:35,760 --> 00:22:45,780 Johanna Borissova: Now, okay, as I said, s of 4 value 2 form such as this. Beef here has 36 degrees of freedom, out of which 6 are gauge degrees of freedom. 128 00:22:46,700 --> 00:22:57,540 Johanna Borissova: now imposing the 20 simplicity constraints on the beef it reduces the 36 degrees of freedom to 16 for tetrahed out of it Again, 6 are gauge degrees of freedom. 129 00:22:57,680 --> 00:23:02,240 Johanna Borissova: and therefore what you're left with at 10 degrees of freedom for the length metric. 130 00:23:03,300 --> 00:23:17,340 Johanna Borissova: but we would not like to end up with an a length metric. We would like to end up with an error metric which has 20 degrees of freedom. So the question is, we have to impose only 10 simplicity constraints, and which subset, should we impose. 131 00:23:17,560 --> 00:23:25,600 Johanna Borissova: And so to answer this question, to identify such a suitable subset. we use the parametrization of the B field, which is as follows. 132 00:23:25,910 --> 00:23:36,550 Johanna Borissova: So first of all, the so, for the algebra is isomorphic to the direct sum of 2 su tools, and this isomorphism is provided by projectors. 133 00:23:36,710 --> 00:23:43,500 Johanna Borissova: and says that the S. O. 4 value. 2 form can be parametrized by 2 S. U. 2 valued 2 forms. 134 00:23:43,990 --> 00:23:56,970 Johanna Borissova: and which I just as you to be fields. So further, one can then parameterize each of these su 2 be fields, using the band K Theorem in terms of a of 4 D. Metrics. 135 00:23:57,050 --> 00:24:13,470 Johanna Borissova: so 140 metric for each s to be fuel, plus a a matrix of 3 by 3 scalars, which is sunni modular. So, in fact, these are only 8 degrees of freedom here, and therefore 10 plus 8, gives 18 degrees of freedom for an su 2 valued 2 form. 136 00:24:14,370 --> 00:24:35,540 Johanna Borissova: This parametrization was introduced by law, or in the context of modified gravity theories with no more propagating degrees of freedom. So specifically, how does this parametrization look like? First of all, he's Sigma out of plavanski 2 forms. They are self, an anti software, and they in quota 2 space time metrics in each sector. 137 00:24:36,150 --> 00:24:42,280 Johanna Borissova: And then these plabans keep so 2 forms. They are rotated by means of the B fields. 138 00:24:42,310 --> 00:24:48,370 Johanna Borissova: and it'll be fields themselves. They define you new modular, internal metrics in this way. 139 00:24:49,320 --> 00:24:58,060 Johanna Borissova: so that, and summary the 36 degrees of freedom of the B fields can we split into the degrees of freedom of 2 length metrics. 140 00:24:58,180 --> 00:25:02,160 Johanna Borissova: plus a set of 2 times 8 spacetime scalars. 141 00:25:03,180 --> 00:25:19,310 Johanna Borissova: and as as a consequence of the split, the effective, modified Clemenski action ends up, being the sum of 2 effective Pf. Actions, one for each sector, and also remember again, this is the effective P. Of action. Well, the connection has been integrated out 142 00:25:19,630 --> 00:25:21,320 Johanna Borissova: plus the potential term. 143 00:25:23,540 --> 00:25:33,800 Johanna Borissova: Okay. Now, still we Haven't answered the question of which subset should be imposed, such that we can reduce the degrees of freedom after be field to 20 for an area metric. 144 00:25:35,770 --> 00:25:51,540 Johanna Borissova: So how to proceed. We define a cyclic left and right-handed area metrics for each sector. These are just given by the tensor product of 2 B fields, and then we subtract off the totally antisymmetric parts. So that these are indeed cyclic. 145 00:25:52,180 --> 00:26:03,700 Johanna Borissova: It turns out that imposing that these 2 left and right-handed analytics are the same it's equivalent to imposing the 20 simplicity constraints, as was shown by rising barrier. 146 00:26:03,720 --> 00:26:06,310 Johanna Borissova: So this case leads to gr again. 147 00:26:07,450 --> 00:26:21,840 Johanna Borissova: On the other hand, Simona invested the case where the internal metrics are frozen, so they are required to be just. Flat Metrics just corresponds to imposing the Via part of the simplicity constraints. 148 00:26:22,070 --> 00:26:24,730 Johanna Borissova: and at least a biometric theory of gravity. 149 00:26:24,960 --> 00:26:39,820 Johanna Borissova: The just suffers from the same problems as usual by metric theories, so it is unstable in the sense that it propagates, in addition to the masses, Graviton, also a massive spin, 2 particle and a go in a scalar mode, which is a ghost mode. 150 00:26:40,950 --> 00:26:58,440 Johanna Borissova: So, by contrast, what we did is to impose the other part of the simplicity constraints this. This corresponds to the trace part of the lagrange multiplier and importantly, what we did is to set the E left and right hand at length metric geometries to be equal. 151 00:26:59,140 --> 00:27:10,790 Johanna Borissova: so the results for the action is then, and so we we get, then, an action in which the configuration variables are a length metric and 2 internal metrics. 152 00:27:11,200 --> 00:27:21,750 Johanna Borissova: and we view this as an area metric action for the error metrics defined by the sum of the left and right 10 of the metrics. So this a metric is primarily by 153 00:27:21,840 --> 00:27:30,160 Johanna Borissova: by a length metric and 2 internal metrics, and this is also how the split goes. So with this we can fill in the diagram that I showed you before 154 00:27:30,230 --> 00:27:42,920 Johanna Borissova: did 20 degrees of freedom for the length metric split into 10 spacetime scalars plus 10 degrees of freedom for the length metric which actually coincides with the 155 00:27:45,470 --> 00:27:46,330 Johanna Borissova: Okay. 156 00:27:47,710 --> 00:27:58,520 Johanna Borissova: So yeah. But to be able to really claim that this is an area metric action. It would be good if we can invert the relation so that we can write down the 157 00:27:58,790 --> 00:28:10,790 Johanna Borissova: linked an internal metrics in terms of the I metric. So this would mean solving 20 polynomial equations, and it is very likely that an explicit solution cannot be stated. 158 00:28:10,990 --> 00:28:22,850 Johanna Borissova: Therefore, what we did is to invert this relation perturbatively in a flat background. Expansion. So in the following the length metric perturbations are denoted by H. 159 00:28:23,020 --> 00:28:27,850 Johanna Borissova: And the internal metric perturbations are denoted by Kai. These sky fields. 160 00:28:28,130 --> 00:28:33,670 Johanna Borissova: that, traceless because of the unimodularity condition of these on these internal metrics. 161 00:28:34,410 --> 00:28:44,610 Johanna Borissova: So, as a result of this decomposition, the area metric takes the following form: so it's first of all, given by a part that is induced by a flat like length metric. 162 00:28:45,030 --> 00:28:55,520 Johanna Borissova: and then it has first order, corrections, these first order corrections. They can be decomposed into contributions that are sourced by perturbations of the length, metric 163 00:28:55,740 --> 00:29:13,660 Johanna Borissova: and contributions data that are coming from perturbations of the internal metrics. So this is just a linear relationship. It can be inverted explicitly. So we are able to write down H and the Kai Fields as functions of the area metric perturbations. 164 00:29:14,450 --> 00:29:22,810 Johanna Borissova: Therefore, in this approximation we can really write down an action in which the fundamental variable is the area I metric. 165 00:29:24,300 --> 00:29:33,910 Johanna Borissova: Now, again, it takes the form of the sum of 2 effective Pfx actions, but now linearize, so on the fields a PC. Only quadratically 166 00:29:34,330 --> 00:29:47,340 Johanna Borissova: plus a potential, and I will only consider the case of potential for the Kai fields. And, in fact, I will look at the most simplest potential that can be chosen, which is just adding mass to the high fields. 167 00:29:48,630 --> 00:30:06,390 Johanna Borissova: So some effective, modified plan that cleans the action which we view as an area. Metric action is then obtained in the following way: so first of all, it contains for each sector a part which is given by the Einstein Herbert action for the some of these fields. 168 00:30:06,390 --> 00:30:18,060 Johanna Borissova: so the Einstein Herbert action is constructed with a kinetic operator, which just given by the party fits operator. This operator contains the spin 0 and spin 2 projectors 169 00:30:19,120 --> 00:30:36,140 Johanna Borissova: so noted here the Kai fields come with space-time indices, and they obtain from the Ki fields with internal indices by an isometric embedding, so the embedding as such that the symmetric trace less wrong. 2 tensors on su 2 170 00:30:36,140 --> 00:30:43,810 Johanna Borissova: are embedded into the symmetric traces around 2 tensors on space time in such a way that this condition here holds. 171 00:30:43,950 --> 00:30:57,170 Johanna Borissova: and the kind of new fields they are also transfers. So yeah, not also that this redefinition here is actually slightly non-local, because it contains the inverse of the Laplacian operator. 172 00:30:58,310 --> 00:31:04,010 Johanna Borissova: So the action that we have is therefore, first of all the sum of Einstein. How about part 173 00:31:04,080 --> 00:31:10,840 Johanna Borissova: for for the some of these feuds? And then there is this mass, then there are these. 174 00:31:12,180 --> 00:31:21,210 Johanna Borissova: So, as a consequence of this redefinition, it is immediate to see that this action is environment under linearized different offices. 175 00:31:21,760 --> 00:31:34,280 Johanna Borissova: But then, also, if you don't have these mass terms, and look just as a. At a single sector. Then this is just P. F. Theory, and it contains a remnant of the Pf shift symmetry which is linearized. 176 00:31:34,280 --> 00:31:42,940 Johanna Borissova: If you also now include the second sector and set the length metrics equal to be equal, then the linearize the f shift symmetries 177 00:31:43,150 --> 00:31:49,860 Johanna Borissova: which are separate for each sector. They combine into a single one for for this entire combination here. 178 00:31:50,470 --> 00:31:58,780 Johanna Borissova: But now, as soon as you are at the mass terms, they break the Pf. Shift symmetry, and this leads to propagating degrees of freedom. 179 00:31:59,960 --> 00:32:14,660 Johanna Borissova: So in the Cairo version there's only one Se. To a present, and then it's a to see that you can, just to a redefinition of the metric perturbations. So just to shift this feature by by the Kai Fields. 180 00:32:14,960 --> 00:32:28,410 Johanna Borissova: So in this case the Chi fields will just satisfy auxiliary equations of motion. They can be integrated out, and therefore the result is just to understand her. But action linearized for the shifted graviton field. 181 00:32:29,050 --> 00:32:41,680 Johanna Borissova: But not that. As I said, these kind of new fields, so it's based on indices. They are obtained from the high Ap. Ones by a non local transformation. So this future definition is actually not local. 182 00:32:42,320 --> 00:32:58,490 Johanna Borissova: but nevertheless it shows, or it explains why, at the linearized level. So it explains that the linearized level why these series propagate only 2 degrees of freedom, which was later also confirmed by canonical analysis at a nonlinear level. 183 00:32:59,950 --> 00:33:12,020 Johanna Borissova: Now, in the non Cairo case it is not so clear how which type of degrees of freedom are propagated. In particular. There is no canonical analysis available for these series. 184 00:33:12,120 --> 00:33:21,900 Johanna Borissova: But nevertheless, what one can do is to integrate out to Kai Fields and this approximation, and to look at the effective action for the length metric. 185 00:33:22,170 --> 00:33:29,880 Johanna Borissova: and in particular, look at the propagator structure, which can provide some hints whether one should expect additional degrees of freedom or not. 186 00:33:31,330 --> 00:33:40,780 Johanna Borissova: So this is what we did. We integrated out to Kai Fields. The result here is shown in fourier space for simplicity. 187 00:33:40,820 --> 00:33:48,840 Johanna Borissova: And yeah, this is the final effective action for the length metric perturbations. So there are 3 important points to note you. 188 00:33:49,180 --> 00:33:56,570 Johanna Borissova: The first of the first one is that the action recovers the Einstein. How about action linearized to lowest order. 189 00:33:57,520 --> 00:34:15,929 Johanna Borissova: but then it also contains a full tower of corrections which are quoted in the by tensor, the non-local. So the kinetic opera of the operator is going by such a term half for each sector, and also there goes free in the case, and which the masses are taken to be equal. 190 00:34:16,260 --> 00:34:20,739 Johanna Borissova: So this is interesting, because if we we would have only device where 191 00:34:20,770 --> 00:34:29,909 Johanna Borissova: part, then this would just be similar to quadratic gravity. You might know that you may know that quadratic gravity is unstable. It propagates course modes. 192 00:34:30,460 --> 00:34:34,070 Johanna Borissova: But this is not the case in our situation. 193 00:34:35,070 --> 00:34:46,730 Johanna Borissova: Now also, the third important point is to note that to lowest order the correction terms are just the squared by tensor, and therefore we do reproduce the 194 00:34:46,800 --> 00:34:54,850 Johanna Borissova: the result of the area that you action in the hyper cubic lattice expansion and in the limit, and which the that is constant case to 0. 195 00:34:57,120 --> 00:35:06,100 Johanna Borissova: Okay, now, so this is the part on the length, metric degrees of freedom contained in the error metric and the error metric. 196 00:35:06,320 --> 00:35:15,660 Johanna Borissova: I would also finally like to look at the non metric degrees of freedom in a area metric, and explain to you what they could mean geometrically. 197 00:35:16,320 --> 00:35:28,270 Johanna Borissova: And for this I will look at the onshare connection. the Ontario connection. It's just defined to be the solution of the Gauss law, which is obtained by varying the with respect to the connection. 198 00:35:29,350 --> 00:35:42,710 Johanna Borissova: the Gauss law splits into 2 independent Su 2 Gaussian. And yeah. These are just given in terms of the projections of this, of the connection on the left and right hand, etc. 199 00:35:43,750 --> 00:35:51,590 Johanna Borissova: So the goal is therefore, to solve this compatibility equation for omega plus minus as a function of the B field. 200 00:35:51,610 --> 00:35:55,370 Johanna Borissova: but actually as a function of the parametrization of the beefield. 201 00:35:55,710 --> 00:36:04,900 Johanna Borissova: and in doing this there are 2 equivalent perspectives. The first one was introduced by, and his in the context of modified quality theories. 202 00:36:05,800 --> 00:36:16,410 Johanna Borissova: The way this proceeds is by defining a new connection out of the connection of Cleveland ski to for a plan in a cleavansky formulation. 203 00:36:16,450 --> 00:36:22,980 Johanna Borissova: This new connection is just obtained by transforming the connection via the B Fields. 204 00:36:23,330 --> 00:36:30,380 Johanna Borissova: and one can then compute the exterior covariant derivative of this connection, acting on the plans key to forms. 205 00:36:30,570 --> 00:36:36,080 Johanna Borissova: And yeah, what you will find is that this is your own. So the interpretation of this 206 00:36:36,160 --> 00:36:42,470 Johanna Borissova: is that disconnection is torsion-free. I can see another question. 207 00:36:44,290 --> 00:36:48,790 Johanna Borissova: Would it be possible to define a notion of compatible connection for the aerometric? 208 00:36:51,420 --> 00:37:00,770 Johanna Borissova: Yeah. So this is a very interesting question indeed. This is a way to go. Shula and his original paper has provided some attempts for this. 209 00:37:01,010 --> 00:37:14,990 Johanna Borissova: but, as far as I know, there's no settled, every metric, compatible connection; and, in fact. This is, I I think, 1 one open key open problem to do a and a continuum as well as in a discrete. 210 00:37:16,110 --> 00:37:19,320 Johanna Borissova: I hope this answers the question. I can comment more on this later. 211 00:37:20,780 --> 00:37:21,930 Johanna Borissova: Oh, okay. 212 00:37:30,030 --> 00:37:43,790 Johanna Borissova: okay. So as I said, this connection, here is a transformed one. And this condition, that exterior covariant derivative of this connection, acting on a Plavansky to from vanishes, is interpreted as the connection, being tors and free. 213 00:37:44,820 --> 00:37:56,750 Johanna Borissova: At the same time, the exterior covariant, or derivative of this connection, acting on the internal metrics is 0, and the effort cannot preserve the data metrics. So in this sense this connection is not metric. 214 00:37:57,860 --> 00:38:09,620 Johanna Borissova: Now, on the other hand, it's possible to just not do this transformation. And look what happens, using the original configuration variable. So the original connection of. 215 00:38:10,160 --> 00:38:22,440 Johanna Borissova: and what what one will see is that the exterior, covariant derivative of this connection, acting on a plastic 2 forms, is not 0, and it's not 0 because the scale of our present. 216 00:38:22,880 --> 00:38:25,150 Johanna Borissova: So this says that 217 00:38:25,450 --> 00:38:35,030 Johanna Borissova: connection that is actually contained in a while. At the same time it preserves the data met. Again. The effort is metric. 218 00:38:35,550 --> 00:38:41,630 Johanna Borissova: So therefore, the upshot is the non-metric degrees of freedom of the area metrics source torsion. 219 00:38:43,090 --> 00:38:51,870 Johanna Borissova: Okay. So with this, I would like to give you you the summary and some prospects where one could go from here on. 220 00:38:52,410 --> 00:39:00,500 Johanna Borissova: Okay, First of all, I explained to you that the spin from from parts to go is defined on an extended configuration space. 221 00:39:00,740 --> 00:39:14,330 Johanna Borissova: This extended configuration. Space can be parameterized, semi classically by area metrics, and hence for this the continuum limit of the error at the action on the lattice, and also the geometry of a twisted simplex. 222 00:39:15,210 --> 00:39:23,050 Johanna Borissova: It turns out that the continuum effective dynamics of spin forms can be reproduced by modified non kara plabansk theories. 223 00:39:23,380 --> 00:39:38,890 Johanna Borissova: and they are these not modified non-cari plans to theories are taken such that the area metric is the configuration variable. So the way this is obtained is by reducing the degrees of freedom of the bfield to the ones of an error metric. 224 00:39:38,940 --> 00:39:46,340 Johanna Borissova: and this is done in a way that left and right-handed geometries length. Metric geometries are required to be equal. 225 00:39:46,350 --> 00:39:53,090 Johanna Borissova: This imposes. Half of the simplicity constraints the other half of the simplicity constraints is replaced by a potential. 226 00:39:54,270 --> 00:40:04,990 Johanna Borissova: and so, as a consequence, the degrees of freedom of the error, metrics split into a part for length, metric plus scalars which can be interpreted as sourcing torsion. 227 00:40:06,300 --> 00:40:18,900 Johanna Borissova: Yeah. So the the other final result was that the effective action for the length metric reproduces, and then it contains a vice-president, non local ghost fee correction. 228 00:40:20,100 --> 00:40:34,490 Johanna Borissova: So I would like to argue that once we have such an effective action. We can do phenomenology with us so interesting questions to ask would be, what are corrections to the Newton potential, or to Black Hole entropy, or actually, are there any corrections? 229 00:40:34,520 --> 00:40:42,950 Johanna Borissova: What can we say about black holes in these series? First of all, we would have Einstein by gravity to lowest order. But what happens beyond? 230 00:40:43,170 --> 00:40:51,770 Johanna Borissova: Can we constrain the scale of masses, theoretically and observationally. Can this be also a constraint on the barbarian music problem? 231 00:40:53,010 --> 00:41:06,860 Johanna Borissova: Yeah. So conceptual questions can we recover full nonlinear gr within this framework. and for this it may be, it may be necessary to use another parameterization of to be fields. 232 00:41:07,530 --> 00:41:22,000 Johanna Borissova: Another conceptual question is to do a canonic accounting at a nonlinear level to see if we should expect additional degrees of freedom or not. Also another question is to to what happens if we choose different potentials 233 00:41:22,830 --> 00:41:41,750 Johanna Borissova: it on the fundamental sites or directions to go, is first of all constructing aerometric geometry. So for this one as to define an aerometric combat compatible connection, and once this is done, one can construct all types of curvature, 2 and 10 to and so on. 234 00:41:41,770 --> 00:41:50,650 Johanna Borissova: This has to be done in a continuum in in a discrete. So I think this was also what Tank was referring to it as an interesting direction to go. 235 00:41:51,130 --> 00:42:10,070 Johanna Borissova: Hmm. Yeah. So out of these I would like to mention 2 more points. The first one is, Can we? Is it possible to derive the Black Hole Entropy law, in the language of a metrics, so do I. Metric variables in the sense, provide a more natural parametrizational, more natural derivation for this 236 00:42:10,450 --> 00:42:24,730 Johanna Borissova: and the other part is that I would like I would be interested in is, Can we use the scale up potential, or can we interpret it? The scale up potential as the dynamical or emergent cosmological constant. 237 00:42:24,920 --> 00:42:44,540 Johanna Borissova: Here it appears that they had a fundamental differences between the Cairo and the non-ciral version and the Kyle version. One can use another parameterization for a. B field where one splits off a Plavanski to form for another metric, and then a set of a set of deviations. From this Plebanski to form. 238 00:42:44,870 --> 00:43:13,840 Johanna Borissova: One can then show that this modified Plavansky theories in the Kyle version does really lead to gr to full gr plus the potential term for the scale of it, and in this sense solving the equations of motion for the skate of you, it's just a state that the scale of you' at a minimum of the potential, and after this minimum of the potential could be a cosmological constant. But this appears to be a mechanism a priori defined only for the Kyle part. 239 00:43:13,840 --> 00:43:17,880 Johanna Borissova: It is not clear whether this persist also to the non Kyle version. 240 00:43:19,000 --> 00:43:25,780 Johanna Borissova: Yeah. So with this I would like to finish my talk. Thank you for the attention. and I'm happy to take questions. 241 00:43:35,510 --> 00:43:41,320 Ivan Agullo: and and I had to believe, and so I he left me in charge of the questions. 242 00:43:41,880 --> 00:43:52,370 Ivan Agullo: So thank you, Johanna, for being perfectly on time. That was very nice. So it's time for questions. The pack, as you know. You can go ahead. 243 00:43:53,560 --> 00:44:01,890 Deepak Vaid: Hi, Joanna, I don't know His horror is still around. Just wanted to wish him a very related happy good day, or very happy. 244 00:44:02,280 --> 00:44:06,480 Ivan Agullo: I I don't think it's around, but they will. I will pass the message. 245 00:44:07,860 --> 00:44:17,390 Deepak Vaid: So, Johanna. I I joined like 5 min late. I think so. Maybe I missed the definition of what an area metric is that's the first name. 246 00:44:17,650 --> 00:44:28,610 Deepak Vaid: And so if you wouldn't mind going over that, and the second is second call, my question is that where does it appear in string should be? And in what way, if you could elaborate on that? 247 00:44:29,990 --> 00:44:33,660 Johanna Borissova: Yeah. So an error metric is. 248 00:44:33,980 --> 00:44:37,600 Johanna Borissova: can be viewed as a metric, for by vectors 249 00:44:37,680 --> 00:44:54,270 Johanna Borissova: so similar. When you have a metric, it defines an inner product between 2 vectors and a metric to find some in a product between 2 by vectors, and these by vectors. They are constructed with the vet product of vectors and these vectors that the tangent space at this point. 250 00:44:54,310 --> 00:44:55,330 Johanna Borissova: so 251 00:44:55,400 --> 00:45:14,280 Johanna Borissova: The intuitive way to see this is that the inner product defined by this area metric provides some measure for areas of parallel parallelograms and dyhedra angles between planes. So this is just going one dimension higher, if you want compared to the length metric which measures length and 2D angles. 252 00:45:16,770 --> 00:45:20,530 Deepak Vaid: Okay, and so is is it 253 00:45:20,600 --> 00:45:25,930 Deepak Vaid: isn't it possible to like Recast the I 10 Hilbert action in terms of the Api metric? 254 00:45:26,700 --> 00:45:28,660 Deepak Vaid: Is it? Is it possible to do that? 255 00:45:28,730 --> 00:45:46,720 Johanna Borissova: It is possible at the linearized level, as I showed, because the the linearized level, the relation between aerometric perturbations and length, metric perturbations is just linear so you can solve the linu. You can express the Linux the perturbations of the length metric in terms of the aerometric perturbations. 256 00:45:46,970 --> 00:45:59,380 Johanna Borissova: but at a nonlinear level this would mean to solve but 20 polynomial equations to invert them explicitly, and we've not been able to do this. It would be nice if if this would be possible, but we haven't done it. 257 00:46:01,460 --> 00:46:06,100 Deepak Vaid: So this is. This is a completely different theory from Gr, which is based on 258 00:46:06,240 --> 00:46:08,100 Deepak Vaid: the usual length metric. 259 00:46:08,880 --> 00:46:12,980 Deepak Vaid: Okay, I mean, because if you cannot. if you don't have that. 260 00:46:12,990 --> 00:46:15,080 Deepak Vaid: if you can't go from one to the other. 261 00:46:19,660 --> 00:46:37,870 Johanna Borissova: it is different in the sense that I explained error, metrics, and for D have many more degrees of freedom than length metrics. But nevertheless, we've been able to identify a subset of these degrees of freedom which gives you a length metric, and the effective action for this link metric ends up recovering. Gr. 262 00:46:38,110 --> 00:46:54,840 Johanna Borissova: So in in this sense it is consistent with Gr. At low energies, but these degrees of freedom that are in addition, they are suppressed by a by a mass which is actually the plank mass, and therefore they expected to only modify higher energy or gi at time energies. 263 00:46:56,480 --> 00:47:04,770 Deepak Vaid: Okay, what is the intuitive? I mean justification for using an area metric as opposed to let me I mean, like, Why does it make more physical, then 264 00:47:05,470 --> 00:47:24,600 Johanna Borissova: the intuition that I've been trying to give you is comes from spin phones in a semi-classical regime. So first of all, the fact that we know that the allergy action appears in the semi-classical regime, and putting this on a laptop, taking the last continuum limit. It gives 265 00:47:24,740 --> 00:47:32,360 Johanna Borissova: a continuum effective action for on aerometric. So this somehow shows that iometrics do appear in a semi classical limit of spin forms. 266 00:47:32,530 --> 00:47:54,400 Johanna Borissova: Now, this is a microscopic microscopic example. So this air metric was associated with the hyper cube, but also there are hints that and metrics appear in spin forms already at a very microscopic level. And this was what I was trying to show in this slide. So you can associate an area metric to the degrees of freedom, of a semi, classical, simplex. 267 00:47:54,990 --> 00:48:10,040 Johanna Borissova: and and a much more, much more straightforward way to say, I would say that every variables are are the fundamental variables. And so it might be interesting to look at in a metrics already from this perspective. This perspective. 268 00:48:12,040 --> 00:48:13,470 Ivan Agullo: Thanks. Thanks so much 269 00:48:14,810 --> 00:48:21,790 Ivan Agullo: that that that that was where? CPU for question. That that's fine and more questions. 270 00:48:22,090 --> 00:48:26,200 Ivan Agullo: No problem. Oh, yeah, go ahead. So 271 00:48:28,640 --> 00:48:39,350 Ivan Agullo: So I see that the let's see the first correction in the curvature that you have is that a while square that you can find to be because free? If there is this equal equality on the mass that you were showing. 272 00:48:39,490 --> 00:48:46,250 Ivan Agullo: Yeah, but normally, I guess you would expect high order corrections if you, if you go beyond in both equations. 273 00:48:48,480 --> 00:48:50,640 Ivan Agullo: so is that the case? 274 00:48:51,650 --> 00:48:52,780 Ivan Agullo: Would you expect them? 275 00:48:53,160 --> 00:49:00,820 Johanna Borissova: Yeah. So first of all, we have not gone to a higher corrections. I think the what is interesting about is that 276 00:49:00,820 --> 00:49:18,980 Johanna Borissova: formally, you would expect also additional operators coming with a similar kinetic term. But that's not the case. We only get the Y squared part, and the reason for this comes really from the decomposition of the error metric in terms of irreducible components. So the length metric is contained in the traces of this area metric. 277 00:49:19,020 --> 00:49:27,010 Johanna Borissova: There's so via parts that i'm a twice but a scalar degrees of freedom, and therefore we only get divide to my part. 278 00:49:27,260 --> 00:49:41,240 Ivan Agullo: Okay. So I mean that my question is, if you expect, or in the case, you expect higher the corrections. Would you expect that this both screen is going to to be able to be realized somehow, because I would. I would expect that at some point 279 00:49:41,980 --> 00:49:44,660 Ivan Agullo: higher the correction will be reinforced them. Right? 280 00:49:45,810 --> 00:50:05,660 Johanna Borissova: Yeah. So actually, here in this case, first of all, this coefficient of one fault is important, and also setting the masses equal is important. This is what gives us ghost freedom here. It's very non-trivial. I'm not able to say if going beyond this approximation scheme we were to recover or we would stay in goes free. 281 00:50:06,080 --> 00:50:07,100 Johanna Borissova: But yeah. 282 00:50:08,020 --> 00:50:10,140 Ivan Agullo: you want to add something. 283 00:50:13,870 --> 00:50:16,550 Ivan Agullo: Yeah, I can raise the hand for a second. 284 00:50:16,610 --> 00:50:31,440 Bianca Dittrich: So so sorry. Yeah, I think you have provided a a good explanation from this, from the structure of the complications at this level one would not necessarily expect higher order, curvature corrections. 285 00:50:32,510 --> 00:50:45,390 Bianca Dittrich: but it's it's basically only catching the effect of having an area. Matrix. So then, it's important to do it to nonlinear order. That would be interesting to see. 286 00:50:49,780 --> 00:50:52,070 Ivan Agullo: Thank you. What's your 287 00:50:53,310 --> 00:51:09,610 Western: nice presentation? Very clear. I have 2 questions which are maybe the same question related, and the on the basics on the fundamental here. The second is a key one. But first, maybe the first I have to clarify what I mean with a second. So 288 00:51:09,730 --> 00:51:11,900 Western: the first question is 289 00:51:11,920 --> 00:51:22,010 Western: you You'll be talking as as it was the same thing. low low energy and the classical limit. 290 00:51:22,610 --> 00:51:25,670 Western: If If I separate this, so 291 00:51:25,680 --> 00:51:27,620 Western: I take each part to 0. 292 00:51:27,700 --> 00:51:42,930 Western: I I I can still look at the result in theory with high energy or no energy. I mean it might be wrong at high energy, physically wrong, but it's a so I just wanted to clear. Be clear here. When you talk about 293 00:51:43,290 --> 00:51:52,400 Western: going away from from the low energy you mean going to quantum theory, right? The quantum effects is that do I understand correctly. 294 00:51:52,530 --> 00:51:55,840 Western: and and the second question which is related to that 295 00:51:56,320 --> 00:52:05,180 Western: it it has to do with the with, the overall logic of all this story do do we have another example 296 00:52:05,390 --> 00:52:12,430 Western: in which the sort of the the effective. 297 00:52:12,850 --> 00:52:20,730 Western: an effective approximation to the quantum theory has more degrees of freedom than the classical theory. 298 00:52:20,840 --> 00:52:30,500 Western: So do we have another? Do you have in mind that at a model typical something simple, in which, going to the quantum theory, you have more degrees of freedom than the classical theory 299 00:52:31,850 --> 00:52:36,290 Western: that would that would help me understand that the overall logic of this story? 300 00:52:39,120 --> 00:52:42,470 Johanna Borissova: Yeah. So to answer your first question. 301 00:52:42,590 --> 00:52:53,340 Johanna Borissova: the split between low and and and high energy degrees of freedom, as really just saying that okay, semi, classically, we can parameterize this configuration space in terms of area metrics. 302 00:52:53,400 --> 00:53:12,290 Johanna Borissova: But this area metrics have additional degrees of freedom which are an online metric. These degrees of freedom are suppressed by a mass given by the plank mass. So in this sense we have to explain why why Don't, we see these scalars at low energies, and the the reason for this is because these are quantum, they are really suppressed by the plank mass. 303 00:53:12,710 --> 00:53:22,050 Johanna Borissova: So definitely, yeah, the the correction or the the influence they have is contain, and these terms here and we don't see them at low energies. 304 00:53:22,400 --> 00:53:25,060 Western: So this is the of freedom which are 305 00:53:25,080 --> 00:53:34,390 Western: not existing the classical limit, so it's good. I got it so now, now, to the second question, do we do? We have? Can Can you give me 306 00:53:34,950 --> 00:53:46,690 Western: an example in which, whatever physics you want You've You've We have this phenomenon that the decrease of we do so to semi-classical. We want to use the freedom that disappear in the classical limit. 307 00:53:48,270 --> 00:54:00,970 Johanna Borissova: I would say this is very similar to the thinking of effective, where at low energies you integrate all all massive fields, and you end up with only the degrees of freedom that are relevant, and this region 308 00:54:01,440 --> 00:54:03,270 Western: it's. It's similar to what 309 00:54:03,340 --> 00:54:18,020 Johanna Borissova: similar to the effect of you. I think this is also the reason why I find this remarkable is because it shows that I could use also compatible it. Effect of you to you, Don't. You don't have more. 310 00:54:20,190 --> 00:54:21,760 Western: The classical 311 00:54:23,910 --> 00:54:25,070 Western: it's 312 00:54:25,240 --> 00:54:29,590 Western: has all the degrees of freedom. About arbitrary energy is that 313 00:54:29,750 --> 00:54:33,810 Western: understand that the dynamics is modified by integrating 314 00:54:35,190 --> 00:54:41,910 Western: the high-frequency modes changes the dynamic. But doesn't change the number of the the kind of degrees of freedom 315 00:54:43,740 --> 00:54:50,910 Lee Smolin: Who not your Hannah, might refer to higher derivatives, which you might count as more degrees of people. 316 00:54:51,270 --> 00:54:54,280 Lee Smolin: But you also could Just look at Qcd. 317 00:54:54,640 --> 00:55:02,720 Lee Smolin: And Qcd. Is meant to replace theories with have no local degrees of freedom by to local degrees of freedom. 318 00:55:02,950 --> 00:55:05,280 Lee Smolin: That's exactly the point of. 319 00:55:06,090 --> 00:55:12,870 Bianca Dittrich: But yeah, Carl, I think we can easily come up with this. Such examples, because, as your Hannah explained. 320 00:55:13,290 --> 00:55:24,220 Bianca Dittrich: it comes from example, it's there's a second class constraints are anomalous. so we can construct such easy. For example, it's for it. 321 00:55:28,190 --> 00:55:29,290 Western: Okay. 322 00:55:29,940 --> 00:55:40,920 Bianca Dittrich: that that will be a health care aside what's going on here? Because it's that that comes from the phones a normally, which which is 323 00:55:42,920 --> 00:55:45,560 Western: but but that's specifically for 324 00:55:46,190 --> 00:55:54,200 Western: so that are there. So you say there are. There are simple examples in this which happen in which the 325 00:55:55,100 --> 00:56:06,050 Bianca Dittrich: yeah, we we can just make up examples where they are. The you have classically constraints, but the quantum on quantum mechanically. Do not compute. 326 00:56:08,390 --> 00:56:13,630 Bianca Dittrich: I mean, you can just take the same structure, but do it quantum mechanically or 327 00:56:15,280 --> 00:56:23,630 Western: okay. I just would like to see them that would help me understand the logic of the creation of degrees of freedom quantum mechanically. 328 00:56:23,910 --> 00:56:33,400 Bianca Dittrich: But so yeah, I mean ex and and my, there's article. There. There are articles on second class constraint quantizations. 329 00:56:33,560 --> 00:56:41,060 Bianca Dittrich: This the J. On loose. So it's. Basically Take any. Take any example where you you have 330 00:56:42,140 --> 00:56:47,770 Bianca Dittrich: second class constraints. but you'll post weekly, and you will get the sympathy effect. 331 00:56:49,510 --> 00:56:50,520 Western: Okay. 332 00:56:52,240 --> 00:56:58,290 Ivan Agullo: but we can. We can think of if I cannot explain something to the discussion. So, first of all. 333 00:56:58,330 --> 00:57:12,840 Ivan Agullo: I might be wrong, but I wouldn't understand these as we go into the classic of limits and we degrees of freedom. It's really going beyond some energy scale when you just don't see them providing any more, or in the same sense. And then you can see the W. Poses at low energies, and you just see a conference 30 interaction. 334 00:57:12,990 --> 00:57:19,180 Ivan Agullo: So, as I was saying, it's very. 335 00:57:19,230 --> 00:57:35,190 Ivan Agullo: and then an example of theory with would have let's say more like this of 51. There's higher energies. You can think of it as general if you think of into the quantum corrections. This was done by and 336 00:57:35,250 --> 00:57:54,870 Ivan Agullo: and maybe more people in the nineties. And then you've been an effective theory with higher order. Curvature terms. You'll propagate more degrees of freedom above the plan Mass. But of course you don't trust the C. Or you on the up of the plan. Mass. Right? So it's known that the theory probably goes. But if you go below this mass they don't show, and to me this is very similar to what's happening here. 337 00:57:54,870 --> 00:58:00,000 Ivan Agullo: And again I don't see that this is going to a traffic, but just go into some 338 00:58:00,180 --> 00:58:14,930 Ivan Agullo: energy scale, which is way below the masks of the in the use of frequency. They don't properly. But of course, if the theory is not to be complete, then you will never be able to see the effect of the provocation of these years of freedom, because whenever they will start promoting the theory, it breaks down 339 00:58:14,930 --> 00:58:23,300 Ivan Agullo: right. But it is the way I I understood this, and I don't know if if that was clear for everybody, or or maybe I just don't get it as 340 00:58:26,590 --> 00:58:30,920 Western: but yeah, but that's that's why I asked the first question before. 341 00:58:31,090 --> 00:58:41,110 Western: Of course we we used to case in classical physics. Well, you you the the some degrees of freedom which sort of a frozen 342 00:58:41,180 --> 00:58:58,400 Western: at the high energy and and the low low energy, and then and I mean, if you think of Fermi theory, I mean, of course, the the theory doesn't have the the gauge of freedom. But these are 2 classical theories, the one with the in which for me it's interact directly. 343 00:58:58,550 --> 00:59:05,730 Western: and the one with the with the young meals theory. These are not created by the quantization. It's just 2 different theories. 344 00:59:06,060 --> 00:59:17,280 Western: So my my my first question was to understand which one which for a dig My, is it? It's here. So you're giving me the opposite answer to the one Johanna gave me a moment ago. 345 00:59:21,820 --> 00:59:38,270 Ivan Agullo: I will not say that the furniture is not. It's a classical figure. You can. You can't. You can't get some corrections. They will break down at the at the but below that you can Con. Give them to corrections to the, to the classic election, and they will they will. 346 00:59:39,490 --> 00:59:43,940 Bianca Dittrich: I think. I think the answer is indeed, in general. 347 00:59:45,740 --> 00:59:54,850 Bianca Dittrich: what we use with an effect to it, is always much more degrees of freedom at high energies. Send it low energies. 348 00:59:56,230 --> 01:00:06,190 Bianca Dittrich: In this case, specifically, it's also related to to the this effect which we discuss here is specifically related to the normally. 349 01:00:08,880 --> 01:00:12,360 Bianca Dittrich: but in fact, the result of the calculation. 350 01:00:14,960 --> 01:00:19,060 Bianca Dittrich: And that is basically it doesn't? I don't think that happens always 351 01:00:19,100 --> 01:00:23,820 Bianca Dittrich: is that a structure of the anomaly in the dynamics as such. 352 01:00:24,800 --> 01:00:25,820 Bianca Dittrich: set this 353 01:00:26,010 --> 01:00:29,370 Bianca Dittrich: extension of of this configuration space. 354 01:00:30,380 --> 01:00:33,740 Bianca Dittrich: The effects of that is suppressed at low energies. 355 01:00:36,700 --> 01:00:37,450 Western: Yeah. 356 01:00:37,730 --> 01:00:42,230 Bianca Dittrich: Okay. So so this is kind of a non-trivial. I 357 01:00:42,280 --> 01:00:47,240 Bianca Dittrich: I don't think any a Normally, you can buy it. And then we have. 358 01:00:47,750 --> 01:00:54,920 Bianca Dittrich: They have this, this, this exciting effect. So it's actually a nice design for us. 359 01:00:55,220 --> 01:01:01,440 Bianca Dittrich: That's a that's a that's the effect of this extension is suppressed at high energies. 360 01:01:02,960 --> 01:01:05,120 Bianca Dittrich: because otherwise we would be in trouble. 361 01:01:06,850 --> 01:01:08,040 Western: Okay, thank you 362 01:01:09,040 --> 01:01:12,400 Ivan Agullo: any further in comment or in question, or your Hannah 363 01:01:17,440 --> 01:01:19,820 Deepak Vaid: Hi, I. 364 01:01:19,940 --> 01:01:22,120 Deepak Vaid: And the question. 365 01:01:22,470 --> 01:01:29,220 Deepak Vaid: So one question was just wanted to ask Johanna if if you might 366 01:01:29,600 --> 01:01:33,230 Deepak Vaid: have any more details on how these area metrics appeared in string theory. 367 01:01:34,270 --> 01:01:42,290 Deepak Vaid: and the the second one is, I guess, for Bianca, because she she mentioned the anomaly, and I miss the anomaly parts so 368 01:01:42,420 --> 01:01:44,460 Deepak Vaid: that could be shown again. 369 01:01:46,710 --> 01:01:59,000 Johanna Borissova: Yeah. So on the string theory, part of not many more information. It's just the idea that it can encode the fundamental fees of string theory into a single field also in an effective sense. 370 01:01:59,110 --> 01:02:15,880 Johanna Borissova: But actually, I think again, I would like to come back to this. The composition of the error metric in terms of irreducible components. And it turns out then that the error metric is then very similar to electrodynamics. One can then do the jump 371 01:02:15,880 --> 01:02:22,180 Johanna Borissova: to other few theories. So yeah, i'm not sure about the this string theory component. 372 01:02:23,620 --> 01:02:34,250 Johanna Borissova: But yeah, what I would like to. Yeah, maybe if you're interested in the elect electrodynamics part, and the error Metrics is very similar to the constitutive tensor, which also appears in lightcom propagation. 373 01:02:34,340 --> 01:02:46,400 Johanna Borissova: and in this case it is just a subset of this constitutive tensor. It's the principal part. And we actually this might also be a way to go if you want to construct aometric convertible connections with this. 374 01:02:47,110 --> 01:02:47,800 Johanna Borissova: Oh. 375 01:02:49,440 --> 01:02:56,240 Bianca Dittrich: yeah, you and I mentioned also on the holography. There you have a matrix appearing in 4 dimensions, very naturally. 376 01:02:56,700 --> 01:02:58,680 Bianca Dittrich: and then 10 them into the construction. 377 01:03:00,130 --> 01:03:06,680 Bianca Dittrich: So it's it's it's it's a string. So it propagates. Well. 378 01:03:07,130 --> 01:03:11,620 Bianca Dittrich: you you get an area from a string by. 379 01:03:12,620 --> 01:03:22,470 Bianca Dittrich: and in any case you asked about the normally the the what we call in a. Normally, it's just a very, very own 380 01:03:22,950 --> 01:03:27,740 Bianca Dittrich: non computativity of of part of the simplicity constraints 381 01:03:28,880 --> 01:03:32,690 Bianca Dittrich: which which is said. 382 01:03:32,810 --> 01:03:35,390 Bianca Dittrich: the B fields are replaced by 383 01:03:37,070 --> 01:03:39,180 Bianca Dittrich: angular momentum operators. 384 01:03:39,930 --> 01:03:49,970 Deepak Vaid: Oh, okay. And if you compute out of the so called non diagnosis, if you come, consider as a commutator of non diagonal simplicity constraints. 385 01:03:50,250 --> 01:03:55,110 Bianca Dittrich: This holds term. You You get some a a term which is proportion to to gamma. 386 01:03:55,430 --> 01:04:02,500 Bianca Dittrich: and, for instance, depending on which version. You choose to the volume of the 387 01:04:04,090 --> 01:04:09,100 Deepak Vaid: Okay. All right. So it's it's because of the non-committee to theop and Zoom Meeting 388 01:04:10,360 --> 01:04:13,230 Deepak Vaid: eventually, you know. Okay. 389 01:04:13,330 --> 01:04:14,880 Deepak Vaid: alright, thanks. 390 01:04:17,000 --> 01:04:21,070 Ivan Agullo: Okay, less than a Johann again. 391 01:04:22,310 --> 01:04:23,180 Johanna Borissova: Thank you. 392 01:04:25,390 --> 01:04:26,910 Ivan Agullo: Alright, yeah, Thank you. 393 01:04:27,070 --> 01:04:27,860 Johanna Borissova: Okay.