Академический Документы
Профессиональный Документы
Культура Документы
A 89
Received July 7, 2011; revised October 24, 2011; accepted October 27, 2011;
posted October 31, 2011 (Doc. ID 150505); published December 12, 2011
In this paper, we use geometric algebra to describe the polarization ellipse and Stokes parameters. We show that a
solution to Maxwell’s equation is a product of a complex basis vector in Jackson and a linear combination of plane
wave functions. We convert both the amplitudes and the wave function arguments from complex scalars to
complex vectors. This conversion allows us to separate the electric field vector and the imaginary magnetic field
vector, because exponentials of imaginary scalars convert vectors to imaginary vectors and vice versa, while ex-
ponentials of imaginary vectors only rotate the vector or imaginary vector they are multiplied to. We convert this
expression for polarized light into two other representations: the Cartesian representation and the rotated ellipse
representation. We compute the conversion relations among the representation parameters and their correspond-
ing Stokes parameters. And finally, we propose a set of geometric relations between the electric and magnetic
fields that satisfy an equation similar to the Poincaré sphere equation. © 2011 Optical Society of America
OCIS codes: 120.2130, 260.5430, 260.2110, 350.7420.
1. INTRODUCTION ^ ¼ E þ iζH;
E ð2Þ
There are many formalisms to describe polarized light: Stokes pffiffiffiffiffiffiffiffiffiffiffiffi
parameters [1,2], Jones calculus [3,4], Poincaré sphere [5], where ζ ¼ μ0 =ϵ0 is the ratio of E to H for the radiation field
Mueller matrices [6], Pauli formalism [7–9], Jackson’s com- as given in Haus and Melcher [22]. This expression lets us de-
plex vectors [10], complex numbers [11,12], and the more fine an elliptically polarized electromagnetic wave in terms of
recent pure operatorial Pauli algebraic approach [13–15]. the exponential plane wave functions eiðωt−kzÞ :
All these formalisms are dependent on each other, and there
are fundamental textbooks [16,17] in polarization theory that E þ iζH ¼ ðe1 þ ie2 Þ½aþ e−iðωt−kzþδþ Þ þ a− eiðωt−kz−δ− Þ : ð3Þ
establish the correspondences between them.
Many of these formalisms, however, use the imaginary In Baylis [8], Hestenes [19], and in Doran and Lasenby [9], the
number simply as a mathematical artifice for deriving equa- electromagnetic field is given F ¼ E þ iB, because the mag-
tions: only the real part is physically meaningful; the imaginary netic flux density B and not the magnetic field H is the phy-
part is discarded. Also, the magnetic field is not explicitly in- sical magnetic field in the Lorentz force. But we are following
cluded in the description of polarized light. In this paper, we the convention ofpJancewicz
ffiffiffi [23] wherein the electromagnetic
pffiffiffi
pffiffiffi
wish to show that imaginary numbers are also physically field is given by ϵE þ μH. Dividing this by ϵ would yield
meaningful, especially in the description of electromagnetic our expression in Eq. (2).
waves and polarized light. We shall do this using geometric We shall not go into the Stokes subspace of the Poincaré
algebra. sphere [8,24], which is spanned by the 2 × 2 Pauli spin
Clifford (geometric) algebra was invented by Clifford in 1878 matrices σ 1 ≡ e1 , σ 2 ≡ e2 , and σ 3 ≡ e3 . These matrices, which
[18], but it was only applied to polarized light by Hestenes in also satisfy the orthonormality relation of Clifford algebra,
1971 [19], Baylis in 1993 [8], and Doran and Lasenby in 2003 act on an abstract column vector defined as the spinor
[9]. Clifford algebra is compact and coherent. For example, ðaþ e−iδþ ; a− eiδ− Þ. Note that despite their formal similarity, the
the geometric product of two vectors may be expressed as a Pauli spin matrices are not equivalent to the vectors e1 , e2 , and
sum of their dot and cross products [20]: e3 that span the real physical space.
Doran and Lasenby [9] have defined polarized light as
ab ¼ a · b þ ia × b; ð1Þ
E ¼ Reððc1 σ 1 þ c2 σ 2 Þe−ik·x Þ ¼ ReðEÞ: ð4Þ
where i is a geometric product of three orthonormal vectors.
Except for the absence of the Pauli σ matrices, the geometric We shall instead use the authors’ exponential relations to
product in Eq. (1) is similar to the Pauli identity in quantum transform the exponents in Eq. (2) from i to −ie3 . This allows
mechanics [21]. us to conveniently separate the vector and imaginary vector
Using the identity in Eq. (1), we can define an electromag- parts to yield the relations for the electric and magnetic fields:
^ as a sum of its electric field vector and its
netic field E
imaginary magnetic field vector: E ¼ e1 ½aþ eie3 ðωt−kzþδþ Þ þ a− e−ie3 ðωt−kz−δ− Þ ; ð5aÞ
ζH ¼ e2 ½aþ eie3 ðωt−kzþδþ Þ þ a− e−ie3 ðωt−kz−δ− Þ : ð5bÞ magnitude relations between the electric and magnetic fields.
Section 5 is the conclusion.
In this form, both the electric and magnetic fields are ex-
pressed as sums of counter-rotating vectors with radii aþ
and a− , initial rotation angles δþ and δ− , and rotation param- 2. GEOMETRIC ALGEBRA
eters t and z for time and space. That is, the exponential of an In this section we shall introduce the products of basis vectors
imaginary vector eie3 ðωt−kzδ Þ acts as a rotation operator to and complex numbers in geometric algebra and use these to
the vectors e1 and e2 . Using the rules of geometric algebra, we derive the associative geometric product of vectors as a sum
shall relate this form with two other known representations: of their dot and imaginary cross products. By doing so, we
(i) Cartesian representation whose component oscillations shall show that a general form of an element in geometric al-
are along the x and y axes and (ii) rotated ellipse representa- gebra for three-dimensional space consists of a scalar, vector,
tion whose component oscillations are along the semimajor imaginary vector, and an imaginary scalar, which corresponds
and semiminor axes of the polarization ellipse.
to a magnitude, an oriented line segment, an oriented plane,
The Stokes parameters S 0 , S 1 , S 2 , and S 3 are defined as
and an oriented volume, respectively. After this, we shall de-
four observable quantities that characterize the polarization
velop the formalism for vector rotations. We shall start with
state of light [25]. In the literature [3,26], there is no adequate
summary of the Stokes parameters in the three representa- exponentials of imaginary scalars as rotation operators of
tions of polarized light, so we shall present this summary here. complex vectors. Then we shall proceed with exponentials
We shall show that the Stokes parameters are related to the of imaginary vectors as rotation operators of vectors.
geometry of the polarization ellipse and that the first Stokes
parameter S 0 corresponds to the magnitudes of the time- A. Vectors and Imaginary Numbers
averaged energy and momentum densities. Furthermore, we There are many vector spaces in which geometric algebras
shall define the field relation parameters: can be generated, but we shall focus on the geometric algebra
Cl3;0 , also known as the Pauli algebra [23], which is generated
s0 ¼ E2 þ ζ 2 H2 ; ð6aÞ by the three orthonormal vectors e1 , e2 , and e3 of the physical
space. Any product of these three vectors satisfy the following
orthonormality axiom:
s1 ¼ E2 − ζ 2 H2 ; ð6bÞ
ej ek þ ek ej ¼ 2δjk : ð8Þ
is2 ¼ 2iζE · H ¼ 2iζjEjjHj cos α; ð6cÞ
This means that
1
Their product is cos θ ¼ ðeiθ þ e−iθ Þ; ð20aÞ
2
ab ¼ a · b þ a∧b; ð14Þ
i
where sin θ ¼ − ðeiθ − e−iθ Þ: ð20bÞ
2
a∧b ¼ ia × b: ð16Þ
e2 ¼ e1 sin θ þ e2 cos θ; ð23bÞ
Here, the bivector (oriented plane) a∧b is rewritten in terms
of the pseudovector a × b normal to the plane formed by a after separating the scalar and bivector parts. Geometrically,
and b. e1þ is a rotation of e1 about e3 counterclockwise by an angle θ,
Geometric algebra allows elements belonging to different while e1− is similar except that the rotation is clockwise. On
the other hand, e2þ is a rotation of e2 about e3 clockwise by an
vector spaces to be added up; e.g., the geometric product
angle θ, while e2− is similar except that the rotation is counter-
is the sum of a scalar and an imaginary vector. This means
clockwise (Fig. 1).
that the most general form of the sum can be constructed
by having a linear combination of scalars, vectors, imaginary
vectors, and imaginary scalars: D. Vector Rotation via Exponentials of Bivectors
Because ðie3 Þ2 ¼ ðe1 e2 Þ2 ¼ −1, then by Euler’s theorem [28],
^ ¼ a0 þ a1 þ ia2 þ ia3 ;
A ð17Þ
eie3 θ ¼ cos θ ie3 sin θ ¼ cos θ e1 e2 sin θ; ð24Þ
where a0 and a3 are scalars and a1 and a2 are vectors. The which is a sum of a scalar and a bivector. From complex ana-
^ † of A
spatial inverse A ^ is obtained by reversing the sign of
lysis, the relations corresponding to Eqs. (20a) and (20b) are
^
every vector in A:
1
^ † ¼ a0 − a1 þ ia2 − ia3 ; cos θ ¼ ðeie3 θ þ e−ie3 θ Þ; ð25aÞ
A ð18Þ 2
where
3. ELECTROMAGNETIC THEORY
In this section, we show how the four Maxwell’s equations in eþ ¼ e1 þ ie2 ; ð35aÞ
free space may be combined in a single equation that states
that the space–time derivative of the electromagnetic field is
zero, where the vector electromagnetic field is a sum of a vec- ~ ¼ a eiδ ;
a ð35bÞ
tor electric field and a bivector magnetic field. We shall show
that a solution to Maxwell’s equation is a circularly polarized
electromagnetic wave, and from this we construct an ellipti- ψ~ 1 ¼ e∓iðωt−kzÞ : ð35cÞ
cally polarized wave solution. Using geometric algebra, we
shall transform the elliptically polarized solution from an ex- Here, a~ is the complex amplitude and ψ~ 1 is the wave func-
pression containing exponentials of trivectors to another con- tion. Note that though we use a complex
pffiffiffi vector eþ that is pro-
taining exponentials of bivectors. After this, we convert the portional to Jackson’spϵffiffiþffi ¼ eþ = 2, we shall not use his other
circular basis representation of elliptically polarized light to basis ϵ− ¼ ðe1 − ie2 Þ= 2; the complex vector eþ is sufficient
the Cartesian and rotated ellipse representations. for our purposes.
In order to understand the physical meaning of Eq. (34), we
A. Maxwell’s Equation substitute Eqs. (35a)–(35c) into our solution,
Maxwell’s equation for electromagnetic fields in free space
can be expressed in geometric algebra as a single equation ^ ¼ E þ iζH ¼ ðe1 þ ie2 Þa e∓iðωt−kz∓δ Þ :
E ð36Þ
[29,30]:
Separating the vector and bivector parts, we arrive at
∂E^
¼ 0; ð31Þ E ¼ e1 a cosðωt − kz∓δ Þ e2 a sinðωt − kz∓δ Þ; ð37aÞ
∂ ^r
Santos et al. Vol. 29, No. 1 / January 2012 / J. Opt. Soc. Am. A 93
Separating the vector and imaginary vector parts, we get iζk · H ¼ 0: ð45dÞ
~ Þ ¼ e1 a cosðωt − kz∓δ Þ;
ReðE ð41aÞ Because the electric field E and the magnetic field H are
both perpendicular to the wave vector k as given in Eqs. (45a)
and (45d), then we may rewrite the cross products of k with
~ Þ ¼ ∓ie1 a sinðωt − kz∓δ Þ:
ImðE ð41bÞ E and H in terms of the geometric product:
k
By convention, only the real part describes the electric field E − iζ H ¼ 0; ð46aÞ
and the imaginary part is discarded, so that Eq. (40) only de- jkj
scribes a linearly polarized light. Comparing this result with
the circularly polarized wave expression in Eq. (36), we see
k
the conciseness and completeness of geometric algebra that ζH þ i E ¼ 0; ð46bÞ
jkj
after factoring out ω=c ¼ jkj. Notice that these two equations
are equal. For example, if we left multiply Eq. (46b) by −ik=jkj
we get Eq. (46a), because k2 ¼ jkj2 .
Using Eq. (46b), we may rewrite the electromagnetic field
^ as
E
Fig. 2. Rotation of the electric field E and magnetic field H with zero
initial phase angle. The initial field vectors E0 and H0 point along the
^ ¼ E þ iζH ¼ k
e1 and e2 directions and are rotated by an angle ϕ ¼ ωt − kz. The wave E 1þ E : ð47Þ
vector k is pointing out of the page. jkj
94 J. Opt. Soc. Am. A / Vol. 29, No. 1 / January 2012 Santos et al.
^− ψ Þ;
aþ ψ^ þ a
E ¼ e1 ð^ ^ −1 ð52aÞ
aþ sin δþ − a− sin δ−
δx ¼ arctan ; ð57cÞ
aþ cos δþ þ a− cos δ−
ζH ¼ e2 ð^
aþ ψ ^− ψ^ −1 Þ:
^ þa ð52bÞ
Because the electric and magnetic fields have the same ellip- a− cos δ− − aþ cos δþ
δy ¼ arctan : ð57dÞ
tically polarized wave expression except that the unit vectors aþ sin δþ þ a− sin δ−
rotated for the electric field is e1 and that for the magnetic
field is e2 , then it is sufficient, from this point onward, to dis- Equation (56) is the Cartesian basis representation of ellipti-
cuss only the electric field. cally polarized light, interpreted as a sum of two orthogonal
Using the definitions of a ^ and ψ^ 1 in Eqs. (51a) and (51b), oscillations with E x and Ey as the amplitudes along the x and
we may rewrite the electric field in Eq. (52a) as y axes, respectively, with δx and δy as the initial phase angles
of oscillation (Fig. 4). Equations (64a) and (57d) are the ex-
E ¼ e1 ½aþ eie3 ðϕþδþ Þ þ a− e−ie3 ðϕ−δ− Þ ; ð53Þ pressions of the Cartesian basis parameters in terms of the
circular basis parameters. Their inverse relations are
where
1
a ¼ ½E 2x ∓2Ex Ey sinððδx − δy ÞÞ þ E 2y 2 ; ð58aÞ
1
ϕ ¼ ωt − kz: ð54Þ 2
Fig. 4. Cartesian basis representation of elliptically polarized light Fig. 5. Rotated ellipse representation of the elliptically polarized
Eδx δy as a sum of two orthogonal oscillations with amplitudes Ex light Eδβ as a rotated ellipse with semimajor axis E1 , semiminor axis
and E y , and initial phase angles δx and δy . E2 and tilt angle β=2.
On the other hand, if we define 1
E1 ¼ ðE 2x þ 2Ex Ey sinðδx − δy Þ þ E2y Þ2
1
2
1
a ¼ ðE 1 E2 Þ; ð59aÞ þ ðE 2x − 2E x Ey sinðδx − δy Þ þ E 2y Þ2 ; ð63aÞ
1
2
β E2 ¼
1
ðE2x þ 2Ex E y sinðδx − δy Þ þ E2y Þ2
1
δ ¼ δ þ ; ð59bÞ
2 2
− ðE2x − 2Ex E y sinðδx − δy Þ þ E2y Þ2 ; ð63bÞ
1
and substitute these relations into Eq. (53), we get
1 1 1 Ex cos δx − Ey cos δy
E ¼ e1 ðE 1 þ E2 Þeie3 ðϕþδÞ þ ðE1 − E 2 Þe−ie3 ðϕþδÞ eie3 β=2 : δ¼ arctan
2 2 2 Ex sin δx þ Ey sin δy
ð60Þ Ex sin δx − Ey cos δy
þ arctan ; ð63cÞ
Ex cos δx þ E y sin δy
Using Euler’s theorem in Eq. (24) and the identity e1 ie3 ¼ e2 in
Eqs. (26a) and (60) becomes
β 1 Ex cos δx − E y cos δy
¼ arctan
2 2 E x sin δx þ E y sin δy
E ¼ ½E 1 cosðϕ þ δÞe1 þ E 2 sinðϕ þ δÞe2 eie3 β=2 : ð61Þ
Ex sin δx − Ey cos δy
− arctan : ð63dÞ
Equation (61) is the rotated ellipse representation of ellipti- Ex cos δx þ E y sin δy
cally polarized light, interpreted as an ellipse with initial phase
Their inverse relations are
angle δ, semimajor axes lengths E 1 and E 2 , that is rotated
2 1
counterclockwise about e3 by an angle β=2 (Fig. 5). The ad- E þ E 22 þ ðE21 − E 22 Þ cos β 2
Ex ¼ 1 ; ð64aÞ
vantage of using geometric algebra in this representation is 2
that the ellipse E 1 cosðϕ þ δÞe1 þ E 2 sinðϕ þ δÞe2 can be easily
1
rotated via the action of the exponential of the bivector ie3 . E21 þ E 22 − ðE 21 − E22 Þ cos β 2
Ey ¼ ; ð64bÞ
Equations (59a) and (59b) are the circular basis parameters 2
in terms of the rotated ellipse representation parameters.
The inverse relations are E1 sin δ cos β=2 þ E 2 cos δ sin β=2
δx ¼ arctan ; ð64cÞ
E1 cos δ cos β=2 − E 2 sin δ sin β=2
E 1 ¼ aþ þ a− ; ð62aÞ
E1 sin δ sin β=2 − E2 cos δ cos β=2
δy ¼ arctan : ð64dÞ
E1 cos δ sin β=2 þ E 2 sin δ cos β=2
E 2 ¼ aþ − a− ; ð62bÞ
1
δ ¼ ðδþ − δ− Þ; ð62cÞ 4. STOKES AND FIELD RELATION
2
PARAMETERS
In this section, we derive the Stokes parameters in the rotated
β 1 ellipse and circular basis representations starting with the
¼ ðδ þ δ− Þ: ð62dÞ
2 2 þ Stokes parameters in the Cartesian basis representation, by
using the basis parameter relations that are given in the pre-
For completeness, we express the rotated ellipse vious section. After this we discuss the field relation param-
parameters (E 1 , E2 , δ, β=2) in terms of the Cartesian basis eters that also satisfy an equation similar to the Poincaré
parameters (E x , E y , δx , δy ): sphere equation.
96 J. Opt. Soc. Am. A / Vol. 29, No. 1 / January 2012 Santos et al.
S 0 ¼ E2x þ E 2y ; ð65aÞ
S 2 ¼ 4aþ a− sinðδþ þ δ− Þ; ð68cÞ
S 1 ¼ E2x − E 2y ; ð65bÞ
S 3 ¼ 2ða2− − a2þ Þ: ð68dÞ
S 2 ¼ 2E x E y cosðδx − δy Þ; ð65cÞ Equations (68a)–(68d) say that the Stokes parameters only
depend on the radii a− and aþ of the counter-rotating vectors
in the circular basis and the sum δþ þ δ− of the initial phase
S 3 ¼ 2Ex E y sinðδx − δy Þ: ð65dÞ angles.
The parameter S 0 describes the total intensity of the optical B. Field Relation Parameters
field, S 1 describes the preponderance of linearly horizontally To determine the relationship between E and H as defined
polarized light over linearly vertically polarized light, S 2 de- in Eqs. (52a) and (52b), we first take their squares and their
scribes the preponderance of linear þ45° polarized light over products:
linear −45° polarized light, and the fourth parameter S 3 de-
scribes the preponderance of right-circularly polarized light E2 ¼ ζ 2 H2 ¼ a2þ þ a2− þ 2aþ a− cosð2ϕ þ δþ þ δ− Þ; ð69aÞ
over left-circularly polarized light [25]. The definition of the
Stokes parameters in Eqs. (65a)–(65d) will be used in deriving
the Stokes parameters for the rotated ellipse and the circular ζEH ¼ −ζHE ¼ ie3 ½a2þ þ a2− þ 2aþ a− cosð2ϕ þ δþ þ δ− Þ;
basis representations. ð69bÞ
We can show that the Stokes parameters in Eqs. (65a)–
(65d) can be expressed in the rotated ellipse representation where we used the relations (30a) and (30b) and the exponen-
(E1 , E2 , δ, β=2) as tial definition of the cosine in Eq. (20a). Adding and subtract-
ing these squares and products, we get
S 0 ¼ E 21 þ E 22 ; ð66aÞ
s0 ≡ E2 þ ζ 2 H2 ¼ 2½a2þ þ a2− þ 2aþ a− cosð2ϕ þ δþ þ δ− Þ;
ð70aÞ
S 1 ¼ ðE21 − E 22 Þ cos β; ð66bÞ
s1 ≡ E2 − ζ 2 H2 ¼ 0; ð70bÞ
S2 ¼ ðE 21 − E22 Þ sin β; ð66cÞ
where we used the relations in Eqs. (64a)–(64d), together with s3 ≡ 2ζE × H ¼ 2e3 ½a2þ þ a2− þ 2aþ a− cosð2ϕ þ δþ þ δ− Þ;
the identities ð70dÞ
s0 jϕ¼0 ¼ E2 þ ζ 2 H2 ¼ S 0 þ S 1 ; ð71aÞ sphere, these parameters are not identical to the Stokes
parameters. But even then, the field relation parameters com-
plement the Stokes parameters because the former provides a
s3 jϕ¼0 ¼ 2ζE × H ¼ e3 ðS 0 þ S 1 Þ; ð71bÞ geometric interpretation for the geometric relations of the
electric field E and the magnetic field H. For monochromatic
where S 0 and S 1 are the classical Stokes parameters. plane waves that we considered in this paper, the E and H are
Taking the time average over one optical period τ ¼ 2π=ω orthogonal in direction and proportional in magnitude to each
of Eqs. (70a)–(70d) as similarly done in Baylis [8], we get other so that s1 and s2 are zero. But when light is a mixture of
several polarization states propagating in different directions,
hs0 i ¼ hE2 þ ζ 2 H2 i ¼ 2ða2þ þ a2− Þ; ð72aÞ the net electric and magnetic fields of the superposition are
not necessarily perpendicular and proportional so that s1
and s2 will not be zero. From these two parameters we can
hs1 i ¼ hE2 − ζ 2 H2 i ¼ 0; ð72bÞ determine the relative magnitudes and directions of the time-
averaged electric and magnetic fields.
different representations of polarized light. The exponential 13. C. Whitney, “Pauli-algebraic operators in polarization optics,”
J. Opt. Soc. Am. A 61, 1207–1213 (1971).
rotation operators of vectors are used to describe the tilt of
14. T. Tudor and V. Manea, “Symmetry between partially polarized
the polarization ellipse and to describe its counter-rotating light and partial polarizers in the vectorial Pauli algebraic form-
vector components. The fourth advantage is that we define alism,” J. Mod. Opt. 58, 845–852 (2011).
the field relation parameters which describe the geometric re- 15. T. Tudor and V. Manea, “Ellipsoid of the polarization degree: a
lations between the electric and magnetic fields. The vanish- vectorial pure operatorial Pauli algebraic approach,” J. Opt. Soc.
Am. B 28, 596–601 (2011).
ing of the second and third field relation parameters means 16. R. M. Azzam and N. M. Bashara, Ellipsometry and Polarized
that the electric and magnetic fields are perpendicular to Light (Elsevier, 1996).
each other and proportional in magnitude. The nonvanishing 17. C. Brosseau, Fundamentals of Polarized Light: A Statistical
first and fourth field relation parameters correspond to the Optics Approach (Wiley-Interscience, 1998).
electromagnetic energy and momentum densities, whose time 18. J. S. R. Chisholm and A. K. Common, “Foreword,” in Clifford
Algebras and Their Applications in Mathematical Physics,
averages are proportional to the first Stokes parameter. J. S. R. Chisholm and A. K. Common, eds. (Reidel, 1986).
In a future work, we shall extend our geometric algebra 19. D. Hestenes, “Vectors, spinors, and complex numbers in
formalism to optical elements such as rotators, attenuators, classical and quantum physics,” Am. J. Phys. 39, 1013–1027
phase shifters, polarizers, and birefringent crystals, and dis- (1971).
20. D. Hestenes and G. Sobczyk, Clifford Algebra to Geometric
cuss the significance of the field relation parameters. We shall Calculus: A Unified Language for Mathematics and Physics
also discuss partially polarized light and its relationships to (Reidel, 1984).
Fourier analysis and Hilbert spaces in geometric algebra. 21. D. Hestenes, “Oersted Medal Lecture 2002: reforming the
mathematical language of physics,” Am. J. Phys. 71, 104–121
ACKNOWLEDGMENTS (2003).
22. H. A. Haus and J. R. Melcher, Electromagnetic Fields and
This research is funded by the Asian Office of Aerospace Energy (Prentice-Hall, 1989).
Research and Development with award number FA2386-10- 23. B. Jancewicz, Multivectors and Clifford Algebras in Electrody-
1-4162. namics (World Scientific, 1989).
24. W. E. Baylis, Electrodynamics: A Modern Geometric Approach
(Birkhauser, 1999).
REFERENCES 25. B. Schaefer, E. Collett, R. Smyth, D. Barrett, and B. Fraher,
1. G. G. Stokes, “On the composition and resolution of streams of “Measuring the Stokes polarization parameters,” Am. J. Phys.
polarized light from different sources,” Proc. Cambridge Philos. 75, 163–168 (2007).
Soc. 1, 115–116 (1852); also published in Trans. Cambridge Phi- 26. H. G. Berry, G. Gabrielse, and A. E. Livingston, “Measurement of
los. Soc. 9, 399-416 (1852). the Stokes parameters of light,” Appl. Opt. 16, 3200–3205 (1977).
2. E. Collett, Field Guide to Polarization (SPIE, 2005). 27. J. J. Sakurai, Advanced Quantum Mechanics (Addison-
3. E. Hecht, Optics (Addison-Wesley, 2002). Wesley, 1967).
4. R. C. Jones, “A new calculus for the treatment of optical 28. W. E. Baylis, “Applications of Clifford algebras in physics,”
systems. i. description and discussion of the calculus,” J. Opt. http://www.uwindsor.ca/users/b/baylis/main.nsf.
Soc. Am. 31, 488–493 (1941). 29. M. C. Sze, Q. M. Sugon, Jr., and D. J. McNamara, “Oblique super-
5. H. Poincaré, Théorie Mathématique de la Lumière (Carre, position of two elliptically polarized lightwaves using geometric
1892), Chap. 12. algebra: is energy-momentum conserved?” J. Opt. Soc. Am. A
6. W. S. Bickel and W. M. Bailey, “Stokes vectors, Mueller matrices, 27, 2468–2479 (2010).
and polarized scattered light,” Am. J. Phys. 53, 468–478. 30. T. Vold, “Introduction to geometric algebra and its application to
7. H. Takenaka, “A unified formalism for polarization optics using electrodynamics,” Am. J. Phys. 61, 505–513 (1993).
group theory,” Nouv. Rev. Opt. 4, 37–42. 31. Q. M. Sugon, Jr., and D. J. McNamara, “A Hestenes spacetime
8. W. E. Baylis, J. Bonenfant, J. Derbyshire, and J. Huschilt, “Light algebra approach to light polarization,” in Applications of Geo-
polarization: a geometric-algebra approach,” Am J. Phys. 61, metric Algebra in Computer Science and Engineering, L. Dorst,
534–545 (1993). C. Doran, and J. Lasenby, eds. (Birkhauser, 2002), pp. 297–306.
9. C. Doran and A. Lasenby, Geometric Algebra for Physicists 32. E. Wolf, “Optics in terms of observable quantities,” Nuovo
(Cambridge University, 2003). Cimento 12, 884–888 (1954).
10. J. D. Jackson, Classical Electrodynamics, 3rd ed. (Wiley, 1998). 33. R. W. Ditchburn, Light, 2nd ed. (Wiley, 1963).
11. M. Born and E. Wolf, Principles of Optics, 3rd ed. (Pergamon, 34. J. W. Simmons and M. J. Guttmann, States Waves and Photons: A
1964). Modern Introduction to Light (Addison-Wesley, 1970).
12. M. Klein and T. Furtak, Optics, 2nd ed. (Wiley, 1986). 35. J. W. Rohlf, Modern Physics from α to Z 0 (Wiley, 1994).