Table of Contents
Fetching ...

On The Expressivity of Recurrent Neural Cascades

Nadezda Alexandrovna Knorozova, Alessandro Ronca

TL;DR

A novel framework where capabilities of RNCs are assessed by analysing which semigroups and groups a single neuron is able to implement is developed, which shows that RNCs can achieve the expressivity of all regular languages by introducing neurons that can implement groups.

Abstract

Recurrent Neural Cascades (RNCs) are the recurrent neural networks with no cyclic dependencies among recurrent neurons. This class of recurrent networks has received a lot of attention in practice. Besides training methods for a fixed architecture such as backpropagation, the cascade architecture naturally allows for constructive learning methods, where recurrent nodes are added incrementally one at a time, often yielding smaller networks. Furthermore, acyclicity amounts to a structural prior that even for the same number of neurons yields a more favourable sample complexity compared to a fully-connected architecture. A central question is whether the advantages of the cascade architecture come at the cost of a reduced expressivity. We provide new insights into this question. We show that the regular languages captured by RNCs with sign and tanh activation with positive recurrent weights are the star-free regular languages. In order to establish our results we developed a novel framework where capabilities of RNCs are accessed by analysing which semigroups and groups a single neuron is able to implement. A notable implication of our framework is that RNCs can achieve the expressivity of all regular languages by introducing neurons that can implement groups.

On The Expressivity of Recurrent Neural Cascades

TL;DR

A novel framework where capabilities of RNCs are assessed by analysing which semigroups and groups a single neuron is able to implement is developed, which shows that RNCs can achieve the expressivity of all regular languages by introducing neurons that can implement groups.

Abstract

Recurrent Neural Cascades (RNCs) are the recurrent neural networks with no cyclic dependencies among recurrent neurons. This class of recurrent networks has received a lot of attention in practice. Besides training methods for a fixed architecture such as backpropagation, the cascade architecture naturally allows for constructive learning methods, where recurrent nodes are added incrementally one at a time, often yielding smaller networks. Furthermore, acyclicity amounts to a structural prior that even for the same number of neurons yields a more favourable sample complexity compared to a fully-connected architecture. A central question is whether the advantages of the cascade architecture come at the cost of a reduced expressivity. We provide new insights into this question. We show that the regular languages captured by RNCs with sign and tanh activation with positive recurrent weights are the star-free regular languages. In order to establish our results we developed a novel framework where capabilities of RNCs are accessed by analysing which semigroups and groups a single neuron is able to implement. A notable implication of our framework is that RNCs can achieve the expressivity of all regular languages by introducing neurons that can implement groups.
Paper Structure (66 sections, 44 theorems, 154 equations, 8 figures, 2 algorithms)

This paper contains 66 sections, 44 theorems, 154 equations, 8 figures, 2 algorithms.

Key Result

Theorem 1

Every semiautomaton is homomorphically represented by a cascade of prime semiautomata. Every group-free semiautomaton is homomorphically represented by a cascade of flip-flop semiautomata.

Figures (8)

  • Figure 1: A price chart matching the TTOP pattern.
  • Figure 2: Diagram of the cascade for stock prediction.
  • Figure 3: Diagram of Previous.
  • Figure 4: Diagram of Slope.
  • Figure 5: Diagram of LastMax and LastMin.
  • ...and 3 more figures

Theorems & Definitions (85)

  • Definition 1
  • Definition 2
  • Definition 3
  • Theorem 1: Krohn-Rhodes
  • Theorem 2: Letichevsky
  • Definition 4
  • Proposition 1
  • Definition 5
  • Proposition 2
  • Definition 6
  • ...and 75 more