- Research
- Open Access
Generalized generating function with tucker decomposition and alternating least squares for underdetermined blind identification
- Fanglin Gu^{1}Email author,
- Hang Zhang^{1},
- Wenwu Wang^{2} and
- Desheng Zhu^{1}
https://doi.org/10.1186/1687-6180-2013-124
© Gu et al.; licensee Springer. 2013
Received: 2 November 2012
Accepted: 21 June 2013
Published: 1 July 2013
Abstract
Generating function (GF) has been used in blind identification for real-valued signals. In this paper, the definition of GF is first generalized for complex-valued random variables in order to exploit the statistical information carried on complex signals in a more effective way. Then an algebraic structure is proposed to identify the mixing matrix from underdetermined mixtures using the generalized generating function (GGF). Two methods, namely GGF-ALS and GGF-TALS, are developed for this purpose. In the GGF-ALS method, the mixing matrix is estimated by the decomposition of the tensor constructed from the Hessian matrices of the GGF of the observations, using an alternating least squares (ALS) algorithm. The GGF-TALS method is an improved version of the GGF-ALS algorithm based on Tucker decomposition. More specifically, the original tensor, as formed in GGF-ALS, is first converted to a lower-rank core tensor using the Tucker decomposition, where the factors are obtained by the left singular-value decomposition of the original tensor’s mode-3 matrix. Then the mixing matrix is estimated by decomposing the core tensor with the ALS algorithm. Simulation results show that (a) the proposed GGF-ALS and GGF-TALS approaches have almost the same performance in terms of the relative errors, whereas the GGF-TALS has much lower computational complexity, and (b) the proposed GGF algorithms have superior performance to the latest GF-based baseline approaches.
Keywords
- Blind identification
- Generalized generating function
- Tensor decomposition
- Tucker decomposition
- Underdetermined mixtures
1. Introduction
Blind identification (BI) of linear mixtures has recently attracted intensive research interest in many fields of signal processing including blind source separation (BSS). This work is devoted to BI of underdetermined mixtures with complex sources. Underdetermined mixtures are commonly encountered in many practical applications, such as in the radio communication context, where the reception of more sources than sensors becomes increasingly possible with the growth in reception bandwidth. In these applications, one often has to also deal with complex sources. One reason is that the communication signals are usually complex-valued such as the quadrature-amplitude modulation (QAM) signal, and minimum-shift keying (MSK) signal. Another reason is that frequency domain methods are often used for blind separation or identification from convolutive mixtures due to its computational efficiency [1, 2], while the objective functions used in the frequency domain are usually defined on complex-valued variables.
A large number of methods for BI of underdetermined mixtures start from the assumption that the sources are sparse by nature (i.e., in its own domain such as the time domain) or could be made sparse in another domain (e.g., a transform domain). A predefined transform such as short-time Fourier transform (STFT) or a learned transform using, e.g., simultaneous codeword optimization (SimCO), is usually applied to sparsify the data [3, 4] if the signal by nature is not sparse. Due to the sparsity of the sources, the scatter plot typically shows high signal values in the directions of the mixing vectors, which can be localized by using some clustering techniques [5, 6]. It should be noted that although some signals such as speech signals have some degree of sparsity in one domain or another, many other signals such as the majority of communication signals do not possess such a property. Hence, it is necessary to develop BI methods for the underdetermined mixtures that do not impose any sparsity constraint on the sources.
To this aim, many methods for BI of underdetermined mixtures turn to the use of various decomposition methods based on different data structures such as correlation [7, 8] and higher-order cumulant [9–14] matrices. The main idea of these algorithms is to construct a tensor based on the cumulants of the observations and then to estimate the mixing matrix by the decomposition of such a tensor. This is notably the case for second-order blind identification of underdetermined mixtures (SOBIUM) [7], fourth-order blind identification of underdetermined mixtures (FOBIUM) [9], fourth-order-only blind identification (FOOBI) [10], FOOBI-2 [10], and blind identification of mixtures of sources using Redundancies in the daTa Hexacovariance matrix (BIRTH) [11, 12] algorithms, which use second-order statistics tensors and fourth- and sixth-order cumulant tensors, respectively. A family of the methods named blind identification of over-complete mixtures of sources (BIOME) is proposed in [13], based on the even-order cumulants of the observations. However, all the methods proposed in [7–14] exploit only the statistical information contained in the data measured by second-order or higher-order statistics.
In order to exploit statistical information more effectively, a family of BI approaches was proposed in [15–18] by exploiting the statistical information with the characteristic function (CAF) or generating function (GF). In these works, the authors showed that the mixing matrix can be estimated up to trivial scaling and permutation indeterminacies by decomposing the tensor composed of partial derivatives of the GF. It is worth mentioning that the algorithms in [15–17] have been only applied to BI problems involving real-valued sources. In [18], the CAF approach was extended to the case of mixtures of complex-valued sources, which often occurs in digital communications. However, extra effort is required to obtain the correct real and imaginary combination of the mixing matrix since the real and imaginary parts of the mixing matrix are treated separately, leading to an increased computational cost due to the increased dimension of the matrix that needs to be processed. In this paper, we propose the Generalized Generating Function (GGF) to exploit the statistical information carried on the complex random variable. We show that the proposed GGF can exploit the statistical information carried on complex random variables in a more effective way than the GF presented in [18] due to the algebraic structure adopted by GGF (as detailed in Algebraic structure based on generalized generating function). Furthermore, a simple method for the mixing matrix estimation is derived based on tensor decomposition where the tensor is composed of the Hessian matrices of the GGF of the observations.
The remainder of this paper is organized as follows. In Problem formulation the BI problem is formulated and relevant assumptions are presented. In Algebraic structure based on generalized generating function we firstly generalize the definition of the GF for complex-valued random variables and then derive the corresponding core equation for BI. In Blind identification based on tensor decomposition, the GGF-ALS and GGF-TALS approaches are developed for the estimation of the mixing matrix. In the GGF-ALS algorithm, the mixing matrix is estimated by directly decomposing the tensor, constructed from the Hessian matrices of the second GGF of the observations, using the alternating least squares (ALS) algorithm. In the GGF-TALS algorithm, the Tucker decomposition is firstly applied to convert the original tensor to a lower-order core tensor, then the mixing matrix is obtained by decomposing the core tensor with the ALS algorithm. Furthermore, the factors of Tucker decomposition are obtained by the left singular vectors of the original tensor’s mode-3 matrix. Computer simulations are used to illustrate the performance of the proposed GGF approaches in Simulations and analysis. Finally, the paper is concluded in Conclusions.
2. Problem formulation
- (i)
The mixing matrix A is of full (row) rank.
- (ii)
The number P of sources is known.
- (iii)
The number of sensors is smaller than the number of sources, i.e., Q < P.
3. Algebraic structure based on generalized generating function
3.1. Core equation based on generalized generating function
Note that the statistical information exploited by GF/GGF is related to the number of processing points. Theoretically, a complete statistical description of the probability density function requires the evaluation of the GF/GGF at all (infinitely many) possible processing points. However, this often becomes computationally infeasible. In practice, such statistical information is obtained approximately by the evaluation of GF/GGF at a finite number of processing points. Hence, in comparison with the GF presented in [18], the GGF defined in (4) can exploit the statistical information carried on the complex variables more effectively when the number of the processing points stays the same, thanks to the incorporation of the imaginary part of the exponent to the function. Furthermore, as compared with the use of the GF in (3), using the GGF in (4) offers a simpler way for the estimation of the mixing matrix due to the exploitation of an elegant algebraic structure.
where (·)^{*} denotes the conjugate operator. It is necessary to point out that ψ _{ s }(A ^{H} u) is a diagonal matrix (more details can be found in Appendix 2).
3.2. Estimating ψ_{ z }(u)
4. Blind identification based on tensor decomposition
In this section, the GGF-ALS and GGF-TALS algorithms are developed for the estimation of the mixing matrix. In the GGF-ALS algorithm, the mixing matrix is estimated by decomposing the tensor which is formed of the Hessian matrices of the GGF of the observations. An improved version of the GGF-ALS algorithm, i.e., the GGF-TALS algorithm, is also developed, where the Tucker decomposition is firstly employed to convert the original tensor as used in the GGF-ALS algorithm to a lower-rank core tensor, and the mixing matrix is then estimated by decomposing the core tensor with the ALS algorithm.
4.1. The GGF-ALS algorithm
in which ψ _{ s }(A ^{H} u _{ k }) is diagonal, k =1,…,K. The problem we need to address is to estimate the mixing matrix A based on the set {ψ _{ z }(u _{1}), ⋯, ψ _{ z }(u _{ K })}. For the determined/overdetermined case, it is obvious that JD methods, such as the AC-DC method [19], can be used to estimate the mixing matrix. However, this method does not work when Q < P i.e., in the underdetermined case.
where ‖‖_{F} is the Frobenius norm.
Several algorithms exist for the computation of tensor decomposition. The standard way for computing the tensor decomposition is by using an ‘ALS’ algorithm [20]. Several improved versions, such as the enhanced line search (ELS) [21] and extrapolating search direction (ESD) [22], are proposed to accelerate the rate of convergence of the ALS. Hence, the ALS is chosen here to compute the CAND.
with Δ _{1}, Δ _{2} ∈ C ^{ P×P } being diagonal matrices, satisfying Δ _{1} Δ _{1} Δ _{2} = I, and P ∈ R ^{ P×P } being a permutation matrix.
The k-rank. The Kruskal rank or k-rank of a matrix A, denoted by κ _{A}, is the maximal number λ such that any set of λ columns of A is linearly independent.
We call a property generic when it holds with probability one. Generically, the mixing matrix is of full rank and of full k-rank when the parameters it involves are drawn from continuous probability densities. Hence, in practice, κ _{ A } = min(Q, P) and κ _{ D } = min(K, P).
In summary, we come to the following conclusion: when Q ≥ P, P ≥ 2, then the generic essential uniqueness is guaranteed for K ≥ 2; when Q < P and if K ≥ P, then the generic essential uniqueness is guaranteed for P ≤ 2Q − 2, if K < P, then the generic essential uniqueness is guaranteed for P < Q − 1 + K/2.
4.2. The GGF-TALS algorithm
In order to ensure the GGF-ALS algorithm has robust performance, a large value is often chosen for K in the tensor $\mathcal{M}\phantom{\rule{0.25em}{0ex}}\in \phantom{\rule{0.25em}{0ex}}{C}^{Q\times Q\times K}$. Nevertheless, this will lead to a heavy computational load. To reduce the computational complexity, the Tucker decomposition [23–25] is firstly applied to represent the tensor $\mathcal{M}$ as a lower-rank core tensor, whose size is much smaller than the tensor $\mathcal{M}$. Then the ALS algorithm is used to perform the CAND of the core tensor. In this way, the computational complexity can be reduced dramatically.
The n-rank . Let $\mathcal{F}$ be an N th-order tensor of size I _{1} × I _{2} ⋯ × I _{ N }. Then the n-rank of $\mathcal{F}$, denoted by ${\mathrm{rank}}_{n}\left(\mathcal{F}\right)$, is the column rank of F _{(n)}. In other words, if we let ${r}_{n}={\mathrm{rank}}_{n}\left(\mathcal{F}\right)$ for n = 1,…,N, then we can say that $\mathcal{F}$ is a rank r _{1}, ⋯, r _{ N } tensor.
4.3. Computational analysis
Computational complexity of GGF-ALS, GGF-TALS methods
Method | Operation | Complexity |
---|---|---|
GGF-ALS | ALS (one iteration) | O(3PKQ ^{2} + QKP ^{2} + Q ^{2} P ^{2}) |
GGF-TALS | SVD | O(Q ^{6}) |
ALS (one iteration) | O(3PLQ ^{2} + QLP ^{2} + Q ^{2} P ^{2}) |
It is worth mentioning that a large value is usually chosen for the number of processing points K in order to accumulate sufficient statistical information from data, while the rank of the core tensor order L is often chosen to be much smaller than K. For example, K = 100, L = 8 are chosen typically in our simulations as shown in the next section. The SVD is required to be calculated only once, whereas the ALS algorithm needs multiple iterations to achieve convergence, for example, 1,000 iterations as in our experiments. Moreover, the number of sources P and the number of sensors Q are usually small, for example, P = 4, Q = 3 in our simulations. For these reasons, it can be readily derived from Table 1 that the computational cost of the GGF-TALS algorithm is, in practice, much lower than that of the GGF-ALS algorithm (note that the complexity of SVD becomes negligible in this case).
5. Simulations and analysis
In this section, simulations are provided to illustrate the performance of the proposed GGF approaches for underdetermined mixtures of complex sources. The performance of the tested algorithms is evaluated and compared in terms of the relative error performance index (PI) versus the sample size and the signal-to-noise ratio (SNR) of the observations. Here the relative error PI is defined as [7]$\mathrm{PI}\phantom{\rule{0.5em}{0ex}}=\phantom{\rule{0.5em}{0ex}}\mathrm{E}\left\{\left|\left|\mathbf{A}-\widehat{\mathbf{A}}\left|\right|/\left|\right|\mathbf{A}\right|\right|\right\}$, in which the norm is the Frobenius norm and Â represents the optimally ordered and scaled estimate of the mixing matrix A.
where α _{ q } = (R _{ a }/λ)cos(2π(q − 1)/Q), β _{ q } = (R _{ a }/λ)sin(2π(q − 1)/Q), and $j=\sqrt{-1}$. We have R _{ a }/λ = 0.55. The direction of arrival (DOA) of the different sources are given by θ _{1} = 3π/10, θ _{2} = 3π/10, θ _{3} = 2π/5, θ _{4} = 0 and ϕ _{1} = 7π/10, ϕ _{2} = 9π/10, ϕ _{3} = 3π/5, ϕ _{4} = 4π/5. The sources are unit-variance 4-QAM with a uniform distribution, shaped by a raised cosine pulse shaping filter with a roll-off ρ = 0.3. All sources have the same symbol duration T = 4T _{ e }, where T _{ e } is the sample period. The observations are contaminated by additive zero-mean complex Gaussian noise.
First, we compare the performance of the GGF-ALS algorithm with that of the GGF-TALS algorithm and investigate the influence of the rank of the core tensor L on the performance of the GGF-TALS algorithm. To this end, the following two simulation experiments are conducted. In the first simulation, we evaluate the performance of the GGF-TALS algorithm with different core tensor rank L for a fixed number of processing points K, and compare it with GGF-ALS with the same number of processing points. In this simulation, K is chosen to be 100 for the GGF-ALS algorithm, both the real and imaginary parts of processing points are randomly drawn from [−1; 1], the SNR of the observations ranges from 0 to 25 dB, and the number of samples is 4,000. The core tensor rank for the GGF-TALS algorithm is chosen as L = 10,8,5, respectively. The threshold value described in (12) to stop the ALS algorithm is 10^{−5}, and 100 Monte Carlo experiments are run.
We can see that the average performance of GGF-TALS is consistent with that of GGF-ALS when both algorithms use the same number of processing points. For instance, when the number of processing points is 100, the performance of GGF-TALS is close to the performance of GGF-ALS, so is for K = 40. Therefore, the GGF-TALS algorithm consistently offers similar performance to GGF-ALS when the number of processing points is varied.
Second, we compare the performance of the GGF-ALS and GGF-TALS algorithms with that of the latest GF-based BI algorithm. Here, the LEMACFAC-2 in [18] is chosen as the baseline algorithm. The number of processing points and the value of processing points for the GGF-ALS, GGF-TALS, and LEMACFAC-2 are the same. Specifically, the number of processing points is 100, both the real and imaginary parts of processing points are randomly drawn from [−1; 1], and the rank of the core tensor is 8. The threshold value described in (12) to stop the LM algorithm [26] exploited in LEMACFAC-2 method is also 10^{−5}.
6. Conclusions
We have presented two algorithms, namely, GGF-ALS and GGF-TALS, for blind identification from underdetermined mixtures of complex sources using the second GGF of the observations. In the GGF-ALS algorithm, the mixing matrix is estimated by directly using the ALS algorithm to decompose the tensor constructed from the Hessian matrices of the second GGF of the observations. The GGF-TALS algorithm is an improved version of the GGF-ALS algorithm, where the Tucker decomposition is first used to convert the original tensor into a lower-rank core tensor, and the mixing matrix is then estimated by applying the ALS algorithm to the core tensor. Simulation results have shown that (a) the proposed GGF-ALS and GGF-TALS approaches have almost the same performances in terms of the relative errors, whereas the GGF-TALS has a much lower computational complexity, and (b) the proposed GGF algorithms have superior performance to the latest GF-based BI approaches, since the GGF algorithms can exploit the statistical information carried on complex variables in a more effective way.
Appendix 1
Appendix 2
where diag(·) represents an operator forming a diagonal matrix by assigning its arguments to the entries of the main diagonal.
Declarations
Acknowledgments
This work is supported in part by Natural Science Foundation of China under grant 61001106 and National Program on Key Basic Research Project of China under grant 2009CB320400, and Engineering and Physical Science Research Council of the UK under grant EP/H050000/1. The authors would like to thank the anonymous referees for their constructive comments for improving this paper and Dr. Mark Barnard for proofreading the manuscript.
Authors’ Affiliations
References
- Chen B, Petropulu AP: Frequency domain blind MIMO system identification based on second- and higher order statistics. IEEE Trans. Signal Process. 2001, 49(8):1677-1688. 10.1109/78.934137View ArticleGoogle Scholar
- Rahbar K, Reilly JP: A frequency domain method for blind source separation of convolutive audio mixtures. IEEE. Trans. Speech Audio Process 2005, 13(5):832-844.View ArticleGoogle Scholar
- Aissa-EI-Bey A, Linh-Trung N, Abed-Meraim K, Belouchrani A, Grenier Y: Underdetermined blind separation of nondisjoint sources in the time-frequency domain. IEEE Trans. Signal Process. 2007, 55(3):897-907.MathSciNetView ArticleGoogle Scholar
- Dai W, Xu T, Wang W: Simultaneous codeword optimization (SimCO) for dictionary update and learning. IEEE Trans. Signal Process. 2012, 60(12):6340-6353.MathSciNetView ArticleGoogle Scholar
- Bofill P, Zibulevsky M: Underdetermined blind source separation using sparse representations. Signal Process. 2001, 81: 2353-2362. 10.1016/S0165-1684(01)00120-7View ArticleMATHGoogle Scholar
- Févotte C, Godsill SJ: A Bayesian approach for blind separation of sparse sources. IEEE Trans Audio Speech Lang Process 2006, 14(6):2174-2188.View ArticleMATHGoogle Scholar
- Lathauwer LD, Castaing J: Blind identification of underdetermined mixtures by simultaneous matrix diagonalization. IEEE Trans. Signal Process. 2008, 56(3):1096-1105.MathSciNetView ArticleGoogle Scholar
- Tichavský P, Koldovský Z: Weight adjusted tensor method for blind separation of underdetermined mixtures of nonstationary sources. IEEE Trans. Signal Process. 2011, 59(3):1037-1047.View ArticleGoogle Scholar
- Ferréol A, Albera L, Chevalier P: Fourth-order blind identification of underdetermined mixtures of sources (FOBIUM). IEEE Trans. Signal Process. 2005, 53(5):1640-1653.MathSciNetView ArticleGoogle Scholar
- Lathauwer LD, Castaing J, Cardoso JF: Fourth-order cumulant-based blind identification of underdetermined mixtures. IEEE Trans. Signal Process. 2007, 55(6):2965-2973.MathSciNetView ArticleGoogle Scholar
- Albera L, Ferreol A, Comon P, Chevalier P Proceedings of the 4th International Symposium on Independent Component Analysis and Blind Signal Separation. In Sixth order blind identification of under-determined mixtures (BIRTH) of sources. Nara; 2003:909-914.Google Scholar
- de Almeida ALF, Luciani X, Comon P IEEE Workshop on Statistical Signal Processing. In Blind identification of underdetermined mixtures based on the hexacovariance and higher-order cyclostationarity. Cardiff, UK; 2009:669-672.Google Scholar
- Albera L, Ferréol A, Comon P, Chevalier P: Blind identification of over-complete mixtures of sources (BIOME). Lin. Algebra Appl. 2004, 391: 1-30.View ArticleMATHGoogle Scholar
- Karfoul A, Albera L, Birot G: Blind underdetermined mixture identification by joint canonical decomposition of HO cumulants. IEEE Trans. Signal Process. 2010, 58(2):638-649.MathSciNetView ArticleGoogle Scholar
- Yeredor A: Blind source separation via the second characteristic function. Signal. Process. 2000, 80(5):897-902. 10.1016/S0165-1684(00)00062-1View ArticleMATHGoogle Scholar
- Eidinger E, Yeredor A: Blind MIMO identification using the second characteristic function. IEEE Trans. Signal Process. 2005, 53(11):4067-4079.MathSciNetView ArticleGoogle Scholar
- Comon P, Rajih M: Blind identification of underdetermined mixtures based on the characteristic function. Signal. Process. 2006, 86(9):2271-2281. 10.1016/j.sigpro.2005.10.007View ArticleMATHGoogle Scholar
- Luciani X, de Almeida ALF, Comon P: Blind identification of underdetermined mixtures based on the characteristic function: the complex case. IEEE Trans. Signal Process. 2011, 59(2):540-553.MathSciNetView ArticleGoogle Scholar
- Yeredor A: Non-orthogonal joint diagonalization in the least-squares sense with application in blind source separation. IEEE Trans. Signal Process. 2002, 50(7):1545-1553. 10.1109/TSP.2002.1011195MathSciNetView ArticleGoogle Scholar
- Lathauwer LD, Moor BD, Vandewalle J: On the best rank-1 and rank-( R _{ 1 } , R _{ 2 } , …, R _{ N }) approximation of higher-order tensors. SIAM J. Matrix Anal. Appl. 2000, 21: 1324-1342. 10.1137/S0895479898346995MathSciNetView ArticleMATHGoogle Scholar
- Nion D, Lathauwer LD: An enhanced line search scheme for complex-valued tensor decompositions: application in DS-CDMA. Signal Process. 2008, 88(3):749-755. 10.1016/j.sigpro.2007.07.024View ArticleMATHGoogle Scholar
- Chen Y, Han D, Qi L: New ALS methods with extrapolating search directions and optimal step size for complex-valued tensor decompositions. IEEE Trans. Signal Process. 2011, 59(12):5888-5898.MathSciNetView ArticleGoogle Scholar
- Kolder TG, Bader BW: Tensor decompositions and applications. SIAM Rev. 2009, 51(3):455-500. 10.1137/07070111XMathSciNetView ArticleGoogle Scholar
- Bergqvist G, Larsson EG: The higher-order singular value decomposition: theory and an application. IEEE Signal Process. Mag. 2010, 27(3):151-154.View ArticleGoogle Scholar
- Zhou G, Cichocki A: Fast and unique tucker decompositions via multiway blind source separation. Bull. Pol. Acad. Sci. 2012, 60(3):389-405.MathSciNetGoogle Scholar
- Comon P, Luciani X, de Almeida ALF: Tensor decomposition, alternating least squares and other tales. J. Chemometr. 2009, 23: 393-405. 10.1002/cem.1236View ArticleGoogle Scholar
Copyright
This article is published under license to BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.