Table of Contents
Fetching ...

On the Convergence of the Gradient Descent Method with Stochastic Fixed-point Rounding Errors under the Polyak-Lojasiewicz Inequality

Lu Xia, Michiel E. Hochstenbach, Stefano Massei

TL;DR

This work analyzes gradient descent under fixed-point arithmetic with rounding errors for functions satisfying the Polyak–Łojasiewicz inequality. It shows that unbiased SR preserves linear convergence, while ε-biased SR_ε yields stricter convergence bounds and faster practical convergence; the authors derive a three-case update framework to capture updating behavior across regimes where gradient magnitudes compare to the rounding precision. Theoretical results are complemented by simulations on quadratic problems, Rosenbrock/Himmelblau functions, binary logistic regression, and a four-layer neural network, demonstrating that SR_ε often outperforms SR and RN, and that fixed-point rounding can be competitive with floating-point when using appropriate bias. The findings provide actionable guidance for low-precision training, highlighting when to employ SR versus SR_ε to mitigate stagnation and accelerate convergence in real-world learning tasks.

Abstract

When training neural networks with low-precision computation, rounding errors often cause stagnation or are detrimental to the convergence of the optimizers; in this paper we study the influence of rounding errors on the convergence of the gradient descent method for problems satisfying the Polyak-\Lojasiewicz inequality. Within this context, we show that, in contrast, biased stochastic rounding errors may be beneficial since choosing a proper rounding strategy eliminates the vanishing gradient problem and forces the rounding bias in a descent direction. Furthermore, we obtain a bound on the convergence rate that is stricter than the one achieved by unbiased stochastic rounding. The theoretical analysis is validated by comparing the performances of various rounding strategies when optimizing several examples using low-precision fixed-point number formats.

On the Convergence of the Gradient Descent Method with Stochastic Fixed-point Rounding Errors under the Polyak-Lojasiewicz Inequality

TL;DR

This work analyzes gradient descent under fixed-point arithmetic with rounding errors for functions satisfying the Polyak–Łojasiewicz inequality. It shows that unbiased SR preserves linear convergence, while ε-biased SR_ε yields stricter convergence bounds and faster practical convergence; the authors derive a three-case update framework to capture updating behavior across regimes where gradient magnitudes compare to the rounding precision. Theoretical results are complemented by simulations on quadratic problems, Rosenbrock/Himmelblau functions, binary logistic regression, and a four-layer neural network, demonstrating that SR_ε often outperforms SR and RN, and that fixed-point rounding can be competitive with floating-point when using appropriate bias. The findings provide actionable guidance for low-precision training, highlighting when to employ SR versus SR_ε to mitigate stagnation and accelerate convergence in real-world learning tasks.

Abstract

When training neural networks with low-precision computation, rounding errors often cause stagnation or are detrimental to the convergence of the optimizers; in this paper we study the influence of rounding errors on the convergence of the gradient descent method for problems satisfying the Polyak-\Lojasiewicz inequality. Within this context, we show that, in contrast, biased stochastic rounding errors may be beneficial since choosing a proper rounding strategy eliminates the vanishing gradient problem and forces the rounding bias in a descent direction. Furthermore, we obtain a bound on the convergence rate that is stricter than the one achieved by unbiased stochastic rounding. The theoretical analysis is validated by comparing the performances of various rounding strategies when optimizing several examples using low-precision fixed-point number formats.
Paper Structure (28 sections, 18 theorems, 117 equations, 10 figures, 2 tables)

This paper contains 28 sections, 18 theorems, 117 equations, 10 figures, 2 tables.

Key Result

Theorem 1

karimi2016linear Let the objective function $f$ satisfy eq:lpineq and eq:PLineq. In exact arithmetic, the $k$th iteration step of the gradient descent method with a fixed stepsize $t\le \frac{1}{L}$ satisfies the following inequality:

Figures (10)

  • Figure 1: Mean of testing errors of training a multinomial logistic regression model on the MNIST dataset over 20 simulations. The number representation systems and rounding strategies compared are: Binary32 with RN, Binary8 with RN, $\mathrm{SR}$, and signed-$\mathrm{SR}_\varepsilon$. The dashed lines indicate the estimated 95% confidence intervals of the methods involving a stochastic rounding strategy.
  • Figure 2: A quadratic problem: comparison of the objective values using different rounding scheme with fixed-point arithmetic (Q$26.6$) (a) and floating-point arithmetic (8 bits with 3 significant bits) (b); settings: stepsize $t=2^{-6}$ and $\mathbf{x}^*=[10^{-1}, 1, 10, 100, 1000]^T \in \mathbb{R}^5$.
  • Figure 3: Approximation of $\theta_k$ (a) and $\mathrm{E}\,[\,f(\mathbf{x}^{(k+1)})-f(\mathbf{x}^{(k)})\,]$ (b) over 40 simulations using different rounding schemes with fixed-point arithmetic (Q$28.4$); settings: stepsize $t=1$ and $\mathbf{x}^{(0)}=\mathbf{0} \in \mathbb{R}^5$.
  • Figure 4: Approximation of $\theta_k$ (a) and $\mathrm{E}\,[\,f(\mathbf{x}^{(k+1)})-f(\mathbf{x}^{(k)})\,]$ (b) over 40 simulations using different rounding schemes with fixed-point arithmetic (Q$26.6$); settings: stepsize $t=1$ and $\mathbf{x}^{(0)}=\mathbf{0}\in \mathbb{R}^5$.
  • Figure 5: Rosenbrock's function in two dimensions: comparison of the gradient descent trajectories (a) and of the correspondent objective values (b); settings: stepsize $t=2^{-10}$ and Q$12.6$ for evaluating the multiplication of $t$ and gradient and Q$8.10$ for the remaining operations.
  • ...and 5 more figures

Theorems & Definitions (35)

  • Theorem 1
  • Definition 1: non-opposite sign
  • Proposition 2
  • proof
  • Example 1
  • Lemma 3
  • Lemma 4
  • Lemma 5
  • Lemma 6
  • Theorem 7
  • ...and 25 more