{"id":"4032dfee-9a42-43a2-a86d-1ff1843bff9a","arxiv_id":"1909.00830","paper_version":3,"verdict":"REJECT","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"high","formal_verification":"none","parameter_count":2,"one_line_summary":"The paper builds non-singular bouncing FLRW solutions in the O(d,d) invariant string cosmology action, but the higher-order coefficients are free inputs and the action consistency is unverified.","lead":"This paper claims that higher-derivative string corrections can remove the big-bang singularity, presenting explicit non-singular bouncing cosmologies in the Hohm-Zwiebach framework. The solutions are chosen by hand to be regular, and the paper never shows they come from any fixed string action.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The n=1 ansatz (3.24) is not a global solution of the Hohm-Zwiebach EOM: H(t) is non-monotone, so f(t) cannot be written as a single-valued function f(H), which (3.19) requires.","rationale":"I read the paper as an existence argument: given the Hohm-Zwiebach structure, exhibit a non-singular trajectory whose large-|t| expansion matches the known first two alpha' orders. That is a reasonable goal, and the explicit n=1 formulas are at least concrete. The load-bearing condition is that the trajectory actually solves the HZ EOM, which are written in terms of functions f(H),g(H) of H. The reader's weakest assumption identifies exactly this condition, and the n=1 equations make the failure checkable: H_+(t) is non-monotone, so the same H recurs at different |t|, while f_+ depends on |t|. Thus the ansatz is not a function of H, and no choice of the unknown c_k can fix it, because any such choice gives a single-valued f(H). The paper's own check (3.27)-(3.28) is only an asymptotic expansion and does not address the global issue. Even setting aside the garbled (3.21)-(3.22), the closed n=1 forms (3.24) suffice to expose the problem. I therefore agree with the reader's REJECT; the concern is internal soundness, not a disagreement with the perturbative literature.","tokens_in":9612,"tokens_out":16277,"duration_ms":167419,"concrete_test":"Set d=3, alpha'=1 in (3.24), so H_+(t)=-sqrt(2)(1-6t^2)/(1+6t^2)^{3/2} and f_+(t)=-2sqrt(6)/sqrt(1+6t^2). Choose H* with 0<H*<max H_+ (e.g. H*=0.1) and solve H_+(t)=H* numerically; there are four real roots ±t_a, ±t_b with |t_a| != |t_b|. Evaluate f_+ at t_a and t_b. If f_+(t_a) != f_+(t_b), no single-valued f(H) exists, so (3.19) is not satisfied globally. This directly tests the consistency claim after (3.24).","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim requires that (3.22)-(3.24) satisfy the Hohm-Zwiebach EOM (3.19), where f and g are functions of H determined by the coefficients c_k in (3.20). For the explicit n=1 solution (3.24), H_+(t) = -sqrt(2)(alpha'-2dt^2)/(alpha'+2dt^2)^{3/2} is even and non-monotone: it has a negative local minimum at t=0, a zero at |t|=sqrt(alpha'/(2d)), a positive maximum at |t|=sqrt(5alpha'/(2d)), and then decays to 0. Hence each H in (0,H_max) is attained at two different values of |t| (and by evenness at four times). The accompanying f_+(t) = -2sqrt(2d)/sqrt(alpha'+2dt^2) depends strictly on |t|, so the two occurrences of the same H carry different f values; the parametric curve (H(t), f(t)) fails the vertical-line test. Consequently no single-valued function f(H) reproduces the ansatz, and the HZ relation g(H)=Hf(H)-integral_0^H f(x)dx cannot hold globally. The perturbative check in (3.27)-(3.28) is carried out only at large |t|, on one monotone branch, and cannot detect this multivaluedness. Unless a branch choice plus an additional rule selecting which branch applies at each crossing of a given H is supplied, the trajectory is not a solution of the action (3.18), whose Lagrangian depends on H only through single-valued f(H),g(H).","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"This paper constructs a one-parameter family of cosmological solutions to the Hohm-Zwiebach action for the bosonic gravi-dilaton system, with the goal of showing that α′ corrections can remove the big-bang singularity. For n=1, the solutions (3.24) give regular H±(t), Φ(t), f±(t), and g(t); the authors verify that the large-|t| expansion matches the known perturbative solution to first order in α′, and compare with loop-corrected bouncing solutions. The paper concludes that the big-bang singularity can indeed be smoothed out by higher-derivative corrections, while acknowledging in Section 4 that the construction is phenomenological.","tokens_in":10001,"tokens_out":9362,"duration_ms":188078,"significance":"If valid, the explicit non-singular solutions would be a useful demonstration within the Hohm-Zwiebach framework. The paper is clearly written, and it is genuinely valuable that the authors present a worked example whose first two α′ orders match the perturbative results in [15]; the comparison with loop-corrected bounces is also informative. However, the central consistency requirement—that f and g be single-valued functions of H—is not met by the explicit n=1 solution, so the construction as stated does not solve the equations of motion it claims to solve.","major_comments":[{"comment":"The n=1 solution is not a solution of the EOM (3.19) because f(t) and g(t) cannot be expressed as single-valued functions of H(t). For H_+(t) = −√2(α′−2d t^2)/(α′+2d t^2)^{3/2}, the function is even and non-monotone: it has a negative local minimum at t=0, a zero at |t|=√(α′/(2d)), and a positive maximum at |t|=√(5α′/(2d)), after which it decays to zero. Hence each H in (0,H_max) is attained at two different values of |t|, while f_+(t) = −2√(2d)/√(α′+2d t^2) takes different values at those two times. No single-valued function f(H) reproduces this relation, and the identity g(H)=H f(H)−∫_0^H f(x)dx cannot hold globally. The consistency check in Eqs. (3.27)–(3.28) is performed only on the large-|t| monotone branch and therefore cannot detect this multivaluedness. A branch rule could in principle repair the argument, but none is supplied, so the trajectory is not a legitimate solution of the action (3.18), whose Lagrangian depends on H only through single-valued f(H) and g(H).","section":"Sec. 3, Eqs. (3.21)–(3.24)"},{"comment":"The Abstract's claim that the big-bang singularity 'indeed could be smoothed out' is stronger than what the construction supports. The coefficients c_k≥3 in (3.20) are free and are never determined from the bosonic string; the proposed solution implicitly postulates a specific all-order completion by choosing f(t), g(t), and H(t), but no independent derivation of c_k is given. The perturbative matching at large |t| fixes only c_1 and c_2 and cannot select the infinite set of higher-order coefficients. The paper's own characterization of the construction as phenomenological is appropriate, but in that case the result is a conditional existence statement for an unspecified completion, not a demonstration about the bosonic string's α′ corrections. To support the abstract, the authors would need either to derive the required c_k from string theory or to show that some known principle fixes them.","section":"Abstract; Sec. 3, Eq. (3.20); Sec. 4"}],"minor_comments":[{"comment":"There is a typo: 'diaton' should be 'dilaton', and the same paragraph contains 'the the singularity', which should be 'the singularity'.","section":"Sec. 3, after Eq. (3.25)"},{"comment":"The general formulas for H(t), f(t), and g(t) are difficult to reproduce as printed; I could not straightforwardly reduce (3.22) to the explicit n=1 expressions (3.24) without additional intermediate steps. Please display the simplified n=1 derivation or add a supplementary computation, since the main claim depends on these formulas.","section":"Sec. 3, Eqs. (3.21)–(3.22)"},{"comment":"The notation alternates between f(t), g(t) and f(H(t)), g(H(t)); the paper should state explicitly that, on any chosen branch, f(t) is defined as f(H(t)) and explain how branch choices are made. This is related to the major issue above, but even for a corrected version a notational clarification would help.","section":"Throughout Sec. 3"}],"recommendation":"reject","confidential_remarks":"I agree with the stress-test note: the multivaluedness of the n=1 ansatz is real and verifiable, and it invalidates the central claim that the solution satisfies the Hohm-Zwiebach EOM. This is not a local typo; it concerns the definition of the theory's Lagrangian as a function of H. I would not recommend a revision unless the authors can supply a branch rule or find a modified ansatz with monotone H(t) and a single-valued f(H)."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"This paper is worth reading once. The authors do something concrete: they write down an explicit one-parameter family of non-singular FLRW-like backgrounds in the Hohm–Zwiebach α'-corrected gravi-dilaton action, and they show that at large |t| the solution reproduces the first two orders of the known perturbative string cosmology. That is a genuinely new ansatz, and the presentation is clear. The comparison with loop-corrected bounces is helpful.\n\nThe soft spots are serious, though. The construction is explicitly phenomenological: c_{k≥3} are free, and the bounce is effectively chosen by hand rather than derived. That by itself would be okay if it were framed only as an existence argument, and the authors are honest about the methodology.\n\nThe real problem is that the proposed n=1 solution—the one that matches bosonic string theory—does not actually satisfy the Hohm–Zwiebach EOM. In that framework f and g must be single-valued functions of H. For H_+(t) in (3.24), H is non-monotone: it starts at a negative minimum at t=0, crosses zero, reaches a positive maximum, then decays back to zero. The accompanying f_+(t) is even and monotone in |t|, so the same value of H occurs at two different |t| with different f values. There is no single-valued f(H) that reproduces the ansatz, and hence no choice of the higher-order coefficients c_{k≥3} can make (3.24) a solution of (3.19). The perturbative check in (3.27)–(3.28) is done only at large |t|, on one monotone branch, so it cannot see this failure. The consistency condition g'(H)=H f'(H) is never checked globally.\n\nThis is not a minor technical gap; it is the load-bearing assumption of the paper. The conclusion that α' corrections can smooth out the big-bang singularity is not supported by the presented solutions. The paper remains useful as an explicit counterexample to naive ansatz-building in the HZ framework, and the family might be salvageable if someone can find a monotone H(t) or a genuinely single-valued f(H). It deserves a serious referee, but the referee should be asked to verify the global single-valuedness before anything else.","headline":"Explicit non-singular ansatz in the Hohm–Zwiebach framework, but the n=1 solution fails the single-valued f(H) consistency check, so the central claim is unsupported.","tokens_in":10543,"tokens_out":6511,"would_cite":false,"duration_ms":58939,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"deepseek-v4-flash","headline":"This paper constructs non-perturbative solutions of the Hohm-Zwiebach equations, with all alpha-prime corrections included, in which the Hubble parameter stays finite for all time and the pre-big-bang and post-big-bang phases are smoothly…","keywords":["string cosmology","alpha-prime corrections","Hohm-Zwiebach action","big-bang singularity","non-singular cosmology","O(d,d) symmetry","pre-big-bang scenario","bosonic string theory"],"falsifier":"Compute the explicit $n=1$ solution and locate two times $t_1\\neq t_2$ with $H(t_1)=H(t_2)$; such pairs exist because $H(t)$ rises and then falls. If $f(t_1)\\neq f(t_2)$, then no function $f(H)$ can reproduce the ansatz, and the solution cannot be a solution of the Hohm-Zwiebach equations (3.19) with $f$ and $g$ as functions of $H$. Directly substituting the ansatz into (3.19) at those two times settles the question.","tokens_in":9377,"feed_emoji":"🌌","tokens_out":13205,"duration_ms":344219,"temperature":0.7,"pith_summary":"In bosonic string cosmology, the leading-order pre-big-bang and post-big-bang solutions are separated by a curvature singularity at $t=0$. This paper claims that, once all $\\alpha'$ corrections are included through the Hohm-Zwiebach action---the all-order effective action for the FLRW gravi-dilaton system---there exist non-perturbative solutions that are regular at every time $t$. The Hubble parameter and the $O(d,d)$-invariant dilaton stay finite, and at large $|t|$ the solutions reproduce the known tree-level and first-order $\\alpha'$ results. If the claim holds, the big-bang singularity is an artifact of truncating the $\\alpha'$ expansion, and a single smooth history connects the pre-big-bang and post-big-bang phases.","feed_headline":"All-order string corrections erase the big-bang singularity","feed_subtitle":"A new family of solutions with complete alpha-prime corrections stays finite through t=0 and matches known perturbative results.","key_machinery":"The machinery is the Hohm-Zwiebach truncation of string effective actions: for FLRW backgrounds with vanishing Kalb-Ramond field, all orders of $\\alpha'$ corrections can be written as $I=\\int dt\\,e^{-\\Phi}\\left(-\\dot\\Phi^2+\\sum_{k\\ge1}(\\alpha')^{k-1}c_k\\,\\mathrm{tr}(\\dot S^{2k})\\right)$, where $S$ is the $O(d,d)$ matrix built from the scale factor. The equations of motion reduce to $\\ddot\\Phi+\\tfrac12 H f(H)=0$, $\\frac{d}{dt}(e^{-\\Phi}f(H))=0$, and $\\dot\\Phi^2+g(H)=0$, with $f(H)=-2dH-2d\\alpha'H^3+O(\\alpha'^2)$ and $g(H)=-dH^2-\\tfrac32 d\\alpha'H^4+O(\\alpha'^2)$, related by $g'(H)=H f'(H)$. The construction chooses a positive integer $n$, writes $f(t)$ and $g(t)$ directly as functions of time, solves for $H(t)$ and $\\Phi(t)$, and then checks that the large-$|t|$ expansion reproduces the first two orders of the perturbative $f(H)$ and $g(H)$.","core_discovery":"The central claim is that the equations of motion (3.19) derived from the Hohm-Zwiebach action admit an explicit one-parameter family of non-perturbative, non-singular cosmological solutions. For the bosonic string, where $c_2=1/64$, the relevant member is the $n=1$ solution\n$$H_\\pm(t)=\\mp\\frac{\\sqrt{2}(\\$\\alpha$'-2d $t^{2}$)}{(\\$\\alpha$'+2d $t^{2}$)^{3/2}}, \\qquad \\Phi(t)=\\log\\left(\\frac{1}{2}\\frac{\\sqrt{\\$\\alpha$'}}{d(\\$\\alpha$'+2d $t^{2}$)}\\right),$$\nwith $f_\\pm(t)=\\mp 2\\sqrt{2}d/\\sqrt{\\alpha'+2d t^2}$ and $g(t)=-4d^2t^2/(\\alpha'+2d t^2)^2$. These functions are finite for all real $t$, and their expansion at large $|t|$ matches $H(t)=1/(\\sqrt{d}\\,t)-(5/4)\\alpha'/(d^{3/2}t^3)+O(\\alpha'^2)$ together with the corresponding dilaton series. The paper presents this as evidence that the big-bang singularity is smoothed out by higher-derivative $\\alpha'$ corrections, with the singular point $t=0$ appearing only in the truncated perturbative solution.","pith_inferences":["Because the higher-order coefficients $c_{k\\ge3}$ are not fixed by the paper, the $\\alpha'$ resolution is a phenomenological completion rather than a unique prediction; an independent string computation of $c_{k\\ge3}$ would show whether the smoothing survives all consistent completions.","A natural test is to add a time-dependent Kalb-Ramond field or matter sources; if regular non-perturbative solutions still exist, the mechanism is robust, and the dilaton might be stabilized at late times as in loop-corrected models.","The brief contraction phase near $t=0$ suggests that, after perturbations are added, this class of backgrounds would produce a characteristic primordial spectrum; computing it would give an observational way to distinguish an $\\alpha'$-driven bounce from a loop-correction bounce."],"forward_implications":["If the central claim is correct, the big-bang singularity in the tree-level gravi-dilaton cosmology disappears once all $\\alpha'$ corrections are included; the singular point is replaced by a regular evolution with finite $H(t)$.","The pre-big-bang and post-big-bang branches become one continuous history: the universe contracts, passes through a regular phase near $t=0$, and then expands.","In the limits $|t|\\to\\infty$ or $\\alpha'\\to0$, the non-perturbative solutions reduce exactly to the known perturbative results to first order in $\\alpha'$, so the new solutions are consistent with earlier results.","The scale-factor dual obtained by $H\\to -H$ is also a solution, so the construction respects the $O(d,d)$ symmetry underlying the Hohm-Zwiebach action.","The Einstein-frame Hubble parameter $H_E(t)$ is regular for all $t$ as well, so the singularity resolution is not an artifact of working in the string frame."],"supporting_citations":[{"why":"Supplies the Hohm-Zwiebach equations of motion and the first-order perturbative result that the new solutions must match.","marker":"[15]"},{"why":"Establishes the non-perturbative de Sitter vacuum program using the same all-order action, the starting point for the present construction.","marker":"[23]"},{"why":"Shows the O(d,d) symmetry survives at first order in alpha-prime after field redefinitions, justifying the standard-matrix form used in the action.","marker":"[19]"},{"why":"Proves the O(d,d) symmetry of cosmological solutions to all orders in alpha-prime, the foundation for the Hohm-Zwiebach action.","marker":"[2]"},{"why":"Introduces scale-factor duality and the tree-level solutions whose large-|t| limit the non-singular solutions reproduce.","marker":"[1]"},{"why":"Provides the loop-corrected non-singular solution used for comparison, showing the alpha-prime solution behaves differently around t=0.","marker":"[9]"}],"fun_headline_variants":["Alpha-prime corrections smooth the big-bang singularity","String theory's alpha-prime fixes erase singularity","Non-singular cosmologies from complete alpha-prime","Big-bang singularity removed by alpha-prime terms","Alpha-prime corrections yield finite string cosmologies"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The construction assumes that the time-dependent coefficient functions $f(t)$ and $g(t)$ can be expressed as single-valued functions of the Hubble rate $H$, because the Hohm-Zwiebach action defines them through $H$, but this is never proved and already fails for the $n=1$ solution, where $H(t)$ is non-monotonic and the same $H$ occurs at two different times with different $f$ values.","fun_headline_variants_meta":{"raw":{"variants":["Alpha-prime corrections smooth the big-bang singularity","String theory's alpha-prime fixes erase singularity","Non-singular cosmologies from complete alpha-prime","Big-bang singularity removed by alpha-prime terms","Alpha-prime corrections yield finite string cosmologies"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000145,"raw_usage":{"total_tokens":1170,"prompt_tokens":930,"completion_tokens":240,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":546,"completion_tokens_details":{"reasoning_tokens":165}},"tokens_in":546,"tokens_out":240,"duration_ms":3391,"temperature":1.0,"reasoning_tokens":165,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T05:37:54.522213+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the explicit $n=1$ solution and locate two times $t_1\\neq t_2$ with $H(t_1)=H(t_2)$; such pairs exist because $H(t)$ rises and then falls. If $f(t_1)\\neq f(t_2)$, then no function $f(H)$ can reproduce the ansatz, and the solution cannot be a solution of the Hohm-Zwiebach equations (3.19) with $f$ and $g$ as functions of $H$. Directly substituting the ansatz into (3.19) at those two times settles the question.","supporting_citations":[],"review_version":1}