The expander Chernoff bound states that random walks over expanders are good samplers, at least for a certain range of parameters. In this talk we will be interested in “Parity Samplers” that have the property that for any test set, about half of the sample sets see the test set an *even* number of times, and we will check whether random walks over expanders are good parity samplers. We will see that:
1. Random walks over expanders fare quite well with the challenge, but, 2. A sparse Random complex does much better.
The "PCP theorem" says that problems in NP are hard in a robust or stable way.
I will give a brief intro to PCPs (and explain the acronym) and then try to outline a proof of the PCP theorem based on "agreement expansion" which is a form of high dimensional expansion.
My aim is to show how high dimensional expansion is inherently present in PCP type questions.
I will introduce the notion of (PCP)-agreement expansion which is an important building block in PCPs constructions.
I will then show that a high dimensional expanders imply PCP-agreement expanders.
based on Joint work with Irit Dinur
Speaker : Tatiana Nagnibeda (University of Geneva)
Abstract: The definition of a Ramanujan graph extends naturally to infinite graphs: an infinite graph is Ramanujan if its spectral radius is not larger than (and hence equal to) the spectral radius of its universal covering tree. As with infinite families of finite graphs, it is interesting and non-trivial to understand, how much Ramanujan graphs resemble trees. I will discuss some results in this direction obtained in a joint work with Vadim Kaimanovich, by investigating ergodic properties of boundary actions of free groups.
The family of high rank arithmetic groups is a class of groups playing an important role in various areas of mathematics. It includes SL(n,Z), for n>2 , SL(n, Z[1/p] ) for n>1, their finite index subgroups and many more.
A number of remarkable results about them have been proven including; Mostow rigidity, Margulis Super rigidity and the Quasi-isometric rigidity.
I will talk about a new Abelian category associated to an open variety with normal-crossings (or more generally, logarithmic) choice of compactification, which behaves in remarkable (and remarkably nice) ways with respect to changes of compactification and duality, and which first appeared in work on mirror symmetry.
The talk is based on the joint work with Yanki Lekili. The associative Yang-Baxter equation
is a quadratic equation related to both classical and quantum Yang-Baxter equations. It appears naturally in connection with triple Massey products in the derived category of
coherent sheaves on elliptic curve and its degenerations. We show that all of its nondegenerate trigonometric solutions are obtained from Fukaya categories of some noncompact surfaces. We use this to prove that any two simple vector bundles on a cycle of projective lines are related by a sequence of spherical twists.
Zilber's trichotomy conjecture, in modern formulation, distinguishes three flavours of geometries of strongly minimal sets --- disintegrated/trivial, modular, and the geometry of an ACF. Each of these three flavours has a classic ``template'' --- a set with no structure, a projective space over a prime field, and an algebraically closed field, respectively. The class of ab initio constructions with which Hrushovski refuted the conjecture features a new flavour of geometries --- non-modular, yet prohibiting any algebraic structure.
Title: The behavior of rational points in one-parameter families
Abstract: How often does a "random" algebraic plane curve f(x,y) = 0
have a solution with rational coordinates? In one-parameter "twist"
families of elliptic curves, Goldfeld conjectured that there should be
a rational point exactly half of the time. Recent progress towards
this conjecture makes use of Selmer groups, and I'll explain the
geometric idea underlying their construction. I'll also describe
results for families of curves of higher genus, and abelian varieties
of higher dimension.
Chang's Conjecture is a strengthening of Lowenheim-Skolem-Tarski theorem. While Lowenheim-Skolem-Tarski theorem is provable in ZFC, any instance of Chang's Conjecture is independent with ZFC and has nontrivial consistency strength. Thus, the question of how many instances of Chang's Conjecture can consistently hold simultaneously is natural.
I will talk about some classical results on the impossibility of some instances of Chang's Conjecture and present some results from a joint work with Monroe Eskew.
I'll show how the Vandermonde determinant identity allows us to
estimate the volume of certain spaces of polynomials in one variable
(or rather, of homogeneous polynomials in two variables), as the degree
goes to infinity.
I'll explain what this is good for in the context of globally valued
fields, and, given time constraints, may give some indications on the
approach for the "real inequality" in higher projective dimension.
Abstract: The set theoretic generalizations of algebras have been
introduced in the 1960s to give a set theoretic interpretation of usual
algebraic structures. The shift in perspective from algebra to set
theory is that in set theory the focus is on the collection of possible
algebras and sub-algebras on specific cardinals rather than on
particular algebraic structures. The study of collections of algebras
and sub-algebras has generated many well-known problems in combinatorial
set theory (e.g., Chang’s conjecture and the existence of small singular
This talk will be largely based on a paper by Joseph Shipman with the same title. We will discuss some variations of Fubini type theorems. The focus will be on what is known as "strong Fubini type theorems". Apparently these versions were proved to be independent of ZFC,and our main aim will be to sketch a proof of this result. We will assume basic knowledge in measure theory. Aside from that, the material is rather self contained.