{"id":"ecae8c16-c921-45c9-9a13-221ab488781d","arxiv_id":"2501.13581","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":5.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":2,"one_line_summary":"In (D+4)-dimensional uniform inflation the spectral index and tensor-to-scalar ratio are ns=1-(D+6)ε+2η and r=8(D+2)ε, which excludes D≥2 for the five models studied while allowing D=1 in the b0k >> 1 branch.","lead":"This paper computes the cosmic microwave background predictions of five inflation models in a universe where extra dimensions expand at the same rate as the three familiar dimensions. It concludes that such 'uniform inflation' is disfavored by Planck 2018 data unless there is exactly one extra dimension.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The b0k >> 1 branch is assumed, but the CMB pivot modes for the D=1 N*=60–70 points that carry the 'one extra dimension' exception lie in the b0k << 1 branch, invalidating those predictions.","rationale":"The reader's weakest_assumption correctly identifies the unproven b0k >> 1 branch as load-bearing. The quantitative estimate strengthens it: using the paper's own Eq. (2.14) and the dark-dimension benchmark, CMB pivot modes have b0k << 1 for N* ≳ 55, so the allowed D=1 points at N*=60–70 in natural and quartic hilltop inflation are computed in the wrong branch. In the b0k << 1 branch, Eq. (3.58) gives n_s ≈ 1 - D - (D+6)ε + 2η, which for D=1 and chaotic n=1 with N=60 is about -0.03, far below the Planck window. Thus the 'one extra dimension' exception is not robust for the points that previously supported it. I do not recommend REJECT because the D=1 chaotic n=1 N*=50 point lies in the b0k >> 1 branch and may still be within Planck (r ≈ 0.12, n_s ≈ 0.965), so the broad claim 'except for one extra dimension' could survive in a weakened form. The reader's CONDITIONAL verdict is therefore the right level of caution, and the proposed check would settle it.","tokens_in":19518,"tokens_out":33360,"duration_ms":278359,"concrete_test":"For each model and (D, N*) point in Figs. 1–3, compute b0k* = b0 H using b0 = b_end e^{-N*} (with b_end from Table 1 and H fixed by matching As to ~2.1 × 10^-9) and compare to 1. For every point with b0k* < 1 (in particular D=1, N*=60–70), recompute n_s and r from the b0k << 1 formulas, namely Eq. (3.58) for n_s and the tensor-scalar ratio obtained from Eqs. (3.50) and (3.55), and re-test against the Planck 2018 contours. If any D=1 point that was previously within the 95% contour moves outside, the paper's central exception is an artifact of the branch choice.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The paper's central claim that D=1 can survive Planck 2018 relies on n_s = 1 - (D+6)εV + 2ηV and r = 8(D+2)εV, derived in the b0k >> 1 branch (Section 3.6). The b0k << 1 branch gives n_s = 1 - D - (D+6)εV + 2ηV (Eq. 3.58), which is far outside the Planck window for D ≥ 1. The choice b0k >> 1 is asserted, not derived: 'Hereafter, we assume the b0k ≫ 1 case.' Using the paper's own relation b_end = b0 e^{N*} (Eq. 2.14) and the D=1 dark-dimension benchmark b_end ~ 10 μm, the dimensionless ratio at the CMB pivot is b0 k* ≈ b0 H ≈ (b_end H) e^{-N*} ~ (10 μm · 10^13 GeV) e^{-60} ~ 4 × 10^-3 for N*=60, and ~10^-6 for N*=70. Thus the CMB modes are in the b0k << 1 branch whenever N* ≳ 55. The points that make D=1 viable in natural inflation and quartic hilltop inflation are exactly at 60 < N* ≤ 70 (Figs. 2a and 3a); these must be recomputed with Eq. (3.58), which excludes them. The chaotic n=1 N*=60 point is similarly invalid, leaving at best the N*=50 point in the b0k >> 1 branch. The conclusion 'except for one extra dimension' therefore rests on a branch assumption that is violated for the very parameter points that carry it.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"This paper analyzes (D+4)-dimensional uniform inflation, in which D compact extra dimensions expand at the same rate as the three non-compact spatial dimensions during inflation. The author derives the scalar and tensor power spectra from the perturbed Einstein equations, obtains the spectral index n_s and tensor-to-scalar ratio r in the two asymptotic regimes b0k << 1 and b0k >> 1, and then tests five inflationary models against Planck 2018 contours. The central quantitative results are n_s = 1 - (D+6)εV + 2ηV and r = 8(D+2)εV in the b0k >> 1 branch, and n_s = 1 - D - (D+6)εV + 2ηV in the b0k << 1 branch. The paper concludes that uniform expansion of the extra dimensions is disfavored by Planck data except possibly for D=1, where natural inflation and quartic hilltop inflation can survive at 60 < N* <= 70.","tokens_in":19871,"tokens_out":13986,"duration_ms":140767,"significance":"If the derivation and branch selection are correct, the paper would provide a useful constraint on higher-dimensional inflationary scenarios and on the dark-dimension proposal, since it would single out one extra dimension as the only viable case. The manuscript has genuine strengths: the perturbation calculation is carried out in full (D+4)-dimensional Einstein equations; the D=0 four-dimensional limit and the D=1 five-dimensional limit of Ref. [20] are reproduced; the formulas for n_s and r are derived rather than fitted; and the five model comparisons are internally consistent and transparent. The significance of the conclusion is, however, conditional on the b0k >> 1 branch being the physically relevant regime for the CMB pivot modes, and this is precisely the point that the manuscript assumes rather than demonstrates.","major_comments":[{"comment":"The statement 'Hereafter, we assume the b0k ≫ 1 case' is not a harmless choice. Equation (3.58) shows that in the b0k << 1 branch the spectral index is n_s = 1 - D - (D+6)εV + 2ηV, so for D=1 it differs from the b0k >> 1 prediction in Eq. (3.59) by an additive -1. Therefore the D=1 viable points in Figs. 2(a) and 3(a) (natural and quartic hilltop at 60 < N* <= 70) and the N*=60 chaotic n=1 point in Fig. 1 all depend entirely on the assumed branch. Moreover, the branch is not merely unproven: using the paper's own benchmark b0 ~ 10^-25 μm for D=1 and N*=60 (given after Eq. (2.14)) together with the pivot scale k* = 0.002 Mpc^-1 gives b0 k* ~ 10^-57, which is deep in the b0k << 1 regime. The author should either state explicitly the normalization or physical interpretation that would place the CMB pivot in the b0k >> 1 branch, or recompute all model predictions with Eq. (3.58) and revise the conclusions accordingly.","section":"Section 3.6, Eqs. (3.58)-(3.60); Figs. 1-3"},{"comment":"The identification of b_end with the present-day extra-dimensional size and the use of Eq. (2.14) to estimate b0 presuppose that the radion is stabilized after inflation without changing the scale-factor history or the branch of the CMB modes. The manuscript explicitly states that radion stabilization is beyond its scope and refers to [20], so this is a stated limitation rather than an internal inconsistency. However, the b0k estimate that underlies the branch selection is load-bearing for the D=1 conclusion. A quantitative discussion of the stabilization scale and its backreaction is needed to justify treating b_end ~ 10 μm as the endpoint of uniform expansion, especially because the perturbed metric contains the radion-like variable Ξ whose dynamics is used in constructing the curvature perturbation but is never given a mass or potential.","section":"Section 2.2, after Eq. (2.14); Section 3.1"}],"minor_comments":[{"comment":"The quantity N_i is used in the slow-roll parameters and in n_s and r for quartic hilltop inflation, but it is never defined; the text only defines N in Eq. (4.18). Please define N_i and state its relation to the e-fold number N_* used in Fig. 3, since the model predictions cannot be reproduced without this identification.","section":"Section 4.3, Eqs. (4.16), (4.19), (4.20)"},{"comment":"There are several typographical and presentation issues: 'metic' should be 'metric' in Section 2.1, the table heading reads 'T able 1', and the subsection heading contains a duplicated 'constraint'. The tables should also be explicitly referenced by number in the text.","section":"Section 2.1 and Table 1"},{"comment":"The gauge transformation of Ξ in Eq. (3.3) and the construction of the variables Θ and Ω in Eqs. (3.18)-(3.22) are compressed; providing the intermediate algebra in an appendix would make the derivation substantially easier to verify.","section":"Sections 3.1 and 3.3, Eqs. (3.3), (3.18)-(3.22)"},{"comment":"The claim that the n=1 chaotic inflation results reduce to the dotted-line relation r ≃ -8 n_s + 8(1 - 1/N*) is stated without derivation; a one-line derivation would make the connection transparent.","section":"Section 4.1, Eq. (4.6)"}],"recommendation":"major_revision","confidential_remarks":"The decisive issue is the b0k branch. If the author can show, under a consistent normalization, that the CMB pivot modes are in the b0k >> 1 regime for the D=1 parameter points, the paper could be accepted after revision. If, as the numerical estimate in the report suggests, the pivot modes are actually in the b0k << 1 branch, then the D=1 exception must be withdrawn and the abstract/conclusion revised accordingly; the rest of the perturbation analysis would still be useful. The manuscript is otherwise technically careful and appropriate for the journal."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Here's the short version. The paper's new content is a general-D perturbation calculation for uniform higher-dimensional inflation: it reproduces the D=0 and D=1 limits, gives clean formulas ns = 1 - (D+6)ε + 2η and r = 8(D+2)ε in the b0k >> 1 regime, and applies them to five models. That's a useful, self-consistent piece of work, and the qualitative exclusion of D ≥ 2 is likely robust.\n\nThe problem is the branch choice. The paper asserts, 'Hereafter, we assume the b0k >> 1 case' without checking whether the CMB modes satisfy it. Using the paper's own relation bend = b0 e^{N*} and the dark-dimension benchmark bend ~ 10 μm with H ~ 10^13 GeV, the dimensionless ratio at horizon exit is b0k = bend H e^{-N*}. For N* = 60 that's ~10^-2, for N* = 70 it's ~10^-7—both deep in the b0k << 1 branch, where ns = 1 - (D+6)ε + 2η - D. For D=1 that gives ns ≈ -0.03, wildly outside Planck. The natural-inflation and quartic-hilltop D=1 survivors at 60 < N* ≤ 70 are exactly the points in the wrong branch, and the chaotic n=1 N*=60 point too. Only the N*=50 chaotic point might be in the b0k >> 1 branch, and it's borderline excluded. So the 'one extra dimension is viable' conclusion rests on an unstated, violated assumption. The D≥2 exclusions stand either way, but the interesting part of the abstract doesn't.\n\nThe radion is also treated without a stabilization mechanism; the paper says so explicitly. That's a genuine gap, but addressable. The finite list of five models is a minor caveat, and the author acknowledges it.\n\nWho should read this? People working on the dark-dimension scenario and higher-dimensional inflation. The formalism is worth knowing; the interpretation is not. The paper deserves a serious referee—the calculation is non-trivial and the flaw is fixable. The author needs to either justify b0k >> 1 for the CMB scale or recompute the D=1 points in the correct branch. If the exception disappears, the paper becomes a less flashy but still valid exclusion of uniform expansion for D ≥ 2. I'd accept it for review with a request to address the branch issue head-on.","headline":"The general-D formulas are clean, but the D=1 survivor points sit in the b0k << 1 branch the paper assumes away, so the headline exception is likely an artifact.","tokens_in":20412,"tokens_out":9231,"would_cite":false,"duration_ms":74510,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"deepseek-v4-flash","headline":"This paper claims that uniformly expanding extra dimensions during inflation are ruled out by Planck 2018 data except for a single extra dimension, and only in narrow model windows.","keywords":["higher-dimensional uniform inflation","extra dimensions","cosmological perturbations","spectral index","tensor-scalar ratio","Kaluza-Klein modes","Planck 2018","inflationary models"],"falsifier":"Compute the product $b_0 k_*$ at the Planck pivot scale $k_* = 0.002\\ \\mathrm{Mpc}^{-1}$ for each claimed viable model and $D$, using the paper's own relation between $b_0$, $M_*$, and $N_*$ (Eq. (2.14)). If any viable case has $b_0 k_*$ not much larger than 1, the asymptotic formulas for $n_s$ and $r$ fail and the $D=1$ exception must be re-derived from the full $S_\\nu$ sums.","tokens_in":19286,"feed_emoji":"🌌","tokens_out":9891,"duration_ms":78540,"temperature":0.7,"pith_summary":"This paper asks whether the extra dimensions of a higher-dimensional universe could have expanded at the same rate as our three space dimensions during inflation and still be compatible with the Planck 2018 measurements of the primordial power spectrum. It computes the cosmological perturbation spectra in $D+4$ dimensions and derives the slow-roll predictions $n_s = 1 - (D+6)\\epsilon_V + 2\\eta_V$ and $r = 8(D+2)\\epsilon_V$ in the $b_0 k \\gg 1$ limit. Five representative potentials are then tested against the Planck 2018 $n_s$--$r$ contours: chaotic inflation, natural inflation, quartic hilltop inflation, inflation with spontaneously broken SUSY, and $R^2$ inflation. The paper's conclusion is that uniform expansion is strongly disfavored for $D\\ge 2$, while $D=1$ survives only in narrow windows. If correct, this is a direct cosmological argument against more than one uniformly expanding extra dimension during inflation.","feed_headline":"Uniform inflation survives only with one extra dimension","feed_subtitle":"Spectral index and tensor ratio shift with dimension; the five models fit Planck 2018 only for D=1.","key_machinery":"The machinery is a $(D+4)$-dimensional cosmological perturbation calculation about a background whose scale factors satisfy $a(t)=b(t)=e^{Ht}$, so the extra dimensions and ordinary space inflate in step. From the perturbed Einstein equations the paper builds two master variables, $\\Theta$ and $\\Omega$, linear combinations of the comoving curvature perturbation $R$ and the extra-dimension metric perturbation $\\Xi$; these obey Mukhanov-Sasaki-type mode equations whose solutions give the scalar power spectrum. The tensor perturbation follows the same master equation, and the sum over Kaluza-Klein modes is encoded in the function $S_\\nu((b_0 k)^2)$, evaluated in the two limits $b_0 k \\ll 1$ and $b_0 k \\gg 1$. The $b_0 k \\gg 1$ limit yields the headline formulas $n_s = 1 - (D+6)\\epsilon_V + 2\\eta_V$ and $r = 8(D+2)\\epsilon_V$, which carry the model-by-model comparison with Planck, with $\\epsilon_V$ and $\\eta_V$ the potential slow-roll parameters defined with a $(D+2)$ prefactor.","core_discovery":"On the paper's own terms, the central claim is that the spectral index and the tensor-to-scalar ratio become dimension-dependent when extra dimensions expand at the same rate as ordinary space. In the branch $b_0 k \\gg 1$, the results are $n_s = 1 - (D+6)\\epsilon_V + 2\\eta_V$ and $r = 8(D+2)\\epsilon_V$. The factor $(D+2)$ in $r$ means higher-dimensional models produce more tensor perturbations at fixed slow-roll parameters, and the extra $D\\epsilon_V$ term in $n_s$ moves the tilt away from scale invariance. Applying these formulas to the five potentials and comparing with the Planck 2018 contours, the paper finds that chaotic inflation with $n\\ge2$, natural inflation, quartic hilltop inflation, spontaneously broken SUSY inflation, and $R^2$ inflation are excluded for $D\\ge2$; only $D=1$ remains viable in limited cases (chaotic $n=1$, and natural or quartic hilltop with $N_*>60$). The conclusion is that uniform expansion of extra dimensions is not desirable except possibly for one extra dimension.","pith_inferences":["Beyond the paper: the choice of branch $b_0 k \\gg 1$ is assumed, not demonstrated. If the CMB pivot scale for a given $D$ actually lies in the $b_0 k \\ll 1$ regime, the spectral index gains a $-D$ term and even $D=1$ would be far outside the Planck window.","Beyond the paper: the $D$-dependent tensor enhancement means future B-mode measurements could discriminate uniform higher-dimensional inflation from ordinary four-dimensional inflation before spectral-index analysis does: a detection of $r$ above the four-dimensional prediction with matching $n_s$ would point to $D\\ge1$.","Beyond the paper: the analysis assumes a single inflaton and neglects radion stabilization during and after inflation; if stabilization backreacts on the perturbation equations, the derived $n_s$ and $r$ could be modified, and the paper itself flags this as future work.","Beyond the paper: the same method could be applied to extranatural inflation and moduli inflation, where the inflaton lives in the extra dimensions, and those models might evade the present bounds."],"forward_implications":["For $D\\ge2$, none of the five potentials analyzed sits inside the Planck 2018 95% allowed region once uniform expansion is imposed.","$D=1$ survives only in narrow parameter windows: chaotic inflation with $n=1$ near $r\\approx0.10$, and natural or quartic hilltop inflation with e-folds $N_*>60$.","The tensor-scalar ratio is enhanced by the factor $(D+2)$, so higher-dimensional uniform inflation generically predicts stronger B-mode signals than four-dimensional inflation at the same slow-roll parameters.","$R^2$ inflation, the best fit in four dimensions, is excluded for every $D\\ge1$ because the $D$-dimensional corrections drive $n_s$ below and $r$ above the Planck window.","In the $b_0 k \\ll 1$ branch the spectral index contains an additional $-D$ term, so scale invariance is destroyed for $D\\ge1$; the viable $D=1$ conclusion rests entirely on the $b_0 k \\gg 1$ branch."],"supporting_citations":[{"why":"It supplies the uniform-inflation proposal that fixes equal scale factors and motivates the dark-dimension size.","marker":"[10]"},{"why":"It provides the five-dimensional perturbation formalism that this paper extends to D+4 and uses as the D=1 cross-check.","marker":"[20]"},{"why":"It provides the Planck 2018 ns-r constraints used to exclude or allow each model.","marker":"[8]"},{"why":"It provides the Planck 2018 values of ns, r, and As quoted throughout.","marker":"[7]"},{"why":"It defines chaotic inflation, whose n=1 case is one of the surviving D=1 models.","marker":"[27]"},{"why":"They define natural inflation, which survives only for D=1 and N*>60.","marker":"[28, 29]"},{"why":"They define hilltop inflation, whose quartic version survives only for D=1 and N*>60.","marker":"[30–32]"},{"why":"It defines the spontaneously broken SUSY potential, which remains excluded.","marker":"[34]"},{"why":"It defines R2 inflation, which is excluded for all D≥1 in this scenario.","marker":"[35]"},{"why":"It provides the higher-dimensional R2 potential derivation used in the model analysis.","marker":"[36]"}],"fun_headline_variants":["Uniform extra dimensions fail Planck 2018 except D=1","Inflation with extra dimensions: only one works","Higher-D uniform inflation excluded, one dimension survives","Planck 2018 kills most uniform extra-dim inflation"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is that the observed CMB modes lie in the $b_0 k \\gg 1$ branch; in the opposite branch $b_0 k \\ll 1$ the spectral index picks up an extra $-D$ term and even $D=1$ would sit far outside the Planck window, but the paper does not prove the pivot scale satisfies $b_0 k \\gg 1$ for every $D$.","fun_headline_variants_meta":{"raw":{"variants":["Uniform extra dimensions fail Planck 2018 except D=1","Inflation with extra dimensions: only one works","Higher-D uniform inflation excluded, one dimension survives","Planck 2018 kills most uniform extra-dim inflation"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000157,"raw_usage":{"total_tokens":1199,"prompt_tokens":897,"completion_tokens":302,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":513,"completion_tokens_details":{"reasoning_tokens":238}},"tokens_in":513,"tokens_out":302,"duration_ms":3617,"temperature":1.0,"reasoning_tokens":238,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-10T15:49:36.164138+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the product $b_0 k_*$ at the Planck pivot scale $k_* = 0.002\\ \\mathrm{Mpc}^{-1}$ for each claimed viable model and $D$, using the paper's own relation between $b_0$, $M_*$, and $N_*$ (Eq. (2.14)). If any viable case has $b_0 k_*$ not much larger than 1, the asymptotic formulas for $n_s$ and $r$ fail and the $D=1$ exception must be re-derived from the full $S_\\nu$ sums.","supporting_citations":[{"cited_title":"Chaotic Inflation,","cited_arxiv_id":null,"evidence_quote":"It defines chaotic inflation, whose n=1 case is one of the surviving D=1 models."},{"cited_title":"$R+\\alpha R^n$ Inflation in higher-dimensional Space-times","cited_arxiv_id":"1702.08311","evidence_quote":"It provides the higher-dimensional R2 potential derivation used in the model analysis."}],"review_version":1}