Strong duality in minimizing a quadratic form subject to two homogeneous quadratic inequalities over the unit sphere

Van Bong Nguyen, Thi Ngan Nguyen, Ruey Lin Sheu

Research output: Contribution to journalArticle

Abstract

In this paper, we study the strong duality for an optimization problem to minimize a homogeneous quadratic function subject to two homogeneous quadratic constraints over the unit sphere, called Problem (P) in this paper. When a feasible (P) fails to have a Slater point, we show that (P) always adopts the strong duality. When (P) has a Slater point, we propose a set of conditions, called “Property J”, on an SDP relaxation of (P) and its conical dual. We show that (P) has the strong duality if and only if there exists at least one optimal solution to the SDP relaxation of (P) which fails Property J. Our techniques are based on various extensions of S-lemma as well as the matrix rank-one decomposition procedure introduced by Ai and Zhang. Many nontrivial examples are constructed to help understand the mechanism.

Original languageEnglish
JournalJournal of Global Optimization
DOIs
Publication statusAccepted/In press - 2019 Jan 1

Fingerprint

Strong Duality
Unit Sphere
Quadratic form
Decomposition
Quadratic Constraint
Homogeneous Function
Quadratic Function
Lemma
Optimal Solution
If and only if
Optimization Problem
Minimise
Decompose
Duality

All Science Journal Classification (ASJC) codes

  • Computer Science Applications
  • Management Science and Operations Research
  • Control and Optimization
  • Applied Mathematics

Cite this

@article{00edb3414c9644f3b8dded130513b673,
title = "Strong duality in minimizing a quadratic form subject to two homogeneous quadratic inequalities over the unit sphere",
abstract = "In this paper, we study the strong duality for an optimization problem to minimize a homogeneous quadratic function subject to two homogeneous quadratic constraints over the unit sphere, called Problem (P) in this paper. When a feasible (P) fails to have a Slater point, we show that (P) always adopts the strong duality. When (P) has a Slater point, we propose a set of conditions, called “Property J”, on an SDP relaxation of (P) and its conical dual. We show that (P) has the strong duality if and only if there exists at least one optimal solution to the SDP relaxation of (P) which fails Property J. Our techniques are based on various extensions of S-lemma as well as the matrix rank-one decomposition procedure introduced by Ai and Zhang. Many nontrivial examples are constructed to help understand the mechanism.",
author = "Nguyen, {Van Bong} and Nguyen, {Thi Ngan} and Sheu, {Ruey Lin}",
year = "2019",
month = "1",
day = "1",
doi = "10.1007/s10898-019-00835-5",
language = "English",
journal = "Journal of Global Optimization",
issn = "0925-5001",
publisher = "Springer Netherlands",

}

TY - JOUR

T1 - Strong duality in minimizing a quadratic form subject to two homogeneous quadratic inequalities over the unit sphere

AU - Nguyen, Van Bong

AU - Nguyen, Thi Ngan

AU - Sheu, Ruey Lin

PY - 2019/1/1

Y1 - 2019/1/1

N2 - In this paper, we study the strong duality for an optimization problem to minimize a homogeneous quadratic function subject to two homogeneous quadratic constraints over the unit sphere, called Problem (P) in this paper. When a feasible (P) fails to have a Slater point, we show that (P) always adopts the strong duality. When (P) has a Slater point, we propose a set of conditions, called “Property J”, on an SDP relaxation of (P) and its conical dual. We show that (P) has the strong duality if and only if there exists at least one optimal solution to the SDP relaxation of (P) which fails Property J. Our techniques are based on various extensions of S-lemma as well as the matrix rank-one decomposition procedure introduced by Ai and Zhang. Many nontrivial examples are constructed to help understand the mechanism.

AB - In this paper, we study the strong duality for an optimization problem to minimize a homogeneous quadratic function subject to two homogeneous quadratic constraints over the unit sphere, called Problem (P) in this paper. When a feasible (P) fails to have a Slater point, we show that (P) always adopts the strong duality. When (P) has a Slater point, we propose a set of conditions, called “Property J”, on an SDP relaxation of (P) and its conical dual. We show that (P) has the strong duality if and only if there exists at least one optimal solution to the SDP relaxation of (P) which fails Property J. Our techniques are based on various extensions of S-lemma as well as the matrix rank-one decomposition procedure introduced by Ai and Zhang. Many nontrivial examples are constructed to help understand the mechanism.

UR - http://www.scopus.com/inward/record.url?scp=85073998692&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=85073998692&partnerID=8YFLogxK

U2 - 10.1007/s10898-019-00835-5

DO - 10.1007/s10898-019-00835-5

M3 - Article

AN - SCOPUS:85073998692

JO - Journal of Global Optimization

JF - Journal of Global Optimization

SN - 0925-5001

ER -