arXiv:cs.LG(机器学习,全量分类)· Jakob Paul Zimmermann, Moritz Grillo, Andrei Balakin, Georg Loho·· 14 小时前AI 评分43
跳跃连接如何消除平面特征中的伪局部极小值
Removing spurious minima for planar features by skip connections
AI 导读
针对无偏置浅层 ReLU 网络的教师-学生设置,研究发现当教师网络输出权重为正且具有平面特征时,加入可学习的线性跳跃连接可在学生网络宽度不小于教师网络时消除所有学生输出权重非负的伪局部极小值。若无跳跃连接,作者构造了一个输入维度为 2、仅含 3 个隐藏神经元的固定教师网络,其伪局部极小值在任意学生宽度下持续存在。研究还证明学生特征始终落在教师特征张成的子空间内,并给出了 Lean 4 形式化验证。
正文
Abstract:Understanding loss landscapes is central to explaining neural-network training, yet their structure remains only partially understood even in simple models. We study the Gaussian population loss of shallow, bias-free ReLU networks in the teacher--student setting. This provides a simple model for studying essential aspects such as feature learning and overparameterization. For teacher networks with positive output weights and planar features, we show that including a learned linear skip removes all spurious local minima with non-negative student output weights once the student network is at least as wide as the teacher network. In contrast, without the skip, we construct a fixed teacher network with positive output weights and only three hidden neurons in input dimension two whose spurious local minima persist at every student width at least three. Thus, a learned linear skip can remove spurious minima that persist under arbitrary overparameterization. Furthermore, we show that a positive output weight student network always learns the subspace spanned by the teacher features: student features at local minima with non-negative student output weights lie in the span of the teacher features. For ReLU networks in two dimensions, even heavily overparameterized student networks have effective width controlled by the teacher width: every critical point with positive student output weights has at most twice as many distinct student feature directions as teacher neurons. Finally, we transfer the benignity result to empirical minima over parameter balls of any prescribed radius, with the required sampling accuracy depending on that radius.
| Comments: | 43 pages, 4 figures. Under review. Accompanying Lean 4 formalization available at this https URL |
| Subjects: | Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Optimization and Control (math.OC) |
| Cite as: | arXiv:2610.01728 [cs.LG] |
| (or arXiv:2610.01728v1 [cs.LG] for this version) | |
| https://doi.org/10.48550/arXiv.2610.01728 arXiv-issued DOI via DataCite (pending registration) |
Submission history
From: Jakob Paul Zimmermann [view email]
[v1]
Thu, 1 Oct 2026 14:01:53 UTC (1,833 KB)
来源:arXiv:cs.LG(机器学习,全量分类) · arxiv.org