Abstract
Autoregressive generative models of images tend to be biased towardscapturing local structure, and as a result they often produce samples which arelacking in terms of largescale coherence. To address this, we propose twomethods to learn discrete representations of images which abstract away localdetail. We show that autoregressive models conditioned on these representationscan produce highfidelity reconstructions of images, and that we can trainautoregressive priors on these representations that produce samples withlargescale coherence. We can recursively apply the learning procedure,yielding a hierarchy of progressively more abstract image representations. Wetrain hierarchical classconditional autoregressive models on the ImageNetdataset and demonstrate that they are able to generate realistic images atresolutions of 128$\times$128 and 256$\times$256 pixels. We also perform ahuman evaluation study comparing our models with both adversarial andlikelihoodbased stateoftheart generative models.
Quick Read (beta)
Hierarchical Autoregressive Image Models
with Auxiliary Decoders
Abstract
Autoregressive generative models of images tend to be biased towards capturing local structure, and as a result they often produce samples which are lacking in terms of largescale coherence. To address this, we propose two methods to learn discrete representations of images which abstract away local detail. We show that autoregressive models conditioned on these representations can produce highfidelity reconstructions of images, and that we can train autoregressive priors on these representations that produce samples with largescale coherence. We can recursively apply the learning procedure, yielding a hierarchy of progressively more abstract image representations. We train hierarchical classconditional autoregressive models on the ImageNet dataset and demonstrate that they are able to generate realistic images at resolutions of 128$\times $128 and 256$\times $256 pixels. We also perform a human evaluation study comparing our models with both adversarial and likelihoodbased stateoftheart generative models.
Hierarchical Autoregressive Image Models
with Auxiliary Decoders
Jeffrey De Fauw^{*} Sander Dieleman^{*} Karen Simonyan ^{*}Equal contribution DeepMind, London, UK {defauw,sedielem,simonyan}@google.com
noticebox[b]Preprint. Under review.\[email protected]
1 Introduction
Generative models can be used to model the distribution of natural images. With enough capacity, they are then capable of producing new images from this distribution, which enables the creation of new naturallooking images from scratch. These models can also be conditioned on various annotations associated with the images (e.g. class labels), allowing for some control over the generated output.
In recent years, adversarial learning has proved a powerful tool to create such models NIPS2014_5423; radford2015unsupervised; karras2018progressive; brock2018large; nvidiastyle. An alternative approach is to specify a model in the form of the joint distribution across all pixels, and train the model on a set of images by maximising their likelihood under this distribution (or a lower bound on this likelihood). Several families of models fit into this likelihoodbased paradigm, including variational autoencoders (VAEs) KingmaW13; pmlrv32rezende14, flowbased models DBLP:journals/corr/DinhKB14; 45819; NIPS2018_8224 and autoregressive models NIPS2015_5637; pmlrv48oord16; NIPS2016_6527.
Likelihoodbased models currently lag behind their adversarial counterparts in terms of the visual fidelity and the resolution of their samples. However, adversarial models are known to drop modes of the distribution, something which likelihoodbased models are inherently unlikely to do. Within the likelihoodbased model paradigm, autoregressive models such as PixelCNN tend to be the best at capturing textures and details in images, because they make no independence assumptions and they are able to use their capacity efficiently through spatial parameter sharing. They also achieve the best likelihoods. We describe PixelCNN in more detail in Section 2.
However, autoregressive models are markedly worse at capturing structure at larger scales, and as a result they tend to produce samples that are lacking in terms of largescale coherence (see appendix for a demonstration). This can be partially attributed to the inductive bias embedded in their architecture, but it is also a consequence of the likelihood loss function, which rewards capturing local correlations much more generously than capturing longrange structure. As far as the human visual system is concerned, the latter is arguably much more important to get right, and this is where adversarial models currently have a substantial advantage.
To make autoregressive models pay more attention to largescale structure, an effective strategy is to remove local detail from the input representation altogether. A simple way to do this for images is by reducing their bitdepth NIPS2018_8224; menick2018generating. An alternative approach is to learn new input representations that abstract away local detail, by training encoder models. We can then train autoregressive models of the image pixels conditioned on these representations, as well as autoregressive priors for these representations, effectively splitting the task into two separate stages NIPS2017_7210. We can extend this approach further by stacking encoder models, yielding a hierarchy of progressively more highlevel representations NIPS2018_8023, as shown in Figure 2. This way, we can explicitly assign model capacity to different scales of structure in the images, and turn the bias these models have towards capturing local structure into an advantage. Pseudocode for the full training and sampling procedures is provided in the appendix.
Learning representations that remove local detail while preserving enough information to enable a conditional autoregressive model to produce highfidelity pixellevel reconstructions is a nontrivial task. A natural way to do this would be to turn the conditional model into an autoencoder, so that the representations and the reconstruction model can be learnt jointly. However, this approach is fraught with problems, as we will discuss in Section 3.
Instead, we propose two alternative strategies based on auxiliary decoders, which are particularly suitable for hierarchical models: we use feedforward (i.e. nonautoregressive) decoders or masked selfprediction (MSP) to train the encoders. Both techniques are described in Section 4. We show that the produced representations allow us to construct hierarchical models trained using only likelihood losses that successfully produce samples with largescale coherence. Bringing the capabilities of likelihoodbased models up to par with those of their adversarial counterparts in terms of scale and fidelity is important, because this allows us to sidestep any issues stemming from mode dropping and exert more control over the mapping between model capacity and image structure at different scales.
We make the representations learnt by the encoders discrete by inserting vector quantisation (VQ) bottlenecks NIPS2017_7210. This bounds the information content of the representations, and it enables more efficient and stable training of autoregressive priors pmlrv48oord16. In addition, models with VQ bottlenecks do not suffer from posterior collapse DBLP:conf/conll/BowmanVVDJB16, unlike regular VAEs. Because of their discrete nature, we will also refer to the learnt representations as codes. We cover VQ bottlenecks in neural networks in more detail in Section 2. We also include a downsampling operation in the encoders so that higherlevel codes have a lower spatial resolution.
The contributions of this work are threefold: we study the problems associated with endtoend training of autoencoders with autoregressive decoders. We also propose two alternative strategies for training such models using auxiliary decoders: feedforward decoding and masked selfprediction (MSP). Finally, we construct hierarchical likelihoodbased models that produce highfidelity and highresolution samples (128$\times $128 and 256$\times $256) which exhibit largescale coherence. Selected samples are shown in Figure 1.
2 Background
We will use PixelCNN as the main building block for hierarchical image models. We will also insert vector quantisation bottlenecks in the encoders to enable them to produce discrete representations. We briefly describe both of these components below and refer to pmlrv48oord16; NIPS2016_6527; NIPS2017_7210 for a more detailed overview.
2.1 PixelCNN
PixelCNN is an autoregressive model: it assumes an arbitrary ordering of the pixels and colour channels of an image, and then models the distribution of each intensity value in the resulting sequence conditioned on the previous values. In practice, the intensities are typically flattened into a sequence in ‘raster scan’ order: from top to bottom, then from left to right, and then according to red, green and blue intensities. Let ${x}_{i}$ be the intensity value at position $i$ in this sequence. Then the density across all intensity values is factorised into a product of conditionals: $$. PixelCNN models each of these conditionals with the same convolutional neural network, using weight masking to ensure that each value in the sequence depends only on the values before it.
2.2 Vector quantisation
Vector quantisation variational autoencoders (VQVAE) use a vector quantisation (VQ) bottleneck to learn discrete representations. The encoder produces a continuous $d$dimensional vector $\mathbf{z}$, which is then quantised to one of $k$ possible vectors from a codebook. This codebook is learnt jointly with the other model parameters. The quantisation operation is nondifferentiable, so gradients are backpropagated through it using straightthrough estimation bengio2013estimating. In practice, this means that they are backpropagated into the encoder as if the quantisation operation were absent, which implies that the encoder receives approximate gradients.
The model is trained using the loss function $\mathcal{L}=\mathrm{log}p(\mathbf{x}{\mathbf{z}}^{\prime})+{({\mathbf{z}}^{\prime}[\mathbf{z}])}^{2}+\beta \cdot {([{\mathbf{z}}^{\prime}]\mathbf{z})}^{2}$, where $\mathbf{x}$ is the input, $\mathbf{z}$ is the output of the encoder and ${\mathbf{z}}^{\prime}$ is the quantised output. $\beta $ is a hyperparameter and square brackets indicate that the contained expressions are treated as constant w.r.t. differentiation^{1}^{1} 1 $[x]$ is like tf.stop_gradient(x) in TensorFlow.. The three terms correspond to the reconstruction loglikelihood, the codebook loss and the commitment loss respectively. Instead of optimising all terms using gradient descent, we use an alternative learning rule for the codebook using an exponentially smoothed version of Kmeans, which replaces the codebook loss and which is described in the appendix of NIPS2017_7210. Although this approach was introduced in the context of autoencoders, VQ bottlenecks can be inserted in any differentiable model, and we will make use of that fact in Section 4.2.
3 Challenges of autoregressive autoencoding
Autoregressive autoencoders are autoencoders with autoregressive decoders. Their appeal lies in the combination of two modelling strategies: using latent variables to capture global structure, and autoregressive modelling to fill in local detail. This idea has been explored extensively in literature NIPS2016_6527; gulrajani+al2016pixelvae; DBLP:journals/corr/ChenKSDDSSA16; NIPS2017_7210; DBLP:conf/icml/EngelRRDNES17; NIPS2018_8023.
During training, autoregressive models learn to predict one step ahead given the ground truth. This is often referred to as teacher forcing williams:recurrent. However, when we sample from a trained model, we use previous predictions as the model input instead of ground truth. This leads to a discrepancy between the training and inference procedures: in the latter case, prediction errors can accumulate. Unfortunately, autoregressive autoencoders can exhibit several different pathologies, especially when the latent representation has the same spatial structure as the input (i.e., there is a spatial map of latents, not a single latent vector). Most of these stem from an incompatibility between teacher forcing and the autoencoder paradigm:

•
When the loss actively discourages the use of the latent representation to encode information (like the KL term does in VAEs), the decoder will learn to ignore it and use only the autoregressive connections. This phenomenon is known as posterior collapse DBLP:conf/conll/BowmanVVDJB16.

•
On the other hand, when the latent representation has high information capacity, there is no incentive for the model to learn to use the autoregressive connections in the decoder.

•
The encoder is encouraged to preserve in the latent representations any noise that is present in the input, as the autoregressive decoder cannot accurately predict it from the preceding pixels. This is counter to the intuition that the latent representations should capture highlevel information, rather than local noise. This effect is exacerbated by teacher forcing which, during training, enables the decoder to make very good nextstep predictions in the absence of noise. When noise is present, there will be a very large incentive for the model to store this information in the codes.

•
The encoder is encouraged to ignore slowly varying aspects of the input that are very predictable from local information, because the ground truth input is always available to the autoregressive decoder during training. This affects colour information in images, for example: it is poorly preserved when sampling image reconstructions, as during inference the sampled intensities will quickly deviate slightly from their original values, which then recursively affects the colour of subsequent pixels. This is demonstrated in Figure 3.
Workarounds to these issues include strongly limiting the capacity of the representation (e.g. by reducing its spatial resolution, using a latent vector without spatial structure, inserting a VQ bottleneck and/or introducing architectural constraints in the encoder) or limiting the receptive field of the decoder gulrajani+al2016pixelvae; NIPS2017_7210; NIPS2018_8023. Unfortunately, this limits the flexibility of the models. Instead, we will try to address these issues more directly by decoupling representation learning from autoregressive decoder training.
4 Auxiliary decoders
To address the issues associated with jointly training encoders and autoregressive decoders, we introduce auxiliary decoders: separate decoder models which are only used to provide a learning signal to the encoders. Once an encoder has been trained this way, we can discard the auxiliary decoder and replace it with a separately trained autoregressive decoder conditioned on the encoder representations. The autoregressive decoder consists of a local model (PixelCNN) and a modulator which maps the encoder representations to a set of biases for each layer of the local model. This separation allows us to design alternative decoders with architectures and loss functions that are tuned for feature learning rather than for reconstruction quality alone.
Although the encoder and decoder are trained using different loss functions, it is still convenient to train them simultaneously, taking care not to backpropagate the autoregressive decoder loss to the encoder. Otherwise, multiple networks would have to be trained in sequence for each level in the hierarchy. We use simultaneous training in all of our experiments. This has a negligible effect on the quality of the reconstructions.
4.1 Feedforward decoders
The most straightforward form the auxiliary decoder can take is that of a feedforward model that tries to reconstruct the input. Even though the task of both decoders is then the same, the feedforward architecture shapes what kinds of information the auxiliary decoder is able to capture. Because such a decoder does not require teacher forcing during training, the issues discussed in Section 3 no longer occur.
When trained on RGB images, we can treat the pixel intensities as continuous and use the mean squared error (MSE) loss for training. For other types of inputs, such as codes produced by another encoder, we can use the same multinomial loglikelihood that is typically used for autoregressive models. Using the MSE would not make sense as the discrete codes are not ordinal and cannot be treated as continuous values. Figure 4 (left) shows a diagram of an autoregressive autoencoder with an auxiliary feedforward decoder.
A significant benefit of this approach is its simplicity: we do not stray too far from the original autoencoder paradigm because the model is still trained using a reconstruction loss. However, an important drawback is that the reconstruction task still encourages the model to capture as much information as possible in the codes, even unimportant details that would be easy for the autoregressive decoder to fill in. It affords relatively little control over the nature and the quantity of information captured in the codes.
4.2 Masked selfprediction decoders
Models with feedforward decoders are encouraged to encode as much information as possible in the codes to help the decoders produce detailed reconstructions. As a result, the codes may not be very compressible (see Section 7.1), which makes stacking multiple encoders to create a hierarchy quite challenging. Instead of optimising the auxiliary decoder for reconstruction, we can train it to do selfprediction: predict the distribution of a pixel given the surrounding pixels. By masking out some region of the input around the pixel to be predicted, we can prevent the decoder from using strong local correlations, and force it to rely on weaker longrange dependencies instead. As a result, the produced codes will be much more compressible because they only contain information about longerrange correlations in the input. The local detail omitted from these representations can later be filled in by the autoregressive decoder.
In practice, masked selfprediction (MSP) entails masking some square region of the input and predicting the middle pixel of this region. If the region is 7$\times $7 pixels large, for example, the model can only rely on correlations between pixels that are at least 4 positions away for its prediction. In the presence of noise or other unpredictable local detail (such as textures), the MSP model will be uncertain about its predictions and produce a distribution across all possibilities. The encoder representation will then capture this uncertainty, rather than trying to encode the exact pixel values.
Given an input $\mathbf{x}$, a pixel position $(i,j)$ and an offset $s$ (corresponding to a mask size of $2s+1$), the MSP objective is to maximise $\mathrm{log}p({x}_{ij}\mathbf{x}\cdot \mathbf{m})$, where the input mask $\mathbf{m}$ is given by:
$${m}_{kl}=\{\begin{array}{cc}0\text{if}is\le k\le i+s,js\le l\le j+s\hfill & \\ 1\text{otherwise}\hfill & \end{array}.$$  (1) 
In practice, we can select multiple pixel positions per input to make training more sampleefficient, but the total number of positions should be limited because too much of the input could be masked out otherwise.
Because this approach requires input masking, we would have to run a forward pass through the encoder with a different mask for each spatial position if we wanted to compute representations for the entire input. This is computationally prohibitive, so instead, we use distillation 44873 to obtain an encoder model that does not require its input to be masked. We train a teacher model with masked input (a simple feedforward network), and simultaneously distill its predictions for the selected pixel positions into a student model with unmasked input and a vector quantisation bottleneck. Because it is convolutional, this student model will learn to produce valid representations for all spatial positions, even though it is only trained on a subset of spatial positions for each input. Representations for an input can then be computed in a single forward pass. The full setup is visualised in Figure 4 (right) and described in pseudocode in the appendix.
5 Related work
Recent work on scaling generative models of images to larger resolutions has been focused chiefly on adversarial models. karras2018progressive; nvidiastyle trained generative adversarial networks (GANs) that can generate various scenes and human faces at resolutions of 256$\times $256 and higher (up to 1 megapixel for the latter). brock2018large generate 512$\times $512 images for each of the 1000 classes in the ImageNet dataset, all with the same GAN model.
DBLP:conf/icml/ReedOKCWCBF17 train a multiscale autoregressive model which gradually upsamples images, starting from 4$\times $4 pixels, and makes some independence assumptions in the process. Conditioned on textual captions and spatial keypoints, the model is capable of producing realistic 256$\times $256 images of birds. Although using lowresolution images as representations that abstract away local detail is appealing, this necessarily removes any highfrequency information. Learning these representations instead is more flexible and allows for capturing highfrequency structure.
menick2018generating train a variant of PixelCNN dubbed ‘subscale pixel network’ (SPN), which uses a different, hierarchical ordering of the pixels rather than the raster scan order to factorise the joint distribution into conditionals. Their best models consist of two separate SPNs, where one models only the 3 most significant bits of the intensity values at a lower resolution, and another conditionally fills in the remaining information. Trained on the ImageNet dataset, this model is able to generate visually compelling unconditional samples at 128$\times $128 resolution.
The idea of sequential, separate training of levels in a hierarchy dates back to the early days of deep learning NIPS2006_3048; Hinton:2006:FLA:1161603.1161605; vincent2010stacked. NIPS2018_8023 train a hierarchical autoregressive model of musical audio signals by stacking autoregressive discrete autoencoders. However, the autoencoders are trained endtoend, which makes them prone to the issues described in Section 3. Training the second level autoencoder is cumbersome, requiring expensive populationbased training DBLP:journals/corr/abs171109846 or alternative quantisation strategies to succeed. Applied to images, it leads to colour information being ignored.
zforcing use an auxiliary reconstruction loss to avoid posterior collapse in recurrent models. Masked selfprediction is closely related to representation learning methods such as context prediction doersch2015unsupervised and context encoders pathak2016context, which also rely on predicting pixels from other nearby pixels. Contrastive predictive coding oord2018representation on the other hand relies on prediction in the feature domain to extract structure that varies predictably across longer ranges. Although the motivation behind approaches such as these is usually to extract highlevel, semantically meaningful features, our goal is different: we want to remove some of the local detail to make the task of modelling largescale structure easier. We achieve this by predicting only the middle pixel of the maskedout region, which is the main difference compared to previous work. Our representations also need to balance abstraction with reconstruction, so they need to retain enough information from the input.
Context prediction is also a popular representation learning approach in natural language processing, with wellknown examples such as word2vec NIPS2013_5021, ELMo N181202 and BERT DBLP:journals/corr/abs181004805. Other related work includes PixelNet PixelNet, which uses loss functions defined on subsets of image pixels (much like MSP) to tackle dense prediction tasks such as edge detection and semantic segmentation.
In concurrent work, vqvae2 present a hierarchical generative model of images based on a multiscale VQVAE model combined with one or more autoregressive priors. All levels of latent representations depend directly on the pixels and differ only in their spatial resolution. The pixellevel decoder of this model is feedforward rather than autoregressive, which enables faster sampling but also results in some degree of blurriness. While this can be an acceptable tradeoff for image modelling, accurately capturing highfrequency structure may be important for other data modalities.
6 Evaluation
Likelihoodbased models can typically be evaluated simply by measuring the likelihood in the pixel domain on a heldout set of images. With the hierarchical approach, however, different parts of the model are trained using likelihoods measured in different feature spaces, so they are not directly comparable. For a given image, we can measure the likelihood in the feature space modelled by the prior, as well as conditional likelihoods in the domains modelled by each autoregressive decoder, and use these to calculate a joint likelihood across all levels of the model. We can use this as a lower bound for the marginal likelihood (see appendix), but in practice it is dominated by the conditional likelihood of the pixellevel decoder, so it is not particularly informative. Although we report this bound for some models, we stress that likelihoods measured in the pixel domain are not suitable for measuring whether a model captures largescale structure Theis2016a – indeed, this is the primary motivation behind our hierarchical approach.
Implicit generative models such as GANs (for which computing likelihoods is intractable) are commonly evaluated using metrics that incorporate pretrained discriminative models, such as the Inception Score (IS) salimans2016improved and the Fréchet Inception Distance (FID) heusel2017gans. Both require a large number of samples, so they are expensive to compute. Nevertheless, sampling from our models is fast enough for this to be tractable (see appendix). These metrics are not without problems however barratt2018note; binkowski2018demystifying, and it is unclear if they correlate well with human perception when used to evaluate nonadversarial generative models.
To complement these computational metrics, we also use human evaluation. We conduct two types of experiments to assess the realism of the generated images, and compare our results to state of the art models: we ask participants to rate individual images for realism on a scale of 1 to 5 and also to compare pairs of images and select the one which looks the most realistic. Note that these experiments are not suitable for assessing diversity, which is much harder to measure.
To allow for further inspection and evaluation, we have made samples for all classes that were used for evaluation available at https://bit.ly/2FJkvhJ. When generating samples, we can change the temperature of the multinomial distribution which we sequentially sample from for each channel and spatial position. We find that slightly reducing the temperature from the default of $1.0$ to $0.97$ or $0.98$ more consistently yields high quality samples.
7 Experiments and results
All experiments were performed on the ImageNet deng2009imagenet and Downsampled ImageNet imnet64x64 datasets, with full bitdepth RGB images (8 bits per channel)^{2}^{2} 2 We use the splits (training, validation and testing) as defined by the dataset creators.. For experiments on resolutions of 128$\times $128 and 256$\times $256, we rescale the shortest side of the image to the desired size and then randomly crop a square image during training (to preserve the aspect ratio). We also use random flipping and brightness, saturation and contrast changes to augment the training data 43022. For 64$\times $64 experiments, we use the images made available by pmlrv48oord16, without augmentation.
7.1 Auxiliary decoder design
As the auxiliary decoders are responsible for shaping the representations learnt by the encoders, their architecture can be varied to influence the information content. We use residual networks for both the encoders and auxiliary decoders He2016DeepRL and vary the number of layers. Each additional layer extends the receptive field of the decoder, which implies that a larger neighbourhood in the code space can affect any given spatial position in the output space. As a result, the information about each pixel is spread out across a larger neighbourhood in the code space, which allows for more efficient use of the discrete bottleneck.
To measure the effect this has on the compressibility of the codes, we first train some autoencoder models on 64$\times $64 colour images using a discrete bottleneck with a single 8bit channel (256 codes) and downsampling to 32$\times $32 using a strided convolutional layer. The codes are upsampled in the decoder using a subpixel convolutional layer DBLP:conf/cvpr/ShiCHTABRW16. We then train prior models and measure the validation negative loglikelihood (NLL) they achieve at the end of training. The priors are modestly sized PixelCNN models with 20 layers and 128 units per layer.
The results for both feedforward and MSP decoders (mask size 5$\times $5) are shown in Figure 5 (left). It is clear that the codes become less predictable as the receptive field of the auxiliary decoder increases. As expected, the MSP codes are also more predictable than the feedforward codes. The predictability of the feedforward codes seems to flatten out after about 8 decoder layers, while that of the MSP codes decreases more gradually.
For MSP decoders, we repeat this experiment fixing the number of layers to 2 and varying the mask size instead (Figure 5, right). As expected, increasing the mask size reduces the information content of the codes and makes them more predictable. In the appendix, we also discuss the effect of the auxiliary decoder design on reconstruction quality.
7.2 Codes abstract away local detail
In this subsection and the next, we evaluate the building blocks that we will use to construct hierarchical models of 128$\times $128 and 256$\times $256 RGB images. To verify that the codes learnt using auxiliary decoders abstract away local detail, we show the variability of sampled reconstructions. Note that the codes for a given input are deterministic, so all stochasticity comes from the autoregressive decoder. We compress all images into singlechannel 8bit codes (256 bins) at 32$\times $32 resolution. We could obtain higherfidelity reconstructions by increasing the code capacity (by adding more channels, increasing their bitdepth or increasing the resolution), but we choose to use singlechannel codes with a modest capacity, so that we can train powerful priors that do not require code channel masking to ensure causality.
For 128$\times $128 images (48$\times $ compression^{3}^{3} 3 From $128\times 128\times 3\times 8$ bits to $32\times 32\times 1\times 8$ bits), we use a feedforward auxiliary decoder with 8 layers trained with the MSE loss, and an MSP decoder with 8 layers and a 3$\times $3 mask size. Reconstructions for both are shown in Figure 6. Note how the MSE decoder is better at preserving local structure (e.g. text on the box), while the MSP decoder is better at preserving the presence of textures (e.g. wallpaper, body of the bird). Both types of reconstructions show variation in colour and texture.
For 256$\times $256 images (192$\times $ compression), we use a stack of two autoencoders, because using a single autoencoder would result in a significant degradation in visual fidelity (see appendix). In Figure 7, we show reconstructions from a stack trained with feedforward auxiliary decoders, where the first level model compresses to singlechannel 8bit codes at 128$\times $128 resolution, so the first and second level models compress by factors of 12$\times $ and 16$\times $ respectively (using 1 and 12 auxiliary decoder layers respectively). We also show reconstructions from a stack trained with MSP auxiliary decoders, where the first level compresses to 8bit codes at 64$\times $64 resolution with 3 channels, so the first and second level models compress by factors of 16$\times $ (with 4 auxiliary decoder layers) and 12$\times $ (with 8 layers) respectively. We refer to the appendix for an exploration of the information captured in the codes as a function of the hyperparameters of the auxiliary decoders.
7.3 Hierarchical models
We construct hierarchical models using the autoencoders from the previous section, by training classconditional autoregressive priors on the codes they produce. Once a prior is trained, we can use ancestral sampling to generate images. Most of the model capacity in our hierarchical models should be used for visually salient largescale structure, so we use powerful prior models, while the decoder models are relatively small.
128$\times $128 images.
We report results and show samples for two priors: one trained on the feedforward codes from the previous section, and one for the MSP codes. The prior models are large gated PixelCNNs augmented with masked selfattention layers NIPS2017_7181, which are inserted after every few convolutional layers as in PixelSNAIL DBLP:conf/icml/ChenMRA18. Selected samples are shown in Figure 8. Samples for all classes are available at https://bit.ly/2FJkvhJ. IS and FID are reported in Table 1, as well as the joint NLL over the pixels and codes. We do not directly compare with results from previous papers as we cannot compute exact likelihoods, and differences in preprocessing of the images can significantly affect these measurements. The IS and FID are much worse than those reported for recent adversarial models brock2018large, but they are in the same ballpark as those reported for PixelCNN on 32$\times $32 ImageNet by DBLP:conf/icml/OstrovskiDM18 (IS 8.33, FID 33.27).
Aux. decoder  IS  FID  joint NLL 

Feedforward  18.10 $\pm $ 0.96  44.95  3.343 bits/dim 
MSP  17.02 $\pm $ 0.79  46.05  3.409 bits/dim 

256$\times $256 images.
We trained two priors, one on feedforward codes and one on MSP codes. Samples from both are available in the appendix and at https://bit.ly/2FJkvhJ.
Human evaluation.
We asked human raters to rate 128$\times $128 images from 20 different classes generated by different models on a scale from 1 to 5 in terms of realism (Table 2). Note that even real images get a relatively low rating on this scale due to the limited resolution. In line with expectations, our hierarchical models receive lower realism scores than BigGAN and are on par with subscale pixel networks. We also asked human raters to compare samples from certain models side by side and pick the most realistic looking ones (Table 3). Here, we get similar results: samples from a hierarchical model are preferred over BigGAN samples in 22.89% of cases, and over real images in just 5.39% of cases. Details of our experimental setup can be found in the appendix, as well as a few nearest neighbour comparisons of samples with images from the dataset in different feature spaces.
Model  Average rating 

real images  $2.941\pm 0.027$ 
BigGAN (high truncation) brock2018large  $2.113\pm 0.024$ 
BigGAN (low truncation) brock2018large  $1.874\pm 0.022$ 
Subscale pixel network menick2018generating  $1.452\pm 0.017$ 
Hierarchical (MSP, ours)  $1.431\pm 0.016$ 
Hierarchical (feedforward, ours)  $1.412\pm 0.015$ 
Model  Preference  

A  B  A  B  Unknown 
MSP (ours)  Feedforward (ours)  $50.89\%$  $48.93\%$  $0.18\%$ 
MSP (ours)  SPN  $50.57\%$  $49.38\%$  $0.05\%$ 
MSP (ours)  BigGAN (low truncation)  $22.89\%$  $77.01\%$  $0.10\%$ 
MSP (ours)  real images  $5.39\%$  $94.44\%$  $0.17\%$ 
8 Conclusion
We have discussed the challenges of training autoregressive autoencoders, and proposed two techniques that address these challenges using auxiliary decoders. The first uses a feedforward network to reconstruct pixels, while the second relies on predicting missing pixels. This enabled us to build hierarchical autoregressive models of images which are capable of producing highfidelity classconditional samples with largescale coherence at resolutions of 128$\times $128 and 256$\times $256 when trained on ImageNet. This demonstrates that our hierarchical approach can be used to effectively scale up likelihoodbased generative models. In future work, we would like to compare both techniques in more challenging settings and further explore their relative strengths and limitations.
Acknowledgments
We would like to thank the following people for their help and input: Aäron van den Oord, Ali Razavi, Jacob Menick, Marco Cornero, Tamas Berghammer, Andy Brock, Jeff Donahue, Carl Doersch, Jacob Walker, Chloe Hillier, Louise Deason, Scott Reed, Nando de Freitas, Mary Chesus, Jonathan Godwin, Trevor Back and Anish Athalye.
References
Appendix A Architectural details
In this section, we describe the architecture of the different components of our models, and provide hyperparameters for all experiments. All hierarchical models consist of one or two autoencoder models and a prior, which are trained separately and in sequence. We use Polyak averaging Polyak:1992:ASA:131092.131098 for all models with a decay constant of 0.9999.
Each autoencoder consists of a number of subnetworks: an encoder, an autoregressive decoder and an auxiliary decoder. A quantisation bottleneck is inserted between the encoder and both decoders. In the case of MSP training, there is also an additional teacher network. The autoregressive decoder in turn consists of a modulator and a local model. The local model is always a gated PixelCNN NIPS2016_6527. The modulator is a residual net and is responsible for mapping the code input to a set of biases for each layer in the local model. The encoder, auxiliary decoder, and teacher networks are all residual nets as well. For all residual networks, we use the ResNet v2 ‘full preactivation’ formulation He2016IdentityMI (without batch normalisation), where each residual block consists of a ReLU nonlinearity, a 3$\times $3 convolution, another ReLU nonlinearity and a 1$\times $1 convolution, in that order. Note that we chose not to condition any of the autoencoder components on class labels in our experiments (only the priors are classconditional).
We train all models on 64$\times $64 crops, unless the input representations already have a resolution of 64$\times $64 or smaller. When training MSP models, we use a different number of masks per image, depending on the mask size. For mask sizes 1$\times $1 and 3$\times $3 we use 30 masks. For mask sizes 5$\times $5 and 7$\times $7 we use 10 masks. For sizes 9, 11, 13 and 15 we use 3 masks, and for 17 and 19 we us a single mask per image. In preliminary experiments, these settings enabled us to get the best selfprediction likelihoods. Note that we present the images and codes to the MSP teacher and encoder in a onehot representation, so that masked pixels ($[0,0,\mathrm{\dots},0]$) can be distinguished from black pixels ($[1,0,\mathrm{\dots},0]$).
We first describe the architecture details for the autoregressive autoencoders with feedforward and masked selfprediction auxiliary decoders for the different resolutions. The priors on the resulting codes are described jointly for all models in Section A.3.
A.1 2level models for 128$\times $128 images
A.1.1 With feedforward decoder
The encoder, auxiliary decoder, and modulator are all residual networks with 512 hiddens and a residual bottleneck of 128 hiddens. The encoder and modulator both have 16 layers whereas the auxiliary decoder has only 2 layers. In the encoder the features are downscaled at the end using a strided convolution with a stride of 2. In the auxiliary decoder and the modulator the upsampling (by a factor of 2) is done in the beginning using subpixel convolutional layer DBLP:conf/cvpr/ShiCHTABRW16. The local model, a gated PixelCNN, has 16 layers with 128 units. The VQ bottleneck has 1 channel with 9 bits^{4}^{4} 4 We use 9 bits instead of the 8 bits used in other experiments because there was a significant increase in reconstruction quality when using 9 bits instead of 8. (512 bins). The model was trained with the Adam optimizer for 300000 iterations.
A.1.2 With MSP decoder
The teacher, encoder, decoder and modulator are all residual networks with 128 hiddens. The encoder, teacher and modulator have 16 layers whereas the auxiliary decoder has 8 layers. We use a mask size of 3$\times $3. The local model has 20 layers and the VQ bottleneck has 1 channel with 8 bits. The model was trained with the Adam optimizer for 200000 iterations. Other than that, the setup matches the one used for the feedforward decoder.
A.2 3level models for 256$\times $256 images
A.2.1 With feedforward decoder
For the first level model, which maps 256$\times $256 RGB images to 128$\times $128 single channel codes with 8 bits, we can make the components relatively small. We use the same model as described in Section A.1.1 except for the following: we use only 4 encoder layers, 1 layer in the auxiliary decoder and 8 autoregressive layers.
The second level model, which maps the 128$\times $128 codes to single channel 32$\times $32 codes with 8 bits, uses 16 encoder and 16 modulator layers with 1024 hiddens and residual bottlenecks of 256 hiddens. The auxiliary decoder has 12 layers and the autoregressive decoder is also only 8 layers but now has 384 hiddens per layer.
A.2.2 With MSP decoder
For the first level model, which maps 256$\times $256 RGB images to 64$\times $64 3channel codes with 8 bits, we use the same model as described in Section A.1.2, except that the auxiliary decoder has 4 layers and the mask size is 5$\times $5.
The second level model, which maps the 64$\times $64 codes to single channel 32$\times $32 codes with 8 bits is also the same, but has an auxiliary decoder with 8 layers and the mask size is 3$\times $3.
A.3 Prior details
Our autoregressive priors are very similar to those described by razavi2019preventing, which are in turn closely related to PixelSNAIL DBLP:conf/icml/ChenMRA18. We list their details in Table 4.
128$\mathrm{\times}$128  128$\mathrm{\times}$128  256$\mathrm{\times}$256  256$\mathrm{\times}$256  
FF  MSP  FF  MSP  
$l$  20  20  20  20 
$h$  640  640  640  640 
$r$  2048  2048  2048  2048 
$timing$  add  add  concat  add 
$a$  6  5  5  5 
$ah$  10  10  15  10 
$do$  0.2  0.1  0.0  0.1 
$bs$  2048  2048  2048  2048 
$iters$  490200  267000  422700  185000 

Appendix B Training
All models were trained on Google TPU v3 Pods. The encoders and decoders were trained on pods with 32 cores, whereas the priors have been trained on pods with 512 cores.
Appendix C Sampling
The procedure for sampling from hierarchical models is outlined in Algorithm 4.
We report all sampling timings using a single NVIDIA V100 GPU. We use a version of incremental sampling DBLP:journals/corr/PaineKCZRHH16 which uses buffers to avoid unnecessary recomputation. Because our current version of incremental sampling does not support models with attention, we use naive sampling for sampling for the autoregressive priors: at every point we simply pass in the entire previously sampled input to the model. For 128$\times $128 it takes roughly 23 minutes to sample a batch of 25 codes from the prior and 9 minutes to use the level 1 model to map these codes to 128$\times $128 images. For a batch of 9 images at 256$\times $256 resolution, it takes 10 minutes to first sample the level 2 codes from the prior, less than 2 minutes to sample level 1 codes conditioned on these level 2 codes, and finally 9 minutes to use these codes to sample the 256$\times $256 images themselves.
Appendix D PixelCNN bias towards local structure
To demonstrate that autoregressive models like PixelCNN are inherently biased towards capturing local structure, we trained a classconditional gated PixelCNN model NIPS2016_6527 with 20 layers, 384 hidden units and 1024 hidden units for the residual connections on 64$\times $64 ImageNet images. Some conditional samples from this model are shown in Figure 9. While these samples feature recognisable textures associated with the respective classes, they are not globally coherent. Generating coherent samples would require a model that is too large to train in a feasible amount of time.
Appendix E Effect of auxiliary decoder design on reconstructions
In the main paper, we discussed the effect of the architecture of the auxiliary decoder on the information content and compressibility of the codes. Here, we show how this affects reconstruction quality by using the same trained models to reconstruct some example 64$\times $64 images and visualising the result. Figure 10 shows how changing the number of layers and the mask size of an MSP decoder affects sampled reconstructions. Note that the autoregressive decoder is stochastic, so repeated sampling yields slightly different reconstructions (not shown). We also show difference images to make subtle differences easier to spot. Smaller decoders lead to worse reconstruction quality overall. Larger mask sizes have the same effect and particularly affect local detail.
Appendix F Bounding the marginal likelihood by the joint likelihood
As discussed in the main paper, the joint likelihood across the image pixels and all code representations can be used as a lower bound for the marginal likelihood of the image pixels only. Let $\mathbf{x}$ be an image, and ${\mathbf{z}}_{l}$ the representation of the image for each level $l$ in a hierarchy of $L$ levels (so ${\mathbf{z}}_{1}=\mathbf{x}$). Then we can compute:
$$p(\mathbf{x},{\mathbf{z}}_{2},\mathrm{\dots},{\mathbf{z}}_{L})=p({\mathbf{z}}_{L})\cdot p({\mathbf{z}}_{L1}{\mathbf{z}}_{L})\cdot \mathrm{\dots}\cdot p(\mathbf{x}{\mathbf{z}}_{2})$$  (2) 
Because all encoders are deterministic, they associate only one set of codes with each image. If the corresponding decoders had infinite capacity, this would imply that the marginal distribution $p(\mathbf{x})$ is equal to the joint distribution $p(\mathbf{x},{\mathbf{z}}_{2},\mathrm{\dots},{\mathbf{z}}_{L})$. In practice however, the decoders are imperfect and they will assign some nonzero probability to an input when conditioned on other codes: let ${\stackrel{~}{\mathbf{z}}}_{2}\ne {\mathbf{z}}_{2}$, then $p(\mathbf{x}{\stackrel{~}{\mathbf{z}}}_{2})>0$. This implies that to calculate $p(\mathbf{x})$ correctly, we would have to integrate $p(\mathbf{x},{\mathbf{z}}_{2},\mathrm{\dots},{\mathbf{z}}_{L})$ over all codes. This is intractable, but instead we can use $p(\mathbf{x},{\mathbf{z}}_{2},\mathrm{\dots},{\mathbf{z}}_{L})$ as a lower bound for $p(\mathbf{x})$. As mentioned in the main text, $p(\mathbf{x}{\mathbf{z}}_{2})$ will dominate this bound in practice, and it is not suitable for measuring whether a model captures largescale structure.
Appendix G Human evaluation
For our human evaluation experiments, we used a varied subset of 20 classes in an attempt to cover the different types of object classes available in the ImageNet dataset, and used 50 128$\times $128 samples for each class (the same ones that we have made available online), for a total of 1,000 images per model. Where real images were used, we used the same rescaling strategy as during training (see main text). To display the images to the raters, they were first upscaled to 512$\times $512 using bilinear interpolation. We also show the ImageNet class label to the raters.
For the realism rating experiments, each image was rated 3 times by different individuals, for a total of 6,000 ratings. Raters were explicitly asked not to pay attention to scaling artifacts, but this is hard to control for, and the relatively low score for real images indicates that this has impacted the results. They were also shown examples of real and generated images, so they would have an idea of what to look out for.
For the pairwise comparison experiments, we asked the raters “which image looks the most realistic?”. When comparing against real images, we asked instead “which image is real?”. This nuance is important as it gives the raters some extra information. Each pair consists of one sample from the first model, and one sample from the second model. We created 500 random sample pairs per class, in such a way that every sample is used exactly 10 times (using all possible pairs would require too many ratings). Each pairing was shown in random order and rated by 3 different individuals, for a total of 30,000 ratings.
A very small fraction of answers for each experiment were unusable (we report this fraction in the ‘unknown’ column). For the experiment comparing samples from a hierarchical model trained with an MSP auxiliary decoder versus one trained with a feedforward auxiliary decoder, we found that all 3 raters agreed in 63.68% of cases (accounting for 53 unusable answers, or 0.18%). The samples from the MSP model are preferred in 50.89% of cases, and the samples from the feedforward model are preferred 48.93% of cases. Although this result is very balanced, there are larger differences between the models within each class. For this experiment, we report the preferences for each class in Table 5.
Our pairwise comparison experiments are similar to those conducted by DBLP:journals/corr/abs190401121, with a few key differences: our models are classconditional, so we evaluate over a diverse subset of classes and we need to use a larger number of images. As a consequence of this, we gather fewer evaluations per image. We do not provide the raters with immediate feedback when comparing against real images: we do not tell them whether they guessed correctly or not. It is impossible to provide such feedback when comparing models directly against each other (because neither image is real), so for consistency across experiments, we do not do this even when it is technically possible.
Preference  
Class  Feedforward  MSP 
megalith (649)  36.24%  63.62% 
giant panda (388)  36.53%  63.20% 
cheeseburger (933)  41.07%  58.80% 
Geoffroy’s spider monkey (381)  42.00%  57.80% 
coral reef (973)  43.20%  56.67% 
schooner (780)  46.07%  53.60% 
Pomeranian (259)  47.40%  52.60% 
white stork (127)  47.63%  51.97% 
seashore (978)  50.33%  49.67% 
starfish (327)  50.80%  49.00% 
volcano (980)  50.93%  48.93% 
bookcase (453)  51.13%  48.80% 
Granny Smith (948)  51.40%  48.47% 
monarch butterfly (323)  51.87%  48.13% 
yellow garden spider (72)  52.13%  47.73% 
ambulance (407)  52.60%  47.00% 
frying pan (567)  55.07%  44.73% 
grey whale (147)  55.33%  44.47% 
tiger (292)  56.93%  42.87% 
Dalmatian (251)  59.93%  39.80% 

Appendix H Nearest neighbours
Although overfitting in likelihoodbased models can be identified directly be evaluating likelihoods on a holdout set, we searched for nearest neighbours in the dataset in different feature spaces for some model samples. Following brock2018large, we show nearest neighbours using L2 distance in pixel space, as well as in ‘VGG16fc7’ and ‘ResNet50avgpool’ (feature spaces obtained from pretrained discriminative models on ImageNet) in Figures 11, 12 and 13 respectively.
Appendix I Additional reconstructions
We provide some additional autoregressive autoencoder reconstructions of 128$\times $128 images in Figure 14 to further demonstrate their variability and the differences between both auxiliary decoder strategies. Figure 15 contains additional reconstructions of 256$\times $256 images. Figure 16 shows reconstructions from an autoencoder that directly compresses 256$\times $256 images to singlechannel 32$\times $32 8bit codes (MSP, 8 auxiliary decoder layers, mask size 5$\times $5), resulting in a significant degradation in visual fidelity.
Appendix J Additional samples
More samples are available online at https://bit.ly/2FJkvhJ in original quality (some figures in the paper are compressed to save space). Figures 1720 are 128$\times $128 samples for a model using a feedforward auxiliary decoder. Figures 2124 are 128$\times $128 samples for a model using a MSP auxiliary decoder. Figures 2528 are 256$\times $256 samples from a model using feedforward auxiliary decoders. Figures 2931 are 256$\times $256 samples from a model using MSP auxiliary decoders.