Theoretical guarantees for permutation-equivariant quantum neural networks | Synapse