A criterion for unitary congruence between complex matrices

Let $A$ and $B$ be square complex matrices. Based on an important result of Y. P. Hong and R. A. Horn, we propose a criterion for verifying unitary congruence of these matrices. The criterion requires that a finite number of arithmetic operations be performed. No criteria with this finiteness property were previously known.