Tizian Zeltner

Wenzel Jakob

École polytechnique fédérale de Lausanne
June 2021
![](figures/teaser.jpg width=100%)
Introduction
===============================================================================
The retargetable design of the Mitsuba 3 rendering system can be leveraged to optionally keep track of the full polarization state of light, meaning that it simulates the oscillations of the light's electromagnetic wave perpendicular to its direction of travel.
Because humans do not perceive this directly, accounting for it is usually not necessary when rendering images that are intended to look realistic. However, polarization is easily observed using a variety of measurement devices and cameras and it tends to provide a wealth of information about the material and shape of visible objects. For this reason, polarization is a powerful tool for solving inverse problems, and this is one of the reasons why we chose to support it in Mitsuba 3.
Polarized rendering has been studied extensively before. A first (unidirectional) algorithm was proposed by Wilkie and Weidlich [#WilkieWeidlich2012] before it was extended to bidirectional techniques in two later works [#Mojzik2016, #Jarabo2018] by leveraging the general path space formulation [#Veach1998].
Polarized rendering is also implemented by the [Advanced Rendering Toolkit (ART) research rendering system](https://cgg.mff.cuni.cz/ART/).
---
The first two sections of this document cover the mathematical framework behind polarization that is relevant for rendering (Section [Mathematics of polarized light]) as well as an in-depth description of the _Fresnel equations_ that are important components of many reflectance models (Section [Fresnel equations]).
Finally, Section [Implementation] serves as a _developer guide_ and explains how polarization is implemented in Mitsuba 3.
!!! Tip
**Note**: This document is also part of the Mitsuba 3 documentation.
Mathematics of polarized light
===============================================================================
In this section we go over the basics behind the mathematical representation of polarized light and how it interacts with common optical elements.
No prior knowledge of polarization is required for following these Sections though we only cover the contents needed for rendering applications. More thorough discussions can be found in the optics literature [#Hecht1998, #Collett1993, #Collett2005].
Modern rendering systems are generally built on top of the _radiometry_ framework for describing light where algorithms usually track a unit called _radiance_ [#Pharr2016]. This was originally based on a particle description of light and thus does not cover the effects of polarization (or other aspects of wave optics).
From the optics community, there are two commonly used frameworks to describe the polarization state of light:
1. **Mueller-Stokes calculus**
The polarization state (fully polarized, partially polarized, or unpolarized) is represented with a $4 \times 1$ _Stokes vector_ while interaction with optical elements or scattering is achieved by multiplication with $4 \times 4$ _Mueller matrices_.
2. **Jones calculus**
This representation is simpler and uses $2 \times 1$ and $2 \times 2$ _Jones vectors and matrices_ instead. They are directly related to the underlying electrical field components of the wave and can explain superpositions of waves, e.g. interference effects. However, Jones calculus can only represent fully polarized light and is therefore of limited interest for rendering applications.
Like previous work in polarized rendering [#WilkieWeidlich2012, #Mojzik2016, #Jarabo2018], we will use the Mueller-Stokes calculus for our implementation.
Stokes vectors
---------------------------------------------------------
### Definitions
![Figure [stokes_components]: Illustration of the individual Stokes vector components $\mathbf{s}_0, \mathbf{s}_1, \mathbf{s}_2, \mathbf{s}_3$ on top of the reference coordinate frame ($\mathbf{x}, \mathbf{y}$) where the $\mathbf{x}$-axis is interpreted as horizontal.](figures/stokes_vector.svg width="1300")
A Stokes vector is a 4-dimensional quantity $\mathbf{s} = [\mathbf{s}_0, \mathbf{s}_1, \mathbf{s}_2, \mathbf{s}_3]^{\top}$[^stokes_iquv] which parameterizes
the full polarization state of light[^wavelengths].
* $\mathbf{s}_0$ is equivalent to *radiance* normally used in physically based rendering.
It measures the intensity of light but does not say anything about its polarization state.
* $\mathbf{s}_1$ distinguishes horizontal vs. vertical *linear* polarization, where $\mathbf{s}_1 = \pm 1$ stands for
completely horizontally or vertically polarized light respectively.
* $\mathbf{s}_2$ is similar to $\mathbf{s}_1$ but distinguishes diagonal linear polarization at $\pm 45˚$ angles,
as measured from the horizontal axis.
* $\mathbf{s}_3$ distinguishes right vs. left circular polarization, where $\mathbf{s}_3 = \pm 1$ stands for full
right or left circularly polarized light respectively.
* Physically plausible Stokes vectors need to fulfill $\mathbf{s}_0 \geq \sqrt{\mathbf{s}_1^2 + \mathbf{s}_2^2 + \mathbf{s}_3^2}$.
A few typical examples of interesting polarization states are summarized in the following table
and animations.
Description | Corresponding Stokes vector
------------|----------------------------
Unpolarized light | $[1, 0, 0, 0]^{\top}$
Horizontal linearly polarized light | $[1, 1, 0, 0]^{\top}$
Vertical linearly polarized light | $[1, -1, 0, 0]^{\top}$
Diagonal (+45˚) linearly polarized light | $[1, 0, 1, 0]^{\top}$
Diagonal (-45˚) linearly polarized light | $[1, 0, -1, 0]^{\top}$
Right circularly polarized light | $[1, 0, 0, 1]^{\top}$
Left circularly polarized light | $[1, 0, 0, -1]^{\top}$
![Horizontal polarization](figures/horizontal.mp4 width="85%" autoplay loop) ![Vertical polarization](figures/vertical.mp4 width="85%" autoplay loop)
![Diagonal (+45˚) polarization](figures/diag_pos.mp4 width="85%" autoplay loop) ![Diagonal (-45˚) polarization](figures/diag_neg.mp4 width="85%" autoplay loop)
![Right-circular polarization](figures/circ_right.mp4 width="85%" autoplay loop) ![Left-circular polarization](figures/circ_left.mp4 width="85%" autoplay loop)
### Reference frames
As illustrated in Figure [stokes_components], these definitions above are only true relative to a given reference coordinate frame ($\mathbf{x}, \mathbf{y}$). Here, the $\mathbf{x}$-axis indicates what is meant with "horizontal". As long as the frame is orthogonal to the beam of light, this is purely a matter of convention and infinitely many such frames exist. We follow the convention used in most textbooks and other sources with a right-handed coordinate system where the z-axis points along the light propagation direction like so[^spie_convention]:
![](figures/wave_ref_frame.mp4 width="100%" autoplay loop)
Note how we take the point of view of the "receiver" and look into the direction of the "source" of the beam to describe the Stokes vector.
In particular, this also clarifies the handedness of circular polarization.
As a final example, consider Figure [stokes_rotation] which shows linearly polarized light in two different reference frames, resulting in two different Stokes vectors.
![Figure [stokes_rotation]: (**Left**) Linearly polarized light is observed in a reference frame $(\mathbf{x}, \mathbf{y})$ where the measured Stokes vector looks like horizontal polarization, $\mathbf{s} = [1, 1, 0, 0]^{\top}$. (**Right**) The same beam is observed in a rotated reference frame $(\mathbf{x}', \mathbf{y}')$ where the Stokes vector looks like $-45˚$ linear polarization, $\mathbf{s} = [1, 0, -1, 0]^{\top}$. ](figures/stokes_rotation.svg width="1300")
---
[^stokes_iquv]: In some sources, the notation $\mathbf{s} = [I, Q, U, V]^{\top}$ is used instead.
[^wavelengths]: Polarization should be tracked for each wavelength of light individually. In this document we mostly assume a monochromatic setting. We will revisit the spectral domain later during Section [Implementation] when discussion implementation details.
[^spie_convention]: This is also known as the [_SPIE_](https://en.wikipedia.org/wiki/Circular_polarization#From_the_point_of_view_of_the_receiver) convention.
Mueller matrices
---------------------------------------------------------
Any change of the polarization change due to interaction with some optical element or interface can be summarized as a multiplication of the corresponding Stokes vector with a *Mueller matrix* $\mathbf{M} \in \mathbb{R}^{4x4}$. After the interaction, the incident ($\mathbf{s}_{\text{in}}$) and outgoing ($\mathbf{s}_{\text{out}}$) Stokes vectors are related by
\begin{equation}
\mathbf{s}_{\text{out}} = \mathbf{M} \cdot \mathbf{s}_{\text{in}}
\end{equation}
Similar to Stokes vectors, Mueller matrices are also only valid in some reference coordinate system. More precisely, every matrix operates from a fixed incident $(\mathbf{x}_{\text{in}}, \mathbf{y}_{\text{in}})$ to a fixed outgoing $(\mathbf{x}_{\text{out}}, \mathbf{y}_{\text{out}})$ reference frame.
The most common optical elements (such as linear polarizers or retarders, see below) operate along a single direction of a light beam, and in that case, both of their reference frames are usually assumed to be the same, with the $\mathbf{x}$-axis aligned with the optical table:
![Figure [frames_collinear]: Incident (blue) and outgoing (green) Stokes reference frames in the case with collinear directions.](figures/mueller_matrix_frames_aligned_crop.png)
For the general case, e.g. a Mueller matrix that describes a reflection on some interface, the two frames are necessarily different and need to be tracked carefully:
![Figure [frames_reflection]: Incident (blue) and outgoing (green) Stokes reference frames in the general case of reflection.](figures/mueller_matrix_frames_reflection_crop.png)
!!! WARNING
**Stokes and Mueller matrix operations**
A lot of care has to be taken when operating with Stokes vectors and Mueller matrices.
1. Matrix multiplication between Mueller matrix and Stokes vector $\mathbf{s}_{\text{out}} = \mathbf{M} \cdot \mathbf{s}_{\text{in}}$ like above is only valid if the incident reference frame of $\mathbf{M}$ is equivalent to the reference frame of $\mathbf{s}_{\text{in}}$.
2. Mueller matrix multiplication $\mathbf{M}_2 \cdot \mathbf{M}_1$ is only valid if the outgoing frame of $\mathbf{M}_1$ is aligned with the incident frame of $\mathbf{M}_2$. Like normal matrix multiplication, this operation does not commute in general.
3. Mueller matrices need to be _left multiplied_ onto Stokes vectors. For instance, $\mathbf{M}_2 \cdot \mathbf{M}_1 \cdot \mathbf{s}_{\text{in}}$ indicates that a light beam (with Stokes vector $\mathbf{s}_{\text{in}}$) first interacts with $\mathbf{M}_1$ followed by $\mathbf{M}_2$.
Apart from standard optical elements (Table [table_optical_elements]) and other a few other idealized cases, interaction of polarized light with arbitrary materials is not well understood at this point. We will cover the important special case of specular reflection or refraction later in Section [Fresnel equations].
Description | Mueller matrix
------------|----------------------------
Ideal depolarizer | $\begin{bmatrix} 1 & 0 & 0 & 0 \\ 0 & 0 & 0 & 0 \\ 0 & 0 & 0 & 0 \\ 0 & 0 & 0 & 0 \end{bmatrix}$
Attenuation filter, $\alpha$: transmission | $\alpha \begin{bmatrix} 1 & 0 & 0 & 0 \\ 0 & 1 & 0 & 0 \\ 0 & 0 & 1 & 0 \\ 0 & 0 & 0 & 1 \end{bmatrix}$
Ideal linear polarizer (horizontal transmission) | $\frac{1}{2} \begin{bmatrix} 1 & 1 & 0 & 0 \\ 1 & 1 & 0 & 0 \\ 0 & 0 & 0 & 0 \\ 0 & 0 & 0 & 0 \end{bmatrix}$
Ideal linear retarder (fast axis horizontal), $\phi$: phase difference | $\begin{bmatrix} 1 & 0 & 0 & 0 \\ 0 & 1 & 0 & 0 \\ 0 & 0 & \cos\phi & \sin\phi \\ 0 & 0 & -\sin\phi & \cos\phi \end{bmatrix}$
Ideal quarter-wave plate (fast axis horizontal) | $\begin{bmatrix} 1 & 0 & 0 & 0 \\ 0 & 1 & 0 & 0 \\ 0 & 0 & 0 & 1 \\ 0 & 0 & -1 & 0 \end{bmatrix}$
Ideal half-wave plate | $\begin{bmatrix} 1 & 0 & 0 & 0 \\ 0 & 1 & 0 & 0 \\ 0 & 0 & -1 & 0 \\ 0 & 0 & 0 & -1 \end{bmatrix}$
Ideal right circular polarizer | $\frac{1}{2} \begin{bmatrix} 1 & 0 & 0 & 1 \\ 0 & 0 & 0 & 0 \\ 0 & 0 & 0 & 0 \\ 1 & 0 & 0 & 1 \end{bmatrix}$
Ideal left circular polarizer | $\frac{1}{2} \begin{bmatrix} 1 & 0 & 0 & -1 \\ 0 & 0 & 0 & 0 \\ 0 & 0 & 0 & 0 \\ -1 & 0 & 0 & 1 \end{bmatrix}$
General polarizer. $\alpha_x$, $\alpha_y$: transmission along the two orthogonal axes | $\frac{1}{2} \begin{bmatrix} \alpha_x^2 + \alpha_y^2 & \alpha_x^2 - \alpha_y^2 & 0 & 0 \\ \alpha_x^2 - \alpha_y^2 & \alpha_x^2 + \alpha_y^2 & 0 & 0 \\ 0 & 0 & 2 \alpha_x \alpha_y & 0 \\ 0 & 0 & 0 & 2 \alpha_x \alpha_y \end{bmatrix}$
[Table [table_optical_elements]: A list of Mueller matrices for typical optical elements.]
### Rotation of Stokes vector frames
Due to the importance of applying Mueller matrices on Stokes vectors only when expressed in the same reference frames, we often have to perform rotations of these frames during a simulation of polarized light. This is somewhat unintuitive at first and can be a source of common errors in an implementation.
We already briefly touched on how rotations of reference frames change how e.g. a Stokes vector is measured (see Figure [stokes_rotation]) and we will now formalize the rotation operation as yet another Mueller matrix $\mathbf{R}(\theta)$ [^rotator_matrix] that can be applied to a Stokes vector $\mathbf{s}$ to express it in another reference frame that was rotated by an angle $\theta$ (measured counter-clockwise from the $\mathbf{x}$-axis).
This new Stokes vector is then
\begin{equation}
\mathbf{s}' = \mathbf{R}(\theta) \cdot \mathbf{s}
\end{equation}
with the rotator matrix defined as
\begin{equation}
\mathbf{R}(\theta) =
\begin{bmatrix}
1 & 0 & 0 & 0 \\
0 & \cos(2\theta) & \sin(2\theta) & 0 \\
0 & -\sin(2\theta) & \cos(2\theta) & 0 \\
0 & 0 & 0 & 1
\end{bmatrix}
\label{eq:rotator_matrix}
\end{equation}
Here is another visualization of this process. Again, note how the polarization of light did not actually change globally, but only expressed relative to the used reference frames:
![](figures/rotator.mp4 width="90%" autoplay loop)
### Rotation of Mueller matrix frames
This idea of rotating the Stokes reference frames can naturally be used to address the challenges of Mueller matrix multiplications involving mismatched frames from above. Consider Figure [rotated_mueller_matrix] below.
We want to apply some Mueller matrix $\hat{\mathbf{M}}$ that operates from reference frame ($\hat{\mathbf{x}}_{\text{in}}, \hat{\mathbf{y}}_{\text{in}}$) to ($\hat{\mathbf{x}}_{\text{out}}, \hat{\mathbf{y}}_{\text{out}}$) to an incoming beam of light with Stokes vector $\mathbf{s}$ that is defined relative to the frame ($\mathbf{x}_{\text{in}}, \mathbf{y}_{\text{in}}$). As the mismatch makes this impossible, we have to first rotate the incident Stokes vector to be expressed in the different frame:
\begin{equation}
\mathbf{s}' = \mathbf{R}(\theta_{\text{in}}) \cdot \mathbf{s}
\end{equation}
where $\theta_{\text{in}}$ is the relative angle between the two frame bases $\mathbf{x}_{\text{in}}$ and $\hat{\mathbf{x}}_{\text{in}}$.
We can then apply the matrix $\hat{\mathbf{M}}$, as it is valid for the incident frame ($\hat{\mathbf{x}}_{\text{in}}, \hat{\mathbf{y}}_{\text{in}}$):
\begin{equation}
\mathbf{s}'' = \hat{\mathbf{M}} \cdot \mathbf{s}' = \hat{\mathbf{M}} \cdot \mathbf{R}(\theta_{\text{in}}) \cdot \mathbf{s}
\end{equation}
The resulting Stokes vector $\mathbf{s}''$ is now valid with respect to the frame ($\hat{\mathbf{x}}_{\text{out}}, \hat{\mathbf{y}}_{\text{out}}$). As a last step, we might want to, yet again, rotate its frame to be aligned with some other (arbitrary) reference frame ($\mathbf{x}_{\text{out}}, \mathbf{y}_{\text{out}}$):
\begin{equation}
\label{eq_rotated_mueller_matrix}
\mathbf{s}''' = \mathbf{R}(\theta_{\text{out}}) \cdot \mathbf{s}'' = \underbrace{\mathbf{R}(\theta_{\text{out}}) \cdot \hat{\mathbf{M}} \cdot \mathbf{R}(\theta_{\text{in}})}_{\mathbf{M}} \cdot \mathbf{s}
\end{equation}
where $\theta_{\text{out}}$ is the relative angle between the two frame bases $\hat{\mathbf{x}}_{\text{out}}$ and $\mathbf{x}_{\text{out}}$.
Effectively, this process transforms the matrix $\hat{\mathbf{M}}$ into a modified matrix $\mathbf{M}$ that operates between rotated incident and outgoing frames.
![Figure [rotated_mueller_matrix]: Rotation of Mueller matrix incident and outgoing reference frames.](figures/rotated_mueller_matrix_crop.png width="1300")
### Rotation of optical elements
Another common use case of the reference frame rotations is to find expressions for rotated optical elements. Consider Figure [rotated_element] for the following explanation.
The optical element with Mueller matrix $\mathbf{M}$ (valid for incident & outgoing frame ($\mathbf{x}', \mathbf{y}'$)) is rotated by an angle $\theta$. We now want to find the Mueller matrix $\mathbf{M}(\theta)$ of this rotated element, expressed for incident and outgoing frame ($\mathbf{x}, \mathbf{y}$) that is aligned with the optical table. We again achieve this using two rotations, and the steps are analogous to the description above (Section [Rotation of Mueller matrix frames]):
First we rotate the incident Stokes vector to be expressed in the rotated frame:
\begin{equation}
\mathbf{s}' = \mathbf{R}(\theta) \cdot \mathbf{s}
\end{equation}
We then apply the matrix $\mathbf{M}$, as it is valid for the frame ($\mathbf{x}', \mathbf{y}'$):
\begin{equation}
\mathbf{s}'' = \mathbf{M} \cdot \mathbf{s}' = \mathbf{M} \cdot \mathbf{R}(\theta) \cdot \mathbf{s}
\end{equation}
Finally, we rotate the resulting Stokes vector back into the original frame ($\mathbf{x}, \mathbf{y}$):
\begin{equation}
\label{eq_rotated_element}
\mathbf{s}''' = \mathbf{R}(-\theta) \cdot \mathbf{s}'' = \underbrace{\mathbf{R}(-\theta) \cdot \mathbf{M} \cdot \mathbf{R}(\theta)}_{\mathbf{M}(\theta)} \cdot \mathbf{s}
\end{equation}
![Figure [rotated_element]: An optical element rotated around the axis of propagation.](figures/rotated_element_crop.png width="1300")
**Example 1: A rotated linear polarizer**
A very common special case of this is a linear polarizer rotated at some angle. Recall the Mueller matrix of a linear polarizer:
\begin{equation}
\label{eq_linear_polarizer}
\mathbf{L} =
\frac{1}{2} \begin{bmatrix} 1 & 1 & 0 & 0 \\ 1 & 1 & 0 & 0 \\ 0 & 0 & 0 & 0 \\ 0 & 0 & 0 & 0 \end{bmatrix}
\end{equation}
When applying Eq. [eq_rotated_element] to Eq. [eq_linear_polarizer] we get the expression
\begin{equation}
\label{eq_linear_polarizer_rotated}
\mathbf{L}(\theta) =
\frac{1}{2} \begin{bmatrix}
1 & \cos(2\theta) & \sin(2\theta) & 0 \\
\cos(2\theta) & \cos^2(2\theta) & \sin(2\theta)\cos(2\theta) & 0 \\
\sin(2\theta) & \sin(2\theta)\cos(2\theta) & \sin^2(2\theta) & 0 \\
0 & 0 & 0 & 0
\end{bmatrix}
\end{equation}.
**Example 2: Malus' law**
Consider a beam of unpolarized light (purple) that interacts with two linear polarizers as illustrated here:
![](figures/malus.mp4 width="90%" autoplay loop)
The first polarizer transforms the beam into fully horizontally polarized light (middle) before traveling through a second polarizer at an angle $\theta$. It is clear that a horizontal orientation ($\theta=0˚$) will allow all of the light to transmit as both polarizers are aligned with each other. Similarly, at an orthogonal configuration ($\theta=90˚$), all light will be absorbed. For intermediate angles, only a fraction of the light is transmitted in form of linearly polarized light. Under such a setting, the total intensities (first component of the Stokes vector) before and after interacting with the two polarizers, $\mathbf{s}_0, \mathbf{s}_0'$, follow *Malus' law*[^malus_scale_factor]
\begin{equation}
\label{malus_law}
\mathbf{s}_0' = \frac{\cos^2(\theta)}{2} \cdot \mathbf{s}_0
\end{equation}
where $\theta$ is the rotation angle of the second polarizer, measured counter-clockwise from the horizontal configuration.
This can easily be derived by in the Mueller-Stokes calculus, simply by left multiplying the matrices in Eq. [eq_linear_polarizer] and Eq. [eq_linear_polarizer_rotated] onto some arbitrary Stokes vector $\mathbf{s}$:
\begin{align*}
\begin{bmatrix} \mathbf{s}_0' \\ \mathbf{s}_1' \\ \mathbf{s}_2' \\ \mathbf{s}_3' \end{bmatrix}
&= \mathbf{L}(\theta) \cdot \mathbf{L} \cdot \begin{bmatrix} \mathbf{s}_0 \\ \mathbf{s}_1 \\ \mathbf{s}_2 \\ \mathbf{s}_3 \end{bmatrix} \\
&= \frac{1}{4} \begin{bmatrix}
1 & \cos(2\theta) & \sin(2\theta) & 0 \\
\cos(2\theta) & \cos^{2}(2\theta) & \sin(2\theta)\cos(2\theta) & 0 \\
\sin(2\theta) & \sin(2\theta)\cos(2\theta) & \sin^{2}(2\theta) & 0 \\
0 & 0 & 0 & 0
\end{bmatrix} \cdot \begin{bmatrix}
1 & 1 & 0 & 0 \\
1 & 1 & 0 & 0 \\
0 & 0 & 0 & 0 \\
0 & 0 & 0 & 0
\end{bmatrix} \cdot \begin{bmatrix} \mathbf{s}_0 \\ \mathbf{s}_1 \\ \mathbf{s}_2 \\ \mathbf{s}_3 \end{bmatrix} \\
&= \frac{1}{4} \begin{bmatrix}
1 & \cos(2\theta) & \sin(2\theta) & 0 \\
\cos(2\theta) & \cos^{2}(2\theta) & \sin(2\theta)\cos(2\theta) & 0 \\
\sin(2\theta) & \sin(2\theta)\cos(2\theta) & \sin^{2}(2\theta) & 0 \\
0 & 0 & 0 & 0
\end{bmatrix} \cdot \begin{bmatrix} \mathbf{s}_0 + \mathbf{s}_1 \\ \mathbf{s}_0 + \mathbf{s}_1 \\ 0 \\ 0 \end{bmatrix} \\
&= \frac{1}{4} \begin{bmatrix}
(\mathbf{s}_0 + \mathbf{s}_1) (1 + \cos(2\theta)) \\
(\mathbf{s}_0 + \mathbf{s}_1) (1 + \cos(2\theta))\cos(2\theta) \\
(\mathbf{s}_0 + \mathbf{s}_1) (1 + \cos(2\theta))\sin(2\theta) \\
0
\end{bmatrix} \\
&= \frac{1}{2} \begin{bmatrix}
(\mathbf{s}_0 + \mathbf{s}_1) (\cos^{2}\theta) \\
(\mathbf{s}_0 + \mathbf{s}_1) (\cos^{2}\theta)\cos(2\theta) \\
(\mathbf{s}_0 + \mathbf{s}_1) (\cos^{2}\theta)\sin(2\theta) \\
0
\end{bmatrix}
\end{align*}
Here, the last step used the trigonometric identity $\cos(2\theta) = 2\cos^{2}\theta - 1$. Plugging in the Stokes vector of unpolarized light ($\mathbf{s}_0 = 1, \mathbf{s}_1=\mathbf{s}_2=\mathbf{s}_3=0$) directly gives Eq. [malus_law] as result.
**Example 3: Creation of circular polarization**
We can also use Mueller-Stokes calculus to understand a common physical setup to create circularly polarized light that uses a clever combination of a linear polarizer and a quarter-wave plate:
![](figures/qwp_circular.mp4 width="90%" autoplay loop)
Any type of light (e.g. unpolarized, visualized in purple) is linearly polarized at a 45˚ angle by the first filter (left) and then hits a quarter-wave plate (green) that has its "fast axis" in a horizontal configuration. The wave plate introduces a quarter wavelength phase shift that slows down the vertical component (red). As a result, the two wave components are no longer aligned and the light beam is (perfectly) left-circularly polarized.
Or written in Mueller-Stokes calculus, using the quarter-wave plate from Table [table_optical_elements] and the rotated linear polarizer from Eq. [eq_linear_polarizer_rotated] using $\theta=45˚$:
\begin{align*}
\begin{bmatrix} \mathbf{s}_0' \\ \mathbf{s}_1' \\ \mathbf{s}_2' \\ \mathbf{s}_3' \end{bmatrix}
&= \frac{1}{2} \begin{bmatrix}
1 & 0 & 0 & 0 \\
0 & 1 & 0 & 0 \\
0 & 0 & 0 & 1 \\
0 & 0 & -1 & 0
\end{bmatrix} \cdot
\begin{bmatrix}
1 & \cos(2\theta) & \sin(2\theta) & 0 \\
\cos(2\theta) & \cos^{2}(2\theta) & \sin(2\theta)\cos(2\theta) & 0 \\
\sin(2\theta) & \sin(2\theta)\cos(2\theta) & \sin^{2}(2\theta) & 0 \\
0 & 0 & 0 & 0
\end{bmatrix} \cdot \begin{bmatrix} \mathbf{s}_0 \\ \mathbf{s}_1 \\ \mathbf{s}_2 \\ \mathbf{s}_3 \end{bmatrix} \\
&= \frac{1}{2} \begin{bmatrix}
1 & 0 & 0 & 0 \\
0 & 1 & 0 & 0 \\
0 & 0 & 0 & 1 \\
0 & 0 & -1 & 0
\end{bmatrix} \cdot \begin{bmatrix} \mathbf{s}_0 + \mathbf{s}_2 \\ 0 \\ \mathbf{s}_0 + \mathbf{s}_2 \\ 0 \end{bmatrix} \\
&= \frac{1}{2} \begin{bmatrix} \mathbf{s}_0 + \mathbf{s}_2 \\ 0 \\ 0 \\ -(\mathbf{s}_0 + \mathbf{s}_2) \end{bmatrix}
\end{align*}
To figure out the signs of the final Stokes vector, recall that $\mathbf{s}_0 \geq \sqrt{\mathbf{s}_1^2 + \mathbf{s}_2^2 + \mathbf{s}_3^2}$. From this we have $(\mathbf{s}_0 + \mathbf{s}_2) > 0$ and thus the last entry has to be negative which matches the observed left-circular polarization above.
---
[^rotator_matrix]: Note that this Mueller matrix of a rotator does not correspond to an actual optical element one could use in a practical setup. It is only used to reason about how the Stokes vector expression changes when viewed from a differently oriented reference frame.
[^malus_scale_factor]: The factor $\frac{1}{2}$ comes from the fact that we start out with unpolarized light. Many sources omit this factor but instead relate intensity before and after the second (rotated) polarizer.
Fresnel equations
===============================================================================
Specular dielectrics and conductors are important building blocks of material models in most rendering systems today. They are usually based on the well known _Fresnel equations_ (first derived by Augustin Jean Fresnel in the 19th century [#Fresnel1823]) that describe the complete polarization state of specular reflection and refraction on such materials. Note that this is one of the few cases where exact expressions are available and therefore we definitely want to accurately capture this effect in polarization aware rendering.
At the core of this are of course the laws of reflection and refraction (a.k.a. Snell's law)
\begin{align}
\textbf{Reflection}: \;\;& \theta_i = \theta_r \label{eq:reflection} \\
\textbf{Refraction}: \;\;& \eta_i \cdot \sin\theta_i = \eta_t \cdot \sin\theta_t \label{eq:refraction}
\end{align}
that relate an incident angle $\theta_i$ with its reflected ($\theta_r$) and refracted ($\theta_t$) analogues based on the indices of refraction ($\eta_i \text{ and } \eta_t$) on the two sides of the interface:
![](figures/reflection_transmission.svg width=50%)
A typical example would be light that refracts from air into a denser medium such as water. In this case, we have $\eta_i \approx 1.0$ and $\eta_t \approx 1.33$.
Theory
---------------------------------------------------------
Modern formulations of the Fresnel equations are based on electromagnetic theory[^fresnel_maxwell] where we consider the two transverse fields $E$ (electric) and $H$ (magnetic). Usually, derivations relate the incident ($E_i$) with the reflected ($E_r$) and transmitted ($E_t$) electric fields, though equivalently the magnetic fields could also be used. It is sufficient to consider two cases where the electric field arrives either in perpendicular ("$\bot$") or parallel ("$\parallel$") orientation relative to the plane of incidence[^german_s_p]:
![Perpendicular "S" component](figures/s_wave.mp4 width="98%" autoplay loop) ![Parallel "P" component](figures/p_wave.mp4 width="98%" autoplay loop)
To describe these fields, we have to make some choices regarding coordinate systems. In particular: in which directions should the electric fields be pointing before and after interacting with the interface? Given the electric field direction $E$ and the propagation direction of the beam $\mathbf{z}$, the orientation of the magnetic field $H$ is always clearly defined by a right-handed coordinate system $E \times H = \alpha \cdot \mathbf{z}$ for some constant $\alpha$ (Poynting's theorem). The orientation of the electric field itself is however somewhat arbitrary. Incident and reflected field could for instance point in the same or opposite directions of each other.
!!! WARNING
Unfortunately, different choices for the orientations of the electric field will result in slightly different versions of the final Fresnel equations. All versions are "correct" however as long as conventions are clear and consistent. We therefore clarify the concrete alignments that we use in the following diagram:
![Figure [electric_magnetic_fields_verdet_first]: The convention we use for directions of the electric ($E$) and magnetic ($H$) fields in case of specular reflection and transmission. In this configuration, all electric fields are parallel to each other which also known as the _Verdet convention_ in the literature.](figures/electric_magnetic_fields_verdet.svg width=100%)
**Perpendicular electric field ("$\bot$")**
In this case (Figure [electric_magnetic_fields_verdet_first] (**a**)) all electric field vectors $E_i^{\bot}, E_r^{\bot}$, and $E_t^{\bot}$ are collinear. It is therefore the most natural to orient them all in the same direction, e.g. pointing into the screen / plane. In fact, practically all sources agree on this convention [#Muller1969].
**Parallel electric field ("$\parallel$")**
Here, the three vectors $E_i^{\bot}, E_r^{\bot}$, and $E_t^{\bot}$ are coplanar but (for general $\theta_i$) not collinear anymore and it is therefore not so clear what it means to "point into the same direction". Instead, this is now defined based on the magnetic field vectors $H_i^{\bot}, H_r^{\bot}$, and $H_t^{\bot}$ which are collinear.
In Figure [electric_magnetic_fields_verdet_first] (**b**), we decided to have them all point into the same direction again which is commonly referred to as the _Verdet convention_ in the literature. Most sources agree on the directions of $E_i^{\parallel}$ vs. $E_t^{\parallel}$ in the transmission case. However a large number of them choose to orient $E_r^{\parallel}$ (and $H_r^{\parallel}$) in the opposite direction [#Muller1969], also known as the _Fresnel convention_. Such a sign flip will propagate all the way into the signs of the Fresnel equations but it is important to keep in mind that both are "correct" based on the chosen coordinate systems. See Section [Different conventions in the literature] below for an extended discussion.
### Equations
Based on the chosen convention above, we now summarize the Fresnel equations as implemented in Mitsuba 3. For the purpose of this document we omit their actual derivations and instead refer interested readers to _Optics_ by E. Hecht [#Hecht1998].
The _reflection amplitude coefficients_ for the "$\bot$" and "$\parallel$" components relate the incident and reflected electric fields via
\begin{align}
r_{\bot}
&=
\frac{E_r^{\bot}}{E_i^{\bot}}
=
\frac{\eta_i \cos\theta_i - \eta_t \cos\theta_t}{\eta_i \cos\theta_i + \eta_t \cos\theta_t}
= -\frac{\sin(\theta_i - \theta_t)}{\sin(\theta_i + \theta_t)}
\label{eq:reflection_amplitudes_s}
\\
r_{\parallel}
&=
\frac{E_r^{\parallel}}{E_i^{\parallel}}
=
\frac{\eta_t \cos\theta_i - \eta_i \cos\theta_t}{\eta_t \cos\theta_i + \eta_i \cos\theta_t}
= +\frac{\tan(\theta_i - \theta_t)}{\tan(\theta_i + \theta_t)}
\label{eq:reflection_amplitudes_p}
\end{align}
where $\cos\theta_t$ can be computed from Snell's law (Eq. [eq:refraction]) as
$\cos\theta_t = \sqrt{1 - {\left(\frac{\eta_i}{\eta_t}\right)}^{2} {\sin}^{2}\theta_i}$. A negative value under the square root in this expression usually indicates that refraction is impossible, and instead all light is reflected (the _total internal reflection_ case) but here, the complex valued square root is used as part of Eq. [eq:reflection_amplitudes_s] and Eq. [eq:reflection_amplitudes_p].
Note that the leading signs of both equations would change based on different conventions for the electric field orientations above.
The same expressions also hold in the conductor case where the indices of refraction are complex valued, i.e. $\eta = n - k i$ with real and imaginary parts $n$ and $k$. The use of complex numbers here comes from the expression $\exp(-i \, \alpha \, \eta \, t)$ that describes a plane wave propagating with increasing time $t$ and a constant $\alpha$ related to the wave frequency. When introducing a value of $k > 0$, this now leads to an exponential decay of the wave as it travels inside the conductor material: $\exp(-i \, n \, \alpha \, t) \cdot \exp(-\alpha \, k \, t)$. For that reason, $k$ is also known as the _extinction coefficient_.
There exist alternate conventions of this description where the direction of the time dependence is reversed ($\exp(+i \, \alpha \, \eta \, t)$) and as a consequence, the sign of the complex component is flipped to ($n + k i$) [#Muller1969]. We use the former convention with the negative sign ($n - k i$) in this document.
---
Similarly, we can use the complex amplitudes after refraction to determine the _transmission amplitude coefficients_, where a few different expressions are commonly found:
\begin{align}
t_{\bot}
&=
\frac{E_t^{\bot}}{E_i^{\bot}}
=
\frac{2 \cos\theta_i \sin\theta_t}{\sin(\theta_i + \theta_t)}
=
\frac{2 \eta_i \cos\theta_i}{\eta_i \cos\theta_i + \eta_t \cos\theta_t}
\\
t_{\parallel}
&=
\frac{E_t^{\parallel}}{E_i^{\parallel}}
=
\frac{2 \cos\theta_i \sin\theta_t}{\sin(\theta_i + \theta_t) \cos(\theta_i - \theta_t)}
=
\frac{2 \eta_i \cos\theta_i}{\eta_t \cos\theta_i + \eta_i \cos\theta_t}
\end{align}
where, as mentioned above, most sources seem to agree on the signs. A particular simple expression of these is also available in case the reflection coefficients have already been computed:
\begin{align}
t_{\bot}
&=
1 + r_{\bot}
\\
t_{\parallel}
&=
(1 + r_{\parallel}) \frac{\eta_i}{\eta_t}
\end{align}
Obviously, these last expression now depend on the choice of the electric field directions again.
---
The complex reflection amplitudes also encode the _phase shifts_ of the respective wave components. The relative phase shift between "$\parallel$" and "$\bot$" components is given by
\begin{align}
\Delta = \delta_\parallel - \delta_\bot = \arg(r_\parallel) - \arg(r_\bot)
\label{eq:phase_shifts}
\end{align}
where both $\delta_\parallel$ and $\delta_\bot$ (when positive valued) are phase _advances_ when time is measured to increase in the positive direction [#Muller1969].
The transmission amplitudes $t_\bot$ and $t_\parallel$ are always real valued and refraction therefore does not cause any phase shifts.
---
Two more important quantities are the _reflectance_ (R) and _transmittance_ (T):
\begin{align}
R &= \frac{\text{reflected power}}{\text{incident power}} = \frac{A_r I_r}{A_i I_i}
\\
T &= \frac{\text{transmitted power}}{\text{incident power}} = \frac{A_t I_t}{A_i I_i}
\end{align}
where $A$ is the beam's area and $I$ is the intensity
\begin{align}
I = \eta \frac{c_0 \, \epsilon_0}{2} {|E|}^{2}
\end{align}
with refractive index $\eta$, speed of light (in vacuum) $c_0$, vacuum permittivity $\epsilon_0$, and electric field $E$.
The beam area ratios are found by simple trigonometry to be $\frac{A_r}{A_i} = \frac{\cos\theta_i}{\cos\theta_i} = 1$ and $\frac{A_t}{A_i} = \frac{\cos\theta_t}{\cos\theta_i}$:
![](figures/reflectance_transmittance.svg width=100%)
from which we have the final expressions
\begin{align}
R
&= \frac{\eta_i {|E_r|}^{2}}{\eta_i {|E_i|}^{2}} = |r|^{2}
\\
T
&= \frac{\cos\theta_t \eta_t {|E_t|}^{2}}{\cos\theta_i \eta_i {|E_i|}^{2}} = \frac{\cos\theta_t}{\cos\theta_i } \frac{\eta_t}{\eta_i} |t|^{2}
\end{align}
From energy conservation, we always have $R_{\bot} + T_{\bot} = 1$ and $R_{\parallel} + T_{\parallel}$ = 1, even though the same does not always hold for the amplitudes $r$ and $t$.
### Different conventions in the literature
When considering all possible orientations of the electric field vectors (2 choices for $E_i$, $E_r$, and $E_t$ for both "$\bot$" and "$\parallel"$) there seem to 16 different versions. Luckily, many of them are equivalent and from the few remaining ones, the literature is mostly divided into two groups which orient the reflected electric field vector $E_r^{\parallel}$ differently:
1. **Fresnel convention**
Here, $E_i^{\parallel}$ and $E_r^{\parallel}$ are oriented s.t. their magnetic fields $H_i^{\bot}$ and $H_r^{\bot}$ point in _opposite_ directions (Figure [electric_magnetic_fields_fresnel] below). Its name comes from the fact that it is close to Fresnel's original description of the equations where both perpendicular and parallel amplitudes (Eq. [eq:reflection_amplitudes_s] and Eq. [eq:reflection_amplitudes_p]) would use the same sign.
Its main appeal is that at perpendicular incidence, both $E_i^{\parallel}$ and $E_r^{\parallel}$ are indistinguishable which makes sense from a physical perspective. However, it accomplishes this by having $E_r^{\bot}$ & $E_r^{\parallel}$ form a left handed coordinate system which can be less convenient for subsequent calculations.
![Figure [electric_magnetic_fields_fresnel]: The _Fresnel convention_ is a common alternative of orienting the electric fields. The difference to the _Verdet convention_ is a change of handedness of the $H_r^{\bot}$ and $E_r^{\parallel}$ frame of the reflected direction highlighted in red.](figures/electric_magnetic_fields_fresnel.svg width=95%)
2. **Verdet convention**
Here, $E_i^{\parallel}$ and $E_r^{\parallel}$ are oriented s.t. their magnetic fields $H_i^{\bot}$ and $H_r^{\bot}$ point in _the same_ direction (Figure [electric_magnetic_fields_verdet_first] and repeated below as Figure [electric_magnetic_fields_verdet]). It is named after Verdet, who was an editor of Fresnel and originally switched the convention because in his opinion, the two fields should instead be equivalent at grazing angles [#Holm1991, #Clarke2009]. Compared to Fresnel's original formulation of the equations, the sign of the parallel amplitude consequently had to be flipped, see Eq. [eq:reflection_amplitudes_p].
Both the incident ($E_i^{\bot}$ & $E_i^{\parallel}$), reflected ($E_r^{\bot}$ & $E_r^{\parallel}$), and transmitted ($E_t^{\bot}$ & $E_t^{\parallel}$) cases use right handed coordinate systems which makes it easier to use with the Mueller-Stokes calculus and thus it is the convention we settled on for our implementation.
![Figure [electric_magnetic_fields_verdet]: The convention we use for directions of the electric ($E$) and magnetic ($H$) fields in case of specular reflection and transmission. In this configuration, all electric fields are parallel to each other which also known as the _Verdet convention_ in the literature.](figures/electric_magnetic_fields_verdet.svg width=95%)
Because the conventions involve changing the coordinate system orientations, the sign change between the resulting variants of the Fresnel equations can also just be interpreted as phase shift of $180˚$. However we should emphasize again that, despite their different formulations, all conventions are ultimately correct in their frame of reference --- as long as they are clearly defined and used consistently.
---
Apart from these different coordinate systems, and the few other conventions we mentioned before (e.g. time dependence of the waves vs. the complex index of refraction in Section [Equations]) there are also numerous other aspects of polarization that are not universally agreed upon. We found the the 1969 paper by Muller [#Muller1969] very useful to understand the space of possibilities and we adopt all conventions recommended in that article. (More precisely the final variants suggested by H. E. Bennett in the discussion section at the end.)
Other useful resource to us were [#Hecht1998, #Holm1991, #Bass1995, #Hauge1980, #FriedmannSandhu1965, #OhVandervelde2020, #Salik2012, #Azzam2004].
Ultimately, each convention has its own justifications and use cases in different branches of science and a lack of consistency is thus understandable. Nonetheless it is an unfortunate circumstance, especially for anyone new to the theory of polarization.
---
[^fresnel_maxwell]: It is remarkable that the original derivation by Fresnel predates Maxwell's work on electromagnetic theory and only relied on the _elastic-solid theory_.
[^german_s_p]: The literature often also uses letters "S" and "P" for perpendicular and parallel oscillations based on the German words "_senkrecht_" and "_parallel_".
Analysis and Mueller matrix formulation
-----------------------------------------------------------
We now turn to discussing the Fresnel equations in the various cases of reflection and transmission for dielectrics and conductors. At the same time, we will state the corresponding Mueller matrices that encode the laws as part of the Mueller-Stokes calculus used in the renderer. This conversion (when following all conventions from above) is straightforward and was first discussed by Collett [#Collett1971]. At the end, in Section [Different conventions in the context of Mueller matrices] we will briefly return to some of the alternative conventions and how they sometimes affect Mueller matrix definitions in the literature.
### Dielectric reflection (at a denser medium)
The first case is simple dielectric reflection at an interface that is denser than the incident medium. Consider for instance Figure [reflection_from_outside] with $\eta_i = 1.0$ and $\eta_t = 1.5$. The curves with "$\bot$" and "$\parallel$" components of the reflectance is also well known in graphics where usually rendering systems implement the non-polarized version $R_{avg} = R_\bot + R_\parallel$ that just averages the two curves.
![Figure [reflection_from_outside]: Reflectance, phase shifts, and degree of polarization (DOP) for varying incident angle of a specular reflection at the outside of a dielectric interface with relative IOR of $3/2$ ($\eta_i = 1.0, \eta_t = 1.5$).](figures/reflection_from_outside.svg width=100%)
The angle $\theta = \arctan(\eta_t / \eta_i)$, also known as _Brewster's angle_ is of special importance here, as it has several interesting properties:
1. The "$\parallel$" reflectance is zero.
2. A phase shift of $180˚$ takes place which is comparable to a half-wave plate. Note that such a discontinuous "jump" might at first seem implausible but the underlying physics is still continuous because of $R_\parallel$ smoothly approaching zero at the same time.
3. The light is fully polarized and oscillates along the "$\bot$" component (horizontally with respect to the reference frame ($\mathbf{x}, \mathbf{y}$)).
The Mueller matrix for this case follows the shape of a standard polarizer (see Table [table_optical_elements]) where we know how much energy is preserved at the two orthogonal components "$\bot$" (horizontal) and "$\parallel$" (vertical):
\begin{equation}
\frac{1}{2} \cdot \begin{bmatrix}
R_{\bot} + R_{\parallel} & R_{\bot} - R_{\parallel} & 0 & 0 \\
R_{\bot} - R_{\parallel} & R_{\bot} + R_{\parallel} & 0 & 0 \\
0 & 0 & 2 \sqrt{R_{\bot} R_{\parallel}} & 0 \\
0 & 0 & 0 & 2 \sqrt{R_{\bot} R_{\parallel}}
\end{bmatrix}
\label{eq:mm_reflection_from_outside}
\end{equation}
### Dielectric transmission (into a denser medium)
An analogous case is refraction into a medium of higher density as shown in Figure [transmission_from_outside] for $\eta_i = 1.0$ and $\eta_t = 1.5$.
![Figure [transmission_from_outside]: Transmittance and phase shifts for varying incident angles of a specular refraction from vacuum ($\eta_i = 1.0$) into a dielectric ($\eta_t = 1.5$).](figures/transmission_from_outside.svg width=100%)
As discusses previously, there is no phase shift for transmission (the transmission amplitude coefficients are always real). The matrix is also analogous to above:
\begin{equation}
\frac{1}{2} \cdot \begin{bmatrix}
T_{\bot} + T_{\parallel} & T_{\bot} - T_{\parallel} & 0 & 0 \\
T_{\bot} - T_{\parallel} & T_{\bot} + T_{\parallel} & 0 & 0 \\
0 & 0 & 2 \sqrt{T_{\bot} T_{\parallel}} & 0 \\
0 & 0 & 0 & 2 \sqrt{T_{\bot} T_{\parallel}}
\end{bmatrix}
\label{eq:mm_transmission}
\end{equation}
### Dielectric reflection and transmission (from a denser to a less dense medium)
Internal reflection _inside_ a dense dielectric ($\eta_t / \eta_i < 1$) is an interesting case due to the well known _critical angle_ ($\theta = \arcsin(\eta_t / \eta_i)$) after which all light is reflected and thus transmittance goes to zero. This is also known as _total internal reflection (TIR)_ See e.g. Figure [reflection_from_inside] for the reflection case and Figure [transmission_from_inside] for transmission in case of $\eta_i = 1.5$ and $\eta_t = 1.0$.
![Figure [reflection_from_inside]: Reflectance and phase shifts for varying incident angles of a specular reflection from the inside of a dielectric interface with relative IOR $2/3$ ($\eta_i = 1.5, \eta_t = 1.0$). Compare also with Fig. 1 in [#Azzam2004].](figures/reflection_from_inside.svg width=100%)
![Figure [transmission_from_inside]: Transmittance and phase shifts for varying incident angles of a specular refraction from a dielectric ($\eta_i = 1.0$) into vacuum ($\eta_t = 1.5$).](figures/transmission_from_inside.svg width=100%)
The phase shifts in this case were studied in detail by Azzam [#Azzam2004]. Similar to the previous case in Section [Dielectric reflection (at a denser medium)], there is a phase change of $180˚$ after $\theta = \arctan(\eta_t / \eta_i)$ but now there is an additional variation in the phase shift for incident directions below the critical angle. It's maximal value is located at angle
\begin{equation}
\arg \max_\theta \Delta(\theta) = \arccos\sqrt{\frac{1 - (\eta_t / \eta_i)^2}{1 + (\eta_t / \eta_i)^2}}
\label{eq:tir_phase_minimum}
\end{equation}
Because all light is reflected ($R_\bot = R_\parallel = 1$) and $\Delta \neq 0$, the Mueller matrix for the total internal reflection case is just a retarder:
\begin{equation}
\begin{bmatrix}
1 & 0 & 0 & 0 \\
0 & 1 & 0 & 0 \\
0 & 0 & \cos\Delta & -\sin\Delta \\
0 & 0 & \sin\Delta & \cos\Delta
\end{bmatrix}
\label{eq:mm_tir}
\end{equation}
The sign is flipped compared to the retarder matrix in Table [table_optical_elements] which is a consequence of using the relative phase shift definition from [#Muller1969] (Eq. [eq:phase_shifts]). See Section [Different conventions in the context of Mueller matrices] for formulations under alternative conventions.
**Example: Fresnel rhomb**
Fresnel [#Fresnel1823] realized that the phase shifts due to total internal reflection can be used to turn linear into circular polarization by constructing a prism where light is is reflected twice on the interior of a dielectric material. The angle have to be chosen carefully based on the refractive index s.t. the correct phase shift of $90˚$ (i.e. equivalent to a quarter-wave plate) is achieved:
![](figures/fresnel_rhomb.svg width=50%)
Note that, as seen in Figure [reflection_from_inside], a single reflection is not sufficient for typical glass-like materials as the retardation is actually $< 90˚$. Instead, the two reflections will each cause a shift of $45˚$. More precisely, the "$\parallel$" component will be advanced by $90˚$ relative to "$\bot$".
A specific example would be $\eta_i \approx 1.49661$ where the correct shift ($\Delta = 45˚$) is achieved with $\theta_i = \arg \min_\theta \Delta(\theta) \approx 51.782˚$ (Eq. [eq:tir_phase_minimum]).
Multiplying the Mueller matrices of the two reflections gives
\begin{align}
\mathbf{M}_{rhomb} &=
\begin{bmatrix}
1 & 0 & 0 & 0 \\
0 & 1 & 0 & 0 \\
0 & 0 & \cos\Delta & -\sin\Delta \\
0 & 0 & \sin\Delta & \cos\Delta
\end{bmatrix}
\cdot
\begin{bmatrix}
1 & 0 & 0 & 0 \\
0 & 1 & 0 & 0 \\
0 & 0 & \cos\Delta & -\sin\Delta \\
0 & 0 & \sin\Delta & \cos\Delta
\end{bmatrix}
\\
&=
\begin{bmatrix}
1 & 0 & 0 & 0 \\
0 & 1 & 0 & 0 \\
0 & 0 & \cos^{2}\Delta - \sin^{2}\Delta & -2\cos\Delta\sin\Delta \\
0 & 0 & 2\cos\Delta\sin\Delta & \cos^{2}\Delta - \sin^{2}\Delta
\end{bmatrix}
=
\begin{bmatrix}
1 & 0 & 0 & 0 \\
0 & 1 & 0 & 0 \\
0 & 0 & \cos(2\Delta) & -\sin(2\Delta) \\
0 & 0 & \sin(2\Delta) & \cos(2\Delta)
\end{bmatrix}
\\
&=
\begin{bmatrix}
1 & 0 & 0 & 0 \\
0 & 1 & 0 & 0 \\
0 & 0 & 0 & -1 \\
0 & 0 & 1 & 0
\end{bmatrix}
\end{align}
which is equivalent to a Mueller matrix of a quarter-wave plate with its fast axis vertical, i.e. aligned with "$\parallel$", see Table [table_optical_elements].
Finally, when sending linearly (diagonal at $+45˚$) polarized light through the prism, the outgoing light will be right-circularly polarized:
\begin{align}
\mathbf{M}_{rhomb} \cdot
\begin{bmatrix}
1 \\
0 \\
1 \\
0
\end{bmatrix}
=
\begin{bmatrix}
1 \\
0 \\
0 \\
1
\end{bmatrix}
\end{align}
### Conductor reflection
As mentioned at the beginning of Section [Theory], all equations also generalize the the case of reflection on conductors that have complex valued indices of refraction $\eta = n - k i$ where $n$ is the real part and $k$ is the extinction coefficient. Figure [reflection_conductor] shows a typical case with $\eta = 0.183 - 3.43i$ (gold at 633nm).
![Figure [reflection_conductor]: Reflectance and phase shifts for varying incident angles of a specular reflection on a conductor with complex IOR of $\eta = 0.183 - 3.43i$. Compare also with Fig. B in [#Muller1969].](figures/reflection_conductor.svg width=100%)
Plugging in complex IORs with the wrong sign convention into the equations here will result in a sign flip between the two $\sin(...)$ expressions in the matrix below. To avoid any issues in our implementation, Mitsuba 3 will automatically flip the sign appropriately so both conventions of input parameters can be used.
Compared to the dielectric cases earlier, every incident angle results in some phase shift now, and thus the Mueller matrix is a combination of a polarizer and retarder:
\begin{equation}
\frac{1}{2} \begin{bmatrix}
R_{\bot} + R_{\parallel} & R_{\bot} - R_{\parallel} & 0 & 0 \\
R_{\bot} - R_{\parallel} & R_{\bot} + R_{\parallel} & 0 & 0 \\
0 & 0 & 2 \sqrt{R_{\bot} R_{\parallel}} \cos\Delta & -2 \sqrt{R_{\bot} R_{\parallel}} \sin\Delta \\
0 & 0 & 2 \sqrt{R_{\bot} R_{\parallel}} \sin\Delta & 2 \sqrt{R_{\bot} R_{\parallel}} \cos\Delta
\end{bmatrix}
\label{eq:mm_conductor}
\end{equation}
The dashed line in Figure [reflection_conductor] also illustrates the _principle angle of incidence_ which is $\theta_i$ where the relative phase shift is exactly a quarter wavelength ($90˚$). It can be used to measure the complex IOR of a metallic material [#Collett2005].
### Fully general case (dielectric + conductor) covering all cases
Finally, we can summarize all cases using just two different Mueller matrices for reflection and transmission respectively which makes an implementation less error-prone:
\begin{equation}
\mathbf{F}_r = \frac{1}{2} \cdot \begin{bmatrix}
R_{\bot} + R_{\parallel} & R_{\bot} - R_{\parallel} & 0 & 0 \\
R_{\bot} - R_{\parallel} & R_{\bot} + R_{\parallel} & 0 & 0 \\
0 & 0 & 2 \sqrt{R_{\bot} R_{\parallel}} \cos\Delta & -2 \sqrt{R_{\bot} R_{\parallel}} \sin\Delta \\
0 & 0 & 2 \sqrt{R_{\bot} R_{\parallel}} \sin\Delta & 2 \sqrt{R_{\bot} R_{\parallel}} \cos\Delta
\end{bmatrix}
\label{eq:mm_general_reflection}
\end{equation}
\begin{equation}
\mathbf{F}_t = \frac{1}{2} \cdot \begin{bmatrix}
T_{\bot} + T_{\parallel} & T_{\bot} - T_{\parallel} & 0 & 0 \\
T_{\bot} - T_{\parallel} & T_{\bot} + T_{\parallel} & 0 & 0 \\
0 & 0 & 2 \sqrt{T_{\bot} T_{\parallel}} & 0 \\
0 & 0 & 0 & 2 \sqrt{T_{\bot} T_{\parallel}}
\end{bmatrix}
\label{eq:mm_general_transmission}
\end{equation}
It can be seen how Eq. [eq:mm_general_reflection] simplifies back to the simpler case earlier (Eq. [eq:mm_reflection_from_outside]) in case the index of refraction is real (dielectric) and no total internal reflection occurs. In that case, the relative phase shift $\Delta = 0$, so $\cos\Delta = 1$ and $\sin\Delta = 0$.
### Different conventions in the context of Mueller matrices
Some of the conventions used in other sources of course also affect the Mueller matrix formulations. As a result, the matrices written above exist in the literature in various versions that differ in the signs of the individual entries.
1. **Fresnel vs. Verdet convention**
In the Fresnel convention (Section [Different conventions in the literature]), the reflected field vectors $E_r^{\bot}$ and $E_r^{\parallel}$ define a left handed coordinate system with the direction of propagation which is incompatible with the usual definitions of the Stokes parameters. As a workaround, in case this convention is used for the Fresnel equations, an additional handedness change matrix
\begin{equation}
\begin{bmatrix}
1 & 0 & 0 & 0 \\
0 & 1 & 0 & 0 \\
0 & 0 & -1 & 0 \\
0 & 0 & 0 & -1
\end{bmatrix}
\end{equation}
needs to be introduced [#Clarke2009]. Effectively, this is nothing different than the Mueller matrix of a half-wave plate (Table [table_optical_elements]) that introduces a $180˚$ phase shift that switches all signs to the Verdet convention.
This would affect all matrices involving reflections (Eq. [eq:mm_reflection_from_outside], Eq. [eq:mm_tir], Eq. [eq:mm_conductor], and Eq. [eq:mm_general_reflection]) above.
2. **Phase shift definitions**
The relative phase shift $\Delta = \delta_\parallel - \delta_\bot$ between "$\parallel$" and "$\bot$" (Eq. [eq:phase_shifts]) is often also presented in opposite form as
\begin{align}
\Delta' = \delta_\bot - \delta_\parallel = -\Delta
\end{align}
which will swap the signs of the two $\sin(\dots)$ expressions in Eq. [eq:mm_tir], Eq. [eq:mm_conductor], and Eq. [eq:mm_general_reflection].
3. **Phase shift directions**
The phase shifts $\delta_\parallel$ and $\delta_\bot$ are sometimes also interpreted as phase _retardations_ instead of _advances_, which also influences the same signs, canceling point (2) again.
Validation against measurements
---------------------------------------------------------
Due to the many possible sources of subtle errors and sign flips in the implementation of the Fresnel equation we also validated the output of Mitsuba 3 against real world measurements from
1. An accurate in-plane acquisition system built in our lab.
2. The image-based pBRDF measurements by Baek et al. [#Baek2020].
### In-plane measurements
At the core of this lies the classical ellipsometry approach of _dual-rotating retarders_ (DRR) proposed by Azzam [#Azzam1978]. This technique is remarkably simple and works by only analyzing a single intensity signal that interacted with the material to be measured and a handful of basic optical elements (two linear polarizers and two quarter-wave plates). The setup looks as follows:
![](figures/azzam.svg width=80%)
A beam of light passes through a combination of linear polarizer and quarter-wave plate (together referred to as a _polarizer module_), then interacts with the sample to be measured, before passing through another quarter-wave plate and polarizer combination (the _analyzer module_). Both polarizers stay at fixed angles whereas the two retarder elements rotate at speeds 1x and 5x.
Compared to the original description of the setup [#Azzam1978] we use a variant which has the two polarizers rotated $90˚$ from each other, i.e. they are at a non-transmissive configuration which is much easier to calibrate compared to the fully transmissive case. For us, it is the first quarter-wave plate that rotates at the faster speed.
The measured signal $f(\phi)$ can therefore be defined as
\begin{equation}
f(\phi) = \mathbf{P}(\pi/2) \cdot \mathbf{Q}(\phi) \cdot \mathbf{M} \cdot \mathbf{Q}(5\phi) \cdot \mathbf{P}(0)
\end{equation}
for $\phi \in [0, \pi]$, linear polarizers $\mathbf{P}(\phi)$ and quater-wave plates $\mathbf{Q}(\phi)$ at angles $\phi$, and $\mathbf{M}$ the unknown Mueller matrix of the sample that is being observed.
Azzam showed that the coefficients of a 12-term Fourier series expansion
\begin{equation}
f(\phi) = a_0 + \sum_{k=1}^{12} \big( a_k \cos(2k \phi) + b_k \sin(2k \phi) \big)
\end{equation}
can be used to directly infer the 9 Mueller matrix entries $\mathbf{M}_{i,j}$.
To validate this process, we can plug in arbitrary Mueller matrices into this expression and do a "virtual measurement" which will then "reconstruct" the matrix values. As the intensity of the incoming light beam is arbitrary, matrices elements are recovered up to some unknown scale factor. In the following we thus consistently scale all matrices to have $\mathbf{M}_{0,0} = 1$.
**Air** (no sample)
![](figures/drr_simulated_signal_air.svg width=80%) ![](figures/drr_simulated_matrix_air.svg width=80%)
**Linear polarizer** (horizontal transmission)
![](figures/drr_simulated_signal_polarizer.svg width=80%) ![](figures/drr_simulated_matrix_polarizer.svg width=80%)
**Quarter-wave plate** (fast axis horizontal)
![](figures/drr_simulated_signal_retarder.svg width=80%) ![](figures/drr_simulated_matrix_retarder.svg width=80%)
Note that these matrices are the same as previously stated in Table [table_optical_elements].
---
Our physical setup mostly follows the diagram above. The two notable differences are:
1. Instead of the first linear polarizer we use a polarizing beamsplitter. This again simplifies calibration as it guarantees the linear polarization of the beam to be perfectly aligned with the optical table.
2. Due to space limitations, we use two $45˚$ mirrors to redirect the laser. This takes place before the _polarizer module_ so it does not affect the measurements.
![](figures/azzam_lab_setup.jpg width=95%)
Both the sample and the analyzer module are mounted such that they can rotate independently of each other. This means, we can probe the same with any combination of incident and outgoing angles $\theta_i$, $\theta_o$. This video showcases the measurement process for a small set of these angles:
![](figures/azzam_lab_setup_video.mp4 width="95%")
As part of the system calibration we first perform a measurement without any sample, effectively capturing the air and any potential inaccuracies of the device. As demonstrated in the following plot, the measured signal follows closely the expected curve from theory and hence the reconstructed Mueller matrix $\mathbf{M}^{\text{air}}$ is very close to the identity:
![](figures/drr_calibration.svg width=70%)
\begin{equation} \mathbf{M}^{\text{air}} = \begin{bmatrix} 1.00048 & 0.04183 & -0.00323 & -0.00198 \\ 0.00466 & 1.03467 & -0.00114 & -0.01816 \\ -0.01167 & 0.00397 & 1.03684 & -0.00046 \\ 0.00007 & -0.00043 & 0.00172 & 0.99927 \end{bmatrix} \end{equation} For the actual measurements we then use $\mathbf{M}^{\text{air}}$ as a correction term by multiplying its inverse: \begin{equation} \mathbf{M}^{\text{final}} = (\mathbf{M}^{\text{air}})^{-1} \cdot \mathbf{M} \end{equation} --- We measured two representative materials (conductor and dielectric) that can be accurately described by the Fresnel equations: 1. An unprotected [gold mirror (M03)](https://www.thorlabs.com/newgrouppage9.cfm?objectgroup_id=8851) 2. An absorptive [neutral density filter (NG1), made from Schott glass](https://www.thorlabs.com/NewGroupPage9_PF.cfm?Guide=10&Category_ID=220&ObjectGroup_ID=5011). This filter absorbs most of the refracted light and thus is very similar to observing only the reflection component of the Fresnel equations on dielectrics. In the following we show the DRR signal (densely measured over all $\theta_i = -\theta_o$ configurations of perfect specular reflection) and the reconstructed Mueller matrix entries compared to the analytical version from Mitsuba 3 (plotted over all $\theta_i$ angles). Note that some areas (highlighted in gray) cannot be measured due to the sensor or sample holder blocking the light beam. For readability, we only show the relevant Mueller matrix entries that are expected to be non-zero for the Fresnel equations: \begin{equation} \begin{bmatrix} A & B & 0 & 0 \\ B & A & 0 & 0 \\ 0 & 0 & C & S1 \\ 0 & 0 & S2 & C \end{bmatrix} \end{equation} In both the conductor and dielectric case we observe excellent agreement between theory and captured data. **Gold (conductor)** ![](figures/drr_gold_m03.mp4 width="60%" autoplay loop) ![](figures/drr_gold_m03_lab.svg width=99%) ![](figures/drr_gold_m03_analytic.svg width=99%) **Schott NG1 (dielectric)** ![](figures/drr_schott_ng1.mp4 width="60%" autoplay loop) ![](figures/drr_schott_ng1_lab.svg width=99%) ![](figures/drr_schott_ng1_analytic.svg width=99%) ### Image-based measurement We also compare against the gold measurement available in the [pBRDF database](http://vclab.kaist.ac.kr/siggraph2020/pbrdfdataset/kaistdataset.html) acquired by Baek et al. [#Baek2020]. In comparison to our setup that measures only the _in-plane_ $\theta_i, \theta_o$ angles, this data covers the full isotropic pBRDF but with lower accuracy. Nonetheless, the encoded Mueller matrices agree qualitatively with our implementation. ![](figures/drr_gold_m03_kaist.svg width=99%) ![](figures/drr_gold_m03_analytic.svg width=99%) For details about this capture setup, please refer to the details given in the corresponding article. Validation against ART --------------------------------------------------------- ### Comparison During development of Mitsuba 3 we also compared its polarized output against the existing implementation in the [Advanced Rendering Toolkit (ART) research rendering system](https://cgg.mff.cuni.cz/ART/). We used a few simple test scenes that we were able to reproduce in both systems that involve specular reflections and refractions. In each case, we directly compare the Stokes vector output (see also Section [Stokes vector output]) of the two systems. For ART, this information is normalized (s.t. $\mathbf{s}_0 = 1$) so we apply this consistently also to our results. **Dielectric reflection** A simple Cornell box scene with a dielectric sphere ($\eta = 1.5$) that causes reflection and refraction. ![](figures/art_comparison_dielectric.jpg width=50%) ![](figures/art_comparison_dielectric_s1.jpg width=90%) ![](figures/art_comparison_dielectric_s2.jpg width=90%) **Dielectric internal reflection** The same scene as before, but the IOR is reversed ($\eta = 1/1.5$) which causes internal reflection. ![](figures/art_comparison_invdielectric.jpg width=50%) ![](figures/art_comparison_invdielectric_s1.jpg width=90%) ![](figures/art_comparison_invdielectric_s2.jpg width=90%) **Conductor reflections** This scene uses two conductor spheres ($\eta = 0.052 - 3.905 i$) and also causes elliptical polarization due to the phase shifts and two-bounce reflections between the spheres. ![](figures/art_comparison_conductor.jpg width=50%) ![](figures/art_comparison_conductor_s1.jpg width=90%) ![](figures/art_comparison_conductor_s2.jpg width=90%) ![](figures/art_comparison_conductor_s3.jpg width=90%) ### Bugfix in ART During the initial comparison, we discovered a subtle bug in ART's implementation of the Fresnel equations. In their system, these are implemented based on an alternative formulation [#WilkieWeidlich2012], originally from [#WolffKurlander1990]: \begin{align} F_{\bot} &= \frac{a^{2} + b^{2} - 2 a \cos\theta + \cos^{2}\theta}{a^{2} + b^{2} + 2 a \cos\theta + \cos^{2}\theta} \\ F_{\parallel} &= \frac{a^{2} + b^{2} - 2 a \sin\theta \tan\theta + \sin^{2}\theta \tan^{2}\theta}{a^{2} + b^{2} + 2 a \sin\theta \tan\theta + \sin^{2}\theta \tan^{2}\theta} F_{\bot} \\ \tan\delta_{\bot} &= \frac{2 b \cos\theta}{\cos^{2}\theta - a^{2} - b^{2}} \label{eq:art_fresenl_tan_s} \\ \tan\delta_{\parallel} &= \frac{2 \cos\theta \left[ (n^{2} - k^{2})b - 2 n k a \right]}{(n^{2} + k^{2})^{2} \cos^{2}\theta - a^{2} - b^{2}} \label{eq:art_fresenl_tan_p} \\ \text{with} \\ \eta = n + i k \\ 2 a^{2} &= \sqrt{(n^{2} - k^{2} - \sin^{2}\theta)^{2} + 4 n^{2}k^{2}} + n^{2} - k^{2} - \sin^{2}\theta \\ 2 b^{2} &= \sqrt{(n^{2} - k^{2} - \sin^{2}\theta)^{2} + 4 n^{2}k^{2}} - n^{2} + k^{2} + \sin^{2}\theta \end{align} The Mueller matrix then follows this shape \begin{equation} \begin{bmatrix} A & B & 0 & 0 \\ B & A & 0 & 0 \\ 0 & 0 & C & S \\ 0 & 0 & -S & C \end{bmatrix} \end{equation} using \begin{align} A &= \frac{F_{\bot} + F_{\parallel}}{2} \\ B &= \frac{F_{\bot} - F_{\parallel}}{2} \\ C &= \cos(\delta_{\bot} - \delta_{\parallel}) \cdot \sqrt{F_{\bot} \cdot F_{\parallel}} \\ S &= \sin(\delta_{\bot} - \delta_{\parallel}) \cdot \sqrt{F_{\bot} \cdot F_{\parallel}} \end{align} The phase shifts $\delta_{\bot}$ and $\delta_{\parallel}$ (Eq. [eq:art_fresenl_tan_s] and Eq. [eq:art_fresenl_tan_p]) are recovered using the [`arctan2`](https://en.wikipedia.org/wiki/Atan2) function. Essentially this is similar to our formulation where we take the argument / angle of the complex reflection amplitudes (Eq. [eq:phase_shifts]). Most programming environments (C++, NumPy, MATLAB, ...) consistently use the notation $\theta = \text{arctan2}(y, x)$ for computing $\arctan(y/x)$ without ambiguities. However, the ART source code accidentally used a flipped argument order $\text{arctan2}(x, y)$ that is found e.g. in Mathematica. Such an issue is particularly subtle for the following reasons: 1. This only affects the sign / handedness of the circular polarization component, which is in most cases of relatively little importance. 2. Circular polarization only arises when light that is already polarized in some way undergoes an additional phase shift, e.g. by total internal reflection on a dielectric or simple reflection on a conductor. Specifically, a single specular reflection of unpolarized light will never produce circular polarization. One case where this can be observed is our _Conductor reflections_ test scene from above. We illustrate this sign flip by repeating the comparison of the relevant $\mathbf{s}_3$ Stokes component in that scene --- but with the previous flawed implementation. ![](figures/art_comparison_conductor_wrong_s3.jpg width=90%) After communication with the authors of ART, this issue will be addressed in the next release. Implementation =============================================================================== We now turn to the actual implementation of polarized rendering im Mitsuba 3. Due to its [retargetable architecture](https://mitsuba2.readthedocs.io/en/latest/src/getting_started/variants.html), the whole system is already built on top of a templated `Spectrum` type and in principle it is very easy to use this mechanism to introduce the required Mueller/Stokes representations but some manual extra effort needs to be made to carefully place the correct Stokes coordinate system rotations. Implementing various forms of Mueller matrices (linear polarizers, retarders, Fresnel equations, ...) covered in Section [Mathematics of polarized light] and Section [Fresnel equations] are also more or less straightforward and they can be found in the corresponding source file `include/mitsuba/render/mueller.h`. As often is the case however, the devil lies in the details and throughout the developement we ran into various issues related to coordinate systems and sign flips. In hindsight, these can all be attributed to mixing conventions from different sources [#Muller1969] or misconceptions about what they mean. We briefly list these here for reference and to help people avoid these issues in the future: 1. We initially found it natural to track the Stokes reference frames (Section [Reference frames]) from the viewpoint of the light source. After a lot of confusion about the commonly used rotation matrices (Section [Rotation of Stokes vector frames]) and the meaning of left/right handed circular polarization we realized that almost all optics sources defines this reference frame the other way around, using the point of view of the sensor. 2. The "$\bot$" and "$\parallel$" components of the transverse wave (Section [Theory]) used in the Fresnel equations (i.e. perpendicular or parallel to the plane of incidence) are pretty clearly defined but we initially did not correctly interpret how these map to the Mueller-Stokes calculus. In particular, we (wrongly) assumed that the "$\parallel$" direction should be the "horizontal" axis of the incident and outgoing Stokes vectors. We discovered this issue after the measurements of a few representative materials (Section [Validation against measurements]) which could not be explained in any other way. The fact that "$\bot$" corresponds to the "horizontal" axis is also clear when taking a closer look at how the Fresnel equations are actually converted into Mueller matrices [#Collett1971]. Surprisingly, this discussion is missing in many sources that include these matrices. 3. We were surprised to find that the complex index of refraction of conductors is most commonly defined with a negative imaginary component, i.e. $\eta = n - k i$ (Section [Equations]). In contrast, the usual definition in computer graphics uses a positive sign ($\eta = n + k i$) [#Pharr2016]. (In fact, both signs produce the same outcome if we assume no polarized light.) This is also a point where our measurements (Section [Validation against measurements]) were really useful. As the Fresnel equations need to behave consistently between dielectrics ($k = 0$) and conductors ($k > 0$), another good validation was to make sure there is no sudden sign flip between a dielectric (e.g. $\eta = 1.5$) and a conductor with only a tiny amount of extinction (e.g. $\eta = 1.5 - 0.0001 i$). 4. One of the biggest confusions we faced is related to the Fresnel equations themselves (Section [Different conventions in the literature] and Section [Different conventions in the context of Mueller matrices]). For instance, the _Fresnel_ or _Verdet conventions_ of defining the underlying electric fields cause subtle sign flips in some of the equations. You can also define phase shifts (e.g. on total internal reflection) as either phase _retardations_ or _advances_. Again, this only flips a few signs but together this gives a few different combinations of signs in the resulting Mueller matrices (e.g. Eq. [eq:mm_general_reflection]) --- and you can find all of them in various sources. All of them are correct (in their respective conventions) but this situation makes it very hard to work with multiple references simultaneously.

We originally used _Stellar polarimetry_ [#Clarke2009] as our main sources so our implementation was consistent from the beginning. However the formulation there uses the Fresnel convention and phase delays and we did not initially understand why most other sources we looked had things written down differently. (And we always came back to this question whenever some other part of the implementation was not behaving as expected.) Towards the end of development (when we had consistency with the measurements) and after a thorough literature review we decided to switch Mitsuba 3 to the much more common Verdet convention and phase advances. The remainder of this document serves as an overview of all relevant parts of the code base and it will hopefully be useful for both understanding and extending the polarization specific aspects of Mitsuba 3. Representation --------------------------------------------------------- ### Stokes and Mueller types Using the Mueller-Stokes calculus (Section [Mathematics of polarized light]) in a renderer introduces a type mismatch between fundamental quantities used in different parts of the system. For instance, the `Spectrum` array type (with either a single monochromatic entry, 3 RGB values, or intensities at sampled wavelengths) would normally be used to represent emission, reflectance, and importance in non-polarized renderers. Polarization requires us to change it to Stokes vectors in the former case, and Mueller matrices in the latter two cases however. We avoid this asymmetry we made the decision to only use Mueller matrices where in the case of Stokes vectors, only the first column is non-zero: ![](figures/stokes_vector_matrix.svg width=33%) This leads to some unnecessary arithmetic but simplifies the API which is especially useful when implementing bidirectional techniques. In particular, Mitsuba 3 has a single API (`include/mitsuba/render/endpoint.h`) that is shared by both emitters and sensors. --- When also considering the different [color representations in Mitsuba 3](https://mitsuba2.readthedocs.io/en/latest/src/getting_started/variants.html#part-2-color-representation) there are three possible Mueller matrix types: ![](figures/color_modes.svg) 1. **Monochrome mode**: $4 \times 4 \times 1$ matrices. This mode completely disables all concept of color in Mitsuba 3, and instead, only the intensity / luminance of light is simulated. Example: `scalar_mono_polarized`. 2. **RGB mode**: $4 \times 4 \times 3$ matrices RGB colors are used in many rendering systems for its simplicity. However it can be a [poor approximation of how color actually works](https://mitsuba2.readthedocs.io/en/latest/src/getting_started/variants.html#part-2-color-representation). The accuracy is even more questionable in polarized rendering modes, as e.g. the Fresnel equations for conductors will not be evaluated at wavelengths with actual physical meaning. Example: `scalar_rgb_polarized`. 3. **Spectral mode**: $4 \times 4 \times 4$ matrices A full spectral color representation is the recommended approach to use for polarized rendering. The last dimension is $4$ because Mitsuba 3 by default traces four randomly sampled wavelengths at once. Example: `scalar_spectral_polarized`. --- The remainder of this section covers a few more implementation details / helpful functions involving the `Spectrum` type and polarization. 1. There is a type trait to detect whether the `Spectrum` type is polarized or not that can be used for code blocks that are only needed in polarized variants. This is especially helpful in conjunction with the C++17 `constexpr` feature: 2. There is a similar type trait to turn a polarized `Spectrum` (i.e. a matrix) into an unpolarized form (i.e. only a 1D/3D/4D vector depending on the underlying color representation).

This is useful for instance when querying reflectance data from a bitmap texture where no polarization specific information is stored. 3. There exists a helper function to extract the $(1, 1)$ entry of the Mueller matrix / Stokes vector. Essentially, it will turn any `Spectrum` value into an `UnpolarizedSpectrum`.

This is used in a few places in the renderer where we do not care about the additional polarization information tracked by the Mueller matrix. For instance, when performing Russian Roulette (stochastic termination of long light paths) based on the current path throughput or when writing a final RGB pixel value to the image, see Section [Rendering output]. 4. Another helper function returns a depolarizing Mueller matrix (with only its $(1, 1)$ entry used) where the input is usually an `UnpolarizedSpectrum` value.

This is obviously used in places where we want materials to act as depolarizers, e.g. in the case of a Lambertian diffuse material. However, there are also many BSDFs where it is currently not clear how they should interact with polarized light, or the functionality is not yet implemented. For now, these all act as depolarizers. Lastly, this is also used for light sources, as they currently all emit completely unpolarized light in Mitsuba 3. ### Coordinate frames A second complication of the Mueller-Stokes calculus is the need to keep track of reference frames throughout the rendering process. One choice (e.g. used by the [ART rendering system](https://cgg.mff.cuni.cz/ART/) would be to store incident and outgoing frames with each Mueller matrix type directly (where one of the two is redundant in case the matrix encodes a Stokes vector). To better leverage the retargetable design of Mitsuba 3 where the `Spectrum` template type is substituted for arrays of varying dimensions we chose to instead represent these coordinate systems implicitly. For each unit vector, we can construct its orthogonal Stokes basis vector: Here, the `coordinate_system` function constructs two orthogonal vectors to `omega` in a deterministic way [#Duff2017]. The resulting Stokes basis vector is therefore always unique for a given direction. Recall from Section [Mueller matrices] that whenever two Mueller matrices (or a Mueller matrix and a Stokes vector) are multiplied with each other, their respective outgoing and incident reference frames need to be aligned with each other. This is usually achieved by some combination of rotator matrices (Eq. [eq:rotator_matrix]) that transform the Stokes frames (Section [Rotation of Stokes vector frames]). Mitsuba 3 implements two versions where the rotation angle $\theta$ is either directly known, or inferred from a provided set of basis vectors before and after the desired rotation: [Listing [mueller_rotations]: Rotate Stokes vector reference frames.] We then have more functions that build on top of this to cover the common cases of rotating incident/outgoing Mueller reference frames (**left**, see Section [Rotation of Mueller matrix frames]) and rotated optical elements (**right**, see Section [Rotation of optical elements]): ![](figures/rotated_mueller_matrix_crop.png width=95%) ![](figures/rotated_element_crop.png width=95%) [Listing [mueller_rotations]: Rotate Mueller matrix reference frames.] Both of these require a `forward` unit vector that points along the propagation direction of light. Algorithms and materials --------------------------------------------------------- With the discussion about representation of light via Stokes vectors and scattering via Mueller matrices out of the way we can now turn to the more rendering specific aspects of the implementation: the algorithms, material models, and how the two are coupled. ### Handling of light paths In principle, not much changes when adding polarization to a rendering algorithm and the retargetable type system of Mitsuba 3 will do a lot of the heavy lifting. In particular, emitters will return emission in form of Stokes vectors (or rather Mueller matrices with three zero valued columns.) and _polarized bidirectional scattering distribution functions_ (pBSDFs) will return Mueller matrices that are multiplied with the emission: ![](figures/light_path_ordering.svg width=80%) As it turns out, polarization breaks some of the symmetry of light transport that is usually exploited by rendering algorithms [#Mojzik2016, #Jarabo2018], especially for bidirectional techniques. As a consequence, the actual direction of light propagation (i.e. from emitter to sensor) needs to be kept in mind at all times as it dictates the ordering in which matrices will be multiplied. Consider the two extreme ends of bidirectional algorithms that construct a light path with $n$ vertices $(\mathbf{x}_0, \dots, \mathbf{x}_{n-1}$) where the ordering is from emitter to sensor as in the figure above: 1. **Light tracing** follows the natural ordering of events: we sample rays starting from light sources and their emitted light (in form of a Stokes vector $\mathbf{s}_0$) is multiplied by Mueller matrices $\mathbf{M}_k$ returned from pBSDFs encountered along all scattering events $k$ of a light path. During path generation, a _throughput_ variable $\boldsymbol{\beta}_k^{\text{(lt)}}$ is updated which is the sequence of previous Mueller matrices multiplied onto the original emission vector from the left: $$ \boldsymbol{\beta}_k^{\text{(lt)}} = \mathbf{M}_k \cdot \mathbf{M}_{k-1} \cdot \dots \cdot \mathbf{M}_1 \cdot \mathbf{s}_0 $$ 2. **Path tracing**, on the other hand, follows things in reverse: rays are sampled starting from the sensor side. As conceptually the same computation needs to take place as in the previous case, the path _throughput_ at each bounce is now a Mueller matrix $\mathbf{B}_k^{\text{(pt)}}$ where Mueller matrices from encountered pBSDFs are multiplied from the right: $$ \mathbf{B}_k^{\text{(pt)}} = \mathbf{M}_{n-1} \cdot \mathbf{M}_{n-2} \cdot \dots \cdot \mathbf{M}_k $$ Only when hitting the light source (vertex $k=0$) directly, or connecting to it via _next event estimation_ will the Stokes vector $\mathbf{s}_0$ be actually multiplied as well. Polarized rendering algorithms compute Stokes vectors as output where either only their intensity (1st entry) or all individual components are written into some image format, see Section [Rendering output] below. ### pBSDF evaluation and sampling During Section [Handling of light paths] we glossed over the tricky question of coordinate system rotations and silently assumed that all Mueller matrix multiplications are taking place in their valid reference frames. Mitsuba 3 deals with this issue in a consistent way that is tightly coupled to how BSDF evaluations and sampling take place. #### Default case without polarization For completeness, we will first briefly discuss the usual convention **without polarization** specific changes. Also see `include/mitsuba/render/bsdf.h` for details about the BSDF API. Mitsuba 3 (like most modern rendering systems) uses BSDF implementations that are completely decoupled from the actual rendering algorithms in order to be as extensible as possible. To facilitate this, their sampling and evaluation is taking place in some canonical _local_ coordinate system that is always aligned with the shading normal $\mathbf{n}$ pointing _up_ (towards $+\mathbf{z}$): ![](figures/world_local_unpol.svg) Note also how both incident and outgoing directions $\boldsymbol{\omega}_i$, $\boldsymbol{\omega}_o$ point "away" from the center and that, due to reciprocity of BSDFs, they are completely interchangeable Care only needs to be taken when sampling the BSDFs, i.e. when only one direction is given initially, and a new one should be generated. In this scenario, Mitsuba 3 (arbitrarily) has the convention that $\boldsymbol{\omega}_i$ is given, and $\boldsymbol{\omega}_o$ is newly sampled. As rendering algorithms take place in _world space_ however, some transformations between the two spaces are necessary: #### Extra considerations with polarization In a setting **with polarization** this aspect becomes more involved as there are now also Stokes basis vectors associated with the local & world space incident and outgoing directions that are subject to these transformations: ![](figures/world_local_pol.svg) Mitsuba 3 makes heavy use of its _implicit_ Stokes coordinate frames (Section [Coordinate frames]) here. Mueller matrices returned from pBSDF evaluation or sampling are always assumed to be valid for the implicit bases of the local unit vectors ($-\boldsymbol{\omega}_o^{\text{local}}$ and $\boldsymbol{\omega}_i^{\text{local}}$ in the Figure above). Or outlined more clearly in code: ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ C++ linenumbers BSDFContext ctx; // Used to pass optional flags to BSDFs SurfaceInteraction3f si = ...; // Returned from ray-scene intersections. // Incident and outgoing directions in world space Vector3f wo = ...; Vector3f wi = ...; // Transform into local space ... Vector3f wo_local = si.to_local(wo); si.wi = si.to_local(wi); // ... and evaluate the pBSDF. Spectrum bsdf_val = bsdf->eval(ctx, si, wo_local); // The returned Mueller matrix `bsdf_val` is then valid for the // following input & output Stokes reference bases that are defined // implicitly. Vector3f bo_local = stokes_basis(-wo_local); Vector3f bi_local = stokes_basis(si.wi); ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In order to perform the correct rotations, throughout this description the two unit vectors need to point along the propagation direction of light. In practice, this means that compared to the unpolarized Figure above, the vector pointing towards the emitter side needs to be reversed. At this point we have all the information to transform the Mueller matrix such that it is valid in the global Stokes bases `bo = stokes_basis(-wo)` and `bi = stokes_basis(wi)` where it can be safely multiplied as discussed in Section [Handling of light paths] earlier. This involves converting these basis into a common space and applying a Mueller matrix rotation (Section [Coordinate frames]). All of this is done as part of a single helper function: The complementary `to_local_mueller` function is also implemented but is usually not needed apart from debugging purposes. Finally, the following two code snippets show heavily commented pBSDF evaluation and sampling steps that include all of the considerations above. This is comparable to what is done e.g. in the current path tracer implementation of Mitsuba 3 (`src/integrators/path.cpp`). Note that only the lines involving `to_world_mueller` had to be added compared to a standard unpolarized path tracer. ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ C++ linenumbers BSDFContext ctx; // Used to pass optional flags to BSDFs SurfaceInteraction3f si = ...; // Returned from ray-scene intersections. // Incident and outgoing directions in world space Vector3f wo = ...; Vector3f wi = ...; // Transform into local space ... Vector3f wo_local = si.to_local(wo); si.wi = si.to_local(wi); // ... and evaluate the BSDF Spectrum bsdf_val = bsdf->eval(ctx, si, wo_local); // At this point, the Mueller matrix `bsdf_val` is valid in the implicit // reference frames of local space vectors `-wo_local` and `si.wi`. // Both unit vectors follow the direction of the light. (We assume an // algorithm similar to path tracing here. When tracing from the emitter side, // things will be reversed.) // Transform Mueller matrix into world space bsdf_val = si.to_world_mueller(bsdf_val, -wo_local, si.wi); // Now, the Mueller matrix `bsdf_val` is valid in the implicit // reference frames of world space vectors `-wo` and `wi`. ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [Listing [code_bsdf_eval_unpol]: Evaluate a pBSDF]

~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ C++ linenumbers BSDFContext ctx; SurfaceInteraction3f si = ...; // Incident direction in world space ... Vector3f wi = ...; // ... and transformed into local space si.wi = si.to_local(wi); // Sample based on random numbers (in local space) auto [bs, bsdf_weight] = bsdf->sample(ctx, sampler.next_1d(), sampler.next_2d()); // At this point, the Mueller matrix `bsdf_weight` is valid in the implicit // reference frames of local space vectors `-bs.wo` and `si.wi`. // Both unit vectors follow the direction of the light. (We assume an // algorithm similar to path tracing here. When tracing from the emitter side, // things will be reversed.) // Transform sampled direction into world space Vector3f wo = si.to_world(bs.wo); // Transform Mueller matrix into world space bsdf_weight = si.to_world_mueller(bsdf_weight, -bs.wo, si.wi); // Now, the Mueller matrix `bsdf_weight` is valid in the implicit // reference frames of world space vectors `-wo` and `wi`. ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [Listing [code_bsdf_sample_unpol]: Sample from a pBSDF] ### Implementing pBSDFs After looking at rendering algorithms and how they interact with pBSDFs, we still need to discuss the internals of a given pBSDF implementation, i.e. what is happening in the (local space) evaluation and sampling routines. As mentioned above, these should always return valid Mueller matrices based on the implicit reference frames of the (local) incident and outgoing directions. In the following Figure, these are marked as $\mathbf{b}_o^{\text{local}}$ and $\mathbf{b}_i^{\text{local}}$. ![](figures/bsdf_coord_change.svg width=60%) In terms of code, they are computed as ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ C++ linenumbers Vector3f bo_local = stokes_basis(-wo_local); Vector3f bi_local = stokes_basis(wi_local); ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ When pBSDFs construct Mueller matrices, these are usually based on some very specific Stokes basis convention, e.g. described in textbooks. For instance, the current pBSDFs found in Mitsuba 3 are mostly built from Mueller matrices based on the Fresnel equations. This means, they are constructed based on the perpendicular ("$\bot$") and parallel ("$\parallel$") vectors relative to the plane of reflection. Please refer back to Section [Fresnel equations] for details. In particular, the main "horizontal" or $\mathbf{b}_{i/o}$ vector is the "$\bot$" component that can be constructed as follows for incident and outgoing directions: ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ C++ linenumbers Vector3f n(0, 0, 1); // Surface normal Vector3f s_axis_in = dr::normalize(dr::cross(n, -wo_local)), s_axis_out = dr::normalize(dr::cross(n, wi_local)); ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ As illustrated in the Figure above, a (final) coordinate rotation needs to take place to convert the Mueller matrix to the right bases before it can be returned from the pBSDF. For this rotation, we need to know along what direction the light is traveling so we need to correctly distinguish between $\boldsymbol{\omega}_i$ and $\boldsymbol{\omega}_o$. During path tracing (or any algorithm that traces from the sensor side), Mitsuba 3 uses BSDFs with the convention that light arrives from $-\boldsymbol{\omega}_o$ and leaves along $\boldsymbol{\omega}_i$ (because $\boldsymbol{\omega}_o$ is sampled based on $\boldsymbol{\omega}_i$ that points towards the sensor side). During light tracing from emitters, the roles are reversed however: light arrives from $-\boldsymbol{\omega}_i$ and leaves along $\boldsymbol{\omega}_o$. Mitsuba 3 has a special BSDF flag (`TransportMode`) that carries the relevant information to resolve this confusion and is used for similar "non-reciprocal" situations in bi-directional techniques [#Veach1998]. Putting everything together, here is a short snippet as example of how the a pBSDF evaluation based on the Fresnel equations can be implemented. This is very close to what is done for instance in `src/bsdfs/conductor.cpp`. Rendering output --------------------------------------------------------- In this section we will briefly discuss the output side of the rendering system and how to extract polarization specific information from it to use in experiments. ### Intensity output In most natural scenes, polarization effects are very subtle and hardly visible to the eye. Enabling polarized rendering modes in Mitsuba 3 therefore also usually does not produce vastly different outputs compared to an unpolarized mode. However, in particular cases such as specular interreflections or as soon as polarizing optical elements (such as linear polarizers) are introduced to the scene differences can be noticed. Here we compare[^image_comparison] unpolarized (**left**) vs polarized (**right**) renderings of a simple Cornell box scene with both dielectric and conductor materials and a microfacet based rough conductor pattern on the otherwise diffuse walls. Because differences are still subtle in this case, we also show a visualization of the pixel-wise absolute error. ![Figure [output_unpol]: `scalar_spectral` mode](figures/scene_unpol.png width=95%) ![Figure [output_pol]: `scalar_spectral_polarized` mode](figures/scene_pol.png width=95%) ![Figure [output_unpol_pol_comparison]: Pixel-wise absolute error between the two images.](figures/scene_diff.jpg width=62%) Alternatively, the difference is clearer when opening both images in separate tabs and switching between them. Another simple but effective way to make the effects visible is to place a (rotating) linear polarizer in front of the camera. Such animations clearly show the underlying complexity that arises from accounting for polarization: