High Quality QCD Axion in the Standard Model

Although the axion is the most compelling solution to the strong CP problem, the ad hoc introduced global Peccei-Quinn symmetry suffers from a severe fine-tuning problem known as the quality problem. In this Letter, we show that the discrete gauge symmetry $\mathbb Z_4 \times \mathbb Z_3$ motivated from the internal structure of the Standard Model can naturally predict a high-quality axion, leading to a distinct and testable parameter space. Remarkably, this minimal framework simultaneously accounts for neutrino masses, baryon asymmetry, and dark matter.