In this work, we combine the adaptive mesh refinement (AMR) framework with high order finite difference weighted essentially non-oscillatory (WENO) method in space and TVD Runge-Kutta (RK) method in time (WENO-RK) for hyperbolic conservation laws. Our goal is to realize mesh adaptivity in the AMR framework, while maintaining very high (higher than second) order accuracy of the WENO-RK method in the finite difference setting. To maintain high order accuracy, we use high order prolongation in both space (WENO interpolation) and time (Hermite interpolation) from the coarse to find grid, and at ghost points. The resulting scheme is high order accuracy, robust and efficient, due to the mesh adaptivity and has high order accuracy in both space and time. We have experimented the third and fifth order AMR-finite difference WENO-RK schemes. The accuracy of the scheme is demonstrated by applying the method to several smooth test problems, and the quality and efficiency are demonstrated by applying the method to the shallow water and Euler equations with different challenging initial conditions. From our numerical experiment, we conclude a significant improvement of the fifth order AMR - WENO scheme over the third order one, not only in accuracy for smooth problems, but also in its ability in resolving complicated solution structures, which we think is due to the very low numerical diffusion of high order schemes. This work is in collaboration with Dr. Chaopeng Shen and Professor Jing-Mei Qiu.

I will discuss the question: When does a vector bundle admit a holomorphic structure? I will explore applications of Yang-Mills theory and geometric quantization to this problem.

Coarsening is the phenomenon where many objects (water drops, molecular islands, particles in a freezing liquid) becoming smaller in number but larger in size in an orderly way. This talk will examine modeling one such system, nanoscopic 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 distribution of drops. We will find self-similar solutions for the drop population valid for intermediate times and discuss transient effects that can delay the self-similar scaling.

Categorification can be viewed as the process of lifting scalar and polynomial invariants to homology theories having those invariants as (graded) Euler characteristics. In this talk, we will discuss categorification in general and as manifested in specific examples (ie Khovanov homology and knot Floer homology). Examples will be given showing how the categorified invariants are stronger and often more useful than the original invariants. I will motivate categorification using familiar constructions from (very basic) topology. It is my hope that this will make the discussion accessible to a wide audience. No prior knowledge of knot theory or category theory needed!

Multiscale problems are often treated via asymptotic of homogenization techniques: one first determines the asymptotic limit and then finds an appropriate numerical methods to solve it. Variable scale problems which exhibit a continuous variation of the perturbation parameter from a finite to an infinitesimal value cannot be solved by this method alone. They require the coupling of the asymptotic problem to the original one across the region of scale variation. This coupling is often quite complex and lacks robustness. Asymptotic-Preserving methods represent an alternative to the coupling strategy and provide a way to resolve the original problem without resorting to its asymptotic limit. They provide a systematic methodology to resolve multiscale problems even in situations where the asymptotic limit is quite complex. We will provide examples of this methodology for the treatment of the low-Mach number regime, of quasineutrality in plasmas, large magnetic fields or strong anisotropy in diffusion equations.

Models for dynamical systems that include short-time or abrupt forcing can be written as impulsive differential equations. Applications include mechanical systems with impacts and models for electro-chemical spiking signals in neurons. We consider a model for spiking in neurons given by a nonlinear ordinary differential equation that includes a Dirac delta function. Ambiguities in how to interpret such equations can be resolved via perturbation methods and asymptotic analysis of delta sequences.

We introduce a technique, based on perturbation theory for Hamiltonian PDEs, to derive the asymptotic equations of the motion of a free surface of a fluid over a rough bottom (one dimension). The rough bottom is described by a realization of a stationary mixing process which varies on short length scales. We show that the problem in this case does not fully homogenize, and random effects are as important as dispersive and nonlinear phenomena in the scaling regime. We will explain how these technique can be generalized to higher dimensions

It is known that, on closed manifolds, Einstein metrics of negative scalar curvature are critical points of the usual volume functional constrained to the space of metrics of constant scalar curvature. In this talk, I will discuss how this variational characterization of Einstein metrics can be localized to compact manifolds with boundary. I will present the critical point equation and focus on geometric properties of its general solutions. In particular, when a solution has zero scalar curvature and its boundary can be isometrically embedded into the Euclidean space, I will show that the volume of this critical metric is always greater than or equal to the Euclidean volume enclosed by the image of the isometric embedding and two volumes are the same if and only if the critical metric is isometric to the Euclidean metric on a standard round ball. This is a joint work with Prof. Luen-Fai Tam.

This talk will be a fun discussion of the mathematical aspects of preferential ballot elections (in which voters are allowed to express their rankings of all of the candidates). After describing how single vote ballots can lead to an institutionalized two party system by discouraging third party candidates, we will then discuss the various vote counting methods for preferential ballot elections and the characteristics, both good and bad, that these various methods have. We will also touch on Arrow's Paradox, one of the most over-rated "paradoxes" in mathematics, and explain how it is much less relevant to discussions of vote counting methods than is sometimes believed.

Homological Mirror Symmetry proposes an equivalence between the derived category of coherent sheaves on a complex manifold and the (derived) Fukaya category of the mirror symplectic manifold. It is natural to consider the behaviour of these categories and equivalences under deformations of the underlying spaces.

In this talk I will describe Toda's results on deformations of the category Coh(X) of coherent sheaves on a complex manifold X. They come from deformations of X as a complex manifold, non-commutative deformations, and gerby deformations. These can all be interpreted as deformations of X as a generalized complex manifold; in some instances it is possible to deform X to a symplectic manifold. Toda also described how to deform Fourier-Mukai equivalences, and I will present some examples coming from mirror SYZ fibrations.

Friction plays a key role in controlling the rheology of dense granular flows. Ertas and Halsey, among others, have proposed that friction and inelasticity-enabled structures with a characteristic length scale in such flows can be directly linked to such rheologies, particularly that summarized in the “Pouliquen flow rule.” In dense flows, “gear” states in which all contacts roll without frictional sliding are naively possible below critical coordination numbers. We construct an explicit example of such a state in D=2; and show that organized shear can exist in this state only on scales l < d/I, where d is the grain size and I is the Inertial Number, characterizing the balance between inertial and pressure forces in the flow. Above this scale the packing is destabilized by centrifugal forces. Similar conclusions can be drawn in disordered packings of grains. We comment on the possible relationship between this length scale l and that which has been hypothesized to control the rheology.

Enhacement of diffusion and reaction processes by advection is a classical subject that has been extensively studied by both physicists and mathematicians. In this talk I will consider reaction-diffusion on a bounded domain in the presence of a fast incompressible flow. I will also consider convective systems in a bounded domain, in which viscous fluids described by the Stokes system are coupled using the Boussinesq approximation to a reaction-advection-diffusion equation for the temperature. For such systems enhacement of diffusion implies, in particular, that the explosion threshold for power-like nonlinearities tends to infinity in the large Rayleigh number limit.

The world is in dire need of more formalisms with which to do differential geometry. Just kidding! More seriously, over the years I have encountered some complicated formulae in differential geometry and have, successfully I believe, used canonical objects sitting on frame bundles to simplify them and their proofs. I will give at least one example of such a formula, namely Simon's calculation of the Laplacian of the second fundamental form of a minimal submanifold and show how the formalism makes it and its proof simple.

In the event of a vascular injury, a blood clot will form to prevent bleeding. This response involves two intertwined processes: platelet aggregation and coagulation. Activated platelets are critical to coagulation in that they provide localized reactive surfaces on which many of the coagulation reactions occur. The final product from the coagulation cascade directly couples the coagulation system to platelet aggregation by acting as a strong activator of platelets and cleaving blood-borne fibrinogen into fibrin which then forms a mesh to help stabilize platelet aggregates. Together, the fibrin mesh and the platelet aggregates comprise a blood clot, which in some cases, can grow to occlusive diameters. Transport of coagulation proteins to and from the vicinity of the injury is controlled largely by the dynamics of the blood flow. It is crucial to learn how blood flow affects the growth of clots, and how the growing masses, in turn, feed back and affect the fluid motion. We have developed the first spatial-temporal model of platelet deposition and blood coagulation under flow that includes detailed descriptions of the coagulation biochemistry, chemical activation and deposition of blood platelets, as well as the two-way interaction between the fluid dynamics and the growing platelet mass.

Algebraic groups are important in algebraic and arithmetic geometry. This talk will be a general introduction to them. I will discuss some basic example (elliptic curves, GL_n, ...) and then introduce linear algebraic groups and affine algebraic groups. There will be lots of examples, which will help explain why they are important.

A smooth knot in a contact 3-manifold is called Legendrian if it is always tangent to the contact planes. In this talk, I will discuss Legendrian knots in R^3 and the solid torus where knots can be conveniently viewed using their `front projections'. In particular, I will describe how certain decompositions of front projections known as `normal rulings' (introduced by Fuchs and Chekanov-Pushkar) can be used to give combinatorial descriptions for parts of the HOMFLY-PT and Kauffman polynomials. I will conclude by discussing recent generalizations to Legendrian solid torus links. It is usual to identify the `HOMFLY-PT skein module' of the solid torus with the ring of symmetric functions. In this context, normal rulings can be used to give a knot theory description of the standard scalar product determined by taking the Schur functions to form an orthonormal basis.

Granular materials exist all around us, from avalanches in nature to the mixing of pharmaceuticals, yet the behavior of these ``fluids'' is poorly understood. Their flow can be characterized by the continuous forming and breaking of a strong force network resisting flow. This jamming/unjamming behavior is typical of a variety of systems, including granular flows, and is influenced by factors such as grain packing fraction, applied shear stress, and the random kinetic energy of the particles. I'll present experiments on quasi-static shear and free-surface granular flows under the influence of external vibrations. By using photoelastic grains, we are able to measure both particle trajectories and the local force network in these 2D flows. We find through particle tracking that dense granular flow is composed of comparable contributions from the mean flow, affine, and non-affine deformations. During shear, sufficient external vibration weakens the strong force network and reduces the amount of flow driven by sidewalls. In a rotating drum geometry, large vibrations induce failure as might be expected, while small vibration leads to strengthening of the pile. The avalanching behavior is also strongly history dependent, as evident when the rotating drum is driven in an oscillatory motion, and we find that sufficient vibration erases the memory of the pile. These results point to the central role of the mobilization of friction in quasi-static granular flow.

In many applications, ranging from computer animation to biology, one wants to quantify how similar two surfaces are to each other. In the last few years, the Gromov-Haussdorff distance has been applied to this problem; this gives good results, but turns out to be very heavy computationally. This talk proposes a different approach, in which (disk-like) 2-dimensional surfaces (typically embedded in 3-dimensional Euclidean space) are first mapped conformally to the unit disk, and the corresponding conformal densities are then compared via optimal mass transportation,. This mass transportation problem differs from the standard case in that we require the solution to be invariant under global Moebius transformations. The metric we construct also defines meaningful intrinsic distances between pairs of "patches" in the two surfaces, which allows automatic alignment of the surfaces. Numerical experiments on "real-life" surfaces to demonstrate possible applications in natural sciences will be shown as well. This is joint work with Yaron Lipman.

We study the Seiberg-Witten equations on a 4-manifold X with the homology of S1 x S3. The count of such solutions, called the Seiberg-Witten invariant, depends on choices of Riemannian metric and perturbation of the equations to make a smooth moduli space. A similar issue is resolved in dimension 3 by relating the jumps in the Seiberg-Witten invariant to the spectral flow of the Dirac operator. In dimension 4, we use Taubes' theory of periodic-end operators to relate the jumps in the Seiberg-Witten invariant to the index theory of the Dirac operator on the infinite cyclic cover of X. This circle of ideas has applications to classification of smooth manifolds homeomorphic to S1 x S3, to questions about positive scalar curvature, and to homology cobordisms. This is joint work with Tomasz Mrowka and Nikolai Saveliev.

Numerical continuation is a tool for investigating the bifurcation structure of a nonlinear dynamical system with respect to the system parameters. It is most often used to "carve up" parameter space into regions of qualitatively different behaviour by finding and tracking bifurcations (e.g., Hopf bifurcations) as the system parameters change. This talk will give an introduction to the theory behind numerical continuation and go on to discuss recent developments in the field.

Particular attention will be paid to numerical continuation of systems with non-smoothness, motivated by the example of intermittent contacts in a model of orthogonal cutting (turning). Rich dynamical behaviour is present in this model due to the presence of a grazing bifurcation which denotes the transition point from constant contact of the cutting tool with the workpiece to intermittent contact. Using numerical continuation it is possible to elucidate the full bifurcation structure of the system, something that would be extremely difficult with other methods.

Finally, numerical continuation will be demonstrated as applied to a physical experiment (so-called control-based continuation): a nonlinear energy harvesting device. Numerical continuation in this context allows the investigation of a physical device without prior knowledge of a model. Both stable and unstable motions can be investigated and bifurcations found directly. As such these investigations may aid in establishing what an appropriate mathematical model could be.

The Mordell-Weil theorem shows that the rational points on an elliptic curve defined over the field of rational numbers is a finitely generated abelian group. The Birch and Swinnerton-Dyer conjecture relates the rank of this group to a number of analytic and algebraic invariants of the curve. (More generally it considers an elliptic curve defined over a number field.) The conjecture is one of the Millennium Prize problems and the Clay Institute is offering a reward of 1 million dollars for a solution. This talk will be an introduction to the conjecture. In following weeks we will have lectures explaining each of the terms in the formula.

The last few years have witnessed an explosion in the number of mathematical models for random graphs and networks, as well as models for dynamics on these network models. In this context I would like to exhibit the power of two well known philosophies in attacking problems in random graphs and networks: First, local weak convergence: The idea of local neighborhoods of probabilistic discrete structures (such as random graphs) converging to the local neighborhood of limiting infinite objects has been known for a long time in the probability community and has proved to be remarkably effective in proving convergence results in many different situations. Here we shall give a wide range of examples of the above methodology. In particular, we shall show how the above methodology can be used to tackle problems of flows through random networks, where we have a random network with nodes communicating via least cost paths to other nodes. We shall show in some models on the completely connected network how the above methodology allows us to prove the convergence of the empirical distribution of edge flows, exhibiting how macroscopic order emerges from microscopic rules. Also, we shall show how for a wide variety of random trees (uniform random trees, preferential attachment trees arising from a wide variety of attachment schemes, models of trees from Statistical Physics etc) the above methodology shows the convergence of the spectral distribution of the adjacency matrix of theses trees to a limiting non random distribution function. Second, scaling limits: For the analysis of critical random graphs, one often finds that properly associated walks corresponding to the exploration of the graph encode a wide array of information (including the size of the maximal components). In this context we shall extend work of Aldous on Erdos-Renyi critical random graphs to the context of inhomogeneous random graph models. If time permits we shall describe the connection between these models and the multiplicative coalescent, arising from models of coagulation in the physical sciences.