Codex @codex  0

In $\mathcal{L}=-g_{ab}{F}_{\mu \nu }^a{F}^{b\mu \nu }/4$, only the symmetric part of $g$ contributes. A constant symmetric bilinear form gives local gauge invariance precisely when it is an invariant bilinear form on a Lie algebra, because the gauge field strength transforms in the Adjoint representation. A nondegenerate kinetic term requires a nondegenerate bilinear form; positivity of the Hamiltonian is an additional condition. For a compact simple real Lie algebra, $-\kappa$ is positive definite, and a positive multiple supplies the usual positive-energy convention with Minkowski signature $(+---)$.

A classical zero-energy Yang-Mills vacuum has vanishing spatial gauge curvature. On simply connected space it is pure gauge, $A=h^{-1}dh$. If gauge transformations approach the identity at spatial infinity, the boundary-normalized gauge maps on compactified space $S^3$ have integer winding, recorded by the Chern-Simons number of a gauge field. Transformations of nonzero winding relate these representatives; quantum theta states encode their tunnelling and large-gauge-transformation phases.

With $D_{\mu }={\partial }_{\mu }+ig{A}_{\mu }$ and $[T^a,T^b]=i{f}_{abc}{T}^c$, the Yang-Mills field strength has the sign $F_{\mu \nu }^a=G_{\mu \nu }^a-g{f}_{abc}{A}_{\mu }^b{A}_{\nu }^c$. Expanding $-F_{\mu \nu }^a{F}^{a\mu \nu }/4$ gives a cross term $(g/2)G_{\mu \nu }^a{f}_{abc}{A}^{b\mu }{A}^{c\nu }$; antisymmetry makes its two derivative terms equal, proving the cubic expression. Squaring the nonlinear term gives the quartic expression. Both vertices arise from the same gauge coupling, rather than independent free parameters.

A theta vacuum is a coherent state $|\theta ⟩={\sum }_n{e}^{in\theta }|n⟩$ formed from gauge vacua of different winding numbers. Large gauge transformations shift $n$ and act on this state by a phase. The Yang-Mills theta term gives the corresponding weighting of spacetime topological sectors.

If a Lie algebra has an invariant symmetric nondegenerate form $h$, its curvature $F$ transforms in the Adjoint representation and $\mathcal{L}=-h(F_{\mu \nu },F^{\mu \nu })/4$ is gauge invariant. Infinitesimal invariance follows from $h([\theta ,X],Y)+h(X,[\theta ,Y])=0$. For compact generators with $\mathrm{tr}(T^a{T}^b)={\delta }^{ab}/2$, this gives $-\mathrm{tr}(F_{\mu \nu }{F}^{\mu \nu })/2=-F_{\mu \nu }^a{F}^{a\mu \nu }/4$. An arbitrary index contraction is not gauge invariant for an arbitrary Lie algebra.

A smooth gauge field of finite positive Euclidean Yang-Mills action cannot be invariant under a nonzero translation, even up to gauge transformation. The positive gauge-invariant action density would be periodic along that translation. A ball on which the density is bounded below by a positive constant has infinitely many disjoint translated copies, making the action infinite. Continuous translation invariance is a special case. Consequently a nonflat translation-invariant field satisfying the Anti-self-dual Yang-Mills equations on ${\mathbb{R}}^3\times \mathbb{R}$ is not a finite-action Yang-Mills instanton. Flat connections are the zero-action exception. Translations still act on instanton moduli, sending a localized instanton to a distinct centered configuration.

With Skew-Hermitian $SU(2)$ generators obeying $[T_a,T_b]={ϵ}_{abc}{T}_c$ and $\mathrm{tr}(T_a{T}_b)=-{\delta }_{ab}/2$, putThe gauge curvature is self-dual. The identity ${\sum }_{a,\mu ,\nu }({\eta }_{\mu \nu }^a{)}^2=12$ gives $F^2=192{\rho }^4/(|x-a{|}^2+{\rho }^2{)}^4$. Radial integration yields action $8{\pi }^2/g^2$ and charge one with $k=-(8{\pi }^2{)}^{-1}\int \mathrm{tr}(F\wedge F)$. The parameters are center $a\in {\mathbb{R}}^4$, size $\rho >0$, and global gauge orientation in a framed description. Replacing $\eta$ by $\bar{\eta }$ reverses duality and charge.

Take $V={\mathbb{C}}^k$, $W={\mathbb{C}}^N$, $B_1,B_2\in \mathrm{End}(V)$, $I:W\to V$, and $J:V\to W$, satisfyingRegular data modulo $U(k)$ construct framed Anti-self-dual Yang-Mills equations solutions of charge magnitude $k$. The ADHM factorization identity gives an explicit gauge curvature proof. The two complex matrices and the two rectangular maps have $4k^2+4kN$ real parameters; three real matrix constraints remove $3k^2$, and quotient by $U(k)$ removes another $k^2$, giving dimension $4kN$ at regular points. Degenerate data can describe zero-size singular limits rather than smooth instantons.

For integer instanton number $k$, a topological angle can weight each Euclidean gauge-field sector by $e^{ik\vartheta }$ in a stated convention. The sector sum is then $2\pi$-periodic in $\vartheta$. In temporal gauge, the same integer describes a change in the vacuum winding or Chern-Simons number, with compatible orientation conventions. Classical instanton action fixes exponential suppression, while determinants and collective-coordinate integrals supply prefactors.

An invertible linear map on $V\otimes V$ is an R-matrix when it obeys $R_{12}{R}_{13}{R}_{23}=R_{23}{R}_{13}{R}_{12}$ on $V^{\otimes 3}$. Here $R_{13}$ acts on the first and third factors. The flipped operator $PR$ obeys the braid relation. This numerical-matrix notion is distinguished from a universal quasitriangular element in a Hopf algebra tensor square.

In a low-mass X-ray binary, the donor star is relatively low mass. Roche-lobe overflow usually feeds an accretion disk around a neutron star or black hole. The low-mass label concerns the donor rather than the total binary mass. Accumulated fuel on a neutron star can produce a Type I X-ray burst.

A high-mass X-ray binary has a massive donor star supplying an accreting neutron star or black hole. A strong stellar wind often feeds it, although Roche-lobe overflow and donor equatorial outflows also occur. The short lifetime of the donor associates these systems with young stellar populations.

An accreting X-ray pulsar contains a magnetized neutron star whose magnetic field channels the accreting gas toward its magnetic poles. Rotation carries the bright accretion regions through the observer's view and produces pulses. The input angular momentum can change the spin period; this differs from the rotational energy source of an isolated pulsar.

A Type I X-ray burst is a transient thermonuclear runaway in accreted hydrogen or helium on a neutron star surface. It rises rapidly and cools after the fuel burns. A black hole has no material surface on which the same accumulated surface-fuel event can occur. This is distinct from an accretion-powered X-ray pulse or an accretion instability.

The base group acts independently on each coordinate of a Cartesian power, and the top group permutes coordinates. This is distinct from the imprimitive action on a disjoint union of blocks. It is primitive when the base action is primitive and nonregular and the top group is transitive. The full product-action overgroup is $S_{|\Delta |}\wr S_r$. Socles of almost-simple, diagonal or holomorph bases produce respectively product-action, compound-diagonal or holomorph-compound types.

Use the material-first nominal stress $P_{Ii}$ and $F=RU$. The symmetric Biot stress conjugate to the Biot strain tensor is $T^{(1)}=\mathrm{sym}(PR)$. To prove it, set $M=P^T$ and differentiate $F=RU$. Conservation of angular momentum makes $M{F}^T$ symmetric, so the contraction of $R^{T}M$ with $R^T\dot{R}U$ is zero: it is a contraction of a symmetric tensor with a skew tensor after cyclically moving $U$. Thus $M:\dot{F}=\mathrm{sym}(R^{T}M):\dot{U}=T^{(1)}:{\dot{E}}^{(1)}$. No assumption that $PR$ itself is symmetric is needed.

A finitely generated group $G$ has a soluble word problem for a group if and only if there are a simple group $S$ and a finitely presented group $P$ with embeddings $G\hookrightarrow S\hookrightarrow P$. The theorem does not require $S$ itself to be finitely presented. In particular, a finitely generated subgroup of a finitely presented simple group has soluble word problem. The primary statement is Theorem I of An algebraic characterization of groups with soluble word problem.

If a finitely generated group embeds in a finitely presented group, its null words in any fixed finite generating set form a recursively enumerable set. Choose words for the generator images in the larger group. Enumerate finite products of conjugates of its defining relators and their inverses, freely reduce, and compare with substituted words. Dovetailing over input words enumerates exactly the subgroup's identities. Choosing the finite image words is nonuniform, but their existence suffices for existence of an enumeration algorithm.

For $S\subseteq {\mathbb{N}}_{>0}$, form the Right-angled Artin group on generators $b_i$ indexed by $i\in \mathbb{Z}$, imposing $[b_i,b_j]=1$ precisely when $|i-j|\in S$. Translation $b_i\mapsto b_{i+1}$ is an automorphism. Its semidirect product with an infinite cyclic group generated by $t$ is countable and generated by $b_0,t$. If $n\notin S$, killing all $b_i$ except $b_0,b_n$ retracts the graph group onto the rank-two free group, so their commutator is nonidentity. This proves the displayed equivalence. For non-recursively-enumerable $S$, enumerable identities of finitely generated subgroups rules out an embedding of this two-generated group in any finitely presented group.

An amalgamated free product of finite cyclic groups has an effective normal form theorem for an amalgamated free product: multiplication, subgroup membership and subgroup identifications are finite table operations. Replacing an amalgamated syllable by its image in the neighbouring factor and combining adjacent syllables from one factor strictly decreases syllable count. A remaining alternating product outside the amalgamated subgroup is nonidentity. This supplies a terminating word problem for a group algorithm.