L EARNING N EURAL R ANDOM F IELDS WITH I NCLUSIVE A UXILIARY G ENERATORS
Anonymous authors
Paper under double-blind review
A BSTRACT
Neural random ﬁelds (NRFs), which are deﬁned by using neural networks to implement potential functions in undirected models, provide an interesting family of model spaces for machine learning.
In this paper we develop a new approach to learning NRFs with inclusive-divergence minimized auxiliary generator - the inclusive-NRF approach, for continuous data (e.g. images), with solid theoretical examination on exploiting gradient information in model sampling.
We show that inclusive-NRFs can be ﬂexibly used in unsupervised/supervised image generation and semi-supervised classiﬁcation, and empirically to the best of our knowledge, represent the best-performed random ﬁelds in these tasks.
Particularly, inclusiveNRFs achieve state-of-the-art sample generation quality on CIFAR-10 in both unsupervised and supervised settings.
Semi-supervised inclusive-NRFs show strong classiﬁcation results on par with state-of-the-art generative model based semi-supervised learning methods, and simultaneously achieve superior generation, on the widely benchmarked datasets - MNIST, SVHN and CIFAR-10.
I NTRODUCTION
One of the core research problems in machine learning is learning with probabilistic models, which can be broadly classiﬁed into two classes - directed and undirected 1 (Koller & Friedman, 2009).
Signiﬁcant progress has been made recently on learning with deep generative models (DGMs), which generally refer to models with multiple layers of stochastic or deterministic variables.
There have emerged a bundle of deep directed generative models, such as variational AutoEncoders (VAEs) (Kingma & Welling, 2014), generative adversarial networks (GANs) (Goodfellow et al., 2014) and so on.
In contrast, undirected generative models (also known as random ﬁelds (Koller & Friedman, 2009), energy-based models (LeCun et al., 2006)) received less attention with slow progress.
This is presumably because ﬁtting undirected models is more challenging than ﬁtting directed models.
In general, calculating the log-likelihood and its gradient is analytically intractable, because it involves the expectation with respect to (w.r.t.)
the model distribution.
In this paper, we aims to advance the learning of neural random ﬁelds (RFs) which use neural networks with multiple (deterministic) layers to deﬁne the potential function 2 u θ ( x ) over observation x with parameter θ .
The probability distribution p θ ( x ) ∝ exp( u θ ( x )) is then deﬁned by normalizing the exponentiated potential function.
This type of RFs has been studied several times in different contexts, once called deep energy models (DEMs)
(Ngiam et al., 2012; Kim & Bengio, 2016), descriptive models (Xie et al., 2016), generative ConvNet (Dai et al., 2014), neural random ﬁeld language models (Wang & Ou, 2017).
For convenience, we refer to such models as neural random ﬁelds (NRFs) in general.
An important method of maximum likelihood (ML) learning of random ﬁelds is called stochastic maximum likelihood (SML) (Younes, 1989), which approximates the model expectations by Monte
Carlo sampling for calculating the gradient.
A recent progress in learning NRFs as studied in
Kim & Bengio (2016); Xie et al.
; Wang & Ou (2017); Kuleshov & Ermon (2017) is to pair the target random ﬁeld p θ with an auxiliary directed generative model (often called generator) q φ ( x ) parameterized by φ , which approximates sampling from the target random ﬁeld.
Learning is performed by maximizing the log-likelihood of training data under p θ or some bound of the log-likelihood, and simultaneously minimizing some divergence between the target random ﬁeld p θ and the auxiliary generator q φ .
Different learning algorithms differ in the objective functions used in the joint training of p θ and q φ , and thus have different computational and statistical properties (partly illustrated in Figure 1).
For example, minimizing the exclusive-divergence KL
[Equation]
q φ log ( q φ /p θ ) w.r.t.
φ , as employed in Kim & Bengio (2016), involves the intractable entropy term and tends to enforce the generator to seek modes, yielding missing modes.
There are also other factors, e.g. modeling discrete or continuous data, different choices of the target RF and the generator, which lead to different algorithms.
We leave detailed comparison and connection of our approach with existing studies to section 3 (related work).
In this paper, we propose to use inclusive-divergence minimized auxiliary generators (section 2.1).
And particularly for continuous data (e.g. images), we propose to use SGLD (stochastic gradient
Langevin dynamics (Welling & Teh, 2011)) and SGHMC (stochastic gradient Hamiltonian Monte
Carlo (Chen et al., 2014)) to exploit gradient information in model sampling with solid theoretical examination (section 2.2).
The new approach, abbreviated as the inclusive-NRF approach, offers some advantages over previous methods.
First, minimizing the inclusive-divergence KL [ p θ || q φ ] (cid:44) (cid:82) p θ log ( p θ /q φ ) w.r.t.
φ avoids the annoying entropy term and tends to drive the generator to cover modes of the target density p θ .
The SGLD/SGHMC sampling further pushes the samples towards the modes of p θ .
Presumably, this helps to produce Markov chains that mix fast between modes and facilitate model learning.
Second, the new approach enables us to ﬂexibly use NRFs in unsupervised/supervised image generation and semi-supervised classiﬁcation (section 2.3), and empirically to the best of our knowledge, represents the best-performed random ﬁelds in these tasks.
The main contributions of this paper can be summarized as follows:
• We develop the inclusive-NRF approach, which learns NRFs with inclusive auxiliary generators and particularly for continuous data, exploits gradient information in model sampling with solid theoretical examination.
• Inclusive-NRFs achieve state-of-the-art sample generation quality, measured by both Inception Score (IS) and Frechet Inception Distance (FID).
On CIFAR-10, we obtain unsupervised IS 8.28 (FID 20.9) and supervised IS 9.06 (FID 18.1), both using unconditional generation.
• Semi-supervised inclusive-NRFs show strong classiﬁcation results on par with state-ofthe-art DGM-based semi-supervised learning (SSL) methods, and simultaneously achieve superior generation, on the widely benchmarked datasets - MNIST, SVHN and CIFAR-10.
T HE INCLUSIVE -NRF APPROACH
Consider a random ﬁeld for modeling observation x with parameter θ :
[Equation] [Equation]
where Z ( θ )
= (cid:82) exp( u θ ( x ))
dx is the normalizing constant, u θ ( x ) is the potential function 3 which assigns a scalar value to each conﬁguration of random variable x .
The general idea of neural random ﬁelds (NRFs) is to implement u θ ( x ) :
R d x → R , by a neural network, taking the multi-dimensional x ∈ R d x as input and outputting the scalar u θ ( x ) ∈ R .
In this manner, we can take advantage of the representation power of neural networks for RF modeling.
It is usually intractable to maximize the data log-likelihood logp θ (˜ x ) for observed ˜ x , since the gradient involves expectation w.r.t.
the model distribution, as shown below:
[Equation]
2. I NTRODUCING INCLUSIVE - DIVERGENCE MINIMIZED AUXILIARY GENERATORS
In this paper, we further develop NRF learning with auxiliary generators.
We are mainly concerned with modeling ﬁxed-dimensional continuous observations x ∈ R d x (e.g. images), and choose a 3 Negating the potential function the energy function.
Sampling:
Draw
∇ θ u θ
[Equation]
∇ θ
θ
[Equation]
Update
∇
; until convergence directed generative model, q φ ( x, h ) (cid:44) q ( h ) q φ ( x | h ) , for the auxiliary generator, which speciﬁcally is deﬁned as follows 4 :
[Equation]
where g φ ( h ) : R d h → R d x is implemented as a neural network with parameter φ , which maps the latent code h to the observation space.
I h
and I (cid:15) denote the identity matrices, with dimensionality implied by h and (cid:15) respectively.
Drawing samples from the generator q φ ( x, h ) is simple as it is just ancestral sampling from a 2-variable directed graphical model.
Suppose that data D = { ˜ x 1 , · · · , ˜ x n } , consisting of n observations, are drawn from the true but unknown data distribution p 0 ( · ) .
˜ p
(˜ x ) (cid:44) 1 n (cid:80) nk =1 δ (˜ x − ˜ x k ) denotes the empirical data distribution.
Then we formulate the maximum likelihood learning of p θ ( x ) with the inclusive-divergence minimized generator q φ ( x ) as optimizing
[Equation]
The ﬁrst line of Eq.
(4) is equivalent to maximum likelihood training of the target RF p θ under the empirical data ˜ p , which requires sampling from p θ .
Simultaneously, the second line optimizes the generator q φ to be close to p θ so that q φ becomes a good proposal for sampling from p θ .
It can be easily seen that the gradients w.r.t.
θ and φ (to be ascended) are deﬁned as follows:
[Equation]
Both lines of Eq.
(5) hold, as proved in Proposition 1 in the Supplement.
In practice, we calculate noisy gradient estimators, and apply minibatch based stochastic gradient descent (SGD) to solve the optimization problem Eq.
(4), as shown in Algorithm 1.
2. A PPLYING SGLD/SGHMC FOR MODEL SAMPLING
In Algorithm 1, we need to draw samples from p θ ( x ) q
φ
( h | x ) given current θ and φ .
For continuous observations, SGLD (stochastic gradient Langevin dynamics) (Welling & Teh, 2011) and SGHMC (Stochastic Gradient Hamiltonian Monte Carlo)
(Chen et al., 2014) sampling provide mechanisms for exploiting (stochastic) gradients of the target density p θ ( x ) q φ ( h | x ) , enabling efﬁcient exploration of the state space.
We take the theoretical results about SGLD from Teh et al.
(2016) and SGHMC from
Chen et al.
(2014), which are brieﬂy summarized in Theorem 1 in the Supplement, and apply them in the sampling step in Algorithm 1.
Denoting the target density as p ( z ; λ ) with given λ , Theorem 1 shows that SGLD/SGHMC, by utilizing ∂∂z log p ( z ; λ ) , yields a non-homogeneous Markov chain (cid:8)
z ( l ) , l ≥ 1 (cid:9) , which converges to the equilibrium distribution p ( z ; λ ) .
By letting z (cid:44) ( x, h ) , p ( z ; λ ) (cid:44) p θ ( x ) q φ ( h | x ) , λ (cid:44) ( θ, φ ) T in Theorem 1, we can perform the sampling step in Algorithm 1 by running |M| parallel chains, each chain being executed as follows:
Do ancestral sampling by the generator, namely ﬁrst drawing h (cid:48) ∼ p ( h (cid:48) ) , and then drawing x (cid:48) ∼ q φ ( x (cid:48)
| h (cid:48) ) ; 2.
Starting from ( x (cid:48) , h (cid:48) )
=
z (0) , run ﬁnite steps of SGLD/SGHMC ( l = 1 , · · · , L ) to obtain ( x, h )
=
z ( L ) , which we call sample revision , according to Eq.
In sample revision, the calculation of the gradient w.r.t.
h , ∂∂h log p ( z ; λ ) =
∂∂h log q φ ( h | x ) =
∂∂h log q φ ( h, x ) , is straightforward.
For the gradient w.r.t.
x , we have
[Equation]
The reason is that ∂∂x log q φ ( x ) can be approximated by an unbiased estimate, as proved in Proposition 2 in the Supplement:
[Equation]
Therefore, we can use ∂∂x log p θ ( x ) 6 as an unbiased estimate of the gradient ∂∂x log p ( z ; λ ) , and we can apply Theorem 1 with tractable gradients w.r.t.
both x and h .
Remarks.
Intuitively, the generator gives a proposal ( x (cid:48) , h (cid:48) ) , and then the system follows the gradients of p θ ( x ) and q φ ( h, x ) (w.r.t.
x and h respectively) to revise ( x (cid:48) , h (cid:48) ) to ( x, h ) .
The gradient terms pull samples moving to low energy region of the random ﬁeld and adjust the latent code of the generator, while the noise term brings randomness.
In this manner, we obtain Markov chain samples from p θ ( x ) q φ ( h | x ) .
Note that ﬁnite steps in sample revision will produce biased estimates of the gradients ∇ θ and ∇ φ in Eq.
We did not ﬁnd this to pose problems to the SGD optimization in practice, as similarly found in Bornschein & Bengio (2015); Kuleshov & Ermon (2017) which work with biased gradient estimators.
2. S EMI - SUPERVISED LEARNING WITH INCLUSIVE NRF S
In the following, we apply our inclusive-NRF approach in the SSL setting to show its ﬂexibility.
Note that different models are needed in unsupervised and semi-supervised learning, because SSL needs to additionally consider labels apart from observations.
Model deﬁnition.
In semi-supervised tasks, we consider the following RF for joint modeling of observation x ∈
R d x and class label y ∈ { 1 , · · · , K } :
[Equation]
which is different from Eq.1 for unsupervised learning without labels.
To implement the potential function u θ ( x, y ) , we consider a neural network Φ θ ( x ) :
R d x → R K , with x as the input and the output size being equal to the number of class labels, K .
Then we deﬁne u θ ( x, y )
=
onehot ( y ) T
Φ θ ( x ) , where onehot ( y ) represents the one-hot encoding vector for the label y .
In this manner, the conditional density p θ ( y | x ) is the classiﬁer, deﬁned as follows:
[Equation]
which acts like multi-class logistic regression using K logits calculated from x by the neural network Φ θ ( x )
And we do not need to calculate Z ( θ ) for classiﬁcation.
The auxiliary generator is implemented the same as in Eq.
3, i.e. an unconditional generator.
With the deﬁnition the joint density in Eq.
7, it can be shown that, with abuse of notation, the marginal density p θ ( x ) =
1 Z ( θ )
exp [ u θ ( x )] where u θ ( x ) (cid:44) log (cid:80) y exp
[ u θ ( x, y )] .
Model learning.
Suppose that among the data D = { ˜ x 1 , · · · , ˜ x n } , only a small subset of the observations, for example the ﬁrst m observations, have class labels, m (cid:28) n .
Denote these labeled data as L = { (˜ x 1 , ˜ y 1 ) , · · · , (˜ x m , ˜ y m ) } .
Then we can formulate the semi-supervised learning as jointly optimizing
[Equation]
which are deﬁned by hybrids of generative and discriminative criteria, similar to Zhu (2006);
Larochelle et al.
; Kingma et al.
The hyper-parameter α d controls the relative weight between generative and discriminative criteria.
Similar to deriving Eq.
(5), it can be easily seen that the gradients w.r.t.
θ and φ (to be ascended) are deﬁned as follows: 
[Equation]
In practice, we calculate noisy gradient estimators, and apply minibatch based stochastic gradient descent (SGD) to solve the optimization problem Eq.
(9), as shown in Algorithm 2 in the Supplement.
Apart from the basic losses as shown in Eq.
(9), there are some regularization losses that are found to be helpful to guide SSL learning and are presented in the Supplement.
To conclude, we show that the inclusive-NRF can be easily applied to SSL.
To the best of our knowledge, there are no priori studies in applying random ﬁelds to SSL.
The semi-supervised inclusive-NRF model deﬁned above is novel itself for SSL.
R ELATED WORK
Comparison and connection of our inclusive-NRF approach with existing studies are provided in the following from three perspectives.
Learning NRFs with auxiliary generators.
These studies are most relevant to this work, which aims to learn NRFs.
The classic method for learning RFs is the SML method (Younes, 1989), which works with the single target model p θ .
Compared to learning traditional RFs which mainly use linear potential functions, learning NRFs which use NN based nonlinear potential functions, is more challenging.
A recent progress in learning NRFs as studied in Kim & Bengio (2016); Xie et al.
(2016); Wang & Ou (2017); Kuleshov & Ermon (2017) is to jointly train the target random ﬁeld p θ ( x ) and an auxiliary generator q φ ( x ) .
Different studies differ in the objective functions used in the joint training, and thus have different computational and statistical properties.
• It is shown in Proposition 3 in the Supplement that learning in Kim & Bengio (2016) minimizes the exclusive-divergence KL [ q φ || p θ ] w.r.t.
φ , which involves the intractable entropy term and tends to enforce the generator to seek modes, yielding missing modes.
We refer to this approach as exclusive-NRF.
• Learning in Wang & Ou (2017) and in this paper minimizes the inclusive-divergence KL [ p θ || q φ ] w.r.t.
φ .
But noticeably, this paper is not an extension of Wang & Ou (2017) which is developed for discrete data, but rather represents an important parallel development for continuous data.
The target NRF model, the generator and the sampler are all different.
Wang & Ou (2017) mainly studies random ﬁeld language models, using LSTM generators (autoregressive with no latent variables) and employing Metropolis independence sampler (MIS) - applicable for discrete data (natural sentences).
In this paper, we mainly develop random ﬁeld models
for continuous data (images), using latent-variable generators and utilizing SGLD/SGHMC (with solid theoretical examination) to exploit gradient information in the continuous space.
• In Xie et al.
(2016), motivated by interweaving maximum likelihood training of the random ﬁeld
p θ and the latent-variable generator q φ , a joint training method is introduced.
Operationally, this method also uses Langevin sampling to revise samples generated from
q φ in updating both θ and φ .
However, two Langevin sampling steps (Langevin revision and Langevin inference) are interleaved according to ∂∂x log p θ ( x ) and ∂∂h log q φ ( h, x ) separately.
This is different from our sampling step, which moves ( h, x ) jointly.
Theoretical understanding presented in Xie et al.
(2016) relates their method to a joint optimization problem, which is also different from ours as shown in Eq.
Thus, learning in Xie et al.
(2016) does not aim to minimize the inclusive-divergence KL [ p θ || q φ ] w.r.t.
φ .
• Learning in Kuleshov & Ermon (2017) minimizes the χ 2 -divergence χ 2 [ q φ || p θ ]
(cid:44) (cid:82) ( p θ − q φ ) 2 q φ w.r.t.
φ , which also tends to drive the generator to cover modes.
But this approach is severely limited by the high variance of the gradient estimator w r
t. φ , and is only tested on the simpler MNIST and Omniglot.
Additionally, different NRF studies also differ in models used in the joint training.
For example, the target NRF used in this work is different from those in previous studies Kim & Bengio (2016);
Wang & Ou (2017); Xie et al. (2016).
The differences are: Kim & Bengio (2016) includes linear and squared terms in u θ ( x ) , Wang & Ou (2017) deﬁnes over sequences, and Xie et al.
(2016) deﬁnes in the form of exponential tilting of a reference distribution (Gaussian white noise).
There exist different choices for the generator, such as GAN models in Kim & Bengio (2016), LSTMs in Wang & Ou (2017), or latent-variable models in both Xie et al.
(2016) and this work.
All are easy to do sampling.
Moreover, all the previous NRF studies examine unsupervised learning, and none shows application or extension of their methods or models for semi-supervised learning.
Monte Carlo sampling.
One step in our inclusive-NRF approach is to apply SGLD/SGHMC to draw samples from the target density p θ , starting from the proposal sample from the generator.
Theoretically, improvements in NRF sampling methods could be potentially integrated into NRF learning algorithms.
For example, it is recently studied in Levy et al.
(2018) to learn MCMC transition kernels, also parameterized by neural networks, to improve the HMC sampling from the given target distribution.
Integration into learning NRFs is interesting but outside the scope of this paper.
Comparison and connection with GANs.
On the one hand, there are some efforts that aim to address the inability of GANs to provide sensible energy estimates for samples.
The energy-based
GANs (Zhao et al., 2017) proposes to view the discriminator as an energy function by designing an auto-encoder discriminator.
The recent work in Dai et al.
(2017a) connects Zhao et al.
(2017) and
Kim & Bengio (2016), and show another two approximations for the entropy term.
However, it is known that as the generator converges to the true data distribution, the GAN discriminator converges to a degenerate uniform solution.
This basically afﬂicts the GAN discriminator to provide density information, though there are some modiﬁcations.
In contrast, our inclusive-NRFs, unlike GANs, naturally provide (unnormalized) density estimate.
Moreover, none of the above energy-related GAN studies examine their methods or models for SSL, except in EBGAN which performs moderately.
On the other hand, there are interesting connections between inclusive-NRFs and GANs, as elaborated in section 11 in the Supplement.
When interpreting the potential function u θ ( x ) as the critic in
Wasserstein GANs, inclusive-NRFs seem to be similar to Wasserstein GANs.
A difference is that in optimizing θ in inclusive-NRFs, the generated samples are further revised by taking ﬁnite-stepgradient of u θ ( x ) w.r.t.
x .
However, the critic in Wasserstein GANs can hardly be interpreted as an unnormalized log-density.
Thus strictly speaking, inclusive-NRFs are not GAN-like.
E XPERIMENTS
We conduct a series of experiments to evaluate the performances of our approach (inclusive-NRFs) and various existing methods on synthetic and real-world datasets for both unsupervised and semisupervised learning tasks, with both visual and numerical evaluation.
We refer to the Supplement for experimental details and additional results.
4. GMM SYNTHETIC EXPERIMENT
The synthetic data consist of 1,600 training examples generated from a 2D Gaussian mixture model (GMM) with 32 equally-weighted, low-variance ( σ = 0 .
1 ) Gaussian components, uniformly laid out on four concentric circles as in Figure 1(a). The data distribution exhibits many modes separated
[Figure]
[Table]
by large low-probability regions, which makes it suitable to examine how well different learning methods can deal with multiple modes.
For comparison, we experiment with GAN with logD trick (Goodfellow et al., 2014) and WGAN-GP (Gulrajani et al., 2017) for directed generative model, exclusive-NRF (Kim & Bengio, 2016) and inclusive-NRF for undirected generative model.
Figure 1 visually shows the generated samples from the trained models using different methods.
Table 1 reports the “covered modes” and “realistic ratio” as numerical measures of how the multi-modal data are ﬁtted, similarly as in Dumoulin et al.
The main observations are as follows.
GAN suffers from mode missing, generating realistic but not diverse samples.
WGAN-GP increases “covered modes” but decreases “realistic ratio”.
Inclusive-NRF performs much better than both GAN and WGAN-GP in sample generation.
(2) Inclusive-NRF outperforms exclusive-NRF in both sample generation and density estimation.
(3) After revision, samples from inclusive-NRF become more like real samples, achieving the best in both “covered modes" and “realistic ratio” metrics.
[Table]
4. I MAGE GENERATION ON CIFAR-
We examine both unsupervised and supervised learning over the widely used real-world dataset
CIFAR-10 Krizhevsky (2009) for image generation.
To evaluate generation quality quantitatively
[Table]
we use inception score (IS) Salimans et al.
[Table]
and Frechet inception distance (FID) Heusel et al.
Table 2 reports the inception score and FID for state of the art methods, for both unsupervised and supervised settings.
The supervised learning of inclusive-NRF is conducted as a special case of semi-supervised learning over all labeled images ( m = n )
[Table]
which uses unconditional generation.
We use ResNet in this experiment, see section 12.2 in the Supplement for experimental details.
From the comparison results in Table 2, it can be seen that the proposed inclusive-NRF model achieves the best inception score over CIFAR-10, to the best of our knowledge, in both unsupervised and supervised settings.
Some generated samples are shown in Figure 5(c)(d) for unsupervised and supervised settings respectively.
We also show in the Supplement the capability of inclusive-NRFs in latent space interpolation (section 14) and conditional generation (section 15).
4. S EMI - SUPERVISED LEARNING RESULTS
For semi-supervised learning, we consider the three widely used benchmark datasets, namely MNIST (LeCun et al., 1998), SVHN (Netzer et al., 2011), and CIFAR-10 (Krizhevsky, 2009).
As in previous work, we randomly sample 100, 1,000, and 4,000 labeled samples from MNIST, SVHN, and CIFAR10 respectively during training, and use the standard data split for testing.
See section 12.3 in the
Supplement for experimental details.
We also provide a SSL toy experiment in section 13 in the
Supplement to help understanding how semi-supervised inclusive-NRF works.
It can be seen from Table 3 that semi-supervised inclusive-NRFs produce strong classiﬁcation results on par with state-of-art DGM-based SSL methods.
See Figure 5(a)(b) in the Supplement for generated samples.
Bad-GANs achieve better classiﬁcation results, but as indicated by the low inception score, their generation is much worse than semi-NRF-IAGs.
In fact, among DGM-based SSL methods, inclusive-NRFs achieve the best performance in sample generation.
This is in contrast to the conﬂict of good classiﬁcation and good generation, as observed in GAN-based SSL (Salimans et al., 2016; Dai et al., 2017b).
It is analyzed in Dai et al.
(2017b)
that good GAN-based SSL requires a bad generator 7 .
This is embarrassing and in fact obviates the original idea of generative SSLsuccessful generative training, which indicates good generation, provides regularization for ﬁnding good classiﬁers (Zhu, 2006; Larochelle et al., 2012).
In this sense, Bad-GANs could hardly be classiﬁed as a generative SSL method.
Finally, note that some discriminative SSL methods, as listed in the lower block in Table 3 also produce superior performances, by utilizing data augmentation and consistency regularization.
However, these methods are unable to generate (realistic) samples.
It can be seen that discriminative SSL methods
[Table]
utilize different regularization from generative SSL methods and cannot be directly compared to generative SSL methods.
Their combination, as an interesting future work, could yield further performance improvement
[Table]
4. A BLATION STUDY
We report the results of ablation study of our inclusive-NRF method on CIFAR-10 in Table 4.
In this experiment, we use the standard CNN (Miyato et al., 2018) for unsupervised learning and the same networks as those used in Table 3 for semi-supervised learning.
See section 12.4 in the Supplement for experimental details.
We analyze the effects of different settings in model training, such as using SGLD or SGHMC and the revision step L = 1 / 5 / 10 used.
For each training setting, we also compare the two manners to generate samples - whether applying sample revision or not in inference (generating samples) given a trained NRF, as previously illustrated in Figure 1 over synthetic GMM data.
The main observations are as follows.
First, given a trained NRF, after revision (i.e. following the gradient of the RF’s potential u θ ( x ) w.r.t.
x ), the quality (IS) of samples is always improved, as shown by the consistent IS improvement from the second column (generation) to the third (revision).
This is in accordance with the results in the GMM synthetic experiments.
Moreover, noting that in revision, it is the the estimated density p θ that guides the samples towards low energy region of the random ﬁeld.
This demonstrates one beneﬁt of random ﬁeld modeling, which, unlike GANs, can learn density estimate about the data manifold.
Second, a row-wise reading of Table 4 reveals that with more revision steps and using SGHMC in training, the SSL classiﬁcation performance is improved.
Utilizing SGHMC in inclusive-NRFs to exploit gradient information with momentum yields better performance than simple SGLD as used in Xie et al.
It is also found that more revision steps in model training do not signiﬁcantly
[Table] [Table]
improve unsupervised IS.
So we can use L = 1 in unsupervised learning for generation, which can reduce the computational cost.
D ISCUSSION AND C ONCLUSION
In this paper we develop the inclusive-NRF approach, which learns NRFs with inclusive auxiliary generators and particularly for continuous data, exploits gradient information in model sampling with solid theoretical examination.
Extensive empirical evaluations show that inclusive-NRFs obtain state-of-the-art sample generation quality and achieve strong semi-supervised learning results on par with state-of-the-art DGMs.
The superior performances presumably are attributed to the two distinctive features in inclusive-NRFs - introducing the inclusive-divergence minimized auxiliary generator and utilizing sample revision by SGLD/SGHMC .
Intuitively, the revised samples from the RF will guide the training of the generator
[Table]
and subsequently the generator will propose samples for the RF to sense the data manifold.
This forms positive interactions between the random ﬁeld and the generator, which enables successful joint training of both models.
The new approach enables us to ﬂexibly use NRFs in unsupervised, supervised and semi-supervised settings and successfully train them in a black-box manner.
Interesting future work will consider inclusive-NRFs in more challenging tasks, e.g. unsupervised and semi-supervised learning with sequential data (e.g. speech, language, video, etc.).
P ROOF OF P ROPOSITION
Proposition 1.
Both lines of Eq.(5) for gradient calculations hold.
Proof.
The ﬁrst line of Eq.(5) can be obtained by directly taking derivative of KL [˜ p (˜ x )
|| p
θ (˜ x )] w.r.t.
θ , as shown below,
[Equation]
and then applying the basic formula of Eq.
For the second line, by direct calculation, we ﬁrst have
[Equation]
= 0 .
Then combining ∂∂φ KL [ p θ ( x ) || q φ ( x )] = − E p θ ( x ) [ ∇ φ log q φ ( x )] and ∇ φ log q φ ( x )
=
E q φ ( h | x ) [ ∇ φ log q φ ( x )]
=
E q φ ( h | x ) [ ∇ φ log q φ ( x, h ) − ∇ φ log q φ ( h | x )]
=
E q φ ( h | x ) [ ∇ φ log q φ ( x, h )] .
will give the second line of Eq.(5).
SGLD/SGHMC
Theorem 1.
Denote the target density as p ( z ; λ ) with given λ .
Assume that one can compute a noisy, unbiased estimate ∆( z, ξ ; λ ) to the gradient ∂∂z log p ( z ; λ ) , where ξ is an auxiliary random variable which contains all the randomness involved in constructing the estimate, namely E [∆( z, ξ ; λ )]
= ∂∂z log p ( z ; λ ) .
Assume the stability Assumptions 4 in Teh et al.
(2016) holds.
For a sequence of asymptotically vanishing time-steps { δ l , l ≥ 1 } (satisfying (cid:80) ∞
l =1 δ l = ∞ and (cid:80) ∞ l =1 δ 2 l < ∞ ), an i.i.d.
sequence η ( l ) , and an independent and i.i.d.
sequence ξ l of auxiliary random variables, l ≥ 1 , the SGLD iterates as follows, starting from z (0) :
[Equation]
Starting from z (0) and v (0) = 0 , the SGHMC iterates as follows:
[Equation]
Then in both cases, the non-homogeneous Markov chain (cid:8) z ( l ) , l ≥ 1 (cid:9) converges to the equilibrium distribution p ( z ; λ ) .
P ROOF OF P ROPOSITION
Proposition 2.
Let z (cid:44) ( x, h ) , p ( z ; λ ) (cid:44) p θ ( x ) q φ ( h | x ) , λ (cid:44) ( θ, φ ) T in Theorem 1.
The initial value ( x (0) , h (0) ) is obtained from ancestral sampling by the generator.
The SGLD/SGHMC as shown in
Eq.(11)/(12) iteratively generates ( x ( m ) , h ( m ) ) , m = 1 , · · · .
Then, ∂ ∂x ( m ) log q φ ( h ( m ) , x ( m ) ) is an unbiased estimate of the gradient
[Equation]
Proof.
Note that Langevin dynamics and Hamiltonian dynamics are reversible Neal (2011).
Thus the
SGLD/SGHMC transitions Eq.(11)/(12) satisfy the detailed balance condition:
π
[Equation]
( m
[Equation] [Equation]
( m
[Equation] [Equation]
[Equation]
( m ) ,
[Equation]
m
[Equation]
|
[Equation]
( m
[Equation]
1) , x ( m −
[Equation]
m
[Equation]
x ( m )
[Equation]
K (
[Equation]
m
[Equation] [Equation]
, x ( m
[Equation]
1) | h ( m ) , x ( m ) ) , where π ( · ) denotes the target density, and K ( ·|· ) denotes the transition kernel.
Also note that
E h ∼ q φ ( h | x ) (cid:2) ∂∂x log q φ ( h, x ) (cid:3) =
∂∂x log q φ ( x ) .
Thus if we show that h ( m ) is indeed drawn from q φ ( h ( m ) | x ( m ) ) during sample revision, m = 0 , 1 , · · · , then the unbiasedness will hold.
Denote by π ( m ) ( h ( m ) , x ( m ) )
the state-occupation density at step m .
Then we need to show that π ( m ) ( h ( m ) | x ( m ) ) actually follows π ( h (
[Equation]
First, it is obvious that this holds for ( h (0) , x (0) ) .
Then, we proceed by mathematical induction.
Suppose π ( m − 1)
( h ( m − 1) | x ( m − 1) ) =
π ( h ( m − 1) | x ( m − 1) ) .
Then we have
[Equation]
Integrating out ( h ( m − 1) , x ( m − 1) ) from both sides of Eq.13, we obtain
[Equation]
where the second equality, i.e. K ( x | h (cid:48) , x (cid:48) )
=
K ( x | x (cid:48) ) , holds because in the SGLD/SGHMC transitions Eq.(11)/(12), generating next step x only depends on current x (cid:48) and is independent of current h (cid:48) .
Then we have
[Equation]
where the second equality holds because we have
[Equation]
Thereby, we show h ( m ) ∼ π ( h ( m ) | x ( m ) ) ,
i
[Equation]
e. q φ ( h ( m ) | x ( m ) ) .
This concludes the inductive step.
S EMI - SUPERVISED LEARNING WITH INCLUSIVE -NRF S
Apart from the basic losses, as shown in Eq.10, in applying inclusive-NRFs in SSL, there are some regularization losses that are helpful to guide the semi-supervised learning.
[Table]
Sampling:
Draw a unsupervised minibatch and a supervised minibatch S
Updating:
[Equation]
[Table] [Table]
[Equation]
until convergence
Conﬁdence loss.
Similar to Springenberg (2016)
; Li et al.
, we add the minimization of the conditional entropy of p θ ( y | ˜ x ) averaged over training data to the loss w.r.t.
θ (i.e. the ﬁrst line in
Eq.9) as follows:
[Equation]
In this manner, we encourage the classiﬁer p θ ( y | x ) derived from the RF to make classiﬁcations conﬁdently.
In practice, we use stochastic gradients of L c ( θ ) over minibatches in optimizing θ , as shown in Algorithm 2.
Potential control loss.
For random ﬁelds, the data log-likelihood logp θ (˜ x ) is determined relatively by the potential value u θ (˜ x ) .
To avoid the potential values not to increase unreasonably, we could control the squared potential values, by minimizing:
[Equation]
In this manner, the potential values would be attracted to zeros.
In practice, we use stochastic gradients of L p ( θ ) over minibatches in optimizing θ , as shown in Algorithm 2.
P ROOF OF P ROPOSITION
Proposition 3.
For the RF as deﬁned in Eq.
1, we have the following evidence upper bound:
[Equation]
Proof.
Note that logp θ (˜ x ) =
u θ (˜ x ) − logZ
( θ ) .
And we have the following lower bound on Z ( θ ) logZ
[Equation]
dx .
This can be also seen from:
[Equation]
Furthermore, it can be seen that learning in Kim & Bengio (2016) amounts to optimizing the following evidence upper bound:
[Equation]
which is unfortunately not revealed in this manner in Kim & Bengio (2016).
C ONNECTION BETWEEN INCLUSIVE -NRF S AND GAN S
Note that for the generator as deﬁned in Eq.
3, we have the following joint density
[Equation]
The generator parameter φ is updated according to Eq.
5, which is rewritten as follows:
[Equation]
Speciﬁcally, we draw ( h (cid:48) , x (cid:48) )
∼ q φ and then perform one-step SGLD to obtain ( h, x ) .
To simply the analysis of the connection, suppose h ≈ h (cid:48) , x (cid:48)
≈ g φ ( h (cid:48) )
≈ g φ ( h ) .
Then we have
[Equation]
The gradient in the updating step in Algorithm 1 becomes:
[Equation]
∂ ∂xu θ ( x ) (cid:21)(cid:12)(cid:12)(cid:12)(cid:12) x
= g φ ( h ) =
σδ (cid:20) ∂ ∂φu θ ( g φ ( h )) (cid:21) where ∂∂φ g φ ( h ) is a matrix of size dim ( φ ) × dim ( x ) .
Therefore, the inclusive-NRF Algorithm 1 can be viewed to perform the following steps:
Draw an empirical example ˜ x ∼ p 0 .
Draw h ∼ p ( h ) , x (cid:48)
=
g φ ( h ) , and generate x by one-step-gradient according to Eq.
Update θ by ascending: ∇ θ u θ (˜ x ) − ∇ θ u θ ( x ) .
Update φ by descending: − ∂∂φ u θ ( g φ ( h )) .
Now suppose that we interpret the potential function u θ ( x ) as the discriminator in GANs (or the critic in Wasserstein GANs), which assign high scalar scores to empirical samples ˜ x ∼ p 0 and low scalar scores to generated samples x .
Then, the inclusive-NRF training could be viewed as playing a two-player minimax game:
[Equation]
(15) except that in optimizing θ , the generated sample are further revised by taking one-step-gradient of u θ ( x ) w.r.t.
x (as shown in the above Step 2).
The discriminator u θ is trained to discriminate between empirical samples and generated samples, while the generator q φ is trained to fool the discriminator by assigning higher scores to generated samples.
From the above analysis, we ﬁnd some interesting connections between inclusive-NRFs and existing studies in GANs.
• The optimization shown in Eq.
15 is in fact the same as that in Wasserstein GANs (Theorem 3 in Arjovsky et al.
(2017)), except that in Wasserstein GANs
, the critic u θ ( x ) is constrained to be 1-Lipschitz continuous.
So hopefully we can improve the inclusive-NRF training by constraining the discriminator u θ ( x ) to be 1-Lipschitz continuous, e.g. by utilizing the recently developed technique of spectral normalization of weight matrices in the discriminator as in Miyato et al.
• To optimize θ , the generated sample is obtained by taking one-step-gradient of u θ ( x ) w.r.t.
x .
The tiny perturbation guided by the gradient to increase the score for the generated sample in fact creates an adversarial example.
A similar idea is presented in Liu & Hsieh (2018) that when feeding real samples to the discriminator, 5 steps of PGD (Projected Gradient Descent) attack is taken to decrease the score to create adversarial samples.
It is shown in Liu & Hsieh (2018) that training the discriminator with adversarial examples signiﬁcantly improves the GAN traning.
Hopefully in training the discriminator in inclusive-NRFs, the adversarial attack could be increasing scores for generated samples, or decreasing scores for real samples, or a mixed one.
• The above analysis assume the use of one-step SGLD.
It can be seen that running ﬁnite steps of SGLD in sample revision in fact create adversarial samples to fool the discriminator.
D ETAILS OF EXPERIMENTS 12. GMM SYNTHETIC EXPERIMENT
In the GMM experiment, we use the following procedure to estimate the metrics “covered modes” and “realistic ratio” for each trained model.
Stochastically generate 100 samples.
A mode is deﬁned to be covered (not missed) if there exist generated samples located closely to the mode (with squared distance < 0 .
02 ), and those samples are said to be realistic.
Count how many modes are covered and calculate the proportion of realistic samples.
Repeat the above steps 100 times and perform averaging.
For each method, we independently train 10 models and calculate the mean and standard deviation (SD) across the 10 independent runs.
The network architectures and hyperparameters are the same for all methods, as listed in Table 5.
We use SGLD Welling & Teh (2011) for inclusive-NRFs on this synthetic dataset, with empirical revision hyperparameters δ l = 0 .
12. I MAGE GENERATION ON CIFAR-
Network architectures.
For convenience, we refer to the two neural networks in implementing the potential u θ and the generator q φ in NRFs as the potential network and the generator network, respectively.
For comparison of different methods, we use the same network architectures as in Table 4 in (Miyato et al., 2018)
(ResNet using spectral normalization) for unsupervised learning of NRFs.
For supervised learning, we use the semi-supervised inclusive-NRF Algorithm 2 over all labeled images.
The difference in network architectures used for semi-supervised and unsupervised learning of inclusive-NRFs is that for SSL, the output layer of the potential network contains K = 10 scalar units, while a single scalar output unit is used for unsupervised learning.
Hyperparameters.
We use Adam optimizer with the hyperparameter ( β 1 = 0 , β 2 = 0 .
9 and α = 0 .
0003 for random ﬁelds, α = 0 .
0001 for generators).
For sample revision for inclusive-NRFs, we empirically choose SGLD with L = 1 ( δ l = 0 .
More revision steps do not signiﬁcantly improve unsupervised IS, as discussed in section 4.4 Note that we use the potential control loss in both unsupervised ( α p = 0 . 1 ) and supervised ( α d = 1 , α p = 0 .
1 ) settings, which is found beneﬁcial for stable training.
Evaluation.
Figure 5(c)(d) show the generated samples from inclusive-NRFs for unsupervised and supervised settings respectively.
We compute inception score (IS) and Frechet inception distance (FID) in the same way as in Miyato et al.
We trained 10 models with different random seeds, and then generate 5000 images 10 times and compute the average inception score and the standard deviation.
We compute FID between the true distribution and the generated distribution empirically over 10000 (test set) and 5000 samples.
12. S EMI - SUPERVISED EXPERIMENT ON MNIST, SVHN AND CIFAR-
The network architectures (taken from the released code from Salimans et al.
(2016) and widely used in Li et al.
; Dai et al.
(2017b))
and
hyperparameters for semi-supervised inclusiveNRFs on MNIST, SVHN and CIFAR-10 are listed in Table 6, Table 7 and Table 8 respectively.
We use SGHMC for semi-supervised inclusive-NRFs for all three datasets, with empirical revision hyperparameters ( β = 0 .
5 , δ l = 0 . 003 ) for MNIST and CIFAR-10, and ( β = 0 .
5 , δ l = 0 . 01 ) for
SVHN.
The conﬁdence loss is employed for semi-supervised inclusive-NRFs on MNIST and SVHN, and the potential control loss is employed on CIFAR-10.
Figure 5(a)(b) show the generated samples from semi-supervised inclusive-NRFs trained over SVHN and CIFAR-10 respectively.
12. A BLATION STUDY OF INCLUSIVE -NRF S ON CIFAR-
For unsupervised learning, we use the same networks as in Table 3 in Miyato et al.
(2018) (standard CNN using spectral normalization).
We use Adam optimizer with the hyperparameter ( α = 0 .
0002 , β 1 = 0 , β 2 = 0 . 9 ).
For semi-supervised learning, the experimental setting is the same as in section 12.3 including the networks, number of labels, etc.
For different revision steps, we use ( δ l = 0 . 003 ) for SGLD, and ( β = 0 .
5 , δ l = 0 . 003 ) for SGHMC.
The potential control loss is employed in both unsupervised ( α p = 0 . 1 ) and semi-supervised ( α d = 100 , α p = 0 .
1 ) learning.
SSL TOY EXPERIMENT
In Figure 2, we present the performance of semi-supervised inclusive-NRFs for SSL on a synthetic dataset, which emphasizes that inclusive-NRFs can provide (unnormalized) density estimates for p θ ( x ) , p θ ( x, y = 1) and p θ ( x, y = 2) .
In contrast, the use of GANs as general purpose probabilistic generative models has been limited by the difﬁculty in using them to provide density estimates or even unnormalized potential values for sample evaluation.
The dataset is a 2D GMM with 16 Gaussian components, uniformly laid out on two concentric circles.
The two circles represent two different classes, each class with 4 labeled data and 400 unlabeled data.
The network architectures are the same as in Table 5, except that the neural network which implement the potential function u θ ( x, y ) for SSL now has two units in the output.
[Figure]
L ATENT SPACE INTERPOLATION
Figure 3 shows that the auxiliary generator smoothly outputs transitional samples as the latent code h moves linearly in the latent space.
The interpolated generation demonstrates that the model has indeed learned an abstract representation of the data.
Due to sample revision, the background pixels are not purely black.
C LASS - CONDITIONAL GENERATION
Figure 4 shows class-conditional generation results on MNIST with semi-supervised inclusive-NRFs.
Notice that the generator does not explicitly include class labels, thus it is unable to perform classconditional generation directly.
However, the random ﬁeld has modeling of p θ ( x, y ) , based on which we can perform class-conditional generation as follows:
Generate a sample x unconditionally, by ancestral sampling with the generator. 2.
Predict the label y for the sample x by the random ﬁeld; 3.
Starting from x , running SGLD/SGHMC revision with p θ ( x | y ) as the target density by ﬁxing y .
The resulting samples could be viewed as conditional generations, according to Theorem 1.
[Figure]
[Table] [Table]
[Table]
. 256, ReLU, Stride= stride=2, dropout2d=0.
5 × 5 deconv.
128, ReLU, Stride= 3 × 3 conv.
128, Leaky ReLU, Weight norm 5 × 5 deconv.
3, Tanh, Stride= 3 × 3 conv.
128, Leaky ReLU, Weight norm 3 × 3 conv.
128, Leaky ReLU, Weight norm stride=2, dropout2d=0.
3 × 3 conv.
128, Leaky ReLU, Weight norm 1 × 1 conv. 128, Leaky ReLU, Weight norm 1 × 1 conv.
128, Leaky ReLU, Weight norm
MLP 10 units, Linear, Weight norm
Batch size
Number of
[Table]
Leaky ReLU slope 0.
Learning rate
[Table]
Optimizer
Adam ( β 1 = 0 . 0 , β 2 = 0 . 9 )
Sample revision steps
L =α in SSL α d = 10 , α c = 10 , α p =
[Table]