aiqbench analysis
This paper introduces a novel support-set algorithm designed for optimization problems featuring nonnegative and orthogonal constraints, specifically targeting applications like PCA, clustering, and community detection. By leveraging the sparsity pattern of feasible matrices, the method achieves closed-form solutions that significantly enhance computational efficiency while maintaining strict feasibility throughout iterations. The analysis confirms convergence to first-order stationary points with an iteration complexity of $O(\epsilon^{-2})$, offering a robust tool for large-scale machine learning tasks requiring structured optimization.
A Support-Set Algorithm for Optimization Problems with Nonnegative and Orthogonal Constraints
arXiv:2511.03443v2 Announce Type: replace-cross Abstract: In this paper, we investigate optimization problems with nonnegative and orthogonal constraints, where any feasible matrix of size $n \times p$ exhibits a sparsity pattern such that each row accommodates at most one nonzero entry. Our analysis demonstrates that, by fixing the support set, the global solution of the minimization subproblem for the proximal linearization of the objective function can be computed in closed form with at most $n$ nonzero entries. Exploiting this structural property offers a powerful avenue for dramatically enhancing computational efficiency. Guided by this insight, we propose a support-set algorithm preserving strictly the feasibility of iterates. A central ingredient is a strategically devised update scheme for support sets that adjusts the placement of nonzero entries. We establish the convergence of the support-set algorithm to a first-order stationary point, and show that its iteration complexity required to reach an $\epsilon$-approximate first-order stationary point is $O (\epsilon^{-2})$. Numerical results are strongly in favor of our algorithm in real-world applications, including nonnegative PCA, clustering, and community detection.
Abstract:In this paper, we investigate optimization problems with nonnegative and orthogonal constraints, where any feasible matrix of size $n \times p$ exhibits a sparsity pattern such that each row accommodates at most one nonzero entry. Our analysis demonstrates that, by fixing the support set, the global solution of the minimization subproblem for the proximal linearization of the objective function can be computed in closed form with at most $n$ nonzero entries. Exploiting this structural property offers a powerful avenue for dramatically enhancing computational efficiency. Guided by this insight, we propose a support-set algorithm preserving strictly the feasibility of iterates. A central ingredient is a strategically devised update scheme for support sets that adjusts the placement of nonzero entries. We establish the convergence of the support-set algorithm to a first-order stationary point, and show that its iteration complexity required to reach an $\epsilon$-approximate first-order stationary point is $O (\epsilon^{-2})$. Numerical results are strongly in favor of our algorithm in real-world applications, including nonnegative PCA, clustering, and community detection.
Optimization and Control (math.OC); Machine Learning (cs.LG); Machine Learning (stat.ML)
arXiv:2511.03443 [math.OC]
(or arXiv:2511.03443v2 [math.OC] for this version)
https://doi.org/10.48550/arXiv.2511.03443 Focus to learn more arXiv-issued DOI via DataCite
arXivLabs is a framework that allows collaborators to develop and share new arXiv features directly on our website.
Both individuals and organizations that work with arXivLabs have embraced and accepted our values of openness, community, excellence, and user data privacy. arXiv is committed to these values and only works with partners that adhere to them.
Have an idea for a project that will add value for arXiv's community? Learn more about arXivLabs.
Full text under the publisher's open licence · 266 words
Related coverage

Lattice-Based Cryptography Explained
Quantum Zeitgeist · Aug 15, 2026

WiMi Develops Variational Quantum Algorithm - Driven Multi-Dimensional Data Pooling Optimization Technology
chinatechnews.com · Sep 8, 2026

A brief history of quantum vs classical computational advantage
Quantum Journal · Sep 1, 2026

Researchers Decode up to 1,023 Qubits Using Rank Decomposition
Quantum Zeitgeist · Oct 3, 2026