-
Chase-and-Run and Chirality in Nonlocal Models of Pattern Formation
Authors:
Thomas Jun Jewell,
Andrew L. Krause,
Philip K. Maini,
Eamonn A. Gaffney
Abstract:
Chase-and-run dynamics, in which one population pursues another that flees from it, are found throughout nature, from predator-prey interactions in ecosystems to the collective motion of cells during development. Intriguingly, in many of these systems, the movement is not straight; instead, 'runners' veer off at an angle from their pursuers. This angled movement often exhibits a consistent left-ri…
▽ More
Chase-and-run dynamics, in which one population pursues another that flees from it, are found throughout nature, from predator-prey interactions in ecosystems to the collective motion of cells during development. Intriguingly, in many of these systems, the movement is not straight; instead, 'runners' veer off at an angle from their pursuers. This angled movement often exhibits a consistent left-right asymmetry, known as lateralisation or chirality. Inspired by such phenomena in zebrafish skin patterns and evasive animal motion, we explore how chirality shapes the emergence of patterns in nonlocal (integro-differential) advection-diffusion models. We extend such models to allow movement at arbitrary angles, uncovering a rich landscape of behaviours. We find that chirality can enhance pattern formation, suppress oscillations, and give rise to entirely new dynamical structures, such as rotating pulses of chasers and runners. We also uncover how chase-and-run dynamics can cause populations to mix or separate. Through linear stability analysis, we identify physical mechanisms that drive some of these effects, whilst also exposing striking limitations of this theory in capturing more complex dynamics. Our findings suggest that chirality could have roles in ecological and cellular patterning beyond simply breaking left-right symmetry.
△ Less
Submitted 22 May, 2025;
originally announced May 2025.
-
Integral Asymptotics, Coalescing Saddles, and Multiple-scales Analysis of a Generalised Swift-Hohenberg Equation
Authors:
Václav Klika,
Mohit P. Dalwadi,
Andrew L. Krause,
Eamonn A. Gaffney
Abstract:
Integral asymptotics play an important role in the analysis of differential equations and in a variety of other settings. In this work, we apply an integral asymptotics approach to study spatially localized solutions of a heterogeneous generalised Swift-Hohenberg equation. The outer solution is obtained via WKBJ asymptotics, while the inner solution requires the method of coalescing saddles. We mo…
▽ More
Integral asymptotics play an important role in the analysis of differential equations and in a variety of other settings. In this work, we apply an integral asymptotics approach to study spatially localized solutions of a heterogeneous generalised Swift-Hohenberg equation. The outer solution is obtained via WKBJ asymptotics, while the inner solution requires the method of coalescing saddles. We modify the classic method of Chester et al. to account for additional technicalities, such as complex branch selection and local transformation to a cubic polynomial. By integrating our results, we construct an approximate global solution to the generalised Swift-Hohenberg problem and validate it against numerical contour integral solutions. We also demonstrate an alternative approach that circumvents the complexity of integral asymptotics by analyzing the original differential equation directly through a multiple-scales analysis and show that this generates the same leading-order inner solution obtained using the coalescing saddles method at least for one of the cases considered via integral asymptotics. Our findings reinforce the significance of integral asymptotics in approximating the fourth order differential equations found in the linear stability analysis for generalisations of the Swift Hohenberg equations. This study has also highlighted a conjecture that, in certain cases, the method of coalescing saddles can be systematically replaced by multiple-scales analysis using an intermediary differential equation, a hypothesis for future investigation.
△ Less
Submitted 29 March, 2025;
originally announced March 2025.
-
Pattern Formation as a Resilience Mechanism in Cancer Immunotherapy
Authors:
Molly Brennan,
Andrew L. Krause,
Edgardo Villar-Sepúlveda,
Christopher B. Prior
Abstract:
Mathematical and computational modelling in oncology has played an increasingly important role in not only understanding the impact of various approaches to treatment on tumour growth, but in optimizing dosing regimens and aiding the development of treatment strategies. However, as with all modelling, only an approximation is made in the description of the biological and physical system. Here we s…
▽ More
Mathematical and computational modelling in oncology has played an increasingly important role in not only understanding the impact of various approaches to treatment on tumour growth, but in optimizing dosing regimens and aiding the development of treatment strategies. However, as with all modelling, only an approximation is made in the description of the biological and physical system. Here we show that tissue-scale spatial structure can have a profound impact on the resilience of tumours to immunotherapy using a classical model incorporating IL-2 compounds and effector cells as treatment parameters. Using linear stability analysis, numerical continuation, and direct simulations, we show that diffusing cancer cell populations can undergo pattern-forming (Turing) instabilities, leading to spatially-structured states that persist far into treatment regimes where the corresponding spatially homogeneous systems would uniformly predict a cancer-free state. These spatially-patterned states persist in a wide range of parameters, as well as under time-dependent treatment regimes. Incorporating treatment via domain boundaries can increase this resistance to treatment in the interior of the domain, further highlighting the importance of spatial modelling when designing treatment protocols informed by mathematical models. Counter-intuitively, this mechanism shows that increased effector cell mobility can increase the resilience of tumours to treatment. We conclude by discussing practical and theoretical considerations for understanding this kind of spatial resilience in other models of cancer treatment, in particular those incorporating more realistic spatial transport.
△ Less
Submitted 2 July, 2025; v1 submitted 26 March, 2025;
originally announced March 2025.
-
Hyperbolic Handlebody Complements in 3-Manifolds
Authors:
Colin Adams,
Francisco Gomez-Paz,
Jiachen Kang,
Lukas Krause,
Gregory Li,
Chloe Marple,
Ziwei Tan
Abstract:
Let $M_0$ be a compact and orientable 3-manifold. After capping off spherical boundaries with balls and removing any torus boundaries, we prove that the resulting manifold $M$ contains handlebodies of arbitrary genus such that the closure of their complement is hyperbolic. We then extend the octahedral decomposition to obtain bounds on volume for some of these handlebody complements.
Let $M_0$ be a compact and orientable 3-manifold. After capping off spherical boundaries with balls and removing any torus boundaries, we prove that the resulting manifold $M$ contains handlebodies of arbitrary genus such that the closure of their complement is hyperbolic. We then extend the octahedral decomposition to obtain bounds on volume for some of these handlebody complements.
△ Less
Submitted 31 January, 2025;
originally announced January 2025.
-
Transient Instability and Patterns of Reactivity in Diffusive-Chemotaxis Soil Carbon Dynamics
Authors:
Fasma Diele,
Andrew L. Krause,
Deborah Lacitignola,
Carmela Marangi,
Angela Monti,
Edgardo Villar-Sepúlveda
Abstract:
We study pattern formation in a chemotaxis model of bacteria and soil carbon dynamics as an example system where transient dynamics can give rise to pattern formation outside of Turing unstable regimes. We use a detailed analysis of the reactivity of the non-spatial and spatial dynamics, stability analyses, and numerical continuation to uncover detailed aspects of this system's pattern-forming pot…
▽ More
We study pattern formation in a chemotaxis model of bacteria and soil carbon dynamics as an example system where transient dynamics can give rise to pattern formation outside of Turing unstable regimes. We use a detailed analysis of the reactivity of the non-spatial and spatial dynamics, stability analyses, and numerical continuation to uncover detailed aspects of this system's pattern-forming potential. In addition to patterning in Turing unstable parameter regimes, reactivity of the spatial system can itself lead to a range of parameters where a spatially uniform state is asymptotically stable, but exhibits transient growth that can induce pattern formation. We show that this occurs in the bistable region of a subcritical Turing bifurcation. Intriguingly, such bistable regions appear in two spatial dimensions, but not in a one-dimensional domain, suggesting important interplays between geometry, transient growth, and the emergence of multistable patterns. We discuss the implications of our analysis for the bacterial soil organic carbon system, as well as for reaction-transport modelling more generally.
△ Less
Submitted 29 May, 2025; v1 submitted 15 January, 2025;
originally announced January 2025.
-
Hyperbolicity and Volume of Hyperbolic Bongles
Authors:
Colin Adams,
Francisco Gomez-Paz,
Jiachen Kang,
Lukas Krause,
Gregory Li,
Reyna Li,
Chloe Marple,
Ziwei Tan
Abstract:
We consider a simple but infinite class of staked links known as bongles. We provide necessary and sufficient conditions for these bongles to be hyperbolic. Then, we prove that all balanced hyperbolic $n$-bongles have the same volume and the corresponding volume is an upper bound on the volume of any hyperbolic $n$-bongle for $n$ even. Moreover, all hyperbolic $n$-bongles have volume strictly less…
▽ More
We consider a simple but infinite class of staked links known as bongles. We provide necessary and sufficient conditions for these bongles to be hyperbolic. Then, we prove that all balanced hyperbolic $n$-bongles have the same volume and the corresponding volume is an upper bound on the volume of any hyperbolic $n$-bongle for $n$ even. Moreover, all hyperbolic $n$-bongles have volume strictly less than $5n(1.01494\dots)$. We also include explicit volume calculations for all hyperbolic 3-bongles through 6-bongles.
△ Less
Submitted 4 January, 2025;
originally announced January 2025.
-
Pattern Localisation in Swift-Hohenberg via Slowly Varying Spatial Heterogeneity
Authors:
Andrew L. Krause,
Václav Klika,
Edgardo Villar-Sepúveda,
Alan R. Champneys,
Eamonn A. Gaffney
Abstract:
Theories of localised pattern formation are important to understand a broad range of natural patterns, but are less well-understood than more established mechanisms of domain-filling pattern formation. Here, we extend recent work on pattern localisation via slow spatial heterogeneity in reaction-diffusion systems to the Swift-Hohenberg equation. We use a WKB asymptotic approach to show that, in th…
▽ More
Theories of localised pattern formation are important to understand a broad range of natural patterns, but are less well-understood than more established mechanisms of domain-filling pattern formation. Here, we extend recent work on pattern localisation via slow spatial heterogeneity in reaction-diffusion systems to the Swift-Hohenberg equation. We use a WKB asymptotic approach to show that, in the limit of a large domain and slowly varying heterogeneity, conditions for Turing-type linear instability localise in a simple way, with the spatial variable playing the role of a parameter. For nonlinearities locally corresponding to supercritical bifurcations in the spatially homogeneous system, this analysis asymptotically predicts regions where patterned states are confined, which we confirm numerically. We resolve the inner region of this asymptotic approach, finding excellent agreement with the tails of these confined pattern regions. In the locally subcritical case, however, this theory is insufficient to fully predict such confined regions, and so we propose an approach based on numerical continuation of a local homogeneous analog system. Pattern localisation in the heterogeneous system can then be determined based on the Maxwell point of this system, with the spatial variable parameterizing this point. We compare this theory of localisation via spatial heterogeneity to localised patterns arising from homoclinic snaking, and suggest a way to distinguish between different localisation mechanisms in natural systems based on how these structures decay to the background state (i.e. how their tails decay). We also explore cases where both of these local theories of pattern formation fail to capture the interaction between spatial heterogeneity and underlying pattern-forming mechanisms, suggesting that more work needs to be done to fully disentangle exogenous and intrinsic heterogeneity.
△ Less
Submitted 19 September, 2024;
originally announced September 2024.
-
Designing reaction-cross-diffusion systems with Turing and wave instabilities
Authors:
Edgardo Villar-Sepúlveda,
Alan R. Champneys,
Andrew L. Krause
Abstract:
General conditions are established under which reaction-cross-diffusion systems can undergo spatiotemporal pattern-forming instabilities. Recent work has focused on designing systems theoretically and experimentally to exhibit patterns with specific features, but the case of non-diagonal diffusion matrices has yet to be analysed. Here, a framework is presented for the design of general $n$-compone…
▽ More
General conditions are established under which reaction-cross-diffusion systems can undergo spatiotemporal pattern-forming instabilities. Recent work has focused on designing systems theoretically and experimentally to exhibit patterns with specific features, but the case of non-diagonal diffusion matrices has yet to be analysed. Here, a framework is presented for the design of general $n$-component reaction-cross-diffusion systems that exhibit Turing and wave instabilities of a given wavelength. For a fixed set of reaction kinetics, it is shown how to choose diffusion matrices that produce each instability; conversely, for a given diffusion tensor, how to choose linearised kinetics. The theory is applied to several examples including a hyperbolic reaction-diffusion system, two different 3-component models, and a spatio-temporal version of the Ross-Macdonald model for the spread of malaria.
△ Less
Submitted 10 September, 2024;
originally announced September 2024.
-
AI Alignment through Reinforcement Learning from Human Feedback? Contradictions and Limitations
Authors:
Adam Dahlgren Lindström,
Leila Methnani,
Lea Krause,
Petter Ericson,
Íñigo Martínez de Rituerto de Troya,
Dimitri Coelho Mollo,
Roel Dobbe
Abstract:
This paper critically evaluates the attempts to align Artificial Intelligence (AI) systems, especially Large Language Models (LLMs), with human values and intentions through Reinforcement Learning from Feedback (RLxF) methods, involving either human feedback (RLHF) or AI feedback (RLAIF). Specifically, we show the shortcomings of the broadly pursued alignment goals of honesty, harmlessness, and he…
▽ More
This paper critically evaluates the attempts to align Artificial Intelligence (AI) systems, especially Large Language Models (LLMs), with human values and intentions through Reinforcement Learning from Feedback (RLxF) methods, involving either human feedback (RLHF) or AI feedback (RLAIF). Specifically, we show the shortcomings of the broadly pursued alignment goals of honesty, harmlessness, and helpfulness. Through a multidisciplinary sociotechnical critique, we examine both the theoretical underpinnings and practical implementations of RLxF techniques, revealing significant limitations in their approach to capturing the complexities of human ethics and contributing to AI safety. We highlight tensions and contradictions inherent in the goals of RLxF. In addition, we discuss ethically-relevant issues that tend to be neglected in discussions about alignment and RLxF, among which the trade-offs between user-friendliness and deception, flexibility and interpretability, and system safety. We conclude by urging researchers and practitioners alike to critically assess the sociotechnical ramifications of RLxF, advocating for a more nuanced and reflective approach to its application in AI development.
△ Less
Submitted 26 June, 2024;
originally announced June 2024.
-
Learning to Control Emulated Muscles in Real Robots: Towards Exploiting Bio-Inspired Actuator Morphology
Authors:
Pierre Schumacher,
Lorenz Krause,
Jan Schneider,
Dieter Büchler,
Georg Martius,
Daniel Haeufle
Abstract:
Recent studies have demonstrated the immense potential of exploiting muscle actuator morphology for natural and robust movement -- in simulation. A validation on real robotic hardware is yet missing. In this study, we emulate muscle actuator properties on hardware in real-time, taking advantage of modern and affordable electric motors. We demonstrate that our setup can emulate a simplified muscle…
▽ More
Recent studies have demonstrated the immense potential of exploiting muscle actuator morphology for natural and robust movement -- in simulation. A validation on real robotic hardware is yet missing. In this study, we emulate muscle actuator properties on hardware in real-time, taking advantage of modern and affordable electric motors. We demonstrate that our setup can emulate a simplified muscle model on a real robot while being controlled by a learned policy. We improve upon an existing muscle model by deriving a damping rule that ensures that the model is not only performant and stable but also tuneable for the real hardware. Our policies are trained by reinforcement learning entirely in simulation, where we show that previously reported benefits of muscles extend to the case of quadruped locomotion and hopping: the learned policies are more robust and exhibit more regular gaits. Finally, we confirm that the learned policies can be executed on real hardware and show that sim-to-real transfer with real-time emulated muscles on a quadruped robot is possible. These results show that artificial muscles can be highly beneficial actuators for future generations of robust legged robots.
△ Less
Submitted 7 February, 2024;
originally announced February 2024.
-
Interdependent Total Factor Productivity in an Input-Output model
Authors:
Thomas M. Bombarde,
Andrew L. Krause
Abstract:
Industries learn productivity improvements from their suppliers. The observed empirical importance of these interactions, often omitted by input-output models, mandates larger attention. This article embeds interdependent total factor productivity (TFP) growth into a general non-parametric input-output model. TFP growth is assumed to be Cobb-Douglas in TFP-stocks of adjacent sectors, where elastic…
▽ More
Industries learn productivity improvements from their suppliers. The observed empirical importance of these interactions, often omitted by input-output models, mandates larger attention. This article embeds interdependent total factor productivity (TFP) growth into a general non-parametric input-output model. TFP growth is assumed to be Cobb-Douglas in TFP-stocks of adjacent sectors, where elasticities are the input-output coefficients. Studying how the steady state of the system reacts to changes in research effort bears insight for policy and the input-output literature. First, industries higher in the supply chain see a greater multiplication of their productivity gains. Second, the presence of `laggard' industries can bottleneck the the rest of the economy. By deriving these insights formally, we review a canonical method for aggregating TFP -- Hulten's Theorem -- and show the potential importance of backward linkages.
△ Less
Submitted 23 December, 2023;
originally announced December 2023.
-
PyDCM: Custom Data Center Models with Reinforcement Learning for Sustainability
Authors:
Avisek Naug,
Antonio Guillen,
Ricardo Luna Gutiérrez,
Vineet Gundecha,
Dejan Markovikj,
Lekhapriya Dheeraj Kashyap,
Lorenz Krause,
Sahand Ghorbanpour,
Sajad Mousavi,
Ashwin Ramesh Babu,
Soumyendu Sarkar
Abstract:
The increasing global emphasis on sustainability and reducing carbon emissions is pushing governments and corporations to rethink their approach to data center design and operation. Given their high energy consumption and exponentially large computational workloads, data centers are prime candidates for optimizing power consumption, especially in areas such as cooling and IT energy usage. A signif…
▽ More
The increasing global emphasis on sustainability and reducing carbon emissions is pushing governments and corporations to rethink their approach to data center design and operation. Given their high energy consumption and exponentially large computational workloads, data centers are prime candidates for optimizing power consumption, especially in areas such as cooling and IT energy usage. A significant challenge in this pursuit is the lack of a configurable and scalable thermal data center model that offers an end-to-end pipeline. Data centers consist of multiple IT components whose geometric configuration and heat dissipation make thermal modeling difficult. This paper presents PyDCM, a customizable Data Center Model implemented in Python, that allows users to create unique configurations of IT equipment with custom server specifications and geometric arrangements of IT cabinets. The use of vectorized thermal calculations makes PyDCM orders of magnitude faster (30 times) than current Energy Plus modeling implementations and scales sublinearly with the number of CPUs. Also, PyDCM enables the use of Deep Reinforcement Learning via the Gymnasium wrapper to optimize data center cooling and offers a user-friendly platform for testing various data center design prototypes.
△ Less
Submitted 26 March, 2024; v1 submitted 5 October, 2023;
originally announced October 2023.
-
Turing instabilities are not enough to ensure pattern formation
Authors:
Andrew L. Krause,
Eamonn A. Gaffney,
Thomas Jun Jewell,
Václav Klika,
Benjamin J. Walker
Abstract:
Symmetry-breaking instabilities play an important role in understanding the mechanisms underlying the diversity of patterns observed in nature, such as in Turing's reaction--diffusion theory, which connects cellular signalling and transport with the development of growth and form. Extensive literature focuses on the linear stability analysis of homogeneous equilibria in these systems, culminating…
▽ More
Symmetry-breaking instabilities play an important role in understanding the mechanisms underlying the diversity of patterns observed in nature, such as in Turing's reaction--diffusion theory, which connects cellular signalling and transport with the development of growth and form. Extensive literature focuses on the linear stability analysis of homogeneous equilibria in these systems, culminating in a set of conditions for transport-driven instabilities that are commonly presumed to initiate self-organisation. We demonstrate that a selection of simple, canonical transport models with only mild multistable non-linearities can satisfy the Turing instability conditions while also robustly exhibiting only transient patterns. Hence, a Turing-like instability is insufficient for the existence of a patterned state. \ak{While it is known that linear theory can fail to predict the formation of patterns, we demonstrate that such failures can appear robustly in systems with multiple stable homogeneous equilibria.} Given that biological systems \ak{such as} gene regulatory networks and spatially distributed ecosystems often exhibit a high degree of multistability and nonlinearity, this raises important questions of how to analyse prospective mechanisms for self-organisation.
△ Less
Submitted 21 December, 2023; v1 submitted 29 August, 2023;
originally announced August 2023.
-
VisualPDE: rapid interactive simulations of partial differential equations
Authors:
Benjamin J. Walker,
Adam K. Townsend,
Alexander K. Chudasama,
Andrew L. Krause
Abstract:
Computing has revolutionised the study of complex nonlinear systems, both by allowing us to solve previously intractable models and through the ability to visualise solutions in different ways. Using ubiquitous computing infrastructure, we provide a means to go one step further in using computers to understand complex models through instantaneous and interactive exploration. This ubiquitous infras…
▽ More
Computing has revolutionised the study of complex nonlinear systems, both by allowing us to solve previously intractable models and through the ability to visualise solutions in different ways. Using ubiquitous computing infrastructure, we provide a means to go one step further in using computers to understand complex models through instantaneous and interactive exploration. This ubiquitous infrastructure has enormous potential in education, outreach and research. Here, we present VisualPDE, an online, interactive solver for a broad class of 1D and 2D partial differential equation (PDE) systems. Abstract dynamical systems concepts such as symmetry-breaking instabilities, subcritical bifurcations and the role of initial data in multistable nonlinear models become much more intuitive when you can play with these models yourself, and immediately answer questions about how the system responds to changes in parameters, initial conditions, boundary conditions or even spatiotemporal forcing. Importantly, VisualPDE is freely available, open source and highly customisable. We give several examples in teaching, research and knowledge exchange, providing high-level discussions of how it may be employed in different settings. This includes designing web-based course materials structured around interactive simulations, or easily crafting specific simulations that can be shared with students or collaborators via a simple URL. We envisage VisualPDE becoming an invaluable resource for teaching and research in mathematical biology and beyond. We also hope that it inspires other efforts to make mathematics more interactive and accessible.
△ Less
Submitted 16 October, 2023; v1 submitted 2 August, 2023;
originally announced August 2023.
-
Leveraging Few-Shot Data Augmentation and Waterfall Prompting for Response Generation
Authors:
Lea Krause,
Selene Báez Santamaría,
Michiel van der Meer,
Urja Khurana
Abstract:
This paper discusses our approaches for task-oriented conversational modelling using subjective knowledge, with a particular emphasis on response generation. Our methodology was shaped by an extensive data analysis that evaluated key factors such as response length, sentiment, and dialogue acts present in the provided dataset. We used few-shot learning to augment the data with newly generated subj…
▽ More
This paper discusses our approaches for task-oriented conversational modelling using subjective knowledge, with a particular emphasis on response generation. Our methodology was shaped by an extensive data analysis that evaluated key factors such as response length, sentiment, and dialogue acts present in the provided dataset. We used few-shot learning to augment the data with newly generated subjective knowledge items and present three approaches for DSTC11: (1) task-specific model exploration, (2) incorporation of the most frequent question into all generated responses, and (3) a waterfall prompting technique using a combination of both GPT-3 and ChatGPT.
△ Less
Submitted 2 August, 2023;
originally announced August 2023.
-
Current Tomography -- Localization of void fractions in conducting liquids by measuring the induced magnetic flux density
Authors:
L. Krause,
N. Kumar,
T. Wondrak,
S. Gumhold,
S. Eckert,
K. Eckert
Abstract:
A novel concept of a measurement technology for the localization and determination of the size of gas bubbles is presented, which is intended to contribute to a further understanding of the dynamics of efficiency-reducing gas bubbles in electrolyzers. A simplified proof-of-concept (POC) model is used to numerically simulate the electric current flow through materials with significant differences i…
▽ More
A novel concept of a measurement technology for the localization and determination of the size of gas bubbles is presented, which is intended to contribute to a further understanding of the dynamics of efficiency-reducing gas bubbles in electrolyzers. A simplified proof-of-concept (POC) model is used to numerically simulate the electric current flow through materials with significant differences in electrical conductivity. Through an automated approach, an extensive data set of electric current density and conductivity distributions is generated, complemented with determined magnetic flux densities in the surroundings of the POC cell at virtual sensor positions. The generated data set serves as testing data for various reconstruction approaches. Based on the measurable magnetic flux density, solving Biot-Savarts law inversely is demonstrated and discussed with a model-based solution of an optimization problem, of which the gas bubble locations are derived.
△ Less
Submitted 21 July, 2023;
originally announced July 2023.
-
Patterning of nonlocal transport models in biology: the impact of spatial dimension
Authors:
Thomas Jun Jewell,
Andrew L. Krause,
Philip K. Maini,
Eamonn A. Gaffney
Abstract:
Throughout developmental biology and ecology, transport can be driven by nonlocal interactions. Examples include cells that migrate based on contact with pseudopodia extended from other cells, and animals that move based on their vision of other animals. Nonlocal integro-PDE models have been used to investigate contact attraction and repulsion in cell populations in 1D. In this paper, we generalis…
▽ More
Throughout developmental biology and ecology, transport can be driven by nonlocal interactions. Examples include cells that migrate based on contact with pseudopodia extended from other cells, and animals that move based on their vision of other animals. Nonlocal integro-PDE models have been used to investigate contact attraction and repulsion in cell populations in 1D. In this paper, we generalise the analysis of pattern formation in such a model from 1D to higher spatial dimensions. Numerical simulations in 2D demonstrate complex behaviour in the model, including spatio-temporal patterns, multi-stability, and the selection of spots or stripes heavily depending on interactions being attractive or repulsive. Through linear stability analysis in $N$ dimensions, we demonstrate how, unlike in local Turing reaction-diffusion models, the capacity for pattern formation fundamentally changes with dimensionality for this nonlocal model. Most notably, pattern formation is possible only in higher than one spatial dimension for both the single species system with repulsive interactions, and the two species system with `run-and-chase' interactions. The latter case may be relevant to zebrafish stripe formation, which has been shown to be driven by run-and-chase dynamics between melanophore and xanthophore pigment cells.
△ Less
Submitted 6 July, 2023;
originally announced July 2023.
-
Learning to reconstruct the bubble distribution with conductivity maps using Invertible Neural Networks and Error Diffusion
Authors:
Nishant Kumar,
Lukas Krause,
Thomas Wondrak,
Sven Eckert,
Kerstin Eckert,
Stefan Gumhold
Abstract:
Electrolysis is crucial for eco-friendly hydrogen production, but gas bubbles generated during the process hinder reactions, reduce cell efficiency, and increase energy consumption. Additionally, these gas bubbles cause changes in the conductivity inside the cell, resulting in corresponding variations in the induced magnetic field around the cell. Therefore, measuring these gas bubble-induced magn…
▽ More
Electrolysis is crucial for eco-friendly hydrogen production, but gas bubbles generated during the process hinder reactions, reduce cell efficiency, and increase energy consumption. Additionally, these gas bubbles cause changes in the conductivity inside the cell, resulting in corresponding variations in the induced magnetic field around the cell. Therefore, measuring these gas bubble-induced magnetic field fluctuations using external magnetic sensors and solving the inverse problem of Biot-Savart Law allows for estimating the conductivity in the cell and, thus, bubble size and location. However, determining high-resolution conductivity maps from only a few induced magnetic field measurements is an ill-posed inverse problem. To overcome this, we exploit Invertible Neural Networks (INNs) to reconstruct the conductivity field. Our qualitative results and quantitative evaluation using random error diffusion show that INN achieves far superior performance compared to Tikhonov regularization.
△ Less
Submitted 28 March, 2024; v1 submitted 4 July, 2023;
originally announced July 2023.
-
Semantic Segmentation for Fully Automated Macrofouling Analysis on Coatings after Field Exposure
Authors:
Lutz M. K. Krause,
Emily Manderfeld,
Patricia Gnutt,
Louisa Vogler,
Ann Wassick,
Kailey Richard,
Marco Rudolph,
Kelli Z. Hunsucker,
Geoffrey W. Swain,
Bodo Rosenhahn,
Axel Rosenhahn
Abstract:
Biofouling is a major challenge for sustainable shipping, filter membranes, heat exchangers, and medical devices. The development of fouling-resistant coatings requires the evaluation of their effectiveness. Such an evaluation is usually based on the assessment of fouling progression after different exposure times to the target medium (e.g., salt water). The manual assessment of macrofouling requi…
▽ More
Biofouling is a major challenge for sustainable shipping, filter membranes, heat exchangers, and medical devices. The development of fouling-resistant coatings requires the evaluation of their effectiveness. Such an evaluation is usually based on the assessment of fouling progression after different exposure times to the target medium (e.g., salt water). The manual assessment of macrofouling requires expert knowledge about local fouling communities due to high variances in phenotypical appearance, has single-image sampling inaccuracies for certain species, and lacks spatial information. Here we present an approach for automatic image-based macrofouling analysis. We created a dataset with dense labels prepared from field panel images and propose a convolutional network (adapted U-Net) for the semantic segmentation of different macrofouling classes. The establishment of macrofouling localization allows for the generation of a successional model which enables the determination of direct surface attachment and in-depth epibiotic studies.
△ Less
Submitted 21 November, 2022;
originally announced November 2022.
-
Spatial Heterogeneity Localizes Turing Patterns in Reaction-Cross-Diffusion Systems
Authors:
Eamonn A. Gaffney,
Andrew L. Krause,
Philip K. Maini,
Chenyuan Wang
Abstract:
Motivated by bacterial chemotaxis and multi-species ecological interactions in heterogeneous environments, we study a general one-dimensional reaction-cross-diffusion system in the presence of spatial heterogeneity in both transport and reaction terms. Under a suitable asymptotic assumption that the transport is slow over the domain, while gradients in the reaction heterogeneity are not too sharp,…
▽ More
Motivated by bacterial chemotaxis and multi-species ecological interactions in heterogeneous environments, we study a general one-dimensional reaction-cross-diffusion system in the presence of spatial heterogeneity in both transport and reaction terms. Under a suitable asymptotic assumption that the transport is slow over the domain, while gradients in the reaction heterogeneity are not too sharp, we study the stability of a heterogeneous steady state approximated by the system in the absence of transport. Using a WKB ansatz, we find that this steady state can undergo a Turing-type instability in subsets of the domain, leading to the formation of localized patterns. The boundaries of the pattern-forming regions are given asymptotically by `local' Turing conditions corresponding to a spatially homogeneous analysis parameterized by the spatial variable. We developed a general open-source code which is freely available, and show numerical examples of this localized pattern formation in a Schnakenberg cross-diffusion system, a Keller-Segel chemotaxis model, and the Shigesada-Kawasaki-Teramoto model with heterogeneous parameters. We numerically show that the patterns may undergo secondary instabilities leading to spatiotemporal movement of spikes, though these remain approximately within the asymptotically predicted localized regions. This theory can elegantly differentiate between spatial structure due to background heterogeneity, from spatial patterns emergent from Turing-type instabilities.
△ Less
Submitted 6 March, 2023; v1 submitted 18 October, 2022;
originally announced October 2022.
-
Will It Blend? Mixing Training Paradigms & Prompting for Argument Quality Prediction
Authors:
Michiel van der Meer,
Myrthe Reuver,
Urja Khurana,
Lea Krause,
Selene Báez Santamaría
Abstract:
This paper describes our contributions to the Shared Task of the 9th Workshop on Argument Mining (2022). Our approach uses Large Language Models for the task of Argument Quality Prediction. We perform prompt engineering using GPT-3, and also investigate the training paradigms multi-task learning, contrastive learning, and intermediate-task training. We find that a mixed prediction setup outperform…
▽ More
This paper describes our contributions to the Shared Task of the 9th Workshop on Argument Mining (2022). Our approach uses Large Language Models for the task of Argument Quality Prediction. We perform prompt engineering using GPT-3, and also investigate the training paradigms multi-task learning, contrastive learning, and intermediate-task training. We find that a mixed prediction setup outperforms single models. Prompting GPT-3 works best for predicting argument validity, and argument novelty is best estimated by a model trained using all three training paradigms.
△ Less
Submitted 5 October, 2022; v1 submitted 19 September, 2022;
originally announced September 2022.
-
Concentration-Dependent Domain Evolution in Reaction-Diffusion Systems
Authors:
Andrew L. Krause,
Eamonn A. Gaffney,
Benjamin J. Walker
Abstract:
Pattern formation has been extensively studied in the context of evolving (time-dependent) domains in recent years, with domain growth implicated in ameliorating problems of pattern robustness and selection, in addition to more realistic modelling in developmental biology. Most work to date has considered prescribed domains evolving as given functions of time, but not the scenario of concentration…
▽ More
Pattern formation has been extensively studied in the context of evolving (time-dependent) domains in recent years, with domain growth implicated in ameliorating problems of pattern robustness and selection, in addition to more realistic modelling in developmental biology. Most work to date has considered prescribed domains evolving as given functions of time, but not the scenario of concentration-dependent dynamics, which is also highly relevant in a developmental setting. Here, we study such concentration-dependent domain evolution for reaction-diffusion systems to elucidate fundamental aspects of these more complex models. We pose a general form of one-dimensional domain evolution, and extend this to $N$-dimensional manifolds under mild constitutive assumptions in lieu of developing a full tissue-mechanical model. In the 1D case, we are able to extend linear stability analysis around homogeneous equilibria, though this is of limited utility in understanding complex pattern dynamics in fast growth regimes. We numerically demonstrate a variety of dynamical behaviours in 1D and 2D planar geometries, giving rise to several new phenomena, especially near regimes of critical bifurcation boundaries such as peak-splitting instabilities. For sufficiently fast growth and contraction, concentration-dependence can have an enormous impact on the nonlinear dynamics of the system both qualitatively and quantitatively. We highlight crucial differences between 1D evolution and higher dimensional models, explaining obstructions for linear analysis and underscoring the importance of careful constitutive choices in defining domain evolution in higher dimensions. We raise important questions in the modelling and analysis of biological systems, in addition to numerous mathematical questions that appear tractable in the one-dimensional setting, but are vastly more difficult for higher-dimensional models.
△ Less
Submitted 11 January, 2023; v1 submitted 5 September, 2022;
originally announced September 2022.
-
Fixed and Distributed Gene Expression Time Delays in Reaction-Diffusion Systems
Authors:
Alec Sargood,
Eamonn A. Gaffney,
Andrew L. Krause
Abstract:
Time delays, modelling the process of intracellular gene expression, have been shown to have important impacts on the dynamics of pattern formation in reaction-diffusion systems. In particular, past work has shown that such time delays can shrink the Turing space, thereby inhibiting patterns from forming across large ranges of parameters. Such delays can also increase the time taken for pattern fo…
▽ More
Time delays, modelling the process of intracellular gene expression, have been shown to have important impacts on the dynamics of pattern formation in reaction-diffusion systems. In particular, past work has shown that such time delays can shrink the Turing space, thereby inhibiting patterns from forming across large ranges of parameters. Such delays can also increase the time taken for pattern formation even when Turing instabilities occur. Here we consider reaction-diffusion models incorporating fixed or distributed time delays, modelling the underlying stochastic nature of gene expression dynamics, and analyze these through a systematic linear instability analysis and numerical simulations for several sets of different reaction kinetics. We find that even complicated distribution kernels (skewed Gaussian probability density functions) have little impact on the reaction-diffusion dynamics compared to fixed delays with the same mean delay. We show that the location of the delay terms in the model can lead to changes in the size of the Turing space (increasing or decreasing) as the mean time delay, $τ$, is increased. We show that the time to pattern formation from a perturbation of the homogeneous steady state scales linearly with $τ$, and conjecture that this is a general impact of time delay on reaction-diffusion dynamics, independent of the form of the kinetics or location of the delayed terms. Finally we show that while initial and boundary conditions can influence these dynamics, particularly the time-to-pattern, the effects of delay appear robust under variations of initial and boundary data. Overall our results help clarify the role of gene expression time delays in reaction-diffusion patterning, and suggest clear directions for further work in studying more realistic models of pattern formation.
△ Less
Submitted 25 June, 2022; v1 submitted 11 May, 2022;
originally announced May 2022.
-
Turing and wave instabilities in hyperbolic reaction-diffusion systems: The role of second-order time derivatives and cross-diffusion terms on pattern formation
Authors:
Joshua Ritchie,
Andrew L. Krause,
Robert A. Van Gorder
Abstract:
Hyperbolic reaction-diffusion equations have recently attracted attention both for their application to a variety of biological and chemical phenomena, and for their distinct features in terms of propagation speed and novel instabilities not present in classical two-species reaction-diffusion systems. We explore the onset of diffusive instabilities and resulting pattern formation for such systems.…
▽ More
Hyperbolic reaction-diffusion equations have recently attracted attention both for their application to a variety of biological and chemical phenomena, and for their distinct features in terms of propagation speed and novel instabilities not present in classical two-species reaction-diffusion systems. We explore the onset of diffusive instabilities and resulting pattern formation for such systems. Starting with a rather general formulation of the problem, we obtain necessary and sufficient conditions for the Turing and wave instabilities in such systems, thereby classifying parameter spaces for which these diffusive instabilities occur. We find that the additional temporal terms do not strongly modify the Turing patterns which form or parameters which admit them, but only their regions of existence. This is in contrast to the case of additional space derivatives, where past work has shown that resulting patterned structures are sensitive to second-order cross-diffusion and first-order advection. We also show that additional temporal terms are necessary for the emergence of spatiotemporal patterns under the wave instability. We find that such wave instabilities exist for parameters which are mutually exclusive to those parameters leading to stationary Turing patterns. This implies that wave instabilities may occur in cases where the activator diffuses faster than the inhibitor, leading to routes to spatial symmetry breaking in reaction-diffusion systems which are distinct from the well studied Turing case.
△ Less
Submitted 28 April, 2022;
originally announced April 2022.
-
Modern Perspectives on Near-Equilibrium Analysis of Turing Systems
Authors:
Andrew L. Krause,
Eamonn A. Gaffney,
Philip K. Maini,
Václav Klika
Abstract:
In the nearly seven decades since the publication of Alan Turing's work on morphogenesis, enormous progress has been made in understanding both the mathematical and biological aspects of his proposed reaction-diffusion theory. Some of these developments were nascent in Turing's paper, and others have been due to new insights from modern mathematical techniques, advances in numerical simulations, a…
▽ More
In the nearly seven decades since the publication of Alan Turing's work on morphogenesis, enormous progress has been made in understanding both the mathematical and biological aspects of his proposed reaction-diffusion theory. Some of these developments were nascent in Turing's paper, and others have been due to new insights from modern mathematical techniques, advances in numerical simulations, and extensive biological experiments. Despite such progress, there are still important gaps between theory and experiment, with many examples of biological patterning where the underlying mechanisms are still unclear. Here we review modern developments in the mathematical theory pioneered by Turing, showing how his approach has been generalized to a range of settings beyond the classical two-species reaction-diffusion framework, including evolving and complex manifolds, systems heterogeneous in space and time, and more general reaction-transport equations. While substantial progress has been made in understanding these more complicated models, there are many remaining challenges that we highlight throughout. We focus on the mathematical theory, and in particular linear stability analysis of `trivial' base states. We emphasise important open questions in developing this theory further, and discuss obstacles in using these techniques to understand biological reality.
△ Less
Submitted 13 September, 2021; v1 submitted 15 June, 2021;
originally announced June 2021.
-
EMISSOR: A platform for capturing multimodal interactions as Episodic Memories and Interpretations with Situated Scenario-based Ontological References
Authors:
Selene Báez Santamaría,
Thomas Baier,
Taewoon Kim,
Lea Krause,
Jaap Kruijt,
Piek Vossen
Abstract:
We present EMISSOR: a platform to capture multimodal interactions as recordings of episodic experiences with explicit referential interpretations that also yield an episodic Knowledge Graph (eKG). The platform stores streams of multiple modalities as parallel signals. Each signal is segmented and annotated independently with interpretation. Annotations are eventually mapped to explicit identities…
▽ More
We present EMISSOR: a platform to capture multimodal interactions as recordings of episodic experiences with explicit referential interpretations that also yield an episodic Knowledge Graph (eKG). The platform stores streams of multiple modalities as parallel signals. Each signal is segmented and annotated independently with interpretation. Annotations are eventually mapped to explicit identities and relations in the eKG. As we ground signal segments from different modalities to the same instance representations, we also ground different modalities across each other. Unique to our eKG is that it accepts different interpretations across modalities, sources and experiences and supports reasoning over conflicting information and uncertainties that may result from multimodal experiences. EMISSOR can record and annotate experiments in virtual and real-world, combine data, evaluate system behavior and their performance for preset goals but also model the accumulation of knowledge and interpretations in the Knowledge Graph as a result of these episodic experiences.
△ Less
Submitted 18 May, 2021;
originally announced May 2021.
-
Isolating Patterns in Open Reaction-Diffusion Systems
Authors:
Andrew L. Krause,
Václav Klika,
Philip K. Maini,
Denis Headon,
Eamonn A. Gaffney
Abstract:
Realistic examples of reaction-diffusion phenomena governing spatial and spatiotemporal pattern formation are rarely isolated systems, either chemically or thermodynamically. However, even formulations of `open' reaction-diffusion systems often neglect the role of domain boundaries. Most idealizations of closed reaction-diffusion systems employ no-flux boundary conditions, and often patterns will…
▽ More
Realistic examples of reaction-diffusion phenomena governing spatial and spatiotemporal pattern formation are rarely isolated systems, either chemically or thermodynamically. However, even formulations of `open' reaction-diffusion systems often neglect the role of domain boundaries. Most idealizations of closed reaction-diffusion systems employ no-flux boundary conditions, and often patterns will form up to, or along, these boundaries. Motivated by boundaries of patterning fields related to the emergence of spatial form in embryonic development, we propose a set of mixed boundary conditions for a two-species reaction-diffusion system which forms inhomogeneous solutions away from the boundary of the domain for a variety of different reaction kinetics, with a prescribed uniform state near the boundary. We show that these boundary conditions can be derived from a larger heterogeneous field, indicating that these conditions can arise naturally if cell signalling or other properties of the medium vary in space. We explain the basic mechanisms behind this pattern localization, and demonstrate that it can capture a large range of localized patterning in one, two, and three dimensions, and that this framework can be applied to systems involving more than two species. Furthermore, the boundary conditions proposed lead to more symmetrical patterns on the interior of the domain, and plausibly capture more realistic boundaries in developmental systems. Finally, we show that these isolated patterns are more robust to fluctuations in initial conditions, and that they allow intriguing possibilities of pattern selection via geometry, distinct from known selection mechanisms.
△ Less
Submitted 12 May, 2021; v1 submitted 28 September, 2020;
originally announced September 2020.
-
Turing Patterning in Stratified Domains
Authors:
Andrew L. Krause,
Václav Klika,
Jacob Halatek,
Paul K. Grant,
Thomas E. Woolley,
Neil Dalchau,
Eamonn A. Gaffney
Abstract:
Reaction-diffusion processes across layered media arise in several scientific domains such as pattern-forming E. coli on agar substrates, epidermal-mesenchymal coupling in development, and symmetry-breaking in cell polarisation. We develop a modelling framework for bi-layer reaction-diffusion systems and relate it to a range of existing models. We derive conditions for diffusion-driven instability…
▽ More
Reaction-diffusion processes across layered media arise in several scientific domains such as pattern-forming E. coli on agar substrates, epidermal-mesenchymal coupling in development, and symmetry-breaking in cell polarisation. We develop a modelling framework for bi-layer reaction-diffusion systems and relate it to a range of existing models. We derive conditions for diffusion-driven instability of a spatially homogeneous equilibrium analogous to the classical conditions for a Turing instability in the simplest nontrivial setting where one domain has a standard reaction-diffusion system, and the other permits only diffusion. Due to the transverse coupling between these two regions, standard techniques for computing eigenfunctions of the Laplacian cannot be applied, and so we propose an alternative method to compute the dispersion relation directly. We compare instability conditions with full numerical simulations to demonstrate impacts of the geometry and coupling parameters on patterning, and explore various experimentally-relevant asymptotic regimes. In the regime where the first domain is suitably thin, we recover a simple modulation of the standard Turing conditions, and find that often the broad impact of the diffusion-only domain is to reduce the ability of the system to form patterns. We also demonstrate complex impacts of this coupling on pattern formation. For instance, we exhibit non-monotonicity of pattern-forming instabilities with respect to geometric and coupling parameters, and highlight an instability from a nontrivial interaction between kinetics in one domain and diffusion in the other. These results are valuable for informing design choices in applications such as synthetic engineering of Turing patterns, but also for understanding the role of stratified media in modulating pattern-forming processes in developmental biology and beyond.
△ Less
Submitted 17 September, 2020; v1 submitted 11 June, 2020;
originally announced June 2020.
-
Unstaggered-staggered solitons on one- and two-dimensional two-component discrete nonlinear Schrödinger lattices
Authors:
Robert A. Van Gorder,
Andrew L. Krause,
Boris A. Malomed,
D. J. Kaup
Abstract:
We study coupled unstaggered-staggered soliton pairs emergent from a system of two coupled discrete nonlinear Schrödinger (DNLS) equations with the self-attractive on-site self-phase-modulation nonlinearity, coupled by the repulsive cross-phase-modulation interaction, on 1D and 2D lattice domains. These mixed modes are of a "symbiotic" type, as each component in isolation may only carry ordinary u…
▽ More
We study coupled unstaggered-staggered soliton pairs emergent from a system of two coupled discrete nonlinear Schrödinger (DNLS) equations with the self-attractive on-site self-phase-modulation nonlinearity, coupled by the repulsive cross-phase-modulation interaction, on 1D and 2D lattice domains. These mixed modes are of a "symbiotic" type, as each component in isolation may only carry ordinary unstaggered solitons. While most work on DNLS systems addressed symmetric on-site-centered fundamental solitons, these models give rise to a variety of other excited states, which may also be stable. The simplest among them are antisymmetric states in the form of discrete twisted solitons, which have no counterparts in the continuum limit. In the extension to 2D lattice domains, a natural counterpart of the twisted states are vortical solitons. We first introduce a variational approximation (VA) for the solitons, and then correct it numerically to construct exact stationary solutions, which are then used as initial conditions for simulations to check if the stationary states persist under time evolution. Two-component solutions obtained include (i) 1D fundamental-twisted and twisted-twisted soliton pairs, (ii) 2D fundamental-fundamental soliton pairs, and (iii) 2D vortical-vortical soliton pairs. We also highlight a variety of other transient dynamical regimes, such as breathers and amplitude death. The findings apply to modeling binary Bose-Einstein condensates, loaded in a deep lattice potential, with identical or different atomic masses of the two components, and arrays of bimodal optical waveguides.
△ Less
Submitted 1 March, 2020;
originally announced March 2020.
-
From One Pattern into Another: Analysis of Turing Patterns in Heterogeneous Domains via WKBJ
Authors:
Andrew L. Krause,
Václav Klika,
Thomas E. Woolley,
Eamonn A. Gaffney
Abstract:
Pattern formation from homogeneity is well-studied, but less is known concerning symmetry-breaking instabilities in heterogeneous media. It is nontrivial to separate observed spatial patterning due to inherent spatial heterogeneity from emergent patterning due to nonlinear instability. We employ WKBJ asymptotics to investigate Turing instabilities for a spatially heterogeneous reaction-diffusion s…
▽ More
Pattern formation from homogeneity is well-studied, but less is known concerning symmetry-breaking instabilities in heterogeneous media. It is nontrivial to separate observed spatial patterning due to inherent spatial heterogeneity from emergent patterning due to nonlinear instability. We employ WKBJ asymptotics to investigate Turing instabilities for a spatially heterogeneous reaction-diffusion system, and derive conditions for instability which are local versions of the classical Turing conditions We find that the structure of unstable modes differs substantially from the typical trigonometric functions seen in the spatially homogeneous setting. Modes of different growth rates are localized to different spatial regions. This localization helps explain common amplitude modulations observed in simulations of Turing systems in heterogeneous settings. We numerically demonstrate this theory, giving an illustrative example of the emergent instabilities and the striking complexity arising from spatially heterogeneous reaction-diffusion systems. Our results give insight both into systems driven by exogenous heterogeneity, as well as successive pattern forming processes, noting that most scenarios in biology do not involve symmetry breaking from homogeneity, but instead consist of sequential evolutions of heterogeneous states. The instability mechanism reported here precisely captures such evolution, and extends Turing's original thesis to a far wider and more realistic class of systems.
△ Less
Submitted 7 December, 2019; v1 submitted 20 August, 2019;
originally announced August 2019.
-
Turing conditions for pattern forming systems on evolving manifolds
Authors:
Robert A. Van Gorder,
Václav Klika,
Andrew L. Krause
Abstract:
The study of pattern-forming instabilities in reaction-diffusion systems on growing or otherwise time-dependent domains arises in a variety of settings, including applications in developmental biology, spatial ecology, and experimental chemistry. Analyzing such instabilities is complicated, as there is a strong dependence of any spatially homogeneous base states on time, and the resulting structur…
▽ More
The study of pattern-forming instabilities in reaction-diffusion systems on growing or otherwise time-dependent domains arises in a variety of settings, including applications in developmental biology, spatial ecology, and experimental chemistry. Analyzing such instabilities is complicated, as there is a strong dependence of any spatially homogeneous base states on time, and the resulting structure of the linearized perturbations used to determine the onset of instability is inherently non-autonomous. We obtain general conditions for the onset and structure of diffusion driven instabilities in reaction-diffusion systems on domains which evolve in time, in terms of the time-evolution of the Laplace-Beltrami spectrum for the domain and functions which specify the domain evolution. Our results give sufficient conditions for diffusive instabilities phrased in terms of differential inequalities which are both versatile and straightforward to implement, despite the generality of the studied problem. These conditions generalize a large number of results known in the literature, such as the algebraic inequalities commonly used as a sufficient criterion for the Turing instability on static domains, and approximate asymptotic results valid for specific types of growth, or specific domains. We demonstrate our general Turing conditions on a variety of domains with different evolution laws, and in particular show how insight can be gained even when the domain changes rapidly in time, or when the homogeneous state is oscillatory, such as in the case of Turing-Hopf instabilities. Extensions to higher-order spatial systems are also included as a way of demonstrating the generality of the approach.
△ Less
Submitted 17 October, 2019; v1 submitted 21 April, 2019;
originally announced April 2019.
-
Amplitude death criteria for coupled complex Ginzburg-Landau systems
Authors:
Robert A. Van Gorder,
Andrew L. Krause,
James A. Kwiecinski
Abstract:
Amplitude death, which occurs in a system when one or more macroscopic wavefunctions collapse to zero, has been observed in mutually coupled solid-state lasers, analog circuits, and thermoacoustic oscillators, to name a few applications. While studies have considered amplitude death on oscillator systems and in externally forced complex Ginzburg-Landau systems, a route to amplitude death has not b…
▽ More
Amplitude death, which occurs in a system when one or more macroscopic wavefunctions collapse to zero, has been observed in mutually coupled solid-state lasers, analog circuits, and thermoacoustic oscillators, to name a few applications. While studies have considered amplitude death on oscillator systems and in externally forced complex Ginzburg-Landau systems, a route to amplitude death has not been studied in autonomous continuum systems. We derive simple analytic conditions for the onset of amplitude death of one macroscopic wavefunction in a system of two coupled complex Ginzburg-Landau equations with general nonlinear self- and cross-interaction terms. Our results give a more general theoretical underpinning for recent amplitude death results reported in the literature, and suggest an approach for tuning parameters in such systems so that they either permit or prohibit amplitude death of a wavefunction (depending on the application). Numerical simulation of the coupled complex Ginzburg-Landau equations, for examples including cubic, cubic-quintic, and saturable nonlinearities, is used to illustrate the analytical results.
△ Less
Submitted 29 January, 2019; v1 submitted 6 March, 2018;
originally announced March 2018.
-
Chaotic dynamics in the planar gravitational many-body problem with rigid body rotations
Authors:
James A. Kwiecinski,
Attila Kovacs,
Andrew L. Krause,
Ferran Brosa Planella,
Robert A. Van Gorder
Abstract:
The discovery of Pluto's small moons in the last decade brought attention to the dynamics of the dwarf planet's satellites. With such systems in mind, we study a planar $N$-body system in which all the bodies are point masses, except for a single rigid body. We then present a reduced model consisting of a planar $N$-body problem with the rigid body treated as a 1D continuum (i.e. the body is treat…
▽ More
The discovery of Pluto's small moons in the last decade brought attention to the dynamics of the dwarf planet's satellites. With such systems in mind, we study a planar $N$-body system in which all the bodies are point masses, except for a single rigid body. We then present a reduced model consisting of a planar $N$-body problem with the rigid body treated as a 1D continuum (i.e. the body is treated as a rod with an arbitrary mass distribution). Such a model provides a good approximation to highly asymmetric geometries, such as the recently observed interstellar asteroid 'Oumuamua, but is also amenable to analysis. We analytically demonstrate the existence of homoclinic chaos in the case where one of the orbits is nearly circular by way of the Melnikov method, and give numerical evidence for chaos when the orbits are more complicated. We show that the extent of chaos in parameter space is strongly tied to the deviations from a purely circular orbit. These results suggest that chaos is ubiquitous in many-body problems when one or more of the rigid bodies exhibits non-spherical and highly asymmetric geometries. The excitation of chaotic rotations does not appear to require tidal dissipation, obliquity variation, or orbital resonance. Such dynamics give a possible explanation for routes to chaotic dynamics observed in $N$-body systems such as the Pluto system where some of the bodies are highly non-spherical.
△ Less
Submitted 29 May, 2018; v1 submitted 3 January, 2018;
originally announced January 2018.
-
Coupled complex Ginzburg-Landau systems with saturable nonlinearity and asymmetric cross-phase modulation
Authors:
Robert A. Van Gorder,
Andrew L. Krause,
Ferran Brosa Planella,
Abigail M. Burton
Abstract:
We formulate and study dynamics from a complex Ginzburg-Landau system with saturable nonlinearity, including asymmetric cross-phase modulation (XPM) parameters. Such equations can model phenomena described by complex Ginzburg-Landau systems under the added assumption of saturable media. When the saturation parameter is set to zero, we recover a general complex cubic Ginzburg-Landau system with XPM…
▽ More
We formulate and study dynamics from a complex Ginzburg-Landau system with saturable nonlinearity, including asymmetric cross-phase modulation (XPM) parameters. Such equations can model phenomena described by complex Ginzburg-Landau systems under the added assumption of saturable media. When the saturation parameter is set to zero, we recover a general complex cubic Ginzburg-Landau system with XPM. We first derive conditions for the existence of bounded dynamics, approximating the absorbing set for solutions. We use this to then determine conditions for amplitude death of a single wavefunction. We also construct exact plane wave solutions, and determine conditions for their modulational instability. In a degenerate limit where dispersion and nonlinearity balance, we reduce our system to a saturable nonlinear Schrödinger system with XPM parameters, and we demonstrate the existence and behavior of spatially heterogeneous stationary solutions in this limit. Using numerical simulations we verify the aforementioned analytical results, while also demonstrating other interesting emergent features of the dynamics, such as spatiotemporal chaos in the presence of modulational instability. In other regimes, coherent patterns including uniform states or banded structures arise, corresponding to certain stable stationary states. For sufficiently large yet equal XPM parameters, we observe a segregation of wavefunctions into different regions of the spatial domain, while when XPM parameters are large and take different values, one wavefunction may decay to zero in finite time over the spatial domain (in agreement with the amplitude death predicted analytically). While saturation will often regularize the dynamics, such transient dynamics can still be observed - and in some cases even prolonged - as the saturability of the media is increased, as the saturation may act to slow the timescale.
△ Less
Submitted 17 June, 2018; v1 submitted 22 October, 2017;
originally announced October 2017.
-
Bifurcations and dynamics emergent from lattice and continuum models of bioactive porous media
Authors:
Andrew L. Krause,
Dmitry Beliaev,
Robert A. Van Gorder,
Sarah L. Waters
Abstract:
We study dynamics emergent from a two-dimensional reaction--diffusion process modelled via a finite lattice dynamical system, as well as an analogous PDE system, involving spatially nonlocal interactions. These models govern the evolution of cells in a bioactive porous medium, with evolution of the local cell density depending on a coupled quasi--static fluid flow problem. We demonstrate differenc…
▽ More
We study dynamics emergent from a two-dimensional reaction--diffusion process modelled via a finite lattice dynamical system, as well as an analogous PDE system, involving spatially nonlocal interactions. These models govern the evolution of cells in a bioactive porous medium, with evolution of the local cell density depending on a coupled quasi--static fluid flow problem. We demonstrate differences emergent from the choice of a discrete lattice or a continuum for the spatial domain of such a process. We find long--time oscillations and steady states in cell density in both lattice and continuum models, but that the continuum model only exhibits solutions with vertical symmetry, independent of initial data, whereas the finite lattice admits asymmetric oscillations and steady states arising from symmetry-breaking bifurcations. We conjecture that it is the structure of the finite lattice which allows for more complicated asymmetric dynamics. Our analysis suggests that the origin of both types of oscillations is a nonlocal reaction-diffusion mechanism mediated by quasi-static fluid flow.
△ Less
Submitted 4 June, 2018; v1 submitted 24 February, 2017;
originally announced February 2017.
-
Lattice and Continuum Modelling of a Bioactive Porous Tissue Scaffold
Authors:
Andrew L. Krause,
Dmitry Beliaev,
Robert A. Van Gorder,
Sarah L. Waters
Abstract:
A contemporary procedure to grow artificial tissue is to seed cells onto a porous biomaterial scaffold and culture it within a perfusion bioreactor to facilitate the transport of nutrients to growing cells. Typical models of cell growth for tissue engineering applications make use of spatially homogeneous or spatially continuous equations to model cell growth, flow of culture medium, nutrient tran…
▽ More
A contemporary procedure to grow artificial tissue is to seed cells onto a porous biomaterial scaffold and culture it within a perfusion bioreactor to facilitate the transport of nutrients to growing cells. Typical models of cell growth for tissue engineering applications make use of spatially homogeneous or spatially continuous equations to model cell growth, flow of culture medium, nutrient transport, and their interactions. The network structure of the physical porous scaffold is often incorporated through parameters in these models, either phenomenologically or through techniques like mathematical homogenization. We derive a model on a square grid lattice to demonstrate the importance of explicitly modelling the network structure of the porous scaffold, and compare results from this model with those from a modified continuum model from the literature. We capture two-way coupling between cell growth and fluid flow by allowing cells to block pores, and by allowing the shear stress of the fluid to affect cell growth and death. We explore a range of parameters for both models, and demonstrate quantitative and qualitative differences between predictions from each of these approaches, including spatial pattern formation and local oscillations in cell density present only in the lattice model. These differences suggest that for some parameter regimes, corresponding to specific cell types and scaffold geometries, the lattice model gives qualitatively different model predictions than typical continuum models. Our results inform model selection for bioactive porous tissue scaffolds, aiding in the development of successful tissue engineering experiments and eventually clinically successful technologies.
△ Less
Submitted 29 April, 2018; v1 submitted 24 February, 2017;
originally announced February 2017.
-
Coherent electron transport through an azobenzene molecule: A light-driven molecular switch
Authors:
Chun Zhang,
M. -H. Du,
H. -P. Cheng,
X. -G. Zhang,
A. E. Roitberg,
J. L. Krause
Abstract:
We apply a first-principles computational approach to study a light-sensitive molecular switch. The molecule that comprises the switch can convert between a trans and a cis configuration upon photo-excitation. We find that the conductance of the two isomers vary dramatically, which suggests that this system has potential application as a molecular device. A detailed analysis of the band structure…
▽ More
We apply a first-principles computational approach to study a light-sensitive molecular switch. The molecule that comprises the switch can convert between a trans and a cis configuration upon photo-excitation. We find that the conductance of the two isomers vary dramatically, which suggests that this system has potential application as a molecular device. A detailed analysis of the band structure of the metal leads and the local density of states of the system reveals the mechanism of the switch.
△ Less
Submitted 22 November, 2013;
originally announced November 2013.
