We develop a correspondence between the study of Borel equivalence relations induced by closed subgroups of $S_\infty$, and the study of symmetric models of set theory without choice, and apply it to prove a conjecture of Hjorth-Kechris-Louveau (1998).

Title for the day: "Quantum ergodicity and spectral theory with a discrete flavour"

9:00-10:50: Shimon Brooks (Bar Ilan), "Delocalization of Graph Eigenfunctions"
14:00-15:50: Elon Lindenstrauss (HUJI), "Quantum ergodicity on graphs and beyond"

See also the Basic Notions by Elon Lindenstrauss @ Ross 70 (16:30).

Abstract for morning session:

Abstract. Let L be a non-archimedean local field of characteristic 0. In this talk we will present a variant of the theory of (\varphi,\Gamma)-modules associated with Lubin-Tate groups, developed by Kisin and Ren, in which we replace the Lubin-Tate tower by the maximal abelian extension \Gamma=Gal (L^ab/L). This variation allows us to compute the functors of induction and restriction for (\varphi,\Gamma)-modules, when the ground field L changes. If time permits, we will also discuss the Cherbonnier-Colmez theorem on overconvergence in our setting. Joint work with Ehud de Shalit.

We shall discuss several topics regarding symplectic measurements in the classical phase space. In particular: Viterbo's volume-capacity conjecture and its relation with Mahler conjecture, the symplectic size of random convex bodies, the EHZ capacity of convex polytopes (following the work of Pazit Haim-Kislev), and (if time permits) also computational complexity aspects of estimating symplectic capacities.

Special day on sparsification
Speakers: Ilan Newman and Yuri Rabinovich.

Part I:   10:30 - 12:30
Part II:  14:00 - 15:50

Abstract for the day:
Time permitting, we plan to discuss the following topics (in this order):

1.
* Additive Sparsification and VC dimension
* Multiplicative Sparsification
* Examples: cut weights, cut-dimension of L_1 metrics, general metrics,
                    and their high-dimensional analogues

2.

Abstract: Let V be an irreducible algebraic subvariety of C^n X C^n of dimension n. If Schanuel Conjecture holds, under some natural conditions on V, we show that, if V is defined over the rationals, there exists a in C^n such that (a, exp(a)) is a generic point of V.

We will explain what high dimensions are, and describe some questions and answers in geometry and combinatorics of the high dimensional world.

This is the second of two lectures on the paper Einseidler,, Margulis, Mohammadi and Venkatesh https://arxiv.org/abs/1503.05884. In this second lecture I will explain how the authors obtain using property tau (uniform spectral gap for arithmetic quotient) quantitaive equidistribution results for periodic orbits of maximal semisimple groups. Surprisingly, one can then use this theorem to establish property tau...

Ergodic theoretic methods in the context of homogeneous dynamics have been highly successful in number theoretic and other applications. A lacuna of these methods is that usually they do not give rates or effective estimates. Einseidler, Venkatesh and Margulis proved a rather remarkable quantitative equidistribution result for periodic orbits of semisimple groups in homogenous spaces that can be viewed as an effective version of a result of Mozes and Shah based on Ratner's measure classification theorem.

Contingency tables are matrices with fixed row and column sums.  They are in natural correspondence with bipartite multi-graphs with fixed degrees and can also be viewed as integer points in transportation polytopes.  Counting and random sampling of contingency tables is a fundamental problem in statistics which remains unresolved in full generality.  

In the talk, I will review both asymptotic and MCMC approaches, and then present a new Markov chain construction which provably works for sparse margins.  I conclude with some curious experimental results and conjectures.  Read more about CS Theory -- Erdős Lecture II: Counting contigency tables

Title: On tiling the real line by translates of a function Abstract: If f is a function on the real line, then a system of translates of f is said to be a << tiling >> if it constitutes a partition of unity. Which functions can tile the line by translations, and what can be said about the structure of the tiling? I will give some background on the problem and present our results obtained in joint work with Mihail Kolountzakis.

Open Gromov-Witten (OGW) invariants count pseudoholomorphic maps from a Riemann surface with boundary to a symplectic manifold, with constraints that make sure the moduli space of solutions is zero dimensional. In joint work with J. Solomon (2016-2017), we defined OGW invariants in genus zero under cohomological conditions. In this talk, also based on joint work with J. Solomon, I will describe a family of PDEs satisfied by the generating function of our invariants. We call this family the open WDVV equations.

In the past decades There has been considerable interest in the probability that two random elements of (finite or certain infinite) groups commute. I will describe new works (by myself and by others) on probabilistically nilpotent groups, namely groups in which the probability that [x_1,...,x_k]=1 is positive/bounded away from zero. It turns out that, under some natural conditions, these are exactly the groups which have a finite/bounded index subgroup which is nilpotent of class < k. The proofs have some combinatorial flavor.

In this talk we recall Conlon's random construction of sparse 2-dim simplicial complexes arising from Cayley graphs of F_2^t . We check what expansion properties this construction has (and doesn't have): Mixing of random walks, Spectral gap of the 1-skeleton, Spectral gap of the links, Co-systolic expansion and the geometric overlap property.