We prove that the active-set method needs an exponential number of iterations in the worst-case to maximize a convex quadratic function subject to linear constraints, regardless of the pivot rule used. This substantially improves over the best previously known lower bound [IPCO 2025], which needs objective functions of polynomial degrees $\omega(\log d)$ in dimension $d$, to a bound using a convex polynomial of degree 2. In particular, our result firmly resolves the open question [IPCO 2025] of whether a constant degree suffices, and it represents significant progress towards linear objectives, where the active-set method coincides with the simplex method and a lower bound for all pivot rules would constitute a major breakthrough. Our result is based on a novel extended formulation, recursively constructed using deformed products. Its key feature is that it projects onto a polygonal approximation of a parabola while preserving all of its exponentially many vertices. We define a quadratic objective that forces the active-set method to follow the parabolic boundary of this projection, without allowing any shortcuts along chords corresponding to edges of its full-dimensional preimage.
翻译:我们证明了在最坏情况下,无论采用何种主元规则,活动集法在最大化线性约束下的凸二次函数时需要指数级迭代次数。这显著改进了先前已知的最佳下界[IPCO 2025]——该下界需要维度$d$中多项式次数为$\omega(\log d)$的目标函数——将其推进到仅需使用二次凸多项式的情形。特别地,我们的结果彻底解决了[IPCO 2025]中提出的关于常数次数是否足够这一开放性问题,并为线性目标函数情形(此时活动集法与单纯形法等价)的研究取得重要进展——若能在该情形下建立适用于所有主元规则的下界,将构成重大突破。我们的证明基于一种通过变形积递归构造的新型扩展表述,其关键特性在于:该表述能投影到抛物线的多边形近似上,同时完整保留其指数级数量的顶点。我们定义了一个二次目标函数,迫使活动集法沿该投影的抛物线边界行进,且无法通过其全维原像边对应的弦进行任何捷径跨越。