The characteristic polynomial of a random unitary matrix: A probabilistic approach | Synapse