cs.LGJun 1, 2026

Beyond \ell_2-norm and \ell_\infty-norm: A Curvature-Inspired \ell_p-Norm Scheme for Deep Neural Networks

Authors: Jianhao XuZhuang Yang

Abstract

The existing optimizers for deep neural networks (DNNs) typically rely on either the 2\ell_2 norm or the \ell_\infty norm, resulting in optimizers that do not adapt well to substantial changes in curvature across parameter dimensions. Generally, the training process of DNNs often exhibits strong curvature anisotropy in the early period, whereas in the later period, the training process of DNNs tends to move toward flatter regions with weaker anisotropy. Particularly, optimizers based on the 2\ell_2-norm are usually dominated by high-curvature directions, restricting updates of optimizers along with lower curvature direction and thus leading to a slower convergence rate. While optimizers based on the \ell_\infty-norm are prone to oscillations in flatter regions, due to the coordinate-wise updates of the same magnitude. To address these two extreme cases generated by 2\ell_2 and \ell_\infty norms, we propose a novel p\ell_p-norm scheme with a dynamical value of pp and incorporate it into stochastic gradient descent (SGD) and SGD with momentum (SGDM), leading to two novel optimizers with better generalization performance: p{\ell_p}-SGD (LPSGD) and p{\ell_p}-SGDM (LPSGDM). Particularly, the resulting optimizers suppress the dominance of high-curvature directions in the early period by utilizing a large pp (p>2p>2), followed by a gradual decrease of pp toward 2 to enable more stable and refined updates, where the latter process is motivated by the cosine annealing strategy. We establish theoretical guarantees of the resulting algorithms and analyze that both LPSGD and LPSGDM achieve an O(T1/2)O(T^{-1/2}) convergence rate for the nonconvex setting. Extensive experiments are conducted on benchmark datasets, including CIFAR-10, CIFAR-100, and ImageNet-1K, with multiple DNNs such as VGG-11, ResNet-18, and ResNet-50.

Explore similar work

Jun 13, 2026cs.LG

When to use what Schatten-p norm in deep learning?

Schatten-\infty based optimizers such as Muon have shown promising empirical performance, but there remains seemingly conflicting observations regarding whether they are beneficial. We resolve this conflict by showing that the conclusion is regime dependent. Even when the objective is smooth in the Schatten-\infty geometry, smaller Schatten-pp geometries can be optimal, specifically in the low-dimensional regime, which we show includes Chinchilla scaling. This conclusion follows from a new noise-robust acceleration result for the SODA framework for p>2p>2. The same analysis explains why Muon-like methods do not require warmup, why they naturally favor large batches, and yields a batch size scaling rule for arbitrary pp.
Thomas Pethick
May 18, 2026math.OC

Scale-Invariant Neural Network Optimization: Norm Geometry and Heavy-Tailed Noise

A growing lesson from neural network optimization is that optimizer design should respect how the model is parametrized. The layerwise input-output structure of neural networks motivates scale-invariant optimizers, such as Muon and Scion, whose updates also support hyperparameter transfer. At the same time, stochastic gradient noise in deep learning is often far from sub-Gaussian and may exhibit heavy tails. These observations have shaped recent algorithmic principles for training neural networks, yet their joint theoretical consequences are underexplored. In particular, it remains unclear what dimension dependence is unavoidable for gradient-based methods given the problem class is defined by input-output norm and under heavy-tailed noise, and whether higher-order smoothness can accelerate training. We study these questions through nonconvex smooth stochastic optimization over Rm×n\mathbb R^{m\times n} equipped with general norms and under pthp^\mathrm{th}-moment heavy-tailed noise, where the goal is to achieve an εε-stationary point in the dual norm. Our first contribution is a dimension-dependent lower bound: when max{m,n}(min{m,n})2\frac{\max\{m,n\}}{(\min\{m,n\})^2} is large enough, any gradient-based method requires Ω(min{m,n}ε3p2p1)Ω(\min\{m, n\}ε^{-\frac{3p-2}{p-1}}) oracles for the problem class defined by the spectral norm, which is a common input-output norm. We prove that a scale-invariant Scion method with the spectral norm can achieve the matching upper bound of O(min{m,n}ε3p2p1)O(\min\{m, n\}ε^{-\frac{3p-2}{p-1}}). To exploit higher-order smoothness, we propose a transported Scion method and improve the bound to O(min{m,n}ε5p32p2)O(\min\{m, n\}ε^{-\frac{5p-3}{2p-2}}) when the Hessian is Lipschitz. Finally, we incorporate heuristics into our transported method and evaluate it across multiple architectures and model sizes, demonstrating its flexibility and compatibility with neural network training.
Jiayu Zhang, Tianyi Lin
Jul 5, 2026math.OC

Unified convergence analysis for gradient descent optimization methods in the training of deep neural networks

Gradient based optimization methods are nowadays the methods of choice for training deep neural networks (DNNs) in artificial intelligence (AI) systems. In practically relevant DNN training problems, one does usually not apply the standard gradient descent (GD) optimization method but instead one employs suitable sophisticated GD optimization methods, which incorporate adaptivity and/or acceleration techniques, such as the famous Adam optimizer. It is a key contribution of this work to provide a general unified convergence analysis for GD optimization methods in the training of DNNs with analytic activations such as the softplus and the popular Gaussian error linear unit (GeLU) activation. Our general unified convergence result applies to a large class of gradient based optimization methods such as the standard GD, the momentum, the Nesterov accelerated gradient (NAG), the RMSprop, the Adam, the Adamax, the Nadam, the Nadamax, the Adan, the AdaBelief, the AMSGrad, and the Yogi optimizers. Our analysis employs the theory of Kurdyka-Łojasiewicz (KL) inequalities to establish convergence to critical points in the training of DNNs. To the best of our knowledge, the generality of our convergence analysis is also just in the special situation of the Adam optimizer a new contribution to the literature on the analysis of AI optimization algorithms.
Shokhrukh Ibragimov, Arnulf Jentzen