A finite computational process using arithmetic operations only is called a rational algorithm. Presently, no rational algorithm for checking the congruence of arbitrary complex matrices A and B is known. The situation can be different if both A and B belong to a special matrix class. For instance, there exist rational algorithms for the cases where both matrices are Hermitian, unitary, or accretive. This paper proposes a rational algorithm for checking whether two involutive matrices A and B are congruent.
Similar content being viewed by others
References
Kh. D. Ikramov, “On finite spectral procedures in linear algebra,” Programmirovanije, 56– 69 (1994).
V. V. Prasolov, Polynomials [in Russian], Moscow (2001).
Kh. D. Ikramov, “Checking the congruence of accretive matrices,” Mat. Zametki, 101, 854–859 (2017).
R. A. Horn and C. R. Johnson, Matrix Analysis, Second edition, Cambridge University Press (2013).
R. A. Horn and V. V. Sergeichuk, “Canonical forms for complex matrices congruence and *congruence,” Linear Algebra Appl., 416, 1010–1032 (2006).
Kh. D. Ikramov, Numerical Solution of Matrix Equations [in Russian], Nauka, Moscow (1984).
Author information
Authors and Affiliations
Corresponding author
Additional information
Translated from Zapiski Nauchnykh Seminarov POMI, Vol. 496, 2020, pp. 87–93.
Translated by Kh. D. Ikramov.
Rights and permissions
About this article
Cite this article
Ikramov, K.D. Checking the Congruence of Involutive Matrices. J Math Sci 255, 271–274 (2021). https://doi.org/10.1007/s10958-021-05368-5
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10958-021-05368-5