- The paper presents a theoretical framework that derives the minimax optimal rate for adversarial risk using NTK analysis and Sobolev space regularity.
- It demonstrates that early stopping in gradient flow training is crucial to achieving adversarial optimality and preventing overfit-induced instabilities.
- The study shows that overfitting, contrary to benign overfitting in standard regression, induces significant adversarial vulnerability in the NTK regime.
Adversarial Robustness of Wide Neural Networks in the NTK Regime
Introduction
The study examines the adversarial robustness properties of neural networks in the Neural Tangent Kernel (NTK) regime. It rigorously characterizes statistical limits for adversarially robust nonparametric regression, provides an adversarial risk analysis of infinitely wide fully connected ReLU networks, and interrogates the effects of overfitting with respect to adversarial risk. The framework offers a unified treatment of minimax optimality under adversarial perturbations, connects network dynamics with Sobolev regularity, and delivers negative results regarding the "benign overfitting" phenomenon in the adversarial context.
Problem Setup and Theoretical Foundations
The paper operates within a standard nonparametric regression model:
Yi=f∗(Xi)+ξi,Xi∈[0,1]d,
where f∗ lies in the Sobolev space Hs([0,1]d), and ξi is sub-Gaussian noise. The adversarial risk is defined as the expected supremal squared error over r-ball perturbations to each input, quantifying the worst-case vulnerability to norm-bounded attacks.
The principal technical contribution in this setup is the derivation of the minimax optimal rate for regression under adversarial risk:
f^inff∗∈Hs(L)supRA(f^,f∗)≍r2min(1,s)+n−2s+d2s,
where r2min(1,s) captures adversarial instability and n−2s+d2s is the minimax estimation error without adversarial considerations. This result delineates the fundamental statistical limit, separating approximation imposed by adversarial radius from sample complexity.
The NTK Regime and Achievability
Using mirrored, fully connected ReLU architectures in the infinite-width (NTK) regime, the authors connect gradient flow training dynamics to predictions in the corresponding RKHS. The NTK on [0,1]d is norm-equivalent to the Sobolev space H2d+1([0,1]d), establishing the interface between network architecture, expressivity, and regularity.
The main achievability result demonstrates that, with early stopping at f∗0, wide ReLU networks attain:
f∗1
for f∗2 with f∗3. Early stopping regularizes the gradient flow to cap the Sobolev norm of the estimator, preventing overfit-induced oscillations, and ensures adversarial optimality up to constants. This result aligns the practical procedure (early-stopped gradient descent) with the theoretical minimax rate, a notable analytical closure in adversarial statistics and infinite-width neural networks.
Failures of Benign Overfitting for Adversarial Robustness
A major finding is a sharp negative result on overparametrized regime behavior under adversarial risk. In contrast to "benign overfitting" phenomena in standard (non-adversarial) regression—where fits to noisy data generalize well in expectation—the paper proves that fitting to stochastic noise is fundamentally incompatible with adversarial robustness. For the minimum norm interpolant (gradient flow as f∗4),
f∗5
where f∗6 is the sequence of perturbation radii. This lower bound, growing logarithmically in f∗7, demonstrates unavoidable degradation in adversarial risk as the estimator develops high-frequency, non-robust features to interpolate noise. The result strictly demarcates the limits of overfitting tolerance: perfect data-fitting induces adversarial brittleness even as standard risk remains small.
Empirical Evidence
Empirical validation using both synthetic and real data (including the Diabetes dataset) supports the theoretical insights. During the descent phase of gradient flow, adversarial risk aligns with theory, declining with sample complexity and controlled adversarial radius. As training proceeds to interpolation (ascent phase), adversarial risk sharply increases, visuals confirming the theoretical claim that accelerated adversarial vulnerability emerges with overfitting.
Implications and Future Directions
This study establishes that, at least in the NTK regime, the achievable adversarial risk is fundamentally characterized by the interplay of Sobolev regularity, adversarial perturbation scale, and sample size. The convergence between the NTK and minimax rates confirms that, under appropriate regularization (early stopping), wide neural networks are statistically optimal for adversarially robust learning.
On the negative side, the sharp separation from benign overfitting underscores a need to rethink model selection and regularization in safety-critical applications, as interpolation need not coincide with robustness.
Natural follow-ups include:
- Generalization to f∗8 adversarial losses, beyond f∗9,
- Transcending the NTK limit to incorporate finite-width or feature learning effects,
- Characterizing transitions and limits as Hs([0,1]d)0 with growing Hs([0,1]d)1.
These directions open space for future theoretical and practical advances in robust AI.
Conclusion
The paper delivers a comprehensive statistical analysis of adversarial robustness in wide neural networks, precisely connects the NTK regime to minimax adversarial risk via early stopping, and proves the incompatibility of benign overfitting with adversarially robust learning. These results contribute important precision to the theoretical landscape, guiding both practice (regarding regularization) and future research in adversarially robust deep learning.