🤖 AI Summary
This work investigates the geometric characterization of positivity sets—i.e., the sets of inputs yielding positive outputs—for single-layer ReLU neural networks in ℝ² and ℝᵈ. For ℝ², we establish the first necessary and sufficient condition for a positivity set to be a convex cone and provide a complete classification of all realizable conic positivity sets. For general subsets of ℝᵈ, we derive universal necessary conditions grounded in convex conic geometry and the piecewise-linear structure induced by the ReLU activation (a hinge function). Methodologically, our analysis integrates tools from convex geometry, real algebraic geometry, and the piecewise-linear theory of ReLU networks. Our contributions include: (i) establishing a rigorous theoretical link between neural decision boundaries and classical convex geometry; (ii) constructing nontrivial examples demonstrating the tightness of our conditions; and (iii) proposing necessary conditions that are both theoretically profound and practically verifiable—offering a novel paradigm for understanding the expressive capacity of shallow neural networks.
📝 Abstract
In this paper we investigate which subsets of the real plane are realisable as the set of points on which a one-layer ReLU neural network takes a positive value. In the case of cones we give a full characterisation of such sets. Furthermore, we give a necessary condition for any subset of $mathbb R^d$. We give various examples of such one-layer neural networks.