This workshop will focus on new developments in coding and information theory that sit at the intersection of combinatorics and complexity, and will bring together researchers from several communities — coding theory, information theory, combinatorics, and complexity theory — to exchange ideas and form collaborations to attack these problems.
Squarely in this intersection of combinatorics and complexity, locally testable/correctable codes and listdecodable codes both have deep connections to (and in some cases, direct motivation from) complexity theory and pseudorandomness, and recent progress in these areas has directly exploited and explored connections to combinatorics and graph theory. One goal of this workshop is to push ahead on these and other topics that are in the purview of the yearlong program. Another goal is to highlight (a subset of) topics in coding and information theory which are especially ripe for collaboration between these communities. Examples of such topics include polar codes; new results on ReedMuller codes and their thresholds; coding for distributed storage and for DNA memories; coding for deletions and synchronization errors; storage capacity of graphs; zeroerror information theory; bounds on codes using semidefinite programming; tensorization in distributed source and channel coding; and applications of informationtheoretic methods in probability and combinatorics. All these topics have attracted a great deal of recent interest in the coding and information theory communities, and have rich connections to combinatorics and complexity which could benefit from further exploration and collaboration.
Participation: The workshop is open to participation by all interested researchers, subject to capacity. Click here to register.
A list of lodging options convenient to the Center can also be found on our recommended lodgings page.
Confirmed participants include:
Coorganizers of this workshop include Venkat Guruswami, Alexander Barg, Mary Wootters. More details about this event, including participants, will be updated soon.
]]>The main focus of the workshop is the application of algebraic method to study problems in combinatorics. In recent years there has been a large number of results in which the use of algebraic technique has resulted in significant improvements to long standing open problems. Such problems include the finite field Kakeya problem, the distinct distance problem of Erdos and, more recently, the capset problem. The workshop will include talks on all of the above mentioned problem as well as on recent development in related areas combining combinatorics and algebra.
Participation: The workshop is open to participation by all interested researchers, subject to capacity. Click here to register.
A list of lodging options convenient to the Center can also be found on our recommended lodgings page.
Confirmed participants include:
Coorganizers of this workshop include Zeev Dvir, Larry Guth, and Shubhangi Saraf.
Click here for a list of registrants.
Monday, Nov. 13
Time  Speaker  Title/Abstract 
9:009:30am  Breakfast  
9:3010:30am  Jozsef Solymosi 
On the unit distance problem Abstract: Erdos’ Unit Distances conjecture states that the maximum number of unit distances determined by n points in the plane is almost linear, it is O(n^{1+c}) where c goes to zero as n goes to infinity. In this talk I will survey the relevant results and propose some questions which would imply that the maximum number of unit distances is o(n^{4/3}). 
10:3011:00am  Coffee Break  
11:0012:00pm  Orit Raz  Intersection of linear subspaces in R^d and instances of the PIT problem
Abstract: In the talk I will tell about a new deterministic, strongly polynomial time algorithm which can be viewed in two ways. The first is as solving a derandomization problem, providing a deterministic algorithm to a new special case of the PIT (Polynomial Identity Testing) problem. The second is as computing the dimension of the span of a collection of flats in high dimensional space. The talk is based on a joint work with Avi Wigderson. 
12:001:30pm  Lunch  
1:302:30pm  Andrew Hoon Suk 
Ramsey numbers: combinatorial and geometric Abstract: In this talk, I will discuss several results on determining the tower growth rate of Ramsey numbers arising in combinatorics and in geometry. These results are joint work with David Conlon, Jacob Fox, Dhruv Mubayi, Janos Pach, and Benny Sudakov. 
2:303:00pm  Coffee Break  
3:004:00pm  Josh Zahl 
Cutting curves into segments and incidence geometry 
4:006:00pm  Welcome Reception 
Tuesday, Nov. 14
Time  Speaker  Title/Abstract 
9:009:30am  Breakfast  
9:3010:30am  Péter Pál Pach 
Polynomials, rank and cap sets Abstract: In this talk we will look at a new variant of the polynomial method which was first used to prove that sets avoiding 3term arithmetic progressions in groups like $\mathbb{Z}_4^n$ and $\mathbb{F}_q^n$ are exponentially small (compared to the size of the group). We will discuss lower and upper bounds for the size of the extremal subsets and mention further applications of the method. 
10:3011:00am  Coffee Break  
11:0012:00pm  Jordan Ellenberg 
The Degeneration Method Abstract: In algebraic geometry, a very popular way to study (nice, innocent, nonsingular) varieties is to degenerate them to (weirdlooking, badly singular, nonreduced) varieties (which are actually not even varieties but schemes.) I will talk about some results in combinatorics using this approach (joint with Daniel Erman) and some ideas for future applications of the method. 
12:001:30pm  Lunch  
1:302:30pm  Larry Guth  The polynomial method in Fourier analysis
Abstract: This will be a survey talk about how the polynomial method helps to understand problems in Fourier analysis. We will review some applications of the polynomial method to problems in combinatorial geometry. Then we’ll discuss some problems in Fourier analysis, explain the analogy with combinatorial problems, and discuss how to adapt the polynomial method to the Fourier analysis setting. 
2:303:00pm 
Coffee Break  
3:004:00pm  Open Problem 
Wednesday, Nov. 15
Time  Speaker  Title/Abstract 
9:009:30am  Breakfast  
9:3010:30am  Avi Wigderson 
The “rank method” in arithmetic complexity: Lower bounds and barriers to lower bounds Abstract: Why is it so hard to find a hard function? No one has a clue! In despair, we turn to excuses called barriers. A barrier is a collection of lower bound techniques, encompassing as much as possible from those in use, together with a proof that these techniques cannot prove any lower bound better than the stateofart (which is often pathetic, and always very far from what we expect for complexity of random functions). In the setting of Boolean computation of Boolean functions (where P vs. NP is the central open problem), there are several famous barriers which provide satisfactory excuses, and point to directions in which techniques may be strengthened. In the setting of Arithmetic computation of polynomials and tensors (where VP vs. VNP is the central open problem) we have no satisfactory barriers, despite some recent interesting attempts. This talk will describe a new barrier for the Rank Method in arithmetic complexity, which encompass most lower bounds in this field. It also encompass most lower bounds on tensor rank in algebraic geometry (where the the rank method is called Flattening). I will describe the rank method, explain how it is used to prove lower bounds, and then explain its limits via the new barrier result. As an example, it shows that while the best lower bound on the tensor rank of any explicit 3dimensional tensor of side n (which is achieved by a rank method) is 2n, no rank method can prove a lower bound which exceeds 8n (despite the fact that a random such tensor has rank quadratic in n). No special background knowledge is assumed. The audience is expected to come up with new lower bounds, or else, with new excuses for their absence. 
10:3011:00am  Coffee Break  
11:0012:00pm  Venkat Guruswami 
Subspace evasion, list decoding, and dimension expanders Abstract: A subspace design is a collection of subspaces of F^n (F = finite field) most of which are disjoint from every lowdimensional subspace of F^n. This notion was put forth in the context of algebraic list decoding where it enabled the construction of optimal redundancy listdecodable codes over small alphabets as well as for errorcorrection in the rankmetric. Explicit subspace designs with nearoptimal parameters have been constructed over large fields based on polynomials with structured roots. (Over small fields, a construction via cyclotomic function fields with slightly worse parameters is known.) Both the analysis of the list decoding algorithm as well as the subspace designs crucially rely on the *polynomial method*. Subspace designs have since enabled progress on linearalgebraic analogs of Boolean pseudorandom objects where the rank of subspaces plays the role of the size of subsets. In particular, they yield an explicit construction of constantdegree dimension expanders over large fields. While constructions of such dimension expanders are known over any field, they are based on a reduction to a highly nontrivial form of vertex expanders called monotone expanders. In contrast, the subspace design approach is simpler and works entirely within the linearalgebraic realm. Further, in recent (ongoing) work, their combination with rankmetric codes yields dimension expanders with expansion proportional to the degree. This talk will survey these developments revolving around subspace designs, their motivation, construction, analysis, and connections. (Based on several joint works whose coauthors include Chaoping Xing, Swastik Kopparty, Michael Forbes, Nicolas Resch, and Chen Yuan.) 
12:001:30pm  Lunch  
1:302:30pm  David Conlon 
Finite reflection groups and graph norms Abstract: For any given graph $H$, we may define a natural corresponding functional $\.\_H$. We then say that $H$ is norming if $\.\_H$ is a seminorm. A similar notion $\.\_{r(H)}$ is defined by $\ f \_{r(H)} := \  f  \_H$ and $H$ is said to be weakly norming if $\.\_{r(H)}$ is a norm. Classical results show that weakly norming graphs are necessarily bipartite. In the other direction, Hatami showed that even cycles, complete bipartite graphs, and hypercubes are all weakly norming. Using results from the theory of finite reflection groups, we identify a much larger class of weakly norming graphs. This result includes all previous examples of weakly norming graphs and adds many more. We also discuss several applications of our results. In particular, we define and compare a number of generalisations of Gowers’ octahedral norms and we prove some new instances of Sidorenko’s conjecture. Joint work with Joonkyung Lee.

2:303:00pm  Coffee Break  
3:004:00pm  Laszlo Miklós Lovasz 
Removal lemmas for triangles and kcycles. Abstract: Let p be a fixed prime. A kcycle in F_p^n is an ordered ktuple of points that sum to zero; we also call a 3cycle a triangle. Let N=p^n, (the size of F_p^n). Green proved an arithmetic removal lemma which says that for every k, epsilon>0 and prime p, there is a delta>0 such that if we have a collection of k sets in F_p^n, and the number of kcycles in their cross product is at most a delta fraction of all possible kcycles in F_p^n, then we can delete epsilon times N elements from the sets and remove all kcycles. Green posed the problem of improving the quantitative bounds on the arithmetic triangle removal lemma, and, in particular, asked whether a polynomial bound holds. Despite considerable attention, prior to our work, the best known bound for any k, due to Fox, showed that 1/delta can be taken to be an exponential tower of twos of height logarithmic in 1/epsilon (for a fixed k). In this talk, we will discuss recent work on Green’s problem. For triangles, we prove an essentially tight bound for Green’s arithmetic triangle removal lemma in F_p^n, using the recent breakthroughs with the polynomial method. For kcycles, we also prove a polynomial bound, however, the question of the optimal exponent is still open. The triangle case is joint work with Jacob Fox, and the kcycle case with Jacob Fox and Lisa Sauermann. 
Thursday, Nov. 16
Time  Speaker  Title/Abstract 
9:009:30am  Breakfast  
9:3010:30am  Janos Pach  Let’s talk about multiple crossings
Abstract: Let k>1 be a fixed integer. It is conjectured that any graph on n vertices that can be drawn in the plane without k pairwise crossing edges has O(n) edges. Two edges of a hypergraph cross each other if neither of them contains the other, they have a nonempty intersection, and their union is not the whole vertex set. It is conjectured that any hypergraph on n vertices that contains no k pairwise crossing edges has at most O(n) edges. We discuss the relationship between the above conjectures and explain some partial answers, including a recent result of Kupavskii, Tomon, and the speaker, improving a 40 years old bound of Lomonosov. 
10:3011:00am  Coffee Break  
11:0012:00pm  Misha Rudnev 
Few products, many sums Abstract: This is what I like calling “weak Erd\H osSzemer\’edi conjecture”, still wide open over the reals and in positive characteristic. The talk will focus on some recent progress, largely based on the ideas of I. D. Shkredov over the past 56 years of how to use linear algebra to get the best out of the Szemer\’ediTrotter theorem for its sumproduct applications. One of the new results is strengthening (modulo the log term hidden in the $\lesssim$ symbol) the textbook Elekes inequality $$ A^{10} \ll AA^4AA^4 $$ to $$A^{10}\lesssim AA^3AA^5.$$ The other is the bound $$E(H) \lesssim H^{2+\frac{9}{20}}$$ for additive energy of sufficiently small multiplicative subgroups in $\mathbb F_p$. 
12:001:30pm  Lunch  
1:302:30pm  Adam Sheffer 
Geometric Energies: Between Discrete Geometry and Additive Combinatorics Abstract: We will discuss the rise of geometric variants of the concept of Additive energy. In recent years such variants are becoming more common in the study of Discrete Geometry problems. We will survey this development and then focus on a recent work with Cosmin Pohoata. This work studies geometric variants of additive higher moment energies, and uses those to derive new bounds for several problems in Discrete Geometry. 
2:303:00pm  Coffee Break  
3:004:00pm  Boris Bukh 
Ranks of matrices with few distinct entries Abstract: Many applications of linear algebra method to combinatorics rely on the bounds on ranks of matrices with few distinct entries and constant diagonal. In this talk, I will explain some of these application. I will also present a classification of sets L for which no lowrank matrix with entries in L exists. 
Friday, Nov. 17
Time  Speaker  Title/Abstract 
9:009:30am  Breakfast  
9:3010:30am  Benny Sudakov 
Submodular minimization and setsystems with restricted intersections Abstract: Submodular function minimization is a fundamental and efficiently solvable problem class in combinatorial optimization with a multitude of applications in various fields. Surprisingly, there is only very little known about constraint types under which it remains efficiently solvable. The arguably most relevant nontrivial constraint class for which polynomial algorithms are known are parity constraints, i.e., optimizing submodular function only over sets of odd (or even) cardinality. Parity constraints capture classical combinatorial optimization problems like the oddcut problem, and they are a key tool in a recent technique to efficiently solve integer programs with a constraint matrix whose subdeterminants are bounded by two in absolute value. We show that efficient submodular function minimization is possible even for a significantly larger class than parity constraints, i.e., over all sets (of any given lattice) of cardinality r mod m, as long as m is a constant prime power. To obtain our results, we combine tools from Combinatorial Optimization, Combinatorics, and Number Theory. In particular, we establish an interesting connection between the correctness of a natural algorithm, and the nonexistence of set systems with specific intersection properties. Joint work with M. Nagele and R. Zenklusen 
10:3011:00am  Coffee Break  
11:0012:00pm  Robert Kleinberg 
Explicit sumofsquares lower bounds via the polynomial method Abstract: The sumofsquares (a.k.a. Positivstellensatz) proof system is a powerful method for refuting systems of multivariate polynomial inequalities, i.e. proving that they have no solutions. These refutations themselves involve sumofsquares (sos) polynomials, and while any unsatisfiable system of inequalities has a sumofsquares refutation, the sos polynomials involved might have arbitrarily high degree. However, if a system admits a refutation where all polynomials involved have degree at most d, then the refutation can be found by an algorithm with running time polynomial in N^d, where N is the combined number of variables and inequalities in the system. Lowdegree sumofsquares refutations appear throughout mathematics. For example, the above proof search algorithm captures as a special case many a priori unrelated algorithms from theoretical computer science; one example is Goemans and Williamson’s algorithm to approximate the maximum cut in a graph. Specialized to extremal graph theory, they become equivalent to flag algebras. They have also seen practical use in robotics and optimal control. Therefore, it is of interest to identify “hard” systems of lowdegree polynomial inequalities that have no solutions but also have no lowdegree sumofsquares refutations. Until recently, the only known examples were either not explicit (i.e., known to exist by nonconstructive means such as the probabilistic method) or not robust (i.e., a system is constructed which is not refutable by degree d sos polynomials, but becomes refutable when perturbed by an amount tending to zero with d). We present a new family of instances derived from the capset problem, and we show a superconstant lower bound on the degree of its sumofsquares refutations. Our instances are both explicit and robust. This is joint work with Sam Hopkins. 
12:001:30pm  Lunch 
]]>
Most physical phenomena, from the gravitating universe to fluid dynamics, are modeled on nonlinear differential equations. The subject also makes close connections with other branches of mathematics. In particular, some of the deepest results in complex geometry and topology were obtained through solutions of nonlinear equations.
The subject underwent rapid developments in the last century and foundational results were established. Compared to linear equations, the difficulty of solving nonlinear equations is of a different order of magnitude and the methods employed in solving them are also much more diversified. To this date, it is an active field with recent exciting discoveries and renewed interests, and several long standing problems seem to be within reach. The special year aims to spur activity in this subject, to provide a natural setting for the most cutting edge results to be communicated, and to facilitate interaction among researchers of different backgrounds.
During the year, there will be two weekly seminar programs. Each program participants will be asked to give a talk on geometric analysis, or the evolution of equations, hyperbolic equations, and fluid dynamics.
Seminar on Evolution Equations
Concluding Conference on Nonlinear Equations Program
MiniSchool on Nonlinear Equations, Dec. 2016
Here is a partial list of the mathematicians who have indicated that they will attend part or all of this special program
Name  Home Institution  Tentative Visiting Dates 

Stefano Bianchini  SISSA  04/01/2016 – 05/31/2016 
Lydia Bieri  University of Michigan  02/01/2016 – 04/30/2016 
Albert Chau  University of British Columbia  02/26/2016 – 05/26/2016 
Binglong Chen  Sun Yatsen University  09/01/2015 – 11/30/2015 
Qingtao Chen  ETHZ (Swiss Federal Institute of Technology in Zurich)  03/17/2016 – 04/04/2016 
Piotr Chrusciel  University of Vienna  03/01/2016 – 05/30/2016 
Fernando Coda Marques  Princeton University  04/25/2016 – 04/29/2016 05/23/2016 – 05/27/2016 
Mihalis Dafermos  Princeton University  04/01/2016 – 04/30/2016 
Camillo De Lellis  University of Zurich  02/01/2016 – 4/30/2016 
Michael Eichmair  University of Vienna  03/21/2016 – 04/01/2016 
Felix Finster  Universitat Regensburg  09/20/2015 – 10/20/2015 03/20/2016 – 04/20/2016 
Xianfeng David Gu  SUNY at Stony Brook  04/01/2016 – 04/30/2016 
ZhengCheng Gu  Perimeter Institute for Theoretical Physics  08/15/2015 – 09/15/2015 
Pengfei Guan  McGill University  10/10/2015 – 10/17/2015 
Xiaoli Han  Tsinghua University  01/20/2016 – 04/19/2016 
Thomas Hou  California Institute of Technology  11/01/2016 – 11/30/2016 
Feimin Huang  Chinese Academy of Sciences  02/15/2016 – 04/15/2016 
Xiangdi Huang  Chinese Academy of Sciences  09/10/2015 – 12/10/2015 
Tom Ilmanen  ETH Zurich  10/19/2015 – 12/18/2015 
Niky Kamran  McGill Univeristy  04/04/2016 – 04/08/2016 
Nicolai Krylov  University of Minnesota  11/01/2015 – 11/30/2015 
Junbin Li  Sun Yatsen University  02/01/2016 – 04/30/2016 
Yong Lin  Renmin University of China  02/01/2016 – 03/31/2016 
Andre Neves  Imperial College London  4/25/2016 – 4/29/2016; 5/23/2016 – 5/27/2016 
Duong H. Phong  Columbia University  04/08/2016 – 04/10/2016 
Ovidiu Savin  Columbia University  10/15/2015 – 12/14/2015 
Richard Schoen  Stanford University  03/21/2016 – 03/25/2016 
Mao Sheng  University of Science and Technology of China  01/15/2016 – 01/28/2016 
Valentino Tosatti  Northwestern University  02/01/2016 – 04/15/2016 
John Toth  McGill University  04/04/2016 – 04/08/2016 
ChungJun Tsai  National Taiwan University  05/01/2016 – 05/08/2016 
TaiPeng Tsai  University of British Columbia  03/20/2016 – 05/31/2016 
LiSheng Tseng  UC Irvine  02/08/2016 – 02/19/2016; 04/27/2016 – 05/11/2016 
Chun Peng Wang  Jilin University  02/01/2016 – 04/30/2016 
XuJia Wang  Australian National University  04/01/2016 – 05/31/2016 
Ben Weinkove  Northwestern University  02/28/2016 – 03/18/2016 
Sijue Wu  University of Michigan  04/01/2016 – 04/30/2016 
Chunjing Xie  Shanghai Jiao Tong University  09/08/2015 – 12/07/2015 
Zhou Ping Xin  The Chinese University of Hong Kong  10/01/2015 – 11/30/2015 
Hongwei Xu  Zhejiang University  09/01/2015 – 11/30/2015 
Peng Ye  University of Illinois at UrbanaChampaign  11/15/2015 – 11/22/2015 
Pin Yu  Tshinghua University  09/07/2015 – 12/10/2015 
Yi Zhang  Fudan University  01/18/2016 – 05/31/2016 