 Research
 Open Access
 Published:
DOA estimation for conformal vectorsensor array using geometric algebra
EURASIP Journal on Advances in Signal Processing volume 2017, Article number: 64 (2017)
Abstract
In this paper, the problem of direction of arrival (DOA) estimation is considered in the case of multiple polarized signals impinging on the conformal electromagnetic vectorsensor array (CVA). We focus on modeling the manifold holistically by a new mathematical tool called geometric algebra. Compared with existing methods, the presented one has two main advantages. Firstly, it acquires higher resolution by preserving the orthogonality of the signal components. Secondly, it avoids the cumbersome matrix operations while performing the coordinate transformations, and therefore, has a much lower computational complexity. Simulation results are provided to demonstrate the effectiveness of the proposed algorithm.
Introduction
The direction of arrival (DOA) estimation has received a strong interest in wireless communication systems such as radar, sonar, and mobile systems [1]. In this correspondence, the problem of DOA estimation is considered in the case of multiple polarized signals impinging on the conformal vectorsensor array (CVA). We name our target array CVA since it is a conformal array whose elements are electromagnetic vector sensors. Interest in this problem can be divided into two topics: (1) conformal array and (2) electromagnetic vector sensors.
A conformal antenna is an antenna that conforms to a prescribed shape. The shape can be some part of an airplane, highspeed missile, or other vehicle [2]. Their benefits include reducing aerodynamic drag, covering wide angle, spacesaving and so on [3, 4]. Nevertheless, due to the curvature of the bearing surface, the farfield contribution in the incident direction of one element is different from that of others [5]. The pattern synthesis theorem is not available resulting from the fact that the conformal arrays can no longer be regarded as simple isotropic ones. In [4], Wang et al. proposed a uniform method for the elementpolarized pattern transformation of arbitrary threedimensional (3D) conformal arrays based on Euler rotation. However, the Euler rotation involves cumbersome matrix transformations, and therefore, has a considerable computational burden. Zou et al. analyzed the 3D pattern of arbitrary conformal arrays using geometric algebra in [6]. Nevertheless, this mathematical language was not transplanted to the DOA estimation. In view of this, Wu et al. combined the geometric algebra with multiple signal classification (MUSIC), termed as GAMUSIC, to solve the DOAs for cylindrical conformal array [7]. It used short dipole as the element which made the array belong to a scalar array. In addition, the electromagnetic vector sensors are not taken into account.
As for the second point, we know the electromagnetic vector sensor can measure the three components of the electric field and the three components of the magnetic field simultaneously. And, considerable studies on the extensions of traditional array signal processing techniques to the vector sensors are available in literature. In [8], Nehorai concatenated all the output vectors into a long vector and derived the CramerRao bound (CRB). However, the orthogonality of the signal components was lost in this case. In view of this, a hypercomplex model for multicomponent signals impinging on vector sensors was presented in [9]. This model was based on biquaternions (quaternions with complex coefficients). Subsequently, Jiang et al. introduced geometric algebra into the electromagnetic vectorsensor processing field [10]. However, the model cannot be applied to the conformal array since the pattern is assumed to be a scalar and the same for each element.
In this correspondence, we will combine the electromagnetic vector sensors with the conformal array, and present a unified model based on geometric algebra to estimate the DOAs. The proposed technique in this paper is regarded as a generalization of the one presented in [10] to the case of the conformal arrays. Compared with existing methods, the proposed one has two main advantages. Firstly, it can give a more accurate estimation by preserving the orthogonality of the signal components. Secondly, it largely decreases the computation complexity for the coordinate transformations are avoided. In addition, it has a strong commonality, that is to say, it is not limited to any specific conformal array.
The rest of this paper is as follows. In Section 2, some notations about geometric algebra are briefly introduced, and on this basis, the manifold for the conformal vectorsensor array is derived. Section 3 analyzes the computational burden. Illustrative examples are carried out to verify the effectiveness of the proposed algorithm in Section 4, followed by concluding remarks.
Throughout this correspondence, we use lowercase boldface letters to denote vectors and uppercase boldface letters to represent matrices for notational convenience. Moreover, the uppercase letters symbolize the multivectors whenever there is no possibility of confusion. Superscripts “*”, “T”, and “H” represent the conjugation, transpose, and conjugate transpose, respectively. In addition, (⋅)^{+} and (⋅)^{~} symbolize the conjugate transpose in geometric algebra and the reverse operator, respectively. Finally, \( {\Re}_3^{mn} \) stands for the m × n real matrix in 3D space and E{⋅} denotes the expectation operator.
The proposed algorithm
Some notations about geometric algebra
Geometric algebra is the largest possible associative algebra that integrates all algebraic systems (algebra of complex numbers, matrix algebra, quaternion algebra, etc.) into a coherent mathematical language [11]. In view of its widespread usage in subsequent sections, it is worthwhile to review some notations about geometric algebra before proceeding to the physical problems of interest.
The geometric product is considered as the fundamental product of geometric algebra, and its definition is as follows
where the wedge symbol “ʌ” denotes the outer product with the properties listed in Table 1.
Exchanging the order of x and y in (1),and utilizing the symmetry of the inner product and the antisymmetry of the outer product, it follows that
Combining (1) with (2), we can find that the inner product and the outer product can be uniformly represented by the geometric product, that is,
In general, we call an outer product of k vectors a kblade. The value of k is referred to as the grade of the blade. Specially, the topgrade blade E _{ n } in an ndimensional space is called pseudoscalars. Essentially, blades are just elements of the geometric algebra. It is noted that we restrict the discussion to 3D Euclidean space [12], that is, a space with an orthonormal basis {e _{ x }, e _{ y }, e _{ z }}. As shown in Fig. 1, E _{3} is the pseudoscalar, relative to the origin denoted by O. The threeblade is drawn as a parallelepiped. The volume depicts the weight of the threeblade. Nevertheless, blades have no specific shape.
A linear combination of blades with different grades is called a multivector [13]. Multivectors are the general elements of geometric algebra. Thus, a generic element can be expressed by
where a _{0}, a _{1}, …, a _{7} are real numbers. For e _{ x }, e _{ y }, e _{ z } are mutually orthogonal, using the definition of the geometric product, (5) can be represented by another shape.
where the notation 〈A〉_{ k } means to select or extract the grade k part of A and the reverse of 〈A〉_{ k } can be calculated as follows
Thus, the reverse of A is given
In the discussion up to this point, we can define the norm of a multivector.
We will next introduce the rotor, one of the most important objects in applications of geometric algebra. As shown in Fig. 2, vector y is acquired through rotating the vector x with θ. The rotation can be regarded as two consecutive reflections, first in a, then in b. Correspondingly, the expression that reflects x in the line with direction a is
The expression appears to be strange at first, but it is actually one of the most important rationales why the geometric product is so useful.
Similarly, y can be obtained by reflecting x’ in the line with direction b
As shown in Eq. (11), R is identified as the rotor. If we want to rotate a vector counterclockwise by a specific angle, we only need to apply the rotor to the vector. And, the rotation must be over twice the angle between a and b. In Appendix 1, a brief proof is given.
Complex representation matrix (CRM)
As stated above, we adopt multivector as a generic element of geometric algebra. However, the analysis of the mulitvector and its attendant theory are scarce. In view of this, we will introduce the CRM since the matrix theories are mature [14]. Similar to the multivector, we construct the matrix in geometric algebra, noted \( {G}_3^{mn} \), as follows
where A _{0}, A _{1},…, A _{7} \( \in {\Re}_3^{mn} \). Thus, the CRM can be defined as
Given a matrix \( \boldsymbol{A}\in {G}_3^{mn} \) and its CRM ψ(A), then the following equalities stand
where
with I _{ m } being the identity matrix of dimension m × m. Properties (14) and (15) can be verified by direct calculation using Eq. (16) and Eq. (17). For e _{ xyz } is isomorphic to complex imaginary unit j [9], ψ(A)can be regarded as a complex matrix. Then, all the operation rules of the complex matrix are applicable to ψ(A). Some properties [15] which will be used in the sequel are listed as follows.

a)
A = B⇔ψ(A) = ψ(B);

b)
ψ(A + B) = ψ(A) + ψ(B) , ψ(AC) = ψ(A)ψ(C);

c)
ψ(A ^{+}) = ψ ^{+}(A).
It is also worthwhile to note that the following three properties regarding P _{2m } and Q _{2m } will be of use in the forthcoming calculations.

d)
\( {\boldsymbol{P}}_{2m}{\boldsymbol{P}}_{2m}^{+}={\boldsymbol{I}}_m; \)

e)
\( {\boldsymbol{P}}_{2m}^{+}{\boldsymbol{P}}_{2m}\psi \left(\boldsymbol{A}\right)=\psi \left(\boldsymbol{A}\right){\boldsymbol{P}}_{2n}^{+}{\boldsymbol{P}}_{2n}; \)

f)
\( {\boldsymbol{Q}}_{2m}={\boldsymbol{Q}}_{2m}^{+}. \)
Manifold modeling of vector sensors in the conformal array
In this subsection, we will combine the electromagnetic vector sensors with the conformal array, and present a unified model based on geometric algebra to estimate the DOAs. To illustrate the versatility of this algorithm, we consider a M × N cylindrical conformal array as shown in Fig. 3. The array contains N uniformly spaced rings on the surface. In addition, there are M electromagnetic vector sensors distributed on each ring. The angle between two consecutive elements on the same ring is β. In addition, the radius of the cylinder and the distance between adjacent rings are R and W, respectively.
Since the electromagnetic vector sensor consists of six spatially collocated antennas, the three electric field components (E _{ x }, E _{ y }, E _{ z }) and the three magnetic field components (H _{ x }. H _{ y }, H _{ z }) can be measured simultaneously. Thus, we can use two multivectors, X _{ e } and X _{ h }, to represent the electric field signal and the magnetic field signal, respectively.
Similarly, the noise can be written as
Then, the output of single element can be obtained in the frame of geometric algebra.
From (22), we see that e _{ xyz } not only provides a vital link between electric field components and magnetic field components, but also offers the possibility to handle the data model in geometric algebra. Due to the limited length, the relationship between the two fields will be derived in Appendix 2. In addition, from (18, 19, 20, and 21), we see that the orthogonality of the signal components is reserved. Compared with the conventional methods, such as the long vector algorithm [8], this orthogonality constraint implies stronger relationships between the signal components. The proof can be seen in Appendix 3. And it is also the most important advantage of the output model. Using the Maxwell equations in the formalism of geometric algebra, Eq. (22) can be written in another shape.
where
with u representing the unit vector of the signal propagation andS _{ E }being the complex envelope of the electric field. In addition, the signal has an elevation angle θ and an azimuth angle φ. The derivation of (23) is omitted here and the interested reader will find more material in [10].
Considering the polarization information, the aforementioned complex envelope, S _{ E }, can be written as
where h is the signal polarization vector [16] and can be described by the auxiliary polarization angle (γ) and the polarization phase difference (η), that is,\( \boldsymbol{h}={\left[\cos \gamma \kern1.5em \sin \gamma {e}^{{\boldsymbol{e}}_{xyz}\eta}\right]}^{\mathrm{T}} \). And S is the multivector symbolizing the complex envelope of the signal. Moreover, the parameter Θ denotes the steering vector of the angle field [17] and is independent of the space location:
Thus, the polarized version of (23) can be expressed as
As stated above, the cylindrical conformal array is composed of M × N elements. In addition, suppose that there are K narrowband sources impinging on the array. The manifold of the conformal array as shown in Fig. 3 corresponding to the kth source is
where g _{ mn }(θ _{ k }, φ _{ k }), m = 1,2,…,M, n = 1,2,…,N is the element pattern in the array global Cartesian coordinate system. In subsequent equations the range of m and n is the same and is omitted. R _{ mn } and λ _{ k } are the (m, n)th element location vector and the kth signal wavelength respectively. The received signals of the array are the superposition of the response of each signal, the output can be expressed as
where X _{ k }is a special case of X regarding the kth source. And
with S _{ k } being the complex envelope of the kth signal. For notational convenience, we will simply write A instead of A(θ _{ k }, φ _{ k }, γ _{ k },η _{ k }) whenever there is no possibility of confusion.
Let us refer back to Eq. (28). It is worthwhile to note that the aforementioned manifold of the conformal array, a _{ sk }, is derived under the global coordinate system. The azimuth and elevation angles are defined in Fig. 3. In most readymade algorithms, the element pattern, g _{ mn }(θ _{ k }, φ _{ k }), is always considered to be identical. Nevertheless, due to the effects of the curvature of conformal carriers, the above assumption is not satisfied in the cylindrical conformal array.
In what follows, we will use the rotor in geometric algebra to model the conformal array, together with the vectorsensor array. The most important advantage of geometric algebra in analyzing conformal arrays is that we are able to express the geometry and the physics in a coordinatefree language. As stated above, the rotor can be used to realize the rotation between the two coordinate systems. Thus, we define the local coordinate system of the (m, n)th element as shown in Fig. 4.
The e _{ xmn } axis is the same as e _{ x } axis in the global coordinate system, e _{ zmn } is perpendicular to the element surface and e _{ ymn } is tangent to the surface which can form a standard Cartesian coordinate system. Then, transforming the global coordinate into the local one is equivalent to rotating the global coordinate about e _{ x } axis. The corresponding rotation angle is
Substituting e _{ z } and e _{ y } for b and a, respectively (see Appendix 1, the exponential form of the rotor), the rotor is
Utilizing E _{ 3 } = e _{ x } e _{ y } e _{ z } as the pseudoscalar in 3D Euclidean space, Eq. (33) can be further simplified
Through (11), we can acquire the standard orthogonal basis in the local coordinate. And the specific procedure can refer to Appendix 4. We herein directly give the results
Thus, from (35, 36 and 37), we can obtain the element pattern, g _{ mn }(θ _{ k }, φ _{ k }).
Up to present, the remaining unknown variable is the location vector. From Fig. 3, we can obtain its specific expression
where δ means the spacing between adjacent rings. Then, the mainfold of the conformal vectorsensor array, A, can be obtained.
Since the geometric algebra is introduced in modeling the manifold, the eigendecomposition is different from the conventional methods, such as [18]. In fact, similar to the quaternion case [19], the noncommutativity of the geometric product leads to two possible eigenvalues, namely the left and the right eigenvalue. However, in this paper, we select the right eigenvalue since the right eigendecomposition of A can be converted to the right eigendecomposition of the CRM.
We construct the covariance matrix
Here, we assume that the noise is identical and uncorrelated from element to element, with covarianceσ ^{2}.
For R _{ Y } is a unitary matrix, its eigendecomposition can be written as
Where U _{ Y s } is the MNxK matrix composed of the K eigenvectors corresponding to the K largest eigenvalues of R _{ Y }, termed as the signal subspace. U _{ Y n } represents the matrix composed of the eigenvectors corresponding to the 2 M–K smaller eigenvalues, i.e., the noise subspace. According to the principles of the MUSIC algorithm, the array manifold spans the signal subspace and is orthogonal to the noise subspace. In this case, we have
where 0 _{2M − K } is a 2 M–K row vector with all elements equal zero. The proof can be seen in Appendix 5.
In practice,\( {\boldsymbol{R}}_{\boldsymbol{Y}}=\frac{1}{L}\sum_{l=1}^L{\boldsymbol{Y}\boldsymbol{Y}}^{+}={\widehat{\boldsymbol{U}}}_{\boldsymbol{Y}s}{\widehat{\boldsymbol{D}}}_{\boldsymbol{Y}s}{\widehat{\boldsymbol{U}}}_{\boldsymbol{Y}s}^{+}+{\widehat{\boldsymbol{U}}}_{\boldsymbol{Y}n}{\widehat{\boldsymbol{D}}}_{\boldsymbol{Y}n}{\widehat{\boldsymbol{U}}}_{\boldsymbol{Y}n}^{+} \), the maximum likelihood estimation ofR _{ Y }, is always used as the covariance matrix. Among which, L represents the number of snapshots. In this case, (41) becomes
Up to present, the DOA estimation model of conformal vectorsensor array has been established. This is also the focus of our paper. The contents of constructing the spatial spectra and searching the peak are omitted here. The readers can refer to literature [18]. It is worthwhile to note that in introducing the rotor, the spatial location of the sensor is not required. Then, the proposed method can be easily extended to other arrays.
It is also worthwhile to note that {e _{ x }, e _{ y } , e _{ z }} is not only the basis for the multivector in the vectorsensor array, but also represents the coordinate in the conformal array. And, it can be used for transformation between the global and the local coordinates with the help of the rotor. Under this circumstance, there are some links between those two arrays. The commonality is one of the motivations for establishing a unified model to estimate the DOAs.
Complexity analysis
To better explain the superiority of the geometric algebra in modeling the conformal vectorsensor array, we will introduce the computational complexity from the standpoint of deriving the manifold. And, the computational burden is evaluated in terms of the number of multiplications, additions, and transpositions.
To this end, we will briefly introduce the conventional methods of analysis based on Euler angle in this section. Generally, the transformations between the element local coordinates and the array global coordinates may be implemented by three continuous Euler rotations [3]. The specific rotation matrix can be expressed as
where C, D, and F are, respectively, three consecutive Euler rotation angles about e _{ x } axis, e _{ y } axis and e _{ z } axis. The matrices R _{ x }(C), R _{ y }(D), and R _{ z }(F) are the corresponding Euler rotation matrices. It is noted that two successive Euler rotations are usually adequate to deal with the cylindrical conformal array. The third Euler rotation matrix is added here to cope with some irregular or special conformal arrays. Additionally, we know the rotation matrix is invertible from Eq. (43). Consequently, taking the inversion with respect to R(C, D, F), we have
Combining Eq. (43) with Eq. (44), it is not hard to find that
Thus, R(C, D, F) is the socalled orthogonal matrix. In this case, transforming the local coordinate into the global one is equivalent to imposing the transposition/inversion with respect to the above rotation matrix. If we model the conformal array based on the Euler angle, three matrix multiplications and one matrix transposition are required for each element.
In fact, the matrix operations are essentially the multiplications and the additions between elements. To quantify this, the amounts of multiplications and additions of the two methods (i.e., the proposed method and the Euler angle method) are calculated, respectively. The corresponding results are shown in Table 2. We assume that one matrix transposition is considered as one multiplication or addition operation. And it is obvious that the multiplication between two 3 × 3 matrices involves 9 × 3 multiplications and 9 × 2 additions. For convenience, the multiplication and the addition are collectively referred to as the operation. Then, Eq. (43) contains 2 × 9 × 3 + 2 × 9 × 2 operations. For the conformal array consisting of M × N electromagnetic vector sensors, the transformation between different coordinates involves 91 × 6 × MN operations. Compared with the Euler rotation angle, the proposed method effectively avoids the cumbersome matrix transformations. From Eqs. (35, 36, and 37), we know e _{ ymn } and e _{ zmn } are independent of e _{ x }. In addition, e _{ xmn } can be obtained directly from Eq. (35) without extra operations. Thus, Eqs. (35, 36 and 37), can be expressed as a 2 × 2 matrix. While using the rotor to establish the array manifold, the computational process is equivalent to a 2 × 2 matrix multiplied by a 2 × 1 vector. In this case, the operations for each element involve four multiplications and two additions. The total amount of operations is 6 × 6 × MN. Thus, the geometric algebrabased method significantly decreases the computational burden.
In general, the Euler rotation and its matrix representation cannot intuitively exhibit the complete procedure. In addition, as the configuration of the conformal array becomes more irregular and complex, the level of complexity involved in the transformations and the number of calculations required increases largely.
Simulation results
In this section, MonteCarlo simulation experiments are used to verify the effectiveness of the proposed algorithm. The array structure is shown in Fig. 3. Among which, we select M and N as 4 and 4, respectively. The angle between two consecutive elements on the same ring, β, is 5°. The number of snapshots, L, is 200. Under these premises, 200 independent simulation experiments are carried out. The root mean square error (RMSE) is utilized as the performance measure and is defined as
where \( \left\{{\widehat{\theta}}_i,{\widehat{\varphi}}_i\right\} \) are the estimates of elevation angles and azimuth angles, respectively, at the ith run.
Provided that there are three polarized signals can be received. The incident angles are (10°, 15°), (35°, 40°), and (60°, 35°), respectively. The corresponding polarization auxiliary angles and the polarization phase differences are (15°, 25°), (30°, 45°), and (50°, 65°). Figure 5 shows the simulation results of the proposed algorithm. The position of the spectrum peak represents the possible DOA. Intuitively, the estimation accuracy of the proposed algorithm is high.
To better demonstrate the performance of the proposed method, Qi’s method [3] and Gao’s algorithm [20] are included for comparison. We study the performance with a varying SNR from 0 to 30 dB. Without loss of generality, we select the first source (T1) and the second source (T2), respectively, to verify it. Figure 6 shows the RMSE versus SNR with the snapshots being 200. It can be seen that the proposed method outperforms the Qi’s method [3] by preserving the orthogonality of the received signal components. In addition, the performance of Gao’s algorithm is also worse than the proposed one. Two main reasons lead to this difference. Firstly, the proposed method imposes stronger constraints between the components of the signals. Secondly, the conformal array in [20] essentially belongs to the scalar array from the standpoint of elements while the conformal vectorsensor array presented in this paper belongs to the vector array. And the vector array contains more signal information compared with the scalar array. Moreover, in contrast to those two algorithms, the proposed one effectively avoids the cumbersome matrix transformations, and therefore, has a much lower computational complexity. It is noted that, for the statistical data have certain randomness, the simulation curve in Fig. 6 is not smooth.
Figure 7 illustrates the RMSE versus the number of snapshots with the SNR fixed at 10 dB. Compared with Fig. 6, we can draw similar conclusions. In particular, if we pick the points with snapshots being 300 and 600, respectively, we may find that the corresponding RMSEs are 0.5805 and 0.2902. This means the former value is nearly twice as much as the latter one. In fact, these improvements can be predicted from the derivation of CRB. The specific derivation process can refer to literature [21]. The number of snapshots can be extracted from the Fisher information matrix. Moreover, the CRB is found as the element of the inverse of that matrix. So, we can conclude that the RMSE is inversely proportional to L.
To better demonstrate the computational efficiency, the specific operations, such as the multiplications, additions, and transpositions, are simulated in Fig. 8. The value of the xaxis (or the abscissa) represents the product of M and N. It can be seen that the multiplications take up the most resources. Compared with Euler rotation angles, the proposed method reduces the computation by one order of magnitude. Thus, the proposed algorithm provides the possibility for realtime processing.
Conclusions
In this correspondence, we combine the electromagnetic vector sensors with the conformal array, and present a unified model based on geometric algebra to estimate the DOAs. Compared with existing methods, the proposed one has two main advantages. Firstly, it can give a more accurate estimation by preserving the orthogonality of the signal components. Secondly, it avoids the cumbersome matrix operations while performing the coordinate transformations, and therefore, has a much lower computational complexity. In addition, it has a strong commonality, that is to say, it is not limited to any specific conformal array. The simulation results verify the effectiveness of the proposed method.
References
 1.
Lu Gan, Xiaoyu Luo. Directionofarrival estimation for uncorrelated and coherent signals in the presence of multipath propagation, IET Microwaves, Antennas & Propagation, 2013, vol. 7, no. 9, pp. 746753, DOI: https://doi.org/10.1049/ietmap.2012.0659
 2.
Lars Josefsson, Patrik Persson. Conformal Array Antenna Theory and Design, IEEE Press Series on Electromagnetic Wave Theory, 2006, ISBN:978–0–471465843
 3.
Z. S. Qi., Y., Guo., B. H. Wang. Blind directionofarrival estimation algorithm for conformal array antenna with respect to polarisation diversity, IET Microwaves, Antennas & Propagation, 2011, vol. 5, no. 4, pp. 433442, DOI: https://doi.org/10.1049/ietmap.2010.0166
 4.
B. H. Wang, Y. Guo, Y. L. Wang, Y. Z. Lin. Frequencyinvariant pattern synthesis of conformal array antenna with low corsspolarisation, IET Microwaves, Antennas & Propagation, 2008, vol. 2, no. 5, pp. 442450, ISSN:17518725, DOI:https://doi.org/10.1049/ietmap:20070258
 5.
P. Alinezhad, S.R. Seydnejad, D. AbbasiMoghadam, DOA estimation in conformal arrays based on the nested array principles. Digit. Signal Process. 50, 191–202 (2016). https://doi.org/10.1016/j.dsp.2015.12.009
 6.
L. Zou, J. Lasenby, Z. He, Pattern analysis of conformal array based on geometric algebra, IET Microwaves, Antennas & Propagation, 2011, vol. 5, no. 10, p. 12101218, ISSN: 17518725, DOI: https://doi.org/10.1049/ietmap.2010.0588
 7.
W.U. Minjie, Z.H.A.N.G. Xiaofa, H.U.A.N.G. Jingjian, Y.U.A.N. Naichang, DOA estimation of cylindrical conformal array based on geometric algebra. Int J Antennas Propagation 2016, 1–9 (2016). https://doi.org/10.1155/2016/7832475
 8.
A. Nehorai, E. Paldi, Vectorsensor array processing for electromagnetic source localization. IEEE Trans. Signal Process. 42(2), 376–398 (1994). https://doi.org/10.1109/78.275610
 9.
N.L. Bihan, S. Miron, J. Mars, MUSIC algorithm for vectorsensors array using biquaternions. IEEE Trans. Signal Process. 55(9), 4523–4533 (2007). https://doi.org/10.1109/TSP.2007.896067
 10.
J.F. Jiang, J.Q. Zhang, Geometric algebra of euclidean 3space for electromagnetic vectorsensor array processing, part I: modeling. IEEE Trans. Antennas Propag. 58(12), 3961–3973 (2010). https://doi.org/10.1109/TAP.2010.2078468
 11.
Venzo De Sabbata, Bidyut Kumar Datta. Geometric Algebra and Applications to Physics. CRC Press, 2007, ISBN: 9781584887720
 12.
J.W. Arthur, Understanding geometric algebra for electromagnetic theory (IEEE Press, New Jersey, 2011) ISBN: 9781118078543
 13.
Dietmar Hildenbrand. Foundations of geometric algebra computing, 2013, Springer, ISBN: 978–3–642317934, DOI: https://doi.org/10.1007/9783642317941
 14.
Leo Dorst, Daniel Fontijne, Stephen Mann. Geometric Algebra for Computer Science, 2007, Morgan Kaufmann, ISBN: 9780123694652
 15.
John Snygg. A New Approach to Differential Geometry Using Clifford’s Geometric Algebra, Birkhäuser, 2010, New York, ISBN: 9780817682828
 16.
DESCHAMPS G. A. Techniques for handling elliptically polarized waves with special reference to antennas: part IIgeometrical representation of the polarization of a plane electromagnetic wave. Proc. IRE, 1951, vol. 39, p. 540544. DOI:https://doi.org/10.1109/JRPROC.1951.233136
 17.
W.U. Minjie, Y.U.A.N. Naichang, DOA estimation in solving mixed noncircular and circular incident signals based on the circular array. Prog. Electromagn. Res. M 53, 141–151 (2017). https://doi.org/10.2528/PIERM16092105
 18.
R. Schmidt, Multiple emitter location and signal parameter estimation. IEEE Trans. Antennas Propag. AP34(3), 276–280. ISSN: 0018926X (1986). https://doi.org/10.1109/TAP.1986.1143830
 19.
S. Miron, N.L. Bihan, J.I. Mars, QuaternionMUSIC for vectorsensor array processing. IEEE Trans. Signal Process. 54(4), 1218–1229 (2006). https://doi.org/10.1109/TSP.2006.870630
 20.
Ziyang Gao, Yong Xiao. Direction of arrival estimation for conformal arrays with diverse polarizations, 2015 12^{th} IEEE International Conference on Electronic Measurement & Instruments, pp. 439–442. DOI: https://doi.org/10.1109/ICEMI.2015.7494229
 21.
P. Stoica, A. Nehorai, MUSIC, maximum likelihood, and CramerRao Bound. IEEE TRANS. ACOUSTICS SPEECH SIGNAL PROCESSING. 37(5), 720–741. ISSN: 00963518 (1989). https://doi.org/10.1109/29.17564
Acknowledgements
The authors would like to thank the anonymous reviewers for the improvement of this paper.
Funding
This project was supported by the National Natural Science Foundation of China (Grant No.61302017).
Author information
Affiliations
Contributions
Tianzhen MENG conceived the basic idea and designed the numerical simulations. Minjie WU analyzed the simulation results. Naichang YUAN refined the whole manuscript. All authors read and approved the final manuscript.
Corresponding author
Correspondence to Minjie Wu.
Ethics declarations
Competing interests
The authors declare that they have no competing interests.
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Appendices
Appendix 1
Here we will give a brief proof to demonstrate that the rotation must be over twice the angle between a and b
To proceed further, we rewrite R according to the definition of the geometric product:
Here, we consider the case that the vectors are unit length. This assumption is reasonable, because the basic vectors of the Cartesian coordinate system satisfy it as well. The geometric product of b ʌ a itself is:
Thus, we define the 2blade E _{2}:
R can be further simplified by substituting (49) into (47):
The expression is similar to the polar decomposition of a complex number with the unit imaginary replaced by the 2blade E _{2}. (50) can also be written as the exponentials of E _{2}:
This formalism is more useful for the logspace of rotors is linear. We split x into a part (x _{ p }) parallel to b ʌ aplane and a part (x _{ o }) orthogonal to b ʌ aplane. Then, x _{ o } is not affected by the application R. And we infer that the rotation must be in the b ʌ aplane. As stated above, the rotation consists of two successive reflections which are orthogonal (anglepreserving) transformations. Thus, it allows us to pick any vector in the b ʌ aplane to determine the angle. Without loss of generality, we choose vector a, and construct the “sandwich product” RaR ^{−1} as shown in (11):
where bab ^{−1} is the reflection of a in b. From this it is clear that the rotation must be over twice the angle between a and b, since the angle between a and bab ^{−1} is twice the angle between a and b. The negative signature in (51) represents the rotation direction.
Appendix 2
We demonstrate how e _{ xyz } links the electric field with the magnetic field
First, let us refer back to the famous Maxwell equations described by the vector algebra are
where E = E _{ x } e _{ x } + E _{ y } e _{ y } + E _{ z } e _{ z } and H = H _{ x } e _{ x } + H _{ y } e _{ y } + H _{ z } e _{ z } are, respectively, the electric and magnetic fields. In addition, the parameters ε, μ, and ρ symbolize the permittivity, the permeability, and the density of the source charges, respectively.
It is worthwhile to give some results before proceeding to the physical problems of interest:
Using Eqs. (57, 58 and 59), the Maxwell equations in geometric algebra can be expressed as follows:
Since the arriving signals are assumed to be farfield, so the signals received on different positions differ only by a transmission delay, that is,
where r = r _{ x } e _{ x } + r _{ y } e _{ y } + r _{ z } e _{ z }, and τ is the socalled transmission delay,
with c representing the propagation speed and u denoting the signal propagation as defined in (24). Let
Then,
For plane waves, we know
Substituting Eqs. (67, 68, 69, 70 and 71) into Maxwell equations, we have
where \( \overset{\bullet }{\boldsymbol{E}}(t)=\frac{d\overset{\bullet }{\boldsymbol{E}}}{dt} \) and \( \overset{\bullet }{\boldsymbol{H}}(t)=\frac{d\overset{\bullet }{\boldsymbol{H}}}{dt} \).
From (75), we know u is in the plane \( \overset{\bullet }{\boldsymbol{H}}(t){\boldsymbol{e}}_{xyz} \). In addition, combining the geometric implication of the inner product with Eq. (74), we know \( \overset{\bullet }{\boldsymbol{E}}(t) \) is the orthogonal complement of u in the plane \( \overset{\bullet }{\boldsymbol{H}}(t){\boldsymbol{e}}_{xyz} \). That is to say, \( \overset{\bullet }{\boldsymbol{E}}(t) \) and u are orthogonal in that plane. Thus, the parameter ρ in (73) equals to zero. Then, Eqs. (72, 73) are equivalent to Eqs. (74, 75). We rewrite (73),
Combining (72) and (76), we have
where \( \sqrt{\frac{\mu }{\varepsilon }} \) denotes the intrinsic impedance of the medium.
Integrating (77) with respect to time t,
where q is a constant and equals to zero in the farfield assumption.
Up to this point, we have derived how e _{ xyz } links the electric field with the magnetic field.
Appendix 3
We show the orthogonality constraint implies stronger relationships between the signal components
Consider two electric field multivectors X _{ e1}, X _{ e2}, with their expressions given by
By imposing the orthogonality for the two multivectors
where 〈⋅〉_{ g } represents the inner product in geometric algebra.
We can get the following relationships between the signal components:
However, for long vector algorithm, the multivectors are replaced by the vectors x _{ e1}, x _{ e2}, and correspondingly,
Similarly, imposing the orthogonality for the two vectors
where 〈⋅〉_{ v } denotes the inner product between two vectors.
We can get the same result as in (82). However, Eqs. (83, 84 and 85) cannot be obtained. In other words, using geometric algebra to model the output imposes stronger constraints between the components of the vector sensor array.
Appendix 4
The detailed calculation procedures of Eqs. (35, 36 and 37), are given as follows. Since the derivations of Eqs. (36, 37) are similar to that of Eq. (35), we will take Eq. (35) as an example. And the other two equations can be obtained similarly. The derivation of (35) is
Appendix 5
We will verify the rationality of Eq. (41)
Using property (b) and Eq. (39), we can obtain the CRM ofR _{ Y }, that is
where
SinceR _{ s }is full rank, it is easy to obtain
According to the principle of MUSIC, we have
Where \( {\boldsymbol{U}}_{\psi n}\in {G}_3^{2M\times \left(2MK\right)} \) composed of the eigenvectors corresponding to the 2 M–K smaller eigenvalues of ψ(R _{ Y }). Using the property (d), Eq. (92) is equivalent to the following equation.
By means of the property (e), Eq. (93) can be further expressed as
Taking the multiplication on the left byP _{2K }, we have
Where \( {\boldsymbol{U}}_{\boldsymbol{Y}n}={\boldsymbol{P}}_{2M}{\boldsymbol{U}}_{\psi n}\in {G}_3^{M\times \left(2MK\right)} \) is composed of the eigenvectors corresponding to the 2 M–K smaller eigenvalues of R _{ Y }. Thus, Eq. (41) holds.
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
Meng, T., Wu, M. & Yuan, N. DOA estimation for conformal vectorsensor array using geometric algebra. EURASIP J. Adv. Signal Process. 2017, 64 (2017) doi:10.1186/s136340170503y
Received
Accepted
Published
DOI
Keywords
 Geometric algebra
 Conformal array
 Electromagnetic vector sensors
 DOA estimation