{"id":"42db281e-f917-4627-aebe-29bffea94bc6","arxiv_id":"2506.08959","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Cold near-extremal Kerr-de Sitter black holes carry universal log(T) entropy corrections while rotating Nariai geometries do not, as derived from Teukolsky/Heun connection coefficients.","lead":"This paper computes quantum one-loop corrections to the entropy of near-extremal Kerr black holes in a universe with a cosmological constant. It finds a universal logarithmic temperature correction in the cold limit, but not when the black hole horizon approaches the cosmological horizon.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Rotating Nariai no-log conclusion is only checked at leading small-aBH; at finite rotation the Gamma argument (4.23) could reach a pole, so the confluent-vs-superposition distinction is not yet established.","rationale":"The reader's weakest_assumption identifies exactly the same load-bearing gap: the rotating Nariai no-log conclusion rests on the leading-order small-aBH expression (4.23) avoiding Gamma-function poles, together with the unproved statement in Section 4.2 that small aBH is non-restrictive. I agree with that assessment. The central claim has two halves: the cold/ultracold branch produces log(T) corrections, and the rotating Nariai branch does not. The positive half is supported by the pole mechanism in the confluent limit and by the Schwarzschild-de Sitter check via the DHS formula, which is a useful independent anchor. The negative half, however, is essential for the advertised 'distinctive feature' of confluent versus superposition limits, and it is only verified in a truncated expansion. A finite-rotation numerical scan using the exact hypergeometric reduction (4.28)-(4.30) would settle the question directly. Because this is a gap in the proof rather than a demonstrated contradiction, the appropriate verdict remains CONDITIONAL, matching the reader's recommendation. No change to the verdict is needed.","tokens_in":24190,"tokens_out":27256,"duration_ms":277803,"concrete_test":"Perform a numerical scan along the rotating-Nariai curve of Figure 2 at finite aBH, e.g. aBH*sqrt(Lambda) in {0, 0.2, 0.4, 0.6, 0.8, 0.99}. For each point, compute the exact angular eigenvalue sA_lm from (2.8) for l = s..10, |m| <= l, s = 1,2, and use the hypergeometric limit (4.28)-(4.30) to evaluate the Gamma-function arguments entering the connection formula (6.2) at the Matsubara frequencies (4.13), with the rescaled frequency kept fixed as T -> 0. Check whether the zero-temperature limit of any argument equals a nonpositive integer. If it does for some allowed (aBH, l, m, s, k), the rotating Nariai branch also contributes a log T correction and the claimed distinction fails; if it never does, the no-log conclusion is robust beyond the small-aBH approximation.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The paper's central dichotomy is that log(T) corrections are produced by the confluent (cold/ultracold) limit but not by the superposition (rotating Nariai) limit. The no-log side is justified in Section 4.2 by evaluating the Gamma-function argument at Matsubara frequencies only to leading order in the small-aBH expansion: Eq. (4.23) gives 1/2 + k + s - 1/2 sqrt((8s^2-5)/3 - 4l(l+1)), which is complex for all allowed l,s and therefore cannot hit a real Gamma pole. The text then asserts 'We expect the small aBH assumption to be non-restrictive for the analysis', but no argument is supplied that at finite rotation the exact argument, which receives higher-order corrections and depends on the full angular eigenvalue from (2.8), cannot cross a real nonpositive integer. Because the no-log claim for rotating Nariai is the negative half of the paper's central 'distinctive feature' thesis, this unproved extrapolation is load-bearing. The SdS check in Section 5 supports the static case but does not cover rotation. The exact first-order-in-(R+-Rh) hypergeometric reduction (4.28)-(4.30) is available and would settle the issue without the small-aBH assumption.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"This paper computes one-loop corrections to the Euclidean gravitational path integral of near-extremal Kerr-de Sitter black holes by expressing the radial Teukolsky equation as a Heun equation and using connection coefficients obtained from Nekrasov-Shatashvili free energies. The authors analyze three near-extremal regimes: the cold limit (Ri ~ Rh), the rotating Nariai limit (R+ ~ Rh), and the near-ultracold limit. They argue that the cold and ultracold limits are described by confluent limits of the Heun equation and give rise to temperature-dependent one-loop determinants, while the rotating Nariai limit is a superposition limit described by a hypergeometric equation with no such temperature scaling. The Schwarzschild-de Sitter limit is used as a check, reproducing the Cardoso-Lemos quasinormal frequencies and agreeing with the Denef-Hartnoll-Sachdev determinant formula.","tokens_in":24464,"tokens_out":10425,"duration_ms":130078,"significance":"If correct, the paper would provide a concrete ODE-level mechanism for the appearance or absence of temperature corrections in the one-loop thermodynamics of four-dimensional Kerr-dS black holes, and would sharpen the distinction between the cold/ultracold and rotating Nariai limits. The use of exact Heun connection formulae, the explicit confluence diagram, and the independent Schwarzschild-dS checks against both QNM data and the DHS formula are genuine strengths. The main new physical claim, namely universality of the cold-limit scaling and its absence in the rotating Nariai limit, is plausible and worth establishing rigorously. The derivation is not fully self-contained, since the central connection formula (4.7) is imported from [12], but this is acceptable for a hep-th journal.","major_comments":[{"comment":"The advertised \"log(T) corrections to the entropy\" are not what is actually computed. The product evaluation in Eqs. (4.18)-(4.19) yields a one-loop partition function, or its logarithm, scaling as T_h^{3/2} for gravitational perturbations and T_h^{1/2} for electromagnetic perturbations. This is a power-law temperature dependence, not a logarithmic correction. If \"log(T)\" is intended to mean the logarithm of the partition function, the abstract and introduction must be rewritten to say so; if a log T entropy term is intended, the missing step connecting the T^{3/2}/T^{1/2} scaling to S ~ log T must be supplied. As written, the central claim of the paper is not supported by the displayed calculation.","section":"Abstract and Section 4.1, Eqs. (4.18)-(4.19)"},{"comment":"The no-logarithm conclusion for the rotating Nariai limit is checked only at leading order in the small-aBH expansion. Equation (4.23) is evaluated with the leading-order separation constant, but at finite rotation the argument of the Gamma function receives corrections from the full angular eigenvalue coming from Eq. (2.8) and from higher orders in aBH. No argument is given to exclude the possibility that this exact argument crosses a nonpositive integer for some finite rotation. The statement in footnote 6 that the small-aBH assumption is non-restrictive is an assertion rather than a proof. Since the absence of log T in the rotating Nariai sector is the negative half of the paper's central dichotomy, this point is load-bearing and should be settled, for example by using the exact hypergeometric reduction in Eqs. (4.28)-(4.30) to evaluate the relevant Gamma argument at finite aBH.","section":"Section 4.2, Eq. (4.23) and footnote 6"},{"comment":"The cold-limit scaling is derived only for m = 0 modes. The text states that temperature-dependent contributions arise only when m = 0, but the product in Eq. (4.18) does not include a sum over m, and no bound or convergence argument is given for the non-axisymmetric modes. If m ≠ 0 modes contribute temperature-dependent factors, the claimed T^{3/2}/T^{1/2} scaling and its universality could be modified. The manuscript should either prove that the m ≠ 0 contribution is subleading and summable, or explicitly restrict the claim to the axisymmetric sector.","section":"Section 4.1, Eqs. (4.13)-(4.18)"},{"comment":"The near-ultracold section identifies the limiting confluent hypergeometric equation in Eq. (6.6) and states that the temperature scaling follows the same mechanism as in Section 4.1, but it does not perform the analogue of the Gamma-function product computation in Eqs. (4.18)-(4.19). Since the abstract explicitly includes the ultracold regime in the log(T) claim, an explicit derivation of the temperature scaling in this regime is needed rather than an appeal to analogy.","section":"Section 6"}],"minor_comments":[{"comment":"There is a typo: \"ackowledge\" should be \"acknowledge\".","section":"Acknowledgments"},{"comment":"The notation O((R+ - Rh)^0) is confusing; it should be written as O(1) or explained explicitly.","section":"Section 5.1, Eq. (5.9)"},{"comment":"The symbol \"a\" is overloaded: it denotes the rotation parameter aBH, the composite monodromy parameter a, and the indicial parameters a0, at, a1, a∞. A notation table or a renaming of the composite monodromy parameter would improve readability.","section":"General notation"},{"comment":"The manipulation of the infinite product involves a reordering of divergent sums and products without a stated regularization scheme. A brief comment on how this is defined would be helpful, even if the manipulation is standard in this literature.","section":"Eq. (4.18)"}],"recommendation":"major_revision","confidential_remarks":"The paper is a direct extension of the authors' earlier work [13] and [25], and the main connection formula is imported from [12]. The novelty is therefore incremental, but the proposed cold-versus-Nariai distinction is interesting and within the scope of the journal. The main issues are the mismatch between the advertised log(T) entropy claim and the derived power-law scaling, and the unproved extrapolation of the rotating Nariai no-log claim beyond leading order in small rotation. Both are fixable in a revision, so I recommend major revision rather than rejection."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Punchline: the paper extends the authors' flat Kerr computation to Kerr-(A)dS and makes a sharp physical claim—cold near-extremal Kerr-dS produces log(T) entropy corrections, rotating Nariai does not—and ties the difference to distinct limits of the Heun equation. The cold-side argument is the genuine advance. Evaluating the Gamma-function argument at Matsubara frequencies, they show the log(T) scaling comes from the m=0 sector and find T^{3/2} (spin-2) and T^{1/2} (spin-1) scalings of the one-loop determinant. The Schwarzschild-dS check is solid: QNM frequencies match Cardoso-Lemos and the DHS formula gives the same no-log conclusion for the static case.\n\nThe soft spot is the rotating Nariai no-log claim. It is checked only at leading order in small a_BH, where the Gamma argument (4.23) is complex for all allowed l and s, so no pole can be hit. The text says the small-a_BH assumption is expected to be non-restrictive, but no proof is given. At finite rotation, higher-order corrections could shift the argument onto a real nonpositive integer, which would produce a log correction. The paper already contains the exact leading-order hypergeometric reduction (4.28)-(4.30); checking the argument there at Matsubara frequencies would settle this. Leaving it open is a real gap, and it happens to be on the negative half of the central thesis. The cold-limit result itself looks sound.\n\nMinor issues: the ultracold section is more sketchy than the cold one, and the advertised log(T) coefficient is not explicitly separated from the scaling exponents. The paper leans on the same group's earlier connection formula [12]; that is published and refereed, but a referee should verify the input rather than take it on faith.\n\nThis is a serious paper for the near-extremal quantum gravity crowd—people working on Schwarzian reductions, Euclidean path integrals, and log(T) corrections. It deserves peer review. I would send it out and use the referee process to force the Nariai gap closed, or at least to make the leading-order caveat explicit.","headline":"Cold Kerr-dS log(T) corrections are convincingly derived; the rotating-Nariai no-log claim needs one more argument.","tokens_in":25002,"tokens_out":4524,"would_cite":true,"duration_ms":51415,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"deepseek-v4-flash","headline":"Near-extremal Kerr-de Sitter black holes acquire universal log-temperature corrections to their one-loop entropy in the cold limit, but not in the rotating Nariai limit, a split the paper traces to whether the radial Teukolsky equation…","keywords":["black hole thermodynamics","one-loop effective action","logarithmic temperature corrections","near-extremal black holes","Kerr-de Sitter geometry","Heun equation","Teukolsky equation","Nekrasov-Shatashvili free energy"],"falsifier":"Compute the Gamma-function argument (4.23) in the rotating Nariai connection coefficient at finite rotation or at next order in the small-$a_{BH}$ expansion: if any admissible $(\\ell,k,s)$ yields a non-positive integer, the argument would hit a pole and produce a temperature-dependent correction, contradicting the no-log claim. A direct numerical evaluation of the one-loop determinant for a moderate-rotation near-Nariai Kerr-de Sitter black hole at small nonzero temperature would settle the question.","tokens_in":23978,"feed_emoji":"🕳️","tokens_out":9225,"duration_ms":90436,"temperature":0.7,"pith_summary":"The paper computes one-loop corrections to the Euclidean gravitational path integral for near-extremal Kerr black holes in (anti-)de Sitter space, using connection coefficients of the Heun equation that governs the linear perturbations. It argues that the kind of quantum correction depends on which near-extremal limit is taken: the cold limit, where inner and outer horizons approach each other, produces universal logarithmic corrections in the temperature, $\\log(T)$, to the entropy, while the rotating Nariai limit, where the event horizon approaches the cosmological one, does not. The difference is visible in the differential equation itself: the cold limit is a confluence of singularities yielding a confluent Heun equation, whereas the Nariai limit is a superposition yielding a hypergeometric equation. The ultracold regime, at the intersection of the two extremal curves, also shows $\\log(T)$ behavior. A Schwarzschild-de Sitter check using the Denef-Hartnoll-Sachdev formula confirms the absence of $\\log(T)$ in the non-rotating near-Nariai case.","feed_headline":"Near-extremal Kerr-dS gets log-T entropy corrections only when cold","feed_subtitle":"Which near-extremal limit you take decides whether one-loop gravity logs show up in the entropy.","key_machinery":"The central object is the Heun equation and the connection formulae for its solutions, expressed through the Nekrasov-Shatashvili free energy of an $N=2$, $SU(2)$ gauge theory with four hypermultiplets. The argument runs through the boundary-condition-selected local solutions of the radial Teukolsky equation, which in Kerr-de Sitter has four regular singularities corresponding to the inner, event, cosmological, and an unphysical horizon. The load-bearing distinction is between two ways the Heun equation degenerates: confluence, in which two regular singularities merge into an irregular singularity and a Gamma function decouples from the connection problem, and superposition, in which the equation reduces to a hypergeometric one with no Gamma decoupling. Evaluating the Gamma-function arguments at Matsubara frequencies, the cold limit produces arguments that become non-positive integers and therefore poles, generating the temperature scaling; the rotating Nariai limit produces arguments with a nonzero imaginary part for physical angular momenta, so no pole is hit. The Matone relation fixes the accessory parameter and completes the dictionary.","core_discovery":"The paper's central claim is that the presence of $\\log(T)$ corrections in the one-loop entropy of near-extremal Kerr-de Sitter black holes is a distinctive feature of the confluent limit of the radial Teukolsky equation, describing cold near-extremal geometries, and that this correction is universal in the sense that it depends only on the approaching inner and outer horizons, independently of the structure of the asymptotic geometry. In the rotating Nariai geometry, where the event horizon superimposes onto the cosmological horizon, the same connection-coefficient computation produces no $\\log(T)$ scaling of the one-loop effective action; the reduction to a hypergeometric equation involves no decoupling of a Gamma function. The cold-limit mechanism requires axisymmetric ($m=0$) perturbation modes, whose Gamma-function arguments hit poles at Matsubara frequencies and yield a $T^{3/2}$ scaling for gravitational perturbations and $T^{1/2}$ for electromagnetic ones. The ultracold geometry, obtained near the intersection of the cold and Nariai extremal curves, displays $\\log(T)$ corrections as well, through a double rescaling that again decouples a Gamma function. In Schwarzschild-de Sitter, both odd- and even-parity perturbations confirm the absence of $\\log(T)$ in the near-Nariai limit, matching the Denef-Hartnoll-Sachdev formula.","pith_inferences":["The paper's no-log conclusion for rotating Nariai rests on the leading-order small-rotation expansion; a natural test is to push the Gamma-function argument (4.23) to higher order in $a_{BH}$ or to finite rotation and check whether any physical $(\\ell,k,s)$ reaches a pole.","The confluence-versus-superposition criterion suggests a broader universality: any near-extremal black hole whose radial perturbation equation degenerates by confluence (two horizons coalescing into an irregular singularity) should display $\\log(T)$ corrections regardless of the far-away spacetime, so analogous results may hold for Reissner-Nordstrom-dS and Myers-Perry geometries.","The light modes identified here in the full four-dimensional geometry are expected to match the near-horizon Schwarzian modes; a direct map between the Teukolsky-derived modes and the Schwarzian boundary theory would confirm the reduction conjectured in the near-horizon literature.","One could probe the prediction indirectly through precision studies of near-extremal black hole ringdown or accretion spectra, although the one-loop temperature-dependent corrections are likely too small for current observations."],"forward_implications":["The cold near-extremal Kerr-dS one-loop gravitational partition function scales as $T^{3/2}$ and the electromagnetic one as $T^{1/2}$, implying $\\log(T)$ corrections to the entropy that persist into the ultracold regime.","The rotating Nariai geometry, and the non-rotating Schwarzschild-de Sitter near-Nariai limit, show no leading-order temperature scaling of the one-loop action, so no such logarithms appear there.","Because the cold-limit mechanism depends only on the two merging horizons, the same $\\log(T)$ conclusion extends to the cold near-extremal limit of Kerr-AdS4, where it is the only extremal geometry.","The distinct limiting differential equations (confluent Heun vs. hypergeometric) provide a direct ODE-level diagnostic for whether a near-extremal regime will exhibit logarithmic corrections.","The agreement with the Denef-Hartnoll-Sachdev formula in Schwarzschild-de Sitter supports the use of quasinormal-mode data to compute one-loop determinants in static backgrounds."],"supporting_citations":[{"why":"Introduces the Teukolsky formalism and the separable master equations for black hole perturbations that the paper uses to write the radial and angular problems.","marker":"[2]"},{"why":"Supplies the connection formulae for Heun functions in terms of irregular Virasoro conformal blocks and NS free energies, the core tool for the quasinormal-mode quantization and Gamma-function analysis.","marker":"[12]"},{"why":"The authors' earlier computation of one-loop effective actions in Kerr-(A)dS, establishing the framework of evaluating determinants through Heun connection coefficients that this paper extends to near-extremal regimes.","marker":"[13]"},{"why":"The flat-spacetime analogue (near-extremal Kerr) where the same log-$T$ mechanism was found; this paper extends it to (A)dS and contrasts it with Nariai.","marker":"[25]"},{"why":"The Denef-Hartnoll-Sachdev formula used as an independent check that quasinormal-mode data determine the one-loop determinant in the static Schwarzschild-de Sitter case.","marker":"[38]"},{"why":"Identifies that both radial and angular Kerr-dS perturbation equations are Heun equations, the starting point of the ODE dictionary.","marker":"[51]"},{"why":"Provides the Romans phase diagram of Kerr-dS extremal geometries (cold, Nariai, ultracold) that organizes the distinct near-extremal limits.","marker":"[26]"}],"fun_headline_variants":["Cold Kerr-dS black holes get universal log-T entropy","Log-T entropy corrections: cold near-extremal only","Universal log-T logs in cold Kerr-dS not Nariai","Why log-T entropy appears only in cold near-extremal","Cold limit picks log-T entropy; Nariai gets none"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The conclusions rest on two load-bearing premises: that the small-rotation expansion in the rotating Nariai case never hits a Gamma-function pole (so the small-$a_{BH}$ assumption is non-restrictive), and that the cold-limit $\\log(T)$ behavior is dominated by axisymmetric $m=0$ modes with non-axisymmetric modes subleading.","fun_headline_variants_meta":{"raw":{"variants":["Cold Kerr-dS black holes get universal log-T entropy","Log-T entropy corrections: cold near-extremal only","Universal log-T logs in cold Kerr-dS not Nariai","Why log-T entropy appears only in cold near-extremal","Cold limit picks log-T entropy; Nariai gets none"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000513,"raw_usage":{"total_tokens":2517,"prompt_tokens":992,"completion_tokens":1525,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":608,"completion_tokens_details":{"reasoning_tokens":1440}},"tokens_in":608,"tokens_out":1525,"duration_ms":13468,"temperature":1.0,"reasoning_tokens":1440,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-07T04:57:59.802951+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the Gamma-function argument (4.23) in the rotating Nariai connection coefficient at finite rotation or at next order in the small-$a_{BH}$ expansion: if any admissible $(\\ell,k,s)$ yields a non-positive integer, the argument would hit a pole and produce a temperature-dependent correction, contradicting the no-log claim. A direct numerical evaluation of the one-loop determinant for a moderate-rotation near-Nariai Kerr-de Sitter black hole at small nonzero temperature would settle the question.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Introduces the Teukolsky formalism and the separable master equations for black hole perturbations that the paper uses to write the radial and angular problems."}],"review_version":1}