0 00:00:05,490 --> 00:00:07,560 Okay then, shall we start 1 00:00:10,679 --> 00:00:20,580 Welcome everyone to today's meeting and our speaker will be ugly candle Koichi about chronic against theories with sonorous 2 00:00:22,380 --> 00:00:22,980 Okay. Hi. 3 00:00:24,000 --> 00:00:35,550 Thank you for being here first comment is that I'm actually having a different title for the doc. So it was Albert ISIS me talking about the biological 4 00:00:36,300 --> 00:00:51,450 Theories, but I'm actually going to speak a little bit more broadly and give you some maybe or some comments on the genetic genetic analytical capabilities in the principles of boundaries and we'll 5 00:00:52,680 --> 00:00:55,290 Talk a little bit on the topological theory is that 6 00:00:56,850 --> 00:01:02,010 We also consider at some point. But I will tell you that later on. This is work I'm 7 00:01:03,090 --> 00:01:08,760 Currently finishing with my collaborator Tatiana Sheena Kiran in Malaysia. 8 00:01:10,620 --> 00:01:15,600 So let me go to the to the plant is this is like number two. So first I would like to 9 00:01:17,730 --> 00:01:24,330 Ask some some questions. As a matter of motivation for why we are doing this. 10 00:01:25,650 --> 00:01:27,660 And then I will 11 00:01:29,640 --> 00:01:49,860 Present from scratch, so to say. I mean, this may be very obvious for most of you, but this is, I think, an important step to to start from from zero on how to construct the Hamiltonian formal listen and especially since we are considering boundaries and this is the main subject of the 12 00:01:50,880 --> 00:02:00,510 Of the talk I will then introduce or comment on exactly what happens to this Hamiltonian formerly someone when we are some boundaries. 13 00:02:01,560 --> 00:02:09,540 This is a I'm going to look at the canonical Hamiltonian formalism as opposed to the Guardian Hamiltonian formalism. 14 00:02:10,410 --> 00:02:19,350 Now this is important to distinguish because sometimes in in the recent literature, we have seen that many systems. One is switching 15 00:02:19,800 --> 00:02:27,900 Somehow from The Guardian to the canonical one one uses some call volume techniques to a ride for instance of a hammock. 16 00:02:28,320 --> 00:02:34,560 The syntactic structure and then one goes with a company, having a story canonical description but 17 00:02:35,160 --> 00:02:51,630 One of the us some information from the audience. So here I want to be very systematic and just focus on the canonical picture and not other Tyson, that this is the true way of doing things. So I'm just, just want to do everything consistently with economical formulas 18 00:02:52,740 --> 00:03:08,790 Now once I tell you what the genetic structure of this of what happens when we have this this boundaries. I will then focus on a particular example which is taking the Maxwell theory and building upon the mentor. 19 00:03:10,230 --> 00:03:20,160 I'm here to just put a sane Maxwell and quantitative without actually there are two versions of the same thing. One is to consider Maxwell aponte again, which will 20 00:03:21,210 --> 00:03:21,930 Give him by 21 00:03:23,040 --> 00:03:23,700 By 22 00:03:25,830 --> 00:03:30,660 Actions. I mean, some terms in the action which are defined over the space time 23 00:03:31,800 --> 00:03:37,650 But we know that the dragon theories at the political theory. And this is where there is a contract with a previous work. 24 00:03:38,430 --> 00:03:44,040 And we know that this is equivalent to a chair and Simon's theory on the bomb that he went there is one which is our case precisely 25 00:03:44,670 --> 00:03:53,760 So we can have to description. So, or we should have. We should be able to construct to descriptions, which are equivalent and which gives us the same physical information. 26 00:03:54,300 --> 00:04:01,620 For the system, one in which we only have bound bulk terms and another case in which we do have about them and the boundary 27 00:04:02,070 --> 00:04:16,740 And that's something that we, we should be able to address. And that's precisely why I want to build on the canonical formalism when there's what they're about, then I will finish with some comments regarding with whatever we have found here. 28 00:04:19,350 --> 00:04:22,290 Okay, so that's the plan of the other talk 29 00:04:23,400 --> 00:04:31,140 Then we just go to Slide number three and and ask some some questions. So the first one is, why should we bother about boundaries. Right, so 30 00:04:31,680 --> 00:04:48,810 So why can't we just leap happily in theory in which, as we always do it. We just neglect every boundary term that comes around and when we are questions emotion and everything works very fine, right. So, but then this is a lobbyist questions that we cannot do that. 31 00:04:50,460 --> 00:04:59,010 If we want to answer some physical motivated questions particular, we know that, for instance, if we have a synthetic conditions. 32 00:04:59,520 --> 00:05:13,920 For instance, syntactically flat boundary conditions for theory from space time or less in total emptiness either any as in 30 conditions, and we have two to three. Those are some of the conditions as if there was a boundary and 33 00:05:15,600 --> 00:05:22,620 And therefore we have to deal with the fact that our, our manifold now has a boundary and and we have to 34 00:05:24,180 --> 00:05:43,830 Know how to do the description there. Of course, there are also other fiscally motivated examples. For instance, black holes. We know that with our isolated horizons boundary conditions, we can somehow mimic 35 00:05:44,970 --> 00:05:49,110 Many of the features of a black hole. This is, of course, 36 00:05:50,130 --> 00:05:58,410 A mathematical boundary, because we don't expect for it to be a physical boundaries, but it's a mathematical boundary we impose some boundary conditions. 37 00:05:58,980 --> 00:06:08,010 And then we hope that we will have a consistent description of the six in which we will have something on the Balkan something on the band. 38 00:06:09,450 --> 00:06:14,370 So, so that's what this or two examples that I'm sure there are many more which are 39 00:06:15,450 --> 00:06:28,290 Also physically motivated for simple theories. So, so it's this is hopefully have convey the idea that this is some, something that we need to face at some point when we deal with gateway theory. 40 00:06:29,760 --> 00:06:39,690 Now, one question that arises when when we deal with we do these kind of things is what happens with the vulnerabilities of freedom. And this is actually something that has been 41 00:06:41,040 --> 00:06:53,490 In fashion. So, to save for the past couple of years, and the many colleagues, I don't know how many of you are in the audience right now. But some of you have have looked at several systems in which 42 00:06:55,020 --> 00:07:06,300 There are boundaries and there are some boundaries degrees of freedom that that appeared and that depends on on some choices over makes along the way. I will comment on that. 43 00:07:07,110 --> 00:07:17,280 At the end, but this is this an important question to be to be addressed. Right. So what happens when we have a boundary of their new degrees of freedom that appear there their 44 00:07:17,820 --> 00:07:31,020 Degrees of freedom that were already in in the bulk theory and just somehow worked in character into the boundary or do we have to introduce new ones to make something consistent. Exactly. There are many possibilities, or 45 00:07:33,570 --> 00:07:41,520 Another important feature of what happens when we love and daddy is what happens to this complex structure, we have seen also 46 00:07:42,570 --> 00:07:43,620 Or in the later. 47 00:07:45,090 --> 00:07:51,270 Which are some examples in which sometimes is simplistic structure on the horizon other claims that their 48 00:07:51,600 --> 00:08:02,490 Contributions to the simplistic structure coming from the horizon, and that also introduces some some questions. Exactly. How do we do deal without. How does that interact precisely where the boundaries of freedom. 49 00:08:04,050 --> 00:08:12,390 And then the next question, which is very much related is whether we have to modify the standard deregulated title prescription 50 00:08:13,350 --> 00:08:20,850 Knowing that direct prescription, which is what we know is the standard one for dealing with constraint field furious. 51 00:08:21,840 --> 00:08:40,650 Well, directed and consider boundaries but one could supplement the data prescription with this great your title one principle, which is basically the idea that every time that we have to deal with differentiable functions, which means that every time we compute 52 00:08:44,370 --> 00:08:48,210 The gradient or or the variation of some function, we have to 53 00:08:50,400 --> 00:08:52,680 Kill all the contributions from the boundary 54 00:08:54,630 --> 00:09:03,210 From the band that it is this was has been very successful in in many theories. For example, in looking at gravity in ingesting syntactically flat. 55 00:09:05,130 --> 00:09:14,520 Boundary conditions, right, so here the question is we are going to ask whether we this is enough, whether we have to this prescription is works well in all the cases. 56 00:09:14,910 --> 00:09:25,050 That we may encounter or whether we have to extend or find new prescriptions for how to consistently deal with with HDR is 57 00:09:26,190 --> 00:09:26,730 Abundant 58 00:09:27,780 --> 00:09:37,290 And then there is a last question has to do with. It's a bit more technical and it has to do with possible relations between boundary conditions and constraints. 59 00:09:37,800 --> 00:09:52,200 It has been also some, some, a lot of literature in that ask these questions. And there are many viewpoints on that. So I will come to that later on and will comment more on 60 00:09:53,760 --> 00:09:54,120 His boy. 61 00:09:56,370 --> 00:09:59,820 Okay, so let me go to my slide number four. 62 00:10:01,110 --> 00:10:10,920 And I will start by by recalling and constructed from scratch, how to how to construct a canonical Hamiltonian formulas 63 00:10:12,240 --> 00:10:13,470 Now, of course, the 64 00:10:14,610 --> 00:10:25,200 The starting point is is a configuration space because we always have some physical system in which there is a configuration space. This may be this is genetics. It could be a mechanical system or field theory. 65 00:10:26,280 --> 00:10:28,740 Here the structure is basically the same. 66 00:10:30,090 --> 00:10:45,300 And then there's a fundamental object which will be which will be very important for for the discussion here and this is the momentum function that I'm defining in the third probe and this is basically a mapping that takes a 67 00:10:47,640 --> 00:10:51,390 Dungeon that doors on the configuration space and gives us 68 00:10:52,500 --> 00:11:10,470 A real battle on a on a point and it gives us a real number. This is basically a one for on on the configuration space so acting on tiny and vectors and giving us back numbers and then we represent the 69 00:11:11,700 --> 00:11:23,070 Momentum as this one form function p. And then we have the vector field as as as the then we normally represent that functional this contraction between the end 70 00:11:24,300 --> 00:11:31,410 Now, one goes one starts with a configuration function and one defines a face space which is the normally they go tangent bundle. 71 00:11:31,980 --> 00:11:43,320 Over the configuration space. So basically we take we put together the configuration space and the space of one on one forms basically given by this way, the peace. 72 00:11:44,070 --> 00:11:54,720 And then we can define from this momentum function that we got before on configuration space going to find that one for there's no medical data and this is already on Facebook. 73 00:11:55,920 --> 00:12:07,080 And equation one is gives us a prescription of how this one form a spaceship should operate and it's basically the telescopes that they actually have these one for on a tangent 74 00:12:08,310 --> 00:12:10,590 Tangent data, but now on face space. 75 00:12:11,610 --> 00:12:19,470 Has to be equal to whatever what whatever the action of the of the momentum function was some configuration space when we acted 76 00:12:20,010 --> 00:12:35,640 On velocity, which is what I'm calling q.on configuration space so so that's the basic idea. So we elevate something we. That was the final configuration space to the to the face space and from there we define a one form. 77 00:12:36,750 --> 00:12:46,920 And that is called a simplistic potential and normally we choose some standard coordinates and so on. Then it can be written as, as I've done in equation number two. 78 00:12:48,360 --> 00:13:01,740 And then once we have this one form, then we can immediately construct this eclectic to form on face base just by digging exterior derivative of this, of this quantity and that's what I'm doing. At the end of Question for 79 00:13:04,290 --> 00:13:12,360 This is of course the standard way we there are different expressions for instance for for equation to this is just one choice. There are several 80 00:13:12,870 --> 00:13:19,050 Different possibilities that give the same a simplistic structural on it. 81 00:13:19,770 --> 00:13:33,030 And I'm not proving it, but these are the omega, so defined is satisfies all the properties of is invalid extraction industry has to be closed on the way, assuming it's not the yen at a time zone. So we, that's how we obtain 82 00:13:34,350 --> 00:13:47,730 The simplistic before. So now let me go to Slide number five. And now that there's a fundamental equation here in faith based now we are living Facebook's and that's a given by Question three. And this is going to come all over the top. 83 00:13:48,780 --> 00:14:02,940 And this is just basically contains all the information about venture, leave a comment on the questions and this is telling us that we have a function f, and we have something which we call the Hamiltonian vector field which is this x of f. 84 00:14:04,230 --> 00:14:11,760 Then these two quantity satisfy this this equation which is in number three sentences that on the left hand side we have the gradient of the function 85 00:14:12,540 --> 00:14:29,280 And that has to be equal to the contraction of the simplistic to form with this vector field. So, so both sides. We do have one form and that that's exactly how these two objects on a relic. Now we can a 86 00:14:30,450 --> 00:14:49,530 Contract is one form, we will not be 20 vector, which I'm calling here why and this gives us precisely information. How, for instance, how they function F changes along way which is given by the derivative on the extreme left hand side and then on the right hand side, we just have the the 87 00:14:50,730 --> 00:14:58,200 syntactic structure saturated with both the audience and Hamilton and Garfield on this arbitrary vector field why 88 00:14:59,730 --> 00:15:06,300 If you now the vector field. Why is the Hamiltonian vector field associated to the second function, which I'm calling gene. 89 00:15:07,170 --> 00:15:16,260 Then wait, we can define something which is called the bottom bracket which is just a mapping between these two functions. I mean, which maps to functions and gives us 90 00:15:18,300 --> 00:15:24,300 A new function and this is just the definition is given by by equation fight. This is just 91 00:15:26,040 --> 00:15:35,460 A contraction of this eclectic to form with a door corresponding having done in vector fields associated with both of the functions f and g 92 00:15:36,480 --> 00:15:38,670 And we can use that to for instance. 93 00:15:39,990 --> 00:15:45,210 A great Hamilton's equations in one of the of the of the 94 00:15:46,290 --> 00:15:54,870 Corresponding functions is the Hamiltonian which in that same evolution. So equation six gives us how any other function changes with time. 95 00:15:55,470 --> 00:16:09,450 And that's just given by standard procedure. But here, the important thing that I want to stress in this which is very trivial and very well known to all of you is that I'm using GA simplistic structure to define the 96 00:16:10,860 --> 00:16:21,750 bottom bracket. I'm not defining the inverse of the simplistic structure and I'm just using the simplistic structure and the Hamiltonian vector fields and that this religion is going to be important. 97 00:16:22,920 --> 00:16:24,690 Okay, so that's the standard 98 00:16:26,070 --> 00:16:38,940 The scripture on the how we get from how we construct a simplistic structure and how we get done how we've done bit of sales function something time abolition given a particular 99 00:16:40,230 --> 00:16:43,050 Function which is normally done the antigen that it's done. 100 00:16:44,490 --> 00:16:46,650 Okay, so let me go to my slide number six. 101 00:16:47,700 --> 00:16:53,430 Now we are doing it so that the videos discussion was rather genetic I'm now going to 102 00:16:55,080 --> 00:17:04,620 Say what happens with the filters. So this geometric ideas. The fact that we have selected stock children haven't done a bit of CF function that's that's all there. 103 00:17:05,310 --> 00:17:21,960 Is the only thing that we have to be aware, is that the face basis now infinity dimensional. So you want us to be thing has to do things consistently when when has to be careful about so functional analytic issues which I will not do, I will just be 104 00:17:24,300 --> 00:17:30,030 Practical and not to not to deal with those things. So I'm assuming that everything I'm writing is well defined. So 105 00:17:31,860 --> 00:17:43,980 So for instance, here I'm just looking at the simplest case of a space for our field which is would be just a scale or field, which I'm calling fi and corresponding momentum, which I'm still calling 106 00:17:45,060 --> 00:18:04,710 Now this this momentum mapping on configuration space is given by equation seven. So here the V some arbitrary vector field on on space of functions and B is is now the now has a deal that because it has to be a density function. 107 00:18:05,790 --> 00:18:17,040 And Mila density discuss function, but then see the object. And now we can construct the simplistic potential data that will be given by something 108 00:18:18,210 --> 00:18:27,930 In like. Question number eight and him and looked at home just every all these expressions imply only integral server sigma which is the 109 00:18:28,890 --> 00:18:34,890 The hyper certified switching the four dimensional cases just a three dimensional hyper surface. 110 00:18:35,670 --> 00:18:42,120 And I'm not considering right now boundary. Right. So this is all everything so just expressions on the bulk 111 00:18:42,840 --> 00:18:51,930 Now we take the exterior of the liberty of equation eight, which defines the omega. Now I'm using this weird the d which is like 112 00:18:52,530 --> 00:19:01,290 It's meant to be the exterior that anybody on face space just to distinguish it from the exterior of the virtual space time or on the hyper surface. 113 00:19:02,130 --> 00:19:11,460 So we do get we do get an expression for this eclectic structure asinine. And again, this is one case in which there is only bulk contributions to the 114 00:19:11,910 --> 00:19:27,300 Simplistic structure, but I just wanted to hear an interview some some notation and terminology. So let me go to my slide number seven. And now let me consider what happens when we have boundaries in the field theory case right 115 00:19:28,740 --> 00:19:36,870 So as I was saying in the introduction in the standard analysis of casualties one normally disregards the boundaries and all around the terms. 116 00:19:38,070 --> 00:19:59,820 That appear as one integral parts as simply discard here, we cannot do that. And we know that there is a prescription introduced by a radio title one which which is completely correct and gives us a consistent description in in many cases. And what they did was basically to 117 00:20:00,960 --> 00:20:06,960 To ask us, I was saying before, that all the functionality of functions on on face space. The differential 118 00:20:07,740 --> 00:20:23,640 This means that when we are computing the gradient. The F of the function there should be no contributions from the boundaries. So there's only one. I mean, when crisis functional derivatives and so on. And there's only expressions which involves the Volcker terms. 119 00:20:25,020 --> 00:20:39,780 And this is a I mean this in terms of geometrically terms of the gradients and so on is completely equivalent to what we do in practice, which is that whenever we take the variation of the function it all this boundary terms for sure, but 120 00:20:40,830 --> 00:20:49,680 And then the stand up. I don't know if this is assumption or something that one doesn't even question very much is that this approach. 121 00:20:50,190 --> 00:20:57,600 So the regular diet alone approach to fill furious with boundaries you sufficient to lead with all the cases that the metal is completely generic 122 00:20:58,320 --> 00:21:08,070 So the question that I'm asking here is whether this is this a valid assumption and whether we really have to do something else and extend what we know. 123 00:21:09,540 --> 00:21:17,730 Very well with it with the standard cases for which read your title works with. So let me go now to my slide number eight. 124 00:21:19,500 --> 00:21:26,850 And I will done. So what happens. How do we get the boundary contribution to the simplistic structure right 125 00:21:28,350 --> 00:21:43,410 How does this arises well here. The important thing is to recall this momentum upfront momentum up that originated in configuration space as this mapping between vector fields on configuration space to function. 126 00:21:44,640 --> 00:21:56,010 So, now suppose that I have a field theory and somebody gives this to us. And then I go and do the standard the decomposition and whenever I define the 127 00:21:57,360 --> 00:21:58,470 Function and then I'm 128 00:21:59,550 --> 00:22:01,170 I smeared it with a vector field with 129 00:22:02,280 --> 00:22:15,540 A defined the momentum is merely with a vector field which is what one normally does. And then I suppose that it done that and then I write on expression which looks like 10 and this is expression 10 has 130 00:22:16,710 --> 00:22:26,550 Both done which is standard one that I had before. But now suppose that the we have a boundary contribution which is the second term and 131 00:22:27,870 --> 00:22:43,890 So then what happens now. Well then. Well, nothing happens. Right. So we have to just follow what we know how to how to do. I told you the prescription. I told you before, and this is that from this moment moment popping in and configuration space we can 132 00:22:44,910 --> 00:22:51,150 Lift it up and construct the one form simplistic potential data which is given by equation 11 133 00:22:51,990 --> 00:22:58,950 And that will of course have now two contributions, one from the ball, which is the first term. And one more on the boundary which is a second term. 134 00:22:59,880 --> 00:23:08,250 And then we just follow our gnosis and not doing anything. I haven't done it for now the syntactic structure which will be given by my expression well 135 00:23:09,300 --> 00:23:17,340 Which is just the exterior of the diversity of a space for this collective potential is going to have to contribution. So again, the standard one from the work 136 00:23:17,880 --> 00:23:29,730 And the new one from the Monday, and now I'm calling to this just to distinguish from the wall degrees of freedom, which are where am 137 00:23:30,900 --> 00:23:32,490 I now calling a 138 00:23:34,800 --> 00:23:45,510 With a partial and parcel just to note that these are the fields which are abandoning and living on the boundary of segment right on partial bankruptcy. 139 00:23:47,910 --> 00:23:51,240 And these are well the genetic boundary degrees of freedom. 140 00:23:52,920 --> 00:23:54,300 Okay, so this is 141 00:23:55,530 --> 00:24:04,830 Exactly what what will happen. This is how we are going to recognize and how we're going to see from the strictly canonical perspective that we do have a contribution to the 142 00:24:05,730 --> 00:24:23,070 Simplistic structure. And as I said, this is something that we get when we analyze if your device. So this may be cases in which we, we just have about the Vulcan, which is which is what happens in most of the cases are but they may be instances in which we do have this contribution from 143 00:24:24,390 --> 00:24:28,650 So let me now go to my slide number nine. 144 00:24:31,110 --> 00:24:41,520 So, so what are the practical implications of having such a boundary contribution right now. Let me go back to this basic comments on an equation which I'm rewriting here the question 13 145 00:24:42,150 --> 00:24:57,690 So on the left hand side we have the gradient of a function which you know contracted with an arbitrary vector field. Why, and on the right hand side we have the syntactic structure saturated with both having done in vector field practices basic equation were considered 146 00:24:58,710 --> 00:25:05,700 Now in the case that there are no boundary terms in the right hand side named media on the syntactic structure. 147 00:25:06,180 --> 00:25:13,320 Then of course for this equation to evaluate which is something we want to be to have a consistent Hamiltonian description. 148 00:25:13,830 --> 00:25:18,660 Then, there shouldn't be any boundary terms on the left hand side, right, and that's that's precisely the gray. 149 00:25:19,320 --> 00:25:34,470 And this is exactly the standard read your title case. Right. So there's nothing surprising here. We don't have a boundary contribution to split your structure, then we shouldn't have boundary contributions to the gradient. And this is exactly what what we already knew before. 150 00:25:35,910 --> 00:25:37,080 So, so 151 00:25:38,880 --> 00:25:44,730 Everything that we have done before in greater detail is perfectly perfectly consistent, provided that the 152 00:25:46,320 --> 00:25:52,350 syntactic structure doesn't have a boundary contribution. Now, let me see what happens in the case that we do have about data. 153 00:25:52,920 --> 00:26:01,470 Then of course, everything that it says completely the opposite. So now the right hand side of the equation 13 has some contribution from the boundary 154 00:26:01,980 --> 00:26:11,040 And therefore, to have a consistent TO HAVE A QUESTION 13 to be valid, we need to have boundary contributions to the gradient on the left hand side. 155 00:26:12,360 --> 00:26:22,050 So therefore, in that case, in the case in which the theory consoles comes to us and tells us. Well, I do have a good boundary contribution to the structure, then we can no longer 156 00:26:23,490 --> 00:26:27,750 Have a consistent discussion with the radio date alone prescription. So we know to 157 00:26:28,920 --> 00:26:34,950 It has to be revisited or extended in a sense to incorporate the presence of this is bounded 158 00:26:36,330 --> 00:26:43,020 Okay, so this so far the description that I don't care is completely genetic about how 159 00:26:44,460 --> 00:26:45,480 I mean, Tony in 160 00:26:47,340 --> 00:27:06,180 Theory should should work gauge the results also in the brain. So boundaries. And now I want to illustrate all these words, what I've done, what I've told you in a very generic sense by looking up at a particular example, and that always works to to just 161 00:27:07,710 --> 00:27:14,850 Bring down to it, some of the ideas. And that's why, what I will do now mean starting in my slide number 10 162 00:27:15,990 --> 00:27:24,360 Which is by looking at this, are these theories. I was telling right so I was telling you before we actually have two descriptions of the same theory. 163 00:27:25,470 --> 00:27:33,660 A we can either write it as some security given by the Maxwell action loss upon dragon term which is topological 164 00:27:35,040 --> 00:27:48,360 These two terms are given on the Bounder on the bulk or we could have the same theory, which should be equivalent to a given by Maxwell and Simon's which is a max was done on the ball and mature and Simon's theory on the bottom. 165 00:27:49,380 --> 00:27:54,210 So let me first start analyzing the case of a max will want to again. 166 00:27:55,980 --> 00:28:07,530 That case we know just to set the notation here equation 14 is giving us the this election has two terms. The first term is the max will action. 167 00:28:08,100 --> 00:28:22,860 And the second one is the Pontiac here we have this data. This data shouldn't be confused with a data museum for the simplicity potential. This is the standard data parameter that appears in when we do exactly this right 168 00:28:23,910 --> 00:28:42,600 I'm doing the, the simplest case of an A billion theory. So we have max within IBM data input everything I'm saying, can be generalized in a very straightforward way to the non IBM case so so that's that is not an issue of relevance here some doing, for simplicity, just the IBM case. 169 00:28:43,620 --> 00:29:01,950 So now we go ahead and do with the data analysis because that's what we know how well how to do and when we see that we compute the momentum. And we do have a it that's given by equation 15 the first three terms. Basically, this is the same thing as we had in in Maxwell. 170 00:29:03,090 --> 00:29:09,900 Here, it looks more complicated. It goes, we are doing a generic embedding. So we have labs shift and all things I'm 171 00:29:10,410 --> 00:29:24,150 Not assuming that the slices around. I'm not in ghosts space. My slices are not necessarily anything this is completely generic on any any curb space time with with a genetic slicing 172 00:29:25,590 --> 00:29:26,010 So, 173 00:29:27,150 --> 00:29:42,450 So that's, that's how it looks in in question 15, of course, we see that there is no boundary contribution. This means that the Galactic structure as expected has only the Bolton. I'm not going to repeat that again because I've already went through it twice, so 174 00:29:43,950 --> 00:29:52,410 Given that this is the momentum we get this there. So always only going to be a contribution from the, from the bulk so that's that's 175 00:29:53,160 --> 00:30:08,520 That's okay. I mean, also from the discussion that I had going to get before we expect the like theory with rarely give it a title one prescription to work perfectly well in this case. And as we will see, this is exactly what happens. 176 00:30:11,520 --> 00:30:19,170 Without analysis, there is a primary constraint which is given by equation 16. So on the left hand side we have the thesis. 177 00:30:20,310 --> 00:30:22,770 Local condition this be fi 178 00:30:23,790 --> 00:30:34,350 And on the right hand side is just submitting it a longer segment right so we can when we compute the gradients and so I'm 179 00:30:34,800 --> 00:30:42,210 Kind of going back to office and so on, which would always consider this mirror quantities of course because of a certain function some basis. 180 00:30:43,080 --> 00:31:00,420 Now we can proceed with the data analysis. I will not give you the details and we were right canonical Hamiltonian which is given by equations 17 and 18 I shouldn't have the two names for the same equation is just one equation, but due to live. 181 00:31:01,560 --> 00:31:15,720 So we, as we see that we have some terms which are come just from the, from the Iraq. Sorry for the Maxwell theory and we have a contribution from the point in time, which is precisely where this data term appears right 182 00:31:16,830 --> 00:31:30,600 Now in the in the standard the dark gray a title and procedure, we need to ensure that the primary constrain be per serving time. That means we have to see how it changes. 183 00:31:32,910 --> 00:31:37,860 With a motion or bass, bass generated by the canonical Hamiltonian 184 00:31:39,150 --> 00:31:44,910 And then if, in order for for write down that we need to have a precisely 185 00:31:46,170 --> 00:32:03,900 Both functions well the constraint and they can only canonical Hamiltonian have to be differential, which means that the gray and has to has to be there so we can have this relation between gradient Hamiltonian vector field and and then if we we do that there will be some 186 00:32:04,950 --> 00:32:08,850 Conditions that need to be satisfied at the boundary for for that. 187 00:32:10,050 --> 00:32:11,220 Differential related to 188 00:32:12,420 --> 00:32:13,620 To happen and that 189 00:32:15,120 --> 00:32:17,130 takes me to my slide number 12 190 00:32:18,750 --> 00:32:19,200 And then 191 00:32:20,250 --> 00:32:28,140 We look at the defense stability of the canonical Hamiltonian, we get some boundary contribution to that which is a question 19 192 00:32:29,160 --> 00:32:43,500 And then the standard retitled on prescription Salesforce, that we should have this equation is two terms of both the blue diamond director have to banish for the canonical Hamiltonian to be differential 193 00:32:44,730 --> 00:32:57,330 And now I come here to sauce. This is something that has to happen, right. Like, I'm here to some point which is very important with, but I haven't really talked in detail about and this is the issue of boundary condition, Frank. 194 00:32:58,530 --> 00:33:08,640 And it is of course a very important issue when we define the theory part of the definition of the theory comes with a prescription. The what happens at the boundaries. 195 00:33:09,990 --> 00:33:20,370 And here I'm there are basically two viewpoints that we can take or how appear in the literature and the first one is that we do begin with it from the very beginning of the theory. 196 00:33:21,030 --> 00:33:28,830 That's what I'm calling one here, when both physically motivated boundary conditions and I'm just said that these are going to be valid throughout the evolution 197 00:33:29,280 --> 00:33:37,290 For instance, we know that the case of an internal boundary where we want to make, make a black holing in isolation. 198 00:33:38,220 --> 00:33:49,380 We have, we have this isolated for voluntary conditions which are conditions that have to be satisfied. A throughout the complete history of the universe on this. No. 199 00:33:50,280 --> 00:33:52,770 Surface that we are using as an internal boundaries. 200 00:33:53,550 --> 00:34:07,170 And there are there are other examples in which one can one can boast precise in this case of Maxwell. There are some physical demotivated boundary conditions in which one you're says that this, this is going to be satisfied wild and then we have to see what happens with the formula. 201 00:34:08,610 --> 00:34:16,350 So that's, that's one viewpoint. The second would be point would be to say, Okay, I don't know, a priority. What boundary conditions they want to impose 202 00:34:16,770 --> 00:34:25,920 I just want to see how what happens and then along the way. And then I have to go and make impulsive boundary conditions so that 203 00:34:26,670 --> 00:34:38,370 Humans don't formalism is well defined for that would be, for instance, if I take that viewpoint, then I have to say that. Okay, now the question 19 is going to both some boundary conditions because 204 00:34:39,390 --> 00:34:53,700 That is those conditions, both a blue equation and the right equation to be one ish. I have to. Well, the fields have to satisfy some boundary conditions on here we see explicitly that there is 205 00:34:54,960 --> 00:35:07,320 That the on three again contribution to the theory becomes non trivial before. And as we will see, has no contribution to whatever happened. So the bulk but already 206 00:35:08,340 --> 00:35:13,650 Equation 19 is telling us that there is going to be a contribution there because 207 00:35:15,720 --> 00:35:18,480 Because of these equations that need to be satisfied that the longer 208 00:35:19,620 --> 00:35:25,200 Okay, so this is all everything. I'm going to say about the deal so boundary conditions. 209 00:35:26,370 --> 00:35:37,800 If I have enough time. I could give you exactly the what happens with many choices on and so on. But here I just want to focus on the general structure of the theory and not going to 210 00:35:39,210 --> 00:35:43,800 focus very much on on what particular boundary conditions where we are choosing 211 00:35:44,940 --> 00:35:58,800 The only thing I'm doing is, is I am assuming in to follow with with my description of the theory that I had chosen boundary conditions that make equation that Dean bunch and that's good for me now. 212 00:36:00,090 --> 00:36:06,510 Okay, so once we have to we have done that. So we have ensured that the bow, the primary constraint and Hamiltonian. The differential 213 00:36:07,290 --> 00:36:14,940 Now we want to impose their condition that the constraint we present time illusion know to right equation 20 I'm writing it to the standard 214 00:36:15,570 --> 00:36:33,150 Way supposed bracket or remember that that idea. If I put some brackets in terms of this collective structure. I haven't done a vector fields and so on. So again, 20 is telling me that basically that throughout the evolution given by the, the total Hamiltonian now. 215 00:36:34,860 --> 00:36:38,430 Which includes the constraints. Also, we have a 216 00:36:39,630 --> 00:36:55,920 This condition has to has to be a percentage, right, the time evolution has to has to be equal to zero and that leaves that condition 20 leads us to a new constraint which is a equation 21 the left hand side is nothing but the Gauss law. 217 00:36:58,020 --> 00:37:06,750 This is written in this is the canonical moment for for the connection which actually is not the same as the electric field. 218 00:37:07,350 --> 00:37:13,020 Or the Maxwell theory. It has a contribution from the Pontiac game, but we can we can actually define a 219 00:37:13,620 --> 00:37:28,590 chemical transformation or go back to the electric field for the moment of the max Redfield Gauss low looks exactly the same and everything work the symbol here I'm just simplifying things and writing in terms in terms of the canonical momentum for the future. 220 00:37:29,820 --> 00:37:40,920 And then this the right hand side of 21 as usual is just this mere version of the of the constraint. Now of course we have to check that the equation 21 right answer the question 21 221 00:37:41,610 --> 00:37:55,170 This miracle strain has to be also the potential and that doesn't bring any new new conditions on on on the boundary new one. There are no no boundary conditions imposed by condition. 222 00:37:56,070 --> 00:38:15,990 And we have to check question 21 which means that this this mere Gauss law has to also put some commute with the total Hamiltonian. That has to be preserved in time. And that gives us to the to this equation 22 that only has a contribution from the, from the boundary 223 00:38:17,070 --> 00:38:23,520 And that is immediately satisfied on the same conditions that were needed for the differential reality of the 224 00:38:25,050 --> 00:38:35,910 Offer God's law right so if we we may the gases law differential equation 21 which is already warranted by some previous one better conditions. 225 00:38:36,870 --> 00:38:48,060 Then we don't need to add in any new conditions and immediately equation 21 will be satisfied with means, which means that we do not have a new new constraint or not that is a constraint. 226 00:38:49,560 --> 00:38:58,530 The everything that we have in the theory is just as we had in the max will kill us, namely that there is a primary constraint, even by the vanishing of the 227 00:38:59,880 --> 00:39:19,260 PC, it'll say that one component of the momentum and gases law and these two are priceless among each other. And so we have the same constraint structure as we have in the maximal fury, there is no modification to the canonical structure of the theory by adding this country again. 228 00:39:20,130 --> 00:39:21,870 I know Alex is. All right, so 229 00:39:22,200 --> 00:39:22,680 I've 230 00:39:23,280 --> 00:39:35,730 Got several, several things that happened in this case. So are the conditions that in the previous task is already telling me that your little omega should be zero on the boundary or what time 231 00:39:38,370 --> 00:39:41,760 Yeah, so the little omega, not, not, not necessarily 232 00:39:41,790 --> 00:39:42,660 So why is that 233 00:39:43,830 --> 00:39:48,360 I mean, so what what what what why is this this bottom zero 234 00:39:49,770 --> 00:39:55,380 Yeah, well I didn't go into it. You want to go into that depends on what particular boundary conditions and choose 235 00:39:55,380 --> 00:40:01,740 Right. So, but there's one boundary condition, for instance, for which the, we know that the form of they have 236 00:40:03,630 --> 00:40:09,420 Of the one form has to be a gradient to. Therefore, we do have a 237 00:40:10,260 --> 00:40:11,100 Watch what forms. 238 00:40:13,110 --> 00:40:13,980 Me. Look at my 239 00:40:15,600 --> 00:40:16,710 Answer your question. 240 00:40:28,410 --> 00:40:34,470 Yes. I mean, one of the boundary conditions. He says, you say yes, this little blue you see right there at the boundary so that i can i can 241 00:40:34,800 --> 00:40:46,470 Take that one. That's a very simple one. And then we do that, then everything just immediately like that all the boundary conditions which doesn't happen as much more involved but simple as once one in which this is the case right it's done. 242 00:40:46,740 --> 00:40:47,100 Thank you. 243 00:40:50,250 --> 00:40:57,120 Okay, so I'm in my slide number 14 and we know I'm now. 244 00:40:59,070 --> 00:41:04,110 I can, since I have everything I have all the structure. Everything is differential and son. I can just go on. 245 00:41:05,220 --> 00:41:21,240 And write down the equation so motion you symposium brackets and these are questions 23 to 26 and just notice is, it is precisely the Maxwell equations. There's no contribution from the dragon. There's no data contribution here. 246 00:41:22,290 --> 00:41:32,430 And there are no boundary contribution. So the questions from watching since there was no contribution to the founder contribution to the syntactic structure, not to the gradient. So everything in this 247 00:41:33,870 --> 00:41:39,180 Hamiltonian equation which is the main equation we're looking at has only contributions from the book. 248 00:41:40,350 --> 00:41:47,010 And then I say already mentioned, not the only effect of the contract term is still the boundary conditions needed to make this one is inconsistent and that of course 249 00:41:47,550 --> 00:42:00,000 Will depend very much on the details of what boundary conditions we are considering. And that's something I'm not looking in right now in detail right so I'm not going to say more than that other than that's where the confusion comes 250 00:42:01,290 --> 00:42:19,440 From the phone to enter. And then as we expected from the general discussion that we had before a break your title is perfect perfectly well defined and everything works just fine. Okay, so let me go to the, the other case in in slide number 15 which is a maximize your time. 251 00:42:20,550 --> 00:42:29,670 Now we know that which will have the same theory because apparently I guess we know that they portray in theory is to pull a particular because it is a total derivative. So it's equivalent to a 252 00:42:32,040 --> 00:42:37,470 Something define on the boundary of the space time and that's something is precisely that the actual virtual assignments theory. 253 00:42:38,220 --> 00:42:52,260 So now the same theory, but now written in a maximum Simon's for is given by question 27 the first time is precisely same lesson as before. The Maxwell and the second one is that your assignments on on the bandwagon. 254 00:42:53,490 --> 00:43:01,560 Now we can play with a second time with the same Sterling that in order to make the composition of now the two plus one, the composition and 255 00:43:01,830 --> 00:43:09,420 A guy legs in equation 27 yes this this barbering also includes a quasi services in the future in the past. 256 00:43:09,810 --> 00:43:16,050 Yeah, but that those we neglect because of standard the arguments right that since the variations will be 257 00:43:17,430 --> 00:43:19,680 Suitable that initial finally 258 00:43:20,700 --> 00:43:26,070 We are not going to look at those. But yes, in principle, we do have the SU also those terms right 259 00:43:27,120 --> 00:43:29,820 Okay, I need to have full look well. And so we have a 260 00:43:30,420 --> 00:43:37,710 Okay, but since I let me just make sure that I also understood the previous thing. So if I consider the boundary condition in which is little w zero 261 00:43:38,160 --> 00:43:47,610 Then, then basically you're saying that what people might consider as large as transformations name it where the W is not zero on the boundary 262 00:43:48,060 --> 00:43:59,850 They are just excluded and when is only looking at transformations which don't do anything to the vector potential and the boundary. Is that correct on that previous slide, until the previous slide that I 263 00:44:00,720 --> 00:44:01,650 Don't want to 264 00:44:02,850 --> 00:44:08,100 Yeah, but I saw but i'm i'm not sure exactly about the details of that some 265 00:44:08,730 --> 00:44:14,070 Okay, because you because if you agree that omega is equal to zero and the boundary, then that's what it means, isn't it. 266 00:44:14,400 --> 00:44:27,390 Whether that's that wasn't the boundary of sigma. That doesn't mean that on the on the boundary of for the action so hit him. This is just don't essentials, the actual I'm not talking about boundary conditions they 267 00:44:27,390 --> 00:44:27,600 Like 268 00:44:28,860 --> 00:44:30,480 The last question was separate question. 269 00:44:31,860 --> 00:44:35,160 Just about the dragon, where you just looked at the Hamiltonian framework. 270 00:44:35,580 --> 00:44:36,450 Yes, and 271 00:44:36,510 --> 00:44:46,950 In that Hamiltonian framework, then what is looking at the gate w is zero on the boundary. So we only look at those transformations which vanish and the boundary 272 00:44:48,210 --> 00:44:52,290 Yeah, which are. Yeah, exactly. So don't leave everything embody and 273 00:44:53,220 --> 00:44:54,300 Therefore side. 274 00:44:54,420 --> 00:44:54,960 Yeah, yeah, that's 275 00:44:55,110 --> 00:45:03,480 Something mentioned is zero on the boundary there. Okay, so therefore I mean more to charge for example, who never appear because because all my guys see it on the bomber 276 00:45:06,000 --> 00:45:19,980 Well, yeah, but you could also have this thing about this other sectors tried to as you said it connected by life gets transformation some, some, but we're here, we're only looking at the difference between your decimal things right. So it's not 277 00:45:20,340 --> 00:45:24,150 A large, I don't mean anything profound. I just mean the ones which are 090 on the boundary 278 00:45:24,660 --> 00:45:33,210 Okay, okay. Yeah, those, those. I mean, if you little omega zero, then yeah, you're only allowed to gauge transformations that 279 00:45:33,480 --> 00:45:36,510 Sorry. So yeah, this year there what I did. 280 00:45:37,350 --> 00:45:43,710 So when you send you the recording title. I'm it is recording title by Amanda the condition that 281 00:45:44,730 --> 00:45:47,250 Source of the gay styles emissions. I just zero on the boundary 282 00:45:49,650 --> 00:45:50,610 Doesn't just means that 283 00:45:51,780 --> 00:46:06,270 The throughout the process. I was asking good functions to be differential. I mean, the physical details of what happens when when the bed under the choice have been better condition. So you're focusing on one particular choice of boundary conditions. 284 00:46:06,720 --> 00:46:08,760 Yeah, because that's the only one that you explain so 285 00:46:09,360 --> 00:46:10,290 Yeah. Well, of course. 286 00:46:10,410 --> 00:46:23,280 So with that. So, but, but that boundary condition, then, for example, in general relativity would correspond to having no definitive isms or on the boundary and therefore all the know so that really what we 287 00:46:24,540 --> 00:46:25,980 normally call is constraints. 288 00:46:27,330 --> 00:46:35,520 So, that is to say, you're, you're not going to get generators of space time to him. I mean, so symbolic translations, for example, and that's in the same project leaflet guess 289 00:46:35,880 --> 00:46:36,750 Not those gauge 290 00:46:36,810 --> 00:46:37,410 Because you're 291 00:46:37,500 --> 00:46:39,750 Only getting direct integrations. Yeah. 292 00:46:39,870 --> 00:46:43,860 Oh, you're only getting engaged answers. Okay, so that's what I wanted on the stack. 293 00:46:44,280 --> 00:46:47,460 Here I'm just looking at what it what is gauging what is not good. 294 00:46:48,150 --> 00:46:49,800 But here it just gets at the moment. 295 00:46:49,920 --> 00:46:55,350 Yeah, and this is this is for that particular case of boundary conditions. This is just gauge. Okay, thank you. 296 00:46:57,540 --> 00:47:05,640 Okay, so let me just go back to my slide number 15. And then the question 28 is just to be comfortable as one two plus one. The composition of their 297 00:47:06,660 --> 00:47:09,030 Chin assignment section that's also very straightforward. 298 00:47:10,110 --> 00:47:13,590 And now a go to to the 299 00:47:14,790 --> 00:47:18,960 Prescription see the first step is to see what happens with this momentum up on 300 00:47:20,160 --> 00:47:37,530 A configuration space and then I see that for the for this this scale degree of freedom you want, which is this fi the contraction of a with a bit of demolition vector field that's given by equation 29 there's nothing new there. But then when we look at the 301 00:47:40,860 --> 00:47:41,580 The connection. 302 00:47:42,540 --> 00:47:43,740 Then we see that the 303 00:47:43,740 --> 00:47:56,040 Corresponding momentum mapping has has precisely a contribution as we expect from the world but also a contribution from the mandate that's given by equation fairy right 304 00:47:57,390 --> 00:48:15,210 And here the, this, this quantity little be is just the pulled back of the VM on the bulk. Right. So there's this is just the restriction of the fields on the on the boat to the boundary. But what we do have now a contribution as we might have expected. 305 00:48:17,010 --> 00:48:24,150 And then of course you're following separately that I explained before, this is going to be able to contribution to the syntactic structure. 306 00:48:25,800 --> 00:48:28,680 From the, from the horizon, sorry, from the bonding. 307 00:48:31,140 --> 00:48:47,070 And therefore we are already begun trade your title alone because we explained before, we are not going to be allowed to say that differentiable function sort of those for which the boundary terms lunch. So we have to keep them that it then when we 308 00:48:48,210 --> 00:48:50,340 Take the gradients of of 309 00:48:51,540 --> 00:48:57,390 Various functions. OK. So now let me just analyze the constraints, there is a 310 00:48:58,500 --> 00:49:03,180 Primary constraint 31 if you're sitting there waiting my slide number 17 311 00:49:04,260 --> 00:49:08,820 So this is just same constraint, as we had before. Basically, and 312 00:49:09,990 --> 00:49:25,770 And then we have now a constraint on the on the bundle ID, which is just given by the turn signal theory, which is question 32. And that relates the boundary degrees of freedom. They should have put also boundary review in second term. 313 00:49:27,180 --> 00:49:34,380 And now we can just follow the, the standard procedure. I mean, live as long as we don't encounter any any difficulties, then we are 314 00:49:35,010 --> 00:49:40,890 Allowed to proceed with the exact procedure and that's what I'm doing in the question 33 I'm just defining the 315 00:49:41,670 --> 00:49:56,880 Standard Hamiltonian canonical Hamiltonian, that is given by one time, which is just the max will close the canonical Hamiltonian from from the journal Science theory, which in this case can be written as equation 34. This is just to 316 00:49:57,960 --> 00:50:01,020 Be called by children and and this potential fi 317 00:50:02,190 --> 00:50:09,120 OK, so now in order to proceed with this, the consistency conditions for for for every i mean we have to 318 00:50:10,290 --> 00:50:27,900 We have to ask the consistency condition of the bottom of these two primary constraints, right, that they need to be set reset time evolution, but now. Now, if we are just with the doc, then we start scratching our heads. Right. And we've been doing that for a long time, how do we 319 00:50:28,920 --> 00:50:40,080 Check the consistency of the constraint 32. For instance, how do I describe how to evolve that if that's defined on the boundary. And then if I take the 320 00:50:40,950 --> 00:50:47,910 If I take the name that you have to have this. This is going to be a boundary term. But then how I'm going to compare the person bracket. 321 00:50:48,600 --> 00:51:02,250 I have this thing which is distributional and then all these questions without government very much entangled and one can just think about it for a while it gets very simple. We just look at the equation 35 which is seen 322 00:51:03,570 --> 00:51:13,260 In the slide 18 which is just the same equation. I've been looking at here. I'm thinking I changed the left hand side. On the right hand side. But anyways, on the left hand side we have 323 00:51:14,820 --> 00:51:17,550 Information about the Hamiltonian vector fields. 324 00:51:19,350 --> 00:51:27,030 For it gets gets for the total Hamiltonian and an arbitrary one way. And on the right hand side we have the gradient. So the canonical Hamiltonian 325 00:51:27,450 --> 00:51:33,180 And the two constraints. The first one is a constraint on the bulk and the last one is a constraint on the boundary 326 00:51:34,110 --> 00:51:41,250 And now we have to have any problems because we can just to natively say write down right on site and left hand side. 327 00:51:42,090 --> 00:51:49,260 And equate and compare and see what happens. Right. And then from from dollar question. Just read out whether Hamiltonian vector field. 328 00:51:49,920 --> 00:52:03,840 Is in this case and that Hamilton battlefield. A if everything is consistent and he's going to give us time it will know somebody is going to give us the conditions for for the preservation of the of the constraints. So we do that. 329 00:52:06,510 --> 00:52:21,390 And we have now some contributions to the boundary which are here, returning in before equation 36 there is one which which is this here. I'm this x with the sub index a high 330 00:52:22,770 --> 00:52:30,900 A is just a means to the component of the Hamiltonian vector field in the direction of of the field, a 331 00:52:32,280 --> 00:52:34,470 Little a, is, is the space time index. 332 00:52:36,780 --> 00:52:49,590 And then they order the questions. It seems just means that now the contribution at the boundary of the hundred million vector field in the direction, be a that that is this expression, even on the right hand side. 333 00:52:51,030 --> 00:53:05,430 And now we find that we have in order for this to be well defined for for have a equation 35 to be valid. We need to impose an additional constraint on the boundary which is given by a question 37 in my slide 19 334 00:53:06,810 --> 00:53:07,770 And the 335 00:53:09,420 --> 00:53:16,800 And, well, that's something that with to deal with right and now we so we go and ask what they consist of the conditions of or the 336 00:53:17,310 --> 00:53:37,170 Primary constraints are and that is a great given by the question after question 37 which is just basically seeing how this how this evolves and we as we expect we get this is a contribution on the only from the bulk and this is just scousers law we get as usual girls law us 337 00:53:39,090 --> 00:53:46,710 As a consistency condition for the primary constraint. And then the second equation that hustle doesn't have a number which is now the preservation of the 338 00:53:47,400 --> 00:53:58,410 Of the boundary constraint is going to be able to, well, some conditions on the right hand side of those conditions need to be need to vanish for for the for this. 339 00:53:59,820 --> 00:54:16,590 To be preserved. Now say we're selling the we we got the Hamiltonian, the gases law and we have a now on your constraint on the boundary which is the equation 39 right that needs to be needs to banish for the preservation of the primary constraint. 340 00:54:17,700 --> 00:54:31,590 And I will see that the, again, we now we want to check the consistency of the preservation Mughals law that is that gives us equation 40 and that's the story forward to see that precisely we we get again. 341 00:54:32,670 --> 00:54:39,690 Preservation provided that again that the boundary conditions were such that the other cases were certified 342 00:54:40,650 --> 00:54:53,580 Now the thing is that we can just look at all these equations of the consistency and song and then we see others. For instance, we can solve for this new new a which appeared in the equation 36 in 343 00:54:55,050 --> 00:55:04,800 Slide 18 that was one of the components of the Hamiltonian vector field. And then we see that we can get that you equation 41 that does just 344 00:55:05,760 --> 00:55:22,950 Like continuity of the Hamiltonian vector field on the bulk as it approaches the the boundary. So we do get now an expression for that and that immediately tells us that those boundary primary constraints that were given by equation 32 which is in 345 00:55:23,970 --> 00:55:24,690 In 346 00:55:26,100 --> 00:55:29,280 Slide number 17. Those are second class. 347 00:55:30,600 --> 00:55:30,870 Okay. 348 00:55:33,030 --> 00:55:39,420 So I'm ceiling in slide 20 and so after a question for you. I'm I'm 349 00:55:40,500 --> 00:55:51,630 Concluding that those new boundary constraints that appear or second class. And now we can still play and see you find that the components of the boundary Hamilton and Victor filled out the form 350 00:55:52,170 --> 00:56:00,600 Given in 42 so we can actually solve for not just the forms of the haven't done a bigger field on the ball, but also if 351 00:56:01,260 --> 00:56:14,490 They haven't done in vector field on on the boundary. And those are given by equation for it all. And just for consistency check they satisfy question 43, which is what we expect because of the primary constraint given by 352 00:56:15,630 --> 00:56:16,260 By 32 353 00:56:17,430 --> 00:56:33,390 Something I didn't write down, but we can we can look. I mean, also find what the Hamiltonian vector fields on the board car and we find exactly the same as we had in the previous guest, namely in maximum quantity it. So we do get the same 354 00:56:34,800 --> 00:56:36,420 Equations of motion on the bulk 355 00:56:37,470 --> 00:56:46,560 Of it, but now we get something also information on how to deal with, with the boundary degrees of freedom at the end of the day we do, we do get exactly and 356 00:56:47,010 --> 00:56:58,470 Haven't done this in detail because I also running out of time, but what we see is that precisely we do get the same degrees of freedom, regardless of whether we started with a maximum volunteering or the max will 357 00:56:59,640 --> 00:57:06,930 Turn Simon's important thing here is that in the case of my work, Max. What's your assignments. We had to give up the idea that the 358 00:57:07,500 --> 00:57:18,630 Notion of the instability plays that nothing survives. So they are right, the boundary. But we do have to not only present. I mean, still live with. 359 00:57:19,440 --> 00:57:35,370 Terms of the gradient of the boundary, but also don't have too much with those terms that came from the boundary contribution to the syntactic structure. So, everything becomes at the end of the day, consistent and completely equivalent to the Maxwell Pontiac in 360 00:57:37,050 --> 00:57:49,170 Theory. Okay, so that's basically the end of of this example that I wanted to consider. And let me just summarize now. Okay. Sorry, let me go to 361 00:57:50,970 --> 00:58:03,390 Make some comments on slide 21. One of the things that we see here. And this is something that already happened before. I mean, something I didn't mention a lot. But the first thing we did was 362 00:58:04,050 --> 00:58:10,110 To go see that by itself, the Pontiac. Pontiac in theory and the chair and Simon's theory and compare them right 363 00:58:10,860 --> 00:58:16,650 Now the thing there. In that case, it's more tricky, right, because we only have Andre is defined on the bulk 364 00:58:17,310 --> 00:58:23,850 Max a chance, I must be defined on the boundary. So how are we going to compare a furious on the Balkan the boundary 365 00:58:24,420 --> 00:58:33,240 And then furthermore, if we look at the constraints structure of the two theories that very different. And this is also have manifested here in this case. 366 00:58:33,990 --> 00:58:41,070 In the ball theory. For instance, in point today and also here in Knoxville country, in theory, we only have first class constraints. One is 367 00:58:41,640 --> 00:58:45,690 The primary and the other is a secondary constraint, but they are the first class. 368 00:58:46,680 --> 00:58:54,690 Now in the case it in the other case in the boundary case it is already happens for sure and Simon's by itself, but you also have been seen maximal student Simon's 369 00:58:55,470 --> 00:59:03,840 The additional that we have an additional constraint that appears in the laundry. That was not there before in the world theory, but then if this turns out to be second class. 370 00:59:05,970 --> 00:59:11,190 And this, this happened in just pure chance Simons, and this also happens in Maxwell turns 371 00:59:12,750 --> 00:59:21,510 Now there's another issue with a How To Treat boundary conditions. And as I mentioned that before. 372 00:59:22,080 --> 00:59:28,650 And there are some people in the letter literature for reasons that happens to them us this constraints in the traditional direct centric. 373 00:59:29,490 --> 00:59:41,070 And then they're subject to this consistency conditions and in some cases in some examples. One one says, for instance, the dataset. The Tower of conditions that need to be satisfied on the boundary for this. 374 00:59:42,510 --> 00:59:54,030 For these under the conditions to be preserved on time, that may or may not have an impact strong impact on on how the degrees of freedom change in the 375 00:59:54,990 --> 01:00:05,040 In the boundary input that's also depends very much on the details of what was, what are the boundary conditions. We started with and what are these external conditions that we that we find 376 01:00:06,060 --> 01:00:20,610 And that also depends on on this viewpoint. I was mentioning before, whether I want to impose boundary conditions to begin with and ask them to be satisfied. They were all the time where I want to build boundary conditions by asking the furious. I go along to be consistent. 377 01:00:21,870 --> 01:00:30,870 So this and you're saying that this is an important issue that the one needs to to understand better. And then of course we can understand it in some particular cases but 378 01:00:31,620 --> 01:00:45,270 I feel that we, there's some need for a more global understanding of what happens in general. And this is has also to the with the previous point one in black, that also, some authors have have a 379 01:00:47,100 --> 01:00:57,900 Pointed out that the patently this boundary conditions are seen as constraints or when there is their boundaries that they seem to be a bit and always a second class constraints. 380 01:00:58,530 --> 01:01:04,890 And not as, firstly, let's go straight here in the, in the example we have seen this is, this happens, it isn't exactly the case. 381 01:01:05,580 --> 01:01:16,110 But I still don't have a very strong understanding of exactly if this has to happen all the time of this is just some particular feature of the of the examples we have looked at 382 01:01:17,160 --> 01:01:26,730 Okay, so now let me go to the third, the common which is in blue. And in this viewpoint with this extended the dark right you're willing formalism. 383 01:01:27,540 --> 01:01:33,930 We don't need to introduce new degrees of freedom, depending on what particular choice of boundary conditions, we might have 384 01:01:34,470 --> 01:01:44,850 Remaining data so freedom that are not canceled by page at the boundary. This is for example, what happens in the, in the case that I was mentioning, if we if we are we have the gauge 385 01:01:46,380 --> 01:01:55,950 Your notification automation is given by God says lower such that they leave the boundary embody and then we have more degrees of freedom as we would expect because we will have these 386 01:01:56,400 --> 01:02:04,410 Would be gauged degrees of freedom that are not canceled by gauge, but they said not your degrees of freedom that was not there before. It's just that we are not canceling temperament. 387 01:02:06,210 --> 01:02:17,010 Yeah, but what we are, know what we are not doing is what many people have done recently in this couple of years, which is to introduce and add extra degrees of freedom, just to cancel. 388 01:02:18,450 --> 01:02:28,830 Things are the banter. This is not what we are doing right in my viewpoint is just will change in the theory because you're you're adding boundary go you're adding degrees of freedom that we're not there, and that 389 01:02:29,370 --> 01:02:41,940 Need to be motivated a case by case. So this is not what we are doing. We're just starting with under the degrees of freedom. We had to begin with, or then we see them exactly what what we have left with 390 01:02:43,380 --> 01:02:53,040 This viewpoint, of course, you say is consistent with letting the theory guide awesome tell us exactly what is gauging what is not gauge and that is 391 01:02:53,550 --> 01:03:07,470 Given by a precise detail analysis of what the constraints are I mean consistent constraints are or if we can also look at the particular instance they gave me the directions of this eclectic structure, which in the case of 392 01:03:08,640 --> 01:03:13,320 Boundary conditions. Well, one has to also check what happens with it again that the directions on the 393 01:03:14,610 --> 01:03:16,320 On on the boundary 394 01:03:17,640 --> 01:03:24,810 So I think that's, that's all I wanted to to comment on here on what we have. And let me just summarize here. 395 01:03:25,830 --> 01:03:27,750 In my slide number 22 396 01:03:28,770 --> 01:03:41,250 So we have a consistent procedure for addressing this case, the artist with with boundaries, the structure of the theory as we started with an action song is going to tell us whether we have a boundary contribution to the simplistic structure. 397 01:03:42,480 --> 01:03:50,190 If there is no boundary condition to a similar structure, then that as we say argue, then the standard definitive related conditions. 398 01:03:50,850 --> 01:03:57,420 Are in our foundation they yield, they shouldn't they yield a consistent description. This is just the regular Title Case. 399 01:03:57,990 --> 01:04:16,530 Now, if the boundary conditions to the back to this black to do structural not zero, then we need to extend this directory title procedure and there's also a canonical way of doing which I I show you here, by the way, this is this idea of how to deal with. 400 01:04:19,560 --> 01:04:33,360 These how to find I'm enjoying and vector fields, including contributions at the boundary is something that was suggested recently by Barbadian collaborators, they were looking at other examples, but so we're just taking 401 01:04:35,160 --> 01:04:43,170 What they suggested and implementing here and the arguing that this is this is gives us the commissioning ingredient to make 402 01:04:43,740 --> 01:04:58,860 Everything consistent fact in the case of a contribution from this and click extorted they will not discuss. I mean, the slightly complimentary what they were going to what we're doing here, but just want to mention that they they they they were doing some parts of that. All right. 403 01:05:00,000 --> 01:05:15,840 Okay, so if we do have a non trivial contribution to laundry from simply the structure there will be contributions, the boundary, also from the gradient and they simply click structured different stability. It is not the notion of the financial reality is not 404 01:05:16,860 --> 01:05:36,210 Does not mean that boundary terms have to watch so that that is important message here and in the in the particular system that we looked at, which I'm colleges Maxwell's laws of the political term we have full control over these issues and we see that everything works. 405 01:05:37,470 --> 01:05:38,760 Just fine right 406 01:05:39,900 --> 01:05:48,060 Now just My final comment here. Is that the case of an isolated horizon present. Another interesting example because there we have 407 01:05:48,570 --> 01:05:52,890 instances in which there are contributions to this eclectic structure from the boundary 408 01:05:53,700 --> 01:06:02,340 And then we we have to have a exactly understanding of it is interplay between what is differential what it's not. 409 01:06:02,880 --> 01:06:16,380 What is generating gauge where it's not and take into account also these contributions from development, but of course I have run out of time. So that probably will come in and say thank you and this is a reference thank 410 01:06:26,250 --> 01:06:30,000 Thank you very much for the talk. We open for questions. 411 01:06:37,980 --> 01:06:42,810 Unclear in your office, how the Audubon who is actually 412 01:06:45,330 --> 01:06:59,610 About 200 GMT program, or more precisely how other boundaries. Then it into space time. So if I look at it in creation or the sequence of equations that needs to come in relation to creating 413 01:07:00,750 --> 01:07:01,710 A modeling. 414 01:07:03,420 --> 01:07:04,770 So you'll have a 415 01:07:06,570 --> 01:07:17,670 Partial cushy cushy hyper surface partial machine I persona sigma with the boundary sigma which is not a boundary of the in space. 416 01:07:18,180 --> 01:07:18,540 But 417 01:07:18,930 --> 01:07:35,220 A very key to me how this partial sigma is actually then extended interest to or some other money forward in space, time, and this seems to be important in my opinion for how to 418 01:07:36,420 --> 01:07:52,470 Do the analysis because in order to understand the preservation of the constraints we have to look how the constraints of preserved under the timer conclusion but not a time of rush depends on how the boundary or pop by boundary 419 01:07:53,550 --> 01:07:58,860 Boundary of hydrocephalus is actually embedded into space time so 420 01:08:03,600 --> 01:08:05,250 I'm confused about this because 421 01:08:06,690 --> 01:08:14,970 So you agree that we have a partial coaches are for sigma right and that this may have a boundary which is just the sparkle sigma 422 01:08:15,660 --> 01:08:22,710 Yes. And so, which sense. Are you so what what is embedding the you're kind of embedding of this 423 01:08:24,030 --> 01:08:24,540 Boundary 424 01:08:25,410 --> 01:08:32,520 How our seat license based on how how we continue anymore. It's 425 01:08:34,110 --> 01:08:34,860 Time for a week. 426 01:08:35,970 --> 01:08:36,690 Or no, sir. 427 01:08:37,650 --> 01:08:47,070 Yeah, yeah. I understand this, this may be an important issue. If you are really looking at space time as fully edited by hyper surfaces and so on. 428 01:08:47,970 --> 01:08:56,700 But if you go to the beer canonical viewpoint, not, not, I'm not saying this is the right thing. But if I take the viewpoint that I mean the pure canonical viewpoint. 429 01:08:57,270 --> 01:09:15,180 The only thing I'm I have a sigma and it's Monday, I don't have a space there and what I do have is sort of fields defined on sigma and now I have Hamilton equations that you tell me how this thing, simple and it's up to you if you want to, at the end of the day. 430 01:09:15,570 --> 01:09:28,470 reconstruct the space time on which you can interpret these fields evolving or not they could just leave and say that my only experience I have an everything is just the final sigma and then I will have a problem. 431 01:09:29,550 --> 01:09:32,370 It from my perspective of how to embed this into space time right 432 01:09:33,600 --> 01:09:44,520 So I'm this is if you want. This is a very nice viewpoint Bureau canonical in which I'm just looking at what happened when sigma. What happens to feel some sigma and it's it's 433 01:09:58,800 --> 01:10:00,120 Yes, I have a question. 434 01:10:01,950 --> 01:10:12,600 Yes, in the isolated horizon case related cases that several of us stayed in the 90s where we talked about to dance teacher and Simon 435 01:10:13,050 --> 01:10:28,230 Ignited whether or not you wanted to. We went to the quantum theory you wanted to have functions on the boundary. He didn't want to have fun, just on the boundary. And that was one surrounding conditions, which I think works similar to Maxwell. 436 01:10:29,610 --> 01:10:35,190 Maxwell match it with you want to have punches through the boundary as the isolator I 437 01:10:36,240 --> 01:10:51,600 Need the part of the gals as well become said advice, by definition, they tie that the field to field value to the function into the field into the room coming out of the function 438 01:10:53,520 --> 01:11:03,570 Yeah, I could end in this particular case when there is a Western same as in Bob. It always turns into a second class because precisely that's also the information that 439 01:11:04,650 --> 01:11:10,620 That constant and this eclectic structure, right, that tells you that the connection doesn't come up with itself. 440 01:11:11,250 --> 01:11:28,020 So, so, yeah. In this case it is. I agree with you completely. And it's very clear that the that the things become second class in the boundary. And I don't know. I mean, I agree, also agree that this is structurally similar 441 01:11:29,250 --> 01:11:31,800 To what happens in your self 12 case with 442 01:11:33,000 --> 01:11:35,130 That you were considering in the in the 90s. Right. 443 01:11:36,600 --> 01:11:38,190 Right. Well, thank you, thank you. 444 01:11:40,740 --> 01:11:41,190 So, 445 01:11:42,300 --> 01:11:45,090 Yeah, so I mean what your main point was that 446 01:11:46,530 --> 01:11:56,490 That's in the examples that you consider at least you don't know didn't introduce additional degrees of freedom on the boundary that the tedious very defined and complete answers. 447 01:11:56,760 --> 01:11:58,920 Yeah, that's one of the main points. Yes. 448 01:11:59,130 --> 01:12:01,470 Okay, so I understand that I appreciate very much 449 01:12:03,000 --> 01:12:08,040 But I like understand better the other part of the thing. So now we have this equation. 450 01:12:09,240 --> 01:12:10,950 So if I go to 451 01:12:12,870 --> 01:12:17,010 I think he does probably page 15 just let me see what which basic is one second. 452 01:12:20,250 --> 01:12:21,450 Yeah. Ah, well, sorry. 453 01:12:22,920 --> 01:12:36,510 Okay. Yeah. So I mean, here again just to recall, you're, you're looking at the first part, which is really the punch again theory, in which case there is no boundary determine the simplistic structure or 454 01:12:37,320 --> 01:12:43,590 Are the action. So now I just say that we want to make this boundary term. 455 01:12:46,380 --> 01:12:49,620 We need him to impose boundary conditions right here. 456 01:12:51,510 --> 01:13:00,960 So one, one possibility is to make this don't manage this the surface to vanish by just using the boundary condition to be fixing the connection. 457 01:13:01,470 --> 01:13:15,990 So space time connection if you like. So, that is to say, Be as well as fire on the boundary, in which case this Margarita manages and everything is okay. Yeah. And that would be perhaps like like the the the choice. One that yeah, got up here. 458 01:13:17,100 --> 01:13:17,370 I 459 01:13:17,730 --> 01:13:18,180 Will know 460 01:13:18,960 --> 01:13:20,250 That, well that's 461 01:13:22,170 --> 01:13:22,920 That's us. 462 01:13:26,010 --> 01:13:32,220 There's like a third choice because you're killing everything there. Right. You're just saying that you're going to fix all the components. 463 01:13:33,630 --> 01:13:34,410 To fix fine. 464 01:13:35,400 --> 01:13:38,310 But I don't, I don't see what else we could do in order to 465 01:13:39,510 --> 01:13:41,340 Because unless you also want to 466 01:13:42,510 --> 01:13:47,760 Put conditions on the fields themselves on the boundary, not just on the variations 467 01:13:48,030 --> 01:13:57,540 Yeah, but, for instance, I mean, there's one example in this case of Maxwell, there is a perfect boundary conditions. So, you, you, you ask the the the 468 01:13:58,530 --> 01:14:06,120 perfect conductor boundary conditions you ask the boundary IBA behave as a perfect conductor and that tells you that okay the fire has to be 469 01:14:06,570 --> 01:14:15,720 Constant, this and that and and that kills have all these terms and everything becomes well defined and his differentiable job just by asking this boundary conditions which are 470 01:14:16,950 --> 01:14:20,280 Not as strong as killing both, am I 471 01:14:21,330 --> 01:14:24,060 Getting that apply because fires constant. Yes. 472 01:14:24,090 --> 01:14:28,200 And the other like the other term is is skilled, but because of this conditions. Yeah. 473 01:14:29,430 --> 01:14:29,730 So, 474 01:14:29,790 --> 01:14:33,990 Yeah, because they're not not not allowed. I love is also zero and the 475 01:14:34,290 --> 01:14:36,600 Napa five zero. Therefore, I just left with this. 476 01:14:37,200 --> 01:14:38,670 Yes, it is arbitrary. 477 01:14:39,210 --> 01:14:43,410 Yes, it is arbitrary and if one of the conditions. Is that a piece 478 01:14:47,790 --> 01:14:49,770 I think is proportionality or 479 01:14:50,910 --> 01:14:54,660 Well, it makes it fun contracted with our punch. 480 01:14:55,710 --> 01:14:56,130 And 481 01:14:56,790 --> 01:15:00,600 But, but that's that we can condition them and the magnetic field. Lot of the electric field right 482 01:15:02,700 --> 01:15:02,970 Well, 483 01:15:03,180 --> 01:15:05,430 Yeah, here, your last patient components of f. 484 01:15:07,080 --> 01:15:16,020 Yes, yes, this is yeah this is on the magnetic field. Yes, but this perfect conduct commander again issues involved the connection and therefore the magnetic field. So also sits, it's not 485 01:15:17,730 --> 01:15:24,060 Yeah, but what I'm saying is that this choice we choose us sometimes he is such that this person cancels. 486 01:15:26,970 --> 01:15:44,130 OK, so now my question is really that I would like to understand what the differences between the two things that happened right i mean in the in the punk jag in case and your turn. Simon's case. So because I'm action was as a function on the space of fields was exactly the same. 487 01:15:44,430 --> 01:15:44,760 Yes. 488 01:15:45,930 --> 01:15:54,900 So you just chose to write one term as a boundary term in the second, the second part and the first party kept it as a volume. Yes. Okay. 489 01:15:55,650 --> 01:16:08,010 So, therefore, what live. So what I'm still not clear about here. So if I were to take the brutal choice in which delta a, b is equal to zero and delta phi is equal to zero as a boundary condition. 490 01:16:08,820 --> 01:16:23,790 In the first case in the jag in case, then the surface time is zero. And then I don't even have to add. In addition, that little omega or little W should be zero on the boundary because delta zero so digital W also, of course, has to be zero. 491 01:16:24,900 --> 01:16:28,320 And so in this case, I don't really have any boundary degrees of freedom at all. 492 01:16:29,220 --> 01:16:33,750 Yes. And then you kill the assignments, you know, sense if you want to go that way. Right. 493 01:16:33,870 --> 01:16:42,150 So that's that. But the way that you can turn Simon's degrees of freedom is by saying that you keep them to begin with, but 494 01:16:43,260 --> 01:16:44,160 I will kill them. If 495 01:16:44,880 --> 01:16:58,980 You don't kill them. I just do the Hamiltonian malaguzzi that includes them and we get the same constraints on them or the end of the day, which is, which are the second class constraints on some so we 496 01:16:59,730 --> 01:17:06,450 Will we will see it but it's you impose a second class constraints, you don't have any any degrees of freedom on the boundary left. Is that correct or not. 497 01:17:06,840 --> 01:17:20,820 Well, that depends on the on the details of like the believer, the boundary and song right because you, you may have a steal the political degrees of freedom. If the boundaries non trivial and song so so you'll get steal those 498 01:17:21,090 --> 01:17:23,700 Those stickers. What do you mentor, but I don't know. 499 01:17:24,720 --> 01:17:27,150 I mean you got that punches punches, then 500 01:17:27,480 --> 01:17:31,530 No, no, you look, you got a bunch of people you could have been no 501 01:17:33,540 --> 01:17:37,980 Boundaries, which are have a non trivial amount of the grouper. 502 01:17:40,410 --> 01:17:42,510 Okay. But then, then it also 503 01:17:43,920 --> 01:17:52,920 I'm trying to understand why, in one case you you are yet. So you're saying that there are degrees of freedom left in the in the in the term salmons case on the 504 01:17:53,790 --> 01:17:54,630 When I'm saying that 505 01:17:55,740 --> 01:18:03,960 You use that out of degrees of freedom and also the degrees of freedom which which I just Apollo, you can write some I'm just not seeing that 506 01:18:06,840 --> 01:18:08,550 What I'm saying is that if you are 507 01:18:09,480 --> 01:18:10,140 Right. Oh. 508 01:18:11,490 --> 01:18:22,410 Yeah, yeah. In that sense, but what I'm saying is that you could also have it by looking yourself Maxwell country again you could have degrees of freedom remaining on the boundary 509 01:18:22,740 --> 01:18:31,590 Right, just as you were saying in this example in which little omega is zero because you're dealing kill them with engagement as you were expecting. 510 01:18:32,370 --> 01:18:39,570 So what I'm saying is that you do if you are consistent with some boundary conditions in the Maxwell Pontiac and you know the exactly the same. 511 01:18:40,290 --> 01:18:50,130 On Maxwell turn Simon's you're going to arrive at the same degrees of freedom on the Bounder which could be zero or or more. So depending on 512 01:18:50,610 --> 01:19:00,210 On the details of the boundary conditions, but any choice which is consistent in one case is going to hear something consistent. The other case, and they're going to coincide. That's, that's the 513 01:19:00,750 --> 01:19:07,890 Statement here and I was particularly big about not going into the details of what the boundary conditions was going to happen here and there, because 514 01:19:08,430 --> 01:19:15,720 I would take me like twice at that point. But I'm just just they just have the argument or the main point here is that 515 01:19:16,590 --> 01:19:29,790 That we get exactly the same thing, either by starting with the bulk theory or by Max will close turn sense in terms of whatever the remaining the rates for in a day at the bundle. Okay, so 516 01:19:29,850 --> 01:19:31,860 Let me understand why are you saying then that 517 01:19:33,480 --> 01:19:40,560 If I chose some boundary conditions in order to kill the surface them this equation 19 that I was showing before 518 01:19:41,640 --> 01:19:42,720 There's some 12 519 01:19:43,170 --> 01:19:43,380 Yeah. 520 01:19:43,500 --> 01:19:45,360 But just some boundary conditions. 521 01:19:46,140 --> 01:19:46,500 Yeah. 522 01:19:46,980 --> 01:19:47,580 That's one of the 523 01:19:47,820 --> 01:19:59,700 Things that you have to kill it. This is not the only one that because you have to, you have to make sure that their primary constraint is 60 and is also differentiable, and you have to also check that the 524 01:20:03,150 --> 01:20:11,850 21 is skilled and that has to do also with 20 minutes or so, one of the questions is 19 but 525 01:20:13,170 --> 01:20:19,980 Yeah. So look, look. Let's continue. I'm just clarifying that there are more conditional. But yes, I suppose that we had satisfy all these conditions. So, 526 01:20:20,100 --> 01:20:22,470 I do say that is a one to one correspondence. That's my question. 527 01:20:22,860 --> 01:20:29,700 That I choose certain boundary conditions in the punches in theory, in order to get what you say is consistent richer. 528 01:20:30,090 --> 01:20:31,890 Yeah, like as then 529 01:20:32,430 --> 01:20:39,930 There is a one to one. But then the second is that there is exactly one corresponding conditions, I can put in the chance I'm a sector. Yeah. 530 01:20:40,470 --> 01:20:41,010 Yeah, that's 531 01:20:41,730 --> 01:20:49,500 That's it. And then the two things are equally equally as each other. Yes. And, but in both of both these cases they may be 532 01:20:50,790 --> 01:21:04,500 Terms, there may be a boundary terms that are left. So there may be a boundary degrees of freedom that are left yes and and both cases, you get evolution equations for those boundary degrees of freedom as well. Yes. Okay. Thank you. 533 01:21:13,680 --> 01:21:14,520 Questions. 534 01:21:21,300 --> 01:21:23,820 That is not the case that, let's thank our speaker again. 535 01:21:24,330 --> 01:21:25,530 Thank you everyone. 536 01:21:36,180 --> 01:21:38,610 So how do we disconnect from this thing. 537 01:21:41,790 --> 01:21:42,210 Meeting. 538 01:21:42,900 --> 01:21:44,130 meeting you. Okay, bye bye