Abstract
We analyze the fulfillment of the simultaneous diagonalization (SD via congruence) property for any two real matrices, and develop sufficient conditions expressed in different way to those appeared in the last few years. These conditions are established under a different perspective, and in any case, they supplement and clarify other similar results published elsewhere. Following our point of view reflected in a previous work, we offer some necessary and sufficient conditions, different in nature to those in Jiang and Li (SIAM J Optim 26:1649–1668, 2016), for SD: roughly speaking our approach is more geometric and needs to compute images and kernels of matrices; whereas that in Jiang and Li (SIAM J Optim 26:1649–1668, 2016) requires to compute determinant and canonical forms. The bidimensional situation is particularly analyzed, providing new more precise characterizations than those in higher dimension and joint those given earlier by the authors. In addition, we also establish the connection of our characterization of SD with that provided in Jiang and Li (SIAM J Optim 26:1649–1668, 2016).
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
Ben-Tal, A., Teboulle, M.: Hidden convexity in some nonconvex quadratically constrained quadratic programming. Math. Program. Ser. A 72, 51–63 (1996)
Dines, L.L.: On the mapping of quadratic forms. Bull. Am. Math. Soc. 47, 494–498 (1941)
Ding, W., Li, J., Zhang, S.: Projectively and weakly simultaneously diagonalizable matrices and their applications. SIAM J. Matrix Anal. Appl. 45(1), 167–202 (2024)
Finsler, P.: Über das Vorkommen definiter und semi-definiter formen in scharen quadratische formen. Commentarii Matematici Helvetici 9, 188–192 (1937)
Flores-Bazán, F., Mastroeni, G.: First- and second-order optimality conditions for quadratically constrained quadratic programming problems. J. Optim. Theory Appl. 193, 118–138 (2022)
Flores-Bazán, F., Opazo, F.: Characterizing the convexity of joint-range for a pair of inhomogeneous quadratic functions and strong duality. Minimax Theory Appl. 1, 257–290 (2016)
Flores-Bazán, F., Opazo, F.: Characterizing convexity of images for quadratic-linear mappings with applications in nonconvex quadratic optimization. SIAM J. Optim. 31, 1774–1796 (2021)
Flores-Bazán, F., Mastroeni, G., Vera, C.: Proper or weak efficiency via saddle point conditions in cone-constrained nonconvex vector optimization problems. J. Optim. Theory Appl. 181, 787–816 (2019)
Golub, Gene H., Van Loan, Charles F.: Matrix Computations, 3rd edn., Johns Hopkins Studies in the Mathematical Sciences, The Johns Hopkins University Press, Baltimore and London, (1996)
Greub, W.H.: Linear Algebra, 3rd edn. Springer-Verlag, Berlin, New York, Heidelberger (1967)
Hestenes, M.R.: Pairs of quadratic forms. Linear Alg. Appl. 1, 397–407 (1968)
Hsia, Y., Lin, G.-X., Sheu, R.-L.: A revisited quadratic programming with one inequality quadratic constrain via matrix pencil. Pac. J. Optim. 10, 461–481 (2014)
Horn, R.E., Johnson, C.R.: Matrix Anal. Cambridge University Press, New york (1985)
Jiang, R., Li, D.: Simultaneous diagonalization of matrices and its applications in quadratically constrained quadratic programming. SIAM J. Optim. 26, 1649–1668 (2016)
Lancaster, P., Rodman, L.: Canonical forms for Hermitian matrix pairs under strict equivalence and congruence. SIAM Rev. 47, 407–443 (2005)
Le, T.H., Nguyen, T.N.: Simultaneous diagonalization via congruence of Hermitian matrices: some equivalent conditions and a numerical solution. SIAM J. Matrix Anal. Appl. 43, 882–911 (2022)
Lehmann, R., Oettli, W.: The theorem of the alternative, the key-theorem, and the vector-maximum problem. Math. Program. 8, 332–344 (1975)
Moré, J.J.: Generalizations of the trust region problem. Optim. Methods Softw. 2, 189–209 (1993)
Pong, T.K., Wolkowicz, H.: The generalized trust region subproblem. Comput. Optim. Appl. 58, 273–322 (2014)
Stern, R.J., Wolkowicz, H.: Indefinite trust region subproblems and nonsymmetric eigenvalue perturbations. SIAM J. Optim. 5, 286–313 (1995)
Uhlig, F.: A canonical form for a pair of real symmetric matrices that generate a nonsingular pencil. Linear Algebra Appl. 14, 189–209 (1976)
Uhlig, F.: A recurring theorem about pairs of quadratic forms and extension: a survey. Linear Algebra Appl. 25, 219–237 (1979)
Wang, A.L., Jiang, R.: New notions of simultaneous diagonalizability of quadratic forms with applications to QCQPs. Math. Program. (2024). https://doi.org/10.1007/s10107-024-02120-0
Acknowledgements
The authors want to express their gratitude to the Associate Editor and both referees for their careful reading of the earlier manuscript and constructive criticism, which led to the present improved version. We are specially thankful to one of the referees for calling our attention the paper [14], whose approach was compared with ours. The research for the first author was supported in part by ANID-Chile through FONDECYT 1212004 and Basal FB210005.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Guoyin Li.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Springer Nature or its licensor (e.g. a society or other partner) holds exclusive rights to this article under a publishing agreement with the author(s) or other rightsholder(s); author self-archiving of the accepted manuscript version of this article is solely governed by the terms of such publishing agreement and applicable law.
About this article
Cite this article
Flores-Bazán, F., Opazo, F. Simultaneous Diagonalization Under Weak Regularity and a Characterization. J Optim Theory Appl 203, 629–650 (2024). https://doi.org/10.1007/s10957-024-02526-y
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10957-024-02526-y