Bianca Santoro : Nice person speaks of ... ?
- Graduate/Faculty Seminar ( 169 Views )THIS JUST IN - An Abstract: I plan to speak about the good old Calabi Conjecture, and its beautiful solution by Yau, that gave gim the Fields Medal. I will start with some background material, and see how far we can get into the proof!
Stanislav Molchanov : On the random analytic functions
- Probability ( 217 Views )The talk will contain a review of several recent results on the analytic continuation of the random analytic functions. We will start from the classical theorem on the random Taylor series (going to Borel s school), but the main subject will be the random zeta function (which was introduced implicitly by Cramer) and its generalizations. We will show that true primes are not truly random , since zeta functions for the random pseudo-primes (in the spirit of Cramer) have no analytic continuation through the critical line Re (z) = 1/2.
Thomas Ivey : Cable knot solutions of the vortex filament flow
- Geometry and Topology ( 134 Views )The simplest model of vortex filament motion in an ideal fluid leads to an integrable nonlinear evolution equation, known as the localized induction approximation or the vortex filament flow, closely related to the cubic focusing nonlinear Schroedinger equation. For closed finite-gap solutions of this flow, certain geometric and topological features of the evolving curves appear to be correlated with the algebro-geometric data used to construct them. In this talk, I will briefly discuss this construction, and some low-genus examples (in particular, Kirchhoff elastic rod centerlines) where this correlation is well understood. I will mainly discuss recent joint work with Annalisa Calini, describing how to generate a family of closed finite-gap solutions of increasingly higher genus via a sequence of deformations of the multiply covered circle. We prove that every step in this sequence corresponds to constructing a cable on previous filament; moreover, the cable's knot type (which is invariant under the evolution) can be read off from the deformation sequence.
Joseph Spivey! : Mapping Class Groups and Moduli Spaces
- Graduate/Faculty Seminar ( 192 Views )There are many different ways to make a compact 2-manifold of genus g into a Riemann surface. In fact, there is an entire space of dimension 3g-3 (when g>1) of possible holomorphic structures. This space is called the moduli space of Riemann surfaces of genus g. We will give a definition of moduli spaces and briefly talk about their construction, starting with the "easy" examples of g=0 and g=1. We will also talk about mapping class groups, which play an important part in the construction of moduli spaces.
David Nualart : Regularity of the density of the stochastic heat equation
- Probability ( 153 Views )In this talk we present a recent result on the smoothness of the density for the solution of a semilinear heat equation with multiplicative space-time Gaussian white noise. We assume that the coefficients are smooth and the diffusion coefficient is not identically zero at the initial time. The proof of this result is based on the techniques of the Malliavin calculus, and the existence of negative moments for the solution of a linear heat equation with multiplicative space-time white noise.
Andrei Caldararu : The Pfaffian-Grassmannian derived equivalence
- Presentations ( 154 Views )We argue that there exists a derived equivalence between Calabi-Yau threefolds obtained by taking hyperplane sections (of the appropriate codimension) of the Grassmannian G(2,7) and the Pfaffian Pf(7). The existence of such an equivalence has been conjectured in physics for almost ten years, as the two families of Calabi-Yau threefolds are believed to have the same mirror. It is the first example of a derived equivalence between Calabi-Yau threefolds which are provably non-birational.
Dragos Oprea : Theta divisors on moduli spaces of bundles over curves
- Presentations ( 159 Views )The Jacobian of any compact Riemann surface carries a natural theta divisor, which can be defined as the zero locus of an explicit function, the Riemann theta function. I will describe a generalization of this idea, which starts by replacing the Jacobian with the moduli space of higher rank bundles. These moduli spaces also carry theta divisors, described via "generalized" theta functions. In this talk, I will describe recent progress in the study of generalized theta functions.
Jim Isenberg : Construcing solutions of the Einstein constraint equations
- Geometry and Topology ( 173 Views )The first step in finding a spacetime solution to the Einstein gravitational field equations via the inital value formulation is to construct initial data which satisfy the Einstein constraint equations. There are three ways of carrying out this construction which have been found to be useful: the conformal and conformal thin sandwich methods, the gluing techniques, and the quasi-spherical approaches. We describe each of these, we discuss their advantages and disadvantages, we outline some of their recent successful applications, and we present some of the outstanding questions remaining to be solved from each of these perspectives.
Tom Solomon : Front propagation and pattern formation in the Belousov-Zhabotinsky reaction
- Nonlinear and Complex Systems ( 178 Views )We present experiments on pattern formation and front propagation in the Belousov-Zhabotinsky (BZ) chemical reaction in flowing systems with chaotic advection. The flow is a chain of alternating vortices that oscillate and/or drift in the lateral direction. Mixing between the vortices is chaotic in this flow with either (enhanced) diffusive or superdiffusive transport. Experiments with the excitable BZ reaction are used to study the motion of reaction fronts in this system. If the vortices oscillates laterally, reaction fronts typically mode-lock to the external forcing. If the vortices drift with constant velocity, fronts typically pin to the leading vortex, remaining motionless in a reference frame that drifts with the vortices. Experiments with the oscillatory BZ reaction are used to study synchronization of a network of oscillators by chaotic mixing. We find that the system is globally-synchronized only if the long-range transport is superdiffusive, characterized by Levy flight trajectories. Time-permitting, we will also present results of experiments on chemical fronts and patterns in a two-dimensional array of vortices.
Mike Gratton : Coarsening of thin liquid films
- Graduate/Faculty Seminar ( 131 Views )Coarsening is the phenomenon where many objects (water drops, molecular islands, particles in a freezing liquid) becoming a smaller number of objects in an orderly way. This talk will examine modeling one such system, tiny liquid drops, through three models: a PDE for the fluid, a coarsening dynamical system for the drops, and an LSW-type ensemble model for the group of drops. We will study self-similarity in the dynamics and extensions of the model to examine very long times when drops grow large enough that gravity distorts their shape.
James Nolen : Reaction-Diffusion Fronts in Heterogeneous Media
- Presentations ( 141 Views )Reaction-diffusion equations are used in mathematical models of many physical and biological phenomena involving front propagation and pulse propagation. How do variations in the environment effect these phenomena? In this seminar, I will describe recent progress in understanding how fronts propagate in heterogeneous media. In particular, I will describe properties of generalized traveling waves for one-dimensional reaction-diffusion equations with variable excitation. I also will discuss multi-dimensional fronts in stationary random media, a model relevant to premixed-turbulent combustion. Along the way, I plan to describe interesting topics for future research.
Sebastien Roch : Cascade Processes in Social Networks
- Probability ( 150 Views )Social networks are often represented by directed graphs where the nodes are individuals and the edges indicate a form of social relationship. A simple way to model the diffusion of ideas, innovative behavior, or word-of-mouth effects on such a graph is to consider a stochastic process of ``infection'': each node becomes infected once an activation function of the set of its infected neighbors crosses a random threshold value. I will prove a conjecture of Kempe, Kleinberg, and Tardos which roughly states that if such a process is ``locally'' submodular then it must be ``globally'' submodular on average. The significance of this result is that it leads to a good algorithmic solution to the problem of maximizing the spread of influence in the network--a problem known in data mining as "viral marketing"'. This is joint work with Elchanan Mossel.
Ben Weinkove : Symplectic forms, Kahler metrics and the Calabi-Yau equation
- Presentations ( 155 Views )Yau's theorem on Kahler manifolds states that there exists a unique Kahler metric in every Kahler class with prescribed volume form. This has many applications in complex geometry. I will discuss symplectic manifolds. In a different direction, I will talk about the problem of existence of constant scalar curvature Kahler metrics, which can also be considered a generalization of Yau's theorem.
Robert Ghrist : Sheaves and Sensors
- Presentations ( 204 Views )This work is motivated by a fundamental problem in sensor networks -- the need to aggregate redundant sensor data across a network. We focus on a simple problem of enumerating targets with a network of sensors that can detect nearby targets, but cannot identify or localize them. We show a clear, clean relationship between this problem and the topology of constructable sheaves. In particular, an integration theory from sheaf theory that uses Euler characteristic as a measure provides a computable, robust, and powerful tool for data aggregation.
Roman Vershynin : Randomness in functional analysis: towards universality
- Presentations ( 155 Views )The probabilistic method has redefined functional analysis in high dimensions. Random spaces and operators are to analysis what random graphs are to combinatorics. They provide a wealth of examples that are otherwise hard to construct, suggest what situations we should view as typical, and they have far-reaching applications, most notably in convex geometry and computer science. With the increase of our knowledge about random structures we begin to wonder about their universality. Is there a limiting picture as the dimension increases to infinity? Is this picture unique and independent of the distribution? What are deterministic implications of probabilistic methods? This talk will survey progress on some of these problems, in particular a proof of the conjecture of Von Neumann and Goldstine on random operators and connections to the Littlewood-Offord problem in additive combinatorics.
Nicholas Eriksson : Combinatorial methods in evolutionary biology
- Presentations ( 149 Views )My research focuses in three areas of evolutionary biology: the structure of viral populations, the evolution of drug resistance, and phylogenetics. Knowledge of the diversity of viral populations is important for understanding disease progression, vaccine design, and drug resistance, yet it is poorly understood. New technologies (pyrosequencing) allow us to read short, error-prone DNA sequences from an entire population at once. I will show how to assemble the reads into genomes using graph theory, allowing us to determine the population structure. Next, I will describe a new class of graphical models inspired by poset theory that describe the accumulation of (genetic) events with constraints on the order of occurrence. Applications of these models include calculating the risk of drug resistance in HIV and understanding cancer progression. Finally, I'll describe a polyhedral method for determining the sensitivity of phylogenetic algorithms to changes in the parameters. We will analyze several datasets where small changes in parameters lead to completely different trees and see how discrete geometry can be used to average out the uncertainty in parameter choice.
John Swallow : Galois module structure of Galois cohomology
- Algebraic Geometry ( 163 Views )NOTE SEMINAR TIME: NOON!! Abstract: Let p be a prime number, F a field containing a primitive pth root of unity, and E/F a cyclic extension of degree p, with Galois group G. Let G_E be the absolute Galois group of E. The cohomology groups H^i(E,Fp)=Hî(G_E,Fp) possess a natural structure as FpG-modules and decompose into direct sums of indecomposables. In the 1960s Boreviè and Faddeev gave decompositions of E^*/E^*p -- the case i=1 -- for local fields. We describe the case i=1 for arbitrary fields, and then, using the Bloch-Kato Conjecture, we also determine the case i>1. No small surprise arises from the fact that there exist indecomposable FpG-modules which never appear in these module decompositions. We give several consequences of these results, notably a generalization of the Schreier formula for G_E, connections with Demu¹kin groups, and new families of pro-p-groups that cannot be realized as absolute Galois groups. These results have been obtained in collaboration with D. Benson, J. Labute, N. Lemire, and J. Mináè.
Christina Tonnesen-Friedman : Canonical classes on admissible bundles
- Geometry and Topology ( 186 Views )For each K¨ahler class on a compact K¨ahler manifold there is a lower bound of the Calabi functional, which we call the ``potential energy''. Fixing the volume and letting the K¨ahler classes vary, the energy defines a functional which may be studied in it?s own right. Any critical point of the energy functional is then a K¨ahler class whose extremal K¨ahler metrics (if any) are so-called strongly extremal metrics. We take the well-studied case of Hirzebruch surfaces and generalize it in two different directions; along the dimension of the base and along the genus of the base. In the latter situation we are able to give a very concrete description of the corresponding dynamical system (as defined first by S. Simanca and L. Stelling). The talk is based on work in progress with Santiago Simanca.
Paul Norbury : Magnetic monopoles on manifolds with boundary
- Geometry and Topology ( 139 Views )Kapustin and Witten introduced interesting boundary value problems for magnetic monopoles on a Riemann surface times an interval. They described the moduli space of such solutions in terms of Hecke modifications of holomorphic bundles over the Riemann surface. I will explain this and prove existence and uniqueness for such monopoles.
Chris Wiggins : Learning Networks from Biology, Learning Biology from Networks
- Nonlinear and Complex Systems ( 154 Views )Both the 'reverse engineering' of biological networks (for example, by integrating sequence data and expression data) and the analysis of their underlying design (by revealing the evolutionary mechanisms responsible for the resulting topologies) can be re-cast as problems in machine learning: learning an accurate prediction function from high-dimensional data. In the case of inferring biological networks, predicting up- or down- regulation of genes allows us to learn ab intio the transcription factor binding sites (or `motifs') and to generate a predictive model of transcriptional regulation. In the case of inferring evolutionary designs, quantitative, unambiguous model validation can be performed, clarifying which of several possible theoretical models of how biological networks evolve might best (or worst) describe real-world networks. In either case, by taking a machine learning approach, we statistically validate the models both on held-out data and via randomizations of the original dataset to assess statistical significance. By allowing the data to reveal which features are the most important (based on predictive power rather than overabundance relative to an assumed null model) we learn models which are both statically validated and biologically interpretable.
Paul Tupper : The Relation Between Shadowing and Approximation in Distribution
- Applied Math and Analysis ( 151 Views )In computational physics, molecular dynamics refers to the computer simulation of a material at the atomic level. I will consider classical deterministic molecular dynamics in which large Hamiltonian systems of ordinary differential equations are used, though many of the same issues arise with other models. Given its scientific importance there is very little rigorous justification of molecular dynamics. From the viewpoint of numerical analysis it is surprising that it works at all. The problem is that individual trajectories computed by molecular dynamics are accurate for only small time intervals, whereas researchers trust the results over very long time intervals. It has been conjectured that molecular dynamics trajectories are accurate over long time intervals in some weak statistical sense. Another conjecture is that numerical trajectories satisfy the shadowing property: that they are close over long time intervals to exact trajectories with different initial conditions. I will explain how these two views are actually equivalent to each other, after we suitably modify the concept of shadowing.
Abraham Smith : DEs to EDS: How to solve PDEs without being clever
- Graduate/Faculty Seminar ( 162 Views )This talk is directed to anyone who cares about anything, at all levels. In particular, it will be a soft introduction to exterior differential systems (EDS). EDS is often associated with differential geometry, but it is really just a language for understanding the solution space of differential equations. The EDS viewpoint is temporarily mind-bending, but its concise and clean description of integrability, from conservation laws to geometric invariants, justifies the initial cramps.
Jeremy Quastel : The effect of noise on KPP traveling fronts
- Probability ( 141 Views )It was noticed experimentally in the late 90's that the speeds of traveling fronts in microscopic systems approximating the KPP equation converge unusually slowly to their continuum values. Brunet and Derrida made a very precise conjecture for the basic model equation, which is the KPP equation perturbed by white noise. We will explain the conjecture and sketch the main ideas of the proof. This is joint work with Carl Mueller and Leonid Mytnik.