Abstract
Consider the semidefinite relaxation (SDR) of the quadratic integer program (QIP): where Q is a given symmetric matrix and D is diagonal. We consider the SDR gap We establish the uniqueness of the SDR solution and prove that if and only if γ r :=n −1max{x T VV T x:x ∈ {-1, 1}n}=1 where V is an orthogonal matrix whose columns span the (r–dimensional) null space of D−Q and where D is the unique SDR solution. We also give a test for establishing whether that involves 2r −1 function evaluations. In the case that γ r <1 we derive an upper bound on γ which is tighter than Thus we show that `breaching' the SDR gap for the QIP problem is as difficult as the solution of a QIP with the rank of the cost function matrix equal to the dimension of the null space of D−Q. This reduced rank QIP problem has been recently shown to be solvable in polynomial time for fixed r.
Similar content being viewed by others
References
Alizadeh, F.: Combinatorial optimization with semidefinite matrices. In: Proceedings of the second annual integer programming and combinatorial optimization conference, Carnegie–Mellon University, 1992
Allemand, K., Fukuda, K., Liebling, T.M., Steiner, E.: A polynomial case of unconstrained zero–one quadratic optimization. Math. Prog., Ser. A 91, 49–52 (2001)
Avis, D., Fukuda, K.: Reverse search for enumeration. Discrete Appl. Math. 65, 21–46 (1996)
Balas, E., Ceria, S., Cornuejols, G.: A lift–and–project cutting plane algorithm for mixed 0–1 programs. Math. Prog. 58, 295–324 (1993)
Buck, R.C.: Partition of space. Amer. Math. Monthly 50, 541–544 (1943)
Delorme, C., Poljak, S.: Laplacian eigenvalues and the maximum–cut problem. Math. Prog. 62 (3), 557–574 (1993)
Edelsbrunner, H.: Algorithms in combinatorial geometry. Springer Verlag, 1987
Edelsbrunner, H., O'Rourke, J., Seidel, R.: Constructing arrangements of lines and hyperplanes with applications. SIAM J. Comput. 15 (2), 341–363 (1986)
Ferrez, J.A., Fukuda, K., Liebling, T.M.: Cuts, zonotopes and arrangements. In: Festschrift, P (ed.), The sharpest Cut. SIAM Series on Optimization, 2001
Garey, M.R., Johnson, D.S.: Computers and intractability: a guide to the theory of NP–completeness. Freeman, San Francisco, CA, 1979
Goemans, M.X., Williamson, D.P.: Improved approximation algorithms for maximum cut and satisfiability problems using semidefinite programming. J. Assoc. Comput. Mach. 42 (6), 1115–1145 (1995)
Gungah, S.K., Halikias, G.D., Jaimoukha, I.M.: Maximally robust controllers for multivariable systems. SIAM J. Control and Optimization 38 (6), 1805–1829 (2000)
Gungah, S.K., Malik, U., Jaimoukha, I.M., Halikias, G.D.: A new upper bound for the real structured singular value. In: Proceedings IEEE Conference Dec. & Control, 2001, pp. 247–248
Lovasz, L., Shrijver, A.: Cones of matrices and set–functions and 0–1 optimization. SIAM J. Optimization 1 (2), 166–190 (1991)
Malik, U.: New bounds for the structured singular value. PhD thesis, Imperial College, University of London, 2003
Nesterov, Y.: Semidefinite relaxation and nonconvex quadratic optimization. Optim. Method. Softw. 9 (1–3), 141–160 (1998)
Nesterov, Yu., Nemirovskii, A.: Interior-point polynomial methods in convex programming. SIAM, Philadelphia, PA, 1994
Onn, S., Schulman, L.J.: The vector partition problem for convex objective functions. Math. Oper. Res. 26 (3), 583–590 (2001)
Poljak, S., Rendl, F., Wolkowics, H.: A recipe for semidefinite relaxation for (0,1)–quadratic programming. J. Global Optim. 7 (1), 51–73 (1995)
Poljak, S., Wolkowics, H.: Convex relaxation of (0,1)–quadratic programming. Math. Oper. Res. 20 (3), 550–561 (1995)
Della Riccia, G., Shapiro, A.: Minimum rank and minimum trace of covariance matrices. Psychometrika 47, 443–448 (1982)
Shapiro, A.: Extremal problems on the set of nonnegative definite matrices. Lin. Alg. Appl. 67, 7–18 (1985)
ten Berge, J.M.F., Snijders, T.A.B., Zegers, F.E.: Computational aspects of the greatest lower bound to the reliability and constrained minimum trace factor analysis. Psychometrika 46, 201–213 (1981)
Wolkowizs, H., Saigal, R., Vandenberghe, L.: Handbook of semidefinite programming: theory, algorithms and applications. Kluwer Academic Publishers, Boston, 2000
Zaslavsky, T.: Facing up to arrangements: face–count formulas for partitions of space by hyperplanes. Mem. Amer. Math. Soc. 154 (5), 585–600 (1975)
Zhang, J.W., Ye, Y.Y., Han, Q.M.: Improved approximations for max set splitting and max NAE SAT. Discrete Appl. Math. 142 (1–3), 133–149 (2004)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Malik, U., Jaimoukha, I., Halikias, G. et al. On the gap between the quadratic integer programming problem and its semidefinite relaxation. Math. Program. 107, 505–515 (2006). https://doi.org/10.1007/s10107-005-0692-2
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10107-005-0692-2