This month, my new book “Polynomial Methods and Incidence Geometry” is coming out. You can order it and find more information on the website of Cambridge University Press.

This book aims to be an accessible introduction to the new polynomial methods and to incidence theory. For that reason, the book includes many examples, warm-up proofs, figures, and intuitive ways of thinking about tricky ideas. Many techniques are presented gradually and in detail.

The polynomial methods that the book studies include Dvir’s Finite Field Kakeya proof, Guth and Katz’s distinct distances proof, the proof of the Cap Set Conjecture, the proof of the joints theorem, and a lot more. Each topic includes exercises, main open problems, and references for digging deeper.

We are starting to form a computer science program at CUNY’s Baruch College. Joining us at the beginning of this process will give you a chance to influence how computer science will look like at our college: the research and teaching directions that it would focus on, the type of faculty that will be hired, and so on. We are accepting applications from all areas of computer science.

Yes, it is weird that we did not have computer science earlier. Traditionally, Baruch is CUNY’s business school, so the focus of computer classes has been on information systems rather than on computer science. However, recent trends in business have increased student demand for classes in computer science even among business majors.

The effort to create a computer science program is based at the mathematics department, in collaboration with Computer Information Systems, which is part of our business school. We already have a few people who work in computer science, such as Guy Moshkovitz and myself. We hope to hire several more computer scientists over the next few years.

We hope to have a diverse group of computer scientists. Women and underrepresented minorities are encouraged to apply!

For more information, you are welcome to contact me.

As part of some research project, I got to a basic question about multiplicative energy. Embarrassingly , I wasn’t able to get any non-trivial bound for it. Here is the problem. Any information about it would be highly appreciated.

Problem. Let . Let be a set of real numbers. How large can the multiplicative energy be?

Can we prove that must be asymptotically smaller than ?

Is there a for which is asymptotically larger than ?

Both questions are about improving the exponent of . Sub-polynomial improvements would be less interesting. Multiplicative energy means

Any ideas?

A variant. Still here and want to read more? We can also consider the case when is larger. Let , where .

In this case, a simple argument leads to an upper bound that is better than the trivial one. Let . The Cauchy-Schwarz inequality implies that

It is not difficult to show that , up to sub-polynomial factors. This implies that , up to sub-polynomial factors. In this case, the trivial upper bound is .

The above still leaves a large gap between the lower bound and the upper bound , up to sub-polynomial factors.

Summer Opportunity: Polymath Jr Research Experience for Undergraduates. The goal of this remote program is to provide opportunities to undergraduates who wish to explore research mathematics. The program consists of research projects on a wide variety of mathematical topics. Each project is guided by an active researcher with experience in undergraduate mentoring. All undergraduates who have experience with writing mathematical proofs are eligible. Part-time participation is also allowed; preference is given to students who will not have an undergraduate degree by July 2021.

These days, I’m spending a lot of time revising my book about polynomial methods and incidences (an older draft is available here). This led me to the following conclusion: I am not sure what classifies a proof as a polynomial method. A Wikipedia page states

“… the polynomial method is an algebraic approach to combinatorics problems that involves capturing some combinatorial structure using polynomials and proceeding to argue about their algebraic properties.”

I like this statement a lot, but I still don’t know whether some arguments should be considered as polynomial methods or not. There’s probably no good answer. Still, in this post, I want go over a case that I find interesting: If you have an inclusive view, you could claim that polynomial methods started in the 19th century. Anurag Bishnoi made a wonderful list of early polynomial method results, but it only goes back to 1975.

We can consider results such as the Monge-Cayley-Salmon theorem. However, for simplicity, let’s stick to shorter and more elementary proofs. Pascal’s theorem is from 1640. Two centuries later, Plücker provided an alternative proof for this theorem, which is based on studying basic properties of polynomials. For points , we denote the line incident to and as . For a polynomial , we denote as the variety defined by (that is, the set of points on which vanishes).

Pascal’s Theorem.Let be an ellipse, parabola, or hyperbola. Consider six distinct points . Then the three points , , and are collinear.

Proof. Note that is an irreducible curve of degree 2. Let be a degree 2 polynomial that satisfies . We define two more curves:

Both and are curves of degree 3, since each can be defined as the product of three linear equations. Let be degree 3 polynomials that satisfy and . Let be an arbitrary point of that is not one of . There exists such that the polynomial vanishes on . Indeed, one can think of as a linear polynomial in , and set to be the unique root of this polynomial. We note that is of degree 3 and vanishes on .

Since both and vanish on the seven points , we get that the two polynomials have a common factor. Since is irreducible, is a factor of . This implies that is the union of and a line . Since cannot contain the three intersection points , , and , these points are contained in . That is, the three intersection points are collinear.

Plücker’s proof is a simple application of Bézout’s theorem. Should it be considered as a polynomial method? Purists might argue that polynomial proofs should involve asymptotically large configurations. That is, that the problem should involve n objects and a polynomial of degree that depends on . But this is not the case for some recent results. For example, people seem to consider the following proof as a polynomial method. It is also called a polynomial method in Larry Guth’s book about polynomial methods.

A regulus is the union of all lines in that intersect three pairwise-skew lines . That is, no two lines of are parallel and no two intersect. One example of a regulus is the hyperbolic paraboloid , depicted in the figure below. This surface is the union of all lines of the form where . It is also the union of all lines of the form . The lines in each of these families are pairwise-skew. We obtain by taking the union of all lines that intersect three lines of the form . This is the family of lines of the form . Similarly, we obtain by taking the union of all lines that intersect three lines of the form .

A hyperbolic paraboloid

Lemma.Every regulus in is contained in an irreducible variety that is defined by a polynomial of degree two.

Proof. Consider a regulus that is defined by the three pairwise-skew lines , and . Let be a set of nine points that is obtained by arbitrarily choosing three points from each of , and . Since , a standard polynomial parameter counting implies that there exists a nonzero of degree at most two that vanishes on . We apply Bézout’s theorem in a plane that contains and is not contained in . That is, we consider a linear bivariate polynomial that defines and a polynomial that defines the intersection of with the plane. Since intersects in at least three points, Bézout’s theorem implies that . For the same reason, we also have that . If is a plane or a union of two planes, then at least two of are contained in a common plane. This would contradict the assumption that the three lines are pairwise-skew. We conclude that is an irreducible variety of degree two.

Consider a line that intersects all three lines . The three intersection points are distinct since are disjoint. Since intersects in at least three points, Bézout’s theorem implies that . Since is the union of all lines that intersect , we get that .

So, can we start saying that polynomial methods go back to the 1840’s?

I used to ask most combinatorialists I met for their opinion about the level of various journals. With this feedback, I compiled a rough journal ranking for combinatorics papers (for personal use). This was a very educational experience for me as a new combinatorialist. I learned that different people have rather different opinions. For example, people tend to have a higher opinion of the journals of their own combinatorial sub-field.

However, people’s opinions did not vary much with respect to the very few top combinatorics journals. In particular, I don’t recall a single person who didn’t agree with Journal of Combinatorial Theory Series A being one of those (and similarly Combinatorica). This makes the following announcement quite significant:

“The majority of the JCT A editorial boards have recently notified Elsevier that they will not be renewing their contracts, and will resign after December 2020”

(Thank you Pablo Soberón for telling me about this.) The reason for this development is JCTA belonging to Elsevier. A new substitute journal has been created: Combinatorial Theory. This journal is “mathematician-owned, and fully open access, with no charges for authors or readers.” It already has a very impressive editorial board.

It would be interesting to see what happens next. So far not a lot of information can be found online. Are any combinatorialists plan to stand by JCTA? What about Elsevier’s top graph theory journal: Journal of Combinatorial Theory Series B?

There is one thing I really like about JCTA, and very much hope that Combinatorial Theory would adopt. Out of the stronger combinatorics journals, JCTA seems to be the one most open to all different types of combinatorics. From what I hear and see, all others tend to be at least somewhat biased towards some sub-fields. I’m told that JCTA originally focused on enumerative combinatorics, but this seems to be far from the case in recent years.

If you have more information about these developments, I would be very happy to hear!

I read a lot of “popular math” books. I also wrote about some in past posts. But I’ve never read a book similar to Mathematics for Human Flourishing by Francis Su. I already knew the math presented in this book and almost all other topics covered. I even knew some of Su’s personal stories from his past writings. But somehow that did not matter. I got more out of this book than from many other books whose topics were completely new to me.

So what is this unusual book about? Quoting from the first paragraph:

“… this is a book that grounds mathematics in what it means to be a human being and to live a more fully human life.”

Different people are likely to describe the main topic of the book in different ways. One might be “How one can live a healthy and fulfilling life in mathematics.” Another might be “How to do good in the world through mathematics (and not by solving a millennium prize problem).” There are likely to be many other different descriptions. But hopefully you get a vague idea.

To emphasize his main ideas, Su includes several “subplots” that develop throughout the book. One subplot is Su’s relationship with Christopher Jackson. Jackson is serving a 32-year prison sentence for a string of armed robberies. While in prison, he started reading basic math books, gradually moving to more advanced topics (under Su’s guidance). The correspondence between Jackson and Su exposes a fascinating story of how one finds their place in the world through math.

Another subplot is Su’s personal life. Su shares highly personal stories. Some stories are about his struggles with math and others unrelated to math. At least once I was so shocked by what Su was sharing that I had to stop reading for a few minutes.

A large portion of the book describes the mathematical world to people who are unfamiliar with it. This starts with the basic step of explaining that math is not about plugging numbers into formulas. It develops all the way to advanced topics such as how mentoring works. Su does excellent work explaining these ideas to non-mathematicians, in a fun and clear way. When describing ideas such as searching for patterns, real mathematical examples are provided. I would definitely recommend this book to family and non-math friends who wish to know more about what I do.

I would also recommend this book to students. While discussing how the math world works, it raises various issues that cause anxiety and distance people away from math. When working with students, I am going to steal some sentences, such as

“A popular myth of doing math is that either you see the answer or you don’t. In reality, you demonstrate mathematical power by assembling possible strategies and trying them to see if they will work.”

Since I know how the math world works, the mathematics explained in the book, and even some of Su’s personal stories, how could I get much out of this book? It got me to think about what exactly I like in math and in my work. It helped me see more clearly what my future goals are. It got me to think about how to better handle various tricky interactions with students and mentees. And more. I cannot say that about many books.

If your goal is to learn more math, do not read this book. If you are cynical about topics such as getting students less anxious about math, do not read this book. Read it if you are a mathematician who wants to rethink your attitude towards math and teaching. Or to get others more excited about math. Read it if you are a student who might have some anxiety about math or just want to know more about the math world. Recommend it to non-mathematicians who want to know what you are doing with your life.

Peter Winkler is a world expert on mathematical puzzles (he is also an excellent researcher and this year’s resident mathematician of the MoMath). I just learned about two things that he is currently up to.

Winkler is running Mind-Benders for the Quarantined. After signing up to this free service, you receive a mathematical puzzle every Sunday, by email. You then get a subtle hint on Tuesday, a big hint on Thursday, and the solution on Saturday.

Winkler’s new book should be out around the end of 2020. While he already published wonderful book collections of mathematical puzzles in the past, this one is meant to be a special collection of the world’s top puzzles. For example, the new book would also include the best puzzles from Winkler’s past books.

I am excited to announce a new program for undergraduates: The Polymath REU will run during the summer of 2020.

Due to the pandemic, many students are stuck at home without a summer program. The aim of the Polymath REU program is to provide research opportunities for such students. The program consists of research projects in a variety of mathematical topics and runs in the spirit of the Polymath Project. Each research project is mentored by an active researcher with experience in undergraduate mentoring.

My collaborators in the program are Ben Brubaker, Steven Miller, and Yunus Zeytuncu. I like this group! Each person has experience with running an REU program and together we cover a variety of mathematical fields.

The program is open to all undergraduate students, with no nationality or geographic restrictions. Acceptance is not automatic. However, the program is open to the majority of undergraduates having experience with writing mathematical proofs.

The research part of the program begins June 22nd and ends August 15th. The applications deadline is June 10th. For more information, see our website.

If you can, please help us spread the word. We would love to reach many undergraduates who are stuck at home this summer.

The virus is causing some math summer programs to cancel. Surprisingly, this led to something wonderful. Unusually strong undergrads are starting to run their own online summer math programs for high school students.

1. The MORPH program is run by the Harvard math club. It offers a variety of mathematical topics at different levels of difficulty. It is not only free, but also subsidizes books for admitted students.

I know students from the staff of both programs and believe that (math-wise) they are some of the strongest in the country.

(As usual, high-school students who wish to do a research project are also welcome to contact me. Unlike the above, this is not for a summer project. This is for students who wish to spend a large amount of time spread over a many months, with the goal of producing their own research paper. See more here.)