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