Table of Contents
Fetching ...

Coupling and Tensorization of Kinetic Theory and Graph Theory

Datong Zhou

TL;DR

The paper develops a rigorous framework for the mean-field limit of non-exchangeable multi-agent systems by coupling kinetic theory with graphon theory through a convex bi-coupling distance. It introduces observables that tensorize agent laws with graph homomorphism densities, extending graph limit tools to functional (Hilbert-valued) graphons and proving stability and convergence to an extended Vlasov PDE. The main contributions include a discrete-to-continuum limit theorem, a Sobolev-based compactness approach, and a comprehensive tensorized BBGKY-type hierarchy that unifies mean-field and graph-limit perspectives for non-exchangeable dynamics. This work provides a principled pathway to analyze large-scale, heterogeneous networks where connection weights and agent identities influence dynamics, with potential implications for data-driven modeling and numerical computation in complex systems.

Abstract

We study a non-exchangeable multi-agent system and rigorously derive a strong form of the mean-field limit. The convergence of the connection weights and the initial data implies convergence of large-scale dynamics toward a deterministic limit given by the corresponding extended Vlasov PDE, at any later time and any realization of randomness. This is established on what we call a bi-coupling distance defined through a convex optimization problem, which is an interpolation of the optimal transport between measures and the fractional overlay between graphs. The proof relies on a quantitative stability estimate of the so-called observables, which are tensorizations of agent laws and graph homomorphism densities. This reveals a profound relationship between mean-field theory and graph limiting theory, intersecting in the study of non-exchangeable systems.

Coupling and Tensorization of Kinetic Theory and Graph Theory

TL;DR

The paper develops a rigorous framework for the mean-field limit of non-exchangeable multi-agent systems by coupling kinetic theory with graphon theory through a convex bi-coupling distance. It introduces observables that tensorize agent laws with graph homomorphism densities, extending graph limit tools to functional (Hilbert-valued) graphons and proving stability and convergence to an extended Vlasov PDE. The main contributions include a discrete-to-continuum limit theorem, a Sobolev-based compactness approach, and a comprehensive tensorized BBGKY-type hierarchy that unifies mean-field and graph-limit perspectives for non-exchangeable dynamics. This work provides a principled pathway to analyze large-scale, heterogeneous networks where connection weights and agent identities influence dynamics, with potential implications for data-driven modeling and numerical computation in complex systems.

Abstract

We study a non-exchangeable multi-agent system and rigorously derive a strong form of the mean-field limit. The convergence of the connection weights and the initial data implies convergence of large-scale dynamics toward a deterministic limit given by the corresponding extended Vlasov PDE, at any later time and any realization of randomness. This is established on what we call a bi-coupling distance defined through a convex optimization problem, which is an interpolation of the optimal transport between measures and the fractional overlay between graphs. The proof relies on a quantitative stability estimate of the so-called observables, which are tensorizations of agent laws and graph homomorphism densities. This reveals a profound relationship between mean-field theory and graph limiting theory, intersecting in the study of non-exchangeable systems.

Paper Structure

This paper contains 38 sections, 52 theorems, 356 equations.

Key Result

Theorem 1.2

Let $\mathbb{D} = \mathbb{T}$, and let $\mu \in W^{1,\infty}(\mathbb{T})$, $\sigma \in W^{2,\infty}(\mathbb{T} \times \mathbb{T})$, $\nu \geq 0$. Let $\{w^{(n)}\}_{n \in \mathbb{N}}$ be a sequence of connection weight matrices $w^{(n)} \in \mathbb{R}^{N_n \times N_n}$, and let $\{X^{(n)}_0\}_{n \in

Theorems & Definitions (137)

  • Definition 1.1: Bi-coupling distances, discrete
  • Theorem 1.2: Main result, discrete only
  • Definition 1.3
  • Definition 1.4: Coupling
  • Definition 1.5: Bi-coupling distances
  • Definition 1.6: Random variable lifted from law
  • Theorem 1.7: Main result
  • Lemma 2.1
  • Lemma 2.2
  • Definition 2.3: Norms for Hilbert-valued kernels
  • ...and 127 more