An axion is a hypothetical elementary particle postulated by the Peccei–Quinn theory in 1977. If axions exist and have low mass within a specific range, they are of interest as