Geometric-Consensus Q-Network Training
Implementation & benchmark of arXiv:2607.21876 — Variance-Reduced Q-Learning over Static and Time-Varying Networks
Source paper: Variance-Reduced Q-Learning over Static and Time-Varying Networks arXiv:2607.21876 ⓘ · analyzed Aug 30, 2026
AI-generated research hypothesis, automatically tested. Not peer-reviewed.
Idea description
Train identical Q-networks on multiple agents using local TD statistics and communicate only through periodic multi-step consensus. Within each epoch, agents perform local updates and then apply L mixing rounds to the vector of Q-values, TD targets, or parameter deltas; choose L so that the residual disagreement is below the stochastic estimation error. The method targets communication reduction at fixed sample efficiency, especially when N agents collect experience in parallel.
Formulas
Mathematical statement
The paper assumes an undirected communication graph with a mixing matrix W whose nonzero entries respect graph edges; W is intended to be doubly stochastic, so W1=1 and 1^T W=1^T. Let P=11^T/N be the exact averaging projector and let rho=||W-P||<1 be the contraction factor on the disagreement subspace. For an initial per-agent Bellman-estimate vector d_k^(0)(s,a) in R^N, L consensus rounds produce d_k^(L)(s,a)=W^L d_k^(0)(s,a), and the paper bounds the deviation from the network average by |d_{i,k}^(L)(s,a)-(1/N)sum_j d_{j,k}^(0)(s,a)| <= ||[W^L]_i-1^T/N||_infty ||d_k^(0)(s,a)||_1 <= C_1 N Rbar rho^L/(1-gamma) = Delta_1. Here i is an agent, Rbar bounds the reward or Bellman estimate magnitude, gamma in [0,1) is the discount factor, C_1 is a graph-dependent constant, and [W^L]_i is row i of W^L. The averaged Q error satisfies ebar_{k+1} <= (1-alpha(1-gamma)) ebar_k + alpha ||dbar_k-T* Qbar_k||_infty plus consensus and sampling errors, where alpha is the Q-learning step size, T* is the Bellman optimality operator, and dbar_k=(1/N)sum_i d_{i,k}. The adaptation replaces tabular Q vectors with neural-network TD statistics or parameter deltas; the explicit rho^L decay is used to select a communication depth that makes consensus error no larger than minibatch noise.
Implementation notes
Integrate this at the distributed deep-Q training step, immediately after each worker computes a minibatch TD statistic and before applying the shared update. Use N workers with identical online parameters theta and target parameters theta_minus. At epoch start, broadcast theta and theta_minus once. For each local minibatch on worker i, compute y_i=r+gamma(1-done) max_a Q_theta_minus(s_prime,a), the TD residual delta_i=y_i-Q_theta(s,a), and either a vector of per-action TD targets or a parameter-gradient/delta vector g_i. Do not all-reduce every minibatch. Instead, accumulate an epoch statistic z_i, such as the mean gradient over B local minibatches or a flattened parameter delta, then execute L neighbor exchanges: z_i <- sum_j W[i,j] z_j. Apply the resulting consensus statistic to the common model, for example theta <- theta + (1/N)sum_i z_i, or have every worker apply its locally mixed z_i. Pseudocode: initialize theta, theta_minus; repeat epochs: collect local z_i=0; for b=1..B: sample transitions, compute y_i and g_i, update z_i <- z_i + g_i/B; optionally perform local optimizer steps on a private copy; end; for l=1..L: z_i <- sum_j W[i,j]z_j; theta_i <- theta_i + eta z_i; synchronize theta_minus periodically. Estimate rho with power iteration on W-P: v <- random zero-mean vector; rho_hat <- ||(W-P)v||/||v||, repeatedly. Estimate Rbar from a high percentile of |y_i|, and choose L=ceil(log(epsilon_cons(1-gamma)/(C1*N*Rbar))/log(rho_hat)), clipped to [0,L_max], where epsilon_cons is the observed standard error of the local statistic. The paper's math supplies the geometric rho^L error budget; the neural-gradient variance, C1, and effective Rbar must be estimated empirically. First test on a 4- or 8-worker CartPole, Atari-5, or small DM Control benchmark using identical MLP DQN workers. Compare per-minibatch all-reduce, FedAvg-style local updates, and this periodic consensus at equal environment samples and equal communication bytes. Success means similar or better return and TD loss at substantially fewer communication rounds, with stable disagreement ||theta_i-theta_bar|| and ideally near-linear wall-clock sample throughput as N increases.
Verification
This idea has not been verified yet.
Verification happens in two stages: Stage 1 — a mechanism check on a toy system confirms the claimed mathematical phenomenon reproduces; Stage 2 — a benchmark implements the idea on a real (small) neural network task and compares it against a tuned baseline over 8 paired seeds with a permutation test.
Artifacts
Artifacts unavailable.