Domain walls in Nelson-Barr axion model

We explore a concrete realization of a Nelson-Barr model addressing the strong CP problem with suppressed unfavorable corrections. This model has a scalar field that spontaneously breaks discrete symmetry, and its phase component can naturally be relatively light, which we call the Nelson-Barr axion. It has both a tree-level potential and the QCD instanton-induced potential like the QCD axion, each minimizing at the CP-conserving point. While one potential leads to domain wall formation, the other works as a potential bias. This model provides a natural setup for the collapse of the axion domain walls by a potential bias without spoiling a solution to the strong CP problem. We discuss the cosmological implications of domain wall collapses, including dark matter production and gravitational wave emission.