EM algorithm for convolutive independent component analysis (CICA)

Information

  • Patent Application
  • 20030046038
  • Publication Number
    20030046038
  • Date Filed
    May 14, 2001
    23 years ago
  • Date Published
    March 06, 2003
    21 years ago
Abstract
In connection with blind source separation, proposed herein, inter alia, are: expectation-maximization equations to iteratively estimate unmixing filters and source density parameters in the context of convolutive independent component analysis where the sources are modeled with mixtures of Gaussians; a scheme to estimate the length of unmixing filters; and two alternative initialization schemes.
Description


FIELD OF THE INVENTION

[0001] The present invention generally relates to blind source separation. More particularly, it relates to the blind separation of convolutive mixtures of mutually independent white sources.



BACKGROUND OF THE INVENTION

[0002] Blind Source Separation (BSS) addresses the issue of recovering source signals from the observation of linear mixtures of these sources. Independent Component Analysis (ICA) aims at achieving BSS in the case where the source signals are mutually statistically independent and mixed with an unknown full rank matrix, resulting in distinct instantaneous mixtures observed at the outputs of sensors. However, in most real-world situations, the assumption of instantaneous mixing between the sources does not hold, due to propagation delays and multipath propagation in reflective environments. It is more realistic to expect multiple attenuated echoes of the source signals to arrive at the sensors at different times. This situation can be modeled by assuming that the source signals are mixed with an unknown matrix of filters (instead of scalars), resulting in distinct convolutive mixtures observed at the outputs of the sensors.


[0003] The BSS of convolutive mixtures may be referred to as Convolutive ICA (CICA). So far, the algorithms devised to solve the CICA problem rely on gradient descent techniques. It is well known that gradient descent techniques are slow and that they suffer from instability problems especially because they require the empirical tuning of a learning rate.


[0004] Generally, Independent Component Analysis (ICA) aims at achieving BSS in the case where the source signals are mutually statistically independent and mixed with an unknown full rank matrix, resulting in distinct instantaneous mixtures observed at the outputs of sensors. Usually, the algorithms devised to solve the ICA problem involve estimating an unmixing matrix transforming the observed mixtures into signals that are as independent as possible. This approach is grounded in theoretical results about blind identifiability according to which, assuming that no more than one source is Gaussian, then BSS can be achieved by restoring statistical independence (see: P. Comon, Independent component analysis, a new concept?, Signal Processing, Special Issue on higher-order statistics, pp 287-314, vol. 36(3), 1994; X. -R. Cao and R. -W. Liu, General approach to blind source separation., IEEE Transactions on Signal Processing, pp 562-571, vol. 44(3), 1996; and J. -F. Cardoso, Blind signal separation: statistical principles, Proceedings of the IEEE, pp 2009-2025, vol.9, October 1998). As a consequence, the outputs of the unmixing matrix equal the actual sources up to scaling and permutation. In H. Attias and C. E. Schreiner, Blind source separation and deconvolution: the dynamic component analysis algorithm, Neural Computation, pp 1373-1424, vol. 10, 1998, an iterative procedure is proposed to learn Maximum Likelihood estimates of both the unmixing matrix and the densities of the sources, by modeling the distribution of each source with a mixture of Gaussians. Whereas the ML estimates of the density parameters are computed with the usual Expectation-Maximization equations for fitting mixtures of Gaussians, an ML estimate of the unmixing matrix is computed with gradient update rules. Recently, it was shown by S. Chen and R. Gopinath, as a by-product of their work on Gaussianization (S. S. Chen, and R. A. Gopinath. Gaussianization, Proceedings of the NIPS conference, 2000), that EM equations could be derived not only to compute the estimates of the density parameters, but also to compute an ML estimate of the unmixing matrix.


[0005] Convolutive ICA (CICA) aims at achieving BSS in the case where the source signals are mutually statistically independent and mixed with an unknown matrix of filters, resulting in distinct convolutive mixtures observed at the outputs of sensors. In Attias et al., supra, an iterative procedure is proposed to learn Maximum Likelihood estimates of both the unmixing filters and the densities of the sources, by modeling the distribution of each source with a mixture of Gaussians. Whereas the ML estimates of the density parameters are computed with the usual Expectation-Maximization equations for fitting mixtures of Gaussians, ML estimates of the unmixing filters are computed with gradient update rules.


[0006] In view of the foregoing, a need has been recognized in connection with overcoming the shortcomings and disadvantages presented in connection with conventional arrangements.



SUMMARY OF THE INVENTION

[0007] In accordance with at least one presently preferred embodiment of the present invention, the EM solution provided for ICA is extended to the case of Convolutive ICA, where a matrix of filters, instead of a matrix of scalars, needs to be estimated. The EM equations proposed by S. Chen and R. Gopinath to solve the ICA problem is a particular case that can be addressed, where the filters would be of length 1.


[0008] Broadly contemplated herein is the replacement of gradient update rules (discussed heretofore) with Expectation-Maximization (EM) equations. The use of an EM procedure is advantageous as it provides a faster and more stable convergence than gradient descent techniques.


[0009] Addressed herein is the issue of separating convolutive mixtures of white independent sources. The model assumed by the invention is as follows. Consider D mutually independent random variables Y1 . . . YD called sources and generating real-valued data Y1 (t) . . . Yd(t) . . . YD (t) at each time index t. Further assume that each source Yd obeys a statistical law, i.e. samples are drawn according to a density probability function consisting of a mixture of ld Gaussians characterized by the unknown prior, mean and variance parameters {(πd,1, μd,1, σd,12)i=1Id, d=1 . . . D}. The T observations Yd(1) . . . Yd(t) . . . Yd(T) generated by each source Yd are assumed to be drawn independently, i.e. each source is assumed to be white. The D streams of data generated by the sources are not observable. They are mixed with an unknown D×D matrix of filters, resulting in D streams of data Xl(t) . . . Xd(t) . . . XD(t) which are observed at the output of D sensors. The present invention provides an EM algorithm to compute:


[0010] maximum likelihood estimates of the unknown density parameters


{(πd,i, μd,i, σd,i2)i=1Id, d=1 . . . D}


[0011] and a maximum likelihood estimate of the unknown D×D unmixing matrix of filters allowing to recover the unknown D sources (up to scaling and permutation), from the data X1(t) . . . Xd(1) . . . XD(1) observed at the sensor outputs.


[0012] Also contemplated herein are two alternative initialization procedures of the algorithm that allow:


[0013] estimation of the length of the unmixing filters (assuming that the unmixing filters are of finite length),


[0014] speeding up of the convergence and limiting of the risk of converging towards a local maximum of the likelihood.


[0015] In summary, one aspect of the present invention provides a method of facilitating blind source separation in convolutive independent component analysis, the method comprising the steps of: initializing at least one parameter, obtaining a set comprising at least one observation; computing the likelihood of the at least one observation and of an auxiliary function; maximizing the auxiliary function; and ascertaining whether the likelihood of the at least one observation converges.


[0016] A further aspect of the present invention provides an apparatus for facilitating blind source separation in convolutive independent component analysis, the apparatus comprising: an initializing arrangement which initializes at least one parameter; an input arrangement which obtains a set comprising at least one observation; a likelihood computing arrangement which computes the likelihood of the at least one observation and of an auxiliary function; a maximizing arrangement which maximizes the auxiliary function; and an ascertain arrangement which ascertains whether the likelihood of the at least one observation converges.


[0017] Furthermore, an additional aspect of the present invention provides a program storage device readable by machine, tangibly embodying a program of instructions executable by the machine to perform method steps for facilitating blind source separation in convolutive independent component analysis, the method comprising the steps of: initializing at least one parameter; obtaining a set comprising at least one observation; computing the likelihood of the at least one observation and of an auxiliary function; maximizing the auxiliary function; and ascertaining whether the likelihood of the at least one observation converges.


[0018] For a better understanding of the present invention, together with other and further features and advantages thereof, reference is made to the following description, taken in conjunction with the accompanying drawings, and the scope of the invention will be pointed out in the appended claims.







BRIEF DESCRIPTION OF THE DRAWINGS

[0019]
FIG. 1 shows the model of the observation data assumed by Convolutive ICA.


[0020]
FIG. 2 shows the unmixing model that a CICA algorithm aims at learning.


[0021]
FIG. 3 gives an overview of a CICA algorithm.


[0022]
FIG. 4

a
and 4b summarize two initialization schemes.


[0023]
FIGS. 5 through 8 show the impulse responses of mixing filters used in experiments.


[0024]
FIG. 9 illustrates the estimation of the length of unmixing filters used in experiments.


[0025]
FIG. 10 shows the convergence of the log-likelihood of observations in experiments.


[0026]
FIGS. 11 through 16 show the convergence of source density parameters in experiments.


[0027]
FIG. 17 illustrates a comparison of the convergence of the log-likelihood for two initialization schemes included in the invention.







DESCRIPTION OF THE PREFERRED EMBODIMENTS

[0028] Generally, at least one presently preferred embodiment of the present invention relates to:


[0029] EM equations to iteratively estimate unmixing filters and source density parameters in the context of Convolutive ICA where the sources are modeled with mixtures of Gaussians,


[0030] a scheme to estimate the length of the unmixing filters, and


[0031] two alternative schemes to initialize the algorithm.


[0032] The disclosure will now address the derivation of EM estimation equations.


[0033] Referring to the drawings, FIG. 1 shows the model of generation of the observed data assumed in at least one embodiment of the present invention. D mutually independent random variables Y1 . . . Yd . . . YD called sources generate real-valued data Y1(t) . . . Yd(t) . . . YD(t) at each time index t. The T observations Yd(1) . . . Yd(t) . . . Yd(T) generated by each source Yd are assumed to be drawn independently, i.e. each source is assumed to be white. The D streams of data generated by the sources are not observable. They are mixed with unknown convolutive filters of finite impulse response (Bdj)dj=1D, as shown on FIG. 1. The filtering and mixing process results in D streams of data X1(t) . . . Yd(t) . . . XD(t). which are observed at the output of D sensors:
1Xd(t)=j=1D(Bdj*Yj)(t)=j=1Dp=0PB-1Bdj(p)Yj(t-p)(1)


[0034] where the symbol * denotes the convolution operation and where PB is the maximum of the lengths (PB can actually be infinite) of all the filters (Bdj) dj=1D.


[0035] A basic problem addressed in accordance with an embodiment of the present invention is to identify a D×D matrix A of inverse filters with responses (Aij)i,j=1D allowing to recover D mutually independent sources Ý1 . . . Ý1 . . . ÝD from the observed convolutive mixtures X1(t) . . . Xd(t) . . . YD(t), as shown in FIG. 2, and as formally expressed by the following equation:
2Ýd(t)=j-1Ii(Adj*Xi)(t)=j=1Dp-0PA-1Adj(p)Xi(t-p)(2)


[0036] where PA is the maximum of the lengths of all the filters (AD)i,j−1D;Pd has to be finite.


[0037] Note the assumption that there are no time correlations within each source, i.e. one assumes that each source is white. This assumption does not narrow the applicability of our solution to blind CICA, since, as emphasized in Attias et al., supra, it is not possible in the filly blind separation problem to distinguish between the spectra of the filters and the spectra of the sources. Therefore, one can as well assume that the time structure within each observed mixture is introduced exclusively by the convolutive aspect of the mixing. In that case, learning the separating transform means learning the spectra of the filters and recovering white sources.


[0038] It remains to clarify the relation between the recovered sources Ý1 . . . Ýd . . . ÝD and the actual sources Y1 . . . Yd . . . YD. For this purpose, one may rewrite matricially equation (2), as a product of the convolutive mixtures by a TD×TD separating matrix:
3[Ý(1)Ý(2)Ý(t)Ý(T)]=[A(0)0DA(1)A(0)OD0DA(PA-1)A(0)0D0DA(PA-1)A(0)0D0DA(PA-1)A(0)][X(1)X(2)X(t)X(T)](3)


[0039] where
4A(p)=[A11(p)A12(p)A21(p)A22(p)]


[0040] is the D×D matrix of scalars formed by the pth coefficients of the separating filters, and where 0D is the D×D matrix of zeros.


[0041] One may note from equation (3) that the CICA problem is formally equivalent to an ICA problem with PAD sensor outputs since:




Ý
(t)=[A(0) . . . A(PA−1)]X(t)   (4)



[0042] with




X
(t)=[X1(t) . . . XD(t) . . . X1(t−PA+1) . . . XD(t−PA+1)],



[0043] , i.e., the PAD observations X are composed of the D current observations X1(t) . . . XD(t) and of the (PA−1) delayed versions of the D sensor outputs. As it is well known in ICA, the recovered sources Ý1 . . . Ýd . . . ÝD equal the actual sources Y1 . . . Yd . . . YD up to scaling and permutation. In the case of CICA, equation (4) shows that the ambiguity on the scale of the sources can be solved by requiring to find a solution [A(0) . . . A(PA−1)] where each 1×PAD row has a norm equal to 1. All that remains then is the ambiguity on the order of the sources, i.e. the ambiguity on the order of the rows in [A((1) . . . A(PA−1)].


[0044] It should be noted that by writing the matricial equation (3), it has been implicitly assumed that the TD×TD mixing matrix was invertible, which implies especially that the matrix A(0) is full rank. This may not be the case in real applications, however, the scheme presented in this application does not cover such cases.


[0045] Besides, in the present invention, following the approach in Attias et al., supra, the density of each source Yd is modeled with a mixture of ld Gaussians characterized by the unknown prior, mean and variance parameters (πd,1, μd,i, σd,i2)i=1Id, where ld is the prespecified number of Gaussian components in the density of Yd. The CICA model is thus fully specified by the set of parameters Θ={A(p)p=0PA−1; (πd,l, μd,l, σd,l2)i=1Id, d=1 . . . D}. In the remaining of this section, we derive EM equations to compute Maximum Likelihood (ML) estimates for all the parameters in the set Θ.


[0046] The problem of computing ML estimates of Θ can be formulated as an ML estimation problem from incomplete data, where the missing data are the gaussian components drawn for each Yd, and as such it can be solved with an Expectation-Maximization procedure (see A. P. Dempster, N. M. Laird and D. B. Rubin, Maximum-Likelihood from Incomplete Data via the EM algorithm, Journal of the Royal Statistics Society, pp 1-38, vol. 39 [1], 1977). The complete data are given by (X,Z), where the random variable Z=[Z1 . . . ZD] is such that Zd(1) specifies the index i of the Gaussian (πd,1, μd,i, σd,i2) drawn for Yd(t). The likelihood of the complete data computed with the parameter set Θ is given by the joint density PΘ (X,Z). Following the EM framework, one may define the auxiliary function Q (Θ′, Θ) to be the conditional expectation of the log-likelihood of the complete data (X, Z).




Q
(Θ′,Θ)=E(log pΘ(X,Z)|Θ′, X)   (5)



[0047] According to the Baum-Welch inequality, if Q(Θ′, Θ)≧Q(Θ′, Θ′) then PΘ (X)≧pΘ′(X). The E-step of the EM procedure consists in computing Q(Θ′, Θ) and the M-step consists in maximizing Q (Θ′, Θ) with respect to Θ. To perform the E-step, we express the complete data likelihood as a function of the source densities:




p


Θ
(X,Z)=|det A(0)|TpΘ(Y,Z)



[0048] where |det A(0)|T is the determinant of the Jacobian of the separating transform as shown by equation (3).


[0049] Since the data Y are drawn independently at each time index and are composed of D mutually independent sources, the log likelihood can be written as:
5logpΘ(X,Z)=Tlog&LeftBracketingBar;detA(0)&RightBracketingBar;+i=1Td=1Dlogp(Zd(t))+logp(Ýd(t)Zd(t))=Tlog&LeftBracketingBar;detA(0)&RightBracketingBar;+i=1Td=1Di=1IdδZA(t)A[logπd,i-12log2πδd,i2-(Ýd(t)-μd,i)22σd,i2](6)


[0050] where the Kronecker variable δZd(t),i equals 1 if Zd(t)=i and equals 0 otherwise.


[0051] From equations (5) and (6), one obtains:
6Q(Θ,Θ)=Tlog&LeftBracketingBar;detA(0)&RightBracketingBar;+i=1Td=1Di=1Idωd,t(t)[logπd,i-12log2πσd,i2-(Ýd(t)-μd,i)22σd,i2]


[0052] where U)d,j(t) represents the occupancy probability of the Gaussian component (d,i) at time t;
7ωd,i(t)=E[δZd(t),iΘ,A]=πd,i12πσd,i′2exp((Ýd(t)-μd,i)22σd,i′2)j=1Idπd,i12πδd,i′2exp((Ýd(t)-μd,i)22σd,i′2)


[0053] In the M-step of the EM procedure, one may preferably derive reestimation equations for the parameters in Θ by maximizing the auxiliary function Q(Θ′,Θ) with th respect to Θ. Zeroing the derivative of Q(Θ′,Θ) with respect to πd,i and μd,i yields the reestimation equations:
8πd,j=i=1Tωd,i(t)T(7)μd,i=i=1Tωd,i(t)Ýd(t)i=1Tωd,i(t)=p=0PA-1ad(p)μd,iX(p)(8)


[0054] where ad(P) is the dth row vector of the matrix A(P), and where, with the convention X(t)=0 for t≦0;
9μd,iX(p)=i=1Tωd,i(t)X(t-p)i=1Tωd,i(t)


[0055] Zeroing the derivative of Q(Θ′,Θ) with respect to σd,i2 yields the reestimation equation.
10σd,i2=i=1Tωd,i(t)(Ýd(t)-μd,i)2i=1Tωd,i(t)=p,p=0PA-1ad(p)d,iX(p,p)adT(p)whered,iY(p,p)=i=1Tωd,i(t)(X(t-p)-μd,iY(p))(X(t-p)-μd,iY(p))Ti=1Tωd,i(t)(9)


[0056] In Attias et al., supra, the maximization of Q(Θ′,Θ) with respect to the filter coefficients is performed with a gradient descent algorithm. In the present invention, we show how to derive EM reestimation equations for the rows ad(p) of the unmixing filters by following the scheme introduced in M. J. F. Gales, Semi-tied covariance matrices for hidden Markov models, IEEE Transactions on Speech and Audio Processing, pp 272-281, num. 7, 1999, for the derivation of semi-tied covariances, and used in Chen et al., supra, for Gaussianization. As will be seen, the ICA estimation equations derived in Chen et al., supra, are a special case of the equations derived in this section. One may rewrite Q(Θ′,Θ) as a function of the rows of to the filtering matrices using the fact that det A(0)=ad(0)cdT(0) with ad(0) any particular row of A(0) and CdT(0) the row vector of the cofactors for the row ad(0);
11Q(Θ,Θ)=Tlog&LeftBracketingBar;ad(0)cdT(0)&RightBracketingBar;-12i=1Td=1Di=1ldωdd(t)(Yd(t)-μd,l)2σd,l2+K=Tlog&LeftBracketingBar;ad(0)cdT(0)&RightBracketingBar;-12d=1Dp,p=0Pd-1aj(p)Gd(p,p)adT(p)+KwhereGd(p,p)=i=1ld1σd,i2i=1Tωdd(t)(X(t-p)-μd,iX(p))(X(t-p)-μd,iX(p))T


[0057] The derivative of Q(Θ′,Θ) with respect to ad(p) for P≠0 is:
12Qad(p)(Θ,Θ)=-aj(p)Gd(p,p)-rpad(r)Gd(r,p)


[0058] where the equality Gd(p,p′)=Gd(p′,p)T is used. Zeroing t is derivative yields the reestimation equation:
13ad(p)=-[rpad(r)Gd(r,p)]Gj-1(p,p)foranyp0(10)


[0059] Similarly, the derivative of Q(Θ′, Θ) with respect to ad(0) is
14Qad(0)(Θ,Θ)=Tcd(0)ad(0)cdT(0)-ad(0)Gj(0,0)-r0ad(r)Gd(r,0)


[0060] Zeroing this derivative can be written as a quadratic equation of the scalar variable
15β=Tad(0)cdT(0):ε1β2-ε2β-T=0whereε1=cd(0)Gd-1(0,0)cdT(0)ε2=(r=0ad(r)Gd(r,0))Gd-1(0,0)cdT(0)(11)


[0061] The two roots of this quadratic equation,
16β=ε2±ε22+4ε1T2c1,


[0062] both correspond to maxima (note that from the definition of ε1, the quantity ε22+4ε1T is always positive, and hence the roots have real values). The root to select is thus the one which will yield the highest value of Q(Θ′, Θ). Substituting the reestimation equation of ad(0);
17ad(0)=(βcd(0)-r0ad(r)Gd(r,1))Gd-1(0,0)(12)


[0063] into Q(Θ′, Θ) and keeping only the terms depending on β;
18Q(Θ,Θ)=Tlog&LeftBracketingBar;βε1-ε2&RightBracketingBar;-12ε1β2=Tlog&LeftBracketingBar;-ε2±ε22+4ε1T2&RightBracketingBar;-12ε1(ε2±ε22+4ε1T2ε1)2


[0064] Therefore if ε2≧0, one may preferably select
19β=ε2-ε22+4ε1T2ε1,


[0065] whereas if ε2<0, one may select
20β=ε2+ε22+4ε1T2ε1.


[0066] After proper selection of β, the row a ad(0) is reestimated with equation (12).


[0067] The estimation equations of the transform rows in Chen et al., supra, are special cases of the estimation equations (10) and (12). To make it more precise, by taking PA=1, equations (10) and (12) reduce to the ICA estimation equations in Chen et al., supra.


[0068] The disclosure now turns to the initialization of an algorithm in accordance with at least one presently preferred embodiment of the present invention.


[0069] One limitation of the EM algorithm is that it may converge towards a local maximum instead of the global maximum of the likelihood function. A judicious choice of the initial estimates can limit the risk of converging towards a steady point of the likelihood function that would be very far away from the global optimum. Besides, it is known that proper initialization can also speed up the convergence process, requiring fewer iterations. The existing experimental works in ICA show that whitening the observations usually allows a faster convergence towards independent sources. The idea is that decorrelating the data is an initial move towards a sensible direction before seeking for mutual independence. Therefore a transform decorrelating the observations can be expected to provide a good initial guess for the unmixing matrix. For example, the inverse square root of the covariance matrix of the observations (E(XXT)−½) is a transform that is often used in ICA to initialize the unmixing matrix (the covariance matrix of the transformed data E(XXT)−½X is the D×D identity matrix).


[0070] Discussed herebelow is an initialization scheme for the case of CICA, so that all unmixing matrices A(0) . . . A(PA−1) can be assigned adequate initial values. As shown by equation (4), the CICA problem is formally equivalent to an ICA problem with PAD observed variables, denoted by the vector X: the D current observations at the output of the D sensors and (PA−1) delayed versions of the D sensor outputs:




X
(t)=[X1(t) . . . X1, (t) . . . Xl(t−PA+1) . . . XD(t−PA+1)]T



[0071] A natural extension of the ICA initialization scheme is thus to initialize the unmixing matrices A(0) . . . A(PA−1) with a transform decorrelating the vector X, i.e. decorrelating the observations X both spatially and temporally (over a window of PA samples). In other words, the issue is to find a transform Γ such that the covariance matrix of the transformed data ΓX is diagonal. A straightforward way would be to compute Γ as the inverse of the Cholesky factorization of the PAD×PAD covariance matrix E(XXT) (the Cholesky factorization of E(XXT) produces a lower triangular matrix C such that CCT=E(XXT), so that by choosing Γ=C−1, it comes that the covariance matrix ΓE(XXTΓT of the data ΓX equals the identity matrix). However, in accordance with an embodiment of the present invention, a computationally more efficient procedure is proposed that avoids the factorization and inversion of a PAD×PAD matrix.


[0072] One principle of an initialization procedure according to an embodiment of the present invention is to compute Γ as Γ=Γ1Γ2 where Γ1 is a transform such that the covariance matrix of the transform data Γ1X is block-diagonal of block dimension D×D, (i.e. Γ1 decorrelates the data X over the time index) and where Γ2 is a transform such that the covariance matrix of the transformed data Γ21X) is diagonal (i.e. Γ2 decorrelates the data Γ1X over the component index d=1, . . . D):


[0073] computation of Γ1; as a time-decorrelating transform, Γ1 can be computed as the multichannel linear prediction coefficients at the order PA of the observed data X. It can be estimated by recursively solving the multichannel Yule-Walker equations up to order PA:


1(0) . . . Γ1(PA−1)]E(XXP)=[εPA, 0 . . . 0]


[0074] where the covariance matrix E(XXT) is a PAD×PAD block-Toeplitz matrix of block dimension D×D,


[0075] where εPA, is the D×D covariance matrix of the forward prediction error output by the linear prediction filter Γ1(0) . . . Γ1(PA−1)with X, input Several algorithms were proposed in the field of multichannel autoregressive spectral estimation to solve the multichannel Yule-Walker equations (chapter 15, in S. Lawrence Marple, Jr., Digital Spectral Analysis with Applications, Prentice Hall Signal Processing Series, Alan V. Oppenheim, Series Editor, 1987). Experiments were carried out with the multichannel Levinson algorithm, but other algorithms that were proposed in the field could be used.


[0076] computation of Γ2: after the transform Γ1 is computed by solving the multichannel Yule-Walker equations, the transform Γ2 can be computed as a D×D transform diagonalizing the covariance matrix εPA. In the evaluation of the present invention, it is computed as the inverse of the Cholesky factorization of εPA (the Cholesky factorization of εPA produces a lower triangular matrix C such that CCTεPA, so that by choosing Γ2=C−1, it comes that the covariance matrix Γ2εPAΓ2T equals the identity matrix).


[0077] Proposed herein are two alternative initialization schemes, illustrated respectively in FIGS. 4a and 4b. In both initialization schemes, one forms the vector X from the observations X1(t) . . . XD(t) and one estimates the PAD×PAD matrix E(XXT). To ensure the block-Toeplitz structure of E(XXT) in spite of the finite length of the data, one may smooth the estimation of E(XXT) by averaging all the blocks spanning along a same diagonal.


[0078] A first initialization procedure (number 1) in accordance with at least one embodiment of the present invention is summarized in FIG. 4a. It involves computation of the transform Γ1 as the multichannel linear prediction filters (by using for example the multichannel Levinson algorithm) and of the transform Γ2 as the transform diagonalizing the covariance matrix of the prediction error at order PA. The initial unmixing filters are estimated as the combined transform Γ1Γ2. The initial unmixing filters are applied to the observations to recover initial sources. The density parameters are initialized by applying an EM procedure to the initially recovered sources, following the conventional ML estimation scheme in Gaussian Mixture Modeling.


[0079] A second initialization procedure (number 2) in accordance with at least one embodiment of the present invention is summarized in FIG. 4b. It does not require one to explicitly compute the transform Γ1. Instead, it requires one to compute the prediction error data output by the prediction filters at order PA. The prediction error can be efficiently computed using a reflection coefficient estimation method instead of using the Levinson algorithm (the reflection coefficient estimation methods have a lower computational cost than the Levinson algorithm (chapter 15 in Marple, supra). The transform Γ2 is estimated as a whitening transform of the prediction error data. The CICA algorithm is applied to the prediction error data, instead of the data actually observed at the output of the sensors. Besides, the CICA algorithm is applied by initializing the unmixing matrix A(0) with σ2 and by initialing the unmixing matrices A(1) . . . A(PA−1) with D×D matrices equal to zero matrices. The density parameters are initialized by applying an EM procedure to the initially recovered sources, following the conventional ML estimation scheme in Gaussian Mixture Modeling. The advantage of the initialization scheme 2 is to enhance the computational efficiency of the algorithm since:


[0080] computing the prediction error data requires fewer operations than computing the linear prediction coefficients,


[0081] the CICA algorithm is ran on prediction error data that contain fewer time correlations than the actually observed data.


[0082] Besides, the initialization scheme 2 allows one to enlarge the search space to a subspace of the space of filters of length up to 2PA (this subspace including the space of filters of length up to PA) with no increase of the computational cost. This results from the fact that the filters eventually output by the procedure are a cascade of the initial filters of length PA and of the filters estimated on the pre-processed data by the CICA algorithm which are of length PA also. Note that in this alternative scheme, the initial filters and the filters estimated by the CICA algorithm on the pre-processed data could be of lengths respectively p1 and p2 with P1≠P2. In that case, the initialization scheme 2 allows one to explore a subspace of the space of filters of length up to P1+P2 (this subspace including the space of filters of length up to p2).


[0083] The disclosure now turns to the estimation of the length of unmixing filters.


[0084] In the initialization schemes explained in section 5.2, it is assumed that the length PA of the unmixing filters is known. In practice, PA needs only to be an upper bound on the length of the filters since the unnecessary filter coefficients should converge towards zero when applying the algorithm. However, the upper bound should not be too high in order to maintain the algorithmic complexity to a manageable level. The value of PA a can be selected in the same way as the order of an autoregressive model is selected in autoregressive spectral estimation. Several model orders are postulated. Based on these, one computes some error criterion that indicates which model order to choose (chapter 8 in Marple, supra). Various criteria have been proposed as objective functions for model order selection. Experiments have been carried out with the multichannel version of the Akaike Information Criterion (AIC) (chapter 15 in Marple, supra). The selection of the length of the unmixing filters during the initialization scheme is illustrated in FIGS. 4a and 4b. At each recursion of the estimation algorithm of either the linear prediction coefficients (FIG. 4a) or of the prediction error (FIG. 4b), one may preferably compute the value of the AIC function. The model order which is selected is the value PA for which the AIC function is minimal.


[0085] A summary of an algorithm in accordance with at least one presently preferred embodiment of the present invention is shown in FIG. 3. The unmixing filters and their length, as well as the density parameters, are initialized following either one of the two schemes (1 and 2) described hereabove and summarized in FIGS. 4a and 4b. Then each iteration of the algorithm preferably includes the following steps:


[0086] Step 0


[0087] compute the likelihood of the observations,


[0088] Step 1


[0089] for each Gaussian component i of each source Yd, and for each time index t, compute the occupancy probabilities (i)dj(t).


[0090] Step 2


[0091] for each Gaussian component i of each source Yd, and for all values of (p,p′) between 0 and PA−1, compute the following sufficient statistics:
21sumd,i=i=1Tωd,i(t)sumXd,i(p)=i=1Tωd,i(t)X(t-p)sumXXd,i(p,p)=[i=1Tωd,i(t)X(t-p)XT(t-p)]-sumXd,i(p)sumXd,iT(p)sumd,i


[0092] Step 3


[0093] for each Gaussian component i of each source Yd, reestimate the priors and the variances maximizing the auxiliary function Q according to equations (7) and (9). Equations (7) and (9) can be rewritten as functions of the sufficient statistics as:
22πd,i=sumd,iTσd,i2=p,p=0PA-1ad(p)sumXXd,i(p,p)ad(p)Tsumd,i


[0094] Step 4


[0095] for each row d,


[0096] for all values of (p, p′) between 0 and PA−1, compute the matrices:
23Gd(p,p)=i=1Id1σd,i2sumXXd,i(p,p)


[0097] solve the quadratic equation ( 1) by selecting the root β maximizing the auxiliary function Q as explained hereabove in connection with the derivation of EM estimation equations,


[0098] reestimate the row ad(0) according to equation (12),


[0099] for all values P of between 1 and PA−1, reestimate the row ad(p) according to equation (10),


[0100] normalize the row vector [ad(0) . . . ad(p) . . . ad(PA−1)] so that its norm equals 1,


[0101] for each Gaussian component 1 of the dth source, reestimate the mean and variance parameters maximizing the auxiliary function Q according to equations (8) and (9) . Equations (8) and (9) can be rewritten as functions of the sufficient statistics


[0102] as:
24μd,i=p=0PA-1ad(p)sumXd,i(p)sumd,iσd,i2=p,p=0PA-1ad(p)sumXd,i(p,p)ad(p)Tsumd,i


[0103] Step 5


[0104] compute the improvement of the likelihood of the observations; if the improvement is above a prespecified threshold, then go to Step 1, otherwise exit the algorithm.


[0105] The algorithm proposed herein may best be used with either one of the two alternative initialization schemes discussed heretofore.. Besides, the incremental version of the EM algorithm could be used, instead of the batch version shown herein, in order to further speed up the convergence of the algorithm.


[0106] The disclosure now turns to an overview of experimentation that was carried out.


[0107] The aim of the experiments was to assess the performance of the EM solution together with the initialization schemes. Therefore, all experiments were conducted on artificial data which were generated so as to strictly comply with the CICA modeling assumptions. The source data were generated according to some known mixture of Gaussian densities. They were mixed with a matrix of filters selected so that one could estimate off line the length of the inverse filters and the unmixing matrix of filters. The procedure to select the mixing matrix of filters and to compute the unmixing matrix is explained below. The experiments thus involved:


[0108] estimating the length of the unmixing filters following the scheme described hereabove in connection with estimating the length of unmixing filters, and in initializing the unmixing filters and density parameters using either one of the two initialization schemes. FIG. 9 illustrates the selection of the length of the unmixing filters.


[0109] estimating the inverse filters and the source densities (by deciding a priori the number of components in each mixture) by applying the algorithm described hereabove. FIG. 10 shows the convergence of the log likelihood function against the number of iterations for the initialization scheme 1.


[0110] evaluating the performance of the algorithm by comparing the estimated unmixing filters with the known inverse filters, and by comparing the estimated densities with the known densities. The FIGS. 11 to 16 show the convergence of each source density parameter against the number of iterations.


[0111] Herebelow is an explanation of the scheme devised to select the mixing filters in the experiments and to compute off line estimates of the unmixing filters. The point of computing off line estimates of the unmixing filters was to have a reference solution against which to evaluate the unmixing filters blindly estimated by the algorithm. Besides, this scheme guarantees that the mixing filters are complying with the following requirements used in the algorithm:


[0112] the unmixing filters must be of finite length, and


[0113] the mixing matrix B(0) is full ran


[0114] The scheme devised to select the filters is inspired by the matricial equation (3), together with its inverse counterpart:
25[X(1)X(2)X(t)X(T)]=[B(0)0DB(1)B(0)OD0DB(PB-1)B(0)0D0DB(PB-1)B(0)0D0DB(PB-1)B(0)][Ý(1)Ý(2)Ý(t)Ý(T)](14)


[0115] These equations suggest that the length PA of the inverse filters as well as the unmixing matrices A(PA−1) . . . A(0) can be obtained by inverting the TD×TD mixing matrix in (14), since the inverse matrix would correspond to the TD×TD unmixing matrix in (3). Assuming that T is chosen such that T>PA, the unmixing matrices A(PA−1) . . . A(0) can be estimated by averaging the D×D blocks along the diagonals of the inverse matrix, And the value of PA is estimated from the number of matrices A(p) having coefficients of significant value.


[0116] In order to select filters for the experiments, this procedure was applied to the matrix of filters with the impulse response if B11(p), B12(p), B21(p), B22(p) (PB=30) plotted respectively on FIGS. 5, 6, 7 and 8.


[0117] The inverse matrix of filters to be estimated with the algorithm has the impulse responses A11(p), A12(p), A21(p), A22(p) (PA=4) (after normalization of the rows):
26A(0)=[0.600-0.4320.3510.757]A(1)=[0.3000.1730.3500.253]A(2)=[0.180-0.518-0.2460.202]A(3)=[-0.0600.173-0.0700.101]A(p)=[0000]forp4


[0118] These values serve as the reference value against which to evaluate the accuracy of the filters blindly estimated by the algorithm proposed herein.


[0119] Test data were generated simulating two independent sources with mixtures of Gaussians densities having 3 components. To simulate the first source, 10,000 points were generated with the density parameters:


11, π12, π13)=(−18, −5, 5) (μ11, μ12, μ13)=(0.2, 0.3, 0.5) (σ11, σ12, σ13)=(1,1,1)


[0120] And to simulate the second source, 10,000 points were generated with the density parameters:


21, π22, π23)=(−3, 1, 5) (μ21, μ22, μ23)=(0.4, 0.1, 0.5) (σ21, σ22, σ23)=(1, 1, 1)


[0121] Results from the experiments will now be discussed.


[0122] To evaluate an upper bound on the length of the unmixing filters, the scheme outlined hereinabove in connection with estimating the length of the unmixing filters was applied. FIG. 9 shows the values of the AIC function against the postulated length of the filters. The AIC function is minimal for a filter length of 4, which corresponds to the actual length of the unmixing filters in our experiments. However, PA was set to the upper bound value 10 in order to demonstrate the ability of the algorithm to properly estimate the unnecessary matrices (i.e. it was expected that the final estimates of A(5) . . . A(9), after convergence of the algorithm, would equal 0). Taking equal to PA equal to 10, the algorithm was initialized with either one of the two alternative procedures described hereabove (and illustrated in FIGS. 4a and 4b).


[0123]
FIG. 10 shows the log likelihood of the observations computed with the parameters obtained at each iteration for the initialization scheme 1 (described in FIG. 4a). The loglikelihood value corresponding to the actual unmixing matrix and density parameters is the dotted line. The algorithm proposed herein allows convergence towards the desired maximum: the curve converges towards the log likelihood computed with the actual parameters.


[0124] Even though the length of the unmixing filters was properly estimated to be 4 during the initialization, the algorithm was run by allowing filters of up to a length of 10. After convergence the estimated unmixing matrices A(p) were:
27A(0)=[0.602-0.4290.3530.756]A(1)=[-0.2990.1740.3520.253]A(2)=[0.179-0.519-0.2470.199]A(3)=[-0.0620.169-0.0720.097]A(p)=[0000]forp4


[0125] These estimates are extremely close to the normalized values of the reference unmixing filters that had been estimated off line by inverting the mixing matrix:
28A(0)=[0.600-0.4320.3510.757]A(1)=[-0.3000.1730.3500.253]A(2)=[0.180-0.518-0.2460.202]A(3)=[-0.0600.173-0.0700.101]A(p)=[0000]forp4


[0126] FIGS. 11 to 16 show the convergence of the estimated Gaussian density parameters of the first and second sources when using the initialization scheme 1. In all FIGS. 11-16, convergence takes place towards the desired actual value of the mean, prior and variances.


[0127] FIGS. 17 compares the convergence of the loglikelihood for the initialization schemes 1 and 2. Whereas it takes about 15 iterations to reach convergence with the initialization scheme 1 (described on FIG. 4a), it takes only about 8 iterations with the initialization scheme 2 (described on FIG. 4b).


[0128] It should be appreciated that there are several conceivable uses for the methods and arrangements discussed herein. Some non-restrictive examples of such uses are: speaker separation in speech recognition (e.g. a “cocktail-party problem”, or cross-talk removal in multichannel communications); speech enhancement with multiple microphones (e.g., speech mixed with music/noise in a car); multipath channel identification and equalization in digital communication; the discovery of independent sources in biological signals (for example EEG); the direction of arrival estimation in sensor arrays; and many other conceivable applications in which algorithms of the type disclosed and encompassed herein may be particularly pertinent or useful.


[0129] It is to be understood that the present invention, in accordance with at least one presently preferred embodiment, includes an initializing arrangement which initializes at least one parameter, an input arrangement which obtains a set comprising at least one observation, a likelihood computing arrangement which computes the likelihood of the at least one observation and of an auxiliary function, a maximizing arrangement which maximizes the auxiliary function, and an ascertaining arrangement which ascertains whether the likelihood of the at least one observation converges. Together, the initializing arrangement, input arrangement, likelihood computing arrangement, maximizing arrangement and ascertaining arrangement may be implemented on at least one general-purpose computer running suitable software programs. These may also be implemented on at least one Integrated Circuit or part of at least one Integrated Circuit. Thus, it is to be understood that the invention may be implemented in hardware, software, or a combination of both.


[0130] If not otherwise stated herein, it is to be assumed that all patents, patent applications, patent publications and other publications (including web-based publications) mentioned and cited herein are hereby fully incorporated by reference herein as if set forth in their entirety herein.


[0131] Although illustrative embodiments of the present invention have been described herein with reference to the accompanying drawings, it is to be understood that the invention is not limited to those precise embodiments, and that various other changes and modifications may be affected therein by one skilled in the art without departing from the scope or spirit of the invention.


Claims
  • 1. A method of facilitating blind source separation in convolutive independent component analysis, said method comprising the steps of: initializing at least one parameter; obtaining a set comprising at least one observation; computing the likelihood of the at least one observation and of an auxiliary function; maximizing the auxiliary function, and ascertaining whether the likelihood of the at least one observation converges.
  • 2. The method according to claim 1, wherein said ascertaining step comprises ascertaining whether the likelihood of the at least one observation converges towards a local maximum.
  • 3. The method according to claim 1, further comprising the step of repeating said computing, maximizing and ascertain steps if the likelihood of the at least one observation is not ascertained as converging.
  • 4. The method according to claim 3, wherein said repeating step comprises successively repeating said computing, maximizing and ascertaining steps until the likelihood of the at least one observation is ascertained as converging.
  • 5. The method according to claim 1, wherein said maximizing step comprises reestimating at least one parameter.
  • 6. The method according to claim 5, wherein said reestimating step comprises at least one of the following steps: reestimating priors and variances; updating at least one unmixing filter; and reestimating means and variances.
  • 7. The method according to claim 6, wherein said reestimating step comprises all of said steps of: reestimating priors and variances; updating at least one unmixing filter; and reestimating means and variances.
  • 8. The method according to claim 7, wherein said step of reestimating priors and variances comprises updating priors and variances of densities as at least one unmixing filter is fixed.
  • 9. The method according to claim 7, wherein said step of updating at least one unmixing filter comprises updating at least one unmixing filter row by row as density parameters are fixed.
  • 10. The method according to claim 7, wherein said step of reestimating means and variances comprises updating means and variances of densities as at least one unmixing filter is fixed.
  • 11. The method according to claim 1, wherein said initializing step comprises initializing source density parameters and at least one unmixing filter.
  • 12. The method according to claim 1, wherein said initializing step comprises time-decorrelating the at least one observation via computing at least one linear prediction coefficient.
  • 13. The method according to claim 12, wherein said initializing step further comprises spatially decorrelating the at least one observation via diagonalizing a covariance matrix.
  • 14. The method according to claim 1, wherein said initializing step comprises time-decorrelating the at least one observation via computing error prediction data with a reflection coefficient estimation method.
  • 15. The method according to claim 14, wherein said initializing step further comprises spatially decorrelating the at least one observation via diagonalizing a covariance matrix.
  • 16. The method according to claim 1, wherein said initializing step comprises the step of estimating the length of at least one unmixing filter.
  • 17. An apparatus for facilitating blind source separation in convolutive independent component analysis, said apparatus comprising: an initializing arrangement which initializes at least one parameter; an input arrangement which obtains a set comprising at least one observation; a likelihood computing arrangement which computes the likelihood of the at least one observation and of an auxiliary function; a maximizing arrangement which maximizes the auxiliary function, and an ascertaining arrangement which ascertains whether the likelihood of the at least one observation converges.
  • 18. The apparatus according to claim 17, wherein said ascertaining arrangement is adapted to ascertain whether the likelihood of the at least one observation converges towards a local maximum.
  • 19. The apparatus according to claim 17, wherein said maximizing arrangement is adapted to reestimate at least one parameter.
  • 20. The apparatus according to claim 19, wherein said maximizing arrangement is adapted to perform at least one of the following steps: reestimating priors and variances; updating at least one unmixing filter; and reestimating means and variances.
  • 21. The apparatus according to claim 20, wherein said maximizing arrangement is adapted to perform all of the following steps: reestimating priors and variances; updating at least one unmixing filter; and reestimating means and variances.
  • 22. The apparatus according to claim 21, wherein said maximizing arrangement is, in reestimating priors and variances, adapted to update priors and variances of densities as at least one unmixing filter is fixed.
  • 23. The apparatus according to claim 21, wherein said maximizing arrangement is, in updating at least one unmixing filter, adapted to update at least one unmixing filter row by row as density parameters are fixed.
  • 24. The apparatus according to claim 21, wherein said maximizing arrangement is, in reestimating means and variances, adapted to update means and variances of densities as at least one unmixing filter is fixed.
  • 25. The apparatus according to claim 17, wherein said initializing arrangement is adapted to initialize source density parameters and at least one unmixing filter.
  • 26. The apparatus according to claim 17, wherein said initializing arrangement is adapted time-decorrelate the at least one observation via computing at least one linear prediction coefficient.
  • 27. The apparatus according to claim 26, wherein said initializing arrangement is adapted to spatially decorrelate the at least one observation via diagonalizing a covariance matrix.
  • 28. The apparatus according to claim 17, wherein said initializing arrangement is adapted to time-decorrelate the at least one observation via computing error prediction data with a reflection coefficient estimation method.
  • 29. The apparatus according to claim 28, wherein said initializing arrangement is adapted to spatially decorrelate the at least one observation via diagonalizing a covariance matrix.
  • 30. The apparatus according to claim 17, wherein said initializing arrangement is adapted to estimate the length of at least one unmixing filter.
  • 31. A program storage device readable by machine, tangibly embodying a program of instructions executable by the machine to perform method steps for facilitating blind source separation in convolutive independent component analysis, said method comprising the steps of: initializing at least one parameter; obtaining a set comprising at least one observation; computing the likelihood of the at least one observation and of an auxiliary function; maximizing the auxiliary function; and ascertaining whether the likelihood of the at least one observation converges.