Passover food

For the second year in a row, Seder was virtual, with Dr. Mrs. Q’s family the first night and mine the second, so for the second year in a row I cooked our own Passover meal. After a whole cycle of chagim I’m pretty OK at making brisket by now. I like matzah balls, really like them, and so does everybody else in the house, so I went nuts and tripled the matzah ball recipe. What I envisioned: matzah ball soup absolutely brimming with matzah balls cheek by unleavened jowl. What I did not take into account: the matzah balls absorb soup as they cook, which meant that what was left in the pot when they were done was a kind of matzah ball slurry with no soup at all (pictured, top right). The matzah balls themselves were moist and delicious! But it didn’t really feel right. The next night I made a whole new soup and plopped the leftover matzah balls in there (you make triple, you have leftovers) and that was much more like it.

What we usually do on Passover is visit Dr. Mrs. Q’s mom in Columbus, and get a big helping of deli from Katzinger’s ; missing that, I put in a mail order to Katz’s, which arrived today. So now, the brisket leftovers all gone, I am happily eating pastrami and tongue and matzah-chopped liver sandwiches.

(photo by CJ who never ceases to clown me about how much better his phone’s camera is than my phone’s camera.)

Tagged , ,

Equinox

Spring arrived right on schedule, just a little snow left in the shady places, sunny out and windy in the high 60’s. AB and I did our first real bike ride of the year, going out about 15 miles to the very agreeable Riley Tavern where you eat outside on picnic tables. A lot of people are watching Wisconsin’s basketball season slowly sputter out as the Badgers fail to mount a comeback against the much higher-seeded team from Baylor. Riley Tavern serves amazing ice cream sandwiches with two chocolate chip cookies instead of the rectangular brown things; they’re not made there, they’re from Mullen’s Dairy Bar in Watertown. The thing about an ice cream sandwich is, they use the rectangular brown things which are soft and not very interesting because you can bite right through them without messing up the ice cream. Any cookie with a little more of a resistance to the tooth tends to smoosh the ice cream out the side when you bite down. That’s unacceptable. Mullen’s has somehow found a way to use a cookie with a real bite but give the ice cream itself enough structural integrity to hold itself in place while you eat it. Extraordinary!

I’d figured it had been warm enough long enough for the bike trail to be dry, and that was sort of true, but in many places it was badly rutted from the people who’d ridden on it when it was muddy, and even though it wasn’t really muddy anymore, it was soft for a couple of miles, so that your weight pushed your back wheel down into the dirt, which clutched your tire so that you were perpetually in a kind of low-grade partially submerged wheelie. We fought our way through at about 5mph for the whole stretch. So a more strenuous 30 miles than the usual. But the last 5 miles home, on pavement, felt like absolute gliding.

Tagged ,

OedipaVision

Like a lot of people I’m watching WandaVision, the latest Marvel show. CJ is an MCU fanatic and this show, well-acted, imaginatively shot, and legible without extreme knowledge of Marvel lore, is a good one for us to watch together.

It has settled, on the surface, into being a more “normal” MCU show after doing a lot of really interesting stuff in the first half of the season. But weirdness remains, under the surface. For example (and now the rest of this is spoilers) — the scene where Wanda magically blasts a new rendition of her dead husband Vision out of her own abdomen is clearly shot as a childbirth scene, which makes Vision both her son and her husband, so the whole thing has suddenly taken on a Freudian cast which I don’t think is from the comics. And this explains the shock of the old expert witch Agatha Harkness, who tells Wanda she’s something that isn’t supposed to exist; she is “chaos magic,” a witch with the power to spontaneously create. Witches, traditionally, are supposed to be infertile, but Wanda is not. (This is complicated, I guess, by the fact that Harkness herself apparently has a son in comics continuity but she’s presented as married and childless here.)

Isn’t the Mind Stone placed in the middle of Vision’s forehead a little like a third eye? And isn’t death by getting that eye ripped out kind of Vision’s thing?

I know, I know, sometimes a synthezoid is just a synthezoid.

Tagged , ,

Matrices with low rank and root-of-unity entries, in the morning, in the evening

A couple of days ago I started and ended my workday attending very interesting seminars. At 9am I was watching Zeev Dvir talk about his new paper with Manik Dhar proving the Kakeya conjecture over Z/mZ for m squarefree. At 5, as the sun set, Bjorn Poonen was talking at IAS (ok, at his office at MIT, but virtually at IAS) about his work with Kedlaya, Kolpakov and Rubinstein on space vectors forming rational angles. Those two things sound pretty different, but to my surprise, a very similar question appeared at the heart of both papers! Here it is, phrased a bit vaguely:

Describe the N x N matrices with rank much less than N whose entries are all 0 or roots of unity.

Such matrices exist, of course; A could be 0, or A could be the rank 1 matrix $v^T w$ where v and w have root-of-unity entries. Or you could just make a block-diagonal matrix with each block of rank 1 as above. But are there more interesting cases? And what does this have to do with the results above? (Update: it occurs to me that you could pithily phrase the question as: what can we say about matrices of low rank and low height?)

Let’s start with Poonen, where the connection is a little more direct. He and his collaborators are interested in tetrahedra whose face angles are all rational. The unit vectors normal to those faces will thus have the property that

$\langle u,v \rangle = \cos ((p/q)\pi)$

for every pair of vectors u,v. Bjorn & co. decide to go further, asking for a classification of all sets of unit vectors in R^3 such that every pair forms a rational angle. If you have a set of k such vectors, you can put them together into a kx3 matrix U, and the condition above says that the matrix UU^T (the so-called Gram matrix) has all entries of the form $\cos (p/q)\pi$. But more is true: U U^T visibly has rank at most 3! Now UU^T doesn’t have entries that are roots of unity, but it does have roots drawn from a very similar countable subset. Conversely, if you have a matrix with 1’s on the diagonal, all other entries rational cosines, and rank at most r, then you have found a subset of S^{r-1} which forms only rational angles. So this has the same flavor as the question above. And indeed one way you could obtain such a matrix is by finding a matrix A of rank < r/2 with all entries roots of unity and then averaging A with its conjugate.

Now what about Zeev? He’s working on one of my favorite problems, Kakeya over rings. Of course it was Zeev himself who famously proved the Kakeya conjecture over finite fields, showing that if S is a subset of F_q^n containing a line in every direction, then |S| must be at least c_n q^n. This is meant to be an analogue of the original Kakeya problem from harmonic analysis, which asks whether a subset of R^n containing a unite line segment in every direction has to have full Hausdorff dimension. Dvir’s theorem proves this over finite fields; but actually, it proves more — that the Kakeya set has positive measure (namely, measure at least c_n, normalizing the whole space to have measure 1.) That’s a problem if you like analogies, because the analysis analogue of that statement isn’t true! A famous example of Besicovitch shows that a set can have a unit line segment in every direction but have measure 0. (It’s hard to draw. Very spiky.) R and F_p are different!

One reason they’re different is that R has scales and F_p does not. Two distinct real numbers can be very close together or very far apart. In a finite field, two numbers are either the same or they’re not. A better analogue for R (of course I’d think this, I’m a number theorist) is the ring of p-adic integers, Z_p, which metrically looks a lot more like the reals. Even the finite ring Z/p^k Z has scales, though only k, not infinitely many. (For more about this, see this old post.)

Dhar and Dvir don’t prove Kakeya over Z/p^k Z, a long-time goal of mine, but they do prove it over Z/mZ for m squarefree, which is very cool, and they lay out a very appealing strategy for proving it over R = Z/p^k Z, which I’ll now explain. Suppose S is a subset of R^n which contains a line in every direction. (By a “direction” let’s just mean a nonzero vector y in R^n; we could identify vectors that differ by a scalar but I don’t think that makes a real difference.) For each direction y, choose a line L_y in that direction whose p^k points are all contained in S. Now we have a linear map F_S from the C-vector space spanned by directions to the C-vector space spanned by S, defined by

$F_S(y) = \sum_{s \in L_y} s$.

And we have a map G from C[S] to the space spanned by R^n, which is just the discrete Fourier transform

$G(s) = \sum_{v \in R^n} \zeta^{\langle s,v \rangle} v$

with $\zeta$ a primitive p^k-th root of unity in C.

What happens if we compose F with G? The points of L_y are just x+ty for some x in R^n, with t ranging over R. So

$G(F_S(y)) = \sum_{v \in R^n} \sum_{t \in R} \zeta^{\langle x + ty, v \rangle} v$

When $\langle y,v \rangle$ is anything but 0, the sum over t cancels everything and you get a coefficient of 0. When $\langle y,v \rangle = 0$, on the other hand, the dependence on t in the summand disappears and you just get $p^k \langle x,v \rangle$. Write M for the matrix expressing the linear transformation $p^{-k} G F_S$.

To sum up: this composition has rank at most |S|, because it factors through C[S]. On the other hand, expressed as a matrix, M has y,v entry 0 whenever y and v are not orthogonal, and some p^k-th root of unity whenever y and v are orthogonal. Dhar and Dvir ask, in the spirit of the question we started with: how small can the rank of such a matrix actually be? Any lower bound on the rank of M is a lower bound for the size of the Kakeya set S.

Is that in the spirit of the question we started with? The fact that the order of the root of unity is known makes it feel a little different from the question arising for Bjorn, where bounding the order is part of the game. Your allowable entries are drawn from a finite set instead of an infinite one. And of course in this case you’re specifying which matrix entries are roots of unity and which are zero.

Still, I found it an enjoyably thematic day of math!

A Saturday

This is just to record what a Saturday during what we hope are the late stages of the pandemic looks like here.

Slept well but had complicated dreams; the only part I remember is that I ran into Mike Sonnenschein in Pittsburgh while eating a gigantic meatball I’d bought at a hipster bookstore, and he invited me over, but when I got there, it wasn’t Mike’s house anymore, it was Craig Westerland’s. Akshay Venkatesh was there too. We were going to work on something but nobody really knew how to start and Craig and Akshay were absently flipping through their phones. The thing was, Craig had a tiger for a pet and the tiger got out of its cage and seemed really threatening. It was a bad scene.

A cold wave from the arctic settled in here overnight and it was 7 Fahrenheit this morning. AB and I made French toast with the challah that was left over from last night and watched Kids Baking Challenge on Netflix. Then I had to go out into it and scrape the car, remembering, as I do every time I scrape the car, that I broke the head off the scraper so I have to use the jagged plastic edge of what used to be the head, which works well at breaking up the big chunks of ice but is pretty bad at getting the window fully clean. I’ve lived here long enough to not find 7 Fahrenheit that bad, for the fifteen minutes it takes to scrape off the car. I wore the voluminous sweater that’s so ugly I wear it only on the coldest days. I’m not even sure it’s that warm, but psychologically the body feels it wouldn’t be clad in such an ugly sweater unless the sweater was warm, and that creates the right sensation.

Quiet afternoon. CJ had a mock trial competition against teams from Oregon and Brookfield. AB and I worked on some fractions homework. I posted an early-term course questionnaire for the real analysis course I’m teaching for the first time in my life, and I went through another 50 pages of page proofs of Shape. How there can still be so many typos and small verbal infelicities, after I and others have gone over it so many times, I don’t really know. And there will still be some I miss, and which will appear on paper in thousands of printed books. I wrote a math email to Aaron Landesman, about something related to my work with Westerland and Venkatesh (no tigers.) In honor of Dr. Mrs. Q’s half-birthday we got takeout from Graze for dinner. They had the patty melt special, which I’ve only seen there once before, and which is superb, certainly the best patty melt in the city. I got it with Impossible since we don’t eat milk and meat together in the house.

After dinner, we did what we’ve been doing a lot of weekends, play online games at Jackbox with my sister’s family and my parents. Then we all retreated into our zones. AB is doing some homework. CJ is talking to friends on the phone. I washed dishes while I watched a movie, Fort Tilden, about people being out in the city, in the summer, coming in and out of contact with other people. It was funny.

I’m going to put AB to bed and then think, just a little bit, about a cohomology group whose contribution I don’t understand.

Tagged , , , ,

When I was younger I cared about sports a lot. If the Orioles lost a big game — especially to the hated Yankees — it ruined my day, or more than one day. I remember when Dr. Mrs. Q. first found out about this she thought I was kidding; it made no sense to her that somebody could actually care enough to let it turn your whole ship of mood.

CJ is different. It has been an emotionally complicated last few years for Wisconsin sports fans, with all the local teams being good, really good, but never good enough to win the title. The Badgers losing the NCAA final to (the hated) Duke. The Brewers getting rolled out of the NLCS by the Dodgers. Of course, the Bucks, the team with the best record in the league and the two-time MVP, getting knocked out of the playoffs. And today, the 14-3 Packers losing the NFC championship to the Buccaneers. And I gotta say — CJ, while watching a game, is as intensely into his team as I have ever been. But after it’s over? It’s over. He doesn’t stew. I don’t know where he got this equanimity. Not from me, maybe from Dr. Mrs. Q. But I think I’m starting to get it from him. Maybe it just comes with age — or maybe I’m actually learning something.

Tagged ,

I don’t work at a finishing school

David Brooks, in the New York Times:

On the left, less viciously, we have elite universities that have become engines for the production of inequality. All that woke posturing is the professoriate’s attempt to mask the fact that they work at finishing schools where more students often come from the top 1 percent of earners than from the bottom 60 percent. Their graduates flock to insular neighborhoods in and around New York, D.C., San Francisco and a few other cities, have little contact with the rest of America and make everybody else feel scorned and invisible.

It’s fun to track down a fact. More from the top 1% than the bottom 60%! That certainly makes professoring sound like basically a grade-inflation concierge service for the wealthy with a few scholarship kids thrown in for flavor. But it’s interesting to try to track down the basis of a quantitative claim like this. Brooks says “more students often come,” which is hard to parse. He does, helpfully, provide a link (not all pundits do this!) to back up his claim.

Now the title of the linked NYT piece is “Some Colleges Have More Students From the Top 1 Percent Than the Bottom 60.” Some is a little different from often; how many colleges, exactly, are that badly income-skewed? The Times piece says 38, including five from the Ivy League. Thirty-eight colleges is… not actually that many! The list doesn’t include Harvard (15.1 from the 1%, 20.4 from the bottom 60%) or famously woke Oberlin (9.3/13.3) or Cornell (10.5/19.6) or MIT (5.7/23.4) or Berkeley (3.8/29.7) and it definitely doesn’t include the University of Wisconsin (1.6/27.3).

We can be more quantitative still! A couple of clicks from the Times article gets you to the paper they’re writing about, which helpfully has all its data in downloadable form. Their list has 2202 colleges. Of those, the number that have as many students from the top 1% as from the bottom 60% is 17. (The Times says 38, I know; the numbers in the authors’ database match what’s in their Feb 2020 paper but not what’s in the 2017 Times article.) The number which have even half as many 1%-ers as folks from the bottom 60% is only 64. But maybe those are the 64 elitest-snooty-tootiest colleges? Not really; a lot of them are small, expensive schools, like Bates, Colgate, Middlebury, Sarah Lawrence, Wake Forest, Vanderbilt — good places to go to school but not the ones whose faculty dominate The Discourse. The authors helpfully separate colleges into “tiers” — there are 173 schools in the tiers they label as “Ivy Plus,” “Other elite schools,” “Highly selective public,” and ‘Highly selective private.” All 17 of the schools with more 1% than 60% are in this group, as are 59 of the 64 with a ratio greater than 1/2. But still: of those 173 schools, the median ratio between “students in the top 1%” and “students in the bottom 60%: is 0.326; in other words, the typical such school has more than three times as many ordinary kids as it has Richie Riches.

Conclusion: I don’t think it is fair to characterize the data as saying that the elite universities of the US are “finishing schools where more students often come from the top 1 percent of earners than from the bottom 60 percent.”

On the other hand: of those 173 top-tier schools, 132 of them have more than half their students coming from the top 20% of the income distribution. UW–Madison draws almost two-fifths of its student body from that top quintile (household incomes of about \$120K or more.) And only three out of those 173 have as many as 10% of their student body coming from the bottom quintile of the income distribution (UC-Irvine, UCLA, and Stony Brook.) The story about elite higher ed perpetuating inequality isn’t really about the kids of the hedge-fund jackpot winners and far-flung monarchs who spend four years learning critical race theory so they can work at a Gowanus nonprofit and eat locally-sourced brunch; it’s about the kids of the lawyers and the dentists and the high-end realtors, who are maybe also going to be lawyers and dentists and high-end realtors. And the students who are really shut out of elite education aren’t, as Brooks has it, the ones whose families earn the median income; they’re poor kids.

Tagged ,

Dream (boxes)

I’m at my friend Debbie Wassertzug’s house; for some reason there’s a lot of old stuff of mine in her house, boxes and books and papers and miscellany, stuff I haven’t had access to for years. I have my car with me and I’ve come by to pick it up, but unfortunately, she and her family are going to Miami — they’re leaving for the airport in five minutes — that’s how much time I have to figure out which of my things to pack and which to leave at her house, possibly for good. And I can’t decide. I’m stuck. Some of my stuff is out on shelves. An old boombox, a bunch of books. And when I look at each of those things, I think, can I live without having this? I’ve been getting along without it so far. I should take one of the sealed boxes instead, there might be something in there I really want to have again. But what if what’s in the sealed boxes is worthless to me? I’m paralyzed and very aware of Debbie and her family packing up as they get ready to leave. I feel like I could make a good decision if I only had a second to really think about it. I wake up without deciding anything.

Tagged

Am I supposed to say something about the invasion of the United States Capitol?

Or the reimpeachment of the President, a week before the end of his term?

I feel like I should, just because it’s history, and I might wonder how it seemed in real time. It is hard to understand what actually happened on January 6, even though we live in a world where everything is logged in real-time video. We still don’t know who left pipe bombs outside the offices of the Republican and Democratic National Committees. We don’t know what parts of the invasion were spontaneous and what parts were planned, and by whom. Some people are saying members of the House of Representatives collaborated with the invaders, giving them a guided tour of the building the day before the attack. Some people are saying some of the Capitol Police force collaborated, while others fought off the mob.

We don’t know what to expect next. There is said to be “chatter” about armed, angry people at all 50 statehouses. I don’t know how seriously to take that, but I won’t be going downtown this weekend. Moving trucks have been sighted at the White House and some people say the President has given up pretending he won re-election; but then again he is also said to have met with one of his favorite CEOs today to talk legal strategies for keeping up the show.

As I said last week, it is temperamentally hard for me to expect the worst. Probably Trump will slink away and the inauguration will happen without incident and the idea of renewed armed rebellion against the United States government will slink away too, albeit more slowly. But — as last week — I don’t have a good argument that it has to be that way.

What I find really chilling is this. Imagine it had been much worse and some number of Democratic senators, known for opposing Trump, had been kidnapped or killed. Mitch McConnell would have somberly denounced the crimes. But he would also have allowed Republican governors to appoint those senators’ replacements, and reclaimed his role as majority leader, and do everything he could to prevent the new government from governing, saying, what happened on January 6 was terrible, to be deplored and mourned, but we have to move on.

Tagged

Yemenite Step chicken

A short post to remind myself of a recipe. Years ago I had a very memorable plate of chicken at a restaurant in Jerusalem called the Yemenite Step. I called it “honey rosemary chicken” because those were the dominant seasonings. Thinking about it recently, I googled and found that while the restaurant no longer exists, people remember the chicken. I even found a recipe. I could link to it, but basically the recipe is “fry pieces of chicken in a pan with some olive oil and just keep pouring more honey and stripping more rosemary sprigs into it until it tastes like Yemenite Step chicken,” — literally there are no other seasonings. (I put in a little salt, it just seemed wrong not to.) Anyway, this is just to record that I did this (with some boneless chicken breast from Conscious Carnivore — I assume this would work with bone-in thighs too but might require slightly more technique.) The chicken was good, I threw some leftover rice from the fridge into the pan after the chicken was done and cooked it in the honey/chicken liquid and that was good, everybody was happy, it was extremely easy. Whether it’s actually Yemenite I have no idea.

Tagged