Lagrangian-Hamiltonian formulation of paraxial optics and applications: Study of gauge symmetries and the optical spin Hall effect

In the context of the paraxial regime, usually valid for optical frequencies and also in the microwave spectrum of guided waves, the propagation of electromagnetic fields can be analyzed through a paraxial wave equation, which is analogous to the nonrelativistic Schr\"odinger equation of quantum mechanics but replacing time t with spatial coordinate z. Considering that, here it is shown that for lossless media in optical frequencies it is possible to construct a Lagrangian operator with an one-to-one correspondence with nonrelativistic quantum mechanics, which allows someone to use the same mathematical methods and techniques for solving problems. To demonstrate that, we explore a few applications in optics with increasing levels of complexity. In the spirit of a Hamiltonian formulation, the ray-tracing trajectories of geometric optics in paraxial regime are obtained in a clear manner. Following that, the gauge symmetries of the optical-field Lagrangian density is discussed in a detailed way, leading to the general form of the interaction Hamiltonian. Through the use of perturbation theory, we discuss a classical analog for a quantum not gate, making use of mode coupling in an isotropic chiral medium. At last, we explore the optical spin Hall effect and its possible applications using an effective geometric optics equation derived from an interaction Hamiltonian for the optical fields. We also predict within the framework of paraxial optics a spin Hall effect of light induced by gravitational fields.