Showing 1–21 of 21 results for author: Kreusser, L M

Equidistribution-based training of Free Knot Splines and ReLU Neural Networks

Authors: Simone Appella, Simon Arridge, Chris Budd, Teo Deveney, Lisa Maria Kreusser

Abstract: We consider the problem of one-dimensional function approximation using shallow neural networks (NN) with a rectified linear unit (ReLU) activation function and compare their training with traditional methods such as univariate Free Knot Splines (FKS). ReLU NNs and FKS span the same function space, and thus have the same theoretical expressivity. In the case of ReLU NNs, we show that their ill-con… ▽ More We consider the problem of one-dimensional function approximation using shallow neural networks (NN) with a rectified linear unit (ReLU) activation function and compare their training with traditional methods such as univariate Free Knot Splines (FKS). ReLU NNs and FKS span the same function space, and thus have the same theoretical expressivity. In the case of ReLU NNs, we show that their ill-conditioning degrades rapidly as the width of the network increases. This often leads to significantly poorer approximation in contrast to the FKS representation, which remains well-conditioned as the number of knots increases. We leverage the theory of optimal piecewise linear interpolants to improve the training procedure for a ReLU NN. Using the equidistribution principle, we propose a two-level procedure for training the FKS by first solving the nonlinear problem of finding the optimal knot locations of the interpolating FKS. Determining the optimal knots then acts as a good starting point for training the weights of the FKS. The training of the FKS gives insights into how we can train a ReLU NN effectively to give an equally accurate approximation. More precisely, we combine the training of the ReLU NN with an equidistribution based loss to find the breakpoints of the ReLU functions, combined with preconditioning the ReLU NN approximation (to take an FKS form) to find the scalings of the ReLU functions, leads to a well-conditioned and reliable method of finding an accurate ReLU NN approximation to a target function. We test this method on a series or regular, singular, and rapidly varying target functions and obtain good results realising the expressivity of the network in this case. △ Less

Submitted 2 July, 2024; originally announced July 2024.

MSC Class: 41A15; 65D07; 65M50; 68T07

A general formulation of reweighted least squares fitting

Authors: Carlotta Giannelli, Sofia Imperatore, Lisa Maria Kreusser, Estefanía Loayza-Romero, Fatemeh Mohammadi, Nelly Villamizar

Abstract: We present a generalized formulation for reweighted least squares approximations. The goal of this article is twofold: firstly, to prove that the solution of such problem can be expressed as a convex combination of certain interpolants when the solution is sought in any finite-dimensional vector space; secondly, to provide a general strategy to iteratively update the weights according to the appro… ▽ More We present a generalized formulation for reweighted least squares approximations. The goal of this article is twofold: firstly, to prove that the solution of such problem can be expressed as a convex combination of certain interpolants when the solution is sought in any finite-dimensional vector space; secondly, to provide a general strategy to iteratively update the weights according to the approximation error and apply it to the spline fitting problem. In the experiments, we provide numerical examples for the case of polynomials and splines spaces. Subsequently, we evaluate the performance of our fitting scheme for spline curve and surface approximation, including adaptive spline constructions. △ Less

Submitted 4 April, 2024; originally announced April 2024.

Closing the ODE-SDE gap in score-based diffusion models through the Fokker-Planck equation

Authors: Teo Deveney, Jan Stanczuk, Lisa Maria Kreusser, Chris Budd, Carola-Bibiane Schönlieb

Abstract: Score-based diffusion models have emerged as one of the most promising frameworks for deep generative modelling, due to their state-of-the art performance in many generation tasks while relying on mathematical foundations such as stochastic differential equations (SDEs) and ordinary differential equations (ODEs). Empirically, it has been reported that ODE based samples are inferior to SDE based sa… ▽ More Score-based diffusion models have emerged as one of the most promising frameworks for deep generative modelling, due to their state-of-the art performance in many generation tasks while relying on mathematical foundations such as stochastic differential equations (SDEs) and ordinary differential equations (ODEs). Empirically, it has been reported that ODE based samples are inferior to SDE based samples. In this paper we rigorously describe the range of dynamics and approximations that arise when training score-based diffusion models, including the true SDE dynamics, the neural approximations, the various approximate particle dynamics that result, as well as their associated Fokker--Planck equations and the neural network approximations of these Fokker--Planck equations. We systematically analyse the difference between the ODE and SDE dynamics of score-based diffusion models, and link it to an associated Fokker--Planck equation. We derive a theoretical upper bound on the Wasserstein 2-distance between the ODE- and SDE-induced distributions in terms of a Fokker--Planck residual. We also show numerically that conventional score-based diffusion models can exhibit significant differences between ODE- and SDE-induced distributions which we demonstrate using explicit comparisons. Moreover, we show numerically that reducing the Fokker--Planck residual by adding it as an additional regularisation term leads to closing the gap between ODE- and SDE-induced distributions. Our experiments suggest that this regularisation can improve the distribution generated by the ODE, however that this can come at the cost of degraded SDE sample quality. △ Less

Submitted 27 November, 2023; originally announced November 2023.

Analysis of nonlinear poroviscoelastic flows with discontinuous porosities

Authors: Markus Bachmayr, Simon Boisserée, Lisa Maria Kreusser

Abstract: Existence and uniqueness of solutions is shown for a class of viscoelastic flows in porous media with particular attention to problems with nonsmooth porosities. The considered models are formulated in terms of the time-dependent nonlinear interaction between porosity and effective pressure, which in certain cases leads to porosity waves. In particular, conditions for well-posedness in the presenc… ▽ More Existence and uniqueness of solutions is shown for a class of viscoelastic flows in porous media with particular attention to problems with nonsmooth porosities. The considered models are formulated in terms of the time-dependent nonlinear interaction between porosity and effective pressure, which in certain cases leads to porosity waves. In particular, conditions for well-posedness in the presence of initial porosities with jump discontinuities are identified. △ Less

Submitted 20 September, 2023; v1 submitted 23 February, 2023; originally announced February 2023.

Comments: 34 pages

Generalised Gillespie Algorithms for Simulations in a Rule-Based Epidemiological Model Framework

Authors: David Alonso, Steffen Bauer, Markus Kirkilionis, Lisa Maria Kreusser, Luca Sbano

Abstract: Rule-based models have been successfully used to represent different aspects of the COVID-19 pandemic, including age, testing, hospitalisation, lockdowns, immunity, infectivity, behaviour, mobility and vaccination of individuals. These rule-based approaches are motivated by chemical reaction rules which are traditionally solved numerically with the standard Gillespie algorithm proposed in the cont… ▽ More Rule-based models have been successfully used to represent different aspects of the COVID-19 pandemic, including age, testing, hospitalisation, lockdowns, immunity, infectivity, behaviour, mobility and vaccination of individuals. These rule-based approaches are motivated by chemical reaction rules which are traditionally solved numerically with the standard Gillespie algorithm proposed in the context of molecular dynamics. When applying reaction system type of approaches to epidemiology, generalisations of the Gillespie algorithm are required due to the time-dependency of the problems. In this article, we present different generalisations of the standard Gillespie algorithm which address discrete subtypes (e.g., incorporating the age structure of the population), time-discrete updates (e.g., incorporating daily imposed change of rates for lockdowns) and deterministic delays (e.g., given waiting time until a specific change in types such as release from isolation occurs). These algorithms are complemented by relevant examples in the context of the COVID-19 pandemic and numerical results. △ Less

Submitted 24 October, 2022; v1 submitted 17 October, 2022; originally announced October 2022.

MSC Class: 92B05; 60G07; ACM Class: J.3; G.3

$Γ$-Convergence of an Ambrosio-Tortorelli approximation scheme for image segmentation

Authors: Irene Fonseca, Lisa Maria Kreusser, Carola-Bibiane Schönlieb, Matthew Thorpe

Abstract: Given an image $u_0$, the aim of minimising the Mumford-Shah functional is to find a decomposition of the image domain into sub-domains and a piecewise smooth approximation $u$ of $u_0$ such that $u$ varies smoothly within each sub-domain. Since the Mumford-Shah functional is highly non-smooth, regularizations such as the Ambrosio-Tortorelli approximation can be considered which is one of the most… ▽ More Given an image $u_0$, the aim of minimising the Mumford-Shah functional is to find a decomposition of the image domain into sub-domains and a piecewise smooth approximation $u$ of $u_0$ such that $u$ varies smoothly within each sub-domain. Since the Mumford-Shah functional is highly non-smooth, regularizations such as the Ambrosio-Tortorelli approximation can be considered which is one of the most computationally efficient approximations of the Mumford-Shah functional for image segmentation. While very impressive numerical results have been achieved in a large range of applications when minimising the functional, no analytical results are currently available for minimizers of the functional in the piecewise smooth setting, and this is the goal of this work. Our main result is the $Γ$-convergence of the Ambrosio-Tortorelli approximation of the Mumford-Shah functional for piecewise smooth approximations. This requires the introduction of an appropriate function space. As a consequence of our $Γ$-convergence result, we can infer the convergence of minimizers of the respective functionals. △ Less

Submitted 4 September, 2023; v1 submitted 10 February, 2022; originally announced February 2022.

Models for information propagation on graphs

Authors: Oliver R. A. Dunbar, Charles M. Elliott, Lisa Maria Kreusser

Abstract: We propose and unify classes of different models for information propagation over graphs. In a first class, propagation is modelled as a wave which emanates from a set of known nodes at an initial time, to all other unknown nodes at later times with an ordering determined by the arrival time of the information wave front. A second class of models is based on the notion of a travel time along paths… ▽ More We propose and unify classes of different models for information propagation over graphs. In a first class, propagation is modelled as a wave which emanates from a set of known nodes at an initial time, to all other unknown nodes at later times with an ordering determined by the arrival time of the information wave front. A second class of models is based on the notion of a travel time along paths between nodes. The time of information propagation from an initial known set of nodes to a node is defined as the minimum of a generalised travel time over subsets of all admissible paths. A final class is given by imposing a local equation of an eikonal form at each unknown node, with boundary conditions at the known nodes. The solution value of the local equation at a node is coupled to those of neighbouring nodes with lower values. We provide precise formulations of the model classes and prove equivalences between them. Motivated by the connection between first arrival time model and the eikonal equation in the continuum setting, we derive formal limits for graphs based on uniform grids in Euclidean space under grid refinement. For a specific parameter setting, we demonstrate that the solution on the grid approximates the Euclidean distance, and illustrate the use of front propagation on graphs to trust networks and semi-supervised learning. △ Less

Submitted 12 May, 2023; v1 submitted 19 January, 2022; originally announced January 2022.

A Rule-Based Epidemiological Modelling Framework

Authors: David Alonso, Steffen Bauer, Markus Kirkilionis, Lisa Maria Kreusser, Luca Sbano

Abstract: Motivated by chemical reaction rules, we introduce a rule-based epidemiological framework for the systematic mathematical modelling of future pandemics. Here we stress that we do not have a specific model in mind, but a whole collection of models which can be transformed into each other, or represent different aspects of a pandemic, and these aspects can change during the course of the emergency,… ▽ More Motivated by chemical reaction rules, we introduce a rule-based epidemiological framework for the systematic mathematical modelling of future pandemics. Here we stress that we do not have a specific model in mind, but a whole collection of models which can be transformed into each other, or represent different aspects of a pandemic, and these aspects can change during the course of the emergency, as happened during the Covid-19 pandemic. As conditions for outbreaks in the modern world change on different time-scales, some rapidly, epidemiology has few 'laws', besides perhaps the fundamental infection process described by Kermack-McKendrick. Each single of our variety of models, called framework, is based on a mathematical formulation that we call a rule-based system. They have several advantages, for example that they can be both interpreted stochastically and deterministically, without changing the model structure. Rule-based systems should be easier to communicate to non-specialists, when compared to differential equations. Due to their combinatorial nature, the rule-based model framework we propose is ideal for systematic mathematical modelling, systematic links to statistics, data analysis in general and also machine learning leading to artificial intelligence. △ Less

Submitted 22 May, 2024; v1 submitted 14 November, 2021; originally announced November 2021.

Comments: 67 pages, 23 figures

MSC Class: A.0; I.6 ACM Class: A.0; I.6

Wasserstein GANs Work Because They Fail (to Approximate the Wasserstein Distance)

Authors: Jan Stanczuk, Christian Etmann, Lisa Maria Kreusser, Carola-Bibiane Schönlieb

Abstract: Wasserstein GANs are based on the idea of minimising the Wasserstein distance between a real and a generated distribution. We provide an in-depth mathematical analysis of differences between the theoretical setup and the reality of training Wasserstein GANs. In this work, we gather both theoretical and empirical evidence that the WGAN loss is not a meaningful approximation of the Wasserstein dista… ▽ More Wasserstein GANs are based on the idea of minimising the Wasserstein distance between a real and a generated distribution. We provide an in-depth mathematical analysis of differences between the theoretical setup and the reality of training Wasserstein GANs. In this work, we gather both theoretical and empirical evidence that the WGAN loss is not a meaningful approximation of the Wasserstein distance. Moreover, we argue that the Wasserstein distance is not even a desirable loss function for deep generative models, and conclude that the success of Wasserstein GANs can in truth be attributed to a failure to approximate the Wasserstein distance. △ Less

Submitted 5 October, 2021; v1 submitted 2 March, 2021; originally announced March 2021.

Autophosphorylation and the dynamics of the activation of Lck

Authors: Lisa Maria Kreusser, Alan D. Rendall

Abstract: Lck (lymphocyte-specific protein tyrosine kinase) is an enzyme which plays a number of important roles in the function of immune cells. It belongs to the Src family of kinases which are known to undergo autophosphorylation. It turns out that this leads to a remarkable variety of dynamical behaviour which can occur during their activation. We prove that in the presence of autophosphorylation one ph… ▽ More Lck (lymphocyte-specific protein tyrosine kinase) is an enzyme which plays a number of important roles in the function of immune cells. It belongs to the Src family of kinases which are known to undergo autophosphorylation. It turns out that this leads to a remarkable variety of dynamical behaviour which can occur during their activation. We prove that in the presence of autophosphorylation one phenomenon, bistability, already occurs in a mathematical model for a protein with a single phosphorylation site. We further show that a certain model of Lck exhibits oscillations. Finally we discuss the relations of these results to models in the literature which involve Lck and describe specific biological processes, such as the early stages of T cell activation and the stimulation of T cell responses resulting from the suppression of PD-1 signalling which is important in immune checkpoint therapy for cancer. △ Less

Submitted 22 January, 2021; originally announced January 2021.

MSC Class: 92C40

Mean-field optimal control for biological pattern formation

Authors: Martin Burger, Lisa Maria Kreusser, Claudia Totzeck

Abstract: We propose a mean-field optimal control problem for the parameter identification of a given pattern. The cost functional is based on the Wasserstein distance between the probability measures of the modeled and the desired patterns. The first-order optimality conditions corresponding to the optimal control problem are derived using a Lagrangian approach on the mean-field level. Based on these condi… ▽ More We propose a mean-field optimal control problem for the parameter identification of a given pattern. The cost functional is based on the Wasserstein distance between the probability measures of the modeled and the desired patterns. The first-order optimality conditions corresponding to the optimal control problem are derived using a Lagrangian approach on the mean-field level. Based on these conditions we propose a gradient descent method to identify relevant parameters such as angle of rotation and force scaling which may be spatially inhomogeneous. We discretize the first-order optimality conditions in order to employ the algorithm on the particle level. Moreover, we prove a rate for the convergence of the controls as the number of particles used for the discretization tends to infinity. Numerical results for the spatially homogeneous case demonstrate the feasibility of the approach. △ Less

Submitted 21 September, 2020; originally announced September 2020.

On anisotropic diffusion equations for label propagation

Authors: Lisa Maria Kreusser, Marie-Therese Wolfram

Abstract: In many problems in data classification one wishes to assign labels to points in a point cloud with a certain number of them being already correctly labeled. In this paper, we propose a microscopic ODE approach, in which information about correct labels is propagated to neighboring points. Its dynamics are based on alignment mechanisms, which are commonly used in large interacting agent systems in… ▽ More In many problems in data classification one wishes to assign labels to points in a point cloud with a certain number of them being already correctly labeled. In this paper, we propose a microscopic ODE approach, in which information about correct labels is propagated to neighboring points. Its dynamics are based on alignment mechanisms, which are commonly used in large interacting agent systems in consensus formation. We derive the respective continuum description, which corresponds to an anisotropic diffusion equation with reaction term. Solutions of the continuum model on the bounded domain inherit certain properties of the underlying point cloud. We discuss these analytic properties and exemplify the results with micro- and macroscopic simulations. △ Less

Submitted 22 December, 2020; v1 submitted 24 July, 2020; originally announced July 2020.

Equilibria of an anisotropic nonlocal interaction equation: Analysis and numerics

Authors: José A. Carrillo, Bertram Düring, Lisa Maria Kreusser, Carola-Bibiane Schönlieb

Abstract: In this paper, we study the equilibria of an anisotropic, nonlocal aggregation equation with nonlinear diffusion which does not possess a gradient flow structure. Here, the anisotropy is induced by an underlying tensor field. Anisotropic forces cannot be associated with a potential in general and stationary solutions of anisotropic aggregation equations generally cannot be regarded as minimizers o… ▽ More In this paper, we study the equilibria of an anisotropic, nonlocal aggregation equation with nonlinear diffusion which does not possess a gradient flow structure. Here, the anisotropy is induced by an underlying tensor field. Anisotropic forces cannot be associated with a potential in general and stationary solutions of anisotropic aggregation equations generally cannot be regarded as minimizers of an energy functional. We derive equilibrium conditions for stationary line patterns in the setting of spatially homogeneous tensor fields. The stationary solutions can be regarded as the minimizers of a regularised energy functional depending on a scalar potential. A dimension reduction from the two- to the one-dimensional setting allows us to study the associated one-dimensional problem instead of the two-dimensional setting. We establish $Γ$-convergence of the regularised energy functionals as the diffusion coefficient vanishes, and prove the convergence of minimisers of the regularised energy functional to minimisers of the non-regularised energy functional. Further, we investigate properties of stationary solutions on the torus, based on known results in one spatial dimension. Finally, we prove weak convergence of a numerical scheme for the numerical solution of the anisotropic, nonlocal aggregation equation with nonlinear diffusion and any underlying tensor field, and show numerical results. △ Less

Submitted 7 January, 2021; v1 submitted 19 December, 2019; originally announced December 2019.

Detection of high codimensional bifurcations in variational PDEs

Authors: Lisa Maria Kreusser, Robert I McLachlan, Christian Offen

Abstract: We derive bifurcation test equations for A-series singularities of nonlinear functionals and, based on these equations, we propose a numerical method for detecting high codimensional bifurcations in parameter-dependent PDEs such as parameter-dependent semilinear Poisson equations. As an example, we consider a Bratu-type problem and show how high codimensional bifurcations such as the swallowtail b… ▽ More We derive bifurcation test equations for A-series singularities of nonlinear functionals and, based on these equations, we propose a numerical method for detecting high codimensional bifurcations in parameter-dependent PDEs such as parameter-dependent semilinear Poisson equations. As an example, we consider a Bratu-type problem and show how high codimensional bifurcations such as the swallowtail bifurcation can be found numerically. In particular, our original contributions are (1) the use of the Infinite-dimensional Splitting Lemma, (2) the unified and simplified treatment of all A-series bifurcations, (3) the presentation in Banach spaces, i.e. our results apply both to the PDE and its (variational) discretization, (4) further simplifications for parameter-dependent semilinear Poisson equations (both continuous and discrete), and (5) the unified treatment of the continuous problem and its discretisation. △ Less

Submitted 14 November, 2019; v1 submitted 6 March, 2019; originally announced March 2019.

MSC Class: 65P30; 35B32; 35B38; 35J61; 35J25; 37G10; 70G75; 34K18

Journal ref: Nonlinearity 33 (2020) 2335--2363

A Deterministic Gradient-Based Approach to Avoid Saddle Points

Authors: Lisa Maria Kreusser, Stanley J. Osher, Bao Wang

Abstract: Loss functions with a large number of saddle points are one of the major obstacles for training modern machine learning models efficiently. First-order methods such as gradient descent are usually the methods of choice for training machine learning models. However, these methods converge to saddle points for certain choices of initial guesses. In this paper, we propose a modification of the recent… ▽ More Loss functions with a large number of saddle points are one of the major obstacles for training modern machine learning models efficiently. First-order methods such as gradient descent are usually the methods of choice for training machine learning models. However, these methods converge to saddle points for certain choices of initial guesses. In this paper, we propose a modification of the recently proposed Laplacian smoothing gradient descent [Osher et al., arXiv:1806.06317], called modified Laplacian smoothing gradient descent (mLSGD), and demonstrate its potential to avoid saddle points without sacrificing the convergence rate. Our analysis is based on the attraction region, formed by all starting points for which the considered numerical scheme converges to a saddle point. We investigate the attraction region's dimension both analytically and numerically. For a canonical class of quadratic functions, we show that the dimension of the attraction region for mLSGD is floor((n-1)/2), and hence it is significantly smaller than that of the gradient descent whose dimension is n-1. △ Less

Submitted 28 September, 2020; v1 submitted 21 January, 2019; originally announced January 2019.

Auxin transport model for leaf venation

Authors: Jan Haskovec, Henrik Jönsson, Lisa Maria Kreusser, Peter Markowich

Abstract: The plant hormone auxin controls many aspects of the development of plants. One striking dynamical feature is the self-organisation of leaf venation patterns which is driven by high levels of auxin within vein cells. The auxin transport is mediated by specialised membrane-localised proteins. Many venation models have been based on polarly localised efflux-mediator proteins of the PIN family. Here,… ▽ More The plant hormone auxin controls many aspects of the development of plants. One striking dynamical feature is the self-organisation of leaf venation patterns which is driven by high levels of auxin within vein cells. The auxin transport is mediated by specialised membrane-localised proteins. Many venation models have been based on polarly localised efflux-mediator proteins of the PIN family. Here, we investigate a modeling framework for auxin transport with a positive feedback between auxin fluxes and transport capacities that are not necessarily polar, i.e.\ directional across a cell wall. Our approach is derived from a discrete graph-based model for biological transportation networks, where cells are represented by graph nodes and intercellular membranes by edges. The edges are not a-priori oriented and the direction of auxin flow is determined by its concentration gradient along the edge. We prove global existence of solutions to the model and the validity of Murray's law for its steady states. Moreover, we demonstrate with numerical simulations that the model is able connect an auxin source-sink pair with a mid-vein and that it can also produce branching vein patterns. A significant innovative aspect of our approach is that it allows the passage to a formal macroscopic limit which can be extended to include network growth. We perform mathematical analysis of the macroscopic formulation, showing the global existence of weak solutions for an appropriate parameter range. △ Less

Submitted 4 November, 2019; v1 submitted 10 January, 2019; originally announced January 2019.

Journal ref: Proceedings of the Royal Society A, 475 (2231), 20190015, 2019

Rigorous Continuum Limit for the Discrete Network Formation Problem

Authors: Jan Haskovec, Lisa Maria Kreusser, Peter Markowich

Abstract: Motivated by recent physics papers describing the formation of biological transport networks we study a discrete model proposed by Hu and Cai consisting of an energy consumption function constrained by a linear system on a graph. For the spatially two-dimensional rectangular setting we prove the rigorous continuum limit of the constrained energy functional as the number of nodes of the underlying… ▽ More Motivated by recent physics papers describing the formation of biological transport networks we study a discrete model proposed by Hu and Cai consisting of an energy consumption function constrained by a linear system on a graph. For the spatially two-dimensional rectangular setting we prove the rigorous continuum limit of the constrained energy functional as the number of nodes of the underlying graph tends to infinity and the edge lengths shrink to zero uniformly. The proof is based on reformulating the discrete energy functional as a sequence of integral functionals and proving their $Γ$-converge towards a continuum energy functional. △ Less

Submitted 24 April, 2019; v1 submitted 4 August, 2018; originally announced August 2018.

Comments: 25 pages, 1 figure

MSC Class: 35K55; 92C42; 65M60

Journal ref: Communications in Partial Differential Equations, 44:11, 1159-1185, 2019

Stability analysis of line patterns of an anisotropic interaction model

Authors: José A. Carrillo, Bertram Düring, Lisa Maria Kreusser, Carola-Bibiane Schönlieb

Abstract: Motivated by the formation of fingerprint patterns we consider a class of interacting particle models with anisotropic, repulsive-attractive interaction forces whose orientations depend on an underlying tensor field. This class of models can be regarded as a generalization of a gradient flow of a nonlocal interaction potential which has a local repulsion and a long-range attraction structure. In a… ▽ More Motivated by the formation of fingerprint patterns we consider a class of interacting particle models with anisotropic, repulsive-attractive interaction forces whose orientations depend on an underlying tensor field. This class of models can be regarded as a generalization of a gradient flow of a nonlocal interaction potential which has a local repulsion and a long-range attraction structure. In addition, the underlying tensor field introduces an anisotropy leading to complex patterns which do not occur in isotropic models. Central to this pattern formation are straight line patterns. For a given spatially homogeneous tensor field, we show that there exists a preferred direction of straight lines, i.e.\ straight vertical lines can be stable for sufficiently many particles, while many other rotations of the straight lines are unstable steady states, both for a sufficiently large number of particles and in the continuum limit. For straight vertical lines we consider specific force coefficients for the stability analysis of steady states, show that stability can be achieved for exponentially decaying force coefficients for a sufficiently large number of particles and relate these results to the Kücken-Champod model for simulating fingerprint patterns. The mathematical analysis of the steady states is completed with numerical results. △ Less

Submitted 19 August, 2019; v1 submitted 13 June, 2018; originally announced June 2018.

Comments: 41 pages

MSC Class: 35B36; 35Q92; 70F10; 70F45; 82C22

Journal ref: SIAM J. Appl. Dyn. Syst., 18(4), 1798-1845, 2019

ODE and PDE based modeling of biological transportation networks

Authors: Jan Haskovec, Lisa Maria Kreusser, Peter Markowich

Abstract: We study the global existence of solutions of a discrete (ODE based) model on a graph describing the formation of biological transportation networks, introduced by Hu and Cai. We propose an adaptation of this model so that a macroscopic (PDE based) system can be obtained as its formal continuum limit. We prove the global existence of weak solutions of the macroscopic PDE model. Finally, we present… ▽ More We study the global existence of solutions of a discrete (ODE based) model on a graph describing the formation of biological transportation networks, introduced by Hu and Cai. We propose an adaptation of this model so that a macroscopic (PDE based) system can be obtained as its formal continuum limit. We prove the global existence of weak solutions of the macroscopic PDE model. Finally, we present results of numerical simulations of the discrete model, illustrating the convergence to steady states, their non-uniqueness as well as their dependence on initial data and model parameters. △ Less

Submitted 22 May, 2018; originally announced May 2018.

MSC Class: 35B32; 35B36; 35K55; 35Q92; 70F10; 92C42

Journal ref: Comm. Math. Sci., 17(5), 1235-1256, 2019

An Anisotropic Interaction Model for Simulating Fingerprints

Authors: Bertram Düring, Carsten Gottschlich, Stephan Huckemann, Lisa Maria Kreusser, Carola-Bibiane Schönlieb

Abstract: Evidence suggests that both the interaction of so-called Merkel cells and the epidermal stress distribution play an important role in the formation of fingerprint patterns during pregnancy. To model the formation of fingerprint patterns in a biologically meaningful way these patterns have to become stationary. For the creation of synthetic fingerprints it is also very desirable that rescaling the… ▽ More Evidence suggests that both the interaction of so-called Merkel cells and the epidermal stress distribution play an important role in the formation of fingerprint patterns during pregnancy. To model the formation of fingerprint patterns in a biologically meaningful way these patterns have to become stationary. For the creation of synthetic fingerprints it is also very desirable that rescaling the model parameters leads to rescaled distances between the stationary fingerprint ridges. Based on these observations, as well as the model introduced by Kücken and Champod we propose a new model for the formation of fingerprint patterns during pregnancy. In this anisotropic interaction model the interaction forces not only depend on the distance vector between the cells and the model parameters, but additionally on an underlying tensor field, representing a stress field. This dependence on the tensor field leads to complex, anisotropic patterns. We study the resulting stationary patterns both analytically and numerically. In particular, we show that fingerprint patterns can be modeled as stationary solutions by choosing the underlying tensor field appropriately. △ Less

Submitted 20 November, 2017; originally announced November 2017.

MSC Class: 35B36; 70F10; 82C22; 92C15; 92C17

Journal ref: Journal of Mathematical Biology, 78(7), 2171-2206, 2019

Pattern formation of a nonlocal, anisotropic interaction model

Authors: Martin Burger, Bertram Düring, Lisa Maria Kreusser, Peter A. Markowich, Carola-Bibiane Schönlieb

Abstract: We consider a class of interacting particle models with anisotropic, repulsive-attractive interaction forces whose orientations depend on an underlying tensor field. An example of this class of models is the so-called Kücken-Champod model describing the formation of fingerprint patterns. This class of models can be regarded as a generalization of a gradient flow of a nonlocal interaction potential… ▽ More We consider a class of interacting particle models with anisotropic, repulsive-attractive interaction forces whose orientations depend on an underlying tensor field. An example of this class of models is the so-called Kücken-Champod model describing the formation of fingerprint patterns. This class of models can be regarded as a generalization of a gradient flow of a nonlocal interaction potential which has a local repulsion and a long-range attraction structure. In contrast to isotropic interaction models the anisotropic forces in our class of models cannot be derived from a potential. The underlying tensor field introduces an anisotropy leading to complex patterns which do not occur in isotropic models. This anisotropy is characterized by one parameter in the model. We study the variation of this parameter, describing the transition between the isotropic and the anisotropic model, analytically and numerically. We analyze the equilibria of the corresponding mean-field partial differential equation and investigate pattern formation numerically in two dimensions by studying the dependence of the parameters in the model on the resulting patterns. △ Less

Submitted 20 April, 2017; v1 submitted 25 October, 2016; originally announced October 2016.

Comments: 27 pages, 16 figures

Journal ref: Math. Models Methods Appl. Sci. 28(3) (2018), 409-451