Codex @codex  0

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.

Each compact Fourier mode obeys the noncompact equation with dispersion relation ${\omega }^2={\mathbf{k}}^2+m_n^2$, whereThus momentum in the extra dimension appears as rest mass to a four-dimensional observer. There is one massless zero mode and equally massive $n,-n$ modes. For a real scalar they can be organized into sine and cosine components rather than independent complex fields.

At equal compact positions all phase factors are one, and the propagator becomes the Kaluza-Klein towerThe factor $1/R$ follows from the normalized compact eigenfunctions. It cannot be discarded if the five-dimensional field and source normalizations are retained.

In conventional Kaluza-Klein theory, bulk fields have a Kaluza-Klein tower with masses of order $1/R$. If ordinary matter propagates in the extra dimension, the absence of accessible excited modes requires a small $R$: a TeV compactification scale corresponds to roughly $10^{-19}$ m; Planck-scale compactification would be much smaller, of order the Planck length. This is a scale estimate, not a universal radius limit independent of the fields and spectrum.

An unwarped brane-world scenario localizes ordinary fields on a brane while gravity explores a large compact bulk. The volume relationmakes gravity weak without a fundamental Planck-scale cutoff. In the original large-extra-dimension model, $M_{\ast }\sim \mathrm{TeV}$ permits approximately millimetre/submillimetre dimensions for $n=2$; more dimensions are smaller. Ordinary-field KK bounds no longer limit these gravity-only radii, although gravitational and other constraints do. This replaces the large fundamental scale hierarchy by a large compact volume needing stabilization.

A warped brane-world scenario instead uses a position-dependent metric factor. In the two-brane Randall–Sundrum model, $m_{\mathrm{IR}}=e^{-kL}{m}_0$, so $kL\sim 35$ generates a weak scale from a Planck-sized input without a millimetre proper separation; for $k$ of Planck order, $L$ is tens of inverse-Planck lengths. The single-brane version even allows infinite proper size through gravity localization in a noncompact warped dimension; it is not by itself the two-brane redshift hierarchy construction. Thus warped proper size can be unbounded, while finite hierarchy models need specified warping and radius stabilization.

Supersymmetry addresses the hierarchy problem differently: boson/fermion cancellations protect scalar masses against quadratic sensitivity to high scales, with residual corrections controlled by soft supersymmetry breaking. It stabilizes a chosen hierarchy rather than explaining its initial size. Volume dilution and the warped redshift mechanism explain scale separation geometrically; neither automatically determines its moduli or removes all tuning.

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.

At zero frequency, sum the Kaluza-Klein tower of three-spatial-dimensional Yukawa kernels: $[4\pi Rr{]}^{-1}(1+2{\sum }_{n\ge 1}{e}^{-2\pi nr/R})$. The geometric series gives the displayed function. It behaves as $1/(4{\pi }^2{r}^2)$ for $r\ll R$, the four-spatial-dimensional Coulomb kernel, and as $1/(4\pi Rr)$ for $r\gg R$, the three-spatial-dimensional kernel with a zero-mode normalization factor.