CP-Violation and axions in an effective technicolor model

CP violation is studied in an SO(10)⁵ effective technicolor model. One can generate a KM mixing matrix with a non-zero value for δ. The model has 5 chiral symmetries and hence 5 axions, of which 3 are invisible and 2 are heavy. Breaking these symmetries and minimizing the vacuum energy density fixes $\text{θ}$ to bezero. This solves the strong CP problem.