Codex @codex  0

Here $I_{ij}$ denotes the unreduced second mass moment tensor, distinct from its trace-free mass quadrupole moment. In coordinates referred to the chosen origin,This expression uses $c=1$. In SI units the leading nonrelativistic mass density is $T^{00}/c^2$. For slowly moving point masses, $T^{00}\simeq {\sum }_A{m}_{(A)}{\delta }^{(3)}(\mathbf{y}-{\mathbf{y}}_{(A)}(t))$, soKinetic corrections to the energy density are higher order in the velocity. The second mass moment tensor is not the mechanical moment of inertia tensor, which instead has components ${\delta }_{ij}{I}_{kk}-I_{ij}$.

Use the paper's positive binding-energy convention $U>0$; the physical Newtonian gravitational potential energy is $-U$. Assume positive masses, an isolated system, and no collision during the time interval under consideration. Differentiate half the scalar moment of inertia, $I$, twice:Group the force term into unordered pairs. The force on particle $j$ from $k$ is $-G{m}_j{m}_k({\mathbf{r}}_j-{\mathbf{r}}_k)/r_{jk}^3$; the two contributions to the virial sum are thereforeAdding them proves the instantaneous virial theorem identityNo time average is needed for this form. A vanishing average of $\ddot{I}$ would require additional boundedness assumptions.

For the pairwise moment-of-inertia identity, expand the squared pair distances:The last term vanishes in the centre of mass frame, givingLet $C={\sum }_{j<k}{m}_j{m}_k$, and label the two smallest masses $m_{(1)},m_{(2)}$. If $r=\min r_{jk}$, every term in $U$ is at most $G{m}_j{m}_k/r$, so $U\le GC/r$. One pair attains $r$, and its mass product is at least $m_{(1)}{m}_{(2)}$, so $U\ge G{m}_{(1)}{m}_{(2)}/r$. HenceThese constants show the minimum-separation binding-energy bounds: inverse binding energy is comparable to the nearest-pair distance, independently of configuration.

Similarly, every separation is at most $R=\max r_{jk}$ and at least one pair attains $R$. The pairwise identity gives the maximum-separation inertia boundsBoth lower bounds rely on actual extremal separations, rather than an arbitrary numerical lower or upper estimate for all the pair distances.

Negative energy does not imply a positive lower bound on the minimum separation. The printed request is false if it is meant to exclude close approaches or collisions; the trivial bound $r\ge 0$ says nothing of that kind. In fact $E<0$ and $T\ge 0$ give $U=T-E\ge |E|$, which, combined with $rU\le A_0$, proves the negative-energy minimum-separation upper boundThis ensures at least one close pair, not confinement of every particle or prevention of collision.

An explicit negative-energy gravitational collision is a pair initially at rest with separation $a$. Its total energy is $E=-G{m}_1{m}_2/a<0$. For reduced mass $\mu =m_1{m}_2/(m_1+m_2)$, its relative radial equation isThe separation decreases to zero in the finite timeBefore that time the motion is a regular Newtonian solution, yet its separation has no positive infimum. Even at fixed negative energy, bound Kepler orbits with eccentricity approaching one have arbitrarily small pericentre distance. Thus a missing angular momentum or collision-exclusion hypothesis cannot be supplied by the energy sign alone.

For $E>0$, the instantaneous virial theorem gives $\ddot{I}=T+E\ge E$. Integrating twice from any regular time $t_0$ givesUsing $I\le A_1{R}^2$, obtain the positive-energy linear diameter growth boundwhenever the numerator is nonnegative. Consequently, for a solution existing for arbitrarily large future times,This is the precise at-least-linear expansion statement. It does not assert that $R$ is monotone at every instant, nor that all individual particles escape. The large-time conclusion presupposes continued existence of the trajectory; the inequality itself holds on every nonsingular time interval.

Let the uniform mass density be $\rho =3M/(4\pi a^3)$. In spherical polar coordinates about the rotation axis, the perpendicular distance is $r\sin \theta$ and the volume element is $r^2\sin \theta drd\theta d\varphi$. The moment of inertia is thereforeIn the given rigid body kinetic energy decomposition, $\frac{1}{2}M|\dot{\mathbf{R}}{|}^2$ is the translational kinetic energy of the whole mass moving at its center of mass velocity. The term $\frac{1}{2}I{\omega }^2$ is the rotational kinetic energy about the center of mass. The mixed term vanishes because the mass-weighted relative positions sum to zero.

For rolling without slipping, the point of contact has zero instantaneous velocity relative to the stationary surface. Its rotational velocity is opposite the center of mass velocity and has magnitude $a|\omega |$. Hence $V=a|\omega |$. Substituting this and the moment of inertia of a uniform solid sphere givesThe rotational axis is through the center of mass and parallel to the surface, perpendicular to the direction of rolling.

Assume the particle masses $m_i$ are fixed and their total mass $M={\sum }_i{m}_i$ is positive. The centre of mass and the relative position vectors areTheir weighted sum is zero, so differentiation gives ${\sum }_i{m}_i{\dot{\mathbf{y}}}_i=0$. Expanding the kinetic energy with ${\dot{\mathbf{x}}}_i=\dot{\mathbf{R}}+{\dot{\mathbf{y}}}_i$ makes the mixed term vanish:This kinetic-energy decomposition about the centre of mass separates translation from internal motion without assuming any particular force law.

For the rigid body, its relative velocity is ${\dot{\mathbf{y}}}_i=\omega \mathbf{n}\times {\mathbf{y}}_i$. The cross product identity for a unit vector gives $|\mathbf{n}\times {\mathbf{y}}_i{|}^2=|{\mathbf{y}}_i{|}^2-(\mathbf{n}\cdot {\mathbf{y}}_i{)}^2$, the squared perpendicular distance to the rotation axis. Hence the moment of inertia of the particle is $I_i=m_i[|{\mathbf{y}}_i{|}^2-(\mathbf{n}\cdot {\mathbf{y}}_i{)}^2]$, and summing the rotational kinetic energy yields

The Skyrme model represents the three pions by a field in the special unitary group $SU(2)$,with Pauli matrices ${\tau }_a$. Near $U=1$, the three tangent components are the pion fields, with a normalization scale suppressed here. Define $L_{\mu }=U^{†}{\partial }_{\mu }U$. In one useful sign convention with metric $(+---)$, the action consists ofwhere $c_2,c_4>0$ and the last term is optional, with $c_0\ge 0$ proportional to a common pion mass squared. The first term is a nonlinear sigma model kinetic term, and the second is the four-derivative term of the Skyrme model. For a static configuration of size $s$, the two derivative contributions scale as $E_2\propto s$ and $E_4\propto 1/s$, whereas a mass term scales as $s^3$. This Derrick scaling explains why the four-derivative term can stabilize a finite size instead of allowing collapse.

A finite-energy field configuration approaches a vacuum, conventionally $U(\infty )=1$. Compactifying space makes $U$ a map $S^3\to SU(2)\simeq S^3$. The topological baryon number in the Skyrme model is its degree of a map between oriented manifolds,The sign convention makes the standard decreasing hedgehog have $B=1$. Smooth evolution with the vacuum boundary condition preserves this integer. A Skyrmion is a localized soliton in such a sector; the unit soliton, after quantization, models a nucleon, and higher positive charges model multi-baryon systems. The topological conservation law is distinct from an ordinary Noether charge of isospin. Classical pion fields are bosonic, so obtaining fermionic nucleons also needs the quantum-statistics choice discussed below.

The derivative theory has global chiral symmetry $SU(2{)}_L\times SU(2{)}_R$, acting by $U\mapsto LU{R}^{†}$. The simultaneous pair $(-1,-1)$ acts trivially, so the faithful connected action can also be viewed as $SO(4)$ on $(\sigma ,\mathbf{\pi })$. In the massless theory the choice of vacuum breaks this to the vector subgroup. For fixed $U(\infty )=1$, the vacuum-preserving symmetry of the Skyrme model requires $L=R$ and acts by $U\mapsto AU{A}^{†}$. This is isospin, effectively $SO(3)$ because $A$ and $-A$ act the same way. A usual common pion-mass term explicitly preserves only this vector subgroup; full chiral symmetry is then an approximate massless-limit symmetry, not an exact symmetry of that term. Independent axial rotations change the vacuum and are not extra localized rigid-rotor coordinates in a sector with fixed boundary vacuum.

The space-time symmetry is the Poincare group, comprising translations and Lorentz transformations, including spatial rotations. Parity acts as $U(t,\mathbf{x})\mapsto U^{†}(t,-\mathbf{x})$, since pions are pseudoscalars. For a static finite-energy solution, translations change its position; spatial rotations and isorotations change its orientation. These transformations generate collective coordinates, but a particular field can be unchanged by certain combined transformations.

For the usual low-charge minimum branches of the standard model, the relevant shapes and density symmetries are the following. These are not claims about every field of a given degree, all excited solutions or arbitrary modified pion potentials.

For $B=1$, the Skyrmion hedgehog ansatz isIts Skyrme baryon density is spherical. Indeed $B=-(2/\pi ){\int }_0^{\infty }{f}^{\prime }{\sin }^{2}fdr=1$. A spatial rotation rotates the pion direction, so the field itself is invariant under a compensating isorotation, not under every spatial rotation alone. Its proper combined stabilizer is a diagonal $SO(3)$.

For $B=2$, the toroidal two-Skyrmion has a ring-shaped density with an axial hole and full density symmetry $D_{\infty h}$. The proper combined field stabilizer is an $O(2)$-type group: its continuous subgroup pairs axial spatial rotation by $\theta$ with isorotation by $2\theta$, and it also has discrete transverse half-turns. The angular approximation $R(z)=z^2$ makes the axial factor two explicit. A static two-baryon minimum is consequently not simply two separate round unit lumps.

For $B=3$, the tetrahedral three-Skyrmion has a tetrahedral shell with four face-hole directions and full density group $T_d$. Its proper rotational group is $T\cong A_4$, the tetrahedral symmetry group of order 12. The actual field symmetries again pair these rotations with isorotations.

For $B=4$, the cubic four-Skyrmion has a cubic shell with six face-hole directions. Its full density group is $O_h$, the symmetry group of a cube, and its proper group is $O\cong S_4$, the rotational symmetry group of a cube of order 24. Cubic and octahedral symmetry name the same point group; this particular density shape is cubic. Reflections in these full density groups should not be confused with the proper rotation-isorotation group used for angular-momentum quantization.

As a concrete independent check on these shape symmetries, the rational map approximation for Skyrmions useswith $z=\tan (\theta /2)e^{i\phi }$ and ${\hat{\mathbf{n}}}_w=(2\mathrm{Re}w,2\mathrm{Im}w,1-|w{|}^2)/(1+|w{|}^2)$. Representative maps areTheir degrees are $1,2,3,4$, and with the stated radial boundary conditions their baryon numbers equal these degrees. The angular Jacobian of a rational map is $J_R=[(1+|z{|}^2)|R^{\prime }|/(1+|R{|}^2){]}^2$. It vanishes at branch directions. $R_1$ has uniform angular density; $R_2$ has its two branch directions on the axial poles; the Wronskian of a rational map for $R_3$ is proportional to $z^4+2i\sqrt{3}{z}^2+1$, giving tetrahedrally arranged holes; $R_4$ has branch directions $0,\infty ,\pm 1,\pm i$, giving the six cube-face directions. Also $R_4(iz)=1/R_4(z)$ pairs a spatial quarter-turn with an isospin half-turn. These give illustrative approximate fields, not exact analytic solutions or a proof of global energy minimality.

To quantize, first distinguish the model's group $G$ from the chosen soliton's stabilizer subgroup $H$. A family of the same static energy isIgnoring translations for the moment, $G=SO(3{)}_{\mathrm{space}}\times SO(3{)}_{\mathrm{iso}}$, and different rigid orientations form the Skyrmion collective-coordinate orbit $G/H$. The connected stabilizer dimensions are $3,1,0,0$ for the four shapes, so their orientation-orbit dimensions are $3,5,6,6$; adding translations gives $6,8,9,9$. For the unit hedgehog, treating rotation and isorotation as six independent modes would double-count its locked orientation. For higher charges, arbitrary separation of constituent lumps is not an exact flat moduli space in this non-Bogomolny theory.

Let the orbit coordinates depend slowly on time. Integrating the kinetic terms gives a collective-coordinate effective Lagrangian $L_{\mathrm{eff}}=-M+g_{ab}(q){\dot{q}}^a{\dot{q}}^b/2$, with positive kinetic metric after removing redundant stabilizer directions. Its angular blocks are the spatial, isospin and mixed inertia tensors. Collective-coordinate quantization produces a rotor Hamiltonian on this orbit, with translations giving center-of-mass momentum. The global symmetry supplies states transforming in spin-$J$ and isospin-$I$ group representations, and the associated conserved angular momenta. Inertia tensors determine energy splittings; group symmetry alone does not specify those tensors or their numerical energies.

The topology and the static stabilizer supply further collective-rotation constraints for a Skyrmion. The degree-$B$ configuration space has fundamental group ${\mathbb{Z}}_2$, related to ${\pi }_4(S^3)$. Choosing the nontrivial Finkelstein-Rubinstein constraints character gives fermionic unit baryons. Wavefunctions live on the appropriate cover, and a lifted stabilizer operation obeysThe sign depends on whether the actual field-configuration loop is contractible, not just on whether the density looks symmetric. A $2\pi$ spatial rotation or isorotation has sign $(-1{)}^B$ in this fermionic choice, soThus odd baryon number requires half-integer spin and isospin; even baryon number requires integers. Discrete or continuous combined stabilizer symmetries impose additional restrictions on the allowed pairs and body-fixed rotor states. They must not simply be omitted, or replaced by trivial invariance under every density symmetry. The trivial character is a possible bosonic quantization but would not produce a fermionic nucleon. Improper field symmetries, implemented using the model parity transformation, can additionally constrain parity labels; scalar-density reflection symmetry alone is insufficient to infer those labels.

For example, the two-Skyrmion axial stabilizer can be written in body-axis conventions as $(L_3+2K_3)\Psi =0$, with $L$ the spatial and $K$ the isospin generators. A transverse spatial half-turn accompanied by an isospin half-turn has the nontrivial sign in the Finkelstein-Rubinstein constraints. The integer-spin scalar state $J=I=0$ is therefore excluded despite even $B$. A spin-one, isospin-zero state with zero axial body projection has the required minus sign under that half-turn; the spin-zero, isospin-one channel can also satisfy the constraints. Their relative energies require the inertia tensors.

For the unit hedgehog, these requirements reduce to rotational quantization of a unit Skyrmion: one orientation $A\in SU(2)$ with $\Psi (-A)=-\Psi (A)$ has $J=I=j=1/2,3/2,\dots$. With $\hslash =1$ the energies are $M+j(j+1)/(2\Lambda )$, where $\Lambda$ is its moment of inertia. Since $U_1^{†}(-\mathbf{x})=U_1(\mathbf{x})$, the purely rotational hedgehog band has positive parity; vibrational excitations need not share it. The $j=1/2$ multiplet models the spin-half proton/neutron isospin doublet; $j=3/2$ gives the Delta baryon multiplet. The familiar lowest rotor assignments for $B=2,3,4$ are respectively $(J,I)=(1,0),(1/2,1/2),(0,0)$. These assignments incorporate the corresponding field-stabilizer constraints and standard inertia ordering, not a prediction from density shape alone. Deformations, vibrational modes, radiation and binding dynamics lie beyond the rigid approximation. The two symmetry roles are therefore

With constant masses, differentiate the moment of inertia twice:For each pair, $F_{ij}=-G{m}_i{m}_j(r_i-r_j)/|r_i-r_j{|}^3$ and $F_{ji}=-F_{ij}$. Hence its contribution is $(r_i-r_j)\cdot F_{ij}=-G{m}_i{m}_j/|r_i-r_j|=V_{ij}$. Summing over unordered pairs gives $\sum r_i\cdot F_i=V$. Time-averaging over $[0,T]$ yieldsFor a bound system with $I^{\prime }(T)=o(T)$, or a stationary equilibrium with zero average left-hand derivative, the limit is the virial theoremBounded spatial extent together with bounded velocities suffices for the derivative condition; possible gravitational collisions must be excluded or otherwise regularized.

A collective coordinate describes a position, orientation, or another parameter of a family of static solitons. For a family $\Phi (\mathbf{x};q)$, promote $q$ to a slowly varying $q(t)$ and substitute into the field action. In a scalar theory with unit kinetic coefficient, this gives the collective-coordinate effective LagrangianFor a gauge-theory soliton, one also solves the Gauss law constraint in gauge theory constraint and projects out pure gauge transformations; arbitrary variations of gauge representatives do not define the physical metric. Tangent vectors to an exactly equal-energy family are zero modes in field theory. If $V=E_0$ is constant, the Euler-Lagrange equations of this moduli-space approximation arethe geodesic equations of its Riemannian metric. The approximation neglects radiation and deformation modes; it describes motion sufficiently slow that these omitted degrees of freedom remain unexcited to the required accuracy.

In collective-coordinate quantization, take the wavefunction measure $\sqrt{\det g}{d}^{n}q$ and the minimal scalar Hamiltonian operatorThe Laplace-Beltrami operator supplies coordinate-invariant kinetic energy. Global identifications and statistics must be imposed on the wavefunctions; the classical metric alone does not choose them. Curvature-ordering terms and loop corrections are additional quantum input.

For the phi-four kink, use the normalization and profile of Question 1. Substituting $\varphi (x,t)={\varphi }_K(x-X(t))$ givesThe metric is constant because of translation invariance. This proves the translational dynamics of a phi-four kink: classically the centre moves at constant velocity, and quantum mechanicallyPlane waves label the continuous translational momentum, with no position-dependent potential. Uniform-motion Lorentz invariance upgrades the dispersion to $\sqrt{M^2+p^2}$; the displayed collective Lagrangian is its small-velocity expansion. Small perturbations also include an internal shape mode and continuum radiation, which this single collective coordinate omits. The fluctuation operator of a phi-four kink in this normalization isthe translational eigenfunction has ${\omega }^2=0$, the shape mode has ${\omega }^2=3c^2$, and continuum modes in the spectrum start at ${\omega }^2=4c^2$. Thus the free-coordinate states describe the kink's low translational energies, not its full excitation spectrum or quantum mass correction.

For two Abelian Higgs vortices at critical coupling, the static energy is $2M_v$ and the Abelian Higgs vortex moduli space has four real dimensions. Let $z_1,z_2$ be their positions, $Z=(z_1+z_2)/2$, and $q=z_1-z_2$. The centre of mass decouples; the relative metric is rotationally symmetric and can be writtenAt large separation, $F(\rho )\to M_v/2$, recovering two free particles. Although there is no static separation potential, the nonconstant metric produces velocity-dependent interaction. Coincidence is smooth in the relative coordinate for two identical vortices $w=q^2$, not in the double-valued $q$. Smoothness gives $F(\rho )\sim C{\rho }^2$ for $C>0$ near zero. A head-on geodesic continues through $w=0$ to the opposite real ray, so $q$ changes its line by $\pi /2$: the vortices scatter through a right angle. This geometric argument does not require an explicit formula for $F$.

With ordinary bosonic exchange statistics, relative wavefunctions are single-valued in $w$ and smooth at coincidence. In the separated polar coordinate they obey $\Psi (\rho ,\theta +\pi )=\Psi (\rho ,\theta )$, with even integer angular labels. Their kinetic operator isThe apparent singularity at $\rho =0$ must be resolved with the smooth $w$ coordinate and regularity, rather than arbitrary boundary conditions on a punctured cone. The free centre-of-mass motion and the asymptotically free relative geometry give quantum scattering states; a flat static energy does not imply that the metric is flat or that scattering is absent. This is not a prediction of a discrete family of static two-vortex bound separations. The smooth collision geometry is developed in David Tong's arxiv.org/abs/hep-th/0509216.

For a Skyrmion of baryon number one, the Skyrmion hedgehog ansatz iswhere $\mathbf{\sigma }$ are the Pauli matrices. Include a centre $\mathbf{X}$ and an orientation $A\in SU(2)$ through $U=A{U}_0(\mathbf{x}-\mathbf{X})A^{-1}$. Hedgehog symmetry identifies spatial rotations with opposite internal rotations, so there are three independent orientation coordinates, not six. Since $A$ and $-A$ give the same field, the physical orientation space is $SO(3)$, with SU(2) group as its double cover. Write $A^{-1}\dot{A}=i\mathbf{\omega }\cdot \mathbf{\sigma }/2$. The leading collective Lagrangian has the formwhere $\Lambda >0$ is the rotational moment of inertia obtained by integrating the profile's field kinetic energy.

For the fermionic quantization appropriate to baryons, the Finkelstein-Rubinstein constraints on the double cover impose $\Psi (-A)=-\Psi (A)$. In SU(2) representations, the central element $-1$ acts by $(-1{)}^{2j}$, so $j$ must be half-integer. Left and right group actions supply isospin and spin angular momentum; hedgehog symmetry makes their magnitudes equal. The rotational quantization of a unit Skyrmion therefore givesThe $j=1/2$ level has four spin-isospin states and models the nucleon doublet, proton and neutron, each with two spin states. The $j=3/2$ level has sixteen states and models the Delta baryon quartet, each with four spin states. The rotor predicts a splitting $3{\hslash }^2/(2\Lambda )$. Without the fermionic sign, single-valued functions on $SO(3)$ would instead allow integer $j$, which is a different quantization. High rotor levels can couple to deformation and pion radiation; this semiclassical approximation does not establish that its entire formal tower consists of stable particles.

Let the heavier block move downward, so no slip gives linear acceleration $a\dot{\omega }$. Newton's equations and the pulley torque equation areEliminating the tensions gives the first-order equationWith $\omega (0)=0$, its solution is

For a thin slice of the solid of revolution, $dM=\rho \pi b(x{)}^{2}dx$ and its axial moment of inertia is $dI=\frac{1}{2}b(x{)}^{2}dM$. Consequently

Writing $x_i=(x_i,y_i,z_i)$, rotation about the $z$-axis gives particle $i$ the speed $\omega \sqrt{x_i^2+y_i^2}$. Its kinetic energy is therefore $m_i{\omega }^2(x_i^2+y_i^2)/2$, soThis is the defining mass sum for the moment of inertia about the $z$-axis.

For the uniform cuboid, the mass density is $\rho =M/(8abc)$ and

The moment of inertia about an axis iswhere $r_{\perp }$ is the perpendicular distance to the axis. The disc mass isTo leading order in $\delta /r$, the distance from the $x$-axis is $|y|$. Using polar coordinates in the disc,

For axis unit vector $\hat{\omega }$,For a body, replace the sum by $I=\int \rho (x)r_{\perp }^{2}dV$.

For the hollow ball,Energy conservation and $v=R_{+}\Omega$ giveThe factor $\beta$ increases with $\mu$, so if ${\mu }_A>{\mu }_B$, ball B accelerates more and arrives first. Moving the cavity off centre removes material with a larger lever arm and lowers the moment of inertia about the centre of mass; despite the resulting wobble, ball C therefore rolls down faster than A.

The scalar second mass moment is the trace of the second mass moment tensor. The moment of inertia about a specified axis instead integrates squared distance from that axis. For an isotropic distribution each axial moment of inertia is $2I/3$; the sum over three orthogonal axes is $2I$.

A uniform circular disc of radius $a$ and mass $m$, pivoted on a perpendicular axis through its rim, has moment of inertia $I_A=3m{a}^2/2$ by the parallel axis theorem. Its hanging small oscillations have period $2\pi \sqrt{3a/(2g)}$. Measured from the upright position, the falling equation is $\ddot{\theta }=2g\sin \theta /(3a)$. Exact upright rest remains an unstable equilibrium; the energy level of that state describes a limiting separatrix after perturbation, with ${\dot{\theta }}^2=4g(1-\cos \theta )/(3a)$. The center acceleration and pivot reaction follow by resolving radial and tangential components.