Applied/ACMS/absF23: Difference between revisions

From UW-Math Wiki
Jump to navigation Jump to search
(Created page with "= ACMS Abstracts: Fall 2023 = '''[https://webspace.clarkson.edu/~ebollt/ Erik Bollt] (Clarkson University)''' ''A New View on Integrability: On Matching Dynamical Systems through Koopman Operator Eigenfunctions'' Matching dynamical systems, through different forms of conjugacies and equivalences, has long been a fundamental concept, and a powerful tool, in the study and classification of non- linear dynamic behavior (e.g. through normal forms). In this presentation we...")
 
 
(One intermediate revision by the same user not shown)
Line 1: Line 1:
= ACMS Abstracts: Fall 2023 =
= ACMS Abstracts: Fall 2023 =


'''[https://webspace.clarkson.edu/~ebollt/ Erik Bollt] (Clarkson University)'''
=== Erik Bollt (Clarkson University) ===


''A New View on Integrability: On Matching Dynamical Systems through Koopman Operator Eigenfunctions''
Title: A New View on Integrability: On Matching Dynamical Systems through Koopman Operator Eigenfunctions


Matching dynamical systems, through different forms of conjugacies and equivalences, has long been a fundamental concept, and a powerful tool, in the study and classification of non- linear dynamic behavior (e.g. through normal forms). In this presentation we will argue that the use of the Koopman operator and its spectrum are particularly well suited for this endeavor, both in theory, but also especially in view of recent data-driven machine learning algorithmic developments. Recall that the Koopman operator describes the dynamics of observation functions along a flow or map, and it is formally the adjoint of the Frobenius-Perrron operator that describes evolution of densities of ensembles of initial conditions. The Koopman operator has a long theoretical tradition but it has recently become extremely popular through numerical methods such as dynamic mode decomposition (DMD) and variants, for applied problems such as coherence and also in control theory. We demonstrate through illustrative examples that we can nontrivially extend the applicability of the Koopman spectral theoretical and computational machinery beyond modeling and prediction, towards a systematic discovery of rectifying integrability coordinate transformations.
Abstract: Matching dynamical systems, through different forms of conjugacies and equivalences, has long been a fundamental concept, and a powerful tool, in the study and classification of non- linear dynamic behavior (e.g. through normal forms). In this presentation we will argue that the use of the Koopman operator and its spectrum are particularly well suited for this endeavor, both in theory, but also especially in view of recent data-driven machine learning algorithmic developments. Recall that the Koopman operator describes the dynamics of observation functions along a flow or map, and it is formally the adjoint of the Frobenius-Perrron operator that describes evolution of densities of ensembles of initial conditions. The Koopman operator has a long theoretical tradition but it has recently become extremely popular through numerical methods such as dynamic mode decomposition (DMD) and variants, for applied problems such as coherence and also in control theory. We demonstrate through illustrative examples that we can nontrivially extend the applicability of the Koopman spectral theoretical and computational machinery beyond modeling and prediction, towards a systematic discovery of rectifying integrability coordinate transformations.


=== John Schotland (Yale University) ===


'''[https://math.yale.edu/people/john-schotland John Schotland] (Yale University)'''
Title: Nonlocal PDEs and Quantum Optics


''Nonlocal PDEs and Quantum Optics''
Abstract: Quantum optics is the quantum theory of the interaction of light and matter. In this talk, I will describe a real-space formulation of quantum electrodynamics with applications to many body problems. The goal is to understand the transport of nonclassical states of light in random media. In this setting, there is a close relation to kinetic equations for nonlocal PDEs with random coefficients.


Quantum optics is the quantum theory of the interaction of light and matter. In this talk, I will describe a real-space formulation of quantum electrodynamics with applications to many body problems. The goal is to understand the transport of nonclassical states of light in random media. In this setting, there is a close relation to kinetic equations for nonlocal PDEs with random coefficients.
=== Balazs Boros (U Vienna) ===


Title: Oscillatory mass-action systems


'''[https://sites.google.com/view/balazsboros Balazs Boros] (U Vienna)'''
Abstract: Mass-action differential equations are probably the most common mathematical models in biochemistry, cell biology, and population dynamics. Since oscillatory behavior is ubiquitous in nature, there are several papers (starting with Alfred Lotka) that deal with showing the existence of periodic solutions in mass-action systems. The standard way of proving the existence of a limit cycle in a high-dimensional system is via Andronov-Hopf bifurcation. In this talk, we recall some specific oscillatory models (like glycolysis or phosphorylation), as well as more recent results that aim to systematically classify small mass-action reaction networks that admit an Andronov-Hopf bifurcation.


''Oscillatory mass-action systems''
=== Peter Jan van Leeuwen (Colorado State University) ===


Mass-action differential equations are probably the most common mathematical models in biochemistry, cell biology, and population dynamics. Since oscillatory behavior is ubiquitous in nature, there are several papers (starting with Alfred Lotka) that deal with showing the existence of periodic solutions in mass-action systems. The standard way of proving the existence of a limit cycle in a high-dimensional system is via Andronov-Hopf bifurcation. In this talk, we recall some specific oscillatory models (like glycolysis or phosphorylation), as well as more recent results that aim to systematically classify small mass-action reaction networks that admit an Andronov-Hopf bifurcation.
Title: Nonlinear Causal Discovery, with applications to atmospheric science


Abstract: Understanding cause and effect relations in complex systems is one of the main goals of scientific research. Ideally, one sets up controlled experiments in which different potential drivers are varied to infer their influence on a target variable. However, this procedure is impossible in many systems, for example the atmosphere, where nature is doing one experiment for us. An alternative is to build a detailed computer model of the system, and perform controlled experiments in model world. An issue there is that one can only control external drivers, because controlling an internal variable would kill all feedbacks to that variable, resulting in a study of ‘a different planet’. Because many natural systems cannot be controlled, or only partially, we focus on causal discovery in systems that are non-intervenable. I will describe a non-linear causal discovery framework that is based on (conditional) mutual information. It will be shown that conventional analysis of causal relations via so-called Directed Acyclic Graphs (DAGs, se e.g. Pearl and others) is not suitable for nonlinear systems, and an extension is provided that allows for interacting drivers. I prove that the interacting contributions and interaction informations, and provide a solid interpretation of those, in terms of buffering, hampering, and positive feedbacks. Also ways to infer completeness of the causal networks will be discussed, as well as causal relations that are invisible to our framework. The framework will be applied to simple idealized cloud models, and to real very detailed ground-based remote-sensing observations of cloud properties, where we contrast the causal structure of precipitating and non-precipitation strato-cumulus clouds.


'''[https://data-assimilation-causality-oceanography.atmos.colostate.edu/ Peter Jan van Leeuwen] (Colorado State University)'''
=== Polly Yu (Harvard) ===


''Nonlinear Causal Discovery, with applications to atmospheric science''
Title: A Spatiotemporal Model of GPCR-G protein Interactions


Understanding cause and effect relations in complex systems is one of the main goals of scientific research. Ideally, one sets up controlled experiments in which different potential drivers are varied to infer their influence on a target variable. However, this procedure is impossible in many systems, for example the atmosphere, where nature is doing one experiment for us. An alternative is to build a detailed computer model of the system, and perform controlled experiments in model world. An issue there is that one can only control external drivers, because controlling an internal variable would kill all feedbacks to that variable, resulting in a study of ‘a different planet’. Because many natural systems cannot be controlled, or only partially, we focus on causal discovery in systems that are non-intervenable. I will describe a non-linear causal discovery framework that is based on (conditional) mutual information. It will be shown that conventional analysis of causal relations via so-called Directed Acyclic Graphs (DAGs, se e.g. Pearl and others) is not suitable for nonlinear systems, and an extension is provided that allows for interacting drivers. I prove that the interacting contributions and interaction informations, and provide a solid interpretation of those, in terms of buffering, hampering, and positive feedbacks. Also ways to infer completeness of the causal networks will be discussed, as well as causal relations that are invisible to our framework. The framework will be applied to simple idealized cloud models, and to real very detailed ground-based remote-sensing observations of cloud properties, where we contrast the causal structure of precipitating and non-precipitation strato-cumulus clouds.
Abstract: G-protein coupled receptors (GPCRs) is a class of transmembrane receptors important to many signalling pathways and a common drug target. As its name suggests, the receptor, once activated, binds to a G-protein. Recent experiments suggests that GPCRs form dense tiny clusters. What are the effects of these "hotspots" on signalling kinetics? I will introduce a semi-empirical spatiotemporal model for GPCR-G protein interactions, and present some numerical evidence for how these clusters might locally increase signalling speed.  


=== Da Yang (University of Chicago) ===


'''[https://sites.google.com/view/pollyyu Polly Yu] (Harvard)'''
Title: The Incredible Lightness of Water Vapor


''A Spatiotemporal Model of GPCR-G protein Interactions''
Abstract: Conventional wisdom suggests that warm air rises while cold air sinks. However, recent satellite observations show that, on average, rising air is colder than sinking air in the tropical free troposphere. This is due to the buoyancy effect of water vapor: the molar mass of water vapor is less than that of dry air, making humid air lighter than dry air at the same temperature and pressure. Unfortunately, this vapor buoyancy effect has been considered negligibly small and thereby overlooked in large-scale climate dynamics. Here we use theory, reanalysis data, and a hierarchy of climate models to show that vapor buoyancy has a similar magnitude to thermal buoyancy in the tropical free troposphere. As a result, cold air rises in the tropical free troposphere. We further show that vapor buoyancy enhances thermal radiation, increases subtropical stratiform low clouds, favors convective aggregation, and stabilizes Earth’s climate. However, some state-of-the-art climate models fail to represent vapor buoyancy properly. This flaw leads to inaccurate simulations of cloud distributions—the largest uncertainty in predicting climate change. Implications of our results on paleoclimate and planetary habitability will also be discussed.


G-protein coupled receptors (GPCRs) is a class of transmembrane receptors important to many signalling pathways and a common drug target. As its name suggests, the receptor, once activated, binds to a G-protein. Recent experiments suggests that GPCRs form dense tiny clusters. What are the effects of these "hotspots" on signalling kinetics? I will introduce a semi-empirical spatiotemporal model for GPCR-G protein interactions, and present some numerical evidence for how these clusters might locally increase signalling speed.
=== Jiaxin Jin (The Ohio State University) ===


Title: On the Dimension of the R-Disguised Toric Locus of a Reaction Network


'''[https://geosci.uchicago.edu/people/da-yang/ Da Yang] (University of Chicago)'''
Abstract: The properties of general polynomial dynamical systems can be very difficult to analyze, due to nonlinearity, bifurcations, and the possibility for chaotic dynamics. On the other hand, toric dynamical systems are polynomial dynamical systems that appear naturally as models of reaction networks and have very robust and stable properties. A ''disguised toric dynamical system'' is a polynomial dynamical system generated by a reaction network and some choice of positive parameters, such that it has a toric realization with respect to some other network. Disguised toric dynamical systems enjoy all the robust stability properties of toric dynamical systems. In this project, we study a larger set of dynamical systems where the rate constants are allowed to take both positive and negative values. More precisely, we analyze the R-disguised toric locus of a reaction network, i.e., the subset in the space rate constants (positive or negative) for which the corresponding polynomial dynamical system is disguised toric. In particular, we construct homeomorphisms to provide an exact bound on the dimension of the R-disguised toric locus.


''The Incredible Lightness of Water Vapor''
=== Yuehaw Khoo (Chicago) ===


Conventional wisdom suggests that warm air rises while cold air sinks. However, recent satellite observations show that, on average, rising air is colder than sinking air in the tropical free troposphere. This is due to the buoyancy effect of water vapor: the molar mass of water vapor is less than that of dry air, making humid air lighter than dry air at the same temperature and pressure. Unfortunately, this vapor buoyancy effect has been considered negligibly small and thereby overlooked in large-scale climate dynamics. Here we use theory, reanalysis data, and a hierarchy of climate models to show that vapor buoyancy has a similar magnitude to thermal buoyancy in the tropical free troposphere. As a result, cold air rises in the tropical free troposphere. We further show that vapor buoyancy enhances thermal radiation, increases subtropical stratiform low clouds, favors convective aggregation, and stabilizes Earth’s climate. However, some state-of-the-art climate models fail to represent vapor buoyancy properly. This flaw leads to inaccurate simulations of cloud distributions—the largest uncertainty in predicting climate change. Implications of our results on paleoclimate and planetary habitability will also be discussed.
Title: Randomized tensor-network algorithms for random data in high-dimensions


Abstract: Tensor-network ansatz has long been employed to solve the high-dimensional Schrödinger equation, demonstrating linear complexity scaling with respect to dimensionality. Recently, this ansatz has found applications in various machine learning scenarios, including supervised learning and generative modeling, where the data originates from a random process. In this talk, we present a new perspective on randomized linear algebra, showcasing its usage in estimating a density as a tensor-network from i.i.d. samples of a distribution, without the curse of dimensionality, and without the use of optimization techniques. Moreover, we illustrate how this concept can combine the strengths of particle and tensor-network methods for solving high-dimensional PDEs, resulting in enhanced flexibility for both approaches.


'''[https://sites.google.com/view/jiaxinjin/ Jiaxin Jin] (The Ohio State University)'''
=== Shukai Du (UW) ===


''On the Dimension of the R-Disguised Toric Locus of a Reaction Network''
Title: Element learning: a systematic approach of accelerating finite element-type methods via machine learning, with applications to radiative transfer


The properties of general polynomial dynamical systems can be very difficult to analyze, due to nonlinearity, bifurcations, and the possibility for chaotic dynamics. On the other hand, toric dynamical systems are polynomial dynamical systems that appear naturally as models of reaction networks and have very robust and stable properties. A ''disguised toric dynamical system'' is a polynomial dynamical system generated by a reaction network and some choice of positive parameters, such that it has a toric realization with respect to some other network. Disguised toric dynamical systems enjoy all the robust stability properties of toric dynamical systems. In this project, we study a larger set of dynamical systems where the rate constants are allowed to take both positive and negative values. More precisely, we analyze the R-disguised toric locus of a reaction network, i.e., the subset in the space rate constants (positive or negative) for which the corresponding polynomial dynamical system is disguised toric. In particular, we construct homeomorphisms to provide an exact bound on the dimension of the R-disguised toric locus.
Abstract: In the past decade, (artificial) neural networks and machine learning tools have surfaced as game changing technologies across numerous fields, resolving an array of challenging problems. Even for the numerical solution of partial differential equations (PDEs) or other scientific computing problems, results have shown that machine learning can speed up some computations. However, many machine learning approaches tend to lose some of the advantageous features of traditional numerical PDE methods, such as interpretability and applicability to general domains with complex geometry.
 
 
 
'''[https://www.stat.uchicago.edu/~ykhoo/ Yuehaw Khoo] (Chicago)'''
 
''Randomized tensor-network algorithms for random data in high-dimensions''
 
Tensor-network ansatz has long been employed to solve the high-dimensional Schrödinger equation, demonstrating linear complexity scaling with respect to dimensionality. Recently, this ansatz has found applications in various machine learning scenarios, including supervised learning and generative modeling, where the data originates from a random process. In this talk, we present a new perspective on randomized linear algebra, showcasing its usage in estimating a density as a tensor-network from i.i.d. samples of a distribution, without the curse of dimensionality, and without the use of optimization techniques. Moreover, we illustrate how this concept can combine the strengths of particle and tensor-network methods for solving high-dimensional PDEs, resulting in enhanced flexibility for both approaches.
 
 
'''[https://shukaidu.github.io/ Shukai Du] (UW)'''
 
''Element learning: a systematic approach of accelerating finite element-type methods via machine learning, with applications to radiative transfer''
 
In the past decade, (artificial) neural networks and machine learning tools have surfaced as game changing technologies across numerous fields, resolving an array of challenging problems. Even for the numerical solution of partial differential equations (PDEs) or other scientific computing problems, results have shown that machine learning can speed up some computations. However, many machine learning approaches tend to lose some of the advantageous features of traditional numerical PDE methods, such as interpretability and applicability to general domains with complex geometry.


In this talk, we introduce a systematic approach (which we call element learning) with the goal of accelerating finite element-type methods via machine learning, while also retaining the desirable features of finite element methods. The derivation of this new approach is closely related to hybridizable discontinuous Galerkin (HDG) methods in the sense that the local solvers of HDG are replaced by machine learning approaches. Numerical tests are presented for an example PDE, the radiative transfer equation, in a variety of scenarios with idealized or realistic cloud fields, with smooth or sharp gradient in the cloud boundary transition. Comparisons are set up with either a fixed number of degrees of freedom or a fixed accuracy level of $10^{-3}$ in the relative $L^2$ error, and we observe a significant speed-up with element learning compared to a classical finite element-type method. Reference: [https://arxiv.org/abs/2308.02467 arxiv: 2308.02467]
In this talk, we introduce a systematic approach (which we call element learning) with the goal of accelerating finite element-type methods via machine learning, while also retaining the desirable features of finite element methods. The derivation of this new approach is closely related to hybridizable discontinuous Galerkin (HDG) methods in the sense that the local solvers of HDG are replaced by machine learning approaches. Numerical tests are presented for an example PDE, the radiative transfer equation, in a variety of scenarios with idealized or realistic cloud fields, with smooth or sharp gradient in the cloud boundary transition. Comparisons are set up with either a fixed number of degrees of freedom or a fixed accuracy level of $10^{-3}$ in the relative $L^2$ error, and we observe a significant speed-up with element learning compared to a classical finite element-type method. Reference: [https://arxiv.org/abs/2308.02467 arxiv: 2308.02467]


=== Lise-Marie Imbert-Gérard (University of Arizona) ===


'''[https://www.math.arizona.edu/~lmig/ Lise-Marie Imbert-Gérard] (University of Arizona)'''
Title: Wave propagation in inhomogeneous media with quasi-Trefftz methods
 
''Wave propagation in inhomogeneous media with quasi-Trefftz methods''


Trefftz methods rely, in broad terms, on the idea of approximating solutions to Partial Differential Equation (PDEs) via Galerkin methods using basis functions which are exact solutions of the PDE, making explicit use of information about the ambient medium. But wave propagation in inhomogeneous media is modeled by PDEs with variable coefficients, and in general no exact solutions are available.
Abstract: Trefftz methods rely, in broad terms, on the idea of approximating solutions to Partial Differential Equation (PDEs) via Galerkin methods using basis functions which are exact solutions of the PDE, making explicit use of information about the ambient medium. But wave propagation in inhomogeneous media is modeled by PDEs with variable coefficients, and in general no exact solutions are available.


Quasi-Trefftz methods have been introduced, in the case of the Helmholtz equation with variable coefficients, to address this problem: they rely not on exact solutions to the PDE but instead of high order approximate solutions constructed locally. We will discuss the origin, the construction, and the properties of these so-called quasi-Trefftz functions. We will also discuss the consistency error introduced by this construction process.
Quasi-Trefftz methods have been introduced, in the case of the Helmholtz equation with variable coefficients, to address this problem: they rely not on exact solutions to the PDE but instead of high order approximate solutions constructed locally. We will discuss the origin, the construction, and the properties of these so-called quasi-Trefftz functions. We will also discuss the consistency error introduced by this construction process.


=== Timothy Atherton (Tufts University) ===


'''[https://sites.tufts.edu/softmattertheory/ Timothy Atherton] (Tufts University)'''
Title: Shape optimization and shapeshifting in soft matter
 
''Shape optimization and shapeshifting in soft matter''
 
Soft materials are ubiquitous in everyday life and are ideal candidates for advanced engineering applications including soft, biomimetic robots, self-building machines, shape-shifters, artificial muscles, and chemical delivery packages. In many of these, the material must make a dramatic change in shape with an accompanying re-ordering of the material; in others changes in the ordering can be used to drive or even interrupt shape change. To optimize the materials and structures, it is necessary to have a detailed understanding of how the microstructure and macroscopic shape co-evolve. In this talk, I will therefore discuss the interactions between order and shape evolution with examples primarily drawn from my group's work on emulsions, liquid crystals and other soft materials. All of these efforts draw upon mathematics, including finite elements, optimization theory and beyond.
 


'''[https://klotsagroup.wixsite.com/home Daphne Klotsa] (UNC Chapel Hill)'''
Abstract: Soft materials are ubiquitous in everyday life and are ideal candidates for advanced engineering applications including soft, biomimetic robots, self-building machines, shape-shifters, artificial muscles, and chemical delivery packages. In many of these, the material must make a dramatic change in shape with an accompanying re-ordering of the material; in others changes in the ordering can be used to drive or even interrupt shape change. To optimize the materials and structures, it is necessary to have a detailed understanding of how the microstructure and macroscopic shape co-evolve. In this talk, I will therefore discuss the interactions between order and shape evolution with examples primarily drawn from my group's work on emulsions, liquid crystals and other soft materials. All of these efforts draw upon mathematics, including finite elements, optimization theory and beyond.


''A touch of non-linearity: mesoscale swimmers and active matter in fluids''
=== Daphne Klotsa (UNC Chapel Hill) ===


Living matter, such as biological tissue, can be seen as a nonequilibrium hierarchical assembly of assemblies of smaller and smaller active components, where energy is consumed at many scales. The remarkable properties of such living or “active-matter” systems make them promising candidates to study and synthetically design. While many active-matter systems reside in fluids (solution, blood, ocean, air), so far, studies that include hydrodynamic interactions have focussed on microscopic scales in Stokes flows. At those microscopic scales viscosity dominates, and inertia can be neglected. What happens as swimmers slightly increase in size (say ~0.1mm-100cm) or as they form larger aggregates and swarms? The system then enters the intermediate Reynolds regime where both inertia and viscosity play a role, and where nonlinearities are introduced in the fluid. In this talk, I will present a simple model swimmer used to understand the transition from Stokes to intermediate Reynolds numbers, first for a single swimmer, then for pairwise interactions and finally for collective behavior. We show that, even for a simple model, inertia can induce hydrodynamic interactions that generate novel phase behavior, steady states and transitions.
Title: A touch of non-linearity: mesoscale swimmers and active matter in fluids


Abstract: Living matter, such as biological tissue, can be seen as a nonequilibrium hierarchical assembly of assemblies of smaller and smaller active components, where energy is consumed at many scales. The remarkable properties of such living or “active-matter” systems make them promising candidates to study and synthetically design. While many active-matter systems reside in fluids (solution, blood, ocean, air), so far, studies that include hydrodynamic interactions have focussed on microscopic scales in Stokes flows. At those microscopic scales viscosity dominates, and inertia can be neglected. What happens as swimmers slightly increase in size (say ~0.1mm-100cm) or as they form larger aggregates and swarms? The system then enters the intermediate Reynolds regime where both inertia and viscosity play a role, and where nonlinearities are introduced in the fluid. In this talk, I will present a simple model swimmer used to understand the transition from Stokes to intermediate Reynolds numbers, first for a single swimmer, then for pairwise interactions and finally for collective behavior. We show that, even for a simple model, inertia can induce hydrodynamic interactions that generate novel phase behavior, steady states and transitions.


'''[https://scholar.google.ca/citations?user=CRlA-sEAAAAJ&hl=en&oi=sra Adam Stinchcombe] (U Toronto)'''
=== Adam Stinchcombe (U Toronto) ===


''A simulation of the electrical activity of retinal tissue and electroretinogram design''
Title: A simulation of the electrical activity of retinal tissue and electroretinogram design


An electroretinogram (ERG) is a diagnostic test that measures the electrical activity of the neuronal cells of the retina. A light stimulus causes transmembrane currents in the photoreceptors (the rods and cones) and in the other retinal neurons via synaptic connections with the photoreceptors. These currents are detected by electrodes on the surface of the eye. We use an extended bidomain framework to model the whole-tissue electrical activity of the retina. Detailed ionic current models of the rods, cones, and bipolar cells, including the phototransduction pathway and the neuronal connectivity of the retina, are coupled to an elliptic PDE for the electrostatic potential inside the interior of the eye. To numerically integrate the stiff dynamics, we employ an adaptive time-stepping routine, a Newton iteration, and an efficient spatial discretization of the PDE. The simulation provides a physical basis for the a-waves in ERG recordings used by ophthalmologists to diagnose disease. For ERG recordings indicative of disease, we solve an inverse problem to infer a biophysical basis of the retinal disease. We solve a numerical optimal control problem to design a light stimulus to produce an efficient, patient-specific, and adaptive diagnosis procedure.
Abstract: An electroretinogram (ERG) is a diagnostic test that measures the electrical activity of the neuronal cells of the retina. A light stimulus causes transmembrane currents in the photoreceptors (the rods and cones) and in the other retinal neurons via synaptic connections with the photoreceptors. These currents are detected by electrodes on the surface of the eye. We use an extended bidomain framework to model the whole-tissue electrical activity of the retina. Detailed ionic current models of the rods, cones, and bipolar cells, including the phototransduction pathway and the neuronal connectivity of the retina, are coupled to an elliptic PDE for the electrostatic potential inside the interior of the eye. To numerically integrate the stiff dynamics, we employ an adaptive time-stepping routine, a Newton iteration, and an efficient spatial discretization of the PDE. The simulation provides a physical basis for the a-waves in ERG recordings used by ophthalmologists to diagnose disease. For ERG recordings indicative of disease, we solve an inverse problem to infer a biophysical basis of the retinal disease. We solve a numerical optimal control problem to design a light stimulus to produce an efficient, patient-specific, and adaptive diagnosis procedure.

Latest revision as of 01:37, 3 January 2024

ACMS Abstracts: Fall 2023

Erik Bollt (Clarkson University)

Title: A New View on Integrability: On Matching Dynamical Systems through Koopman Operator Eigenfunctions

Abstract: Matching dynamical systems, through different forms of conjugacies and equivalences, has long been a fundamental concept, and a powerful tool, in the study and classification of non- linear dynamic behavior (e.g. through normal forms). In this presentation we will argue that the use of the Koopman operator and its spectrum are particularly well suited for this endeavor, both in theory, but also especially in view of recent data-driven machine learning algorithmic developments. Recall that the Koopman operator describes the dynamics of observation functions along a flow or map, and it is formally the adjoint of the Frobenius-Perrron operator that describes evolution of densities of ensembles of initial conditions. The Koopman operator has a long theoretical tradition but it has recently become extremely popular through numerical methods such as dynamic mode decomposition (DMD) and variants, for applied problems such as coherence and also in control theory. We demonstrate through illustrative examples that we can nontrivially extend the applicability of the Koopman spectral theoretical and computational machinery beyond modeling and prediction, towards a systematic discovery of rectifying integrability coordinate transformations.

John Schotland (Yale University)

Title: Nonlocal PDEs and Quantum Optics

Abstract: Quantum optics is the quantum theory of the interaction of light and matter. In this talk, I will describe a real-space formulation of quantum electrodynamics with applications to many body problems. The goal is to understand the transport of nonclassical states of light in random media. In this setting, there is a close relation to kinetic equations for nonlocal PDEs with random coefficients.

Balazs Boros (U Vienna)

Title: Oscillatory mass-action systems

Abstract: Mass-action differential equations are probably the most common mathematical models in biochemistry, cell biology, and population dynamics. Since oscillatory behavior is ubiquitous in nature, there are several papers (starting with Alfred Lotka) that deal with showing the existence of periodic solutions in mass-action systems. The standard way of proving the existence of a limit cycle in a high-dimensional system is via Andronov-Hopf bifurcation. In this talk, we recall some specific oscillatory models (like glycolysis or phosphorylation), as well as more recent results that aim to systematically classify small mass-action reaction networks that admit an Andronov-Hopf bifurcation.

Peter Jan van Leeuwen (Colorado State University)

Title: Nonlinear Causal Discovery, with applications to atmospheric science

Abstract: Understanding cause and effect relations in complex systems is one of the main goals of scientific research. Ideally, one sets up controlled experiments in which different potential drivers are varied to infer their influence on a target variable. However, this procedure is impossible in many systems, for example the atmosphere, where nature is doing one experiment for us. An alternative is to build a detailed computer model of the system, and perform controlled experiments in model world. An issue there is that one can only control external drivers, because controlling an internal variable would kill all feedbacks to that variable, resulting in a study of ‘a different planet’. Because many natural systems cannot be controlled, or only partially, we focus on causal discovery in systems that are non-intervenable. I will describe a non-linear causal discovery framework that is based on (conditional) mutual information. It will be shown that conventional analysis of causal relations via so-called Directed Acyclic Graphs (DAGs, se e.g. Pearl and others) is not suitable for nonlinear systems, and an extension is provided that allows for interacting drivers. I prove that the interacting contributions and interaction informations, and provide a solid interpretation of those, in terms of buffering, hampering, and positive feedbacks. Also ways to infer completeness of the causal networks will be discussed, as well as causal relations that are invisible to our framework. The framework will be applied to simple idealized cloud models, and to real very detailed ground-based remote-sensing observations of cloud properties, where we contrast the causal structure of precipitating and non-precipitation strato-cumulus clouds.

Polly Yu (Harvard)

Title: A Spatiotemporal Model of GPCR-G protein Interactions

Abstract: G-protein coupled receptors (GPCRs) is a class of transmembrane receptors important to many signalling pathways and a common drug target. As its name suggests, the receptor, once activated, binds to a G-protein. Recent experiments suggests that GPCRs form dense tiny clusters. What are the effects of these "hotspots" on signalling kinetics? I will introduce a semi-empirical spatiotemporal model for GPCR-G protein interactions, and present some numerical evidence for how these clusters might locally increase signalling speed.

Da Yang (University of Chicago)

Title: The Incredible Lightness of Water Vapor

Abstract: Conventional wisdom suggests that warm air rises while cold air sinks. However, recent satellite observations show that, on average, rising air is colder than sinking air in the tropical free troposphere. This is due to the buoyancy effect of water vapor: the molar mass of water vapor is less than that of dry air, making humid air lighter than dry air at the same temperature and pressure. Unfortunately, this vapor buoyancy effect has been considered negligibly small and thereby overlooked in large-scale climate dynamics. Here we use theory, reanalysis data, and a hierarchy of climate models to show that vapor buoyancy has a similar magnitude to thermal buoyancy in the tropical free troposphere. As a result, cold air rises in the tropical free troposphere. We further show that vapor buoyancy enhances thermal radiation, increases subtropical stratiform low clouds, favors convective aggregation, and stabilizes Earth’s climate. However, some state-of-the-art climate models fail to represent vapor buoyancy properly. This flaw leads to inaccurate simulations of cloud distributions—the largest uncertainty in predicting climate change. Implications of our results on paleoclimate and planetary habitability will also be discussed.

Jiaxin Jin (The Ohio State University)

Title: On the Dimension of the R-Disguised Toric Locus of a Reaction Network

Abstract: The properties of general polynomial dynamical systems can be very difficult to analyze, due to nonlinearity, bifurcations, and the possibility for chaotic dynamics. On the other hand, toric dynamical systems are polynomial dynamical systems that appear naturally as models of reaction networks and have very robust and stable properties. A disguised toric dynamical system is a polynomial dynamical system generated by a reaction network and some choice of positive parameters, such that it has a toric realization with respect to some other network. Disguised toric dynamical systems enjoy all the robust stability properties of toric dynamical systems. In this project, we study a larger set of dynamical systems where the rate constants are allowed to take both positive and negative values. More precisely, we analyze the R-disguised toric locus of a reaction network, i.e., the subset in the space rate constants (positive or negative) for which the corresponding polynomial dynamical system is disguised toric. In particular, we construct homeomorphisms to provide an exact bound on the dimension of the R-disguised toric locus.

Yuehaw Khoo (Chicago)

Title: Randomized tensor-network algorithms for random data in high-dimensions

Abstract: Tensor-network ansatz has long been employed to solve the high-dimensional Schrödinger equation, demonstrating linear complexity scaling with respect to dimensionality. Recently, this ansatz has found applications in various machine learning scenarios, including supervised learning and generative modeling, where the data originates from a random process. In this talk, we present a new perspective on randomized linear algebra, showcasing its usage in estimating a density as a tensor-network from i.i.d. samples of a distribution, without the curse of dimensionality, and without the use of optimization techniques. Moreover, we illustrate how this concept can combine the strengths of particle and tensor-network methods for solving high-dimensional PDEs, resulting in enhanced flexibility for both approaches.

Shukai Du (UW)

Title: Element learning: a systematic approach of accelerating finite element-type methods via machine learning, with applications to radiative transfer

Abstract: In the past decade, (artificial) neural networks and machine learning tools have surfaced as game changing technologies across numerous fields, resolving an array of challenging problems. Even for the numerical solution of partial differential equations (PDEs) or other scientific computing problems, results have shown that machine learning can speed up some computations. However, many machine learning approaches tend to lose some of the advantageous features of traditional numerical PDE methods, such as interpretability and applicability to general domains with complex geometry.

In this talk, we introduce a systematic approach (which we call element learning) with the goal of accelerating finite element-type methods via machine learning, while also retaining the desirable features of finite element methods. The derivation of this new approach is closely related to hybridizable discontinuous Galerkin (HDG) methods in the sense that the local solvers of HDG are replaced by machine learning approaches. Numerical tests are presented for an example PDE, the radiative transfer equation, in a variety of scenarios with idealized or realistic cloud fields, with smooth or sharp gradient in the cloud boundary transition. Comparisons are set up with either a fixed number of degrees of freedom or a fixed accuracy level of $10^{-3}$ in the relative $L^2$ error, and we observe a significant speed-up with element learning compared to a classical finite element-type method. Reference: arxiv: 2308.02467

Lise-Marie Imbert-Gérard (University of Arizona)

Title: Wave propagation in inhomogeneous media with quasi-Trefftz methods

Abstract: Trefftz methods rely, in broad terms, on the idea of approximating solutions to Partial Differential Equation (PDEs) via Galerkin methods using basis functions which are exact solutions of the PDE, making explicit use of information about the ambient medium. But wave propagation in inhomogeneous media is modeled by PDEs with variable coefficients, and in general no exact solutions are available.

Quasi-Trefftz methods have been introduced, in the case of the Helmholtz equation with variable coefficients, to address this problem: they rely not on exact solutions to the PDE but instead of high order approximate solutions constructed locally. We will discuss the origin, the construction, and the properties of these so-called quasi-Trefftz functions. We will also discuss the consistency error introduced by this construction process.

Timothy Atherton (Tufts University)

Title: Shape optimization and shapeshifting in soft matter

Abstract: Soft materials are ubiquitous in everyday life and are ideal candidates for advanced engineering applications including soft, biomimetic robots, self-building machines, shape-shifters, artificial muscles, and chemical delivery packages. In many of these, the material must make a dramatic change in shape with an accompanying re-ordering of the material; in others changes in the ordering can be used to drive or even interrupt shape change. To optimize the materials and structures, it is necessary to have a detailed understanding of how the microstructure and macroscopic shape co-evolve. In this talk, I will therefore discuss the interactions between order and shape evolution with examples primarily drawn from my group's work on emulsions, liquid crystals and other soft materials. All of these efforts draw upon mathematics, including finite elements, optimization theory and beyond.

Daphne Klotsa (UNC Chapel Hill)

Title: A touch of non-linearity: mesoscale swimmers and active matter in fluids

Abstract: Living matter, such as biological tissue, can be seen as a nonequilibrium hierarchical assembly of assemblies of smaller and smaller active components, where energy is consumed at many scales. The remarkable properties of such living or “active-matter” systems make them promising candidates to study and synthetically design. While many active-matter systems reside in fluids (solution, blood, ocean, air), so far, studies that include hydrodynamic interactions have focussed on microscopic scales in Stokes flows. At those microscopic scales viscosity dominates, and inertia can be neglected. What happens as swimmers slightly increase in size (say ~0.1mm-100cm) or as they form larger aggregates and swarms? The system then enters the intermediate Reynolds regime where both inertia and viscosity play a role, and where nonlinearities are introduced in the fluid. In this talk, I will present a simple model swimmer used to understand the transition from Stokes to intermediate Reynolds numbers, first for a single swimmer, then for pairwise interactions and finally for collective behavior. We show that, even for a simple model, inertia can induce hydrodynamic interactions that generate novel phase behavior, steady states and transitions.

Adam Stinchcombe (U Toronto)

Title: A simulation of the electrical activity of retinal tissue and electroretinogram design

Abstract: An electroretinogram (ERG) is a diagnostic test that measures the electrical activity of the neuronal cells of the retina. A light stimulus causes transmembrane currents in the photoreceptors (the rods and cones) and in the other retinal neurons via synaptic connections with the photoreceptors. These currents are detected by electrodes on the surface of the eye. We use an extended bidomain framework to model the whole-tissue electrical activity of the retina. Detailed ionic current models of the rods, cones, and bipolar cells, including the phototransduction pathway and the neuronal connectivity of the retina, are coupled to an elliptic PDE for the electrostatic potential inside the interior of the eye. To numerically integrate the stiff dynamics, we employ an adaptive time-stepping routine, a Newton iteration, and an efficient spatial discretization of the PDE. The simulation provides a physical basis for the a-waves in ERG recordings used by ophthalmologists to diagnose disease. For ERG recordings indicative of disease, we solve an inverse problem to infer a biophysical basis of the retinal disease. We solve a numerical optimal control problem to design a light stimulus to produce an efficient, patient-specific, and adaptive diagnosis procedure.