Seminars and Colloquia by Series

A Szemeredi-type theorem for subsets of the unit cube.

Series
Analysis Seminar
Time
Wednesday, January 29, 2020 - 13:55 for 1 hour (actually 50 minutes)
Location
Skiles 005
Speaker
Vjeko KovacGeorgia Tech

  We are interested in arithmetic progressions in positive measure subsets of [0,1]^d. After a counterexample by Bourgain, it seemed as if nothing could be said about the longest interval formed by sizes of their gaps. However, Cook, Magyar, and Pramanik gave a positive result for 3-term progressions if their gaps are measured in the l^p-norm for p other than 1, 2, and infinity, and the dimension d is large enough. We establish an appropriate generalization of their result to longer progressions. The main difficulty lies in handling a class of multilinear singular integrals associated with arithmetic progressions that includes the well-known multilinear Hilbert transforms, bounds for which still constitute an open problem. As a substitute, we use the previous work with Durcik and Thiele on power-type cancellation of those transforms, which was, in turn, motivated by a desire to quantify the results of Tao and Zorin-Kranich. This is joint work with Polona Durcik (Caltech).

Pollen patterns as a phase transition to modulated phases

Series
Mathematical Biology Seminar
Time
Wednesday, January 29, 2020 - 11:00 for 1 hour (actually 50 minutes)
Location
Skiles 006
Speaker
Asja RadjaHarvard University

Pollen grain surface morphologies are famously diverse, and each species displays a unique, replicable pattern. The function of these microstructures, however, has not been elucidated. We show electron microscopy evidence that the templating of these patterns is formed by a phase separation of a polysaccharide mixture on the cell membrane surface. Here we present a Landau theory of phase transitions to ordered states describing all extant pollen morphologies. We show that 10% of all morphologies can be characterized as equilibrium states with a well-defined wavelength of the pattern. The rest of the patterns have a range of wavelengths on the surface that can be recapitulated by exploring the evolution of a conserved dynamics model. We then perform an evolutionary trait reconstruction. Surprisingly, we find that although the equilibrium states have evolved multiple times, evolution has not favored these ordered-polyhedral like shapes and perhaps their patterning is simply a natural consequence of a phase separation process without cross-linkers.  

From Lorenz to Lorenz: Principles and Possibilities in the Phase Space of Animal Behavior

Series
Other Talks
Time
Tuesday, January 28, 2020 - 15:00 for 1 hour (actually 50 minutes)
Location
Howey N202
Speaker
Gregory StephensVrije Universiteit Amsterdam
Animal behavior is often quantified through subjective, incomplete variables that may mask essential dynamics. Here, we develop a behavioral state space in which the full instantaneous state is smoothly unfolded as a combination of short-time posture dynamics. Our technique is tailored to multivariate observations and extends previous reconstructions through the use of maximal prediction. Applied to high-resolution video recordings of the roundworm C. elegans, we discover a low-dimensional state space dominated by three sets of cyclic trajectories corresponding to the worm's basic stereotyped motifs: forward, backward, and turning locomotion. In contrast to this broad stereotypy, we find variability in the presence of locally-unstable dynamics, and this unpredictability shows signatures of deterministic chaos: a collection of unstable periodic orbits together with a positive maximal Lyapunov exponent. The full Lyapunov spectrum is symmetric with positive, chaotic exponents driving variability balanced by negative, dissipative exponents driving stereotypy. The symmetry is indicative of damped, driven Hamiltonian dynamics underlying the worm's movement control.

Arithmetic, Geometry, and the Hodge and Tate Conjectures for self-products of some K3 surfaces

Series
Job Candidate Talk
Time
Monday, January 27, 2020 - 15:00 for 1 hour (actually 50 minutes)
Location
Skiles 006
Speaker
Jaclyn LangUniversité Paris 13

Although studying numbers seems to have little to do with shapes, geometry has become an indispensable tool in number theory during the last 70 years. Deligne's proof of the Weil Conjectures, Wiles's proof of Fermat's Last Theorem, and Faltings's proof of the Mordell Conjecture all require machinery from Grothendieck's algebraic geometry. It is less frequent to find instances where tools from number theory have been used to deduce theorems in geometry. In this talk, we will introduce one tool from each of these subjects -- Galois representations in number theory and cohomology in geometry -- and explain how arithmetic can be used as a tool to prove some important conjectures in geometry. More precisely, we will discuss ongoing joint work with Laure Flapan in which we prove the Hodge and Tate Conjectures for self-products of 16 K3 surfaces using arithmetic techniques.

The coalgebra of singular chains and the fundamental group

Series
Geometry Topology Seminar
Time
Monday, January 27, 2020 - 14:00 for 1 hour (actually 50 minutes)
Location
Skiles 006
Speaker
Manuel RiveraPurdue University

The goal of this talk is to explain the sense in which the natural algebraic structure of the singular chains on a path-connected space determines its fundamental group functorially. This new basic piece about the algebraic topology of spaces, which tells us that the fundamental group may be determined from homological data, has several interesting and deep implications. An example of a corollary of our statement is the following extension of a classical theorem of Whitehead: a continuous map between path-connected pointed topological spaces is a weak homotopy equivalence if and only if the induced map between the differential graded coalgebras of singular chains is a Koszul weak equivalence (i.e. a quasi-isomorphism after applying the cobar functor). A deeper implication, which is work in progress, is that this allows us to give a complete description of infinity groupoids in terms of homological algebra.

There are three main ingredients that come into play in order to give a precise formulation and proof of our main statement: 1) we extend a classical result of F. Adams from 1956 regarding the “cobar construction” as an algebraic model for the based loop space of a simply connected space, 2) we make use of the homotopical symmetry of the chain approximations to the diagonal map on a space, and 3) we apply a duality theory for algebraic structures known as Koszul duality. This is joint work with Mahmoud Zeinalian and Felix Wierstra.

Pre-talk for "The coalgebra of singular chains and the fundamental group"

Series
Geometry Topology Seminar Pre-talk
Time
Monday, January 27, 2020 - 12:45 for 1 hour (actually 50 minutes)
Location
Skiles 006
Speaker
Manuel RiveraPurdue

In the first talk I will introduce the main constructions, many of which are classical, from scratch. This part will be introductory and accessible to a general audience with a basic knowledge of topology. This introduction will also serve as preparation for the main talk in which I will outline the proof and discuss some applications.

Fast uniform generation of random graphs with given degree sequences

Series
Combinatorics Seminar
Time
Friday, January 24, 2020 - 15:00 for 1 hour (actually 50 minutes)
Location
Skiles 005
Speaker
Andrii ArmanEmory University

In this talk I will discuss algorithms for a uniform generation of random graphs with a given degree sequence. Let $M$ be the sum of all degrees and $\Delta$ be the maximum degree of a given degree sequence. McKay and Wormald described a switching based algorithm for the generation of graphs with given degrees that had expected runtime $O(M^2\Delta^2)$, under the assumption $\Delta^4=O(M)$. I will present a modification of the McKay-Wormald algorithm that incorporates a new rejection scheme and uses the same switching operation. A new algorithm has expected running time linear in $M$, under the same assumptions.

I will also describe how a new rejection scheme can be integrated into other graph generation algorithms to significantly reduce expected runtime, as well as how it can be used to generate contingency tables with given marginals uniformly at random.

This talk is based on the joint work with Jane Gao and Nick Wormald.

Geometric statistics for shape analysis of bioimaging data

Series
Job Candidate Talk
Time
Thursday, January 23, 2020 - 15:00 for 1 hour (actually 50 minutes)
Location
Skiles 006
Speaker
Nina MiolaneStanford University

The advances in bioimaging techniques have enabled us to access the 3D shapes of a variety of structures: organs, cells, proteins. Since biological shapes are related to physiological functions, statistical analyses in biomedical research are poised to incorporate more shape data. This leads to the question: how do we define quantitative descriptions of shape variability from images?

Mathematically, landmarks’ shapes, curve shapes, or surface shapes can be seen as the remainder after we have filtered out the corresponding object’s position and orientation. As such, shape data belong to quotient spaces, which are non-Euclidean spaces.

In this talk, I introduce “Geometric statistics”, a statistical theory for data belonging to non-Euclidean spaces. In the context of shape data analysis, I use geometric statistics to prove mathematically and experimentally that the “template shape estimation” algorithm, used for more than 15 years in biomedical imaging and signal processing, has an asymptotic bias. As an alternative, I present variational autoencoders (VAEs) and discuss the accuracy-speed trade-off of these procedures. I show how to use VAEs to estimate biomolecular shapes from cryo-electron microscopy (cryo-EM) images. This study opens the door to unsupervised fast (cryo-EM) biological shape estimation and analysis.

Matroids, log-concavity, and expanders

Series
Job Candidate Talk
Time
Thursday, January 23, 2020 - 11:00 for 1 hour (actually 50 minutes)
Location
Skiles 006
Speaker
Cynthia VinzantNorth Carolina State University

Abstract:  Matroids are combinatorial objects that model various types of independence. They appear several fields mathematics, including graph theory, combinatorial optimization, and algebraic geometry. In this talk, I will introduce the theory of matroids along with the closely related class of polynomials called strongly log-concave polynomials. Strong log-concavity is a functional property of a real multivariate polynomial that translates to useful conditions on its coefficients. Discrete probability distributions defined by these coefficients inherit several of these nice properties.  I will discuss the beautiful real and combinatorial geometry underlying these polynomials and describe applications to random walks on the faces of simplicial complexes. Consequences include proofs of Mason's conjecture that the sequence of numbers of independent sets of a matroid is ultra log-concave and the Mihail-Vazirani conjecture that the basis exchange graph of a matroid has expansion at least one. This is based on joint work with Nima Anari, Kuikui Liu, and Shayan Oveis Gharan.

Pages