arXiv AI By A. Massarenti, M. Mella

The Alexander-Hirschowitz theorem for neurovarieties

Read the original on arXiv AI →

arXiv:2511. 19703v2 Announce Type: replace-cross Abstract: We study the dimension and identifiability of neurovarieties associated to polynomial neural networks.

Machine-generated by The Flow from the publisher's headline and feed description — not written or checked by a human. The full article lives at arXiv AI.

arXiv Machine Learning
Aug 28

Linear Independence of Polynomial Compositions and Identifiability of Deep Neural Networks

The paper proposes a conjecture that composing a fixed number of distinct nonconstant polynomials with a generic high‑degree polynomial produces linearly independent polynomials, extending Newman–Slater’s theorem. The authors prove the conjecture for two polynomials and for any number when the degrees are bounded, and they show how these results explain the parameter symmetries of deep fully connected neural networks with generic polynomial activations. In particular, for architectures with layer‑specific activations of increasing degree, the conjecture’s proven cases fully characterize the parameter sets that yield the same end‑to‑end network function, and it also resolves the identifiability of shallow polynomial networks.

By Kathl\'en Kohn, Giovanni Luca Marchetti, Alex Massarenti, Massimiliano Mella
arXiv Machine Learning
Jun 16

Constraining the outputs of ReLU neural networks

arXiv:2508. 03867v2 Announce Type: replace-cross Abstract: We introduce a class of algebraic varieties naturally associated with ReLU neural networks, arising from the piecewise linear structure of their outputs across activation regions in input space, and the piecewise multilinear structure in parameter space.

By Yulia Alexandr, Guido Mont\'ufar
arXiv Machine Learning
Oct 16

Linear Independence of Polynomial Compositions with Bounded Input Degree

The paper proves the weak composition‑independence conjectures of Kohn, Marchetti, Massarenti and Mella by employing deformations of rational curves and a single kernel of the linearized equation, with Riemann‑Roch providing a contradiction from tangent fields with controlled poles. This result establishes that a neural network using a general polynomial activation function of sufficiently large degree is identifiable.

By Xiaotian Chang, Yacoub Hendi