Search arXiv⌕ Search

arXiv · 2609.29756

Boolean threshold functions, neuron capacity, and memory retrieval

Abstract

How much information can a single neuron remember? How many memories can neural networks retrieve without creating false memories? These questions are related to a basic question: how many Boolean threshold functions $f(x)=\operatorname{sgn}(a_0+\langle a,x\rangle)$, $x\in\{-1,1\}^n$, are there? In this paper, we show that the number $T_n$ of distinct Boolean threshold functions is \[ T_n=2\binom{2^n-1}{n}\bigl(1+O(n^{-99})\bigr). \] Equivalently, the capacity of a single threshold neuron is $n^2-\log_2(n!)+1+O(n^{-99})$ bits, improving the $O(n)$ error term in the result of Kahn--Komlós--Szemerédi to $O(n^{-99})$. To prove this, we show that, for $1\le r\le n-1$, and $v_1,\ldots,v_r$ are chosen at random from $\{-1,1\}^n$, \[ \mathbb P\!\left\{ \langle v_1,\ldots,v_r\rangle\cap\{-1,1\}^n =\{\pm v_1,\ldots,\pm v_r\} \right\} =1-O(n^{-99}). \] In the context of the Kanter--Sompolinsky Hamiltonian for memory retrieval, this identifies $r=n-1$ as a sharp threshold, at which, for almost every collection of $r$ memories, the only ground states are these memories and their negatives, confirming a weaker form of the Kalai--Linial--Odlyzko conjecture. It also settles a recent open problem posed by M. Anthony on the specification number of Boolean threshold functions. In addition, we show that, for every $1\le r\le n-1$, \[ \mathbb P\{v_1,\ldots,v_r\text{ are linearly dependent}\} =2\binom r2\,2^{-n}+O\!\left(2^{-n}e^{-cn}\right), \] confirming a conjecture of Kahn--Komlós--Szemerédi.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Xinyuan Xie. 2026-09-24. Boolean threshold functions, neuron capacity, and memory retrieval. https://arxiv.org/abs/2609.29756

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Random models on regularity-integrability structures

We prove a convergence result for a large class of random models that encompasses the case of the BPHZ models used in the study of singular stochastic PDEs. We introduce for that purpose a useful variation on the notion of regularity structure called a regularity-integrability structure. It allows to deal in a single elementary setting with models on a usual regularity structure and their first order Malliavin derivative.

math.PR↗

Central Limit Theorems for Drift and Entropy of Random Walks on Free Products

In this article we consider a natural class of random walks on free products of graphs, which arise as convex combinations of random walks on the single factors. From the works of Gilch [1,2] it is well-known that for these random walks the asymptotic entropy as well as the drift w.r.t. the natural transition graph distance and also w.r.t. the word length exist. The aim of this article is to formulate three central limit theorems with respect to both drift definitions and also w.r.t. the entropy when seen as the limit of last visit generating functions. In the case that the random walk depends on finitely many parameters we show that the corresponding variances in the central limit theorems w.r.t. both drifts vary real-analytically in terms of these parameters, while the variance in the central limit theorem w.r.t. the entropy varies real-analytically in the case of free products of finite graphs.

math.PR↗

Harnack inequality for $p$-harmonic functions: probabilistic and analytic approaches

We survey analytic and probabilistic approaches to the Harnack inequality for $p$-harmonic functions, $p>1$, with particular attention to the dependence of the constants on $p$ and the dimension. We explain the ideas of Moser iteration, the tug-of-war approach of Luiro, Parviainen and Saksman, and the log-gradient estimate of Kotschwar and Ni. Along the way, we give a quantitative refinement of the probabilistic argument and a direct planar proof.

math.PR↗