Joe Kileel : Inverse Problems, Imaging, and Tensor Decomposition
- Applied Math and Analysis ( 374 Views )Perspectives from computational algebra and numerical optimization are brought to bear on a scientific application and a data science application. In the first part of the talk, I will discuss cryo-electron microscopy (cryo-EM), an imaging technique to determine the 3-D shape of macromolecules from many noisy 2-D projections, recognized by the 2017 Chemistry Nobel Prize. Mathematically, cryo-EM presents a particularly rich inverse problem, with unknown orientations, extreme noise, big data and conformational heterogeneity. In particular, this motivates a general framework for statistical estimation under compact group actions, connecting information theory and group invariant theory. In the second part of the talk, I will discuss tensor rank decomposition, a higher-order variant of PCA broadly applicable in data science. A fast algorithm is introduced and analyzed, combining ideas of Sylvester and the power method.
Ben Krause : Dimension independent bounds for the spherical maximal function on products of finite groups
- Applied Math and Analysis ( 272 Views )The classical Hardy-Littlewood maximal operators (averaging over families of Euclidean balls and cubes) are known to satisfy L^p bounds that are independent of dimension. This talk will extend these results to spherical maximal functions acting on Cartesian products of cyclic groups equipped with the Hamming metric.
Wuchen Li : Mean-Field Games for Scalable Computation and Diverse Applications
- Applied Math and Analysis ( 235 Views )Mean field games (MFGs) study strategic decision-making in large populations where individual players interact via specific mean-field quantities. They have recently gained enormous popularity as powerful research tools with vast applications. For example, the Nash equilibrium of MFGs forms a pair of PDEs, which connects and extends variational optimal transport problems. This talk will present recent progress in this direction, focusing on computational MFG and engineering applications in robotics path planning, pandemics control, and Bayesian/AI sampling algorithms. This is based on joint work with the MURI team led by Stanley Osher (UCLA).
Linfeng Zhang : Neural network models and concurrent learning schemes for multi-scale molecular modelling
- Applied Math and Analysis ( 233 Views )We will discuss two issues in the context of applying deep learning methods to multi-scale molecular modelling: 1) how to construct symmetry-preserving neural network models for scalar and tensorial quantities; 2) how to efficiently explore the relevant configuration space and generate a minimal set of training data. We show that by properly addressing these two issues, one can systematically develop deep learning-based models for electronic properties and interatomic and coarse-grained potentials, which greatly boost the ability of ab-initio molecular dynamics; one can also develop enhanced sampling techniques that are capable of using tens or even hundreds of collective variables to drive phase transition and accelerate structure search
Cynthia Vinzant : Matroids, log-concavity, and expanders
- Applied Math and Analysis ( 214 Views )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.
Harbir Lamba : Efficient Numerical Schemes for Stochastic Differential Equations
- Applied Math and Analysis ( 207 Views )Mathematical models incorporating random forcing, and the resulting stochastic differential equations (SDEs), are becoming increasingly important. However general principles and techniques for their robust and efficient numerical approximation are a very long way behind the corresponding ODE theory. In both cases the idea of adaptivity, that is using varying timesteps to improve convergence, is a key element. In this talk I will describe an approach based upon (low-order) Milstein-type methods using multiple error-controls. The idea is to monitor various terms in the truncation error, both deterministic and stochastic, and then to construct an algorithm that is robust enough to work efficiently in the presence of deterministic/diffusion-dominated regimes and differing accuracy requirements. Such an approach also has other benefits, such as improved numerical stability properties. No knowledge of stochastic calculus will be assumed.
Mark Stern : Monotonicity and Betti Number Bounds
- Applied Math and Analysis ( 200 Views )In this talk I will discuss the application of techniques initially developed to study singularities of Yang Mill's fields and harmonic maps to obtain Betti number bounds, especially for negatively curved manifolds.
Suncica Canic : Mathematical modeling for cardiovascular stenting
- Applied Math and Analysis ( 193 Views )The speaker will talk about several projects that are taking place in an interdisciplinary endeavor between the researchers in the Mathematics Department at the University of Houston, the Texas Heart Institute, Baylor College of Medicine, the Mathematics Department at the University of Zagreb, and the Mathematics Department of the University of Lyon 1. The projects are related to non-surgical treatment of aortic abdominal aneurysm and coronary artery disease using endovascular prostheses called stents and stent-grafts. Through a collaboration between mathematicians, cardiovascular specialists and engineers we have developed a novel mathematical model to study blood flow in compliant (viscoelastic) arteries treated with stents and stent-grafts. The mathematical tools used in the derivation of the effective, reduced equations utilize asymptotic analysis and homogenization methods for porous media flows. The existence of a unique solution to the resulting fluid-structure interaction model is obtained by using novel techniques to study systems of mixed, hyperbolic-parabolic type. A numerical method, based on the finite element approach, was developed, and numerical solutions were compared with the experimental measurements. Experimental measurements based on ultrasound and Doppler methods were performed at the Cardiovascular Research Laboratory located at the Texas Heart Institute. Excellent agreement between the experiment and the numerical solution was obtained. This year marks a giant step forward in the development of medical devices and in the development of the partnership between mathematics and medicine: the FDA (the United States Food and Drug Administration) is getting ready to, for the first time, require mathematical modeling and numerical simulations to be used in the development of peripheral vascular devices. The speaker acknowledges research support from the NSF, NIH, and Texas Higher Education Board, and donations from Medtronic Inc. and Kent Elastomer Inc.
Xiaochun Tian : Interface problems with nonlocal diffusion
- Applied Math and Analysis ( 184 Views )Nonlocal continuum models are in general integro-differential equations in place of the conventional partial differential equations. While nonlocal models show their effectiveness in modeling a number of anomalous and singular processes in physics and material sciences, they also come with increased difficulty in numerical analysis with nonlocality involved. In the first part of this talk, I will discuss nonlocal-to-local coupling techniques so as to improve the computational efficiency of using nonlocal models. This also motivates the development of new mathematical results -- for instance, a new trace theorem that extends the classical results. In the second part of this talk, I will describe our recent effort in computing a nonlocal interface problem arising from segregation of two species with high competition. One species moves according to the classical diffusion and the other adopts a nonlocal strategy. A novel iterative scheme will be presented that constructs a sequence of supersolutions shown to be convergent to the viscosity solution of the interface problem.
Dan Hu : Optimization, Adaptation, and Initiation of Biological Transport Networks
- Applied Math and Analysis ( 181 Views )Blood vessel systems and leaf venations are typical biological transport networks. The energy consumption for such a system to perform its biological functions is determined by the network structure. In the first part of this talk, I will discuss the optimized structure of vessel networks, and show how the blood vessel system adapts itself to an optimized structure. Mathematical models are used to predict pruning vessels in the experiments of zebra fish. In the second part, I will discuss our recent modeling work on the initiation process of transport networks. Simulation results are used to illustrate how a tree-like structure is obtained from a continuum adaptation equation system, and how loops can exist in our model. Possible further application of this model will also be discussed.
Thomas Wanner : Complex transient patterns and their homology
- Applied Math and Analysis ( 174 Views )Many partial differential equation models arising in applications generate complex patterns evolving with time which are hard to quantify due to the lack of any underlying regular structure. Such models often include some element of stochasticity which leads to variations in the detail structure of the patterns and forces one to concentrate on rougher common geometric features. From a mathematical point of view, algebraic topology suggests itself as a natural quantification tool. In this talk I will present some recent results for both the deterministic and the stochastic Cahn-Hilliard equation, both of which describe phase separation in alloys. In this situation one is interested in the geometry of time-varying sub-level sets of a function. I will present theoretical results on the pattern formation and dynamics, show how computational homology can be used to quantify the geometry of the patterns, and will assess the accuracy of the homology computations using probabilistic methods.
Lucy Zhang : Modeling and Simulations of Fluid and Deformable-Structure Interactions in Bio-Mechanical Systems
- Applied Math and Analysis ( 164 Views )Fluid-structure interactions exist in many aspects of our daily lives. Some biomedical engineering examples are blood flowing through a blood vessel and blood pumping in the heart. Fluid interacting with moving or deformable structures poses more numerical challenges for its complexity in dealing with transient and simultaneous interactions between the fluid and solid domains. To obtain stable, effective, and accurate solutions is not trivial. Traditional methods that are available in commercial software often generate numerical instabilities.
In this talk, a novel numerical solution technique, Immersed Finite Element Method (IFEM), is introduced for solving complex fluid-structure interaction problems in various engineering fields. The fluid and solid domains are fully coupled, thus yield accurate and stable solutions. The variables in the two domains are interpolated via a delta function that enables the use of non-uniform grids in the fluid domain, which allows the use of arbitrary geometry shapes and boundary conditions. This method extends the capabilities and flexibilities in solving various biomedical, traditional mechanical, and aerospace engineering problems with detailed and realistic mechanics analysis. Verification problems will be shown to validate the accuracy and effectiveness of this numerical approach. Several biomechanical problems will be presented: 1) blood flow in the left atrium and left atrial appendage which is the main source of blood in patients with atrial fibrillation. The function of the appendage is determined through fluid-structure interaction analysis, 2) examine blood cell and cell interactions under different flow shear rates. The formation of the cell aggregates can be predicted when given a physiologic shear rate.
Alun Lloyd : Drug Resistance in Acute Viral Infections
- Applied Math and Analysis ( 163 Views )A wide range of viral infections, such as HIV or influenza, can now be treated using antiviral drugs. Since viruses can evolve rapidly, the emergence and spread of drug resistant virus strains is a major concern. We shall describe within and between host models that can help indicate settings in which resistance is more or less likely to be problematic. In particular, we shall discuss the potential for the emergence of resistance in the context of human rhinovirus infection, an acute infection that is responsible for a large fraction of 'common cold' cases.
Seung-Yeal Ha : Uniform L^p-stability problem for the Boltzmann equation
- Applied Math and Analysis ( 157 Views )The Boltzmann equation governs the dynamics of a dilute gas. In this talk, I will address the L^p-stability problem of the Boltzmann equation near vacuum and a global Maxwellian. In a close-to-vacuum regime, I will explain the nonlinear functional approach motivated by Glimm's theory in hyperbolic conservation laws. This functional approach yields the uniform L^1-stability estimate. In contrast, in a close-to-global maxwellian regime, I will present the L^2-stability theory which establishes the uniform L^2-stability of several classical solutions.
Anna Gilbert : Fast Algorithms for Sparse Analysis
- Applied Math and Analysis ( 153 Views )I will present several extremely fast algorithms for recovering a compressible signal from a few linear measurements. These examples span a variety of orthonormal bases, including one large redundant dictionary. As part of the presentation of these algorithms, I will give an explanation of the crucial role of group testing in each algorithm.
Joceline Lega : Molecular dynamics simulations of live particles
- Applied Math and Analysis ( 146 Views )I will show results of molecular dynamics simulations of hard disks with non-classical collision rules. In particular, I will focus on how local interactions at the microscopic level between these particles can lead to large-scale coherent dynamics at the mesoscopic level.
This work is inspired by collective behaviors, in the form of vortices and jets, recently observed in bacterial colonies. I will start with a brief summary of basic experimental facts and review a hydrodynamic model developed in collaboration with Thierry Passot (Observatoire de la Cote d'Azur, Nice, France). I will then motivate the need for a complementary approach that includes microscopic considerations, and describe the principal computational issues that arise in molecular dynamics simulations, as well as the standard ways to address them. Finally, I will discuss how classical collision rules that conserve energy and momentum may be modified to describe ensembles of live particles, and will show results of numerical simulations in which such rules have been implemented. Randomness, included in the form of random reorientation of the direction of motion of the particles, plays an important role in the type of collective behaviors that are observed.
Yat Tin Chow : An algorithm for overcoming the curse of dimensionality in Hamilton-Jacobi equations
- Applied Math and Analysis ( 144 Views )In this talk we discuss an algorithm to overcome the curse of dimensionality, in possibly non-convex/time/state-dependent Hamilton-Jacobi partial differential equations. They may arise from optimal control and differential game problems, and are generally difficult to solve numerically in high dimensions.
A major contribution of our works is to consider an optimization problem over a single vector of the same dimension as the dimension of the HJ PDE instead. To do so, we consider the new approach using Hopf-type formulas. The sub-problems are now independent and they can be implemented in an embarrassingly parallel fashion. That is ideal for perfect scaling in parallel computing.
The algorithm is proposed to overcome the curse of dimensionality when solving high dimensional HJ PDE. Our method is expected to have application in control theory, differential game problems, and elsewhere. This approach can be extended to the computational of a Hamilton-Jacobi equation in the Wasserstein space, and is expected to have applications in mean field control problems, optimal transport and mean field games.
Andrew J. Bernoff : Domain Relaxation in Langmuir Films
- Applied Math and Analysis ( 143 Views )We report on an experimental and theoretical study of a molecularly thin polymer Langmuir layers on the surface of a Stokesian subfluid. Langmuir layers can have multiple phases (fluid, gas, liquid crystal, isotropic or anisotropic solid); at phase boundaries a line tension force is observed. By comparing theory and experiment we can estimate this line tension. We first consider two co-existing fluid phases; specifically a localized phase embedded in an infinite secondary phase. When the localized phase is stretched (by a transient stagnation flow), it takes the form of a bola consisting of two roughly circular reservoirs connected by a thin tether. This shape relaxes to the minimum energy configuration of a circular domain. The tether is never observed to rupture, even when it is more than a hundred times as long as it is thin. We model these experiments by taking previous descriptions of the full hydrodynamics (primarily those of Stone & McConnell and Lubensky & Goldstein), identifying the dominant effects via dimensional analysis, and reducing the system to a more tractable form. The result is a free boundary problem where motion is driven by the line tension of the domain and damped by the viscosity of the subfluid. The problem has a boundary integral formulation which allows us to numerically simulate the tether relaxation; comparison with the experiments allows us to estimate the line tension in the system. We also report on incorporating dipolar repulsion into the force balance and simulating the formation of "labyrinth" patterns.
Margaret Beck : Nonlinear stability of time-periodic viscous shocks
- Applied Math and Analysis ( 141 Views )In order to understand the nonlinear stability of many types of time-periodic traveling waves on unbounded domains, one must overcome two main difficulties: the presence of zero eigenvalues that are embedded in the continuous spectrum and the time-periodicity of the associated linear operator. I will outline these issues and show how they can be overcome in the context of time-periodic Lax shocks in systems of viscous conservation laws. The method involves the development of a contour integral representation of the linear evolution, similar to that of a strongly continuous semigroup, and detailed pointwise estimates on the resultant Greens function, which are sufficient for proving nonlinear stability under the necessary assumption of spectral stability.
Haizhao Yang : Approximation theory and regularization for deep learning
- Applied Math and Analysis ( 138 Views )This talk introduces new approximation theories for deep learning in parallel computing and high dimensional problems. We will explain the power of function composition in deep neural networks and characterize the approximation capacity of shallow and deep neural networks for various functions on a high-dimensional compact domain. Combining parallel computing, our analysis leads to an important point of view, which was not paid attention to in the literature of approximation theory, for choosing network architectures, especially for large-scale deep learning training in parallel computing: deep is good but too deep might be less attractive. Our analysis also inspires a new regularization method that achieves state-of-the-art performance in most kinds of network architectures.
Jacob Bedrossian : Mixing and enhanced dissipation in the inviscid limit of the Navier-Stokes equations near the 2D Couette flow
- Applied Math and Analysis ( 137 Views )In this work we study the long time, inviscid limit of the 2D Navier-Stokes equations near the periodic Couette flow, and in particular, we confirm at the nonlinear level the qualitative behavior predicted by Kelvin's 1887 linear analysis. At high Reynolds number Re, we prove that the solution behaves qualitatively like 2D Euler for times $t << Re^(1/3)$, and in particular exhibits "inviscid damping" (vorticity mixes and weakly approaches a shear flow). For times $t >> Re^(1/3)$, which is sooner than the natural dissipative time scale $O(Re)$, the viscosity becomes dominant and the streamwise dependence of the vorticity is rapidly eliminated by a mixing-enhanced dissipation effect. Afterwards, the remaining shear flow decays on very long time scales $t >> Re$ back to the Couette flow. The class of initial data we study is the sum of a sufficiently smooth function and a small (with respect to $Re^(-1)$) $L^2$ function. Joint with Nader Masmoudi and Vlad Vicol.
Elisabetta Matsumoto : Biomimetic 4D Printing
- Applied Math and Analysis ( 134 Views )The nascent technique of 4D printing has the potential to revolutionize manufacturing in fields ranging from organs-on-a-chip to architecture to soft robotics. By expanding the pallet of 3D printable materials to include the use stimuli responsive inks, 4D printing promises precise control over patterned shape transformations. With the goal of creating a new manufacturing technique, we have recently introduced a biomimetic printing platform that enables the direct control of local anisotropy into both the elastic moduli and the swelling response of the ink.
We have drawn inspiration from nastic plant movements to design a phytomimetic ink and printing process that enables patterned dynamic shape change upon exposure to water, and possibly other external stimuli. Our novel fiber-reinforced hydrogel ink enables local control over anisotropies not only in the elastic moduli, but more importantly in the swelling. Upon hydration, the hydrogel changes shape accord- ing the arbitrarily complex microstructure imparted during the printing process.
To use this process as a design tool, we must solve the inverse problem of prescribing the pattern of anisotropies required to generate a given curved target structure. We show how to do this by constructing a theory of anisotropic plates and shells that can respond to local metric changes induced by anisotropic swelling. A series of experiments corroborate our model by producing a range of target shapes inspired by the morphological diversity of flower petals.
Gitta Kutyniok : Frames and Sparsity
- Applied Math and Analysis ( 131 Views )Frames are nowadays a standard methodology in applied mathematics, computer science, and engineering when redundant, yet stable expansions are required. Sparsity is a new paradigm in signal processing, which allows for significantly reduced measurements yet still highly accurate reconstruction. In this talk, we will focus on the main two links between these exciting, rapidly growing areas. Firstly, the redundancy of a frame promotes sparse expansions of signals, thereby strongly supporting sparse recovery methods such as Compressed Sensing. After providing an overview of sparsity methodologies, we will discuss new results on sparse recovery for structured signals, in particular, which are a composition of `distinct' components. Secondly, in very high dimensions, frame decompositions might be intractable in applications with limited computing budget. This problem can be addressed by requiring sparsity of the frame itself, and we will show how to derive optimally sparse frames. Finally, we will discuss how some of the presented results generalize to the novel notion of fusion frames, which was introduced a few years ago for modeling distributed processing applications.
Fei Lu : Data-based stochastic model reduction for chaotic systems
- Applied Math and Analysis ( 131 Views )The need to deduce reduced computational models from discrete observations of complex systems arises in many climate and engineering applications. The challenges come mainly from memory effects due to the unresolved scales and nonlinear interactions between resolved and unresolved scales, and from the difficulty in inference from discrete data.
We address these challenges by introducing a discrete-time stochastic parametrization framework, through which we construct discrete-time stochastic models that can take memory into account. We show by examples that the resulting stochastic reduced models that can capture the long-time statistics and can make accurate short-term predictions. The examples include the Lorenz 96 system (which is a simplified model of the atmosphere) and the Kuramoto-Sivashinsky equation of spatiotemporally chaotic dynamics.
Nancy Rodriguez : From crime waves to segregation: what we can learn from basic PDE models
- Applied Math and Analysis ( 130 Views )The use of PDE models to describe complex systems in the social sciences, such as socio-economic segregation and crime, has been popularized during the past decade. In this talk I will introduce some PDE models which can be seen as basic models for a variety of social phenomena. I will then discuss how these models can be used to explore and gain understanding of the real-world systems they describe. For example, we learn that a populations innate views toward criminal activity can play a significant role in the prevention of crime-wave propagation.
Gadi Fibich : Aggregate Diffusion Dynamics in Agent-Based Models with a Spatial Structure
- Applied Math and Analysis ( 126 Views )The diffusion or adoption of new products (such as fax machines, skype, facebook, Ipad, etc.) is one of the key problems in Marketing research. In recent years, this problem was often studied numerically, using agent-based models (ABMs). In this talk I will focus on analysis of the aggregate diffusion dynamics in ABMs with a spatial structure. In one-dimensional ABMs, the aggregate diffusion dynamics can be explicitly calculated, without using the mean-field approximation. In multidimensional ABMs, we introduce a clusters-dynamics approach, and use it to derive an analytic approximation of the aggregate diffusion dynamics. The clusters-dynamics approximation shows that the aggregate diffusion dynamics does not depend on the average distance between individuals, but rather on the expansion rate of clusters of adopters. Therefore, the grid dimension has a large effect on the aggregate adoption dynamics, but a small-world structure and heterogeneity among individuals have only a minor effect. Our results suggest that the one-dimensional model and the fully-connected Bass model provide a lower bound and an upper bound, respectively, for the aggregate diffusion dynamics in agent-based models with "any" spatial structure. This is joint work with Ro'i Gibori and Eitan Muller
John Stockie : Porous immersed boundaries
- Applied Math and Analysis ( 126 Views )Porous, deformable membranes are encountered in a wide range of applications including red blood cells, vesicles, porous wave makers, and parachutes. The "immersed boundary method" has already proven to be a versatile and robust approach for simulating the interaction of impermeable, elastic structures with an incompressible fluid flow. We demonstrate how to extend the method to handle porous boundaries by incorporating an explicit porous slip velocity that is determined by Darcy's law. We derive a simple, radially-symmetric exact solution, which is then used to validate numerical simulations of porous membranes in two dimensions.
Lei Li : Some algorithms and analysis for first order interacting particle systems
- Applied Math and Analysis ( 123 Views )We focus on first order interacting particle systems, which can be viewed as overdamped Langevin equations. In the first part, we will look at the so-called random batch methods (RBM) for simulating the interacting particle systems. The algorithms are motivated by the mini-batch idea in machine learning. For some special cases, we show the convergence of RBMs for the first marginal under Wasserstein distance. In the second part, we look at the Coulomb interaction in 3D space. We show that as the number of particles go to infinity, almost surely, the empirical measure converges in law to weak solutions of the limiting nonlinear Fokker-Planck equation. This talk is based on joint works with Shi Jin (Shanghai Jiao Tong), Jian-Guo Liu (Duke University) and Pu Yu (Peking University).
Junping Wang : Mathematics and Computation of Sediment Transport for Open Channels
- Applied Math and Analysis ( 123 Views )The purpose of this presentation is to communicate some mathematical and computational issues in sediment transport for open channels. The main topics are: (1) mathematical simulation for surface and subsurface fluid flow, (2) mathematical modeling of sediment transport in open channels as a 2D problem, and (3) numerical methods for fluid flow and sediment transport.
Michael Siegel : Modeling, analysis, and computations of the influence of surfactant on the breakup of bubbles and drops in a viscous fluid
- Applied Math and Analysis ( 121 Views )We present an overview of experiments, numerical simulations, and mathematical analysis of the breakup of a low viscosity drop in a viscous fluid, and consider the role of surface contaminants, or surfactants, on the dynamics near breakup. As part of our study, we address a significant difficulty in the numerical computation of fluid interfaces with soluble surfactant that occurs in the important limit of very large values of bulk Peclet number Pe. At the high values of Pe in typical fluid-surfactant systems, there is a narrow transition layer near the drop surface or interface in which the surfactant concentration varies rapidly, and its gradient at the interface must be determined accurately to find the dropÂ?s dynamics. Accurately resolving the layer is a challenge for traditional numerical methods. We present recent work that uses the narrowness of the layer to develop fast and accurate `hybridÂ? numerical methods that incorporate a separate analytical reduction of the dynamics within the transition layer into a full numerical solution of the interfacial free boundary problem.