I spent the weekend recovering from the Gaia Fete. During my recovery day, I worked on very long-term projects. For example, I spent some time working on how to express the following issue in my work (with Villar) on exact symmetries:
The mathematics and computer-science communities call these exact symmetries “equivariances” and they are imagining that the data or the laws of physics are precisely equivariant in the sense that if you (say) rotate all the inputs, you get a rotated output. But this is not the main reason that we write the laws of physics in terms of exact symmetries! We write the laws of physics in terms of invariants because we want our laws of physics to be coordinate free. This is required even when the laws aren't equivariant! But I have trouble making this distinction clearly, since the mathematical implementations of the two symmetries are identical. There's some cool philosophy here: Does coordinate freedom enforce symmetries? What would it even look like for the laws of physics to be asymmetric but coordinate free?
This issue is well known in the quantum gravity community (and much of the classical GR community), where it's sometimes described as the difference between general covariance and background independence. The basic problem was already pointed out by Kretschmann in 1917. For a good discussion (though not a complete resolution), see Giulini, gr-qc/0603087.
ReplyDelete