Fourier-optics approach to the symplectic group

Abstract

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

First-order systems: duality and completeness

Mark Kauderer
J. Opt. Soc. Am. A 7(4) 558-568 (1990)

Structure of the set of paraxial optical systems

R. Simon and Kurt Bernardo Wolf
J. Opt. Soc. Am. A 17(2) 342-355 (2000)

Fourier transform in metaxial geometric optics

Kurt Bernardo Wolf
J. Opt. Soc. Am. A 8(9) 1399-1403 (1991)

Symplectic ray tracing based on Hamiltonian optics in gradient-index media

Hiroshi Ohno
J. Opt. Soc. Am. A 37(3) 411-416 (2020)

Optical phase space, Wigner representation, and invariant quality parameters

R. Simon and N. Mukunda
J. Opt. Soc. Am. A 17(12) 2440-2463 (2000)