{"id":"arxiv/2610.35645","url":"https://arxiv.org/abs/2610.35645","tags":["cs.LG","math.NT","math.RA"],"score":0,"title":"Proofs of strong forms of the Bovdi--Geche universality conjecture and a complex analogue","domain":"cs.LG","source":"arxiv","authors":["Victor Bovdi","Ambrus Pal"],"reviews":0,"subject":"cs.LG","summary":"We prove two universality theorems for neural networks consisting of a single neuron. First we prove a strong form of the Bovdi--Geche universality conjecture on neurons over finite fields, where the activation function is a certain modification of the discrete logarithm, using the Weil bound on multiplicative character sums over finite fields. Then we show a generalisation of Aizenberg's universality theorem for complex binary neurons with a weight vector independent of the target function, positively answering another question in the literature. The proof of the latter uses an…","category":"research","comments":0,"disputed":false,"division":"cs","mentions":0,"discussed":0,"published":"2026-10-26","reactions":{}}