E VOLUTIONARY E XPECTATION M AXIMIZATION
Anonymous authors
Paper under double-blind review
A BSTRACT
We establish a theoretical link between evolutionary algorithms and variational parameter optimization of probabilistic generative models with binary hidden variables.
While the novel approach is independent of the actual generative model, here we use two such models to investigate its applicability and scalability: a noisy-OR Bayes Net (as a standard example of binary data) and Binary Sparse
Coding (as a model for continuous data).
Learning of probabilistic generative models is ﬁrst formulated as approximate maximum likelihood optimization using variational expectation maximization (EM).
We choose truncated posteriors as variational distributions in which discrete latent states serve as variational parameters.
In the variational E-step, the latent states are then optimized according to a tractable free-energy objective.
Given a data point, we can show that evolutionary algorithms can be used for the variational optimization loop by (A) considering the bit-vectors of the latent states as genomes of individuals, and by (B) deﬁning the ﬁtness of the individuals as the (log) joint probabilities given by the used generative model.
As a proof of concept, we apply the novel evolutionary EM approach to the optimization of the parameters of noisy-OR Bayes nets and binary sparse coding on artiﬁcial and real data (natural image patches).
Using point mutations and single-point cross-over for the evolutionary algorithm, we ﬁnd that scalable variational EM algorithms are obtained which efﬁciently improve the data likelihood.
In general we believe that, with the link established here, standard as well as recent results in the ﬁeld of evolutionary optimization can be leveraged to address the difﬁcult problem of parameter optimization in generative models.
I NTRODUCTION
Evolutionary algorithms (EA) have been introduced (e.g. Fogel et al., 1966; Rechenberg, 1965) as a technique for function optimization using methods inspired by biological evolutionary processes such as mutation, recombination, and selection.
As such EAs are of interest as tools to solve Machine
Learning problems, and they have been frequently applied to a number of tasks such as clustering (Pernkopf & Bouchaffra, 2005; Hruschka et al., 2009), reinforcement learning (Salimans et al., 2017), and hierarchical unsupervised (Myers et al., 1999) or deep supervised learning (e.g., Stanley & Miikkulainen 2002 and Suganuma et al.
2017; Real et al.
2017 for recent examples).
In some of these tasks EAs have been investigated as alternatives to standard procedures (Hruschka et al., 2009), but most frequently EAs are used to solve speciﬁc sub-problems.
For example, for classiﬁcation with
Deep Neural Networks (DNNs LeCun et al., 2015; Schmidhuber, 2015), EAs are frequently applied to solve the sub-problem of selecting the best DNN architectures for a given task (e.g. Stanley &
Miikkulainen, 2002; Suganuma et al., 2017) or more generally to ﬁnd the best hyper-parameters of a DNN (e.g. Loshchilov & Hutter, 2016; Real et al., 2017).
Inspired by these previous contributions, we here ask if EAs and learning algorithms can be linked more tightly.
To address this question we make use of the theoretical framework of probabilistic generative models and expectation maximization (EM Dempster et al., 1977) approaches for parameter optimization.
The probabilistic approach in combination with EM is appealing as it establishes a very general unifying framework able to encompass diverse algorithms from clustering and dimensionality reduction (Roweis, 1998; Tipping & Bishop, 1999) over feature learning and sparse coding (Olshausen & Field, 1997) to deep learning approaches (Patel et al., 2016).
However, for most generative data models, EM is computationally intractable and requires approximations.
Variational
EM is a very prominent such approximation and is continuously further developed to become more efﬁcient, more accurate and more autonomously applicable.
Variational EM seeks to approximately solve optimization problems of functions with potentially many local optima in potentially very high dimensional spaces.
The key observation exploited in this study is that a variational EM algorithm can be formulated such that latent states serve as variational parameters.
If the latent states are then considered as genomes of individuals, EAs emerge as a very natural choice for optimization in the variational loop of EM.
T RUNCATED V ARIATIONAL EM
A probabilistic generative model stochastically generates data points (cid:126)y using a set of hidden (or latent) variables (cid:126)s .
The generative process can be formally expressed in the form of joint probability p ( (cid:126)s, (cid:126)y | Θ) , where Θ are the model parameters.
Given a set of N data points, (cid:126)y (1) , . . .
, (cid:126)y ( N ) =
(cid:126)y (1: N ) , learning seeks to change the parameters Θ so that the data generated by the generative model becomes as similar as possible to the N real data points.
One of the most popular approaches to achieve this goal is to seek maximum likelihood (ML) parameters Θ ∗ , i.e., parameters that maximize the data log-likelihood for a given generative model:
[Equation]
To efﬁciently ﬁnd (approximate) ML parameters we follow Saul & Jordan (1996); Neal & Hinton (1998); Jordan et al.
(1999) who reformulated the problem in terms of a maximization of a lower bound of the log-likelihood, the free energy F ( (cid:126)q, Θ) .
Free energies are given by
[Equation]
where q ( n ) ( (cid:126)s ) are variational distributions, and where H ( q ) denotes the entropy of a distribution q .
For the purposes of this study, we consider elementary generative models which are difﬁcult to train because of exponentially large state spaces.
These models serve well for illustrating the approach but we stress that any generative model which gives rise to a joint distribution p ( (cid:126)s, (cid:126)y | Θ) can be trained with the approach discussed here as long as the latents (cid:126)s are binary.
In order to ﬁnd approximate maximum likelihood solutions, distributions q ( n ) ( (cid:126)s ) are sought that approximate the intractable posterior distributions p ( (cid:126)s | (cid:126)y ( n ) , Θ) as well as possible, which results in the free-energy being as similar (or tight) as possible to the exact log-likelihood.
At the same time variational distributions have to result in tractable parameter updates.
Standard approaches include Gaussian variational distributions (e.g. Opper & Winther, 2005) or mean-ﬁeld variational distributions (Jordan et al., 1999).
If we denote the parameters of the variational distributions by Λ , then a variational EM algorithm consists of iteratively maximizing F (Λ , Θ) w.r.t.
Λ in the variational
E-
step and w.r.t.
Θ in the M-step.
The M-step can hereby maintain the same functional form as for exact EM but the expectation values now have to be computed w.r.t.
the variational distributions.
Instead of using parametric functions such as Gaussians or factored (mean-ﬁeld) distributions, for our purposes we choose truncated variational distributions deﬁned as a function of a ﬁnite set of states (L¨ucke & Eggert, 2010;
Sheikh et al., 2014; Shelton et al., 2017).
These states will later serve as populations of evolutionary algorithms.
If we denote K n a population of hidden states for a given data point (cid:126)y ( n ) , then variational distributions and their corresponding expectation values are given by (e.g. L¨ucke & Eggert, 2010; Sheikh et al., 2014):
[Equation]
| Θ
[Equation]
(3) where δ ( (cid:126)s ∈ K n ) is 1 if K n contains the hidden state (cid:126)s , zero otherwise.
If the set K n contains all states with signiﬁcant posterior mass, then (3) approximates expectations w.r.t.
full posteriors very well.
By inserting truncated distributions as variational distribution of the free-energy (2), it can be shown (L¨ucke, 2016) that the free-energy takes a very compact simpliﬁed form given by:
[Equation]
| Θ))
, where K = ( K 1 , . .
. , K N ) .
[Equation] [Equation]
As the variational parameters of the variational distribution (3) are now given by populations of hidden states, a variational E-step now consists of ﬁnding for each data point n the population K n that maximizes (cid:80) (cid:126)s ∈K n p ( (cid:126)y n ,(cid:126)s | Θ) .
E VOLUTIONARY O PTIMIZATION
For the generative models considered here, each latent state (cid:126)s takes the form of a bit vector.
Hence, each population K n is a collection of bit vectors.
Because of the speciﬁc form (4), the free-energy is increased in the variational E-step if and only if we replace and individual (cid:126)s in population K ( n ) by a new individual (cid:126)s new so far not in K ( n ) such that:
[Equation]
More generally, this means that the free energy is maximized in the variational E-step if we ﬁnd for each n those S individuals with the largest joints p ( (cid:126)s, (cid:126)y n | Θ) , where p ( (cid:126)s, (cid:126)y n | Θ) is given by the respective generative model (compare L¨ucke, 2016;
Forster & L¨ucke, 2017, for formal derivations).
Full maximization of the free-energy is often a computationally much harder problem than increasing the free-energy; and in practice an increase is usually sufﬁcient to ﬁnally approximately maximize the likelihood.
As we increase the free-energy by applying (5) we can choose any ﬁtness function F ( (cid:126)s ; (cid:126)y n , Θ) for an evolutionary optimization which fulﬁls the property:
[Equation]
Any mutations selected such that the ﬁtness F ( (cid:126)s ; (cid:126)y n , Θ) increases will result in provably increased free-energies.
Together with M-step optimizations of model parameters, the resulting variational
EM algorithm will monotonously increase the free-energy.
The freedom in choosing a ﬁtness function satisfying (6) leaves us free to pick a form that enables an efﬁcient parent selection procedure.
More concretely (while acknowledging that other choices are possible) we deﬁne the ﬁtness
F ( (cid:126)s new [Equation] (cid:126)y n , Θ) to be:
[Equation]
where (cid:93) logP is deﬁned as the logarithm of the joint probability where summands that do not depend on the state (cid:126)s have been elided.
(cid:93)
logP is usually more efﬁciently computable than the joint probabilities and has better numerical stability, while being a monotonously increasing function of the joints when the data-point (cid:126)y n is considered ﬁxed.
As we will want to sample states proportionally to their ﬁtness, an offset is applied to (cid:93)
logP to make sure F always takes positive values.
As previously mentioned, other choices of F are possible as long as (6) holds.
From now on we will drop the argument (cid:126)y n or index n (while keeping in mind that an optimization is performed for each data point (cid:126)y n ).
Our applied EAs then seek to optimize F ( (cid:126)s ) for a population of individual K (we also drop the index n here).
More concretely, given the current population K of unique individuals (cid:126)s , the EA iteratively seeks a new set K (cid:48) with higher overall ﬁtness.
For our models, (cid:126)s are bit-vectors of length H , and we usually require that populations K (cid:48) and K to have the same size as is customary for truncated approximations (e.g. L¨ucke & Eggert, 2010; Shelton et al., 2017).
Our example algorithm includes three common genetic operators, discussed in more detail below: parent selection, generation of children by single-point crossover and stochastic mutation of the children.
We repeat this process over N g generations in which subsequent iterations use the output of previous iterations as input population. [Figure]
Parent Selection.
This step selects N p parents from the population K .
Ideally, the selection procedure should be balanced between exploitation of parents with high ﬁtness (which will more likely produce children with high ﬁtness) and exploration of mutations of poor performing parents (which might eventually produce children with high ﬁtness while increasing population diversity).
Diversity is crucial, as K is a set of unique individuals and therefore the improvement of the overall ﬁtness of the population depends on generating different children with high ﬁtness.
In our numerical experiments we explored both ﬁtness-proportional selection of parents (a classic strategy in which the probability of an individual being selected as a parent is proportional to its ﬁtness) and random uniform selection of parents.
Crossover.
During the crossover step, random pairs of parents are selected; then each pair is assigned a number c from 1 to H − 1 with uniform probability (this is the single crossover point); ﬁnally the parents swap the last H − c bits to produce the offspring.
We denote N c
the number of children generated in this way.
The crossover step can be skipped, making the EA more lightweight but decreasing variety in the offspring.
Mutation.
Finally, each of the N c children undergoes one or more random bitﬂips to further increase offspring diversity.
In our experiments we compare results of random uniform selection of the bits to ﬂip with a more reﬁned sparsity-driven bitﬂip algorithm.
This latter bitﬂip schemes assignes to 0’s and 1’s different probabilities of being ﬂipped in order to produce children with a sparsity compatible with the one learned by the model.
In case the crossover step is skipped, a different bitﬂip mutation is performed on N c identical copies of each parent.
Algorithm 1: Evolutionary Expectation Maximization choose initial model parameters Θ and initial sets K ( n ) repeatfor each data-point n do candidates = {} for g = 0 to N g do parents =
select parents children = mutation( crossover ( parents )) candidates = candidates ∪ children
K ( n ) = select best( K ( n ) ∪ candidates) update Θ using M-steps with (3) and K ( n ) until F has increased sufﬁciently
A full run of the evolutionary algorithm therefore produces N g N c N p children (or new states (cid:126)s ∗ ).
Finally we compute the union set of the original population K with all children and select the S ﬁttest individuals of the union as the new population K (cid:48) .
The EEM Algorithm.
We now have all elements required to formulate a learning algorithm with EAs as its integral part.
Alg. 1 summarizes the essential computational steps.
Note that this E-step can be trivially parallelized over data-points.
Finally, it is worth pointing out that algorithm 1, by construction, never decreases the free-energy.
T HE G ENERATIVE M ODELS
We will use the EA formulated above as integral part of an unsupervised learning algorithm.
The objective of the learning algorithm is the optimization of the log-likelihood 1.
D denotes the number of observed variables, H the number of hidden units, and N the number of data points.
Noisy-OR.
The noisy-OR model is a highly non-linear bipartite data model with all-to-all connectivity among hidden and observable variables.
All variables take binary values.
The model assumes
[Equation]
where
[Equation]
In the context of the Noisy-OR model, Θ = { (cid:126)π, (cid:126)W } , where (cid:126)π is the set of values π h ∈ [0 , 1] representing the prior activation probabilities for the hidden variables s h and (cid:126)W is a D × H matrix of values W dh ∈ [0 , 1] representing the probability that the latent s h activates the observable y d .
Section A of the appendix contains the explicit forms of the free energies and the M-step update rules for noisy-OR.
Binary Sparse Coding.
As a second model and one for continuous data, we consider Binary Sparse
Coding (BSC; Henniges et al., 2010).
BSC differs from standard Sparse Coding in its use of binary latent variables.
The latents are assumed to follow a univariate Bernoulli distribution which uses the same activation probability for each hidden unit.
The combination of the latents is described by a linear superposition rule.
Given the latents, the observables are independently and identically drawn from a Gaussian distribution:
[Equation]
, σ 2 ) .
The parameters of the model are Θ =
( π, W, σ 2 ) , where W is a D × H matrix whose columns contain the weights associated with each hidden unit s h and where σ 2 determines the variance of the Gaussian.
M-step update rules for BSC can be derived in close-form by optimizing the free energy (2) wrt.
all model parameters (compare, e.g., Henniges et al., 2010).
We report the ﬁnal expressions in appendix B.
N UMERICAL E XPERIMENTS
We describe numerical experiments performed to test the applicability and scalability of EEM.
Throughout the section, the different evolutionary algorithms are named by indicating which parent selection procedure was used (“ﬁtparents” for ﬁtness-proportional selection, “randparents” for random uniform selection) and which bitﬂip algorithm (“sparseﬂips” or “randﬂips”).
We add “cross” to the name of the EA when crossover was employed.
5. A RTIFICIAL D ATA
First we investigate EMM using artiﬁcial data where the ground-truth components are known.
We use the bars test as a standard setup for such purposes (F ¨ oldiak, 1990; Hoyer, 2003; L ¨ ucke & Sahani, 2008).
In the standard setup, H gen / 2 non-overlapping vertical and H gen / 2 non-overlapping horizontal bars act as components on D
= H gen × H gen pixel images.
N images are then generated by ﬁrst selecting each bar with probability π gen .
The bars are then superimposed according to the noisy-OR model (non-linear superposition) or according to the BSC model.
In the case of BSC
Gaussian noise is then added.
Noisy-OR.
Let us start with the standard bars test which uses a non-linear superposition (F¨oldiak, 1990) of 16 different bars (Spratling, 1999; L¨ucke & Sahani, 2008), and a standard average crowdedness of two bars per images ( π gen = 2 H gen ).
We apply EEM for noisy-OR using different conﬁgurations of the EA.
We use H = 16 generative ﬁelds.
As a performance metric we here employ reliability (compare, e.g., Spratling, 1999; L¨ucke & Sahani, 2008), i.e., the fraction of runs whose learned free energies are above a certain minimum threshold and which learn the full dictionary of bars as well as the correct values for the prior probabilities π .
Figure 3 shows reliabilities over 10 different runs for each of the EAs.
On 8x8 images the more exploitative nature of “ﬁtparents-sparseﬂips” is advantageous over the simpler and more explorative “randparents-randﬂips”.
Note that this is not necessarily true for lower dimensionalities or otherwise easier-to-explore state spaces, in which also a naive random search might quickly ﬁnd high-ﬁtness f i t p a r e n t s - c r o s s - r a n d f li p s f i t p a r e n t s - c r o s s - s p a r s e f li p s r a n d p a r e n t s - c r o s s - s p a r s e f li p s r a n d p a r e n t s - r a n d f li p s f i t p a r e n t s - s p a r s e f li p s 0.
R e li a b ili t y individuals.
In this test the addition of crossover reduces the probability of ﬁnding all bars and leads to an overestimation of the crowdedness πH .
After the initial veriﬁcation on a standard bars test, we now make the component extraction problem more difﬁcult by increasing overlap among the bars.
A highly non-linear generative model such as noisy-OR is a good candidate to model occlusion effects in images.
Figure 4 shows the results of training noisy-OR with EEM on a bars data-set in which the latent causes have sensible overlaps.
The test parameters were chosen to be equal to those in (L ¨ ucke & Sahani, 2008, Fig. 9).
After applying EEM with noisy-OR ( H = 32 ) to N = 400 images with 16 strongly overlapping bars, we observed that all H gen = 16 bars were recovered in 13 of 25 runs, which is competitive especially when keeping in mind that no additional assumptions (e.g., compared to other models applied to this test) are used by EEM for noisy-OR.
BSC.
Like for the non-linear generative model, we ﬁrst evaluate EEM for the linear BSC model on a bars test.
For BSC, the bars are superimposed linearly (Henniges et al., 2010), which makes the problem easier.
As a consequence, standard bars test were solved with very high reliability using
EEM for BSC even if merely random bitﬂips were used for the EA.
In order to make the task more challenging, we therefore (A) increased the dimensionality of the data to D = 10 × 10 bars images, (B) increased the number of components to H gen = 20 , and (C) increased the average number of bars per data point from two (the standard setting) to ﬁve.
We employed N = 5 , 000 training data points and tested the same ﬁve different conﬁgurations of the EA as were evaluated for noisy-OR.
We set the number of hidden units to H
= H gen = 20 and used S = 120 variational states.
Per data point and per iteration, in total 112 new states ( N p = 8 , N c = 7 , N g = 2 ) were sampled to vary K n .
Per conﬁguration of the EA, we performed 20 independent runs, each with 300 iterations.
The results of the experiment are depicted in Fig.
We observe that a basic approach such as random uniform selection of parents and random uniform bitﬂips for the EA works well.
However, more sophisticated EAs improve performance.
For instance, combining bitﬂips with crossover and selecting parents proportionally to their ﬁtness shows to be very beneﬁcal.
The results also show that sparseness-driven bitﬂips lead generally to very poor performance, even if crossover or ﬁtnessproportional selection of the parents is included.
This effect may be explained with the initialization of K n .
The initial states are drawn from a Bernoulli distribution with parameter 1 H which makes it more difﬁcult for sparseness-driven EAs to explore and ﬁnd solutions with higher crowdedness.
Fig. 8 in appendix C depicts the averaged free energy values for this experiment.
ﬁ t p a r e n t s - s p a r s e ﬂ i p s ﬁ t p a r e n t s - c r o s s - s p a r s e ﬂ i p s r a n d p a r e n t s - c r o s ss p a r s e ﬂ i p s r a n d p a r e n t s - r a n d ﬂ i p s ﬁ t p a r e n t s - c
r
o s s o v e r - r a n d ﬂ i p s 0 .0 .0 .
R e li a b ili t y
5. N ATURAL IMAGE PATCHES
Next, we verify the approach on natural data.
We use patches of natural images, which are known to have a multi-component structure, which are well investigated, and for which typically models with high-dimensional latent spaces are applied.
The image patches used are extracted from the van
Hateren image database (van Hateren & van der Schaaf, 1998).
Noisy-OR.
First we consider raw images patches, i.e., images without substantial pre-processing which directly reﬂect light intensities.
Such image patches were generated by extracting random square subsections of a single 255x255 image of overlapping grass wires (part of image 2338 of the database).
We removed the brightest 1% pixels from the data-set, scaled each data-point to have gray-scale values in the range [0 , 1] and then created data points with binary entries by repeatedly choosing a random gray-scale image and sampling binary pixels from a Bernoulli distribution with parameter equal to the gray-scale value of the original pixel (cfr. ﬁgure 6).
Note that components in such light-intensity images can be expected to superimpose non-linearly because of occlusion, which motivates the application of a non-linear generative model such as noisy-OR.
We employ the “ﬁtparents-sparseﬂips” evolutionary algorithm that was shown to perform best on artiﬁcial data (3).
Parameters were H = 100 , S = 120 , N g = 2 , N p = 8 , N c = 7 .
Figure 6 shows the generative ﬁelds learned over 200 iterations.
EEM allows learning of generative ﬁelds resembling curved edges, in line with expectations and with the results obtained in (L ¨ ucke & Sahani, 2008).
BSC.
Finally, we consider pre-processed image patches using common whitening approaches as they are customary for sparse coding approaches (Olshausen & Field, 1997).
We use N = 100 ,patches of size D = 16 × 16 , randomly picked from the whole data set.
The highest 2 % of the amplitudes were clamped to compensate for light reﬂections and patches without signiﬁcant structure were excluded for learning.
ZCA whitening (Bell & Sejnowski, 1997) was applied retaining 95 % of the variance (we used the procedure of a recent paper Exarchakis & L¨ucke, 2017).
We trained the
BSC model for 4,000 iterations using the “ﬁtparents-cross-sparseﬂips” EA and employing H =hidden units and S = 200 variational states.
Per data point and per iteration, in total 360 new states ( N p = 10 , N c = 9 , N g = 4 ) were sampled to vary K n .
The results of the experiment are depicted in Fig.
The obtained generative ﬁelds primarily take the form of Gabor functions with different locations, orientations, phase, and spatial frequencies.
This is a typical outcome of sparse coding being applied to images.
On average more than ﬁve units were activated per data point showing that the learned code makes use of the generative model’s multiple causes structure.
The generative ﬁelds converged faster than prior and noise parameters (similar effects are known from probabilistic PCA for the variance parameter).
The ﬁnit slope of the free-energy after 4000 iterations is presumably due to these parameters still changing slowly.
[Figure]
B
C
D
D ISCUSSION
The training of generative models is a very intensively studied branch of Machine Learning.
If
EM is applied for training, most non-elementary models require approximations.
For this reason, sophisticated and mathematically grounded approaches such as sampling or variational EM have been developed in order to derive sufﬁciently precise and efﬁcient learning algorithms.
Evolutionary algorithms (EAs) have also been applied in conjunction with EM.
Pernkopf &
Bouchaffra (2005), for instance, have used EAs for clustering with Gaussian mixture models (GMMs).
However, the GMM parameters are updated by their approach relatively conventionally using EM, while EAs are used to select the best GMM models for the clustering problem (using a min.
description length criterion).
Such a use of EAs is similar to DNN optimization where
EAs optimize DNN hyperparameters in an outer optimization loop (Stanley & Miikkulainen, 2002;
Loshchilov & Hutter, 2016; Real et al., 2017; Suganuma et al., 2017, etc), while the DNNs themselves are optimized using standard error-minimization algorithms.
Still other approaches have used
EAs to directly optimize, e.g., a clustering objective.
But in these cases EAs replace EM approaches for optimization (compare Hruschka et al., 2009).
In contrast to all such previous applications, we have here shown that EAs and EM can be combined directly and intimately: Alg.
1 deﬁnes EAs as an integral part of EM, and as such EAs address the key optimization problem arising in the training of generative models.
We see the main contribution of our study in the establishment of this close theoretical link between
EAs and EM.
This novel link will make it possible to leverage an extensive body of knowledge and experience from the community of evolutionary approaches for learning algorithms.
Our numerical experiments are a proof of concept which shows that EAs are indeed able to train generative models with large hidden spaces and local optima.
For this purpose we used very basic EAs with elementary selection, mutation, cross-over operators.
EAs more specialized to the speciﬁc optimization problems arising in the training of generative models have great potentials in future improvements of accuracy and scalability, we believe.
In our experiments, we have only just started to exploit the abilities of EAs for learning algorithms.
Still, our results represent, to the knowledge of the authors, the ﬁrst examples of noisy-OR or sparse coding models trained with EAs (although both models have been studied very extensively before).
Most importantly, we have pointed out a novel mathematically grounded way how EAs can be used for generative models with binary latents in general.
The approach here established is, moreover, not only very generically formulated using the models’ joint probabilities but it is also very straightforward to apply.
A PPENDIX A: N OISY -OR
The truncated free energy takes on the following form for Noisy-OR:
[Equation]
The M-step equations for noisy-OR are obtained by taking derivatives of the free energy, equating them to zero and solving the resulting set of equations.
We report the results here for completeness:
[Equation]
The update rule for (cid:126)π is quite straightforward.
The update equations for the weights W dh , on the other hand, do not allow a closed form solution (i.e. no exact M-step equation can be derived).
The rule presented here, instead, expresses each W newdh as a function of all current (cid:126)W ; this is a ﬁxedpoint equation whose ﬁxed point would be the exact solution of the maximization step.
Rather than solving the equation numerically at each step of the learning algorithm, we exploit the fact that in practice one single evaluation of 13 is enough to (noisily, not optimally) move towards convergence.
Since TV-EM is guaranteed to never decrease F , drops of the free-energy during training can only be ascribed to this ﬁxed-point equation; this provides a simple mechanism to check and possibly correct for misbehaviors of 13 if needed.
B: M- STEP UPDATE RULES FOR BSC
The free energy for BSC follows from inserting (10) into (2).
Update rules can be obtained by optimizing the resulting expression separately for the model parameters π, σ 2 and W (compare, e.g., Henniges et al., 2010).
For the sake of completeness, we show the result here:
[Equation] [Equation]
[Equation]
Exact EM can be obtained by setting q n to the exact posterior p ( (cid:126)s | (cid:126)y ( n ) , Θ) .
As this quickly becomes computational intractable with higher latent dimensionality, we approximate exact posteriors by truncated variational distributions (3).
For BSC, the truncated free energy (4) takes the form
[Equation]
where
[Equation]
C: F URTHER EXPERIMENTAL RESULTS FOR BSC
[Figure]
D: S PARSITY - DRIVEN BITFLIPS
When performing sparsity-driven bitﬂips, we ﬂip each bit of a particular child (cid:126)s ∗ with probability p
if it is 0, with probability p 1 otherwise.
We call p bf the average probability of ﬂipping any bit in (cid:126)s ∗ .
We impose the following constraints on p 0 and p 1 :
• p 1 = αp 0 for some constant α • the average number of on bits after mutation is set at (cid:101) s
which yield the following expressions for p 0 and p 1 :
[Equation]
Trivially, random uniform bitﬂips correspond to the case p
= p 1 = p bf .
E: R ELIABILITY OF EEM FOR NOISY -OR ON OVERLAPPING BARS
With respect to the tests shown in ﬁgure 4 and discussed in section 5.1, it is worth to spend a few more words on comparisons with the other algorithms shown (L ¨ ucke & Sahani, 2008, Fig. 9).
Quantitative comparison to NMF approaches, neural nets (DI Spratling et al., 2009), and MCA (L¨ucke & Sahani, 2008) shows that EMM for noisy-OR performs well but there are also approaches with higher reliability.
Of all the approaches which recover more than 15 bars on average, most require additional assumptions.
E.g., all NMF approaches, non-negative sparse coding (Hoyer, 2004) and
R-MCA 2 require constraints on weights and/or latent activations.
Only MCA 3 does not require constraints and presumably neither DI.
DI is a neural network approach, which makes the used assumptions difﬁcult to infer.
MCA 3 is a generative model with a max-non-linearity as superposition model.
For learning it explores all sparse combinations with up to 3 components.
Applied with
H = 32 latents, it hence evaluates more than 60000 states per data point per iteration for learning.
For comparison, EEM for noisy-OR evaluates on the order of S = 100 states per data point per iteration.
[Figure]
H IGHER - SCALE NATURAL IMAGE PATCHES FOR N OISY -
[Figure]