Abstract:This paper establishes a closed-form expression for projecting onto a capped rotated second-order cone. This convex set arises in the perspective relaxation of mixed-integer nonlinear programs (MINLP) with binary indicator variables. The rapid computation of the projection onto this set is expected to enable the development of effective methods for solving the continuous relaxation of MINLPs whose feasible region may involve a Cartesian product of a large number of such sets. The closed-form established herein consists of seven cases, one of which is a solution of a cubic equation and another is a solution of a quartic equation. Although quartic equations possess closed-form solutions, numerical solutions are typically used in practice. Based on bounds that we prove using additional case analysis, we develop a specialized bisection-based method to solve the resulting quartic equation. In experiments we first demonstrate that the projection problem is solved faster and more accurately with our closed-form, together with a standard polynomial equation solver, compared with a general state-of-the-art interior-point solver and compared with a state-of-the art conic first-order method solver. We also demonstrate the efficacy of our bisection-based specialized numerical method for solving the quartic equation.

Closed-Form Solution of Conic in Point-Line Enumerative Problem of Conic

Cubic rational polynomial parametrization of conics

A class of Neumann problems arising in conformal geometry

The Minkowski Problem in the Sphere

Geometric constraint solving for parametric conics

Interpolating 2D Data Set by Conic Spline with G2 Continuity

Positive Solutions to a Singular Second Order Three-Point Boundary Value Problem

The Green’s Function for Equations with Conic Metrics

Cubic algebraic curves based on geometric constraints

Extended Newton Methods for Conic Inequalities: Approximate Solutions and the Extended Smale Α-Theory

Some line and conic arrangements and their Waldschmidt constants

Positive solutions for a nonlinear n-th order m-point boundary-value problem

Projecting onto a Capped Rotated Second-Order Cone

Representingtitg Conics Using NURBS Curves

Geometry of the conics on the Minkowski plane

Twin Positive Solutions for Higher Order M-Point Boundary Value Problems with Sign Changing Nonlinearities

The Existence of Countably Many Positive Solutions for Nonlinear Nth-Order Three-Point Boundary Value Problems

Algebraic conditions for classifying the positional relationships between two conics and their applications

Conics, Their Pencils and Intersections in Geometric Algebra

Representing Conics Using NURBS of Degree Two.

On the Intersection of Two Conics