Goto

Collaborating Authors

 Schicho, Josef


Positivity sets of hinge functions

arXiv.org Machine Learning

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.


Representing Piecewise Linear Functions by Functions with Small Arity

arXiv.org Artificial Intelligence

A piecewise linear function can be described in different forms: as an arbitrarily nested expression of $\min$- and $\max$-functions, as a difference of two convex piecewise linear functions, or as a linear combination of maxima of affine-linear functions. In this paper, we provide two main results: first, we show that for every piecewise linear function there exists a linear combination of $\max$-functions with at most $n+1$ arguments, and give an algorithm for its computation. Moreover, these arguments are contained in the finite set of affine-linear functions that coincide with the given function in some open set. Second, we prove that the piecewise linear function $\max(0, x_{1}, \ldots, x_{n})$ cannot be represented as a linear combination of maxima of less than $n+1$ affine-linear arguments. This was conjectured by Wang and Sun in 2005 in a paper on representations of piecewise linear functions as linear combination of maxima.


Classification of higher Mobility closed-loop Linkages

arXiv.org Artificial Intelligence

We provide a complete classification of paradoxical closed-loop $n$-linkages, where $n\geq6$, of mobility $n-4$ or higher, containing revolute, prismatic or helical joints. We also explicitly write down strong necessary conditions for $nR$-linkages of mobility $n-5$. Our main new tool is a geometric relation between a linkage $L$ and another linkage $L'$ resulting from adding equations to the configuration space of $L$. We then lift known classification results for $L'$ to $L$ using this relation.


An algebraic study of linkages with helical joints

arXiv.org Artificial Intelligence

Methods from algebra and algebraic geometry have been used in various ways to study linkages in kinematics. These methods have failed so far for the study of linkages with helical joints (joints with screw motion), because of the presence of some non-algebraic relations. In this article, we explore a delicate reduction of some analytic equations in kinematics to algebraic questions via a theorem of Ax. As an application, we give a classification of mobile closed 5-linkages with revolute, prismatic, and helical joints.