Vlasov Equations on Directed Hypergraph Measures

In this paper we propose a framework to investigate the mean field limit (MFL) of interacting particle systems on directed hypergraphs. We provide a non-trivial measure-theoretic viewpoint and make extensions of directed hypergraphs as directed hypergraph measures (DHGMs), which are measure-valued functions on a compact metric space. These DHGMs can be regarded as hypergraph limits which include limits of a sequence of hypergraphs that are sparse, dense, or of intermediate densities. Our main results show that the Vlasov equation on DHGMs are well-posed and its solution can be approximated by empirical distributions of large networks of higher-order interactions. The results are applied to a Kuramoto network in physics, an epidemic network, and an ecological network, all of which include higher-order interactions. To prove the main results on the approximation and well-posedness of the Vlasov equation on DHGMs, we robustly generalize the method of [Kuehn, Xu. Vlasov equations on digraph measures, arXiv:2107.08419, 2021] to higher-dimensions. In particular, we successfully extend the arguments for the measure-valued functions $f\colon X\to\mathcal{M}_+(X)$ to those for $f\colon X\to\mathcal{M}_+(X^{k-1})$, where $X$ is the vertex space of DHGMs and $k\in\mathbb{N}\setminus\{1\}$ is the \emph{cardinality} of the DHGM.

[1]  Santiago Segarra,et al.  Limits of Dense Simplicial Complexes , 2022, 2207.07980.

[2]  C. Bick,et al.  Phase Oscillator Networks with Nonlocal Higher-Order Interactions: Twisted States, Stability and Bifurcations , 2022, 2206.01951.

[3]  Lee DeVille,et al.  Dynamical systems defined on simplicial complexes: Symmetries, conjugacies, and invariant subspaces. , 2022, Chaos.

[4]  Wasiur R. KhudaBukhsh,et al.  Hypergraphon Mean Field Games , 2022, Chaos.

[5]  I. Horváth,et al.  Accuracy Criterion for Mean Field Approximations of Markov Processes on Hypergraphs , 2022, SSRN Electronic Journal.

[6]  Christian Kuehn,et al.  Vlasov equations on digraph measures , 2021, Journal of Differential Equations.

[7]  Heather A. Harrington,et al.  What are higher-order networks? , 2021, ArXiv.

[8]  L. V. Gambuzza,et al.  Stability of synchronization in simplicial complexes , 2021, Nature Communications.

[9]  Benjamin Jourdain,et al.  Approximation rate in Wasserstein distance of probability measures on the real line by deterministic empirical measures , 2020, J. Approx. Theory.

[10]  C. Bick,et al.  Multi-population phase oscillator networks with higher-order interactions , 2020, Nonlinear Differential Equations and Applications NoDEA.

[11]  Christian Kuehn,et al.  Graphop Mean-Field Limits for Kuramoto-Type Models , 2020, SIAM J. Appl. Dyn. Syst..

[12]  Tina Eliassi-Rad,et al.  The why, how, and when of representations for complex systems , 2020, SIAM Rev..

[13]  V. Latora,et al.  Networks beyond pairwise interactions: structure and dynamics , 2020, Physics Reports.

[14]  V. Latora,et al.  The Master Stability Function for Synchronization in Simplicial Complexes , 2020, 2004.03913.

[15]  Antonín Slavík,et al.  Lotka-Volterra Competition Model on Graphs , 2020, SIAM J. Appl. Dyn. Syst..

[16]  Christian Kuehn,et al.  Coupled dynamics on hypergraphs: Master stability of steady states and synchronization. , 2020, Physical review. E.

[17]  K. Ramanan,et al.  Local weak convergence for sparse networks of interacting processes , 2019, The Annals of Applied Probability.

[18]  K. Ramanan,et al.  Large sparse networks of interacting diffusions , 2019 .

[19]  Martin Feinberg,et al.  Foundations of Chemical Reaction Network Theory , 2019, Applied Mathematical Sciences.

[20]  Lucas M. Stolerman,et al.  Interacting diffusions on sparse graphs: hydrodynamics from local weak limits , 2018, Electronic Journal of Probability.

[21]  Julien Chevallier,et al.  Uniform decomposition of probability measures: quantization, clustering and rate of convergence , 2018, Journal of Applied Probability.

[22]  B. Szegedy,et al.  Action convergence of operators and graphs , 2018, Canadian Journal of Mathematics.

[23]  Georgi S. Medvedev,et al.  The Mean Field Equation for the Kuramoto Model on Graph Sequences with Non-Lipschitz Limit , 2017, SIAM J. Math. Anal..

[24]  Chuang Xu,et al.  Best finite constrained approximations of one-dimensional probabilities , 2017, J. Approx. Theory.

[25]  Georgi S. Medvedev,et al.  The mean field analysis of the Kuramoto model on graphs Ⅰ. The mean field equation and transition point formulas , 2016, Discrete & Continuous Dynamical Systems - A.

[26]  László Lovász,et al.  Measures on the square as sparse graph limits , 2016, J. Comb. Theory, Ser. B.

[27]  P. Ashwin,et al.  Chaos in generically coupled phase oscillator networks with nonpairwise interactions. , 2016, Chaos.

[28]  Gyula Y Katona,et al.  SIS Epidemic Propagation on Hypergraphs , 2015, Bulletin of Mathematical Biology.

[29]  T. Sideris Ordinary Differential Equations and Dynamical Systems , 2013 .

[30]  Alain Bretto,et al.  Hypergraph Theory: An Introduction , 2013 .

[31]  Yufei Zhao,et al.  Hypergraph limits: A regularity approach , 2013, Random Struct. Algorithms.

[32]  F. Golse On the Dynamics of Large Particle Systems in the Mean Field Limit , 2013, 1301.5494.

[33]  G'abor Elek,et al.  A measure-theoretic approach to the theory of dense hypergraphs , 2008, 0810.4062.

[34]  J. Jonsson Simplicial complexes of graphs , 2007 .

[35]  W. T. Gowers,et al.  Hypergraph regularity and the multidimensional Szemerédi theorem , 2007, 0710.3032.

[36]  Felipe Cucker,et al.  Emergent Behavior in Flocks , 2007, IEEE Transactions on Automatic Control.

[37]  V. Sós,et al.  Convergent Sequences of Dense Graphs I: Subgraph Frequencies, Metric Properties and Testing , 2007, math/0702004.

[38]  T. Tao A variant of the hypergraph removal lemma , 2005, J. Comb. Theory A.

[39]  László Lovász,et al.  Limits of dense graph sequences , 2004, J. Comb. Theory B.

[40]  Rainer Hegselmann,et al.  Opinion dynamics and bounded confidence: models, analysis and simulation , 2002, J. Artif. Soc. Soc. Simul..

[41]  I. Benjamini,et al.  Recurrence of Distributional Limits of Finite Planar Graphs , 2000, math/0011019.

[42]  E. C. Pielou,et al.  An introduction to mathematical ecology , 1970 .

[43]  F. Bombal Continuous Multilinear Operators on C(K) Spaces and Polymeasures , 2007 .

[44]  D. Morale,et al.  An interacting particle system modelling aggregation behavior: from individuals to populations , 2005, Journal of mathematical biology.

[45]  H. Spohn Large Scale Dynamics of Interacting Particles , 1991 .

[46]  Helmut Neunzert,et al.  An introduction to the nonlinear Boltzmann-Vlasov equation , 1984 .

[47]  M. Bálek,et al.  Large Networks and Graph Limits , 2022 .