{"id":"857b3051-157b-4fe0-9e6c-751521d58375","arxiv_id":"2608.20529","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"All four known N=1 supersymmetric Virasoro minimal strings are unified through a single string equation, which also yields two new unorientable 0A^- theories and motivates new N=2 and N=4 string families.","lead":"Four known supersymmetric Virasoro minimal string theories are shown to be described by one random-matrix equation, with two new unorientable variants appearing naturally. The same framework is then used to propose and explore new string theories with N=2 and N=4 supersymmetry, potentially broadening the family of solvable two-dimensional quantum gravity models.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The N=1 unification is credible, but the N=2/N=4 sections rely on a matrix-model-as-definition postulate rather than a worldsheet construction; if that postulate fails, the new amplitudes are properties of particular matrix ensembles, not string theories.","rationale":"The reader's weakest_assumption identifies the same point I would stress. The N=1 unification is the strongest part of the paper: the assignment t0^+=0 versus t0^-=4*sqrt(2)*pi follows from (18), the two branches of the string equation (21) produce soft and hard edges, and the plus/minus amplitude computations reduce correctly to known JT limits. Independent support from [3] and the released numerics [63] strengthen this. The extended-supersymmetry sections are different in kind: they contain an explicit admission in Section V B that no worldsheet construction is provided, and the nonperturbative well-definedness is checked only for selected examples in Section V F, with a note in Section VI that no well-behaved solution was found for N=4 J=1. Thus the claim to have defined new N=2/N=4 string theories is conditional on the matrix-model-as-definition principle extending beyond N=1. The unpublished preprints [14-16] are also load-bearing for the explicit amplitude formulas, and were not independently checked here; this further supports a conditional rather than an unconditional accept. No internal inconsistency or data-fitting is present, and the parameter-free derivations deserve credit. I therefore keep the reader's CONDITIONAL verdict.","tokens_in":41303,"tokens_out":11399,"duration_ms":111500,"concrete_test":"Construct the would-be worldsheet for the primitive N=2 model of Section V C 1: combine N=2 Liouville, the appropriate ghost system, and a timelike N=2 Liouville tuned so that the total central charge vanishes, and compute the disc amplitude from the S-transform of the vacuum character. If the result is not proportional to the appropriate charge-sector density (e.g., equation (119) for the primitive c-hat=3 model), the matrix model is not equivalent to the advertised string theory; if it is, the matrix-model-as-definition step is supported for that sector.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central N=1 claim is well supported: the string equation (21), the t_k choices (18), and the soft/hard edge identifications at mu=0 and mu=4*sqrt(2)*pi are internally consistent, parameter-free, and align with Eberhardt's independent plus-pair identification [3]. The load-bearing gap is in Sections V and VI. The new N=2 and N=4 models are 'fully defined' by taking the modular-transform densities (79) and (172) as the leading spectral densities of positive random matrix models, but no worldsheet derivation is supplied. Section V B states this explicitly: 'There is presumably a worldsheet string theory approach ... we will not pursue that here. Using this matrix model approach as a definition has proven to be robust in the N=1 case.' The N=1 analogy is real evidence, but it does not by itself establish that an arbitrary N=2/N=4 Cardy density yields a consistent critical string: one still needs a total central charge zero construction, modular-invariant worldsheet amplitudes, and factorization. If the matrix-model-as-definition postulate fails for extended supersymmetry, the computed V_{g,n} in equations (117), (132)-(164), and (182) remain well-defined quantum volumes of specific matrix ensembles but are not string amplitudes. This is a status gap, not an internal inconsistency; the paper flags it, but it is the main reason the central 'new strings' claim is conditional.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper proposes a unified matrix-model treatment of supersymmetric Virasoro minimal strings. For the N=1 sector it shows that the four known theories, labeled 0A^\\pm and 0B^\\pm, are all obtained as solutions of the string equation (21) with the two choices of t_k in (18), distinguished by whether the soft-edge (\\mu=0) or hard-edge (\\mu=4\\sqrt{2}\\pi) branch is used, and by whether \\Gamma is 0 or \\pm1/2. It computes perturbative amplitudes for NS and Ramond insertions using the universal formulas of Ref. [14], identifies two new unorientable 0A^- theories with vanishing perturbative amplitudes, and derives the reduction to JT and JT-supergravity limits. It then proposes new families of N=2 and small N=4 strings by taking modular-transform vacuum densities, equations (79) and (172), as the leading spectral densities of positive double-scaled matrix models, and computes sample amplitudes, BPS sectors, and non-perturbative spectral densities for several examples.","tokens_in":41566,"tokens_out":10434,"duration_ms":97052,"significance":"If the N=1 part stands, it is a valuable unification: the four known N=1 SVMS theories are placed in a single parameter-free string-equation framework, consistent with Eberhardt's independent identification of the plus pair, and it produces explicit closed-form amplitudes including Ramond-sector results. The release of the numerical code is a concrete strength, and the paper is honest in flagging its main caveats. The N=2 and N=4 results are interesting as matrix-model-defined quantum volumes and as conjectural string theories, but their status as string theories is conditional on the definitional postulate discussed below. The paper deserves major revision rather than rejection because the N=1 core is credible and the open questions are clearly located.","major_comments":[{"comment":"The central claim that the N=2 and N=4 families are string theories rests on the unproven postulate that a double-scaled positive matrix model with a chosen vacuum modular-transform density as its leading spectral density constitutes a critical string theory. The paper states this explicitly: 'There is presumably a worldsheet string theory approach involving N=2 Liouville, ghosts, and presumably a timelike N=2 Liouville, combined such that c_tot=0 ... but we will not pursue that here. Using this matrix model approach as a definition has proven to be robust in the N=1 case.' The N=1 analogy is real evidence, but it does not by itself establish that an arbitrary N=2/N=4 Cardy density yields a consistent critical string: one still needs total central charge zero, modular-invariant worldsheet amplitudes, and factorization. As written, the amplitudes in equations (117), (132)-(164), and (182) are well-defined quantum volumes of specific matrix ensembles; calling them amplitudes of N=2/N=4 string theories is a conjecture. This status gap should be stated prominently in the abstract and conclusions, or closed by a worldsheet derivation.","section":"Section V B and Section VI"},{"comment":"The derivation of the 0B+ perturbative amplitudes in Section III D contains an unresolved tension that affects the paper's claim that 0B+ is perturbatively equivalent to 0A+ up to the factor 2^g. The text states that the Gamma-dependent terms in equation (42) diverge at x=mu=0 and lie outside the genus expansion, which is why equations (45)-(46) give V^{0B+}_{g,n}=2^g V^{0A+}_{g,n}. However, footnote 8 says that using non-zero sigma in equation (40) turns these same Gamma-dependent terms into 'a series of finite closed-string-like terms at every genus.' If such terms contribute to perturbative correlators, equation (46) would need modification; if they are non-perturbative or regulator artifacts, the footnote should say so explicitly rather than describing them as part of a genus expansion.","section":"Section III D and footnote 8"},{"comment":"The abstract claims that the formulation 'provides complete non-perturbative information as well.' But Section V F explicitly states: 'We have not checked that all possible N=2 models defined by these methods are guaranteed to be non-perturbatively well defined.' Section VI further reports that in the N=4 JT limit no well-behaved solution is found for J=1, while a good solution exists for J=1/2. The non-perturbative results in Figures 2-5 are numerical, obtained at hbar=10^{-3} with t_k truncated at k=7 (see Appendix A). The claim of complete non-perturbative information should be restricted to the examples actually solved, and the limitations should be reflected in the abstract or introduction.","section":"Section V F and Section VI, final paragraph"}],"minor_comments":[{"comment":"The momentum variable P is used with different relations to the energy in different parts of the paper: Section II has E=P^2/4, while equation (116) defines P_i = (1/2)\\sqrt{E_i-E_0}. The matching between the b=1 N=1 amplitudes and the N=2 amplitudes in Section V C 1 would be easier to follow if the dictionary between these conventions were written out explicitly.","section":"Section II, equations (15) and (116)"},{"comment":"The numerical plots in Figures 2-5 would benefit from an explicit statement of the numerical error estimates and of the boundary-displacement checks mentioned in Appendix A, since the claim of non-perturbative well-definedness for the examples is based on these numerics.","section":"Section V F and Appendix A"},{"comment":"The table of numerical t_k values lists many digits without an indication of their precision or how the error was estimated; a statement about convergence of the Abel inversion procedure would be helpful.","section":"Section V D 2, Table VI"},{"comment":"The N=4 construction relies on the modular transformation results of Refs. [18]-[20]; the paper would be more self-contained if the relevant vacuum modular transformation were quoted explicitly, in addition to the resulting density (172).","section":"Section VI"}],"recommendation":"major_revision","confidential_remarks":"The N=1 section of this paper is, in my assessment, a solid and publishable contribution. The N=2 and N=4 sections are genuinely exploratory and, as the paper itself admits, rest on a definitional postulate that has not been verified by an independent worldsheet construction. I would encourage the editor to require that the published version frame these latter sections explicitly as conjectural matrix-model constructions rather than established string theories, and to have the abstract reflect the limitations stated in Sections V F and VI. The heavy reliance on very recent preprints (Refs. [3] and [14]-[16]) is a further reason for caution, though not by itself a defect."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Read it. The N=1 part is the real story. Johnson shows all four known SVMS theories sit in one string equation (21), with the plus pair at the soft-edge mu=0 and the minus pair at the hard-edge mu=4 sqrt(2) pi, and adds two 0A^- theories at Gamma=+/-1/2 whose perturbative amplitudes all vanish. This is a clean organizing result. It is parameter-free once you accept the t_k from the Cardy densities, it reduces correctly to known JT and JT-supergravity limits, and it matches Eberhardt's independent plus-pair identification. The closed-form amplitude results in Sections III-IV are useful, and the explanation of why 0A^- can take Ramond insertions while 0A+ cannot is genuinely clarifying. Credit also for shipping numerics: MATLAB code on Zenodo, nonperturbative spectral densities at hbar=1e-3, and a careful appendix on the method.\n\nThe soft spot is in Sections V-VI. The N=2 and small N=4 families are \"fully defined\" by taking modular-transform densities as the leading spectral density of a positive random matrix model. The paper says this explicitly in Section V.B: no worldsheet construction, and \"using this matrix model approach as a definition has proven to be robust in the N=1 case.\" That is real evidence, but it does not establish critical string status for an arbitrary N=2/N=4 Cardy density. The amplitudes remain well-defined quantum volumes of matrix ensembles; whether they are string amplitudes is a status gap, not an internal inconsistency. The paper itself flags it, but the abstract and conclusion read stronger than the caveats. Section V.F also admits that not all N=2 models are checked to be nonperturbatively well-defined. Also, several load-bearing universal formulas come from the author's own unpublished preprints [14-16]; they are not independently checkable from this paper. That is a reviewability problem, not evidence of error.\n\nBottom line: this deserves a serious referee. The N=1 unification is solid enough to justify the time. The referee should press on the N=2/N=4 status, ask for the content of [14]-[16] to be included or made available, and ask the authors to tighten the abstract. I would not desk-reject.","headline":"N=1 unification is credible and worth refereeing, but the N=2/N=4 families are matrix-model definitions whose status as string theories is not yet established.","tokens_in":42161,"tokens_out":2030,"would_cite":false,"duration_ms":20212,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"pith_extraction":{"msc":[],"pacs":[],"model":"deepseek-v4-flash","headline":"All four N=1 supersymmetric Virasoro minimal string theories are branches of one random-matrix string equation, and the same equation predicts two new unorientable theories.","keywords":["Virasoro minimal string","supersymmetric string theory","random matrix model","string equation","JT supergravity","N=2 superconformal field theory","N=4 superconformal field theory","quantum volumes"],"falsifier":"Compute the full worldsheet partition function of the conjectural N=2 Liouville theory with timelike and spacelike components plus ghosts, and check whether its vacuum S-transform density reproduces equation (79) together with the BPS contribution (89); if it does not, the matrix-model definition is not equivalent to a string theory in those cases. A narrower check is to compare any higher amplitude of the level-one small N=4 model with the enhanced N=2 computation, since the paper claims exact agreement.","tokens_in":41004,"feed_emoji":"🧮","tokens_out":6679,"duration_ms":55453,"temperature":0.7,"pith_summary":"The paper argues that the four known N=1 supersymmetric Virasoro minimal string theories—0A⁻, 0B⁻, 0A⁺, and 0B⁺—are not separate constructions but different solution branches of a single nonlinear ODE, the string equation of a positive-spectrum random matrix model. The same equation predicts two additional unorientable 0A⁻ theories at $\\Gamma=\\pm 1/2$ whose perturbative amplitudes vanish identically. It also explains why 0A⁻ admits a gas of Ramond vertex insertions while 0A⁺ does not, and it supplies closed-form amplitudes for both NS and Ramond sectors. Building on this, the paper proposes large families of N=2 and N=4 supersymmetric strings, defined by feeding the corresponding superconformal Cardy densities into the same matrix-model machinery.","feed_headline":"One string equation unifies all supersymmetric minimal strings","feed_subtitle":"It also predicts two new unorientable theories and opens the door to N=2 and N=4 strings.","key_machinery":"The load-bearing object is the string equation of a double-scaled positive random matrix model: $uR^2-\\frac{\\hbar^2}{2}RR''+\\frac{\\hbar^2}{4}(R')^2=\\hbar^2\\Gamma^2$, where $R=x+\\sum_k t_k R_k[u]$ and the $R_k[u]$ are Gel'fand-Dikii polynomials in $u$. This single equation encodes the whole construction: the leading spectral density $\\rho_0(E)$ is obtained from $u_0(x)$ through an Abel transform, the couplings $t_k$ are fixed by matching $\\rho_0$ to the Cardy density from the $S$-transform of superconformal vacuum characters, the endpoint value $\\mu=t_0$ selects soft-edge versus hard-edge physics, and $\\Gamma$ counts Ramond or BPS insertions. Perturbative correlators are then read off from $u_0(x)$ and its derivatives at $x=\\mu$ using universal formulas, with a $\\Gamma$-deformed Bergman kernel handling Ramond punctures.","core_discovery":"The central discovery is that the four N=1 supersymmetric Virasoro minimal string theories are unified as solutions of the string equation $$$uR^{2}$-\\frac{\\$hbar^{2}$}{2}RR''+\\frac{\\$hbar^{2}$}{4}(R')^2=\\$hbar^{2}$\\$Gamma^{2}$,$$ with $R=x+\\sum_k t_k R_k[u]$ built from Gel'fand-Dikii polynomials. The 0A⁺ and 0B⁺ pair arises from the soft-edge branch at $\\mu=0$ with the $t_k^+$ couplings, while the 0A⁻ and 0B⁻ pair arises from the hard-edge branch at $\\mu=4\\sqrt{2}\\pi$ with the $t_k^-$ couplings. The parameter $\\Gamma$ controls Ramond and BPS content: $\\Gamma=\\pm 1/2$ gives two new unorientable 0A⁻ theories, and 0B models are built from the average of the $\\Gamma=+1/2$ and $\\Gamma=-1/2$ solutions. In the classical central-charge limit, the minus pair reduces to the familiar 0A and 0B JT supergravities, while the plus pair gives non-perturbative completions of ordinary JT gravity. The paper further claims that the N=1 strings reappear as charge sectors of new N=2 strings, and that an N=4 string emerges at a special $\\hat{c}=2$ point, with a family of small N=4 strings at arbitrary level.","pith_inferences":["If the matrix-model-as-definition stands, the new N=2 and N=4 amplitudes are natural candidates for the quantum Weil-Petersson volumes of extended-supersymmetric JT gravity; this could be tested by comparing their large-central-charge limit with the known N=2 JT volumes.","The residue formula $|\\tilde\\Gamma_q|=|\\sin(\\pi q)|/(4\\pi^2)$, with its doubling at resonant charges, suggests that the BPS charge lattice has a direct spectral interpretation; one could look for the same doubling pattern in an explicit supergravity spectrum.","Because the paper reports difficulty finding well-behaved non-perturbative solutions for the N=4 model at $J>1/2$, a natural extension is to scan all $(Q^2,q)$ sectors for existence of string-equation solutions and map the boundary between well-defined and ill-defined models.","The deformed spectral curve and Bergman kernel derived for Ramond insertions invite an independent topological-recursion check: comparing recursion output with the closed-form amplitudes would test the $\\Gamma$-deformation prescription itself."],"forward_implications":["All six N=1 theories, including the two new $\\Gamma=\\pm 1/2$ unorientable 0A⁻ theories, are non-perturbatively well-defined solutions of a single ODE, in contrast with the poorly behaved bosonic minimal strings.","Every NS-sector amplitude of the known supersymmetric Virasoro minimal strings can be written in closed form by substituting the appropriate $t_k$ into the universal correlator formulas.","The 0A⁻ theory admits a complete description of a gas of Ramond vertex insertions with closed-form quantum volumes, while 0A⁺ cannot support such deformations within genus perturbation theory.","The classical limit of 0A⁻ and 0B⁻ recovers the 0A and 0B JT supergravities, whereas the plus pair supplies non-perturbative completions of ordinary JT gravity.","The distinction between even and odd $U(1)_R$ charge sectors in the new N=2 strings reproduces the plus and minus choices of the N=1 theories, and the level-one small N=4 string coincides with an enhanced-symmetry N=2 model."],"supporting_citations":[{"why":"Establishes the Virasoro minimal string prescription that the leading matrix-model density is the Cardy density obtained from the S-transform of a vacuum character.","marker":"[17]"},{"why":"Constructed the original 0A⁻ and 0B⁻ supersymmetric Virasoro minimal strings and supplies the $t_k$ family with the sum of cosh factors.","marker":"[1]"},{"why":"Identifies the 0A⁺ and 0B⁺ pair and confirms the minus-pair structure, providing an independent anchor for the soft-edge branch.","marker":"[3]"},{"why":"Develops the two-cut formulation and the $r^2=(u_{\\Gamma=+1/2}+u_{\\Gamma=-1/2})/2$ map that defines the 0B models.","marker":"[2]"},{"why":"Gives the universal correlator formulas that convert endpoint data of $u_0(x)$ into all perturbative amplitudes.","marker":"[14]"},{"why":"Supplies the $\\Gamma$-deformed spectral curve, Bergman kernel, and closed-form Ramond-insertion formulas adapted in Section IV.","marker":"[15]"},{"why":"Provides the N=2 modular bootstrap data, including extended characters, charge lattices, and massless coefficients, used to define and explore the N=2 strings.","marker":"[18]"},{"why":"Provides the exact small-N=4 vacuum modular transform, central charge, weights, and BPS data used in Section VI.","marker":"[19, 20]"},{"why":"Sets the 0A and 0B JT supergravity classical limits and the $(-1)^\\zeta$ projections that organize the A/B pairs.","marker":"[4]"}],"fun_headline_variants":["One string equation unifies all supersymmetric minimal strings","Unified string equation also predicts two new unorientable theories","Supersymmetric strings all solve a single master equation","New N=2 and N=4 strings emerge from unified equation"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is that defining a string theory by specifying its leading spectral density in a positive random matrix model is valid for the new N=2 and N=4 cases, even though no independent worldsheet construction is given for them.","fun_headline_variants_meta":{"raw":{"variants":["One string equation unifies all supersymmetric minimal strings","Unified string equation also predicts two new unorientable theories","Supersymmetric strings all solve a single master equation","New N=2 and N=4 strings emerge from unified equation"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000626,"raw_usage":{"total_tokens":2984,"prompt_tokens":1119,"completion_tokens":1865,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":735,"completion_tokens_details":{"reasoning_tokens":1797}},"tokens_in":735,"tokens_out":1865,"duration_ms":11757,"temperature":1.0,"reasoning_tokens":1797,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-27T19:18:45.988527+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the full worldsheet partition function of the conjectural N=2 Liouville theory with timelike and spacelike components plus ghosts, and check whether its vacuum S-transform density reproduces equation (79) together with the BPS contribution (89); if it does not, the matrix-model definition is not equivalent to a string theory in those cases. A narrower check is to compare any higher amplitude of the level-one small N=4 model with the enhanced N=2 computation, since the paper claims exact agreement.","supporting_citations":[{"cited_title":"resonant","cited_arxiv_id":null,"evidence_quote":"Constructed the original 0A⁻ and 0B⁻ supersymmetric Virasoro minimal strings and supplies the $t_k$ family with the sum of cosh factors."},{"cited_title":"resonant","cited_arxiv_id":null,"evidence_quote":"Develops the two-cut formulation and the $r^2=(u_{\\Gamma=+1/2}+u_{\\Gamma=-1/2})/2$ map that defines the 0B models."},{"cited_title":"Task one of the non-perturbative study is obtaining a full non-perturbative solutionu(x) of the string equa- tion (21)","cited_arxiv_id":null,"evidence_quote":"Gives the universal correlator formulas that convert endpoint data of $u_0(x)$ into all perturbative amplitudes."},{"cited_title":"This appendix describes some of the methods used to do so","cited_arxiv_id":null,"evidence_quote":"Supplies the $\\Gamma$-deformed spectral curve, Bergman kernel, and closed-form Ramond-insertion formulas adapted in Section IV."},{"cited_title":"SinceQ 2=2, the charge increment under spectral flow is two units (recall equation (85))","cited_arxiv_id":null,"evidence_quote":"Sets the 0A and 0B JT supergravity classical limits and the $(-1)^\\zeta$ projections that organize the A/B pairs."}],"review_version":1}