Use natural units, the unreduced Planck mass , and . In a flat universe dominated by a canonical inflaton, and solve the inflaton equation of motion and Friedmann equation exactly when and . The positive-potential scaling solution requires , while cosmic inflation requires . Its constant equation-of-state parameter is . In terms of the reduced Planck mass , the exponential slope is and the same exponent is .
Large extra dimensions 2026-10-13
Large-extra-dimension models lower the fundamental higher-dimensional gravitational scale while obtaining a large four-dimensional reduced Planck mass from compact volume . Ordinary matter can be localized on a brane while gravity propagates in the bulk. The Planck mass from compactification volume relation explains weak effective four-dimensional gravity but leaves volume stabilization and the origin of a large internal volume as separate problems.
// Target: physics.bigb
Mukhanov-Sasaki variable Created 2026-10-06 Updated 2026-10-14
For single-field adiabatic inflation, the Mukhanov-Sasaki variable rescales the comoving curvature perturbation by , where is the reduced Planck mass. Its quadratic bulk action is , after a boundary term is removed. A Fourier transform mode obeys and has canonical Wronskian normalization. The mass scale and sound-speed factors depend on the underlying scalar theory; this definition assumes the canonical single-field action and positive slow-roll kinetic coefficient.
Write the reduced Planck mass as , and use natural units. Near the flat maximum, the quartic hilltop inflation trajectory has and . The slow-roll approximation gives and . Therefore the number of e-folds is
The lower field value dominates this integral. Thus
This is far below for the assumed small symmetry-breaking scale. Strict slow roll actually fails before the minimum: at . The last approach to the minimum is not described by slow roll. Using that earlier upper limit changes the dominant fifty-e-fold estimate by an order-one number of e-folds, not its leading scale dependence. No extrapolation of slow roll all the way to the minimum is needed.
Varying the canonical scalar action gives . In a homogeneous flat Friedmann-Lemaître-Robertson-Walker metric written in conformal time, and , so
The quadratic potential therefore gives
Equivalently in cosmic time. The intrinsic roll/oscillation time is and the damping time is . If , the scalar has long since begun rapid oscillations: averaging over a quadratic oscillation gives equal kinetic and potential energies, , so it behaves as matter rather than accelerating dark energy. To remain nearly frozen or only begin rolling today requires the mass scale of quadratic quintessence
If its energy is predominantly potential, equating to , with the reduced Planck mass, gives
Taking the natural onset estimate and gives , of order the Planck mass. More strongly frozen, negative-pressure evolution requires a smaller mass and correspondingly larger field. The density fixes the product at this accuracy, rather than a unique mass and field separately.
Cosmic inflation addresses the horizon problem by extending the causal past of the observed region, the flatness problem by damping the curvature contribution, and the cosmological monopole problem by diluting unwanted relics. A canonical inflaton can drive this expansion when its potential energy density exceeds twice its kinetic energy density.
Use the unreduced Planck mass , consistent with the coefficient in the Friedmann equation, and take , . Seek the exponential-potential power-law inflation solution and . The kinetic energy density is proportional to . The inflaton potential must have the same scaling, so
Substitution into the inflaton equation of motion gives
The Friedmann equation now reduces to
Consequently the nontrivial positive-potential solution is
A positive requires . Accelerating expansion occurs exactly for , giving
This is an exact solution, not a use of the slow-roll approximation. The first Hubble slow-roll parameter and equation-of-state parameter are constant:
If the reduced Planck mass is used instead, the dimensionless exponential slope is and the exponent becomes ; these are the same solution.
For , the comoving Hubble radius decreases as . A region initially in causal contact can grow beyond that radius before the hot radiation-dominated universe begins. In the ideal power law extrapolated all the way to , the particle horizon integral diverges, so the solution has no finite past particle horizon. A finite, physically trustworthy inflationary interval instead requires a sufficiently large number of e-folds to enlarge an initially causal patch.
For a small curvature contribution, the Friedmann equation gives , solving the flatness problem. Conserved nonrelativistic magnetic monopoles have number density proportional to , while the inflaton energy density is proportional to ; their energy-density ratio therefore falls as . This gives the required dilution, provided later reheating does not recreate them. Inflationary shear damping similarly suppresses anisotropic expansion.
The main failure is no automatic graceful exit or reheating. The first Hubble slow-roll parameter never reaches one, and the exponential inflaton potential has no finite minimum about which the field can oscillate. Additional dynamics are needed for a graceful exit from inflation and transfer to a hot radiation-dominated universe. The ideal solution also retains a curvature singularity at ; solving the horizon problem does not itself explain the beginning of the universe. For , the constant inflaton potential instead permits constant-field de Sitter spacetime expansion; the logarithmic field solution is inapplicable.
For a homogeneous canonical inflaton, and . Vacuum domination by a scalar field requires positive potential energy to dominate both kinetic energy and any competing material components. Then and the expansion is nearly vacuum-like. Exact scalar-driven acceleration requires , equivalently ; potential domination is a stronger condition.
The slow-roll approximation additionally neglects compared with in the inflaton equation of motion. Define the unreduced Planck mass ; it differs from the reduced Planck mass by . Sufficient potential-flatness conditions are
together with approach to the slow-roll attractor. The reduced equations are and .
For , take and the positive-field rolling branch. Then
The field velocity is constant to this order. Choosing the start at gives the quadratic-potential slow-roll solution
The PDF puts inside this square root; the converted TeX incorrectly moves it outside. Next integrate :
Thus the number of e-folds is the logarithmic expansion, not the expansion factor itself:
Here . The usual quadratic-inflation endpoint estimate sets , giving
This is an endpoint estimate, not an exact result from the full equations. Exact acceleration ends at the Hubble slow-roll parameter , equivalently . Inserting the slow-roll velocity into that last condition instead gives ; the different order-one coefficient illustrates the failing approximation at the endpoint. A precise value requires the full scalar and Friedmann evolution. The large initial-field contribution to is unaffected by that order-one uncertainty.
Finally gives . The quadratic-inflation expansion from Planck density is therefore
For this is enormous and the initial field is in the slow-roll regime. No unique numerical factor follows without specifying . Extrapolating the classical model from Planck density is only a formal estimate; it does not establish control of quantum-gravity corrections at that starting scale.
Use natural units and the unreduced Planck mass ; it is times the reduced Planck mass. A homogeneous canonical inflaton has and . Vacuum domination by a scalar field requires , with other matter and the curvature term negligible in the Friedmann equation. The equation-of-state parameter is then near , and the Friedmann acceleration equation gives accelerating expansion.
For sustained slow-roll inflation, Hubble friction must dominate the inflaton acceleration: , with the scalar potential changing only slightly in one Hubble time. In terms of the potential slow-roll parameter and second potential slow-roll parameter, this requires
For the quartic scalar potential,
Thus supplies a broad slow-roll range when . At an initial density of order the Planck density, potential domination gives
so both potential slow-roll parameters are small for small . Small initial kinetic energy is a separate condition; the height of the scalar potential alone does not enforce it. These classical equations describe the post-Planck evolution under the model assumptions, rather than resolving quantum gravity at the initial endpoint.
Take ; the negative branch follows by the symmetry . Dropping kinetic energy from the Friedmann equation and acceleration from the inflaton equation of motion gives
Writing , the quartic-potential slow-roll solution is
Indeed, , and integrating gives . These expressions apply during slow-roll inflation; their formal late-time saturation must not be used beyond the end of that approximation.
The exact end of accelerating expansion is , equivalently for the scalar-dominated flat model. The quartic-inflation endpoint estimate uses the leading potential condition , giving
The numerical coefficient is an endpoint estimate: the slow-roll approximation breaks down there. Imposing estimates when slow roll loses accuracy and gives a different order-one coefficient, not a different exact acceleration condition.
The slow-roll e-fold count is
The quartic-inflation expansion from Planck density combines this initial estimate with the conventional endpoint to give
For small the dominant term is enormous; the order-one endpoint uncertainty does not affect that conclusion.
To estimate the reheating temperature, assume prompt, efficient reheating converts the end-of-inflation energy into a thermal radiation bath. With the same endpoint convention, , and equating this to the radiation energy density gives
The quartic-inflation prompt-reheating estimate fixes the scaling; the endpoint kinetic energy changes the coefficient by order one. Without an inflaton coupling and its thermalization history, alone cannot specify the actual reheating temperature.
Finally, during cosmic inflation the comoving Hubble radius decreases:
An initially causally connected patch is enlarged enough that the present observable region can lie within it. Its portions may subsequently be far outside one another's Hubble radii while retaining their common earlier thermal history. This solves the horizon problem if the number of e-folds is sufficiently large, conventionally of order sixty for the relevant thermal history; can readily exceed that. The necessary count depends on reheating and later expansion. The causal mechanism and the conversion back to a hot universe are discussed in David Tong's account of inflation.
Kaluza-Klein theory explains apparently four-dimensional physics as the low-energy limit of a higher-dimensional theory with compact spatial directions. In units , take a circle coordinate . A periodic scalar has the Fourier series
Substitution into its higher-dimensional kinetic term, followed by integration over , makes different Fourier modes orthogonal. The internal derivative contributes to the lower-dimensional squared mass, so
The quantized internal momentum produces the Kaluza-Klein tower. A real higher-dimensional field satisfies ; the tower does not introduce independent complex modes for both signs. More general compact spaces replace by Laplacian eigenvalues, with boundary conditions determining the spectrum.
At energies , 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 :
Here is the reduced Planck mass. For equal circle radii, . The Planck mass from compactification volume relation allows weak four-dimensional gravity even when is much lower. A conventional metric-origin gauge coupling scales as , so an order-one coupling in that simplest construction tends to place 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 potential for to a potential for . For illustration, of order a TeV and give of order mm; one extra dimension would require an astronomically large radius.
A warped Randall–Sundrum model uses
For the usual doubled orbifold interval, . The relevant lengths are the bulk curvature radius , the proper separation , and the inverse warped excitation scale, of order . Thus the first mass need not equal . 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: whereas . For an elementary Higgs field, heavy states or a physical high-energy ultraviolet cutoff generically generate
Here 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 in the usual normalization. Generic zero-point contributions scale as , and vacuum transitions also change . The dark-energy density is only of order . 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, schematically
Thus 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 gives about , 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 flat compact dimensions of common radius , with gravity propagating in the bulk and Standard Model fields confined to a four-dimensional brane. Reducing the gravitational Einstein-Hilbert action gives
so
A fundamental gravitational scale near a TeV then produces apparently weak four-dimensional gravity through dilution into the large compact volume. For and , is about , using . At distances much smaller than , the gravitational potential scales as ; at distances much larger than it scales as . 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 , 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 and , and use the warped metric
A negative bulk cosmological constant and suitably related brane tensions support this geometry. Integrating over the full orbifold interval gives
For a scalar field on the brane at , its induced metric gives the kinetic coefficient and mass coefficient . The canonical field is , hence
With and of the same fundamental order, an exponent -- 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 does not complete the explanation. For example, the Goldberger–Wise stabilization mechanism introduces a bulk scalar field with boundary values and a small mass . Its static equation and solution are
For small backreaction and large , the leading radius-dependent potential is proportional to . Its leading minimum obeys , 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 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 sensitivity
The regulator-dependent quadratic term is not itself an observable, but a physical heavy particle of mass coupled to the Higgs likewise produces a matching correction of order coupling squared times . Maintaining 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 as
so a residual scalar correction is of the order
This 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 must also be near the soft scale, and non-renormalization protects a chosen small 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 dimensions with fundamental scale , while ordinary fields are localized on a brane. Integrating the Einstein-Hilbert action over compact volume gives the Planck mass from compactification volume relation
Here denotes the four-dimensional reduced Planck mass. A sufficiently large internal volume lets be near the weak scale even though 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 orbifold with fixed branes at and :
For a scalar confined to the distant brane, the kinetic and mass terms carry factors and . Canonical rescaling therefore produces
A moderately large 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.
Supersymmetry protects a chosen hierarchy radiatively and can accompany dynamics generating a small scale; extra-dimensional volume or warping generates the scale separation geometrically, with stabilization still required.
During radiation domination, the effective number of relativistic energy degrees of freedom, denoted , gives the energy density
The paper's is this ; it is not the conventionally normalized effective number of neutrino species. With the specified reduced Planck mass, the Friedmann equation reads , whence
Write the weak interaction conversion rate as . The ratio scales as , so it falls during cooling: conversion eventually becomes too slow to maintain neutron-proton chemical equilibrium. Equating the conversion and expansion rates gives
On suppressing the numerical coefficient, the cosmological weak freeze-out temperature is consequently
The one-sixth power reflects a balance between a conversion rate proportional to and a Hubble parameter proportional to .
The new neutrino species undergoes thermal decoupling in cosmology when its interaction rate becomes comparable to the Hubble parameter. Equating the given rates gives
With , and ,
This is an order-of-magnitude electroweak-scale estimate under the given approximation. The mass in this formula is the unreduced Planck mass, not the reduced Planck mass.
Differentiate the scalar-field Friedmann equation on the expanding branch :
The scalar equation of motion gives . Canceling yields
Thus the Hubble parameter cannot increase for a canonical homogeneous scalar field. The mass scale here is the reduced Planck mass.
The annihilation operators kill the vacuum, and their commutator gives
Therefore the scale-invariant inflationary power spectrum has the superhorizon limit
The canonical mode grows as outside the Hubble radius, while the physical field perturbation freezes. A slowly varying produces an almost scale-invariant spectrum rather than exact scale invariance.
For a slowly rolling single field, fluctuations in the inflaton clock become the comoving curvature perturbation, up to sign convention. Restoring the reduced Planck mass and using gives
This conversion presumes nonzero background roll; a strictly constant test scalar in exact de Sitter spacetime does not by itself define a finite comoving curvature perturbation through this formula. The curvature perturbations seed the later density fluctuations.
When metric fluctuations and their Einstein-gravity normalization are restored, the two graviton polarizations have the same massless mode equation. The usual total primordial tensor power spectrum is , so the single-field leading ratio is . Tensor amplitudes therefore probe the inflationary energy scale, whereas scalar amplitudes also depend on the roll rate. These tensor statements explain the relevance of the mode result; they are not derived from a scalar action with metric perturbations omitted.
The quantum harmonic oscillator has , with . Using and the canonical commutation relation gives
For , the Wronskian normalization is
Consequently
Equality requires and . The minimum-energy normalized oscillator mode is therefore
The constant phase is irrelevant. This mode also solves the oscillator equation of motion; an arbitrary squeezed mode would have larger vacuum energy.
For inflation, introduce the Mukhanov-Sasaki variable . Since depends only on conformal time,
Integrating the cross term by parts gives the canonical bulk action
up to the boundary term . The resulting Euler-Lagrange field equation and its Fourier transform are
At leading order in the slow-roll approximation, retain a small positive, nearly constant in , while approximating and as constant. Then , so
Strict exact de Sitter spacetime would have and would not supply the nonzero curvature kinetic coefficient assumed here; the calculation is the leading quasi-de Sitter limit, not a substitution of zero into .
For , the expansion correction is negligible and each canonical mode is a quantum harmonic oscillator of conformal frequency . The Bunch-Davies vacuum selects its positive-frequency, minimum-energy mode in that early subhorizon regime. It does not minimize an instantaneous Hamiltonian after the effective squared frequency has become negative outside the horizon.
A basis of exact solutions to the leading mode equation is and its complex conjugate. Write the normalized Bogoliubov transformation combination as
The Bunch-Davies vacuum boundary condition sets and up to phase. Hence
Substitution verifies the equation, and verifies the Wronskian normalization.
Dividing by gives the comoving curvature perturbation variance
This is the dimensional slow-roll curvature power spectrum in the printed normalization, with the reduced Planck mass set to one. The corresponding dimensionless cosmological power spectrum is , which is independent of at this order. Restoring the reduced Planck mass divides both power expressions by . Slowly varying background quantities are evaluated near each mode's horizon exit; their variation generates the small departure from exact scale invariance.
Let denote the surface area of an n-sphere for the unit sphere . In this notation is the intrinsic dimension of the sphere. Cartesian factorization of the Gaussian integral gives . In hyperspherical coordinates,
The substitution supplies the defining Gamma function integral. Scaling the sphere radius multiplies its surface volume by , hence
This is the volume of the sphere itself, not of its enclosed ball.
Take to denote spacetime dimension and spatial dimensions. In uncompactified flat space, Gauss's law for a charge and permittivity gives . Since , the electric potential for , normalized to vanish at infinity, is
Thus the four-dimensional electric potential falls as , and the five-dimensional one as . If a convention counts only spatial dimensions as , replace by in the first formula. For , the integral instead gives ; for , it gives up to a constant. Neither case has a finite zero at infinity.
For a Newtonian gravitational potential , define the flux-normalized coupling by and acceleration . Exactly the same flux integration gives the attractive potential
In , reproduces . If is defined by the -dimensional Einstein-Hilbert action , the weak static Einstein field equations give for . Therefore
Indeed, and in signature . A Poisson-defined Newtonian theory in two spatial dimensions has a logarithmic potential, but pure three-dimensional Einstein gravity has no analogous local Newtonian point-mass force; the relativistic normalization must not be extrapolated to that exceptional dimension.
For an unwarped product with a fixed extra-dimensional metric, normalize the Einstein-Hilbert action by . Integrating the part containing the four-dimensional curvature over the internal space gives . Thus, using the reduced Planck mass,
This is a volume relation for compactification; a curved sphere additionally requires a mechanism supporting and stabilizing its background. It is not by itself a proof that a sphere times flat spacetime solves a vacuum gravitational theory.
With , and , the spherical-volume factors , , give
The first estimate is astronomical; the second is roughly a tenth of a millimetre. If both Planck scales are instead defined by , the same algebraic volume relation uses the unreduced . Holding that convention's gives radii larger by : approximately , , . These are different conventions for what is held fixed at one TeV, not different scaling laws.
Finally, compactify the fifth coordinate on a circle of circumference . For a source and observer at the same compact coordinate, the method of images turns a five-dimensional static potential into
One can derive this image sum without assuming a summation formula. The Fourier transform of is ; Poisson summation then gives , which is the displayed hyperbolic cotangent. Therefore
The short-distance limit is ; the long-distance limit is the four-dimensional potential. These exponential corrections are the nonzero Kaluza-Klein modes, with masses . For electrostatics , so the effective permittivity is . For a Poisson-normalized gravitational potential, gives . A massless scalar associated with the circle radius also contributes in an unstabilized gravitational compactification; recovering pure four-dimensional Einstein gravity with requires its stabilization or removal. The crossover itself is independent of this tensor-versus-scalar normalization issue.
The slow-roll approximation neglects relative to and kinetic energy relative to the potential. It is self-consistent on the attractor when the potential slow-roll parameter and the second potential slow-roll parameter . Thus
Here, as in the inflaton equations, denotes the reduced Planck mass, not the unreduced mass used in the thermal calculation. The slow-roll curvature power spectrum becomes
so
To differentiate with respect to horizon-exit scale, write , increasing with physical time. Along the slow-roll trajectory,
The difference between differentiating with respect to and contributes only at second slow-roll order to the tilt. Since ,
Therefore the scalar spectral index in potential slow-roll parameters is
All background quantities in these expressions are evaluated when the particular mode exits the Hubble radius.
Let be the residual gas temperature immediately before decay. This is the that enters the target abundance formula, not the higher reheating temperature after decay. Before the decay, separately conserved relic number and gas entropy give the conserved cosmological relic abundance . The cold nonrelativistic relic has negligible kinetic energy, hence
Assume its density dominates over that of the residual gas and that curvature and dark energy are negligible in the Friedmann equation. Using the reduced Planck mass gives . Under the allowed sudden decay of a dominant nonrelativistic relic convention , the temperature immediately before decay is
The coefficient inherits the approximation : the result is a sudden-decay estimate, not an exact age relation for a matter-only universe. If were instead the exact cosmic age in an uninterrupted spatially flat matter era, would replace the numerator by .
The assumptions also require thermal decoupling in cosmology and negligible prior decay so that remains conserved, a fixed relativistic count , and rapid thermalization after the energy release. In the same approximation, the reheating temperature follows from :
Its absence of at fixed decay rate makes clear why the two temperatures must be distinguished.