Quantum numbers and spectra of structured light arxiv: v1 [physics.optics] 2 May 2018

Transcription

1 Quantum numbers and spectra of structured light arxiv: v [physics.optics] 2 May 208 Iwo Bialynicki-Birula Center for Theoretical Physics, Polish Academy of Sciences Aleja Lotników 32/46, Warsaw, Poland birula@cft.edu.pl Zofia Bialynicka-Birula Institute of Physics, Polish Academy of Sciences Aleja Lotników 32/46, Warsaw, Poland Motto Quantum optics is that branch of optics where the quantum features of light matter Wolfgang P. Schleich in his book: Quantum Optics in Phase Space Abstract. It is shown that photon helicity quantum number plays the fundamental role in the description of both twisted and knotted electromagnetic waves. We concentrated on the cases where photon wave functions are eigenfunctions of one component of angular momentum. The role of the photon wave function in momentum representation is emphasized because its knowledge can help to build the SLM s and the holograms that will produce structured light. Keywords: structured light, knotted light, angular momentum of light, Hopfions, Riemann-Silberstein vector. Introduction PACS numbers: De,02.0.Kn,42.30.Kg,42.50.Tx It has been argued in [] that the description of light beams in terms of constituent photons elucidates such properties as helicity, orbital angular momentum and spin; the physical properties of light can be aptly characterized in terms of photon wave functions. The simplest description of photon states is in terms of wave functions in momentum space. According to Wigner [2], spinning massless particles are describedbytwowavefunctionsf ± (k; eachofthemformsone-dimensionalirreducible representation of the Poincaré group (without reflections. In the present paper we apply this mode of description to various types of structured light: twisted and knotted. Twisted light beams are usually characterized by the well-defined component of the total angular momentum in the direction of propagation: photon wave functions are eigenfunctions of the helicity operator and one component of the angular momentum operator. Such light beams are important in various applications and they are now easily produced with the use of holograms or spatial light modulators

2 Quantum numbers and spectra of structured light 2 (SLM s. Knotted solutions of Maxwell equations characterized by their stable topological structure have also well defined helicity and one component of the angular momentum. These knotted waves have not so far been created in experiments. However, the complete Fourier (spectral analysis determined in this work may be helpful in the construction of spatial light modulators (SLM s and holograms that will produce knotted electromagnetic waves. What distinguishes our analysis from a very thorough discussion of knotted light waves, described in [3, 4], is the reliance on the quantum aspects of such analysis; we describe twisted and knotted electromagnetic waves in terms of constituent photons. 2. Connection between the photon wave function and the electromagnetic field Both representations of the Poincaré group are needed to describe a general state f(k of the photon, ( f+ (k f(k =. ( f (k The components of of this two-dimensional vector are characterized by the opposite values of helicity: ± in units of. The dimensionless helicity operator ˆλ for photons acts on f(k as follows: ˆλ( f+ (k f (k = ( f+ (k f (k. (2 Helicity can be considered the most fundamental quantum number for massless particles since it distinguishes between the two inequivalent representations of the Poincaré group. The two-component photon wave function in momentum representation ( must have also its counterpart Ψ in coordinate representation, Ψ(r,t = ( Ψ+ (r,t Ψ (r,t. (3 As has already been observed by Pauli [5], the straightforward replacement of the momentum wave function by its Fourier transform does not work for photons. As a matter of fact it does not work in a relativistic theory of any spinning particles since it produces a nonlocal field. The idea how to construct acceptable, local photon wave functions in coordinate representation comes from Maxwell equations. The electromagnetic field in free space, composed of photons characterized by the pair of wave functions f ± (k, can be described by the Riemann-Silberstein (RS vector F(r,t [, 6, 7, 8], F(r,t = D B +i (4 2ǫ0 2µ0 = d 3 k (2π 3/2 e(k[ f + (ke ik r iωt +f (ke ik r+iωt], (5 where e(k is a complex polarization vector. In order to guarantee that F(r,t obeys the complex version of Maxwell equations (c=, i t F(r,t = F(r,t, (6

3 Quantum numbers and spectra of structured light 3 the polarization vector must satisfy the condition: k e(k = ike(k, (7 where k = ω = kx 2 +ky 2 +kz. 2 It is convenient to assume that the polarization vector is normalized, e (k e(k =. This still leaves an undetermined overall phase. In the present work we will use two polarization vectors: k x k z +iωk y e (k = 2ωk k y k z iωk x, (8 and where k = k 2 k+ 2 e 2 (k = 2 l2 + 2ωl i(k+ 2 +l+ 2, (9 + 2k + l + kx 2 +ky, 2 k ± = k x ±ik y, l ± = ω ±k z. Under the choice (8 of the polarization vector, the Fourier representation (5 of the RS vector can be written in the following form: x z +i y t F(r,t = y z i x t χ(r,t, (0 x 2 2 y where χ(r, t, χ(r,t = d 3 k (2π 3/2 2ωk [ f+ (ke ik r iωt +f (ke ik r+iωt], ( is a scalar solution of the wave equation. The corresponding formulas for the second choice of the polarization vector will be given in Sec. 4. The representations of the RS vector as second derivatives of a scalar superpotential χ(r,t can be viewed as a complexified versions of the Whittaker construction [9, 7]. We can identify the Fourier coefficients in (5 with the photon wave functions in momentum representation ( because they have the same transformation properties under the Poincaré group. The transformation laws for the Fourier coefficients in (5 follow from the transformation properties of the electromagnetic field while those for the photon wave functions ( are determined by the Wigner theory of representations. This identification enables us to define the two-component photon wave function Ψ(r, t in coordinate representation as follows []: Ψ + (r,t = Ψ (r,t = d 3 k (2π 3/2e(kf +(ke i(k r ωt, d 3 k (2π 3/2e (kf (ke i(k r ωt. (2a (2b Note that both components contain only positive frequencies; photons must have positive energy. The direct connection (5 between electromagnetic fields and photon wave functions fully justifies the use of the photon quantum numbers to characterize light beams.

4 Quantum numbers and spectra of structured light 4 The important quantum numbers are the eigenvalues of the generators of the Poincaré group. Relativistic nature of photons makes the set of quantum numbers associated with the generators of the Poincaré group especially significant. The generators acting on the photon wave functions in the momentum representation have the form (cf., for example, [] Ĥ = ω, ˆP = k, Ĵ = i k D + ˆλn k, ˆN = i ωd, where n k = k/ k and D denotes the covariant derivative on the light cone, (3a (3b (3c (3d D = k iˆλα(k. (4 The form of α(k depends on the choice of phase of the polarization vector. The corresponding generators acting on the photon wave in coordinate representation Ψ(r, t are (there are misprints in Eq. (5d in Ref. []: Ĥ = i ˆλs, ˆP = i, (5a (5b Ĵ = i r + s, (5c ( ˆN = i r t +t ˆλs, (5d where the spin operator for vector fields in Cartesian coordinates is: s = i, 0 0 i 0 0 0, 0 i 0 i 0 0. (6 0 i 0 i Note that the generators in both momentum and coordinate representation act on two-component wave functions since they contain the 2 2 matrix ˆλ. A complete specification of the photon state f(k or Ψ(r, t requires four quantum numbers: helicity and three eigenvalues of mutually commuting operators. There are only few choices of the generators of the Poincaré group that satisfy the condition of commutativity. All three components of momentum mutually commute but, in general, the three arbitrarily chosen generators do not commute so that they can not be used to characterize the wave. 3. Quantum numbers of twisted beams The simplest electromagnetic waves are circularly polarized monochromatic plane waves. Such waves are eigenfunctions of the helicity belonging to the quantum numbers: λ = (for left-handed polarization or λ = (for right-handed polarization and the three components of momentum q = {q x,q y,q z }. Despite their simplicity plane waves are not useful in the analysis of waves with a twist. The most important quantum number characterizing twisted and knotted waves studied in this paper is the eigenvalue of one component of the angular momentum. This component is chosen along the direction of the wave propagation (usually the z-component. The total angular momentum in momentum representation (3c has two parts: the orbital part perpendicular to k and the helicity part parallel to k. We

5 Quantum numbers and spectra of structured light 5 have chosen the phase of the polarization vector (8 in such a way that J z has the simplest possible form. This choice leads to ( = : J z = i(k x ky k y kx. (7 It may seem surprising that the helicity component of J z disappeared. This does not mean that the helicity part in (3c does not play any role. It is only in the formulafor the z-component of the angular momentum that the α part in D cancels the helicity part. This cancelation is due to a particular choice of the phase of the polarization vector (8. We must still remember, however, that the eigenvalues of J z, despite its form (7 that looks like the orbital part, correspond to the z-component of the total angular momentum. The simplest example of a twisted wave is the Bessel beam. Every Bessel beam is characterized by the following quantum numbers: the helicity λ, the component of momentumq z inthedirectionofpropagation,thelengthofmomentumq = qx 2 +qy 2 in the perpendicular direction and the z-component of the total angular momentum M. In the coordinate representation, this beam is described by the formula (0 with the following χ (cf. [8] in cylindrical variables : χ B λmq zq (ρ,φ,z,t = e iλ(ωqt qzz Mφ J M (q ρ, (8 Bessel beams share with plane waves one unrealistic property: they carry infinite energy flux. It would seem that Laguerre-Gauss beams, whose intensity drops off as exp( 2ρ 2 /a in the transverse direction, offer a cure of all problems. However, they suffer from another malaise [8]: they contain an admixture of a wave propagating in opposite direction. Usually the Laguerre-Gauss beams are used in the paraxial approximation when they do not contain the counter-propagating component. The exact Laguerre-Gauss beams can be derived from the following superpotential [8]: χ LG λmωn (ρ,φ,z,t = e iλ(ω(t z Mφ ρ M a(t + n+m+ exp ( ρ2 a(t + L M n ( ρ 2 a(t +, (9 where t ± = t±z, a(t + = l 2 +iλt + /Ω, and the parameter l fixes the scale. Laguerre- Gauss beams are not monochromatic and they are characterized by the following quantum numbers: helicity λ, the z-component of the total angular momentum M and Ω (the eigenvalue of the operator iλ( t z /2. There exist exact solutions of Maxwell equations describing twisted beams carrying finite energy and not containing counter-propagating components: the exponential beams [0]. Their scalar superpotential is: χ Exp λmq z (ρ,φ,z,t = eiλ(qzz+mφ e qz s ρ M s(s (τ +iλt M, (20 where s = ρ 2 (t iλτ 2. Like Bessel beams, the exponential beams have quantum numbers λ, M, and q z but they are not monochromatic. Let us notice that the scalar superpotentials for the opposite values of helicity in our three examples differ only by complex conjugation. This is a general property and it follows directly from the formula (. 4. Quantum numbers of knotted waves Eigenfunctions of one component of the angular momentum play a role not only for collimated beams. Also some localized solutions of Maxwell equations with intricate

6 Quantum numbers and spectra of structured light 6 topological structure have similar properties. A large class of such solutions was found in [3] but here we shall only restrict ourselves to the simplest cases. In 956 in his book [] Synge described a localized solution of Maxwell equations which he tried to interpret as a model of an electron. Many years later [2] Rañada rediscovered this solution (now called Hopfion and found its topological properties connecting it with the Hopf fibration. Hopfions can be derived from the superpotential χ H (r,t, χ H (r,t = 4π d 3 k k e a k e isgn(a(k r ωt = x 2 +y 2 +z 2 (t ia 2. (2 One can see from the integral formula that the sign of a determines the sign of helicity of the solutions obtained from this superpotential. Various configurations of the electromagnetic field can be obtained from χ H depending on the choice of the polarization vector. For the choice (8, the RS vector is: F(r,t = (x 2 +y 2 +z 2 (t ia 2 3 2(ay ity +xz 2(yz ax+itx z 2 x 2 y 2 (t ia 2. (22 This is not a genuine Hopfian because it does not represent a null electromagnetic field, F 2 0. Moreover, since the photon wave function in (2 is spherically symmetric, the total angular momentum vanishes. Nevertheless, even this simple electromagnetic wave has some interesting topological properties. The electric (and magnetic field obtained from the superposition F s of two RS vectors with positive and negative values of a (say a = ± exhibits intricate knotted structures, F s (r,t = n F a= +n 2 F a=. (23 In Fig. we plotted the lines of the electric field for various choices of the coefficients. However, the knots become untied during the time evolution in agreement with the common wisdom that stable knots exist only for null electromagnetic fields. Null electromagnetic fields can be obtained keeping the same superpotential (2 but choosing the second polarization vector (9. This choice leads to the following RS vector: F MN (r,t = βm γ N where M and N are integers and s β 2 +γ 2 i(β 2 γ 2 2iβγ, (24 s = x 2 +y 2 +z 2 (t ia 2, β = 2a(x+iy 2ai(t+z ia, γ =. (25 s s Our choice of the polarization vector (9 distinguishes the z-direction. It happens to be also the direction of the total angular momentum of the electromagnetic field. All members of the family of solutions of Maxwell equations F MN (r,t are eigenfunctions the z-component of the total angular momentum with eigenvalue M and the eigenfunctions the z-component of the boost operator with eigenvalue N. The functions F MN do not produce topologically stable knots but may serve as building blocks of the topologically stable knotted solutions of Maxwell equations. Those stable solutions have the form [3]: K ML = β M ( γ L. (26

7 Quantum numbers and spectra of structured light 7 Figure : The knotted lines of the electric field at t = 0 obtained for the following choices of the coefficients n and n 2 in Eq. (23:(,0,(,5,(,7,(,4,(,,(,0. They can be expressed as superpositions of the eigenfunctions F MN with the use of an alternative representation of F MN, F MN = MN βm γ N. (27 The resulting superposition reads: L K ML = M ( N L! (N!(L N! F MN. (28 N= Hence, the functions K ML are also eigenfunctions of M z belonging to the eigenvalue M but they are sums of eigenfunctions F MN of the boost operator. 5. Spectral properties Complete spectral properties of the solutions of Maxwell equations can be read off from the corresponding photon wave functions in momentum representation. For Bessel, Laguerre-Gauss, and exponential beams they have been given in our earlier publication [8]. Here we describe the spectral properties of knotted waves. The spectrum of every photon wave function derived from the Synge solution of the wave equation (2 contains the exponential factor e a k multiplied by the polynomial P MN (k. The presence of the exponential factor is by itself an interesting phenomenon because photon wave functions of such form saturate the uncertainty relations for photons [3, 4, 5]. The polynomial P MN (k for the waves defined by the formula (24 can be easily found due toaveryspecialcharacterofthe functions α andβ. Namely, thesefunctions depend onlyonx + = x+iy andt + = t+z iabut notonx = x iy andt = t z ia. This property enables one to express the RS vector (22 in terms of the derivatives = / x and = / t, F MN (r,t = M Now we may write (2 in the form: = x + x t + t 4π N 2 2 i( x + x t + t. (29 d 3 k k eisgn(a(k+x +k x+ l+t l t+/2, (30 to evaluate easily all derivatives in (29. The derivatives and in (29 acting on the exponentialfunction in(23producefactorsk + andl + andthe resultingexpression

8 Quantum numbers and spectra of structured light 8 is (up to normalization: F MN (r,t d 3 k k km + l N + e a k k+ 2 l2 + i(k+ 2 +l2 + eisgn(a(k r ωt. (3 2k + l + After identifying the polarization vector (9, we obtain the photon wave function in momentum representation as: f MN (k = (k x +ik y M (k +k z N e a k. (32 ThephotonwavefunctionsfortopologicallystableknottedwavesK ML areobtainedas superpositionsofthewavefunctionsf MN (kaccordingtotheformula(28. Webelieve that our very simple photon wave functions in momentum representation of highly complicated electromagnetic waves may help to produce knotted waves in reality. References [] Bialynicki-Birula I and Bialynicka-Birula Z 207 Quantum-mechanical description of optical beams J. Opt [2] Wigner E P 939 On unitary representations of the inhomogeneous Lorentz group Ann. Math [3] Kedia H, Bialynicki-Birula I, Peralta-Salas D, and Irvine W T M 203, Tying knots in light fields Phys. Rev. Lett [4] Hoyos C, Sircar N and Sonnenschein J 205 New knotted solutions of Maxwell s equations J. Phys. A: Math. Theor [5] Pauli W 933, Prinzipien der Quantentheorie in: Handbuch der Physik, Vol. 24 (Springer: Berlin, (English translation: 980 General Principles of Quantum Mechanics (Berlin: Springer p. 89 [6] Bialynicki-Birula I 996 Photon wave function Progress in Optics, edited by E. Wolf (Elsevier: Amsterdam, Vol. 36; (see also ArXiv: quant-ph/ [7] Bialynicki-Birula I and Bialynicka-Birula Z 203 The role of the Riemann-Silberstein vector in classical and quantum theories of electromagnetism J. Phys. A: Math. Theor [8] Bialynicki-Birula I and Bialynicka-Birula Z 2006 Beams of electromagnetic radiation carrying angular momentum: The Riemann-Silberstein vector and the classical-quantum correspondence Opt. Comm [9] Whittaker E T 904 On an expression of the electromagnetic field due to electrons by means of two scalar potential functions Proc. Lond. Math. Soc. 367 [0] Bialynicki-Birula I and Bialynicka-Birula Z 2006 Exponential beams of electromagnetic radiation J. Phys. B: At. Mol. Opt. Phys. 39 S545 [] Synge J L 956 Relativity: The Special Theory (North-Holland: Amsterdam p. 364 [2] Rañada A F 990 Knotted solutions of the Maxwell equations in vacuum J. Phys. A: Math. Gen. 23 L85 [3] I. Bialynicki-Birula and Z. Bialynicka-Birula, Uncertainty Relation for Photons Phys. Rev. Lett. 08, 4040 (202. [4] I. Bialynicki-Birula and Z. Bialynicka-Birula, Heisenberg uncertainty relations for photons Phys. Rev. A 86, 0228 (202. [5] I. Bialynicki-Birula and Z. Bialynicka-Birula, Uncertainty relation for focal spots in light beams Phys. Rev. A 88, (203.