Applied/ACMS: Difference between revisions

From UW-Math Wiki
Jump to navigation Jump to search
VisualWikitext
 
(527 intermediate revisions by 19 users not shown)
Line 5: Line 5:
*'''When:''' Fridays at 2:25pm (except as otherwise indicated)
*'''When:''' Fridays at 2:25pm (except as otherwise indicated)
*'''Where:''' 901 Van Vleck Hall
*'''Where:''' 901 Van Vleck Hall
*'''Organizers:''' [http://www.math.wisc.edu/~qinli/ Qin Li] and [http://www.math.wisc.edu/~jeanluc Jean-Luc Thiffeault]
*'''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:''' See [https://admin.lists.wisc.edu/index.php?p=11&l=acms mailing list] website.
*'''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 2025''' ==
== Fall 2018  ==
 
{| cellpadding="8"
{| cellpadding="8"
!align="left" | date
! align="left" |Date
!align="left" | speaker
! align="left" |Speaker
!align="left" | title
! align="left" |Title
!align="left" | host(s)
! align="left" |Host(s)
|-
|Jan 31
|[https://people.math.wisc.edu/~tgchandler/ Thomas Chandler] (UW)
|[[#Chandler|''Fluid–structure interactions in active complex fluids'']]
|Spagnolie
|-
|Feb 7
|[https://afraser3.github.io/ Adrian Fraser] (Colorado)
|[[#Fraser|''Destabilization of transverse waves by periodic shear flows'']]
|Spagnolie
|-
|-
| Sept. 14
|Feb 14
|[http://www.northeastern.edu/tzhou/ Ting Zhou] (Northeastern)
|[https://jrluedtke.github.io/ Jim Luedtke] (UW)
|''[[Applied/ACMS/absF18#Ting Zhou (Northeastern Univ.)|Nonparaxial near-nondiffracting accelerating optical beams]]''
|[[#Luedtke|Using integer programming for verification of binarized neural networks]]
|Li
|Spagnolie
|-
|-
| Sept. 21
|Feb 21
|[https://sites.google.com/a/brown.edu/sanz-alonso/ Daniel Sanz-Alonso] (Chicago)
|[https://zhdankin.physics.wisc.edu/ Vladimir Zhdankin] (UW)
|''[[Applied/ACMS/absF18#Daniel Sanz-Alonso (Chicago Univ.)|Discrete and Continuous Learning in Information and Geophysical Sciences]]''
|[[#Zhdankin|Exploring astrophysical plasma turbulence with particle-in-cell methods]]
|Chen
|Spagnolie
|-
|-
| Sept. 28
|Feb 28
|[https://www.math.wisc.edu/~chennan/ Nan Chen] (UW-Madison)
|[https://nmboffi.github.io/ Nick Boffi] (CMU)
|''[[Applied/ACMS/absF18#Chen (UW-Madison)|A simple stochastic model for El Nino with westerly wind bursts and the prediction of super El Nino events]]''
|[[#Boffi|TBA]]
|Li
|Li
|-
|-
| Oct. 5
|Mar 7
|[https://sites.google.com/site/sulianthual/ Sulian Thual] (Fudan University)
|[https://sites.lsa.umich.edu/shankar-lab/ Suraj Shankar] (Michigan)
|''[[Applied/ACMS/absF18#Thual (Fudan)|A Stochastic Skeleton Model for the Madden-Julian Oscillation and El Nino-Southern Oscillation]]''
|[[#Shankar|TBA]]
|Chen, Stechmann
|Spagnolie
|-
|-
| Oct. 12
|Mar 14
|[http://www.damtp.cam.ac.uk/people/mt748/ Matthew Thorpe] (Cambridge University)
|[https://lu.seas.harvard.edu/ Yue Lu] (Harvard) '''[Colloquium]'''
|''[[Applied/ACMS/absF18#Thorpe (Cambridge)|Continuum Limits of Semi-Supervised Learning on Graphs]]''
|[[#Lu|TBA]]
|Chen
|Li
|-
|-
| Oct. 19
|Mar 21
|[http://www.math.jhu.edu/~feilu/ Fei Lu] (Johns Hopkins)
|[https://people.llnl.gov/vogman1 Genia Vogman] (LLNL)
|''[[Applied/ACMS/absF18#Lu (JHU)|Data-informed stochastic model reduction for complex dynamical systems]]''
|[[#Vogman|TBA]]
|Chen
|Li
|-
|-
| Oct. 26
|Mar 28
|[https://stuart.iit.edu/faculty/matthew-dixon Matthew Dixon] (Illinois Institute of Technoology)
|''Spring Break''
|''[[Applied/ACMS/absF18#Matthew Dixon (Illinois Institute of Technology)|"Quantum Equilibrium-Disequilibrium”: Asset Price Dynamics, Symmetry Breaking and Defaults as Dissipative Instantons
|
]]''
|
|Jean-Luc
|-
|-
| Nov. 2
|Apr 4
|[http://www.stat.wisc.edu/~karlrohe/homepage/Welcome.html Karl Rohe] (UW-Madison, Statistics)
|TBA
|''[[Applied/ACMS/absF18#Karl Rohe (UW-Madison)|Making Spectral Graph Theory work in practice.  Making the practice work in theory]]''
|
|host
|
|-
|-
| Nov. 9
|Apr 11
|[https://www.math.uci.edu/people/yimin-zhong Yimin Zhong] (UCI)
|[https://meche.mit.edu/people/faculty/pierrel@mit.edu Pierre Lermusiaux] (MIT)
|''[[Applied/ACMS/absF18#Yimin Zhong (UCI)|Instability of an inverse problem for the stationary radiative transport near the diffusion limit]]''
|[[#Lermusiaux|TBA]]
|Li
|Chen
|-
|-
| Nov. 16
|Apr 18
|[http://www.math.wisc.edu/~alfredowetzel/ Alfredo N Wetzel] (UW-Madison)
|[https://www.math.uci.edu/~jxin/ Jack Xin] (UC Irvine) '''[Colloquium]'''
|''[[Applied/ACMS/absF18#Alfredo Wetzel (UW-Madison)|Discontinuous Fronts as Exact Solutions to Precipitating Quasi-Geostrophy]]''
|[[#Xin|TBA]]
|Local
|
|-
|-
| Dec. 14
|Apr 25
|[http://www.einkemmer.net/ Lukas Einkemmer] (University of Tübingen and University of Innsbruck)
|[https://www-users.cse.umn.edu/~bcockbur/ Bernardo Cockburn] (Minnesota)
|''[[Applied/ACMS/absF18#Lukas Einkemmer (University of Innsbruck)| TBA
|[[#Cockburn|''Transforming stabilization into spaces'']]
]]''
| Stechmann, Fabien
|Li
|-
|-
|  
|May 2
|[https://sylviaherbert.com/ Sylvia Herbert] (UCSD)
|[[#Herbert|TBA]]
|Chen
|}
|}


== Future semesters ==
==Abstracts==


*[[Applied/ACMS/Spring2019|Spring 2019]]
<div id="Chandler">
====Thomas G. J. Chandler (UW)====
Title: Fluid-structure interactions in active complex fluids
 
Fluid anisotropy is central to many biological systems, from rod-like bacteria that self-assemble into dense swarms that function as fluids, to the cell cytoskeleton where the active alignment of stiff biofilaments is crucial to cell division. Nematic liquid crystals provide a powerful model for studying these complex environments. However, large immersed bodies elastically frustrate these fluids, leading to intricate interactions. This frustration can be alleviated through body deformations, at the cost of introducing internal stresses. Additionally, active stresses, arising from particle motility or molecular activity, disrupt nematic order by driving flows. In this presentation, I will demonstrate how complex variables enable analytical solutions to a broad range of problems, offering key insights into the roles of body geometry, anchoring conditions, interaction dynamics, activity-induced flows, and body deformations in many biological settings.
 
<div id="Fraser">
====Adrian Fraser (Colorado)====
Title: Destabilization of transverse waves by periodic shear flows
 
Periodic shear flows have the peculiar property that they are unstable to large-scale, transverse perturbations, and that this instability proceeds via a negative-eddy-viscosity mechanism (Dubrulle & Frisch, 1991). In this talk, I will show an example where this property causes transverse waves to become linearly unstable: a sinusoidal shear flow in the presence of a uniform, streamwise magnetic field in the framework of incompressible MHD. This flow is unstable to a KH-like instability for sufficiently weak magnetic fields, and uniform magnetic fields permit transverse waves known as Alfvén waves. Under the right conditions, these Alfvén waves become unstable, presenting a separate branch of instability that persists for arbitrarily strong magnetic fields which otherwise suppress the KH-like instability. After characterizing these waves with the help of a simple asymptotic expansion, I will show that they drive soliton-like waves in nonlinear simulations. With time permitting, I will discuss other fluid systems where similar dynamics are or may be found, including stratified flows and plasma drift waves.
 
<div id="Luedtke">
====Jim Luedtke (UW)====
Title: Using integer programming for verification of binarized neural networks
 
Binarized neural networks (BNNs) are neural networks in which the weights are binary and the activation functions are the sign function. Verification of BNNs against input perturbation is one way to measure robustness of BNNs. BNN verification can be formulated as an integer linear optimization problem and hence can in theory be solved by state-of-the art methods for integer programming such as the branch-and-cut algorithm implemented in solvers like Gurobi. Unfortunately, the natural formulation is often difficult to solve in practice, even by the best such solvers, due to large integrality gap induced by its so-called "big-M" constraints. We present simple but effective techniques for improving the ability of the integer programming approach to solve the verification problem for BNNs. Along the way, we hope to illustrate more generally some of the strategies integer programmers use to attack difficult problems like this. We find that our techniques enable verifying BNNs against a higher range of input perturbation than using the natural formulation directly.
 
This is joint work with Woojin Kim, Mathematics PhD student at UW-Madison.
 
<div id="Zhdankin">
====Vladimir Zhdankin (UW)====
Title: Exploring astrophysical plasma turbulence with particle-in-cell methods
 
Plasmas throughout the universe (as well as in the laboratory) tend to exist in turbulent, nonequilibrium states due to their "collisionless" nature. Described by the Vlasov-Maxwell equations in a six-dimensional phase space (of position and momentum), the basic physics of such plasmas is difficult to model from first principles. There remain open questions about entropy production, nonthermal particle acceleration, energy partition amongst different particle species, and more. Particle-in-cell simulations are a numerical tool that allow us to explore in depth the rich dynamics and statistical mechanics of collisionless plasmas, validating analytical speculation. I will describe some of the results from my group's work on this topic.
 
<div id="Cockburn">
====Bernardo Cockburn (Minnesota)====
Title: Transforming stabilization into spaces
 
In the framework of finite element methods for ordinary differential equations, we consider the continuous Galerkin method (introduced in 72) and the discontinuous Galerkin method (introduced in 73/74). We uncover the fact that both methods discretize the time derivative in exactly the same form, and discuss a few of its consequences. We end by briefly describing our ongoing work on the extension of this result to some Galerkin methods for partial differential equations.


== Archived semesters ==
== Archived semesters ==
*[[Applied/ACMS/Fall2024|Fall 2024]]
*[[Applied/ACMS/Spring2024|Spring 2024]]
*[[Applied/ACMS/Fall2023|Fall 2023]]
*[[Applied/ACMS/Spring2023|Spring 2023]]
*[[Applied/ACMS/Fall2022|Fall 2022]]
*[[Applied/ACMS/Spring2022|Spring 2022]]
*[[Applied/ACMS/Fall2021|Fall 2021]]
*[[Applied/ACMS/Spring2021|Spring 2021]]
*[[Applied/ACMS/Fall2020|Fall 2020]]
*[[Applied/ACMS/Spring2020|Spring 2020]]
*[[Applied/ACMS/Fall2019|Fall 2019]]
*[[Applied/ACMS/Spring2019|Spring 2019]]
*[[Applied/ACMS/Fall2018|Fall 2018]]
*[[Applied/ACMS/Fall2018|Fall 2018]]
*[[Applied/ACMS/Spring2018|Spring 2018]]
*[[Applied/ACMS/Spring2018|Spring 2018]]

Latest revision as of 04:11, 15 February 2025


Applied and Computational Mathematics Seminar


Spring 2025

Date Speaker Title Host(s)
Jan 31 Thomas Chandler (UW) Fluid–structure interactions in active complex fluids Spagnolie
Feb 7 Adrian Fraser (Colorado) Destabilization of transverse waves by periodic shear flows Spagnolie
Feb 14 Jim Luedtke (UW) Using integer programming for verification of binarized neural networks Spagnolie
Feb 21 Vladimir Zhdankin (UW) Exploring astrophysical plasma turbulence with particle-in-cell methods Spagnolie
Feb 28 Nick Boffi (CMU) TBA Li
Mar 7 Suraj Shankar (Michigan) TBA Spagnolie
Mar 14 Yue Lu (Harvard) [Colloquium] TBA Li
Mar 21 Genia Vogman (LLNL) TBA Li
Mar 28 Spring Break
Apr 4 TBA
Apr 11 Pierre Lermusiaux (MIT) TBA Chen
Apr 18 Jack Xin (UC Irvine) [Colloquium] TBA
Apr 25 Bernardo Cockburn (Minnesota) Transforming stabilization into spaces Stechmann, Fabien
May 2 Sylvia Herbert (UCSD) TBA Chen

Abstracts

Thomas G. J. Chandler (UW)

Title: Fluid-structure interactions in active complex fluids

Fluid anisotropy is central to many biological systems, from rod-like bacteria that self-assemble into dense swarms that function as fluids, to the cell cytoskeleton where the active alignment of stiff biofilaments is crucial to cell division. Nematic liquid crystals provide a powerful model for studying these complex environments. However, large immersed bodies elastically frustrate these fluids, leading to intricate interactions. This frustration can be alleviated through body deformations, at the cost of introducing internal stresses. Additionally, active stresses, arising from particle motility or molecular activity, disrupt nematic order by driving flows. In this presentation, I will demonstrate how complex variables enable analytical solutions to a broad range of problems, offering key insights into the roles of body geometry, anchoring conditions, interaction dynamics, activity-induced flows, and body deformations in many biological settings.

Adrian Fraser (Colorado)

Title: Destabilization of transverse waves by periodic shear flows

Periodic shear flows have the peculiar property that they are unstable to large-scale, transverse perturbations, and that this instability proceeds via a negative-eddy-viscosity mechanism (Dubrulle & Frisch, 1991). In this talk, I will show an example where this property causes transverse waves to become linearly unstable: a sinusoidal shear flow in the presence of a uniform, streamwise magnetic field in the framework of incompressible MHD. This flow is unstable to a KH-like instability for sufficiently weak magnetic fields, and uniform magnetic fields permit transverse waves known as Alfvén waves. Under the right conditions, these Alfvén waves become unstable, presenting a separate branch of instability that persists for arbitrarily strong magnetic fields which otherwise suppress the KH-like instability. After characterizing these waves with the help of a simple asymptotic expansion, I will show that they drive soliton-like waves in nonlinear simulations. With time permitting, I will discuss other fluid systems where similar dynamics are or may be found, including stratified flows and plasma drift waves.

Jim Luedtke (UW)

Title: Using integer programming for verification of binarized neural networks

Binarized neural networks (BNNs) are neural networks in which the weights are binary and the activation functions are the sign function. Verification of BNNs against input perturbation is one way to measure robustness of BNNs. BNN verification can be formulated as an integer linear optimization problem and hence can in theory be solved by state-of-the art methods for integer programming such as the branch-and-cut algorithm implemented in solvers like Gurobi. Unfortunately, the natural formulation is often difficult to solve in practice, even by the best such solvers, due to large integrality gap induced by its so-called "big-M" constraints. We present simple but effective techniques for improving the ability of the integer programming approach to solve the verification problem for BNNs. Along the way, we hope to illustrate more generally some of the strategies integer programmers use to attack difficult problems like this. We find that our techniques enable verifying BNNs against a higher range of input perturbation than using the natural formulation directly.

This is joint work with Woojin Kim, Mathematics PhD student at UW-Madison.

Vladimir Zhdankin (UW)

Title: Exploring astrophysical plasma turbulence with particle-in-cell methods

Plasmas throughout the universe (as well as in the laboratory) tend to exist in turbulent, nonequilibrium states due to their "collisionless" nature. Described by the Vlasov-Maxwell equations in a six-dimensional phase space (of position and momentum), the basic physics of such plasmas is difficult to model from first principles. There remain open questions about entropy production, nonthermal particle acceleration, energy partition amongst different particle species, and more. Particle-in-cell simulations are a numerical tool that allow us to explore in depth the rich dynamics and statistical mechanics of collisionless plasmas, validating analytical speculation. I will describe some of the results from my group's work on this topic.

Bernardo Cockburn (Minnesota)

Title: Transforming stabilization into spaces

In the framework of finite element methods for ordinary differential equations, we consider the continuous Galerkin method (introduced in 72) and the discontinuous Galerkin method (introduced in 73/74). We uncover the fact that both methods discretize the time derivative in exactly the same form, and discuss a few of its consequences. We end by briefly describing our ongoing work on the extension of this result to some Galerkin methods for partial differential equations.

Archived semesters


Return to the Applied Mathematics Group Page

Retrieved from "https://wiki.math.wisc.edu/index.php?title=Applied/ACMS&oldid=28116"