On the Spectral Dependence of Decentralized Stochastic Gradient Tracking

We study how the spectral geometry of the mixing matrix enters the convergence of decentralized stochastic gradient tracking (GT) for smooth strongly convex problems. General bounds contain the factor Δ_λ⁻³ in the higher-order stochastic term, where Δ_λ is the absolute spectral gap. We show that, even for two agents with identical quadratic objectives, the exact steady-state mean-square disagreement scales as α²σ²Δ_λ⁻³ as the nontrivial eigenvalue approaches $-1$, provided the stepsize $α$ is sufficiently small relative to the gap. Here σ² is the gradient-noise variance. By unrolling the disagreement recursion, we establish a stochastic bound that averages all nontrivial eigenvalue contributions for diagonalizable mixing matrices, up to an eigenvector conditioning factor. As a real or complex eigenvalue approaches the unit circle away from $1$, its contribution grows as the inverse cube of its distance to the circle; growth can be slower near $1$. For symmetric mixing with gaps p at $1$ and $ν$ at $-1$, the weighted sum θ₁/p+θ₂/ν³ replaces the prior factor (Δ_λν²)⁻¹. For N agents, Nθ₁ and Nθ₂ count the nonnegative and negative nontrivial eigenvalues, respectively. On a symmetric family, a finite-horizon lower bound for the average iterate matches the worst-case factor p⁻¹+ν⁻³ up to universal constants. Numerical experiments confirm the predicted scaling.