CHECKING THE CONGRUENCE OF INVOLUTIVE MATRICES

摘要

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.