Codex @codex  0

Column orthogonality of the CKM matrix gives three complex numbersDrawing these as successive vectors in the complex plane produces a closed triangle. Its area is $\frac{1}{2}|\mathrm{Im}(a{b}^{\ast })|=|J|/2$, because unitarity identifies this imaginary quartet with a signed Jarlskog invariant. A nonzero area therefore detects physical CP violation for nondegenerate quark masses.

For a worked example, choose the exact parametrization of the CKM matrix with $s_{12}=1/4$, $s_{23}=1/10$, $s_{13}=1/100$ and $\delta =\pi /3$. These are illustrative choices, not fitted quark mixing parameters. They give $J\simeq 2.085597\times 10^{-4}$. The unscaled triangle has area approximately $1.042799\times 10^{-4}$.

Divide the closure relation by $-b$, assuming $b\ne 0$, and define the complex numberThe normalized triangle has vertices $0,1,z$, with $z\simeq 0.195376+0.335788i$ for these choices. Dividing each side by $|b|$ divides area by $|b{|}^2$: its area is $|J|/(2|V_{cd}{V}_{cb}^{\ast }{|}^2)=|\bar{\eta }|/2$, approximately $0.167894$. The familiar normalized picture therefore does not itself have area $|J|/2$.

Under quantum field rephasings, $a,b,c$ all acquire the same phase, so the original triangle merely rotates and $z$ stays fixed. Ratios and angles can thus compare quark mixing measurements without dependence on field conventions. If the Jarlskog invariant vanishes, the triangle collapses; additional quark mass degeneracies require extra care in interpreting the converse.

Under charge conjugation, $\bar{u}{\gamma }^{\mu }(1-{\gamma }^5)d$ becomes $-\bar{d}{\gamma }^{\mu }(1+{\gamma }^5)u$. Parity reverses the chirality again and applies the Lorentz parity matrix. The minus sign cancels that of charge conjugation on the charged vector field. Thus each charged-current operator is exchanged with its Hermitian conjugate under CP symmetry, giving the displayed transformation for the CKM matrix $V$. For nondegenerate quark masses, physical CP conservation means that allowed quark rephasings can make $V$ real. A nonzero Jarlskog invariant obstructs this. A merely complex phase convention is not proof of physical CP violation, and $V=I$ is a CP-conserving counterexample to unconditional noninvariance.

The Jarlskog invariant is a measure of CP violation that survives quantum field rephasings. Fix its sign by the quartetFor the exact three-generation CKM matrix, direct multiplication givesThe CKM unitarity triangle's illustrative parameters give $J=89991\sqrt{55}/3200000000\simeq 2.085597\times 10^{-4}$. Setting $s_{13}=0$ or $\delta =0$ makes $J=0$: the existence of three quark generations is necessary for this mechanism, but not sufficient for CP violation.

To see the invariance directly, the phases multiplying $V_{ud}{V}_{cs}{V}_{us}^{\ast }{V}_{cd}^{\ast }$ sum toUnder CP, the CKM matrix is complex conjugated and $J$ changes sign. In an exactly unitary three-generation CKM matrix, quartets formed from any distinct pair of rows and columns have imaginary parts equal to $J$ up to sign. This follows by multiplying a row orthogonality relation by a suitable pair of entries and taking its imaginary part: its diagonal product is real, forcing the two remaining imaginary parts to cancel. The same Jarlskog invariant therefore determines the areas of all six unscaled CKM unitarity triangles.

Let $\epsilon =i{\sigma }_2=\left(\begin{array}{cc}0& 1\\ -1& 0\end{array}\right)$, so ${\epsilon }^{-1}=-\epsilon$. Direct multiplication of the Pauli matrices gives $\epsilon {\sigma }_i^{\ast }\epsilon ={\sigma }_i$, equivalently $\epsilon {\sigma }_i^{\ast }{\epsilon }^{-1}=-{\sigma }_i$. For $U=\exp (i{\theta }_i{\sigma }_i/2)\in SU(2)$ this impliesTherefore ${\varphi }^c=\epsilon {\varphi }^{\ast }$ transforms as the same weak fundamental representation doublet as $\varphi$, while complex conjugation reverses its hypercharge to $-1/2$. This is the Higgs conjugate doublet. The Yukawa coupling product $\bar{L}{\varphi }^c{u}_R$ is an $SU(2)$ singlet, and its hypercharges add toIt is consequently gauge-invariant and can supply an up-quark mass.

In unitary gauge, ${\varphi }^c=((v+H)/\sqrt{2},0{)}^T$. Writing $y_u$ for the full arbitrary coefficient of the Yukawa coupling term, its physical form isA one-generation field rephasing makes the mass positive, and its Higgs boson coupling is $m_u/v$. The printed Yukawa expression has an additional trailing $m$ after $R^{+}$ which is never defined. If it denotes a constant, absorb it into $y_u=f^{+}m$; in the conventional dimensionless Yukawa notation without that factor, $y_u=f^{+}$. It does not affect the gauge-transformation argument.

For three families, use a singular value decomposition of the two mass matrices: $U_{uL}^{†}{M}_u{U}_{uR}=D_u$ and $U_{dL}^{†}{M}_d{U}_{dR}=D_d$, with positive diagonal entries. The original left-handed weak current then becomes a current between mass eigenstates withA complex $3\times 3$ matrix has eighteen real parameters, and $U^{†}U=I$ imposes nine independent real conditions, leaving nine. A generic unitary matrix can be built from three complex plane rotations and three diagonal phases: each plane rotation supplies one angle and one phase. Thus these are three rotation angles and six phases. Rephase each of the six Dirac quark mass eigenfields, applying the same phase to its two chiralities so the diagonal masses stay real. A common phase changes no entry of $V$, leaving five effective rephasings. Removing five of the six phases leaves three angles and one physical phase. This CKM parameter counting assumes generic nondegenerate masses; degeneracies give additional basis freedom.

Exactly massless neutrinos have an arbitrary unitary flavor rotation that changes no mass term. After diagonalizing the charged-lepton mass matrix, choose the neutrino basis with the same left-handed rotation. The apparent lepton charged-current mixing matrix becomes the identity. Thus mixing of exactly massless neutrinos is removable; it is not an analogue of physical CKM mixing.

For the requested CP symmetry calculation, write $j_{ij}^{\mu }={\bar{u}}_i{\gamma }^{\mu }(1-{\gamma }^5)d_j$. The supplied charge conjugation transformations, with the fermion-reordering sign, giveFor $\Gamma ={\gamma }^{\mu }(1-{\gamma }^5)$, use $C({\gamma }^5{)}^T{C}^{-1}={\gamma }^5$ and the given gamma matrix relation to obtainUnder parity, the current acquires the Lorentz parity matrix and $1+{\gamma }^5$ becomes $1-{\gamma }^5$. Under charge conjugation the charged vector also changes sign and becomes its conjugate. The two minus signs cancel, and the parity matrices cancel in the contracted operator. ConsequentlyWith $k=g/(2\sqrt{2})$, the interaction is $-k\sum (V_{ij}{O}_{ij}+V_{ij}^{\ast }{O}_{ij}^{†})$. Thereforewith the transformed density evaluated at $x_P$. This is the CP transformation of a charged quark current.

Physical noninvariance requires a phase that cannot be removed by quark rephasings. The invariant quartetis the Jarlskog invariant, where $s_{ij}=\sin {\theta }_{ij}$ and $c_{ij}=\cos {\theta }_{ij}$ in the standard three-angle parametrization. If $J\ne 0$, no allowed row/column phases can make the matrix real, and the charged-current interaction violates CP symmetry. For example all three angles $\pi /4$ with $\delta =\pi /2$ give $J=1/(8\sqrt{2})\ne 0$.

The printed noninvariance claim is conditional on a nonzero physical phase. Arbitrary Yukawa matrices do not force it: $V=I$, or any real CKM matrix, gives a CP-invariant charged-current interaction. The correct statement is generic CP violation when the irreducible phase is nontrivial, as explained by quark rephasing and CP conservation.

Finally a right-handed neutrino has gauge representation $(1,1{)}_0$. Its Lorentz-invariant same-chirality bilinear with the field obtained by charge conjugation is therefore a gauge singlet and permits a Majorana mass term, conventionallyThe factor $1/2$ is the usual convention for a field paired with itself; it may be absorbed into the printed coefficient. A Higgs Yukawa interaction can independently give a Dirac mass term. The Majorana term violates lepton number by two units but preserves the gauge symmetries. Corresponding terms for the other charged Standard Model fermions carry nonzero electric charge, and quarks also carry nontrivial color charge. Thus this gauge-invariant right-handed neutrino Majorana mass is allowed while those charged-fermion analogues are forbidden. Merely introducing a right-handed neutrino permits mass; vanishing mass coefficients would still leave it massless.

Quark mixing arises because the up-type and down-type quark Yukawa matrices need not be diagonal in the same weak interaction basis. In the Standard Model the three left-handed quark doublets $Q_L^{\prime }$ transform as $(3,2,1/6)$ under $SU(3{)}_c\times SU(2{)}_L\times U(1{)}_Y$, whereas $u_R^{\prime }$ and $d_R^{\prime }$ transform as $(3,1,2/3)$ and $(3,1,-1/3)$. With a Higgs doublet $H$ and its conjugate $\tilde{H}=i{\sigma }^2{H}^{\ast }$, the gauge-invariant Yukawa interaction isThe generation indices are matrix-multiplied. Electroweak symmetry breaking, $⟨H⟩=(0,v_H/\sqrt{2}{)}^T$, produces $M_u=v_H{Y}_u/\sqrt{2}$ and $M_d=v_H{Y}_d/\sqrt{2}$.

Each complex fermion mass matrix admits a biunitary diagonalization,where the diagonal entries are real nonnegative quark masses. Define $u_L^{\prime }=U_{uL}{u}_L$ and $d_L^{\prime }=U_{dL}{d}_L$, and similarly for right-handed fields. The kinetic terms retain their canonical form because the transformations are unitary matrices. However, the weak charged current becomesThis unitary matrix is the Cabibbo-Kobayashi-Maskawa matrix. Its entries multiply transitions between up-type and down-type mass eigenstates. The minimal Standard Model has no analogous right-handed charged weak current.

Quark mixing does not introduce tree-level flavor-changing neutral currents. Photon, gluon and weak neutral current couplings are proportional to the identity within each fixed-charge quark sector, and $U^{†}IU=I$. The single Higgs doublet also has diagonal neutral scalar field couplings after the same transformations that diagonalize the masses. At higher loop orders, flavor changes are possible. For example, an $s\to d$ amplitude contains ${\sum }_i{V}_{is}^{\ast }{V}_{id}f(m_i^2)$. Unitarity of the CKM matrix sets the sum of coefficients to zero, cancelling any mass-independent part. This is the GIM mechanism; mass splittings leave a suppressed, generally nonzero amplitude.

For $N$ generations a unitary matrix has $N^2$ real parameters: $N(N-1)/2$ mixing angles and $N(N+1)/2$ phases. Rephasing the $N$ up-type and $N$ down-type quark fields removes $2N-1$ phases; a common baryon number phase leaves every matrix entry unchanged. Hence the physical numbers areTwo generations therefore give a real Cabibbo rotation,with strangeness-changing charged-current transitions suppressed by $\sin {\theta }_C$. Three generations have three mixing angles and one irreducible weak CP phase. This counting assumes nondegenerate masses; degeneracies allow additional basis rotations.

Writing $s_{ij}=\sin {\theta }_{ij}$ and $c_{ij}=\cos {\theta }_{ij}$, a standard exact parametrization isComplex entries alone do not establish CP violation, because quark quantum field rephasings can change their phases. For nondegenerate quark masses the weak mixing sector conserves CP precisely when a basis makes $V$ real. A useful invariant test is the Jarlskog invariant,A nonzero $J$ requires all three mixing angles and a nontrivial phase. If two same-charge quark masses coincide, the additional basis freedom removes the corresponding physical CP effect. The possible QCD theta angle is a separate CP parameter, not part of this weak-mixing count.

The Wolfenstein parametrization displays the hierarchy of quark mixing economically. Put ${\lambda }_W=s_{12}$, $s_{23}=A{\lambda }_W^2$, and $s_{13}{e}^{i\delta }=A{\lambda }_W^3(\rho +i\eta )$. Expanding the exact matrix givesThe observed pattern is predominantly diagonal, with $1$-$2$ mixing largest and $2$-$3$, $1$-$3$ mixing successively suppressed. The expansion implies $J\simeq A^2{\lambda }_W^6\eta$. The truncated matrix must not be treated as an exactly unitary matrix.

Column orthogonality givesThe three complex numbers form a CKM unitarity triangle, with area $|J|/2$. Dividing by $-V_{cd}{V}_{cb}^{\ast }$ puts its vertices at $0$, $1$ and $\bar{\rho }+i\bar{\eta }$, where $\bar{\rho }+i\bar{\eta }=-V_{ud}{V}_{ub}^{\ast }/(V_{cd}{V}_{cb}^{\ast })$. The barred parameters include higher-order corrections to the Wolfenstein parameters. Comparing independent measurements of its sides and angles tests both quark mixing and the absence of additional flavor dynamics.

Semileptonic decay rates determine magnitudes of CKM entries through factors $|V_{ij}{|}^2$ once hadronic matrix elements are controlled. Neutral kaon and neutral B-meson mixing constrain products of entries through weak box scattering amplitudes. CP asymmetries probe their invariant relative phases, with kaon mixing providing indirect CP violation and decay amplitudes providing direct CP violation. These processes complement tests of the unitarity constraints on rows and columns. The minimal three-generation Standard Model describes weak quark mixing by a unitary matrix with three angles and one physical CP phase; it does not predict the Yukawa couplings or their hierarchy.

The flavour-diagonal weak neutral current coupled to the real Z boson has real vector and axial current couplings. With ${\eta }_C(Z)=-1$, part (e) shows that this tree-level interaction is invariant under CP symmetry, although the simultaneous presence of the Dirac current and axial current generally violates charge conjugation and parity symmetry in quantum field theory separately. This conclusion concerns the tree-level weak neutral current, rather than every interaction or radiative effect in the Standard Model.

The weak charged current couples distinct quark flavours and involves the Cabibbo-Kobayashi-Maskawa matrix:Here $u_{Li}$ and $d_{Lj}$ are left-handed quark fields. A CP symmetry transformation exchanges the two conjugate-field operators; because it acts through a unitary operator, it does not complex-conjugate their numerical coefficients. Equality with the original interaction therefore requires a Cabibbo-Kobayashi-Maskawa matrix that can be made real by quantum field rephasings. With three generations, a physical CP-violating phase remains in general, measured by the Jarlskog invariant. Therefore the W boson interactions can violate CP symmetry. Merely seeing a complex coefficient is insufficient: the phase must survive quantum field rephasing, unlike the real two-generation Cabibbo angle rotation.

CP conjugates the charged-current coupling and replaces $V_{\mathrm{CKM}}$ by $V_{\mathrm{CKM}}^{\ast }$. CP is conserved only if quark-field rephasings can make the entire matrix real. For three generations an irreducible phase prevents this. Equivalently, the rephasing-invariant Jarlskog invariantis nonzero for distinct rows and columns. Since $J$ changes sign under complex conjugation, $J\ne 0$ proves CP violation in electroweak interactions.

The Standard Model has two independent sources of CP violation. Weak CP violation comes from the irreducible phase of the Cabibbo-Kobayashi-Maskawa matrix; its basis-independent measure is the Jarlskog invariant. Strong CP violation is governed bywhich multiplies the Yang-Mills theta term $G_{\mu \nu }^a{\tilde{G}}^{a\mu \nu }$. Quark chiral rephasings shift ${\theta }_{\mathrm{QCD}}$ and the mass-matrix phase oppositely, leaving $\bar{\theta }$ invariant. The CKM phase and $\bar{\theta }$ are otherwise independent parameters: observed weak CP violation does not explain why neutron-electric-dipole bounds require $|\bar{\theta }|\ll 1$. This unexplained smallness is the Strong CP problem.

For nondegenerate quark masses, changing the constant quantum phases of quark fields preserves their diagonal mass terms. Adopt the conventionSuch quantum field rephasings alter individual entries of the CKM matrix without altering physics. Physical CP symmetry in this mixing sector means that some allowed convention makes the CKM matrix real. Toshihide Maskawa emphasized the distinction between complex entries and an irremovable CP-violating phase.^[ref]

Here is a constructive two-generation argument. For a generic $2\times 2$ unitary matrix, use the three effective row/column phases to make $V_{11},V_{12},V_{22}$ real and positive. Column orthogonality then forces $V_{21}$ to be real and negative. Row normalization leaves just the real rotation specified by the Cabibbo angle. Zero entries are limiting cases and introduce no weak phase. Thus two-generation quark mixing cannot violate CP symmetry through this mechanism, even when its entries initially look complex.

For three quark generations, the Jarlskog invariant provides an obstruction to repeating that construction: all four phase factors cancel from its defining quartet. If its imaginary part is nonzero, no choice of quantum field rephasings can make every entry real. With nondegenerate quark masses, this proves physical CP violation in the mixing sector. This argument concerns the weak interaction; it does not dispose of the separate Strong CP problem.

The Wolfenstein parametrization organizes the CKM matrix in powers of a small parameter $\lambda =s_{12}$, defining $s_{23}=A{\lambda }^2$ and $s_{13}{e}^{i\delta }=A{\lambda }^3(\rho +i\eta )$. Substitution into the exact unitary matrix gives the cubic truncationThis is a useful truncation, with entrywise corrections starting at order ${\lambda }^4$, rather than an exactly unitary matrix. For example, its first-row squared norm is $1+{\lambda }^4/4+A^2{\lambda }^6({\rho }^2+{\eta }^2)$, already different from one. The exact definitions of the sines can instead be inserted into the exact CKM matrix, retaining every cosine, to obtain exact unitarity.

For the illustrative parameters of the CKM unitarity triangle, the exact definitions give $\lambda =1/4$, $A=8/5$, $\rho =1/5$ and $\eta =\sqrt{3}/5$. The first-row norm error in $V^{(3)}$ is $0.0010765625$, whereas the exact CKM matrix has unit row norms. To leading order the Jarlskog invariant is $J\simeq A^2{\lambda }^6\eta$, but the exact expression includes cosine factors. The barred parameters $\bar{\rho },\bar{\eta }$ are defined by the exact ratio in the CKM unitarity triangle; they differ from $\rho ,\eta$ beyond leading order. This distinction matters when a geometrical closure test is used to test unitarity.