# Dimensionality of random light fields

- Andreas Norrman
^{1, 2}, - Ari T. Friberg
^{1}, - José J. Gil
^{3}and - Tero Setälä
^{1}Email author

**13**:36

https://doi.org/10.1186/s41476-017-0061-9

© The Author(s) 2017

**Received: **16 June 2017

**Accepted: **25 October 2017

**Published: **17 November 2017

## Abstract

### Background

The spectral polarization state and dimensionality of random light are important concepts in modern optical physics and photonics.

### Methods

By use of space-frequency domain coherence theory, we establish a rigorous classification for the electricfield vector to oscillate in one, two, or three spatial dimensions.

### Results

We also introduce a new measure, the polarimetric dimension, to quantify the dimensional character of light. The formalism is utilized to show that polarized three-dimensional light does not exist, while an evanescent wave generated in total internal reflection generally is a genuine three-dimensional light field.

### Conclusions

The framework we construct advances the polarization theory of random light and it could be beneficial for near-field optics and polarization-sensitive applications involving complex-structured light fields.

## Keywords

## Background

Polarization is a fundamental property of light [1, 2], specified by the orientation of the electric-field vector. In a particular coordinate system, the electric component of random light may fluctuate in three orthogonal spatial directions, but by rotating the reference frame it may turn out that the field vector actually is restricted to a plane, or even that it fluctuates in just a single direction. Optical fields can thereby be classified into one-dimensional (1D), two-dimensional (2D), or three-dimensional (3D) light, depending on the minimum number of orthogonal coordinate axes required to represent them. The dimensional nature of light plays an essential role in addressing polarization characteristics of complex-structured light fields, e.g., electromagnetic near and surface fields [3–5] as well as tightly focused optical beams [6–9], which are frequently exploited in near-field probing [10], single-molecule detection [11], particle trapping [12], among other polarization-sensitive applications. Yet, no systematic theory has so far been developed which provides rigorous means to categorize and to characterize the dimensionality of light.

In this work, we consider the dimensionality of random light fields and show that the number of nonzero eigenvalues of the real part of the 3×3 polarization matrix provides the required information for such a dimensional classification. We also establish a quantitative measure, the spectral polarimetric dimension, describing the intensity-distribution spread or the ‘effective’ dimensionality of a light field. The general formalism is utilized to demonstrate that polarized 3D light does not exist, while a partially polarized evanescent wave created in total internal reflection is unambiguously a genuine 3D light field.

## Methods

**E**(

**r**,

*ω*) is a realization representing the electric field at point

**r**and (angular) frequency

*ω*, whereas in the nonstationary case it is the Fourier transform of the space–time domain field. In addition, the angle brackets, asterisk, and superscript T denote ensemble averaging, complex conjugation, and matrix transpose, respectively. Alternatively, the spectral polarization matrix can be introduced via the generalized Wiener–Khintchine theorem [14, 15]. As the polarization matrix is Hermitian and nonnegative definite, we can express it as

where the real part Φ
^{′}(**r**,*ω*) is a symmetric and positive semidefinite matrix, while the imaginary part Φ
^{′′}(**r**,*ω*) is skew symmetric. The three eigenvalues of Φ(**r**,*ω*) are real and nonnegative.

**r**,

*ω*) is subjected to an orthogonal transformation. Such an operation is represented by a real-valued 3×3 matrix

**Q**which obeys

**Q**

^{T}=

**Q**

^{−1}and det

**Q**=1. The matrix

**Q**can be identified with a rotation of the Cartesian reference frame, implemented by three successive Euler rotations about the Cartesian axes. Unlike for unitary transformations in general, the physical polarization state of the field does not change in an orthogonal transformation, although its mathematical representation does. In particular, because the real part Φ

^{′}(

**r**,

*ω*) is symmetric, it can be diagonalized by a specific orthogonal transformation that we denote by

**Q**

_{0}. In this intrinsic coordinate frame, the polarization matrix reads as

where the eigenvalues *a*
_{1}≥*a*
_{2}≥*a*
_{3}≥0 of Φ
^{′}(**r**,*ω*) are the principal intensities and the vector **n**=(*n*
_{1},*n*
_{2},*n*
_{3}) is the angular-momentum vector [16–18]. In addition, *a*
_{1} is the largest while *a*
_{3} is the smallest diagonal element of Φ
^{′}(**r**,*ω*) that can be obtained by an orthogonal transformation [19].

## Results and discussion

### Dimensionality of random light

^{′}(

**r**,

*ω*) is nonzero, the electric-field vector fluctuates in just a single direction and the light is considered one dimensional. If, instead, only one eigenvalue of Φ

^{′}(

**r**,

*ω*) is zero, the electric field is restricted to a plane and the light is regarded two dimensional. However, when every eigenvalue is positive, the intensity of each Cartesian field component is nonzero for any orientation of the frame (since

*a*

_{3}is the smallest obtainable intensity along a coordinate axis) and the electric-field vector fluctuates in all three dimensions. The physical dimensionality of the light field is thereby determined by the eigenvalues of Φ

^{′}(

**r**,

*ω*) as

We further define isotropic 2D light as one for which *a*
_{1}=*a*
_{2} in Eq. (5) and isotropic 3D light as one that satisfies *a*
_{1}=*a*
_{2}=*a*
_{3} in Eq. (6). In particular, because detΦ
^{′}(**r**,*ω*)=*a*
_{1}
*a*
_{2}
*a*
_{3} is invariant under orthogonal transformations, Eqs. (4)–(6) imply that both 1D and 2D light obey detΦ
^{′}(**r**,*ω*)=0, while for a genuine 3D light field detΦ
^{′}(**r**,*ω*)>0.

We stress that the number of nonnegative eigenvalues of the full complex polarization matrix Φ(**r**,*ω*) does not necessarily provide information about the physical dimensionality of light. For instance, the full polarization matrix of a circularly polarized light beam involves just a single nonzero eigenvalue, whereas its real part satisfies *a*
_{1}=*a*
_{2} and *a*
_{3}=0, thereby corresponding to (isotropic) 2D light in view of Eq. (5). Likewise, the complex polarization matrix of an incoherent and orthogonal superposition of a circularly polarized and a linearly polarized beam has two nonnegative eigenvalues, while in this case all three eigenvalues of the real-valued polarization matrix are nonzero. Hence, according to Eq. (6), the superposed field is genuinely 3D in character.

### Polarimetric dimension

*D*(

**r**,

*ω*), via the relation

*d*(

**r**,

*ω*) is the distance between the real-valued matrix Φ

^{′}(

**r**,

*ω*) and the identity matrix associated with isotropic 3D light, i.e.,

with the scaling chosen so that 0≤*d*(**r**,*ω*)≤1. We remark that an expression formally similar to Eq. (8), with Φ(**r**,*ω*) replacing Φ
^{′}(**r**,*ω*), has been employed to characterize the degree of polarization of random 3D light fields [20, 21]. The polarimetric dimension is thus a real number that obeys 1≤*D*(**r**,*ω*)≤3. Moreover, it is invariant under orthogonal transformations, but generally not under unitary operations, since the latter may alter the polarization state and, consequently, the dimensionality of the light.

*D*(

**r**,

*ω*) becomes more apparent by writing Eq. (7) in terms of the eigenvalues of Φ

^{′}(

**r**,

*ω*), viz.,

The above expression indicates that the minimum *D*(**r**,*ω*)=1 is always, and solely, encountered for 1D light (*a*
_{2} = *a*
_{3} = 0), while the maximum *D*(**r**,*ω*) = 3 is reached if, and only if, the field is completely 3D isotropic (*a*
_{1}=*a*
_{2}=*a*
_{3}). For 2D light (*a*
_{3}=0, *a*
_{2}>0), we find that 1<*D*(**r**,*ω*)≤2, with the upper limit taking place when the two principal intensities are equal (*a*
_{1}=*a*
_{2}). Values in the range *D*(**r**,*ω*)>2 are thereby clear signatures of 3D light [note that 3D light may nonetheless assume any value within the interval 1<*D*(**r**,*ω*)≤3].

*D*(

**r**,

*ω*) is generally not an integer, it should not be identified as such with the actual physical dimensionality of the light [specified by Eqs. (4)–(6)], but as an effective dimension characterizing the intensity-distribution spread. Figure 1 provides an interpretative illustration for the polarimetric dimension, in which principal-intensity distributions for three different 3D light fields have been depicted. In the left panel

*a*

_{1}is significantly larger than the intensities in the other directions, whereupon the light is effectively one dimensional and thus

*D*(

**r**,

*ω*)≈1. A practical realization of such a field would be a directional surface plasmon polariton beam [22–24]. In the middle panel

*a*

_{1}≈

*a*

_{2}≫

*a*

_{3}, indicating that the light field is virtually 2D isotropic and hence

*D*(

**r**,

*ω*)≈2. An unpolarized or a circularly polarized light beam of high degree of directionality [17, 25] would constitute an example. In the right panel all principal intensities are about equally distributed, which corresponds to isotropic 3D light and thereby yields

*D*(

**r**,

*ω*)≈3, as is the case for instance with blackbody radiation.

### Examples

As concrete examples, we investigate the dimensionality of stationary polarized light and an evanescent wave created in total internal reflection.

#### Polarized random light

*E*

_{ α }(

**r**,

*ω*) with

*α*∈{

*x*,

*y*,

*z*} represent a Cartesian component of the electric-field realization. Furthermore, let

*φ*

_{ α β }(

**r**,

*ω*) are real-valued phase factors, be the complex correlation coefficient between the

*α*and

*β*components. Since for polarized light all field components are completely correlated [20], i.e., |

*μ*

_{ α β }(

**r**,

*ω*)|=1, we can express the polarization matrix in Eq. (1) of a polarized light field as

*I*

_{ α }=〈|

*E*

_{ α }(

**r**,

*ω*)|

^{2}〉 and

*φ*

_{ α β }=

*φ*

_{ α β }(

**r**,

*ω*) have been introduced for convenience, and the phases satisfy [26]

where *c*
_{
α
β
}= cos*φ*
_{
α
β
}, implying that polarized light is necessarily 1D or 2D in nature. In other words, fully polarized 3D light does not exist.

*ω*represented by an ensemble of monochromatic field realizations as

where *E*(**r**,*ω*) is a random scalar variable and **e**(**r**,*ω*) is a deterministic three-component vector. The realizations thus have identical polarization states although their spectral densities may vary, and because the electric-field vector of monochromatic light is necessarily bounded in a plane [27], each realization lies in the same plane. Consequently, the random light that these monochromatic fields represent must fluctuate in this plane as well.

#### Random evanescent wave

*z*=0) by a stationary beam [28]. Both medium 1 (

*z*>0) and medium 2 (

*z*<0), having refractive indices

*n*

_{1}(

*ω*) and

*n*

_{2}(

*ω*), respectively, are taken lossless, and the

*x*axis is chosen to coincide with the surface-propagation direction. Moreover, the incoming beam, generally carrying both an

*s*-polarized and a

*p*-polarized constituent, hits the boundary at the angle of incidence

*θ*(

*ω*) that satisfies

*θ*

_{c}(

*ω*)<

*θ*(

*ω*)<

*π*/2, with \(\theta _{\mathrm {c}}(\omega)=\arcsin {\tilde {n}^{-1}(\omega)}\) being the critical angle and \(\tilde {n}(\omega)=n_{1}(\omega)/n_{2}(\omega)>1\). Under these conditions, the spatial part of the electric-field realization for the evanescent wave takes on in Cartesian coordinates the form [4, 5]

*E*

_{ s }(

*ω*) and

*E*

_{ p }(

*ω*) are, respectively, the complex field amplitudes of the

*s*- and

*p*-polarized components of the incident light. Furthermore,

*γ*(

*ω*) being the decay constant of the evanescent wave, and

are the Fresnel transmission coefficients of the two polarizations, and *k*
_{1}(*ω*) is the wave number in medium 1.

^{′}(

**r**,

*ω*)=Φ

^{′}(

*z*,

*ω*) from the obtained expression, we find that

Above, \(w_{\nu }(z,\omega)=|t_{\nu }(\omega)|^{2}I_{\nu }(\omega)e^{-2k_{1}(\omega)\gamma (\omega)z}\phantom {\dot {i}\!}\) is proportional to the energy density of the *ν*∈{*s*,*p*} polarized part of the evanescent wave at height *z*, with *I*
_{
ν
}(*ω*)=〈|*E*
_{
ν
}(*ω*)|^{2}〉 being the intensity of the respective component of the incoming beam, and \(\mu (\omega)=\left \langle E_{s}^{\ast }(\omega)E_{p}(\omega)\right \rangle /\sqrt {I_{s}(\omega)I_{p}(\omega)}\) is the correlation coefficient among the *s*- and *p*-polarized constituents of the incident light. Equation (18) especially shows that detΦ
^{′}(*z*,*ω*)=0 only when the excitation beam is totally polarized, i.e., *I*
_{
s
}(*ω*)=0, *I*
_{
p
}(*ω*)=0, or |*μ*(*ω*)|=1, and in this case the ensuing evanescent wave is either 1D or 2D in character. Generally, however, when the incident beam is partially polarized [*I*
_{
s
}(*ω*)≠0, *I*
_{
p
}(*ω*)≠0, and |*μ*(*ω*)|≠1], we obtain from Eq. (18) that detΦ
^{′}(*z*,*ω*)>0, corresponding to genuine 3D light. This discovery reveals that optical evanescent waves are predominantly 3D light fields, which necessitate a rigorous 3D treatment to fully describe their electromagnetic properties.

*D*(

**r**,

*ω*) defined in Eq. (7). Utilizing Eqs. (15)–(17) then yields that the fundamental upper limit that

*D*(

**r**,

*ω*) can attain for such a wave is

For a high refractive-index contrast surface, such as GaP and air with \(\tilde {n}(\omega)\approx 4\) in the optical regime [29], Eq. (19) shows that the polarimetric dimension may be as high as *D*(**r**,*ω*)≈2.96, while for a typical SiO_{2}–air interface the maximum is around *D*(**r**,*ω*)≈2.67.

## Conclusions

In summary, we have formulated a framework to classify and to characterize the dimensionality of random light fields. To this end, it was shown that the number (1, 2, or 3) of nonzero eigenvalues of the real-valued polarization matrix Φ
^{′}(**r**,*ω*) [i.e. the real part of the full complex polarization matrix Φ(**r**,*ω*)] specifies whether the light is 1D, 2D, or 3D, respectively. We also put forward a measure, the spectral polarimetric dimension, which quantifies the intensity-distribution spread and in this sense the effective dimensionality of a light field. The formalism was exemplified by showing that completely polarized random light is necessarily 1D or 2D in character, while an evanescent wave generated by a partially polarized beam in total internal reflection is unambiguously a genuine 3D light field. The polarimetric dimension could similarly be defined also in the space–time domain. Our work, providing novel insights and means to address polarization of random light fields, could thus be instrumental for applications involving complex-structured light, such as near-field optics and high-numerical-aperture imaging systems.

## Declarations

### Funding

This work was supported by MINECO (Grant No. FIS2014-58303-P), Gobierno de Aragón (group E99), the Academy of Finland (Projects No. 268480 and No. 268705), and the Joensuu University Foundation. A. Norrman especially acknowledges the Jenny and Antti Wihuri Foundation, the Emil Aaltonen Foundation, and the Swedish Cultural Foundation in Finland for financial support.

### Authors’ contributions

The original ideas and results emerged from discussions among all the authors. AN and TS performed the calculations and wrote the manuscript with contributions from ATF and JJG. All authors read and approved the final manuscript.

### Competing interests

The authors declare that they have no competing interests.

### Publisher’s Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

**Open Access** This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.

## Authors’ Affiliations

## References

- Brosseau, C: Fundamentals of Polarized Light: A Statistical Optics Approach. Wiley, New York (1998).Google Scholar
- Gil, JJ, Ossikovski, R: Polarized Light and the Mueller Matrix Approach. CRC Press, Boca Raton (2016).MATHGoogle Scholar
- Setälä, T, Kaivola, M, Friberg, AT: Degree of polarization in near fields of thermal sources: effects of surface waves. Phys. Rev. Lett. 88, 123902 (2002).ADSView ArticleGoogle Scholar
- Norrman, A, Setälä, T, Friberg, AT: Partial spatial coherence and partial polarization in random evanescent fields on lossless interfaces. J. Opt. Soc. Am. A. 28, 391–400 (2011).ADSView ArticleGoogle Scholar
- Norrman, A, Setälä, T, Friberg, AT: Generation and electromagnetic coherence of unpolarized three-component light fields. Opt. Lett. 40, 5216–5219 (2015).ADSView ArticleGoogle Scholar
- Lindfors, K, Setälä, T, Kaivola, M, Friberg, AT: Degree of polarization in tightly focused optical fields. J. Opt. Soc. Am. A. 22, 561–568 (2005).ADSView ArticleGoogle Scholar
- Lindfors, K, Priimagi, A, Setälä, T, Shevchenko, A, Friberg, AT, Kaivola, M: Local polarization of tightly focused unpolarized light. Nat. Photon. 1, 228–231 (2007).ADSView ArticleGoogle Scholar
- Bauer, T, Banzer, P, Karimi, E, Orlov, S, Rubano, A, Marrucci, L, Santamato, E, Boyd, RW, Leuchs, G: Observation of optical polarization Möbius strips. Science. 347, 964–966 (2015).ADSView ArticleGoogle Scholar
- Bauer, T, Neugebauer, M, Leuchs, G, Banzer, P: Optical polarization Möbius strips and points of purely transverse spin density. Phys. Rev. Lett. 117, 013601 (2016).ADSView ArticleGoogle Scholar
- Leppänen, L-P, Friberg, AT, Setälä, T: Partial polarization of optical beams and near fields probed with a nanoscatterer. J. Opt. Soc. Am. A. 31, 1627–1635 (2014).ADSView ArticleGoogle Scholar
- Novotny, L, Beversluis, MR, Youngworth, KS, Brown, TG: Longitudinal field modes probed by single molecules. Phys. Rev. Lett. 86, 5251–5254 (2001).ADSView ArticleGoogle Scholar
- Dholakia, K, Čižmár, T: Shaping the future of manipulation. Nat. Photon. 5, 335–342 (2011).ADSView ArticleGoogle Scholar
- Tervo, J, Setälä, T, Friberg, AT: Theory of partially coherent electromagnetic fields in the space–frequency domain. J. Opt. Soc. Am. A. 21, 2205–2215 (2004).ADSMathSciNetView ArticleGoogle Scholar
- Voipio, T, Setälä, T, Friberg, AT: Partial polarization theory of pulsed optical beams. J. Opt. Soc. Am. A. 30, 71–81 (2013).ADSView ArticleGoogle Scholar
- Mandel, L, Wolf, E: Optical Coherence and Quantum Optics. Cambridge University Press, Cambridge (1995).View ArticleGoogle Scholar
- Dennis, MR: Geometric interpretation of the three-dimensional coherence matrix for nonparaxial polarization. J. Opt. A: Pure Appl. Opt. 6, S26–S31 (2004).ADSView ArticleGoogle Scholar
- Gil, JJ: Interpretation of the coherency matrix for three-dimensional polarization states. Phys. Rev. A. 90, 043858 (2014).ADSView ArticleGoogle Scholar
- Gil, JJ: Intrinsic Stokes parameters for 3D and 2D polarization states. J. Eur. Opt. Soc.-Rapid. 10, 15054 (2015).View ArticleGoogle Scholar
- Horn, RA, Johnson, CR: Matrix Analysis. 2nd edition. Cambridge University Press, Cambridge (1985).View ArticleGoogle Scholar
- Setälä, T, Schevchenko, A, Kaivola, M, Friberg, AT: Degree of polarization for optical near fields. Phys. Rev. E. 66, 016615 (2002).ADSView ArticleGoogle Scholar
- Luis, A: Degree of polarization for three-dimensional fields as a distance between correlation matrices. Opt. Comm. 253, 10–14 (2005).ADSView ArticleGoogle Scholar
- Maier, SA: Plasmonics: Fundamentals and Applications. Springer, Berlin (2007).Google Scholar
- Martinez-Herrero, R, Garcia-Ruiz, A, Manjavacas, A: Parametric characterization of surface plasmon polaritons at a lossy interface. Opt. Express. 23, 4–28583 (2015).Google Scholar
- Martinez-Herrero, R, Manjavacas, A: Basis for paraxial surface-plasmon-polariton packets. Phys. Rev. A. 94, 063829 (2016).ADSView ArticleGoogle Scholar
- Gil, JJ: Components of purity of a three-dimensional polarization state. J. Opt. Soc. Am. A. 33, 40–43 (2016).ADSView ArticleGoogle Scholar
- Setälä, T, Tervo, J, Friberg, AT: Complete electromagnetic coherence in the space–frequency domain. Opt. Lett. 29, 328–330 (2004).ADSView ArticleGoogle Scholar
- Born, M, Wolf, E: Principles of Optics. 7th (expanded) edition, Sec. 1.4.3. Cambridge University Press, Cambridge (1999).Google Scholar
- de Fornel, F: Evanescent Waves: From Newtonian Optics to Atomic Optics. Springer, Berlin (2001).View ArticleGoogle Scholar
- Palik, ED, (ed.): Handbook of Optical Constants of Solids. Academic Press, San Diego (1998).Google Scholar