Apply the same positive-exponent quantum Fourier transform to each of the two quantum registers. The amplitude at of the coset state is
The finite geometric series is when and zero otherwise. Therefore
There are allowed pairs, with following the uniform distribution on a finite set. The factor changes the probability amplitudes by phases depending on the output label , but has no effect on their probabilities. Using an inverse rather than forward quantum Fourier transform on both quantum registers gives the same support relation.
A modular inverse of exists precisely when . In that case the discrete logarithm is
It cannot generally be determined from every allowed pair. Put . The supported linear congruence has solutions modulo , and determines only modulo ; gives no information when . For instance and are compatible with both and . One may verify a candidate by modular exponentiation, checking . Repeated discrete-logarithm Fourier sampling finds an invertible with per-trial probability , which has the same totient lower bound from the Mertens product as before. When , the group is trivial and are determined without Fourier samples.
Apply to the data and phase quantum registers, leaving the flag quantum ancilla untouched. This inverse needs no extra oracle assumption: the promised dyadic eigenvalues give , hence . The inverse of each controlled unitary gate used in can therefore be built from repeated uses of the supplied controlled-, and the known Hadamard gates and quantum Fourier transform gates can be reversed. Uncomputation is necessary to erase the eigenvalue label coherently. The resulting quantum state is
A quantum measurement in the computational basis of the flag followed by postselection on one yields
This requires . For a normalized input and nonnegative eigenvalues, the success probability of positive quantum spectral filtering satisfies . In the general inequality, equality holds precisely when the input is supported on the minimum-eigenvalue eigenspace. Omitting uncomputation and discarding the phase quantum register would instead leave a mixed state with diagonal weights proportional to , rather than the desired coherent pure state.
The printed universal nonzero-success request needs a nonkernel-input hypothesis. An -qubit Hermitian operator has eigenvalues, counted with multiplicity. All are distinct, and the printed dyadic grid contains exactly possible values. They therefore occupy the entire grid, including zero: this is a multiplicity-free complete dyadic spectrum, and . Taking , , and satisfies every printed spectral promise but gives . No normalized output vector exists, so no algorithm can deliver it with nonzero probability.
For every input outside the kernel, the procedure above has , giving the requested strict bound on the meaningful domain. The corrected result is therefore exact quantum spectral filtering conditional on , with the boxed probability. This does not require knowing the input probability amplitudes or making extra copies of an unknown quantum state. Arbitrarily small nonzero support outside the kernel gives arbitrarily small success probability, and a failed flag measurement disturbs the input; fresh independent trials cannot be assumed when only one unknown physical input is supplied.
The specified initial state is normalized. The requested energy is , and its probability amplitude is
Thus the Born rule gives
Unitary evolution changes each energy coefficient only by a phase, so this probability remains at both and . If an energy measurement returns , the state collapses to the nondegenerate eigenstate ; a subsequent energy measurement therefore returns with probability
Normalize the incident intensity to one. Since , the initial probability amplitudes are . Define . The flavor probability amplitudes are and . Their absolute squares are
where in natural units. Thus for both, , and
Multiplying all three coefficients by the incident intensity gives any other normalization. Crucially, is time dependent. The printed template cannot hold with all of constant. For example, a nonzero constant would leave an undamped oscillation at arbitrarily late times, even after both unstable components have decayed.
In seconds, . With , the supplied mass difference and mean lifetimes give
Initially the intensities are one and zero. Their sum is , so these are unconditioned survival intensities, not probabilities conditioned on survival. The curves first meet at . Thereafter the neutral antikaon component briefly exceeds the component, before the interference dies away and both approach the surviving long-lived intensity .
Figure 1.
Neutral-kaon flavor intensities for an initially pure neutral-kaon beam, versus proper time
. Details.
Feynman diagrams organize the perturbative calculation of the matrix element in Fermi's golden rule. Each external line labels an incoming or outgoing particle state; each internal line contributes a propagator for a generally off-shell intermediate field; and each interaction vertex contributes a coupling and the appropriate spin, momentum and internal-symmetry structure. All indistinguishable allowed diagrams must be summed as probability amplitudes before taking the absolute square, so their interference contributes to the rate.
In the radiative pion decay diagram in part (b), solid arrowed lines are fermions; the wavy line joining the hadronic and leptonic vertices is a W boson propagator; and the wavy outgoing line is an external photon. Arrows track fermion number, so an outgoing antimuon has an arrow towards its production vertex. Each vertex conserves four-momentum; an internal propagator need not satisfy the on-shell energy–momentum relation. A closed loop Feynman diagram additionally requires an integration over an internal four-momentum.
The final Lorentz-invariant phase space, conservation Dirac delta functions, and the initial-state normalization or incident flux turn the squared scattering amplitude into a decay rate or cross section. A diagram supplies the dynamics; it is not itself the final density of states.
Assume coherent production and detection, relativistic neutrinos, two active neutrino flavours, propagation in vacuum, negligible packet separation and no absorption. Invert the given real lepton mixing matrix to obtain and , where , . With phases in natural units,
Using the paper's opposite sign convention conjugates this probability amplitude and leaves the probability unchanged. For equal momentum, and , so . The equal-energy convention gives the same leading result from the momentum difference; evaluating each component at a different arrival time would incorrectly double the phase.
Since ,
This gives the stated factor . Neutrino oscillation in this approximation measures , not the absolute neutrino mass or its ordering.
For nonzero momentum, physical helicity is the spin projection along the direction of motion,
The convention without labels the same two eigenspaces by . Write . Normalized two-component eigenvectors are
Each can carry an arbitrary phase. Before imposing an energy equation, the general four-component helicity eigenvector is , with arbitrary complex ; unit Norm imposes . For a positive-energy free electron, the Dirac equation fixes their ratio and gives
Multiplying by an arbitrary overall amplitude and the common plane wave supplies the corresponding free helicity eigenstate. Helicity has no preferred direction at . For a massive particle a boost can overtake its momentum and change its helicity; it should not be identified with Lorentz-invariant chirality.
Expand the original two-spinor as . Orthogonality gives
Let and . These are normalized, left-chiral helicity eigenvectors. Then
The two contributions have squared norms
These are weights relative to the original normalized state; divide by their sum if conditioning on a normalized left-chiral projection. In the ultrarelativistic limit , , the positive-helicity amplitude is suppressed as , while the negative-helicity amplitude tends to . Hence
For momentum specifically along , and : the original helicity probabilities are , the left-chiral Norm is , and its limiting weight is . The source does not specify that momentum direction, so these numerical probabilities are a specialization, not the general answer.
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.
The squared invariant amplitude weights each accessible final configuration. The final on-shell momentum measure counts the available states, and the four-dimensional delta function imposes energy and momentum conservation:
To prove its Lorentz invariance for proper orthochronous transformations, write
The four-volume measure has unit Lorentz Jacobian, is invariant, and the future mass shell is preserved. Likewise because . The product therefore proves that is invariant. Spin averages and sums belong in the amplitude as appropriate; identical final particles require a symmetry divisor if the integration covers a fully labelled phase space.
The initial factors come from relativistic normalization of the incoming states. They are not individually invariant, so the displayed coordinate-time transition rate must not be called a Lorentz scalar merely because its final phase space is invariant. A one-particle decay has proper width in its rest frame, while its laboratory rate is . A scattering cross section instead uses the invariant incident flux . This distinguishes invariance of phase space from transformation of a measured rate.
Write and factor the three-body phase space through the pair , with :
A scalar parent permits integration over the overall orientation. In its rest frame let the pair have momentum magnitude , and in the pair rest frame let particle 3 have magnitude . After integrating the azimuth of its direction, the two-body factors give
In that pair rest frame, particle 2 has momentum magnitude , so . The Jacobian cancels both momentum factors, leaving
The physical domain is bounded by the requirement that the relative cosine lie between and . The phase-space density is uniform within that domain; the event density is uniform only for a constant squared amplitude. Scalar parent spin alone does not forbid resonance-dependent amplitudes. A factor is a concrete nonuniform example. For two identical pions, a conventional overall compensates integration over both labelings without changing the local flatness of phase space.[ref]
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.
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.
Nuclear-field pair creation is . A virtual photon exchanged with the nucleus supplies recoil momentum, while the real photon and virtual photon attach to the electron line joining the outgoing pair. The figure shows a representative graph. The second attachment ordering must be included in the full amplitude. A real photon cannot create a free massive pair in vacuum: its invariant mass is zero, whereas . Nuclear recoil resolves that kinematic obstruction and permits energy-momentum conservation.
Figure 1.
Representative nuclear-field pair-production and bremsstrahlung diagrams
. Details.
For bremsstrahlung, the electron scatters from the nucleus by virtual-photon exchange and emits a real photon: . The two lowest-order graphs have emission before or after the Coulomb scattering. One is drawn in the figure; interchanging the emission and exchange vertices gives the other. Their sum is needed for the full gauge-consistent amplitude. Reversing the charged-lepton arrows gives Positron bremsstrahlung, with the same underlying electromagnetic mechanism.
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.
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.
Assume only Standard Model decay channels, negligible final-state masses, three lepton families, three quark colours and a unitary CKM matrix. The top-quark channels are kinematically closed. Summing the allowed quark channels gives times one leptonic width, while the leptons contribute three. Neglecting QCD and electroweak radiative corrections,
The source's rounded CKM entries give almost the same factor; their tiny nonunitarity is not physically significant. Consequently
The propagated uncertainty uses , taking as fixed. It is the measurement uncertainty within the stated tree-level approximation; omitted radiative corrections are an additional modelling limitation. In particular QCD increases the hadronic width and lowers the inferred coupling when included.
The printed electromagnetic comparison is , not the probability amplitude coupling . Compare like quantities:
Equivalently exceeds . The weak interaction is weak at low energy primarily because of the massive propagator, rather than an exceptionally small fundamental coupling.