Title: SIGMA-DELTA QUANTIZED NETWORKS

Abstract: Deep neural networks can be obscenely wasteful. When processing video, a convolutional network expends a fixed amount of computation for each frame with no regard to the similarity between neighbouring frames. As a result, it ends up repeatedly doing very similar computations. To put an end to such waste, we introduce Sigma-Delta networks. With each new input, each layer in this network sends a discretized form of its change in activation to the next layer. Thus the amount of computation that the network does scales with the amount of change in the input and layer activations, rather than the size of the network. We introduce an optimization method for converting any pre-trained deep network into an optimally efficient Sigma-Delta network, and show that our algorithm, if run on the appropriate hardware, could cut at least an order of magnitude from the computational cost of processing video data.

1. INTRODUCTION:

For most deep-learning architectures, the amount of computation required to process a sample of input data is independent of the contents of that data.

Natural data tends to contain a great deal of spatial and temporal redundancy. Researchers have taken advantage of such redundancy to design encoding schemes, like jpeg and mpeg, which introduce small compromises to image fidelity in exchange for substantial savings in the amount of memory required to store images and videos.

In neuroscience, it seems clear that that some kind of sparse spatio-temporal coding is going on. Koch et al. (2006) estimate that the human retina transmits 8.75Mbps, which is about the same as compressed 1080p video at 30FPS.

Thus it seems natural to think that perhaps we should be doing this in deep learning. In this paper, we propose a neural network where neurons only communicate discretized changes in their activations to one another. The computational cost of running such a network would be proportional to the amount of change in the input. Neurons send signals when the change in their input accumulates past some threshold, at which point they send a discrete "spike" notifying downstream neurons of the change. Such a system has at least two advantages over the conventional way of doing things.

1. When extracting features from temporally redundant data, it is much more efficient to communicate the changes in activation than it is to re-process each frame.

2. When receiving data asynchronously from different sources (e.g. sensors, or nodes in a distributed network) at different rates, it no longer makes sense to have a global network update.

We could recompute the network with every new input, reusing the stale inputs from the other sources, but this requires doing a great deal of repeated computation for only small differences in input data. We could keep a history of all inputs and update the network periodically, but then we lose the ability to respond immediately to new inputs. Our approach gets around this ugly tradeoff by allowing for efficient approximate updates of the network given a partial update to the input data. The computational cost of the update is proportional to the effect that the new information has on the network's state.

Our model contrasts with all of the above in that it is time-agnostic. Although we refer to sending "temporal differences" between neurons, our neurons have no concept of time -their is no "leak" in neuron potential, and our neurons' behaviour only depends on the order of the inputs. Our work also separates the concepts of nonlinearity and discretization, uses units that communicate differences rather than absolute signal values, and explicitly minimizes an objective function corresponding to computational cost.

Coming from another corner, Courbariaux et al. describe a scheme for binarizing networks with the aim of achieving reductions in the amount of computation and memory required to run neural nets.

They introduce a number of tricks for training binarized neural networks -a normally difficult task due to the lack of gradient information. Esser et al. ( 2016) use a similar binarization scheme to efficiently implement a spiking neural network on the IBM TrueNorth chip. Ardakani et al. (2015) take another approach -to approximate real-valued operations of a neural net with a sequence of stochastic integer operations, and show how these can lead to cheaper computation.

These discretization approaches differ from ours in that they do not aim to take advantage of temporal redundancy in data, but rather aim to find ways of saving computation by learning in a low-precision regime. Ideas from these works could be combined with the ideas presented in this paper.

The idea of sending quantized temporal differences has been applied to make event-based sensors, such as the Dynamic-Vision Sensor (Lichtsteiner et al., 2008) , which quantize changes in analog pixelvoltages and send out pixel-change events asynchronously. The model we propose in this paper could be used to efficiently process the outputs of such sensors.

Finally, our previous work, (O'Connor and Welling, 2016) develops a method for doing backpropagation with the same type of time-agnostic spiking neurons we use here. In this paper, we do not aim to train the network from scratch, but instead focus on how we can compute efficiently by sending temporal differences between neurons.

3. THE SIGMA-DELTA NETWORK:

In this Section, we describe how we start with a traditional deep neural network and apply two modifications -temporal-difference communication and rounding -to create the Sigma-Delta network. To explain the network, we follow the Figure 1 from top to bottom, starting with a standard deep network and progressing to our Sigma-Delta network. Here, we will think of the forward pass of a neural network as composition of subfunctions:

f (x) = (f L • ... • f 2 • f 1 )(x).

3.1. TEMPORAL DIFFERENCE NETWORK:

We now define "temporal difference" (∆ T ) and "temporal integration" (Σ T ) modules as follows:

Algorithm 1 Temporal Difference (∆ T ):

1: Internal: x last ∈ R d ← 0 2: Input: x ∈ R d 3: y ← x -x last 4: x last ← x 5: Return: y ∈ R d

Algorithm 2 Temporal Integration (Σ T ):

1: Internal: y ∈ R d ← 0 2: Input: x ∈ R d 3: y ← y + x 4: Return: y ∈ R d

So that when presented with a sequence of inputs x 1 , ...

x t , ∆ T (x t ) = x t -x t-1 | x0=0 , and Σ T (x t ) = t τ =1 x τ .

It should be noted that when we refer to "temporal differences", we refer not to the change in the signal over time, but in the change between two inputs presented sequentially. The output of our network only depends on the value and order of inputs, not on the temporal spacing between them. This distinction only matters when dealing with asynchronous inputs such as the Dynamic Vision Sensor, (Lichtsteiner et al., 2008) , which are not considered in this paper.

Since Σ T (∆ T (x t )) = x t , we can insert Σ T • ∆ T pairs into the network without affecting the function. So we can re-express our network function as:

f (x) = (f L •Σ T •∆ T •...•f 2 •Σ T •∆ T •f 1 •Σ T •∆ T )(x).

Now suppose our network consists of alternating linear functions w(x), and nonlinear functions h(x), so that f

(x) = (h L • w L ... • h 2 • w 2 • h 1 • w 1 )(x).

As before, we can harmlessly insert our Σ T • ∆ T pairs into the network. But this time, note that for a linear function w(x), the operations (Σ T , w, ∆ T ) all commute with one another. That is:

EQUATION

Therefore we can replace all instances of

∆ T • w • Σ T with w, yielding f (x) = (h L • Σ T • w L • ... • ∆ T • h 2 • Σ T • w 2 • ∆ T • h 1 • Σ T • w 1 • ∆ T )(x)

, which corresponds to the network shown in Figure 1 B. For now this is completely pointless, since we do not change the network function at all, but it will come in handy in the next section, where we discretize the output of the ∆ T modules.

3.2. DISCRETIZATING THE DELTAS:

When dealing with data that is naturally spatiotemporally redundant, like most video, we expect the output of the ∆ T modules to be a vector with mostly low values, with some peaks corresponding to temporal transitions at certain input positions. We expect the data to have this property not only at the input layer, but even more so at higher layers, which encode higher level features (edges, object parts, class labels), which we would expect to vary more slowly over time than pixel values. If we discretize this "peaky" vector, we end up with a sparse vector of integers, which can then be used to cheaply communicate the approximate change in state of a layer to its downstream layer(s).

A sensible approach is to apply rounding before the temporal-difference operation -i.e. round the activation values and then send the temporal differences of these rounded values. It is then easy to show that the network's function will remain identical to that of the rounding network:

EQUATION

It's worth noting that this is equivalent to doing discrete-time Sigma-Delta modulation to quantize the temporal differences -this connection is explained in Appendix A.

It follows from this result that our Sigma-Delta network depicted in Figure 1 D computes an identical function to that of the rounding network in Figure 1 C. In other words, the output y t of the Sigma-Delta network is solely dependent on the parameters of the network and the current input x t , and not on any of the previous inputs x 1 ..x t-1 . The amount of computation required for the update, however, depends on x t-1 . Specifically, if x t is similar to x t-1 , the Sigma-Delta network should require less computation to perform an update than the Rounding Network.

3.3. SPARSE DOT PRODUCT:

Most of the computation in Deep Neural networks is consumed doing matrix multiplications and convolutions. The architecture we propose saves computation by translating the input to these operations into an integer array with a small L1 norm.

With sparse, low-magnitude integer input, we can compute the vector-matrix dot product efficiently by decomposing it into a sequence of vector additions. We can see this by decomposing the vector x ∈ I din into a set of indices

(i n , s n ) : i ∈ [1..len( x)], s ∈ ±1, n = [1..N ] , such that: x = N n=1

s n e in , where e in is a one-hot vector with element i n hot, and N = | x| L1 is the total L1 magnitude of the vector. We can then compute the dot-product as a series of additions, as shown in Equation 3.

EQUATION

Computing the dot product this way takes N • d out additions. A normal dense dot-product, by comparison, takes

d in • d out multiplications and (d in -1) • d out additions.

This is where the energy savings come in. Horowitz (2014) estimates that on current 45nm silicon process, a 32-bit floating-point multiplication costs 3.7pJ, vs 0.9pJ for floating-point addition. With integer or fixed-point arithmetic, the difference is even more pronounced, with 3.1pJ for multiplication vs 0.1pJ for addition. This of course ignores the larger cost of processing instructions and moving memory, but gives us an idea of how these operations might compare on optimized hardware. So provided we can approximate the forward pass of a network to a satisfactory degree of precision without doing many more operations than the original network, we can potentially compute much more efficiently. 

EQUATION

Δ T round(x) round(x)

Figure 1 : A: An ordinary deep network, which consists of an alternating sequence of linear operations w i (x), and nonlinear transforms h i (x). B: The Temporal-Difference Network, described in Section 3.1, computes the exact same function as network A, but communicates differences in activation between layers. C: An approximation of network A where activations are rounded before being sent to the next layer. D: The Sigma-Delta Network combines the modifications of B and C. Functionally, it is identical to the Rounding Network, but it can compute forward passes more cheaply when input data is temporally redundant.

3.4. PUTTING IT ALL TOGETHER:

Figure 1 visually summarizes the four types of network we have described. Inserting the temporal sum and difference modules discussed in Section 3.1 leads to the Temporal Difference Network, which is functionally identical to the Original Network. Discretizing the output of the temporal difference modules, as discussed in Section 3.2, leads to the Sigma-Delta network. The Sigma-Delta Network is functionally equivalent to the Rounding network, except that it requires less computation per forward pass if it is fed with temporally redundant data.

4. OPTIMIZING AN EXISTING NETWORK:

In this work, we do not aim to train a quantized networks from scratch, as we did in O'Connor and Welling (2016) . Rather, we will take existing pretrained networks and optimize them as Sigma-Delta networks. In in our situation, we have two competing objectives: Error (with respect to a non-quantized forward pass), and Computation: the number of additions performed in a forward pass.

4.1. RESCALING OUR NEURONS:

We can control the trade-off between these objectives by changing the scale of our discretization. We can thus extend our rounding function by adding a scale k ∈ R + :

round( x, k) ≡ round( x • k)/k (4)

This scale can either be layerwise or unitwise (in which case we have a vector of scales per layer).

Higher k values will lead to higher precision, but also more computation, for the reason mentioned in Section 3.2. Note that the final division-by-k is equivalent to scaling the following weight matrix by 1 k ,. So in practice, our network functions become:

EQUATION

EQUATION

For the Rounding Network and the Sigma-Delta Network, respectively. By adjusting these scales k l , we can affect the tradeoff between computation and error. Note that if we use ReLU activation functions, parameters k l can simply be baked into the parameters of the network (see Appendix C.)

4.2. THE ART OF COMPROMISE:

In this section, we aim to find the optimal trade-offs between Error and Computation for the Rounding Network (Network C in Figure 1 ). We define our loss as follows:

EQUATION

EQUATION

L total = L error + λL comp (9)

Where D(a, b) is some scalar distance function (We use KL-divergence for softmax output layers and L2-norm otherwise), f round (x) is the output of the Rounding Network, f true (x) is the output of the Original Network. L comp is the computational loss, defined as the total number of additions required in a forward pass. Each layer performs |s l | L1 d l+1 additions, where s l is the discrete output of the l'th layer, d l+1 is the dimensionality of the (l + 1)'th layer. Finally λ is the tradeoff parameter balancing the importance of the two losses.

We aim to use this loss function to optimize our layer-scales, k l to find an optimal tradeoff between accuracy and computation, given the tradeoff parameter λ.

4.3. DIFFERENTIATING THE UNDIFFERENTIABLE:

We run into an obvious problem: y = round(k • x) is not differentiable with respect to our scale, k or our input, x. We get around this by using a similar method to Courbariaux et al., who in turn borrowed it from a lecture by Hinton (2012) . That is, on the backward pass, when computing the gradient with respect to the error ∂Lerror ∂k l , we simply pass the gradient through the rounding function in layers [l + 1, .., .L], i.e. we say ∂ ∂x round(x) ≈ 1.

When computing the gradient with respect to the computational cost, ∂Lcomp ∂k l , we again just pass the gradient through all rounding operations in the backward pass for layers [l + 1, .., .L]. We found instabilities in training when using the computational loss of higher layers: L comp,l : l ∈ [l + 1, ..., L], to update the scale of layer l. Since we don't expect this term to have much effect anyway, we choose to only use the gradient of the computational cost in layer l when updating scale k l , i.e., we approximate:

∂Lcomp ∂k l ≈ ∂L comp,l ∂k l .

Our scale parameters also must remain in the positive range, and stay well away from zero, where they can cause instability due to the division-by-k (see Equation 5). To handle this, we parametrize our scales in log-space, as κ l = log(k l ). Our scale-parameter update rule becomes:

∆κ l = -η ∂L error ∂κ l pass:[l+1..L] + λ ∂ ∂κ l | s l | L1 d l+1 pass:l (10)

Where s l is the rounded signal from layer l, d l+1 is the "fan-out" (equivalent to the dimension of layer l + 1 in a fully-connected network), and pass : [l + 1..L] indicates that, on the backward pass, we simply pass the gradient through the rounding functions on layers [l + 1..L].

5. EXPERIMENTS:



5.1. TOY PROBLEM: A RANDOM NETWORK:

We start with a very simple toy problem to verify our method. We initialize a 2-layer (100-100-100) ReLU network with random weights using the initialization scheme proposed in Glorot and Bengio (2010) , then scaled the weights by 1 2 , 8, 1 4 . The weight-rescaling does not affect the function of the network but makes it very ill-adapted for discretization (the first layer will be represented too coarsely, causing error; the second too finely, causing wasted computation). We create random input data, and use it to optimize the layer scales according to Equation 10. We verify, by comparing to a large collection of randomly drawn rescalings, that by tuning lambda we land on different places of the Pareto frontier balancing error and computation. Figure 2 shows that this is indeed the case. In this experiment, error and computation are evaluated just on the Rounding network -we test the Sigma-Delta network in the next experiment, which includes temporal data.

5.2. TEMPORAL-MNIST:

In order to evaluate our network's ability to save computation on temporal data, we create a dataset that we call "Temporal-MNIST". This is just a reshuffling of the standard MNIST dataset so that similar frames tend to be nearby, giving the impression of a temporal sequence (see Appendix D for details). The columns of Figure 3 show eight snippets from the Temporal-MNIST dataset.

We started our experiment with a conventional ReLU network with layer sizes [784-200-200-10] pretrained on MNIST to a test-accuracy of 97.9%. We then apply the same scale-optimization procedure for the Rounding Network used in the previous experiment to find the optimal rescalings under a range of values for λ. This time, we test the learned scale parameters on both the Rounding Network and the Sigma-Delta network. We do not attempt to directly optimize the scales with respect to the amount of computation in the Sigma-Delta network -we assume that the result should be similar to that for the rounding network, but verifying this is the topic of future work.

The results of this experiment can be seen in Figure 4 . We see that our discretized networks (Rounding and Sigma-Delta) converge to the error of the original network with fewer computations than are required for a forward pass of the original neural network. Note that the errors of the rounding and Plot 1: Each point on the line for the Rounding (blue) and Sigma-Delta (green) network correspond to the performance of the network for a different value of the error-computation tradeoff parameter λ, ranging from λ = 10 -10 (in the high-computation, low-error regime) to λ = 10 -5 (in the low-computation, high-error regime). The red line indicates the performance of the original, nondiscretized network. The red dot on the right indicates the number of flops required for a full forward pass when doing dense multiplication, and the dot on the left indicates the number of flops when factoring in layer sparsity. Note that for the Rounding and Sigma-Delta networks, we count the number of additions, and for the original network we count the numbers of multiplications and additions (as per Section 3.3). Plot 2: The same, but on the Temporal-MNIST dataset. We see that the Sigma-Delta network uses less computation thanks to the temporal redundancy in the data. Plots 3 and 4: Half of the original network's Ops were multiplies, which are more computational costly than the additions of the Rounding and Sigma-Delta networks. In these plots the x-axis is rescaled according to the energy use calculations of Horowitz (2014) , assuming the weights and parameters of the network are implemented with 32-bit integer arithmetic. Numbers are in Appendix E.

Sigma-Delta networks are identical. This is a consequence of their equivalence, described in Section 3.2. Note also that the errors for all networks are identical between the MNIST and Temporal-MNIST datasets, since for all networks, the prediction function is independent of the order in which inputs are processed. We see that as expected, our Sigma-Delta network does fewer computations than the rounding network on the Temporal-MNIST dataset for the same error, because the update-mechanism of this network takes advantage of the temporal redundancy in the data.

5.3. A DEEP CONVOLUTIONAL NETWORK ON VIDEO:

Our final experiment is a preliminary exploration into how Sigma Delta networks could perform on natural video data. We start with "VGG 19" -a 19 layer convolutional network, trained to recognise the 1000 ImageNet categories. The network was trained and made public by Simonyan and Zisserman (2014) . We take selected videos from the ILSVRC 2015 dataset (Russakovsky et al., 2015) , and apply the rescaling method from Section 4.1 to adjust the scales on a per-layer basis. We initially had some difficulty in optimizing the scale parameters of network to a stable point. The network would either fail to reduce computation when it could afford to, or reduce it to the point where the network's function was so corrupted that error gradients would be meaningless, causing computation loss to win out and activations to drop to zero. A simple solution was to replace the rounding operation in training with addition of uniform random noise ∼ U (-1 2 , 1 2 ). This seemed to prevent the network from pushing itself into a regime where all activations become zero. More work is need to understand why the addition of noise is necessary here. Figure 5 shows some preliminary results, which indicate that for video data we can get about 4-10x savings in the amount of computation required, in exchange for a modest loss in computational accuracy.

6. DISCUSSION:

We have introduced Sigma-Delta Networks, which give us a new way compute the forward pass of a deep neural network. In Sigma-Delta Networks, neurons communicate not by telling other neurons about their current level of activation, but about their change in activation. By discretizing these changes, we end up with very sparse communication between layers. The more similar two consecutive inputs (x t , x t+1 ) are, the less computation is required to update the network. We show that, while the Sigma-Delta Network's internal state at time-step t depends on past inputs x 1 ..x t-1 , the output y t only depends on the current input x t . We show that there is a tradeoff between the accuracy of this network (with respect to the function of a traditional deep net with the same parameters), and the amount of computation required. Finally, we propose a method to jointly optimize error and computation, given a tradeoff parameter λ that indicates how much accuracy we are willing to sacrifice in exchange for fewer computations. We demonstrate that this method substantially reduces the number of computations required to run a deep network on natural, temporally redundant data. However, we observe in our final experiment (Figure 5 , bottom) that our assumption that higher-level features would be more temporally stable -and thus require less computation in our Sigma-Delta net -was not true. We suspect that if we were to train the network from scratch on temporal data, we may learn more temporally stable "slow" features, but this is a topic of future work.

A huge amount of data (eg. video, audio) comes in the form of temporal sequences, and there is an increasingly obvious need to be able to process this data efficiently. There is much to be gained by only doing processing when necessary, based on the contents of the data, and we provide one method for doing that. Further work is needed to determine whether this method would be of use on modern computing hardware, namely GPUs. The problem is that these devices are designed for large, fixed-size array operations, and tend not to be good at taking advantage of sparsity in the data, which requires many random memory accesses to parameters. Fortunately, other devices such as the the IBM TrueNorth (Cassidy et al., 2013) are being designed which keep memory close to processing, and such handle sparse data (and random memory access) much more efficiently. This work opens up an interesting door. In asynchronous, distributed neural networks, a node may receive input from many different nodes asynchronously. Recomputing the function of the network every time a new input signals arrives may be prohibitively expensive. Our scheme deals with this by making the computational cost of an update proportional to the amount of change in the input. The next obvious step is to extend this approach to communicating changes in gradients, which may be helpful in setting up distributed, asynchronous schemes for training neural networks.

Code for our experiments can be found at: https://github.com/petered/sigma-delta/ 

Ratio:

Figure 5 : A comparison of the Original VGG Net with the Rounding and Sigma-Delta Networks using the same parameters, after scale-optimization. Top: Frames taken from two videos from the ILSVRC2015 dataset. The two videos, with 201 frames in total, were spliced together. The first has a static background, and the second has more motion. Below every second image is the label generated for that image by VGGnet and the Sigma-Delta network (which is functionally equivalent to the Rounding Network, though numerical errors can lead to small changes, not shown here). Scale parameters were trained on separate videos. Second Plot: A comparison of the computational cost per-frame. The original VGG network has a fixed cost. The Sigma-Delta network has a cost that varies with the amount of action in the video. The spike in computation occurs at the point where the videos are spliced together. We can see that the Sigma-Delta network does more computation for the second video, in which there is more movement. During the first video it performs about 11 times less computation than the Original Network, during the second, about 4 times less. The difference would be more pronounced if we were to count energy use, as we did in Figure 4 . Third Plot: A plot of the cumulative mean error (over frames) of the Sigma-Delta/Rounding networks, as compared to the Original VGGnet. Most of the time, it gets the same result (Top-1) out of 1000 possible categories. On almost every frame, the guess of the Sigma-Delta network is one of the top-5 guesses of the original VGGNet. Fourth Plot: A breakdown of how much of the computational cost of each network comes from each layer. Fifth Plot: The layer-wise ratio of the computational cost of the Sigma-Delta net to the rounding net. We had expected (and hoped) this ratio to become very low in the upper layers, as the high-level features should not change much between frames. However this was not the case (as the ratio remains between 0.2 and 0.4 across all layers). It appears therefore that our assumption -that higher level features would be more temporally stable -is untrue. Appendix F shows that this is a property of the pretrained network, not our quantization scheme.

A DELTA-HERDING PROOF Algorithm 3 Herding

1: Internal: φ ∈ R d ← 0 2: Input: x t ∈ R d 3: φ ← φ + x t 4: s ← round( φ) 5: φ ← φ -s 6: Return: s ∈ I d Algorithm 4 Delta-Herding 1: Internal: s last ∈ I d ← 0 2: Input: x t ∈ R d 3: s ← round(x t ) 4: ∆ s ← s -s last 5: s last ← s 6: Return: ∆ s ∈ I d

In previous work (O'Connor and Welling, 2016) , we used a quantization scheme which we refer to as herding for brevity and because of its relation to the deterministic sampling scheme in (Welling, 2009) , but could otherwise be called Discrete-Time Bidirectional Sigma-Delta Modulation. The procedure is described in Algorithm 3. The input is summed into a potential φ over time until crossing a quantization threshold (in this case the ± 1 2 at which the round function changes value), and then resets. Here we prove that Algorithm 4 is equivalent to applying Algorithm 3 to the output of a temporal difference modules. i.e. herd(∆ t (x t )) = ∆ T (round(x t ))∀t.

First start by observing the following equivalence:

b = round(a) ⇔ |a -b| < 1 2 : b ∈ I (11)

We can apply this to the update rule in Algorithm 3:

EQUATION

Now, if we unroll the two Equations 12 over time, with initial condition φ 0 = 0, we see that.

EQUATION

Using Equations 13 and 11, respectively, we can say:

EQUATION

Which can be rearranged to solve for s t .

EQUATION

Now if we receive inputs from a ∆ T unit: x τ = u τ -u τ -1 with initial condition u 0 = 0, then:

EQUATION

C BAKING THE SCALES INTO THE PARAMETERS:

In Section 4.1, we mention that we can "bake the scales into the parameters" for ReLU networks. Here we explain that statement.

Suppose you have a function

f (x) = k 2 • h x • w k 1 If our nonlinearity h is homogeneous (i.e. k • h(x) = h(k • x))

, as is the case for relu(x) = max(0, x), we can collapse the scales k into the parameters:

EQUATION

So that after training scales, for a given network, we can simply incorporate them into the parameters, as:

w = w • k 2 /k 1 , and b = k 2 • b.

D TEMPORAL MNIST:

The Temporal MNIST dataset is a version of MNIST that is reshuffled so that similar frames end up being nearby. We generate this by iterating through the dataset, keeping a fixed-size buffer of candidates for the next frame. On every iteration, we compare all the candidates to the current frame, and select the closest one. The place that this winning candidate occupied in the buffer is then filled by a new sample from the dataset, and the winning candidate becomes the current frame. The process is repeated until we've sorted though all frames in the dataset. For the Original Network, the number of Flops is considered when using both (Dense / Sparse) matrix operations. The "Class Error" column shows the classification error on the training / test set respectively. The "Energy" is an estimate of the average energy that would be used by arithmetic operations per sample, if the network were implemented with all integer values. This is based on the estimates of Horowitz (2014) . Again, for the Original Network, the figure is based on the numbers for dense/sparse matrix operations.

F HIGH-LEVEL FEATURE STABILITY:

We had initially expected that, when a convolutional network is tasked with processing subsequent frames of video, high-level features would change much more slowly than the pixels and low-level features. This would give a computational advantage to our Sigma-Delta networks, whose computational cost scales with the amount of change in the feature representations. To our surprise, this appeared not to be the case. See the final plot of Figure 5 . To verify that this was a property of the original convolutional network (and not somehow related our discretization scheme), we take the same snippet of video used for Figure 5 and measure the inter-frame differences. Figure 6 shows the results of this small experiment, and confirms that our initial belief -that inter-frame differences should become smaller and smaller at higher layers, was not quite correct. (columns) . The input is considered to be layer 0. Feature representations have been L1-normalized per-layer Bottom Left: The L1-Norms (which are 1 due to the normalization) and inter-frame L1-Distances for each layer, averaged over frames. Top and Bottom Right: The same measurements, with the cosine-similarity metric instead of L1. We note from these plots that the inter-frame difference is not much smaller in higher layers than it is at the pixel level, and that in the lower layers, feature representations of neighbouring frames are significantly more dissimilar than they are at the pixel level.

:

Published as a conference paper at ICLR 2017

Figures and Tables:

Figure 2: The Results of the "Random Network" experiment described in Section 5.1. Left: A plot of the layerwise scales. Grey lines show randomly sampled scales, and coloured lines show optimal scales for different values of λ. Right: Gray dots show the error-scale tradeoffs of network instantiations using the (gray) randomly sampled rescalings on the left. Coloured lines show the optimization trajectory under different values of λ, starting with the initial state (•), and ending with ×.

Figure 3: Some samples from the Temporal-MNIST dataset. Each column shows a snippet of adjacent frames.

Figure6: Top-Left: A heatmap showing the L1-distances between the feature representations (postnonlinearity) of adjacent frames from the video in Figure5at different layers (rows) and frames (columns). The input is considered to be layer 0. Feature representations have been L1-normalized per-layer Bottom Left: The L1-Norms (which are 1 due to the normalization) and inter-frame L1-Distances for each layer, averaged over frames. Top and Bottom Right: The same measurements, with the cosine-similarity metric instead of L1. We note from these plots that the inter-frame difference is not much smaller in higher layers than it is at the pixel level, and that in the lower layers, feature representations of neighbouring frames are significantly more dissimilar than they are at the pixel level.

Results on the MNIST and Temporal-MNIST datasets. MFlops indicates the number of operations done by each network.

Table content: <table><tr><td/><td/><td>Mnist</td><td/><td/><td>Temp mnist</td><td/><td/></tr><tr><td>Setting</td><td>Net Type</td><td>KFlops Test (ds\sp)</td><td>Class error (tr\ts)</td><td>Int32-Energy (nJ)</td><td>KFlops Test (ds\sp)</td><td>Class error (tr\ts)</td><td>Int32-Energy (nJ)</td></tr><tr><td>==========</td><td>==========</td><td>==========</td><td>==========</td><td>==========</td><td>==========</td><td>==========</td><td>==========</td></tr><tr><td>Unoptimized</td><td>Original</td><td>397 \ 107</td><td>0.024 \ 2.24</td><td>636 \ 173</td><td>397 \ 107</td><td>0.024 \ 2.24</td><td>636 \ 173</td></tr><tr><td/><td>Round</td><td>44</td><td>2.12 \ 4.21</td><td>4.42</td><td>44</td><td>2.12 \ 4.21</td><td>4.42</td></tr><tr><td/><td>Σ∆</td><td>53</td><td>2.12 \ 4.21</td><td>5.32</td><td>24</td><td>2.12 \ 4.21</td><td>2.49</td></tr><tr><td>λ=1e-10</td><td>Original</td><td>397 \ 107</td><td>0.024 \ 2.24</td><td>636 \ 173</td><td>397 \ 107</td><td>0.024 \ 2.24</td><td>636 \ 173</td></tr><tr><td/><td>Round</td><td>209</td><td>0.07 \ 2.39</td><td>20.9</td><td>209</td><td>0.07 \ 2.39</td><td>20.9</td></tr><tr><td/><td>Σ∆</td><td>245</td><td>0.07 \ 2.39</td><td>24.6</td><td>110</td><td>0.07 \ 2.39</td><td>11</td></tr><tr><td>λ=3.59e-10</td><td>Original</td><td>397 \ 107</td><td>0.024 \ 2.24</td><td>636 \ 173</td><td>397 \ 107</td><td>0.024 \ 2.24</td><td>636 \ 173</td></tr><tr><td/><td>Round</td><td>206</td><td>0.058 \ 2.3</td><td>20.7</td><td>206</td><td>0.058 \ 2.3</td><td>20.7</td></tr><tr><td/><td>Σ∆</td><td>243</td><td>0.058 \ 2.3</td><td>24.3</td><td>109</td><td>0.058 \ 2.3</td><td>11</td></tr><tr><td>λ=1.29e-09</td><td>Original</td><td>397 \ 107</td><td>0.024 \ 2.24</td><td>636 \ 173</td><td>397 \ 107</td><td>0.024 \ 2.24</td><td>636 \ 173</td></tr><tr><td/><td>Round</td><td>178</td><td>0.094 \ 2.42</td><td>17.8</td><td>178</td><td>0.094 \ 2.42</td><td>17.8</td></tr><tr><td/><td>Σ∆</td><td>207</td><td>0.096 \ 2.42</td><td>20.7</td><td>92</td><td>0.094 \ 2.42</td><td>9.2</td></tr><tr><td>λ=4.64e-09</td><td>Original</td><td>397 \ 107</td><td>0.024 \ 2.24</td><td>636 \ 173</td><td>397 \ 107</td><td>0.024 \ 2.24</td><td>636 \ 173</td></tr><tr><td/><td>Round</td><td>164</td><td>0.084 \ 2.41</td><td>16.4</td><td>164</td><td>0.084 \ 2.41</td><td>16.4</td></tr><tr><td/><td>Σ∆</td><td>193</td><td>0.082 \ 2.41</td><td>19.4</td><td>87</td><td>0.084 \ 2.41</td><td>8.75</td></tr><tr><td>λ=1.67e-08</td><td>Original</td><td>397 \ 107</td><td>0.024 \ 2.24</td><td>636 \ 173</td><td>397 \ 107</td><td>0.024 \ 2.24</td><td>636 \ 173</td></tr><tr><td/><td>Round</td><td>122</td><td>0.19 \ 2.55</td><td>12.2</td><td>122</td><td>0.19 \ 2.55</td><td>12.2</td></tr><tr><td/><td>Σ∆</td><td>144</td><td>0.19 \ 2.55</td><td>14.5</td><td>65</td><td>0.19 \ 2.55</td><td>6.58</td></tr><tr><td>λ=5.99e-08</td><td>Original</td><td>397 \ 107</td><td>0.024 \ 2.24</td><td>636 \ 173</td><td>397 \ 107</td><td>0.024 \ 2.24</td><td>636 \ 173</td></tr><tr><td/><td>Round</td><td>86</td><td>0.476 \ 2.88</td><td>8.66</td><td>86</td><td>0.476 \ 2.88</td><td>8.66</td></tr><tr><td/><td>Σ∆</td><td>102</td><td>0.478 \ 2.88</td><td>10.3</td><td>47</td><td>0.476 \ 2.88</td><td>4.71</td></tr><tr><td>λ=2.15e-07</td><td>Original</td><td>397 \ 107</td><td>0.024 \ 2.24</td><td>636 \ 173</td><td>397 \ 107</td><td>0.024 \ 2.24</td><td>636 \ 173</td></tr><tr><td/><td>Round</td><td>72</td><td>1.17 \ 3.28</td><td>7.21</td><td>72</td><td>1.17 \ 3.28</td><td>7.21</td></tr><tr><td/><td>Σ∆</td><td>87</td><td>1.18 \ 3.28</td><td>8.78</td><td>41</td><td>1.17 \ 3.28</td><td>4.15</td></tr><tr><td>λ=7.74e-07</td><td>Original</td><td>397 \ 107</td><td>0.024 \ 2.24</td><td>636 \ 173</td><td>397 \ 107</td><td>0.024 \ 2.24</td><td>636 \ 173</td></tr><tr><td/><td>Round</td><td>44</td><td>2.32 \ 4.26</td><td>4.49</td><td>44</td><td>2.32 \ 4.26</td><td>4.49</td></tr><tr><td/><td>Σ∆</td><td>54</td><td>2.32 \ 4.27</td><td>5.46</td><td>26</td><td>2.32 \ 4.26</td><td>2.61</td></tr><tr><td>λ=2.78e-06</td><td>Original</td><td>397 \ 107</td><td>0.024 \ 2.24</td><td>636 \ 173</td><td>397 \ 107</td><td>0.024 \ 2.24</td><td>636 \ 173</td></tr><tr><td/><td>Round</td><td>34</td><td>5.91 \ 7.37</td><td>3.49</td><td>34</td><td>5.91 \ 7.37</td><td>3.49</td></tr><tr><td/><td>Σ∆</td><td>45</td><td>5.9 \ 7.37</td><td>4.53</td><td>23</td><td>5.9 \ 7.37</td><td>2.3</td></tr><tr><td>λ=1e-05</td><td>Original</td><td>397 \ 107</td><td>0.024 \ 2.24</td><td>636 \ 173</td><td>397 \ 107</td><td>0.024 \ 2.24</td><td>636 \ 173</td></tr><tr><td/><td>Round</td><td>24</td><td>14.6 \ 14.6</td><td>2.5</td><td>24</td><td>14.6 \ 14.6</td><td>2.5</td></tr><tr><td/><td>Σ∆</td><td>35</td><td>14.6 \ 14.6</td><td>3.58</td><td>19</td><td>14.6 \ 14.6</td><td>1.98</td></tr></table>

Peer review (iclr2017):
The paper presents a method to improve the efficiency of CNNs that encode sequential inputs in a ‘slow’ fashion such that there is only a small change between the representation of adjacent steps in the sequence. It demonstrates theoretical performance improvements for toy video data (temporal mnist) and natural movies with a powerful Deep CNN (VGG). The improvement is naturally limited by the ‘slowness’ of the CNN representation that is transformed into a sigma-delta network: CNNs that are specifically designed to have ‘slow’ representations will benefit most. Also, it is likely that only specialised hardware can fully harness the improved efficiency achieved by the proposed method. Thus as of now, the full potential of the method cannot be thoroughly evaluated. However, since the processing of sequential data seems to be a broad and general area of application, it is conceivable that this work will be useful in the design and application of future CNNs. All in all, this paper introduces an interesting idea to address an important topic. It shows promising initial results, but the demonstration of the actual usefulness and relevance of the presented method relies on future work.