SupplementaryMaterialsfor LearningPhysicalDynamicswithSubequivariant GraphNeuralNetworks

The proof is given by [11]. Eq. (13)is clearlyO(3)-subequivariant, but theO(3)-subequivariant function is unnecessarily the form like Eq. (13). Then there must exit functionss( Z,h) and s ( Z,h), satisfying ˆf( Z,h) = [ Z, g]s( Z,h)+ Z s ( Z,h). Note thatf by Eq. (14) can also be considered as a function of both Z and g, and it is universal accordingtoProposition1. When f reducestoafunctionof Z byfixing g,thenbyTheorem1,itis 4 still universal with respect tothe subgroup that leaves g unchanged.