O N THE DIFFERENCE BETWEEN BUILDING AND EXTRACTING PATTERNS : A CAUSAL ANALYSIS OF DEEP GENERATIVE MODELS .
Anonymous authors
Paper under double-blind review
A BSTRACT
Generative models are important tools to capture and investigate the properties of complex empirical data.
Recent developments such as Generative Adversarial
Networks (GANs) and Variational Auto-Encoders (VAEs) use two very similar, but reverse , deep convolutional architectures, one to generate and one to extract information from data.
Does learning the parameters of both architectures obey the same rules?
We exploit the causality principle of independence of mechanisms to quantify how the weights of successive layers adapt to each other.
Using the recently introduced Spectral Independence Criterion we quantify the dependencies between the kernels of successive convolutional layers and show that those are more independent for the generative process than for information extraction, in line with results from the ﬁeld of causal inference.
In addition, our experiments on generation of human faces suggests that enforcing more independence between successive layers of generators may lead to better performance and modularity of these architectures.
I NTRODUCTION
Deep generative models have proven powerful in learning to design realistic images in a variety of complex domains (handwritten digits, human faces, interior scenes).
In particular, two approaches have recently emerged: Generative Adversarial Networks (GANs) (Goodfellow et al., 2014), which train an image generator by having it fool a discriminator that should tell apart real from artiﬁcially generated images; and Variational Autoencoders (VAEs) (Kingma & Welling, 2013; Rezende et al., 2014) which learn both a mapping from latent variables to the data (the decoder) and the converse mapping of the data to latent variables (the encoder), such that correspondences between latent variables and data features can be easily investigated.
Although these architecture have been lately the subject of extensive investigations, understanding why and how they work, and how they can be improved, remains elusive.
An interesting feature of GANs and VAEs is that they both involve the learning of two deep subnetworks.
These sub-networks have a ”mirrored” architecture, as they both consists in a hierarchy of convolutional layers, but information ﬂows in opposite ways: generators and decoders mapping to the data space, while discriminators and encoders extract information from the same space.
Interestingly, this difference could be framed in a causal perspective, with information ﬂowing in the causal direction from the putative causes of variations in the observed data, while extracting high level properties from observations would operate in the anti-causal direction.
Generative models in machine learning are usually not required to be causal, as modeling the data distribution is considered to be the goal to achieve.
However, the idea that a generative model able to capture the causal structure of the data by disentangling the contribution of independent factors should perform better has been suggested in the literature (Bengio et al., 2013a; Mathieu et al., 2016) and evidence supports that this can help the learning procedure (Bengio et al., 2013b).
Although many approaches have been implemented on speciﬁc examples, principles and automated ways of learning disentangled representation from data remains largely an open problem both for learning representations (targeting supervised learning applications) and for ﬁtting good generative models.
GANs have for example recently been a subject of intensive work in this direction, leading to algorithms disentangling high level properties of the data such as InfoGans (Chen et al., 2016) or conditional GANs (Mirza & Osindero, 2014).
However such models require supervision (e.g. feeding digit labels as additional inputs) to disentangle factors of interest.
We propose that the coupling between high dimensional parameters can be quantiﬁed and exploited in a causal framework to infer whether the model correctly disentangles independent aspects of the deep generative model.
This hypothesis relies on recent work exploiting the postulate of Independence of Cause and Mechanism stating that Nature chooses independently the properties of a cause and those of the mechanism that generate effects from the cause (Janzing & Sch¨olkopf, 2010;
Lemeire & Janzing, 2012).
Several methods relying on this principle have been proposed in the literature in association to different model classes (Janzing et al., 2010; Zscheischler et al., 2011;
Daniusis et al., 2010; Janzing et al., 2012; Shajarisales et al., 2015; Sgouritsa et al., 2015; Sch¨olkopf et al., 2012).
Among these methods, the Spectral Independence Criterion (SIC) (Shajarisales et al., 2015) can be used in the context of linear dynamical systems, which involve a convolution mechanism.
In this paper, we show how SIC can be adapted to investigate the coupling between the parameters of successive convolutional layers.
Empirical investigation shows that SIC is approximately valid between successive layers of generative models, and suggest SIC violations indicate deﬁciencies in the learning algorithm or the architecture of the network.
Interestingly, and in line with theoretical predictions (Shajarisales et al., 2015), SIC tends to be more satisﬁed for generative sub-networks (mapping latent variables to data), than for the part of the system that map the anti-causal direction (data to latent variables).
Overall, our study suggests that enforcing Independence of Mechanisms can help design better generative models.
B ACKGROUND 2. W HY A CAUSAL PERSPECTIVE ?
An insightful description of causal model is based on Structural Equations (SEs) of the form
[Equation]
The right hand side variable in this equation may or may not be random, and the additional independent noise term (cid:15) representing exogenous effects (originating from outside the system under consideration) may be absent.
The := sign indicates the asymmetry of this expression and signiﬁes that the left-hand-side variable is computed from the right-hand-side expression but not the opposite.
This expression stays valid if something selectively changes on the right hand side variables, for example if the value of X 1 is externally forced to stay constant (hard intervention) or if the shape of f or of an input distribution changes (soft intervention).
These properties account for the robustness or invariance that is expected from causal models with respect to purely probalistic ones.
Assume now X 1 itself is determined by other variables according to
[Equation]
then the resulting structural causal model summarized by this system of equations also implies a modularity assumption: one can intervene on the second equation while the ﬁrst one stays valid, baring the changes in the distribution of X 1 entailed by the intervention.
This structural equation framework describes well what would be expected from a robust generative model.
Assume the model generates faces, one would like to be able to intervene on e.g. the pose without changing the rest of the top-level parameters (hair color,...), and still be able to observe a realistic output.
One could also expect intervening on speciﬁc operations performed at intermediate levels by keeping the output ”qualitatively” of the same nature.
For example, we can imagine that by slightly modifying the mapping that positions the eyes with respect to the nose on a face, one generates different heads that do not match exactly human standards, but are human-like.
What we would not want is instead to see artifacts emerging all over the generated image, or edges being blurred.
2. T HE PRINCIPLE OF INDEPENDENCE OF MECHANISMS
Assume we have two variables X and Y , possibly multidimensional and neither necessarily from a vector space, nor necessary random.
Assume the data generating mechanism obeys the following structural equation:
[Equation]
with m the mechanism, X the cause and Y the effect.
We rely on the postulate that properties of
X and m are “independent” in a sense that can be formalized in various ways (Peters et al., 2017).
The present analysis will be based on a formalization explained below.
Classical Independence of Cause and Mechanism(ICM)-based methods address the problem of cause-effect pair inference, where both directions of causation are plausible.
They then take advantage of speciﬁc settings for which it is possible to prove that if the assumption is valid for the true generative model, the converse independence assumption is very likely violated (with high probability) for the anticausal or backward model
[Equation]
(independence is then computed between m − 1 and Y ).
As a consequence, the true causal direction can be identiﬁed by evaluating the independence assumptions of both models and pick the direction for which independence is the most likely.
2. S PECTRAL I NDEPENDENCE
We introduce a speciﬁc formalization of independence of mechanisms that is well suited to study convolutional layers of neural network.
This relies on representing signals or images in the Fourier domain.
2.3. B ACKGROUND ON DISCRETE SIGNALS AND IMAGES
The Discrete-time Fourier Transform (DTFT) of a sequence a = { a [ k ] , k ∈ Z } is deﬁned as
[Equation]
Note that the DTFT of such sequence is a continuous 1-periodic function of the normalized frequency ν .
By Parseval’s theorem, the energy can be expressed in the Fourier domain by (cid:107) a (cid:107) 22 = (cid:82) 1 / 2 − 1 / 2 | (cid:98) a ( ν ) | 2 dν .
To simplify notations, we will denote by (cid:104) .
(cid:105)
the integral (or average) of a function over the unit interval I , that is, (cid:107)
[Equation]
The Fourier transform can be easily generalized to 2D signals, leading to a 2D function 1-periodic with respect to both arguments
[Equation]
[Equation]
SIC POSTULATE
Assume now that our cause-effect pairs X and Y are weakly stationary time series.
This means that the power of these signals can be decomposed in the frequency domain using their Power Spectral
Densities (PSD) S
x ( ν ) and S y ( ν ) .
We assume that Y is the output of a Linear Time (translation)
Invariant Filter with convolution kernel
h receiving input X such that
[Equation]
In that case input and output PSDs are related by the formula S y ( ν ) =
| (cid:98)
h
( ν ) |
2 S x ( ν ) for all frequencies ν .
The Spectral Independence Postulate consists then in assuming that the power ampliﬁcation of the ﬁlter at each frequency does not adapt to the input power spectrum, i.e. the ﬁlter will not tend to selectively amplify or attenuate the frequencies with particularly large or low power.
This can be translated into the fact that output power factorizes in the product of input power times the energy of the ﬁlter, leads to the postulate (Shajarisales et al., 2015):
Postulate 1 (Spectral Independence Criterion (SIC)) .
Let S x be the Power Spectral Density (PSD) of a cause X and h the system impulse response of the causal system of (1), then
[Equation]
holds approximately.
It can be shown that (2) is violated in the backward direction under mild assumptions when the ﬁlter is invertible.
We can deﬁne a scale invariant quantity ρ SIC measuring the departure from the SIC assumption, i.e. the dependence between input power spectrum and frequency response of the ﬁlter: the Spectral Dependency Ratio (SDR) from X to Y is deﬁned as
[Equation]
3) where (cid:104) .
(cid:105) denotes the integral over the unit frequency interval.
The values of this ratio can be interpreted as follows:
ρ SIC ≈ 1 reﬂects spectral independence, while ρ SIC > 1 reﬂects a correlation between the input power and frequency response of the ﬁlter (the ﬁlter selectively ampliﬁes input frequency peaks of large power, leading to anomalously large output power),
conversely ρ SIC <reﬂect anticorrelation between these quantities.
We will use these terms to analyze our experimental results.
In addition (Shajarisales et al., 2015) also derived theoretical results suggesting that if ρ SIC ≈ 1 for an invertible causal system, then ρ SIC < 1 in the anticausal direction.
These interpretations of SDR values are summarized in Fig.
3b, which can be use to understand experimental results.
I NDEPENDENCE OF MECHANISMS IN DEEP NETWORKS
We now introduce our causal reasoning in the context of deep convolutional networks, where the output of successive layers are often interpreted as different levels of representations of an image, from detailed low level features to abstract concepts.
We thus investigate whether a form of modularity between successive layer can be identiﬁed using the above framework.
3. S TRIDED CONVOLUTION UNITS AND INDEPENDENCE BETWEEN SCALES
DCGANs have successfully exploited the idea of convolutional networks to generate realistic images (Radford et al., 2015).
While strided convolutional units are used as pattern detectors in deep convolutional classiﬁers, they obviously play a different role in generative models: they are pattern producers.
We provide in Fig.
1 (left) a toy example to explain their potential ability to generate independent features at multiple scales.
On the picture the activation of one channel at the top layer (top left) may encode the (coarse) position of the pair of eyes in the image.
After convolution by a ﬁrst kernel, activations in a second layer indicate the location of each eye.
Finally, a kernel encoding the shape of the eye convolves this input to generate an image that combines the three types of information, distributed over three different spatial scales.
What we mean by assuming independence of the features encoded at different scales can be phrased as follows: there should be typically no strong relationship between the shape of patterns encoding a given object at successive scales.
Although counter examples may be found, we postulate that a form of independence may hold approximately, for naturalistic images that possess a large number of different multiscale features.
A case where this assumption may be violated for a deep network is given in Fig.
1, where a long edge in the image cannot be captured by a single convolution kernel (because of the kernel size limitation to 3 by 3 in this case).
Hence, an identical kernel needs to be learned at an upper layer in order to control the precise alignment of activations in the bottom layer.
Any misalignment between the orientation of the kernels would lead to a very different pattern, and witness that information in the two successive layers is entangled.
3. SIC BETWEEN SUCCESSIVE ( DE ) CONVOLUTIONAL UNITS
To connect dependency between convolutional units to SIC, that is intuitively to this context, we must take into account two things: the striding adds spacing between input pixels in order to progressively increase the dimension and resolution of the image from one layer to the next, and there is a non-linearity between successive layers.
Striding can be easily modeled as it amounts to upsampling the input image before convolution (see illustration Fig. 1).
We denote .
↑ s the upsampling operation with integer factor 1 s that turns the 2D tensor x into x ↑ s [ k, l ] = (cid:26) x
[ k/s, l/s ] , k and l multiple of s otherwise.
[Figure]
Interestingly, the deﬁnition implies that striding amounts to a compression of the normalized frequency axis in the Fourier domain with (cid:99) x ↑ s ( u, v ) =
ˆ x ( su, sv ) .
Next, the non-linear activation between successive layers is more challenging to study.
We will thus make the simplifying assumption that rectiﬁed linear Units are used (ReLU), such that a pixel is either linearly dependent on small variations of its synaptic inputs, or the pixel is not active at all.
We then follow the idea that ReLU activations may be used as a switch that controls the ﬂow of relevant information in the network (Tsai et al., 2016; Choi & Kim, 2017). .
Hence, for convolution kernels in successive layers that encode different aspects of the same object, we make the assumption that their corresponding outputs will be frequently coactivated, such that the linearity assumption may hold.
If pairs of kernels are not frequently coactivated, this suggests that they do not encode the same object and it is thus unlikely that their weights would be dependent.
We thus write down the mathematical expression for the application of two successive deconvolutional units to a given input tensor using linearity assumptions leading to y =
g ∗ x ↑ s = g ∗ ( h ∗ z ) ↑ s .
In the Fourier domain, this implies
[Equation]
In order to have a criterion independent from the incoming data, we assume the input z has no spatial structure (e.g. z is sampled from a white noise), and thus its power is uniformly distributed across spatial frequencies (the PSD is ﬂat).
Then the spatial properties of x are entirely determined by h and the SIC criterion of equation 2 writes
[Equation]
by denoting the double integral by angular brackets.
We can write down an updated version of the
SDR in equation 3 corresponding to testing SIC between a cascade of two ﬁlter (each taken from one of two successive layers) as
[Equation]
which we will evaluate in the experiments.
[Figure]
[Equation]
[Figure]
Inverse (anti
[Figure]
causal)
[Figure]
Generative (causal) model
[Figure]
[Equation]
[Figure]
Illustration of the multiple combination of convolution kernels
E XPERIMENTS
We used a version of the DCGANs pretrained on the CelebFaces Attributes Dataset (CelebA) 2 .
The structures of the generator and discriminator are summarized in Fig.
2 and contains 4 convolutional layers.
We also performed experiments with a plain VAEs 3 with a similar convolutional architecture.
Each layer uses 4 pixels wide convolution kernels for the GAN, and 5 pixels wide for the VAE.
In all cases, layers are enumerated following the direction of information ﬂow during test.
We will talk about coarse scale for layers that a far from the image, and ﬁne scale for the ones that are close to it in the hierarchy.
4. SIC BETWEEN SUCCESSIVE DECONVOLUTIONAL UNITS
We ﬁrst illustrate the theory by showing in Fig. 3a an example of two deconvolution kernels between successive layers (1 and 2).
It shows a slight anti-correlation between the absolute values of the Fourier transforms of both kernels, resulting I a SDR of .88.
One can notice the effect of kernels g (upper layer) and h (lower layer) on the resulting convolved kernel in the Fourier domain: the kernel from the upper layer tends to modulate the fast variations of g ∗ h in the Fourier domain, while h affects the ‘slow’ variations.
This is a consequence of the design of the strided fractional convolution, which has for consequence to foster a decoupling between the kernel parameters of each layers.
We use this approach to characterize the amount of dependency between successive layers by plotting the histogram of the SDR that we get for all possible combination of kernels belonging to each layer, which involve computing it across all possible pathways between input and output channels,
[Figure]
[Figure] [Figure]
as described in Fig.
3c.
The result is shown in Fig.
4, witnessing a rather good concentration of the SDR around 1, which suggest are rather good independence of the convolution kernels between successive layers.
It is interesting to compare these histograms to the values computed for the discriminator of the GAN, which implements convolutional layers of the same dimensions in reverse order.
The result also shown in Fig.
4 exhibits a broader distribution of the SDR, especially for layers encoding lower level image features.
This is in line with the ICM principle, as the discriminator is operating in the anticausal direction.
However, the difference between the generator and discriminator is not strong, suggesting that ICM might be improved for the generator, possibly leading to better quality images.
In addition, the weak difference between causal and anti-causal direction may also be due to the fact that the discriminator does not implement an inversion of the putative causal model, but only extract relevant latent information for discrimination.
In order to check our method on a generative model including a network mapping back the input to latent variable, we applied it to a trained VAE.
The results presented in Fig.
5 show much sharper differences between generator (decoder) and encoder.
The shape of the histograms are matching prediction from (Shajarisales et al., 2015) shown in Fig.
3b.
The difference with GANs can be explained by the fact that VAEs are indeed performing an invertion of the generative model, leading to very small SDR values in the anticausal direction.
We also note overall a much broder distribution of VAE SDRs in the causal direction (decoder).
Interestingly, the training of the VAE did not lead to values as satisfactory are what we obtained with the GAN.
Examples generated from the VAE are shown in appendix (Fig.
This suggests that dependence between cause and mechanism may reﬂect a suboptimal performance of the generator.
4. R EMOVING CORRELATED UNITS
We saw in the above histograms that while many successive convolutional unit had a SDR close to one, there are tails composed of units exhibiting either a ratio inferior to one (reﬂecting negative correlation between the Fourier transform of the corresponding kernels) or a ratio larger than one (reﬂecting positive correlation).
Interestingly, if we superimpose the histograms (see Fig. 4) of the lower level layer of the generator and discriminator networks, we see that these tails are quite different between networks, showing more negative correlations for the discriminative networks, while the positive correlation tail of the generative networks remains rather strong.
This suggests
[Figure]
that negative and positive correlation are qualitatively different phenomena, in line with our analysis of the matrix factorization algorithms.
In order to investigate the nature of ﬁlters exhibiting different signs of correlation, we selectively removed ﬁlters of the third layer of the generator (the last but one), based on the magnitude (above or below one) of the average SDR that each ﬁlter achieved when combined with any of the ﬁlters in the last layer.
In order to check that our results were not inﬂuenced by ﬁlters with very small weights (that still can exhibit correlations), we zeroed the ﬁlters having the kernels with the smallest energy, while maintaining an acceptable quality of the output of the network (see Fig.
6 second column).
This removed around half of the ﬁlters of the third layer.
Then we remove additional ﬁlters exhibiting either large or small (anti-correlated) generic ratio, such that the same proportion of ﬁlters is removed (see Fig.
6 third and fourth column).
It appears clearly from this result that ﬁlters exhibiting large positive or negative correlation do not play the same role in the network.
From the quality of the generated images, ﬁlters from the third layer negatively correlated to ﬁlters from the fourth seem allow correction of checkerboard artifacts, potentially generated as side effect of the fractional strided convolution mechanisms 4 .
Despite a decrease in texture quality, the removal of such weight does not distinctively affect an informative aspect of the generated images.
Conversely, removing positively correlated ﬁlters lead to a disappearance of the color information in a majority of the regions of the image.
This suggests that such ﬁlters do encode the color structure of images, and the introduced positive correlation between the ﬁlters from the third and fourth layer may result from the fact that uniform color patches corresponding to speciﬁc parts of the image (hair, skin) need a tight coordination of the ﬁlters at several scales of the image in order to produce large uniform areas with sharp border.
D ISCUSSION
In this work, we derive a measure of independence between the weights learned by convolutional layers of deep networks.
The results suggests, as predicted in many cases in the ﬁeld of causal inference, that generative models that map latent variables to data tend to have more independence between successive layers than discriminative or encoding networks.
This suggests that enforcing independence during training may help build better generative models.
Moreover, it also indicates on which layers should be modiﬁed to improve the performance.
Finally, we speculate that independence between successive layers, by favoring modularity of the network, may help build architecture that can be easily adapted to new purposed.
In particular, separation of spatial scales in such model may help build architectures where on can intervene on one scale without affecting others, with applications such as style transfer Gatys et al.
One speciﬁc feature of our approach is that this quantitative measure of the networks in not statistical and as such does not require test samples to be computed.
Only the parameters of the model are used, which makes the approach easy to apply to any neural network equipped with convolutional layers.