---
title: EGOP-Based Reparameterization
url: https://www.emergentmind.com/topics/egop-based-reparameterization
type: topic
---

# EGOP-Based Reparameterization

The Expected Gradient Outer Product (EGOP)–based reparameterization is an orthogonal, data-driven change of basis for parameter space in optimization, designed to improve the behavior of coordinate-wise adaptive gradient methods such as Adam and Adagrad. Motivated by the non-equivariance of these optimizers under orthogonal transformations, EGOP-based reparameterization constructs a basis aligned to the spectral structure of the expected outer product of the gradients: $G = \mathbb{E}_{\theta\sim\rho}[\nabla f(\theta)\nabla f(\theta)^\top]$. Diagonal-adaptive methods applied in this basis exhibit improved convergence and invariance properties, especially when $G$ is low-rank or exhibits strong spectral decay. The method is supported by both theoretical guarantees and a range of empirical findings in supervised learning and convex optimization contexts [2510.23804], [2502.01594].

## 1. Expected Gradient Outer Product and Choice of Basis

The EGOP matrix, $G = \mathbb{E}_{\theta\sim\rho}[\nabla f(\theta)\nabla f(\theta)^\top]$, captures the typical geometry of the gradient field under a chosen parameter distribution $\rho$ [2502.01594]. The key insight is that the eigensystem of $G$ provides an optimal basis, in the sense that the expected directional variation of the gradient is maximally concentrated along the leading eigenvectors. Since methods like Adam employ coordinate-wise statistics, the efficiency and implicit bias of these methods are intimately coupled to the chosen basis. When rotated into the EGOP eigenbasis, the EGOP becomes diagonal, mitigating the adverse effects of arbitrary rotations on adaptive optimizers.

## 2. EGOP-Based Reparameterization Procedure

The standard workflow comprises:

1. **EGOP Estimation:** Draw $M$ independent samples $\theta^{(i)}\sim\rho$; compute gradients $g_i = \nabla f(\theta^{(i)})$; estimate $\widehat G = \tfrac{1}{M}\sum_{i=1}^M g_i g_i^\top$.
2. **Eigen-Decomposition:** Compute the eigendecomposition $\widehat G = U\Lambda U^\top$, with $U\in\mathcal{O}(d)$ and diagonal $\Lambda$.
3. **Coordinate Change:** Set new variables $\phi = U^\top\theta$; the reparameterized objective is $\tilde{f}(\phi) = f(U\phi)$.
4. **Optimization:** Run Adam, Adagrad, or similar optimizer directly in $\phi$-space, with all standard updates carried over. For Adam: compute $g_t^\phi=U^\top\nabla_\theta f(\theta_t)$, maintain moments, and update $\phi_{t+1}$; reconstruct $\theta_{t+1}=U\phi_{t+1}$ if needed.

This process is "one-shot," typically performed once prior to training, though online extensions recompute the EGOP and basis every $K$ steps [2510.23804], [2502.01594].

## 3. Theoretical Properties: Equivariance and Convergence Acceleration

The fundamental theoretical advantage is rotational equivariance: for any orthogonal input transformation $U$, Adam or Adagrad run in the EGOP basis produces iterates that align with the input rotation (Theorem 4.3 of [2510.23804]). This endows the optimizer with invariance to arbitrary basis changes of the data or parameterization, eliminating the instabilities and implicit bias reversals otherwise observed.

Convergence improvements stem from the alignment with the spectral structure of $G$. The Adagrad (or Adam, under analogous assumptions) convergence rate in the reparameterized coordinates replaces the worst-case sum of per-coordinate smoothness constants by a sum dominated by the leading eigendirections of $G$. If the EGOP spectrum decays rapidly (low stable rank $\mathrm{sr}_f$), a speed-up by up to $O(d)$ is theoretically supported, with the criterion for acceleration being $\mathrm{sr}_f\ll d$ and dense leading eigenvectors (large $\beta$) [2502.01594].

## 4. Empirical Evidence

Empirical tests confirm these theoretical claims:

- **Synthetic 2D Gaussian Classification:** In [2510.23804], Adam's "richness bias" is destroyed by arbitrary small input rotations, often converging to simple linear solutions. With EGOP reparameterization, Adam consistently recovers nonlinear decision boundaries invariant to rotation, matching the Bayes-optimal up to isometry.
- **Multilayer Linear Networks:** [2502.01594] reports faster and lower-loss convergence for Adagrad/Adam with one-shot EGOP reparameterization across synthetic architectures with enforced spectral decay, with no observable overfitting.
- **Real-World Data (UCI digits, Fashion-MNIST):** Block-wise EGOP reparameterization in two-layer ReLU networks yields improved training loss and validation accuracy for Adam and Adagrad, while SGD (rotation-invariant) is unaffected.
- **Convex Problems and Ablations:** Reparameterized Adam/Adagrad converge more rapidly for log-sum-exp, logistic regression, and least-squares tasks with decaying spectrum, while ablations show that merely increasing regularization (ε in Adam) does not restore rotational robustness [2510.23804].

Empirical metrics include distance to Bayes-optimal boundary, test error, and boundary curvature.

## 5. Algorithmic and Implementation Aspects

Key steps in the EGOP-based reparameterization algorithm are:

| Step                   | Description                                                                 | Computational Cost      |
|------------------------|-----------------------------------------------------------------------------|------------------------|
| EGOP Estimation        | $M$ independent gradients, empirical mean                                   | $O(MC_\mathrm{grad})$  |
| Eigen-Decomposition    | $d\times d$ eigendecomposition (full or top-$k$)                            | $O(d^3)$ (or less)     |
| Basis Transformation   | Forward-backward pass in rotated coordinates                                | $O(d^2)$ per step      |

Practical heuristics include using a top-$k$ truncated basis, layer-wise ("block") EGOP for neural networks, or randomized SVD for large $d$. The additional overhead is limited to an upfront cost, with negligible per-iteration penalty.

Suggested hyperparameter choices are $M\approx d$ and $\rho$ usually isotropic Gaussian or uniform on small balls. For numerical stability, Adam's $\epsilon$ often needs to be set higher (e.g., $\epsilon=3.0$ in [2510.23804]).

## 6. Applicability, Limitations, and Extensions

EGOP-based reparameterization is effective when:

- The EGOP spectrum exhibits strong decay ($\mathrm{sr}_f\ll d$).
- The leading eigenvectors are dense ($\beta\gg1/d$).
- Adaptive methods outperform SGD in the native coordinates.

Primary limitations are the upfront computational cost and the practicality of full-basis updates for very large models. Layer-wise or top-$k$ eigenbasis truncations can mitigate this overhead.

The approach extends naturally to any coordinate-wise adaptive method, including AdaMax, Shampoo/SOAP, and others. *A plausible implication is that similar schemes may improve the behavior of these optimizers on large neural architectures (e.g., transformers), but detailed analysis remains an open question* [2502.01594].

Open questions include optimizing incremental-basis updates, scaling to large models, and further characterization of implicit bias under EGOP reparameterization.

Source: https://www.emergentmind.com/topics/egop-based-reparameterization