Piecewise linear functions and neural network expressivity via discriminantal arrangements

We extend the hyperplane arrangement framework for neural network expressivity from the braid to discriminantal arrangements. Compatible piecewise linear functions are characterized by circuit relations and admit a matroidal description via Mobius inversion, with dimension equal to the number of independent sets. For circuits of size three, functions are determined by values on subsets of size at most two.