Seems like this would have strong implications for distillation and/or smaller types of transformers!

No, this is pure graph theory, and is quite far away from anything machine learning.

How? I don't see it. (I'm familiar with the ML side, not the combinatorics side.)