Table of Contents
Fetching ...

Revisiting the Constant-Rank Constraint Qualification for Second-Order Cone Programs

Nguyen Huy Chieu, Nguyen Thi Quynh Trang, Nguyen Thi Hai Yen

Abstract

The constant rank constraint qualification (CRCQ) for second-order cone programs, introduced by Andreani et al. in [Math. Program. 202 (2023), 473 - 513], shares some desirable properties with its classical nonlinear programming counterpart; specifically, it guarantees strong second-order necessary conditions for optimality, and is independent of the Robinson constraint qualification. However, unlike the classical version, this new CRCQ can fail in the linear case, and it is unclear whether CRCQ implies the metric subregularity constraint qualification (MSCQ). The aim of this paper is to examine the CRCQ for second-order cone programs in the linear setting. First, we show that the facial constant rank property, which is a key requirement for the validity of CRCQ, does not always hold in this context. Then, we derive a necessary and sufficient condition for a feasible point to satisfy this property. After that, we establish an easily verifiable characterization of CRCQ. Finally, utilizing this characterization, we prove that CRCQ and MSCQ are equivalent.

Revisiting the Constant-Rank Constraint Qualification for Second-Order Cone Programs

Abstract

The constant rank constraint qualification (CRCQ) for second-order cone programs, introduced by Andreani et al. in [Math. Program. 202 (2023), 473 - 513], shares some desirable properties with its classical nonlinear programming counterpart; specifically, it guarantees strong second-order necessary conditions for optimality, and is independent of the Robinson constraint qualification. However, unlike the classical version, this new CRCQ can fail in the linear case, and it is unclear whether CRCQ implies the metric subregularity constraint qualification (MSCQ). The aim of this paper is to examine the CRCQ for second-order cone programs in the linear setting. First, we show that the facial constant rank property, which is a key requirement for the validity of CRCQ, does not always hold in this context. Then, we derive a necessary and sufficient condition for a feasible point to satisfy this property. After that, we establish an easily verifiable characterization of CRCQ. Finally, utilizing this characterization, we prove that CRCQ and MSCQ are equivalent.

Paper Structure

This paper contains 6 sections, 6 theorems, 79 equations.

Key Result

Theorem 3.2

Let $\bar{x}$ be a feasible point of SOCP. Then, the FCR property holds at $\bar{x}$ if and only if one of the following conditions is satisfied: $\blacktriangleleft$$\blacktriangleleft$

Theorems & Definitions (8)

  • Theorem 3.2
  • Proposition 3.3
  • Theorem 4.1
  • Corollary 4.2
  • Example 4.3
  • Theorem 4.4
  • Example 4.5
  • Theorem 5.1