Finite Dimensional Naimark Realizations and Choice Sequences

Abstract A one to one correspondence is established between a class of positive real rational functions with finite dimensional Naimark realizations and the set of sequences of pairs consisting of a strictly positive operator and a skew symmetric operator on a non-increasing sequence of subspaces.