🤖 AI Summary
Straight-through estimators (STE) are widely adopted in quantized neural network training due to the discrete, non-differentiable nature of the objective, yet the mechanistic role of hyperparameters—such as bit-width and quantization range—in governing STE’s learning dynamics remains poorly understood.
Method: We rigorously derive, in the high-dimensional limit, that STE dynamics converge to a deterministic differential equation. We analyze fixed points to quantify the asymptotic bias relative to unquantized linear models and extend the framework to nonlinear settings—incorporating non-convex optimization and SGD theory—to model proxy-gradient dynamics for both weights and inputs.
Results: Our analysis reveals that quantization range primarily governs the duration of the generalization error plateau, while bit-width controls convergence speed. We observe and explain the characteristic plateau-and-drop behavior in generalization error evolution. This work establishes the first analytically tractable, high-dimensional dynamical systems framework for efficient quantized training.
📝 Abstract
Quantized neural network training optimizes a discrete, non-differentiable objective. The straight-through estimator (STE) enables backpropagation through surrogate gradients and is widely used. While previous studies have primarily focused on the properties of surrogate gradients and their convergence, the influence of quantization hyperparameters, such as bit width and quantization range, on learning dynamics remains largely unexplored. We theoretically show that in the high-dimensional limit, STE dynamics converge to a deterministic ordinary differential equation. This reveals that STE training exhibits a plateau followed by a sharp drop in generalization error, with plateau length depending on the quantization range. A fixed-point analysis quantifies the asymptotic deviation from the unquantized linear model. We also extend analytical techniques for stochastic gradient descent to nonlinear transformations of weights and inputs.