Let and . The skew-Hermitian matrix property gives
where the last equality uses part (a). Distinct eigenvalues therefore imply . Normalize each eigenvector to length one. Since there are distinct eigenvalues, these vectors form an orthonormal basis.
Put them in the columns of . Then is a unitary matrix and , so
To avoid confusing the diagonalizing matrix with the exponential, write from part (b). The convergent matrix exponential series gives
Each is purely imaginary, so . The diagonal exponential is therefore a unitary matrix, and
Hence the matrix called in this part is unitary. The series identity gives the same conclusion directly and also covers repeated eigenvalues.
If , then , and the matrix exponential series gives . Also , since . Thus
The assumed diagonalization ensures that these account for all eigenvalues, including multiplicities. In particular, for ,
both of modulus one, in agreement with the unitary matrix property.
Here . Splitting the matrix exponential into even and odd powers therefore gives
For the second matrix, , so . Hence
Both are real orthogonal matrices, and hence also unitary matrices.
The matrix sending the standard basis vectors to the given columns is
With the Hermitian inner product, the squared column norms are , , and . The off-diagonal products are
Thus the columns form an orthonormal basis, so and is a unitary matrix. Here the operation maps the old basis vectors to the new vectors; the inverse coordinate change of basis uses .
Put , so . Because the Hermitian matrices commute,
For every nonzero vector ,
since is an invertible matrix. Thus and are invertible matrices, justifying the inverse in the definition of . The conjugate transpose of is . Since and commute, their inverses do too, and
Hence is a unitary matrix.
For the unitary matrix , . Therefore is a Hermitian matrix:
Every positive integer power remains a Hermitian matrix, since . Its eigenvalues are real by the finite-dimensional spectral theorem. Equivalently, matrix similarity gives
whose eigenvalues are , where the are the real eigenvalues of .
Write , and . Then and . With and , the corrected matrix becomes
The scalar is a common propagation wave phase and the real rotation matrix rotates the input linear polarization through . There is no attenuation and no generated ellipticity: the field map is a unitary matrix. The two circular eigenmodes accumulate different wave phases, giving circular birefringence and optical activity.
The correct unfactored matrix remains finite where . In contrast, the printed form would give times the rotation matrix, including unphysical divergent gain in this stipulated lossless case. This provides a direct physical check on the correction in part (d).
In a dense beam dump, long-lived pions and kaons usually interact and lose energy before decaying. Their residual stopped decays yield low-energy neutrinos, below the useful high-energy tau-interaction sample. Prompt charmed mesons have much shorter lifetimes and can decay before reinteraction. This suppresses the conventional muon neutrino background relative to the prompt component. The production sequence is Quantum chromodynamics creation of , principally with also allowed, followed by hadronization and its charge conjugate. The process includes both quark-exchange diagrams and the three-gluon diagram. Fragmentation also produces other hadrons; the proton does not turn directly into one isolated Ds meson.
The charge-conjugate chain gives a prompt tau antineutrino and a secondary tau neutrino. Thus each leptonic Ds meson chain produces both tau-flavour signs. The corresponding Feynman diagrams are shown in a.
For the CKM matrix, diagonalizing the up/down quark mass matrices by leaves in the charged current:
The three-generation unitary matrix has three physical mixing angles and one CP violation phase after field rephasings. At fixed kinematics and hadronic matrix element, rates are proportional to ; phase space, parent lifetimes, form factors and helicity suppression must also be included when comparing branching fractions.
For a charged pseudoscalar meson , leptonic pseudoscalar decay width gives
The Ds meson channel is Cabibbo-favoured, , whereas the charged D meson channel uses . Taking , and in GeV gives
Including the approximate lifetime ratio and the given production ratio gives a tau yield ratio about , already much greater than one even with equal decay constants. This is an illustrative estimate using approximate additional mass/lifetime inputs, not a determination from the production cross sections alone. A neutral D meson cannot annihilate to the charged pair by electric charge conservation; its semileptonic tau modes have insufficient phase space once the required strange or nonstrange recoil hadron is included. Light mesons are below threshold; bottom production is much smaller at this fixed-target energy. Consequently neither the larger production rate nor ordinary light-hadron production outweighs the Ds meson tau source. [ref]
Strictly, it is the infinitesimal generators, not every unitary matrix with unit determinant, that are traceless. For a continuous one-parameter family , unitarity requires the generator to be Hermitian. The determinant condition gives
Differentiating at yields . A Hermitian matrix has real diagonal parameters and real off-diagonal parameters; one real trace constraint leaves independent generators. Thus
The identity matrix supplies a concrete counterexample to interpreting the claim as one about arbitrary group elements: but . Also, at a single parameter value only fixes the trace modulo ; the continuous neighbourhood is essential.
The lepton mixing matrix relates charged-current neutrino flavour fields to mass eigenfields: . Nondegenerate masses then give relative propagation phases and flavour oscillations. This is the three-massive-neutrino extension of the minimal massless-neutrino Standard Model.
A unitary three-by-three matrix has nine real parameters: three rotation angles and six phases. For Dirac leptons, the independent field rephasings remove five phases, because one common phase acts trivially. Three angles and one physical Dirac phase remain. For Majorana neutrinos two additional phases cannot be removed, but they cancel from ordinary oscillation probabilities.
The phases printed in the lower two rows do not give a unitary matrix for general . A consistent convention is , where the real rotations use the indicated mixing angles and
The lower-row phase factors in the resulting full matrix are , opposite to the in . For the source's all-minus assignment, the scalar product of the electron row with the conjugated muon row is , which is nonzero at and nonzero mixing. This supplies an explicit counterexample. The electron-row moduli used below are unaffected by this correction.[ref]
The CKM matrix converts down-type quark mass eigenstates into the combinations entering the weak charged current. Its entry controls a charged-current transition between up-type flavour and down-type flavour . In the three-generation Standard Model, is a product of unitary matrices from diagonalizing the quark mass matrices, so .
The Wolfenstein parametrization displays the hierarchy
Thus diagonal transitions dominate; first-second generation mixing is larger than second-third generation mixing, and direct first-third generation mixing is smallest. The parameters refine this order estimate. With nondegenerate quark masses, a nonzero irreducible weak phase permits CP violation; at leading order the Jarlskog invariant is . Individual complex entries are not enough: the phase must survive allowed quark-field rephasings.
The exact physical CKM matrix is unitary, whereas its displayed cubic truncation is only approximately so. For example its first-row norm is , which is not exactly one for nonzero . The omitted higher-order terms repair this; unitarity must be tested to the retained order.
A mass eigenstate has a definite neutrino mass and acquires a definite propagation phase at fixed momentum. An interaction eigenstate is the neutrino flavor selected by a weak charged current: is produced or detected together with an electron, and together with a muon. The two bases are related by a unitary matrix, here the real rotation matrix .
Inverting the supplied transformation gives and , where , . If , these bases coincide: each produced neutrino flavor propagates as one mass eigenstate, and there is no neutrino oscillation, even if the two masses differ. Conversely, equal masses also prevent vacuum neutrino oscillation, even when a nonzero basis-rotation angle is written down.
Combine the two equal-mass Dirac fields into . A constant unitary matrix acting on this flavour index commutes with the common Dirac Hamiltonian, so gives the unitary flavour symmetry of degenerate Dirac fields . Its real Lie algebra has dimension four. A convenient Hermitian generator basis is , , , where are the Pauli matrices.
For each generator the canonical anticommutation relations give
The calculation is exactly the one in b, since commutes with both the Dirac gamma matrices and the common fermion mass matrix. Thus
Explicitly their densities are
The two off-diagonal conserved currents are why counting only the individual fermion numbers misses two generators. The singlet generates ; the other three generate special unitary group . Unequal masses would break the off-diagonal conservation laws.
Scope of the count. Four is the count of currents of the displayed form. The completely free system also has an enhanced internal symmetry of free Dirac fields if mixing with charge-conjugate fields is admitted. For , write its two Dirac fields as four equal-mass Majorana spinors . Their orthogonal group rotations have six continuous generators, with conserved currents proportional to for ; the four currents form a subgroup. This larger count is relevant if “similar” means all local internal currents of the free system, without preserving a chosen fermion number. If , the usual number-preserving chiral flavour symmetry of massless Dirac fields is with eight currents; allowing charge conjugation mixing enlarges it to with sixteen. These counts concern internal currents, excluding spacetime Noether currents.
In the stated ordered propagation basis, a downward input is transmitted downward and reflected upward, giving the first column . An upward input is reflected downward with the opposite reflection phase and transmitted upward, giving the second column . Therefore
Equal mirror reflection phases exchange the two directions. Choosing a phase of per reflection gives
Each path encounters one mirror, so describes both arms together, not two successive reflections of each photon. Changing its common phase leaves all detection probabilities unchanged. Direct multiplication gives , so both are unitary matrices. They preserve the norm of a quantum state and hence total probability for these lossless optical elements.
Ideal detectors are represented by measurement matrices, but detection itself is not unitary evolution within the two traveling modes. With and , the projective measurement operators are
They give Born rule probabilities and sum to . An absorbing detector maps the incident photon to an excited detector and vacuum field; a complete physical description includes those additional degrees of freedom.
For real angles write and . For one independent pair , the transformation and its conjugate read
Using the canonical anticommutation relations for the modes gives
The remaining anticommutators vanish for independent momentum pairs. The displayed two-by-two matrix is unitary and its inverse is obtained by changing to .
When the same formula is indexed over both signs of momentum, its first row at must agree with the conjugate of its second row at . Thus a consistent global convention requires
This is the odd-momentum fermionic Bogoliubov angle convention. If one checks only the first-row formulas, their cross anticommutator is ; its vanishing gives the condition modulo , with possible signs absorbable in the modes. Requiring both rows to describe the same operators fixes the convention above. Merely checking a separate unitary matrix at each momentum misses this redundancy: choosing in both first rows would give .
At , the annihilation operator and its conjugate belong to one mode. The full displayed formula is consistent only with ; choose and . This mode is not a two-mode pair.
Phase shifter 2026-10-24
An optical element that adds a controlled wave phase to one path. On two path states, an ideal lossless phase shifter has the displayed unitary matrix. It changes their relative phase while leaving individual path probabilities unchanged; subsequent interference can turn that phase into an output-intensity change.
Every invertible complex matrix has the unique polar decomposition
where is a positive-definite Hermitian matrix and is a unitary matrix. Writing gives , which is Hermitian.
Quark mixing 2026-10-14
The up-type and down-type fermion mass matrices need different left-handed transformations represented by unitary matrices to diagonalize them. Their relative transformation appears in the charged weak current as the Cabibbo-Kobayashi-Maskawa matrix. The weak neutral currents remain diagonal in the minimal Standard Model, since the same-charge couplings are generation-independent. Three nondegenerate generations give three mixing angles and one physical weak CP phase after quantum field rephasings.
Quark rephasing and CP conservation Created 2026-10-14 Updated 2026-10-18
For nondegenerate quark masses, changing the constant quantum phases of quark fields preserves their diagonal mass terms. Adopt the convention
Such 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 unitary matrix, use the three effective row/column phases to make real and positive. Column orthogonality then forces 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.