
TL;DR
This survey reviews methods to uncover hidden convex structures in nonconvex optimization problems, highlighting their importance and discussing open challenges in the field.
Contribution
It systematically summarizes three key approaches for revealing convexity in nonconvex problems and identifies ten open research questions.
Findings
Three main methods for hidden convexification are summarized.
Highlights the significance of convex structures in nonconvex problems.
Raises ten open problems for future research.
Abstract
Motivated by the fact that not all nonconvex optimization problems are difficult to solve, we survey in this paper three widely-used ways to reveal the hidden convex structure for different classes of nonconvex optimization problems. Finally, ten open problems are raised.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsAdvanced Optimization Algorithms Research · Optimization and Variational Analysis · Sparse and Compressive Sensing Techniques
∎
11institutetext: Y. Xia 22institutetext: LMIB of the Ministry of Education; School of Mathematics and System Sciences, Beihang University, Beijing, 100191, P. R. China 22email: [email protected]
A survey of hidden convex optimization
††thanks: This research was supported by National Natural Science Foundation of China under grants 11822103, 11571029 and Beijing Natural Science Foundation Z180005.
Yong Xia
(Received: date / Accepted: date)
Abstract
Motivated by the fact that not all nonconvex optimization problems are difficult to solve, we survey in this paper three widely-used ways to reveal the hidden convex structure for different classes of nonconvex optimization problems. Finally, ten open problems are raised.
Keywords:
convex programming quadratic programming quadratic matrix programming fractional programming Lagrangian dual semidefinite programming
MSC:
90C20, 90C25, 90C26, 90C32
1 Introduction
Nowadays, convex programming becomes very popular due to not only its various real applications but also the charming property that any local solution also remains global optimality.
However, it does not mean that convex programming problems are easy to solve. First, it may be difficult to identify convexity. Actually, deciding whether a quartic polynomials is globally convex is NP-hard Ah13 . Second, evaluating a convex function is also not always easy. For example, the induced matrix norm
[TABLE]
is a convex function. But evaluating is NP-hard if H09 . Third, convex programming problems may be difficult to solve. It has been shown in Bu09 that the general mixed-binary quadratic optimization problems can be equivalently reformulated as convex programming over the copositive cone
[TABLE]
Notice that checking whether is NP-Complete M87 .
Like a coin has two sides, there are quite a few nonconvex optimization problems could be globally and efficiently solved in polynomial time. The reason behind this observation is that most of them belong to the hidden convex optimization, i.e., they admit equivalent convex programming reformulations. In the past two decades, hidden convex optimization problems were studied case by case in literature. In this survey, we summarize three class of approaches to reveal the hidden convex structure, namely, nonlinear transformation, Lagrangian dual and the primal tight convex relaxation.
The remainder of this paper is organized as follows. Section 2 presents the most common used nonlinear transformations for different classes of problems. Section 3 shows how Lagrangian duality and its variations achieve zero gap. Section 4 summarizes some classes of nonconvex optimization problems admitting tight primal relaxations. As a concluding remark, ten open problems are raised in Section 5.
Throughout the paper, let be the optimal value of problem . denotes the nonnegative orthant in . For a matrix , denote by that is positive (semi)definite. The trace of is defined as the sum of its diagonal elements, i.e., . and denote the minimal and maximal eigenvalues of , respectively. is the identity matrix of order . stands for the norm of a vector . returns a diagonal matrix with diagonal elements . . Denote by the convex hull of . denotes the number of elements in the set . For a real value , [] returns the largest integer less than or equal to .
2 Nonlinear transformation
In this section, we survey some nonlinear transformation approaches widely used in convexifying different classes of nonconvex optimization problems.
2.1 A univariate example
Univariate examples are not always as simple as converting the concave function to by introducing the one-to-one mapping with .
The approach X11 for reducing the duality gap for box constrained nonconvex quadratic program requires solving the following nonconvex subproblem
[TABLE]
where , are two positive scalars,
[TABLE]
is a linear manifold and is given. The objective function (1) is not concave and thus (G) is a nonconvex minimization. Introducing , one can reformulate as the following convex program:
[TABLE]
2.2 -th power approach
Consider the following constrained nonconvex optimization problems:
[TABLE]
where , () are strictly positive over and is closed, bounded, connected and of a full dimension. It is known L70 that if the perturbation function
[TABLE]
is locally convex in a closed and non-degenerate neighbourhood of , then there is no duality gap between and its Lagrangian dual in the sense that the inner minimization is local and the outer maximization is in the neighbourhood of the optimal Lagrangian multiplier. In order to achieve such a zero duality gap, Li Li95 first introduced the -th power transformation:
[TABLE]
Under some additional assumptions, Li Li95 showed that, for a sufficiently large , the perturbation function of is a convex function of for any in a neighbourhood of .
For more applications of the -th power formulation, we refer to L06 ; L07 and references therein. More generalizations of the -th power convexification approach are further studied in L05 ; Wu07 .
Recently, a novel shifted -th power reformulation is introduced in X16 :
[TABLE]
Surprisingly, under the same assumptions, there is a parametric vector such that is sufficient to guarantee the convexity of the perturbation function of in terms of with lying in a neighbourhood of . Besides, the assumption on the strict positiveness of and is redundant in this new reformulation. For more details, we refer to X16 .
2.3 Minimal-volumn ellipsoid cover
Consider the geometric problem of finding -dimensional ellipsoid of minimal volume covering a set of given points :
[TABLE]
where is the volume of the unit ball in and the objective is the -dimensional volume.
By first introducing (which is well defined as ) and , and then taking a logarithmic transformation for the objective function, we can reformulate the nonconvex optimization problem (MVE) as the following convex program S04 :
[TABLE]
where the fact detdet is used.
2.4 Multiplicative programming
Consider the linear multiplicative programming K95 :
[TABLE]
where is a convex set. (LMP) is NP-hard M96 to solve if replacing the maximization with minimization. The objective function of (LMP) is nonconcave but quasiconcave K95 . The hidden convexity of (LMP) is viewed by the equivalent convex programming problem in the sense that both sharing the same optimal solution:
[TABLE]
Moreover, we notice that (LMP) has the following new second-order cone programming representation:
[TABLE]
2.5 Geometric programming
Geometric program was first introduced in the book D67 . It is an optimization problem of the form
[TABLE]
where are monomials, i.e. the form with , and are posynomials, i.e., the sum of several monomials. We also assume that the constraints (9)-(9) implicitly imply that all the variables are positive.
Obviously, the general (GP) is a nonconvex optimization problem. One can verify that introducing logarithmic change of variables and logarithmic transformations of yields a convex programming reformulation of (GP):
[TABLE]
where .
2.6 Fractional programming
Consider the linear fractional program
[TABLE]
To guarantee that (LF) is well defined, we assume . It is trivial to verify that the objective function (13) is quasi-convex and generally nonconvex. Introducing new variables and to replace and , respectively, we can equivalently reformulate (LF) as the following linear programming:
[TABLE]
The above approach was initially suggested by Charnes and Cooper C62 . It was then extended by Schaible S74 to nonlinear convex fractional programs:
[TABLE]
where () are all convex functions, is a concave function and over the feasible region. Then, introducing and reduces the nonconvex optimization problem (NLF) to the following convex programming:
[TABLE]
Minimizing the sum of a linear and a linear fractional function over a polyhedral set is generally NP-hard M96 . Necessary and sufficient condition for the pseudoconcavity of the objective function is established in C08 . The pseudoconvex but nonconvex case is the following:
[TABLE]
Based on the Charnes-Cooper transformation, it was shown in FG2016 that (SLF) enjoys a second-order cone programming reformulation:
[TABLE]
2.7 Eigenvalue and trust-region subproblem
Define the Rayleigh quotient of a symmetric matrix as:
[TABLE]
The Rayleigh-Ritz formula is well known for the maximal eigenvalue of :
[TABLE]
Let be the eigenvalue decomposition of , where is orthogonal and with being the eigenvalues of . Then, we have
[TABLE]
where is replaced in the first equality and it holds that as is orthogonal, the nonlinear transformation , are introduced in the last equality and we note that these mappings are no longer one-to-one. Problem on the right-hand side of the above chain equalities is a linear programming over a standard simplex, which serves as the hidden convex reformulation of (20).
Now we move to the well-known Kantorovich inequality, which is related to the following nonconvex optimization:
[TABLE]
where . Based on the same transformation as above, (KI) is reduced to
[TABLE]
which is further equivalent (in the sense that both optimal solutions are the same) to solving
[TABLE]
where , , and (21) follows from the classical von Neumann’s minimax theorem. Problem (22) is a univariate convex optimization problem and can be explicitly solved.
The inhomogeneous extension of (20) is the well-known trust-region subproblem (TRS) G81 :
[TABLE]
where is a positive scalar. (TRS) (23) plays a great role in the trust-region method Y15 and also has some other applications such as the constrained least squares G91 . In the case that , (TRS) is a nonconvex optimization. Interestingly, it was shown in M94 that (TRS) has at most one local non-global minimizer.
As above, let be the eigenvalue decomposition of and . By introducing , (TRS) is equivalent to
[TABLE]
For , by further introducing
[TABLE]
we can reduce (TRS) (24) to the following convex programming over a simplex:
[TABLE]
The above convexification approach is further extended by Ben-Tal and Teboulle B96 to the two-sided trust-region subproblem S95 . Similar application in convexifying the following regularized problem
[TABLE]
with can be found in H17 .
2.8 Quadratic matrix programming over orthogonal constraints
For vectors and , define the minimal product as
[TABLE]
where is a permutation of . Notice that is easy to solve by first sorting and , respectively. is similarly defined and computed:
[TABLE]
The quadratic assignment problem (QAP) is a classical combinatorial optimization problem L97 . The trace formulation reads as follows:
[TABLE]
where correspond to flow matrix and distance matrix in a facility location application, respectively, is the set of all permutation matrices. The orthogonal relaxation of (QAP) was first proposed in F87 :
[TABLE]
Let and be the vectors composed by the eigenvalues of and , respectively, i.e.,
[TABLE]
It is not difficult to show the following result.
Theorem 1** (F87 ; R92 )**
For any , it holds that
[TABLE]
The hidden convex reformulation of (O) reads as follows:
[TABLE]
where is introduced in (31) so that remains orthogonal, and in (33), are introduced. Notice that the problem (33) is a linear assignment problem. Therefore, there is an optimal solution, denoted by , lying at one of the vertices. That is, for all , we have . It follows that and hence , which further implies that . Therefore, the inequality (32) holds as an equality.
This convexification approach could be further extended to the trust-region type relaxation A99 by replacing (30) with
[TABLE]
and the enhanced version X11a with (30) being replaced by
[TABLE]
where is an integer between [math] and .
3 Lagrangian dual and its variation
In this section, we first show that strong Lagrangian duality could hold for a few nonconvex optimization problems or their special cases. Sometimes, in order to achieve strong duality, the approach such as adding redundant constraints or making suitable transformation should be introduced in advance.
3.1 Strong Lagrangian duality
Let us begin with the generalized trust-region subproblem with interval bounds P14 :
[TABLE]
where for , are symmetric matrices, and . We make a further assumption:
Assumption 1
, and there are such that either or (i.e., the primal Slater condition holds).
A real application is the squared least squares model for the global positioning system (GPS) location B12 :
[TABLE]
which can be reformulated as a special case of (QP):
[TABLE]
A key technique to establish the strong duality is the following S-lemma with interval bounds W15 , which generalizes the classical S-lemma PT07 and the S-lemma with equality XSR16 .
Theorem 2** (S-lemma with interval bounds W15 )**
Under Assumption 1, the system is unsolvable if and only if there is a such that , where and .
Then we show that the strong Lagrangian duality holds for (QP), which provides a hidden convexity of (QP) from the dual side.
[TABLE]
where (34) follows from Theorem 2 and the last equality is based on the trivial observation
[TABLE]
When and are diagonal or simultaneous diagonalizable, (QP) admits a second-order conic reformulation BT14 , which seems to be easier to solve than the SDP. Extensions to the general case can be found in J17 .
To study quadratic program with two nonindependent quadratic constraints, we need the following general S-procedure due to Polyak Poly .
Theorem 3** (Theorem 4.1, Poly )**
Let and be real symmetric matrices. Suppose there are scalars and such that
[TABLE]
Then, the system
[TABLE]
has no solution if and only if there exist , such that
[TABLE]
Consider the homogeneous nonconvex quadratic constrained quadratic programming:
[TABLE]
Under the assumption (39)-(40), strong duality of (QP2) is verified as follows:
[TABLE]
Then we get a semidefinite programming reformulation of (QP2).
Strong duality of (QP2) can be extended to the problem with two equality constraints under the Slater’s assumption for equalities. As a small application, consider the binary quadratic programming problem
[TABLE]
which is NP-hard as it contains the classical Max-Cut problem as a special case. The Lagrangian dual is given by
[TABLE]
An optimal parametric Lagrangian dual approach is proposed in X15 , which implies that
[TABLE]
Here, one can observe that (BQP) with is just a special case of (QP2) with equality constraints and hence the strong duality holds true.
Note that (QP2) is homogeneous. However, for the inhomogeneous case, there could be a positive duality gap. A well-known example is the Celis-Dennis-Tapia (CDT) subproblem (see Section 5). But if the variables are in the complex field, strong duality holds again BE06 .
3.2 Adding redundant constraints
Consider the problem (O) (30)-(30), the orthogonal relaxation of (QAP). Above we have shown that (O) enjoys hidden convexity. However, as pointed in Z98 , the standard Lagrangian duality gap could be positive. Another counter example can be found in W02 . Interestingly, the duality gap is closed by adding a redundant constraint A00 . More precisely, (O) is equivalent to
[TABLE]
The Lagrangian dual problem of (O2) is
[TABLE]
It was shown in A00 ; W02 that and strong duality holds again.
Strong duality is achieved for the trust-region-type relaxation with additional constraints X11a :
[TABLE]
where is an integer. The special case was first studied in A99 . Without the redundant constraint (3.2), there could be a positive duality gap, see X11a . For other applications of the similar approach, we refer to D11 .
The other example is the univariate polynomial optimization
[TABLE]
where so that v(PO). Let . (PO) can be reformulated as the following quadratic program with many redundant quadratic constraints:
[TABLE]
Theorem 4** (S98 )**
The Lagrangian dual value of the quadratic constrained quadratic program (45)-(47) is equal to v.
The approach was further extended to the multidimensional case with sum-of-square structure S98 .
3.3 Scaled Lagrangian duality
3.3.1 Quadratic programming
The standard quadratic programming is a nonconvex quadratic program over the standard simplex:
[TABLE]
where and . Any general quadratic function over can be homogenized by rewriting and so that . Problem (QPS) is NP-hard since the maximum stability number can be reformulated in (QPS) M65 .
We can equivalently reformulate (QPS) as (see X13c )
[TABLE]
The Lagrangian dual problem of reads
[TABLE]
The strong duality can be verified that A10
[TABLE]
It should be noted that there is a positive gap between (QPS) and its Lagrangian dual problem even when .
3.3.2 Fractional programming
Reconsider the nonlinear convex fractional programming (NLF) (15)-(16). As shown in S76 , the standard Lagrangian dual is not tight for relaxing (NLF). A natural way to define a dual problem with no duality gap is to write the Lagrangian dual of the equivalent convex reformulation (CLF) (17)-(19), which reads as follows S74 ; S76 :
[TABLE]
In other words, (NLF) with the following scaling
[TABLE]
enjoys strong duality.
The assumption that are convex and is concave is not necessary in establishing strong duality of the above problem (NLF). Consider the quadratic fractional programming over an interval quadratic constraint:
[TABLE]
where () are quadratic functions. Suppose Assumption 1 holds. To guarantee a well-defined (QPF), we further assume . Special cases of the problem (QPF) were studied in B09 ; N16 ; X15 . In (QPF), is nonconvex and is nonconcave.
It was proved in Y17 that the equivalent reformulated optimization problem
[TABLE]
achieves zero Lagrangian duality gap. However, without this scaling, (QPF) could have a positive Lagrangian duality gap. Consider a special case of (QPF), the identical regularized total least squares problem (TLS) B06 :
[TABLE]
where () and is assumed. The necessary and sufficient condition for the strong duality was established in Y17 .
Theorem 5
The Lagrangian duality gap for is positive if and only if
[TABLE]
3.3.3 Orthogonal constrained linear optimization
Replacing the objective function in (O) (30)-(30) with a linear one yields the following problem:
[TABLE]
It is easy to verify that the optimal value of (LO) is equal to the sum of all singular values of . However, there are examples such that the gap between (LO) and its Lagrangian dual is positive W02 . To close the duality gap, (LO) is equivalently rewritten as
[TABLE]
where W=\left(\begin{array}[]{cc}X&Y\\ V&Z\end{array}\right). Then, we obtain (O2).
4 Tight primal relaxation
Primal relaxation could provide an alternative way to reveal the hidden convexity of the original nonconvex optimization problem.
4.1 Totally unimodular
Consider the integer programming problem
[TABLE]
where and is the field of integer vectors. The matrix is called totally unimodular if each determinant of any square submatrix is or . It follows that the linear programming relaxation
[TABLE]
has an integral optimal solution. Instances of this class include the min-cut problem, the linear assignment problem and so on.
4.2 Orthogonal constrained problems
We first consider a slightly generalized version of the linear problem (LO) (50)-(51):
[TABLE]
where and . (LO) (50)-(51) exactly corresponds to the special case . (GLO) is trivially reformulated as the following convex programming:
[TABLE]
which can be reduced to a semidefinite program as one can verify that
[TABLE]
Consider the relaxation problem (O) (30)-(30). It is trivial to see that (O) can be equivalently rewritten as a linear problem:
[TABLE]
The first computable representation of the convex set was established in X13 as follows:
Theorem 6** (X13 )**
[TABLE]
Then, we obtain a semifinite programming reformulation of (O).
4.3 Trust-region subproblem and extensions
The trust-region subproblem (TRS) (23) admits the following primal convex quadratic optimization reformulation F96
[TABLE]
When extended to the two-sided trust-region subproblem
[TABLE]
the following equivalent convex reformulation was established in W17 :
[TABLE]
Applying Nesterov s accelerated gradient descent algorithm for solving (54)-(55) yields a linear-time algorithm N17 ; W17 , whose worst-case complexity is less than the previously existing algorithm H16 . Recently, the extended (TRS) where (55) is replaced by a general quadratic constraint is convexified in Y18 .
Besides (TRS), some other optimization problems over the unit-ball also have hidden convexity. For example, the ball-constrained weighted maximin dispersion problem Ha13
[TABLE]
where are given points and for . Problem (DP) is NP-hard W16 . However, when , (DP) is equivalent to the following second-order cone programming problem W16 :
[TABLE]
The other example comes from the identical Tikhonov regularized total least squares BB06 ; B06
[TABLE]
According to the S-lemma with equality XSR16 , a special case of Theorem 2 with the setting , we have
[TABLE]
The above SDP reformulation can be equivalently reduced to finding the unique zero point of a smooth, strictly decreasing and convex univariate function in terms of . For more details, see Y17b .
Moreover, (TRS) (23) itself has the following equivalent semidefinite programming reformulation R97 :
[TABLE]
The basic idea behind this equivalence is Pataki’s theorem P98 .
Theorem 7** (P98 )**
Suppose the SDP problem
[TABLE]
has a solution and assume
[TABLE]
Then, for (SDP), there is an optimal solution such that rank().
Theorem 7 implies that (QP2) (41)-(42) admits a tight primal SDP relaxation.
(TRS) was further generalized by adding several linear cuts:
[TABLE]
When , the hidden convex reformulation of was given in S03 ; Y03 :
[TABLE]
where the additional second-order constraint (4.3) was obtained by linearizing the valid constraint:
[TABLE]
Further extension such as letting be an additional variable is studied in G14 .
Suppose and the two linear cuts are parallel, without loss of generality, we assume the constraints (62) are
[TABLE]
Then, is equivalent to the following SOC-SDP problem B13 :
[TABLE]
where (4.3) corresponds to linearizing the valid constraint:
[TABLE]
Generally, when all the linear cuts (62) are non-intersecting in the ball (62), has the following SOC-SDP reformulation B15 :
[TABLE]
Besides, for the intersection of an ellipsoid and a split disjunction, the convex hull is recently shown to be second-order-cone representable B17 .
4.4 Quadratic matrix programming
Consider a class of quadratic matrix programming Be06 :
[TABLE]
where , () and with . Applications of this model include robust least squares and the sphere-packing problem.
For , define
[TABLE]
Relaxing \left(\begin{array}[]{c}X\\ V\end{array}\right)(X^{T}~{}~{}V^{T}) to yields the following SDP:
[TABLE]
As an application of Theorem 7, it was shown in BD12 that the above primal SDP relaxation is tight if its optimal value is attainable and either or .
For more nonconvex instances with tight SDP relaxation, we refer to L16 ; L13 ; L97 ; Y18 and references therein.
5 Open problems
We conjecture that any polynomially solved optimization problem has an equivalent hidden convex reformulation. Nevertheless, we are expected to find the hidden convex reformulations of the following ten special nonconvex optimization problems in the near future.
Open Problem 1. The Celis-Dennis-Tapia (CDT) subproblem
[TABLE]
where . Recently, the polynomial-time solvability of (CDT) has been proved in B16 ; CL2016 ; S16 . Hidden convex reformulation even for the diagonal (CDT) (i.e., and are all diagonal matrices) remains unknown.
Open Problem 2. Finding the hidden convex reformulation of the extended trust-region subproblem with any fixed number of linear cuts
[TABLE]
which is polynomially solved when is fixed B14 ; H13 .
Open Problem 3. The regularized version of the trust-region subproblem with linear cuts reads as follows:
[TABLE]
where is a parameter. When , there is at most one local non-global minimizer H17 . Hidden convexity with any fixed is unknown.
Open Problem 4. The unbalanced orthogonal Procrustes problem
[TABLE]
Notice that when , it reduces to trust-region subproblem. And when , it reduces to the balanced case with an explicit solution S66 and admits a quadratic matrix programming Be06 . Hidden convex reformulation for the special cases and are expected.
Open Problem 5. Finding the hidden convex reformulation of the Tikhonov regularized total least squares problem BB06
[TABLE]
which is polynomially solved as it can be reformulated as a special case of the generalized (CDT). The special case is settled in Y17b .
Open Problem 6. Finding the hidden convex reformulation of the sum of a generalized Rayleigh quotient and a quadratic form on the unit sphere
[TABLE]
where . This problem is a generalization of the Rayleigh quotient optimization problem. It was raised in Z14 with applications in the downlink of a multi-user MIMO system and the sparse Fisher discriminant analysis in pattern recognition.
Open Problem 7. Let be positive definite matrices and . The special unconstrained quartic minimization
[TABLE]
has special application in the Legendre-Fenchel conjugate of the product of two positive definite quadratic functions H07 . Assuming the objective function being convex, it has been solved in Z10 . It is further shown in X13a that the convexity assumption could be removed. However, hidden convexity of this problem remains unknown.
Open Problem 8. Let be symmetric for . The ball-constrained quartic minimization
[TABLE]
is generally NP-hard N03 . Hidden convexity even for the special case remains unknown.
Open Problem 9. Let be symmetric for . The optimal value of
[TABLE]
plays a great role in the local convex analysis for quadratic transformations X14 . When , the optimization problem reduces to the maximal eigenvalue of . Hidden convexity for fixed (say ) is unknown.
Open Problem 10. Let be the intersection of balls. Finding the Chebyshev center of is modeled as
[TABLE]
Geometrically, is to find the smallest ball enclosing . When , admits a standard quadratic programming representation Be07 ; Be09 . Hidden convexity for fixed or remains unknown.
The reference list from the paper itself. Each links out to its DOI / PubMed record.
- 1(1) Ahmadi, A.A., Olshevsky, A., Parrilo, P.A., Tsitsiklis, J.N.: NP-hardness of deciding convexity of quartic polynomials and related problems. Math. Program. 137, 453-476 (2013)
- 2(2) Anstreicher, K.M., Burer, S.: Computable representations for convex hulls of low-dimensional quadratic forms. Math. Program. 124, 33-43 (2010)
- 3(3) Anstreicher, K.M., Chen, X., Wolkowicz, H., Yuan, Y.: Strong duality for a trust-region type relaxation of the quadratic assignment problem. Linear Algebra Appl. 301(1-3), 121-136 (1999)
- 4(4) Anstreicher, K.M., Wolkowicz, H.: On lagrangian relaxation of quadratic matrix constraints. SIAM J. Matrix Anal. Appl. 22, 41-55 (2000)
- 5(5) Beck, A.: Quadratic matrix programming. SIAM J. Optim. 17, 1224-1238 (2006)
- 6(6) Beck, A.: On the convexity of a class of quadratic mappings and its application to the problem of finding the smallest ball enclosing a given intersection of ball. J. Global Optim. 39(1), 113-126 (2007)
- 7(7) Beck, A.: Convexity properties associated with nonconvex quadratic matrix functions and applications to quadratic programming. J. Optimiz. Theory App. 142(1), 1-29 (2009)
- 8(8) Beck, A., Ben-Tal, A.: On the solution of the Tikhonov regularization of the total least squares problem. SIAM J. Optim. 17(1), 98-118 (2006)
