Source author record

Jan Haskovec

Jan Haskovec appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

14works
7topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

14 published item(s)

preprint2020arXiv

A simple proof of asymptotic consensus in the Hegselmann-Krause and Cucker-Smale models with renormalization and delay

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.

preprint2020arXiv

Exponential asymptotic flocking in the Cucker-Smale model with distributed reaction delays

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.

preprint2020arXiv

Exponential decay for negative feedback loop with distributed delay

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.

preprint2018arXiv

ODE and PDE based modeling of biological transportation networks

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.

preprint2016arXiv

Cucker-Smale model with normalized communication weights and time delay

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.

preprint2015arXiv

Notes on a PDE System for Biological Network Formation

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.

preprint2015arXiv

On Cucker-Smale model with noise and delay

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.

preprint2014arXiv

A Note on the Consensus Finding Problem in Communication Networks with Switching Topologies

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.

preprint2014arXiv

Mathematical Analysis of a System for Biological Network Formation

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.

preprint2013arXiv

Flocking dynamics and mean-field limit in the Cucker-Smale-type model with topological interactions

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.

preprint2012arXiv

Individual based and mean-field modelling of direct aggregation

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 damping 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.

preprint2011arXiv

Consistency of Variational Continuous-Domain Quantization via Kinetic Theory

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.

preprint2011arXiv

From individual to collective behaviour of coupled velocity jump processes: a locust example

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.

preprint2011arXiv

Particle systems and kinetic equations modeling interacting agents in high dimension

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.