5 papers
Linear Independence of Polynomial Compositions with Bounded Input Degree
Xiaotian Chang, Yacoub Hendi
We prove the weak composition-independence conjectures of Kohn, Marchetti, Massarenti and Mella. The proof uses deformations of rational curves and a single kernel of the linearize…
Learning the Graphical Nature of Symmetries
Rashid Barket, Enrico Grimaldi, Yacoub Hendi +3
Finite groups are rigid algebraic objects, whose Cayley graphs expose a rich network geometry through which group-theoretic structure can be measured, compared, and learned. In thi…
The Geometry of Polynomial Group Convolutional Neural Networks
Yacoub Hendi, Daniel Persson, Magdalena Larfors
We study polynomial group convolutional neural networks (PGCNNs) for an arbitrary finite group . In particular, we introduce a new mathematical framework for PGCNNs using the la…
Learning Group Invariant Calabi-Yau Metrics by Fundamental Domain Projections
Yacoub Hendi, Magdalena Larfors, Moritz Walden
We present new invariant machine learning models that approximate the Ricci-flat metric on Calabi-Yau (CY) manifolds with discrete symmetries. We accomplish this by combining the $…
Parameterized Verification under TSO with Data Types
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Florian Furbach +4
We consider parameterized verification of systems executing according to the total store ordering (TSO) semantics. The processes manipulate abstract data types over potentially inf…