Abstract

Any general first-order optical system can be represented using ${\textbf{S}} \in Sp(4,\mathbb{R})$, where $Sp(4,\mathbb{R})$ is the symplectic group with real entries in four dimensions. We prove that any ${\textbf{S}} \in Sp(4,\mathbb{R})$ can be realized using not more than 18 thin lenses of arbitrary focal length and seven unit distance. New identities that realize ${\textbf{S}} = {S_1} \oplus {S_2}$, where ${S_1}, {S_2} \in Sp(2,\mathbb{R})$, are obtained. Also, it is proved any ${\textbf{S}}$ of the form ${S_1} \oplus {S_2}$ can be realized using a maximum of eight thin lenses of arbitrary focal length and three unit distance. Moreover, decompositions for examples such as differential magnifier, partial Fourier transform, and inverse partial Fourier transform are also provided. A “gadget” is proposed that can realize any ${\textbf{S}} \in Sp(4,\mathbb{R})$ using thin lens transformations—which can be realized through the use of eight spatial light modulators (SLMs) and seven unit distance. Experimental limitation imposed by SLMs while realizing thin lens transformations is also outlined. The justification for the choice of unit distance according to the availability of thin lenses in a lab is given too.

© 2020 Optical Society of America