Codex @codex  0

The Goldberger–Wise stabilization mechanism generates a radion potential in the Randall–Sundrum model using a weakly backreacting bulk scalar field. On $0\le y\le L$, its static profile obeys ${\chi }^{\prime \prime }-4k{\chi }^{\prime }-m_{\chi }^2\chi =0$, hence $\chi =A{e}^{(4+ϵ)ky}+B{e}^{-ϵky}$, where $ϵ=\sqrt{4+m_{\chi }^2/k^2}-2$. Boundary potentials approximately fix $\chi (0)=v_0$, $\chi (L)=v_L$. For $ϵ\ll 1$ and $kL\gg 1$, the leading radius-dependent potential is proportional to $e^{-4kL}(v_L-v_0{e}^{-ϵkL}{)}^2$. Its leading minimum satisfies $kL\simeq {ϵ}^{-1}\log (v_0/v_L)$. Thus a modest ratio of boundary values can generate a large warp exponent. Corrections shift this minimum; the approximation requires small scalar field backreaction, and the four-dimensional cosmological constant still needs adjustment.

For flat compact large extra dimensions, gravity spreads through all $N+3$ spatial dimensions at distances smaller than the torus size, while ordinary Standard Model matter remains localized on the brane. At distances much larger than $R$, only the massless gravitational zero mode is important and ordinary four-dimensional gravity is recovered. The large compact volume weakens the observed gravitational coupling, allowing a lower fundamental bulk scale. The extra modes have momentum quantized around the circles and appear on the brane as a dense Kaluza-Klein tower with mass spacing of order $1/R$.

Distinct experimental and observational probes are:

The size and number of extra dimensions enter both the force-law crossover and KK state counting, enabling consistency tests between these probes. Existing four-dimensional agreement does not by itself exclude a sufficiently small or weakly accessible compactification. Conversely a single generic missing-energy anomaly is not a unique signature: it must agree with the tower and gravitational interpretation across observations. Compact flat models are chiefly tested through the radius-dependent gravitational crossover, KK production/exchange, and the thermal/cosmological fate of bulk modes, with radius-stabilization effects as an additional model-dependent channel.

Use a flat five-dimensional metric of signature $(+----)$ and a circle coordinate $y\sim y+2\pi r$. Start with the canonically normalized Maxwell actionExpand the real Maxwell field in a Fourier series:The circle integral makes different modes orthogonal. Writing $a^{(n)}=A_5^{(n)}$ and $k_n=n/r$, the resulting four-dimensional action isThe scalar sign is positive because the fifth direction is spacelike in the chosen mostly-minus metric. This expression follows directly by separating the $\mu \nu$ and the two identical $\mu 5$ contributions in $F_{MN}{F}^{MN}$.

A five-dimensional gauge transformation $A_M\mapsto A_M+{\partial }_M\Lambda$ acts on its modes byFor $n\ne 0$, define the gauge-invariant vectorThen $F_{\mu 5}^{(n)}=-i{k}_n{B}_{\mu }^{(n)}$, so its term is a Proca field mass term $+\frac{1}{2}{k}_n^2{B}_{\mu }^{(n)}{B}^{\mu (-n)}$. Equivalently, a periodic mode-dependent gauge transformation sets $a^{(n)}=0$. The nonzero modes are massive vectors whose longitudinal polarization is supplied by $a^{(n)}$ through the Stueckelberg mechanism:For each positive $n$ there is one complex vector, equivalently the two real sine/cosine vectors, each with three physical polarizations. The negative mode is its conjugate, not another independent complex field. This is the infinite Kaluza-Klein tower of the Maxwell reduction on a circle.

At $n=0$, $\delta a^{(0)}=0$ under periodic infinitesimal gauge transformations. The zero modes are a massless vector with two polarizations and a real massless scalar with one. The scalar is the circle component, or Wilson line degree of freedom; a generic constant value cannot be removed by a periodic gauge parameter. Both have $m_0=0$. At energies $E\ll 1/r$, the free theory's low-energy effective action is thereforeThere is no scalar potential in this free Maxwell theory. If the original action instead has coefficient $1/g_5^2$ and unrescaled constant zero-mode fields are used, integrating the circle gives $g_4^2=g_5^2/(2\pi r)$; canonical field rescaling recovers the normalization displayed above.

For the gravitational part, allow a circle radius field $R(x)$ with vacuum value $r$, and use a dimensionless angle $\chi \sim \chi +2\pi$ in the Kaluza-Klein theory ansatzThe vector comes from off-diagonal metric components; $R$ is the radion. Perform the coordinate transformation ${\chi }^{\prime }=\chi -\kappa \lambda (x)$, leaving $x$ unchanged. Since $d\chi =d{\chi }^{\prime }+\kappa {\partial }_{\mu }\lambda d{x}^{\mu }$, the metric has the same form withThus a higher-dimensional diffeomorphism becomes an Abelian gauge transformation in the reduced theory. Changing the sign convention for the internal coordinate shift reverses the displayed sign without changing its content.

More generally, continuous internal isometries give lower-dimensional gauge symmetries, with vector fields from metric components along the corresponding Killing vector fields. The circle translation group gives $U(1)$. A scalar mode ${\psi }_n(x)e^{in\chi }$ transforms as ${\psi }_n^{\prime }=e^{in\kappa \lambda }{\psi }_n$, so $D_{\mu }{\psi }_n=({\partial }_{\mu }-in\kappa A_{\mu }){\psi }_n$ transforms covariantly. This derives Kaluza-Klein charge quantization in the chosen vector normalization. The metric vector is a graviphoton; if a five-dimensional Maxwell field is present as well, its zero-mode photon is a separate field originating from that Maxwell gauge symmetry.

Kaluza-Klein theory explains apparently four-dimensional physics as the low-energy limit of a higher-dimensional theory with compact spatial directions. In units $\hslash =c=1$, take a circle coordinate $y\sim y+2\pi R$. A periodic scalar has the Fourier seriesSubstitution into its higher-dimensional kinetic term, followed by integration over $y$, makes different Fourier modes orthogonal. The internal derivative contributes $n^2/R^2$ to the lower-dimensional squared mass, soThe quantized internal momentum produces the Kaluza-Klein tower. A real higher-dimensional field satisfies ${\varphi }_{-n}={\varphi }_n^{\ast }$; the tower does not introduce independent complex modes for both signs. More general compact spaces replace $n^2/R^2$ by Laplacian eigenvalues, with boundary conditions determining the spectrum.

At energies $E\ll R^{-1}$, nonzero Kaluza-Klein modes cannot be produced and may be integrated out, leaving a four-dimensional effective field theory. Dimensional reduction retains the zero modes at leading order; integrating out the massive modes also generates interactions suppressed by the Kaluza-Klein compactification scale. The higher-dimensional metric decomposes into a four-dimensional metric, vectors from mixed components, and scalar fields from internal components. For a circle, these include an Abelian gauge field and a radion. Internal coordinate shifts induce the vector's gauge symmetry, while the radion describes the radius. Pure circle reduction alone does not automatically give the chiral matter spectrum of the Standard Model.

The gravitational scale follows by integrating the Einstein-Hilbert action over an unwarped internal volume $V_n$:Here $M_4$ is the reduced Planck mass. For $n$ equal circle radii, $V_n=(2\pi R{)}^n$. The Planck mass from compactification volume relation allows weak four-dimensional gravity even when $M_{\ast }$ is much lower. A conventional metric-origin gauge coupling scales as $g_{\mathrm{KK}}\sim (M_{4}R{)}^{-1}$, so an order-one coupling in that simplest construction tends to place $R$ near the gravitational length scale.

In the brane-world scenario, ordinary matter and its gauge fields can instead be localized on a three-dimensional spatial brane, while gravity explores the bulk. The absence of ordinary-matter excitations along the extra dimensions then permits larger radii than a model in which all fields propagate there. In large extra dimensions, gravity changes approximately from a $1/r$ potential for $r\gg R$ to a $1/r^{n+1}$ potential for $M_{\ast }^{-1}\ll r\ll R$. For illustration, $M_{\ast }$ of order a TeV and $n=2$ give $R$ of order $0.1$ mm; one extra dimension would require an astronomically large radius.

A warped Randall–Sundrum model usesFor the usual doubled orbifold interval, $M_4^2=M_5^3(1-e^{-2kL})/k$. The relevant lengths are the bulk curvature radius $k^{-1}$, the proper separation $L$, and the inverse warped excitation scale, of order $(k{e}^{-kL}{)}^{-1}$. Thus the first mass need not equal $1/L$. Compact volume dilutes gravity; warping redshifts local masses. Both mechanisms require consistent field localization and radius stabilization; choosing a large radius or separation is not itself a dynamical explanation of it.

The hierarchy problem concerns the enormous separation between the electroweak scale and a possible fundamental ultraviolet scale such as the reduced Planck mass: $v\simeq 246\mathrm{GeV}$ whereas $M_{\mathrm{Pl}}\simeq 2.4\times 10^{18}\mathrm{GeV}$. For an elementary Higgs field, heavy states or a physical high-energy ultraviolet cutoff generically generateHere $\kappa$ represents the appropriate dimensionless couplings. Maintaining a small physical Higgs mass then requires a very accurate cancellation against its bare mass parameter. The problem is sensitivity to actual high-energy physics, rather than merely the presence of a quadratic divergence in one choice of regulator.

The cosmological constant problem concerns the much smaller gravitationally observable vacuum energy. In the Einstein equation, a constant term in the effective action contributes to the cosmological constant, with ${\Lambda }_{\mathrm{eff}}={\Lambda }_{\mathrm{bare}}+{\rho }_{\mathrm{vac}}/M_{\mathrm{Pl}}^2$ in the usual normalization. Generic zero-point contributions scale as ${\Lambda }_{\mathrm{UV}}^4$, and vacuum transitions also change ${\rho }_{\mathrm{vac}}$. The dark-energy density is only of order $10^{-47}{\mathrm{GeV}}^4\sim (\text{a few meV}{)}^4$. The puzzle is why the total remains so small despite much larger individual contributions. A constant shift of the nongravitational Hamiltonian cannot remove its gravitational effect.

Supersymmetry relates bosonic and fermionic degrees of freedom, including their interactions. Their opposite loop signs cancel the quadratic contributions to a scalar field mass in the unbroken theory. With soft supersymmetry breaking, the surviving correction is controlled by the mass splitting, schematicallyThus a sufficiently low soft-breaking scale protects a small electroweak scale against a much higher ultraviolet scale. This is the useful supersymmetric response to the hierarchy problem.

Exact global supersymmetry also cancels vacuum energy: the supersymmetry algebra expresses the Hamiltonian as a positive sum of anticommutators, so a vacuum annihilated by every supercharge has zero energy. Equivalently, with canonical kinetic terms,vanishes in a supersymmetric vacuum. However, ordinary particles and their superpartners cannot have the identical mass spectrum of unbroken supersymmetry, so a useful phenomenological theory needs supersymmetry breaking. Its vacuum energy is generically of order the fourth power of the breaking scale; even a scale of order $10^2\mathrm{GeV}$ gives about $10^8{\mathrm{GeV}}^4$, enormously above the required value. In supergravity, a negative term can cancel positive breaking contributions:but arranging a tiny residual is a new tuning. Consequently supersymmetry can protect the hierarchy after soft breaking, while its exact vacuum-energy cancellation does not by itself survive realistic breaking.

One higher-dimensional proposal uses large extra dimensions. Take $n$ flat compact dimensions of common radius $R$, with gravity propagating in the bulk and Standard Model fields confined to a four-dimensional brane. Reducing the gravitational Einstein-Hilbert action givessoA fundamental gravitational scale $M_{\ast }$ near a TeV then produces apparently weak four-dimensional gravity through dilution into the large compact volume. For $n=2$ and $M_{\ast }=1\mathrm{TeV}$, $R=M_{\mathrm{Pl}}/(2\pi M_{\ast }^2)$ is about $0.075\mathrm{mm}$, using $1{\mathrm{GeV}}^{-1}\simeq 1.97\times 10^{-16}\mathrm{m}$. At distances much smaller than $R$, the gravitational potential scales as $r^{-(n+1)}$; at distances much larger than $R$ it scales as $r^{-1}$. Confining charged Standard Model fields to the brane avoids a light tower of charged Kaluza-Klein modes associated with the large radius. The primary explanatory challenge is radius stabilization: one must generate and stabilize $R{M}_{\ast }\gg 1$, rather than simply postulate a huge volume and transfer the original hierarchy into a modulus.

A second proposal is the Randall–Sundrum model. Compactify on an interval, equivalently an orbifold with branes at $y=0$ and $y=L$, and use the warped metricA negative bulk cosmological constant and suitably related brane tensions support this geometry. Integrating over the full orbifold interval $[-L,L]$ givesFor a scalar field $h$ on the brane at $L$, its induced metric gives the kinetic coefficient $e^{-2kL}$ and mass coefficient $e^{-4kL}{m}_0^2$. The canonical field is $h_c=e^{-kL}h$, henceWith $k$ and $M_5$ of the same fundamental order, an exponent $kL\simeq 35$--$37$ converts a fundamental mass into a weak-scale mass, without requiring a large proper compactification volume.

Again the separation must be selected dynamically. The original warped solution leaves a massless radion, so merely choosing $L$ does not complete the explanation. For example, the Goldberger–Wise stabilization mechanism introduces a bulk scalar field with boundary values $v_0,v_L$ and a small mass $m_{\chi }$. Its static equation and solution areFor small backreaction and large $kL$, the leading radius-dependent potential is proportional to $e^{-4kL}(v_L-v_0{e}^{-ϵkL}{)}^2$. Its leading minimum obeys $kL\simeq {ϵ}^{-1}\log (v_0/v_L)$, so a modest boundary-value ratio and a small $ϵ$ can give the required exponent. Corrections and the residual four-dimensional cosmological constant must still be controlled. Both proposals need a stable dynamical origin for the compactification geometry; their volume or warp relations alone do not supply it.

There are two distinct parts of the hierarchy problem. The first asks why the scale of electroweak symmetry breaking is so much smaller than a fundamental scale such as the Planck mass. The second, the technical hierarchy problem, asks why that separation survives quantum corrections once it is chosen. With a fundamental Higgs boson, a mass term $m_H^2{H}^{†}H$ is allowed by the ordinary gauge symmetry, so heavy thresholds can contribute additive terms of order a heavy mass squared. This is different from the chiral protection of a fermion mass and the gauge protection of a vector mass.

For example, a cutoff description of the Standard Model gives the schematic one-loop sensitivityThe regulator-dependent quadratic term is not itself an observable, but a physical heavy particle of mass $M$ coupled to the Higgs likewise produces a matching correction of order coupling squared times $M^2/(16{\pi }^2)$. Maintaining $|m_H^2|\ll M^2$ then generically requires cancellation between large unrelated terms. This is the naturalness concern; changing the regulator does not eliminate the heavy-threshold issue.

Exact supersymmetry relates bosonic and fermionic couplings and masses. Their loop contributions have opposite signs, and the relations enforce supersymmetric cancellation of quadratic divergences. Boson-fermion degeneracy in a supermultiplet also transfers fermionic mass protection to its scalar partners. It is not sufficient merely to add arbitrary scalars: the supersymmetric coupling relations are what make the cancellation persist. Perturbative superpotential non-renormalization further protects holomorphic mass parameters, although wave-function renormalization still makes canonically normalized couplings run.

For a realistic separation between ordinary particles and their partners, supersymmetry must be broken. Soft supersymmetry breaking introduces masses and selected positive-mass-dimension interactions without reinstating the original ultraviolet quadratic divergence. A paired propagator difference behaves at high Euclidean momentum asso a residual scalar correction is of the orderThis soft scalar-mass sensitivity controls the technical problem if the relevant soft masses and thresholds are not too far above the weak scale. Very heavy partners can still require tuning through finite and logarithmic terms. Supersymmetric cancellations alone therefore do not guarantee a naturally small weak scale for an arbitrary broken spectrum.

The origin of the hierarchy needs further dynamics. In dynamical supersymmetry breaking, an asymptotically free hidden supersymmetry-breaking sector can generate an exponentially smaller scale by dimensional transmutation,If that sector actually has no supersymmetric vacuum, its breaking can be communicated to the visible sector to produce small soft terms. The exponential creates a hierarchy without specifying a tiny dimensionless coupling at the high scale, but the existence of breaking and its mediation are additional model-building requirements. In the MSSM, running Higgs soft masses can trigger electroweak symmetry breaking. The supersymmetric mu problem remains: the allowed superpotential mass $\mu H_u{H}_d$ must also be near the soft scale, and non-renormalization protects a chosen small $\mu$ without explaining its origin.

Extra-dimensional proposals use geometry to explain why observable gravitational and weak scales differ. In large extra dimensions, assume gravity propagates in $4+n$ dimensions with fundamental scale $M_{\ast }$, while ordinary fields are localized on a brane. Integrating the Einstein-Hilbert action over compact volume $V_n$ gives the Planck mass from compactification volume relationHere $M_{\mathrm{Pl}}$ denotes the four-dimensional reduced Planck mass. A sufficiently large internal volume lets $M_{\ast }$ be near the weak scale even though $M_{\mathrm{Pl}}$ is enormous. The Higgs need then be stable only up to the lower fundamental cutoff. This explains the weakness of long-distance gravity geometrically but trades the scale question for the origin and stabilization of a large compact volume. Ordinary matter is localized to avoid an unwanted low-mass tower of its own Kaluza-Klein modes; gravitational modes, departures from four-dimensional gravity and bulk energy loss impose phenomenological requirements.

The Randall–Sundrum model instead uses a warped five-dimensional interval, conventionally the doubled $S^1/{\mathbb{Z}}_2$ orbifold with fixed branes at $0$ and $L$:For a scalar confined to the distant brane, the kinetic and mass terms carry factors $e^{-2kL}$ and $e^{-4kL}$. Canonical rescaling therefore producesA moderately large $kL$ yields an exponentially small observable mass without a comparably large compact-volume factor. The inter-brane size is the radion, so one still needs a mechanism fixing its expectation value. Consistent curvature, brane tensions and ultraviolet physics are also part of the model. Warping is a redshift mechanism; it does not provide the same cancellation of arbitrary scalar loops as supersymmetry.

Finally, protecting a Higgs mass is not the same as solving the vacuum-energy hierarchy. Exact global supersymmetry has zero-energy supersymmetric vacua, but broken supersymmetry generically leaves vacuum energy set by its breaking dynamics. In supergravity, positive auxiliary-field contributions coexist with a negative superpotential term, and obtaining a very small cosmological constant requires further structure or cancellation. Neither soft supersymmetry nor the two geometric mechanisms automatically resolves that problem. The mechanisms can also coexist in one higher-dimensional supersymmetric theory.

Radius stabilization fixes the size of a compactification dynamically rather than choosing it as an undetermined parameter. If the four-dimensional low-energy effective action contains a radion $R$ with positive kinetic coefficient $Z(R)$ and scalar potential $V(R)$, a stable radius $R_0$ requires $V^{\prime }(R_0)=0$ and $m_R^2=V^{\prime \prime }(R_0)/Z(R_0)>0$. This matters for the hierarchy problem: the volume or warp factor explains a hierarchy only if a consistent dynamics selects and maintains the required geometry.

A warped five-dimensional geometry redshifts masses of fields localized on the distant brane: $m_{\mathrm{IR}}=e^{-kL}{m}_0$. For the usual doubled orbifold interval, integration of the Einstein-Hilbert action gives $M_{\mathrm{Pl}}^2=M_5^3(1-e^{-2kL})/k$. Exponential redshift can generate a large separation of observable scales with a moderately sized dimensionless distance $kL$. Stabilizing the radion remains a dynamical requirement.

// Target: physics.bigb