Every Adjoint representation operator raises the lower central series of a Lie algebra filtration. In a basis adapted to that finite filtration, all adjoint operators are strictly triangular. Their products have zero trace, so the Killing form vanishes. Consequently its radical of the Killing form is the whole algebra. For strictly upper triangular matrices the filtration can be seen directly by the gap between the column and row indices.

// Target: algebra.bigb

For a vector field with linear part $\dot{u}=v$, $\dot{v}=0$ and cubic terms $a_i{u}^3+b_i{u}^{2}v+c_{i}u{v}^2+d_i{v}^3$, write $(u,v)=(x,y)+(h_1,h_2)$ with homogeneous cubic $h_i$. The transformed cubic field is $f_3+Ah-DhA(x,y{)}^T$, where $A(x,y{)}^T=(y,0{)}^T$. Taking the coefficients of $h_2$ to be $(-a_1,c_2/2,d_2,0)$ and those of $h_1$ to be $((b_1+c_2/2)/3,(c_1+d_2)/2,d_1,0)$ eliminates every cubic term in $\dot{x}$ and the $x{y}^2,y^3$ terms in $\dot{y}$. The remaining normal form is $\dot{x}=y$, $\dot{y}=P{x}^3+Q{x}^{2}y$ through cubic order. The invariant damping coefficient contains the contribution $3a_1$ from differentiating the first equation.

A newform is a normalized Hecke eigenform in the new subspace of cusp forms. Its weight, level and Dirichlet character are part of its specification. For a newform, its Fourier coefficients equal its eigenvalues of Hecke operators.

For a unit nematic director, the bulk elastic density is $[K_1(\nabla \cdot \mathbf{n}{)}^2+K_2(\mathbf{n}\cdot \nabla \times \mathbf{n}{)}^2+K_3|\mathbf{n}\times \nabla \times \mathbf{n}{|}^2]/2$. The three positive moduli penalize nematic splay, nematic twist, and nematic bend. Boundary elastic terms, chirality, or varying nematic order require additional contributions.

For $n$ independent one-stop negative multinomial distribution observations, the natural estimates are $\hat{\alpha }=S_X/(n+S_X+S_Y)$ and $\hat{\beta }=S_Y/(n+S_X+S_Y)$. Their sum is $g((S_X+S_Y)/n)$ with strictly concave $g(z)=z/(1+z)$, so Jensen's inequality makes its expectation strictly below $\alpha +\beta$. Conditional category proportions split this bias between both estimates. With zero observed counts of a category, that estimate lies at zero; in a parameter space requiring strict positivity the likelihood supremum is not attained.

If an effective divisor $D$ is linearly equivalent to a negative curve $C$, then $D=C$. Otherwise $D\cdot C=C^2<0$ forces $C$ to be a component of $D$, since distinct irreducible curves have nonnegative intersection multiplicities. Write $D=C+D^{\prime }$ with $D^{\prime }$ effective and linearly equivalent to zero. An ample divisor intersects $D^{\prime }$ positively unless $D^{\prime }=0$, while linear equivalence forces that intersection to vanish.

Distinct negative curves cannot have the same integral cohomology class: their mutual intersection would equal a negative self-intersection, contradicting nonnegative intersection multiplicities for distinct curves. A smooth complex projective surface has finitely generated integral cohomology groups, so its negative curves form an at most countable set. Zero-self-intersection curves need not obey this restriction: one ruling of ${\mathbb{P}}^1\times {\mathbb{P}}^1$ gives an uncountable family.

Complete the square as $bF+\xi b^2/2=\xi (b+F/\xi {)}^2/2-F^2/(2\xi )$. Translation of the Gaussian functional integral gives the displayed identity for nonzero $\xi$, with the appropriate oscillatory contour prescription. At $\xi =0$, the Nakanishi-Lautrup field is a Lagrange multiplier imposing the gauge-condition delta functional. This field has no kinetic term and no independent propagating degree of freedom.

For the unit-width symmetric box kernel for density estimation, suppose the design density is positive and differentiable at $x$, the regression function is twice differentiable there, and the conditional variance and design density are bounded near $x$. Write $G_n=(nh{)}^{-1}{\sum }_i(Y_i-m(x))1_{\{|X_i-x|\le h/2\}}$. Symmetry cancels its linear Taylor term, giving $\mathbb{E}{G}_n=O(h^2)$; independence gives $\mathrm{Var}{G}_n=O((nh{)}^{-1})$. The absolute error bound for a ratio estimator with a controlled denominator gives the displayed rate if the small-denominator contribution is negligible. The balance $h\asymp n^{-1/5}$ gives $O(n^{-2/5})$. Interior design positivity matters: support boundaries can prevent the linear cancellation.

A Graeco-Latin square is the superposition of two orthogonal Latin squares of the same order. Each symbol of either square occurs once per row and column, and every cross-square pair occurs once. It permits four mutually orthogonal additive factor spaces: rows, columns, and the two symbol factors.

For a negative muon with rest-frame spin vector $\mathbf{s}$, the leading massless-electron distribution is $d\Gamma /(dxd\Omega )=G_F^2{m}_{\mu }^5{x}^2[(3-2x)+(1-2x)\hat{\mathbf{k}}\cdot \mathbf{s}]/(384{\pi }^4)$, where $x=2E_e/m_{\mu }\in [0,1]$. Its final-spin sum is $64G_F^2(k\cdot q^{\prime })(q\cdot (p-m_{\mu }s))$. The spin vector is axial whereas the electron direction is polar, so their scalar product reverses under parity. Its occurrence demonstrates parity violation by the left-chiral weak charged current.

If $F:{\mathbb{R}}^n\to \mathbb{R}$ is differentiable at the point $\gamma (t)$ of a differentiable parametric curve, the multivariable chain rule givesThe gradient supplies the local spatial rates; the velocity vector ${\gamma }^{\prime }(t)$ supplies the direction and rate of movement. Their dot product is the change in the sampled scalar field per unit parameter. If the parameter is time, this is a rate per unit time; a directional derivative per unit distance instead uses a unit vector.

Take $F(x,y)=x^2+2y^2$ and the unit circle path $\gamma (t)=(\cos t,\sin t)$. Along the path,At $t=\pi /4$, the gradient is $(\sqrt{2},2\sqrt{2})$, the velocity vector is $(-1/\sqrt{2},1/\sqrt{2})$, and their dot product is $-1+2=1$. The sampled value is $3/2$ and increases at rate one, even though one coordinate is decreasing. This is why a moving observation must combine every coordinate's contribution.

For a level curve, $F(\gamma (t))$ is constant, so the derivative along a curve is zero and its velocity vector is orthogonal to the gradient. Along other paths, the same formula combines a field's geometry with the observer's motion. ^[ref].

A root of a polynomial is double when its multiplicity of a root is exactly two. Equivalently, $p(x)=(x-x_0{)}^{2}q(x)$ with $q(x_0)\ne 0$. A generic small perturbation splits it according to square-root splitting of a double polynomial root.

For independent multinomial distributions with fixed stratum totals $N_s$ and baseline logits $\log (p_{sl}/p_{sL})=x_s^T{\beta }_l$, the sufficient statistics are the displayed response-specific design-weighted counts, $l<L$. Expanding the log-likelihood gives ${\sum }_{l<L}{\beta }_l^T{T}_l-{\sum }_s{N}_s\log (1+{\sum }_{l<L}{e}^{x_s^T{\beta }_l})$, plus a data-only term. The Fisher-Neyman factorization theorem therefore proves sufficiency; with an unrestricted identifiable canonical parameter, a likelihood-ratio argument proves minimal sufficiency. Factor indicators give the corresponding response/covariate margins.

For ordered response categories, model each displayed conditional probability by a grouped-binomial logistic regression. The multinomial likelihood factors exactly into successive conditional binomial likelihoods, using the remaining category total as each stage's denominator. This is a different regression parameterization from baseline-category logits or cumulative odds. Separate cumulative binary indicators from the same person are dependent and cannot be treated as independent likelihood contributions.

For a symmetric zero-diagonal dissimilarity matrix $D$, square each entry to obtain $D^{(2)}$ and put $H=I-11^T/n$. Take the eigenvectors of $G=-H{D}^{(2)}H/2$ corresponding to its largest positive eigenvalues. Multiplying them by square roots of these eigenvalues gives coordinates. If $D$ contains Euclidean distances, $G$ is a centered Gram matrix, so retaining all positive eigenvalues reconstructs those distances exactly. Retaining fewer approximates the Gram matrix, not generally the sum of squared errors in raw distances. Negative eigenvalues signal failure of an exact Euclidean representation. Coordinates are unchanged in meaning by orthogonal transformations.

The quantum Hamiltonian with kinetic energy $p^2/(2\mu )$ and Morse potential has bound energies of the displayed form, where $A=\hslash {\omega }_e$, $B=A^2/(4D_e)>0$ and ${\omega }_e=a\sqrt{2D_e/\mu }$. Adjacent energy differences are $A-2B(n+1)$, distinct and positive over the physical bound-level range. A finite truncation with nonzero adjacent dipole couplings therefore satisfies connected nondegenerate transition chain generates special unitary control. Controllability of such a truncation does not by itself prove controllability on the full space including dissociation states.

A morphism $f:X\to Y$ is of finite type when every point of $Y$ has an affine neighborhood $V=\mathrm{Spec}A$ for which $f^{-1}V$ has a finite affine cover $\mathrm{Spec}{B}_i$ with each $B_i$ a finitely generated $A$-algebra.

For a ring map $A\to B$, the module of Kähler differentials represents $A$-derivations: ${\mathrm{Hom}}_B({\Omega }_{B/A},M)\cong {\mathrm{Der}}_A(B,M)$.

For an algebra $B$ over $A$, the module ${\Omega }_{B/A}$ represents $A$-linear derivations: every derivation $B\to N$ factors uniquely through the universal map $d:B\to {\Omega }_{B/A}$.

The fibre product $X{\times }_{S}Y$ represents pairs of morphisms to $X$ and $Y$ with equal composites to $S$. Affine-locally,