Rick Durrett : Spatial evolutionary games with weak selection
- Mathematical Biology ( 153 Views )Recently a mathematical theory has been developed for spatial games with weak selection, i.e., the payoff differences between strategies are small. The key to the analysis is that when space an time are suitably rescaled the limit is partial differential equation (PDE). This approach can be used to analyze all 2 x 2 games, but there are a number of 3 x 3 games for which the behavior of the limiting PDE is not known. In this talk we will describe simulation results for two cases that are not considered by rigorous results: rock-paper scissors and bistable games. We will begin by describing results for a two strategy game that arises from studying pancreatic cancer and shows that theoretical predictions work even when selection is not very weak. This is joint work with Mridu Nanda, a student at North Carolina School for Science and Math.
Eckehard Schoell : Time-delayed feedback control - from nano to neuro
- Nonlinear and Complex Systems ( 189 Views )We review recent developments in the control of deterministic and stochastic nonlinear dynamics by time-delayed feedback methods [1]. We point out how to overcome the alleged odd number limitation for unstable periodic orbits, and discuss the control of complex chaotic or noise-induced space-time patterns. Our findings are applied to a selection of models ranging from semiconductor nanostructures, like resonant-tunneling diodes [2], to neural systems. [1] E. Sch{\"o}ll and H.G. Schuster (Eds.): Handbook of Chaos Control (Wiley-VCH, Weinheim, 2008), second completely revised and enlarged edition. [2] E. Sch{\"o}ll, Nonlinear spatio-temporal dynamics and chaos in semiconductors (Cambridge University Press, Cambridge, 2001).
Xiuyuan Cheng : Haar Scattering Transforms & Data on Graphs: From Images to Histograms
- Applied Math and Analysis ( 106 Views )This talk is about representation learning with a nontrivial geometry of variables. A convolutional neural network can be viewed as a statistical machine to detect and count features in an image progressively through a multi-scale system. The constructed features are insensitive to nuance variations in the input, while sufficiently discriminative to predict labels. We introduce the Haar scattering transform as a model of such a system for unsupervised learning. Employing Haar wavelets makes it applicable to data lying on graphs that are not necessarily pixel grids. When the underlying graph is unknown, an adaptive version of the algorithm infers the geometry of variables by optimizing the construction of the Haar basis so as to minimize data variation. Given time, I will also mention an undergoing project of flow cytometry data analysis, where histogram-like features are used for comparing empirical distributions. After "binning" samples on a mesh in space, the problem can be closely related to feature learning when a variable geometry is present.
Christoph Ortner : Multi-scale simulation of crystal defects
- Applied Math and Analysis ( 100 Views )PART 1: I will construct a mathematical model of a defect embedded in an infinite homogeneous crystal. I will then establish a regularity result for minimisers, which given the crucial information on which approximation schemes are based. As an elementary application of this framework I will prove convergence rates for two computational schemes: (1) clamped far-field and (2) coupling to harmonic far-field model.
PART 2: The conditions under which the theory of Part 1 holds are separability and locality of the total energy. In Part 2 I will show how for a tight-binding model (a minimalistic electronic structure model) these two condition arise. This analysis raises some interesting (open) questions.
PART 3: Finally, I will use the theory developed in PART 1 and PART 2 to construct and analyse a new family of QM/MM embedding schemes with rigorous error estimates.
John Etnyre : Surgery and Tight Contact Structures
- Geometry and Topology ( 114 Views )One of the fundamental problems in 3-dimensional contact geometry is the construction of tight contact structures on closed manifolds. Two obvious ways to try to construct such structures are via Legendrian surgery and admissible transverse surgery. It was long thought that when performed on a closed tight contact manifold these operations would yield a tight contact manifold. We show that this is not true for admissible transverse surgery. Along the way we discuss the relations between these two surgery operations and construct some contact structures with interesting properties.
Noé Cuneo : Non-Equilibrium Steady States for Networks of Oscillators
- Applied Math and Analysis ( 100 Views )Non-equilibrium steady states for chains of oscillators interacting with stochastic heat baths at different temperatures have been the subject of several studies. In this talk I will discuss how to generalize these results to multidimensional networks of oscillators. I will first introduce the model and motivate it from a physical point of view. Then, I will present conditions on the topology of the network and on the interaction potentials which imply the existence and uniqueness of the non-equilibrium steady state, as well as exponential convergence to it. The two main ingredients of the proof are (1) a controllability argument using Hörmander's bracket criterion and (2) a careful study of the high-energy dynamics which leads to a Lyapunov-type condition. I will also mention cases where the non-equilibrium steady state is not unique, and cases where its existence is an open problem. This is joint work with J.-P. Eckmann, M. Hairer and L. Rey-Bellet, Electronic Journal of Probability 23(55): 1-28, 2018 (arXiv:1712.09413).
Hubert Bray : An Overview of General Relativity
- Graduate/Faculty Seminar ( 157 Views )After brief introductions to special relativity and the foundations of differential geometry, we will discuss the big ideas behind Einstein's theory of general relativity. Einstein's theory replaces Newtonian physics not only as the best description of gravity according to experiments, but also as a philosophically pleasing and very geometric idea, which Einstein called his "happiest thought." We will also discuss the predictions made by general relativity, including the big bang and black holes, both of which are strongly supported by observations. We will discuss these ideas from a geometric perspective, and discuss some of the open problems and future directions that are currently being studied.
Matt Junge : Ballistic Annihilation
- Probability ( 107 Views )In the late 20th century, statistical physicists introduced a chemical reaction model called ballistic annihilation. In it, particles are placed randomly throughout the real line and then proceed to move at independently sampled velocities. Collisions result in mutual annihilation. Many results were inferred by physicists, but it wasn’t until recently that mathematicians joined in. I will describe my trajectory through this model. Expect tantalizing open questions.
Lenny Ng : New algebraic invariants of Legendrian links
- Geometry and Topology ( 45 Views )For the past 25 years, a key player in contact topology has been the Floer-theoretic invariant called Legendrian contact homology. I'll discuss a package of new invariants for Legendrian knots and links that builds on Legendrian contact homology and is derived from rational symplectic field theory. This includes a Poisson bracket on Legendrian contact homology and a symplectic structure on augmentation varieties. Time permitting, I'll also describe an unexpected connection to cluster theory for a family of Legendrian links associated to positive braids. Parts of this are joint work in progress with Roger Casals, Honghao Gao, Linhui Shen, and Daping Weng.
Guillaume Bal : Topological Insulators and obstruction to localization
- Applied Math and Analysis ( 129 Views )Topological insulators (TIs) are materials characterized by topological invariants. One of their remarkable features is the asymmetric transport observed at the interface between materials in different topological phases. Such transport is itself described by a topological invariant, and therefore ``protected" against random perturbations. This immunity makes TIs extremely promising for many engineering applications and actively researched.
In this talk, we present a PDE model for such TIs, introduce a topology based on indices of Fredholm operators, and analyze the influence of random perturbations. We confirm that topology is an obstruction to Anderson localization, a hallmark of wave propagation in strongly heterogeneous media in the topologically trivial case and to some extent quantify what is or is not protected topologically. For instance, a quantized amount of transmission is protected while back-scattering, a practical nuisance, is not.
Anne Catlla : Mean, Lean ODE-fighting Machine
- Graduate/Faculty Seminar ( 146 Views )Our brains are composed of networks of cells, including neurons and glial cells. While the significance of neurons has been established by biologists, the role of glial cells is less understood. One hypothesis is that glial cells facilitate neural communication in nearby neurons, while suppressing communication among more distant neurons via a reaction-diffusion process. I consider this proposed mechanism using partial and ordinary differential equation models. By analyzing the ordinary differential equation model, I can determine conditions for this hypothesis to hold. I then compare the results of this analysis with simulations of the partial differential equation model and discuss the biological implications.
Gautam Iyer : Anomalous diffusion in fast cellular flows
- Probability ( 120 Views )In '53, GI Taylor estimated the effective dispersion rate of a solute diffusing in the presence of a laminar flow in a pipe. It turns out that the length scales involved in typical pipes are too short for Taylor's result to apply. The goal of my talk will be to establish a preliminary estimate for the effective dispersion rate in a model problem at time scales much shorter than those required in Taylor's result. Precisely, I will study a diffusive tracer in the presence of a fast cellular flow. The main result (joint with A. Novikov) shows that the variance at intermediate time scales is of order $\sqrt{t}$. This was conjectured by W. Young, and is consistent with an anomalous diffusive behaviour.
Robert Bryant : The Concept of Holonomy
- Graduate/Faculty Seminar ( 154 Views )In the 19th century, people began to study mechanical systems in which motion in a configuration space was constrained by 'no slip' conditions, such as, for example, a wheel or a ball rolling on a plane without slipping. It was immediately noticed that there were many cases in which these 'rolling' constraints did not prevent one from being able to join any two points in a configuration space by an admissible path, and these situations were called 'non-holonomic'. The notion of 'holonomy' arose as a way to quantify and study these 'non-holonomic' systems, and it has turned out to be very fruitful, with many applications in differential geometry and mathematical physics as well as in practical mechanics problems (such as figuring out how to use robot hands to manipulate 3-dimensional objects). In this talk, I'll introduce the ideas that led to the development of the concept of holonomy, show how some simple examples are computed, and describe how even very simple systems, such as a convex surface rolling over another surface without slipping or twisting, can lead to some surprising and exceptional geometry. No expertise in differential geometry will be assumed; if you are comfortable with vector calculus, you can enjoy the talk.
Mykhaylo Shkolnikov : Particles interacting through their hitting times: neuron firing, supercooling and systemic risk
- Probability ( 130 Views )I will discuss a class of particle systems that serve as models for supercooling in physics, neuron firing in neuroscience and systemic risk in finance. The interaction between the particles falls into the mean-field framework pioneered by McKean and Vlasov in the late 1960s, but many new phenomena arise due to the singularity of the interaction. The most striking of them is the loss of regularity of the particle density caused by the the self-excitation of the system. In particular, while initially the evolution of the system can be captured by a suitable Stefan problem, the following irregular behavior necessitates a more robust probabilistic approach. Based on joint work with Sergey Nadtochiy.
Michael Damron : A simplified proof of the relation between scaling exponents in first passage percolation
- Probability ( 118 Views )In first passage percolation, we place i.i.d. non-negative weights on the nearest-neighbor edges of Z^d and study the induced random metric. A long-standing conjecture gives a relation between two "scaling exponents": one describes the variance of the distance between two points and the other describes the transversal fluctuations of optimizing paths between the same points. In a recent breakthrough work, Sourav Chatterjee proved this conjecture using a strong definition of the exponents. I will discuss work I just completed with Tuca Auffinger, in which we introduce a new and intuitive idea that replaces Chatterjee's main argument and gives an alternative proof of the relation. One advantage of our argument is that it does not require a non-trivial technical assumption of Chatterjee on the weight distribution.
Dmitri Burago : Math Mozaic
- Geometry and Topology ( 172 Views )The lecture includes the main part (to be chosen on the spot) and a few mini-talks with just definitions, motivations, some ideas of proofs, and open problems. I will discuss some (hardly all) of the following topics. 1. A survival guide for feeble fish. How fish can get from A to B in turbulent waters which maybe much fasted than the locomotive speed of the fish provided that there is no large-scale drift of the water flow. This is related to homogenization of G-equation which is believed to govern many combustion processes. Based on a joint work with S. Ivanov and A. Novikov. 2. One of the greatest achievements in Dynamics in the XX century is the KAM Theory. It says that a small perturbation of a non-degenerate completely integrable system still has an overwhelming measure of invariant tori with quasi-periodic dynamics. What happens outside KAM tori has been remaining a great mystery. The main quantitate invariants so far are entropies. It is easy, by modern standards, to show that topological entropy can be positive. It lives, however, on a zero measure set. We are now able to show that metric entropy can become infinite too, under arbitrarily small C^{infty} perturbations, answering an old-standing problem of Kolmogorov.. Furthermore, a slightly modified construction resolves another longstanding problem of the existence of entropy non-expansive systems. In these modified examples positive positive metric entropy is generated in arbitrarily small tubular neighborhood of one trajectory. Join with S. Ivanov and Dong. Chen. 3. What is inside? Imagine a body with some intrinsic structure, which, as usual, can be thought of as a metric. One knows distances between boundary points (say, by sending waves and measuring how long it takes them to reach specific points on the boundary). One may think of medical imaging or geophysics. This topic is related to minimal fillings and surfaces in normed spaces. Joint work with S. Ivanov. 4. How well can we approximate an (unbounded) space by a metric graph whose parameters (degree of vertices, length of edges, density of vertices etc) are uniformly bounded? We want to control the ADDITIVE error. Some answers (the most difficult one is for $\R^2$) are given using dynamics and Fourier series. Joint with Ivanov. 5.How can one discretize elliptic PDEs without using finite elements, triangulations and such? On manifolds and even reasonably nice mmspaces. A notion of \rho-Laplacian and its stability. Joint with S. Ivanov and Kurylev. 6. A solution of Busemanns problem on minimality of surface area in normed spaces for 2-D surfaces (including a new formula for the area of a convex polygon). Joint with S. Ivanov.
Michael Mossinghoff : Oscillation problems in number theory
- Number Theory ( 159 Views )The Liouville function λ(n) is the completely multiplicative arithmetic function defined by λ(p) = −1 for each prime p. Pólya investigated its summatory function L(x) = Σn≤x λ(n), and showed for instance that the Riemann hypothesis would follow if L(x) never changed sign for large x. While it has been known since the work of Haselgrove in 1958 that L(x) changes sign infinitely often, oscillations in L(x) and related functions remain of interest due to their connections to the Riemann hypothesis and other questions in number theory. We describe some connections between the zeta function and a number of oscillation problems, including Pólya's question and some of its weighted relatives, and, in joint work with T. Trudgian, describe a method involving substantial computation that establishes new lower bounds on the size of these oscillations.
Nicholas Eriksson : Combinatorial methods in evolutionary biology
- Presentations ( 151 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.
Dan Forger : From a model network of 10,000 neurons to a smartphone app with >150,000 users: novel approaches to study daily timekeeping
- Mathematical Biology ( 134 Views )I will briefly describe mathematical models of networks of neurons and chemical reactions within neurons that generate daily (circadian) timekeeping. The numerical and analytical challenges of these models as well as the benefits in terms of biological predications will be highlighted. I will then explain how models can be used to find schedules that decrease the time needed to adjust to a new timezone by a factor of 2 or more. These optimal schedules have been implemented into a smartphone app, ENTRAIN, which collects data from users and in return helps them avoid jet-lag. We will use the data from this app to determine how the world sleeps. This presents a new paradigm in mathematical biology research where large-scale computing bridges the gap between basic mechanisms and human behavior and yields hypotheses that can be rapidly tested using mobile technology.
Lise-Marie Imbert-Gerard : Variable coefficients and numerical methods for electromagnetic waves
- Applied Math and Analysis ( 94 Views )In the first part of the talk, we will discuss a numerical method for wave propagation in inhomogeneous media. The Trefftz method relies on basis functions that are solution of the homogeneous equation. In the case of variable coefficients, basis functions are designed to solve an approximation of the homogeneous equation. The design process yields high order interpolation properties for solutions of the homogeneous equation. This introduces a consistency error, requiring a specific analysis.
In the second part of the talk, we will discuss a numerical method for elliptic partial differential equations on manifolds. In this framework the geometry of the manifold introduces variable coefficients. Fast, high order, pseudo-spectral algorithms were developed for inverting the Laplace-Beltrami operator and computing the Hodge decomposition of a tangential vector field on closed surfaces of genus one in a three dimensional space. Robust, well-conditioned solvers for the Maxwell equations will rely on these algorithms.
Saman Habibi Esfahani : Gauge theory, from low dimensions to higher dimensions and back
- Geometry and Topology ( 83 Views )We start by recalling gauge theory and some of its applications in low-dimensional topology. We briefly discuss Donaldson-Thomas program to extend the methods of gauge theory to study higher-dimensional manifolds, specially Calabi-Yau 3-folds and G2-manifolds. Finally, we will see that the study of gauge theory in higher dimensions motivates new ideas and questions in low-dimensional topology.
Nick Moore : How focused flexibility maximizes the thrust production of flapping wings
- Mathematical Biology ( 140 Views )Birds, insects, and fish all exploit the fact that flexible wings or fins generally perform better than their rigid counterparts. Given the task of designing an optimal wing, though, it is not clear how to best distribute the flexibility: Should the wing be uniformly flexible along its length, or could some advantage be gained by making certain sections more rigid than others? I will discuss this question by using a 2D small-amplitude model for the fluid-structure interaction combined with an efficient Chebyshev PDE solver. Numerical optimization shows that concentrating flexibility near the leading edge of the wing maximizes thrust production, an arrangement that resembles the torsional-joint flexibility mechanism found in insect wings. I will discuss the possibility of extending into three dimensions to address the question of optimal wing architecture more generally.
Laurent Demanet : Interferometric waveform inversion: geophysics meets spectral graph theory
- Applied Math and Analysis ( 111 Views )In seismic and SAR imaging, fitting cross-correlations of wavefields rather than the wavefields themselves can result in much improved robustness vis-a-vis model uncertainties. This approach however raises two challenges: (i) new spurious local minima may complicate the inversion, and (ii) one must find a good subset of cross-correlations to make the problem well-posed. I will explain how to address these two problems with lifting, semidefinite relaxation, and expander graphs. This mix of ideas has recently proved to be the right approach in other contexts as well, such as angular synchronization (Singer et al.) and phase retrieval (Candes et al.). Joint work with Vincent Jugnon.
Franziska Michor : Evolutionary dynamics of cancer
- Mathematical Biology ( 123 Views )Cancer emerges due to an evolutionary process in somatic tissue. The fundamental laws of evolution can best be formulated as exact mathematical equations. Therefore, the process of cancer initiation and progression is amenable to mathematical investigation. Of special importance are changes that occur early during malignant transformation because they may result in oncogene addiction and represent promising targets for therapeutic intervention. Here we describe a mathematical approach, called Retracing the Evolutionary Steps in Cancer (RESIC), to deduce the temporal sequence of genetic events during tumorigenesis from crosssectional genomic data of tumors at their fully transformed stage. When applied to a dataset of 70 advanced colorectal cancers, our algorithm accurately predicts the sequence of APC, KRAS, and TP53 mutations previously defined by analyzing tumors at different stages of colon cancer formation. We further validate the method with glioblastoma and leukemia sample data and then apply it to complex integrated genomics databases, finding that high-level EGFR amplification appears to be a late event in primary glioblastomas. RESIC represents the first evolutionary mathematical approach to identify the temporal sequence of mutations driving tumorigenesis and may be useful to guide the validation of candidate genes emerging from cancer genome surveys.
Marisa Eisenberg : Forecasting and uncertainty in modeling disease dynamics
- Mathematical Biology ( 115 Views )Connecting dynamic models with data to yield predictive results often requires a variety of parameter estimation, identifiability, and uncertainty quantification techniques. These approaches can help to determine what is possible to estimate from a given model and data set, and help guide new data collection. Here, we examine how parameter estimation and disease forecasting are affected when examining disease transmission via multiple types or pathways of transmission. Using examples taken from the West Africa Ebola epidemic, HPV, and cholera, we illustrate some of the potential difficulties in estimating the relative contributions of different transmission pathways, and show how alternative data collection may help resolve this unidentifiability. We also illustrate how even in the presence of large uncertainties in the data and model parameters, it may still be possible to successfully forecast disease dynamics.
Vita Rutka : EJIIM for Stationary Stokes Flow (Boundary Value Problems)
- Applied Math and Analysis ( 154 Views )The Explicit Jump Immersed Interface Method (EJIIM) is a finite difference method for elliptic partial differential equations that, like all Immersed Interface Methods, works on a regular grid in spite of non-grid aligned discontinuities in equation parameters and solution. The specific idea is to introduce jumps in function and its derivatives explicitely as additional variables. We present a finite difference based EJIIM for the stationary Stokes flow in saddle point formulation. Challenges related to staggered grid, fast Stokes solver and non-simply connected domains will be discussed.
Robert V. Kohn : A Variational Perspective on Wrinkling Patterns in Thin Elastic Sheets: What sets the local length scale of tensile wrinkling?
- Gergen Lectures ( 265 Views )The wrinkling of thin elastic sheets is very familiar: our skin
wrinkles, drapes have coarsening folds, and a sheet stretched
over a round surface must wrinkle or fold.
What kind of mathematics is relevant? The stable configurations of a
sheet are local minima of a variational problem with a rather special
structure, involving a nonconvex membrane term (which favors isometry)
and a higher-order bending term (which penalizes curvature). The bending
term is a singular perturbation; its small coefficient is the sheet
thickness squared. The patterns seen in thin sheets arise from energy
minimization -- but not in the same way that minimal surfaces arise
from area minimization. Rather, the analysis of wrinkling is an example
of "energy-driven pattern formation," in which our goal is to understand
the asymptotic character of the minimizers in a suitable limit (as the
nondimensionalized sheet thickness tends to zero).
What kind of understanding is feasible? It has been fruitful to focus
on how the minimum energy scales with sheet thickness, i.e. the "energy
scaling law." This approach entails proving upper bounds and
lower bounds that scale the same way. The upper bounds tend to be
easier, since nature gives us a hint. The lower bounds are more subtle,
since they must be ansatz-free; in many cases, the arguments used to
prove the lower bounds help explain "why" we see particular patterns.
A related but more ambitious goal is to identify the prefactor as well
as the scaling law; Ian Tobasco's striking recent work on geometry-driven
wrinkling has this character.
Lecture 1 will provide an overview of this topic (assuming no background
in elasticity, thin sheets, or the calculus of variations). Lecture 2 will
discuss some examples of tensile wrinkling, where identification of the
energy scaling law is intimately linked to understanding the local
length scale of the wrinkles. Lecture 3 will discuss our emerging
undertanding of geometry-driven wrinkling, where (as Tobasco has
shown) it is the prefactor not the scaling law that explains the
patterns seen experimentally.