Hong's canonical form of a Hermitian matrix with respect to orthogonal *congruence.

Yoopyo Hong proved in 1989 that each Hermitian matrix A is orthogonally *congruent to a matrix of the form ε 1 A 1 ⊕ ⋯ ε r A r ⊕ B 1 ⊕ ⋯ ⊕ B s , in which A 1 , ... , A r , B 1 , ... , B s are uniquely determined by the orthogonal *congruence class of A, and ε 1 , ... , ε r ∈ { 1 , − 1 }. We prove that ε 1 , ... , ε p are uniquely determined by the orthogonal *congruence class of A as well. As an application, we present a canonical form of a pair (A , B) consisting of a Hermitian matrix A and a nonsingular symmetric matrix B with respect to transformations (S ⁎ A S , S T B S) with a nonsingular S. [ABSTRACT FROM AUTHOR]