Empirical Bounds on Linear Regions of Deep Rectifier Networks

10/08/2018
by   Thiago Serra, et al.
0

One form of characterizing the expressiveness of a piecewise linear neural network is by the number of linear regions, or pieces, of the function modeled. We have observed substantial progress in this topic through lower and upper bounds on the maximum number of linear regions and a counting procedure. However, these bounds only account for the dimensions of the network and the exact counting may take a prohibitive amount of time, therefore making it infeasible to benchmark the expressiveness of networks. In this work, we approximate the number of linear regions of specific rectifier networks with an algorithm for probabilistic lower bounds of mixed-integer linear sets. In addition, we present a tighter upper bound that leverages network coefficients. We test both on trained networks. The algorithm for probabilistic lower bounds is several orders of magnitude faster than exact counting and the values reach similar orders of magnitude, hence making our approach a viable method to compare the expressiveness of such networks. The refined upper bound is particularly stronger on networks with narrow layers.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
11/06/2017

Bounding and Counting Linear Regions of Deep Neural Networks

In this paper, we study the representational power of deep neural networ...
research
06/01/2022

Lower and Upper Bounds for Numbers of Linear Regions of Graph Convolutional Networks

The research for characterizing GNN expressiveness attracts much attenti...
research
04/16/2021

Sharp bounds for the number of regions of maxout networks and vertices of Minkowski sums

We present results on the number of linear regions of the functions that...
research
02/23/2020

Comparing the Parameter Complexity of Hypernetworks and the Embedding-Based Alternative

In the context of learning to map an input I to a function h_I:X→R, we c...
research
12/08/2020

A General Computational Framework to Measure the Expressiveness of Complex Networks Using a Tighter Upper Bound of Linear Regions

The expressiveness of deep neural network (DNN) is a perspective to unde...
research
09/11/2020

Repeated Recursion Unfolding for Super-Linear Speedup within Bounds

Repeated recursion unfolding is a new approach that repeatedly unfolds a...
research
06/25/2018

Resolution with Counting: Lower Bounds over Different Moduli

Resolution over linear equations (introduced in [RT08]) emerged recently...

Please sign up or login with your details

Forgot password? Click here to reset