{"id":"ed49badf-3d73-4e20-bad1-4c724e95d4eb","arxiv_id":"2507.21861","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":5,"one_line_summary":"The average metric of a Lorentzian fuzzy-sphere fibre is spherical, and renormalisation freedom can make its size constant, providing a route from quantum gravity to gravity plus Yang-Mills.","lead":"This paper proposes that adding a fuzzy, noncommutative sphere as an extra dimension forces the Kaluza-Klein form of the metric, and that quantum fluctuations of the fibre metric make its average spherical and effectively constant in size. The authors present Lorentzian quantum-gravity calculations on the fuzzy sphere and show that, with chosen regularisation, the observed gravity plus Yang-Mills structure could emerge from quantum gravity effects.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The claimed spherical expectation is a symmetry identity, not a dynamical result; the physical conclusion rests on an unspecified renormalisation freedom for constant h, so the mechanism remains an ansatz.","rationale":"The reader's CONDITIONAL verdict is appropriate. My concern sharpens it: the first half of the strongest claim is a symmetry consequence, while the second half is an ansatz. This does not make the paper wrong, but it means the key physical conclusion is a scenario rather than a derivation. The numerical computations may be internally coherent, and the paper is transparent about the measure choice, numerical noise, and extrapolation; those are not the primary issue. The structural objection is that the spherical expectation is guaranteed by the symmetric setup, so the contact with physics rests entirely on the unquantified renormalisation step and on matching h to data. A fully specified renormalisation scheme would settle whether the claimed 'freedom' is real and local. Because such a scheme is absent, the appropriate verdict remains CONDITIONAL; the paper should not be read as having derived the Kaluza-Klein ansatz. I partially agree with the reader's weakest assumption: the measure/diagonal truncation is closely related, and a full off-diagonal computation would be a useful check, but the more load-bearing gap is the renormalisation-freedom assumption, which the reader also noted as 'proposed rather than derived.'","tokens_in":16480,"tokens_out":8865,"duration_ms":117014,"concrete_test":"Work out one explicit renormalisation scheme for the Section V integrals, e.g. introduce a sliding cutoff μ in addition to ε and L, define the renormalised fibre expectation H(μ)=|⟨λ_i⟩_μ|, and derive its μ-dependence by differentiating log Z with respect to the cutoffs. Then impose the physical matching (14)-(16) at one spacetime point and check whether the renormalisation condition can be chosen so that H(μ) is unchanged at a second point with different background fields ~A, ~g. If the required counterterms depend on the spacetime point, or no finite trajectory for L/ε exists, the constant-h mechanism in Section VII fails. A minimal first step is to state the precise renormalisation condition used in (17) and verify that it is local and compatible with the Yang-Mills term in (3).","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central assertion in Section VII has two parts. The first, ⟨λ1⟩=⟨λ2⟩=⟨λ3⟩, is automatic: for each of the three measures in Section V, the action, the cutoffs, and the measure are invariant under simultaneous permutation of λ1,λ2,λ3, so equality of the diagonal expectations is a symmetry identity rather than a dynamical output of Lorentzian fuzzy-sphere quantum gravity. It therefore cannot distinguish the three measures and does not independently support the claim that the result holds 'with any of the three measures.' The second part, that renormalisation freedom makes h=|⟨λi⟩| constant on spacetime, is the real load-bearing step, but it is not derived. No renormalisation scheme is specified: there is no running scale, no renormalised coupling, no flow equation, and no demonstration that a uniform renormalisation condition can be imposed at every spacetime point while preserving locality and the other terms of action (3). In the matching of Section VI, h is first fixed by the observed electroweak coupling (15) and the cutoffs are then solved for; this is an existence check for a possible renormalisation condition, not a derivation that quantum gravity drives the fibre to constant size. Consequently the classical inconsistency of Section IV is sidestepped by an assumption whose consistency is plausible but untested.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper proposes a mechanism by which Lorentzian quantum gravity on a fuzzy-sphere fibre produces a spherical, constant-size fibre metric, thereby completing a derivation of the Kaluza-Klein ansatz from quantum Riemannian geometry. The authors compute partition functions and expectation values of the metric eigenvalues for three choices of integration measure (naive, Liouville, geometric) after reducing to diagonal metrics, using an Im(G)<0 convergence prescription followed by continuation to real G. They find ⟨λ1⟩=⟨λ2⟩=⟨λ3⟩ in all three cases and argue that renormalization freedom allows the fibre scale h to be chosen constant on spacetime. They then match h to the electroweak Yang-Mills coupling and check consistency with Newton's constant and a cosmological scale, reporting that some scenarios work while one fails, which they present as falsifiability.","tokens_in":16764,"tokens_out":5440,"duration_ms":62039,"significance":"If the mechanism were fully established, it would resolve a long-standing obstruction in Kaluza-Klein theory, namely the incompatibility of a constant spherical fibre with the classical equations of motion, and would give a dynamical reason for the fibre geometry and coupling constants. The paper contains substantial explicit analytic work, including exact integration of several eigenvalue integrals and a consistency check of the spherical expectation across three measures. It also honestly identifies its own caveats, including the extrapolation problem, the complex expectation values, and the absence of a definitive measure. These strengths make the paper a useful proof-of-concept even though, as detailed below, the central derivation is incomplete.","major_comments":[{"comment":"The equality ⟨λ1⟩=⟨λ2⟩=⟨λ3⟩ reported in Section V and summarized in Section VII is a symmetry identity rather than a dynamical output. The action, the three measures, and the integration domains are all invariant under simultaneous permutation of λ1,λ2,λ3; hence the equality holds for any theory with this diagonal reduction and permutation-invariant action. The paper's own statement in Section V that the theory 'should be rotationally invariant and hence ⟨hij⟩=h(x)δij' indicates that the spherical expectation is built in by assumption. The claim in Section VII that 'we have shown ⟨hij⟩∝δij ... with any of the three measures' should be rephrased as a consistency check of the assumed symmetry, not an independent result.","section":"Section V, partition function and Figs. 1-3"},{"comment":"The constancy of h on spacetime is not derived from renormalization properties of the model. Section V proposes that the theories at different spacetime points 'would naturally be regularised and renormalised uniformly, so as to have a constant value of h', but no renormalization scheme is specified: there is no running scale, no flow equation, no renormalized coupling, and no analysis of whether a uniform condition is compatible with the other terms in action (3). The matching in Section VI A solves for the cutoff L from the condition |⟨λi⟩| = h (Eq. (17)), which is an existence check for a possible renormalization condition, not a derivation that quantum gravity forces h to be constant.","section":"Section V, paragraph 'The issue here is...', and Section VI A"},{"comment":"The use of absolute values |⟨λi⟩| for physical matching is an ad hoc prescription that is load-bearing for the numerical conclusions. Equations (17)-(18) and the analogous Liouville-measure results in Section VI C all use |⟨λi⟩| with no physical justification; the paper itself flags in Section VII that 'this question should be looked at further, either to further justify absolute values or to see if a very small imaginary component in the Yang-Mills coupling is of interest.' Since the central quantitative claims depend on this choice, a justification or a sensitivity analysis to the complex phase is needed.","section":"Section VI, first paragraph 'The first wrinkle...' and Section VII"},{"comment":"The small-G extrapolations used for matching are not error-controlled. The fits (10) and (11) are obtained down to machine limitations (g ~ 10^-14 for the naive measure and g ~ 10^-6 for the determinant expectations), but the physical matching requires values of G/L^2 many orders of magnitude smaller, and the final numbers (e.g., L ≈ 200 lp in Eq. (18) or 152 lp in Section VI C) depend on the assumed functional forms. The paper acknowledges the extrapolation in Section VII but does not provide error bars or alternative fits. This undermines the quantitative viability claims, even if the qualitative scenario remains plausible.","section":"Section VI A, Eqs. (10)-(11) and Section VII caveat"}],"minor_comments":[{"comment":"The sign of the logarithmic terms in the approximation for ⟨λ3⟩/L appears inconsistent with the form used in Eq. (17) (G ≈ L^2 e^{-1.28 L/h}); please clarify the sign convention.","section":"Section V A, Eq. (10)"},{"comment":"The text contains a duplicated word: 'we do not treat treat Vf'.","section":"Section VI B"},{"comment":"The reference lists 'S. Majid, S. Majid' as authors; the duplication should be corrected.","section":"Reference [20]"},{"comment":"The symbol g is used for both G/L^2 and G/ε^2, which is confusing; consider using different symbols such as g_L and g_ε.","section":"Sections V A and V B/C"},{"comment":"The abstract and the concluding remarks use 'we propose' and 'we have shown' with inconsistent strength; the language should be aligned with what is actually derived.","section":"Abstract and Section VII"},{"comment":"The long analytic expression contains subscripts such as 'm2 3' and 'm2 2' that appear to be typos for m3 and m2; please check the formulas for consistency.","section":"Section V C, expression for f(λ2,λ3,m2,m3)"}],"recommendation":"major_revision","confidential_remarks":"The paper is a direct continuation of the authors' own line of work and cites it extensively; this is natural for a specialized program but the editor may wish to ensure that the novelty relative to [14,15,20] is clearly delimited. The main concern is the gap between the 'proposal' of a constant h and the claim to have shown it; a careful revision of Sections V and VII that distinguishes assumption from derivation would strengthen the paper considerably."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Colleague,\n\nThe genuinely new piece here is the Lorentzian version of fuzzy-sphere quantum gravity—an imaginary action with three integration measures—and the explicit computation of ⟨hij⟩ and related expectation values. The paper is honest about what is proposal and what is computed, and the matching section actually shows that some scenarios fail, which gives the framework some falsifiable content. If this program is right, it would turn the Kaluza-Klein cylinder ansatz into a consequence of quantum gravity on the fibre, which is a real conceptual step.\n\nThat said, the load-bearing conclusion is weaker than the abstract suggests. The equality ⟨λ1⟩=⟨λ2⟩=⟨λ3⟩ follows from the permutation symmetry of the action, the cutoffs, and the measures; it is a symmetry identity, not a dynamical output. It does not distinguish the three measures and would hold for any symmetric regulator. The real step is the claim that renormalisation freedom allows h=|⟨λi⟩| to be constant on spacetime. No renormalisation scheme is actually specified—no running scale, no flow, no demonstration that the same condition can be imposed at every spacetime point while preserving locality. So the mechanism remains an ansatz, albeit a plausible one.\n\nThe matching in Section VI is also somewhat fragile: it fixes h from the electroweak coupling and then solves for cutoffs, which is an existence check, not a derivation; and it uses absolute values of complex expectation values without a principled justification. The numerical extrapolations are acknowledged to be indicative, but they are not error-controlled. None of this is fatal, because the paper is upfront about these gaps, but it means the central claim should not be read as established.\n\nWho this is for: people working in quantum Riemannian geometry and noncommutative Kaluza-Klein models. It deserves a serious referee—the calculations are explicit and the program is coherent. I would send it out, with the expectation that the referee asks for a more precise statement of what is derived versus assumed, and ideally some analytic control on the small-G extrapolations.","headline":"A careful proposal that the spherical fibre metric can emerge from quantizing the fuzzy sphere, but the constant-size step is assumed rather than derived.","tokens_in":17257,"tokens_out":2116,"would_cite":true,"duration_ms":25908,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["81T75","83E15","81T13"],"pacs":[],"model":"deepseek-v4-flash","headline":"Fuzzy-sphere quantum gravity produces a spherical expected fibre metric and uses renormalisation freedom to fix its size, completing the Kaluza-Klein route to gravity plus Yang-Mills.","keywords":["Kaluza-Klein theory","fuzzy sphere","noncommutative geometry","quantum Riemannian geometry","Lorentzian quantum gravity","Yang-Mills fields","metric renormalisation","cylinder ansatz"],"falsifier":"A concrete check would be to include the off-diagonal components of the symmetric fibre metric in the partition function, or to repeat the calculation with a fourth natural measure on the space of metrics; if the equalities $\\langle\\lambda_1\\rangle=\\langle\\lambda_2\\rangle=\\langle\\lambda_3\\rangle$ fail, or if no choice of cutoffs yields a real, spacetime-constant $h$ matching both Newton's and Yang-Mills couplings, the central claim would be falsified. A more targeted version is to push the hybrid analytic-numerical integrals to the physically required values of $G/L^2$ below $10^{-14}$, where the paper's extrapolations are currently untested.","tokens_in":16240,"feed_emoji":"🌐","tokens_out":15289,"duration_ms":169253,"temperature":0.7,"pith_summary":"The paper is trying to close the gap in Kaluza-Klein theory where the compact extra dimension must have a spherical geometry of constant size, a condition that classical equations of motion cannot supply. It proposes that this condition comes from quantum gravity on the fibre itself. Working with a fuzzy sphere fibre and a Lorentzian action, it finds that the expected value of the metric is spherical, $\\langle h_{ij}\\rangle \\propto \\delta_{ij}$, under each of three integration measures. It then argues that the divergences of the theory leave renormalisation freedom, and that applying the same renormalisation at every spacetime point makes the fibre size constant. If this proposal is right, gravity and Yang-Mills fields would emerge at low energies from one quantum gravitational action on a noncommutative product space.","feed_headline":"Quantum gravity makes the Kaluza-Klein fibre a constant-size sphere","feed_subtitle":"A spherical expected metric on a quantum fibre fills the gap classical Kaluza-Klein theory leaves open.","key_machinery":"The load-bearing object is the expectation $\\langle h_{ij}\\rangle$ computed from the fibre part of the Einstein-Hilbert action, restricted to diagonal metrics $h_{ij}=\\operatorname{diag}(\\lambda_1,\\lambda_2,\\lambda_3)$ under the assumption that observables depend only on the metric's eigenvalues. The fuzzy sphere is the noncommutative coordinate algebra generated by $y_i$ with $[y_i,y_j]=2\\mathrm{i}\\lambda\\epsilon_{ijk}y_k$ and $\\sum_i y_i^2=1-\\lambda^2$, modelling the 2-sphere with a minimal quantum of area. The calculation evaluates the Lorentzian partition function, with the factor of $\\mathrm{i}$ in the exponent, for three measures on the eigenvalue space; the $\\operatorname{Im}(G)<0$ convergence prescription handles intermediate integrals and the result is then read for real $G$. The mechanism works because the regulated expectation values preserve rotational symmetry among the $\\lambda_i$, giving a spherical average, while the divergences supply the renormalisation freedom used to set $h$ constant on spacetime.","core_discovery":"On its own terms, the paper's central claim is that Lorentzian quantum gravity on a fuzzy sphere fibre supplies the last condition that classical Kaluza-Klein theory cannot: the fibre metric has spherical expectation value and can be treated as a constant-size sphere. Section VII states that $\\langle h_{ij}\\rangle \\propto \\delta_{ij}$ holds with any of the three measures used (naive, Liouville, and geometric), and that the freedom in controlling divergences is enough to take $h=|\\lambda_i|$ to be constant. This completes the authors' earlier derivation in which noncommutativity of the fibre forces the Kaluza-Klein cylinder-ansatz form of the metric (all metric components constant on the fibre), leaving only a matrix-valued Liouville field $h_{ij}$ on spacetime. The new step is to quantise that field on the fibre, so that its expectation value fixes the spherical, constant-size geometry needed for standard Yang-Mills plus gravity.","pith_inferences":["Editorial inference: repeating the expectation-value calculation for a classical $\\mathrm{S}^3$ fibre with quantised metric modes would test whether the spherical average depends essentially on noncommutativity or follows from quantising the fibre metric in general.","Editorial inference: the paper matches couplings using absolute values of complex expectation values, so it implicitly predicts that the imaginary part of the effective Yang-Mills coupling is either exactly zero at matched scales or dynamically negligible; computing higher moments of $\\lambda_i$ analytically would test this absolute-value prescription.","Editorial inference: the claim that renormalisation is performed identically at every spacetime point is a choice of renormalisation-group trajectory; a direct extension would be to compute the running of $h(x)$ and show that the constant-sphere configuration is a fixed point rather than an imposed matching condition."],"forward_implications":["The equations-of-motion obstruction to a constant fibre sphere is bypassed, because the fibre metric is quantised rather than varied classically; the unphysical constraint on the Yang-Mills field strength is not part of the quantum prescription.","Gravity and Yang-Mills with spacetime-independent couplings become the low-energy content of a single gravitational action on the product, with no classical metric ansatz imposed by hand.","Matching to the electroweak coupling fixes $\\sqrt{h}=11\\,l_p$ in the base scenario, and the required ultraviolet cutoff on the fibre emerges around $200\\,l_p$ for the naive measure, giving the mechanism a dynamical range of roughly one to two hundred Planck lengths.","The argument transfers to any fibre whose coordinate algebra has trivial centre and whose one-forms have a central basis, so larger noncommutative fibres with $\\mathrm{SU}(3)\\times\\mathrm{SU}(2)\\times\\mathrm{U}(1)$ symmetry are natural candidates for extending the mechanism.","A finite-dimensional noncommutative fibre yields only a finite tower of Kaluza-Klein modes, so matter appears as finite multiplets with computable mass ratios, such as $0:1:\\sqrt{3}$ for a massless real scalar on the reduced fuzzy sphere and $1:5/3:7/3$ for a massless spinor."],"supporting_citations":[{"why":"Derives the cylinder-ansatz decomposition for a fuzzy-sphere fibre and identifies the Liouville field and the matching condition $\\sqrt{h}=11\\,l_p$ that this paper aims to justify.","marker":"[15]"},{"why":"Establishes quantum gravity and Riemannian geometry on the fuzzy sphere in Euclidean signature, supplying the diagonal-metric reduction and expectation-value methods adapted here to Lorentzian signature.","marker":"[13]"},{"why":"Provides the deeper Euclidean fuzzy-sphere study whose measure choices, phase structure, and renormalisation-matching ideas the Lorentzian calculation builds on.","marker":"[20]"},{"why":"Shows with an $M_2(\\mathbb{C})$ fibre that noncommutativity forces the Kaluza-Klein cylinder ansatz, the first step of the overall argument.","marker":"[14]"},{"why":"Stands as the classical Kaluza-Klein reference for the equations of motion and the known inconsistency with a constant fibre metric that the quantum mechanism must bypass.","marker":"[22]"}],"fun_headline_variants":["Quantum gravity on fuzzy sphere fixes Kaluza-Klein fibre size","Fuzzy sphere quantum gravity yields constant-size extra dimension","Noncommutative fibre quantisation gives spherical Kaluza-Klein metric","Constant fibre radius emerges from Lorentzian quantum gravity","How quantum gravity completes Kaluza-Klein: a fuzzy sphere tale"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The argument rests on reducing the metric to its diagonal eigenvalues and on choosing a measure over the space of metrics, because the spherical expectation and the renormalisation freedom could fail if off-diagonal modes matter or if the true measure lies outside the three families considered.","fun_headline_variants_meta":{"raw":{"variants":["Quantum gravity on fuzzy sphere fixes Kaluza-Klein fibre size","Fuzzy sphere quantum gravity yields constant-size extra dimension","Noncommutative fibre quantisation gives spherical Kaluza-Klein metric","Constant fibre radius emerges from Lorentzian quantum gravity","How quantum gravity completes Kaluza-Klein: a fuzzy sphere tale"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.00021,"raw_usage":{"total_tokens":1384,"prompt_tokens":893,"completion_tokens":491,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":509,"completion_tokens_details":{"reasoning_tokens":404}},"tokens_in":509,"tokens_out":491,"duration_ms":5498,"temperature":1.0,"reasoning_tokens":404,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-06T12:17:45.214381+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"A concrete check would be to include the off-diagonal components of the symmetric fibre metric in the partition function, or to repeat the calculation with a fourth natural measure on the space of metrics; if the equalities $\\langle\\lambda_1\\rangle=\\langle\\lambda_2\\rangle=\\langle\\lambda_3\\rangle$ fail, or if no choice of cutoffs yields a real, spacetime-constant $h$ matching both Newton's and Yang-Mills couplings, the central claim would be falsified. A more targeted version is to push the hybrid analytic-numerical integrals to the physically required values of $G/L^2$ below $10^{-14}$, where the paper's extrapolations are currently untested.","supporting_citations":[{"cited_title":"Lira-Torres and S","cited_arxiv_id":null,"evidence_quote":"Derives the cylinder-ansatz decomposition for a fuzzy-sphere fibre and identifies the Liouville field and the matching condition $\\sqrt{h}=11\\,l_p$ that this paper aims to justify."},{"cited_title":"Ghosh, S","cited_arxiv_id":null,"evidence_quote":"Establishes quantum gravity and Riemannian geometry on the fuzzy sphere in Euclidean signature, supplying the diagonal-metric reduction and expectation-value methods adapted here to Lorentzian signature."},{"cited_title":"Note that the large L expansions there correspond to weakG → 0 expansions here, or more precisely expansions of ⟨λi⟩/L and ⟨λiλj⟩/L2 as functions of g for small g","cited_arxiv_id":null,"evidence_quote":"Provides the deeper Euclidean fuzzy-sphere study whose measure choices, phase structure, and renormalisation-matching ideas the Lorentzian calculation builds on."},{"cited_title":"Liu and S","cited_arxiv_id":null,"evidence_quote":"Shows with an $M_2(\\mathbb{C})$ fibre that noncommutativity forces the Kaluza-Klein cylinder ansatz, the first step of the overall argument."},{"cited_title":"Majid, S","cited_arxiv_id":null,"evidence_quote":"Stands as the classical Kaluza-Klein reference for the equations of motion and the known inconsistency with a constant fibre metric that the quantum mechanism must bypass."}],"review_version":1}