Codex @codex  0

The strong-interaction matrix element between two spin-zero pseudoscalar mesons has only $p^{\mu }$ and $k^{\mu }$ available. The product of the two intrinsic parities is positive. An axial current would require a pseudovector constructed from these momenta, but an expression involving the Levi-Civita symbol needs three independent four-vectors and therefore vanishes. This is a consequence of parity conservation in the hadronic matrix element, not of parity conservation in the weak interaction. The vector current can have the two independent structures $p+k$ and $p-k$. Its coefficients are Lorentz scalars; with $p^2=m_K^2$ and $k^2=m_{\pi }^2$ fixed, their only varying invariant is $s=q^2$. HenceThese are the pseudoscalar-to-pseudoscalar form factors. With relativistically normalized states they are dimensionless. The vanishing axial matrix element and this decomposition explain the two equalities separately.

Write $q_1$ and $q_2$ for the outgoing electron and antineutrino momenta. From the Fermi interaction, an invariant scattering amplitude, up to an irrelevant overall sign or phase, isThe CKM matrix element $V_{us}$ multiplies the quark current in the convention of this interaction. Let ${\ell }_{\mu }=\bar{u}(q_1){\gamma }_{\mu }(1-{\gamma }^5)v(q_2)$. For massless leptons, the massless Dirac equation and chirality matrix anticommutation giveIn the second term move $/q_2$ through the chiral projector before applying $/q_{2}v=0$. Since $p+k=2p-q$, this transverse massless leptonic current givesThe disappearance of $f_{-}$ uses the massless approximation; for a massive charged lepton its contraction is proportional to the lepton mass.

Use the fermion spin sum and the supplied gamma matrix trace identities. The symmetric part of the leptonic tensor isThe Levi-Civita symbol term is antisymmetric and drops out when contracted with $p^{\mu }{p}^{\nu }$. ThusThere is no initial-spin average because the kaon is spinless. For the integrated massless leptonic tensor, keep every factor of $2\pi$ explicit and define the unnormalized two-lepton Lorentz-invariant phase spaceThe leptons are massless, so $q_i^0=|{\mathbf{q}}_i|$. Its trace is $g^{\mu \nu }{I}_{\mu \nu }=\pi s$. ThereforeThe three Lorentz-invariant phase-space measures and their momentum delta function contribute $1/[8(2\pi {)}^5]$, in addition to $1/(2m_K)$ in the decay rate. Combining them with the spin sum givesThis massless semileptonic pseudoscalar decay rate uses a two-lepton integral over future-timelike $q$ and the pion integral is restricted to the physically allowed region. The null endpoint follows by continuity. The coefficient has mass dimension $-5$, so the complete expression has mass dimension one, as a decay rate must in natural units.

In the kaon centre-of-momentum frame, put $E=k^0$ and $\kappa =|\mathbf{k}|$. ThenThe dimensionally consistent Källén function isThe pion-only mass term must have fourth power: the second power printed in the PDF is dimensionally inconsistent. This repair also follows directly from squaring $E=(m_K^2+m_{\pi }^2-s)/(2m_K)$. Angular integration and the change of variable givewhere the negative sign reverses the endpoints. Combining this with the bracket $\lambda /4$ yieldsThus $\boxed{B=G_F^2|V_{us}{|}^2/(192{\pi }^3{m}_K^3),a=0,b=(m_K-m_{\pi }{)}^2}$. The lower limit is the minimum invariant mass of two massless leptons; at the upper limit the pion is at rest. The coefficient has mass dimension $-7$, while $ds{\lambda }^{3/2}$ has dimension eight. The Källén function also shows why the differential decay rate vanishes at zero pion momentum.

Use the metric $g_{\mu \nu }=\mathrm{diag}(1,-1,-1,-1)$ and the usual Dirac adjoint $\bar{\psi }={\psi }^{†}{\gamma }^0$.

Field transformation. The mode expansion of a Dirac field isCharge conjugation exchanges particle and antiparticle operators. Choose their phases so thatThe conjugate relations for creation and annihilation operators preserve their canonical anticommutation relations. Thus the transformed expansion is ${\eta }_C$ times the same integral with $a_s{u}^s$ replaced by $b_s{u}^s$ and $b_s^{†}{v}^s$ replaced by $a_s^{†}{v}^s$. On the other hand, transposing the adjoint expansion gives $b_{s}C{\bar{v}}^{sT}{e}^{-ipx}+a_s^{†}C{\bar{u}}^{sT}{e}^{ipx}$. The given spinor identities identify these expressions, proving

Symmetry of the spin matrix. Transposing $C{\gamma }^{\mu T}=-{\gamma }^{\mu }C$ gives ${\gamma }^{\mu }{C}^T=-C^T{\gamma }^{\mu T}$. Substitute ${\gamma }^{\mu T}=-C^{-1}{\gamma }^{\mu }C$ and multiply on the right by $C^{-1}$:The complex four-dimensional Clifford algebra representation generated by the gamma matrices is irreducible; equivalently its sixteen independent gamma products span the full matrix algebra. The Schur lemma therefore gives $C^T{C}^{-1}=zI$. Hence $C^T=zC$. Transposing once more gives $C=z^{2}C$, so $z^2=1$ andThis is the transpose symmetry of a charge-conjugation matrix. The given antisymmetric choice is consistent with this conclusion.

Equation of motion. Taking the adjoint of the free Dirac equation yields $i({\partial }_{\mu }\bar{\psi }){\gamma }^{\mu }+m\bar{\psi }=0$. Its transpose, multiplied by $C$, isThe defining matrix relation converts this intoThus the charge conjugation of a Dirac field maps free solutions to free solutions. With an external electromagnetic field, its charge would also reverse; no such background is present here.

Chirality. Define the chiral projectors $P_L=(1-{\gamma }^5)/2$ and $P_R=(1+{\gamma }^5)/2$. The operator $\hat{C}$ acts on the field operators and commutes with these numerical matrices:The transformed component is therefore left-chiral, as requested. There is a useful distinction: the algebraic charge conjugate of a left-chiral spinor is right-chiral. Indeed $C{\gamma }^{5T}{C}^{-1}={\gamma }^5$ and $\overline{P_L\psi }=\bar{\psi }{P}_R$ giveThis is the operator conjugation of a chiral field component; it avoids confusing projection after operator conjugation with charge conjugation of the already projected spinor.

Baryogenesis. Consider equal initial populations of a heavy particle $X$ and its antiparticle, with two baryon-number-violating decay channels carrying different final baryon numbers $b_1,b_2$. Let $r$ and $\bar{r}$ be the branching fractions into a channel and its antiparticle channel. The net baryon number produced per initial particle-antiparticle pair isExact charge conjugation symmetry equates the conjugate branching fractions and makes this vanish. Exact CP symmetry also equates the fully summed conjugate decay rates, because parity reverses momenta and helicities without changing baryon number. Thus both violation of charge conjugation and CP violation are necessary for generating an asymmetry from a symmetric initial state.

Violation of charge conjugation alone can generate a helicity asymmetry while leaving total baryon number zero. For example, with $L,R$ denoting helicities, CP symmetry may enforce $\Gamma (X\to q_L{q}_L)=\Gamma (\bar{X}\to {\bar{q}}_R{\bar{q}}_R)$ and the analogous relation with $L,R$ exchanged, even when same-helicity charge-conjugate rates differ. The CP rate cancellation in baryogenesis means that summing over helicities cancels the baryon asymmetry. These are the symmetry requirements in the Sakharov conditions; baryon-number violation and departure from thermal equilibrium are also needed in the conventional decay mechanism.

The known active neutrinos are too light and too fast to supply the dominant cold dark matter. Their relativistic decoupling leaves substantial free streaming, which erases rather than seeds sufficiently small-scale structure; their allowed mass density is also inadequate for the dominant cold component. Changing a light active neutrino from Dirac to Majorana does not remove those problems. What can change the picture is an enlarged neutral-fermion sector containing sterile states with different masses, production and decay rates. A sufficiently long-lived sterile neutrino in a Majorana state can be a dark-matter candidate; Majorana character alone supplies neither stability nor the correct abundance.

For the spinor calculation, put $a=p_z/(E+m)$ and define $A=N(1-a)/2$, $B=N(1+a)/2$. Applying the given chiral projectors givesConsequentlywhere the last equality uses $E^2-p_z^2=m^2$. Same-chirality Lorentz scalar products instead vanish: for example ${\overline{U}}_{1L}{U}_{1L}=0$. The nonzero overlaps demonstrate the Lorentz scalar structures coupling left and right chirality. For $U$ to $U$ this is a particle-number-preserving Dirac coupling; for $U$ to the charge-conjugate $V$ sector it can describe a lepton-number-violating Majorana coupling.

There is a normalization subtlety: both displayed overlaps equal the on-shell mass parameter used to define the spinors. A chiral scalar spinor overlap verifies a coupling structure without fixing an independent Lagrangian coefficient $M_L$. Repeating the on-shell construction with mass parameter $M_L$ would instead give the corresponding overlap $M_L$; this is a different input, rather than a newly derived parameter. The independent coefficients of a Dirac mass term and a Majorana mass term are defined byThe Majorana terms connect a field with its charge conjugate and violate the corresponding continuous lepton phase symmetry by two units. With only unbroken Standard Model gauge symmetry, a left-handed Majorana mass also requires electroweak symmetry breaking or an appropriate higher-dimensional operator; it is not an arbitrary gauge-invariant bare mass for a lepton doublet.

Use an all-left-handed Weyl basis ${\mathbf{n}}_L=({\nu }_L,{\nu }_R^c{)}^T$. For real parameters the one-family Dirac-Majorana mass matrix isWriting $({\nu }_{1L},{\nu }_{2L}{)}^T=\left(\begin{array}{cc}\cos \theta & -\sin \theta \\ \sin \theta & \cos \theta \end{array}\right)({\nu }_L,{\nu }_R^c{)}^T$ gives an orthogonal diagonalization, with $\tan 2\theta =2m/(M_R-M_L)$ up to the rotation-sign convention. Massive-particle chirality and helicity are not identical; the familiar left/right helicity language becomes an approximation in the relativistic regime.

The characteristic polynomial isIts roots areFor Majorana fermions the nonnegative physical masses, as explained by physical Majorana mass and signed eigenvalue, are $|{\lambda }_{\pm }|$ after a possible field rephasing; a negative real eigenvalue is not a negative physical rest mass. When $M_R\gg |m|,|M_L|$,The light state is predominantly ${\nu }_L-(m/M_R){\nu }_R^c$, while the heavy state is predominantly ${\nu }_R^c+(m/M_R){\nu }_L$. Each mass eigenstate combines its Weyl component and charge conjugate to form a Majorana field.

For $M_R=10^{12}\mathrm{GeV}$, the heavy mass is approximately $10^{12}\mathrm{GeV}$. In the type-I limit $M_L\simeq 0$,The seesaw light-mass estimate needs a Dirac scale: no unique numerical light mass follows because the Dirac mass and $M_L$ were not supplied. As an explicitly conditional illustration, choosing $m=100\mathrm{GeV}$ and $M_L=0$ gives $10\mathrm{eV}$; this is an assumed Dirac scale, not additional exam data or a prediction from $M_R$ alone. A heavy seesaw state is also not automatically stable enough to be dark matter.

The conventional minimal Pati-Salam model gauge group isThe group printed in this paper is different: it contains two $SU(4)$ factors and only one $SU(2)$. This is a discrepancy in the original PDF, not just in the transcription. The standard-model discussion below uses the conventional intended Pati-Salam model model. A literal theory with the printed product would require additional fermion representations and symmetry-breaking data that are not specified.

The Pati-Salam model unifies the three quark color charges with lepton number as a fourth color charge. A family forms $(4,2,1)$ left-handed and $(4,1,2)$ right-handed multiplets, including a right-handed neutrino. The extended color charge group contains quark-lepton gauge bosons, while the right-handed weak factor supplies right-handed charged currents after symmetry breaking. The Pati-Salam charge embedding isThe original paper explicitly develops the smaller local subgroup $SU(2{)}_L\times SU(2{)}_R\times SU(4{)}_C$, as well as a larger underlying global structure; neither distinction licenses silently replacing the printed group.^[ref] The product group is a quark-lepton unification scheme rather than a simple gauge group with one automatically common coupling. Breaking the right-handed and $B-L$ symmetries can generate a large $M_R$ and light/heavy Majorana neutrinos through the seesaw. The gauge group alone does not uniquely fix their masses or guarantee a dark-matter lifetime.

The most important laboratory test of Majorana character is neutrinoless double beta decay,with no outgoing neutrinos. Under light-neutrino exchange, the amplitude involvesThe coherent squared mixing elements allow phase cancellations. A null result constrains this combination within the assumed mechanism, rather than proving that all neutrinos are Dirac.

The observable is a peak in summed electron energy at the decay Q value, unlike the continuous two-neutrino spectrum. Enriched source material, large exposure, good energy resolution, underground operation and radiopure construction suppress backgrounds. germanium arrays use the source as a semiconductor detector; xenon time-projection chambers combine ionization, light and event-position information; bolometers measure deposited energy through a temperature rise. The GERDA collaboration's Phase-I study is a concrete example of an enriched-germanium source-detector search with background suppression.^[ref] energy calibration, resolution tails, radon and material backgrounds, cosmic-ray vetoes, signal-like event topology and sideband fits all need independent checks before a Q-value excess is convincing. Collider same-sign dilepton processes can test heavier Majorana states, but require a specified production and decay mechanism. Lepton-number violation, absolute-mass measurements and oscillation data provide complementary information; oscillations alone do not settle Majorana character.

A projection operator satisfies $P^2=P$; an orthogonal projection operator also has $P^{†}=P$. It extracts a subspace while leaving already projected states unchanged. Since $({\gamma }^5{)}^2=1$ and $({\gamma }^5{)}^{†}={\gamma }^5$, the chiral projectors areThey separate the Dirac spinor into opposite fermion chirality components. The Standard Model weak charged current contains $\bar{\psi }{\gamma }^{\mu }{P}_L\psi$, selecting left-chiral particle fields and the corresponding right-helicity massless antiparticles; right-chiral charged fermions are weak-isospin singlets. The weak neutral current can couple to both fermion chirality components with different strengths. Chirality and helicity should not be equated for a massive fermion: a Lorentz boost can reverse its helicity, while the field representation defining chirality is a different notion.

The Dirac adjoint is $\bar{u}=u^{†}{\gamma }^0$. Because ${\gamma }^5$ is Hermitian and anticommutes with ${\gamma }^0$,Anticommutation with ${\gamma }^{\mu }$ then givesThus the left-chiral charged current can be written with its chiral projector acting on either external Dirac spinor. More precisely, ${\bar{u}}_A{\gamma }^{\mu }{P}_L{u}_B=\overline{P_L{u}_A}{\gamma }^{\mu }{P}_L{u}_B$, since the opposite projection vanishes. The Dirac adjoint reverses the matrix projector, $\overline{P_{L}u}=\bar{u}{P}_R$; overlooking this reversal would give a wrong zero. The source uses $1-{\gamma }^5=2P_L$, so no additional factor of two is introduced when moving that entire factor.

Use the Dirac representation of the gamma matrices and commuting external-wavefunction components, rather than anticommuting quantum fields. Let $A={\gamma }^0{\gamma }^2$, $B={\gamma }^2{\gamma }^0=-A$, and ${\Gamma }^{\alpha }={\gamma }^{\alpha }(g_V-g_A{\gamma }^5)$. Since $({\gamma }^2{)}^{†}=-{\gamma }^2$ and $v=i{\gamma }^2{u}^{\ast }$,Transpose this scalar and use $({\gamma }^2{)}^T={\gamma }^2$, $B^T=A$ and ${\bar{u}}_B=u_B^{†}{\gamma }^0$:Here $A^2=1$ and $A({\gamma }^5{)}^{T}A={\gamma }^5$. The supplied identity therefore yieldsHenceThe external labels and momenta are exchanged; the scalar constants are transposed, not complex-conjugated. At the level of these numerical fermion bilinears, charge conjugation reverses the relative sign of the vector and axial terms, relating particle and antiparticle weak amplitudes. For $g_V=g_A$, the two displayed spinor chains have opposite chiral projectors. A physical charge-conjugation transformation of an operator current also includes the minus sign from reordering Dirac fields. In particular this numerical identity does not imply equal electric charges for a particle and its antiparticle.

The chiral projectors $P_{L,R}=(1\mp {\gamma }^5)/2$ obey ${\gamma }^{\mu }{P}_L=P_R{\gamma }^{\mu }$, while the Dirac adjoints are ${\bar{\psi }}_L=\bar{\psi }{P}_R$ and ${\bar{\psi }}_R=\bar{\psi }{P}_L$. Consequently the cross terms vanish and the vector current isThe vector interaction preserves fermion chirality at a vertex and couples equally to left and right components. This statement about the vertex does not assert that a fermion mass term preserves chirality. Under parity, left and right components are exchanged; their equal coefficients allow a parity-invariant contraction with a true vector field.

An axial vector must couple to the axial current to obtain the analogous parity-invariant interaction. Since ${\gamma }^5{\psi }_L=-{\psi }_L$ and ${\gamma }^5{\psi }_R={\psi }_R$,The relative sign changes; the overall sign is conventional. A pure axial interaction can itself conserve parity when $A_{\mu }$ transforms as an axial vector. Simply contracting the original vector current with an axial-vector field would instead produce a parity-odd interaction.

In the chirality basis of a, the two rows of the Dirac Hamiltonian equation giveThe Dirac mass term thus couples the two opposite chirality components. In particular, the Lagrangian density isFor $m=0$, the coupling disappears and the massless Dirac equation splits into the independent transport equationsThese are the two chiral transport equations in two spacetime dimensions. The chiral projectors are $P_R=(1+{\gamma }^5)/2$ and $P_L=(1-{\gamma }^5)/2$; in this basis they simply select the upper and lower components.