{"id":"e0a5f2a4-de69-4adb-b9ab-efc28ebc6951","arxiv_id":"2608.12247","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":3,"one_line_summary":"A super-current with independently assigned bosonic and fermionic monodromies generates super-Miwa differential constraints in all four sectors, linked by an explicit prefactor whose Grassmann kernel is the difference of the two fermion two-point functions.","lead":"This paper derives the equations that define a supersymmetric version of a famous matrix model, covering all four ways of assigning boundary conditions to the two field types, and proves an exact identity connecting the NS-NS and R-R sectors. A generalist might read it because it pins down precisely what any supersymmetric extension of the Kontsevich matrix model must satisfy.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The central NS-NS/R-R intertwining identity (5.53) rests on an unverified 'tedious' three-theta reduction; a sign error or missed term there would invalidate the principal claim.","rationale":"The reader's weakest assumption identifies the same load-bearing concern: the exactness of the intertwining identity (5.53)/(5.64) depends on an omitted computation. My review of the full text confirms that the displayed algebra covers only part of the conjugation. The derivative terms are checked in (5.40), and the linear-theta terms are computed through (5.41)-(5.44), but the three-theta reduction is asserted. In particular, the statement that diagonal terms may be added because singular factors cancel, followed by anti-symmetrization of h_jk, is a nontrivial algebraic step whose failure would directly change the coefficient of theta_i q1 q0 and hence the equality (5.53). The off-diagonal conjugation terms in (5.37) are also not displayed. Since eq. (5.53) is the central structural result, this is a correctness risk rather than a matter of exposition. I do not see a separate flaw in the finite-N Miwa-locus logic: the authors are explicit that the Ramond zero-mode representation (5.60) is only valid on the Miwa locus and that the N-to-infinity extension is formal, so the main claim should be read as a finite-N identity. The bosonic-limit check against ref. [45] and the clearly stated limitations of the construction are genuine supporting evidence, but they do not substitute for verifying the omitted three-theta algebra. Because the reader already conditioned the verdict on this exact point, my stress-test does not change the verdict: it remains CONDITIONAL pending an independent check of the omitted computation.","tokens_in":37832,"tokens_out":10494,"duration_ms":88362,"concrete_test":"Perform a symbolic Grassmann computation of F0^{-1} T_NN(lambda^2,theta) F0 - T_RR(lambda^2,theta) for N=2 and N=3 with generic lambda_i, expanding in theta_i and comparing all monomial coefficients, including the three-theta terms theta_i theta_j theta_k. Include the off-diagonal terms of (5.37) in the conjugation and independently recompute the reduction (5.45)-(5.46) to (5.49)-(5.52). If the difference vanishes identically for N=3, the omitted algebra is confirmed; if not, eq. (5.53) is false.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The paper's principal result, eq. (5.53), is established by a computation summarized as 'tedious, but straightforward.' The displayed part (5.40)-(5.44) verifies only the derivative terms and the terms linear in theta. The three-theta contributions from (5.45)-(5.46) are reduced to (5.49)-(5.52) by an anti-symmetrization step that is not shown, and the conjugation of the off-diagonal sums in (5.37) by F0 is not displayed at all. A sign error in the anti-symmetrization, or a missed diagonal supplement, would make the difference F0^{-1} T_NN F0 - T_RR nonzero, invalidating eq. (5.53) and with it the sector equivalence (5.54) and the Airy intertwining (5.64). The finite-N Ramond zero-mode caveats in (5.60) are explicitly acknowledged and do not undermine the finite-N identity; the missing algebra is the genuinely load-bearing point.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"This paper develops an N=1 supercurrent formalism for external-source models. The authors assign independent monodromies to the bosonic and fermionic components of a free super-current J(x,θ)=θj(x)+ψ(x), producing NS-NS, NS-R, R-NS and R-R sectors. For each sector a super-Miwa transformation is defined by requiring the annihilation part of the super-current to become the superderivative -D_i; this yields explicit differential operators for the projected super energy-momentum tensor. Dilaton shifts lead to super-quantum-Airy operators, with an additional odd coordinate in the sectors containing a Ramond fermion. The principal result is the similarity transformation (5.53), F0^{-1} T_NN F0 = T_RR on the locus l_i=λ_i^2, with F0 given in (1.2), and its Airy version (5.64) after including the cubic weight. The Grassmann part of F0 is identified with the difference of NS and R fermionic two-point functions at the Miwa points. The paper is careful to state that the equivalence is on the Miwa locus only, that away from it no relation of abstract partition functions is asserted, and that no underlying supermatrix integral is constructed.","tokens_in":37989,"tokens_out":13821,"duration_ms":123744,"significance":"If the principal identity is correct, the paper provides a systematic and explicit treatment of super-Virasoro constraints in all four monodromy sectors, a concrete super-Miwa realization, and a candidate system of Ward identities for a future supersymmetric Kontsevich model. The bosonic limit reproduces the known Itzykson-Zuber/Kontsevich differential equations, and the check of the R-R sector against the bosonic Ramond Airy structure is a useful independent test. The paper is also commendably explicit about its limitations: the Miwa-locus restriction, the finite-N character of the Ramond zero-mode representation, and the absence of a matrix-integral realization. However, the central similarity transformation is not fully proven in the text, and the significance of the result depends on completing that computation.","major_comments":[{"comment":"The headline identity (5.53) is not established by the displayed computation. After verifying the derivative terms in (5.40), the paper states that the non-derivative computation is 'tedious, but straightforward' and then reduces the three-theta contributions (5.45)-(5.46) to (5.49)-(5.52) by a diagonal-supplementation and anti-symmetrization step that is not shown; the conjugation of the off-diagonal sums in (5.37) by F0 is also not displayed. Because any sign error or missed diagonal term would produce a nonzero difference F0^{-1}T_NN F0 - T_RR and invalidate (5.53), this issue is load-bearing for the central claim. Please provide the complete computation, preferably in an appendix, or an independent verification of the final identity.","section":"§5.2, Eqs. (5.45)-(5.53)"},{"comment":"The derivation of the Airy intertwining identity from the unshifted one is also compressed. Equation (5.57) is asserted after 'direct conjugation' by the cubic weight, and the step from (5.57)-(5.62) to (5.63)-(5.64) involves the nontrivial computation of ∂_{q0} log F and the definition of S(λ,θ). Since Eqs. (5.63)-(5.64) are presented as exact identities, the same request for a complete derivation applies here.","section":"§5.2, Eqs. (5.57)-(5.64)"},{"comment":"The finite-N Ramond zero-mode representation is carefully caveated, but the headline identity (5.64) is stated as exact on the Miwa locus while using this representation. Equation (5.60) holds only for λ_j≠0 and λ_j^2 distinct, and the vector field -Σ c_j λ_j ∂/∂θ_j fixes q_m only for 1≤m≤N-1; its N→∞ extension is formal. Please state the precise space of functions on which (5.64) is asserted, and clarify how the formal N→∞ limit interacts with the claim that the identity is exact.","section":"§5.2, Eq. (5.60)"}],"minor_comments":[{"comment":"The text calls the Miwa-locus operators Super Quantum Airy Structures, but the defining graded-Lie-algebra condition is not checked for the finite-N families. If the Airy structure is defined at the level of the mode/times variables and only restricted to the Miwa locus, this should be stated explicitly.","section":"§4, Eq. (4.22) and following bullets"},{"comment":"The sentence 'Conjugating 4T_NN by the factor of the form2 F0' contains a stray '2' that appears to be a footnote marker or typesetting artifact; please fix.","section":"§5.2, Eq. (5.39)"},{"comment":"Equation (5.42) uses sums over j,k without explicitly stating their ranges; please specify that the sums run over all Miwa labels and indicate when diagonal terms are included after the supplementation step.","section":"§5.2, Eq. (5.42)"},{"comment":"The sentence 'The relations derived above are therefore intertwining identities between the NS-NS and R-R differential constraints on the Miwa locus' appears twice in the same paragraph; the duplicate should be removed.","section":"§5.2, final paragraph"},{"comment":"References [23] and [41] are cited as bare arXiv identifiers ('2604.26038' and '2511.17320'); please format them consistently with the other references.","section":"References"}],"recommendation":"major_revision","confidential_remarks":"This is a well-written and honest paper with a clear scope. The principal claim is plausible and the surrounding framework is solid, but the key computation behind Eq. (5.53) is omitted. I would not accept the paper without a complete derivation or an independent verification of that identity. If the authors can supply the missing algebra, the paper would be a strong candidate for publication."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Short version: this is genuine, honest formal work, and I suspect the main identity is right, but the paper's central claim sits on a step it labels “tedious, but straightforward” and does not display. I would not desk-reject it; I would send it out with a request to show or machine-check that step.\n\nWhat is actually new: the unified super-current treatment with independent bosonic and fermionic monodromies across all four NS/R sector combinations, the sector-dependent super-Miwa realisations, the Ramond zero-mode handling, and the explicit prefactor whose Grassmann kernel is the difference of the NS and R fermionic propagators. The bosonic limit reproducing the Itzykson–Zuber result is a real independent check. The authors also repeatedly flag the Miwa-locus restriction and the absence of a matrix-model realisation; that is good epistemic hygiene, not a defect.\n\nThe soft spot is precisely where the stress test points. Equation (5.53) is the principal result, but the three-theta reduction from (5.45)–(5.46) to (5.52) is compressed: the diagonal supplementation and anti-symmetrisation are asserted, and the conjugation of the off-diagonal sums in (5.37) is not exhibited. A sign error there would invalidate the sector equivalence, and this is load-bearing, not cosmetic. The printed identity also carries an ambiguous factor between (1.5) and (5.57) that should be fixed. The finite-N caveats around q0 and the vector field representing ∂/∂q0 are explicitly acknowledged and do not bother me; the missing algebra does.\n\nFor anyone working on super-Virasoro constraints, super-Airy structures, or a prospective super-Kontsevich model, the paper is directly relevant and useful. It deserves a serious referee, with a request to expand the omitted computation or add an ancillary file. If the computation checks out, this is a solid contribution; my own verdict is conditional acceptance.","headline":"A careful sector-by-sector construction of super-Virasoro constraints whose central intertwining identity rests on one large unshown computation; worth refereeing if that algebra is supplied.","tokens_in":38619,"tokens_out":2116,"would_cite":true,"duration_ms":21947,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["81T40","81T60"],"pacs":["11.25.Hf","11.30.Pb"],"model":"deepseek-v4-flash","headline":"Building a super-Miwa transformation from one free super-current, the paper proves an exact similarity transformation that identifies the NS-NS and R-R super-Virasoro constraints on the Miwa locus and fixes the fermionic kernel of any…","keywords":["super-Virasoro constraints","Miwa transformation","Quantum Airy structures","Kontsevich model","Ramond sector","Neveu-Schwarz sector","fermionic propagators","external-source matrix models"],"falsifier":"Take $N=2$ in the Miwa-locus identity, keep all odd variables $\\theta_1,\\theta_2$, and compute both sides of the conjugated equation as explicit polynomials in the $\\theta_i$; a mismatch in any cubic odd term would refute the claimed similarity transformation. Independently, apply the finite-$N$ formula $\\partial_{q_0}=-\\sum_j c_j\\lambda_j\\partial_{\\theta_j}$ to a higher Miwa time $q_m$ with $m\\ge N$ and check whether the nonzero result is really discarded only in the formal limit.","tokens_in":37541,"feed_emoji":"⚛️","tokens_out":14616,"duration_ms":114807,"temperature":0.7,"pith_summary":"This paper develops a super-current formulation of $\\mathcal{N}=1$ super-Virasoro constraints for external-source models, treating the four monodromy assignments (NS-NS, NS-R, R-NS, R-R) from a single object $J=\\theta j+\\psi$. Its principal result is an exact similarity transformation on the Miwa locus $l_i=\\lambda_i^2$: conjugating the projected NS-NS differential operator by the super-Kontsevich prefactor $F$ reproduces the R-R operator, so the two constraint systems are equivalent there. The prefactor's bosonic part is a determinant times a cubic Airy weight, and its Grassmann exponential kernel is precisely the difference of the Neveu-Schwarz and Ramond fermionic two-point functions evaluated at the Miwa points. If correct, this supplies the concrete Ward identities that a supersymmetric extension of the Kontsevich model would have to satisfy, including the measure and fermionic kernel required for a matrix-model realization.","feed_headline":"One supercurrent exactly links NS-NS and R-R constraint sectors","feed_subtitle":"The intertwining factor fixes the fermionic kernel needed by a supersymmetric Kontsevich matrix model.","key_machinery":"The engine is the sector-dependent super-Miwa transformation, defined by the requirement $J_>(l_i,\\theta_i)=-D_i$, so the positive-mode part of the super-current becomes minus the covariant superderivative in the spectral variables. This single condition fixes the bosonic times $g_m$ and fermionic times $q_k$ and converts the residue construction of $T(x,\\theta)=:DJ(x,\\theta)J(x,\\theta):$ into explicit differential operators for each of the four sectors. The intertwining prefactor $F_0$, a bosonic determinant times the Grassmann exponential of the NS-minus-R fermionic propagator difference, performs the change of sector; the cubic factor $\\exp(-\\frac{\\mu}{3}\\sum_i\\lambda_i^3)$ implements the Airy shift. Their product $F=F_0\\exp(-\\frac{\\mu}{3}\\sum_i\\lambda_i^3)$ makes the NS-NS and R-R Airy constraints conjugate to each other.","core_discovery":"Starting from the free super-current $J(x,\\theta)=\\theta j(x)+\\psi(x)$, the paper assigns bosonic and fermionic monodromies independently and imposes $J_>(l_i,\\theta_i)=-D_i$ with $D_i=\\partial_{\\theta_i}+\\theta_i\\partial_{l_i}$. This super-Miwa condition fixes the bosonic and fermionic times and turns the projected super energy-momentum tensor into explicit differential operators in the spectral variables. The central discovery is the exact intertwining identity $$$F^{{-1}}$\\left[$4T^{{\\geq -1/2}}$_{NN}(\\$lambda_i^{2}$,\\theta_i)-\\mu\\,2\\theta_i\\$lambda_i^{2}$+\\mu q_0-2\\mu\\nabla_{q_0}\\right]F=$4T^{{\\geq -1/2}}$_{RR,\\mathrm{Airy}}(\\$lambda_i^{2}$,\\theta_i),$$ with $F=F_0\\exp(-\\frac{\\mu}{3}\\sum_i\\lambda_i^3)$ and $$F_0=\\prod_i\\$lambda_i^{{-1}}$\\prod_{i