Codex @codex  0

Hydrostatic equilibrium means that the local pressure gradient balances gravity, with no large acceleration or strength-supported departure from that balance. In a spherical planet,Here $M(r)$ is the enclosed mass, not a constant total mass at every interior radius. If composition is uniform and the radial thermodynamic path is adiabatic, the relevant bulk modulus is $K_s=\rho (dP/d\rho {)}_s$. The chain rule then gives the Adams-Williamson relationA phase transition or composition jump must be treated separately; its density change is not obtained by integrating one smooth homogeneous-adiabatic equation through it.

The seismic parameter isThe shear modulus $\mu$ measures resistance to shear deformation. Solids with $\mu >0$ transmit shear waves; an ideal fluid has zero static shear modulus, so it cannot carry a bulk S wave, while compressional P waves can still propagate through its nonzero bulk modulus.

Limitations include uncertain seismic coverage, temperature and composition tradeoffs, nonadiabatic boundary layers, phase changes, lateral heterogeneity, rotation and finite material strength. Small asteroids and comet nuclei commonly retain irregular shapes because their self-gravity is too weak to overcome strength and impact history; a few larger bodies, such as Ceres, are much closer to global hydrostatic figures. A spherical shape alone is not a complete proof of present hydrostatic equilibrium.

Two complementary remote constraints are precise spacecraft tracking, which measures gravitational harmonics and constrains mass distribution when combined with shape and rotation; and tidal or rotational measurements, such as Love numbers, librations and spin precession, which constrain deformability, moment of inertia and possible fluid layers. Magnetic induction measurements in a time-varying external field can provide an additional conductivity constraint, but are not a unique density inversion.

For the June 2018 lunar picture, start with a regolith and fractured crust, a largely anorthositic crust tens of kilometres thick, a silicate mantle, a deep partially molten region and a small iron-rich core. GRAIL and Apollo-based models gave a global mean crustal thickness around $34$-$43$ km.^[ref] A representative seismic model has a partial-melt boundary near radius $480$ km, a liquid outer-core boundary near $330$ km and a solid inner-core radius near $240$ km; these are model-dependent radii from the centre, not depths below the surface.^[ref]

The long-running Apollo network had only four principal stations on the near side, with poor global coverage and strong scattering in the fractured near-surface material. Far-side structure and weak deep reflected phases were therefore difficult to constrain. The historical date matters: the answer does not import later Mars seismology or later lunar-core refinements into the 2018 premise.

The neutron has valence content $udd$ and total spin $J=1/2$; its ground-state parity is positive. The two down quarks contribute charge $-2/3$ and the up quark contributes $+2/3$, giving net charge zero. “Three valence quarks” specifies the net flavor quantum numbers, rather than excluding gluons or additional sea quark–antiquark components from the full Quantum chromodynamics state.

In the approximate light-flavor SU(3) classification, the neutron belongs to the ground-state baryon octet, containing eight hadrons:These are eight particle species, without counting their antiparticles again as extra members of the same octet. The corresponding antibaryons form the conjugate particle set. Within the smaller SU(2) isospin classification, the neutron instead belongs to the two-member nucleon doublet $(p,n)$. Stating the symmetry distinguishes the usual eight-member flavor multiplet answer from the also valid two-member isospin multiplet. The baryon decuplet has different ground-state spin and is not the neutron's octet.

Take the dot here to mean $d/d\tau$, as in the source. Differentiate $u^{\alpha }=\gamma (c,\mathbf{v})$ and the given spin components. Their contraction simplifies because the terms involving $\dot{\gamma }$ cancel:The spatial part of the transport equation consequently readsUse $\dot{\gamma }/\gamma ={\gamma }^2\mathbf{v}\cdot \dot{\mathbf{v}}/c^2$ and divide by $\gamma$. The result isNo assumption of acceleration perpendicular to the velocity was made. In particular the second term cannot be dropped for a particle speeding up along a straight line. This $\mathbf{s}$ is the three-vector in the source's particular spin four-vector parametrization; its Euclidean magnitude need not be the invariant proper-spin magnitude.

For the source's definition $s^{\alpha }=\gamma (\mathbf{s}\cdot \mathbf{v}/c,\mathbf{s})$, direct contraction with $u^{\alpha }=\gamma (c,\mathbf{v})$ givesIt remains zero under the torque-free transport law. Differentiate the contraction, using the product rule and $u^2=-c^2$:Thus an initially spatial spin in the instantaneous rest frame remains orthogonal to the velocity. This is the orthogonal-spin specialization of Fermi-Walker transport. The sign is tied to the negative timelike norm; using the opposite metric sign without changing the transport formula would spoil the cancellation.

First note that the supplied spin equation preserves $s\cdot u=0$: its electromagnetic bracket has contraction $u_a{F}^{a\lambda }{s}_{\lambda }+(u^2/c^2)F^{\mu \nu }{u}_{\mu }{s}_{\nu }=0$, and the remaining transport term cancels $s\cdot \dot{u}$ as in i.

For an explicitly electromagnetic acceleration, set ${\dot{u}}^a=(q/m)F^{a\lambda }{u}_{\lambda }$ and define $C=F^{\mu \nu }{u}_{\mu }{s}_{\nu }$. Antisymmetry gives $s\cdot \dot{u}=-(q/m)C$, so the spin equation can be writtenContract with $2s_a$:The first term vanishes because a symmetric product of the two spin covectors contracts an antisymmetric tensor; the second vanishes by spin–velocity orthogonality. In the instantaneous rest frame $s^0=0$, so $s^a{s}_a$ is precisely the squared proper spatial-spin magnitude. It remains constant for arbitrary $g$ under this transport, though its direction can precess. In this equation $g$ is the dimensionless g-factor; the dimensional gyromagnetic ratio includes $gq/(2m)$.

For $P^{\mu }=(E/c,\mathbf{p})$, directly contract the supplied vector:Thus $\boxed{U_W\cdot P=0}$ whenever its stated normalization is defined, namely $m_0>0$ and $|\mathbf{s}|>0$. This is the Pauli-Lubanski orthogonality property.

The description as a unit vector, however, needs an additional assumption. From the given components and the mass shell,It equals minus one only for spin parallel to momentum, including the zero-momentum case. A concrete counterexample is $\mathbf{s}=(s,0,0)$ and $\mathbf{p}=(0,m_{0}c,0)$: the proposed normalized vector has square minus two. Orthogonality is still true. A genuine Pauli-Lubanski pseudovector constructed by boosting a fixed rest-frame spin has invariant norm $-m_0^2{c}^2|{\mathbf{s}}_{\mathrm{rest}}{|}^2$; the source's generic spatial expression and denominator do not supply that normalization for arbitrary $\mathbf{s}$.

Mean-field theory replaces fluctuating interactions with the average field produced by the other degrees of freedom. For an interacting spin system, write ${\mathbf{S}}_i=\mathbf{S}+\delta {\mathbf{S}}_i$ and neglect connected products $\delta {\mathbf{S}}_i\cdot \delta {\mathbf{S}}_j$. This reduces the many-body partition function to independent single-site factors coupled through a self-consistency equation for $\mathbf{S}$.

The approximation is most reliable when many effectively independent neighbors contribute, for sufficiently long-range interactions, or above the upper critical dimension away from the fluctuation-dominated critical region. It usually becomes least reliable near a continuous transition in low dimensions, where correlations extend over long distances. It can estimate ordering scales and reveal candidate broken symmetries while giving incorrect critical exponents or even a spurious transition. The two-dimensional isotropic model in the later parts is an especially important example of this limitation.

Let the coordination number be $z_c=4$, and choose the spin-space $z$ axis along $\mathbf{S}=S\hat{\mathbf{z}}$. The mean-field decoupling of a bond isThe original directed neighbor sum counts each bond twice, so its factor $1/2$ cancels that double counting. The resulting energy isThe constant prevents double counting of the mean interaction energy and is necessary if free energy is minimized with respect to $S$. With the source's unnormalized solid-angle measure, the single-site integral isThereforeAt $S=0$ take $\sinh x/x\to 1$. A normalized solid-angle measure would remove the factor $(4\pi {)}^N$ without changing the self-consistency equation. These are three-component classical spins on a two-dimensional positional lattice, not spins constrained to a plane.

The PDF's hint is a correct angular-integration identity for a term with coefficient $\beta J/2$. That coefficient is not the full single-site molecular field after summing all four neighbors and decoupling both entries of each bond. The net coefficient is $\beta z_{c}J$, as follows from the explicitly stated Hamiltonian; inserting the hint's coefficient as the total field would lose the coordination and double-counting factors.

Near zero the Langevin function has expansionFor positive $x$, $\mathcal{L}(x)$ rises toward one and its ratio $\mathcal{L}(x)/x$ decreases from $1/3$ to zero. Therefore a line $\tau x$ has only the zero intersection for $\tau \ge 1/3$, and also a nonzero positive intersection for $0<\tau <1/3$. In a fixed signed component there is a corresponding negative solution; in the isotropic vector problem the nonzero solutions have all spin-space orientations.

The mean-field transition temperature isAt the critical temperature the line is tangent at the origin. Just below it, $S\simeq \sqrt{(5/3)(1-T/T_c^{\mathrm{MF}})}$, the usual mean-field square-root onset. The ordered minimum is stable below this temperature while $S=0$ becomes unstable.

This is a mean-field prediction, not a genuine finite-temperature ordering transition for the ideal two-dimensional short-range isotropic model. Long-wavelength spin fluctuations invalidate the predicted nonzero thermodynamic magnetization at every $T>0$. The relevant obstruction is the Mermin-Wagner theorem for continuous spin symmetry; anisotropy, long-range interactions or a finite sample change the assumptions. Its original paper establishes the absence of finite-temperature magnetic ordering for one- and two-dimensional finite-range isotropic Heisenberg models.^[ref]

Define $\Omega =\sqrt{{\Delta }^2+{\Omega }_R^2}$. Squaring the two-by-two matrix gives $H_R^2={\hslash }^2{\Omega }^{2}I/4$, soHere $|\pm {⟩}_R$ is the corresponding normalized eigenstate at $t=0$. In the rotating frame only its quantum phase changes. In the laboratory frame its spin direction also rotates about $z$ at angular velocity $\omega$: $⟨\mathbf{S}{⟩}_{\pm }=\pm \hslash ({\Omega }_R\cos \omega t,{\Omega }_R\sin \omega t,\Delta )/(2\Omega )$. An arbitrary initial state is the same fixed linear combination of these two solutions. If $\Omega =0$, the rotating-frame Hamiltonian operator vanishes and the entire doublet is degenerate; evolution is just $R(t)$.

The angular momentum commutators used in the frame transformation are representation-independent. Therefore $H_R=\Delta S_z+{\Omega }_R{S}_x$ still holds. Rotating its axis onto $z$ gives $2s+1$ eigenvalues and exact laboratory solutionsNow $R(T)=(-1{)}^{2s}I$, so $e^{i{\Phi }_{\mu }}=(-1{)}^{2s}{e}^{-i\mu \Omega T}$. In the adiabatic limit the dynamical phase is $-\mu BT$ andIndeed $2\pi s+2\pi \mu \cos \theta$ and $-2\pi \mu (1-\cos \theta )$ differ by $2\pi (s+\mu )$, an integer multiple of $2\pi$. Integer spins return with a positive rotation sign and half-integer spins with a negative one; the geometric phase need not vanish for either.

The bosonic commutator is important in $S_{+}{S}_{-}={\hslash }^2{n}_{\uparrow }(n_{\downarrow }+1)$ and $S_{-}{S}_{+}={\hslash }^2{n}_{\downarrow }(n_{\uparrow }+1)$. ThereforeOn the $N$-particle sector,For example $N=0,1,2$ gives spin $0,\frac{1}{2},1$. The total number operator can be retained in the same identity before restricting to a sector.

The defining matrix conditions areThe group operation is matrix multiplication. Equivalently $U=a_{0}I-i\mathbf{a}\cdot \mathbf{\sigma }$ with real $a_0,\mathbf{a}$ and $a_0^2+|\mathbf{a}{|}^2=1$, so it has three real parameters and is a compact connected simply connected Lie group. Its Hermitian spin generators obey the commutator from part (a); the corresponding Lie-algebra matrices themselves are traceless and anti-Hermitian.

The spin operators here are dimensionless: $S^j={\sigma }_j/2$, so $\Omega$ has units of inverse time and $\Phi$ is a dimensionless pulse area. Integrating the Schrödinger evolution across an infinitesimally short pulse gives $U_{\Phi }=e^{-i\Phi S^x}$. The finite free Hamiltonian contributes a vanishing integrated phase within that pulse. Between pulses the free evolution is $U_{\Omega }=e^{-i\Omega T{S}^z}$.

In the $S^z$ eigenbasis, $S^z=\mathrm{diag}(1,-1)/2$ and $({\sigma }_x{)}^2=I$. ConsequentlyStarting just before a pulse, the kick acts first and the free interval second. Operators act on states right to left, henceThere are exactly $N$ kicks, at times $0,T,\dots ,(N-1)T$; the pulse at $NT$ is excluded. Sampling just after kicks would change the displayed product order. This endpoint convention specifies the delta-kicked spin Floquet operator.

The Pauli matrix multiplication law givesFor a unit vector $\hat{\mathbf{n}}$, it follows that $(\hat{\mathbf{n}}\cdot \mathbf{\sigma }{)}^2=I$. In the exponential series the even powers therefore multiply $I$ and the odd powers multiply $\hat{\mathbf{n}}\cdot \mathbf{\sigma }$. Summing them separately,Equivalently, the eigenvalues of $\hat{\mathbf{n}}\cdot \mathbf{\sigma }$ are $\pm 1$, so its two spectral projectors acquire phases $e^{\mp i\theta /2}$. The half-angle belongs to a spinor rotation, while the associated physical spin vector rotates through $\theta$.

For the axis-angle composition of orthogonal spin rotations, set $A=\Omega T/2$ and $B=\Phi /2$. Multiplication, including ${\sigma }_z{\sigma }_x=i{\sigma }_y$, givesOne checks that $C^2+|\mathbf{v}{|}^2=1$. For $s=|\mathbf{v}|\ne 0$, chooseThis choice retains the full spinor sign and gives $U_{\Omega }{U}_{\Phi }=e^{-i\vartheta \hat{\mathbf{n}}\cdot \mathbf{S}}$. Repeated periods have the same axis:Thus the spin expectation vector rotates through $N\vartheta$, interpreted modulo $2\pi$ as a spatial rotation. The positive $y$ component comes from the stated ordering; reversing the two rotations changes that component's sign.

When $s=0$, the one-period operator is $+I$ or $-I$, and no unique rotation axis exists. The latter is a $2\pi$ spatial rotation with a minus sign on a spin-$1/2$ state. It is safer to retain this central group element than to replace the angle by zero in a spinor calculation.

For general spin $S$, use dimensionless generators $S^j$ obeying $[S^i,S^j]=i{ϵ}_{ijk}{S}^k$. The two exponentials represent the same group elements as for spin $1/2$, now in the $(2S+1)$-dimensional representation of $SU(2)$. A representation preserves products, sowith exactly the same axis and angle found in (c); after $N$ periods the angle is $N\vartheta$. One must not substitute higher-spin matrices into the two-term Pauli exponential in (b), which used a property special to spin $1/2$.

The dimension and action on spin states change, but the spin-independent axis-angle composition does not. In particular,Integer-spin states return with positive sign and half-integer-spin states with negative sign. spin expectation vectors transform as spatial vectors in either case, while a general higher-spin state also carries higher multipole information.

For one spin channel, let $X_s=a_s^{†}{b}_s$ and $Y_s=X_s^{†}$. The number-operator commutators giveMoving a boson from $B$ to $A$ raises the number difference by two. On a number-difference eigenstate $|d⟩$, $X_s\mathcal{E}(\Delta )|d⟩=\mathcal{E}(d)X_s|d⟩$, while $\mathcal{E}(\Delta -2)X_s|d⟩=\mathcal{E}(d)X_s|d⟩$. ThusSubtracting the reversed products yieldsThis number-difference shift identity fixes the ordering. The placement of the coefficient to the left matters: it acts on the state after the hop. This spectral argument applies to any function defined on the accessible number-difference eigenvalues, without requiring a power-series expansion.

The second-order terms aresoHere $S$ is the first-order generator. The full second-order commutator includes terms changing the number difference by four. To retain only fixed site occupancies, keep the products $XY$ and $YX$.

With $f=f(\Delta )$ and $f_{+}=f(\Delta +2)$, the mixed commutators giveThus occupancy-preserving second-order bosonic hopping givesFor bosons, normal ordering givesConsequently an explicit form in terms of the supplied function isThe operator $P$ exchanges spin labels between sites while preserving their total occupancies. Defining dimensionless Schwinger-boson spins ${\mathbf{s}}_a=\frac{1}{2}{a}_s^{†}{\mathbf{\sigma }}_{s{s}^{\prime }}{a}_{s^{\prime }}$ and similarly for $B$,No factor of ${\hslash }^2$ is needed for these dimensionless spins; for physical spin operators ${\mathbf{S}}_a=\hslash {\mathbf{s}}_a$ it becomes $2{\mathbf{S}}_a\cdot {\mathbf{S}}_b/{\hslash }^2$. The spin exchange belongs in the occupancy-preserving part, whereas two hops in the same direction do not.

A linear number-difference energy gives only a one-body level renormalization. Let $\mathcal{E}(\Delta )=E_c+\gamma \Delta$, with $\gamma \ne 0$. Then $f=t/(2\gamma )$ is constant, so the exchange coefficient cancels. Since $[X,Y]=\Delta$,The same-direction commutators vanish as well, so this is the whole second-order term. This agrees with expanding the two-site single-particle splitting $\sqrt{{\gamma }^2+t^2}$ with the appropriate assignment of levels. A collection of noninteracting bosons remains noninteracting after a change of single-particle basis. The case $\gamma =0$ is resonant and cannot be treated by this elimination.

A nonlinear energy generally makes the virtual denominators occupancy-dependent. Then $f(\Delta )$ and $f(\Delta +2)$ need not agree, and the occupancy-preserving effective Hamiltonian contains density-dependent shifts and a spin-exchange coefficientmultiplying ${\mathbf{s}}_a\cdot {\mathbf{s}}_b$. Its sign depends on the function and sector; nonlinearity alone does not fix a universal exchange sign. The full second-order result can additionally contain pair hopping between different occupation sectors.

For a concrete repulsive example, take $\mathcal{E}=U{\Delta }^2/4$, $U>0$, and restrict to two bosons with one on each site. Here $f(0)=-t/U$, $f(2)=t/U$, $N_a=N_b=1$, givingThe triplet energy shift is $-4t^2/U$ and the singlet shift is zero. This is ferromagnetic bosonic superexchange in this example: the symmetric spin sector can lower its energy through virtual double occupancy. The sign must not be imported from the fermionic Hubbard problem. The example specifies an additional energy function solely to illustrate the general expression; it is not an asserted numerical input.