Tom Liggett 1944-2020

Tom Liggett passed away May 12, 2020 in Los Angeles at the age of 76. According to Wikipedia, Tom Liggett moved at the age of two with his missionary parents to Latin America, where he was educated in Buenos Aires (Argentina) and San Juan (Puerto Rico). He graduated from Oberlin College in 1965, where he was influenced towards probability by Samuel Goldberg, an ex-student of William Feller. He went to graduate school at Stanford, taking classes with Kai Lai Chung, and writing a PhD thesis in 1969 with advisor Samuel Karlin. Karlin had 44 students including my adviser Don Iglehart, which means I should call him Uncle Tom.

Tom’s first really impressive result was a 1971 paper with Mike Crandall on nonlinear semigroups.  At about the time this paper was written, Chuck Stone showed Tom a copy of Frank Spitzer’s 1970 paper on Interacting Particle Systems saying “I think you’ll find something interesting in this.” The rest, as they say, is history. In 1972 Tom wrote a paper proving the existence of interacting particle systems using the Hille-Yoshida theorem for linear semigroups. His St. Flour lecture notes published in 1977 helped spread the word about the field to a broad audience of probabilists.

His 1985 book, which has been cited more than 5000 times, helped grow interacting particle systems into a lively and vibrant area.  By the time he wrote his 1999 book, the field had grown so large that he concentrated only three examples: the contact process, voter model, and simple exclusion process. His books and papers are known for their clear and elegant proofs, though for those of us who are not as smart as he was they can take some effort to digest. A fuller account of Tom’s research can be found in the July 2008 article in the IMS Bulletin on his induction into the National Academy of Science.

Tom was an Associate Editor of the Annals of Probability from 1979-1984 and became its editor 1985-1987. He lectured at the International Congress in Math in 1986, gave the Wald Lectures in 1996, and was a Guggenheim fellow from 1997-1998. At UCLA he was administrative vice chair 1978-1981, chair 1991-1994, and undergraduate vice-chair 2004-2006. I departed from UCLA in 1985, but I remember Tom telling me once that you know you are doing a good job as chair if EVERYONE is mad at you.

Tom had only nine Ph.D. students: Norman Matloff (1975), Diane Schwartz (1975), Enrique Andjel (1980) , Dayue Chen (1989), Xijian Liu (1991),  Shirin Handjani (1993), Amber Puha (1998), Paul Jung (2003), and Alexander van den Berg-Rodes (2011). Despite the small number of children his family tree goes deep in Brazil. As they say in the bible Andjel begat Pablo Ferrari, who begat Fabio Machado who combined for a total of 34 descendants. The sociology of how students choose their advisers is mysterious, but as Amber Puha wrote in the report on Tom’s 75th birthday party,(June/July 2019 issue of the IMS Bulleting) she found him to be an ideal adviser.

Over Tom’s career he mentored numerous postdoctoral fellows and young researchers. A glance at his publications since 2000 https://www.math.ucla.edu/~tml/post2000pubs.html shows he had too many collaborators for me to list here. While I was at UCLA we talked a lot about math but we did not do much joint work since we had much different styles. It takes me months to years to pursue an idea to solve a problem, but Tom seemed to go from idea to solution and completed paper in a few days. One paper on which I could work at his speed was On the shape of the limit set in Richardson’s model. I was on my way to the Friday afternoon probability seminar at USC when Tom popped out of his office and said “it has a flat edge.”

Two of our other joint papers come from his solving a problem that I was working on with someone else, which I believe is a common occurrence on his publication list. We no longer have access to his agile mind, but you can still see it at work in 106 papers and his two books on interacting particle systems.

Moneyline Wagering

With the orange jackass (aka widdle Donnie) first declaring the coronova virus a hoax, then telling people to go ahead and go to work if you are sick, and only today tweeting that the people at the CDC are amazed at how much he knows about covid-19, it is time to have some fun.

Tonight (March 7) at 6PM in Cameron Indoor Stadium the Blue Devils with a conference record of 14-5 will take on the UNC Tarheels  who are 6-13 and will end up in lst place if they lose. If you go online to look at the odds for tonight’s Duke-UNC you find the curious looking

Duke -350

UNC 280

What this means is that you have to bet $350 on Duke to win $100, while if you bet $100 on UNC you win $280

Let p be the probability Duke wins.

For the bet on Duke to be fair we need 100p – 350(1-p) = 0 or p = 7/9 = 0.7777

For the bet on UNC to be fair we need -100p + (1-p)280= 0 or p = 0.7368

If 0.7368 < p < 0.7777 both bets are unfavorable.

This suggests that the a priori probability Duke wins is about 3/4.

Another way of looking at this situation is through the money. If a fraction x of people bet on Duke then

When Duke wins the average winnings are 100x – 100(1-x)

When UNC wins the average winnings are -350 x + 280 (1-x)

Setting these equal gives 200 x + 630 x = 100 + 280 or x = 38/83 = 0.4578

If this fraction of people bet on Duke then the average payoff from either wager is -500/83 = -$6.02 and the people who are offering the wager don’t care who wins.

Harry Kesten 1931-2019

 

Harry Kesten at Cornell in 1970 and in his later years

 

 

 

 

 

 

 

On March 29, 2019 Harry Kesten lost a decade-long battle with Parkinson’s disease. His passing is a sad event, so I would like to find solace in celebrating his extraordinary career. In addition I hope you will learn a little more about his work by reading this.

Harry was born in Duisburg Germany on November 19, 1931.  His parents escaped from the Nazis in 1933 and moved to Amsterdam. After studying in Amsterdam, he was a research assistant at the Mathematical Center there until 1956 when he came to Cornell. He received his Ph.D. in 1958 at Cornell University under supervision of Mark Kac.

In his 1958 thesis on Symmetric Random Walks, he showed that the spectral radius equals the exponential decay rate of the return to 0, and the latter is strictly less than 1 if and only if the group is non-amenable  This work has been cited 206 times and is his second most cited publication (according to MathSciNet). Harry was an instructor at Princeton University for one year and at the Hebrew University for two years before returning to Cornell, where he spent the rest of his career. While in Israel, he and Furstenberg wrote their classic paper on Products of Random Matrices.

In the 1960s, he wrote a number of papers that proved sharp or very general results on random walks, branching process, etc. One of the most famous of these is the 1966 Kesten-Stigum theorem which shows that a a normalized branching process Znn has a nontrival limit if and only if the offspring distribution has E(X log+ X) < ∞.  In 1966 he also proved a conjecture of Erdös and Szuzu about the discrepancy between the number of rotations of a point on the unit circle hitting an interval and its length. Foreshadowing his work in physics, he showed in 1963 that the number of self-avoiding walks of length n satisfied σn+2n → μ2 , where μ is the connective constant.

Harry’s almost 200 papers have been cited 3781 times by 2329 authors However, these statistics underestimate his impact. In baseball terms, Harry was a closer. When he wrote a paper about a topic, his results often eliminated the need for future work on it. One of Harry’s biggest weaknesses is that he was too smart. When most of us are confronted with a problem, we need to try different approaches to find a route through the woods to a solution. Harry simply got on his bulldozer and drove over all obstacles. He needed 129 pages in the Memoirs of the AMS to answer the question: “Which processes with stationary independent increments hit points?”, a topic he spoke about at the International Congress at Nice in 1970.

In 1984 Harry gave lectures on first passage percolation at the St. Flour Probability Summer School. This subject dates back to Hammersley’s 1966 paper and was greatly advanced by Smythe and Weirman’s 1978 book. However, Harry’s paper attracted a number of people to work on the subject and it has continued to be a very active area. See 50 years of First Passage Percolation by Auffinger, Damron, and Hanson for more details. You can buy this book from the AMS or download it from the arXiv.  I find it interesting that Harry lists only six papers on his Cornell web page. Five have already been mentioned. The sixth is On the speed of convergence in first-passage percolation, Ann. Appl. Probab. 3(1993), 296–338.

Harry has worked in a large number of areas. There is not enough space for a systematic treatment so I will just tease you with a list of titles. Sums of stationary sequences cannot grow slower than linearly. Random difference equations and renewal theory for products of random matrices. Subdiffusive behavior of a random walk on a random cluster. Greedy lattice animals. How long are the arms of DLA? If you want to try to solve a problem Harry couldn’t, look at his papers on Diffusion Limited Aggregation.

In the late 1990s, Maury Bramson and I organized a conference in honor of Harry’s 66 2/3’s  birthday. (We missed 65 and didn’t want to wait for 70.) A distinguished collection of researchers gave talks and many contributed to a volume of papers in his honor called Perplexing Problems in Probability. The 21 papers in the volume provide an interesting snapshot of research at the time. If you want to know more about Harry’s first 150 papers, you can read my 32 page summary of his work that appears in that volume.

According to math genealogy, Harry supervised 17 Cornell Ph.D. students who received their degrees between 1962-2003. Maury Bramson and Steve Kalikow were part of the Cornell class of 1977 that included Larry Gray and David Griffeath who worked with Frank Spitzer. (Fortunately, I graduated in 1976!). Yu Zhang followed in Harry’s footsteps and made a number of contributions to percolation and first passage percolation. I’ll let you use google to find out about the work Kenji Ichihara, Antal Jarai, Sungchul Lee, Henry Matzinger, and David Tandy.

Another ‘broader impact” of Harry’s work came from his collaborations with a long list of distinguished co-authors: Vladas Sidorovicius (12 papers), Ross Maller (10) , Frank Spitzer (8), Geoffrey Grimmett (7), Yu Zhang (7), Itai Benjamini (6), J.T. Runnenberg (5), Roberto Schonmann (4), Rob van den Berg (4), … I wrote 4 papers with him, all of which were catalyzed by an interaction with another person. In response to a question asked by Larry Shepp, we wrote a paper about an inhomogeneous percolation which was a precursor to work by Bollobas, Janson, and Riordan. Making money from fair games, joint work with Harry and Greg Lawler, arose from a letter A. Spataru wrote to Frank Spitzer. I left it to Harry and Greg to sort out the necessary conditions.

Harry wrote 3 papers with two very different versions of Jennifer Chayes. With a leather-jacketed Cornell postdoc, her husband Lincoln Chayes, Geoff Grimmett and Roberto Schonmann, he studied “The correlation length for the high density phase.” With the manager of the Microsoft research group, her husband Christian Borgs, and Joel Spencer he wrote two papers, one on the birth of the infinite component in percolation and another on conditions implying hyperscaling.

As you might guess from my narrative, Kesten received a number of honors. He won the Brouwer medal in 1981. Named after L.E.J. Brouwer it is The Netherlands’ most prestigious award in mathematics. In 1983 he was elected to the National Academy of Science. In 1986 he gave the IMS’ Wald Lectures. In 1994 he won the Polya Prize from SIAM. In 2001 he won the AMS’ Steele Prize for lifetime achievement.

Being a devout orthodox Jew, Harry never worked on the Sabbath. On Saturdays in Ithaca, I would often drive past him taking a long walk on the aptly named Freese Road, lost in thought. Sadly Harry is now gone, but his influence on the subject of probability will not be forgotten.

Jonathan Mattingly’s work on Gerrymandering

My last two posts were about a hurricane and a colonscopy, so I thought it was time to write about some math again.

For the last five years Mattingly has worked on a problem with important political ramifications: what would a typical set of congressional districts (say the 13 districts in North Carolina) look like if they were chosen at “random” subject to the restrictions that they contain a roughly equal number of voters, are connected, and minimize the splitting of counties. The motivation for this question can be explained by looking at the current congressional districts in North Carolina. The tiny purple snake is district 12. It begins in Charlotte goes up I40 to Greensboro and then wiggles around to contain other nearby cities producing a district with a large percentage of Democrats.

To explain the key idea of gerrymandering, suppose, to keep the arithmetic simple, that a state has 2000 Democrats and 2000 Republicans. If there are four districts and we divide voters

District           Republicans       Democrats

1                           600                            400

2                           600                            400

3                           600                            400

4                           200                            800

then Republicans will win in 3 districts out of 4. The last solution extends easily to create 12 districts where the Republicans win 9. With a little more imagination and the help of a computer one can produce the outcome of the 2016 election in North Carolina election in which 10 Republicans and 3 Democrats were elected, despite the fact that the split between the parties is roughly 50-50.

The districts in the North Carolina map look odd, and the 7th district in Pennsylvania (named Goofy kicks Donald Duck) look ridiculous, but this is not proof of malice.

Mattingly with a group of postdocs, graduate students, and undergraduates has developed a statistical approach to this subject. To explain this we will consider a simple problem that can be analyzed using material taught in a basic probability or statistics class. A company has a machine that produces cans of tomatoes. On the average the can contains a pound of tomatoes (16 ounces), but the machine is not very precise, so the weight has a standard deviation (A statistical measure of the “typical deviation” from the mean) of 0.2 ounces. If we assume the weight of tomatoes follows the normal distribution then 68% of the time the weight will be between 15.8 and 16.2 ounces. To see if the machine is working properly an employee samples 16 cans and finds an average weight of 15.7 pounds.

To see if something is wrong we ask the question: if the machine was working properly then what is the probability that the average weight would be 15.7 pounds or less. The standard deviation of one observation is 0.2 but the standard deviation of the average of 16 observations is 0.2/(16)1/2  = 0.005. The observed average is 0.3 below the mean or 6 standard deviations. Consulting a table of the normal distribution or using a calculator we see that if the machine was working properly then the probability of an average of 15.7 or less would occur with probability less than 1/10,000.

To approach the gerrymandering, we ask a similar question: if the districts were drawn without looking at party affiliation what is the probability that we would have 3 or fewer Democrats elected? This is a more complicated problem since one must generate a random sample from the collection of districts with the desired properties. To do this Mattingly’s team has developed methods to explore the space of possibilities and then making successive small changes in the maps. Using this approach one has make a large number of changes before you have a map that is `independent.” In a typical analysis they generate 24,000 maps. They found that using the randomly generated maps and retallying the votes, ≤3 Democrats were elected in fewer than 1% of the scenarios. The next graphic shows results for the 2012, 2016 maps and one drawn by judges.

Mattingly has also done analyses of congressional districts in Wisconsin and Pennsylvania, and has helped lawyers prepare briefs for cases challenging voting. His research has been cited in many decisions including the three judge panel who ruled in August 2018 that the NC congressional district were unconstitutional. For more details see the Quantifying Gerrymandering blog

https://sites.duke.edu/quantifyinggerrymandering/author/jonmduke-edu/

Articles about Mattingly’s work have appeared in

(June 26, 2018) Proceedings of the National Academy of Science 115 (2018), 6515–6517

(January 17, 2018)  Nature 553 (2018), 250

(October 6, 2017) New York Times  https://www.nytimes.com/2017/10/06/opinion/sunday/computers-gerrymandering-wisconsin.html

The last article is a good (or perhaps I should bad) example of what can happen when your work is written about in popular press. The article, written by Jorden Ellenberg is, to stay within the confines of polite conversation, simply awful. Here I will confine my attention to its two major sins.

  1. Ellenberg refers several times to the Duke team but never mentions them by name. I guess our not-so-humble narrator does not want to share the spotlight with the people who did the hard work. The three people who wrote the paper are Jonathan Mattingly, professor and chair of the department, Greg Herschlag, a postdoc, and Robert Ravier, one of our better grad students. The paper went from nothing to fully written in two weeks in order to get ready for the court case. However, thanks to a number of late nights they were able to present clear evidence of gerrymandering. It seems to me that they deserve to be mentioned in the article, and it should have mentioned that the paper was available on the arXiv, so people could see for themselves.
  2. The last sentence of the article says “There will be many cases, maybe most of them, where it’s impossible, no matter how much math you do, to tell the difference between innocuous decision making and a scheme – like Wisconsin’s – designed to protect one party from voters who might prefer the other.” OMG. With many anti-gerrymandering lawsuits being pursued across the country, why would a “prominent” mathematician write that in most cases math cannot be used to detect gerrymandering?

Two faces of Hurricane Florence

The title is supposed to evoke images of a woman who is a soccer mom by day and serial killing hooker by night. The coastal part of the state of North Carolina saw the second side of Florence. In Durham, which is 150 miles from Wilmington, we mostly  her softer side.

In the days leading up to Sunday September 9, the storm was hyped by the weather channel and the local news stations. Florence started as category 1 in the eastern half of the Atlantic Ocean but it was predicted that as she reached the warmer weather in the Atlantic, she would grow to category 4 and smash into coast somewhere in the Carolinas (and she did). The message of a coming disaster was reinforced by our neighborhood listserv. People who lived through Hurricane Fran in 1996, saw many trees go down, and lived a week or more without power, and they were not anxious for a repeat performance. Emails were filled with long lists of things we should do in order to prepare.

Monday September 10. At my house we had our semi-annual inspection of the heating/cooling system. It is hard to get work done while the technician is in the house, so I googled “How do you prepare for a hurricane?” The answers were similar to what I had seen on the listserv, with one new funny one: remove all of the coconuts from your trees, since they can become cannonballs in a storm. When the inspection was finished about 11:30 (with no repairs needed!), I went to the grocery store with my little list: water and nonperishable foods. The store was a zoo and water was flying off the shelves, but I came home with 48 quart bottles of Dasanti, canned fruit, canned soup, bread, peanut butter, energy bars, etc.

Tuesday September 11  was the 17th anniversary of a day that changed the world. Donald and Melania visited the new memorial to the plane that went down in Pennsylvania. I came down with a cold and stayed home from school. By this time, there was more weather than news on news. I recall hearing one weatherman pontificate “at this point we are as good with predictions 72 hours out as we used to be at 24 hours.” Then he showed a track that had the eye of a category 1 storm over Durham about five days later. Tuesday afternoon Duke announced that all classes were cancelled as of 5PM Wednesday. , with no classes on Thursday and Friday. UNC and NCState also closed and in a sign of looming disaster cancelled their football games. For UNC this was a blessing. Having lost to Cal and to the East Carolina in the two previous weeks, they were happy to escape from another loss at the hands of U of Central Florida.

Wednesday September 12. The morning weather forecast announced a dramatic change in the track of the storm. It was now predicted to turn left after land fall, hang out at the beach for a couple of days and then head off to Atlanta. The new storm track was great news for Durham but not for Myrtle Beach South Carolina which was given a short deadline to evacuate. Wednesday was more or less a normal day. I met with a graduate student at 11, had lunch, taught my class, and announced the shifted schedule for the homework and exams due to the cancellation of class on Friday.

Thursday September 13 was the calm before the storm.  My wife and I took a walk around the neighborhood in the morning, went out to a Mexcian Lunch at La Hacienda at the northern edge of Chapel Hill, and grilled some chicken for dinner. (In NC barbecuing refers to cooking a large piece of meat over a slow fire until you can pull it apart with your hands. Grilling gets the job done in 15-20 minutes.) Feeling more confident about the future we scaled back from cooking four chicken breasts to have leftovers that could be eaten over the next few days, to making only two.

Friday September 14. Florence made land fall at Wilmington as a category 2 hurricane, which is definitely more than half as strong as a category 4. It was amusing to see several weathermen competing to see who could be filmed in the eye of the hurricane, where the winds suddenly drop to 0. A woman on the neighborhood listserv described it as an eerie experience. Most of the other things that happened along the coast were not at all funny. New Bern was about 30 miles from the coast, but it was on the banks of the Neuse River. Rains plus hurricane winds resulted in flooding that left hundreds of people (who stupidly chose not to evacuate) in need of rescue. Up in Durham things were much more sedate. There was very little wind or rain. However since the weatherman had told us to shelter in place, we stayed in for most of the day, as did most of our neighbors.

Saturday September 15 was more or less a repeat of Friday. Twisting a line from Big Bang in which Penny is talking about here relationship with Leonard. “This is a new boring kind of hurricane.”   I don’t know what normal people do during a hurricane, but it is a great chance to get some work done. On Friday I read a couple of papers from the arXiv and thought up a new problem for one of my grad students to work on. Saturday I decided I would use the lull to finally finish up the 5th edition of Probability; Theory & Examples, so I sifted through emails I had saved from readers and corrected some typos. Not everything I do is math. I watched the third round of the Evian Championship, the fifth major of the LPGA season. In more keeping with more manly pursuits I watched parts of Duke’s 40-27 victory over Baylor in Waco, Texas. The win was remarkable because Duke’s starting quarterback, a junior who might make it to the pros, was out. In addition, I watched Texas beat the USC Trojans, 37-14. It’s not just that my son is a CS professor in Austin. Having been at UCLA for nine years, when Peter Carroll was there, I love to see USC lose.

Sunday September 16. Duke’s severe weather policy (which covers not only the university but also the hospitals) ended at 7AM, so we figured that we had reached the end of the hurricane. We got up and went to the Hope Valley Diner for breakfast at about 7:30. When we first started going there it was called Rick’s. However, the owner got tired of having a restaurant named after her ex-husband. In keeping with the intellectual climate of Durham, our usual waitress is a second year medical student at UNC Greensboro. Weather was light rain as it had been for the last couple of days, so we went to the Southpoint Mall to get out of the house. Being in a Christian region almost all the stores don’t open until noon. At the mall Susan bought some Crocs, and I bought a couple of books that I read before going to sleep. However, mostly we walked around like many of the families who came there with their small kids.

Monday September 17. Our hopes of nicer weather were quickly dashed. It was raining very hard when we woke up. Curiously the direction of the flow was now from SW to NE in contrast with the last few days of SE to NW. Almost immediately there was a tornado alert on TV accompanied with its loud obnoxious noise, and robophone call to tell us of the event, which came a few minutes after channel 14 told us that the warning had expired.  The tornado warning came from an area well north of us, so we weren’t really worried when soon there was a second one even further north. This was too much excitement for Duke, so they cancelled classes until noon, irritating people who traveled through awful weather to get to their 8:30AM classes. Soon after the despair of facing another day of rain set it, the sun came out and Susan and I took a walk.

Tuesday and Beyond. Unfortunately the end of the rain does not bring the end of the misery for people near the coast, as we learned with Hurricane Matthew. Many of the rivers there have large basins (of attraction). Many will only crest Wednesday or Thursday. The Cape Fear River will reach 60+ feet compared to its usual 20. But don’t worry. Trump will be coming soon to inspect the damage. When he came he clumsily read from a prepared statement, that soon we will be getting lots and lots of money. I guess his advisers didn’t tell him that the state is so heavily gerrymandered that he will probably see 10 Republican congressmen elected from 13 districts.

A Tale of Two Colonoscopies

I’ve had two colonoscopies; one on January 11, 2007 and one on March 13, 2018. In the spirit of an English writing assignment, I will compare and contrast the two experiences. In addition I will offer some advice that I think will be useful for those who have yet to have had the experience. Since I am a math professor you should not view this as medical advice.

The main event “Cleaning the Area for Viewing” has not changed much. On Day -1, you only have clear fluids (see below for definition) . At 3:00 PM you take some DulcoLax (stool softener). At 5:00PM you begin to drink from a mixture of 64 oz of Gatorade and one 255gram bottle of Miralax. Eight ounces every 15 minutes until it is gone. In 2007, I was amused to see that the directions on the can said to “never under any circumstances take more than one capful.” In 2018, the laxative comes in a brightly colored plastic container, which brags that it contains 14 daily doses.

At about 6PM the party gets started, and regular trips to the bathroom continue until about midnight, when I was brave enough to try to go to sleep. In 2007 there was nothing new to do the next day, except to drink clear liquids stopping two hours before the procedure. In 2018, there is a 10 ounce bottle of Magnesium Citrate to be drunk four hours before the procedure. Fortunately, this corresponds to the standard dose and it gets its magic done in less than 2 hours.

What is a clear liquid? In 2007 the list included Coffee and Tea (no milk or cream). In 2018 these items were gone leaving water, soft drinks, Gatorade, fruit juices without pulp, chicken or beef broth, plain jello, popsicles (no sherbert or fruit bars). In short “any fruit you can see through and has no pulp” is acceptable as long as it is not RED or PURPLE for obvious reasons. A colonscopy is not a test on which you want to get a false positive!

Clear liquids are to keep you hydrated, but also to give you enough calories to get through the day.(See disclaimer above.) In this regard, popsicles and jello are worthless since they have 10-30 calories. Thinking it might be some sort of substitute for coffee in the morning, I tried some canned chicken broth warmed in the microwave. But after I had a few sips I noticed that the can said it had 30 calories per serving, 30 of which were from fat. The white grape juice at 150 calories for 8 ounces was sickeningly sweet, but a good source of calories, as was some 80 calorie lemonade (which had no pulp but taste like plastic) and to a lesser extent non-diet soda.

The biggest change in the prep routine came from the rules for a restricted diet on days -5 to -2. In 2007 the rule was just do not eat nuts, seeds, popcorn and corn. By 2018 this list has gotten huge. No non-tender meats, gristle, hot dogs, salami, cold cuts. No raw vegetables or salads, no artichokes, asparagus, broad beans, broccoli, Brussel sprouts, cabbage, cauliflower, mushrooms, onions, peas, sauerkraut, spinach, summer or winter squash, tomatoes, zucchini. No raw fruit (except for bananas), canned fruit, dried fruit, berries, melons, cranberry sauce, avocado, coconut. No bread with whole wheat, etc, etc

In short, you can eat tender cooked fish, poultry, and meat, served with green beans, cooked carrots, beets, apple sauce, ripe bananas, and cooked fruit (peaches, pears, apricots, and apples) if the skin has been removed. The exclusions listed above will test your culinary creativity. Only refined pasta is allowed but I interpreted this to mean that Stouffer’s Fettucini Alfredo was OK. While cauliflower was off the list I figured that it was OK to eat mashed cauliflower from the frozen foods aisle, which Oprah peddles as low calorie alternative to mashed potatoes. Rachel Ray’s recipe for cooked carrots are popular according to her internet site but went over like a Lead Zeppelin.

To try to end this rant on a happy note, let me talk about Day 0. As many veterans of the procedure will tell you, after going through the prep on Day -1, and now a low fiber diet on Days -5 to -2, the procedure is not bad at all. One of the reasons for this is that they give you something that makes you forget the whole thing.  I once made a joke at a conference in Canada that this amnesia makes the procedure more fun than a faculty meeting. After the talk, a faculty member from York came up and told me that in Canada they don’t give you that drug. Damn socialized medicine.

I think that the drug they give you now has changed. In 2008 it was something like Rohypnol (aka roofies, the date rape drug). My wife Susan took one of her friends, Toni, to get her colonoscopy. One of the first things Toni said after the procedure was that Susan should see the movie Awakenings. Then a few minutes later she said it again, and then again, and again. In 2007, this made me very anxious about the procedure. I was afraid that after it was over would I suddenly wax philosophical about a woman I had me that had a “balcony you could do Shakespeare from.”

In 2018 they gave me Fentanyl. Yes that is the opioid you have heard about the news that is more deadly than heroin, but the nurse was giving me the injection. Wikipedia says it “is an opioid that is used as a pain medication and together with other medications for anesthesia. It has a rapid onset and effects generally last less than an hour or two.” It had the desired effect during the procedure, but when I left the office I was clear headed enough to give Susan driving directions to get home from a very unfamiliar part of route 54, where curiously 234 and 249 are on the same side of the street.

Hopefully, reliving my experiences has been amusing and told novices more about what to expect. This time the post has a bit if a point or to be a precise a small question for doctors: “The addition of the four days of pre-prep undoubtedly makes diagnoses more accurate but does that justify the time spent on a very restrictive and unpleasant low-fiber diet?” Couldn’t we compromise on two days, if I promise that everyone in the country will follow the directions.

Abelian Sand Pile Model

Today is January 7, 2018. I am tired of Trump bragging that he is a “very stable genius.” Yes he made a lot of money (or so he says) but he doesn’t know what genius looks like. Today’s column is devoted to work of Wesley Pegden (and friends) on the Abelian Sand Pile Model. Why this topic. Well he is coming to give a talk on Thursday in the probability seminar.

This system was introduced in 1988 by Bak, Tang, and Wiesenfeld (Phys Rev A 38, 364).  The simplest version of the model takes place on a square subset of the two dimensional integer lattice. Grains of sand are dropped at random. The number of grains at a point is ≥ 4 the pile topples and one grain is sent to each neighbor. This may cause other sites to topple setting off an avalanche.

The word Abelian refers to the property that the state after n grains have landed is independent of the order in which they are dropped. The reason that physicists are interested is that the system “self-organizes itself into a critical state” in which avalanche sizes have a power law. The Abelian sand pile has been extensively studied, and there are connections to many branaches of mathematics, but for that you’ll have to go to the Wikipedia page or to the paper “What is … a sandpile?” written by Lionel Levine and Jim Propp which appeared in the Notices of the AMS 57 (2010), 976-979.

In a 2013 article in the Duke Math Journal [162, 627-642] Wesley Pegden and Charles Smart studied what happened when you put n grains of sand at the origin on the infinite d-dimensional lattice and let the system go until it reaches its final state. They used PDE techniques to show that when space is scaled by n 1/d then the configuration converges weakly to a limit, i.e, integrals against a test function converge. As Fermat once said the proof won’t fit in the margin, but in a nutshell what they do is to who used viscosity solution theory to identify the continuum limit of the least action principle of Fey–Levine–Peres (J. Stat. Phys. 138 (2010), 143-159). A picture is worth several hundred words.

 

In a 2016 article in Geometric and Functional Analysis, Pegden teamed up with Lionel Levine (now at Cornell) to study the fractal structure of the limit. The solution is somewhat intricate involving solutions of PDE and Apollonian triangulations that generalize Apollonian circle packings.

A 0-1 law for eclipses

A 0-1 law in probability is a result that says in certain situations, for example, when we consider the asymptotic behavior of sums of independent and independently distributed random variables or the short time behavior of Brownian motion, then all events are trivial, i.e., have probability 0 or 1.

Yesterday I learned that law applies to eclipses. For months we have been told that on August 21, 2017 in Durham there would be solar eclipse that will at its peak at 2:45PM it will cover 93% of the sun. That turns out to be about as exciting as being 93% pregnant or have 93% of a proof. The shade of the trees in our front yard seemed a little darker but the sky never did. Turns out that having 7% of the sun exposed is more than enough to be able to see well.

About a month ago I ordered “eclipse glasses” from Amazon, so I could look at the sun without burning my retinas. However, as I learned about a week ago, the glasses were advertised as  ISO 12312-2 certified, but they were not. Amazon was the one who told me and they sent me a refund, but I ended up without glasses. On the big day I made myself a pinhole viewer by sticking the point of a pencil through a note card. When I held it out I did see a light spot on the ground that looked like a circle with a piece missing, but then I wondered if it was due to the fact that my hole was not round. However, soon after that moment of doubt, I noticed that there were a large number of crescent shaped light objects on the ground. In short, the overlaps between leaves in the trees that made hundreds of pinhole cameras. For the long version see:

https://petapixel.com/2012/05/21/crescent-shaped-projections-through-tree-leaves-during-the-solar-eclipse/

For a few minutes I wandered around looking at the light shapes on my driveway and in the street in front of my house before I got bored and went in, leaving my neighbors to wonder no doubt what I was doing wandering around in the street holding my smart phone.

In summary, when 2024 rolls around and the eclipse goes from Texas to Maine, either get yourself to where the eclipse is total or take off for Myrtle Beach where the moon will not block the sun and hotel rooms will be discounted.

Rereading Thurston: What is a proof?

As regular readers of this blog can guess, the inspiration for writing this column came from yet another referee’s report which complained that in my paper “the style of writing is too informal.” Fortunately for you, the incident reminded me of an old article written by Bill Thurston and published in the Bulletin of the AMS in April 1994 (volume 30, pages 161-177) and that will be my main topic.

The background to our story begins with the conjecture Poincare made in 1900, which states that every simply connected, closed 3-manifold is homeomorphic to the 3-sphere (i.e., the boundary of the ball in four dimensional space). As many of you already know, after nearly a century of effort by mathematicians, Grigori Perelman presented a proof of the conjecture in three papers made available in 2002 and 2003 on arXiv. He later turned down a Field’s medal in 2006 and a $1,000,000 prize from the Clay Mathematics Institute in 2010.

Twenty years before the events in the last paragraph Thurston’s stated his geometrization conjecture. It is an analogue of the uniformization theorem for two-dimensional surfaces, which states that every connected Riemann surface can be given one of three geometries (Euclidean, spherical, or hyperbolic). Roughly, the geometrization conjecture states that every closed three manifold can be decomposed in a canonical way into pieces that each have one of eight types of geometric structure.

In the 1980s Thurston published a proof in the special case of “Haken manifolds.” In a July 1993 article in the Bulletin of the AMS (volume 29, pages 1-13)  Arthur Jaffe and Frank Quinn criticized his work as “A grand insight delivered with beautiful but insufficient hints. The proof was never fully published. For many investigators this unredeemed claim became a roadblock rather than an inspiration.”

This verbal salvo was launched in the middle of an article that asked the question “Is speculative mathematics dangerous? Recent interactions between physics and mathematics pose the question with some force: traditional mathematical norms discourage speculation, but it is the fabric of theoretical physics.” They go on to criticize work being done in string theory, conformal field theory, topological quantum field theory, and quantum gravity.  It seems to me that some of these subjects saw spectacular successes in the 21st century, but pursuing that further would take me away from my main topic.

In what follows I will generally use Thurston’s own words but will edit them for the sake of brevity. His 17 page article is definitely worth reading in full. He begins his article by saying “It would NOT be good to start with the question

How do mathematicians prove theorems?

To start with this would be to project two hidden assumptions: (1) that there is uniform, objective and firmly established theory and practice of mathematical proof, and (2) that progress made by mathematicians consists of proving theorems.”

Thurston goes on to say “I prefer: How do mathematicians advance human understanding of mathematics?”

“Mathematical knowledge can be transmitted amazingly fast within a sub-field. When a significant theory is proved, it often (but not always) happens that the solution can be communicated in a matter of minutes from one person to another. The same proof would be communicated and generally understood in an hour talk. It would be the subject of a 15 or 20 page paper which could be read and understood in a few hours or a day.

Why is there such a big expansion from the informal discussion to the talk to the paper. One-on-one people use gestures, draw pictures and make sound effects. In talks people are more inhibited and more formal. In papers people are still more formal. Writers translate their ideas into symbols and logic, and readers try to translate back.

People familiar with ways of doing things in a subfield recognize various patterns of statements or formulas as idioms or circumlocution for certain concepts or mental images. But to people not already familiar with what’s going on, the same patterns are not very illuminating; they are often even misleading”

Turning to the topic in our title, Section 4 is called what is a proof? Thurston’s philosophy here is much different from what I was taught in college. At Emory you are not allowed to quote a result unless you understand its proof.

“When I started as a graduate student at Berkeley … I didn’t really understand what a proof was. By going to seminars, reading papers and talking to other graduate students I gradually began to catch on. Within any field there are certain theorems and certain techniques that are generally known and generally accepted. When you write a paper you refer to these without proof. You look at other papers and see what facts they quote without proof, and what they cite in their bibliography. Then you are free to quote the same theorem and cite the same references. Many of the things that are generally known are things for which there may be no written source. As long as people in the field are comfortable the idea works, it doesn’t need to have a formal written source.”

“At first I was highly suspicious of this process. I would doubt whether a certain idea was really established. But I found I could ask people, and they could produce explanations or proofs, or else refer me to other people or two written sources. When people are doing mathematics, the flow of ideas and the social standard of validity is much more reliable than formal documents. People are not very good in checking formal correctness of proofs, but they are quite good at detecting potential weaknesses or flaws in proofs.”

There is much more interesting philosophy in the paper but I’ll skip ahead to Section 6 on “Personal Experiences.” There Thurston recounts his work on the theory of foliations. He says that the results he proved were documented in a conventional formidable mathematician’s style but they depended heavily on readers who shared certain background and certain insights. This created a high entry barrier. Many graduate students and mathematicians were discouraged that it was hard to learn and understand the proofs of key theorems.

Turning to the geometrization theorem: “I’d like to spell out more what I mean when I say I proved the theorem. I meant that I had a clear and complete flow of ideas, including details, that withstood a great deal of scrutiny by myself and others. My proofs have turned out to be quite reliable. I have not had trouble backing up claims or producing details for things I have proven. However, there is sometimes a huge expansion factor in translating from the encoding in my own thinking to something that can be conveyed to someone else.”

Thurston goes on to explain that his result went against the trends in topology for the preceding 30 years and it took people by surprise. He gave many presentations to groups of mathematicians but “at the beginning, the subject was foreign to almost everyone … the infrastructure was in my head, not in the mathematical community.” At the same time he began writing notes on the geometry and topology of 3-manifolds. The mailing list for these notes grew to about 1200 people. People ran seminars based on his notes and gave him lots of feedback. Much of it ran something like “Your notes are inspiring and beautiful, but I have to tell you that in our seminar we spent 3 weeks working out the details of …”

Thurston’s description of the impact his work had on other fields, is I sharp contrast to Jaffe and Quinn’s assessment. To see who was right I turned to Wikipedia which says “The geometrization theorem has been called Thurston’s Monster Theorem, due to the length and difficulty of the proof. Complete proofs were not written up until almost 20 years later. (which would be 2002, almost 10 years after jaffe-Quinn). The proof involves a number of deep and original insights which have linked many apparently disparate fields to 3-manifolds.”

Thurston was an incredible genius. He wrote only 73 papers but they have been cited 4424 times by 3062 different people. His career took him from Princeton to Berkeley, where he was director of MSRI for several years, then to Davis, and ended his career at Cornell 2003-2012. I never really met him but I could sense the impact he had on the department. Sadly he died at the age of 65 as a result of metastatic melanoma. A biography and reminiscences’ can be found in the

http://www.ams.org/notices/201511/rnoti-p1318.pdf

A Rainy Monday in Austin

 

After two great days of hiking, sightseeing, eating and drinking with my younger son (a CS assistant professor at UT Austin) and his girl friend who works for My Fitness Pal, the 98 degree heat was replaced by a steady rain. Trapped inside our hotel room, my wife read the New York Times and did a crossword puzzle, while I wrote a couple of referee’s reports on papers that were worse than the weather.

While it is not fun to be forced inside by the rain it is a good time to reflect on what I’ve seen while visiting Austin. Saturday afternoon we went to the LBJ museum on the UT campus. He served as president for five years after JFK was assassinated in 1963. Before that he was elected to the House or Representatives in 1937 and to the Senate in 1948.

His War on Poverty helped millions of Americans rise above the poverty line during his administration. Civil rights bills that he signed into law banned racial discrimination in public facilities, interstate commerce, the workplace, and housing. The Voting Rights Act prohibited certain laws southern states used to disenfranchise African Americans. With the passage of the Immigration and Nationality Act of 1965, the country’s immigration system was reformed, encouraging greater immigration from regions other than Europe. In short, the Republican agenda times -1.

On Sunday afternoon, we went to the Bullock Texas State History Museum. The most interesting part for me was the story of Texas in the early 1800s. In 1821 Texas won its independence from Spain and became part of Mexico. Between 1821 and 1836 an estimated 38,000 settlers, on promise of 4,000 acres per family for a small fee, trekked from the United States into the territory. The Mexican government grew alarmed at the immigration threatening to engulf the province. Military troops were moved to the border to enforce the policy but illegal immigrants crossed the border easily. Hopefully the parallel with the current situation ends there, since there were revolts in Texas 1832, leading to war with Mexico in 1834, and to the independence of Texas in 1836.

My third fun fact is a short one: Austin City Limits was a TV show for 40 before it became a music festival. Haven’t seen either one but Austin is a great place to visit.