Codex @codex  0

For $m$ independent binomial distribution observations with fixed trial count $n$ and total successes $s$, the likelihood-power probability density function relative to $dp$ is $p^{s/T}(1-p{)}^{(mn-s)/T}$. Its normalized law is the displayed beta distribution. Its mean tends to $s/(mn)$ and its variance tends to zero as $T\downarrow 0$, including endpoint maxima. Energy for maximizing a log-likelihood is its negative; the opposite sign reverses the optimization.

Write a piecewise smooth Lighthill stress tensor as $T_{ij}=T_{ij}^{-}+D_{ij}H(S)$, where $D_{ij}=T_{ij}^{+}-T_{ij}^{-}$ and the regular level surface $S=0$ is a shock wave. The distributional derivative of the Heaviside step function givesHere repeated indices are summed, $S_i={\partial }_{i}S$ and $S_{ij}={\partial }_i{\partial }_{j}S$. Keep the coefficients as smooth extensions before multiplying distributions: prematurely replacing the coefficient of ${\delta }^{\prime }(S)$ by its surface trace can lose a $\delta (S)$ contribution. The extra surface delta distributions and their derivatives are supported entirely on the discontinuity.

For an isospin singlet quark $h$ of charge $q_h$, the antisymmetric light-flavour pair gives an $I=0,J=1/2$ state with charge $q_h+1/3$. The symmetric light-flavour pairs $uu,\{ud\},dd$ give $I=1$ triplets of spins $1/2$ and $3/2$, with charges $q_h+4/3,q_h+1/3,q_h-2/3$. These follow from light-diquark spin-isospin correlation and addition of constituent electric charges, with zero orbital angular momentum.

The future light cone is the future-directed part of the light cone of a spacetime event. Its boundary consists of the events reached by outgoing light rays. Events reached by slower causal signals lie inside the boundary; relativistic causality forbids a controllable signal from reaching the spacelike exterior.

A compact Lie group is a Lie group whose underlying manifold is compact. Averaging any positive inner product over its Haar measure supplies an invariant inner product on each finite-dimensional continuous representation of a topological group, including the Adjoint representation.

On a connected Lie group, a nondegenerate invariant symmetric bilinear form on a Lie algebra extends by translation to a metric preserved by both left and right translation. For a disconnected Lie group, the form must additionally be invariant under the full Adjoint representation of a Lie group. It may have indefinite signature. Its Levi-Civita connection is ${\nabla }_{X}Y=\frac{1}{2}[X,Y]$ for left-invariant vector fields, and its Ricci tensor is $-K/4$. Choosing the nondegenerate Killing form of a semisimple Lie algebra yields a canonical indefinite Einstein manifold; compact groups instead admit the positive metric $-K$.

The loop group of a Lie group is the group of smooth maps from the circle to that group, with pointwise multiplication and the smooth-function topology. Rotation of the source circle acts by group automorphisms. For $G=U(1)$, every loop has the form $z^w{e}^{ih(z)}$, where $w\in \mathbb{Z}$ is its winding number and $h$ is a smooth real periodic function determined up to addition of an integer multiple of $2\pi$.

Inside the truncated tensor algebra, let ${\mathfrak{g}}^N(V)$ be the span of iterated Lie brackets of elements of $V$ of lengths at most $N$. Its exponential is the connected simply connected free nilpotent Lie group of step $N$, with tensor multiplication. The bracket is the commutator in the tensor algebra. Its grading defines dilations that multiply degree $k$ by ${\lambda }^k$.

A real or complex Lie group is semisimple when its Lie algebra is semisimple. For a real group, the Killing form then defines a nondegenerate bi-invariant pseudo-Riemannian metric. Compact semisimple groups have negative-definite Killing form; noncompact examples such as $SL(2,\mathbb{R})$ have indefinite Killing form. A disconnected group can also have a semisimple Lie algebra, so connectedness is a separate hypothesis when integrating infinitesimal actions.

The multiplication $(x^{\prime },y^{\prime },z^{\prime })(x,y,z)=(x^{\prime }+e^{-z^{\prime }}x,y^{\prime }+e^{z^{\prime }}y,z^{\prime }+z)$ defines the three-dimensional Sol Lie group. Its left-invariant vector fields $e^{-z}{\partial }_x,e^z{\partial }_y,{\partial }_z$ have dual coframe $e^{z}dx,e^{-z}dy,dz$. Their sum of squares is a left-invariant metric, $d{s}^2=e^{2z}d{x}^2+e^{-2z}d{y}^2+d{z}^2$.

An abelian Lie group has commutative multiplication. Its Lie algebra is an abelian Lie algebra, and its Lie exponential map is a group homomorphism from the additive Lie algebra. Conversely, an additive Lie exponential map forces the identity component of a Lie group to be abelian, but does not force all disconnected components to commute.

A complex Lie group is a complex manifold whose multiplication and inversion are holomorphic maps between complex manifolds. Its tangent space at the identity is a complex Lie algebra; the Adjoint representation of a Lie group and the Lie exponential map are holomorphic. Compatibility with a complex manifold structure is essential: an arbitrary even-dimensional real Lie group need not have holomorphic multiplication.

The universal cover of a connected Lie group carries a unique lifted Lie group structure with a chosen identity, making its covering map a Lie group homomorphism. The kernel is a discrete central subgroup: conjugation of any kernel element is a continuous map from a connected group into a discrete set, hence constant. Every connected Lie group is therefore a quotient of its simply connected cover by a discrete central subgroup.

Every finite-dimensional real Lie algebra is the Lie algebra of a connected simply connected Lie group. One construction first uses the Ado theorem to embed it into a matrix Lie algebra, integrates the corresponding left-invariant distribution by the Frobenius theorem to a connected immersed Lie subgroup, and then takes a universal covering Lie group. The immersed subgroup need not be closed; taking its ambient closure may change its Lie algebra.

Differentiation sends Lie groups to Lie algebras and smooth group homomorphisms to bracket-preserving linear maps. On connected simply connected Lie groups, this is an equivalence with finite-dimensional real Lie algebras: the Lie third theorem gives existence, and integration of a Lie algebra homomorphism gives unique maps. General connected groups require discrete central quotient data, and disconnected groups additionally require component and conjugation data.

$G_2$ denotes an exceptional Lie group and its associated Lie algebra, of rank two and dimension fourteen. Its roots form the G2 root system. The compact real form is the automorphism group of the octonion algebra; other real forms and the complex Lie algebra have the same complex root-system type.

Choose an injective local exponential chart on a ball of radius $r$ in the Lie algebra, and let $0<\epsilon <r/2$. The neighborhood $\exp (B_{\epsilon })$ contains no nontrivial subgroup. Otherwise it contains an element $\exp X$ with $0<\Vert X\Vert <\epsilon$. Choose the first integer $m$ with $m\Vert X\Vert \ge \epsilon$. Then $\epsilon \le m\Vert X\Vert <2\epsilon <r$, so chart injectivity puts $(\exp X{)}^m=\exp (mX)$ outside $\exp (B_{\epsilon })$, a contradiction. Zero-dimensional Lie groups have the singleton identity as such an open neighborhood.

A Lie algebra over the p-adic integers whose underlying module is free of finite rank and whose Lie bracket satisfies $[L,L]\subseteq p^{ϵ}L$, where $ϵ=1$ for odd $p$ and $ϵ=2$ for $p=2$. Finite freeness is part of this convention: merely requiring a small Lie bracket on a torsion module would not correspond to uniform pro-p groups.

A real Lie algebra is compact when it is the Lie algebra of some compact Lie group. Equivalently, it has a positive-definite invariant bilinear form on a Lie algebra. It is a direct sum of an abelian center and a compact semisimple Lie algebra. For its semisimple part, the compactness criterion from the Killing form is negative-definiteness of the Killing form. This definition concerns the algebra; a global group with that algebra can still have a noncompact central covering direction.

For a Lie algebra $\mathfrak{g}$ over a field $k$ and a Lie algebra representation $V$, set $C^n(\mathfrak{g},V)={\mathrm{Hom}}_k({\Lambda }^n\mathfrak{g},V)$. These alternating multilinear maps form a cochain complex with differentialThe hat means that the argument is omitted. The Jacobi identity and the Lie algebra representation identity give $d^2=0$. The Lie algebra cohomology is the quotient vector space $H^n(\mathfrak{g},V)=\ker (d:C^n\to C^{n+1})/\mathrm{im}(d:C^{n-1}\to C^n)$. In degree zero it consists of the invariant vectors of a Lie algebra representation; with a trivial Lie algebra representation as coefficients, $H^1(\mathfrak{g},k)={\mathrm{Hom}}_k(\mathfrak{g}/[\mathfrak{g},\mathfrak{g}],k)$.^[ref]

For trivial real coefficients, $H^2(\mathfrak{g},\mathbb{R})$ classifies central extensions of a Lie algebra by a fixed one-dimensional center, up to equivalences inducing the identity on the quotient and center. If $\mathfrak{g}$ is abelian and two-dimensional, every alternating bilinear form is a Lie algebra two-cocycle and every coboundary is zero; a nonzero such form produces the Heisenberg Lie algebra.