{"id":"bdf95117-231b-49fc-a510-3cb7cfc68342","arxiv_id":"2505.08892","paper_version":1,"verdict":"CONDITIONAL","confidence":"HIGH","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":3,"one_line_summary":"The authors derive the timelike super Liouville structure constants from crossing symmetry and construct a tentative Type 0A/0B super Virasoro minimal string whose sphere three-point functions vanish only after sign choices imported from the matrix model.","lead":"The paper defines a new quantum field theory, the timelike N=1 super Liouville theory, by deriving its particle spectrum and interaction strengths from the conformal bootstrap, and uses it to sketch a supersymmetric version of the Virasoro minimal string. That string is expected to match a matrix model of JT supergravity, but the simplest amplitude is made to vanish by choosing free signs rather than derived independently.","discovery_kind":"first_principles","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Timelike bootstrap relies on an unproven continuation of the spacelike degenerate-OPE recursion; a direct null-vector check would settle it.","rationale":"The reader's weakest assumption correctly identifies the continuation of the spacelike recursion relations (2.33)-(2.34) as the load-bearing point. My reading of §3.2 confirms that the paper explicitly relies on this continuation rather than deriving it: the text states the relations 'should remain valid in the timelike case,' and the subsequent analytic and numerical checks only show that the proposed timelike structure constants satisfy those assumed relations. That is a necessary but not sufficient test: a function can satisfy a shifted functional equation without being the actual timelike correlator if the equation itself is not the correct bootstrap condition. The paper's crossing check provides independent evidence that the proposed structure constants are consistent with the superconformal blocks, but it is limited in scope and does not test the degenerate-OPE derivation in the timelike regime. The admitted sign ambiguities ηW and ηR and the circular fixing of these signs via the matrix model prediction are real limitations, but they affect the worldsheet application rather than the primary CFT claim; the more fundamental gap is the untested continuation of the recursion. I therefore agree with the reader's conditional verdict and do not propose changing it. Credit is due for the concrete numerical work, the explicit admission of the sign-fixing assumption, and the coordination with independent concurrent work [49]; these are appropriate reasons for a conditional rather than a stronger verdict.","tokens_in":34626,"tokens_out":6330,"duration_ms":67565,"concrete_test":"Derive the timelike degenerate OPE directly from the timelike action (3.2) in the Coulomb-gas/free-field limit, or equivalently impose null-vector decoupling on the degenerate four-point function ⟨V_{P3} V_{P2} R^δ_{P⟨2,1⟩} R^δ_{P1}⟩ using the proposed structure constants and the superconformal blocks of Appendix D. If the directly computed fusion coefficients differ from the continued spacelike coefficients (2.29) by a momentum-dependent phase or shift, then (2.33)-(2.34) are not the correct timelike bootstrap relations and the structure constants (3.10)-(3.11) are not justified. A cheaper complementary check is to repeat the crossing test of Fig. 4 at a second value of b, e.g., b = π/2 giving c = -1.118, and for a Ramond-sector four-point function, to rule out tuning to b = 1.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim that (3.10)-(3.11) solves the timelike bootstrap depends on §3.2's assertion that the spacelike recursion relations (2.33)-(2.34) 'should remain valid in the timelike case'. These relations are not axioms: in the spacelike theory they follow from the degenerate OPE (2.28) with fusion coefficients (2.29) derived from the Coulomb-gas/free-field limit, together with null-vector decoupling. The paper verifies numerically that its proposed timelike structure constants satisfy the continued relations, but this is only a necessary condition; it does not establish that the continued relations are the correct timelike bootstrap equations. Under b → −ib the background charge and screening structure change, so the fusion coefficients in (2.29) can acquire P-dependent phases or shifts that need not cancel in the ratios (2.33)-(2.34). The same gap affects the Ramond-sector relations. The crossing check in Fig. 4/Table 1 is also limited: one value b = 1, one NS four-point function, contour εP = 0.08, with relative discrepancies up to ~10^-3 in some Table 1 rows, and it tests the proposed structure constants against known blocks, not the validity of the recursion itself. Because no independent derivation of the timelike degenerate OPE is supplied, the claim that (3.10)-(3.11) defines the timelike theory is not fully secured. Concurrent work [49] is cited as corroboration, but its contents are not available in this paper.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The manuscript defines the timelike N=1 super Liouville theory, which is the c < 3/2 regime needed as one of the two matter sectors in the proposed supersymmetric Virasoro minimal string. The definition consists of a proposed spectrum and four structure constants, given in Eqs. (3.10)-(3.11), which the authors claim satisfy the superconformal bootstrap constraints, specifically the functional relations (2.33)-(2.34) derived from degenerate-operator OPEs in the spacelike theory, up to two overall signs eta_W and eta_R. The authors check the functional relations numerically, check crossing for one NS four-point function at b=1, and then construct the worldsheet Type 0A/0B theories. They compute the sphere three-point amplitudes in Eqs. (4.24) and (4.27) and show that the choice eta_W=-1, eta_R=1 makes them vanish, which they present as consistency with the matrix-model prediction of vanishing perturbative amplitudes. The paper is written as a first step, with the full duality deferred to future work.","tokens_in":34969,"tokens_out":8061,"duration_ms":77469,"significance":"If the proposed timelike super Liouville theory is correct, this paper fills an important gap: the timelike N=1 super Liouville CFT has not previously been bootstrapped, and it is a necessary ingredient for the supersymmetric generalization of the Virasoro minimal string. The paper contains substantial technical work: an analytic derivation of the timelike structure constants from the continued recursion relations, numerical checks of those relations for both NS and Ramond ratios, a numerical crossing check in the NS sector, and a clean construction of the worldsheet string with explicit GSO projections. The authors are also commendably explicit about the limitations of their checks, including the unfixed signs and the unproven continuation of the degenerate-OPE relations. However, the load-bearing assumption that the spacelike recursion relations survive b -> -i b is not derived, and the numerical crossing evidence is limited to one NS correlator at one value of b. These issues prevent the paper from fully establishing the central claim as stated.","major_comments":[{"comment":"The timelike bootstrap relies on the unproven assumption that the degenerate-OPE recursion relations of the spacelike theory survive the continuation b -> -i b. In Sec. 3.2 the authors state that the functional relation (2.33) \"should remain valid in the timelike case,\" but no derivation is supplied. The fusion coefficients in (2.29) are obtained from the Coulomb-gas/free-field limit at real b; under b -> -i b the background charge and screening charges change, and P-dependent phases or shifts in these coefficients need not cancel in the ratios (2.33)-(2.34). Since the proposed structure constants are verified primarily against these continued relations, with crossing checked only for one NS correlator, the central claim that (3.10)-(3.11) defines the timelike theory is not yet fully established. A direct derivation of the timelike degenerate OPE, or an independent null-vector decoupling check, would close this gap.","section":"Sec. 2.2 and Sec. 3.2, Eqs. (2.28)-(2.34)"},{"comment":"The claimed verification of the matrix-model prediction of vanishing sphere three-point functions is circular. Eq. (4.24) gives A_{0,3} proportional to 2i(1+eta_W), so it vanishes only after imposing eta_W=-1; likewise B^{(2)}_{0,3} in Eq. (4.27) vanishes only after imposing eta_R=1. The text itself states that the signs are chosen \"predicated by the duality\" and that \"assuming the genus-0 3-point amplitudes vanish, we were able to completely characterize our structure constants.\" Thus the vanishing is an input, not an output, of the computation. The paper should present this as a consistency condition that fixes free parameters, not as an explicit verification of the matrix-model prediction.","section":"Sec. 4.3, Eqs. (4.24)-(4.28)"},{"comment":"The numerical crossing check is too limited to support the strength of the claim that crossing has been verified. It is performed at a single value b=1, for one NS four-point function, with one contour offset epsilon_P=0.08. Table 1 shows relative discrepancies in the real parts that reach the 10^{-3} level (e.g., first row: 0.0253334 vs 0.0253012; fourth row: 0.0563771 vs 0.0559575), and no numerical error estimate is provided. Moreover, there is no crossing check involving Ramond operators, despite the Ramond sector structure constants being essential for the construction in Sec. 4. The authors should either provide a more extensive, quantified crossing check, including the Ramond sector, or substantially soften the crossing claim.","section":"Sec. 3.2, Fig. 4 and Table 1"}],"minor_comments":[{"comment":"The last factor in the numerator of C^{(b)}_{odd} has a missing closing parenthesis: it should read Gamma^{(b)}_{NS}(Q/2 ± i(P1+P2-P3)).","section":"Eq. (2.23)"},{"comment":"There is a typo in the definition of N_epsilon: \"N_epsilon(...) =≡\" should be a single \"≡\" symbol.","section":"Eq. (2.33)"},{"comment":"The notation is confusing because the timelike parameter b is denoted by the same symbol as the spacelike b, while the superscript in C^{(b)} is used for both theories. The text explains that one should replace Q by Q(b) before rewriting in terms of the timelike b, but a distinct symbol for the timelike parameter would greatly improve readability.","section":"Sec. 3.1"},{"comment":"The reciprocal relations in Eq. (3.10) are typeset in a way that is easy to misread as products; please ensure the fractions are visually unambiguous.","section":"Eq. (3.10)"},{"comment":"The table would be much more informative if it included relative differences or an estimate of the numerical integration error, since the reader cannot currently tell whether the discrepancies are within the expected accuracy of the recursion and contour integration.","section":"Table 1"}],"recommendation":"major_revision","confidential_remarks":"The paper is within the scope of JHEP and presents a significant first step. The main risk is the unproven continuation of the degenerate-OPE recursion relations; I would encourage the editors to ensure the revised version either proves this continuation or clearly labels it as an assumption. The authors are already honest about the circularity of the sign-fixing argument, but the framing in the abstract and text should be adjusted accordingly."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"I'll cut to the chase: the timelike N=1 super Liouville structure constants in (3.10)-(3.11) are the real deliverable here. They are new, they satisfy the analytic recursion relations, and the numerical crossing check (though limited) is a genuine check. The concurrent independent derivation [49] adds credibility. If you work on timelike Liouville or superstring worldsheet CFT, you'll want to know this paper.\n\nWhat it does well: it gives a clear bootstrap derivation of the timelike structure constants, not just an analytic continuation guess—the Upsilon-function manipulation in §3.2 is explicit and verifiable. The paper also summarizes the spacelike super Liouville theory in a clean, compact form. And it's honest: it states upfront that the overall signs ηW, ηR are not fixed by crossing, and that fixing them by demanding agreement with matrix models is an assumption, not a derivation. That kind of candor is rare.\n\nThe soft spots are real, though. The recursion relations (2.33)-(2.34) are derived in the spacelike theory from degenerate OPEs; §3.2 simply asserts they 'should remain valid' after b→−ib. The paper verifies that the proposed structure constants satisfy the continued relations, but that doesn't prove the continued relations are the right timelike bootstrap equations. A direct null-vector decoupling check in the timelike theory would settle this, but it's not there. This is the load-bearing assumption, and it's the main reason I wouldn't take the definition of the timelike theory as fully established.\n\nThe crossing check is also narrow: one value of b, one NS four-point function, one contour shift. The Ramond sector crossing is not checked. These are not fatal if treated as initial evidence, but they are thin for such a central claim.\n\nThe worldsheet part is the weakest. The vanishing of the sphere three-point amplitudes A0,3 and B0,3 is achieved by choosing ηW=−1, ηR=1; the paper then reports this as 'confirming the matrix model prediction.' That's circular—the prediction is doing the work, not the worldsheet calculation. The paper acknowledges this explicitly (Eq. (4.24) and the surrounding discussion), but it means the string side of the project is groundwork, not verification.\n\nWho should read it: anyone thinking about timelike super Liouville, N=1 minimal string, or the matrix-model/string duality for JT supergravity. The structure constant result is a solid building block. The worldsheet story is clearly work in progress.\n\nRecommendation: send it to peer review. It deserves a serious referee, with a request to either provide a direct timelike degenerate-OPE derivation or clearly frame the recursion continuation as an assumption, and to expand the crossing checks. I'd accept a revision that does that.","headline":"The timelike super Liouville structure constants are a genuinely new result and probably right, but the paper's own sign-fixing makes the worldsheet amplitude check circular; it deserves a serious referee.","tokens_in":35458,"tokens_out":2880,"would_cite":true,"duration_ms":28887,"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":"The paper defines the timelike N=1 super Liouville theory as a second solution of the superconformal bootstrap and assembles the super Virasoro minimal string from it.","keywords":["super Virasoro minimal string","timelike super Liouville theory","structure constants","conformal bootstrap","JT supergravity matrix model","GSO projection","worldsheet string theory","non-unitary CFT"],"falsifier":"Evaluate the crossing equation for a four-point function with Ramond external operators at $b=1$ using the elliptic superconformal blocks described in Appendix D. The proposed constants predict exact crossing; any mismatch would rule out the definition. Alternatively, compute a genus-one 0A worldsheet amplitude and compare it with the nonvanishing JT-supergravity matrix-model prediction.","tokens_in":34422,"feed_emoji":"🪢","tokens_out":5863,"duration_ms":60599,"temperature":0.7,"pith_summary":"The paper's target is the timelike N=1 super Liouville theory, a non-unitary CFT with central charge $c<3/2$ that had no previously bootstrapped definition. The authors claim it is completely specified by the continuous spectrum of Section 3.1 and by the structure constants (3.10)-(3.11), which satisfy the superconformal functional relations and crossing symmetry up to two overall signs. This matters because the timelike theory is the missing half of the N=1 super Virasoro minimal string: coupling it with spacelike super Liouville theory and worldsheet supergravity produces a one-parameter family of worldsheet string theories expected to be dual to a deformation of the JT supergravity matrix model. The paper also shows that with specific choices of the free signs, the sphere three-point amplitudes vanish, matching the matrix-model prediction that all perturbative amplitudes vanish in the 0B theory and all tree-level amplitudes vanish in 0A.","feed_headline":"Second bootstrap solution defines timelike super Liouville theory","feed_subtitle":"The missing CFT piece behind the N=1 super Virasoro minimal string and its matrix-model dual.","key_machinery":"The load-bearing object is the set of functional recursion relations (2.33)-(2.34) for ratios of super Liouville structure constants, obtained from degenerate-operator OPEs via the recursion trick of [40]. The timelike theory is constructed by analytically continuing these relations to imaginary $b$ and proposing an ansatz in which the NS and Ramond combinations of double-Gamma/Upsilon functions--special functions that package Liouville correlation functions--swap roles; the hat-functions defined in (3.14) convert the recursion into identities satisfied by the standard Upsilon functions. The same machinery, through the relation $Q^2-\\mathsf Q^2=4$, pairs the spacelike and timelike theories into the anomaly-free worldsheet string.","core_discovery":"The central discovery is a second solution of the crossing constraints for N=1 super Liouville theory, defined for $c\\le 3/2$. Writing the four independent structure constants $C_{\\mathsf V}$, $C_{\\mathsf W}$, $C_{\\mathsf{even}}$, and $C_{\\mathsf{odd}}$, the solution is $C_{\\mathsf V}(P)=2i/C^{(b)}_{W}(iP)$ with the NS and R building blocks exchanged, plus the sign parameters $\\eta_W$ and $\\eta_R$ that the functional relations do not fix. In explicit form, the timelike constants are built from the same double-Gamma functions as the spacelike theory, evaluated at imaginary momenta with the NS/R labels swapped. The authors verify that these constants satisfy the degenerate-operator recursion relations analytically and crossing symmetry numerically for the NS four-point function at $c=1$. With $\\mathsf b=b$ and $Q^2-\\mathsf Q^2=4$, the two super Liouville copies combine anomaly-free into a worldsheet string; the Type 0A theory has only NS states, the Type 0B theory adds one RR state, and the three-point amplitudes vanish for $\\eta_W=-1$ and $\\eta_R=1$.","pith_inferences":["If the vanishing of all perturbative 0B amplitudes survives further checks, the super Virasoro minimal string would be a string theory whose perturbative sector is empty, suggesting that its duality to a matrix model lives almost entirely in non-perturbative effects.","The swapping of NS and R building blocks under continuation may be a general signature of timelike limits of superconformal theories; the same mechanism could define timelike versions of other supersymmetric coset CFTs.","The undetermined signs $\\eta_W$ and $\\eta_R$, fixed here by matching the matrix model, may encode a choice of spin structure or matter supercharge on the worldsheet, which would supply a first-principles derivation of the vanishing amplitudes."],"forward_implications":["If the timelike structure constants are correct, the timelike N=1 super Liouville theory is a well-defined non-unitary SCFT, filling a gap in the super Liouville literature.","The super Virasoro minimal string is constructed as a one-parameter family whose $b\\to 0$ limit is JT supergravity, so every worldsheet observable has a matrix-model prediction to test against.","The worldsheet three-point functions vanish with the chosen signs, making the duality's prediction precise: all perturbative 0B amplitudes and all tree-level 0A amplitudes are expected to vanish.","The spectrum and constants provide the first building block for computing supermoduli-space volumes in the super Virasoro minimal string, in direct analogy with the bosonic construction."],"supporting_citations":[{"why":"Supplies the first derivation of the N=1 super Liouville NS-sector structure constants used as the spacelike input.","marker":"[30]"},{"why":"Provides the derivation of super Liouville structure constants from degenerate four-point correlators.","marker":"[31]"},{"why":"Gives the full spacelike structure constants and boundary analysis that the paper adapts to the timelike regime.","marker":"[32]"},{"why":"Supplies the degenerate-OPE recursion trick that produces the functional relations (2.33)-(2.34).","marker":"[40]"},{"why":"The bosonic Virasoro minimal string whose supersymmetric generalization the paper constructs.","marker":"[14]"},{"why":"The JT supergravity matrix-model analysis whose vanishing-amplitude predictions fix the sign choices in the worldsheet theory.","marker":"[15]"},{"why":"Establishes the numerical crossing-check strategy for timelike/imaginary-b Liouville theories that the paper follows.","marker":"[38]"},{"why":"Provides the numerical implementation of NS superconformal blocks reused for the crossing-symmetry check.","marker":"[22]"}],"fun_headline_variants":["Timelike super Liouville theory bootstrapped","Second solution for super Liouville crossing constraints","N=1 minimal string gets timelike sector","Missing CFT: timelike super Liouville defined","Super Liouville bootstrap covers c ≤ 3/2"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The recursion relations (2.33)-(2.34) were derived in the spacelike theory from degenerate-operator OPEs, and the paper assumes they remain valid in the timelike regime after continuing $b$ to $-ib$; if the degenerate fusion rules do not survive that continuation, the proposed structure constants do not define a consistent bootstrap solution.","fun_headline_variants_meta":{"raw":{"variants":["Timelike super Liouville theory bootstrapped","Second solution for super Liouville crossing constraints","N=1 minimal string gets timelike sector","Missing CFT: timelike super Liouville defined","Super Liouville bootstrap covers c ≤ 3/2"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000284,"raw_usage":{"total_tokens":1728,"prompt_tokens":1050,"completion_tokens":678,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":666,"completion_tokens_details":{"reasoning_tokens":609}},"tokens_in":666,"tokens_out":678,"duration_ms":6158,"temperature":1.0,"reasoning_tokens":609,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-15T21:45:43.631063+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Evaluate the crossing equation for a four-point function with Ramond external operators at $b=1$ using the elliptic superconformal blocks described in Appendix D. The proposed constants predict exact crossing; any mismatch would rule out the definition. Alternatively, compute a genus-one 0A worldsheet amplitude and compare it with the nonvanishing JT-supergravity matrix-model prediction.","supporting_citations":[],"review_version":1}