---
title: Random Batch Method (RBM)
url: https://www.emergentmind.com/topics/random-batch-method-rbm
type: topic
---

# Random Batch Method (RBM)

Random Batch Method (RBM) denotes a family of Monte-Carlo-type algorithms for large interacting systems in which the all-to-all interaction graph is replaced, on each short time interval, by a randomly generated sparse interaction graph on small batches. In the standard binary-interaction setting, one randomly partitions \(N\) particles into batches of size \(p\ll N\), computes only intra-batch interactions, and rescales the result so that the batch force is an unbiased estimator of the full mean-field force. This changes the per-step cost from \(O(N^2)\) to \(O(pN)\), hence to \(O(N)\) when \(p\) is fixed, while preserving the correct averaged interaction and admitting quantitative error estimates in several classical, quantum, and sampling settings [1812.10575], [2104.04337].

## 1. Core formulation

A canonical first-order interacting particle system treated in the RBM literature is
\[
d X^i=-\nabla V(X^i)\,dt+\frac{1}{N-1}\sum_{j: j\neq i} K(X^i-X^j)\,dt+\sigma dB^i,\quad i=1,\ldots, N.
\]
The computational bottleneck is the pairwise interaction term, whose direct evaluation costs \(O(N^2)\) per time step because each particle interacts with all \(N-1\) others [1812.10575].

RBM replaces the full interaction by a batch interaction. In the without-replacement formulation, assuming \(N=np\), one randomly divides \(\{1,\ldots,N\}\) into disjoint batches \(\mathcal C_q\) of size \(p\), and for \(i\in \mathcal C_q\) evolves
\[
dX^i=-\nabla V(X^i) dt+\frac{1}{p-1}\sum_{j\in \mathcal{C}_q,j\neq i}K(X^i-X^j)dt+\sigma dB^i.
\]
The full force
\[
\frac{1}{N-1}\sum_{j\neq i}K(X^i-X^j)
\]
is thus replaced by the random-batch force
\[
\frac{1}{p-1}\sum_{j\in \mathcal{C}_q,j\neq i}K(X^i-X^j).
\]
For a fixed configuration \(x\) independent of the random partition, the fluctuation
\[
\chi_{m,i}(x)= \frac{1}{p-1}\sum_{j\in \mathcal{C}_q,j\neq i}K(x^i-x^j) -\frac{1}{N-1}\sum_{j\neq i}K(x^i-x^j)
\]
satisfies
\[
\mathbb{E}\chi_{m,i}(x)=0,
\]
and
\[
\var(\chi_{m,i}(x))=\left(\frac{1}{p-1}-\frac{1}{N-1}\right)\Lambda_i(x),
\]
with
\[
\Lambda_i(x) :=\frac{1}{N-2} \sum_{j: j\neq i}\left| K(x^i-x^j)-\frac{1}{N-1}\sum_{k:k\neq i}K(x^i-x^k)\right|^2.
\]
Unbiasedness is the central consistency property, and the variance formula makes explicit how increasing \(p\) reduces the random-batch fluctuation [1812.10575].

In applications to sampling and inference, the term “batch” has a specialized meaning: it is a batch of interacting particles, not a minibatch of data for estimating gradients of a loss. That distinction is explicit in the RBM-SVGD literature and is important for interpreting the source of stochasticity in RBM-based methods [1902.03394].

## 2. Algorithmic realizations and computational structure

The standard implementation, often called RBM-1 or RBM without replacement, redraws a full random partition at every time step and updates every particle using only its current batchmates. Because each particle interacts with only \(p-1\) others, the work becomes \(O(pN)\), and the reshuffling itself can be done in \(O(N)\) time using a standard permutation algorithm [1812.10575], [1912.07424].

A second realization is RBM-r, or RBM with replacement. In this variant, one repeatedly picks a single batch \(\mathcal C_k\) of size \(p\), lets only the particles in that batch interact for a short time, freezes the others during that substep, and repeats with independently chosen batches. For first-order pairwise systems, this variant is identified with kinetic Monte Carlo. Its convergence is formulated after the natural pseudo-time rescaling
\[
t \mapsto \frac{N}{p}t,
\]
reflecting the fact that only a fraction \(p/N\) of the particles is active at each substep [2407.19315].

A third realization appears in the quantum \(N\)-body setting. There the interaction of each particle with all \(N-1\) others is replaced by interaction with \(p<N\) particles chosen at random at each time step, multiplied by
\[
\frac{N-1}{p}.
\]
For simplicity, the quantum analysis of [1912.07424] treats only the case \(p=1\): \(N\) is assumed even, particles are organized into \(N/2\) random pairs, and the pairs are reshuffled independently at the beginning of every step. This “random pairs” formulation is the batch analogue of a fully coupled quantum Hamiltonian and preserves the standard RBM philosophy of using a small random subset of interactions instead of all pairwise forces [1912.07424].

These variants share the same structural principle but lead to distinct analytical regimes. Without replacement, every particle is updated at each step and long-time bounds are typically sharper. With replacement, the analysis must handle random active times and often requires auxiliary time-change constructions. Pair-based quantum RBM adds a further constraint: the comparison is not performed in trace norm but through reduced density matrices and Wigner transforms [2407.19315], [1912.07424].

## 3. Convergence theory

The first general strong-convergence theorem for RBM-1 was established under a contractive setting with strongly convex confinement and bounded Lipschitz interaction. If
\[
Z^i(t)=\tilde X^i(t)-X^i(t),
\]
then
\[
\sup_{t\ge 0}\|Z^1(t)\|\le C\sqrt{\frac{\tau}{p-1}+\tau^2},
\]
and consequently
\[
\sup_{t\ge 0}W_2(\mu_N^{(1)}(t), \tilde{\mu}^{(1)}_N(t))\le C\sqrt{\frac{\tau}{p-1}+\tau^2}\le  C\sqrt{\tau}.
\]
The constant is independent of \(N\), \(p\), and \(t\), which is the core particle-number-independent stability statement behind the claim that RBM is asymptotic-preserving for large interacting systems [1812.10575].

For second-order interacting particle systems, analogous uniform-in-time strong convergence holds under hypocoercive contraction assumptions. In the mean-field scaling regime,
\[
\sup_{t\ge 0}\sqrt{E|\tilde{X}^1(t)-X^1(t)|^2+E|\tilde{V}^1(t)-V^1(t)|^2} \le C\sqrt{\frac{\tau}{p-1}+\tau^2},
\]
with \(C\) independent of \(N\) and \(p\). The proof uses modified energies and a decomposition of the interaction discrepancy into Lipschitz terms and batch fluctuations [2011.10778].

A law-level improvement appears in the mean-field error analysis of RBM toward the nonlinear Fokker–Planck limit. For the joint law \(\bar\rho_t^N\) of the RBM particles and the tensorized mean-field law \(\rho_t^N=\rho_t^{\otimes N}\), the rescaled relative entropy satisfies
\[
\sup_{t} \mathcal{H}_N\left( \bar{\rho}^N_t \mid \rho^N_t \right) \le \mathcal{H}_N\left( \bar{\rho}^N_0 \mid \rho^N_0 \right)+c_1 \tau^2 + \frac{c_2}{N}.
\]
By a Csiszár–Kullback–Pinsker type inequality this yields
\[
W_1\left(\bar{\rho}_{t}^{N}, \rho_{t}^{N}\right) \leq C_1 \tau + \frac{C_2}{\sqrt{N}},
\]
which improves the discretization-step rate from \(O(\sqrt{\tau})\) to \(O(\tau)\) in Wasserstein distance [2403.08336].

The mean-field analysis of the Cucker–Smale model further separates the limits \(N\to\infty\) and \(\tau\to 0\). In that setting,
\[
W_q(\mathcal Q_\infty^k(f_0),\mathcal Q_N^{(k)}(f_0)) \le C(1+t_k)\epsilon_k^{1/q},\qquad \epsilon_k=\mathcal O(N^{-1})
\]
for fixed \(k\), and
\[
\sup_n W_q(\mathcal Q_\infty^n(f_0),\tilde f(n\tau)) \le C\tau.
\]
The analysis replaces continuous-time propagation of chaos by discrete-time chaos propagation through the RBM flux map [2407.21297].

Quantum RBM requires a different comparison principle. For the full density operator \(R(t)\) and the RBM density operator \(\widetilde R(t)\), the comparison is made at the level of the single-particle reduced density operators and their Wigner transforms. The main estimate in [1912.07424] shows that
\[
\left\| W_\hbar\!\left[\mathbb E\,\widetilde R_1(t)\right]-W_\hbar[R_1(t)]\right\|_{-[d/2]-3}
\]
is bounded by an \(O(\Delta t)\) expression whose right-hand side does not depend on \(N\) or \(\hbar\). This provides a weak phase-space convergence result that is uniform in both particle number and semiclassical parameter [1912.07424].

## 4. Variants, corrections, and generalized noise models

The basic RBM construction has generated several specialized variants designed to control variance, accommodate non-Gaussian forcing, or stabilize singular interactions.

| Variant | Setting | Key statement |
|---|---|---|
| RBM-Lévy | Interacting particle systems with Lévy noise | Cost drops from \(O(N^2)\) to \(O(pN)\); \(\sup_{t\ge 0}W_2(\rho_t^{(1)},\tilde\rho_t^{(1)}) \le C\kappa^{1/2}\) under finite second moment, and \(\sup_{t\ge 0}W_1(\rho_t^{(1)},\tilde\rho_t^{(1)}) \le C\kappa^{1/2}\) under finite first moment [2412.06291] |
| RBM-M | Strongly singular interaction kernels | Uses \(K_{\mathrm{cor}}=\beta K_{t-1}+(1-\beta)K_t\); the corrected interaction is asymptotically unbiased and has smaller variance up to lower-order terms [2412.15581] |
| rvRBM | Nonlocal PDEs of Fokker–Planck type | Adds a control-variate correction from a cheap surrogate model with the same asymptotic state as the original interaction [2401.00493] |
| VR-RBL | Langevin dynamics | Estimates batch-force variance and subtracts it from the Brownian covariance to remove artificial heating and obtain a local truncation error of \(O(\tau^{3/2})\) in expectation [2411.01762] |
| Split-kernel RBM | Second-order systems and molecular dynamics | Decomposes \(K=K_1+K_2\), computes the short-range singular part exactly, and applies RBM only to the smooth long-range part [2011.10778] |

RBM-Lévy extends the shuffle-and-interact mechanism to jump-driven systems. The extension is nontrivial because the proof must handle discontinuous trajectories and, depending on the Lévy measure, possibly infinite second moments. The resulting Wasserstein estimates are uniform in time, and the authors explicitly connect the order of the Wasserstein metric to the maximal finite moment of the Lévy process [2412.06291].

RBM-M addresses a distinct failure mode: for strongly singular kernels, standard RBM can miss or overrepresent rare but strong interactions, so the batch estimator becomes unstable. The momentum-like exponential averaging
\[
\tilde u_p^n = \beta^n u_p^0 +(1-\beta)\sum_{i=1}^n \beta^{n-i}u_p^i
\]
retains information from previous batch samplings and yields a smaller upper bound than standard RBM under the smooth assumptions used in the theorem. The paper emphasizes, however, that \(\beta\) should typically be small because particle distributions change at every step [2412.15581].

Variance-reduction strategies split into two main designs. In nonlocal kinetic equations, rvRBM subtracts and adds a cheap surrogate interaction \(\tilde P\) and chooses the control-variate coefficient \(\lambda^*\) by variance minimization. In Langevin dynamics, VR-RBL estimates the covariance of the random batch force and modifies the Brownian increment so that fluctuation-dissipation balance is preserved to higher order. Both approaches keep the linear-scaling advantage of RBM while explicitly targeting the batching-induced fluctuation term [2401.00493], [2411.01762].

## 5. Applications across computation, sampling, and PDEs

RBM has been deployed across a broad spectrum of interacting-system models. In Bayesian inference and particle-based variational sampling, RBM-SVGD applies batching to the SVGD particle ODE
\[
\dot{X}_i = \frac{1}{N}\sum_{j=1}^N F(X_i,X_j),
\]
reducing each iteration from \(O(N^2)\) to \(O(pN)\) while retaining unbiasedness of the interaction term. For the continuous-time RBM-SVGD on the torus, the finite-time theorem gives
\[
\mathbb{E}|X_i(t)-\tilde X_i(t)|^2 \le C(T)\eta,\qquad
W_2(\mu_N^{(1)},\tilde\mu_N^{(1)}) \le C(T)\sqrt{\eta},
\]
showing that the one-particle marginal converges to that of SVGD as the step size \(\eta\to0\) [1902.03394].

In quantum Monte Carlo, RBM was introduced to alleviate the cost of two-body interactions in both variational and diffusion Monte Carlo. For the overdamped Langevin formulation of VMC, updating the position of each particle requires only \(\mathcal O(1)\) operations, and the per-step cost for \(N\) particles is reduced from \(\mathcal O(N^2)\) to \(\mathcal O(N)\). In path-integral quantum thermal sampling, pmmLang+RBM reduces the interaction-force complexity per timestep from \(O(NP^2)\) to \(O(NP)\), where \(N\) is the number of beads and \(P\) is the number of particles [2008.12990], [2102.04688].

In collective behavior and control, RBM has been used for flocking, consensus, and guiding problems. For the guiding model of evaders and repulsive drivers, the all-to-all evader interaction is replaced by a sequence of random sparse interaction graphs. The resulting surrogate is embedded in gradient-based optimal control and then in a model predictive control strategy, producing a semi-feedback controller for the full system while reducing the forward cost from \(O(N(N+M))\) to \(O(N(P+M))\) [2004.14834].

In stochastic-statistical closure for multiscale turbulence, RBM is used to batch the interaction of fluctuation modes in high-order moment equations. The direct stochastic forecast cost \(O(MK^{3})\) and covariance-evolution cost \(O(K^{4})\) are reduced to \(O(M_{1}p^{2}K)\) and \(O(p^{2}K^{2})\), respectively, with \(p=O(1)\). The reduced-order version links many small-scale fluctuation modes to ensemble samples of dominant leading modes and is used in one-layer and two-layer Lorenz ’96 systems [2306.10026].

RBM has also moved beyond particle systems into PDEs on graphs. One line of work applies RBM directly at the PDE level, before any space or time discretization, by randomly activating only one subgraph batch on each short time window. For parabolic equations on graphs, the mean-square error is first order in the RBM step size and uniform in time [2508.21557]. A second line follows a discretize+RBM strategy: first discretize the heat equation on a graph by finite elements, then decompose the discrete operator into graph-based blocks and randomly activate them. For the state approximation,
\[
\mathbb{E}\left[\|y_R(t)-y(t)\|_{L^2(0,L)}^2\right] \le C\left(h^4+\frac{\delta}{h^7}C(M)\right),
\]
and for the optimal-control version the RBM switching parameter must be chosen more restrictively, with \(\delta=O(h^{11})\) in the convergence regime described in the paper [2506.11809].

## 6. Induced stochasticity, limitations, and interpretation

RBM is not a neutral sparsification of the interaction graph. Because the batch force is only an estimator of the full force, the method injects additional stochasticity into the dynamics. In two toy models with mean-field phase transition—the Curie–Weiss model and a double-well McKean–Vlasov system—the effective dynamics show that RBM adds extra noise, does not destroy the phase transition, but shifts the critical temperature downward, equivalently increasing the critical inverse temperature [2308.01624].

That induced fluctuation can be benign, useful, or problematic depending on the regime. The foundational RBM paper explicitly notes that the stochastic processes generated by the algorithms can also be regarded as new models for the underlying problems, especially in social or economic systems where agents interact only with a few random peers at a time [1812.10575]. In contrast, Langevin simulations expose a more delicate effect: the variance of the random batch force acts like an additional noise source and can produce artificial heating unless corrected by a fluctuation-dissipation-consistent variance estimate [2411.01762].

Several analytical limitations remain model-dependent. In the quantum \(N\)-body theory of [1912.07424], the theorem is for the expected RBM dynamics rather than for a fixed random realization, and it is proved only for the simplest pair-batch variant with \(p=1\). In the Lévy setting, the analysis does not yet cover space-inhomogeneous noise, singular interaction kernels, or multiplicative jump noise [2412.06291]. For SVGD, the finite-time convergence proof is available, but stronger long-time bounds would require contraction properties of the SVGD flow [1902.03394]. For the guiding problem, the RBM-MPC strategy is supported heuristically and numerically, while a rigorous error theory in that nonlinear control setting remains open [2004.14834].

The with-replacement variant illustrates a further tradeoff. For first-order systems it admits an explicit Wasserstein-2 convergence rate after pseudo-time rescaling, and for the deterministic Cucker–Smale model it admits a uniform-in-time, uniform-in-\(N\) error bound. But the Cucker–Smale analysis also shows that RBM-r has a weaker exponential decay factor than RBM-1, so replacement is analytically and empirically less favorable in that setting [2407.19315], [2501.15152].

Taken together, these results support a precise interpretation: RBM is a unifying stochastic approximation paradigm for high-dimensional interaction operators. Its central benefit is linear-scaling interaction evaluation; its central cost is the artificial fluctuation produced by batching. Theoretical work on RBM therefore revolves around three recurring themes—unbiasedness of the batch estimator, quantitative control of the batch variance, and structural corrections when the added randomness interacts unfavorably with singular kernels, jump noise, phase transitions, or fluctuation-dissipation balance [2104.04337], [2411.01762].

Source: https://www.emergentmind.com/topics/random-batch-method-rbm