-
Measure-based approach to mesoscopic modeling of optimal transportation networks
Authors:
Jan Haskovec,
Peter Markowich,
Simone Portaro
Abstract:
We propose a mesoscopic modeling framework for optimal transportation networks with biological applications. The network is described in terms of a joint probability measure on the phase space of tensor-valued conductivity and position in physical space. The energy expenditure of the network is given by a functional consisting of a pum** (kinetic) and metabolic power-law term, constrained by a P…
▽ More
We propose a mesoscopic modeling framework for optimal transportation networks with biological applications. The network is described in terms of a joint probability measure on the phase space of tensor-valued conductivity and position in physical space. The energy expenditure of the network is given by a functional consisting of a pum** (kinetic) and metabolic power-law term, constrained by a Poisson equation accounting for local mass conservation. We establish convexity and lower semicontinuity of the functional on approriate sets. We then derive its gradient flow with respect to the 2-Wasserstein topology on the space of probability measures, which leads to a transport equation, coupled to the Poisson equation. To lessen the mathematical complexity of the problem, we derive a reduced Wasserstein gradient flow, taken with respect to the tensor-valued conductivity variable only. We then construct equilibrium measures of the resulting PDE system. Finally, we derive the gradient flow of the constrained energy functional with respect to the Fisher-Rao (or Hellinger-Kakutani) metric, which gives a reaction-type PDE. We calculate its equilibrium states, represented by measures concentrated on a hypersurface in the phase space.
△ Less
Submitted 21 January, 2024; v1 submitted 15 January, 2024;
originally announced January 2024.
-
Numerical approach to centrality of optimal transportation networks
Authors:
Jan Haskovec
Abstract:
We study hierarchical properties of optimal transportation networks with biological background. The networks are obtained as minimizers of an energy functional which involves a metabolic cost term of a power-law form with exponent $γ>0$. In the range $γ\in (0,1)$, most relevant for biological applications, the functional is non-convex and its local minima correspond to loop-free graphs (trees). We…
▽ More
We study hierarchical properties of optimal transportation networks with biological background. The networks are obtained as minimizers of an energy functional which involves a metabolic cost term of a power-law form with exponent $γ>0$. In the range $γ\in (0,1)$, most relevant for biological applications, the functional is non-convex and its local minima correspond to loop-free graphs (trees). We propose a numerical scheme that performs energy descent by searching the discrete set of local minimizers, combined with a Monte-Carlo approach. We verify the performance of the scheme in the borderline case $γ=1$, where the functional is convex. For~a~particular example of a leaf-shaped planar graph, we evaluate the global reaching centrality (GRC) of the (local) minimizers in dependence on the value of $γ\in (0,1]$. We observe that the GRC, which can be understood as a measure of hierarchical organization of the graph, monotonically increases with increasing $γ$. To our best knowledge, this is the first quantification of the influence of the value of the metabolic exponent on the hierarchical organization of the (almost) optimal transportation network.
△ Less
Submitted 20 December, 2023; v1 submitted 19 December, 2023;
originally announced December 2023.
-
Robust network formation with biological applications
Authors:
Jan Haskovec,
Jan Vybiral
Abstract:
We provide new results on the structure of optimal transportation networks obtained as minimizers of an energy cost functional consisting of a kinetic (pum**) and material (metabolic) cost terms, constrained by a local mass conservation law. In particular, we prove that every tree (i.e., graph without loops) represents a local minimizer of the energy with concave metabolic cost. For the linear m…
▽ More
We provide new results on the structure of optimal transportation networks obtained as minimizers of an energy cost functional consisting of a kinetic (pum**) and material (metabolic) cost terms, constrained by a local mass conservation law. In particular, we prove that every tree (i.e., graph without loops) represents a local minimizer of the energy with concave metabolic cost. For the linear metabolic cost, we prove that the set of minimizers contains a loop-free structure. Moreover, we enrich the energy functional such that it accounts also for robustness of the network, measured in terms of the Fiedler number of the graph with edge weights given by their conductivities. We examine fundamental properties of the modified functional, in particular, its convexity and differentiability. We provide analytical insights into the new model by considering two simple examples. Subsequently, we employ the projected subgradient method to find global minimizers of the modified functional numerically. We then present two numerical examples, illustrating how the optimal graph's structure and energy expenditure depend on the required robustness of the network.
△ Less
Submitted 29 November, 2023;
originally announced November 2023.
-
Self-regulated biological transportation structures with general entropy dissipations, part I: the 1D case
Authors:
Clarissa Astuto,
Jan Haskovec,
Peter Markowich,
Simone Portaro
Abstract:
We study self-regulating processes modeling biological transportation networks as presented in \cite{portaro2023}. In particular, we focus on the 1D setting for Dirichlet and Neumann boundary conditions. We prove an existence and uniqueness result under the assumption of positivity of the diffusivity $D$. We explore systematically various scenarios and gain insights into the behavior of $D$ and it…
▽ More
We study self-regulating processes modeling biological transportation networks as presented in \cite{portaro2023}. In particular, we focus on the 1D setting for Dirichlet and Neumann boundary conditions. We prove an existence and uniqueness result under the assumption of positivity of the diffusivity $D$. We explore systematically various scenarios and gain insights into the behavior of $D$ and its impact on the studied system. This involves analyzing the system with a signed measure distribution of sources and sinks. Finally, we perform several numerical tests in which the solution $D$ touches zero, confirming the previous hints of local existence in particular cases.
△ Less
Submitted 16 August, 2023; v1 submitted 31 July, 2023;
originally announced July 2023.
-
Optimal condition for asymptotic consensus in the Hegselmann-Krause model with finite speed of information propagation
Authors:
Jan Haskovec,
Mauro Rodriguez Cartabia
Abstract:
We prove that asymptotic global consensus is always reached in the Hegselmann-Krause model with finite speed of information propagation $\mathfrak{c}>0$ under minimal (i.e., necessary) assumptions on the influence function. In particular, we assume that the influence function is globally positive, which is necessary for reaching global consensus, and such that the agents move with speeds strictly…
▽ More
We prove that asymptotic global consensus is always reached in the Hegselmann-Krause model with finite speed of information propagation $\mathfrak{c}>0$ under minimal (i.e., necessary) assumptions on the influence function. In particular, we assume that the influence function is globally positive, which is necessary for reaching global consensus, and such that the agents move with speeds strictly less than $\mathfrak{c}$, which is necessary for well-posedness of solutions. From this point of view, our result is optimal. The proof is based on the fact that the state-dependent delay, induced by the finite speed of information propagation, is uniformly bounded.
△ Less
Submitted 13 March, 2023;
originally announced March 2023.
-
Asymmetry and condition number of an elliptic-parabolic system for biological network formation
Authors:
Clarissa Astuto,
Daniele Boffi,
Jan Haskovec,
Peter Markowich,
Giovanni Russo
Abstract:
We present results of numerical simulations of the tensor-valued elliptic-parabolic PDE model for biological network formation. The numerical method is based on a non-linear finite difference scheme on a uniform Cartesian grid in a 2D domain. The focus is on the impact of different discretization methods and choices of regularization parameters on the symmetry of the numerical solution. In particu…
▽ More
We present results of numerical simulations of the tensor-valued elliptic-parabolic PDE model for biological network formation. The numerical method is based on a non-linear finite difference scheme on a uniform Cartesian grid in a 2D domain. The focus is on the impact of different discretization methods and choices of regularization parameters on the symmetry of the numerical solution. In particular, we show that using the symmetric alternating-direction implicit (ADI) method for time discretization helps preserve the symmetry of the solution, compared to the (non symmetric) ADI method. Moreover, we study the effect of regularization by isotropic background permeability $r>0$, showing that increased condition number of the elliptic problem due to decreasing value of $r$ leads to loss of symmetry. We show that in this case, neither the use of the symmetric ADI method preserves the symmetry of the solution. Finally, we perform numerical error analysis of our method making use of Wasserstein distance.
△ Less
Submitted 7 July, 2023; v1 submitted 30 January, 2023;
originally announced January 2023.
-
Comparison of two aspects of a PDE model for biological network formation
Authors:
Clarissa Astuto,
Daniele Boffi,
Jan Haskovec,
Peter Markowich,
Giovanni Russo
Abstract:
We compare the solutions of two systems of partial differential equations (PDE), seen as two different interpretations of the same model that describes formation of complex biological networks. Both approaches take into account the time evolution of the medium flowing through the network, and we compute the solution of an elliptic-parabolic PDE system for the conductivity vector $m$, the conductiv…
▽ More
We compare the solutions of two systems of partial differential equations (PDE), seen as two different interpretations of the same model that describes formation of complex biological networks. Both approaches take into account the time evolution of the medium flowing through the network, and we compute the solution of an elliptic-parabolic PDE system for the conductivity vector $m$, the conductivity tensor $\mathbb{C}$ and the pressure $p$. We use finite differences schemes in a uniform Cartesian grid in the spatially two-dimensional setting to solve the two systems, where the parabolic equation is solved by a semi-implicit scheme in time. Since the conductivity vector and tensor appear also in the Poisson equation for the pressure $p$, the elliptic equation depends implicitly on time. For this reason we compute the solution of three linear systems in the case of the conductivity vector $m\in\mathbb{R}^2$, and four linear systems in the case of the symmetric conductivity tensor $\mathbb{C}\in\mathbb{R}^{2\times 2}$, at each time step. To accelerate the simulations, we make use of the Alternating Direction Implicit (ADI) method. The role of the parameters is important for obtaining detailed solutions. We provide numerous tests with various values of the parameters involved, to see the differences in the solutions of the two systems.
△ Less
Submitted 17 September, 2022;
originally announced September 2022.
-
Emergence of biological transportation networks as a self-regulated process
Authors:
Jan Haskovec,
Peter Markowich,
Simone Portaro
Abstract:
We study self-regulating processes modeling biological transportation networks. Firstly, we write the formal $L^2$-gradient flow for the symmetric tensor valued diffusivity $D$ of a broad class of entropy dissipations associated with a purely diffusive model. The introduction of a prescribed electric potential leads to the Fokker-Planck equation, for whose entropy dissipations we also investigate…
▽ More
We study self-regulating processes modeling biological transportation networks. Firstly, we write the formal $L^2$-gradient flow for the symmetric tensor valued diffusivity $D$ of a broad class of entropy dissipations associated with a purely diffusive model. The introduction of a prescribed electric potential leads to the Fokker-Planck equation, for whose entropy dissipations we also investigate the formal $L^2$-gradient flow. We derive an integral formula for the second variation of the dissipation functional, proving convexity (in dependence of diffusivity tensor) for a quadratic entropy density modeling Joule heating. Finally, we couple in the Poisson equation for the electric potential obtaining the Poisson-Nernst-Planck system. The formal gradient flow of the associated entropy loss functional is derived, giving an evolution equation for $D$ coupled with two auxiliary elliptic PDEs.
△ Less
Submitted 7 May, 2023; v1 submitted 7 July, 2022;
originally announced July 2022.
-
Cucker-Smale model with finite speed of information propagation: well-posedness, flocking and mean-field limit
Authors:
Jan Haskovec
Abstract:
We study a variant of the Cucker-Smale model where information between agents propagates with a finite speed $\mathfrak{c}>0$. This leads to a system of functional differential equations with state-dependent delay. We prove that, if initially the agents travel slower than $c$, then the discrete model admits unique global solutions. Moreover, under a generic assumption on the influence function, we…
▽ More
We study a variant of the Cucker-Smale model where information between agents propagates with a finite speed $\mathfrak{c}>0$. This leads to a system of functional differential equations with state-dependent delay. We prove that, if initially the agents travel slower than $c$, then the discrete model admits unique global solutions. Moreover, under a generic assumption on the influence function, we show that there exists a critical information propagation speed $\mathfrak{c}^\ast>0$ such that if $\mathfrak{c}\geq\mathfrak{c}^\ast$, the system exhibits asymptotic flocking in the sense of the classical definition of Cucker and Smale. For constant initial datum the value of $\mathfrak{c}^\ast$ is explicitly calculable. Finally, we derive a mean-field limit of the discrete system, which is formulated in terms of probability measures on the space of time-dependent trajectories. We show global well-posedness of the mean-field problem and argue that it does not admit a description in terms of the classical Fokker-Planck equation.
△ Less
Submitted 23 December, 2021;
originally announced December 2021.
-
Tensor PDE model of biological network formation
Authors:
Jan Haskovec,
Peter Markowich,
Giulia Pilli
Abstract:
We study an elliptic-parabolic system of partial differential equations describing formation of biological network structures. The model takes into consideration the evolution of the permeability tensor under the influence of a diffusion term, representing randomness in the material structure, a decay term describing metabolic cost and a pressure force. A Darcy's law type equation describes the pr…
▽ More
We study an elliptic-parabolic system of partial differential equations describing formation of biological network structures. The model takes into consideration the evolution of the permeability tensor under the influence of a diffusion term, representing randomness in the material structure, a decay term describing metabolic cost and a pressure force. A Darcy's law type equation describes the pressure field. In the spatially two-dimensional setting, we present a constructive, formal derivation of the PDE system from the discrete network formation model in the refinement limit of a sequence of unstructured triangulations. Moreover, we show that the PDE system is a formal $L^2$-gradient flow of an energy functional with biological interpretation, and study its convexity properties. For the case when the energy functional is convex, we construct unique global weak solutions of the PDE system. Finally, we construct steady state solutions in one- and multi-dimensional settings and discuss their stability properties.
△ Less
Submitted 6 November, 2021;
originally announced November 2021.
-
Flocking in the Cucker-Smale model with self-delay and nonsymmetric interaction weights
Authors:
Jan Haskovec
Abstract:
We derive a sufficient condition for asymptotic flocking in the Cucker-Smale model with self-delay (also called reaction delay) and with non-symmetric interaction weights. The condition prescribes smallness of the delay length relative to the decay rate of the inter-agent communication weight. The proof is carried out by a bootstrap** argument combining a decay estimate for the group velocity di…
▽ More
We derive a sufficient condition for asymptotic flocking in the Cucker-Smale model with self-delay (also called reaction delay) and with non-symmetric interaction weights. The condition prescribes smallness of the delay length relative to the decay rate of the inter-agent communication weight. The proof is carried out by a bootstrap** argument combining a decay estimate for the group velocity diameter with a variant of the Gronwall-Halanay inequality.
△ Less
Submitted 19 October, 2021; v1 submitted 8 August, 2021;
originally announced August 2021.
-
Asymptotic behavior of the linear consensus model with delay and anticipation
Authors:
Jan Haskovec
Abstract:
We study asymptotic behavior of solutions of the first-order linear consensus model with delay and anticipation, which is a system of neutral delay differential equations. We consider both the transmission-type and reaction-type delay that are motivated by modeling inputs. Studying the simplified case of two agents, we show that, depending on the parameter regime, anticipation may have both a stab…
▽ More
We study asymptotic behavior of solutions of the first-order linear consensus model with delay and anticipation, which is a system of neutral delay differential equations. We consider both the transmission-type and reaction-type delay that are motivated by modeling inputs. Studying the simplified case of two agents, we show that, depending on the parameter regime, anticipation may have both a stabilizing and destabilizing effect on the solutions. In particular, we demonstrate numerically that moderate level of anticipation generically promotes convergence towards consensus, while too high level disturbs it. Motivated by this observation, we derive sufficient conditions for asymptotic consensus in the multiple-agent systems, which are explicit in the parameter values delay length and anticipation level, and independent of the number of agents. The proofs are based on construction of suitable Lyapunov-type functionals.
△ Less
Submitted 30 May, 2021;
originally announced May 2021.
-
Direct proof of unconditional asymptotic consensus in the Hegselmann-Krause model with transmission-type delay
Authors:
Jan Haskovec
Abstract:
We present a direct proof of asymptotic consensus in the nonlinear Hegselmann-Krause model with transmission-type delay, where the communication weights depend on the particle distance in phase space. Our approach is based on an explicit estimate of the shrinkage of the group diameter on finite time intervals and avoids the usage of Lyapunov-type functionals or results from nonnegative matrix theo…
▽ More
We present a direct proof of asymptotic consensus in the nonlinear Hegselmann-Krause model with transmission-type delay, where the communication weights depend on the particle distance in phase space. Our approach is based on an explicit estimate of the shrinkage of the group diameter on finite time intervals and avoids the usage of Lyapunov-type functionals or results from nonnegative matrix theory. It works for both the original formulation of the model with communication weights scaled by the number of agents, and the modification with weights normalized a'la Motsch-Tadmor. We pose only minimal assumptions on the model parameters. In particular, we only assume global positivity of the influence function, without imposing any conditions on its decay rate or monotonicity. Moreover, our result holds for any length of the delay.
△ Less
Submitted 20 March, 2021; v1 submitted 25 October, 2020;
originally announced October 2020.
-
A simple proof of asymptotic consensus in the Hegselmann-Krause and Cucker-Smale models with renormalization and delay
Authors:
Jan Haskovec
Abstract:
We present a simple proof of asymptotic consensus in the discrete Hegselmann-Krause model and flocking in the discrete Cucker-Smale model with renormalization and variable delay. It is based on convexity of the renormalized communication weights and a Gronwall-Halanay-type inequality. The main advantage of our method, compared to previous approaches to the delay Hegselmann-Krause model, is that it…
▽ More
We present a simple proof of asymptotic consensus in the discrete Hegselmann-Krause model and flocking in the discrete Cucker-Smale model with renormalization and variable delay. It is based on convexity of the renormalized communication weights and a Gronwall-Halanay-type inequality. The main advantage of our method, compared to previous approaches to the delay Hegselmann-Krause model, is that it does not require any restriction on the maximal time delay, or the initial data, or decay rate of the influence function. From this point of view the result is optimal. For the Cucker-Smale model it provides an analogous result in the regime of unconditonal flocking with sufficiently slowly decaying communication rate, but still without any restriction on the length of the maximal time delay. Moreover, we demonstrate that the method can be easily extended to the mean-field limits of both the Hegselmann-Krause and Cucker-Smale systems, using appropriate stability results on the measure-valued solutions.
△ Less
Submitted 28 June, 2020; v1 submitted 27 May, 2020;
originally announced May 2020.
-
Well posedness and asymptotic consensus in the Hegselmann-Krause model with finite speed of information propagation
Authors:
Jan Haskovec
Abstract:
We consider a variant of the Hegselmann-Krause model of consensus formation where information between agents propagates with a finite speed $\mathfrak{c}$. This leads to a system of ordinary differential equations (ODE) with state-dependent delay. Observing that the classical well-posedness theory for ODE systems does not apply, we provide a proof of global existence and uniqueness of solutions of…
▽ More
We consider a variant of the Hegselmann-Krause model of consensus formation where information between agents propagates with a finite speed $\mathfrak{c}$. This leads to a system of ordinary differential equations (ODE) with state-dependent delay. Observing that the classical well-posedness theory for ODE systems does not apply, we provide a proof of global existence and uniqueness of solutions of the model. We prove that asymptotic consensus is always reached in the spatially one-dimensional setting of the model, as long as agents travel slower than $\mathfrak{c}$. We also provide sufficient conditions for asymptotic consensus in the spatially multi-dimensional setting.
△ Less
Submitted 20 March, 2021; v1 submitted 11 May, 2020;
originally announced May 2020.
-
Exponential asymptotic flocking in the Cucker-Smale model with distributed reaction delays
Authors:
Jan Haskovec,
Ioannis Markou
Abstract:
We study a variant of the Cucker-Smale system with distributed reaction delays. Using backward-forward and stability estimates on the quadratic velocity fluctuations we derive sufficient conditions for asymptotic flocking of the solutions. The conditions are formulated in terms of moments of the delay distribution and they guarantee exponential decay of velocity fluctuations towards zero for large…
▽ More
We study a variant of the Cucker-Smale system with distributed reaction delays. Using backward-forward and stability estimates on the quadratic velocity fluctuations we derive sufficient conditions for asymptotic flocking of the solutions. The conditions are formulated in terms of moments of the delay distribution and they guarantee exponential decay of velocity fluctuations towards zero for large times. We demonstrate the applicability of our theory to particular delay distributions - exponential, uniform and linear. For the exponential distribution, the flocking condition can be resolved analytically, leading to an explicit formula. For the other two distributions, the satisfiability of the assumptions is investigated numerically.
△ Less
Submitted 10 May, 2020;
originally announced May 2020.
-
Asymptotic and exponential decay in mean square for delay geometric Brownian motion
Authors:
Jan Haskovec
Abstract:
We derive sufficient conditions for asymptotic and monotone exponential decay in mean square of solutions of the geometric Brownian motion with delay. The conditions are written in terms of the parameters and are explicit for the case of asymptotic decay. For exponential decay, they are easily resolvable numerically. The analytical method is based on construction of a Lyapunov functional (asymptot…
▽ More
We derive sufficient conditions for asymptotic and monotone exponential decay in mean square of solutions of the geometric Brownian motion with delay. The conditions are written in terms of the parameters and are explicit for the case of asymptotic decay. For exponential decay, they are easily resolvable numerically. The analytical method is based on construction of a Lyapunov functional (asymptotic decay) and forward-backward estimate for the square mean (exponential decay).
△ Less
Submitted 20 March, 2021; v1 submitted 7 May, 2020;
originally announced May 2020.
-
Exponential decay for negative feedback loop with distributed delay
Authors:
Jan Haskovec
Abstract:
We derive sufficient conditions for exponential decay of solutions of the delay negative feedback equation with distributed delay. The conditions are written in terms of exponential moments of the distribution. Our method only uses elementary tools of calculus and is robust towards possible extensions to more complex settings, in particular, systems of delay differential equations. We illustrate t…
▽ More
We derive sufficient conditions for exponential decay of solutions of the delay negative feedback equation with distributed delay. The conditions are written in terms of exponential moments of the distribution. Our method only uses elementary tools of calculus and is robust towards possible extensions to more complex settings, in particular, systems of delay differential equations. We illustrate the applicability of the method to particular distributions - Dirac delta, Gamma distribution, uniform and truncated normal distributions.
△ Less
Submitted 6 May, 2020;
originally announced May 2020.
-
Murray's law for discrete and continuum models of biological networks
Authors:
Jan Haskovec,
Peter Markowich,
Giulia Pilli
Abstract:
We demonstrate the validity of Murray's law, which represents a scaling relation for branch conductivities in a transportation network, for discrete and continuum models of biological networks. We first consider discrete networks with general metabolic coefficient and multiple branching nodes and derive a generalization of the classical 3/4-law. Next we prove an analogue of the discrete Murray's l…
▽ More
We demonstrate the validity of Murray's law, which represents a scaling relation for branch conductivities in a transportation network, for discrete and continuum models of biological networks. We first consider discrete networks with general metabolic coefficient and multiple branching nodes and derive a generalization of the classical 3/4-law. Next we prove an analogue of the discrete Murray's law for the continuum system obtained in the continuum limit of the discrete model on a rectangular mesh. Finally, we consider a continuum model derived from phenomenological considerations and show the validity of the Murray's law for its linearly stable steady states.
△ Less
Submitted 3 August, 2019;
originally announced August 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.
-
Asymptotic flocking in the Cucker-Smale model with reaction-type delays in the non-oscillatory regime
Authors:
Jan Haskovec,
Ioannis Markou
Abstract:
We study a variant of the Cucker-Smale system with reaction-type delay. Using novel backward-forward and stability estimates on appropriate quantities we derive sufficient conditions for asymptotic flocking of the solutions. These conditions, although not explicit, relate the velocity fluctuation of the initial datum and the length of the delay. If satisfied, they guarantee monotone decay (i.e., n…
▽ More
We study a variant of the Cucker-Smale system with reaction-type delay. Using novel backward-forward and stability estimates on appropriate quantities we derive sufficient conditions for asymptotic flocking of the solutions. These conditions, although not explicit, relate the velocity fluctuation of the initial datum and the length of the delay. If satisfied, they guarantee monotone decay (i.e., non-oscillatory regime) of the velocity fluctuations towards zero for large times. For the simplified setting with only two agents and constant communication rate the Cucker-Smale system reduces to the delay negative feedback equation. We demonstrate that in this case our method provides the sharp condition for the size of the delay such that the solution be non-oscillatory. Moreover, we comment on the mathematical issues appearing in the formal macroscopic description of the reaction-type delay system.
△ Less
Submitted 25 February, 2020; v1 submitted 2 October, 2018;
originally announced October 2018.
-
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.
-
A mesoscopic model of biological transportation networks
Authors:
Martin Burger,
Jan Haskovec,
Peter Markowich,
Helene Ranetbauer
Abstract:
We introduce a mesoscopic model for natural network formation processes, acting as a bridge between the discrete and continuous network approach proposed by Hu and Cai. The models are based on a common approach where the dynamics of the conductance network is subject to pressure force effects. We first study topological properties of the discrete model and we prove that if the metabolic energy con…
▽ More
We introduce a mesoscopic model for natural network formation processes, acting as a bridge between the discrete and continuous network approach proposed by Hu and Cai. The models are based on a common approach where the dynamics of the conductance network is subject to pressure force effects. We first study topological properties of the discrete model and we prove that if the metabolic energy consumption term is concave with respect to the conductivities, the optimal network structure is a tree (i.e., no loops are present). We then analyze various aspects of the mesoscopic modeling approach, in particular its relation to the discrete model and its stationary solutions, including discrete network solutions. Moreover, we present an alternative formulation of the mesoscopic model that avoids the explicit presence of the pressure in the energy functional.
△ Less
Submitted 6 June, 2018; v1 submitted 31 May, 2018;
originally announced June 2018.
-
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.
-
An Optimal Transport Approach for the Kinetic Bohmian Equation
Authors:
Wilfrid Gangbo,
Jan Haskovec,
Peter Markowich,
Jesus Sierra
Abstract:
We study the existence theory of solutions of the kinetic Bohmian equation, a nonlinear Vlasov-type equation proposed for the phase-space formulation of Bohmian mechanics. Our main idea is to interpret the kinetic Bohmian equation as a Hamiltonian system defined on an appropriate Poisson manifold built on a Wasserstein space. We start by presenting an existence theory for stationary solutions of t…
▽ More
We study the existence theory of solutions of the kinetic Bohmian equation, a nonlinear Vlasov-type equation proposed for the phase-space formulation of Bohmian mechanics. Our main idea is to interpret the kinetic Bohmian equation as a Hamiltonian system defined on an appropriate Poisson manifold built on a Wasserstein space. We start by presenting an existence theory for stationary solutions of the kinetic Bohmian equation. Afterwards, we develop an approximative version of our Hamiltonian system in order to study its associated flow. We then prove existence of solutions of our approximative version. Finally, we present some convergence results for the approximative system, the aim being to establish that, in the limit, the approximative solution satisfies the kinetic Bohmian equation in a weak sense.
△ Less
Submitted 10 May, 2018;
originally announced May 2018.
-
Hydrodynamic Cucker-Smale model with normalized communication weights and time delay
Authors:
Young-Pil Choi,
Jan Haskovec
Abstract:
We study a hydrodynamic Cucker-Smale-type model with time delay in communication and information processing, in which agents interact with each other through normalized communication weights. The model consists of a pressureless Euler system with time delayed non-local alignment forces. We resort to its Lagrangian formulation and prove the existence of its global in time classical solutions. Moreo…
▽ More
We study a hydrodynamic Cucker-Smale-type model with time delay in communication and information processing, in which agents interact with each other through normalized communication weights. The model consists of a pressureless Euler system with time delayed non-local alignment forces. We resort to its Lagrangian formulation and prove the existence of its global in time classical solutions. Moreover, we derive a sufficient condition for the asymptotic flocking behavior of the solutions. Finally, we show the presence of a critical phenomenon for the Eulerian system posed in the spatially one-dimensional setting.
△ Less
Submitted 17 July, 2017;
originally announced July 2017.
-
Well posedness and Maximum Entropy Approximation for the Dynamics of Quantitative Traits
Authors:
Katarina Bodova,
Jan Haskovec,
Peter Markowich
Abstract:
We study the Fokker-Planck equation derived in the large system limit of the Markovian process describing the dynamics of quantitative traits. The Fokker-Planck equation is posed on a bounded domain and its transport and diffusion coefficients vanish on the domain's boundary. We first argue that, despite this degeneracy, the standard no-flux boundary condition is valid. We derive the weak formulat…
▽ More
We study the Fokker-Planck equation derived in the large system limit of the Markovian process describing the dynamics of quantitative traits. The Fokker-Planck equation is posed on a bounded domain and its transport and diffusion coefficients vanish on the domain's boundary. We first argue that, despite this degeneracy, the standard no-flux boundary condition is valid. We derive the weak formulation of the problem and prove the existence and uniqueness of its solutions by constructing the corresponding contraction semigroup on a suitable function space. Then, we prove that for the parameter regime with high enough mutation rate the problem exhibits a positive spectral gap, which implies exponential convergence to equilibrium.
Next, we provide a simple derivation of the so-called Dynamic Maximum Entropy (DynMaxEnt) method for approximation of moments of the Fokker-Planck solution, which can be interpreted as a nonlinear Galerkin approximation. The limited applicability of the DynMaxEnt method inspires us to introduce its modified version that is valid for the whole range of admissible parameters. Finally, we present several numerical experiments to demonstrate the performance of both the original and modified DynMaxEnt methods. We observe that in the parameter regimes where both methods are valid, the modified one exhibits slightly better approximation properties compared to the original one.
△ Less
Submitted 27 April, 2017;
originally announced April 2017.
-
Cucker-Smale model with normalized communication weights and time delay
Authors:
Young-Pil Choi,
Jan Haskovec
Abstract:
We study a Cucker-Smale-type system with time delay in which agents interact with each other through normalized communication weights. We construct a Lyapunov functional for the system and provide sufficient conditions for asymptotic flocking, i.e., convergence to a common velocity vector. We also carry out a rigorous limit passage to the mean-field limit of the particle system as the number of pa…
▽ More
We study a Cucker-Smale-type system with time delay in which agents interact with each other through normalized communication weights. We construct a Lyapunov functional for the system and provide sufficient conditions for asymptotic flocking, i.e., convergence to a common velocity vector. We also carry out a rigorous limit passage to the mean-field limit of the particle system as the number of particles tends to infinity.For the resulting Vlasov-type equation we prove the existence, stability and large-time behavior of measure-valued solutions. This is, to our best knowledge, the first such result for a Vlasov-type equation with time delay. We also present numerical simulations of the discrete system with few particles that provide further insights into the flocking and oscillatory behaviors of the particle velocities depending on the size of the time delay.
△ Less
Submitted 24 August, 2016;
originally announced August 2016.
-
Decay to equilibrium for energy-reaction-diffusion systems
Authors:
Jan Haskovec,
Sabine Hittmeir,
Peter Markowich,
Alexander Mielke
Abstract:
We derive thermodynamically consistent models of reaction-diffusion equations coupled to a heat equation. While the total energy is conserved, the total entropy serves as a driving functional such that the full coupled system is a gradient flow. The novelty of the approach is the Onsager structure, which is the dual form of a gradient system, and the formulation in terms of the densities and the i…
▽ More
We derive thermodynamically consistent models of reaction-diffusion equations coupled to a heat equation. While the total energy is conserved, the total entropy serves as a driving functional such that the full coupled system is a gradient flow. The novelty of the approach is the Onsager structure, which is the dual form of a gradient system, and the formulation in terms of the densities and the internal energy. In these variables it is possible to assume that the entropy density is strictly concave such that there is a unique maximizer (thermodynamical equilibrium) given linear constraints on the total energy and suitable density constraints.
We consider two particular systems of this type, namely, a diffusion-reaction bipolar energy transport system, and a drift-diffusion-reaction energy transport system with confining potential. We prove corresponding entropy-entropy production inequalities with explicitely calculable constants and establish the convergence to thermodynamical equilibrium, at first in entropy and further in $L^1$ using Cziszar-Kullback-Pinsker type inequalities.
△ Less
Submitted 18 February, 2016;
originally announced February 2016.
-
Notes on a PDE System for Biological Network Formation
Authors:
Jan Haskovec,
Peter Markowich,
Benoit Perthame,
Matthias Schlottbom
Abstract:
We present new analytical and numerical results for the elliptic-parabolic system of partial differential equations proposed by Hu and Cai, which models the formation of biological transport networks. The model describes the pressure field using a Darcy's type equation and the dynamics of the conductance network under pressure force effects. Randomness in the material structure is represented by a…
▽ More
We present new analytical and numerical results for the elliptic-parabolic system of partial differential equations proposed by Hu and Cai, which models the formation of biological transport networks. The model describes the pressure field using a Darcy's type equation and the dynamics of the conductance network under pressure force effects. Randomness in the material structure is represented by a linear diffusion term and conductance relaxation by an algebraic decay term. The analytical part extends the results of Haskovec, Markowich and Perthame regarding the existence of weak and mild solutions to the whole range of meaningful relaxation exponents. Moreover, we prove finite time extinction or break-down of solutions in the spatially onedimensional setting for certain ranges of the relaxation exponent. We also construct stationary solutions for the case of vanishing diffusion and critical value of the relaxation exponent, using a variational formulation and a penalty method. The analytical part is complemented by extensive numerical simulations. We propose a discretization based on mixed finite elements and study the qualitative properties of network structures for various parameters values. Furthermore, we indicate numerically that some analytical results proved for the spatially one-dimensional setting are likely to be valid also in several space dimensions.
△ Less
Submitted 13 October, 2015;
originally announced October 2015.
-
On Cucker-Smale model with noise and delay
Authors:
Radek Erban,
Jan Haskovec,
Yongzheng Sun
Abstract:
A generalization of the Cucker-Smale model for collective animal behaviour is investigated. The model is formulated as a system of delayed stochastic differential equations. It incorporates two additional processes which are present in animal decision making, but are often neglected in modelling: (i) stochasticity (imperfections) of individual behaviour; and (ii) delayed responses of individuals t…
▽ More
A generalization of the Cucker-Smale model for collective animal behaviour is investigated. The model is formulated as a system of delayed stochastic differential equations. It incorporates two additional processes which are present in animal decision making, but are often neglected in modelling: (i) stochasticity (imperfections) of individual behaviour; and (ii) delayed responses of individuals to signals in their environment. Sufficient conditions for flocking for the generalized Cucker-Smale model are derived by using a suitable Lyapunov functional. As a byproduct, a new result regarding the asymptotic behaviour of delayed geometric Brownian motion is obtained. In the second part of the paper results of systematic numerical simulations are presented. They not only illustrate the analytical results, but hint at a somehow surprising behaviour of the system - namely, that an introduction of intermediate time delay may facilitate flocking.
△ Less
Submitted 15 July, 2015;
originally announced July 2015.
-
A Note on the Consensus Finding Problem in Communication Networks with Switching Topologies
Authors:
Jan Haskovec
Abstract:
In this note, we discuss the problem of consensus finding in communication networks of agents with dynamically switching topologies. In particular, we consider the case of directed networks with unbalanced matrices of communication rates. We formulate sufficient conditions for consensus finding in terms of strong connectivity of the underlying directed graphs and prove that, given these conditions…
▽ More
In this note, we discuss the problem of consensus finding in communication networks of agents with dynamically switching topologies. In particular, we consider the case of directed networks with unbalanced matrices of communication rates. We formulate sufficient conditions for consensus finding in terms of strong connectivity of the underlying directed graphs and prove that, given these conditions, consensus is found asymptotically. Moreover, we show that this consensus is an emergent property of the system, being encoded in its dynamics and not just an invariant of its initial configuration.
△ Less
Submitted 5 May, 2014;
originally announced May 2014.
-
Mathematical Analysis of a System for Biological Network Formation
Authors:
Jan Haskovec,
Peter Markowich,
Benoit Perthame
Abstract:
Motivated by recent physics papers describing rules for natural network formation, we study an elliptic-parabolic system of partial differential equations proposed by Hu and Cai. The model describes the pressure field thanks to Darcy's type equation and the dynamics of the conductance network under pressure force effects with a diffusion rate $D$ representing randomness in the material structure.…
▽ More
Motivated by recent physics papers describing rules for natural network formation, we study an elliptic-parabolic system of partial differential equations proposed by Hu and Cai. The model describes the pressure field thanks to Darcy's type equation and the dynamics of the conductance network under pressure force effects with a diffusion rate $D$ representing randomness in the material structure. We prove the existence of global weak solutions and of local mild solutions and study their long term behaviour. It turns out that, by energy dissipation, steady states play a central role to understand the pattern capacity of the system. We show that for a large diffusion coefficient $D$, the zero steady state is stable. Patterns occur for small values of $D$ because the zero steady state is Turing unstable in this range; for $D=0$ we can exhibit a large class of dynamically stable (in the linearized sense) steady states.
△ Less
Submitted 8 May, 2014; v1 submitted 5 May, 2014;
originally announced May 2014.
-
Flocking dynamics and mean-field limit in the Cucker-Smale-type model with topological interactions
Authors:
Jan Haskovec
Abstract:
We introduce a Cucker-Smale-type model for flocking, where the strength of interaction between two agents depends on their relative separation (called "topological distance" in previous works), which is the number of intermediate individuals separating them. This makes the model scale-free and is motivated by recent extensive observations of starling flocks, suggesting that interaction ruling anim…
▽ More
We introduce a Cucker-Smale-type model for flocking, where the strength of interaction between two agents depends on their relative separation (called "topological distance" in previous works), which is the number of intermediate individuals separating them. This makes the model scale-free and is motivated by recent extensive observations of starling flocks, suggesting that interaction ruling animal collective behavior depends on topological rather than metric distance. We study the conditions leading to asymptotic flocking in the topological model, defined as the convergence of the agents' velocities to a common vector. The shift from metric to topological interactions requires development of new analytical methods, taking into account the graph-theoretical nature of the problem. Moreover, we provide a rigorous derivation of the mean-field limit of large populations, recovering kinetic and hydrodynamic descriptions. In particular, we introduce the novel concept of relative separation in continuum descriptions, which is applicable to a broad variety of models of collective behavior. As an example, we shortly discuss a topological modification of the attraction-repulsion model and illustrate with numerical simulations that the modified model produces interesting new pattern dynamics.
△ Less
Submitted 17 April, 2013; v1 submitted 5 January, 2013;
originally announced January 2013.
-
Consistency of Variational Continuous-Domain Quantization via Kinetic Theory
Authors:
Massimo Fornasier,
Jan Haskovec,
Gabriele Steidl
Abstract:
We study the kinetic mean-field limits of the discrete systems of interacting particles used for halftoning of images in the sense of continuous-domain quantization. Under mild assumptions on the regularity of the interacting kernels we provide a rigorous derivation of the mean-field kinetic equation. Moreover, we study the energy of the system, show that it is a Lyapunov functional and prove that…
▽ More
We study the kinetic mean-field limits of the discrete systems of interacting particles used for halftoning of images in the sense of continuous-domain quantization. Under mild assumptions on the regularity of the interacting kernels we provide a rigorous derivation of the mean-field kinetic equation. Moreover, we study the energy of the system, show that it is a Lyapunov functional and prove that in the long time limit the solution tends to an equilibrium given by a local minimum of the energy. In a special case we prove that the equilibrium is unique and is identical to the prescribed image profile. This proves the consistency of the particle halftoning method when the number of particles tends to infinity.
△ Less
Submitted 5 December, 2011;
originally announced December 2011.
-
Individual based and mean-field modelling of direct aggregation
Authors:
Martin Burger,
Jan Haskovec,
Marie-Therese Wolfram
Abstract:
We introduce two models of biological aggregation, based on randomly moving particles with individual stochasticity depending on the perceived average population density in their neighbourhood. In the first-order model the location of each individual is subject to a density-dependent random walk, while in the second-order model the density-dependent random walk acts on the velocity variable, toget…
▽ More
We introduce two models of biological aggregation, based on randomly moving particles with individual stochasticity depending on the perceived average population density in their neighbourhood. In the first-order model the location of each individual is subject to a density-dependent random walk, while in the second-order model the density-dependent random walk acts on the velocity variable, together with a density-dependent dam** term. The main novelty of our models is that we do not assume any explicit aggregative force acting on the individuals; instead, aggregation is obtained exclusively by reducing the individual stochasticity in response to higher perceived density. We formally derive the corresponding mean-field limits, leading to nonlocal degenerate diffusions. Then, we carry out the mathematical analysis of the first-order model, in particular, we prove the existence of weak solutions and show that it allows for measure-valued steady states. We also perform linear stability analysis and identify conditions for pattern formation. Moreover, we discuss the role of the nonlocality for well-posedness of the first-order model. Finally, we present results of numerical simulations for both the first- and second-order model on the individual-based and continuum levels of description.
△ Less
Submitted 21 February, 2012; v1 submitted 5 December, 2011;
originally announced December 2011.
-
From individual to collective behaviour of coupled velocity jump processes: a locust example
Authors:
Radek Erban,
Jan Haskovec
Abstract:
A class of stochastic individual-based models, written in terms of coupled velocity jump processes, is presented and analysed. This modelling approach incorporates recent experimental findings on behaviour of locusts. It exhibits nontrivial dynamics with a "phase change" behaviour and recovers the observed group directional switching. Estimates of the expected switching times, in terms of number o…
▽ More
A class of stochastic individual-based models, written in terms of coupled velocity jump processes, is presented and analysed. This modelling approach incorporates recent experimental findings on behaviour of locusts. It exhibits nontrivial dynamics with a "phase change" behaviour and recovers the observed group directional switching. Estimates of the expected switching times, in terms of number of individuals and values of the model coefficients, are obtained using the corresponding Fokker-Planck equation. In the limit of large populations, a system of two kinetic equations with nonlocal and nonlinear right hand side is derived and analyzed. The existence of its solutions is proven and the system's long-time behaviour is investigated. Finally, a first step towards the mean field limit of topological interactions is made by studying the effect of shrinking the interaction radius in the individual-based model when the number of individuals grows.
△ Less
Submitted 13 April, 2011;
originally announced April 2011.
-
Particle systems and kinetic equations modeling interacting agents in high dimension
Authors:
Massimo Fornasier,
Jan Haskovec,
Jan Vybiral
Abstract:
In this paper we explore how concepts of high-dimensional data compression via random projections onto lower-dimensional spaces can be applied for tractable simulation of certain dynamical systems modeling complex interactions. In such systems, one has to deal with a large number of agents (typically millions) in spaces of parameters describing each agent of high dimension (thousands or more). Eve…
▽ More
In this paper we explore how concepts of high-dimensional data compression via random projections onto lower-dimensional spaces can be applied for tractable simulation of certain dynamical systems modeling complex interactions. In such systems, one has to deal with a large number of agents (typically millions) in spaces of parameters describing each agent of high dimension (thousands or more). Even with today's powerful computers, numerical simulations of such systems are prohibitively expensive. We propose an approach for the simulation of dynamical systems governed by functions of adjacency matrices in high dimension, by random projections via Johnson-Lindenstrauss embeddings, and recovery by compressed sensing techniques. We show how these concepts can be generalized to work for associated kinetic equations, by addressing the phenomenon of the delayed curse of dimension, known in information-based complexity for optimal numerical integration problems in high dimensions.
△ Less
Submitted 7 November, 2011; v1 submitted 13 April, 2011;
originally announced April 2011.