1. Introduction
Techniques in active or laser polarimetry are gaining popularity for applications in remote sensing [
1,
2], microscopy [
3], biomedical optics [
4,
5], nanostructure characterization [
6,
7], and industrial process control [
8], among others [
9]. The most general active polarimeters, also known as
Mueller-matrix polarimeters (MMPs), measure the complete
Mueller matrix, which may be considered the complete
polarization signature of the illuminated object, by recording the intensity or irradiance of polarized light reflected, transmitted, or scattered by the object for a minimum of 16 polarimeter channels, which are combinations of transmitter and receiver polarization states determined by modulator settings [
10,
11]. Techniques that utilize MMPs are in the fields of
Mueller-matrix polarimetry [
12,
13] or
Mueller-matrix ellipsometry [
14]. The evolution of active and laser polarimetry from laboratory to field instruments has been slow due mainly to limitations on speed and miniaturization imposed by the need to make 16 measurements per signature. While laboratory polarimeters should be capable of measuring general 16-dimensional polarization signatures [
15], such generality is not needed in field instruments designed to sense specific targets or conditions in specific scenarios. Laboratory databases of optical polarization signatures reveal that classification algorithms can be trained on subsets of the Mueller matrix [
16,
17,
18,
19]; it is therefore practical to design faster, smaller active polarimeters that measure only those characteristic subsets, ie,
partial Mueller-matrix polarimeters (pMMPs) [
20,
21].
Prior published approaches for pMMP design suffer from over-simplifying assumptions and/or computational difficulties. The DRM approach of Tyo et al. [
20,
21] applies vector algebra to the set of Mueller matrices, which however do not form a vector space, and relies on the instrument-matrix pseudoinverse, which is prone to computational instability without proper conditioning [
22]. The approach of Anna et al. [
23] makes a priori simplifications of the scene space, particularly that certain Mueller-matrix elements can be neglected in the measured data, which could break down and corrupt the results if the polarimeter encounters unanticipated objects. The technique introduced here, by operating on the vector space of
reduced Mueller matrices
, defined in
Section 2 and proven identical to
in
Appendix B, makes no simplifying assumptions about the measured scene data, admitting any Mueller matrix into scene space. A priori signatures are used to simplify the
target Mueller matrices the pMMP is designed to measure, and the reduced irradiance is expressed as the inner product of the reduced target matrix and the reduced instrument matrix, which are vectors in
. The method thereby avoids use of a pseudoinverse, instead expressing and maximizing the reduced irradiance as a standard inner product on the reduced-Mueller space
. A priori signatures are used to simplify the target Mueller matrices, but no assumptions are made about non-target components in the scene, and pseudoinverse is avoided.
The new pMMP design method uniquely optimizes over channel and signature combinations. In addition to any linear combination of channel irradiances, which may be casually referred to as
linear-combination channels (see
Section 3.1), the technique can combine different signatures into pMMP channel design. In imaging it may be assumed that the different signatures, to which correspond specific objects or materials, are spatially resolved, although this is not essential. The new technique can uniquely train a pMMP channel, or group of channels, to one signature, and train a second channel or group to another signature, et cetera. While at this stage it does not consider the effects of instrument noise, and so assumes the signal-to-noise ratio (SNR) is sufficiently high, it naturally optimizes according to scene contrast or
signal-to-background ratio (SBR), shown in
Section 4 using a
nonlinear channel combination.
Section 4 also shows how the new method can optimize a linear combination of measured independent channels to lower the classifier dimension and variance to the limit of a maximally biased homogeneous classifier for a particular target matrix as a linear combination of all available channels. Also in
Section 4, potential classification algorithms based on the new pMMP design method are compared with other classifiers that have utilized Mueller matrices. The appendices review relevant aspects of the Mueller cone, leading to proof of the reduced-Mueller vector space.
2. Reduced Mueller-Matrix Vector Space
The
Stokes parameters quantitatively describe the polarization state of an electromagnetic wave, and the
Mueller matrix is the linear transformation of the Stokes parameters upon interaction with a material object or medium [
10]:
The Mueller matrix can be considered the
polarization signature of the object or medium in the Stokes basis. While conventional polarization mathematics invokes concepts of vector spaces—the Stokes parameters are even typically referred to as the
Stokes vector—due to the fact that they do not contain additive inverses, neither the set of physical Stokes parameters nor the set of physical Mueller matrices form actual vector spaces. The set of Stokes “vectors”
where
diag
forms a solid cone with the usual norm of
. As reviewed in
Appendix A, a cone
K is a set closed under
non-negative linear combinations within a normed real vector space, which for the Stokes parameters is
The condition
0 is equivalent to a degree of polarization
The set of Mueller matrices, which map the cone
K into itself, also forms a cone,
as proven in
Appendix A. A cone differs fundamentally from a vector space [
24], and theorems derived for vector spaces do not generally hold for Stokes vectors and Mueller matrices. In this section a vector space of reduced Mueller matrices is defined on which the theorems of vector algebra can be universally applied. This vector space is then utilized to derive channels of partial Mueller-matrix polarimeters and polarization classifiers for general configurations and example optical pMMPs.
Figure 1 is a block diagram of a general pMMP. The source electromagnetic wave, described by Stokes vector
is transformed to the illumination state
of which there can be
M tunable settings in the
polarization-state generator (PSG). In this paper the illumination so produced is assumed to be a plane wave or an elementary paraxial beam when it interacts with the scene/object/material, with constant polarization state over the illuminated area. Mueller matrix
represents the illuminated scene/object/material of interest. For imaging, the scene comprises a variety of objects or materials, each with different
that are spatially resolved in the recorded image. Through reflection, transmission, and/or scattering, the scene transforms the illumination state as
A portion of the reflected, transmitted, or scattered light is collected by the receiver and directed through the
polarization-state analyzer (PSA), which can be in
N tunable settings. As will be expanded below, the PSG and PSA are themselves represented by Mueller matrices, which are functions of their modulator settings. In particular, the PSA is taken to include the detector or camera, which, by recording only irradiance, reduces the PSA transformation to the first row of its Mueller matrix, which is denoted
Any measurement of any linear polarization property of any object can be expressed as a pMMP.
Adapting from Tyo et al. [
20], the PSA and PSG Stokes parameters for the
pMMP channel are defined as
for the
PSG hardware setting and the
PSA hardware setting.
represents the electromagnetic field exiting the PSG (
), while
is the top row of the Mueller matrix representing the PSA. For an active or laser polarimeter, as in
Section 3.2,
and
are typically on the boundary of the Stokes cone
K, while for a passive polarimeter, as in
Section 3.1,
is typically on the boundary while
is in the interior of
is also in the interior of
in either passive or active mode, if the scene
causes any depolarization. A polarimeter irradiance measurement is then expressible as
where
is the
dyadic product or “outer product” of the PSA and PSG Stokes vectors:
Converting from
to
, i.e.,
the polarimeter irradiance measurement, Equation (
6), can be written as
is the
instrument vector to be optimized for pMMP design.
The dot-product of Equation (
10) is over
, which is isomorphic to
which contains, in addition to Mueller matrices, all non-physical real
matrices, including those with
The range of pMMP solutions that could be found by inverting this equation is unconstrained, less unique, and computationally unstable. The sets of physical
and
do not form vector spaces since they lack additive inverses, so there is no inner product on
that is constrained to conventional Mueller matrices.
A Mueller vector space and inner product can however be created by reducing the measured irradiance as follows. Unpolarized illumination of irradiance
is represented by
while a non-polarizing PSA (e.g., a conventional non-polarizing camera) is represented by
The corresponding
unpolarized irradiance is
can generally be obtained, even in a laser polarimeter, through measurement prescriptions like those noted in
Section 3.1 and
Section 3.2.
The
reduced irradiance of the
polarimeter measurement is then defined as
The dyadic that generates the reduced irradiance
is then
and the reduced vector Mueller matrix is
Appendix B proves that the set of
is a vector space, and is equivalent to
. The reduced-Mueller vector space is denoted
Note
and
are
not normalized, because the set of normalized matrices is not closed under scalar multiplication. The reduced instrument vectors are also in
, and it has the inner product
The inner-product space
provides a completely linear description of the Mueller elements, enabling efficient specification of optimal pMMP channels, without use of a pseudoinverse, as well as diverse classifiers through which field data can be mapped at high speed on edge processors. The reduced Mueller matrices are physical to the extent that the parent, unreduced Mueller matrices are physical. Higher-order statistics than Equation (
2) have been used to show that some matrices in the cone defined by Equation (
3) are non-physical [
25,
26], and these matrices have been termed
pre-Mueller matrices [
27]. Non-physical matrices in the Mueller cone are avoided by our pMMP design technique, since the measured or modeled input/training Mueller matrices, as well as the solution instrument matrices, are physical by construction.
The inner product utilized for our pMMP design, Equation (
15), is over
rather than
and is constrained to the Mueller cone.
3. Partial Mueller-Matrix Polarimeter Design
The general pMMP design problem is stated as follows: Given a target Mueller matrix
and a polarimeter configuration defined by a parameter set
determine the set
that maximizes representation of the target matrix in the set of
polarimeter measurements
and
The polarimeter configuration is described by the Stokes parameters
and
in Equations (
4) and (
5), which depend on the parameters
which are often angular orientations but can be any combination of polarization-modulator parameters (see
Section 3.1 and
Section 3.2). In general
where
and
are the number of hardware parameters per PSG and PSA state, respectively. Hardware components that produce two (or more) states per parameter setting have
for instance
for the PSA polarizing prism assumed in
Section 3.1 and
Section 3.2.
The raw polarimeter measurements are expressed by Equation (
10), and by applying Equations (
12)–(
14) these can be converted into the reduced irradiances
Equation (
16) expresses a polarimeter measurement of an arbitrary scene. A measurement of the target only is expressed as
where
is analogous to
of Equation (
14).
Figure 2 depicts passive measurement scenarios corresponding to
and
For remote sensing
of Equation (
16) must be arbitrary enough to account for any object that might be encountered, i.e.,
generally has 15 non-zero elements, but the target matrix
is generally simplified based on a priori knowledge, i.e.,
has
non-zero elements. pMMP design can hence be interpreted as determination of the
that maximizes representation of the
non-zero elements of
in the measurement
The target matrix
is a
-dimensional vector in the 15-dimensional vector space
defined in
Section 2. Moreover, the set of unit vectors in each of the
dimensions of
forms the canonical basis of a
-dimensional subspace (or hyperplane) of
naturally denoted
The reduced target irradiance expressed by Equation (
17) is therefore proportional to the cosine of the angle between the instrument vector
and the target hyperplane
, while the arbitrary measurement of Equation (
16) is proportional to the cosine between the same instrument vector and an arbitrary vector in
The projection of the instrument vector onto any of the
dimensions orthogonal to
contributes no representation of the target signature to the polarimeter measurement, effectively wasting detector dynamic range on Mueller elements that provide no contrast and thereby lowering the overall contrast of the target against the rest of the scene. In order to maximize target contrast the instrument vector
must be chosen to maximize its projection onto the target vector
Examples of
are given in
Section 3.1 and
Section 3.2.
A gradient operator defined on
as
and applied to measured irradiances, Equations (
16) and (
17), allows channels to be verified as linearly independent. As elaborated in
Section 3.1 and
Section 3.2, the
pMMP channels can be constrained by the requirement that the gradient vectors
be linearly independent. Those sections also show how the design technique can be applied to linear combinations of channel irradiances. As shown by example in
Section 3.2, under-determined pMMPs typically offer several independent channels with identical maximum target irradiance
These can often be further optimized in linear combinations, as in
Section 3.2, or serve as inputs to classification algorithms, as discussed in
Section 4.
Earlier pMMP design methods follow the demodulation approach used for complete Mueller-matrix polarimeters (MMPs), stacking irradiances of multiple channels, each a version of Equation (
10), to form a
data-reduction matrix (DRM) that is then inverted. But for typical under-determined pMMPs the DRM is not square, and this approach must either artificially reduce the dimension of the Mueller matrix, to obtain a smaller square DRM [
23], or rely on pseudoinverses, which introduce computational instability or at least additional conditioning requirements [
20,
21]. The pMMP design method introduced here is not a modified DRM method; it optimizes each channel independently, affording computational simplicity and flexibility in channel definition. For instance, different channels of the same pMMP can be optimized to different objects that may occur in the same scene, and
Section 4 shows channel flexibility by extension to a non-linear combination representative of the SBR statistic critical in remote sensing.
3.1. Two-Channel Passive Polarimeter
Passive optical polarimeters rely on solar illumination. Direct sunlight is typically unpolarized, while indirect sunlight may be partially linearly polarized due to atmospheric Rayleigh scattering. Direct solar illumination will be assumed here, implying the normalized illumination Stokes parameters
For passive polarimeters
A common PSA hardware configuration employs a polarizing prism, of which there are several types, to split the collected power into two signals or images with orthogonal polarization states, typically orthogonal linear states [
28]. Here the polarizing prism is assumed to split the collected power into horizontal and vertical linear states. This configuration can be generalized, as assumed here, by placing a half-waveplate in front of the polarizing prism. If the waveplate crystal axis makes the angle
with the horizontal axis, then the waveplate effectively rotates the polarizing prism by the angle
Such a configuration is used in prominent astronomical telescopes, with a Wollaston prism projecting the orthogonal images to adjacent halves of a single digital camera [
29]. Multiplication of the waveplate and prism Mueller matrices [
10] specifies the PSA Stokes parameters for this configuration as
where
specifies the prism output port. Applying Equations (
19) and (
20) to a general Mueller matrix per Equation (
6), the general measured irradiance is given by
The unpolarized irradiance could be obtained by imaging an object with
although this is impractical in many field scenarios. More reliable is to form the difference of the two channels, in which the unpolarized irradiance is naturally eliminated,
and the notation indicates that the difference is a reduced irradiance that can be optimized using the current method. Indeed, since Equations (
16)–(
18) are linear in the instrument matrix, the current pMMP design method can be applied to any linear combination of reduced irradiances; these may be referred to as “linear combinations of channels,” even though the channels must be individually implemented. Linear-combination channels require two or more hardware channels. Equation (
22) can also be obtained by forming the reduced instrument matrix of this pMMP, from Equations (
13), (
19), and (
20),
and then using
as the difference channel. Imaging of differential irradiance like that expressed by Equation (
22) is commonly referred to as
polarization-difference imaging (PDI) [
30].
Figure 2 depicts a simple yet non-trivial example to illustrate PDI optimization. In
Figure 2a the specified two-channel passive pMMP records or images an arbitrary scene, which may or may not include the target of interest. In
Figure 2b the pMMP is oriented to record or image a cylindrical target of interest, for instance a fiberglass bundle, with its axis horizontal, for simplicity, perpendicular to the vertical plane containing both the sun and the polarimeter. Some strip of the cylinder is assumed to reflect sunlight specularly, to the polarimeter, for any solar angle
in the vertical plane. The fibers are furthermore assumed to exhibit morphological diattenuation oriented at a fixed twist angle
relative to the cylinder axis. In this geometry the cylinder therefore exhibits diattenuation through two competing effects: fixed twist anisotropy and bistatic reflection, the latter varying with the solar angle and peaking at the Brewster angle
. In this example the pMMP will be optimized by expressing the differential irradiance of Equation (
22) in terms of the object, illumination, and modulator parameters, and maximizing it.
The Mueller matrix of this idealized target is specified by multiplying the Mueller matrix of a linear diattenuator, with assumed
diattenuation at orientation
[
10], by the Mueller matrix of a glass reflector at angle of incidence
[
31].
The only two elements that affect the example pMMP are
where
&
are complicated functions of
defined in Ref. [
31]. At normal incidence (
),
and only the twist anisotropy matters, while at the Brewster angle (
),
and the reflected light is mostly horizontally polarized. To maximize the projection
the derivative of Equation (
22) is set to zero, resulting in
which is plotted in
Figure 3 vs. solar angle and several values of
. At sunrise (0600) the waveplate setting should be half the twist-anisotropy angle, but by late morning the optimal angle setting falls to near horizontal
, where it stays for about 6h until rising again at sunset. This also shows that discrimination of the twist feature should be most feasible in the early morning, or early evening if the sensor is facing east.
3.2. Four-Channel Active Polarimeter
Active optical polarimeters typically employ laser illuminators. The illumination polarization state can be controlled, providing access to more details of the target signature/Mueller matrix than possible with passive polarimeters, also independent of weather and time of day. For demonstration, here the active polarimeter is assumed to comprise the same PSA specified in
Section 3.1 for the passive polarimeter, i.e.,
and to transmit two PSG states, each generated by the ordered combination of a half-waveplate and a quarter-waveplate with crystal-axis orientations
and
respectively, with
With a means of multiplexing the polarization states, which is generally not critical to the pMMP design, this configuration constitutes an
-channel active polarimeter. In this configuration the active channels are denoted by the angle triplet
While this configuration is used for demonstration, the pMMP design method is general enough for any active-polarimeter hardware configuration with any number of measurement channels.
Assuming a vertical linearly polarized laser source, multiplying the half-waveplate and quarter-waveplate Mueller matrices [
10] allows the PSG states to be expressed as
with
Combining Equations (
27) and (
28) per Equation (
6) expresses the general measured irradiance as
This pMMP design can measure most Mueller elements and features. The active polarimeter can measure the unpolarized irradiance
directly, specifically by summing channel pairs
and
with PSG states satisfying
so obtained can then be subtracted from other measured channels to form the reduced irradiance per Equation (
12). Alternatively,
can be eliminated, as in the passive polarimeter, by differencing each pair of measured irradiances
and
. For simplicity this approach is adopted below.
Further assuming the reciprocity conditions of Equations (
A16) and (
A17), the reduced measured irradiance in the
difference channel is expressed as
The active pMMP provides multiple difference channels, compared to the single difference channel of the passive pMMP, each of which can be optimized per the design method once a target Mueller matrix is defined. The active channels are typically further constrained to have linearly independent gradient vectors, obtained by applying Equation (
18) to Equation (
34). Measured data from these channels can be passed to a machine learning algorithm for generalized classification derived from a training dataset obtained from any model or measurement of the Mueller elements that appear in the pMMP channels. Training processes may generally include background and clutter polarization signatures in addition to the target signature(s), the incorporation of which is considered in
Section 4, where signal-to-background ratio (SBR) optimization is accommodated.
Next an active target must be defined. A common application for a laser sensor is classification of man-made objects on and within natural backgrounds. Furthermore, laser sensors are usually monostatic or quasi-monostatic. In this scenario the target Mueller matrix is sometimes taken as that of an ideal partial depolarizer [
32], i.e.,
with
for a smooth metal. Assuming this target, substituting into Equation (
34) gives the reduced target irradiance in the difference channel as
Computing this differential irradiance over the 3D array
reveals it is maximized for
for which
and
For these channels, the general reduced irradiance (Equation (
34) of a reciprocal scene becomes
with corresponding gradient vector
Table 1 lists pMMP solution channels that can be further combined to enhance representation of this target. Channels 1–4 are linearly independent; channels 5–6 are linear combinations of channels 1–4 that help elucidate the design criteria discussed below.
The optimal difference channels in
Table 1 still have components orthogonal to the target hyperplane
. For example, from Equation (
38),
and
The orthogonal components can be completely eliminated by forming linear combinations of the difference channels, in this case sums of differences, like
from Equation (
37), for which
demonstrating the advantage of the 4-channel configuration. Unlike channels 1–4, channels 5 and 6 each represent
two target Mueller elements (
and
), which could be advantageous in many scenarios, but at the expense of retaining two orthogonal components (
and
), e.g.,
The orthogonal components effectively lower the target representation in the pMMP channel. Channels 5–6 can likewise be combined to eliminate orthogonal components, i.e.,
. These results can be interpreted in the context of the bias-variance tradeoff discussed in
Section 4.
The channels specified in
Table 1 are optimal for the ideal partial depolarizer represented by Equation (
35). A great variety of other objects and materials of interest in remote sensing and microscopy exhibit Mueller matrices with off-diagonal elements, for which the optimal channels are obviously different. Certain materials of interest, for instance plastics [
13] and atmospheric aerosols [
33], exhibit retardance (
and
) that converts a fraction of linear polarization to circular polarization. Referring to Equations (
29)–(
31) and (
34), the example four-channel active polarimeter can be tuned to maximize the differential irradiance of such targets by tuning the waveplate angles such that
In biomedical optics, use of elliptical polarization has been shown to enable 3D imaging of layered biological tissues and fluids [
4]. The example active pMMP can be constrained to provide elliptical illumination by setting
(maximum ∼ circular). The corresponding differential irradiance of a target (Equation (
34) for a reciprocal target) could then be maximized, and linear-combination channels could be formed to eliminate non-target projections, which would include
components in Equation (
34) for targets without retardance.
4. Classifier Design
The
bias–variance tradeoff is a cornerstone of machine learning that balances performance on training datasets with the ability to generalize to unforeseen data. For automated- or aided-target-recognition (ATR) algorithms or classifiers, the smallest possible training dataset comprises the target only. Excluding background and clutter signatures from the training dataset results in a highly biased classifier. Likewise, relying on a single channel or feature lowers the classifier dimension, limiting the amount of variance that can be introduced. Referring to the example of
Section 3.2, the pMMP design method indicates that the sum-difference channels
and
are all parallel to the target subspace of the partial depolarizer (Equation (
35)), but
has more variance since it spans both dimensions
and
in
. For instance, if the target matrix is generalized to include noise, such that
diag
where
are small real random variables, then channel
will outperform channels
and
when applied to such an ensemble of targets.
There are several approaches to increase the classifier variance. The pMMP design method itself can be extended to incorporate background and clutter signatures, for instance by minimizing projections onto the corresponding Mueller matrices. If the background material is characterized by the Mueller matrix
and the reduced irradiance
then a signal-to-background ratio (SBR) can be defined as
SBR presents a non-linear channel combination that the new pMMP design technique can uniquely accommodate, for instance by maximizing the ratio for each channel as
Alternatively or in combination, data acquired in the optimized pMMP channels can be used to train a machine learning algorithm, a support-vector machine (SVM) [
16,
17,
18,
34] or a myriad of others, at which stage techniques like regularization and penalty functions can be introduced to increase the variance.
Since there are many options for classifier generalization, it is useful to define a homogeneous maximally-biased classifer for a pMMP design, to serve as a baseline by which to compare generalized classifiers. The pMMP design method allows all measured linearly independent pMMP channels to be combined into a single linear-combination channel applicable as a maximally-biased classifier with bias homogenously distributed among the channels. Returning to the active polarimeter of
Section 3.2, per Equation (
37) the reduced measured irradiance in the combined difference channel is defined as
and the combined channel can be optimized by maximizing this differential irradiance, now for an eight-channel pMMP. In addition to providing a baseline for classifier generalization, the maximally biased classifier allows the polarimeter to be demonstrated and applied prior to potentially costly algorithm training and without the processing overhead needed to apply more generalized algorithms in real time.
Classifiers derived from the new pMMP technique can be conceptualized by comparison with other classifiers that have utilized Mueller matrices. Most prior polarimetric classifiers are designed to discriminate between a target and a background Mueller matrix or distributions thereof [
34,
35,
36]. These algorithms implicitly assume that the magnitude of the background irradiance is similar to that of the target, or at least of SNR adequate to quantify separation from the target irradiance. On the contrary, the pMMP design technique introduced here preferably derives channels in which the background irradiance vanishes, according to Equation (
40) for instance. This is more consistent with the common PDI notion to select channels in which the background irradiance is identical, and so vanishes in the difference channel, while the target irradiance is different in the raw channels, and so survives differencing. Two or more pMMP channels derived according to this criterion, Equation (
40) for instance, can then be combined in a classifier designed to maximize separation, for instance between the target and one or more clutter signatures.
Because this pMMP technique operates on reduced Mueller matrices, it cannot be applied directly to distinguish among objects or materials represented by the same reduced Mueller matrices but different depolarization indices [
37]. For instance, if a target represented by Equation (
35) is on or within a background represented by
diag
then the derived channels (eg. those derived in
Section 3.2) will still maximize the reduced (e.g., differential) irradiance of the target, but will not separate the target from the background. In such scenarios the pMMP can be extended to utilize the full irradiance (Equation (
10)) and the classifier can be augmented to employ depolarization index [
32].
5. Discussion
Application-specific sensors should be justifiable considering the vast amounts of time and cost spent (often wasted) trying to adapt general-purpose sensors to remote sensing tasks. “Sensors of opportunity” rarely perform well, and can even discourage further development of sensor modalities that could be well-suited to the task if optimally designed. This paper presents a general technique to do so for polarization sensors.
While the polarimeter architectures assumed in
Section 3.1 and
Section 3.2 are for optical frequencies, the pMMP design technique is applicable to any frequency of electromagnetic waves, in particular radio frequencies, with specific prescriptions for the associated hardware, modulators, and signatures. It should also be clear, from the generality of this treatment, that any measurement of linear polarization properties of any object can be expressed as a pMMP, and therefore optimized using this technique.
Mathematically, the reduced-Mueller vector space and inner-product space introduced here enable a completely linear pMMP analysis that is still constrained to the Mueller cone. This space provides a basis to describe the geometrical behavior of Mueller matrices via sets of matrices with the same reduced-Mueller vector. As one implication, the geometrical description and depiction of non-physical matrices in the Mueller cone, and how these might affect the pMMP design technique, is a topic for future research.