{"id":"ae236e6f-47dd-48d1-accd-c4881b719631","arxiv_id":"2501.05036","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":5,"one_line_summary":"In an AdS/BCFT model with a brane-localized scalar, the authors derive a real-conformal-dimension constraint for dS/CFT, a time-like g-theorem, and a classification of constant-potential brane cosmologies including big-bang-like solutions.","lead":"This paper studies time-dependent 'end-of-the-world' branes in a 3D anti-de Sitter space with a scalar field on the brane, and finds solutions that look like a miniature universe expanding from a big bang. It also derives a holographic constraint on de Sitter/CFT conformal dimensions and a monotonicity theorem analogous to the g-theorem for space-like boundaries.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Higher-dimensional dS/CFT bound is derived in a probe limit; paper presents it as a general AdS/CFT result without the needed backreaction caveat.","rationale":"The reader's weakest_assumption exactly matches the most load-bearing concern: the d>2 derivation of the dS/CFT mass bound is done in the probe limit, while the conclusions present the bound as a general result. My stress-test pass confirms that the d=2 results (time-like g-theorem, constant-potential classification, exact solutions) are internally consistent and backed by explicit equations. The main issue is not mathematical inconsistency within the paper, but a mismatch between the scope of the derivation and the strength of the claim made in the abstract and Conclusions. This is a conditional rather than a rejection-level problem: the paper should either explicitly restrict the headline bound to d=2, or justify why backreaction does not affect the bound in higher d. The proposed concrete test is feasible: check a solvable backreacted higher-dimensional model, or at minimum add a clear caveat that Section 2.5 is a probe-limit analysis. Since the paper itself flags the backreaction limitation at the start of Section 2.5, and since the reader's concern is consistent with this textual evidence, I agree with the reader's conditional verdict.","tokens_in":31902,"tokens_out":1617,"duration_ms":14435,"concrete_test":"Derive the constraint for d=3 (AdS_4/BCFT_3) in a controlled backreacted model rather than a probe brane. For example, solve the full Einstein-scalar junction conditions for an EOW brane with a localized scalar in an AdS_4 or Vaidya-AdS_4 background, or use the known analytical Kasner/AdS-brane solutions to compute the effective dS radius and scalar mass from the induced metric. If the bound M^2 R_dS^2 <= (d-1)^2/4 changes or becomes an inequality with different constants in any solvable backreacted example, then the headline claim needs a caveat. If the bound survives in a nontrivial backreacted setting, the concern is resolved.","verdict_should_be":"CONDITIONAL","load_bearing_attack":"The paper's headline constraint in dS/CFT, M^2 R_dS^2 <= (d-1)^2/4 with real conformal dimensions, is stated in the abstract and Conclusions as a general consequence of standard AdS_{d+1}/CFT_d requirements. In d=2, the model treats the brane as a boundary in pure AdS_3, and the claim is solid because backreaction is exactly manageable: all vacuum solutions of 3D gravity are locally AdS, as the paper notes in Section 2. However, for d>2, Section 2.5 derives the same bound by imposing the Neumann boundary condition on a fixed Poincare AdS_{d+1} background, treating the EOW brane as a test hypersurface. The paper itself states in Section 2.5 that 'due to the back-reaction of the EOW brane, we cannot analytically find gravity solutions in general.' In a fully back-reacted brane-world setup, especially for type II (dS branes), the bulk geometry is no longer pure AdS and the brane's gravitational backreaction can alter the junction conditions and the effective dS radius, the scalar mass, and the validity of the derived bound. Without checking whether backreaction corrections modify the constraint, presenting the d>2 result as a general theorem is a real gap. This is exactly a limitation flagged by the paper itself, and the abstract/conclusions do not carry the caveat.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies time-dependent end-of-the-world (EOW) branes in AdS with a brane-localized scalar field, focusing mainly on AdS_3/BCFT_2 but also giving a higher-dimensional extension. It derives perturbative dS-brane solutions, reads off a scalar mass and a conformal-dimension bound from the brane potential, and interprets the result as a constraint on dS/CFT spectra. It then proves a time-like analog of the g-theorem using the null energy condition and holographic entanglement entropy, derives an effective Liouville-gravity description for slowly varying branes, rewrites the brane equation of motion as a Friedmann-like equation, classifies constant-potential brane solutions (including big-bang-like universes), and constructs boost-symmetric branes by analytic continuation of Euclidean solutions.","tokens_in":32201,"tokens_out":9290,"duration_ms":91134,"significance":"The AdS_3 analysis is a genuine strength: since all vacuum solutions of three-dimensional gravity are locally AdS_3, the backreaction of the EOW brane is handled exactly, and the derivations of the dS_2/CFT_1 mass bound, the time-like g-theorem, and the constant-potential classification are internally consistent. The classification in Section 5.5 is supported by exact elliptic-integral solutions in Appendix B, and the explicit analytic examples in Sections 2.3 and 2.4 are useful checks. If the higher-dimensional claim is appropriately qualified, the paper provides an interesting toy model connecting AdS/BCFT, dS/CFT, and brane cosmology. The main advertised result, however, is the general dS_d/CFT_{d-1} bound M^2 R_dS^2 <= (d-1)^2/4, and that result is derived in a probe limit for d>2 without controlling backreaction; this is a load-bearing gap that must be addressed before the headline claim can be accepted.","major_comments":[{"comment":"The bound in Eq. (2.65), M^2 R_dS^2 <= (d-1)^2/4, is obtained by imposing the Neumann condition (2.3) on a fixed Poincar\\'e AdS_{d+1} background with a prescribed profile z=Z(t); this treats the EOW brane as a probe and ignores its backreaction on the bulk geometry. The paper itself states in Section 2.5 that 'due to the back-reaction of the EOW brane, we cannot analytically find gravity solutions in general.' For d>2, a backreacted brane-world solution has a bulk geometry that is not pure AdS, the junction conditions are modified, and the effective dS radius, the scalar mass, and the resulting bound can receive corrections. Since the abstract and Conclusions present M^2 R_dS^2 <= (d-1)^2/4 and real conformal dimensions as consequences of standard AdS_{d+1}/CFT_d requirements, the claim should be restricted to d=2 or accompanied by a backreacted construction or a general argument showing that the probe result survives backreaction.","section":"Section 2.5"},{"comment":"The deduction that conformal dimensions are real relies on the assumed real exponent p in the asymptotic profile (2.24). The mass in (2.30) and the final dimension in (2.31) are both expressed through the same p, so the argument shows that a profile with a real power p and NEC gives real Delta; it does not by itself exclude all NEC-satisfying profiles with complex p. The discussion around Eq. (2.32) for p=2+i\\gamma should be expanded into a systematic indicial-equation analysis of the perturbation around the dS hyperplane, stating why the conjugate-pair ansatz is exhaustive and why \\ddot Z changes sign for all \\gamma. Without this, the statement that NEC forces real conformal dimensions is not fully established.","section":"Section 2.2"}],"minor_comments":[{"comment":"The abstract contains 'we mainly studied' where 'we study' is intended, and Section 1 refers to 'ordinal cosmology' where 'ordinary cosmology' is meant.","section":"Abstract"},{"comment":"The geometric argument that the time-like segment L(P_3P_3') has length \\pi for any brane configuration is only sketched; please provide the explicit isometry or calculation that straightens the curved segment without changing its length.","section":"Section 3.2"},{"comment":"There are several wording issues in Section 6: 'arbitral function' should be 'arbitrary function', and 'reside in region' should be 'resides in region'.","section":"Section 6"},{"comment":"The displayed equation in (5.15) would be easier to follow with an explicit multiplication symbol between the factors (-\\epsilon)(\\varepsilon-\\epsilon) and (-\\epsilon)(p+\\epsilon), since the current line omits the product and the algebra is non-trivial.","section":"Section 5.1"},{"comment":"The sentence 'We also construct fully back-reacted solutions, with various scalar field profiles' is accurate for d=3 but not for the higher-dimensional probe solutions of Section 2.5; please add a qualifying statement.","section":"Section 7"}],"recommendation":"major_revision","confidential_remarks":"The manuscript is within the scope of JHEP and contains several solid analytic results in AdS_3. The main obstacle is the overstatement of the higher-dimensional dS/CFT bound: Section 2.5 is a probe calculation, while the abstract and conclusions present it as a general AdS/CFT consequence. If the authors restrict the headline claim to d=2 and explicitly label the d>2 result as a probe-limit expectation (or supply a backreaction argument), I would be willing to accept the revised version. The second major comment on the exhaustiveness of the complex-p exclusion should also be addressed, but it is more local and can be fixed with a short asymptotic analysis."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Worth a serious referee. The AdS3 core is the real value. In three dimensions every vacuum solution is locally AdS, so the brane backreaction is exactly manageable, and the paper exploits that cleanly. The genuinely new results are the NEC-based bound M^2 R_dS^2 <= 1/4 on the perturbative scalar mass in the dS-brane model, the holographic monotonicity for the time-like g-function in both type I and type II setups, and the Friedmann-like rewriting with the constant-potential classification, including big-bang and bouncing solutions. The exact elliptic-integral solutions in Appendix B are reproducible, and the classification in Fig.10 is informative. The action is taken from the authors' earlier work and cited properly; the self-citation is fair. I would cite this paper for the AdS3 constant-potential classification alone.\n\nThe main soft spot is the higher-dimensional claim. Section 2.5 derives the bound M^2 R_dS^2 <= (d-1)^2/4 by placing an EOW brane on a fixed Poincare AdS_{d+1} background, and the paper itself says backreaction prevents analytic solutions in general. Yet the abstract and Conclusions present the bound as a general consequence of standard AdS_{d+1}/CFT_d requirements, with no caveat. That is a real mismatch. In d=2 the constraint is derived for this class of brane profiles; in d>2 it is a probe-limit result, and backreaction could modify the junction conditions, the effective dS radius, and the scalar mass. The fix is easy: state the probe-limit scope wherever the bound is advertised.\n\nTwo smaller points. The phrase \"time-like g-theorem\" is stronger than what is shown: the derivation is a holographic monotonicity result within this brane model, not a general field-theoretic theorem. And the big-bang solutions in Section 5.4 are asymptotic constructions near R=0; the global statements come from the constant-potential classification, which is the more solid part. Neither of these flaws touches the AdS3 results.\n\nNet: the core is sound, the d>2 presentation needs an honest caveat, and the paper deserves peer review after a revision that recalibrates the claims. I would bring it to a reading group on holographic cosmology.","headline":"A genuinely useful AdS3/BCFT cosmology paper whose new dS/CFT bound is solid in d=2 but oversold in higher dimensions because the d>2 derivation is a probe-limit result.","tokens_in":32795,"tokens_out":1919,"would_cite":true,"duration_ms":22629,"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":"An end-of-the-world brane in AdS with a localized scalar places a holographic mass bound on de Sitter scalars.","keywords":["end-of-the-world brane","AdS/BCFT","dS/CFT","null energy condition","time-like g-theorem","brane cosmology","Liouville gravity","big-bang universe"],"falsifier":"Construct a fully back-reacted solution in AdS$_{d+1}$ with $d>2$, an EOW brane and localized scalar, satisfying the Neumann boundary condition and the null energy condition, whose dS$_d$ brane has $M^2R_{\\mathrm{dS}}^2>(d-1)^2/4$; existence of such a solution would falsify the claimed dS/CFT mass bound.","tokens_in":31633,"feed_emoji":"🌌","tokens_out":8991,"duration_ms":78766,"temperature":0.7,"pith_summary":"This paper tries to establish that a solvable class of time-dependent end-of-the-world (EOW) branes in AdS, with a scalar field living on the brane, gives a concrete holographic window into de Sitter space and into a solvable mini-cosmology. The central result is a spectral constraint: if the null energy condition holds in the AdS/CFT embedding, then scalar fields on the dS$_d$ brane have masses bounded by $M^2 R_{\\mathrm{dS}}^2 \\le (d-1)^2/4$, so the dual conformal dimensions in dS/CFT are real. The paper also proves a time-like analog of the g-theorem for both type I and type II branes, using holographic entanglement entropy. In a cosmological reading, the brane equation of motion becomes a Friedman-like equation whose constant-potential solutions include universes created at a big bang, expanding, recollapsing, or reaching the AdS boundary. A sympathetic reader would care because the model connects standard AdS/BCFT technology to dS quantum gravity and to explicitly solvable brane-world cosmology.","feed_headline":"AdS/BCFT branes cap de Sitter scalar masses","feed_subtitle":"A brane-localized scalar turns AdS/BCFT into a dS/CFT laboratory and a model of big-bang creation.","key_machinery":"The load-bearing object is an end-of-the-world brane $Q$ with a localized scalar $\\phi(t)$, whose Neumann boundary condition is $K_{ab}-h_{ab}K=T^Q_{ab}$ with $T^Q_{ab}=2\\partial_a\\phi\\partial_b\\phi-h_{ab}(h^{cd}\\partial_c\\phi\\partial_d\\phi+V(\\phi))$. In Poincaré AdS$_3$ the brane profile $z=Z(t)$ reduces the equations to $\\dot\\phi^2=-\\epsilon \\ddot Z/(2Z\\sqrt{1-\\dot Z^2})$ and $V=\\epsilon Z\\ddot Z/(2(1-\\dot Z^2)^{3/2})-\\epsilon/\\sqrt{1-\\dot Z^2}$, so the null energy condition is simply $\\ddot Z\\le0$ for type I and $\\ddot Z\\ge0$ for type II. This sign condition, applied to the asymptotic expansion $Z\\simeq-\\alpha t-\\epsilon\\beta t^p$, produces the mass formula and dS/CFT dimension bound. In global AdS the same boundary condition is recast as a Friedman-like equation $a''/a=-\\epsilon(\\varepsilon-p)-\\varepsilon p$ with $\\varepsilon$, $p$ read off from the renormalized brane stress tensor.","core_discovery":"The paper's central claim is that the time-dependent dynamics of an EOW brane in AdS with a localized scalar field can be solved in a solvable model and yields a holographic bridge between AdS/CFT and dS/CFT. Concretely, for a brane profile $Z(t)\\simeq-\\alpha t-\\epsilon\\beta t^p$ near the AdS boundary, the Neumann boundary condition fixes the scalar mass as $M^2R_{\\mathrm{dS}}^2=\\frac{(p-1)(2d-1-p)}4$, and the null energy condition, which forces $\\ddot Z$ to have a definite sign, implies $M^2R_{\\mathrm{dS}}^2\\le\\frac{(d-1)^2}4$. Consequently the dual conformal dimension $\\Delta=\\frac{d-1}2+\\frac{|d-p|}2$ is real, rather than complex as often allowed in dS/CFT. The same framework yields a time-like analog of the g-theorem for both type I and type II branes, and a Friedman-like rewriting of the brane equation of motion whose constant-potential solutions include big-bang creation, bounce, and AdS-boundary-reaching universes.","pith_inferences":["Extension: the real-dimension constraint suggests a selection principle for unitary subsectors of dS/CFT: only operators with real conformal dimensions survive an AdS/CFT embedding that obeys the null energy condition, which would exclude the usual complex-dimension states.","Extension: because the $d>2$ bound is derived in a probe limit, a numerical fully back-reacted solution with $M^2R_{\\mathrm{dS}}^2>(d-1)^2/4$ would show the bound is an artifact; the paper's Section 2.5 already flags that backreaction prevents analytic treatment.","Extension: the monotonicity proven here for translationally invariant branes can be tested numerically for non-translationally invariant profiles; if it fails, the time-like g-theorem would be special to this symmetry class."],"forward_implications":["In any EOW-brane embedding of dS/CFT that obeys the null energy condition, the dS scalar mass is bounded by $M^2R_{\\mathrm{dS}}^2\\le(d-1)^2/4$, and the dual conformal dimensions are real.","The time-like g-theorem holds for both type I (space-like boundary/final state) and type II (CFT coupled to dS gravity) branes: the boundary entropy $\\log g$ decreases as the RG scale $|\\tilde t|$ increases.","Constant-potential solutions exhaustively classify brane cosmologies: type II gives bouncing, time-symmetric, and big-bang-to-AdS-boundary universes; type I gives universes that begin and end on the AdS boundary.","For small brane curvature, the effective brane action is Liouville gravity coupled to a scalar, identifying the brane-world dual of the AdS$_3$ bulk.","A universe in this model can be created at a big-bang singularity in a higher-dimensional spacetime that is perfectly smooth AdS."],"supporting_citations":[{"why":"Sets up AdS/BCFT with an end-of-the-world brane, the duality both type I and type II configurations are built on.","marker":"[4, 5]"},{"why":"Introduces the brane-localized scalar field action and static solutions that this paper makes time-dependent.","marker":"[38, 39]"},{"why":"Defines the dS/CFT correspondence whose spectrum receives the real-dimension and mass-bound constraint.","marker":"[40–42]"},{"why":"Supplies the codimension-two holographic description of a CFT with space-like boundary/interface, the dual used for dS$_2$ branes.","marker":"[47]"},{"why":"States the boundary g-theorem whose time-like analog is proven here.","marker":"[51, 52]"},{"why":"Provides the holographic entanglement entropy rule used to define and compute the time-like g-function.","marker":"[10–12]"},{"why":"Brane-world holography, used to interpret the EOW brane dynamics as a lower-dimensional cosmology.","marker":"[21–23, 26]"}],"fun_headline_variants":["Brane-localized scalar links AdS/CFT to dS/CFT","EOW brane dynamics give real dimensions in dS/CFT","Time-like g-theorem emerges from AdS/BCFT branes","Brane cosmology from AdS/BCFT: big bang via holography","Brane dynamics in AdS produce big-bang cosmologies"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The higher-dimensional constraint assumes the brane can be treated as a test surface in fixed AdS; the paper notes that with backreaction the gravity equations cannot be solved analytically, so the $d>2$ bound is established only in that probe limit.","fun_headline_variants_meta":{"raw":{"variants":["Brane-localized scalar links AdS/CFT to dS/CFT","EOW brane dynamics give real dimensions in dS/CFT","Time-like g-theorem emerges from AdS/BCFT branes","Brane cosmology from AdS/BCFT: big bang via holography","Brane dynamics in AdS produce big-bang cosmologies"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000449,"raw_usage":{"total_tokens":2619,"prompt_tokens":1027,"completion_tokens":1592,"prompt_tokens_details":{"cached_tokens":1024},"prompt_cache_hit_tokens":1024,"prompt_cache_miss_tokens":3,"completion_tokens_details":{"reasoning_tokens":1503}},"tokens_in":3,"tokens_out":1592,"duration_ms":45262,"temperature":1.0,"reasoning_tokens":1503,"cache_read_input_tokens":1024,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-10T21:22:49.874786+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Construct a fully back-reacted solution in AdS$_{d+1}$ with $d>2$, an EOW brane and localized scalar, satisfying the Neumann boundary condition and the null energy condition, whose dS$_d$ brane has $M^2R_{\\mathrm{dS}}^2>(d-1)^2/4$; existence of such a solution would falsify the claimed dS/CFT mass bound.","supporting_citations":[],"review_version":1}