FOURIER-OPTICS APPROACH TO THE SYMPLECTIC GROUP

The n-dimensional symplectic group is discussed and classified in terms of operators for the first time to my knowledge. The symplectic embedding theorem is proved by using Kronecker block multiplication. In addition, the fundamental relation of Fourier optics is proved. It follows that all operator relations have been proved for Fourier optics. In combination with a previous result, the decomposition theorem for nonsingular matrices [J. Math. Phys. 12,1772 (1971)], which is extended here somewhat, it follows that Fourier optics (excluding the phase- conjugate operator) is isomorphic to the symplectic group, the group of linear canonical transforms, and the group of first-order systems. This implies that every mathematical result concerning the symplectic group can be understood simply as a property of ideal cylindrical lenses under the paraxial approximation. © 1990 Optical Society of America.