When it comes to choosing tech products, there are so many choices out there. Today we're gonna talk specifically about Wi-Fi choices and this is a common question that comes up. Now, Meraki, the big juggernaut in the market, the Cisco company. Everyone knows Cisco. They're the current version of IBM where IBM's slogan used to be, nobody got fired for buying IBM and kind of that same mentality has applied to Cisco and Meraki. Not saying they don't make a good product, but we're just gonna talk about a comparison of the products that Meraki offers in terms of Wi-Fi deployment and the products that Unify offers. And you may already know I'm biased towards Unify. So my goal here is not to add my bias to this, but just to present some of the facts and talk about some of the features of these devices and what the differences are. Now, I did some testing the other day and I reviewed the MR33. The MR33, my opinion of it is I think it's a good product. I don't think there's anything I found really wrong with it. I did a head to head comparison with the MR33 and a Unify UAP HD just doing some general speed testing and things like that. I find them both to work quite well. Now there are some differences between them, I understand. The UAP HD is a higher end model and technically if you're gonna use a UAP HD comparing it to a Cisco Meraki, I should be comparing it to something like their MR52 which has a four by four MIMO versus the two by two MIMO in the MR33, but I don't have one of those handy. But most of the main differences between these other devices as you go up has a lot to do with density and how many devices can be attached to them. And I don't have any easy way at the moment, but I'm working on ideas to test connecting a 50 devices at a time, 20 devices at a time and doing some comparative testing but that is where some of these vary greatly. Now the Unify is claiming 500 plus users on the UAP HD. Now the reason why is because it has dual 2.4 and dual five gigahertz antennas. This allows a lot more users to connect and it's the four by four MIMO so you get a higher aggregate speed. Plus it has the dual network interfaces that can be lagged together in order to bond more bandwidth through at the network interface level. And the same thing with Meraki, the MR33 doesn't support it, you gotta go down to the MR52 which once again, once you start getting the four by four MIMO and more antennas you end up with the ability with the two times gigabit network interfaces so you can aggregate that bandwidth which of course makes a lot more sense to do that. Cause once you have a lot of high density clients connected that need high speed the limitation starts to become the network interface. Now where the huge difference between Cisco versus Meraki come in is first pricing. Now price is not everything. We're gonna go over here to the Meraki cost calculator here and we'll talk about a 10 access point deployment. So if I choose the MR53E which is right here or maybe we just want the MR53, I'm not sure the difference between them, recommended for high density, okay, high density versus focus coverage. So MR53, we'll say high density here, 10 of them is gonna be 1849 including a one year license. Now after that, each one of these, so 10 devices times 150, $1,500 a year annual and license to keep these units turned on. It's not like you're not getting anything for that $150 license fee that they have and I know the license fee goes down as you scale, you have to contact Meraki sales. So also apparently your pricing isn't as easy to figure out, you have to either contact a dealer, a sales rep, get a quote to contact them and, you know, talk to a salesperson, fill everything out, you go through the usual corporate rigmarore so pricing doesn't become as easy as it is with Unify where you just buy the product and get the software but that dashboard does have a lot of features. Layer seven filtering, I covered a lot of the features in my MR33 review which I'll leave a link below so you get a great dashboard with a ton of wonderful features but you're always paying for it and you're subject and beholden to Meraki and their business model. So if Meraki says we're raising prices, you're paying more because the consequence of not paying Meraki's continual dashboard fee is a unit that does not work anymore. These units don't have any type of management at all. They are designed to go and talk to Meraki and you are subject to how Meraki wants to do their business. So if Meraki makes any decisions that change the way they do things, you are then subject to those changes. No options. Now, Unify does things a little bit different and Unify has a software controller that you can either A, buy one of the Unify devices to run the software controller on or B, if you have any servers at all in your network environment or you even wanna run it on a small server, a virtual server with only two gigs of RAM, it's a pretty lightweight controller that will manage hundreds of these Unify APHGs. Matter of fact, they'll even manage them across sites so they're not just the one site. We host the controller and it's got the ability to host multi sites. The controller dashboard is really nice. No, it doesn't have layer seven amazing filtering built into the Wi-Fi, but technically the Meraki is not built into the Wi-Fi. It's using the device's functions controlled by the cloud controller to communicate all those functions to it. So it's a different type of business model but it also gets very expensive. And I bring this up because we are working with more than one place right now to remove Meraki or proposals to do so when we work with one client that has moved over from it because they were realizing that their license fees were getting kinda high and they're sitting there going, that just seems like a lot. Now the former CFO, he's being counter so he sees these costs and put pressure on them but they were being justified but we get support and they're like, when was the last time you called support? They're like, we have never called support. They're like, well, that's cool and because people complain go, oh no, Unify doesn't have super fast support but I gotta admit, and I granted I'm the Unify guy who does a lot of videos on it so I'm very knowledgeable about the product but a lot of these Wi-Fis, once you have them configured and deployed, done. So this 24 seven support's cool that they offer but honestly, when you have a deployment that works it's great to have support but it's also how much support do you need? How often are you messing with your Wi-Fis? So weigh that out. Do you need that support? Once these are generally deployed in an office and unless you have any complicated unusual environments there's not a ton of things that need to be done differently on them. So weigh that out there, weigh out if you need the Layer 7 application filtering or do you just have a firewall that does it? And I'll mention that because we deal with that with the schools and the schools have firewalls that manage all of the other features for them so the Maraki features are not even using so that's what the reasons are looking at it. The other problem you run into is as you gain in density the price keeps going at the same rate so you're like, wow, this gets expensive very quickly. Now the base price alone for these if you look at this MR53, we'll put a quantity of one, 1849 is once you're including the license, one. We have a client with 270 units, 270 units 270 units and if they go Maraki they would be looking at and let's just say because someone told me and I don't quote me on this because you have to get a quote from them to find out that if you get that level of them that Maraki will lower the licensing fees to about $100 a month. Okay, $27,000 a year to keep these access points running with a guest network on them. That's pretty much what this is. It's a large deployment across several campuses that just need a private network and a guest network. It's a pretty simple setup and we're updating them to newer version. They actually have unifies now when they're looking at a newer unifies deployment but of course they're doing due diligence and someone in the meeting says, hey, why not those Marakis? And people look at them and go because it's $27,000 a year, we got to find out subjectively what the price is to get an exact quote but if you calculated it at 270 devices times 150 let's figure that out. There would be about $40,500 a year at the full 150 price. I'll assume Maraki is a discount but what if Maraki's saying just their mind? What if Maraki goes, you know what? Next year we're charging $170 a license. Well, then your price goes up again. And before someone screens, Maraki wouldn't do that. We've already seen Maraki modify the agreement and cut channel partners out and there's an entire discussion on Reddit about this, other people chiming in and I've already seen comments on my MR33 review for people saying the same thing.   Maraki's answer for a discount was, well just cut out those IT people. What do they do anyways? They just sold our product and put it in there. So that comes on a reputation of the company. You don't know, you're beholden to the way they do things. This is the downside of when you subject yourself to something that is completely outside of your control. So like I said, I don't think it's a bad physical product but I question a lot when you start looking at the way and methodology that that works and other companies have some of the same policies. This isn't just Maraki, this isn't unique to them. My business model that I prefer that I'm more comfortable with is where you maybe buy a product and there's a extra service that you can pay for but if you don't pay for the service you may lose that feature. For example, if you need certain updated rules like with Snort and Sericata or some of your intrusion detection system rules you pay a fee to get those rules. When you don't pay the fee your firewall doesn't turn off. The firewall simply doesn't get the rules anymore. That's fine, your trading value. You understand that it takes people and manpower to put those rules together and keep that information up to date and for your system to get access those rules comes at a fee. Completely a sensical business model but for the Unify devices that's no problem. You just, you know, you get the Unify controller software if something or Unify decided later to charge it you still have the current version and you can make a decision further out and I can't imagine at all Unify would do that and what if the horrific happened? Something happens to Unify where they decide not to be a company anymore and making Wi-Fi devices.  They keep working because you have the controller. You're in control of these units. Also you can, you know, there are third party firmwares people have loaded on these so they're hackable and I know so are some of the Cisco Marocchis too. So there's other options but those are really crazy options. They're not the same as being able to come in here and go, hey, let's, you know, have total control of our network. And one of the network things that we were looking at a client is very cloud adverse because of our government contractor they don't like the idea of everything going to some mystical cloud controller as the guy put it. They want to keep everything in house. Well, not an option with the Cisco Marocchi. If you want to keep it all in house, well Unify works so you can have the controller in house and you can keep it locked down so nothing leaves your network that you didn't want to. So there's no external controller. So you've now brought that all in house and you manage it internally without some external potential issues. And that was their concern. I not saying Marocchi is not trustworthy. They seem to be very trustworthy company in terms of security. Cisco does have a good reputation but that is a genuine concern that's going to be had there because all the data goes up to Marocchi for the filtering for everything else goes through their dashboard. I guess I didn't show it just for you but you know, there is one more aspect and for government contractors they're trying to control all aspects as best as possible, or at least the ones that care are. There's plenty of them that are in the news that clearly we're not thinking that way. That's a whole different topic. So those are my general thoughts on Cisco versus Marocchi. I don't think the Marocchi's are bad product but I do like the Unify much better. I think they just have a better product lineup. I have been really happy with the deployments and so have many other people. You can check on the forums and see this is not news. Unify versus Marocchi is a constant debate. I'm leaning towards the Unify but we do have systems we've seen with Marocchi and it's working well and like the school system uses it and they like it. They don't have any problems with it. They have a budget for it so they keep using it. I think there's probably some school discount I don't do their billing. We're outside contracted IT for certain aspects of the school. We don't handle their wifi. They have a pretty big deployment across three campuses. They think it's pretty trouble free but oddly they're also not using all the features of it because they have their own filtering that they get through the school district itself and another tool they're using. So it works, they're happy and that's not bad. So those are my thoughts. Thanks, hopefully this was helpful at least gave you a little bit more information go on when you're trying to make these decisions. Thanks for watching. If you liked this video, go ahead and click the thumbs up. Leave us some feedback below to let us know any details what you like and didn't like as well because we love hearing the feedback or if you just wanna say thanks, leave a comment. If you wanted to be notified of new videos as they come out, go ahead and hit the subscribe and the bell icon that lets YouTube know that you're interested in notifications. Hopefully they send them as we've learned with YouTube. Anyways, if you wanna contract us for consulting services you go ahead and hit launch systems.com and you can reach out to us for all the projects that we can do and help you. We work with a lot of small businesses, IT companies, even some large companies and you can farm different work out to us or just hire us as a consultant to help design your network. Also, if you wanna help the channel in other ways we have a Patreon, we have affiliate links, you'll find them in the description and you'll also find recommendations to other affiliate links and things you can sign up for on laurancesystems.com. Once again, thanks for watching and I'll see you in the next video.


So one of the effects of this change in capitalist time is to give a new privilege to bring this to sheer size. It's a full factor in megacities. The communion character of institutions tends to extract value from the places in which the institutions are established rather than create a regime which is installed, which controls the urban agglomeration of the whole, where it's established, which reserves authority over the city as well as derives profit from it. And that's a profound change in the relationship of economic institutions to civil society. I feel very cruelly in this kind of capitalist organization, economic interests have less and less interest in the civic realm and particularly have no desire to claim authority over aspects of the civil and civic realm, which exclude their own immediate interests. Now, this is the problem. These create, we're talking about inequalities of size, and we're talking about reformulation so that the power is divorced, if you like, from the questions of civic domination. And the question is, what is it that we poor, poor us as urban designers and planners could do about this? My colleague, Harry Cobb, with whom I've talked about her for a minute in the past, has always said that we can't do anything about it. We are not the engineers of social lives and we can't expect to be its doctors. And I take this opportunity of having traveled 13,000 miles to conduct, once again with my old colleague, a debate that's conducted in the past. I think we can do something about it. And the hypocriticals that we contain do no harm, can be executed in this regard. I want to suggest three ways in which this is the case. First, has to do with the question of scale itself. One of the diseases of urban design, the sicknesses of urban design in the last century, was that we found that as there was an increase of scale in projects, that the projects themselves decreased in their social complexity. That is, they got larger and simpler, bigger and accruter. In the urban age, this is an issue that has come up over and over again in many different contexts. It appeared to us, first of all, when we had a discussion in the light, for instance, about the revamping of a large transport center called Case Cross, in which a very large mega-project did absolute vials to the input in which it was sent. It's something that came up when we traveled to Shanghai, and our design of comics in Shanghai described the violence that's being done behind the area of the Bund in Shanghai, by very large-scale projects which have civilified what was a very complex environment. The question that's involved here is how, and I should say one way to think about this, when you have a correlation between increasing the scale of a project and decreasing complexity, one of the signal social marks is the evacuation of the people who were in the space before that project. Their problems are complicated. It's easier to erase them, to evict them, and start over in order to make something clear than actually to address how Hedoprydes recommends to us the complexities on the ground. So what is to be done about this? I think that one way to take the Hippocratic oath is to use complexity as a measure of quality, which may seem rather vacuous for me to do. It means in particular that we use street-grade as a primary measure of complexity in the cities. Whenever we think about renewing, about building, the complexity of street-grade becomes our first point of reference. This is an issue that our colleague, I'm making, Pennilosa, has put into practice, as I've described to us tomorrow, in trying to remade the streets of Bogota as pedestrian sites. They're more complicated than the streets that existed before. The grade has become complex. I would argue that the first point we can take as hypocritical as the cities is to use complexity as a measure of quality and conceive complexity in terms of complication of grade. The second way we might observe the Hippocratic oath to do no harm deals with another project, a problem that we, as designers and planners, have encountered as this mobile family of the urban age groups around the world. It is a problem which I've been referring to since I have school of time. It just is an architectural issue. It has to do with the problem of over-determined form. When we try to make a project very precise, particularly if it's a very large project, we try to define an advanced relation between form and function. We try to make physical objects like buildings which perfectly suit the purposes we decide to be defined in advance. This produces a phenomenon that I've used in very inadequate words to characterize the image, which is brutalness. It means that the objects, built objects that have this capacity, become very rigid, very inflexible as conditions change in the city. The objects themselves prove resistance to adaptation. That is, they're clear objects, but they're not sustainable. Now, one thing driving this kind of brutalness is the demand made by capital investment for buildings which you could have instead been so trading on a market if you didn't know what a right is of real estate investment trust. Their character, their criteria for buying and selling buildings all revolve around the issue of the fit between form and function, driven by the notion that you know what you're buying or you know what you're selling. But in terms of the life of cities, this kind of fit produces something that inhibits the process of adaptation and sustainability.


First question is from Bear Bowen. What's the difference between practicing a squat versus performing a squat? And how does that contribute to overall better physique, better mobility and longevity? Okay, so I'm assuming that what he means is practicing the squat versus performing in the sense that you're doing the squat to feel it in your legs, get a good workout, burn your legs out. So one of them you're practicing the technique in the form like it's a skill. The other one you're you're aiming for a really hard leg workout. It's mostly mindset. What's the difference? Yeah, I would say like a maxing out as you're referring or like you're going for a workout versus I'm just gonna make sure I do this well and practice the skill. Both of them have their value. The one that has the most value long-term is practicing the skill of squatting. I'm just going to the gym, getting into the bar and you're not necessarily aiming for any type of intensity or burn or feel, but rather how can I keep making this a better and better and better squat? I feel like that's got such incredible long-term benefits in terms of- Yeah and it too, it helps to kind of reinforce like your body's comfortable in that movement. It's very versed in that movement. So any sort of inconsistency or you know, something that's going to throw you in a different direction, like you know how to react and respond appropriately before you then really add more of the intensity, more of the load to it. So it's very important to do more of the practicing portion of it and then you know, intermittently throw in, you know, the really intense times. Well, when I think of performing the squat, I think of somebody who is following a program that is, you know, either they've structured it or a program structured progressive overload and last week they squatted X amount of weight and so this week they're going to add five pounds to the bar or they did X amount of reps last week and so this week they're going to do this many more reps this week and so they're progressively overloading over time in their program. To me, that's performing a squat, practicing a squat, those are all arbitrary numbers. None of that matters. It doesn't matter how many reps you do. It doesn't matter the weight, the load on it. You're going in there with the idea that I just want to get great at the movement and so what that means most of the time is reducing the load dramatically.  Now like when I practice a squat, I'm like 50% or less of the weight. It's a lot less. I mean, it's such a light weight that I could pause at portions of the squat. I can hold at the bottom for a long time and think about the position of my feet and my knees and my chest and my shoulders. Like it's such a light weight that I can break up the squat. I can break- while I'm doing it. I'm getting ready to do 10 reps but I can make 10 reps take me five minutes because I'm stopping at certain portions. There's more flexibility there. Yeah. In the practice mode versus yeah, coming in with a very rigid, I'm going to get through these amount of reps in this many sets and I'm going to, you know, do it at this weight and it's like very much like this is what I have to do today. Yeah, practicing it also allows you or gives you the ability to unlock the total value and power of the squat or other exercises for that matter. So for example, let's imagine you've never thrown a baseball before. So you have no experience throwing a baseball and I hand you a baseball and I say just throw it as hard as you can, right? You would be able to throw it farther by throwing it as hard as you can initially than if you practice technique and skill at first but not for long. If you continue to practice skill and technique over time, then you'll be able to far surpass your hardest throw before because you've unlocked the maximum potential of the technique of the throw. The same thing is true for a squat. Practicing the squat, especially when you're new to lifting or even intermediate, practicing it allows you to unlock all of its total value for when you do push it because if you push it too early and you don't have good technique and skill, you're only going to go so far. Well, I also, another example where I think, you know, squatting for performance versus practice looks like this. Like, so if I'm performing and I'm following a routine, it's like, okay, today I have four sets of squats at 80% intensity with rest periods of 90 seconds between. I've already done all my priming or warming up and I get right into the sets and I'm watching my time between the sets and I'm going through and I'm adding weight, whatever, and I'm done. That's what performing looks like. Practice may look like this sometimes for me. I get into a set and I do one set and then I notice that, you know, my shoulders aren't being peeled back very well. So then I go over and I do like zone one and I'm priming for another five or 10 minutes and then I go back to the set and then I do the squat again and I evaluate, was I able to keep my shoulders back? Oh, I noticed now that my feet are pronating a little bit. So then I go in the next set, between the next set I'm doing, getting down and doing combat stretch and maybe some foot exercises in between and then I get back and do a squat again. So when I'm practicing a set of squats may take a half hour, you know, 45 minutes. I'm going in there with the intention to improve the movement of the squat and so I will break it down like that. I'll do a set and I'm watching myself in the mirror or maybe even videoing sometimes. There's great apps for this too, by the way, to kind of like break down to show if you have an excessive forward lean or looking at my feet to see if there's any break down there, see if there's any break down in my knees collapsing and I'm assessing it and then I'm going back and I'm doing priming movements to improve it and then I'm doing it again and then paying attention. So that to me is another example of what practice versus performing the squat. The difference between me as an early trainer versus a later trainer, training clients. I initially, when I had to get to clients, it was all about the sweat, the hardness of the workout, the burn. Later on it was about practice. People would show up and we'd practice movements, practice movements and get better at them, get better at them. The results they got were far better with the second option. They still moved, they still got good workout, they still built some muscle, but their form continued to get better and then over time we were able to push the workouts, minimize risk of injury and just maximize the results that they got out of those exercises. So in my opinion, practicing, especially if you're new to intermediate should be where you spend a lot of your time. Later on when your form is great and you can get in the bar and do a great squat, no problem, then it's okay to push performance more than anything.


Hello everyone. Welcome back to JSA TV and JSA podcast. We're recovering the latest stories, trends and innovations here in beautiful Leesburg on a perfect fall day at DCD Virginia. So I am here with one of the leaders in digital infrastructure. We've got Sam Rabinowitz from Lantana LED. Welcome to JSA TV, Sam. Thank you for having me. Yeah, absolutely. So we were just chatting a little bit before this and you are also kind of opera singer by night kind of deal. So I was hoping we might get a little preview of that. That would be a great way to start off this JSA TV today. But you know, I want no pressure. Okay. So instead, we will talk to you all about data centers today. So we you are part of part of one of the DCV talks, one of the panels taking place later this afternoon at 2 30. If anybody wants to check it out. The title of it is the path to greener data. You're talking about lighting with next next gen solution. So can you tell us a little bit just a key takeaway or two from that? Yeah, absolutely. You know, I think for us, we really view this as a question of achieving macro goals. But in order to achieve macro goals for our data center customers, you really have to take on a micro level view.  It's kind of the snowball effect. You know, what are the smallest components that go into a data center, and then build up to deliver your macro goals as a data center owner, if it's sustainability, if it's energy efficiency, if it's a PUE number, all of these are really built at that component level. And for us, lighting is one of those core essential components. So it's really taking a look at that micro to macro view in order to achieve those macro level, those macro level goals. Excellent. Perfect. So you know, we can just head right into the next question, which is if there's anything else that you want to mention about lighting and data centers and why it's important and why should people tune in and hear more about that? Yeah, absolutely. You know, lighting is sometimes an afterthought. And we talked to engineers about this and how they have so carefully managed and planned their ceiling plan, their ceiling grid system. You know, there's so much conduit, there's so much wiring that goes into these data centers anyway. And suddenly at the last minute, an engineer will suddenly say, oh man, we need to add in lighting. And then it's a scramble, it's a mad scramble to find the ceiling space, to find the right conduit paths for these light fixtures. So our view is really to take a look at lighting from two different perspectives. One in terms of risk mitigation. The second in terms of making sure that that mad scramble at the end of this process doesn't actually happen. So in order to kind of achieve that mad, you know, the mitigation of that mad scramble, we take a look at this and say, let's think about lighting up front in the design process. Let's, you know, let's not let it be the last thing that anybody thinks about. Because in fact, it's a safety question. It's a hazard question, you know, in order to have illumination, in order to have employees walking in spaces, you need illumination, you need to have lights on in order for emergencies, you need to have lights on for work, you need to have lights on in human-centric areas of data center. So all of these are considerations and why you shouldn't have it as your last thought when designing. But most importantly, it's risk mitigation. You know, lighting can be, lighting can be an expensive prospect if you do it wrong. So why not take the opportunity to incorporate the industry best practices, as well as the lighting industry best practice, not just data and center industry best practices, but and meld those two up front to deliver a more efficient product, a higher value product for your data center, not necessarily higher costs, but higher value. You know, we're talking about energy efficiency. Let's not use a cheap fixture that has, you know, low, that has a low efficiency rating. Instead, let's take a look at quality. Let's look at higher energy efficiency. You know, for some of our customers, we're able to go in and say using our lighting fixtures, using our lighting package, you're actually able to save 100 kilowatts of power right just on lighting alone. That may not sound like a lot, you know, on one data center in one data hall, but suddenly when you're building 10 data centers and when you're building 15 data centers and looking at this on a programmatic level, that lighting energy savings actually adds up very quickly. And that's why, you know, we go from that micro level to the macro level. That's why these snowball effects, it happens where in, you know, this isn't just lighting alone. Every data center owner should be thinking about this well beyond they should be thinking about this for every component that goes into a data center. And that's how we really achieve a bigger, broader impact on the data center industry. Well said. Excellent. Thank you. So avoiding that scramble, which I think speaks to everyone, right? We're all trying to avoid a scramble one way or another. Risk mitigation, micro to macro, these are all great talking points. And, you know, another, you're talking on this panel here that's got greener data in the title at 230, but also you're going to be participating in the next volume of this book right here, greener data. So we're bringing together 50 plus thought leaders in the industry, including Sam here, who are all going to be writing separate chapters for this really amazing kind of anthology of what's going on in the digital infrastructure community right now when it comes to sustainability. So you're contributing a chapter, which of course will be about the lighting angle. Absolutely. No surprise there. So can you tell us a little bit about what you're, what you'll be talking about in the book? Absolutely. It's not too dissimilar from what we're talking about right now, but it's really a focus on LED lighting and efficiency. You know, the difference between just fluorescent lighting and LED lighting is stark. You know, it's up to sit between 70 and 90% energy savings for a single fixture. But then let's also talk about LED lighting versus LED lighting. Not all LED lighting is the same. Not all has the same level of efficiency, just what we were talking about just now. And, you know, that's going to be a focus of this chapter as well. You know, but again, it's this snowball effect. It's this micro to macro view. It's this, if we want to achieve big things in the industry when it comes to sustainability, when it comes to energy efficiency, then we need to think small first and let that grow into the big, let that really just snowball into a huge effect across the industry. And you know, I really, I talk about this a lot and I think about this a lot. I have this fantastic three-year-old niece. She's amazing. She's in LA. But I like to think about what's going to be life for her. You know, what's going to be life for my family going forward. You know, this is, this is an important, essential task. And this is an industry, the digital infrastructure industry is one of the most exciting places to be in to drive this change forward in an incredible way.  You know, we're very lucky as part of our customer base, we work with hyperscalers and some of those hyperscalers have very stringent sustainability requirements. They look at life cycle analysis. They look at, you know, environmental impact of products. And so we've been on the forefront in the lighting industry of really pushing that forward as well. And we're actually a member of the Smart EPD Council that is putting together the sustainability requirements standards, what's known as PCRs, the product category rules, for luminaires in North America. And that would not have happened without the digital infrastructure industry pushing forward the sustainability requirements. So one of the things that we're really, that I'm really focused on in this chapter is looking at how the digital infrastructure industry is changing manufacturing, not just in lighting, but across the board and really pushing forward these incredible initiatives and how manufacturing and construction will change forever because of it. That's amazing. That's incredible. Yeah, great work there. And so I wanted to give you a chance as we wrap up here to talk a little bit about, you know, what's coming out next from Lantana LED? What do you guys have on the horizon? Absolutely. We're really excited. We're this year coming out with our neoteric and elucent linears, as well as elucent family of products here. So the elucent family and neoteric, those will be in the market at the end of this year. We're thrilled by this. These are really a grouping of fixtures that we really design and engineered around the specific needs, the specific engineering construction, as well as owner needs in specific industries, including the digital infrastructure industry. So we're really thrilled to be able to provide an entire spec for an interior lighting package. And that's with this combination of the elucent and neoteric. So we're really excited by this.  Excellent. We'll watch this space for more, this space, but also Lantana LED directly for more information about that. And thank you so much, Sam. We really appreciate you kicking off JSA TV today with us. My pleasure, Candace. Thank you. Thank you. And thank you viewers for hanging out with us again here on JSA TV live from DCV Virginia. Happy networking.


First of all, I'm going to acknowledge the first Australians whose traditional lands we meet and whose cultures are among the most in human history. The Marlborough Lectures are a biennial activity of the Australian Mathematical Society, and are further jointly by the Society and by the Australian Mathematical Science Institute. They are furthered by a request from the late Furt Marlborough, one of the first mathematicians appointed at the ANU. In honor of Marlborough's research field, the Marlborough Lecture is usually chosen to be a Marlborough Lecture. This year we are especially pleased to have as our Marlborough Lecturer one of the world's most eminent mathematicians, Professor Peter Sarnack from Princeton University and from the Institute for Advanced Study in Princeton. Peter Sarnack was born in South Africa and moved to the U.S. Graduate School. After appointments at Stanford University and York University, he moved to Princeton University where he has been since 1991. He has had a major influence on the course of modern analytic math theory, both directly through his many research papers and through his numerous graduate students, some of whom are themselves major thinkers in math theory. Professor Sarnack's talk today will be on Marlborough Theory and Circle Patterns of Apollonies. Please join me in welcoming Professor Sarnack I won't use any microphone. I have a loud voice. I have a New Jersey accent. That's a joke. There are many South Africans in this country and I know you probably could recognize my accent. Just let me make sure this is on. Well, it's a great pleasure for me to be here. I feel like I've been making this trip from New Jersey around Australia up to the Mecca of where Marla came from. Marla was here and I've finally arrived at his stomping ground. He was a great number theorist, contributed to many different aspects of number theory. And one of the things that I will try to describe in this lecture is how we want to get rid of some of his work. Because it applies to problems that are too well known, maybe. So I'll try to explain this as we go along. Okay, so my topic is the circle packings of Apollonius. So that's Apollonius. I hadn't quite, until I prepared this lecture, I hadn't seen a picture of him. When I saw a picture of him, I saw that his nose is very much like mine. So maybe I always told people I have a Greek nose. A Greek god's nose. He was a god of number theory at the time. He's very well known for studying circles, conics. He coined the terms parabola, ellipse, hyperbola. Conic sections were certainly one of his favorite things. And parameter spaces of circles, which is what I'm going to describe in a second. So that's as much as we'll have of his picture. These are a bit distorted there. No, it's good. What you have here are three coins. This took me a long time to find. I was looking for three magical coins, and I looked in all denominations, even the Australian, mostly the South African, all over. I wanted them to be circular. And then, lo and behold, the ones that worked were the quarter nickel and dime. That's why those pictures are there. Now what was I looking for? I put these three coins together. They mutually tangent. If you think there's a size of a U.S. coin, I'm declaring the diameter to be 24 millimeter for the quarter. Is that the quarter? Well, anyway, that's the biggest one. So if you go to a website, you'll find that in some websites it's 24 millimeters, 0 something. I wonder if the people who actually think that there's a size to the coin that their coins are of rational diameter. I don't know. But this is extremely important for me that these be rational numbers. That's vulgar fractions, if you want to call them that, because I'm going to be doing some number theory, which is in the title. So one thing is for sure, these are accurate to the nearest millimeter. And since these worked after a long search, what do I mean by worked? So you take these three. I'm going to prove one theorem in this lecture. This is the first time in this entire series that I'm proving a theorem. So you'll have to watch for that. I'll prove that theorem, and that theorem will tell me there's a unique circle inside you which is tangent to all three. I put that circle inside there, and a miracle happens. That circle also has a rational diameter. I'm going to prove that for you. That was the miracle I was looking for, and I don't know any other coins that do that. Unless you take two coins to be equal, then it's much easier. All right. Now, because we're going to do something to do with whole numbers, that's what number theory is, I scaled that picture up here by 252. It's convenient, and it's also much more convenient not to talk about the radii or diameters of the coins, but rather their curvatures. Because I'm going to be filling in that space with more and more coins, and the coins are going to get, well, more and more circles anyway. There are no more coins left. I'm going to be filling in these circles, these loon regions, and they will be getting very small. So the radii will get small. I don't want to see small numbers. I'd rather see big numbers. So I'll look at their curvatures. So the curvatures just one over the radii. So what you have a picture here, which is just a restatement of the previous picture you saw, is that these three, that's what I started off with. In that picture we had the one in the middle. In that picture, let me go on the outside now, there's a unique circle tangent to all three on the outside, and this circle has curvature 11. But because this is the only circle that's going to contain everybody else, there's an orientation in this problem, this guy's going to get a minus 11. Nobody else will have a negative number in front of it. So what these numbers are that you see in the circles are the curvatures of these circles. And now, this is where epilonius comes in. I'm going to prove this theorem of epilonius. This theorem is that if you're given three mutually tangent circles, there are exactly two other circles which you can place which are mutually tangent to all three. There's one of them, there's one over there. But anyway, in each of these loon regions we're going to put a unique circle according to epilonius and fill this picture in. So these four have, the miracle was I looked very hard and found that these four had whole numbers. The miracle is this will continue forever. So that is if you put these, this circle there, that circle there, that circle there, they also have whole numbers for their curvatures. This is highly unexpected. You should not have expected that. If you did, very good for you. I certainly would not have expected that. And now, once we have that we have all these new sets of holes. We can count how many holes there are and we continue to put these things on and we continue that forever and that is called an apollonian packing. This is an apollonian packing which clearly has whole numbers or diphentene aspects, diphentene means whole numbers especially when you refer to equations. It's another Greek diphentene that we, if you interested in theory of numbers you would ask what numbers do you see here? Is there a pattern? Is there some laws to which numbers are appearing here? The first thing I want to point out here is I wasn't aware of this apollonian packing until about six years ago. I learned it from a fellow called Jeff Lagerius. He told me have I ever looked at apollonian the integral structure, integral means whole numbers, structure of apollonian packings and I said, packings, there's only one apollonian packing, what are you talking about? Because I thought that, and it's true, over the real numbers they're the same. In a kind of transformation that I'll show you in a minute, certain inversions show that there's only one apollonian packing. However, if you're interested in these whole numbers it turns out, as he said, there were infinitely many and in fact he'd written many papers and it was a very famous set of ideas and I learned that from him by telling him that he doesn't know what he's talking about, running home and seeing that he knows so let me tell you about these integral apollonian packings. Firstly, there are infinitely many, we'll see that and the number theory of this is very challenging and I'm going to try to explain that and it takes us beyond Mahler and many other people. The kind of question that you ask here is which integers appear here? It is very typical in the theory of numbers that it's very easy to ask questions very hard to answer them. That's the beauty. That's the question. If you ask for Mahler's theorem it's a very simple question. Its solution is understood by a handful of people in the world. So the techniques to solve these kind of problems are often extremely sophisticated using all branches of mathematics but the beauty is the questions are always supposed to be explainable in a public lecture. So the question is if we had a second screen here, or we had used the second screen we might have put this up there and I would leave it up there for you to look for patterns that we're going to be studying along the way. Of course the numbers are so small here you can't see them but if you had a computer I guess you could make it bigger. Anyway, are there infinitely many primes? Are there infinitely many circles whose curvatures are prime numbers? We love prime numbers. Are there infinitely many pairs of circles whose curvatures are prime numbers? We'll call those twin primes. Is there actually a rule? Can you tell me which numbers are appearing in this packing? So it's a random question maybe but the techniques are really interesting as I hope to at least convince you of one or two things. The first person to discover this integral structure is actually a Nobel Prize winner in chemistry by the name of F. Soddy. I don't know why he was looking at it, he found this and he was very excited by it and even wrote a poem, a well-known poem about it, but I won't repeat that. I don't think the poems are great but it does rhyme. You can find that I'm sure easily by going on the web. Anyway, here's the first amazingly to discover this integral property and I'm going to, that's the one theorem I'll prove to you is that those things are whole numbers. There's a very beautiful paper, I mentioned Ligarius already, Bell Labs paper, this was done Bell Labs, they were all there working in teams as they do over there and they asked many of the interesting they set this up as a diaphragm problem and asked many of the interesting questions and what's happened in the last four or five years if we now have tools to answer pretty much all the questions and the tools come from all sorts of fields in mathematics. Modular forms you should have expected that's sort of the main bulldozer in modern number theory. Egotic theory that seems to be something probability theory, it plays a role. Hyperbolic geometry, spectral theory, additive combinatorics, all these are entering in understanding this problem. So of course I'm not going to go into proofs of what I'll say but I will give you some demonstrations of some truths except for this theorem of Apollonius since he's in the title I want to give you the proof and the proof from the book. So his theorem says given three circles, mutually tangent they are exactly two circles C and C prime which are tangent to all three. To do that I'm going to use some geometry which I hope is taught in Australian schools but it wasn't in South Africa I can tell you that when I was there anyway and hopefully it's a bit better than now. Anyway this is a kind of transformation which preserves circles and preserves angles. So I'm going to use group theory well really I'm not going to actually use it yet but I want you to focus on the following. If I have a circle, we have one circle radius R and if I invert every point by which I mean I'll take p to q where the distance from p to the center of the circle distance from q to the circle the product of those two is the square of the radius. So this p q the original go to infinity to find point and you can write down a formula for that transformation it's very easy and if you use that formula you will see that circles go to circles and if two curves cross at a certain angle the image will also have that same angle. So tangencies are preserved, angles are preserved and circles are preserved. There's only one lie there a circle can be a straight line.  This is a Mobius transformation in modern mathematics. Okay so you use this transformation that's all I will use. I'm not going to prove for you Apollonius's theorem without any calculations just this thing but I didn't show you that those were preserved that you have to make a calculation. So here are my three circles C1, C2 and C3 the dark circles and I want to find the unique circle there that one and C prime C prime and C double prime which are tangent to all three. Okay let me take this point C which is mutually tangent to C1 and C2 and let me invert so I'm going to take C to infinity so I'm going to invert in C remember I'm just going to take any circle who sent this C any circle in the world and invert in that circle and C will go to infinity, circles will go to circles tangencies will be preserved alright so C2 is now going to be going a circle through infinity I'll call it C2 prime it may not be parallel this way it might be parallel that way that's a minor point so that's my one image C1 prime also goes through infinity and it touches at C at infinity that's the tangency point so that's where these two circles go. The third circle C3 goes to C3 prime it's got to be tangent to both of these and the only circle is tangent to both of these just by looking at it with your eyes is a circle like this so those are my three circles and now it's plain and obvious what the two circles we're looking for are there's one on the right and there's one on the left this guy and that guy you can just stare at it and see there aren't any other circles around that can be tangent to these given three circles so in this configuration we found the answer and now because that operation was invertible I just invert back and I find the three the two circles that we were talking about so this is Apollonius's theorem and that was the heart of the construction of the Apollonian parking was to put circles which were mutually tangent to and as you can see there's a symmetry would you choose this one or that one the minute you don't know which one to choose you know that there's something important about it a group symmetry a goal asymmetry all the same thing here and that's going to be the group that dictates the answers to everything okay Apollonius is not enough for us we also need Descartes, Descartes the guy who loved the coordinates and he wrote everything down in terms of Cartesian coordinates and equations and this is a famous theorem of his which he wrote the I don't have a proof from the book nobody has a proof from the book the previous proof I will declare from the book meaning I don't want to see any other proof this is the best proof you didn't have to calculate all proofs of this theorem that I know do require some unpleasant calculation I have it at the end of the lecture but I'll purposefully run out of time so that I won't show it to you so this is the remarkable statement of Descartes he wrote it according to Coxett I didn't have a proof Coxett appointed out a slight flaw in the argument it's actually in a letter of his to some princess I guess he thought this theorem would be by something anyway it's a beautiful theorem it's like Pythagoras' theorem it's a little more sophisticated so the theorem is the following suppose I have four mutually four now not three four mutually tangent circles like the starting four that I had there coins in the one on the outside and with that sign convention then those four curvatures the A's are always the curvatures A1, A2, A3, A4 satisfy a quadratic equation and the quadratic equation is that F of A F is this quadratic form twice the sum of the squares minus the sum of all the numbers squared the quadratic expression in the A1, A2, A3, A4 that F of A is always zero and if and only if if you have four numbers which satisfy this equation you can find four circles with that property that's Descartes' theorem and I don't have a really proof from a book so I skip that now I want to prove to you Soddy's observation and explain to you that what Soddy had realized or what he's doing has really to do with that lack of choice of which circle you want to do that's the heart of the whole problem all the 13 properties also come from there is where that's where they come from so suppose I have four mutually tangent circles with curvatures A1, A2, A3, A4 they must satisfy this equation I'll come back to this quadratic equation later but for now suppose I have such a story and now I use Apollonius's theorem one of these, so I fix A1, A2, A3 or C1, C2, C3 the fourth circle has curvature A4 and there's another fourth circle which is also tangent to the first three and it's got curvature A4 prime well according to this theorem both A4 and A4 prime these are fixed satisfy this quadratic equation that is to say that A4 and A4 prime are solutions to the same fixed quadratic equation in one variable because now the A1, A2, A3 are fixed so this is a high school for the formula for the solution to a quadratic equation it's minus B plus minus the square root of B squared minus 4AC over 2A not that jet lag and you get a relation that the sum of the roots is this expression you just calculate it and in fact the two roots are and you compute the minus B and you get A1, A2 A1 plus A2 plus A3 so this quantity is really the most important in terms of the questions of rationality of the circles because remember I start with three circles as I did with my three coins which are declared to be 21, 24 and whatever it was if this number delta so if I have now the fourth guy I'm looking at A4 and A4 prime I want to see if the new guy circles are two of them I can't distinguish them if the first three are whole numbers it would be nice for the fourth one to be whole numbers and that would depend on whether that square root is perfect whether that's a perfect square delta and that's the miracle of yeah not sure who made it okay so thank you anyway in my example which was 21, 24 28 you compute what delta is it's 42 squared and that was the miracle and that's why the circle in the middle was a rational number so that's what I went through these coins looking for three coins such as this delta that expression corrected is a perfect square and that's very unlikely but if you look long enough hopefully you could find it and of course if you can cook up the numbers yourself you'll find it alright so that's the miracle and once that happens then notice the following once I have that four of them which are whole numbers then if the four starting ones have whole numbers and I make one step in this Apollonian move which is to put one new circle in the new guy A4 prime from this expression here is minus A4 plus 2A1 plus 2A2 plus 2A3 it's a great property of the integers that if you add integers you get an integer and if you multiply integers you get integers and that's really the only property that we have at ease so this is very convenient and that's the proof of Saudi's theorem from now on each time you put in a new circle the expression in terms of the four circles the three circles and the two ones you're playing off against each other the new guy if the first four are whole numbers then each time you put a new guy it's a whole number and each newborn guy is a whole number so the curvatures from now on are going to be whole numbers and that's his observation and he was very happy with it and it is rather remarkable okay whatever wrong computer now the minute thank you this young man typed this for me you know I said if I run into trouble he's just going to take over okay I'm now going to describe these moves in terms of matrices so I hope you all at least have some vague idea what a matrix is this is an array of numbers like this that you can multiply matrices you can add them in this case we're going to multiply them so the statement that A4 prime was minus A4 plus 2A3 plus 2A2 plus 2A1 was a statement that can be written in one line with a matrix notation as follows that A4 prime this should be A prime the new vector of curvatures so the first three are unchanged but the fourth guy changed by this combination now I notice I'm multiplying on the right because it's much nicer to multiply rows than matrices to get back a row a vector should be a row not a column okay that's the only reason I'm multiplying on the right which is rather unusual I guess anyway so this is A prime and that's A4 prime so this is a little misprint there it's not serious so you get the new guy from the old guy by multiplying by S4 and that's if you take the first three circles to produce a fourth one now there are four ways of choosing three circles out of four circles and you can take any three to produce the new element and so they are generated by these four matrices so I'm now going to define simply these matrices they are the matrices which the epillonian packing follows and in a way that I'll describe here and there will be a little more notation here is I take S4 it's this 4 by 4 matrix with whole number entries and similarly with those you can easily check that if I square any of these matrices you'll get the identity the determinant for those of you know what that is any of these is minus 1 the inverse well from this of this matrix is also a whole number a matrix with whole numbers so I'm going to take these matrices and I'm going to look at all expressions in them or what is called the group generated by these 4 by 4 matrices this group we call the epillonian group it's the symmetry group of this problem it's the group which captures that feature that any time I don't know whether to choose in epillonius's theorem which of those two circles I don't know which to choose that's the sign of a group that's what the Goa theory is about this problem so concretely we're just going to look at all matrices that you get you will never leave the 4 by 4 matrices of determinant 1 that's all minus 1 that's all this big notation is over there and I get a matrix group a subgroup of the 4 by 4 integer matrices that means any element here can be multiplied with any other element and you get a new element in there and the inverse is also in there this group is the key thing in the whole problem and I'm going to explain to you why understanding the difantine properties of epillonian packing is difficult precisely because this group is a new kind of beast so it is a symmetry group of the packing alright now I'm going to just reformulate what I've been saying in words if you take your 4 vector so this is a point whose coordinates are all integers in 4 dimensions so it's in 4 a 4 tuple of curvatures remember you think of our starting guy which was minus 11 and those other 3 numbers and you take this epillonian group and you multiply you fix A and you take all elements in the group and you multiply each element in the group times A you'll get a new 4 vector and if you follow roughly what I was saying you will find that these 4 tuples that you get of whole numbers consist precisely of all circles of circles in that packing which are mutually tangent but of course I don't know which elements I get here in z4 this is called an orbit of a group and that's a very subtle question maybe it's even undecidable you might guess and if you generalize the problem a little bit that is the case as to who's in the orbit or even who's in the group we only have generators for the group the generators are as 1 as 2 as 3 as 4 and the group had another description but that's what I'm going to show you is not the case number one since all these vectors we're producing here are 4 tuples of mutually tangent circles they must obey Descartes theorem so they must all these integers we'll ever get will all lie on f of A equals 0 that was Descartes theorem now f is a quadratic form and 0 set of a quadratic form by the law of inertia this has signature 3 1 for those who know what I'm talking about this is quadratic form the 0 set is a cone so these points all lie in a cone in 4 dimensional space and they all whole number points you might ask if you're getting all points this way well let's look a little further let me take those s1 s2 s3 s4 those transformations f of sj times x is f of x that's not this surprising because these s's cone back into itself it's probably the case that they take me they don't change the value of f I hope most people know what the rotations in 3 dimensions are motions which keep you at a fixed distance from the origin so you rotate about an axis that would be the rotation group of x1 squared plus x2 squared plus x3 squared here we have a more complicated quadratic form it's the Descartes form it's which is 3 1 the rotations the transformations 4 by 4 transformations which preserve f meaning f of x s sx is f of x for any point x are called orthogonal transformations for this form and the group is called the orthogonal group and clearly whatever our apollonian group is it's a subgroup of the orthogonal group that's all I'm saying here so I will denote all 4 by 4 matrices which preserve this quadratic form by O of f all 4 by 4 matrices whose entries are whole numbers that's a much more frightening thing but they are many of them I'll call O f of z these are the 4 by 4 matrices which preserve the form and are integral and our group I've just told you is a subgroup of that if it were all of that we would be in the realms of ordinary number theory so I'm going to spend giving you what standard questions are but that's not the case this group happens to be very small in there it's infinite index so it's small in a very explicit way let me not define the index I'll just say it's thin I just want to give you a feel the mathematicians know what I'm talking about but on the other hand it's not too small this is why we'll be able to say anything it's a risky dense an algebraus could not tell this group from that group by polynomial equations so the risky topology is a way of telling is a set of equations a space defined by set of equations and if you look at the smallest set of equations which contain all these points it will be the same as the smallest set of equations which contain all those points which is just the orthogonal group itself so don't worry too much about this but you've got to take two things away from this that one this group has got something good about it in terms of geometry algebraic geometry and it's got something terrible about it that it's not something that we ever study in number theory because it's infinite index the theory of quadratic forms for this whole group this group is a well studied group goes back to Hilbert I'm going to tell you what Hilbert's 11th problem is is well understood thanks to many many people including Myler who studied these kind of groups a famous Myler compactness theorem is all about these kind of groups there's a very beautiful compactness principle so this is the theory that I don't want to talk about because it doesn't address our question here but just to show you how hard our question is let's just remind ourselves a typical problem of this nature so Hilbert's 11th problem concerns solvability of quadratic equations in whole numbers that's it called Hilbert's 11th problem was only solved recently the final straw being put by Piottsky, Shapiro, Kogdel and myself I want to remind you of a very simple equation so that you at least see the relation what Hilbert was asking compared to the problem we'll be asking here so Hilbert's 11th problem is the following is the generalization of the following problem that goes back to Gauss and Legendre and I like this because it's very, very involved this looks simple but it's quite deep which numbers are some of three squares now that has got no deficiencies or packings that's just an equation in whole numbers that's what most of number theory, much of number theory about is a theory of diathantine equations can we solve this equation so this mankind pondered very early on which numbers are some of three squares these are everything to be whole numbers the one condition that you quickly see is n better be not negative because squares are not negative so there's an obstruction there but that's, if you think a little more you'll see another obstruction no number which gives remainder 7 when divided by 8 is a sum of 3 squared why? because if I look at division by 8, I look at only I do all my operations in the whole numbers I only look at the remainder when divided by 8 then my remainder is 0, 1, 2, 3 all the way up to 7 there are only finitely many 8 possibilities and if I square any of those numbers I'll get 0, 4, 1 those are the only possibilities for the squares and if I add any 3 of those you just look at the possibilities you'll never get 7 so any number which gives remainder 7 when divided by 8 is not a sum of 3 squares there is an obstruction and similarly any number which is 4 to the 8 times 8b plus 7 is also not a sum of 3 squares so there are these obvious reasons that a number is not a sum of 3 squares that anybody who thinks about it quickly comes up with the hard and the deep theorem is once you can't find any more reasons that it's not a sum of 3 squares maybe it is a sum of 3 squares and that's one of the great theorems it's a theorem of Gauss there's a big debate who first proved this well he knew the theorem but he didn't quite have a complete proof Gauss has a proof it's an entry in his diary around 1800 he starts out Eureka he was trying to prove this for a long time he carries on in this thing at the end of the entry he says and this is fantastic I proved this and at the end he says by the way my fifth daughter was born today a minor event in this context of this theorem and it's a good example of a local to global principle meaning that this is the best of all possible worlds we have reasons that a number the equation can't be solved and the minute we overcome we pass this condition we are solvable there are very few equations which obey this local to global principle the quadratic is 1 the question we are asking about the Apollonian packing is the same kind of question it was born by making this packing and it's not an arithmetic group it's not the full orthogonal group OFZ it's infinite index let me just amplify this point a little bit so again I go back to that cone the set of all x such as f of x is 0 this is a cone in four dimensions the Apollonian group or this group OFZ which are the four by four matrices which preserve the quadratic form of which all a's all elements of a are in there preserves a little more so I define v prime primitives to be the points whose coordinates have no common factor the greatest common divisor of a 1, a2, a3, a4 is 1 we start with such a point and we apply any of those Apollonian moves you will not destroy the fact that the greatest common factor is 1 and what's interesting is if you take this big group OFZ the one that's friendly in the sense that mankind knows about it not that it's easy, this is a great achievement of many people to understand Hilbert's 11th problem but if you take the orbit of any point a which is primitive under this you will get all the points so that's why that problem has another description the orbit there is exactly all points which satisfy an equation while the set of circles in an Apollonian packing are the set of points which you get by keep on making these moves I don't have another description of those points so if you want to work out what's there you have to develop a new theory and that's why the theory the modern theory the theory that developed after Hilbert is not good enough for the simple question that Soddy asked I won't go into it but I've coined these thin groups because they were infinite index whatever there was they were deficient they were born this way and they come up everywhere now now that we start looking they come up in monodrome in Calabi yows a yow was here recently selling his book maybe you look there you'll see Calabi yows they're thin groups there amazingly there are some of these groups you can't even tell who's in the group that's the undecidability properties in any event what's happened in the last six years is a great development of theory with many contributors making that theory not as well understood as the theory of following Hilbert but enough to answer some questions and now I'm going to tell you what other questions we can answer for the Apollonian group so far I haven't told you anything about the Apollonian group except what Soddy found that their whole number alright so now let me go through and that's the rest of the lecture I'm going to explain to you what we can show let me amplify that point that this is just an example and a very beautiful example with beautiful pictures of what is a very general theory that has come out which allows you to deal with these kind of situations so the first question if you're going to try and look for numbers with some properties if you want to count prime numbers and you erasthostanese or somebody like that if you want to produce prime numbers there first thing is you need to know how many numbers there are so if I give you a big number x and I ask you how many numbers are less than x well more or less x x could be any real number if x is a whole number it's the floor function of x or something I don't know if the floor includes x or not you always miss by one ok so there are roughly x integers less than x and if you were to do a sieve which is the kind of thing we may want to do we want to find all prime numbers up to x then you would remove all the numbers divisible by 2 and that's roughly half of x remove all the numbers divisible by 3 it's roughly one third of x add all the numbers divisible by 6 and then you keep this going and then when you left you're just left with primes that's fine if you're running it on a computer but if you actually want to count the number of primes it's extremely difficult that's called the sieve and it's very difficult from that procedure to actually do the counting you have to do something much more difficult so can we count here this is the following let's look at all the circles in the packing for which their curvatures are less than a big number x you should think here of x is a very big number and x is going to infinity how many circles are there in the very first picture you saw there whose curvature is less than x this doesn't, this has nothing to do with diaffantine this could be any packet David Boyd many years ago was able to answer the first step in this he showed that this number grows like x to a power which is some weird fractal dimension in other words he showed log of this number divided by log x when x goes to infinity tends to a number that exists there and that's the number to a few decimal places we don't know this number exactly but it is important for the rest of this lecture that this number is bigger than one it's actually the house of dimension of something called the apollonian gasket he showed that too and his arguments were all elementary in Euclidean geometry estimating inductively the new circles from the old circles using formulae one of the things that one wanted to understand is that maybe there's a refinement of this, an asymptotic law and there is and this is one of the first theorems that has emerged from this new theory and it's a theorem of Alex Kontorovich and he owe from two years ago it's just appeared in jams probably one of the better journals but not the Princeton Journal I have to sell the journal I'm an editor it's going down the hill down the tube I'll tell you outside later some stories so anyway this is a beautiful theorem and it gives you the refinement that the number is in fact there's another constant such that the number of circles whose curvature is less than x is about b times x to the delta to show you that probably you'll never get this elementarily is you might, I can't prove that but you would have to rediscover something rather striking this b is basically determined by a base vibrating mode on a hyperbolic three-dimensional infinite volume manifold scattering theory is needed here so it is quite remarkable that you can use these beautiful theories from spectral theory and geometry to do this and if you gave an elementary proof of this you would have to rediscover this base eigenfunction in another language it's not impossible, but it would be very interesting so we do know the number and this is very important as we advance to try to understand the arithmetic so let's turn to the arithmetic now this will be used freely the question you should be asking and we have alluded to all the time which numbers appear there are there some congruence are there some arithmetic obstruction just like I said that if you take a number and you want to write it as sum of three squares you can't if it gives remainder seven when divided by eight now those numbers were too small but I expect you all notice that the numbers in the coverages there satisfy some congruences I'll now tell you what they are and the interesting theorem here is we know exactly what these congruences are let me remind you what a congruence is I've already been talking about it but just to review we do when I say mod Q I will always look at all integers or any expression that you see there in arithmetic when you divide by Q Q is any number greater than or equal to one so then there are only finitely many possibilities and being finite we can manipulate much more easily and understand that problem and so that's the local theory and we want to first understand what's happening locally and then hopefully globally when we look for the integers themselves that's the motto of modern numbers here so for P naught I can't expect you to have noticed but those are exactly the congruences every curvature you saw you could certainly see it from the first four that I had there but you generate all those numbers and they always satisfy they always one of these numbers and mod 24 is one of these numbers and this is the only arithmetic such obstruction that's not obvious and that was proved by Elena Fuchs in her thesis last year that's the initial one that's I'm lecturing around those three coins but in fact there are only two possibilities universally there's only one other possibility so she answers it for any integral epilonian packing so P could be replaced this is for P naught that this is true for all of those is more or less obvious you start off with your four matrices and then you got S1, S2, S3, S4 and if S1, S2, S3, S4 you look at what they do mod 24 this is now a finite little diagram and you can see what you trace out and you see you only get these numbers the more difficult thing is to see there's no obstruction there's no congruent subtle thing going on modulo some other big prime and I should say that that's where the risky density comes in and a very beautiful theorem of a man called Weisfeller who tragically disappeared in South America many years ago, unexplained alright now why are we so interested in counting suppose I want to know I'm going to tell you a conjectured answer and something we know towards it which numbers are curvatures there well the first thing is remember the number of curvatures up to X is about X to the 1.3 that was the theorem of Kontorovich and O but the number of integers up to X is only X so roughly if God is making them at random each integer is going to be hit roughly X to the 0.3 times but not every integer is there because we know that you have to satisfy these arithmetic obstructions so you build in the arithmetic and then you expect that you hit everything you're supposed to hit and it's bad news, you don't but the best that's because very small numbers which satisfy the congruence are not hit so then you hope maybe something becomes true when X gets large and that's where I'm aiming but before you do that you try on so much simpler question which is how many different numbers not telling me which one X without multiplicity so how many distinct integers up to X are the curvatures of circles in the Apollonian packing this was a basic conjecture in the paper not of Saudi but of the Garia center and this too was solved recently by Borghain and Fuchs showing that their conjecture was a positive proportion of all numbers are hit and that's proved and that uses all sorts of more standard rules from number theory, not this really modern theory and you can find the basic idea outlined in a letter of mine so if you go to my name at Princeton they made a very important improvement on what I was doing getting where I had some slightly weaker result the basic idea is an ad hoc idea I would say coupled with standard number see my philosophy in this lecture is anything that's standard I won't talk about much but the real question here that I don't know the answer to is there local to global principle like in Hilbert's 11th problem and I'm sure there is it's just we don't have the tools to prove it that is, is the set of integers which you see in this Apollonian packing exactly all integers which give one of those remainders when divided by 24 except so that's not true is that true except for finitely many exceptions is it true that if we know the exceptions we just find them galore I'm going to show you a picture now but if you go far enough because you have many opportunities to hit each number about x to the 0.3 according to that count maybe you do eventually hit every number and that would be a local to global principle that would be a beautiful answer to this you would actually have a description of exactly who are curvatures so that we don't know but we have some nice experiments here by Fuchs and Sandin to Princeton students I think I'm running a bit slow so I won't go into it but let me tell you that the so look here whatever this says here it says there are 536 exceptions between 10 to the 8 4 times 10 to the 8 and 5 times 10 to the 8 so you might say how could I say with any with a straight face that this conjecture is true when there are 538 exceptions out when we've gone up to 10 to the 8 we have some theoretical ways of understanding why this is catching up slowly like yeah there are no exceptions so I am quite confident that this local to global principle is true and it's much more difficult than Hilbert's 11 problem because the group A is deficient in the way I've described alright one can prove other things this is what I had set out initially are there infinitely many circles whose curvatures are prime for example if you went if the original picture up here I'm asking now for some memory you'll find in the middle that they actually even twin prime there are two circles next to each other both of which curvatures are prime the answer is yes there are infinitely many circles to a prime and there better still there are infinitely many circles pairs of circles for prime and that proof is an ad hoc proof it does use all the modern tools of half dimensional serves of a reduction but it's true and it's something that is true for any integral apollonian packing one of the reasons I like to put this down I make this joke always it's a bad joke but I've got to make it I've always wanted to prove the twin prime conjecture so I prove the twin prime conjecture there are infinitely many twin prime in this picture where I define what I mean by twin prime the twin prime conjecture it's a much simpler problem that it's natural it's debatable but any I think anybody here who's a young person I don't see too many but who's supposed to come to these lectures and saw a list of primes which can't help but asking are there infinitely many primes whose distance from each other is two it's not a natural question it's a very famous story about Vinogrado the guy who invented many of the tools to do things with primes he was the head of the Steklov Institute a nasty man and one of the young men the young guy is different in each story but the story seems accurate enough he says he was a boss why is our boss so famous he proved every large odd number to some of three primes what does that mean I haven't thought about primes since high school but I thought primes not add them it's not a natural thing to ask if there are infinitely many primes in this picture but I can't resist so that's the nature of the beast we like these kind of questions yeah oh yeah twins alright I'm near the end here you might ask is there prime number theorem so we are a little short of proving that and I'll just end with that the prime number theorem is a theorem about the ordinary prime numbers the number of integers less than x is x the number of primes less than x how many prime numbers are there less than x there's no formula that's useful for giving primes but we can try to count them by all sorts of ingenious ideas and one of the great achievements at the turn of the century 1900 just before 1896 due to Audemars and de la Vallée Pousson was to prove that the number of primes less than x is roughly x divided by log x it's called the prime number theorem and it was one of the high points of mathematics at the time the techniques were quite stunning in using things from analysis and zeta functions so you could ask here how many primes are there in p or p0 any one of those whose curvatures are less than x and such that ac is prime at this point thanks to my other the theorem I mentioned there that I was able to show this does go to infinity there are infinitely many circles which are prime but I didn't produce the right number of them to make this true so you could ask is there a prime number theorem is it true that pi p of x is asymptotic to the total number np of x the number of integers divided by log x roughly the density of primes is one of a log which is why that should be right and you might even predict the constant and we understand enough heuristics to actually predict this whole story and even check it numerically that's what that picture is you don't need to look at it there's no question it's true with an exact constant the constant is a special value of an L function so we know everything about what's supposed to be true but we can't prove this prime number theorem because we really haven't understood and it's very difficult to understand accurately enough how many had to do this counting accurately enough nevertheless you can give an upper bound so some sub argument coupled with something that's what I want to end with is giving us an upper bound which is at least saying that this upper bound is correct with the wrong constant in other words this is supposed to be roughly asymptotic meaning constant times this over that with a God given constant there this theorem says that the number is at most another constant four times that when x is large so that's already quite remarkable information and I want to mention that particular theorem because it uses the modern machinery that I've been alluding to the theory of thin groups is something called the affine sieve and spectral gaps and even Alex Gumbard happens to be here by coincidence I guess he came because of it he's one of the founders of this together with Morgana myself it's become a big industry Terry Tao who gave his lectures to four years ago also contributed to this it's a theory which allows you to do this kind of mathematics with a thin group and this is a good example of the use of that theory I think I'm coming to the end I said I don't want to give the proof of Descartes theorem it's really not from the book it's not pleasant let me stop there thank you very much well I think we have time for a few questions we won't spend too long because there is a we'll be refreshing this outside but please have a question on too so there are let's call it a tiny bit yes yes yes there's a hold right the five authors look for three dimensions and they are even once in n dimensions they are slews of generalizations and I should give a reference what I promised Andrew is when I finish all these lectures and he posts them on the web it will be off each lecture to complete set of references you can follow these things to see where they are and that's one of the references I would get in fact if you start with any cocks do you know what I mean by that okay the onset they are higher dimensions of generalizations they are a little harder to draw the tools that apply here apply there very much in the same way not every aspect but a month so I hope I was making clear that this is just the juiciest example of this and in some sense it's not the most indicative if you take a sort of monogram here a more complicated situation now situations where we have no idea how to decide who is in orbit because here you can see we are getting smaller and smaller so if we miss somebody we know we will never find it later but imagine I don't know that I am getting smaller and smaller then you can be in a position where you actually can ask this question and not even be able to determine where that specific number is there never mind a universal state anyway there are higher dimensions of generalizations and they certainly already are in the works of the carriers they wrote 5 or 6 papers yeah at the beginning you mentioned that you said this was related to this work and you wanted to remove it so what did you mean what I meant was that one of the key players in the geometry of numbers he developed the foundations of the geometry of numbers the study of integral quadratic forms which is all emerged after Hilbert's problem Hilbert just asked a simple question solve a quadratic equation in several variables with a whole number, the answer is to be a whole number everybody's whole numbers that's a very basic question he asked two questions, one about whole numbers and one about fractions the fraction part is much easier because with the work of Hesse it's very famous Hesse principle and he's completely understood how to solve quadratic equation with a number of fractions but the whole number part is much much harder and that took much longer to solve and the tools that I used I haven't said there automotive forms, the three groups modularization all these rely at the very beginning on something from the geometry of numbers a theory which was started by Kotsky to answer questions about quadratic forms like the second and Mahler was a key player so what I meant was he was a player in this standard and a very important theory mainstream theory which doesn't apply to this problem which is why I'm very interested in it because the group polynomial symmetry A is not that group O, F, Z but where I F, Z this would be translatable to a standard problem not necessarily solve but at least the standard question and the diving theory for quadratic equation but because A is born deficient it doesn't fit in there and so Mahler's work does not mean the same in fact Mahler's work shows that the some quotient space is compact or at least finite volume and the whole defining part of this is very big, it's infinite volume very flat in there, it's very hard to work arithmetic so I'm not saying Mahler could get a page anyway he was working on this a long time ago he's one of the great founders of the geometry of numbers the most many things there are other arithmetic kind of sequences not like this you might view this as a funny construction of new numbers from old numbers each time it's a non-commuted it's not a very big non-commuted group making new numbers from old numbers there are recurrent sequences which are simpler definitions of sequences and where you've asked about patterns in the sequence and he played a very big role in Mahler's Mahler's theory he worked in geometry of numbers on standards have any other questions in that case we can move to refreshments but before we do that please join me in thanking him for the sound