A rational algorithm for checking the congruence of unitoid matrices
Kh.D. Ikramov1, A.M. Nazari2
1Lomonosov Moscow State University, Moscow, Russia
2University of Arak, Arak, Iran
Keywords: congruence, unitoid matrix (unitoid), cosquare, similarity, Toeplitz decomposition, indices of inertia, Pythagorean triples, Maple, circulants
Abstract
A matrix is said to be unitoid if it can be brought to diagonal form by a congruence transformation. We say that an algorithm is rational if it is finite and uses the arithmetic operations only. There exist rational methods designed for checking congruence of particular classes of unitoid matrices, for example, Hermitian, accretive, or dissipative matrices. We propose a rational algorithm for checking congruence of general unitoid matrices. The algorithm is heuristic in the sense that the user is required to set the values of two integral parameters M and N. The choice of these values depends on the available a priori information about the proximity of neighboring canonical angles of the matrices under checking.
|
