BZPEERReading, trust and collaboration for researchDiscover
Workspaces
Network
Opportunities
Account
Researcher profile
Hilary Greaves contributes to research discovery and scholarly infrastructure.
Trust snapshot
Actions
Identity and collaboration
Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.
Log in to claimDirect collaboration
Claim this author entity first to unlock direct invitations.
Research graph
Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
We provide a rigorous proof of the CPT theorem within the framework of 'Lagrangian' quantum field theory. This is in contrast to the usual rigorous proofs in purely axiomatic frameworks, and non-rigorous proof-sketches within the Lagrangian framework.
`Global' symmetries, such as the boost invariance of classical mechanics and special relativity, can give rise to direct empirical counterparts such as the Galileo-ship phenomenon. However, a widely accepted line of thought holds that `local' symmetries, such as the diffeomorphism invariance of general relativity and the gauge invariance of classical electromagnetism, have no such direct empirical counterparts. We argue against this line of thought. We develop a framework for analysing the relationship between Galileo-ship empirical phenomena and physical theories that model such phenomena that renders the relationship between theoretical and empirical symmetries transparent, and from which it follows that both global and local symmetries can give rise to Galileo-ship phenomena. In particular, we use this framework to exhibit analogs of Galileo's ship for both the diffeomorphism invariance of general relativity and the gauge invariance of electromagnetism.