Skip Nav Destination
Close Modal
Update search
NARROW
Format
Journal
Date
Availability
1-1 of 1
Haruki Abe
Close
Follow your search
Access your saved searches in your account
Would you like to receive an alert when new items match your search?
Sort by
Journal Articles
Publisher: Journals Gateway
Neural Computation (2024) 36 (8): 1541–1567.
Published: 19 July 2024
FIGURES
Abstract
View article
PDF
We present an investigation on threshold circuits and other discretized neural networks in terms of the following four computational resources—size (the number of gates), depth (the number of layers), weight (weight resolution), and energy—where the energy is a complexity measure inspired by sparse coding and is defined as the maximum number of gates outputting nonzero values, taken over all the input assignments. As our main result, we prove that if a threshold circuit C of size s , depth d , energy e , and weight w computes a Boolean function f (i.e., a classification task) of n variables, it holds that log ( rk ( f ) ) ≤ e d ( log s + log w + log n ) regardless of the algorithm employed by C to compute f , where rk ( f ) is a parameter solely determined by a scale of f and defined as the maximum rank of a communication matrix with regard to f taken over all the possible partitions of the n input variables. For example, given a Boolean function CD n ( ξ ) = ⋁ i = 1 n / 2 ξ i ∧ ξ n / 2 + i , we can prove that n / 2 ≤ e d ( log s + log w + log n ) holds for any circuit C computing CD n . While its left-hand side is linear in n , its right-hand side is bounded by the product of the logarithmic factors of s , w , n and the linear factors of d , e . If we view the logarithmic terms as having a negligible impact on the bound, our result implies a trade-off between depth and energy: n / 2 needs to be smaller than the product of e and d . For other neural network models, such as discretized ReLU circuits and discretized sigmoid circuits, we also prove that a similar trade-off holds. Thus, our results indicate that increasing depth linearly enhances the capability of neural networks to acquire sparse representations when there are hardware constraints on the number of neurons and weight resolution.
Includes: Supplementary data