Papers for

optimization algorithm developers

Papers whose findings have a practical use for this group, as judged from the abstract. Open a paper to read what it means in practice.

Weak proximal oracles trade speed for complexity in convex optimization

Complexities of Weak Proximal Oracle Methods for Composite Convex Optimization

Abstract: We consider a standard convex composite optimization problem with either smooth or nonsmooth objective function, and under quadratic growth. In recent years, several works gave algorithms based on a \textit{weak proximal oracle} (WPO) that essentially match in oracle complexities proximal (sub)gradient methods relying on exact prox operations. Importantly, such WPOs, which relax the strong optimality condition of the standard prox operator, may admit much more efficient implementation in terms of runtime when optimal solutions have some sparse structure. A question remained if such WPO-based methods can be accelerated (in the sense of Nesterov's accelerated gradient). In this work we provide a negative answer by establishing lower bounds against both deterministic and randomized methods. Thus, while WPOs can substantially reduce the cost of individual oracle calls, this comes with an inherent loss in oracle complexity. We also provide a new upper-bound for WPO-based nonsmooth convex composite optimization, nearly matching the proximal subgradient method.

Mon 21 SeptMachine Learning
The gist
The paper studies a special way to solve certain math problems that involve finding the best solution with some smooth or rough features. It focuses on methods that use a 'weak proximal oracle,' which is easier to run but less precise than the usual method. The authors found that while these easier oracles can speed up each step, they cannot fully match the fastest possible overall solving methods. They also provide a new approach that nearly matches traditional methods for nonsmooth problems using these weaker oracles.
Open 2609.24423v1

Connections between quadratic transform and schur complement revealed

Connections Between Quadratic Transform for Fractional Programming and Schur Complement

Abstract: This paper shows that there are intimate connections between the quadratic transform technique for solving fractional programming (FP) problems and the Schur-complement technique in matrix analysis. We demonstrate that the quadratic transform technique is related to two aspects of the Schur complement: (i) the linear matrix inequality (LMI) condition for positive semidefiniteness and (ii) the matrix determinant formula. Specifically, we establish that the quadratic transform and the Schur-complement LMI condition imply each other. This connection allows us to provide new interpretations of the auxiliary variable in the quadratic transform, and it allows us to rederive the Schur-complement determinant formula. Furthermore, this connection leads to generalizations of the quadratic transform in FP and the Schur-complement LMI that can accommodate generalized matrix inverse. As an application in information theory, we apply the generalized FP framework to the least-favorable-noise minimax formulation of the Gaussian vector broadcast channel sum capacity problem. When the least-favorable noise covariance is singular, matrix-inverse-based Karush-Kuhn-Tucker (KKT) analysis would require a careful analysis of the input and output spaces of the channel. We show using generalized FP that an auxiliary-variable representation of the singular matrix fraction directly yields the reciprocal multiple-access channel and recovers the uplink-downlink duality relation for sum capacity.

Fri 18 SeptInformation Theory
The gist
This paper reveals a deep link between two mathematical techniques used in optimization and matrix analysis: the quadratic transform and the Schur complement. The authors show these methods are closely related, providing new ways to understand and generalize both. They apply this insight to a problem in information theory involving noisy communication channels, especially when certain matrices are singular and traditional methods struggle. This work offers a fresh perspective that simplifies complex calculations in such cases.
Open 2609.21730v1