Rephasing invariant structure of Dirac CP phase and basis independent reduction of unitarity constraints for mixing matrices
This paper derives a basis-independent, rephasing-invariant expression for the Dirac CP phase under specific approximations of charged lepton mixing and establishes a method to reduce unitarity constraints for arbitrary unitary matrices, thereby enabling the direct translation of theoretical results from the PDG parametrization into rephasing invariants.