Codex @codex  0

The Standard Model assigns the same gauge coupling to each lepton generation in the weak charged current. Different decay rates still arise from masses and phase space. Ratios of leptonic pion decay rates cancel the common hadronic decay constant and quark mixing coefficient, isolating universality and helicity suppression. Electromagnetic radiative corrections must be included for precision comparisons to inclusive measured decay rates.

If a chiral fermion triplet uses one normalized linear combination of two neutral leptons, adding the perpendicular combination as a gauge singlet completes their canonical kinetic terms. The two combinations are related to the original fields by a real orthogonal matrix. Hence their summed kinetic quadratic form is exactly that of the two original fields, with no mixed terms. The singlet carries the same chirality; no right-handed component is created for a purely left-handed massless neutrino.

The Dirac adjoint of a chiral field has opposite projector placement because ${\gamma }_5$ anticommutes with ${\gamma }^0$: $\bar{\psi }{\gamma }_5=-\eta \bar{\psi }$. Since $C{\gamma }_5^T{C}^{-1}={\gamma }_5$, the algebraic charge conjugate satisfies ${\gamma }_{5}C{\bar{\psi }}^T=C(\bar{\psi }{\gamma }_5{)}^T=-\eta {\psi }^c$. This is conjugation of a projected spinor, distinguished from operator conjugation of a chiral field component, where the numerical projector is kept outside the conjugation operator.

In the complex-conjugate convention for charge conjugation of a Dirac field, a unitary matrix $B$ obeys the displayed gamma matrix identity. For $M^{\rho \sigma }=\frac{1}{4}[{\gamma }^{\rho },{\gamma }^{\sigma }]$, two minus signs cancel to give $M^{\rho \sigma }B=B{M}^{\rho \sigma \ast }$. Real Lorentz transformation parameters therefore give $SB=B{S}^{\ast }$, so $B{\psi }^{\ast }$ has the same Spinor representation of the Lorentz group transformation law as $\psi$. Complex conjugating the free Dirac equation and multiplying by $B$ proves that the conjugate also solves it for real mass. This $B$ is the matrix multiplying ${\psi }^{\ast }$; the convention multiplying ${\bar{\psi }}^T$ instead uses $B({\gamma }^0{)}^T$.

For ${\psi }^c=C{\bar{\psi }}^T$, use a unitary charge-conjugation matrix with $C^{-1}{\gamma }^{0}C=-({\gamma }^0{)}^T$ and Hermitian ${\gamma }^0$ of square one. The Dirac adjoint then satisfiesIf the unitary charge conjugation operator sends $\psi$ to ${\eta }_C{\psi }^c$, it sends $\bar{\psi }$ to $-{\eta }_C^{\ast }{\psi }^T{C}^{-1}$. Antisymmetry $C^T=-C$ also gives $({\psi }^c{)}^c=\psi$. The unitary operator acting on fields is not an antiunitary operator acting on numerical coefficients.

Choose the negative-frequency Dirac spinors as the charge conjugates of the positive-frequency spinors. Transposing $\bar{u}(/p-m)=0$ and using the charge-conjugation matrix identity gives $(/p+m)C{\bar{u}}^T=0$, so the displayed choice solves the correct antiparticle equation. In the mode expansion of a Dirac field, the unitary charge-conjugation operator then exchanges particle and antiparticle annihilation operators, with conjugate phases on their creation operators. A different spinor basis can insert conventional phases or a spin-index relabeling; the displayed equality specifies a compatible choice.

The characteristic function of a Dyadic Rademacher series is $\sin t/t$, interpreted as one at zero. The characteristic function of a sum of independent variables gives the finite cosine products, and weak convergence of probability measures gives their displayed limit for every real $t$. This argument includes zeros of the sinc function without taking logarithms of the factors.

In a commutative complex unital Banach algebra, a maximal ideal is closed: its closure remains proper, since an element within distance less than one of the identity is invertible by the Neumann series. The quotient is a complex division Banach algebra, hence is the complex field by the Gelfand-Mazur theorem. Its quotient map is a character of an algebra. Conversely a nonzero multiplicative complex linear functional has value one at the identity, is onto the complex field, and has maximal kernel. It is automatically continuous because its value at each element belongs to that element's spectrum. The kernel determines the character uniquely since the quotient is one-dimensional.

In a commutative complex unital Banach algebra, a maximal ideal is closed: its closure remains proper, since an element within distance less than one of the identity is invertible by the Neumann series. The quotient is a complex division Banach algebra, hence is the complex field by the Gelfand-Mazur theorem. Its quotient map is a character of an algebra. Conversely a nonzero multiplicative complex linear functional has value one at the identity, is onto the complex field, and has maximal kernel. It is automatically continuous because its value at each element belongs to that element's spectrum. The kernel determines the algebra character uniquely since the quotient is one-dimensional.

For a complex character $\chi$ of a finite group, its kernel is the kernel of an affording group representation. Averaging an inner product makes that representation unitary. If its degree is $d$, all eigenvalues of a group element have modulus one, so their sum equals $d$ only when every eigenvalue is one. Thus the displayed character-value criterion agrees with the representation kernel and defines a normal subgroup.

For a group representation $\rho$ with character $\theta$, its determinant character sends $g$ to $\det \rho (g)$. Multiplicativity makes it a linear character, independent of the equivalent matrix realization of $\rho$.

An ordinary character is the trace character of a finite-dimensional group representation in characteristic zero, usually realized over the complex numbers. It contrasts with a Brauer character in positive characteristic, which lifts eigenvalues on p-regular elements to characteristic-zero roots of unity.

For a non-dividend-paying stock in the Black-Scholes model, use density $d{Q}^S/dQ=e^{-\rho T}{S}_T/S_0$. Under $Q^S$, $W_t^S=W_t^Q-\sigma t$ is Brownian motion, and $\log S_t=\log S_0+(\rho +{\sigma }^2/2)t+\sigma W_t^S$. Thus $e^{-\rho T}{\mathbb{E}}_Q[S_{T}H]=S_0{\mathbb{E}}_{Q^S}H$. This change of numeraire is particularly useful for payments delivered in stock units.

For a test mass $M$ and isotropic background particles of mass $m$, the hyperbolic two-body problem uses the relative deflection scale $b_{90}=G(M+m)/w^2$. The test body's longitudinal velocity change in one encounter is $-2mw/[(M+m)(1+b^2/b_{90}^2)]$. Integrating the encounter rate over impact parameter gives a logarithm; replacing its velocity-dependent value by a common Coulomb logarithm in stellar dynamics gives the displayed systematic drag. The approximation $M+m\simeq M$ requires $M\gg m$, not merely $M>m$. Velocity diffusion and exact cutoff dependence are distinct effects omitted by this leading-log drag model.

For an isotropic, integrable background phase-space distribution function, rotational symmetry makes the integral radial in velocity space. Its divergence with respect to $\mathbf{V}$ is $4\pi f(V)$ by the Dirac delta identity for the divergence of the inverse-square vector field. Integrating over a velocity-space sphere and using the divergence theorem proves the displayed identity. Exterior velocity shells have zero contribution, just as in the spherical shell theorem. This explains why the leading-log Chandrasekhar dynamical friction integral contains only particles slower than the test body.

Let a weak tangential deceleration $D>0$ act on a test body moving along a slowly evolving family of circular orbits. Write its circular speed as $V_c(r)>0$ and its specific angular momentum as $j=r{V}_c(r)$. The specific torque is $\dot{j}=-rD$. Defining $q=d\log V_c/d\log r$ givesThis derivation follows angular-momentum balance; simply setting ${\dot{V}}_c=-D$ would omit the angular momentum changed by radial migration.

An adiabatic inward drift along radially stable circular orbits requires $1+q>0$. Indeed, with $\Omega =V_c/r$, the radial epicyclic frequency satisfiesFor this stable branch, the positive local timescale defined as $r/(2|\dot{r}|)$ is $(1+q)V_c/(2D)$. It is $V_c/D$ in a uniform-mass density core with $q=1$, and $V_c/(2D)$ for a flat galaxy rotation curve with $q=0$.

At $q=-1$, the circular-orbit angular momentum is locally independent of radius, so division by $1+q$ fails. For $q<-1$, the algebraic drift formula points outward, but those circular orbits are radially unstable; it is not a stable slow-inspiral solution. The quasistatic approximation also requires the drift time to exceed an orbital time. Finally, this local timescale is not automatically the remaining time to the center, which requires integrating the radius-dependent drift.

On $|{\Phi }^{+}⟩$, measure ${\sigma }_z\cos \theta +{\sigma }_x\sin \theta$, assigning bit $a$ to eigenvalue $(-1{)}^a$. Choose Alice's angles $2(i-1)\delta$ and Bob's angles $(2i-1)\delta$, with $\delta =\pi /(2N)$. The Bell state correlation is $\cos (\theta -\varphi )$. Each adjacent disagreement term and the last agreement term therefore has probability ${\sin }^2(\pi /(4N))$. For $N\ge 2$, their total violates the chained modular Bell inequality bound one, and it tends to zero as $N\to \infty$. At $N=1$ the value is exactly one.

// Target: probability-and-statistics.bigb

For a chain map $f:C\to C^{\prime }$, one mapping-cone convention takes $M(f{)}_i=C_{i-1}\oplus C_i^{\prime }$ with a differential combining $d,d^{\prime }$ and $f$. Its short exact sequence with $C^{\prime }$ and a shift of $C$ produces a long exact sequence in homology.

The chain differential of a homological chain complex is a family of group or module homomorphisms ${\partial }_n:C_n\to C_{n-1}$ satisfying ${\partial }_{n-1}{\partial }_n=0$. The identity implies $\mathrm{im}{\partial }_{n+1}\subset \ker {\partial }_n$, so the quotient $H_n=\ker {\partial }_n/\mathrm{im}{\partial }_{n+1}$ is defined. In a graded complex over $\mathbb{Z}[U]$, the chain differential can have degree $-1$ while $U$ has degree $-2$, with $\partial (Ux)=U\partial x$.

For an endomorphism of a finite-dimensional bounded chain complex over a field, the alternating chain trace equals the alternating trace on homology. Split each chain space into boundaries, representatives for homology, and a complement mapping isomorphically to the preceding boundaries. The chain-map relation makes the traces on the first and third summands cancel in successive degrees, leaving the homology traces. Over a field the induced cohomology maps are dual and have the same traces. This identity turns the absence of diagonal simplex contributions into a vanishing Lefschetz number.