In this article, we investigate the topological structure of large-scale interacting systems on infinite graphs, by constructing a suitable cohomology which we call the uniform cohomology. The central idea for the construction is the introduction of a class of functions called uniform functions. Uniform cohomology provides a new perspective for the identification of macroscopic observables from the microscopic system. As a straightforward application of our theory when the underlying graph has a free action of a group, we prove a certain decomposition theorem for shift-invariant closed uniform forms. This result is a uniform version in a very general setting of the decomposition result for shift-invariant closed $L^2$-forms originally proposed by Varadhan, which has repeatedly played a key role in the proof of the hydrodynamic limits of nongradient large-scale interacting systems. In a subsequent article, we use this result as a key to prove Varadhan’s decomposition theorem for a general class of large-scale interacting systems.

The box-ball system (BBS), which was introduced by Takahashi and Satsuma in 1990, is a soliton cellular automaton. Its dynamics can be linearized by a few methods, among which the best known is the Kerov–Kirillov–Reschetikhin (KKR) bijection using rigged partitions. Recently, a new linearization method in terms of ‘slot configurations’ was introduced by Ferrari–Nguyen–Rolla–Wang, but its relations to existing ones have not been clarified. In this paper, we investigate this issue and clarify the relation between the two linearizations. For this, we introduce a novel way of describing the BBS dynamics using a carrier with seat numbers. We show that the seat number configuration also linearizes the BBS and reveals explicit relations between the KKR bijection and the slot configuration. In addition, by using these explicit relations, we also show that even in case of finite carrier capacity the BBS can be linearized via the slot configuration.

We introduce a new non-abelian quantum synchronisation model over the unitary group, represented as a gradient flow, where state matrices asymptotically converge to a common one up to phase translation. We provide a sufficient framework leading to quantum synchronisation based on Riccati-type differential inequalities. In addition, uniform time-delayed interaction is considered for modelling realistic communication, and we demonstrate that quantum synchronisation is persistent when a small time delay is allowed. Finally, numerical simulation is performed to visualise qualitative behaviours and support theoretical results.

We study the poor-biased model for money exchange introduced in Cao & Motsch ((2023) Kinet. Relat. Models 16(5), 764–794.): agents are being randomly picked at a rate proportional to their current wealth, and then the selected agent gives a dollar to another agent picked uniformly at random. Simulations of a stochastic system of finitely many agents as well as a rigorous analysis carried out in Cao & Motsch ((2023) Kinet. Relat. Models 16(5), 764–794.), Lanchier ((2017) J. Stat. Phys. 167(1), 160–172.) suggest that, when both the number of agents and time become large enough, the distribution of money among the agents converges to a Poisson distribution. In this manuscript, we establish a uniform-in-time propagation of chaos result as the number of agents goes to infinity, which justifies the validity of the mean-field deterministic infinite system of ordinary differential equations as an approximation of the underlying stochastic agent-based dynamics.

We consider self-propelled rigid bodies interacting through local body-attitude alignment modelled by stochastic differential equations. We derive a hydrodynamic model of this system at large spatio-temporal scales and particle numbers in any dimension $n \geq 3$. This goal was already achieved in dimension $n=3$ or in any dimension $n \geq 3$ for a different system involving jump processes. However, the present work corresponds to huge conceptual and technical gaps compared with earlier ones. The key difficulty is to determine an auxiliary but essential object, the generalised collision invariant. We achieve this aim by using the geometrical structure of the rotation group, namely its maximal torus, Cartan subalgebra and Weyl group as well as other concepts of representation theory and Weyl’s integration formula. The resulting hydrodynamic model appears as a hyperbolic system whose coefficients depend on the generalised collision invariant.

This paper considers the family of invariant measures of Markovian mean-field interacting particle systems on a countably infinite state space and studies its large deviation asymptotics. The Freidlin–Wentzell quasipotential is the usual candidate rate function for the sequence of invariant measures indexed by the number of particles. The paper provides two counterexamples where the quasipotential is not the rate function. The quasipotential arises from finite-horizon considerations. However, there are certain barriers that cannot be surmounted easily in any finite time horizon, but these barriers can be crossed in the stationary regime. Consequently, the quasipotential is infinite at some points where the rate function is finite. After highlighting this phenomenon, the paper studies some sufficient conditions on a class of interacting particle systems under which one can continue to assert that the Freidlin–Wentzell quasipotential is indeed the rate function.

In this paper, we propose a novel approach that employs kinetic equations to describe the collective dynamics emerging from graph-mediated pairwise interactions in multi-agent systems. We formally show that for large graphs and specific classes of interactions a statistical description of the graph topology, given in terms of the degree distribution embedded in a Boltzmann-type kinetic equation, is sufficient to capture the collective trends of networked interacting systems. This proves the validity of a commonly accepted heuristic assumption in statistically structured graph models, namely that the so-called connectivity of the agents is the only relevant parameter to be retained in a statistical description of the graph topology. Then, we validate our results by testing them numerically against real social network data.

We consider the Vlasov equation in any spatial dimension, which has long been known [ZI76, Mor80, Gib81, MW82] to be an infinite-dimensional Hamiltonian system whose bracket structure is of Lie–Poisson type. In parallel, it is classical that the Vlasov equation is a mean-field limit for a pairwise interacting Newtonian system. Motivated by this knowledge, we provide a rigorous derivation of the Hamiltonian structure of the Vlasov equation, both the Hamiltonian functional and Poisson bracket, directly from the many-body problem. One may view this work as a classical counterpart to [MNP+20], which provided a rigorous derivation of the Hamiltonian structure of the cubic nonlinear Schrödinger equation from the many-body problem for interacting bosons in a certain infinite particle number limit, the first result of its kind. In particular, our work settles a question of Marsden, Morrison and Weinstein [MMW84] on providing a ‘statistical basis’ for the bracket structure of the Vlasov equation.

We propose an extension of the anisotropic interaction model which allows for collision avoidance in pairwise interactions by a rotation of forces (Totzeck (2020) Kinet. Relat. Models 13(6), 1219–1242.) by including the agents’ body size. The influence of the body size on the self-organisation of the agents in channel and crossing scenarios as well as the fundamental diagram is studied. Since the model is stated as a coupled system of ordinary differential equations, we are able to give a rigorous well-posedness analysis. Then we state a parameter calibration problem that involves data from real experiments. We prove the existence of a minimiser and derive the corresponding first-order optimality conditions. With the help of these conditions, we propose a gradient descent algorithm based on mini-batches of the data set. We employ the proposed algorithm to fit the parameter of the collision avoidance and the strength parameters of the interaction forces to given real data from experiments. The results underpin the feasibility of the method.

Consider a two-type Moran population of size N with selection and mutation, where the selective advantage of the fit individuals is amplified at extreme environmental conditions. Assume selection and mutation are weak with respect to N, and extreme environmental conditions rarely occur. We show that, as $N\to\infty$, the type frequency process with time sped up by N converges to the solution to a Wright–Fisher-type SDE with a jump term modeling the effect of the environment. We use an extension of the ancestral selection graph (ASG) to describe the genealogical picture of the model. Next, we show that the type frequency process and the line-counting process of a pruned version of the ASG satisfy a moment duality. This relation yields a characterization of the asymptotic type distribution. We characterize the ancestral type distribution using an alternative pruning of the ASG. Most of our results are stated in annealed and quenched form.

The logarithmic derivative of the marginal distributions of randomly fluctuating interfaces in one dimension on a large scale evolve according to the Kadomtsev–Petviashvili (KP) equation. This is derived algebraically from a Fredholm determinant obtained in [MQR17] for the Kardar–Parisi–Zhang (KPZ) fixed point as the limit of the transition probabilities of TASEP, a special solvable model in the KPZ universality class. The Tracy–Widom distributions appear as special self-similar solutions of the KP and Korteweg–de Vries equations. In addition, it is noted that several known exact solutions of the KPZ equation also solve the KP equation.

We study a general class of interacting particle systems called kinetically constrained models (KCM) in two dimensions tightly linked to the monotone cellular automata called bootstrap percolation. There are three classes of such models, the most studied being the critical one. In a recent series of works by Martinelli, Morris, Toninelli and the authors, it was shown that the KCM counterparts of critical bootstrap percolation models with the same properties split into two classes with different behaviour. Together with the companion paper by the first author, our work determines the logarithm of the infection time up to a constant factor for all critical KCM, which were previously known only up to logarithmic corrections. This improves all previous results except for the Duarte-KCM, for which we give a new proof of the best result known. We establish that on this level of precision critical KCM have to be classified into seven categories instead of the two in bootstrap percolation. In the present work, we establish lower bounds for critical KCM in a unified way, also recovering the universality result of Toninelli and the authors and the Duarte model result of Martinelli, Toninelli and the second author.

We consider the system of one-sided reflected Brownian motions that is in variational duality with Brownian last passage percolation. We show that it has integrable transition probabilities, expressed in terms of Hermite polynomials and hitting times of exponential random walks, and that it converges in the 1:2:3 scaling limit to the KPZ fixed point, the scaling-invariant Markov process defined in [MQR17] and believed to govern the long-time, large-scale fluctuations for all models in the KPZ universality class. Brownian last-passage percolation was shown recently in [DOV18] to converge to the Airy sheet (or directed landscape), defined there as a strong limit of a functional of the Airy line ensemble. This establishes the variational formula for the KPZ fixed point in terms of the Airy sheet.

We consider the nearest-neighbour simple exclusion process on the one-dimensional discrete torus $\mathbb{T}_N=\mathbb{Z}/N\mathbb{Z}$ , with random rates $c_N=\{c_{x,N}\colon x \in \mathbb{T}_N\}$ defined in terms of a homogeneous Poisson process on $\mathbb{R}$ with intensity $\lambda$ . Given a realization of the Poisson process, the jump rate along the edge $\{x,x+1\}$ is 1 if there is not any Poisson mark in $ (x,x+1) $ ; otherwise, it is $\lambda/N,\, \lambda \in( 0,1]$ . The density profile of this process with initial measure associated to an initial profile $\rho_0\colon \mathbb{R} \rightarrow [0,1]$ , evolves as the solution of a bounded diffusion random equation. This result follows from an appropriate quenched hydrodynamic limit. If $\lambda=1$ then $\rho$ is discontinuous at each Poisson mark with passage through the slow bonds, otherwise the conductance at the slow bonds decreases meaning no passage through the slow bonds in the continuum. The main results are concerned with upper and lower quenched and annealed bounds of $T_j$ , where $T_j$ is the first displacement time of a tagged particle in a stochastic cluster of size j (the cluster is defined via specific macroscopic density profiles). It is possible to observe that when time t grows, then $\mathbb{P}\{T_j \geq t\}$ decays quadratically in both the upper and lower bounds, and falls as slow as the presence of more Poisson marks neighbouring the tagged particle, as expected.

In last passage percolation models lying in the Kardar–Parisi–Zhang (KPZ) universality class, the energy of long energy-maximizing paths may be studied as a function of the paths’ pair of endpoint locations. Scaled coordinates may be introduced, so that these maximizing paths, or polymers, now cross unit distances with unit-order fluctuations, and have scaled energy, or weight, of unit order. In this article, we consider Brownian last passage percolation in these scaled coordinates. In the narrow wedge case, when one endpoint of such polymers is fixed, say at $(0,0)\in \mathbb{R}^{2}$, and the other is varied horizontally, over $(z,1)$, $z\in \mathbb{R}$, the polymer weight profile as a function of $z\in \mathbb{R}$ is locally Brownian; indeed, by Hammond [‘Brownian regularity for the Airy line ensemble, and multi-polymer watermelons in Brownian last passage percolation’, Preprint (2016), arXiv:1609.02971, Theorem 2.11 and Proposition 2.5], the law of the profile is known to enjoy a very strong comparison to Brownian bridge on a given compact interval, with a Radon–Nikodym derivative in every $L^{p}$ space for $p\in (1,\infty )$, uniformly in the scaling parameter, provided that an affine adjustment is made to the weight profile before the comparison is made. In this article, we generalize this narrow wedge case and study polymer weight profiles begun from a very general initial condition. We prove that the profiles on a compact interval resemble Brownian bridge in a uniform sense: splitting the compact interval into a random but controlled number of patches, the profile in each patch after affine adjustment has a Radon–Nikodym derivative that lies in every $L^{p}$ space for $p\in (1,3)$. This result is proved by harnessing an understanding of the uniform coalescence structure in the field of polymers developed in Hammond [‘Exponents governing the rarity of disjoint polymers in Brownian last passage percolation’, Preprint (2017a), arXiv:1709.04110] using techniques from Hammond (2016) and [‘Modulus of continuity of polymer weight profiles in Brownian last passage percolation’, Preprint (2017b), arXiv:1709.04115].

The aim of this paper is to prove an inequality between relative entropy and the sum of average conditional relative entropies of the following form: for a fixed probability measure q on , ( is a finite set), and any probability measure on , (*)

$$D(p||q){\rm{\le}}C \cdot \sum\limits_{i = 1}^n {{\rm{\mathbb{E}}}_p D(p_i ( \cdot |Y_1 ,{\rm{ }}...,{\rm{ }}Y_{i - 1} ,{\rm{ }}Y_{i + 1} ,...,{\rm{ }}Y_n )||q_i ( \cdot |Y_1 ,{\rm{ }}...,{\rm{ }}Y_{i - 1} ,{\rm{ }}Y_{i + 1} ,{\rm{ }}...,{\rm{ }}Y_n )),} $$

The inequality (*) ismeaningful in product spaces, in both the discrete and the continuous case, and can be used to prove a logarithmic Sobolev inequality for q, provided uniform logarithmic Sobolev inequalities are available for qi(· |x1, …, xi−1, xi+1, …, xn), for all fixed i and fixed (x1, …, xi−1, xi+1, …, xn). Inequality (*) directly implies that the Gibbs sampler associated with q is a contraction for relative entropy.

In this paper we derive inequality (*), and thereby a logarithmic Sobolev inequality, in discrete product spaces, by proving inequalities for an appropriate Wasserstein-like distance.

During the last decades, quite a number of interacting particle systems have been introduced and studied in the crossover area of mathematics and statistical physics. Some of these can be seen as simplistic models for opinion formation processes in groups of interacting people. In the model introduced by Deffuant et al. (2000), agents that are neighbors on a given network graph, randomly meet in pairs and approach a compromise if their current opinions do not differ by more than a given threshold value θ. We consider the two-sided infinite path ℤ as the underlying graph and extend existing models to a setting in which opinions are given by probability distributions. Similar to what has been shown for finite-dimensional opinions, we observe a dichotomy in the long-term behavior of the model, but only if the initial narrow mindedness of the agents is restricted.

We study the asymptotics of a Markovian system of N ≥ 3 particles in [0, 1]d in which, at each step in discrete time, the particle farthest from the current centre of mass is removed and replaced by an independent U[0, 1]d random particle. We show that the limiting configuration contains N − 1 coincident particles at a random location ξN ∈ [0, 1]d. A key tool in the analysis is a Lyapunov function based on the squared radius of gyration (sum of squared distances) of the points. For d = 1, we give additional results on the distribution of the limit ξN, showing, among other things, that it gives positive probability to any nonempty interval subset of [0, 1], and giving a reasonably explicit description in the smallest nontrivial case, N = 3.

Inspired by Aldous' conjecture for the spectral gap of the interchange process and its recent resolution by Caputo, Liggett, and Richthammer, we define an associated order $\prec $ on the irreducible representations of ${{S}_{n}}$. Aldous' conjecture is equivalent to certain representations being comparable in this order, and hence determining the “Aldous order” completely is a generalized question. We show a few additional entries for this order.