Pith. sign in

REVIEW 3 major objections 4 minor 33 references

Gauge criticality can spontaneously select four macroscopic spacetime dimensions without assuming 4D from the start.

Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

T0 review · grok-4.5

2026-07-31 02:06 UTC pith:MUDMHE5Y

load-bearing objection Clean proof-of-principle that YM criticality can favor a large fourth radius in a racetrack, but the L4 hierarchy rests on believed 3D DSB and the model never makes all four dimensions dynamical. the 3 major comments →

arxiv 2607.28615 v1 pith:MUDMHE5Y submitted 2026-07-30 hep-ph hep-th

Why 4D? Spontaneous Dimensional Selection from Gauge Criticality

Wen Yin This is my paper
classification hep-ph hep-th
keywords gauge criticalitydimensional selectionradion stabilizationYang-Millsracetracksupersymmetry breakingextra dimensionssupergravity
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper asks why the universe has four large spacetime dimensions and answers that the Yang–Mills coupling itself is the selector: it is relevant below four dimensions, marginal in four, and irrelevant above four. As a proof of principle, the author builds a five-dimensional supersymmetric Yang–Mills racetrack in which both compact radii are dynamical and no noncompact 4D spacetime is put in by hand. Gauge confinement stabilizes one radius in a four-dimensional description, while three-dimensional dynamical supersymmetry breaking makes small values of the other radius costly, so the potential minimum has a large hierarchy between the two radii. The resulting vacuum is four-dimensional AdS that can be uplifted toward Minkowski or de Sitter while preserving that hierarchy. A sympathetic reader cares because the mechanism uses only standard gauge dynamics and supergravity, not anthropic filters or string-gas cosmology, to single out 4D.

Core claim

Within a controlled five-dimensional pure-SYM racetrack that does not assume a noncompact 4D spacetime a priori, four-dimensional spacetime is spontaneously realized: radion stabilization by gauge-criticality-induced gaugino condensation, three-dimensional dynamical supersymmetry breaking, and supergravity yields a 4D AdS vacuum with a large hierarchy L4 ≫ L5, while the decompactified limit approaches zero from above and the three-dimensional DSB branch is positive.

What carries the argument

Gauge criticality of the Yang–Mills coupling, [g_D^{2}] = 4−D, implemented in a two-condensate racetrack superpotential plus matched 3D dynamical SUSY-breaking energy; the machinery stabilizes one radion via 4D gaugino condensation and drives the other large via positive 3D DSB energy.

Load-bearing premise

Two spatial directions are kept noncompact by hand, so the model only chooses which of two compact radii becomes macroscopic rather than selecting 4D from a fully dynamical higher-dimensional geometry.

What would settle it

Compute or lattice-simulate whether 3D N=1 pure SYM at vanishing Chern–Simons level really breaks supersymmetry with positive O(1) vacuum energy; if that energy is absent or negative, the potential no longer disfavors small L4 and the spontaneous L4 ≫ L5 hierarchy disappears.

Watch this falsifier — get emailed when new claim-graph text bears on it.

If this is right

  • An uplifted 4D Minkowski or de Sitter valley with stabilized microscopic radius remains preferred over the positive-energy 3D DSB branch.
  • Once L4 grows past the Hubble scale, the system enters ordinary 4D inflation with the radion or its axionic partner as a possible inflaton.
  • In a broader non-SUSY scenario, only the 4D branch avoids vacuum-energy-driven recollapse among expanding isotropic cosmologies.
  • Gauge-induced contributions can keep one radius macroscopic even when several compact directions are dynamical.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • If the same criticality argument applies without supersymmetry, ordinary pure Yang–Mills confinement alone might bias vacuum selection toward four large dimensions in non-SUSY compactifications.
  • Making the remaining two spatial directions fully dynamical would be the decisive next calculation: fixed-locus tensions could either reinforce or spoil the 4D basin.
  • The mechanism suggests a diagnostic for extra-dimensional models: radii that sit above four effective dimensions should lack gauge-driven stabilization and run away or recollapse.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit.

Referee Report

3 major / 4 minor

Summary. The paper proposes that Yang–Mills criticality—relevant for D<4, marginal at D=4, irrelevant for D>4—can dynamically select four macroscopic spacetime dimensions. As a proof of principle it studies a 5D pure-SYM parent theory on M5=R^{2,1}×I4×I5 with both interval radii dynamical and with orbifold projections arranged so that each effective dimension has minimal SUSY. Matching a 4D racetrack gaugino-condensate branch to a 3D dynamical-SUSY-breaking (DSB) branch, and reducing to a 3D Einstein-frame potential, it finds an AdS minimum with L4≫L5 (sample value L4/L5≃3.47×10^4), while the DSB region is positive and the simultaneous decompactification limit approaches zero. An optional nilpotent uplift is shown to produce a Minkowski valley that still prefers L4≫L5, and a brief Scenario (b) based on signs of vacuum energy across dimensions is sketched.

Significance. A dynamical, QFT-based mechanism for dimensional selection would be a genuine addition to the existing anthropic and cosmological proposals. The concrete matching of 4D condensate versus 3D DSB contributions, the sign structure of the reduced potential, and the explicit numerical minimum are useful as a controlled existence proof inside a standard racetrack-plus-SUGRA framework. Strengths include clear use of holomorphic gauge thresholds, the Kähler-invariant reduction to a 3D real superpotential, and an honest statement that the construction is only a proof of principle. The result remains limited by free racetrack parameters, by the assumption that two spatial directions stay noncompact, and by reliance on unproven 3D nonperturbative physics, so its broader impact hinges on how robustly those ingredients can be relaxed or replaced.

major comments (3)
  1. [Sec. II.A, Eq. (2)] Sec. II.A and the geometry (2): two spatial directions are held noncompact (R^{2,1}) by hand, with the explicit statement that promoting I2,3 to dynamical compact radii is model-dependent because fixed-locus tensions are not fixed by the bulk theory. The demonstrated selection is therefore only L4 versus L5 given three already-macroscopic spacetime dimensions. The abstract and introduction claim spontaneous realization of 4D spacetime “without specifying the 4D”; that wording overstates what is shown. The claim should be restated as selection of one additional large radius on top of a fixed 3D noncompact base, or the construction should be extended (even schematically) to fully dynamical lower-dimensional radii.
  2. [Sec. II.B, Eqs. (22)–(26), footnote 3] Eqs. (22)–(26) and Fig. 2: on the pure confined branch the Einstein-frame potential is V^E_3 ∝ L4^{-2} V_4D with V_4D<0, so it runs to −∞ as L4→0 and only approaches 0 from below as L4→∞; it supplies no critical point that stabilizes large finite L4. The upward turn at small L4 comes entirely from the positive DSB piece ∝ [N_r g_{4,r}^2]^3 L4^{-6}, which exists only if 3D N=1 pure SYM at k_CS=0 breaks SUSY with ξ_{3,r}>0. The paper treats this as “believed” ([14,15]) and footnote 3 notes that DSB is unnecessary for L5 stabilization—yet it is indispensable for the L4 hierarchy that constitutes the claimed 4D realization. Either a controlled alternative positive contribution at small L4 must be supplied, or the central claim must be explicitly conditioned on this unproven nonperturbative assumption and the numerical result labeled accordingly.
  3. [Sec. II.B, Fig. 2] Sec. II.B and the sample point under Fig. 2: the hierarchy L4/L5≃3.47×10^4 is obtained for hand-chosen racetrack data (a/M5,b/M5)=(0.10,0.15), (A,B)/M5^3=(10^{-12},−3×10^{-12}), N_r=2, ξ_{3,r}=1. The text asserts that “order-one racetrack parameters” and “a common hierarchy” suffice, but does not map the basin of attraction in (a,b,A,B,ξ) or show that large L4/L5 is generic rather than tuned. A brief scan or analytic estimate of how L4/L5 scales with (b−a) and A/B is needed before the numerical minimum can be presented as representative of gauge-criticality-driven selection.
minor comments (4)
  1. [Fig. 1] Fig. 1 is schematic and helpful, but the vertical axis “gauge-induced effective energy” is never defined quantitatively; a one-sentence caption linking it to V^E_3 would avoid confusion with the later Einstein-frame plots.
  2. [Sec. II.B, Eq. (27)] Eq. (27): the smooth switches s_r=e^{-L4 Λ_r} are introduced for illustration; the text should state explicitly that first-order threshold jumps (possible for N=2) change only local details, not the controlled asymptotics already used in the vacuum-structure argument.
  3. [Abstract; Sec. II.B heading] Typographical and notation nits: “dimen-sions” line break in the abstract; “F our-dimensional” in the Sec. II.B heading; inconsistent use of M5 vs M_5 and of V_3 vs V^E_3. A short notation paragraph would help.
  4. [Sec. III] Scenario (b) in Sec. III is only a sign argument and sits somewhat apart from the explicit model; either expand it with a minimal non-SUSY sketch or flag it more clearly as an outlook paragraph so it is not read as a second derived result.

Circularity Check

0 steps flagged

No load-bearing circularity: the L4≫L5 vacuum is a dynamical consequence of the matched potential’s sign structure, not a tautology or self-fit; free parameters are openly illustrative.

full rationale

The central claim is a proof-of-principle numerical minimum of a constructed radion potential (racetrack AdS on the 4D confined branch plus positive 3D DSB energy when sectors are matched below L4−1), not a prediction fitted to data or defined into existence. Eqs. (11)–(15) and (22)–(26) give opposite signs on the two branches by standard SUGRA reduction and the assumed sign of dynamical SUSY breaking; the hierarchy L4/L5≃3.47×104 is an output of minimizing that potential for chosen (a,b,A,B,N,ξ), not an input renamed as a result. Parameter choice is explicitly for readability (“the choice of the parameter is for visual of the figure”), which is ordinary model-building, not fitted-input-as-prediction. Load-bearing external citations for 3D DSB ([14,15]) and racetrack stabilization ([8–13]) are not author-overlapping uniqueness theorems. Author self-citations appear only in the discussion (inflation, axion IC, vacuum-energy relaxation) and are not used to force the 4D selection. Keeping R2,1 noncompact is a stated modeling limitation, not a circular step. Score 1 only for the minor, non-load-bearing self-citations in Sec. III; the derivation chain itself is self-contained against its stated assumptions.

Axiom & Free-Parameter Ledger

5 free parameters · 7 axioms · 2 invented entities

The paper’s load-bearing content is a mechanism proposal plus one controlled SUGRA toy model. Almost all quantitative output depends on hand-chosen racetrack and DSB parameters, on standard but unproven 3D SUSY-breaking lore, and on a geometry that already freezes two spatial directions as noncompact. No experimental fits; free parameters are theory knobs chosen to exhibit a hierarchy. Invented structure is mostly symmetry and projection choices, not new particles.

free parameters (5)
  • racetrack exponents a/M5, b/M5 = (0.10, 0.15)
    Set to (0.10, 0.15) for the numerical minimum and Fig. 2; control the confinement scales and hierarchy. Not derived from a UV completion.
  • racetrack prefactors A/M5^3, B/M5^3 = (1e-12, -3e-12)
    Chosen as (1e-12, -3e-12) to produce a visible AdS minimum and large L4/L5; author notes parameter choice is partly for visualization.
  • gauge ranks N_r and DSB coefficients ξ_{3,r} = N=2, ξ=1
    N1=N2=2 and ξ=1 fix the strength of condensation and the positive 3D DSB energy; ξ is only argued to be O(1).
  • 5D gauge coupling / matching scales κ_r, 1/g_{5,r}^2 ~ N_r M5/(24π^3) = natural cutoff estimate
    Naturalness estimate for bulk couplings; sets a_r and the relation between Λ and T. Order-one ambiguities absorbed into Λ_{5,r}.
  • nilpotent uplift scale μ^2 = 7.28e-28 (in M5 units, squared)
    Tuned in Appendix B so the finite-T minimum is Minkowski (|μ^2|^2/M5^6 = 7.28e-28 for the sample point).
axioms (7)
  • domain assumption Yang–Mills coupling dimension [g_D^2]=4−D implies IR-relevant dynamics for D<4, marginal at D=4, irrelevant for D>4, and this criticality can select macroscopic dimensionality.
    Core physical premise of the introduction and abstract; standard power counting, but the leap from operator relevance to spacetime-dimension selection is the paper’s proposal.
  • domain assumption 3D N=1 pure SYM at Chern–Simons level k_CS=0 dynamically breaks supersymmetry with positive vacuum energy density ~ (N g_3^2)^3.
    Invoked in Sec. II.B Case 2 and footnotes via Witten and Gomis–Komargodski–Seiberg; stated as “believed,” not derived in-paper. Supplies the positive energy that pushes L4 large.
  • ad hoc to paper Orbifold projections can be chosen so each effective dimension has minimal SUSY (5D→4D N=1→3D N=1) and T_IR=T5 R acts as 3D time reversal forbidding constant superpotential and nonzero CS level.
    Appendix A and Sec. II.A; needed so the 3D corner is controlled and dangerous superpotential terms are absent.
  • domain assumption Radiative/Casimir radion potentials and higher Kähler corrections are negligible compared with nonperturbative gauge contributions because of bulk SUSY cancellations.
    Sec. II.A–B; justifies focusing on gauge-induced potential alone.
  • ad hoc to paper Two spatial directions may be held noncompact (R^{2,1}) while only I4 and I5 are dynamical, without spoiling the claim of not specifying 4D.
    Explicit modeling choice in Sec. II.A; author acknowledges promoting I2,3 is model-dependent due to fixed-locus operators.
  • standard math Standard 4D N=1 SUGRA scalar potential and its reduction to a 3D real-superpotential form V=G^{AB}∂A P ∂B P−4P^2 correctly capture the Einstein-frame vacuum energy after compactification.
    Eqs. (12), (18)–(22); textbook SUGRA dimensional reduction used throughout.
  • ad hoc to paper Smooth sectorwise switches s_r=e^{−L4 Λ_r} adequately represent the nonperturbative threshold between 4D confinement and 3D DSB for vacuum topology.
    Eq. (27) and Fig. 2; author notes first-order transitions could change local details but claims asymptotics are robust.
invented entities (2)
  • T_IR ≡ T5 R combined time-reversal/R symmetry in the 3D IR no independent evidence
    purpose: Forbid dangerous 3D superpotential terms and nonzero Chern–Simons level so the 3D corner remains controlled and DSB at k_CS=0 is allowed.
    Imposed in Sec. II.A as a property of the parent theory; not independently measured; standard-ish symmetry engineering but specific to this construction.
  • Parent geometry M5=R^{2,1}×I4×I5 with both interval radii dynamical and dual pure SYM racetrack sectors no independent evidence
    purpose: Provide a minimal arena where a 4D Wilsonian window can open or close without assuming noncompact 4D, and where gauge criticality can stabilize radii.
    The whole proof-of-principle lives inside this chosen background; no external evidence that nature realizes this exact orbifold-plus-racetrack setup.

pith-pipeline@v1.2.0-daily-grok45 · 14714 in / 5166 out tokens · 97159 ms · 2026-07-31T02:06:03.589313+00:00 · methodology

0 comments
read the original abstract

Noting that the Yang--Mills coupling is relevant below four dimensions, marginal in four dimensions, and irrelevant above four dimensions, I propose that this criticality can lead to the selection of four macroscopic dimensions. As a proof of principle, I present a concrete racetrack model of the type commonly studied in extra-dimensional scenarios, but without assuming a noncompact 4D spacetime. I find, within a well-controlled model without specifying the 4D, that 4D spacetime is spontaneously realized through radion stabilization via gauge-criticality-induced supersymmetry breaking and supergravity effects.

Figures

Figures reproduced from arXiv: 2607.28615 by Wen Yin.

Figure 1
Figure 1. Figure 1: Schematic dimensional dependence of the gauge [PITH_FULL_IMAGE:figures/full_fig_p001_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: Contours of V3,eff /M3 5 . The star marks the AdS minimum, (L4M5, L5M5) ≃ (9.52 × 105 , 27.47), where V3/M3 5 ≃ −1.63 × 10−46. For L4 · L5 → ∞ the poten￾tial approaches zero. (a/M5, b/M5) = (0.10, 0.15) and (A/M3 5 , B/M3 5 ) = (10−12 , −3 × 10−12). Numerical minimization gives L4/L5 ≃ 3.47×104 at the potential minimum. There￾fore a large hierarchy of the potential is obtained.5 Although I use a smooth tra… view at source ↗
Figure 3
Figure 3. Figure 3: Contours of V3D after the R[X] = 2 nilpotent uplift is tuned to a 4D Minkowski minimum. The racetrack parameters and axes are the same as in [PITH_FULL_IMAGE:figures/full_fig_p006_3.png] view at source ↗

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

33 extracted references · 25 linked inside Pith

  1. [1]

    H. B. Nielsen and S. E. Rugh, in26th International Ahrenshoop Symposium on the Theory of Elementary Particles(1993) pp. 307–337, arXiv:hep-th/9407011

    Pith/arXiv arXiv 1993

  2. [2]

    Tegmark, Class

    M. Tegmark, Class. Quant. Grav.14, L69 (1997), arXiv:gr-qc/9702052

    Pith/arXiv arXiv 1997

  3. [3]

    Eichhorn and M

    A. Eichhorn and M. Schiffer, Phys. Lett. B793, 383 (2019), arXiv:1902.06479 [hep-th]

    Pith/arXiv arXiv 2019

  4. [4]

    R. H. Brandenberger and C. Vafa, Nucl. Phys. B316, 391 (1989)

    1989

  5. [5]

    Greene, D

    B. Greene, D. Kabat, and S. Marnerides, Phys. Rev. D82, 043528 (2010), arXiv:0908.0955 [hep-th]

    Pith/arXiv arXiv 2010

  6. [6]

    Berera, R

    A. Berera, R. V. Buniy, T. W. Kephart, H. P¨ as, and J. G. Rosa, Eur. Phys. J. C77, 682 (2017), arXiv:1508.01458 [hep-ph]

    Pith/arXiv arXiv 2017

  7. [7]

    Nishimura and F

    J. Nishimura and F. Sugino, JHEP05, 001 (2002), arXiv:hep-th/0111102

    Pith/arXiv arXiv 2002

  8. [8]

    N. V. Krasnikov, Phys. Lett. B193, 37 (1987)

    1987

  9. [9]

    Kounnas and M

    C. Kounnas and M. Porrati, Nucl. Phys. B310, 355 (1988)

    1988

  10. [10]

    J. A. Casas, Z. Lalak, C. Munoz, and G. G. Ross, Nucl. Phys. B347, 243 (1990)

    1990

  11. [11]

    de Carlos, J

    B. de Carlos, J. A. Casas, and C. Munoz, Nucl. Phys. B399, 623 (1993), arXiv:hep-th/9204012

    Pith/arXiv arXiv 1993

  12. [12]

    Kachru, R

    S. Kachru, R. Kallosh, A. D. Linde, and S. P. Trivedi, Phys. Rev. D68, 046005 (2003), arXiv:hep- th/0301240

    arXiv 2003

  13. [13]

    Kallosh and A

    R. Kallosh and A. D. Linde, JHEP12, 004 (2004), arXiv:hep-th/0411011

    Pith/arXiv arXiv 2004

  14. [14]

    Witten, , 156 (1999), arXiv:hep-th/9903005

    E. Witten, , 156 (1999), arXiv:hep-th/9903005

    Pith/arXiv arXiv 1999

  15. [15]

    Gomis, Z

    J. Gomis, Z. Komargodski, and N. Seiberg, SciPost Phys.5, 007 (2018), arXiv:1710.03258 [hep-th]

    Pith/arXiv arXiv 2018

  16. [16]

    M. A. Luty and R. Sundrum, Phys. Rev. D62, 035008 (2000), arXiv:hep-th/9910202

    Pith/arXiv arXiv 2000

  17. [17]

    Emelin, F

    M. Emelin, F. Farakos, and G. Tringas, Eur. Phys. J. C81, 456 (2021), arXiv:2103.03282 [hep-th]

    Pith/arXiv arXiv 2021

  18. [18]

    Abe and Y

    H. Abe and Y. Sakamura, Nucl. Phys. B796, 224 (2008), arXiv:0709.3791 [hep-th]

    Pith/arXiv arXiv 2008

  19. [19]

    Brustein, S

    R. Brustein, S. P. de Alwis, and P. Martens, Phys. Rev. D70, 126012 (2004), arXiv:hep-th/0408160

    Pith/arXiv arXiv 2004

  20. [20]

    Barreiro, B

    T. Barreiro, B. de Carlos, E. Copeland, and N. J. Nunes, Phys. Rev. D72, 106004 (2005), arXiv:hep- ph/0506045

    arXiv 2005

  21. [21]

    P. W. Graham, R. Harnik, and S. Rajendran, Phys. Rev. D82, 063524 (2010), arXiv:1003.0236 [hep-th]

    Pith/arXiv arXiv 2010

  22. [22]

    J. J. Blanco-Pillado and M. P. Salem, JCAP07, 007 (2010), arXiv:1003.0663 [hep-th]

    Pith/arXiv arXiv 2010

  23. [23]

    Murase, Y

    K. Murase, Y. Narita, and W. Yin, JCAP10, 109 (2025), arXiv:2504.15272 [hep-ph]

    arXiv 2025

  24. [24]

    Kitano and W

    R. Kitano and W. Yin, JHEP07, 078 (2021), arXiv:2103.08598 [hep-ph]

    Pith/arXiv arXiv 2021

  25. [25]

    Kitano, M

    R. Kitano, M. Suzuki, and W. Yin, JHEP11, 103 (2023), arXiv:2307.15059 [hep-ph]

    Pith/arXiv arXiv 2023

  26. [26]

    Dvali, S

    G. Dvali, S. Fitz, and L. Komisel, (2026), arXiv:2603.28620 [hep-ph]

    arXiv 2026

  27. [27]

    Choi and T

    G. Choi and T. Gherghetta, (2026), arXiv:2607.09969 [hep-ph]

    Pith/arXiv arXiv 2026

  28. [28]

    Takahashi, Prog

    F. Takahashi, Prog. Theor. Phys.121, 711 (2009), arXiv:0804.2478 [hep-ph]

    Pith/arXiv arXiv 2009

  29. [29]

    I. M. Bloch, C. Cs´ aki, M. Geller, and T. Volansky, JHEP12, 191 (2020), arXiv:1912.08840 [hep-ph]

    Pith/arXiv arXiv 2020

  30. [30]

    Takahashi and W

    F. Takahashi and W. Yin, JCAP10, 057 (2021), arXiv:2105.10493 [hep-ph]

    Pith/arXiv arXiv 2021

  31. [31]

    Tito D’Agnolo and D

    R. Tito D’Agnolo and D. Teresi, Phys. Rev. Lett.128, 021803 (2022), arXiv:2106.04591 [hep-ph]

    Pith/arXiv arXiv 2022

  32. [32]

    Yin, Phys

    W. Yin, Phys. Rev. D106, 055014 (2022), arXiv:2108.04246 [hep-ph]

    Pith/arXiv arXiv 2022

  33. [33]

    Yin, JHEP05, 327 (2024), arXiv:2404.06444 [hep- ph]

    W. Yin, JHEP05, 327 (2024), arXiv:2404.06444 [hep- ph]

    Pith/arXiv arXiv 2024