 Research
 Open Access
 Published:
Biquaternion beamspace with its application to vectorsensor array direction findings and polarization estimations
EURASIP Journal on Advances in Signal Processing volume 2017, Article number: 16 (2017)
Abstract
In this paper, a biquaternion beamspace, constructed by projecting the original data of an electromagnetic vectorsensor array into a subspace of a lower dimension via a quaternion transformation matrix, is first proposed.
To estimate the direction and polarization angles of sources, biquaternion beamspace multiple signal classification (BBMUSIC) estimators are then formulated. The analytical results show that the biquaternion beamspaces offer us some additional degrees of freedom to simultaneously achieve three goals. One is to save the memory spaces for storing the data covariance matrix and reduce the computation efforts of the eigendecomposition. Another is to decouple the estimations of the sources’ polarization parameters from those of their direction angles. The other is to blindly whiten the coherent noise of the six constituent antennas in each vectorsensor. It is also shown that the existing biquaternion multiple signal classification (BQMUSIC) estimator is a specific case of our BBMUSIC ones.
The simulation results verify the correctness and effectiveness of the analytical ones.
Introduction
An electromagnetic (EM) vectorsensor, which consists of six spatially collocated antennas, measures the complete electric and magnetic fields induced by EM signals [1]. Except for spatially and temporally sampling the incident EM source signals as done by a scalarsenor array [2, 3], an EM vectorsensor array can also record the source direction information by the signal responses of the six constituent antennas in each vectorsensor (see the V(θ _{ k },ϕ _{ k }) item in (2)). Moreover, an EM vectorsensor arraymanifold is also sensitive to incident wavefields’ polarization states [4–6], which is useful in applications, for example remote sensing [7]. It has been understood that an EM vectorsensor array can record more source information than the scalarsensor one. However, its signal processing techniques are also more complex than the scalarsensor ones for at least two reasons. One is that the number of antennas in a vectorsensor array is six times more than that in a scalarsensor array with the same array aperture. It means that more computation efforts and memory spaces are required for vectorsensor array signal processing. Another is that a computation prohibitive fourdimensional (4D) search over the direction and polarization parameters is required [5], when the traditional multiple signal classification (MUSIC) algorithm for scalarsensor array processing [2, 3] is directly extended to the vector one. Thus, it is strongly desirable to find some fast and computation effective techniques for vectorsensor array signal processing.
To achieve a significant reduction in computation time, many efforts have been made. For example, the beamspace approaches have been proposed in [8–10] for a scalarsensor array processing case, in which the original sensor data are projected into a subspace of a lower dimension (i.e., the beamspace) to reduce the data size. In the vectorsensor case, Wong and Zoltowski in [5] projected the array data into a spatiopolarizational beamspace to decouple the polarization estimation from the direction finding. With their techniques, only a 2D search is needed for estimating the sources’ direction angles before their polarization parameters are estimated.
However, their beamspace for each source has to be designed separately to decouple the polarization estimation from direction finding.
Then a promising alternative for reducing the computation costs of the vectorsensor array processing is the using of the quaternion and biquaternion algebra. Miron et al. in [11] proposed a quaternion MUSIC (QMUSIC) estimator for twocomponent vectorsensor array processing. Zhang et al. in [12] improved the performance of the QMUSIC estimator for colored noise, but only for a twocomponent vectorsensor array. Miron’s research was later extended to a threecomponent vectorsensor array via the biquaternion algebra [13, 14], where a biquaternion version MUSIC (BQMUSIC) estimator was introduced. Gong et al. in [15] improved its robustness to colored noise by diagonalizing the biquaternion covariance matrix. Using the calculation rules of the quaternion and biquaternion algebras, the computation efforts and memory spaces of their covariance matrix are significantly reduced. To handle a sixcomponent EM vectorsensor array, Gong et al. in [16] proposed a quadquaternion MUSIC (QQMUSIC) estimator. Although it was shown in [13] by Monte Carlo simulations that the BQMUSIC estimator was robust to the coherent corrupting noise and polarization errors, it was kept unknown what kind of reasons were for the robustness. Furthermore, the BQMUSIC was suitable for the direction finding of sources with known polarization parameters. Unfortunately, both the sources’ directions and polarization angles are normally unknown in applications. The QQMUSIC estimator in [16] cannot also be used to estimate the polarization angles of the sources. The geometric algebra model (GMODEL) of an EM vectorsensor array is given in [17]. It is, however, kept unknown how to use it for array processing applications. On the other hand, The biquaternion Capon beamformer was proposed in [18] and [19], but they cannot estimate the polarization angles of a source.
In this paper, the techniques of projecting the output data of an electromagnetic vectorsensor array into a biquaternion beamspace via a quaternion beamformer (or a quaternion transformation matrix) are first proposed. The general form of the biquaternion beamspace multiple signal classification (BBMUSIC) estimator is formulated by using the eigendecomposition (EVD) of the biquaternion matrix [13, 20]. In our biquaternion beamspace, it is found that the quaternion transformation matrix offers us some additional degrees of freedom to handle the direction finding and polarization estimation. Using these degrees of freedom, we achieve the foregoing three goals as follows. First of all, we report two notable properties of a set of quaternion transformation matrices. One is to save the memory spaces for storing the data covariance matrix to 4/9 of the traditional cases, and reduce the multiplications of the eigendecomposition of the data covariance matrix from O((6M)^{3}) to O((4M)^{3}) for an array of M vectorsensors.
Another is to blindly whiten the noise coherence of the selectric or magnetic components of each vectorsensor in an array which cannot be done by the methods in the literature.
After that, two types of the quaternion transformation matrices are analytically chosen to conduct two enhanced versions of the BBMUSIC estimator. Such two estimators are capable of decoupling the estimations of polarization parameters from those of the direction angles. One of the proposed BBMUSIC estimators, termed as DOABBMUSIC, is able to estimate the direction angles of the sources without any polarization information of them. However, theoretical analyses also indicate that the DOABBMUSIC estimator cannot estimate the polarization parameters either. Then another version of the enhanced BBMUSIC estimator, nominated as DOAPBBMUSIC estimator, is presented to fulfill both the direction and polarization angle. The DOAPBBMUSIC estimator requires a 2D search to find the direction angles first. After that the polarization parameters are obtained by another 2D search or finding the optimal solutions of the formulated linear equations. However, the abovementioned estimators can only naturally whiten the noise coherence of the electric or magnetic components of each vectorsensor in an array. To construct a biquaternion beamspace, which can be used to blindly whiten all of the noise coherence of the electric and magnetic components of each vectorsensor in an array, an optimal problem with a solution is given. Based on such a constructed biquaternion beamspace, an enhanced DOAPBBMUSIC estimator, nominated as DOAPBBBMUSIC estimator, is then proposed for the direction findings and polarization estimations. The performances of the proposed estimators are tested by simulations, which confirm the correctness and effectiveness of our theoretical analyses.
Besides, the analytical results of the quaternion transformation matrix also show that the BQMUSIC in [13] can be considered as a special case of our BBMUSIC estimator. Using the biquaternion beamspace theory presented herein, the reasons why the BQMUSIC estimator in [13] is robust to coherent noise and polarization errors are analytically presented by comparing the covariance of the complex and biquaternion algorithms.
The rest of the paper is organized as follows. In Section 2, the biquaternion beamspace and its measurement model are given by applying a quaternion transformation matrix to the traditional long vector model. Then in Section 3, the general form of our BBMUSIC estimator is derived, the techniques to decorrelate the noise coherence are presented. In Section 4, two extended versions of BBMUSIC estimator focusing on decoupling the polarization estimation from the direction finding are presented. The construction method of the biquaternion transformation matrix is introduced in Section 5. Simulation and comparison results with other estimators are reported in Section 6. Section 7 concludes this work.
Biquaternion beamspace and its measurement model
Similar to [13], we will use \(\mathbb {R},\mathbb {C},\mathbb {H}\), and \(\mathbb {H_{C}}\) to denote the sets of real numbers, complex numbers, quaternions, and biquaternions, respectively.
The long vector model
Suppose that the completely polarized plane waves from K narrowband sources, traveling through a nonconductive homogenous isotropic medium, are impinging on an array of M(M≥K) identically oriented electromagnetic vectorsensors locating irregularly in a 3D region. Let the azimuth and elevation angles of the kth source be ϕ _{ k } and θ _{ k }, respectively. Thus, ϕ _{ k }∈ [ 0,2π), and \(\theta _{k}\in \left [\frac {\pi }{2},\frac {\pi }{2}\right ]\). The spatial phase factor for the kth source to the lth vectorsensor centered at location (x _{ l },y _{ l },z _{ l }) can be written as
where λ is the length of the electromagnetic wave and I is the imaginary unit of a complex number^{1}.
The spatial response, in matrix notation, of the signal from the kth source to the lth vectorsensor can be expressed by [4–6]
and η∈ [ −π,π) are, respectively, the auxiliary polarization and phrase difference angles of the kth source.
For the general case of K narrowband sources impinging on the array, the sixcomponent vector measurements of lth vectorsensor is given by [4]
where e _{ l }(t)=[e _{ lx }(t) e _{ ly }(t) e _{ lz }(t)]^{T}and h _{ l }(t)=[h _{ lx }(t)h _{ ly }(t) h _{ lz }(t)]^{T}((·)^{T} denoting the vector transpose) are, respectively, the threecomponent electricfield and magneticfield measurement vectors of the lth vectorsensor, N _{ l } is the additive complex noise, and S _{ k }(t) is the complex envelope (including amplitude and phase [4]) of the kth source, i.e.,
where · is the amplitude of a complex number and φ _{ k } is the kth source’s random carrier phase.
Let Y(t),S(t), and N(t) be the column vectors describing the entire array’s received signals, source incident signals, and noise, respectively, i.e.,
The measurements of an electromagnetic vectorsensor array can thus be expressed as [4]
where ⊗ is the Kronecker product and A is the 6M×K matrix,
with a _{ k }=q(θ _{ k },ϕ _{ k })⊗V(θ _{ k },ϕ _{ k })P(γ _{ k },η _{ k }), q(θ _{ k },ϕ _{ k })=[q _{1}(θ _{ k },ϕ _{ k }),q _{2}(θ _{ k },ϕ _{ k }),⋯,q _{ M }(θ _{ k },ϕ _{ k })]^{T}. The matrix A is generally assumed to be of full rank. It defines a Kdimensional signal subspace in a 6Mdimensional space [6].
From (5), it can be seen that q(θ _{ k },ϕ _{ k }) depends on both the direction angles of the kth source and the locations of the vectorsensors. It has an effect of spatial and temporal sampling of the kth source’s signals [3]. V(θ _{ k },ϕ _{ k }) depends only on the direction angles. It contains the source’s direction information resulting from the spatial collocation of the vectorsensor’s six constituent antennas. P(θ _{ k },ϕ _{ k }) only relies on the polarization angles. It records the polarization information of the kth source. Thus, it is explicit that an electromagnetic vectorsensor array records more source information than the scalarsensor one [2], because a scalarsensor array only samples the source signals spatially and temporally [3].
When the source signals S(t) and noise N(t) are two independent stochastic processes, the spectral matrix R _{ y }(t) of (5) is given by [2, 5, 6]
where \(\mathbb {E}\{{\cdot }\}\) is the mathematical expectation operator and (·)^{H} is the conjugate transpose of a complex matrix/vector.
Since the six measurements of each vectorsensor are concatenated into a 6M×1 long vector, (5) is also called as the long vector model (LVMODEL) of an electromagnetic vectorsensor array in [11, 13]. As (5) shares the same form as the measurement model of a scalarsensor array [2, 3], the traditional MUSIC estimator for scalarsensor array processing can directly applied to the vectorsensor case except for the fact that a 4D search over the parameters (θ _{ k },ϕ _{ k },γ _{ k },η _{ k }) is needed. This vectorsensor version of the MUSIC estimator is often called as the long vector MUSIC (LVMUSIC) estimator [11, 13].
Biquaternion beamspace and its measurement model
For large arrays (i.e., a large M), the implementation of the signal subspace based algorithms require an O((6M)^{3}) eigendecomposition [10]. To achieve a significant reduction in computation time, an efficacious way is to project the original data into a lower dimension beamspace via a transformation matrix [8–10]. The parameter estimations are then carried out on the lower dimension beamspace data. The known transformation matrices, such as the spatiopolarizational [5] and standard Fourier [10] ones, are the complex ones. Unlike the traditional beamspace techniques, a quaternion transformation matrix is here used to project the original array data into our biquaternion beamspace. The measurement model in our biquaternion beamspace is defined as
where \(\boldsymbol {T} \in {{\mathbb {H}}^{J \times 6M}}(K < J < 6M)\) is a quaternion matrix with orthogonal rows. That is T T ^{⊲}=I _{ J }, where ^{⊲} denotes the transposeconjugate of a quaternion matrix as defined in [11] and I _{ J } the J×J identity matrix. Meanwhile, the transformation matrix T in (8) plays the role as a beamformer to project the original array data Y(t) to our biquaternion beamspace. As Y(t) is a complex vector in the LVMODEL, \(\boldsymbol {Z}(t) \in {\mathbb {H}}_{c}^{J \times 1}\) is a biquaternion vector [13]. Correspondingly, the spectral matrix of the biquaternion beamspace output is given by
where ^{†} is the transposeconjugate of a biquaternion matrix/vector [13, 21].
Compare (7) with (9), one can see that the transformation matrix T in (9) offers us additional degrees of freedom to handle the spectral matrix R _{ z }(t). In the next two sections, we aim at utilizing the additional freedom to achieve the three goals simultaneously, i.e., reducing the memory spaces and computation efforts, separating the sources’ direction and polarization parameter searches, and improving the robustness of the MUSIClike estimator to coherent corrupting noise.
The biquaternion beamspace MUSIC estimator
Before addressing how to determine the transformation matrix T in (9) for our three goals, let us first give the biquaternion beamspace MUSIC (BBMUSIC) estimator.
BBMUSIC estimator
Suppose that \(\boldsymbol {T}{\mathbb {E}}\left \{ \boldsymbol {N}(t)\boldsymbol {N}(t)^{H} \right \}\boldsymbol {T}^{\triangleleft }={\sigma ^{2}}{\boldsymbol {I}_{J}}\).
σ ^{2} is the observation noise power of the lth vectorsensor.
In this way, (9) can be rewritten as
Similar to the scalarsensor case, we need to constrain that \({\mathbb {E}}\left \{ {\boldsymbol {S}\left (t \right){\boldsymbol {S}^{H}}\left (t \right)} \right \}\) is a nonsingular matrix and TA is full rank in order to develop the MUSIClike estimator. Using the biquaternion matrix eigendecomposition (EVD) techniques as given in [13] or [20]^{2}, the EVD of the Hermitian biquaternion matrix R _{ z }(t) can be obtained as
where \({\boldsymbol {E}_{s}} \in {\mathbb {H}}_{\mathbb {C}}^{2M \times 2K}\) and \({\boldsymbol {E}_{n}} \in {\mathbb {H}}_{\mathbb {C}}^{2M \times (4M2K)}\) are, respectively, eigenvectors corresponding to the signal and noise subspaces, \({\boldsymbol {D}_{s}} \in {\mathbb {R}}^{2K \times 2K}\) and \({\boldsymbol {D}_{n}} \in {\mathbb {R}}^{(4M2K) \times (4M2K)}\) are two diagonal matrices whose diagonal elements are, respectively, the eigenvalues associated with E _{ s } and E _{ n }. Projecting T a _{ k } on the noise subspace, we have^{3}
where 0 _{4M−2K } is a 4M−2K dimensional row vector with all zero elements. The BBMUSIC estimator consists of finding the set of parameters Ω _{ k }=(θ _{ k },ϕ _{ k },γ _{ k },η _{ k }) so that the following function is maximized:
where ∥·∥ denotes the norm of a biquaternion vector as given in [13] and \(\mathbb {S}\{{\cdot }\}\) denotes the operator taking the scalar part of a biquaternion matrix. Let Ω(θ _{ k },ϕ _{ k })=Tq(θ _{ k },ϕ _{ k })⊗V(θ _{ k },ϕ _{ k }), (13) can be rewritten as
where
P(γ _{ k },η _{ k }) can refer to (2). It can be seen that (15) depends only on the direction angular parameters of the sources.
It is understood that the prerequisite of the traditional subspace estimation algorithms, such as MUSIC [2, 3], and ESPRIT [6, 23], is that the additive noise \(\boldsymbol {N}(t) \in {\mathbb {C}^{6M \times 1}}\) in (7) is a complex Gaussian distributed random vector with a covariance matrix
It means that their noise components are required to be noncoherent with one another. For the BBMUSIC estimator, such a prerequisite becomes as follows:
which is the basic assumption of our BBMUSIC estimator as given at the very beginning of this subsection. Moreover, if (17) has to be satisfied while (16) holds, one should, obviously, let T T ^{⊲}=I _{2M }. Namely, the rows of T are orthogonal to each other. This is also the reason why our biquaternion beamspace (8) requires T T ^{⊲}=I _{2M }. In the next subsection, we will show that, if the transformation matrix T is chosen or constructed properly, (17) may still hold even if \(\mathbb {E}\left \{{\boldsymbol {N}(t){\boldsymbol {N}^{H}}(t)} \right \}\) in (16) is not a diagonal matrix. It implies that the developed BBMUSIC may be applied to some coherent corrupting noise cases.
Robustness to coherent noise components
Before rendering our analyses, let us first introduce a mapping. Define t= [ i j k], where i, j and k denote three quaternion imaginary units respectively. Thus t is a quaternion vector. Let a 3×3 real/complex matrix R given by
By the operation rules of the biquaternion algebra, we can define the mapping as follows:
The mapping of (19) transforms a 3×3 real or complex matrix R into a quaternion or biquaternion number R _{ b }. When R is a symmetric matrix, i.e., R=R ^{T},R _{ b } is a real number equaling to (r〈1,1〉+r〈2,2〉+r〈3,3〉). When R is a general complex or real matrix, R _{ b } is a biquaternion or quaternion number. Moreover, if R is the covariance matrix of a three dimensional random noise vector, R will be mapped into a real number equaling to the sum of the three variance items of R, while the covariance items are canceled out by (19). From this point, the mapping in (19) can naturally whiten the coherence among a threecomponent random noise vector.
Rewrite the noise covariance matrix \({\boldsymbol {R}_{n}} = \mathbb {E}\left \{ {\boldsymbol {N}(t){\boldsymbol {N}^{H}}(t)} \right \} \in {\mathbb {R}^{6M \times 6M}}\) in (7) as the following blockwise partition form
where each block entry is a 3×3 matrix. R _{ n }(2l−1,2l−1) and R _{ n }(2l,2l)(l=1,⋯,M) are, respectively, the noise covariance matrices (symmetrical matrices) of the electricfield antennas (short dipoles [1, 6]) and the magneticfield antennas (small loops [1, 6]) of the lth vectorsensor. R _{ n }(m,n)(m≠n) is the noise covariance matrix of the short dipoles and small loops of a vectorsensor or different vectorsensors.
Let T be a 2M×6M quaternion matrix with the following form
From (9), it is known that the noise covariance matrix R _{ n } of the biquaternion beamspace can be rewritten as
where
is a quaternion number. Based on (19), one can conclude that

1.
The noise variance sums of three short dipoles or small loops are represented by \(\boldsymbol {R}_{bn}\langle {m,n}\rangle =\frac {1}{3}\boldsymbol {t}\boldsymbol {R}_{n}\langle {m,n}\rangle \boldsymbol {t}^{\triangleleft }\in {\mathbb {R}}\), in which their covariance items are canceled out.

2.
\(\boldsymbol {R}_{bn}\langle {m,n}\rangle =\frac {1}{3}\boldsymbol {t}\boldsymbol {R}_{n}\langle {m,n}\rangle \boldsymbol {t}^{\triangleleft }\in {\mathbb {H_{C}}(m\neq n)}\) describes the noise coherence among the short dipoles and small loops of the same vectorsensor or that among the different vectorsensors. The three quaternion imaginary parts of (19) carry out three subtraction operations for the covariance items (positive real numbers) of R _{ n }〈m,n〉. These operations can weaken the noise coherence because the difference of two positive numbers is smaller than either of them.
Thus, when the transformation matrix is chosen as (21), the noise coherence among the electricfield or magneticfield components of a vectorsensor can be totally whitened, while the noise coherence among other components is weaken (or partially decorrelated). As a result, our BBMUSIC estimator can be extended to the coherent noise cases satisfying the following assumptions:

A1.
the noise components of the different vectorsensors in an array are noncoherent one another.

A2.
a vectorsensor’s electricfield noise is noncoherent with its magneticfield noise.

A3.
the electricfield noise of a vectorsensor is allowed be coherent or noncoherent, and so is the magneticfield noise.
With the above analytical results, it can be seen that the BBMUSIC estimator will outperform the traditional long vector type estimators under the condition of coherent corrupting noise.
It should be mentioned that there are many different transformation matrices yielding the equivalent results as (19). In order to explain such a point, let us change the transformation matrix in (21) into the following forms as
in which t _{ a } and t _{ b } are 1×3 quaternion vectors, whose three entries are unit quaternions orthogonal to each other, such as \(\boldsymbol {t}_{a}=1/\sqrt 3[\!i\ j\ k]\) and \(\boldsymbol {t}_{b}=1/\sqrt 3[\!k\ j\ i]\) or \(\boldsymbol {t}_{a}=1/\sqrt 3[\!i\ j\ k]\) and \(\boldsymbol {t}_{b}=\sqrt 2/6[\sqrt 3(i+j)\ \sqrt 2(ij+k)\ \ (ij+k)]\). If one takes \(\boldsymbol {t}_{a}=1/\sqrt 3[\!i\ j\ k]\) and \(\boldsymbol {t}_{b}=1/\sqrt 3[\!0\ 0\ 0]\), it can be seen that the BQMUSIC is a special case of our biquaternion beamspace model by taking the transformation matrix as (24). In a general way, let t _{ a }=[ e _{1} e _{2} e _{3}],t _{ b }=[ e _{4} e _{5} e _{6}], where e _{1},e _{2},e _{3} and e _{4},e _{5},e _{6} are any two unit quaternion orthogonal vectors, respectively. Thus, t _{ a } and t _{ b } can be changed into more general forms as \(\boldsymbol {t}_{a}=[\!e_{1}\ e_{2}\ e_{3}]=\boldsymbol {U}_{a}\left [\begin {array}{c} \!i\ j\ k\end {array}\right ]^{T}\) and \(\boldsymbol {t}_{b}=\,[\!e_{4}\ e_{5}\ e_{6}]=\boldsymbol {U}_{b}\left [\begin {array}{c} \!i\ j\ k\end {array}\right ]^{T}\), where U _{ a } and U _{ b } are any 3×3 real orthogonal matrix. By directly calculation, one can easily verify that (19) is still hold for these chosen t _{ a } and t _{ b }. The differences are that the last three terms in (19) will be changed with the different T in (24). Even so, our BBMUSIC estimator can still work correctly under the assumptions A1, A2 and A3.
As a side note, it should be pointed out the fact that the mapping of (19) can also reduce the memory spaces of R in (18). Obviously, R needs 9 or 18 memory units to store a 3×3 real or complex matrix, whereas 4 or 8 memory units are enough for storing R _{ b }. As a result, when taking the entire array into consideration, (9) indicates that 32M ^{2} memory units are required to restore, while 72M ^{2} memory units are required to restore R _{ y }(t).
The point is not new because Miron et al. in [13] have given such results by the calculation rules of biquaternions. Furthermore, it should be noticed that our biquaternion beamspace also helps to reduce the computation complexity of the EVD for the MUSIC like estimators. It has been understood that the EVD of a M×M complexmatrix requires O(M ^{3}) multiplications [10]. It implies that the multiplications for the EVD of R _{ y }(t) are O((6M)^{3}). By contrast, the multiplications for the EVD of R _{ z }(t) are O((4M)^{3}). This is because the EVD of the 2M×2M biquaternion matrix are obtained via the EVD of its complex representation matrix with a size 4M×4M [20].
Direction finding and polarization estimation in biquaternion beamspace
In this Section, two distinct versions of the BBMUSIC estimator based on the different transformation matrix in (24) are reported. One is developed to estimate the source direction angles without any prior polarization information. Another is built to use a 2D search to find the source direction angles first and then polarization ones.
Decoupling polarization angles from direction finding
Unlike the selfinitiating MUSIC estimator in [5] decoupling the polarization estimation from direction finding via the spatiopolarizational beamforming, we approach to that by the transformation matrix as given in (24).
If the transformation matrix in (24) satisfies t _{ a }=t _{ b }= [ e _{1} e _{2} e _{3}], we have
Thus, we have the following theorem for decoupling the polarization estimation from the direction finding:
Theorem 1
When γ≠π/4 and η≠±π/2,(T a _{ k })^{†} E _{ n }=0 _{4M−2K } is equivalent to
where u _{ k } = cosϕ _{ k } cosθ _{ k } i+ sinϕ _{ k } cosθ _{ k } j+ sinθ _{ k } k,(k=1,2,…,K)
Proof
See Appendix 1: Proof of Theorem 1. □
From Theorem 1, it can be seen that (26) is nothing to do with the polarization parameters (γ _{ k },η _{ k }) because both q(θ _{ k },ϕ _{ k }) and u _{ k } only depend on the direction angular parameters (θ _{ k },ϕ _{ k }) of the sources. Thus, the expression,
can first be used to find the directions angles of the sources with polarization parameters γ _{ k }≠π/4 and η _{ k }≠±π/2. After that, one substitutes γ _{ k }=π/4 and η _{ k }=±π/2 into (14) and then use it to search the directions angles of the sources with the two polarization states. In this way, the traditional 4D search in the MUSIC methods is reduced to three 2D searches for our estimators (27) and (14). As (27) can only find the direction of arrival (DOA) of the sources, we call it as the DOABBMUSIC estimator for the latter discussion convenience.
Although the transformation matrix of (25) enables us to decouple the polarization parameters from the source direction finding, the following Theorem 2 tells us that the estimates of the polarization parameters cannot be handled via the transform matrix as (25).
Theorem 2
If the transformation matrix of the biquaternion beamspace is taken as (25), Ξ(θ _{ k },ϕ _{ k }) in (15) will be changed into
where a and b are two real numbers depending only on (θ _{ k },ϕ _{ k }). Moreover, the larger 4M−2K, the smaller b/a. Inserting (28) into (14), the BBMUSIC spectrum can be rewritten as
Proof
See Appendix 2: Proof of Theorem 2. □
It can be seen that, although the shape of the spectrum defined by \({\mathcal {F}}_{\text {BB}}({\Omega _{k}})\) changes with a, b, and sin2γ _{ k } sinη _{ k }, the extrema of (29) for polarization parameters are only taken at fix locations with  sin2γ _{ k } sinη _{ k }=1, i.e., (γ=π/4,η=±π/2). It indicates that (29) cannot be used to find the polarization parameters when the transformation matrix is taken as (25).
As a matter of fact, the key point why (25) is incapable of estimating the polarization parameters is the form of Ξ(θ _{ k },ϕ _{ k }) in (28) making the extrema of (29) fall away them. To develop an estimator capable of doing the direction finding and polarization estimation both, the transformation matrix different from (25) should be chosen to break the form of Ξ(θ _{ k },ϕ _{ k }) in (28). We will investigate this topic in the next subsection.
Direction finding and polarization estimation
To maintain the polarization information in the BBMUSIC spectrum, let us consider the transformation matrices in (24) satisfying t _{ a }≠t _{ b } and introduce a new quaternion beamspace matrix T _{ p } :
One can very easily verify that T _{ p } is a quaternion matrix with orthogonal rows and can make (19) hold. Using (30), the BBMUSIC spectrum in (14) is changed into
Proof
Reduction details: □
See Appendix 3.
One can easy find from (31) that the polarization parameters cannot be decoupled. However, a 4D search can help for the direction finding and polarization angle estimations. In other words, the polarization parameters estimation is achievable via introducing the new biquaternion beamspace matrix T _{ p }. As the 4D search is time consuming and computation prohibitive, we next discuss how to decouple the polarization estimations of (31) from its direction finding.
Equation (12) can be rewritten as
and then (32) can be changed into
where \({\boldsymbol {\Xi }_{p}}({{\theta _{k}},{\phi _{k}}}) = \mathbb {S}\left \{\left [ \boldsymbol {\Theta }(\theta _{k},\phi _{k})\right ]^{\dag } \boldsymbol {E}_{n}\boldsymbol {E}_{n}^{\dag } \left [ \boldsymbol {\Theta }(\theta _{k},\phi _{k})\right ] \right \}\).
To maximize (33) over Ω _{ k }, we can first fix the direction (θ _{ k },ϕ _{ k }) and maximize (33) over polarization angles (γ _{ k },η _{ k }). In this way, the 4D search over Ω _{ k } is reduced to a 2D search over (θ _{ k },ϕ _{ k }). This idea was first used by Ferrara and Parks in [24] for direction finding via diversely polarized antennas. Thus, the polarization decoupled spectrum of (33) is
Since P ^{H}(γ _{ k },η _{ k })P(γ _{ k },η _{ k })=1 and Ξ(θ _{ k },ϕ _{ k }) is a complex Hermitian matrix, according to the Rayleigh’s principle [25], we obtain
where λ _{min}{Ξ _{ p }(θ _{ k },ϕ _{ k })} denotes the operator taking the smallest eigenvalue of the matrix Ξ _{ p }(θ _{ k },ϕ _{ k }). From (35), it can be seen that our the BBMUSIC spectrum for DOA estimation is
Once the direction angular (θ _{ k },ϕ _{ k }) is found by the 2D search of (36), one can further substitute (θ _{ k },ϕ _{ k }) into (33), perform a 2D search to find the polarization parameters belonging to the sources with direction parameters (θ _{ k },ϕ _{ k }).
Of course, when the DOA has been obtained, one can do polarization estimation with the LVMUSIC. However, while 72M ^{2} memory units are required to restore R _{ y }(t) in (7), it also increase the computation efforts of the eigendecomposition of the data covariance matrix.
In summary, when choosing the transformation matrix in (24) with t _{ a }≠t _{ b }, we can first perform a 2D search of (36) to estimate the direction angles of the sources, then estimate the corresponding polarization parameters. To avoid confusion, we nominate this method as DOA and polarization estimation BBMUSIC (DOAPBBMUSIC) estimator. Correspondingly, the techniques used in (36) can also be applied to the traditional LVMUSIC estimator. We will terms this new version LVMUSIC estimator as DOALVMUSIC because it can be used to estimate the DOA of the sources without any polarization information.
Construction of biquaternion beamspace matrix
In Section 3, we have known that there are an infinite number of biquaternion beamspace matrices making (19) satisfied. When choosing the transformation matrix T as (25), the noise coherence among the electric field components or magnetic field ones can be eliminated. However, the noise coherence between the electricfield and magneticfield components of each vectorsensor cannot be whitened. Thus, it is desirable to find an appropriate transformation matrix T _{ p } as (30) which can whiten all of the coherent noise in each vectorsensor.
Assuming that the eigenvalues of the signal and noise in (11) are, respectively, λ _{1},λ _{2},⋯λ _{2K } and λ _{2K+1},λ _{2K+2},⋯λ _{4M } with \({\lambda _{1}} \geqslant {\lambda _{2}} \geqslant \cdots \geqslant {\lambda _{4M}}\), it is well known that, if the noise in a vector array is a additive white noise, the eigenvalues of the noise subspace of an ideal data covariance matrix are equal, i.e. λ _{2K+1}=λ _{2K+2}=⋯=λ _{4M }. However, an ideal data covariance matrix with the infinite data for an application is unpractical. If the additional degrees of freedom offered to us by the quaternion transformation matrix can be employed to make the eigenvalues of the noise subspace as equal as possible, all of the coherent noise of vectorsensor reduced may be expected. Mathematically, it can be formulated as the following optimization problem
where var(·) means to get the variance of the λ _{2K+1},λ _{2K+2},⋯λ _{4M }. The idea of (37) is that we try to find a biquaternion transformation matrix T _{ p } which can make the noise eigenvalue changes of the transformed covariance matrix be as small as possible. It must be emphasized that the derivation of matrix T _{ p } does not use any prior knowledge of noise. Nevertheless, extra computation cost must be paid.
Using the fmincon function, taking the activeset algorithm, in Matlab optimization toolbox, (37) can be solved. Once the biquaternion beamspace matrix T _{ p } is got, the DOA parameters and polarization estimations can be obtained by using the same method as DOAPBBMUSIC algorithm. These procedures are named as DOAPBBBMUSIC algorithm. Refer to (3.4) in [4], the CramerRao bound (CRB) of the DOAPBBBMUSIC algorithm in the presence of the coherent corrupting noise is given as
Proof
See Appendix 4. □
Simulation results
The performances of the three newly proposed estimators are evaluated in this section. Since both DOABBMUSIC and DOAPBBMUSIC estimators are capable of decoupling the polarization estimation from the direction finding, their direction finding performances will be compared with two other polarization decoupled estimators, namely the DOALVMUSIC and ESPRIT [23]. Besides, the polarization estimation performances of DOAPBBMUSIC will also be compared with the ESPRIT estimator in [23].
In all the following simulations, a linear uniform array with all vectorsensors along the xaxis with 0.5wavelength interelement spacing is chosen.
To evaluate the performances of direction findings and polarization estimations, we define the composite rootmeansquare (RMS) errors of the direction and polarization angles for the K sources as \({\left \{\! {\left [ {\sum \limits _{k = 1}^{K}\!\! {\left ({\Delta \theta _{k}^{2}\! +\! \Delta \phi _{k}^{2}} \right)\!\!}} \right ]\!/\!\left ({2K} \right)\!} \right \}^{\!\!\frac {1}{2}}} \text {and} {\left \{\!{\left [{\sum \limits _{k = 1}^{K}\!\! {\left ({\Delta \gamma _{k}^{2}\! +\! \Delta \eta _{k}^{2}} \right)\!}} \right ]\!/\!\left ({2K} \right)\!} \right \}^{\!\!\frac {1}{2\!}}}\), respectively, where Δ θ _{ k },Δ ϕ _{ k },Δ γ _{ k } and Δ η _{ k } are, respectively, the estimation errors of θ _{ k },ϕ _{ k },γ _{ k } and η _{ k }.
First, we test the direction finding performances of the proposed estimators. We consider an array of 15 vectorsensors and 4 uncorrelated narrowband incident sources^{4} with the following simulation parameters:
Noncoherent noise is injected with an S N R=10 d B, and 1000 snapshots are used. Among the four sources, the polarization angles of the first and second ones satisfy the requirements of Theorem 1, while those of the third and fourth sources do not satisfy the ones. Since the LVMUSIC estimator requires to perform a 4D search, we just fix its polarization parameters to γ _{4} and η _{4} to perform a 2D search, while the other estimators perform 2D searches directly because they are capable of decoupling the polarization estimations from the direction finding. From Fig. 1 a, it can be seen that the LVMUSIC estimator can only correctly find the fourth sources, because we fix the polarization parameters to the fourth sources and perform a 2D search. In Fig. 1 b and c, one can find that both the DOALVMUSIC and DOAPBBMUSIC successfully find the fourth sources via 2D searches over the direction angles. For the DOABBMUSIC estimator, we first employ a 2D search with (27) to find the direction angles of the first and second source because their polarization angles satisfy the requirements of Theorem 1. Its estimate results are shown in Fig. 1 d. Then, as depicted in Fig. 1 e and f, respectively, we use another two 2D searches to estimate the direction angles of the third and fourth sources by inserting γ=π/4 and η=±π/2 into (14). As it can be seen in Fig. 1 e, except for the highest peak generated by the third source, two lower peaks of the first and second sources also emerge. Similar phenomenon also accompanies with the fourth source as given in Fig. 1 f. This is due to the fact that (29) depends slightly on (γ _{ k },η _{ k }) when b/a is small. Moreover, the smaller b/a, the higher possibility as we can see the first and second sources in Fig. 1 e and f. If all sources’ directions and polarization angles are different from each other^{5}, this phenomenon will not induce any ambiguities by simply adding the spectrums of Fig. 1 d–f together, as shown in Fig. 1 g. Using the QQMUSIC estimator, the peak of the fourth source is lower than the others, as shown in Fig. 1 h. The above results confirm the analytical correctness of our DOABBMUSIC and DOAPBBMUSIC estimators.
The second part of the simulation will verify the validity of the DOAPBBBMUSIC algorithm, and then compares the results with the DOALVMUSIC and DOABBMUSIC respectively. We consider an array of seven vectorsensors and two uncorrelated narrowband incident sources with the following simulation parameters:
Assume that the noises of the vectorsensors are uncorrelated, while the noises among the three electric and magnetic antennas in a vector sensor are correlated. With an SNR = −15 dB and 2000 snapshots is used, the simulation results are shown in Fig. 2.
It can easy find from Fig. 2 that the correlated noise in each vector sensor has relatively greater effect on the performances of DOALVMUSIC and DOABBMUSIC algorithms when the SNR is lower. The performance of the DOAPBBBMUSIC algorithm is greatly improved since the constructed beamspace has whitened the coherent noise.
The third simulation tests robustness of the direction finding performances of the estimators to corrupting noise. Two sources with {ϕ _{1}=2.8rad,θ _{1}=0.1rad,γ _{1}=0.7rad,η _{1}=0.3rad} and {ϕ _{2}=2.4rad,θ _{2}=0.6rad,γ _{2}=0.1rad,η _{2}=−1.5rad} are taken. The number of vectorsensors in the array is 7. For each point on Fig. 3, the simulations with 300 independent Monte Carlo experiments are run. Figure 3 a plots the composite RMS errors of the direction finding versus the different SNRs in the presence of noncoherent noise. Figure 3 b illustrates the behaviors of the different estimators in the presence of coherent noise. When the corrupting noise is noncoherent, the performances of the DOALVMUSIC are the best while the DOABBMUSIC and ESPRIT estimators are better than the DOAPBBBMUSIC one as shown in Fig. 3 a. However, in the coherent noise case, the performances of the DOABBMUSIC and DOAPBBBMUSIC are much better than those of the DOALVMUSIC and ESPRIT ones as depicted in Fig. 3 b. Seeing from the yaxes of Fig. 3, one can find that the performances of the DOAPBBBMUSIC yield almost same performances in both coherent and noncoherent corrupting noise situations. As a contrast, the composite RMS errors of the DOALVMUSIC in the coherent case is almost 10 times larger than those in the noncoherent case with low SNRs, while the RMS errors of the ESPRIT in the coherent case is five times larger than those in the noncoherent case with low SNRs. As a result, the performances of the DOALVMUSIC and ESPRIT are strongly degraded by the coherent noise. To evaluate the performances of the DOALVMUSIC and ESPRIT after the correlation of noise is whiten, we assume that the noise covariance matrix can be estimated and then is used to whiten the received signal covariance matrix as done in [26]. It is understood by means of the method in [26] that it is impossible for one to completely whitened the correlated noise due to the estimation errors of the noise covariance matrix. Thus, it is assumed that the noise correlation has dropped to one tenth of the original after whitening. Figure 3 c illustrates the performances of the ESPRIT and standard MUSIC estimators after whitening the coherent noise and the DOAPBBBMUSIC estimator in the presence of coherent noise. Even so, it can be seen that the performances of the DOAPBBBMUSIC estimator is still better than the ESPRIT and standard MUSIC estimators. It also verifies that our estimators are more robust to coherent corrupting noise than the known ones.
Using the DOAPBBBMUSIC estimator, we will next test its robustness to the polarization parameters. The same array and source configuration as the second simulation is taken into consideration.
Since the DOABBMUSIC and QQMUSIC estimators cannot estimate the polarization angles, we only calculate the composite RMS errors of the polarization estimations of the DOAPBBBMUSIC and ESPRIT estimators with different SNRs under both the noncoherent and coherent noise conditions.
Based on the direction finding results in the second simulation in each Monte Carlo run, the algorithm via (36) is used to estimate the polarization parameters. From Fig. 4 a and b, we find that the performances of the ESPRIT estimators in the coherent case are obviously degraded. It can also be seen that its composite RMS errors in Fig. 4 b, are almost 4 times larger than those in Fig. 4 a. Contrastively, the composite RMS errors of our DOAPBBBMUSIC estimator are almost the same for both cases, illustrating the robustness of our estimator to corrupting coherent noise again.
Conclusions
In this paper, we have illustrated the methods of electromagnetic vectorsensor array signal processing in our biquaternion beamspace. In our biquaternion beamspace, the memory spaces for storing the data covariance matrix and the computation efforts for performing its EVD are reduced. Techniques for choosing the transformation matrix matrices to blindly whiten the coherence of the electric and magnetic noise in a vectorsensor have been given. These techniques ensure that our BBMUSIC estimator can be extended to a certain coherent noise case and is more robust to general coherent noise cases. Three enhanced versions of BBMUSIC estimator are also presented. The three estimators are capable of decoupling polarization estimation from direction finding. In addition, we did not solve the optimization problem (37) in theory, instead we use the numerical solution. The optimal solution will be considered in our future work.
As an alternative way for vectorsensor array processing, by choosing proper transformation matrix, the biquaternion beamspace theory presented here may be applied to other cases, such as enhancing the signals from favored directions and block interferences from other directions. These topics will also be the focus of our future work.
Endnotes
^{1} In order not to confuse the imaginary unit of a complex number with the three imaginary units of a quaternion, we use the notations in [13] that I is the imaginary unit of a complex number while i, j and k denote the three imaginary units of a quaternion.
^{2} In [13], the EVD of a biquaternion matrix is obtained from the EVD of its quaternion adjoint matrix. Alternatively, the EVD of a biquaternion matrix can also be achieved by the EVD of its complex representation matrix [20].
^{3} This can be get directly from the EVD of the quaternion adjoint matrix of R _{ z }(t) [22] and the QMUSIC estimator in [11], or the EVD of the complex representation matrix of R _{ z }(t) and the traditional MUSIC estimator [2, 3].
^{4} The third and fourth sources are well known as the leftcircularly polarization and rightcircularly polarization sources respectively.
^{5} If there are some sources happen to have same direction angles but different polarization angles, the polarization decoupled MUSIC like estimators may fail to discriminate these sources because only a 2D search over (θ _{ k },ϕ _{ k }) is performed.
Appendix 1: Proof of Theorem 1
Since
we have
and
where e _{1},e _{2},e _{3} are unit quaternions orthogonal to one another. Since e _{1} e _{2}+e _{2} e _{1}=0 and e _{1} e _{1}=e _{2} e _{2}=e _{3} e _{3}=−1/3,v _{ k1} v _{ k1}=−1/3. Similarly we can also get v _{ k2} v _{ k2}=−1/3.
In the same manner, we have
As a result, the following equations can be deduced:
From (12) we know
where
Let \(\boldsymbol {W} = \boldsymbol {q}\left ({{\theta _{k}},{\phi _{k}}} \right) \otimes \left [\begin {array}{l} 1 \\ 3{u_{k}}\\ \end {array} \right ], {\boldsymbol {\Delta }_{k}} = {\boldsymbol {W}^{\dag } }{\boldsymbol {E}_{n}}, {\rho _{k}} = {\left ({{v_{k1}}\cos {\gamma _{k}}  {v_{k2}}\sin {\gamma _{k}}{e^{I{\eta _{k}}}}} \right)^{\dag } }\), and then insert them into (12), we have ρ _{ k } Δ _{ k }=0 _{4M−2K }.
Since
we have
so
When γ _{ k }≠π/4,η _{ k }≠±π/2, we get Δ=0 _{4M−s K }. That is:
Appendix 2: Proof of Theorem 2
Let
We have
If Q(θ _{ k },ϕ _{ k })=q(θ _{ k },ϕ _{ k })⊗I _{2}, then Θ(θ _{ k },ϕ _{ k }) can be rewritten as
From (15), it has known that, if \({\boldsymbol {\Lambda }_{k}} = {\left [{\boldsymbol {\Theta } \left ({{\theta _{k}},{\phi _{k}}} \right)} \right ]^{\dag }}{\boldsymbol {E}_{n}}\boldsymbol {E}_{n}^{\dag } \left [ {\boldsymbol {\Theta } \left ({{\theta _{k}},{\phi _{k}}} \right)} \right ]\), one has \(\boldsymbol {\Xi } \left ({{\theta _{k}},{\phi _{k}}} \right) = \mathbb {S}\left \{{{\boldsymbol {\Lambda }_{k}}} \right \}\), where
Let \(\boldsymbol {X} = {\boldsymbol {Q}^{H}}\left ({{\theta _{k}},{\phi _{k}}} \right){\boldsymbol {E}_{n}}\boldsymbol {E}_{n}^{\dag } \boldsymbol {Q}\left ({{\theta _{k}},{\phi _{k}}} \right)\). Based on \(\boldsymbol {X}\in \mathbb {H}^{2\times 2}_{\mathbb {C}}\) and X=X ^{†},X can be expressed as follows:
where x _{10} and x _{20} are real numbers, x _{30} is a complex number, x _{1q } and x _{2q } are pure quaternions, x _{3q } is a pure biquaternion. Insert (40) into (39), we have
Since v _{ k1},v _{ k2} and u _{ k } are pure quaternions, we can get v _{ k1} ^{†}=v _{ k1} ^{⊲}=−v _{ k1}, v _{ k2} ^{†}=v _{ k2} ^{⊲}=−v _{ k2} and u _{ k } ^{†}=u _{ k } ^{⊲}=−u _{ k }. In this way, (39) can be rewritten as:
Let \({\boldsymbol {\Lambda }_{k}} = \left [ \begin {array}{cc} {\boldsymbol {\Lambda }_{k11}}&{\boldsymbol {\Lambda }_{k12}}\\ {\boldsymbol {\Lambda }_{k21}}&{\boldsymbol {\Lambda }_{k22}} \\ \end {array} \right ]\), then \(\boldsymbol {\Xi }(\theta _{k},\phi _{k})=\mathbb {S}\{\boldsymbol {\Lambda }_{k}\}=\left [ \begin {array}{cc} {\mathbb {S}(\boldsymbol {\Lambda }_{k11}})&\mathbb {S}({\boldsymbol {\Lambda }_{k12}})\\ {\mathbb {S}(\boldsymbol {\Lambda }_{k21}})&\mathbb {S}({\boldsymbol {\Lambda }_{k22}}) \\ \end {array} \right ]\). Notice that as far as any two arbitrary pure quaternions q _{1} and q _{2} are concerned, we know \(\mathbb {S}\left \{ {{q_{1}}{q_{2}}{q_{1}}} \right \} = \mathbb {S}\left \{ {{q_{2}}{q_{1}}{q_{2}}} \right \} = 0\), where \(\mathbb {S}(\cdot)\) stands for taking the scalar part of the biquaternion. In other words, q _{1} q _{2} q _{1} and q _{2} q _{1} q _{2} are pure quaternions. Since all of v _{ k1},v _{ k2},u _{ k },x _{1q } and x _{2q } are pure quaternions, u _{ k } x _{2q } u _{ k } is also a pure quaternion. When q _{ b1}=v _{ k2} x _{3q } v _{ k1} and \({q_{b2}} = {v_{k1}}{x_{3q}}^{\dag {v_{k2}}}\), we can get
It can be seen that \({q_{b1}}^{\dag } = {v_{k1}}^{\dag } x_{3q}^{\dag } {v_{k2}}^{\dag } = {v_{k1}}x_{3q}^{\dag } {v_{k2}} = {q_{b2}}\). As a result, one has \(\mathbb {S}{\left ({{q_{b1}}} \right)}=\mathbb {S}{\left ({{q_{b2}}} \right)^ * }\). That is \(\mathbb {S}{\left ({{q_{b1}}} \right)}+\mathbb {S}{\left ({{q_{b2}}} \right)}\in \mathbb {R}\). Since both x _{10} and x _{20} are real numbers, we have \(\mathbb {S}\left ({{\boldsymbol {\Lambda }_{k11}}} \right)=1/3{x_{10}} + 1/3{x_{20}}  \left ({\mathbb {S}\left ({{q_{b1}}} \right)+\mathbb {S}\left ({{q_{b2}}} \right)} \right) \in \mathbb {R}\) and then let \(\mathbb {S}({{\boldsymbol {\Lambda }_{k11}}})=a\).
Similarly, since \(\mathbb {S}\left ({{q_{b3}}} \right) + \mathbb {S}\left ({{q_{b4}}} \right) =  2\mathbb {S}\left ({{v_{k2}}{x_{3q1}}{v_{k1}}} \right)\), it can be deduced that
Therefore \(\mathbb {S}\left ({{\boldsymbol {\Lambda }_{k22}}} \right) = \mathbb {S}\left ({{\boldsymbol {\Lambda }_{k11}}} \right) = a\).
From (42), we have
Thus, we can know \(\mathbb {S}\left ({{\boldsymbol {\Lambda }_{k12}}} \right) = 1/3({x_{30}}  x_{30}^{H}) + \mathbb {S}\left ({I{v_{k1}}{x_{1q}}{v_{k2}}} \right) + \mathbb {S}\left ({I{v_{k2}}{x_{2q}}{v_{k1}}} \right)\). Apparently Λ _{ k12} is a pure imaginary number. In this way, we can make Λ _{ k12}=−b I, where b is a real number.
Similarly let \(\mathbb {S}\left ({{\boldsymbol {\Lambda }_{k12}}} \right) = 1/3{x_{30}}  1/3x_{30}^{H} + \mathbb {S}\left ({I{v_{k2}}{x_{1q}}{v_{k1}}} \right) + \mathbb {S}\left ({I{v_{k1}}{x_{2q}}{v_{k2}}} \right) = bI\), so we can get \(\boldsymbol {\Xi }(\theta _{k},\phi _{k})=\mathbb {S}\{\boldsymbol {\Lambda }_{k}\}=\left [ \begin {array}{cc} {\mathbb {S}(\boldsymbol {\Lambda }_{k11}})&\mathbb {S}({\boldsymbol {\Lambda }_{k12}})\\ {\mathbb {S}(\boldsymbol {\Lambda }_{k21}})&\mathbb {S}({\boldsymbol {\Lambda }_{k22}}) \\ \end {array} \right ]=\left [ \begin {array}{cc} a&bI\\ bI&a\\ \end {array} \right ]\).
Appendix 3
According to (40), Λ _{ k } can be changed into
Suppose that v _{ k1}=t _{ a } v _{1},v _{ k2}=−t _{ a } v _{2},v _{ k3}=t _{ a } v _{2},v _{ k4}=t _{ a } v _{1}, all of v _{ k1},v _{ k2},v _{ k3},v _{ k4} are pure biquaternions. One can get
and
Since \(\mathbb {S}\left ({{v_{k3}}{x_{3q}}{v_{k1}}} \right)+ \mathbb {S}\left ({{v_{k{1}}}}x_{3q}^{\dag } {v_{k3}} \right)\) is real, \(\mathbb {S}\left ({{\boldsymbol {\Lambda }_{k11}}} \right) \in \mathbb {R}\). Thus, we can let \(\mathbb {S}\left ({{\boldsymbol {\Lambda }_{k11}}} \right)=a_{\Lambda 1} \in \mathbb {R}\). Similarly,
Additionally, \(\mathbb {S}\left ({{\boldsymbol {\Lambda }_{k12}}} \right)\) can be written as
Since \(\mathbb {S}(\boldsymbol {\Lambda }_{k12})\) is a complex number, one can let \(\mathbb {S}(\boldsymbol {\Lambda }_{k12})=a_{\Lambda 12}+{Ib}_{\Lambda 12}\). It is easy to find out that
Due to \({\left ({\mathbb {S}\left ({{\boldsymbol {\Lambda }_{k12}}} \right)} \right)^ *} = \mathbb {S}\left ({{\boldsymbol {\Lambda }_{k21}}} \right)\) and taking \(\mathbb {S}({{\boldsymbol {\Lambda }_{k21}}})=a_{\Lambda 12}{Ib}_{\Lambda 12}\), we have
it can be seen that the a _{ Λ1},a _{ Λ2},a _{ Λ12} and b _{ Λ12} in (44) are only related to DOA parameters. Insert (44) into (14), and we have
Appendix 4
Refer to (3.4) in [4], the CRB on the covariance matrix of any (locally) unbiased estimator of the vector sensor array in the presence of the noncoherent corrupting noise is
where
where P _{ s } is a matrix of the signal power, L denotes snapshots, E _{ nlv } are the eigenvectors corresponding to the noise subspaces in the LVMODEL. We use a orthogonal quaternion transformation matrix T to project the original array data into the biquaternion beamspace, So one has
Since the coherent noise of the six constituent antennas in each vectorsensor has been whitened by the matrix T, the CRB of the DOAPBBBMUSIC algorithm in the presence of the coherent corrupting noise can be given by
where
Inserting (50), and (51) into (53), (54), and (55) respectively, one has
If the matrix T satisfies T ^{⊲} T=I,CRB(Ω)=CRB(Ω)_{ lv }.
References
 1
JF Bull, Field probe for measuring vector components of an electromagnetic field, 5300885 (1994).
 2
H Krim, M Viberg, Two decades of array signal processing research: the parametric approach. IEEE Signal Proc. Mag. 13(4), 67–94 (1996).
 3
P Stocia, R Moses, Introduction to Spectral Analysis, 2nd edn (Upper Saddle River NJ: PrenticeHall, New Jersey, 2004).
 4
A Nehorai, E Paldi, Vectorsensor array processing for electromagnetic source localization. IEEE Trans. Sig. Process. 42(2), 376–398 (1994).
 5
KT Wong, MD Zoltowski, Selfinitiating musicbased direction finding and polarization estimation in spatiopolarizational beamspace. IEEE Trans. Antennas Propag. 48(8), 1235–1245 (2000).
 6
J Li, Direction and polarization estimation using arrays with small loops and short dipoles. IEEE Trans. Antennas Propag. 41(3), 379–387 (1993).
 7
B Hochwald, A Nehorai, Polarimetric modeling and parameter estimation with applications to remote sensing. IEEE Trans. Sig. Process. 43(8), 1923–1935 (1995).
 8
XL Xu, KM Buckley, in International Conference on Acoustics, Speech, and Signal Processing, 4. Statistical performance comparison of music in elementspace and beamspace, (1989), pp. 2124–2127.
 9
HB Lee, M Wengrovitz, Resolution threshold of beamspace music for two closely spaced emitters. IEEE Trans. Acoust. Speech Sig. Process. 38(9), 1545–1559 (1990).
 10
G Xu, SD Silverstein, RH Roy, T Kailath, Beamspace esprit. IEEE Trans. Sig. Process. 42(2), 349–356 (1994).
 11
S Miron, N Le Bihan, JI Mars, Quaternionmusic for vectorsensor array processing. IEEE Trans. Sig. Process. 54(4), 1218–1229 (2006).
 12
Z Kunlei, S Wang, F Wang, H Jianguo, Parameter estimation of vectorsensor array in colored noise with quaternionmusic. Congr. Image Sig. Process. 5:, 483–487 (2008).
 13
N Le Bihan, S Miron, JI Mars, Music algorithm for vectorsensors array using biquaternions. IEEE Trans. Sig. Process. 55(9), 4523–4533 (2007).
 14
N Le Bihan, S Miron, JI Mars, High resolution vectorsensor array processing based on biquaternions. IEEE Int. Conf. Acoust. Speech Sig. Process. 4:, 1077–1080 (2006).
 15
XF Gong, ZW Liu, YG Yu, Direction finding via biquaternion matrix diagonalization with vectorsensors. Sig. Process. 91(4), 821–831 (2011).
 16
XF Gong, ZW Liu, YG Yu, Quadquaternion music for doa estimation using electromagnetic vector sensors. EURASIP J. Advances Sig. Process. 2008(1), 1–14 (2008).
 17
JF Jiang, JQ Zhang, Geometric algebra of euclidean 3space for electromagnetic vectorsensor array processing, part i: Modeling. IEEE Trans. Antennas Propag. 58(12), 3961–3973 (2010).
 18
X Gou, Z Liu, Y Yu, X Gong, Capon beamformer for acoustic vector sensor arrays using biquaternions. Int. Conf. Aware. Sci. Technol, 28–31 (2011).
 19
X Gou, Z Liu, Y Yu, X Gong, Biquaternion capon beamformer using fourcomponent vectorsensor arrays. Int. J. Sens. Netw. 19(3/4), 171–180 (2015).
 20
Y Tian, Matrix theory over the complex quaternion algebra (2000). arXiv preprint math/0004005.
 21
S Said, N Le Bihan, SJ Sangwine, Fast complexified quaternion fourier transform. IEEE Trans. Sig. Process. 56(4), 1522–1531 (2008).
 22
F Zhang, Quaternions and matrices of quaternions. Linear Algebra Appl. 251:, 21–57 (1997).
 23
KT Wong, MD Zoltowski, Closedform direction finding and polarization estimation with arbitrarily spaced electromagnetic vectorsensors at unknown locations. IEEE Trans. Antennas Propag. 48(5), 671–681 (2000).
 24
JE Ferrara, T Parks, Direction finding with an array of antennas having diverse polarizations. IEEE Trans. Antennas Propag. 31(2), 231–236 (1983).
 25
G Strang, Linear Algebra and Its Applications, 3rd edn (New York Academic, New York, 1976).
 26
PC Hansen, SH Jensen, Prewhitening for rankdeficient noise in subspace methods for noise reduction. IEEE Trans. Sig. Process. 53(10), 3718–3726 (2005).
Funding
This work was supported in part by the NSF of China under Grant 61571131, 11604055.
Authors’ contributions
DL and JQZ conceived and designed the study. DL, FX, and JFJ performed the experiments. DL and JQZ wrote the paper. DL, FX, JFJ, and JQZ reviewed and edited the manuscript. All authors read and approved the manuscript.
Authors’ information
Dan Li received the the M.S. and Ph.D. degrees in electronic engineering from Fudan University, Shanghai, China, in 2006 and 2013, respectively. He is currently a lecturer at the Department of Electronic Engineering, Fudan University. His research interests include array signal processing and biquaternion with applications in signal processing and image processing.
Feng Xu received the Ph.D. degree in electronic engineering from Fudan University, Shanghai, China, in 2010. He is currently an Electronic Engineer at the Department of Electronic Engineering, Fudan University. His research interests include array signal processing and biquaternion with applications in signal processing and image processing.
Jing Fei Jiang received the B.Sc. degree and M.Sc. degrees in electronic engineering from Fudan University, Shanghai, China, in 2008 and 2011, respectively. His research interests include array signal processing and geometric algebra with applications in signal processing and image processing.
Jian Qiu Zhang received the B.Sc. degree from East of China Institute of Engineering, Nanjing, in 1982, and the M.S. and Ph.D. degrees from Harbin Institute of Technology (HIT), Harbin, China, in 1992 and 1996, respectively. He is currently a Professor with the Department of Electronic Engineering, Fudan University, Shanghai, China. From 1999 to 2002, he was a Senior Research Fellow at the School of Engineering, University of Greenwich, Chatham Maritime, UK In 1998, he was a Visiting Research Scientist at the Institute of Intelligent Power Electronics, Helsinki University of Technology, Espoo, Finland. He was an Associate Professor from 1995 to 1997 and a Lecturer from 1989 to 1994 with the Department of Electrical Engineering, HIT. During 1982 to 1987, he was an Assistant Electronic Engineer at the 544th Factory, Hunan, China. His main research interests are signal processing and its application for advanced sensors, intelligent instrumentation systems and control, and communications.
Competing interests
The authors declare that they have no competing interests.
Author information
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Li, D., Xu, F., Jiang, J.F. et al. Biquaternion beamspace with its application to vectorsensor array direction findings and polarization estimations. EURASIP J. Adv. Signal Process. 2017, 16 (2017) doi:10.1186/s1363401704516
Received
Accepted
Published
DOI
Keywords
 Array signal processing
 Biquaternion beamspace
 Biquaternion beamspace music
 Direction of arrival estimation
 Polarization parameters estimation