excited when they're going trucking. It's going to be a good day. I'm going to tell myself that over and over until it happens. Good morning so far, so we're already off to a great start. I'm not too sure what what they have planned for me today yet, but whatever it is, I'm ready for it. That's our load. It's a cement column of some kind. It's going to a job site downtown Winnipeg. So the hardest part about this load is going to be getting downtown Winnipeg. Oh, there's nice premium air in those tires. You can just tell by the weight. Oh yeah, by the way it feels. That's good air. That's some good air. All right, let's see. We got some brake lights going on back here. We got some signals going on. We got mudflaps going on. We have a license plate light. License plate light going on. Fantastic. I love it when everything works. That's great. How about these tires? Oh yeah, that's good. Oh, how about these tires? Oh, wonderful. Everything's working on this trailer. I told you it's going to be a good day. So I got to figure out how heavy this cement column is. I'm guessing two, four, six straps. Six, they're good for 5,500 pounds each or 5,400 pounds each. Let's rate that down to 5,000. So six times five, that would be good. Four, six times five, 35, right? Five can, 15, 20, 25, 30. Trucker, not a mathematician. I'm not a scientist either. I'm not a rocket scientist. I'm only saying it's 30,000 pounds approximately. So if this thing's over 30,000 pounds, I'm going to add an extra strap on there that'll bring up 30. Let's go see how heavy it is first. I can't imagine this thing being more than 30,000 pounds though. It's solid cement though, so we better go check it out. I've got my gloves up on the dash that are warming up and drying out. Like I've told you in past videos, the gloves, they keep my hands dry. They do a very good job actually really like those gloves, but you still sweat into them. And when you get them wet from your sweat, it's very hard to dry them out. But as long as you put them on the dash there, in between deliveries and stuff, they dry out, they dry out pretty quick, or at least they warm up so they're not cold. I'd still recommend them. This guy's taking his sweet time getting past me. Come on, buddy. I don't like it when people drive right beside me. Come on, bud.  So this cement column is going, like I said, downtown Winnipeg. This should be fun. We should arrive right on time. I didn't want to be too early to this one since we're downtown. If you're too early downtown, I've been told that there's somewhere to park there. The other driver said it's somewhere to park, but I didn't want to risk it and, you know, clog up traffic longer than I have to. When I get there now, I'll be right on time. They'll be waiting for me. They'll block traffic off for me so that I can back in. And I'll probably be unloaded with a crane of some sort, I'm assuming.  Are you going to do it in your Porsche? Smart. Good choice. Good choice. I thought for sure she was going to do it.  So this is where I'm delivering to. I was told to park right here before this intersection. And I'm guessing that crane is for me. It's doing some other crane stuff right now. I'm building something there. You know, this apartment building right here, this one, there was a time when I was actually looking at apartments in there. That was before they redid it. And I was like, ah, before it was pretty old and old and ugly. There's a reason they renovated the whole thing. Now it actually looks pretty nice. It was probably very expensive. This would have been a much better part of downtown to live in than the area I lived in. I lived on the other side of Portage Avenue over there, a little further that way, right behind Portage Place Mall. It was, it was a little sketchy. Right downtown Winnipeg. I was told to wait here and they're going to come guide me in block traffic and tell me where to go and stuff. We'll see if I can show you how it's done. We'll see. I'd really like to show you how it gets unloaded, but if I can't, then I apologize in advance and I'll talk to you guys afterward. Pretty straightforward. The crane comes down, hooks on, lifts it off. I know it'd be way cooler if you could see yourself. We'll see. We'll see what I can do.  Leave my flashers on, which means, hey, I'm parked here. I'm doing something very important. Leave me alone. Parking place. I'm allowed to park here, okay? They told me so. This is where we line up or stage or whatever you want to, whatever you want to call it. I'm going to walk over there and ask some questions. This is my first time here. Let's see how we're going to do this. The jet's back. The NHL team, they, they located the arena downtown. It's just behind us to our right. And since then, like downtown was getting pretty dirty and dreary and dangerous, a lot of crime. And since, you know, the arena was built, it sort of kicked off a new revitalization in Winnipeg. And very good job. Winnipeg a hard time. And you know, it's our, it's our capital city. I like to poke fun at it, but it is a really nice city. There's a lot of neat attractions to see. A lot of neat things to see if you ever rode here. It's not a big city like Chicago, not even close. It's like, it's like the size of a Chicago suburb. I'm pretty sure there's about 100 to 750,000 people in Winnipeg. Just got word about what I'm doing tomorrow, because today is finished. We did that download, download the downtown load, downtown delivery earlier this morning. Got out of there by about noon. I had a few other things to do in errands to run this afternoon yet. Had to do a trailer swap in the east side of Winnipeg. I didn't bother filming that as just there and back. We already had that downtown footage. And I think that was sort of the most exciting part of my day driving downtown. And it's not as intimidating or as hard as it may look or seem. For the most part, everyone on the road, they have eyes. They see you're there as a big truck. They just don't like it that you're there. Hey, they see you. They're not going to run straight into you.  Most people have that natural instinct. It's really not that bad.  They don't like it.  And they don't like your truck. And they don't like all the noise it makes and how big it is. And so they make that very clear very often just regular people on the street and roads. But we're truck drivers. We know that nobody wants us around really. I don't mean that in a bad way. I mean, I get it. When I'm in my pickup, I'm about to jump in my pick up and go home. I don't want to be stuck behind a slow semi on the way home either. I don't want to be in front of the truck. I don't want to be behind the truck behind the truck who knows if he's throwing rocks out of his tires or something happening going slow takes forever to make a corner. I get it. I get it. So I try to remember that when I'm in the big truck that everyone around me is getting frustrated. Just like I would be getting frustrated in their shoes. It's just when I'm in my pickup, I understand why the driver is going slower. The hardest part about going downtown as a trucker is that they don't all know why you are doing what you're doing. Why are you taking this wide corner? Well, look, it looks like he's turning left. Let me cut in here and make my right turn. Oh, wait, why is he coming back right? That's the hardest part. As long as you are patient, keep in mind, you know, other people don't quite understand how much room we need to work all the time. For the most part, they'll stay out of your way. Driving downtown. And Winnipeg's not really a big intimidating city to drive downtown in either. And I'm familiar with it.  I went to high school in Winnipeg in the St. Boniface area there, spent a lot of time downtown. I lived downtown for a year. My first driving job when I was 16 was delivering pizza around the city. I know the city like the back of my hand. I used to just go out and drive around. When I lived in the city, for about three years I lived in the city, I used to just go out and just explore.  I probably missed maybe, oh, I could probably count on one hand, the amount of roads I didn't drive to. I drove everywhere. I've always loved driving. It's always been my passion, whether trucks or cars. So I know the city, I'm more comfortable in Winnipeg. But if I were to go to like a bigger city in the U.S., let's say like New York, that came maybe, maybe not that extreme Chicago. Maybe like, what's a big city that I'm not familiar with at all? Let's say even like a western city like Phoenix, I've never driven in the city of Phoenix before. Or Denver, Colorado, or something like that. And if I had a delivery like this, downtown Phoenix or Denver, yeah, I'd be a little bit more stressed out. But I'd just take my time. Take my time and I'd pre-plan my trip, look at the weather, look at the traffic reports. You guys know all this. I'm gonna hop in my pickup right now. It's time to go home. And see what the dogs are up to. Britt is not at work today, so she'll be at home when we get home today. That's exciting. That's nice. We don't get very many days off together because we're both working like crazy. We have a house to build, and it's not going to build itself. So we're very busy working all the time. Oh yeah, we also have this thing that we that we're really working a baby. It's very expensive for us. Did I tell you the IVF treatment, the sort of the procedure that we're going through? You know how much that is? $16,500. Whip yourself with that number a few times, and you'll know how I feel. So we're both working very hard, and but but it's a road we're gonna get through.  We're gonna do it ourselves. We have the means to get there. We just gotta be patient and wait. Let's go home. Let's go home. I've been talking for five minutes already. I'm already halfway out the door. I'm still talking to you. Can't forget you guys. He thought I was gonna leave you in here. You sure talk, y'all, man. It's a vlog. I'm supposed to talk. It's a vlog in video form. Vlog. It's a new thing. Well, it's actually not that new. Hey, kids are weird these days. Chevy, do you think I'm weird? Absolutely. But I like weird. One sec. Let me tell you a story. Okay. You ready? I like weird people because I'm a weird guy. Dad's a weird guy and mom's a little weird sometimes, but she's not as weird. She's really nice. She tells me I'm a good boy every day. Is that all you wanted to say, Chevy? Is that your story? Just that we're a bunch of weirdos? Yeah, pretty much. I think everyone's gathered dad by now. I wouldn't have it any other way. Hey, thanks for watching my dad's vlog, kiddie. You're cool. What else to say? I'm kinda nervous. When you put the camera on my face, I get nervous. I'm kinda itchy. I get itchy when I'm nervous. Sorry, guys. This family may be a little weird, but I wouldn't trade them in for the world. I wouldn't even trade them in for 10 weasels. I wouldn't trade them in for 10 weasels or weasels. Yes, that's it. That's a lot of value. You sure do? Yes, you're my family. Thanks for hanging out with me for today, everybody. I appreciate it. Hit that like button if you did like the video and share it with your friends. Maybe they'll like it too if you liked it. And tune in tomorrow. Subscribe if you haven't already. You know all the typical YouTube things. You know the drill. Subscribe button. It's down below.


Ok, bravo povrza. Zelo tudi, da smo nekaj drobno zelo počaj, kako si se zelo, da smo imeli, izvediliko tako ljudi, ali je so pravdjev svoj.  The supremum of all possible combinations, this is clearly less than, this is equal to actually equal to the supremum over all x, y in omega of f, w squared. Because you take the supremum over all possibilities, right? So this was in a conversation with Hoku and Salako, I think yesterday we realized this. Since this is the supremum, then of course it means all possible combinations of this. So of course this is always less than or equal to this one, because if one of the, you can always take here the biggest one of these two, right? And you can put it in here, or the smallest one, the smallest one of these, right? And so this is equal, less than or equal to k. So what we had is, we had this as our assumption, okay? And we had this that came out in the proof in the equation, and we just needed to show that this was less than or equal to k, so it's this simple observation. Okay, so let's get back to what we completed last time. So last time we completed the proof of the fact that if we have a piecewise C1 map that is uniformly expanding and satisfies a certain property, which is this property here, then Lebesgue measure is ergodic. So today the first thing I want to do, two things, depending on how much time exactly we have, the first is an application of this result to a specific map called the Gauss map. So the Gauss map is a very classical dynamical system that was studied by Gauss for reasons that are slightly different from the ones we are studying today, because it has some connection to number theory related to continued fractions. But this is the map. X goes to 1 over x, mod 1. So this is a very interesting map, because it turns out that it is indeed a full branch map. So what does the map look like? So for all n in n, we have that f maps the interval 1 over n plus 1, 1 over n. Let's just map 0 to 0. OK, let's map it on the open interval. OK. Well, when 0 goes to 1 over 0 is not really well defined. No, no, no. Ah, here it's OK. Yes, but we want to iterate it. OK. We can also define it just to be 0 in 0. f of 0 equals 0, and f of x equals 1 over x to the other points. So this is a full branch map, and you can easily see what the structure of this map is, so it maps the interval 1 half, from 1 half of 1, it maps to, let's see, so 3 quarters, so something like this. And then it maps the interval 1 third, 1 half, also to the whole thing, to everything. It's not piecewise affine, right? It's got a small, the derivative changes a little bit, and then 1 fourth, 1 third, like this, and so on. It's got countably many branches. It's a C1, piecewise C1 full branch map. Lebesgue measure is not invariant in this case, because if you take an interval here, AB, this is not piecewise affine, so the preimages, it has a countable number of preimages, and some of them does not correspond to this Lebesgue measure, but Gauss himself, he found an invariant measure for this map, a very explicit invariant measure for this map. So mu is called the Gauss measure, and is given by mu of A equals 1 over log 2, the integral of A, the integral of A of 1 over 1 plus x, the mu. Let's put Lebesgue measure here. So what we're going to prove is this theorem. As mu g mu is invariant, ergodic. So let's prove, first of all, that it's invariant. This we're going to prove directly. Lemma 1 mu is invariant. So let A equals AB be an interval. And then we have that mu of A is equal to the integral, is equal to 1 over log 2 integral AB dm, and this is just the integral over this interval, which is in fact 1 over log 2 times log of 1 plus B over 1 plus A. You can compute this integral explicitly in this case. So what do we need to do? We need to estimate. So this is the measure. This is what this measure gives to this interval AB. Of course, it depends on the positions of AB, and that's what you get. And now we look at the preimage of AB. So A equals AB has a countable number of preimages. So mu of the preimage AB is equal to mu of the union, the union n equals 1 to infinity of the intervals 1 over n plus B 1 over n plus A. Because that is exactly what the form of these preimages is. If you look at the explicit form of the map and you look at these preimages, so these are two points such that this 1 over x, 1 over this gives A, 1 over B gives this. And so all the images are exactly of this form for all the different values of n. You can calculate them explicitly. So this interval here is 1 over 2 plus B over 1 and 1 over 2 plus A. So this interval here, this is the interval 1 over 2 plus B and 1 over 2 plus A. When you take this and you take 1 over x, so this maps to 2 plus A mod 1, which is equal to A. So this point here, sorry, is the other way around. This is 2, yes, B and A. This is A maps to here. You can easily see that the image of this interval maps to AB, because you take 1 over A of this gives m plus A mod 1 gives A and this 1 over m plus B, 1 over this mod 1 gives B. So these are all the preimages of these intervals. So this is what we need to estimate. We want to show that the measure, mu measure defined like this of this union is exactly equal to the measure of AB. So this is just going to be a direct calculation, another one line calculation. So what is the measure of this union? These are all disjoint, so we can write this as the measure of the sum, so we can write this as the sum n equals 1 to infinity of 1 over log 2 and then for each interval, since that is an interval, we will use this formula here, so we will get log, sorry, I am getting a little bit clamped here, log of, let me write it like this, 1 plus B, which in this case is this the second endpoint, 1 over m plus A divided by 1 plus 1 over m plus B and this is equal to 1 over log 2, the sum n equals 1 to infinity of if you kind of multiply this out and actually I want to write this as a product, so I take the log out, let me take the log out and write this as a product, n equals 1 to infinity of, ok, if I kind of simplify this, what I get is n plus A plus 1 over m plus A times n plus B over n plus B plus 1 and if I write this out, this is 1 over log 2, log, so what is this product?  We have here 2 plus A cancels this 2 plus A 2 plus B here cancels this and then these other ones are also going to cancel with what comes afterwards and what you're going to be left with is just log 1 over A so if you write the next time you will see that these cancel also and so we get that 1 over log 2 times log of 1 plus B over 1 plus A and this is exactly the definition of mu of A B, yes. In order to enter this sum inside the algorithm we have to know that this sum converts how do we prove that this sum converts? In order to here well you're just doing term by term I mean you're just writing the sum and I think it's fairly straightforward in fact to see that it converts so this is very unusual to have an explicit formula for the invariant measure like this it's very, very special case there's a couple of other examples but in general it's very unusual in this case however we have an explicit formula and so we can check directly by this calculation that this is indeed invariant so this way this proves that we have a measure that is invariant now what we're interested in is ergodicity so this is when we would like to apply our result from the previous lecture because this is exactly a piecewise C1 full branch map what did we prove in the previous lecture can we just apply our result here? that's right so there's two issues one is we need to check the conditions so we would need to show that it's uniformly expanding and it satisfies this condition on the second derivative over the first derivative squared we can show that in a second but what is the conclusion of the theorem that we proved last time? ergodicity of what? of Lebesgue measure but this is not Lebesgue measure but this measure is absolutely continuous with respect to Lebesgue measure is that enough? this equivalent means that they are both absolutely continuous with respect to each other which is not always the case but often is ok let's go step by step first of all let's show that Lebesgue measure is invariant so first we show sorry is ergodic first show that Lebesgue is ergodic so we need to show two lemmers lemmer 2 and the derivative is uniformly expanding is this true? why? ok I will leave that as an exercise because it's very simple ok so the derivative is actually everywhere bigger than or equal to 1 it's only equal to 1 at the point 1 it's everywhere bigger than 1 except at the point 1 but remember uniform expansivity does not need the derivative of the map to have derivative bigger than 1 everywhere it needs to satisfy the slightly weaker definition that I gave so let me leave that as an exercise good exam question this one lemmer 2 supremum overall x, y in partition sorry x, y in ohm so supremum overall omega in the partition supremum overall x, y in omega of f double prime of x of y squared less than equal to k so there exists k such that this is true ok I will leave also this as an exercise because all you need to do is calculate the first and second derivatives and check this so then the big measures are got so then we need just one more lemmer so sorry that was lemmer 2 let me call this lemmer 3 let me call this lemmer 4 is that if f this is a very general lemmer f i to i is a measurable map mu 1 is a probability measure that is absolutely continuous with respect to mu 2 mu 2 then if mu 2 is ergodic implies that mu 1 is ergodic ok which is what you were saying before so we don't need them to be equivalent we just need one to be absolutely continuous with respect to the other one sorry no no no because this is mu 1 is absolutely continuous with respect to mu 2 and we will use that remember what absolute continuity means it means that if something has mu 2 measure 0 then it's got mu 1 measure 0 that's the direction of the implication ok and so it's easy so we want to prove that mu 1 we will assume that mu 2 is ergodic we want to prove that mu 1 is ergodic so how do you prove ergodiste again let a be a measurable set and suppose that mu 1 of a is greater than 0 ok we show that mu 1 of a is full measure this is what we need to show to show that it's ergodic sorry so by absolute continuity we have that mu 2 of a is positive because if mu 2 of a was 0 then mu 1 of a would be 0 that's the direction of the implication absolute continuity and by ergodiste of mu 2 this implies that mu 2 of a equals 1 and this implies that mu 2 of i minus a equals 0 and this implies that mu 1 of i minus a equals 0 by absolute continuity and this implies mu 1 of a equals 1 so this is what I meant when I said I made a comment when I stated the theorem about the ergodiste with respect to Lebesgue even though Lebesgue measure was not invariant the fact that we were able to prove that Lebesgue measure is ergodic gives a fairly strong statement in the sense that any other measure that is invariant and absolutely continuous with respect to Lebesgue will automatically be ergodic because of this simple lem in the particular case is this measure here absolutely continuous with respect to Lebesgue so this Gauss measure because of this form it has a density here it is of the form where it is given by the integral of some density and so it is automatically absolutely continuous because if you take a z set that has zero measure with respect to Lebesgue you will get zero for this integral and so you will get zero for mu so that gives absolute continuity so mu is absolutely continuous with respect to Lebesgue and so mu is ergodic and this completes the proof of the ergodiste invariance of the Gauss measure for the Gauss map ok, so now let me complete finish with a proof I will not unfortunately I think be able to finish completely this proof but I think I want to talk about it a bit because it's really a kind of key and natural question at this point so we've studied piecewise affine maps maps like this and we've studied maps and we've proved that if you take so for piecewise affine so what we have is for piecewise affine we have that Lebesgue measure is invariant and ergodic and for piecewise c1 plus uniform expansion plus that condition on the second derivative plus the condition that f2 over f1 squared is bounded this implies that Lebesgue measure is ergodic but not necessarily invariant ok, as I mentioned last time what we're interested is invariant ergodic measures because even though the ergodiste of Lebesgue because the ergodiste of Lebesgue does not give us the Birkov's ergodic theorem to study the statistics of all this so we've applied this to the specific case of the Gauss measure in which to the Gauss map in which we know the measure explicitly and because that measure is absolutely continuous we apply this map and we get the ergodiste of that measure but what about in general a very simple situation in which these properties are satisfied is if for example you have just the map piecewise affine map like 2x mod 1 and then you perturb this a little bit so I change this map I take a small c1 perturbation for example and I just take something that is piecewise c1 almost piecewise affine but of course in this way it destroys all the structure that we have from here and it becomes something like this and it's easy to show that it's uniformly expanding because the derivative was constant equal to 2 here so if you make a small perturbation the derivative will be close to 2 this is trivially satisfied because f1 well because f2 is bounded away from zero everything is bounded away from zero and infinity so it's very easy to show that this is true so in this case we still get the Lebesgue measure ergodiste but do we have another measure that is for example absolutely continuous with respect to Lebesgue measure in this case this is the question so in this context is the much more general context the fact that Lebesgue is ergodiste so that we have an absolutely continuous invariant measure that will give us an absolutely continuous invariant and ergodiste measure so the question is when does there exist an invariant measure mu which is absolutely continuous with respect to Lebesgue measure because that is really understanding question that comes from this study you would expect that there should be because look you've just made a very small perturbation here is Lebesgue measure you make a very small perturbation Lebesgue measure is no longer invariant but you'd expect that there should be some invariant measure that is similar to Lebesgue so theorem piecewise let's see one full branch with bounded distortion property so remember assuming the bounded distortion property is more general than assuming uniformly expanding in that condition on the second and first derivatives so then f admits ergodiste invariant probability mu is absolutely continuous with respect to Lebesgue so this you could consider the kind of theorem that we have been leading up to right from the very beginning of the course because what this means is that for almost every point for Lebesgue almost every point so we have our interval here 0,1 and this means that for Lebesgue almost every point you have described the statistics of the orbit using Birkov's ergodic theorem so the basin of attraction of this measure has positive measure so this is a physical measure in the sense in which I define physical measures like at the beginning of the course so this gives a very general class of systems for which you have a physical measure in this way yes because that will satisfy this theorem so if I take for example if I take well any piecewise affine let me not take it so special let me just take a piecewise affine map like this and let me now take some small perturbation not even a small perturbation just small perturbation like this then it is a piecewise c1 full branch and it satisfies those two conditions which imply the boundary distortion property so it satisfies uniform expansivity and second derivative over first derivative square is bounded and so it particularly satisfies the boundary distortion property so this theorem applies to this class of example and much more generally what it says is that if you take any map even with a countable partition and you have this boundary distortion property which you can check for example the uniform expansivity and the second derivative then there is an absolutely continuous invariant measure probability measure so the Gauss map becomes a special case of this theorem also in general we cannot have an explicit form of this of this measure which we have in the Gauss map but that is a special case of this yes no I'm just giving some examples here as I said in the previous course if your map is not continuous if it's piecewise c1 then it's not completely clear what we mean by c1 perturbation because you could also perturb a little bit the point at which this change but it doesn't matter in this particular case it doesn't matter because any reasonable way as long as the perturbation continues to be full branch and has the boundary distortion property it doesn't apply so really we don't really want to think of these as c1 perturbations of piecewise affine maps this is just a very general class of systems I'm just giving you the example the reason why I use this example is because I say that even though in the piecewise affine the big measure is invariant and ergodic even if you make a smallest perturbation you lose the invariance of the big measure in this example you have no idea what you've got even if you make a very small perturbation but that case is covered by this theorem because any small perturbation in a reasonable sense will continue to satisfy these properties and therefore this shows that you continue to have an invariant measure the very interesting question is this measure close to the big measure when you take a kind of perturbation ergodic measure that is close for example in the weak start topology to the other measure does the measure change continuously with the map this is a very interesting question and this is studied in many dynamical systems and in this case it's fairly easy to show that yes indeed this is the case because which is what you expect because even though the big measure is not ergodic if you make small change then you know the measure will shift around but it will be close to the original measure in the weak start sense so it is also possible to show that this measure depends continuously on the map if you define the topology on this class of maps in a way that is reasonable but this is a really much more general problem and it's very well studied and in many cases we do not know the answer so I have now given you some foundations in this course this class of full branch maps are kind of a basic class of maps and really you can use these techniques to construct absolutely continuous invariant measures and other physical measures for many different dynamical systems and in general after you prove the existence of such a measure the next question is ok, does this measure depend continuously on the perturbation it's a very interesting question it's a kind of stability it's like structural stability in a topological sense structural stability means that as you change things there's no bifurcations the topological structure stays the same from an ergodic theory point of view you want to know if the measure depends continuously on the map so I will not have time to prove this but almost I will just give you a sketch in the argument and I will leave one proposition unproved because we don't have time but it's really not very difficult it's the same kind of techniques and calculations that we have been doing so far so how do we prove so what do we really need to prove here what have we already proved all we need to prove is that there exists a measure that is invariant and that is absolutely continuous because the ergodicity we get for free because we've already proved that Lebesgue measure is ergodic so if we get a measure that is absolutely continuous it will also be ergodic so all we need to prove is to find a measure that is absolutely continuous and invariant so we start with Lebesgue measure so let m is Lebesgue measure and then we define a sequence of measures mu n equals 1 over n sum fi so do you remember the definition of fi star fi star m of some set a is defined as exactly is defined as the measure of f minus i of a so remember we already used a similar kind of sequence right at the beginning of the course when we are showing the existence of invariant measures and this also gives you some clue right so by the same argument we know that any weak star limit point of this is invariant basically so by previous arguments weak star limit point is f invariant it's not completely the same because we used in the argument we used before we needed to use the fact that f is continuous which is not the case here ok, if we have time I will give you by maybe I should say by argument similar similar to previous arguments so if we have time I'll show you just the calculation in this case without using that f is continuous but the point is that it's not that difficult to show that any limit point is invariant so what we need to show and you know why there exist accumulation limit points of this do you remember by the compactness of the space of probability measures simply, right because each of these is a probability measure the average is also probability measure you have a sequence of probability measure so there exist weak star limit points by compactness so there exist limit points any such limit point is f invariant all we need to show that the limit point is absolutely continuous ok so why should it be absolutely continuous so notice that mu n is absolutely continuous with respect to the bag measure do you agree with that why is mu n absolutely continuous with respect to the bag measure from the definition because if you take a set that has zero the bag measure then its preimage will also have zero the bag measure so this will be zero so this will be zero so mu n will be zero so its absolutely continuous so that should be it does that imply that the limit yes well this is because this map I mean this is the boundary distortion implies that this map cannot send a set of a positively bag measure to a set of zero the bag measure this map if it was to send the preimage of any set of zero the bag measure has to have zero the bag measure otherwise you would have a set of zero the bag measure mapping to a set of zero the bag measure which would mean you have some kind of degener for example if the map was constant then you would do that you would send a map of positively bag measure to a single point which has zero the bag measure but this cannot happen because of the boundary distortion property the boundary distortion property says that all the relations are preserved ok so ok let me write this so since f is non-singular positive the bag measure sets map to positive so you are right this is something that perhaps I could spend a little bit more time on but I want because time is so short ok but it does depend on boundary distortion implies the map is non-singular and therefore this is absolutely continuous but is that enough if each mu n is absolutely continuous with respect to m does that imply that the limit point is absolutely continuous with respect to m your n-send is a to zero yes and that's why it's very complicated anybody disagree so suppose we try to do this exercise with the following map so suppose we take the map that you know very well zero one to zero one x goes to x over two is not full branch but we can still construct this sequence and we can still take the limit and we still have this absolute continuity property so what does the measure f star m look like for this map so Lebesgue measure is Lebesgue measure on zero one what does f star of m look like two multiplied by measure of a so let's see f star of m of a is equal to measure of f minus one of a so let's take a set here what is the measure of this set under f star m so we look at the preimage of a so we go what we need to do is we need to take diagonal so we need to look at a here and then we need to look at the preimage which is this this is f minus one of a excuse me right it's empty set exactly so what is the measure of that set if we take a then is zero so not all sets have positive measure which sets have positive measure where does this measure live zero to one half exactly because if you take a set between zero and one half then you calculate its preimage it will be somewhere and it will be twice as big but if you take a set between one half and one it has no preimage so this measure is completely living inside the interval zero to one half not only that but if you take a set between zero to one half its measure will be exactly twice the big measure of this set so what does the density of this measure look like the density of this measure looks like something like this this is two so the density df star m respect to dm is equal to two on zero one half so you get a measure that is living here and this density is equal to two in the sense that you need to multiply the levegg measure by two to get the f star m measure what if we do this again what if we look at f2 star m of a is equal to m f minus two of a so this measure lives by four so this measure here lives in zero one over four and its density is four because if you take a set in here and you look at this measure you need to pull it back twice so it becomes four times as big as it was so the f star two m measure of a is four times the levegg measure of the set a leaving on one fourth and its density is four it's still a probability measure because if you take the whole interval zero to one fourth its measure is one because you need to multiply its length by four and you get the measure equals one so you get a sequence of probability measure each one of these is absolutely continuous this one is absolutely continuous with respect to levegg in the sense that if you take a measure with a set with zero levegg measure you multiply by four you still get zero levegg measure so each one of these is absolutely continuous but what is the weak star limit of these measures that's right the weak star limit is the delta zero is the Dirac delta in zero which is the only limit you can expect because that is the only very measure that exists in this map because what does this map do every point converges to the point zero for this map so fn of x converges to zero for all x so the delta Dirac in zero is the only only invariant measure and since this sequence or in this case you don't even need to take the averages even this actual sequence itself converges to the Dirac delta converges to an invariant measure this sequence converges to an invariant measure then it has to converge to Dirac delta and you can see it explicitly this is actually a very nice example of where you see how this sequence of measures accumulates on a measure so this example which I would like you to review at home very carefully because it's an important and very useful example and I really see explicitly how these behave is an example of a sequence of absolutely continuous invariant measures not invariant, absolutely continuous measures converging in the weak start topology to a measure that is not absolutely continuous yes that's right, that's right the fact that the set of probability measures compact is just a general theorem of functional analysis that the unit ball of the continuous functions is compact in the weak start topology yes that's right, what we proved is that the set of invariant measures is also a compact subset of this compact so all of this example was just to emphasize the fact that we need some estimates here we need to use the properties of our full branch maps because what we've done here is really general I did not really use any properties I need either continuity or something to show that the limit point is f invariant but certainly the absolute I can do this in very general situations like this and the limit is not necessarily absolutely continuous even though each measure is so in relation to this it seems natural what is going wrong is that the density is blowing up so even though each map is absolutely continuous the region where this density is living is getting smaller and smaller and the density is blowing up so if we can control the density of these then we should be able to guarantee that it's absolutely continuous and this is just the proposition that I will state I will not prove it but it's not that difficult to prove so n equals d mu n by dm this is the density of each of these measures because each of these measures is absolutely continuous so it has a density and the proposition, the main proposition says that there exists k greater than zero such that what is what? soup here and ok we will not use this but let me write it for completeness we in fact have some additional properties on the density, no actually we will need them and for all n greater than equal to 1 for all x, y in i we have that h of y less than equal to k h and x times the distance between x and y which is less than equal to k squared times the distance between x and y so what this says is that these densities are uniformly bounded above and below and in fact that they uniformly lipshets independently of n uniformly in this sense so was this satisfied in the previous example of x goes to one half x were these conditions satisfied? they were not satisfied because the density was blowing up it was concentrated in smaller and smaller region it was getting larger, it was unbounded in n was here we are saying the density is uniformly bounded in n so just to conclude I will write the proof of why this proposition implies our theorem and then we will leave it as that so ok, so this is just a simple application of Askoli-Azela theorem because this is now proof of theorem assuming a position so hn bounded and equicontinues because it is uniformly lipshets so by a theorem called Askoli-Azela theorem it converges uniformly to a function satisfying the same properties so hn converges to h uniformly and h satisfies both of these conditions yes, some subsequences ok there exists a subsequence there exists a subsequence it says that this is a compact family a precompact family yes so let mu be given by mu equals integral mu of a equals integral a so we claim that this is the measure we need so what we've done is we've taken so on the one hand we had the weak star limit of these measures but weak star limit of these measures is not good enough ok, so what we do is we take the density of these measures and we show that the densities have a limit where we have much stronger information about this limit because we have these properties about the densities so we know that the densities converge to a very nice lipshets continuous bounded above and below function h which we use to define mu ok, so we took the limit of the densities rather than the limit of the measures and then clearly mu is absolutely continuous by definition and then let me since we have a few minutes left let me also show that the mu is invariant because what I said before is that the arguments that we used previously used the fact that f is continuous in this case we don't really have f continuous so we just have a slightly different calculation so let me give it here so mu is absolutely continuous now to show that mu is invariant to show also because we are not directly defining mu as a limit of weak star limit of mu n although it is essentially the same so notice that mu of a is equal by definition htm and this is equal to the integral of a of the limit of hn dm and now we used the dominated convergence theorem that allows us to take the limit out of the integral here, so this is the limit as n tends to infinity of a of hn dm hnj sorry, these are all sorry, this is all for the subsequence hnj and this is exactly equal to the limit as j tends to infinity of mu nj of a and by definition of mu nj this is equal to the limit as j tends to infinity of 1 over nj sum i equals 0 nj minus 1 of f star i m of a and this is just equal to the limit j tends to infinity of 1 over nj of the sum of i equals 0 nj minus 1 of the measure of f minus i so this does not give write exactly what we want but it's very useful to be able to write this in this way what we are saying is really that even though we've defined the measure in terms of limit of the densities this basically corresponds the measure of a is the limit of the measures of f star i m of a of these averages for each measurable set so from this we easily get the invariance of the measure so from this now to check the invariance of the measure take the measure of f minus 1 of a we can write using this formula here as the limit as j tends to infinity of 1 over nj from 0 to nj minus 1 of the measure of f minus i of f minus 1 so now I'm just applying exactly this way of writing it for the set f minus 1 of a that I have there and now if you rearrange things a little bit in the usual way you will get that this is equal to the limit as j tends to infinity of sum i equal 0 to nj minus 1 of the measure of f minus i of a plus 1 over nj the measure of f minus nj of a minus 1 over nj of the measure of a so I basically take this 1 into here and then I rearrange the sum to get this ok, this is very similar calculation to what we did last time so here in the limit so here you get of course that this the measure of f minus nj of a is less than equal to 1 always this is less than equal to 1 always as you divide by nj going to 0 the contribution of this is 0 so in the limit this is just equal to the limit as j tends to infinity of 1 over nj sum i equal 0 to nj minus 1 the measure of f minus i of a which is exactly by definition the measure of mu so this shows that mu is invariant mu is absolutely continuous so this is all we need because now we can apply the theorem that we had in the previous lecture and we know by the absolute continuity and the godiste of Lebesgue measure that mu is also ergodic so that exists in ergodic invariant absolutely continuous probability measure ah, good question how do you prove that this mu is unique why is it unique in the last 10 minutes is on this question so can you have two absolutely continuous so you are right so we still have to need that we still need to show that mu is unique show that if mu 1 is absolutely continuous in variant ergodic and mu 2 absolutely continuous with respect to and invariant ergodic implies mu 1 equals mu 2 this is what we need to show well, this is a more general statement but in particular it will imply that in fact we need something a little bit more here we need let me write it like this then either is singular with respect to mu 2 or mu 1 equals mu 2 so the reason is you can have this situation which is the example that we did at the beginning write if you remember where we had this example here remember this example here so in this example Lebesgue measure is invariant but it is not ergodic because Lebesgue measure is restricted to 0, 1 so this is 0, 1 so if we write mu 1 is equal to Lebesgue measure restricted to 0 1,5 and mu 2 equals Lebesgue measure restricted to 1,5,1 so mu 1 is Lebesgue measure normalized so mu 1 is equal to 2 times this and mu 2 is equal to 2 times that so here mu 1 is a probability measure which is absolutely continuous with respect to Lebesgue invariant and ergodic mu 2 is a ergodic probability measure ergodic invariant absolutely continuous but they are singular with respect to each other in the sense that they live in different places so this of course does not have uniqueness here you have two invariant ergodic probability measures so we need some slightly bit more information here in in this case what we've proved is a little bit more about the measure we've also proved that the density of the measure is bounded above and below everywhere whereas in this case the density of mu 1 with respect to Lebesgue measure on the interval is positive here but it's 0 in the part where it does not live mu 1 has a density which is 0 here and mu 2 has a density which is 0 here they are singular with respect to each other they live on different parts so the last missing ingredient to show the uniqueness here is to show that so we have proved density h equals mu by the m is bounded above below so if we have another measure so what we have here is we have also h1 bounded h2 bounded and then this implies that they cannot be singular and they have to be the same so why is that if mu 1 mu 2 are two such measures then by Bilkov's ergodic theorem and some phi composed with f i of x converges to the integral of phi d mu 1 for mu 1 almost every x and 1 over n the sum of phi composed with f i of x converges to phi d mu 2 almost every x so what does this mean so in fact because maybe I could have said it a little bit simplest because I hadn't prepared the answer to this question but maybe a simpler way to see is that because this density is bounded above and below then mu and m are equivalent as you said so m is also absolutely continuous so since h is bounded above and below then also the Lebesgue measure is absolutely continuous with respect to mu 1 and Lebesgue measure is absolutely continuous with respect to mu 2 and so this implies that the set of points that is mu 1 measure 1 has also positive Lebesgue measure in fact full Lebesgue measure and the set of points that has full Lebesgue measure sorry this this is because it is bounded below sorry is bounded below because the inf remember the inf of all h and x was greater than 0 that's right the inf this is the proposition that the inf of all x and all n is greater than 0 and the limit also satisfies that property so it's bounded above and below ok and so these are also absolutely continuous and so this implies that this is actually true for m almost every x and this is also true for m almost every x so using the fact that these two are equivalent you can show that this convergence holds not just for mu 1 almost every x but for Lebesgue almost every x and the same convergence has to hold for Lebesgue almost every x so the intersection of these two sets of full Lebesgue measure has to have full Lebesgue measure so it means that there is a for almost every x you have both of these convergence which mean for every continuous function this converges to this and this converges to this which means that these have to be the same for every continuous function which means that mu 1 should be equal to mu 2 I could have given a little bit more systematic essential reason for the uniqueness ok so mu 1 is equal to mu yes because if mu 1 has measure 0 well because basically you can write the density you can write m you can write 1 over h is the density of m is the density dm by d mu is 1 over h no we are assuming that both measures are in the same way oh I see you are saying mu 2 could be another measure ah you mean because I just say suppose there is some other absolutely continuously measuring measure where the density is not bounded above and below yes it doesn't matter I mean I don't know right now I don't know if I can recover the argument but if you look at this closely you will see that you only need it for mu 1 actually because mu 1 you only need because this is true for mu 1 ok ok you are right so this is true for mu 1 is that this convergence happens for Lebesgue almost every point if you have another absolutely continuously measuring measure even not knowing that you have equivalence the fact that this is true for mu almost every x will imply that it is true only for the positive Lebesgue measure for set with positive Lebesgue measure and that is enough to give the contradiction because positive Lebesgue measure full Lebesgue measure it still means that this has to be these limits have to be the same for positive Lebesgue measure set of points yes you are right to write it down formally and precisely I shouldn't assume that the other one also has density above and below but it doesn't need to be it doesn't well done yes ok so there is a few points in this last lecture that I had to kind of just sketch rather than give completely but I think it was important to finish with this theorem because you can think of the overall question which I think I mentioned at the beginning was precisely this was which dynamical systems have physical measures one of the main examples of physical measures is absolutely continuous in very energetic measures and so here we've defined a very important class of maps called full branch piecewise expanding or full branch with bounded distortion maps which always have a unique physical measure so I think at least it gives you some kind of idea of the kind of questions and the kind of techniques that I use in this area which we call ergodic theory because it uses the language of probability theory to understand systems that have some differentiable properties and we use this to prove the bounded distortion we use the derivative the second derivative and so on we use differentiable properties of the map to study the ergodic properties so I hope it's been interesting and very best wishes with your courses we can finish here


So we're here at Lenaro Connect 2015 here in San Francisco. So what has been going on recently at Lenaro? Well, one of the changes we're doing at Lenaro is actually talking about something called LEAGUE projects, which is a move from doing a lot of interesting work to really focus on a few very key projects that have high strategic value for our membership and for the community at large. And so we've been talking about that transition now for a while. It's kind of culminating here at Connect. And these are projects like the ARM tools or mobile power management, ARM criminal collaboration, and so on. There's about ten of these. And the other key changes, one is to focus us and our members on those key pieces of technology work that we need to do that will make a big difference for the ARM ecosystem. But also it gives us the ability to scale, instead of just having member engineers, or member assignees, and then our employees, with these projects now we can add other what we call member engineers. So these programs are no longer contained by just what the resourcing would, by default, Lenaro can do. It's now what our members can add to it because these projects are things that they're very interested in. And they're willing to participate and give us additional people to fulfill the real missions of each of these LEAGUE projects. So are you managing the resources and the time and the priorities in Lenaro? Yes. So there were so many different requests, like so many things that people wanted? Yes. It was too much? It was too much. And so what we now have done through the funneling these through the LEAGUE projects, you know, the people in charge of the LEAGUE projects are going to be either the director of the manager for the project itself, the project manager and the technical lead. Those three people will become the leaders of that LEAGUE project. They will determine scope, schedule and resources. And also when a member had engineers to the project, then we can actually add to that and figure out what the impact on the roadmap is and so on and so forth. So there were like hundreds of requests before or something like that? Well, yes. We actually did it through a system we called EPICS and we had 107 of those EPICS. And then each of those had a whole bunch of additional things underneath those. And then we were getting additional member requests to make changes at a lower level. So what would those requests look like, for example? It was like something like what? Surprisingly enough, we actually supported a Windows version of the tool chain for Microsoft Windows. And one of the features requested was Python. So Python scripting enablement inside of the tool chain. We had it for Linux, but we didn't have it turned on for Windows. It was that kind of request. It turns out that's a useful thing to do, so we are going to do that. But it was how that request came to Lonaro was a bit difficult to track. And it wasn't really focused on the people who needed to make the decision for that project itself. And so how does now the, what do you call it, the LEAGUE projects? What did it look like? Is it like bigger stuff? Is it bigger? So the way to think about a LEAGUE project is a very large scope. It probably has the need of 20 plus engineers, could be as many as 100 or more, because of the scale of the work you're trying to do. So it has a big impact on the ecosystem itself, where you're trying to head to. And so instead of saying, well, it's just a tool chain for Windows, as an example, it's really what other ARM tools are needed in order to make all of the, not just the tool chains itself, but also tools like debugging and so on, that really help other projects actually do their work. So it's really looking at it at a bigger level. These things have a timeframe of more like, you know, instead of a few months, they may be six, eight, nine, 12 months or more. And then the duration, and then from there, like any good project would do, you break down the work in the lower level detail to say, you know, here's the pieces we need, here's the experts we need to do the work. Like in an early phase of a project, you may need more architectural help. And we did that on the ODP project, where we had need for more architectural people. And they came in from member companies, helped us in that phase, and then they were able to not necessarily be dedicated anymore, but they could be consulting resources later. So are all the engineers in Leonardo and the outside companies, the members, they can see all these leading projects in the system? Yes. And they can say, I want to be on that, and they can like say, I'm good for that or for that, and they can switch. Yes, they can move around. They can have a member, what we call them, the member engineers can be in for a short period of time, and then they don't yet certainly need to be involved at that point, or they can come back in later. They can switch around who they want on the project, because it just depends on what the needs of the project are. And we do that tracking through, we use JIRA as our tool to do that. And we have these things called portals. So every Leage project has a portal in JIRA, and then that is kind of a dashboard for what's on the project. Who's in charge of it? Who's working on it? What are the key initiatives under that that are being developed? What is that roadmap like for each of those? Because the efficiency of engineers working together is a big, complicated thing. And there's a lot of companies in the world that have these issues, right? Yes. And isn't another one of the best in the world at managing this or not? I think we have been good, but we can get better like anybody else. So we'd like to be world-class in doing this together on these large projects. And I think there's always room for improvement. I think we've realized working at the lower level that it was hard to kind of put all the pieces together in an effective way. That's why we've made this kind of a significant move to Leage project transition. And what did the engineers think? I think the engineers are very supportive. The members are very supportive. In a members meeting we had recently in China where we brought all our members together. We talked about this in more detail. We had very good support. And so, and we're now seeing here at Connect, we have many of our members saying, how do I find out more? How do I get involved in that project? Tell me, tell me how do I do that? So we're answering those questions today. And that'll really be a good kickoff from this point forward. So if Leonardo is already kind of quite successful and quite a positive thing, what if suddenly there's a whole bunch of new companies, everybody wants to join with a hundred new engineers or something? Like, will it be possible? Is it possible to scale to just like put everybody in different groups and make it happen faster and stuff? It would be a good problem to have. And I actually think we're starting to see that. In fact, the ODP project has a lot of external involvement as well because it's a completely open project.  You know, you can't have a thousand engineers easily, although the Linux kernel is done effectively that way. But they have a different, slightly different model. I think that we can scale it to reasonable sizes. I mean, in the end, how many people can actually effectively work on a single project. But if you subdivide it well enough, you have key subsystems within that project and they can be, so I think that's the way you scale the issue. You have a higher archival structure. You track the dependencies, figure out who needs to do what. So it's certainly very possible, and I think we're up for the challenge. Because Leonardo could definitely work faster, right? Yes. That's possibility. Yes, absolutely. And so because there's huge challenges and you kind of know where they are or something, you kind of know what you want to do. Right. And the big issues. The key is the lead project is about working on the most important things that are the biggest impact right now. And those will change over time. So when we finish a lead project, we'll add another one. But the key is to have the right number of lead projects and underneath that the right number of people working on it. So we think the right number for right now, given our membership, is probably in the range of 10 to 15 lead projects. And then as those finish, we'll add new ones. Or we'll evolve to another phase of that project, right? Once we finish a first phase.


Everyone has experienced being in a mental whole to one degree or another. The feeling of being in a whole, the feeling like everything in my life is very closed in. I can't see very far. I can't move anywhere. Everything is just sort of stuck the way it is. And it's not easy to get out of a whole, just like being at the bottom of a pit. But one thing that I've found that is useful for me to remember in that situation is that this whole, the pit, is not the whole world. There's more out there. My life is not this whole. The universe is not this whole. But that seems to be the way that the thinking goes and that kind of closed in, claustrophobic, shrunken mental state where it does feel like being buried in a corner, buried in a hole somewhere, and that is all I have to look forward to for the rest of my life. It seems to be built into the negative mindset, the feeling that things will not get better and that this whole, if anything, this whole is only going to get deeper and this corner is only going to get smaller. If others were to see you, if you were to see somebody else who is in this mental whole situation, it looks somewhat like the proverbial ostrich with its head in the sand. So did you have somebody sort of hiding like they just want to pretend to be in this little corner? They want to pretend to be in darkness. They want to pretend to be hidden, sort of someone building their own box. Or it would look like somebody who has built their own prison cell and is remaining within it. And you could suggest leaving it, but it's not possible for them to even imagine what it would be like to not be in that cell because that is their world. It's easy to become a hole-dweller, start to get used to your hole and start to kind of count on it as miserable as it is that it has a certain comfort to it compared to the unknown and what seems to be so untrustworthy, anything outside. It's almost like you can't believe it and that even though it is great suffering to be in the hole, at least it's sort of reliable suffering versus any kind of hope for anything outside can just seem like setting oneself up for disappointment. So all these are describing very, very dark mental state. And dark is a good metaphor for it because it is like being hidden in this dark hole. I have been in that state to some degree at certain times in my life and I know that certain people suffer through it to a very large degree. And I think what is helpful for me to remember is that it's no solution. There's no easy way out, but it seems like the first step for me is to realize, to understand that there is more out there.   This hole is not my whole experience of the universe. There is more to the universe out there. There is more to my life that is beyond this particular place. Does that get me there? No. Does it show the route to get there? No, but it is a beginning step to at least imagine the possibility that at some point in the future I will be outside this hole. Might be for a short time, maybe I'll come back, but I have a chance to see more of the universe than my little corner I'm in now. Whatever I'm dealing with right now, that is not the everything possibility. We live in a universe where we have so much more possibility than we actually manifest in our lives. There is so much more that we can become, so much more that we can do an experience far beyond what anyone can experience in a lifetime. And yet it's so easy for us to become stuck in a very tiny corner, a little sliver of the universe, and to just get used to that to the point where we don't believe there's anything else. But there is always more. There is always another place that it's possible to get to. And because we're always changing, it is absolutely possible for us to change, our whole can change, we can change, so that there is always a chance to get out of the hole. Now, I don't like to hear, when I'm in the negative mental state, I don't like to hear kind of generic promises, generic platitudes of, it'll all be okay. And I imagine this might sound like that. But what I'm saying, I don't mean it to be in any way kind of guarantee that things will be okay. There's no guarantee. There's no guarantee things will get better for you. There is no comfort, platitude, saying, there, there, you'll be fine. It's simply what I believe to be a basic truth to accept that no matter what situation you're in, there are other possible situations that you could be in. By simply acknowledging that it's possible, I believe this can give the chance to begin to change, to begin to dig out of the hole, to climb out of the hole, to begin to open our eyes for perhaps the faintest hints, the faintest hints of something outside the hole. But it is there and it is possible to get outside.