Singular value representation of the coherence Poincar&#233; sphere

Jyrki Laatikainen; Ari T. Friberg; Olga Korotkova; Tero Setälä

doi:10.1051/jeos/2022012

Abstract

The so-called coherence Poincaré sphere was recently introduced for geometrical visualization of the state of two-point spatial coherence of a random electromagnetic beam. The formalism and its interpretation strongly utilized a specific decomposition of the Gram matrix of the cross-spectral density (CSD) matrix. In this work, we show that the interpretation of the coherence Poincaré sphere is obtained exclusively and straightforwardly via the singular value decomposition of the CSD matrix.The so-called coherence Poincaré sphere was recently introduced for geometrical visualization of the state of two-point spatial coherence of a random electromagnetic beam. The formalism and its interpretation strongly utilized a specific decomposition of the Gram matrix of the cross-spectral density (CSD) matrix. In this work, we show that the interpretation of the coherence Poincaré sphere is obtained exclusively and straightforwardly via the singular value decomposition of the CSD matrix.

1　Introduction

Optical coherence theory deals with the analysis and consequences of randomness in optical fields which gives rise to partial (spatial and temporal) coherence of light [1, 2]. A topic of substantial interest in the last two decades has been the coherence properties of vectorial light [3], and among the very recent results is the geometrical representation called the coherence Poincaré sphere [4, 5]. This formalism displays the spatial coherence of a random electromagnetic beam similarly as the traditional Poincaré sphere [6, 7] depicts the beam’s polarization characteristics, and it is the first graphical representation of electromagnetic two-point coherence. Illustrative geometrical interpretations of this kind are often found to be extremely useful in physics as evidenced by the conventional Poincaré sphere in polarization optics and the Bloch sphere in quantum mechanics [8]. In optics, the Poincaré sphere and its variants have found important applications, e.g., in the context of full Poincaré beams [9], orbital angular momentum [10], higher-order polarization states [11, 12], vector fields [13], and scalar two-beam interference [14].

In the previous works [4, 5], the derivation and interpretation of the coherence Poincaré sphere was based on decomposing the Gram matrix of the cross-spectral density (CSD) into two parts in full analogy to the division of the polarization matrix [1] into parts corresponding to a completely unpolarized and fully polarized beams. The present work complements and extends these earlier studies by employing the singular value decomposition (SVD) of the CSD matrix, which was utilized in [5] and more extensively studied in [15]. More precisely, we derive the formalism of the coherence Poincaré sphere using the SVD exclusively, and show that this approach leads to a physical interpretation for the sphere as a geometric representation of the intertwined coherence and polarization information conveyed by the singular values and vectors of the CSD matrix.

2　Discussion

Consider a random, polychromatic, and statistically stationary electromagnetic beam field. The spatial coherence properties of the field at two positions r₁ and r₂ on a transversal plane with respect to the propagation direction are described in the space-frequency domain by the CSD matrix [1, 2, 6, 16](1) $W (r_{1}, r_{2}, ω) = 〈 E^{*} (r_{1}, ω) E^{T} (r_{2}, ω) 〉,$ taken as an average over an ensemble of monochromatic (transverse, two component) electric field realizations E(r, ω) at angular frequency ω. The angle brackets, asterisk, and superscript T stand for the ensemble average, complex conjugate, and matrix transpose, respectively. The SVD of the CSD matrix is written as [5–7](2) $W_{12} = UD V^{†},$ where the dagger denotes Hermitian conjugation and W₁₂ = W $(r_{1}, r_{2}, ω)$ . From now on we do not explicitly show the frequency dependence of various quantities. In equation (2), $U = [{\hat{u}}_{+}, {\hat{u}}_{-}]$ and $V = [{\hat{v}}_{+}, {\hat{v}}_{-}]$ are unitary matrices, and D = diag[ν₊,ν₋], with ν₊ and ν₋ representing the singular values of the CSD. The complex unit vectors ${\hat{u}}_{\pm}$ and ${\hat{v}}_{\pm}$ in the columns of U and V are the left and right singular vectors of the CSD matrix obeying(3) $W_{12} {\hat{v}}_{\pm} = ν_{\pm} {\hat{u}}_{\pm},$ (4) $W_{12}^{†} {\hat{u}}_{\pm} = ν_{\pm} {\hat{v}}_{\pm} .$

The singular values are real and satisfy $ν_{+} \geq ν_{-} \geq 0$ . Furthermore, their squares coincide with the eigenvalues of the Gram matrices of the CSD and its Hermitian adjoint given, respectively, by [4, 5](5) $Ω_{12} = W_{12}^{†} W_{12},$ (6) $Ω_{21} = W_{12} W_{12}^{†},$

where Ω₁₂ = Ω $(r_{1}, r_{2}, ω)$ , Ω₂₁ = Ω $(r_{2}, r_{1}, ω)$ , and we employed the quasi-Hermiticity property $W_{12}^{†} = W_{21}$ . We note that the Gram matrices contain second-order coherence information only. The vectors ${\hat{v}}_{\pm}$ and ${\hat{u}}_{\pm}$ fulfil the eigenvalue equations(7) $Ω_{12} {\hat{v}}_{\pm} = ν_{\pm}^{2} {\hat{v}}_{\pm},$ (8) $Ω_{21} {\hat{u}}_{\pm} = ν_{\pm}^{2} {\hat{u}}_{\pm} .$

Expressions for $ν_{\pm}^{2}$ can therefore be obtained from the characteristic equation $\det (Ω_{12} - ν_{\pm}^{2} σ_{0}) = 0$ , where σ₀ is the 2×2 unit matrix and det denotes the determinant. The characteristic equation can be written as(9) $ν_{\pm}^{4} - tr Ω_{12} ν_{\pm}^{2} + \det Ω_{12} = 0,$ where tr stands for the trace. The (squared) singular values are then obtained as(10) $ν_{\pm}^{2} = \frac{1}{2} tr Ω_{12} [1 \pm P_{Ω} (r_{1}, r_{2})],$ where(11) $P_{Ω} (r_{1}, r_{2}) = {(1 - \frac{4 \det Ω_{12}}{t r^{2} Ω_{12}})}^{1 / 2}$ is bounded as 0 ≤ P_Ω(r₁,r₂) ≤ 1.

Next, we highlight some central properties of Ω₁₂ and Ω₂₁. Firstly, they are Hermitian and nonnegative definite matrices that satisfy the conditions $Ω_{12}^{†} = Ω_{12}$ , $Ω_{21}^{†} = Ω_{21}$ , $tr Ω_{12} = tr Ω_{21}$ , det Ω₁₂ = det Ω₂₁ ≥ 0, and contain nonnegative diagonal entries. Secondly, the coherence information in matrix Ω₁₂ is generally different from that in Ω₂₁ due to the quasi-Hermiticity of the CSD matrix as is evident from equations (5) and (6). The mathematical properties of Ω₁₂ and Ω₂₁ are similar to those of the polarization matrix and they can formally be decomposed into two parts, one of which is proportional to the identity matrix and the other has zero determinant. This division is analogous to the decomposition of the polarization matrix into parts corresponding to a completely unpolarized beam and a fully polarized beam [1]. The earlier works concerning the coherence Poincaré sphere [4, 5] were extensively based on this division. Here we follow a different procedure and interpret the sphere using the SVD of the CSD only.

We proceed by defining the Stokes parameters of Ω₁₂ as(12) $Q_{j} (r_{1}, r_{2}) = tr (σ_{j} Ω_{12}), j = 0, \dots, 3,$ where σ_j, with j ∈ (1, 2, 3), are the Pauli spin matrices [1]. We remark that analogous definitions hold naturally for Ω₂₁. These parameters are real-valued and contain information on the two-point spatial coherence of the beam. The Stokes parameters can be normalized as(13) $q_{j} (r_{1}, r_{2}) = \frac{Q_{j} (r_{1}, r_{2})}{S_{0} (r_{1}) S_{0} (r_{2})}, j = 0, \dots, 3,$ with S₀(r) = trW(r, r, ω) being the spectral density of the beam. The parameters q_j(r₁,r₂), j = 1, 2, 3, obey the quadratic equation(14) $q_{1}^{2} (r_{1}, r_{2}) + q_{2}^{2} (r_{1}, r_{2}) + q_{3}^{2} (r_{1}, r_{2}) = P_{Ω}^{2} (r_{1}, r_{2}) μ^{4} (r_{1}, r_{2}),$ where(15) $μ (r_{1}, r_{2}) = {[\frac{tr Ω_{12}}{S_{0} (r_{1}) S_{0} (r_{2})}]}^{1 / 2}$ is the electromagnetic degree of coherence [3, 17]. This degree is bounded as 0 ≤ μ(r₁,r₂) ≤ 1, with the lower and upper bounds corresponding to complete incoherence and full coherence of the beam at points r₁ and r₂, respectively.

Next we approach the geometric interpretation of the coherence Poincaré sphere in equation (14) via the singular value decomposition of the CSD. We first define the coherence Poincaré vector(16) $q (r_{1}, r_{2}) = [q_{1} (r_{1}, r_{2}), q_{2} (r_{1}, r_{2}), q_{3} (r_{1}, r_{2})],$ that displays the spatial coherence information in Ω₁₂ as points on or within a unit sphere in the (q₁, q₂, q₃) space. We remark that since the information content of Ω₁₂ is in general different from that of Ω₂₁, two coherence Poincaré vectors q₁₂ = q(r₁,r₂) and q₂₁ = q(r₂,r₁) are required to display the spatial coherence of the beam. Analytical expressions of these vectors are obtained from the SVD of the CSD matrix as is shown below. For this purpose we recall the unitarity conditions U^†U = V^†V = σ₀, which together with the SVD and equations (5) and (6) yield(17) $Ω_{12} = ν_{+}^{2} {\hat{v}}_{+} {\hat{v}}_{+}^{†} + ν_{-}^{2} {\hat{v}}_{-} {\hat{v}}_{-}^{†},$ (18) $Ω_{21} = ν_{+}^{2} {\hat{u}}_{+} {\hat{u}}_{+}^{†} + ν_{-}^{2} {\hat{u}}_{-} {\hat{u}}_{-}^{†} .$

Furthermore, unitarity of U and V implies that ${\hat{v}}_{+} {\hat{v}}_{+}^{†} + {\hat{v}}_{-} {\hat{v}}_{-}^{†} = σ_{0}$ and similarly for ${\hat{u}}_{\pm}$ . These together with equations (10), (17), and (18) result in(19) $Ω_{12} = tr Ω_{12} (\frac{1 - P_{Ω}}{2} σ_{0} + P_{Ω} {\hat{v}}_{+} {\hat{v}}_{+}^{†}),$ (20) $Ω_{21} = tr Ω_{21} (\frac{1 - P_{Ω}}{2} σ_{0} + P_{Ω} {\hat{u}}_{+} {\hat{u}}_{+}^{†}),$ where we have written P_Ω = P_Ω(r₁,r₂). It is important to note that these two expressions coincide with the decompositions in equation (3) of [4] and equation (8) of [5] which constituted the starting point of the mentioned works without a reference to the SVD. Combining the equations above with the definitions in equations (12), (13), (15), and (16), we find that(21) $q_{12} = P_{Ω} μ^{2} [{|v_{+ x}|}^{2} - {|v_{+ y}|}^{2}, 2 Re (v_{+ x} v_{+ y}^{*}), 2 Im (v_{+ x} v_{+ y}^{*})],$ (22) $q_{21} = P_{Ω} μ^{2} [{|u_{+ x}|}^{2} - {|u_{+ y}|}^{2}, 2 Re (u_{+ x} u_{+ y}^{*}), 2 Im (u_{+ x} u_{+ y}^{*})],$ where μ = μ $(r_{1}, r_{2}) .$ These expressions provide the singular-value interpretation of the two coherence Poincaré vectors that represent the state of spatial coherence of a partially coherent and partially polarized electromagnetic beam. Both vectors have the same length, |q₁₂| = |q₂₁| = P_Ωμ², and their directions are specified by the vectors ${\hat{v}}_{+}$ and ${\hat{u}}_{+}$ . In addition, we note that the equalities $tr Ω_{12} = ν_{+}^{2} + ν_{-}^{2}$ and $\det Ω_{12} = ν_{+}^{2} ν_{-}^{2}$ are obtained from equation (10), and by using them together with equations (11) and (15) we see that $P_{Ω} μ^{2} = (ν_{+}^{2} - ν_{-}^{2}) / [S_{0} (r_{1}) S_{0} (r_{2})]$ . Hence, the length of the coherence Poincaré vectors can be viewed as the intensity-normalized distance between the squared singular values $ν_{+}^{2}$ and $ν_{-}^{2}$ of the CSD matrix, and their directions are specified by the singular vectors ${\hat{v}}_{+}$ and ${\hat{u}}_{+}$ corresponding to the larger singular value ν₊.

Next, we elucidate the physical meaning of the formalism. Firstly, for a completely coherent beam the degree of coherence equals unity, which yields $P_{Ω} μ^{2} = 1$ [4] and hence the vectors $q_{12}$ and $q_{21}$ are unit-length vectors. Fully coherent beams are thus located on the surface of a unit sphere in the $(q_{1}, q_{2}, q_{3})$ space. Secondly, the origin is preserved for beams with $P_{Ω} = 0$ or $μ = 0$ . The former includes the so-called pure unpolarized beams [18] and beams that can be transformed into such by a suitable unitary operation [5]. The latter naturally means that the beam is spatially fully incoherent.

For a fully polarized but spatially partially coherent beam $P_{Ω} = 1$ holds [4], and the lengths of the coherence Poincaré vectors depend only on the degree of coherence as $| q_{12} | = | q_{21} | = μ^{2}$ . In addition, we note that the CSD matrix of a beam with an arbitrary state of full polarization can be written as $W_{12} = W_{12} {\hat{e}}_{1}^{*} {\hat{e}}_{2}^{T}$ , where $W_{12} = 〈 E^{*} (r_{1}) E (r_{2}) 〉$ is a correlation function over an ensemble of random scalars $E (r, ω)$ , and ${\hat{e}}_{n} = \hat{e} (r_{n}, ω)$ , $n = 1,2$ , are the deterministic Jones vectors that specify the polarization state of the beam at positions $r_{n}$ . As a consequence, the singular vectors are of the form ${\hat{v}}_{+} = {\hat{e}}_{2}^{*}$ and ${\hat{u}}_{+} = {\hat{e}}_{1}^{*}$ . This implies that the coherence Poincaré vectors are expressible as $q_{12} = μ^{2} s_{2}$ and $q_{21} = μ^{2} s_{1}$ , where $s_{n} = [s_{1} (r_{n}), s_{2} (r_{n}), s_{3} (r_{n})]$ represent the polarization Poincaré vectors at $r_{n}$ with $s_{j} (r_{n}) = tr (σ_{j} W_{nn}) / S_{0} (r_{n})$ , $j = 1,2, 3$ , being the (normalized) polarization Stokes parameters, $n = 1,2$ . In other words, for a fully polarized beam the directions of the coherence Poincaré vectors depict the state of polarization as in the context of the polarization Poincaré sphere. The coordinate axes in the $(q_{1}, q_{2}, q_{3})$ space represent the states of $x$ , $y$ , $\pm 4 5^{\circ}$ , right-hand, and left-hand circular polarization whereas elsewhere the beam is elliptically polarized. The vector $q_{12}$ points out the polarization state of the beam at $r_{2}$ and $q_{21}$ does so at $r_{1}$ . Furthermore, if the state of polarization is uniform across the beam, these vectors converge into a single coherence Poincaré vector whose orientation expresses the uniform polarization state and length displays the squared degree of coherence at a pair of points. Finally, we observe that in a single point, $r_{1} = r_{2} = r$ , the quantities $q_{j} (r, r)$ reduce to the polarization Stokes parameters $s_{j} (r)$ , $j = 1,2, 3$ , and the vector $q (r, r) = s (r)$ is the polarization Poincaré vector. Consequently, the traditional polarization Poincaré sphere [6, 7] is encountered when the formalism is applied at a single point. The various reductions described above are illustrated graphically in Figure 1.

Figure 1.Poincaré sphere of electromagnetic spatial coherence. For an arbitrary partially polarized and partially coherent beam two coherence Poincaré vectors $q_{12}$ and $q_{21}$ with the same length $P_{Ω} μ^{2}$ but different orientations are generally needed (Sphere A). If the beam is fully polarized the lengths of these vectors display the degree of coherence, $| q_{12} | = | q_{21} | = μ^{2}$ , and their directions show the polarization state of the beam at points $r_{2}$ and $r_{1}$ , respectively (Sphere B). If the beam is uniformly polarized, these vectors coincide and a single coherence Poincaré vector $q$ is sufficient to represent the beam, with its length again showing the degree of coherence and the direction specifying the polarization state (Sphere C). At a single point the formalism reduces to the traditional polarization Poincaré sphere where the distance from the origin is given by the degree of polarization $P$ [1] (Sphere D).

3　Conclusion

In summary, as an extension to the previous works [4, 5], we have derived the concept of the Poincaré sphere of electromagnetic two-point spatial coherence exclusively from the point of view of the singular value decomposition of the cross-spectral density matrix. The interpretation of the concept for an arbitrary partially polarized, partially spatially coherent beam follows directly from this approach; the state of coherence of the beam is depicted by two coherence Poincaré vectors whose lengths are defined by the normalized distance between the (squared) singular values of the CSD matrix and orientations are determined by the singular vectors related to the larger singular value. Furthermore, we highlighted the interpretation of this construction for fully polarized beams for which the coherence and polarization characteristics are closely linked, and noted that at a single point the formalism coincides with the traditional polarization Poincaré sphere.

References

[1] L. Mandel, E. Wolf. Optical coherence and quantum optics(1995).

[2] O. Korotkova. Random light beams: theory and applications(2014).

[3] A.T. Friberg, T. Setälä. Electromagnetic theory of optical coherence [Invited]. J. Opt. Soc. Am. A, 33, 2431(2016).

[4] J. Laatikainen, A.T. Friberg, O. Korotkova, T. Setälä. Poincaré sphere of electromagnetic spatial coherence. Opt. Lett., 46, 2143(2021).

[5] J. Laatikainen, A.T. Friberg, O. Korotkova, T. Setälä. Coherence Poincaré sphere of partially polarized optical beams. Phys. Rev. A, 105, 033506(2022).

[6] C. Brosseau. Fundamentals of polarized light: a statistical optics approach(1998).

[7] J.J. Gil, R. Ossikovski. Polarized light and the Mueller matrix approach(2016).

[8] A. Nielsen, I.L. Chuang. Quantum computation and quantum information(2010).

[9] A.M. Beckley, T.G. Brown, M.A. Alonso. Full Poincaré beams. Opt. Express, 18, 10777(2010).

[10] M.J. Padgett, J. Courtial. Poincaré sphere equivalent for light beams containing orbital angular momentum. Opt. Lett., 24, 439(1999).

[11] G. Milione, H.I. Sztul, D.A. Nolan, R.R. Alfano. Higher-order Poincaré sphere, Stokes parameters, and the angular momentum of light. Phys. Rev. Lett., 107, 053601(2011).

[12] X. Zang, G. Bautista, L. Turquet, T. Setälä, M. Kauranen, J. Turunen. Efficient hybrid-mode excitation in plasmonic nanoantennas by tightly focused higher-order vector beams. J. Opt. Soc. Am. B., 38, 521(2021).

[13] Z.C. Ren, L.J. Kong, S.M. Li, S.X. Qian, Y. Li, C. Tu, H.T. Wang. Generalized Poincaré sphere. Opt. Express, 23, 26586(2015).

[14] A. Halder, A. Norrman, A.T. Friberg. Poincaré sphere representation of scalar two-beam interference under spatial unitary transformations. Opt. Lett., 46, 5619(2021).

[15] M. Luo, J. Laatikainen, A.T. Friberg, O. Korotkova, T. Setälä. Singular-value decomposition and electromagnetic coherence of optical beams. Opt. Lett., 47, 5337(2022).

[16] J. Tervo, T. Setälä, A.T. Friberg. Theory of partially coherent electromagnetic fields in the space–frequency domain. J. Opt. Soc. Am. A, 21, 2205(2004).

[17] J. Tervo, T. Setälä, A.T. Friberg. Degree of coherence for electromagnetic fields. Opt. Express, 11, 1137(2003).

[18] F. Gori, J. Tervo, J. Turunen. Correlation matrices of completely unpolarized beams. Opt. Lett., 34, 1447(2009).