Operator algebra for propagation problems involving phase conjugation and nonreciprocal elements

A self-consistent formalism is developed for treating propagation of beams in situations which include phase conjugation and nonreciprocal elements. Two equivalent field representations, the rectangular polarization and the circular polarization representation, are considered, and the rules for transforming between them are derived. An example involving a proposed new current fiber sensor is analyzed using the formalism.