Applied/ACMS: Difference between revisions

From UW-Math Wiki
Jump to navigation Jump to search
 
(53 intermediate revisions by 8 users not shown)
Line 6: Line 6:
*'''Where:''' 901 Van Vleck Hall
*'''Where:''' 901 Van Vleck Hall
*'''Organizers:'''  [https://math.wisc.edu/staff/fabien-maurice/ Maurice Fabien], [https://people.math.wisc.edu/~rycroft/ Chris Rycroft], and [https://www.math.wisc.edu/~spagnolie/ Saverio Spagnolie],  
*'''Organizers:'''  [https://math.wisc.edu/staff/fabien-maurice/ Maurice Fabien], [https://people.math.wisc.edu/~rycroft/ Chris Rycroft], and [https://www.math.wisc.edu/~spagnolie/ Saverio Spagnolie],  
*'''To join the ACMS mailing list:''' Send mail to [mailto:acms+join@g-groups.wisc.edu acms+join@g-groups.wisc.edu].
*'''To join the ACMS mailing list:''' Send mail to [mailto:acms+join@g-groups.wisc.edu acms+subscribe@g-groups.wisc.edu].


<br>   
<br>   


== Spring 2024 ==
== '''Fall 2024''' ==
 
{| class="wikitable"
{| cellpadding="8"
|+
!align="left" | date
!Date
!align="left" | speaker
!Speaker
!align="left" | title
!Title
!align="left" | host(s)
!Host(s)
|-
|-
| Feb 2
|Sep 13*
|[https://people.math.wisc.edu/~chr/ Chris Rycroft] (UW)
|[https://people.math.wisc.edu/~nchen29/ Nan Chen] (UW)
|''The reference map technique for simulating complex materials and multi-body interactions''
|Intro. to Uncertainty Quantification (UQ) (tutorial)
|
|Spagnolie
|-
|-
| Feb 9
|Sep 20
|[https://users.flatironinstitute.org/~sweady/ Scott Weady] (Flatiron Institute)
|[https://knewhall.web.unc.edu Katie Newhall] (UNC Chapel Hill)
|''Entropy methods in active suspensions''
|Energy landscapes, metastability, and transition paths
|Saverio and Laurel
|Rycroft
|-
|-
| Feb 16
|Sep 27
|[http://stokeslet.ucsd.edu/ David Saintillan] (UC San Diego)
|[https://ptg.ukzn.ac.za Indresan Govender] (Mintek / Univ. of KwaZulu-Natal, South Africa)
|''Hydrodynamics of active nematic surfaces''
|Granular flow modeling and visualization using nuclear imaging
|Saverio and Tom
|Rycroft
|-
|-
| Feb 23
|Oct 4*
|[https://cersonsky-lab.github.io/website/ Rose Cersonsky] (UW)
|[https://sse.tulane.edu/math/people/hongfei-chen Hongfei Chen] (Tulane)
|''Data-driven approaches to chemical and materials sciences''
|Investigating Hydrodynamics of Choanoflagellate Colonies: A Reduced Model Approach
|Chris
|Jean-Luc
|-
|-
| Mar 1 [4:00pm Colloquium]
|Oct 11 '''Colloquium in B239 at 4:00pm'''
|[https://users.oden.utexas.edu/~pgm/ Per-Gunnar Martinsson] (UT Austin)
|[https://people.math.ethz.ch/~imikaela/ Mikaela Iacobelli] (ETH/IAS)
|''[[Applied/ACMS/absS24#Per-Gunnar Martinsson (UT-Austin)|Randomized algorithms for linear algebraic computations]]''
|[[# TBA| TBA  ]]
|Li
|Li
|-
|-
| Mar 8
|Oct 18 '''Colloquium in B239 at 4:00pm'''
|[https://www.physics.wisc.edu/directory/jorge-rogerio/ Rogerio Jorge] (UW-Madison)
|[https://galton.uchicago.edu/~guillaumebal/ Guillaume Bal] (U Chicago)
|''The Direct Optimization Framework in Stellarator Design: Transport and Turbulence Optimization''
|[[#Bal|  Speckle formation of laser light in random media: The Gaussian conjecture  ]]
|Li
| Li, Stechmann
|-
|-
| Mar 15
|Oct 23 ('''Wednesday''')
|[https://www.math.purdue.edu/~qi117/personal.html/ Di Qi] (Purdue University)
|[https://www.sandia.gov/ccr/staff/teresa-portone/ Teresa Portone] (Sandia)
|''Statistical Reduced-Order Models and Random Batch Method for Complex Multiscale Systems''
|[[#Portone |  Beyond parametric uncertainty: quantifying model-form uncertainty in model predictions ]]
|Chen
|Stechmann
|-
|-
| Mar 22
|Oct 25
|
|[https://www.cs.cornell.edu/~damle/ Anil Damle] (Cornell)
|
|[[#Damle | Fine-grained Theory and Hybrid Algorithms for Randomized Numerical Linear Algebra ]]
|
|Li
|-
|-
| Mar 29
| Nov 1
|Spring break
|[https://research-hub.nrel.gov/en/persons/michael-sprague Michael Sprague] (NREL)
|
|[[#Sprague| Exascale supercomputing and predictive wind energy simulations  ]]
|
|Spagnolie
|-
| Apr 5
|[https://www.jinlongwu.org/ Jinlong Wu] (UW)
|''Operator learning for data-driven closure models of complex dynamical systems''
|Saverio
|-
|-
| Apr 12
| Nov 8
|[https://zayascaban.labs.wisc.edu/ Gabriel Zayas-Caban] (UW)
|[https://personal.math.ubc.ca/~holmescerfon/ Miranda Holmes-Cerfon] (UBC)
|''Unveiling Bias in Sequential Decision Making: A Causal Inference Approach for Stochastic Service Systems''
|[[#Holmes-Cerfon | The dynamics of particles with ligand-receptor contacts ]]
|Li
|Stechmann
|-
|-
| Apr 19
| Nov 15*
|[https://www.nist.gov/people/anthony-j-kearsley Tony Kearsley] (NIST)
| [http://sun-yue.com Yue Sun] (UW–Madison)
|Control of inward solidification in Cryobiology
|[[#Holmes-Cerfon | Simulating fluid–structure interaction: A tale of two methods ]]
|Fabien
| Rycroft
|-
|-
| Apr 26
| Nov 22
|[https://math.oregonstate.edu/directory/malgorzata-peszynska Malgorzata Peszynska] (Oregon State)
|[https://ibd.uchicago.edu/joinus/yenfellowship/ Ondrej Maxian] (U Chicago)
|Multiphysics across the scales for applications in permafrost
|[[#Maxian | From slender body numerics to patterning the cell cortex: two stories of actin filament dynamics ]]
|Fabien
|Ohm & Spagnolie
|-
|-
| Nov 29*
|''Thanksgiving''
|
|
|
|
|-
| Dec 6
|[https://www.simonsfoundation.org/people/ido-lavi/ Ido Lavi] (Flatiron)
|[[#Lavi| Emergence of large-scale patterns in active matter: from nematic fluids to multicellular systems ]]
|Spagnolie
|}
|}
Dates marked with an asterisk correspond to [https://uwbadgers.com/sports/football/schedule home football games of the UW–Madison Badgers]. On these dates it can be difficult to get a hotel room close to campus at short notice.


== Abstracts ==
== Abstracts ==


==== Chris Rycroft (UW–Madison) ====
===Nan Chen (UW–Madison)===
Title: The reference map technique for simulating complex materials and multi-body interactions


Conventional computational methods often create a dilemma for fluid–structure interaction problems. Typically, solids are simulated using a Lagrangian approach with grid that moves with the material, whereas fluids are simulated using an Eulerian approach with a fixed spatial grid, requiring some type of interfacial coupling between the two different perspectives. Here, a fully Eulerian method for simulating structures immersed in a fluid will be presented [1]. By introducing a reference map variable to model finite-deformation constitutive relations in the structures on the same grid as the fluid, the interfacial coupling problem is highly simplified. The method is particularly well suited for simulating soft, highly-deformable materials and many-body contact problems [2], and several examples in two and three dimensions [3] will be presented.
Title: Taming Uncertainty in a Complex World: The Rise of Uncertainty Quantification -- A Tutorial for Beginners


# K. Kamrin, C. H. Rycroft, and J.-C. Nave, J. Mech. Phys. Solids '''60''', 1952–1969 (2012). [https://doi.org/10.1016/j.jmps.2012.06.003 <nowiki>[DOI link]</nowiki>]
I will provide a tutorial about uncertainty quantification (UQ) for those who have no background but are interested in learning more about this area. The talk will exploit many elementary examples, which are understandable to graduate students and senior undergraduates, to present the ideas of UQ. Topics include characterizing uncertainties using information theory, UQ in linear and nonlinear dynamical systems, UQ via data assimilation, the role of uncertainty in diagnostics, and UQ in advancing efficient modeling. The surprisingly simple examples in each topic explain why and how UQ is essential. Both Matlab and Python codes have been made available for these simple examples.
# C. H. Rycroft ''et al.'', J. Fluid Mech. '''898''', A9 (2020). [https://doi.org/10.1017/jfm.2020.353 <nowiki>[DOI link]</nowiki>]
# Y. L. Lin, N. J. Derr, and C. H. Rycroft, Proc. Natl. Acad. Sci. '''119''', e2105338118 (2022). [https://doi.org/10.1073/pnas.2105338118 <nowiki>[DOI link]</nowiki>]


===Katie Newhall (UNC Chapel Hill)===


==== Scott Weady (Flatiron Institute) ====
Title: Energy landscapes, metastability, and transition paths


Title: Entropy methods in active suspensions
The concept of an energy landscape emerged in the 1930’s as a way to calculate chemical reaction rate constants via Henry Eyring’s transition state theory. Its use has expanded since then, remaining central to quantifying metastability (infrequent jumps between deterministically-stable, energy minimizing, states) that arises in noisy systems when the thermal energy is small relative to the energy barrier separating two states. In this talk, I will present extensions of this theory that I have developed and applied to physical and biological systems. The first is an infinite dimensional system for which I prove metastability is present in the absence of an energy barrier; I extend transition state theory to compute mean transition times. In the second, I derive a model for a spatially-extended magnetic system with spatially-correlated noise designed to sample the Gibbs distribution relative to a defined energy functional. In the third, I show a quasi-potential can be found and used to describe metastable transitions between stable clusters in a bead-spring polymer model of chromosome dynamics with additional stochastic binding pushing the system out of equilibrium.


Collections of active particles, such as suspensions of E. coli or mixtures of microtubules and molecular motors, can exhibit rich non-equilibrium dynamics due to a combination of activity, hydrodynamic interactions, and steric stresses. Continuum kinetic theories, which characterize the set of particle configurations through a continuous distribution function, provide a powerful framework for analyzing such systems and connecting their micro- to macroscopic dynamics. The probabilistic formulation of kinetic theories leads naturally to a characterization in terms of entropy, whether thermodynamic or information-theoretic. In equilibrium systems, entropy strictly increases and always tends towards steady state. This no longer holds in active systems, however entropy still has a convenient mathematical structure. In this talk, we use entropy methods, specifically variational principles involving the relative entropy functional, to study the nonlinear dynamics and stability of active suspensions in the context of the Doi-Saintillan-Shelley kinetic theory. We first present a class of moment closures that arise as constrained minimizers of the relative entropy, and show these closures preserve the kinetic theory's stability and entropic structure while admitting efficient numerical simulation. We then derive variational bounds on relative entropy fluctuations for apolar active suspensions that are closely related to the moment closures. These bounds provide conditions for global stability and yield estimates of time-averaged order parameters. Finally, we discuss applications of these methods to polar active suspensions.
===Indresan Govender (Mintek / Univ. of KwaZulu Natal, South Africa)===


Title: Granular flow modeling and visualization using nuclear imaging


==== David Saintillan (UC San Diego) ====
Despite its ubiquity, a complete theory to describe the underlying rheology of granular flows remains elusive. Central to this problem is the lack of detailed, in-situ measurements of the granular flow field. To this end, we present two non-invasive imaging techniques currently employed to measure the flow of individual grains within granular flow systems that span simple mono-sized flows of plastic beads to complex industrial mixture flows of rocks and slurry. The first technique employs diagnostic X-rays operated in biplanar mode to triangulate the motion of low-density granules in simplified flow systems to within a 3D spatial accuracy of 0.15 mm at tracking frequencies up to 100 Hz. The second—arguably the workhorse of our research operation—is the nuclear imaging technique of Positron Emission Particle Tracking (PEPT) which triangulates the back-to-back gamma rays emanating from radiolabeled particles to within a millimeter in 3D space at a millisecond timing resolution. PEPT can track the motion of any particle with a diameter greater than ∼20 microns. Both techniques are well suited to studying the flow of granular materials after the data is cast into volume and time averages consistent with the continuum framework. In this talk I will explore the many interesting analysis techniques employed to mapping out the complex flow regimes found in typical granular systems, and the insights they offer towards better understanding their rheological character. Examples explored will include rotating drum flows (wet and dry), shear cells and their industrial counterpart the IsaMill<sup>TM</sup>, hydrocyclone separator flows, and the motivation for tracking of multiple particles. The validation offered to numerical schemes like the Discrete Element Method will also be explored wherein we highlight the complimentary role that measurement and simulation play in unravelling the secrets of granular flows. Finally, and deviating somewhat from the imaging world, I will present our efforts towards utilizing granular flow modeling in real-time control of complex industrial flows encountered in mineral processing.


Title: Hydrodynamics of active nematic surfaces
===Hongfei Chen (Tulane)===


The dynamics of biological surfaces often involves the coupling of internal active processes with in-plane orientational order and hydrodynamic flows. Such active surfaces play a key role in various biological processes, from cytokinesis to tissue morphogenesis. In this talk, I will discuss two approaches for the modeling and simulation of active nematic surfaces. In a first model, we analyze the spontaneous dynamics of a freely-suspended viscous drop with surface nematic activity and its coupling with bulk fluid mechanics. Using a spectral boundary integral solver for Stokes flow coupled with a hydrodynamic evolution equation for the nematic tensor, numerical simulations reveal a complex interplay between the flow inside and outside the drop, the surface transport of the nematic field and surface deformations, giving rise to a sequence of self-organized behaviors and symmetry-breaking phenomena of increasing complexity, consistent with experimental observations. In the second part of the talk, I will present a novel computational approach for the simulation of active nematic fluids confined to Riemannian manifolds. The fluid velocity and nematic order parameter are represented as sections of the complex line bundle of a two-manifold. Using a geometric approach based on the Levi-Civita connection, we introduce a coordinate-free discretization method that preserves the continuous local-to-global theorems in differential geometry. Furthermore, we establish a nematic Laplacian on complex functions that can accommodate fractional topological charges through the covariant derivative on the complex nematic representation. Advection of the nematic field is formulated based on the Lie derivative, resulting in a stable geometric semi-Lagrangian discretization scheme for transport by the flow. The proposed surface-based method offers an efficient and stable means to investigate the influence of local curvature and topology on the hydrodynamics of active nematic systems, and we illustrate its capabilities by simulating active flows on a range of surfaces of increasing complexity.
Title: Investigating Hydrodynamics of Choanoflagellate Colonies: A Reduced Model Approach


Abstract: Choanoflagellates, eukaryotes with a distinctive cellular structure consisting of a cell body, a flagellum, and a collar of microvilli, exhibit fascinating biological behavior. While many species exist as single cells, some form colonies, with the species ''C. Flexa'' standing out for its ability to dynamically transition its flagella between positions inside and outside the colony.


Modeling the hydrodynamics of these colonies ideally requires detailed representations of each cell’s flagellum, microvilli, and body. However, the computational cost of simulating colonies with hundreds of cells makes this approach very expensive. To address this, we propose a reduced modeling framework that simplifies each cell to a force dipole while retaining key hydrodynamic features.


==== Rose Cersonsky (UW–Madison) ====
Our force dipole model is calibrated against detailed computational simulations that account for the complete cellular structure. We show that this reduced model closely matches experimental data for non-deforming, free-swimming colonies. We further investigate how colony swimming and feeding performance depend on the flagellar position relative the colony, cell density, and overall colony shape. Finally, we explore the impact of the wall for flagella-in colonies, which are frequently observed in laboratory settings.


Title: Data-driven approaches to chemical and materials sciences: the importance of data selection, representation, and interpretability
<div id="Bal">
===Guillaume Bal (Chicago)===
Title: Speckle formation of laser light in random media: The Gaussian conjecture


Like many other fields, there has been a recent and overwhelming wave of machine learning and artificial intelligence methods being employed in the chemical sciences. While these methods have the undoubted ability to drive innovation and capabilities, their application to chemical sciences requires a nuanced understanding of molecular representations and structure-property relationships.
A widely accepted conjecture in the physical literature states that classical wave-fields propagating in random media over large distances eventually follow a complex circular Gaussian distribution. In this limit, the wave intensity becomes exponentially distributed, which corroborates the speckle patterns of, e.g., laser light observed in experiments. This talk reports on recent results settling the conjecture in the weak-coupling, paraxial regime of wave propagation. The limiting macroscopic Gaussian wave-field is fully characterized by a correlation function that satisfies an unusual diffusion equation.


In this talk, I will discuss the role of molecular featurization – how we transform atoms and molecules into mathematical signals appropriate for machine-learning thermodynamic quantities – and unsupervised analyses that allow us to easily understand and assess these so-called “featurizations” in the context of complex machine learning tasks. In doing so, I will demonstrate how linear methods – that constitute the simplest, most robust, and most transparent approaches to automatically processing large amounts of data – can be leveraged to understand molecular crystallization and aid in pharmaceutical engineering.
The paraxial model of wave propagation is an approximation of the Helmholtz model where backscattering has been neglected. It is mathematically simpler to analyze but quite accurate practically for wave-fields that maintain a beam-like structure as in the application of laser light propagating in turbulent atmospheres.


All methods discussed are available through the open-source [https://scikit-matter.readthedocs.io scikit-matter] software, an official scikit-learn companion that implement methods born out of the materials and chemistry communities.
The derivation of the limiting model is first obtained in the Itô-Schrödinger regime, where the random medium is replaced by its white noise limit. The resulting stochastic PDE has the main advantage that finite dimensional statistical moments of the wave-field satisfy closed form equations. The proof of the derivation of the macroscopic model is based on showing that these moment solutions are asymptotically those of the Gaussian limit, on obtaining a stochastic continuity (and tightness) result, and on establishing that moments in the paraxial and the Itô-Schrödinger regimes are asymptotically close.


This is joint work with Anjali Nair.


==== Rogerio Jorge (UW-Madison) ====
<div id="Portone">
===Teresa Portone (Sandia)===
Title: Beyond parametric uncertainty: quantifying model-form uncertainty in model predictions


Title: The Direct Optimization Framework in Stellarator Design: Transport and Turbulence Optimization
Uncertainty quantification (UQ) is the science of characterizing, quantifying, and reducing
uncertainties in mathematical models. It is critical for informing decisions, because it provides a measure
of confidence in model predictions, given the uncertainties present in the model. While approaches to
characterize uncertainties in model parameters, boundary and initial conditions are well established, it is
less clear how to address uncertainties arising when the equations of a mathematical model are
themselves uncertain—that is, when there is model-form uncertainty. Model-form uncertainty often
arises in models of complex physical phenomena where (1) simplifications for computational tractability
or (2) lack of knowledge lead to unknowns in the governing equations for which appropriate
mathematical forms are unknown or may not exist. In this talk, I briefly introduce major concepts in UQ,
then I discuss approaches to characterize model-form uncertainty and its impact on model predictions.


Abstract:
<div id="Damle">
When it comes to magnetic confinement nuclear fusion, high-quality magnetic fields are crucial for sustaining high-heat plasmas and managing plasma density, fast particles, and turbulence. Transport and turbulence are particularly important factors in this process. Traditional designs of stellarator machines, like those seen in the HSX and W7-X experiments, typically optimize magnetic fields and coils separately. This approach can result in limited engineering tolerances and often overlooks turbulent transport during the optimization process. Moreover, the process is highly dependent on the initial conditions, requiring multiple restarts with relaxed requirements, which can make it inefficient and compromise the optimal balance between alpha particles, neoclassical transport, and turbulence. However, recent breakthroughs in the optimization of stellarator devices are able to overcome such barriers. Direct near-axis designs, integrated plasma-coil optimization algorithms, precise quasisymmetric and quasi-isodynamic fields, and direct turbulence optimization are among the innovations that are revolutionizing the way these machines are designed. By taking into account transport and turbulence from the start, these advancements allow for more efficient fusion devices and greater control over the plasma. In this presentation, we will discuss the main outcomes of these advancements and the prospects for even more efficient and effective fusion devices.
=== Anil Damle (Cornell) ===
Title: Fine-grained Theory and Hybrid Algorithms for Randomized Numerical Linear Algebra


Randomized algorithms have gained increased prominence within numerical linear algebra and they play a key role in an ever-expanding range of problems driven by a breadth of scientific applications. In this talk we will explore two aspects of randomized algorithms by (1) providing experiments and accompanying theoretical analysis that demonstrate how their performance depends on matrix structures beyond singular values (such as coherence of singular subspaces), and (2) showing how to leverage those insights to build hybrid algorithms that blend favorable aspects of deterministic and randomized methods. A focus of this talk will be on methods that approximate matrices using subsets of columns. Relevant motivating applications will be discussed and numerical experiments will illuminate directions for further research.


==== Di Qi (Purdue) ====
<div id="Sprague">
Title: [[#diqi|Statistical Reduced-Order Models and Random Batch Method for Complex Multiscale Systems]]
=== Michael Sprague (NREL) ===
Title: Exascale supercomputing and predictive wind energy simulations


Abstract: The capability of using imperfect stochastic and statistical reduced-order models to capture key statistical features in multiscale nonlinear dynamical systems is investigated. A systematic framework is proposed using a high-order statistical closure enabling accurate prediction of leading-order statistical moments and probability density functions in multiscale complex turbulent systems. A new efficient ensemble forecast algorithm is developed dealing with the nonlinear multiscale coupling mechanism as a characteristic feature in high-dimensional turbulent systems. To address challenges associated with closely coupled spatio-temporal scales in turbulent states and expensive large ensemble simulation for high-dimensional complex systems, we introduce efficient computational strategies using the so-called random batch method. It is demonstrated that crucial principal statistical quantities in the most important large scales can be captured efficiently with accuracy using the new reduced-order model in various dynamical regimes of the flow field with distinct statistical structures. Finally, the proposed model is applied for a wide range of problems in uncertainty quantification, data assimilation, and control.
The predictive simulation modern wind turbines and wind farms is a high-performance-computing (HPC) grand challenge.   Wind turbines are the largest rotating machines in the world, with rotor diameters exceeding 200 meters, and with heights reaching well into the atmospheric boundary layer.  To address this grand challenge, the U.S. Department of Energy (DOE) Wind Energy Technologies Office and the DOE Exascale Computing Project have been supporting the creation of the ExaWind modeling and simulation environment since 2016.   ExaWind is composed of the incompressible-flow computational-fluid-dynamics (CFD) solvers AMR-Wind and Nalu-Wind and the wind-turbine-dynamics solver OpenFAST.  ExaWind codes have been developed with performance portability as a priority, with the first U.S. exascale computer, Frontier, being our target platform. Frontier relies on graphical processing units (GPUs) for acceleration, which presents a major challenge to codes designed for CPUs. In this talk I will give a historical overview of the Exascale Computing Project, an eight-year $1.7 billion project.  I will show results from our ExaWind challenge problem on Frontier and describe the strong-scaling challenges, and I will describe the challenges of modeling and simulating floating offshore wind turbines.  I will also give my perspectives on life as a Research Scientist in Applied Mathematics at a DOE national laboratory.


<div id="Holmes-Cerfon">
=== Miranda Holmes-Cerfon (UBC) ===
Title: The dynamics of particles with ligand-receptor contacts


==== Jinlong Wu (UW Madison) ====
One way to glue objects together at the nanoscale or microscale is by ligand-receptor interactions, where short sticky hair-like ligands stick to receptors on another surface, much like velcro on the nanoscale. Such interactions are common in biological systems, such as white blood cells, virus particles, cargo in the nuclear pore complex, etc, and they are also useful in materials science, where coating colloids with single-stranded DNA creates particles with programmable interactions. In these systems, the ligand-receptor interactions not only hold particles together, but also influence their dynamics. How do such particles move? Do they “roll” on each others’ surfaces, as is commonly thought? Or could they slide? And does it matter? In this talk I will introduce our modelling and experimental efforts aimed at understanding the coarse-grained dynamics of particles with ligand-receptor interactions. Our models predict these interactions can change the particles' effective diffusion by orders of magnitude. Our experiments, using DNA-coated colloids, verify this dramatic dynamical slowdown, but also show other dynamical features not yet captured by our models, which suggest new avenues for exploration.
Title: Operator learning for data-driven closure models of complex dynamical systems


Abstract: Closure models are widely used in simulating complex multiscale dynamical systems such as turbulence and Earth’s climate, for which direct numerical simulation that resolves all scales is often too expensive. For those systems without a clear scale separation, deterministic and local closure models often lack enough generalization capability, which limits their performance in many real-world applications. In this talk, I will present some recent efforts for constructing closure models that go beyond deterministic and local assumptions, based on (i) abundant direct data such as short temporal trajectories and (ii) a limited amount of indirect data (e.g., time-averaged statistics, physics constraints). Specifically, operator learning with direct and indirect data will be demonstrated in the context of both deterministic and stochastic closure modeling problems. The results show that the proposed methodology can leverage different types of data to construct advanced data-driven closure models, which potentially lead to better generalization capabilities than deterministic and local closures for modeling and simulation of complex dynamical systems.
<div id="Sun">
=== Yue Sun (UW–Madison) ===
Title: Simulating fluid–structure interaction: A tale of two methods


==== Gabriel Zayas-Caban (UW Madison) ====
Computational approaches have become essential for complementing experimental and theoretical methods in the study of fluid–structure interaction (FSI)—from matching specific experimental conditions to creating digital twins for exploring otherwise unattainable data, to developing adaptable domain-specific methods. In this talk, I will discuss our collaborative work on developing two FSI methods for experimental digital twin applications and general method development.
Title: Unveiling Bias in Sequential Decision Making: A Causal Inference Approach for Stochastic Service Systems


Abstract: In many stochastic service systems, decision-makers find themselves making a sequence of decisions, with the number of decisions being unpredictable. To enhance these decisions, it is crucial to uncover the causal impact these decisions have through careful analysis of observational data from the system. However, these decisions are not made independently, as they are shaped by previous decisions and outcomes. This phenomenon is called sequential bias and violates a key assumption in causal inference that one person's decision does not interfere with the potential outcomes of another. To address this issue, we establish a connection between sequential bias and the subfield of causal inference known as dynamic treatment regimes. We expand these frameworks to account for the random number of decisions by modeling the decision-making process as a marked point process. Consequently, we can define and identify causal effects to quantify sequential bias. Moreover, we propose estimators and explore their properties, including double robustness and semiparametric efficiency. In a case study of 27,831 encounters with a large academic emergency department, we use our approach to demonstrate that the decision to route a patient to an area for low acuity patients has a significant impact on the care of future patients.
The first part will highlight our collaboration with the Prigozhin Group at Harvard to create a 3D digital twin of the cryo-plunging process. Using ''cryoflo'', a massively parallelized code with adaptive mesh refinement (AMR) built on AMReX, we model fluid–structure interactions and heat transfer between biological samples and cryogen. This simulation captures critical cooling dynamics, providing insights that inform experimental protocols for cryo-electron microscopy (cryo-EM).


The second part will focus on general method development. Over the past decade, Rycroft ''et al.'' introduced the reference map technique (RMT), a fully Eulerian method for modeling finite-strain deformation in FSI. Here, we integrate the RMT with the lattice Boltzmann (LB) method, introducing a new approach (LBRMT) to simulate finite-strain solids on the LB’s fixed Eulerian grid. We demonstrate LBRMT’s capabilities by modeling interactions among multiple solid structures in fluids, showcasing its adaptability for various FSI scenarios such as collective behavior in active and soft matter.


'''Tony Kearsley (NIST)'''
<div id="Maxian">
=== Ondrej Maxian (U Chicago) ===


Title: Control of inward solidification in Cryobiology
Title: From slender body numerics to patterning the cell cortex: two stories of actin filament dynamics


Abstract: For many years, mathematical models that predict a cell’s response to encroaching ice has played an important role in developing cryopreservation protocols. It is clear that information about the cellular state as a function of cooling rate can improve the design of cryopreservation protocols and explain reasons for cell damage during freezing. However, previous work has ignored the interaction between the important solutes, the effects on the state of the cell being frozen and encroaching ice fronts. In this talk, I will survey our work on this problem and examine the cryobiologically relevant setting of a spherically-symmetric model of a biological cell separated by a ternary fluid mixture from an encroaching solid–liquid interface and will illustrate our work on a simplified 1-D problem. In particular, I will demonstrate how the thermal and chemical states inside the cell are influenced and can potentially be controlled by altering cooling protocols at the external boundary.
Actin filaments are the main ingredient in the cell cytoskeleton, which controls cell division, motility, and structure. In this talk, I will present two projects whose shared goal is to determine how microscopic dynamics of actin shape larger-scale behaviors of the cell cortex. In the first part, I will detail a new general purpose simulation package for fiber dynamics which accounts for filament inextensibility, Brownian motion, and nonlocal hydrodynamics. I will focus in particular on how to formulate a mobility matrix (force-velocity relationship) which is positive definite (necessary for Brownian motion) and has cost independent of the fiber slenderness (necessary for efficient simulation), then demonstrate how the package can be used to simulate cross-linked actin networks and sedimenting fiber arrays. In the second part, I will present a model for how actin filaments shape their own homeostasis through biochemical coupling with the protein RhoA. I will introduce an activator-inhibitor model for RhoA/actin coupling, then use a Bayesian inverse framework to infer the distribution of actin dynamics parameters associated with experimental data in ''C. elegans'' and starfish embryos. The inferred parameter values demonstrate how varying actin kinetics can explain changing patterns of RhoA excitability observed across multiple experimental systems.


<div id='Lavi'>
=== Ido Lavi (Flatiron) ===


Title: Emergence of large-scale patterns in active matter: from nematic fluids to multicellular systems


'''Malgorzata Peszynska''' '''(Oregon State University)'''
Active systems exhibit a fascinating interplay of chaos, order, and collective dynamics. If time permits, I will explore two stories of emergent behavior: the dynamical arrest in defect-free active nematics and the role of intercellular adhesions in coordinating multicellular systems.


Title: Multiphysics across the scales for applications in permafrost
In the realm of active nematics, our large-scale simulations reveal that defect-free active turbulence can transition into a dynamically arrested state. We find that the flow alignment coupling, which determines how nematics reorient under shear, acts as a control parameter that tunes the contrast between contractile and extensile systems. In contractile systems, it amplifies chaotic jets, while in extensile systems, it promotes a tree-like network of persistent streams, aligned with a maze of nematic domain walls. These findings highlight a novel role for topological defects and invite experimental investigation of defect-free systems. They also suggest an intriguing mechanism by which chaos is harnessed to generate patterns.


Abstract: We consider numerical solution based on P0-P0-RT0 fully implicit in time discretization of a coupled system of PDEs describing energy with thawing/freezing, flow and mechanical deformation in soils in permafrost regions, and aim to simulate the response of that system to environmental conditions such as warming surface conditions. One of the difficulties is the vastness of the Arctic system where the permafrost areas appear, and the related paucity of data. Towards this challenge we formulate an upscaling framework that can deliver the data at Darcy scale starting from xray micro-CT images of pore-scale geometries. This is joint work with many students and collaborators to be named in the talk.  
Turning to multicellular systems, adhesion molecules like E-cadherins play a key role in tissue mechanics by dynamically linking the cytoskeletons of neighboring cells. Far from being passive glue, these molecules couple actin filaments across cells, enabling coordinated collective behavior. To explore these dynamics, we developed a theoretical model describing cytoskeletons as contractile gels, with boundary conditions controlled by E-cadherin linkers attached to actin on both sides. Our finite element simulations reveal emergent patterns such as global polarization, anti-polarization, ring-like arrangements, and transient supracellular networks of actin cables. Beyond specific predictions, this study provides a mathematical framework for understanding how intracellular activity and intercellular adhesion feedback drive emergent multicellular dynamics.


== Future semesters ==
== Future semesters ==
Line 172: Line 202:
== Archived semesters ==
== Archived semesters ==


*[[Applied/ACMS/Spring2024|Spring 2024]]
*[[Applied/ACMS/Fall2023|Fall 2023]]
*[[Applied/ACMS/Fall2023|Fall 2023]]
*[[Applied/ACMS/Spring2023|Spring 2023]]
*[[Applied/ACMS/Spring2023|Spring 2023]]

Latest revision as of 22:55, 26 November 2024


Applied and Computational Mathematics Seminar


Fall 2024

Date Speaker Title Host(s)
Sep 13* Nan Chen (UW) Intro. to Uncertainty Quantification (UQ) (tutorial) Spagnolie
Sep 20 Katie Newhall (UNC Chapel Hill) Energy landscapes, metastability, and transition paths Rycroft
Sep 27 Indresan Govender (Mintek / Univ. of KwaZulu-Natal, South Africa) Granular flow modeling and visualization using nuclear imaging Rycroft
Oct 4* Hongfei Chen (Tulane) Investigating Hydrodynamics of Choanoflagellate Colonies: A Reduced Model Approach Jean-Luc
Oct 11 Colloquium in B239 at 4:00pm Mikaela Iacobelli (ETH/IAS) TBA Li
Oct 18 Colloquium in B239 at 4:00pm Guillaume Bal (U Chicago) Speckle formation of laser light in random media: The Gaussian conjecture Li, Stechmann
Oct 23 (Wednesday) Teresa Portone (Sandia) Beyond parametric uncertainty: quantifying model-form uncertainty in model predictions Stechmann
Oct 25 Anil Damle (Cornell) Fine-grained Theory and Hybrid Algorithms for Randomized Numerical Linear Algebra Li
Nov 1 Michael Sprague (NREL) Exascale supercomputing and predictive wind energy simulations Spagnolie
Nov 8 Miranda Holmes-Cerfon (UBC) The dynamics of particles with ligand-receptor contacts Stechmann
Nov 15* Yue Sun (UW–Madison) Simulating fluid–structure interaction: A tale of two methods Rycroft
Nov 22 Ondrej Maxian (U Chicago) From slender body numerics to patterning the cell cortex: two stories of actin filament dynamics Ohm & Spagnolie
Nov 29* Thanksgiving
Dec 6 Ido Lavi (Flatiron) Emergence of large-scale patterns in active matter: from nematic fluids to multicellular systems Spagnolie

Dates marked with an asterisk correspond to home football games of the UW–Madison Badgers. On these dates it can be difficult to get a hotel room close to campus at short notice.

Abstracts

Nan Chen (UW–Madison)

Title: Taming Uncertainty in a Complex World: The Rise of Uncertainty Quantification -- A Tutorial for Beginners

I will provide a tutorial about uncertainty quantification (UQ) for those who have no background but are interested in learning more about this area. The talk will exploit many elementary examples, which are understandable to graduate students and senior undergraduates, to present the ideas of UQ. Topics include characterizing uncertainties using information theory, UQ in linear and nonlinear dynamical systems, UQ via data assimilation, the role of uncertainty in diagnostics, and UQ in advancing efficient modeling. The surprisingly simple examples in each topic explain why and how UQ is essential. Both Matlab and Python codes have been made available for these simple examples.

Katie Newhall (UNC Chapel Hill)

Title: Energy landscapes, metastability, and transition paths

The concept of an energy landscape emerged in the 1930’s as a way to calculate chemical reaction rate constants via Henry Eyring’s transition state theory. Its use has expanded since then, remaining central to quantifying metastability (infrequent jumps between deterministically-stable, energy minimizing, states) that arises in noisy systems when the thermal energy is small relative to the energy barrier separating two states. In this talk, I will present extensions of this theory that I have developed and applied to physical and biological systems. The first is an infinite dimensional system for which I prove metastability is present in the absence of an energy barrier; I extend transition state theory to compute mean transition times. In the second, I derive a model for a spatially-extended magnetic system with spatially-correlated noise designed to sample the Gibbs distribution relative to a defined energy functional. In the third, I show a quasi-potential can be found and used to describe metastable transitions between stable clusters in a bead-spring polymer model of chromosome dynamics with additional stochastic binding pushing the system out of equilibrium.

Indresan Govender (Mintek / Univ. of KwaZulu Natal, South Africa)

Title: Granular flow modeling and visualization using nuclear imaging

Despite its ubiquity, a complete theory to describe the underlying rheology of granular flows remains elusive. Central to this problem is the lack of detailed, in-situ measurements of the granular flow field. To this end, we present two non-invasive imaging techniques currently employed to measure the flow of individual grains within granular flow systems that span simple mono-sized flows of plastic beads to complex industrial mixture flows of rocks and slurry. The first technique employs diagnostic X-rays operated in biplanar mode to triangulate the motion of low-density granules in simplified flow systems to within a 3D spatial accuracy of 0.15 mm at tracking frequencies up to 100 Hz. The second—arguably the workhorse of our research operation—is the nuclear imaging technique of Positron Emission Particle Tracking (PEPT) which triangulates the back-to-back gamma rays emanating from radiolabeled particles to within a millimeter in 3D space at a millisecond timing resolution. PEPT can track the motion of any particle with a diameter greater than ∼20 microns. Both techniques are well suited to studying the flow of granular materials after the data is cast into volume and time averages consistent with the continuum framework. In this talk I will explore the many interesting analysis techniques employed to mapping out the complex flow regimes found in typical granular systems, and the insights they offer towards better understanding their rheological character. Examples explored will include rotating drum flows (wet and dry), shear cells and their industrial counterpart the IsaMillTM, hydrocyclone separator flows, and the motivation for tracking of multiple particles. The validation offered to numerical schemes like the Discrete Element Method will also be explored wherein we highlight the complimentary role that measurement and simulation play in unravelling the secrets of granular flows. Finally, and deviating somewhat from the imaging world, I will present our efforts towards utilizing granular flow modeling in real-time control of complex industrial flows encountered in mineral processing.

Hongfei Chen (Tulane)

Title: Investigating Hydrodynamics of Choanoflagellate Colonies: A Reduced Model Approach

Abstract: Choanoflagellates, eukaryotes with a distinctive cellular structure consisting of a cell body, a flagellum, and a collar of microvilli, exhibit fascinating biological behavior. While many species exist as single cells, some form colonies, with the species C. Flexa standing out for its ability to dynamically transition its flagella between positions inside and outside the colony.

Modeling the hydrodynamics of these colonies ideally requires detailed representations of each cell’s flagellum, microvilli, and body. However, the computational cost of simulating colonies with hundreds of cells makes this approach very expensive. To address this, we propose a reduced modeling framework that simplifies each cell to a force dipole while retaining key hydrodynamic features.

Our force dipole model is calibrated against detailed computational simulations that account for the complete cellular structure. We show that this reduced model closely matches experimental data for non-deforming, free-swimming colonies. We further investigate how colony swimming and feeding performance depend on the flagellar position relative the colony, cell density, and overall colony shape. Finally, we explore the impact of the wall for flagella-in colonies, which are frequently observed in laboratory settings.

Guillaume Bal (Chicago)

Title: Speckle formation of laser light in random media: The Gaussian conjecture

A widely accepted conjecture in the physical literature states that classical wave-fields propagating in random media over large distances eventually follow a complex circular Gaussian distribution. In this limit, the wave intensity becomes exponentially distributed, which corroborates the speckle patterns of, e.g., laser light observed in experiments. This talk reports on recent results settling the conjecture in the weak-coupling, paraxial regime of wave propagation. The limiting macroscopic Gaussian wave-field is fully characterized by a correlation function that satisfies an unusual diffusion equation.

The paraxial model of wave propagation is an approximation of the Helmholtz model where backscattering has been neglected. It is mathematically simpler to analyze but quite accurate practically for wave-fields that maintain a beam-like structure as in the application of laser light propagating in turbulent atmospheres.

The derivation of the limiting model is first obtained in the Itô-Schrödinger regime, where the random medium is replaced by its white noise limit. The resulting stochastic PDE has the main advantage that finite dimensional statistical moments of the wave-field satisfy closed form equations. The proof of the derivation of the macroscopic model is based on showing that these moment solutions are asymptotically those of the Gaussian limit, on obtaining a stochastic continuity (and tightness) result, and on establishing that moments in the paraxial and the Itô-Schrödinger regimes are asymptotically close.

This is joint work with Anjali Nair.

Teresa Portone (Sandia)

Title: Beyond parametric uncertainty: quantifying model-form uncertainty in model predictions

Uncertainty quantification (UQ) is the science of characterizing, quantifying, and reducing uncertainties in mathematical models. It is critical for informing decisions, because it provides a measure of confidence in model predictions, given the uncertainties present in the model. While approaches to characterize uncertainties in model parameters, boundary and initial conditions are well established, it is less clear how to address uncertainties arising when the equations of a mathematical model are themselves uncertain—that is, when there is model-form uncertainty. Model-form uncertainty often arises in models of complex physical phenomena where (1) simplifications for computational tractability or (2) lack of knowledge lead to unknowns in the governing equations for which appropriate mathematical forms are unknown or may not exist. In this talk, I briefly introduce major concepts in UQ, then I discuss approaches to characterize model-form uncertainty and its impact on model predictions.

Anil Damle (Cornell)

Title: Fine-grained Theory and Hybrid Algorithms for Randomized Numerical Linear Algebra

Randomized algorithms have gained increased prominence within numerical linear algebra and they play a key role in an ever-expanding range of problems driven by a breadth of scientific applications. In this talk we will explore two aspects of randomized algorithms by (1) providing experiments and accompanying theoretical analysis that demonstrate how their performance depends on matrix structures beyond singular values (such as coherence of singular subspaces), and (2) showing how to leverage those insights to build hybrid algorithms that blend favorable aspects of deterministic and randomized methods. A focus of this talk will be on methods that approximate matrices using subsets of columns. Relevant motivating applications will be discussed and numerical experiments will illuminate directions for further research.

Michael Sprague (NREL)

Title: Exascale supercomputing and predictive wind energy simulations

The predictive simulation modern wind turbines and wind farms is a high-performance-computing (HPC) grand challenge.   Wind turbines are the largest rotating machines in the world, with rotor diameters exceeding 200 meters, and with heights reaching well into the atmospheric boundary layer.  To address this grand challenge, the U.S. Department of Energy (DOE) Wind Energy Technologies Office and the DOE Exascale Computing Project have been supporting the creation of the ExaWind modeling and simulation environment since 2016.   ExaWind is composed of the incompressible-flow computational-fluid-dynamics (CFD) solvers AMR-Wind and Nalu-Wind and the wind-turbine-dynamics solver OpenFAST.  ExaWind codes have been developed with performance portability as a priority, with the first U.S. exascale computer, Frontier, being our target platform. Frontier relies on graphical processing units (GPUs) for acceleration, which presents a major challenge to codes designed for CPUs. In this talk I will give a historical overview of the Exascale Computing Project, an eight-year $1.7 billion project.  I will show results from our ExaWind challenge problem on Frontier and describe the strong-scaling challenges, and I will describe the challenges of modeling and simulating floating offshore wind turbines.  I will also give my perspectives on life as a Research Scientist in Applied Mathematics at a DOE national laboratory.

Miranda Holmes-Cerfon (UBC)

Title: The dynamics of particles with ligand-receptor contacts

One way to glue objects together at the nanoscale or microscale is by ligand-receptor interactions, where short sticky hair-like ligands stick to receptors on another surface, much like velcro on the nanoscale. Such interactions are common in biological systems, such as white blood cells, virus particles, cargo in the nuclear pore complex, etc, and they are also useful in materials science, where coating colloids with single-stranded DNA creates particles with programmable interactions. In these systems, the ligand-receptor interactions not only hold particles together, but also influence their dynamics. How do such particles move? Do they “roll” on each others’ surfaces, as is commonly thought? Or could they slide? And does it matter? In this talk I will introduce our modelling and experimental efforts aimed at understanding the coarse-grained dynamics of particles with ligand-receptor interactions. Our models predict these interactions can change the particles' effective diffusion by orders of magnitude. Our experiments, using DNA-coated colloids, verify this dramatic dynamical slowdown, but also show other dynamical features not yet captured by our models, which suggest new avenues for exploration.

Yue Sun (UW–Madison)

Title: Simulating fluid–structure interaction: A tale of two methods

Computational approaches have become essential for complementing experimental and theoretical methods in the study of fluid–structure interaction (FSI)—from matching specific experimental conditions to creating digital twins for exploring otherwise unattainable data, to developing adaptable domain-specific methods. In this talk, I will discuss our collaborative work on developing two FSI methods for experimental digital twin applications and general method development.

The first part will highlight our collaboration with the Prigozhin Group at Harvard to create a 3D digital twin of the cryo-plunging process. Using cryoflo, a massively parallelized code with adaptive mesh refinement (AMR) built on AMReX, we model fluid–structure interactions and heat transfer between biological samples and cryogen. This simulation captures critical cooling dynamics, providing insights that inform experimental protocols for cryo-electron microscopy (cryo-EM).

The second part will focus on general method development. Over the past decade, Rycroft et al. introduced the reference map technique (RMT), a fully Eulerian method for modeling finite-strain deformation in FSI. Here, we integrate the RMT with the lattice Boltzmann (LB) method, introducing a new approach (LBRMT) to simulate finite-strain solids on the LB’s fixed Eulerian grid. We demonstrate LBRMT’s capabilities by modeling interactions among multiple solid structures in fluids, showcasing its adaptability for various FSI scenarios such as collective behavior in active and soft matter.

Ondrej Maxian (U Chicago)

Title: From slender body numerics to patterning the cell cortex: two stories of actin filament dynamics

Actin filaments are the main ingredient in the cell cytoskeleton, which controls cell division, motility, and structure. In this talk, I will present two projects whose shared goal is to determine how microscopic dynamics of actin shape larger-scale behaviors of the cell cortex. In the first part, I will detail a new general purpose simulation package for fiber dynamics which accounts for filament inextensibility, Brownian motion, and nonlocal hydrodynamics. I will focus in particular on how to formulate a mobility matrix (force-velocity relationship) which is positive definite (necessary for Brownian motion) and has cost independent of the fiber slenderness (necessary for efficient simulation), then demonstrate how the package can be used to simulate cross-linked actin networks and sedimenting fiber arrays. In the second part, I will present a model for how actin filaments shape their own homeostasis through biochemical coupling with the protein RhoA. I will introduce an activator-inhibitor model for RhoA/actin coupling, then use a Bayesian inverse framework to infer the distribution of actin dynamics parameters associated with experimental data in C. elegans and starfish embryos. The inferred parameter values demonstrate how varying actin kinetics can explain changing patterns of RhoA excitability observed across multiple experimental systems.

Ido Lavi (Flatiron)

Title: Emergence of large-scale patterns in active matter: from nematic fluids to multicellular systems

Active systems exhibit a fascinating interplay of chaos, order, and collective dynamics. If time permits, I will explore two stories of emergent behavior: the dynamical arrest in defect-free active nematics and the role of intercellular adhesions in coordinating multicellular systems.

In the realm of active nematics, our large-scale simulations reveal that defect-free active turbulence can transition into a dynamically arrested state. We find that the flow alignment coupling, which determines how nematics reorient under shear, acts as a control parameter that tunes the contrast between contractile and extensile systems. In contractile systems, it amplifies chaotic jets, while in extensile systems, it promotes a tree-like network of persistent streams, aligned with a maze of nematic domain walls. These findings highlight a novel role for topological defects and invite experimental investigation of defect-free systems. They also suggest an intriguing mechanism by which chaos is harnessed to generate patterns.

Turning to multicellular systems, adhesion molecules like E-cadherins play a key role in tissue mechanics by dynamically linking the cytoskeletons of neighboring cells. Far from being passive glue, these molecules couple actin filaments across cells, enabling coordinated collective behavior. To explore these dynamics, we developed a theoretical model describing cytoskeletons as contractile gels, with boundary conditions controlled by E-cadherin linkers attached to actin on both sides. Our finite element simulations reveal emergent patterns such as global polarization, anti-polarization, ring-like arrangements, and transient supracellular networks of actin cables. Beyond specific predictions, this study provides a mathematical framework for understanding how intracellular activity and intercellular adhesion feedback drive emergent multicellular dynamics.

Future semesters

Archived semesters



Return to the Applied Mathematics Group Page