Seminars and Colloquia Schedule

Tracking Control for Neuromuscular Electrical Stimulation

Series
Applied and Computational Mathematics Seminar
Time
Monday, April 20, 2015 - 14:00 for 1 hour (actually 50 minutes)
Location
Skiles 005
Speaker
Professor Michael Malisoff – Louisiana State University

Speaker’s Biography:Michael Malisoff received his PhD in 2000 from <br />
the Department of Mathematics at Rutgers University in New Brunswick, <br />
NJ. In 2001, he joined the faculty of the Department of Mathematics at <br />
Louisiana State University in Baton Rouge (LSU), where he is now the Roy<br />
Paul Daniels Professor #3 in theLSU College of Science. His main <br />
research has been on controller design and analysis for nonlinear <br />
control systems with time delays and uncertainty and their applications <br />
in engineering. One of his projects is joint with the Georgia Tech <br />
Savannah Robotics team, and helped develop marine robotic methods to <br />
help understand the environmental impacts of oil spills. His more than <br />
100 publications include a Springer monograph on constructive Lyapunov <br />
methods. His awards include the First Place Student Best Paper Award at <br />
the 1999 IEEE Conference on Decision and Control, two three-year <br />
NationalScience Foundation Mathematical Sciences Priority Area <br />
grants, and 9 Best Presentation awards in American Control Conference <br />
sessions. He is an associate editor for IEEE Transactions on Automatic <br />
Control and for SIAM Journal on Control and Optimization.

We present a new tracking controller for neuromuscular electrical stimulation, which is an emerging technology that can artificially stimulateskeletal muscles to help restore functionality to human limbs. We use a musculoskeletal model for a human using a leg extension machine. The novelty of our work is that we prove that the tracking error globally asymptotically and locally exponentially converges to zero for any positive input delay andfor a general class of possible reference trajectories that must be tracked, coupled with our ability to satisfy a state constraint. The state constraint is that for a seated subject, the human knee cannot be bent more than plus or minus 90 degrees from the straight down position. Also, our controller only requires sampled measurements of the states instead of continuousmeasurements and allows perturbed sampling schedules, which can be important for practical applications where continuous measurement of the states is not possible. Our work is based on a new method for constructing predictor maps for a large class of nonlinear time-varying systems, which is of independent interest. Prediction is a key method for delay compensation that uses dynamic control to compensate for arbitrarily long input delays. Reference: Karafyllis, I., M. Malisoff, M. de Queiroz, M. Krstic, and R. Yang, "Predictor-based tracking for neuromuscular electrical stimulation," International Journal of Robust and Nonlinear Control, to appear. doi: 10.1002/rnc.3211

Spin Bundles

Series
Geometry Topology Student Seminar
Time
Monday, April 20, 2015 - 14:05 for 1 hour (actually 50 minutes)
Location
Skiles 006
Speaker
Shane Scott – Georgia Tech
Spin bundles give the geometric data necessary for the description of fermions in physical theories. Not all manifolds admit appropriate spin structures, and the study of spin-geometry interacts with K-theory. We will discuss spin bundles, their associated spectra, and Atiyah-Bott-Shapiro's K orientation of MSpin--the spectrum classifying spin-cobordism.

What is and how to compute efficiently the Markovian Joint Spectral Radius?

Series
Applied and Computational Mathematics Seminar
Time
Monday, April 20, 2015 - 15:05 for 1 hour (actually 50 minutes)
Location
Skiles 005
Speaker
Dr. Antonio Cicone – L&amp;#039;Aquila, Italy
Given a finite set of matrices F, the Markovian Joint Spectral Radius represents the maximal rate of growth of products of matrices in F when the matrices are multiplied each other following some Markovian law. This quantity is important, for instance, in the study of the so called zero stability of variable stepsize BDF methods for the numerical integration of ordinary differential equations. Recently Kozyakin, based on a work by Dai, showed that, given a set F of N matrices of dimension d and a graph G, which represents the admissible products, it is possibile to compute the Markovian Joint Spectral Radius of the couple (F,G) as the classical Joint Spectral Radius of a new set of N matrices of dimension N*d, which are produced as a particular lifting of the matrices in F. Clearly by this approach the exact evaluation or the simple approximation of the Markovian Joint Spectral Radius becomes a challenge even for reasonably small values of N and d. In this talk we briefly review the theory of the Joint Spectral Radius, and we introduce the Markovian Joint Spectral Radius. Furthermore we address the question whether it is possible to reduce the exact calculation computational complexity of the Markovian Joint Spectral Radius. We show that the problem can be recast as the computation of N polytope norms in dimension d. We conclude the presentation with some numerical examples. This talk is based on a joint work with Nicola Guglielmi from the University of L'Aquila, Italy, and Vladimir Yu. Protasov from the Moscow State University, Russia.

Arithmetic Combinatorics and Character Sums

Series
Combinatorics Seminar
Time
Tuesday, April 21, 2015 - 12:00 for 1 hour (actually 50 minutes)
Location
Skiles 005
Speaker
Brandon Hanson – University of Toronto
Characters are a central tool for understanding arithmetic. For example, the most familiar character is the Legendre symbol, which detects the quadratic residues. In this talk I will present a few ideas as to how character sums may be useful in arithmetic combinatorics and vice versa. Traditionally, estimates for character sums have been used to count arithmetic configurations of interest to the combinatorialist. More recently, arithmetic combinatorics has proved useful in the estimation of certain character sums. Many character sums are easy to estimate provided they have enough summands - this is sometimes called the square-root barrier and is a natural obstruction. I will show how the sum-product phenomenon can be leveraged to push past this barrier.

Stability and long time dynamics of Hamiltonian PDEs

Series
Research Horizons Seminar
Time
Wednesday, April 22, 2015 - 12:05 for 1 hour (actually 50 minutes)
Location
Skiles 006
Speaker
Zhiwu Lin – Georgia Tech
Many physical models without dissipation can be written in a Hamiltonian form. For example, nonlinear Schrodinger equation for superfluids and Bose-Einstein condensate, water waves and their model equations (KDV, BBM, KP, Boussinesq systems...), Euler equations for inviscid fluids, ideal MHD for plasmas in fusion devices, Vlasov models for collisionless plasmas and galaxies, Yang-Mills equation in gauge field theory etc. There exist coherent structures (solitons, steady states, traveling waves, standing waves etc) which play an important role on the long time dynamics of these models. First, I will describe a general framework to study linear stability (instability) when the energy functional is bounded from below. For the models with indefinite energy functional (such as full water waves), approaches to find instability criteria will be mentioned. The implication of linear instability (stability) for nonlinear dynamics will be also briefly discussed.

Matrix weighted function spaces and the Carleson Embedding Theorem

Series
Analysis Seminar
Time
Wednesday, April 22, 2015 - 14:00 for 1 hour (actually 50 minutes)
Location
Skiles 005
Speaker
Amalia Culiuc – Brown University
We will prove a recent version of the weighted Carleson Embedding Theorem for vector-valued function spaces with matrix weights. Time permitting, we will discuss the applications of this theorem to estimates on well-localized operators. This result relies heavily on the work of Kelly Bickel and Brett Wick and is joint with Sergei Treil.

The classifying space of the stable mapping class group is an infinite loop space

Series
Geometry Topology Student Seminar
Time
Wednesday, April 22, 2015 - 14:05 for 1 hour (actually 50 minutes)
Location
Skiles 006
Speaker
Jonathan Paprocki – Georgia Tech

For Prof. Wickelgren's Stable Homotopy Theory class

Harer's homology stability theorem states that the homology of the mapping class group for oriented surfaces of genus g with n boundary components is independent of g for low degrees, increasing with g. Therefore the (co)homology of the mapping class group stabilizes. In this talk, we present Tillmann's result that the classifying space of the stable mapping class group is homotopic to an infinite loop space. The string category of a space X roughly consists of objects given by disjoint unions of loops in X, with morphisms given by cobordisms between collections of loops. Sending X to the loop space of the realization of the nerve of the string category of X is a homotopy functor from Top to the category of infinite loop spaces. Applying this construction for X=pt obtains the result. This result is an important component of the proof of Mumford's conjecture stating that the rational cohomology of the stable mapping class group is generated by certain tautological classes.

Absence of shocks in Euler-Maxwell system for two-fluid models in plasma

Series
School of Mathematics Colloquium
Time
Thursday, April 23, 2015 - 11:01 for 1 hour (actually 50 minutes)
Location
Skiles 005
Speaker
Yan Guo – Brown University
As the cornerstone of two-fluid models in plasma theory, Euler-Maxwell (Euler-Poisson) system describes the dynamics of compressible ion and electron fluids interacting with their own self-consistent electromagnetic field. It is also the origin of many famous dispersive PDE such as KdV, NLS, Zakharov, ...etc. The electromagnetic interaction produces plasma frequencies which enhance the dispersive effect, so that smooth initial data with small amplitude will persist forever for the Euler-Maxwell system, suppressing any possible shock formation. This is in stark contrast to the classical Euler system for a compressible neutral fluid, for which shock waves will develop even for small smooth initial data. A survey along this direction for various two-fluid models will be given during this talk.

Heavily burdened deformable bodies: Asymptotics and attractors

Series
CDSNS Colloquium
Time
Thursday, April 23, 2015 - 13:30 for 1 hour (actually 50 minutes)
Location
Skiles 005
Speaker
Stuart S. Antman – University of Maryland

This is the 3rd Jorge Ize Memorial lecture, at IIMAS, Mexico City. We will join a videoconference of the event.

The equations governing the motion of a system consisting of a deformable body attached to a rigid body are the partial differential equations for the deformable body subject to boundary conditions that are the equations of motion for the rigid body. (For the ostensibly elementary problem of a mass point on a light spring, the dynamics of the spring itself is typically ignored: The spring is reckoned merely as a feedback device to transmit force to the mass point.) If the inertia of a deformable body is small with respect to that of a rigid body to which it is attached, then the governing equations admit an asymptotic expansion in a small inertia parameter. Even for the simple problem of the spring considered as a continuum, the asymptotics is tricky: The leading term of the regular expansion is not the usual equation for a mass on a massless spring, but is a curious evolution equation with memory. Under very special physical circumstances, an elementary but not obvious process shows that the solution of this equation has an attractor governed by a second-order ordinary differential equation. (This survey of background material is based upon joint work with Michael Wiegner, J. Patrick Wilber, and Shui Cheung Yip.) This lecture describes the rigorous asymptotics and the dimensions of attractors for the motion in space of light nonlinearly viscoelastic rods carrying heavy rigid bodies and subjected to interesting loads. (The motion of the rod is governed by an 18th-order quasilinear parabolic-hyperbolic system.) The justification of the full expansion and the determination of the dimensions of attractors, which gives meaning to these curious equations, employ some simple techniques, which are briefly described (together with some complicated techniques, which are not described). These results come from work with Suleyman Ulusoy.

Semicircular limits and transfer principles on the free Poisson chaos

Series
Stochastics Seminar
Time
Thursday, April 23, 2015 - 15:05 for 1 hour (actually 50 minutes)
Location
Skiles 006
Speaker
Solesne Bourguin – Carnegie Mellon University
Motivated by understanding the intricate combinatorial structure of the Poisson chaos in order to see whether or not a fourth moment type theorem may hold on that space, we define, construct and study the free Poisson chaos, a non-commutative counterpart of the classical Poisson space, on which we prove the free counter part of the fourth moment theorem. This is joint work with Giovanni Peccati.

Minimization Problems Involving Policonvex Integrands

Series
Dissertation Defense
Time
Friday, April 24, 2015 - 13:30 for 1 hour (actually 50 minutes)
Location
Skiles 249
Speaker
Romeo Awi – School of Mathematics, Georgia Tech
This thesis is mainly concerned with problems in the areas of the Calculus of Variations and Partial Differential Equations (PDEs). The properties of the functional to minimize play an important role in the existence of minimizers of integral problems. We will introduce the important concepts of quasiconvexity and polyconvexity. Inspired by finite element methods from Numerical Analysis, we introduce a perturbed problem which has some surprising uniqueness properties.

Orderings of the Braid Groups

Series
Geometry Topology Student Seminar
Time
Friday, April 24, 2015 - 14:00 for 1 hour (actually 50 minutes)
Location
Skiles 006
Speaker
Andrew McCullough – Georgia Institute of Technology
We will give a description of the Dehornoy order on the full braid group Bn, and if time permits mention a few facts about a bi-ordering associated to the pure braid group Pn.