---
title: "Barzilai-Borwein方法在维数n≥4的二次型开集上无法超线性收敛"
source: "arXiv AI/CL/LG（论文）"
source_tier: "t2"
url: "https://arxiv.org/abs/2607.21579v1"
permalink: "https://feed.astralor.com/items/itm_2d5c7dcda498d3f552f8974a"
published: "2026-07-23T17:56:05.000Z"
score: 77
channel: "ai"
tags: ["Barzilai-Borwein方法","优化算法","收敛性分析","计算机辅助证明"]
---

# Barzilai-Borwein方法在维数n≥4的二次型开集上无法超线性收敛

## AI 点评

> 这篇论文非常硬核，值得每个对优化理论感兴趣的读者细读。它不仅正面击破了一个长期猜想，还展示了计算机辅助证明在连续优化中的威力。如果你在设计或分析自适应步长优化器，这个结果会提醒你超线性收敛并非理所当然。对AI研究者而言，理解BB方法的真实行为有助于避免过度依赖经验性假设。

## 速览

Barzilai-Borwein (BB) 方法在连续优化中表现优异，但其收敛动力学长期未被完全理解。本文通过构造一个n≥4维非空开集（正Lebesgue测度）上的严格凸二次问题及初始点，证明长步BB1方法收敛但无法达到根超线性收敛。借助计算机辅助证明四维投影化BB动力学中的非共振吸引七周期轨道，梯度范数和误差能量范数均被几何序列双向界定，从而排除了超线性收敛的可能性。

## 关键点

- Barzilai-Borwein方法在n≥4维严格凸二次问题开集上收敛但无法根超线性收敛。
- 通过构造显式常数ρ_min=10^{-6}, ρ_max=0.61，梯度各谱分量被几何序列上下界限制。
- 计算机辅助证明四维投影化BB动力学中存在非共振吸引七周期轨道。
- 梯度范数、误差能量范数和目标间隙均满足双侧几何估计，排除超线性收敛。

## 全文

Barzilai--Borwein (BB) method has shown strong practical performance in continuous optimization, yet its convergence dynamics remains poorly understood. In particular, a central unresolved question is whether BB converges superlinearly for almost every strictly convex quadratic problem and initialization. We provide a negative answer to this question. Specifically, for every finite dimension $n\geq4$, we construct a nonempty open, hence positive-Lebesgue-measure, family of strictly convex quadratic problems and initial points for which the long Barzilai--Borwein method (BB1) converges but cannot converge root-superlinearly. More precisely, with the explicit constants $ρ_{\min}=10^{-6},ρ_{\max}=0.61$, every spectral component of the gradient is bounded above and below by the corresponding geometric sequence. Consequently, the gradient norm and the energy norm of the error satisfy two-sided geometric estimates with the same rates, while the objective gap satisfies the corresponding estimates with squared rates. In particular, all three quantities are bounded below by geometric sequences, ruling out superlinear convergence. The construction is highly nontrivial, based on a computer-assisted proof of a nonresonant, attracting seven-cycle of the projectivized BB dynamics in dimension four.

---

引用前请核对原文;本文由星际流动整理:https://feed.astralor.com/items/itm_2d5c7dcda498d3f552f8974a