A closed-form trace identity for the inverse fine-structure constant | Synapse