The axisymmetric magnetic mode spans a one-dimensional real representation of axial rotations, so its signed amplitude is a real variable $B$. An equatorial dipole has two real horizontal components. Rotation through an angle $\vartheta$ rotates that pair; encoding the components by one complex amplitude gives $A\mapsto e^{i\vartheta }A$, and rotation through $\pi$ gives $A\mapsto -A$. The velocity mode has the same rotational representation, so write it as $V\mapsto e^{i\vartheta }V$. Magnetic reversal acts asThus the two relevant symmetries are axial rotation and magnetic reversal. Reflection symmetry has not been assumed, so complex coupling coefficients are permitted.

The equations for $B,A$ must be linear in the magnetic variables at fixed velocity. Combining this with rotational equivariance, their general local form iswhere $f$ is real valued and $g,h,j,\ell$ are complex valued. These functions can be understood through their local Taylor expansions; the symmetry argument does not require a convergent infinite series. Reality of $\dot{B}$ explains its conjugate pairing.

For the velocity equation, a monomial $B^p{A}^q(A^{\ast }{)}^r{V}^s(V^{\ast }{)}^t$ must have the same rotational weight as $V$ and be even under magnetic reversal. Its selection rules areA formal sum of all such monomials with complex coefficients is the most general local velocity evolution. At degree one there is $V$; at degree two there is $AB$; at degree three there are $V|V{|}^2,V|A{|}^2,V^{\ast }{A}^2,V{B}^2$. Expanding the magnetic equations similarly gives the equivariant three-mode dynamo normal formThe ${\mu }_i,{\omega }_i,e$ are real, and the remaining coefficients are complex. The minus signs on cubic coefficients are a convention, not an assumption about their signs. Terms such as $B^3$ and $A|A{|}^2$ are forbidden in the magnetic equations by magnetic linearity, even though symmetry alone would allow some of them.

For the normalization of nonzero dynamo coupling coefficients, assume $c_1{c}_3\ne 0$. Make the variable changesThe transformed coefficients are ${\tilde{c}}_1=qv{e}^{i({\chi }_V-{\chi }_A)}{c}_1=1$ and ${\tilde{c}}_3=(q/v)e^{i({\chi }_A-{\chi }_V)}{c}_3$, of modulus one. ThusThe remaining phase is genuine; the two complex coefficients cannot both generally be made positive real. A zero coupling cannot be normalized to one, so the printed normalization presupposes this generic nonzero-coupling case.

Now impose the specified simplification, in the normalized variables, and write $A=r{e}^{i\theta }$, $V=s{e}^{i\varphi }$ with $r,s>0$ and signed real $B$. Put $\psi =\varphi -\theta$. Separating real and imaginary parts givesConstant moduli require the first three right sides to vanish. Since $rs\ne 0$, the first equation also fixes $\cos \psi$, so a continuously evolving phase difference must be constant. Hence the last right side must vanish as well. Both phases then advance at one common frequency, giving a relative equilibrium. These four algebraic conditions and the displayed common-frequency equations govern all the requested nonzero constant-modulus solutions, without needing to solve them.

The pure-velocity branch isThis presumes $d_4\ne 0$; the usual saturated branch has ${\mu }_3,d_4>0$. Near it, set $A=e^{i({\omega }_{3}t+{\varphi }_0)}(u+iv)$, $B=b$, and define $\Delta ={\omega }_2-{\omega }_3$ and $\kappa ={\mu }_1-e{s}_0^2$. Magnetic feedback in the velocity equation is quadratic, so the first magnetic linearization isA branch of the stated relative equilibria has a zero growth rate in this rotating frame. Its determinant therefore gives the magnetic onset on a rotating velocity branch conditionFor ${\mu }_2^2+{\Delta }^2\ne 0$, the zero-mode relation is $u+iv=-c_2{s}_{0}b/({\mu }_2+i\Delta )$, so a nonzero $b$ gives a nonzero $A$ when $c_2\ne 0$. With a transverse eigenvalue crossing and nondegenerate nonlinear saturation this is the generic magnetic bifurcation surface; magnetic reversal pairs its two signs. Degenerate cases require separate treatment. For example, if ${\mu }_2=\Delta =0$ and $c_2\ne 0$, determinant zero is automatic but the stationary $u$ equation forces $b=0$, so that zero mode does not establish the requested branch with both magnetic amplitudes nonzero.

Write the Bernstein basis as $p_{n,j}(x)=\left(\genfrac{}{}{0ex}{}{n}{j}\right)x^j(1-x{)}^{n-j}$, with $p_{n,j}=0$ for out-of-range indices. The Bernstein polynomial isDifferentiation and the identities $j\left(\genfrac{}{}{0ex}{}{n}{j}\right)=n\left(\genfrac{}{}{0ex}{}{n-1}{j-1}\right)$ and $(n-j)\left(\genfrac{}{}{0ex}{}{n}{j}\right)=n\left(\genfrac{}{}{0ex}{}{n-1}{j}\right)$ give $p_{n,j}^{\prime }=n(p_{n-1,j-1}-p_{n-1,j})$. Shifting the first sum's index therefore yieldsRepeating this calculation takes another forward finite difference of the coefficients and lowers the degree by one. Induction proves the derivatives of Bernstein polynomials formulaFor $n>r$, define a continuous function on $[0,1]$ byAll sampled arguments lie in $[0,1]$, since the largest is $(n-r)t/n+r/n\le 1$. At the degree-$(n-r)$ sampling point $t=j/(n-r)$, this gives exactly the coefficient $(n{)}_r{\Delta }_{1/n}^{r}f(j/n)$, and hence $\boxed{B_n^{(r)}f=B_{n-r}{g}_{n,r}}$. The rescaling is essential: the sampling meshes are $1/n$ and $1/(n-r)$, and the function $g_{n,r}$ depends on $n$. For $n=r$, the derivative is the constant $n!{\Delta }_{1/n}^{n}f(0)$, interpreted as a degree-zero Bernstein polynomial.

Now fix $r$ and assume $f\in C^r[0,1]$. The supplied uniform limit of normalized finite differences, together with $(n{)}_r/n^r\to 1$ and uniform continuity of $f^{(r)}$, shows thatPositivity and ${\sum }_j{p}_{m,j}=1$ imply $\Vert B_{m}h{\Vert }_{\infty }\le \Vert h{\Vert }_{\infty }$. For completeness, if $X\sim \mathrm{Bin}(m,x)$ then $B_m(h,x)=\mathbb{E}[h(X/m)]$, and $\mathrm{Var}(X/m)=x(1-x)/m\le 1/(4m)$. Splitting according to whether $|X/m-x|\le \delta$ and using Chebyshev's inequality givesFirst let $m\to \infty$ and then $\delta \to 0$; this proves uniform convergence for each continuous $h$. Finally,Thus Bernstein polynomial derivatives converge uniformly to the corresponding derivatives of $f$, for each fixed $r$ with $f\in C^r[0,1]$. Continuity of $f$ alone is sufficient for the definition of $B_n$, but not for this derivative conclusion.

Here $p$ is odd. For a finite p-group, write $N^p=⟨n^p:n\in N⟩$. A powerfully embedded subgroup satisfies $[N,G]\le N^p$; this also makes $N$ normal, since every conjugate of an element of $N$ differs from it by an element of $N$. A powerful p-group is one with $[G,G]\le G^p$, namely one powerfully embedded in itself. Use $[a,b]=a^{-1}{b}^{-1}ab$ and $a^b=b^{-1}ab$ throughout.

The lower p-series is defined byEach quotient $G_i/G_{i+1}$ is an elementary abelian p-group, and $[G_i,G]\le G_{i+1}$. These are generated subgroups, without closure bars, because the group is finite.

A topological group is a group equipped with a topology for which multiplication $G\times G\to G$ and inversion $G\to G$ are continuous maps. The product uses the product topology. Translation and inversion are therefore homeomorphisms. Hausdorffness is sometimes included in the definition; the two open-subgroup arguments below do not require it.

For the inverse system, take a directed set $I$, topological spaces $X_i$, and continuous maps $f_{ij}:X_j\to X_i$ for $i\le j$, with $f_{ii}=\mathrm{id}$ and $f_{ik}=f_{ij}{f}_{jk}$. An inverse limit is a space $X$ with compatible continuous maps ${\pi }_i:X\to X_i$ such that every compatible family $q_i:Y\to X_i$ factors uniquely as $q_i={\pi }_{i}q$ through a continuous map $q:Y\to X$. Existence follows from the concrete constructionwith the subspace topology of the product topology. The only possible map $q$ is $q(y)=(q_i(y){)}_i$. Compatibility puts its image in $X$, and coordinatewise continuity makes it continuous. This proves the universal property of an inverse limit, even when $X$ is empty. Given two inverse limits, their universal properties supply maps each way; the composites have the same coordinates as the identity, so uniqueness makes them identities. The inverse limit exists and is unique up to the unique homeomorphism respecting its projections.

A profinite group can be defined as an inverse limit of finite discrete groups, or as a compact Hausdorff space that is a totally disconnected space, equipped with continuous group operations. For the first implication, use the Tychonoff theorem. The compatibility equalities define a closed subgroup of the compact Hausdorff product. Two distinct points are distinguished by a finite discrete coordinate, so no connected subset contains both. Consequently the inverse limit is a compact Hausdorff totally disconnected topological group.

For the converse, use the topological result that a compact Hausdorff totally disconnected space has a basis of clopen sets. Choose a clopen set $U$ containing $1$ inside any specified identity neighbourhood. For each $u\in U$, continuity gives an identity neighbourhood $V_u$ and an open neighbourhood $W_u$ of $u$ with $V_u{W}_u\subseteq U$. Finitely many $W_u$ cover the compact set $U$. Intersect their $V_u$ and its inverse to obtain a symmetric identity neighbourhood $V$ with $VU\subseteq U$. Symmetry also gives $V^{-1}U\subseteq U$, and hence $vU=U$ for every $v\in V$. The setis a subgroup containing $V$, so it is open. It is contained in $U$, since $1\in U$ and $h=h\cdot 1\in hU=U$. By part (ii), $H$ has finite index. Its normal core of a subgroup is a finite intersection of conjugates of $H$, hence an open normal subgroup $N$ contained in $U$. This proves the open normal subgroup basis of a profinite group.

The natural group homomorphismis injective because the intersection of these $N$ is $\{1\}$. For a compatible family of cosets, any finitely many have nonempty intersection: their intersection subgroup is another indexing subgroup, and its prescribed coset lies in each. The finite intersection property and compactness give a point belonging to all the cosets, proving surjectivity. Finally a continuous bijection from a compact space to a Hausdorff space is a homeomorphism. The two definitions of profinite group are equivalent.

An experimentally observed example of CP violation is the long-lived neutral kaon decay $K_L\to {\pi }^{+}{\pi }^{-}$. The two-pion spin-zero final state is CP even, whereas $K_L$ would be the CP-odd neutral-kaon state in the CP-conserving limit. Its two-pion decay reveals CP violation. The historical experimental account is cern-courier.web.cern.ch/a/cp-violations-early-days/ .

For the CKM matrix, diagonalize the up- and down-quark mass matrices independently by biunitary transformations. Writewith $L_u^{†}{M}_u^{\prime }{R}_u$ and $L_d^{†}{M}_d^{\prime }{R}_d$ positive diagonal matrices. Only the left transformations enter the weak charged current, because its chiral projector removes the right-handed fields. Substitution givesThe matrix is unitary but need not be diagonal: the two left mass diagonalizations generally differ.

Using the field transformations in the subparts and reordering the anticommuting Dirac fields, the charged bilinear transforms aswhere the fields on the right are both evaluated at $x_P$. The W boson contributes its second minus sign and Lorentz parity factor, so the product maps into its Hermitian-conjugate product. Crucially CP symmetry acts unitarily: it does not separately complex-conjugate the numerical coefficient $V_{ij}$. Thus the transformed interaction isComparing with the original interaction requires $V_{ij}=V_{ij}^{\ast }$ in this canonical CP convention. The physical condition is quark rephasing and CP conservation:A merely complex-looking matrix in an arbitrary mass-eigenstate phase convention is not itself proof of CP violation.

For CKM parameter counting, a unitary $N\times N$ matrix has $N^2$ real parameters: $N(N-1)/2$ mixing angles and $N(N+1)/2$ phases. Rephasing the $N$ up and $N$ down mass eigenfields removes $2N-1$ phases, since their common phase cancels out of $V$. For generic nondegenerate masses this leavesThere is one physical phase for three families and none for one or two. Degenerate masses would permit additional transformations, so the generic count need not apply unchanged.

For the QCD part of the gauge covariant derivative, define the Hermitian colour matrix ${\mathcal{A}}_{\mu }=A_{\mu }^a{T}^a$ and chooseThis sign convention agrees with the field-strength definition ${\mathcal{F}}_{\mu \nu }=-i[D_{\mu },D_{\nu }]/g_s$ in the source. The kinetic term contains $-g_s\overline{u}{\gamma }^{\mu }{\mathcal{A}}_{\mu }u$. A vector bilinear under CP changes sign, gains the Lorentz parity matrix, and transposes its colour matrix upon exchanging quark and antiquark. Invariance of this interaction therefore requires the CP transformation of a non-Abelian gauge connection:Both the time/spatial distinction and the colour transpose are essential; individual colour components need not all share one charge-conjugation sign.

The same gauge covariant derivative givesApply the transformation above and the chain rule ${\partial }_{\mu }f(x_P)={\Pi }_{\mu }{}^{\alpha }({\partial }_{\alpha }f)(x_P)$. The transpose reverses commutator order, $[X^T,Y^T]=-[X,Y{]}^T$, so the nonlinear term transforms with the same overall minus sign as the derivatives. This proves the CP transformation of non-Abelian field strength:Finally $\mathrm{tr}(T^a{T}^b)={\delta }^{ab}/2$ rewrites the theta density as $2\theta {ϵ}^{\mu \nu \rho \sigma }\mathrm{tr}({\mathcal{F}}_{\mu \nu }{\mathcal{F}}_{\rho \sigma })$. The two minus signs cancel, and transposition followed by cyclicity leaves the colour trace unchanged. But the four parity matrices acting on the Levi-Civita symbol contribute $\det \Pi =-1$. HenceThe density is C even and P odd, therefore CP odd. A generic fixed nonzero theta coefficient violates CP symmetry. This is the source of the Strong CP problem, separate from the charged-current phase in the CKM matrix.

A phase diagram partitions a space of control parameters into regions with distinct equilibrium phases. Its boundaries mark nonanalyticities of the thermodynamic-limit free energy; a first-order phase transition has a jump in a first derivative, whereas a continuous phase transition has a continuously vanishing order parameter and singular fluctuations.

An explicit three-parameter example is the scalar Landau free energywith parameter axes $(r,u,h)$. These can be realized locally by the temperature, single-ion anisotropy and magnetic field of the Blume–Capel model. The three dimensions here refer to control-parameter space, not necessarily to three spatial dimensions. At $h=0$, minimizing this potential gives a continuous phase transition at $r=0$ for $u>0$. For $u<0$, coexistence occurs at $r=3u^2/(16v)$, whereThere are three global minima, $M=0$ and $M=\pm \sqrt{-3u/(4v)}$. Their order parameter jump decreases to zero as $u\uparrow 0$. Thus $(r,u,h)=(0,0,0)$ is a tricritical point. The two transition curves in the $h=0$ plane meet there.

In the three-dimensional phase diagram, crossing $h=0$ inside the ordered region switches between opposite signs of $M$, so that region is itself a first-order phase transition sheet. For $u<0$, two tricritical wings at opposite nonzero fields separate weakly and strongly magnetized phases. Their wing critical edges can be obtained rather than merely sketched: require $V^{\prime }=V^{\prime \prime }=V^{\prime \prime \prime }=0$. Since $V^{\prime \prime \prime }=6uM+20v{M}^3$, the nonzero solutions satisfyThe fourth derivative there is $-12u>0$, giving ordinary continuous critical endpoints. The wings meet the zero-field coexistence sheet along the tricritical three-phase line and terminate at these edges. Their exact tricritical wing coexistence factorization supplies the surfaces in the figure: for two nonnegative minima $a\le b$, set $s=a+b$, $p=ab$ andDirect expansion gives $V(M)-V(a)=(v/6)(M-a{)}^2(M-b{)}^2[(M+s{)}^2+p]\ge 0$, proving that these surfaces describe coexistence of global, not merely local, minima.

For the unheaded Ising model calculation, assume ferromagnetic exchange $J>0$ and let $M$ denote the mean Ising spin. On the hypercubic lattice the coordination number of a lattice is $z=2D$, even though the original positive-direction bond sum counts each bond only once. The mean-field approximation neglects products of deviations from $M$:There are $ND$ bonds, so the approximate energy is $H_{\mathrm{MF}}=-2DJM{\sum }_i{\sigma }_i+NDJ{M}^2$. Each independent Ising spin therefore sees the effective field $2DJM$. With ${\beta }_{\mathrm{th}}=1/(k_{B}T)$, averaging its two Boltzmann weights gives the self-consistency equationThe slope of its right side at zero is $T_c/T$, whereAbove $T_c$, $\tanh x<x$ for $x>0$ excludes a nonzero solution. Below $T_c$ the initial slope exceeds one, and concavity of the hyperbolic tangent on the positive axis gives one positive solution and its negative partner. The Ising auxiliary mean-field free energy $DJ{M}^2-k_{B}T\log [2\cosh (2{\beta }_{\mathrm{th}}DJM)]$ has positive quartic coefficient near $T_c$, while its quadratic coefficient changes sign there. Its stable minima therefore move continuously away from zero; this is a continuous phase transition in the mean-field theory of the Ising model.

Put $\tau =(T_c-T)/T_c>0$ and $c=T_c/T=(1-\tau {)}^{-1}$. The Taylor expansion $\tanh x=x-x^3/3+O(x^5)$ gives, on the nonzero branch,Consequently $M\sim \sqrt{3}{\tau }^{1/2}$ and the mean-field order-parameter exponent is $\beta =1/2$. The inverse-temperature symbol ${\beta }_{\mathrm{th}}$ used above is distinct from this order-parameter critical exponent.