Title: LEARNING NEURON NON-LINEARITIES WITH KERNEL-BASED DEEP NEURAL NETWORKS

Abstract: The effectiveness of deep neural architectures has been widely supported in terms of both experimental and foundational principles. There is also clear evidence that the activation function (e.g. the rectifier and the LSTM units) plays a crucial role in the complexity of learning. Based on this remark, this paper discusses an optimal selection of the neuron non-linearity in a functional framework that is inspired from classic regularization arguments. A representation theorem is given which indicates that the best activation function is a kernel expansion in the training set, that can be effectively approximated over an opportune set of points modeling 1-D clusters. The idea can be naturally extended to recurrent networks, where the expressiveness of kernel-based activation functions turns out to be a crucial ingredient to capture long-term dependencies. We give experimental evidence of this property by a set of challenging experiments, where we compare the results with neural architectures based on state of the art LSTM cells.

1. INTRODUCTION:

By and large, the appropriate selection of the activation function in deep architectures is regarded as an important choice for achieving challenging performance. For example, the rectifier function (Glorot et al., 2011) has been playing an important role in the impressive scaling up of nowadays deep nets. Likewise, LSTM cells (Hochreiter & Schmidhuber, 1997) are widely recognized as the most important ingredient to face long-term dependencies when learning by recurrent neural networks. Both choices come from insightful ideas on the actual non-linear process taking place in deep nets. At a first glance, one might wonder why such an optimal choice must be restricted to a single unit instead of extending it to the overall function to be learned. In addition, this general problem has been already been solved; its solution (Poggio & Girosi, 1990; Girosi et al., 1995; 2000) is in fact at the basis of kernel machines whose limitations as shallow nets have been widely addressed (see e.g. (LeCun et al., 2015; Mhaskar et al., 2016) ). However, the optimal formulation given for the neuron non-linearity enjoys the tremendous advantage of acting on 1-D spaces. This strongly motivates the reformulation of the problem of learning in deep neural network as a one where the weights and the activation functions are jointly determined by optimization in the framework of regularization operators (Smola et al., 1998) , that are used to enforce the smoothness of the solution.

The idea of learning the activation function is not entirely new. In (Turner & Miller, 2014) , activation functions are chosen from a pre-defined set and combine this strategy with a single scaling parameter that is learned during training. It has been argued that one can think of this function as a neural network itself, so the overall architecture is still characterized by a directed acyclic graph (Castelli & Trentin, 2014) . Other approaches learn activation functions as piecewise linear (Agostinelli et al., 2014) , doubled truncated gaussian (Su et al., 2017) or Fourier series (Eisenach et al., 2016) .

While working on this representational issues we have recently discovered the paper by (Scardapane et al., 2017) , which introduces a family of activation functions that are based on a kernel expansion at every neuron. The proposed approach is based on the nice intuition that a kernel-based representation at for the neuron function is computationally efficient, yet very effective in terms of representation. The authors provide strong support to their idea by significant experimental results. Interestingly, in this paper, where we provide additional independent support to the kernel-based representation of the neuron function given in (Scardapane et al., 2017) by reinforcing the idea in different ways. In particular, we prove that, like for kernel machines, the optimal solution of the variational problem that characterizes the process of supervised learning in the framework of regularization can be expressed by a kernel expansion, so as the overall optimization is reduced to the discovery of a finite set of parameters. The risk function to be minimized contains the weights of the network connections, as well as the parameters associated with the the points of the kernel expansion. Hence, the classic learning of the weights of the network takes place with the concurrent development of the optimal shape of the activation functions, one for each neuron. As a consequence, the machine architecture turns out to enjoy the strong representational issues of deep networks in high dimensional spaces that is conjugated with the elegant and effective setting of kernel machines for the learning of the activation functions. The powerful unified regularization framework is not the only feature that emerges from the proposed architecture. Interestingly, unlike most of the activation functions used in deep networks, those that are typically developed during learning, are not necessarily monotonic. This property has a crucial impact in their adoption in classic recurrent networks, since this properly addresses classic issues of gradient vanishing when capturing long-term dependencies. Throughout this paper, recurrent networks with activation functions based on kernel expansion, are referred to as Kernel-Based Recurrent Networks (KBRN). The intuition is that the associated iterated map can either be contractive or expansive. Hence, while in some states the contraction yields gradient vanishing, in others the expansion results in to gradient pumping, which allows the neural network to propagate information back also in case of long time dependences. The possibility of implementing contractive and expanding maps during the processing of a given sequence comes from the capabilities of KBRN to develop different activation functions for different neurons that are not necessarily monotonic. This variety of units is somewhat related to the clever solution proposed in LSTM cells (Hochreiter & Schmidhuber, 1997) , where the authors realized early that there was room for getting rid of the inherent limitation of the contractive maps deriving from sigmoidal units. This contribution to the representation and learning in recurrent neural network is another difference with respect to the related contribution given in (Scardapane et al., 2017) .

The given experimental results provided below demonstrate this property on challenging benchmarks that are inspired from seminal paper (Bengio et al., 1993) , where the distinctive information for classification of long sequences is only located in the first positions, while the rest contains uniformly distributed noisy information. We get very promising results on these benchmarks when comparing KBRN with state of the art recurrent architectures based on LSTM cells.

2. REPRESENTATION AND LEARNING:

The feedforward architecture that we consider is based on a directed graph D ∼ (V, A), where V is the set of ordered vertices and A is the set of the oriented arcs. Given i, j ∈ V there is connection from i to j iff i ≺ j. Instead of assuming a uniform activation function for each vertex of D, a specific function f is attached to each vertex. We denote with I the set of input neurons, with O the set of the output neurons and with H = V \ (I ∪ O) the set of hidden neurons; the cardinality of these sets will be denoted as |I|, |O|, |H| and |V | ≡ n. Without loss of generality we will also assume that:

I = {1, 2, . . . , |I|}, H = {|I| + 1, |I| + 2, . . . , |I| + |H|} and O = {|I| + |H| + 1, |I| + |H| + 2, . . . |I| + |H| + |O|}.

The learning process is based on the training set:

T N = { (e κ , y κ ) ∈ R |I| × R |O| | κ = 1, . . . N }.

Given an input vector z = (z 1 , z 2 , . . . z |I| ), the output associated with the vertices of the graph is computed as follows1 :

x

EQUATION

with a i = j∈pa(i) w ij x j + b i , where pa(i) are the parents of neuron i, and

f i : Ω Λ → R are one dimensional real functions; Ω Λ := [-Λ, Λ],

with Λ chosen big enough, so that Eq. ( 1) is always well defined. Now let f = (f 1 , f 2 , . . . , f n ) and define the output function of the network

F (•, w, b; f ) : R |I| → R |O| by F i (z, w, b; f ) := x i+|I|+|H| (z), i = 1, . . . , |O|.

The learning problem can then be formulated as a double optimization problem defined on both the weights w, b and on the activation functions f i . It is worth mentioning that while the optimization on the weights of the graph reflects all important issues connected with the powerful representational

3 4 5 1 2 4 4 2 4 4 1 4 N 4 κ • • • • • • a 4 x 4 = f 4 (a 4 ) (a) (b)

Figure 1 : (a) A simple network architecture; the output evaluated using Eq. ( 1) is

x 5 (z 1 , z 2 ) = f 5 (w 53 f 3 (w 31 z 1 + w 32 z 2 + b 3 ) + w 54 f 4 (w 41 z 1 + w 42 z 2 + b 4 ) + b 5 ). (b)

Highlight of the structure of neuron 4 (encircled in the dashed line) of (a): The activation function f 4 of the neuron is computed as an expansion over the training set. Each neuron 4 j , j = 1, . . . , N in the figure corresponds to the term g(a 4 -a j 4 ) in Eq. ( 4). properties of deep nets, the optimal discovery of the activation functions are somewhat related to the framework of kernel machines. Such an optimization is defined with respect to the following objective function:

EQUATION

which accumulates the empirical risk and a regularization term (Smola et al., 1998) . Here, we indicate with (•, •) the standard inner product of L2 (Ω Λ ), with P a differential operator of degree p, while V is a suitable loss function.

Clearly, one can optimize E by independently checking the stationarity with respect to the weights associated with the neural connections and the stationarity with respect to the activation functions. Now we show that the stationarity condition of E with respect to the functional variables f (chosen in a functional space X p that depends on the order of differential operator P ) yields a solution that is very related to classic case of kernel machines that is addressed in (Smola et al., 1998) . If we consider a variation v i ∈ C ∞ c (Ω Λ ) with vanishing derivatives on the boundary 2 of Ω Λ up to order p -1 and define ϕ i (t) := E(f 1 , . . . , f i + tv i , . . . , f n ; w, b). The first variation of the functional E along v i is therefore ϕ i (0). When using arguments already discussed in related papers (Poggio & Girosi, 1990; Girosi et al., 1995; Smola et al., 1998) we can easily see that

ϕ i (0) = ΩΛ Lf i (a) + N κ=1 α κ i δ a κ i (a) v i (a) da,

where α κ i = ∇ F V • ∂ fi F and L = P * P , P * being the adjoint operator of P . We notice in passing that the functional dependence of E on f is quite involved, since it depends on the compositions of linear combinations of the functions f i (see Figure 1-(a) ). Hence, the given expression of the coefficients α κ i is rather a formal equation that, however, dictates the structure of the solution. The stationarity conditions ϕ i (0) = 0 reduce to the following Euler-Lagrange (E-L) equations

EQUATION

where a κ i is the value of the activation function on the κ-th example of the training set. Let g be the Green function of the operator L, and let k BE the solution of Lk = 0. Then, we can promptly see that

f i (a) = k(a) - N κ=1 α κ i g(a -a κ i ) (4)

is the general form of the solution of Eq. ( 3). Whenever L has null kernel, then this solution is reduced to an expansion of the Green function over the points of the training set. For example, this happens in the case of the pseudo differential operator that originates the Gaussian as the Green function. If we choose P = d/dx, then L = -d 2 /dx 2 . Interestingly, the Green function of the second derivative is the rectifier g(x) = -1 2 (|x| + x) and, moreover, we have k(x) = mx + q. In this case

EQUATION

where

θ i = m + 1 2 N κ=1 α κ i , while ν i = q -1 2 N κ=1 α κ i a κ i .

Because of the representation structure expressed by Eq. ( 4), the objective function of the original optimization problem collapses to a standard finite-dimensional optimization on3 

Ê(α, w, b) := E k(a) - κ α κ g(a -a κ ); w, b = R(α) + N κ=1

V (e κ , y κ , F (e κ , w, b; α)); here R(α) is the regularization term and F (e κ , w, b; α) := F e κ , w, b; k(a)κ α κ i g(a -a κ i ) . This collapse of dimensionality is the same which leads to the dramatic simplification that gives rise to the theory of kernel machines. Basically, in all cases in which the Green function can be interpreted as a kernel, this analysis suggests the neural architecture depicted in Figure 1 , where we can see the integration of graphical structures, typical of deep nets, with the representation in the dual space typical of kernel methods.

We can promptly see that the idea behind kernel-based deep networks can be extended to cyclic graphs, that is to recurrent neural networks. In that case, the analogous of Eq. ( 1) is:

h t+1 i = f i (a t+1 i ); a t+1 i = b i + j∈pa t→t+1 (i) w ij h t j + j∈pa t+1 (i) u ij x t+1 j .

Here we denote with x t i the input at step t and with h t i the state of the network. The set pa t→t+1 (i) contains the vertices j that are parents of neuron i; the corresponding arcs (j, i) are associated with a delay, while pa t (i) vertices j with non-delayed arcs (j, i). The extension of learning in KBDNN to the case of recurrent nets is a straightforward consequence of classic Backpropagation Through Time.

3. APPROXIMATION AND ALGORITHMIC ISSUES:

The actual experimentation of the model described in the previous section requires to deal with a number of important algorithmic issues. In particular, we need to address the typical problem associated with the kernel expansion over the entire training set, that is very expensive in computational terms. However, we can early realize that KBDNNs only require to express kernel in 1-D, which dramatically simplify the kernel approximation. Hence, instead of expanding f i over the entire training set, we can use a number of points d with d N . This means that the expansion in Eq. ( 4) is approximated as follows

EQUATION

where c k i and χ k i are the centers and parameters of the expansion, respectively. Notice that χ k i are replacing α κ i in the formulation given in Section 2). We consider c k i and χ k i as parameters to be learned, and integrate them in the whole optimization scheme.

In the experiments described below we use the rectifier (ReLU) as Green function (g(x) = -1 2 (|x| + x)) and neglect the linear terms from both g(x) and k(x). We can easily see that this is compatible with typical requirements in machine learning experiments, where in many cases the expected solution is not meaningful with very large inputs. For instance, the same assumption is typically at the basis of kernel machines, where the asymptotic behavior is not typically important. The regularization term R(χ) can be inherited from the regularization operator P . For the experiments carried out in this paper we decided to choose the 1 norm4 :

R(χ) ≈ λ χ 1≤k≤d 1≤i≤n |χ k i |,

with λ χ ∈ R being an hyper-parameter that measures the strength of the regularization.

In a deep architecture, when stacking multiple layers of kernel-based units, the non-monotonicity of the activation functions implies the absence of guarantees about the interval on which these functions operate, thus requiring them to be responsive to very heterogeneous inputs. In order to face this problem and to allow kernel-based units to concentrate their representational power on limited input ranges, it is possible to apply a normalization (Ioffe & Szegedy, 2015) to the input of the function. In particular, given f i (a κ i ), a κ i can be normalized as:

âκ i = γ i (a κ i -µ i ) σ i + β i ; where µ i = 1 N N κ=i a κ i , σ i = 1 N N κ=i (a κ i -µ i ) 2 ;

while γ i and β i are additional trainable parameters.

4. EXPERIMENTS:

We carried out several experiments in different learning settings to investigate the effectiveness of the KBDNN with emphasis on the adoption of kernel-based units in recurrent networks for capturing long-term dependences. Clearly, KBDNN architectures require to choose both the graph and the activation function. As it will be clear in the reminder of this section, the interplay of these choices leads to gain remarkable properties.

4.1. THE XOR PROBLEM.:

We begin presenting a typical experimental set up in the classic XOR benchmark. In this experiment we chose a single unit with the Green function g(z) = |z|, so as y = f (w

1 z 1 + w 2 z 2 + b) turns out to be y = d k=1 χ k |w 1 z 1 + w 2 z 2 + b -c k |

where w 1 ,w 2 and b are trainable variables and the learning of f corresponds with the discovery of both the centroids c k and the associated weights χ k . The simplicity of this learning task allows us to underline some interesting properties of KBDNNs. We carried out experiment by selecting a number of points for the expansion of the Green function that ranges from 50 to 300. This was done purposely to assess the regularization capabilities of the model, that is very much related to what typically happens with kernel machines. In Figure 2 , we can see the neuron function f at the end of the learning process under different settings. In the different columns, we plot function f with a different numbers d of clusters, while the two rows refer to experiments carried out with and without regularization. As one could expect, the learned activation functions become more and more complex as the number of clusters increases. However, when performing regularization, the effect of the kernel-based component of the architecture plays a crucial role by smoothing the functions significantly.

4.2. THE CHARGING PROBLEM:

Let us consider a dynamical system which generates a Boolean sequence according to the model

EQUATION

where h -1 = 0, x = x t is a sequence of integers and y = y t is a Boolean sequence, that is y t ∈ {0, 1}. An example of sequences generated by this system is the following: t = 0 1 2 3 4 5 6 7 8 9 10 . . . x t = 0 0 0 4 0 0 0 0 0 0 0 . . . y t = 0 0 0 1 1 1 1 0 0 0 0 . . . . Notice that the system keeps memory when other 1 bit are coming, that is t = 0 1 2 3 4 5 6 7 8 9 10 . . . x t = 0 0 0 4 0 2 0 0 0 0 0 . . . y t = 0 0 0 1 1 1 1 1 1 0 0 . . . The purpose of this experiment was that of checking what are the learning capabilities of KBRN to approximate sequences generated according to Eq. 7. The intuition is that a single KB-neuron is capable to charge the state according to an input, and then to discharge it until the state is reset. We generated sequences x t of length L = 30. Three random element of each sequence were set with a random number ranging from 0 to 9. We compared KBRN, RNN with sigmoidal units, and recurrent with LSTM cells, with a single hidden unit. We used a KBRN unit with d = 20 centers to approximate the activation function. The algorithm used for optimization used the Adam algorithm with λ = 0.001 in all cases. Each model was trained for 10000 iterations with mini-batches of size 500. Figure 3 shows the accuracy on a randomly generated test set of size 25000 during the training process. The horizontal axis is in logarithmic scale.

4.3. LEARNING LONG-TERM DEPENDENCIES:

We carried out a number of experiments aimed at investigating the capabilities of KBRN in learning tasks where we need to capture long-term dependencies. The difficulties of solving similar problems was addressed in (Bengio et al., 1993) by discussions on gradient vanishing that is mostly due to the monotonicity of the activation functions. The authors also provided very effective yet simple benchmarks to claim that classic recurrent networks are unable to classify sequences where the distinguishing information is located only at the very beginning of the sequence; the rest of the sequence was supposed to be randomly generated. We defined a number of benchmarks inspired by the one given in (Bengio et al., 1993) , where the decision on the classification of sequence x t is contained in the first L bits of a Boolean sequence of length T L. We compared KBRN and recurrent nets with LSTM cells using an architecture where both networks were based on 20 hidden units. We used the Adam algorithm with λ = 0.001 in all cases. Each model was trained for a maximum of 100, 000 iterations with mini-batches of size 500; for each iteration, a single weight update was performed. For the LSTM cells, we used the standard implementation provided by TensorFlow (following (Zaremba et al., 2014) ). For KBRN we used a number of centroids d = 100 and the described normalization.

We generated automatically a set of benchmarks with L = 2 and variable length T , where the binary sequences x t can be distinguished when looking simply at the first two bits, while the the rest is a noisy string with uniformly random distribution. Here we report some of our experiments when choosing the first two discriminant bits according to the ∨, ∧, ⊕ and ≡ functions.

For each Boolean function, that was supposed to be learned, and for several sequence lengths (up to 50), we performed 5 different runs, with different initialization seeds. A trial was considered successful if the model was capable of learning the function before the maximum allowed number of iterations was reached. In Figure 4 we present the results of these experiments. Each of the four quadrants of Figure 4 is relative to a different Boolean function, and reports two different plots. The first one has the sequence length on the x-axis and the number of successful trials on the y-axis. The second plot has the sequence length on the x-axis and, on the y-axis, the average number of iterations required to solve the task. The analysis of these plots allows us to draw a couple of interesting conclusions: (i) KBRN architectures are capable of solving the problems in almost all cases, regardless of the sequence length, while recurrent networks with LSTM cells started to experiment difficulties for sequences longer than 30, and (ii), whenever convergence is achieve, KBRN architectures converge significantly faster than LSTM.

In order to investigate with more details the capabilities of KBRN of handling very long sequences, we carried out another experiment, that was based on the benchmark that KBRN solved with more difficulty, namely the equivalence (≡) problem. We carried out a processing over sequences with length 60, 80, 100, 150, and 200. In Figure 6 , we report the results of this experiment. As we can see, KBRN are capable of solving the task even with sequences of length 150, eventually failing with sequences of length 200.

5. CONCLUSIONS:

In this paper we have introduced Kernel-Based Deep Neural Networks. The proposed KBDNN model is characterized by the classic primal representation of deep nets, that is enriched with the expressiveness of activation functions given by kernel expansion. The idea of learning the activation function is not entirely new. However, in this paper we have shown that the KBDNN representation turns out to be the solution of a general optimization problem, in which both the weights, that belong to a finite-dimensional space, and the activation function, that are chosen from a functional space are jointly determined. This bridges naturally the powerful representation capabilities of deep nets with the elegant and effective setting of kernel machines for the learning of the neuron functions.

A massive experimentation of KBDNN is still required to assess the actual impact of the appropriate activation function in real-world problems. However, this paper already proposes a first important conclusion which involves recurrent networks, that are based on this kind of activation function. In particular, we have provided both theoretical and experimental evidence to claim that the KBRN architecture exhibits an ideal computational structure to deal with classic problems of capturing long-term dependencies.

:

We use Iverson's notation: Given a statement A, we set (A) to 1 if A is true and to 0 if A is false

We are assuming here that the values of the functions in Xp at the boundaries together with the derivatives up to order p -1 are fixed.

Here we omit the dependencies of the optimization function from the parameters that defines k.

This choice is due to the fact that we want to enforce the sparseness of χ, i.e. to use the smallest number of terms in expansion 6.

Figures and Tables:

Figure 2: XOR. The plots show the activation functions learned by the simplest KBDN which consists of one unit only for the 2-dim (2a) and 4-dim (2b) XOR. The first/second row refer to experiments with without/with regularization, whereas the three columns correspond with the chosen number of point for the expansion of the Green function d = 50, 100, 300.

Figure 3: Charging Problem. The plot shows the accuracy obtained by recurrent nets with classic sigmoidal unit, LSTM cell, and KB unit. The horizontal axis is in logarithmic scale.

Figure 4: Capturing Long-Term dependencies. Number of successful trials and average number of iterations for a classification problem when the ∨, ∧, ⊕ and ≡ functions are used to determine the target, given the first two discriminant bits.

Figure 6: Capturing Long-Term dependencies. Number of successful trials and average number of iterations when facing the ≡ problem with sequences of length ranging from 5 to 200, when the distinguishing information is located in the first two bits.

Peer review (iclr2019):
 The paper investigates the problem of designing the activation functions of neural networks with focus on recurrent architectures. The authors frame such problem as learning the activation functions in the space of square integrable functions by adding a regularization term penalizing the differential properties of candidate functions. In particular, the authors observe that this strategy is related to some well-established approaches to select activation functions such as ReLUs. The paper has some typos and some passages are hard to read/interpret. The write-up needs to be improved significantly. While some of the observations reported by the authors are interesting it is in general hard to evaluate the contributions of the paper. In particular the discussion of Sec. 2 is very informal, although ti describes the key technical observations used in the paper to devise the model (Sec. 3) that is then evaluated in the experiments (Sec. 4). In particular, it is unclear whether the authors are describing some known results - in which case they should add references - or original contributions - in which case they should report their results with more mathematical rigour. Indeed, in the abstract, the authors state that a representation theorem is given, but in the text they provide only an informal discussion of such result. Overall, it is hard to agree with the authors* conclusion that "the KBRN architecture exhibits an ideal computational structure to deal with classic problems of capturing long-term dependencies": the theoretical discussion does not provide sufficient evidence in this sense. Some minor points: Confusing notation: why were the alpha^k replaced with the .chi^k between Sec. 2 and Sec. 3? Unclear motivation for some design choices. For instance 1) the justification given by the authors to neglect the linear terms from both g(x) and k(x) in Sec. 3 is unclear. 2) why was the .ell_1 norm used as penalty for the regularizer R(.chi) in Sec.3? One could argue that .ell_1 is used to encourage sparse solutions, but the authors should explain why sparsity is desirable in this setting.