For protons, exposure and efficiency , the expected count in this channel is . A partial decay rate at the quoted upper bound gives one event per year when
More generally, at the limiting rate. This is an estimate of the required proton inventory, not necessarily the whole detector mass. For water, each molecule contains ten protons and has mass approximately atomic mass units; the corresponding ideal inventory is about of water. Finite efficiency and a useful sample larger than one event increase the required exposure.
An upper limit is not a measured nonzero rate. The true rate could be much smaller, including zero, so no finite target guarantees a measurable signal. The estimate describes sensitivity to a rate near the existing limit.
A large, optically clean water Cherenkov detector provides many protons, a transparent radiator and a relatively inexpensive homogeneous target. A surrounding array of inward-facing photomultipliers records hit times and charge. Reconstructing the vertex and cone intersections identifies track directions and visible energies; an outer active veto rejects entering particles. Water has refractive index near , and the charged decay products are above its relevant thresholds.
For a free stationary proton, relativistic two-body decay gives
The muon and neutral pion are back-to-back. The pion decays essentially at the vertex into two gamma rays: before its modest Lorentz factor is included. Each gamma ray converts and initiates an electromagnetic shower, producing a diffuse ring. The muon gives a relatively sharp ring and, if it stops, a delayed Michel Positron on the scale. The ideal topology therefore has one muon-like and two electron-like rings, although overlaps or a weak photon may merge or hide a ring.
Figure 1.
Water Cherenkov proton-decay topology with prompt rings and a delayed muon-decay tag
. Details.
Require the two-photon invariant mass to match , the total reconstructed mass to match , and small total momentum. Bound oxygen protons have Fermi motion and their hadronic products can rescatter, so those cuts need realistic nuclear corrections; the water target also contains free hydrogen protons. Install the detector deep underground to suppress cosmic-ray muons, with shielding and an active veto. Important irreducible backgrounds are atmospheric-neutrino interactions producing a muon and neutral pion, potentially with an undetected recoil nucleon.
In the supplied Dirac representation, exchanges the upper and lower blocks. Therefore
Define . Acting with this projector gives
For completeness, its two independent components are
The equal-and-opposite block structure verifies . Projection isolates a chiral component of the massive Dirac solution; that component alone generally does not satisfy an independent massive Dirac equation, since the mass couples both chiralities.
The charged weak current contains . For an ultrarelativistic external fermion, it selects negative helicity; its antifermion partner has positive helicity. Wrong-helicity charged-current amplitudes vanish in the massless limit and are suppressed by powers of at finite mass. The active neutrino is consequently left-helicity and its antineutrino right-helicity in this limit.
This is a charged-current statement, not a prohibition on every right-helicity Standard Model fermion. Electromagnetic and strong vector interactions act on both chiralities and conserve helicity along a massless fermion line. A neutral-current vertex also couples to both charged-fermion chiralities with unequal strengths. For example, a right-helicity electron can scatter electromagnetically: it is not excluded from the Standard Model. In vector-current pair annihilation the massless fermion and antifermion have opposite helicities; a purely charged-current vertex keeps only the left-fermion/right-antifermion choice. Yukawa interactions connect left and right fields and must be distinguished from these vector-current selection rules.
Use the explicit charged channels and , labeling the two positive pions as 1,2 and the negative one as 3. With , the opposite-charge pair mass squares have the ranges
Their exact correlated boundaries follow by taking the pair rest-frame angle to its endpoints. For general daughter masses, define . At fixed ,
The charged-pion thresholds give the following numerical comparison:
Parent | | Allowed single-axis interval, | Dalitz area, \ | | to | approximately \ | | to | approximately
The area is about times smaller for the kaon. Including the phase-space prefactor, its integrated labelled three-body phase space is about times smaller; neither comparison predicts a ratio of weak decay widths without the matrix elements.
A intermediate state produces horizontal or vertical bands near or in the charm decay. Scalar pion-pair amplitudes, including broad low-mass -wave contributions and accessible , can also populate the plot. The kaon pair mass cannot exceed , so it cannot contain an on-shell or band; smooth nonresonant and rescattering effects remain possible. Channels containing neutral pions use their supplied mass and shift these boundaries slightly without changing the conclusion. The figure shows kinematic domains and representative accessible bands, not an assumed measured intensity.
Figure 1.
Calculated charged-three-pion Dalitz domains and accessible resonance bands
. Details.
The charged two-pion and three-pion channels can be assigned to the same spin-zero kaon by their parent mass and lifetime. For two spinless pions, total angular momentum zero forces their relative orbital angular momentum to zero, so the product of their intrinsic parities gives
For three spinless pions, use Jacobi orbital angular momenta . Coupling them to total zero requires , and hence
Thus both channels cannot conserve parity in decays of one parent with a definite parity. The weak decay interaction permits the observed coexistence.
Dalitz plots identify the three-body events, determine their internal kinematics, and allow amplitude and angular-momentum analyses through their populations and resonance structures. Together with the spin and parent-identity evidence, they support the parity assignment. They are not a standalone parity-odd observable: reversing all three momenta leaves every , and therefore every point on the plot, unchanged. A flat distribution by itself cannot establish parity violation without the channel and spin information.
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]
Restore the unit conversion in the phase,
Equivalently use mass units and energies in , with . The numerical conversion factor is
Thus
The familiar coefficient uses in metres and in MeV, or kilometres and GeV; it would be a factor of one thousand too small with the units requested here.[ref] The quoted differences with units are interpreted as squared-mass differences, despite the source's abbreviated notation.
With the supplied angles, and . At and with the two atmospheric-scale splittings approximated by a common , the requested sketch is represented by
The fast period is and its first disappearance maximum is at . The slow period is , giving slow minima near and . At each baseline the fast oscillations lie between and that value minus . Averaging over unresolved fast oscillations subtracts half that amplitude, rather than erasing the slow oscillation.
The equal atmospheric splittings are an approximation: exact squared masses require . For example, choosing magnitudes and gives . This changes the fine fast pattern while retaining the two physical scales. The figure deliberately displays the source's common-frequency approximation and labels the fast-averaged curve separately from the monoenergetic result.
Figure 1.
Vacuum electron-antineutrino survival at the supplied reactor energy and mixing parameters
. Details.
Place a far detector near the first atmospheric disappearance maximum, approximately for the source's monochromatic energy and splitting, and a nearly identical near detector a few hundred metres from the reactor complex. Their flux-corrected comparison largely cancels reactor power, emitted-spectrum and absolute-efficiency uncertainties. For a broad reactor spectrum one fits energy-dependent disappearance instead of treating that single baseline as a universal exact optimum.
Detect in a hydrogen-rich target, for example liquid scintillator with neutron-capture enhancement. The prompt Positron signal estimates neutrino energy; the delayed neutron-capture signal supplies a time-and-position coincidence that strongly reduces random backgrounds. Use sufficient target mass and exposure, low radioactivity, overburden and a muon veto to reduce cosmogenic backgrounds, calibrated relative energy response and efficiency, and monitored reactor powers and baselines. Account for multiple reactor cores, spent-fuel backgrounds and accidental coincidences. At kilometre baselines the slow solar phase is small, so the disappearance depth directly probes with little sensitivity to the CP phase or mass ordering.
Assume first an ultrarelativistic charged-current interaction with negligible electron mass in the centre-of-mass spin analysis. Choose the incident antineutrino along . Its right helicity gives spin ; the interacting left-helicity electron moves along and also has spin . The total initial projection is . The final antineutrino and selected electron likewise have total spin along the outgoing antineutrino direction. The spin-one rotation therefore gives
An unpolarized electron target changes the normalization through the spin average, not this selected-current shape. For electron antineutrinos the charged-current diagram is the -channel graph. A contact approximation further requires .
The full Standard Model also has neutral-current exchange. In the contact limit it supplies a right-electron contribution as well as interference in the left-electron channel. With , , the full high-energy shape is proportional to . Thus the pure squared angular form is an explicitly stated charged-current approximation, not an exact prediction for all Standard Model contributions. At momentum transfers comparable to the weak-boson masses, propagators must also be retained.[ref]
Neglecting the electron mass in the centre-of-mass kinematics, take , , and . Then and . Hence
The constant Jacobian gives
Including both Standard Model chiral channels in the contact approximation instead gives . The right-electron term is flat in .
In the electron-rest laboratory frame , the invariant definition immediately gives
This last equality is exact. With electron mass retained in the centre-of-mass relation, the angular formula becomes , approaching the boxed massless relation at high energy.
Treat a nucleon as incoherent collinear spin-half quarks and antiquarks carrying fractions of its momentum. Neglect their masses and transverse motion, use a charged-current four-fermion interaction, and take . The subprocess energy is . Antineutrino scattering on a quark has the same selected-current helicity factor as in part a; crossing to an antiquark changes the allowed spin pairing and gives a flat distribution. Multiplying the elementary strength by the respective parton densities gives
Here are the effective weak flavour combinations with the isoscalar proton-neutron average and CKM weights absorbed into their definitions. With only light flavours and charge symmetry, the relevant up and down combinations coincide on an isoscalar target. Rescaling those density definitions requires rescaling the prefactor consistently.
The equation is a leading-order scaling result: it neglects logarithmic QCD evolution, heavy-quark thresholds, higher-twist and target-mass corrections, nuclear modifications, and weak-propagator suppression. The current produces for an incident muon antineutrino. At higher momentum transfer the weak propagator supplies a factor approximately , and at low energy resonance and quasielastic scattering invalidate a pure DIS description.
For a nucleon at rest and beam energy well above its mass scales, . If the leading parton distributions are approximately independent of beam energy, integration over therefore makes both total cross sections approximately proportional to . The plotted plateaus are evidence for scattering on approximately pointlike constituents in this range, with the departures expected from QCD evolution and threshold effects.
Define the momentum-weighted contents and . Since , the two cross sections obey
Read the original high-energy plateaus as approximately and in the plotted units. With and ,
Using the literal readings gives , so twenty percent is an appropriate graphical estimate, not a precision fit. A purely valence target would have , while a fully symmetric sea would give .
The neutrino-antineutrino DIS sea momentum ratio is a ratio of momentum fractions in the effective flavour combinations, not an unweighted count of antiquarks. The cross-section integral contains : it cannot determine without additional assumptions about their shapes. A distribution growing at small can have a large number integral while its momentum integral remains finite.
The dominant semileptonic decay is . Replacing by or weights the amplitude by or rather than . Neglecting the down-type masses,
with the source's rounded matrix entries. For the , three leptonic widths and two open up-type quark rows with three colours give nine common width units. Thus, ignoring QCD and final-mass corrections,
Summing all three flavours gives approximately one third; summing only electron and muon modes gives approximately . These are per-top branching ratios, not the separate branching ratio of a specified two-top event topology.
An isolated high-transverse-momentum charged lepton, missing transverse momentum from the neutrino, and a tagged bottom jet form a much cleaner signature than an entirely hadronic final state amid QCD jets. Electrons and muons are the easiest charged-lepton flavours to identify cleanly. Tau decays add neutrinos and often hadrons, making identification and reconstruction more difficult. The figure contains the quark/lepton-level charged-current diagram as well as the rare-loop examples used below.
Figure 1.
Dominant semileptonic top decay and representative flavour-changing neutral-current loop diagrams
. Details.
The weak charged current couples an up-type quark to the rotated down field . A neutral current is flavour universal within equal-charge quarks. Rotating it into the mass basis therefore gives
The off-diagonal terms vanish by CKM unitarity, so no tree-level flavour-changing neutral current is generated. In the two-generation description, the orthogonal strange-charm partner completes the rotation whose single down-strange combination alone would have produced an off-diagonal neutral coupling. The complete multiplet supplies the cancellation.
At loop level, a flavour-changing amplitude has the structure
If all internal masses were equal, would be common and . Subtracting an arbitrary common value makes the suppression explicit:
This is the Glashow-Iliopoulos-Maiani mechanism. Unequal masses leave small loop-level flavour-changing neutral currents, so the statement that they are never observed would be too strong: the mechanism suppresses them and forbids them at tree level. The cancellation requires complex CKM products; the rounded table of absolute values alone must not be summed as if every phase were positive.
The literal final state has a three-vertex loop using the Standard Model quartic vertex . The two other vertices are and , with . The internal down-type quark joins those two vertices, while two charged-vector propagators join them through the quartic vertex emitting both neutral bosons. The bottom panel of the figure shows this topology, satisfying the three-vertex hint without dropping the photon. Its additional electromagnetic coupling is contained in the four-leg vertex; counting vertices alone does not determine coupling order.
The companion single- penguin diagram illustrates : it instead attaches the neutral boson to the internal quark line and has three cubic vertices. These are different final states. A complete gauge-invariant amplitude requires all companion attachments; for these include photon radiation from charged lines as well as the quartic graph.
Both flavour sums have the form
where the loop function also depends on the final-state kinematics. After cancellation of a mass-independent part by GIM mechanism, the bottom-quark mass gives the largest surviving contribution: , while is not unusually small compared with the strange combination. The larger than then favours final charm. Schematically,
The same flavour preference applies to the separate two-body modes and . This estimates a relative flavour preference, not an absolute branching ratio. Loop factors and mass-difference suppression remain, so these channels are fully compatible with GIM. A resolved extra photon also introduces another electromagnetic coupling and three-body phase space; an experimental definition needs photon-energy and isolation cuts to distinguish hard radiation from the soft limit.
For a search, the cleanest neutral-boson reconstruction is or : require an isolated opposite-sign same-flavour pair near the mass and a jet forming the top mass with that pair. In top-pair events, tagging the other top through its ordinary decay provides a bottom jet and, if its is leptonic, another isolated lepton and missing transverse momentum. Kinematic reconstruction and heavy-flavour information help reject vector-boson-plus-jets and other backgrounds. Hadronic or invisible decays have higher rate but less distinctive backgrounds or incomplete mass reconstruction.
For the literal channel, additionally require a prompt isolated photon and reconstruct the top with jet. For the alternative , use an isolated energetic photon and jet near the top mass, again exploiting the other top as a tag. These are search signatures; no present-day observation claim is needed to interpret the historical question.
Work in the W boson rest frame, taking the spin-quantization axis along its laboratory motion. Neglect charged-lepton and neutrino masses. The weak charged current produces a negative-helicity and a positive-helicity antineutrino. Their momenta are opposite, so both spin Vectors point opposite to the charged lepton's direction ; the final total spin projection along is .
Let denote the parent spin projection along . In the given probability amplitude, use and the rotation element . The supplied spin-one rotation elements give
The transverse states have spin projections ; the longitudinal state has projection zero, not total spin zero. The original diagram below distinguishes momenta from spins and shows the corresponding normalized angular profiles.
With relativistically normalized one-particle states, Fermi's golden rule becomes
In the parent rest frame, the three-momentum delta function fixes . The energy delta function fixes the common magnitude ; its radial Jacobian converts the remaining phase-space factor into
Only one momentum magnitude remains because the two final momenta are constrained, not independent. Explicitly,
For leptonic W boson decay both final masses are small compared with , including the tau mass at the precision requested, so .