{"id":"2d7d5b9c-87b6-478f-aca4-a7fac3524315","arxiv_id":"2601.06923","paper_version":3,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"The E-type N=(0,2) disordered model is dynamically equivalent to the J-type model in the IR, inheriting its emergent higher-spin symmetry.","lead":"This paper studies a 2d disordered supersymmetric model with an E-type potential and shows it is equivalent in the infrared to the previously studied J-type model. If correct, it enlarges the family of tractable holographic models that exhibit emergent higher-spin symmetry.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The λ↔λ̄ leg of the duality map (Eq. 2.6) is not shown to preserve the (0,2) supermultiplet structure; if it reverses Fermi-multiplet chirality, the claimed IR equivalence between E- and J-type models is not established.","rationale":"The reader's weakest assumption correctly identifies the λ↔λ̄ map as the most load-bearing unproven step. The paper explicitly acknowledges in Sec. 5 that no formal geometric mapping is provided, and the component-level derivation does not rule out chirality reversal. Given that the entire interpretation of the E-type model as dual to the J-type model hangs on this map, a CONDITIONAL verdict requiring a rigorous treatment or a sharper consistency check is appropriate. I credit the paper for the direct SD and kernel computations, which are nontrivial and would stand even without the map; the determinant equality via the displayed matrices also appears sound. But because the central claim is phrased as a quantum equivalence, the map's validity is essential for the full claim, not merely a footnote. The proposed test of closing the (0,2) algebra under the redefinition, or exactly matching a finite-N supersymmetric index, would settle whether the concern lands. I therefore agree with the reader's verdict and recommend no change.","tokens_in":10514,"tokens_out":21752,"duration_ms":223681,"concrete_test":"Derive the supersymmetry transformations of the J-type action after applying the field redefinition λ → ¯λ, ¯λ → λ with E = −√2 J, and verify whether the (0,2) algebra closes with the same supercharge Q_+ and the same chiral superfield constraints (i.e., that the redefined Λ still satisfies ¯D_+ Λ = √2 E with E holomorphic in Φ). If the algebra does not close, the map is not a valid (0,2) duality and the equivalence claim must be restricted to the large-N SD equations. As a sharper check, compute the torus partition function or elliptic genus of both models at finite N,M for small q (e.g., N=M=2, q=2) before and after the map: exact equality would confirm the map, while any chirality-dependent discrepancy would refute it.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim of IR equivalence between the E-type and J-type models rests on the duality map E ↔ −√2 J together with λ ↔ λ̄ (Eq. 2.6). In an N=(0,2) theory, λ is the lowest component of a chiral Fermi superfield Λ satisfying ¯D_+ Λ = √2 E, while ¯λ is the lowest component of the anti-chiral conjugate. Swapping λ and ¯λ therefore exchanges left- and right-moving degrees of freedom and changes the chirality of the Fermi multiplet. The paper derives this map only at the component Lagrangian level and explicitly states in Sec. 5 that a formal geometric mapping is beyond its scope. The subsequent Schwinger-Dyson and kernel computations are performed directly for the E-type model, so they are not logically dependent on the map; however, the interpretation of those matching results as establishing a duality between the two (0,2) quantum theories does depend on it. Moreover, the SD derivation uses the replacement G_¯λ = G_λ (Sec. 3.3, Appendix A), which is closely tied to the same chirality assumption. If the map is illegitimate, the matching SD equations and kernel determinants could be an artifact of an unjustified field identification, and the claimed higher-spin symmetry would not be inherited. This is a genuine load-bearing gap, not a mere presentation issue.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies a two-dimensional N=(0,2) disordered Landau-Ginzburg model with a nonzero E-type superpotential and vanishing J-term, extending the J-type analysis of [10]. It proposes a component-level duality map E ↔ −√2 J together with λ ↔ λ̄ (Eq. 2.6), and then computes the IR Schwinger-Dyson equations and the 4×4 ladder kernel matrix for the E-type model. After rescalings, the kernel matrix in Eq. (3.9) has the same characteristic determinant as the J-type model, and the paper concludes that the E-type model is dynamically equivalent in the IR and inherits the emergent higher-spin symmetry and vanishing Lyapunov exponent discussed for the J-type model in [10].","tokens_in":10828,"tokens_out":9688,"duration_ms":97661,"significance":"If valid, the result substantially enlarges the known moduli space of solvable disordered N=(0,2) models and provides an additional concrete boundary example of the proposed holographic link between SYK-like models and tensionless/higher-spin string phases. The E-type SD and kernel computations are performed directly, and the determinant comparison in Eq. (3.9) is explicit and algebraically checkable; the paper does not lean on self-citation, since the J-type input is from [10]. The main limitation is that the interpretive step identifying the two models as dual (0,2) theories rests on the λ ↔ λ̄ exchange, which is not derived from the N=(0,2) superfield structure. The paper itself flags this in Sec. 5.","major_comments":[{"comment":"The duality map E ↔ −√2J, λ ↔ λ̄ is introduced by comparing component Lagrangians. In N=(0,2), λ is the lowest component of a Fermi superfield satisfying Dbar_+ Λ = √2 E, while λ̄ is the lowest component of the conjugate anti-chiral multiplet. Swapping λ and λ̄ therefore reverses the chirality of the Fermi multiplet; this is not a symmetry of the (0,2) supermultiplet structure unless proved. The SD equations in §3 are computed directly for the E-type model, so they show similarity, not duality, without this map. Since the paper concedes in §5 that a formal geometric mapping is beyond scope, the central claim that the higher-spin spectrum is inherited from [10] is not fully supported. Please provide a superfield-level derivation of Eq. (2.6), or reformulate the conclusions as a structural equivalence with the chirality assumption stated explicitly.","section":"§2.2, Eq. (2.6); §5"},{"comment":"The passage from the disorder-averaged path integral to the GΣ action is only sketched. The displayed interaction terms after averaging are written without a complete derivation of the signs from the complex Gaussian integral and the Hubbard-Stratonovich linearization, and the factors of M, N, and q are not tracked. These factors enter the SD equations (3.5)–(3.8) and hence the kernel matrix (3.9); an error in this step would change the claimed matching with the J-type model. I ask the authors to display the full derivation, or at least an explicit N,q-counting and sign check, for Eq. (3.2).","section":"§3.2, Eq. (3.2)"},{"comment":"The higher-spin conclusion is inherited from [10] through the determinant identity, but the paper does not present the characteristic determinant or the eigenvalues of the E-type kernel matrix. The statement that (0,s) and (s,0) solve the pole condition in the limit μ → (1/q)^+ is reported as numerical verification without displaying the determinant or the relevant roots. Please provide the explicit characteristic determinant for the matrix in Eq. (3.9), or the eigenvalue data, so that the pole condition k = ±1 can be checked directly for the E-type model.","section":"§4.2, Eq. (3.9)"}],"minor_comments":[{"comment":"'While previous studies focused on the J-type model where the E-term ... was discarded' is a sentence fragment; please rewrite. There are also typos such as 'posses' in §5.","section":"Abstract; §1"},{"comment":"The symbol G is used both for the auxiliary F-term and for Green's functions. This is confusing in §3.3; a different symbol for the auxiliary field would improve readability.","section":"§3.3"},{"comment":"The displayed relation 'G_i(z) = G_i(z) = (-1)^{2s} G_i(-z)' appears to have identical left and right sides on the first equality; presumably one side should be G_{\\bar i}(z). Please correct the notation.","section":"Eq. (3.4)"},{"comment":"The phrase 'the characteristic determinant is independent of J^2' should be made precise: if the entries k_ij already contain J^2 factors, the pole condition k=1 is not invariant under a global rescaling of the kernel. Please specify the normalization under which the determinant identity is meant.","section":"§3.4"},{"comment":"Appendix A is referred to as 'Chapter A'; 'Table' is broken in the text. These are minor typographical issues but should be cleaned up.","section":"§4.1; formatting"}],"recommendation":"major_revision","confidential_remarks":"The manuscript is a plausible extension of [10], and the determinant identity in Eq. (3.9) checks out algebraically. My main concern is the unproved λ ↔ λ̄ chirality map; I would not reject if this is settled or if the claims are made conditional. The missing N-counting/sign details in §3.2 also need to be supplied before publication."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The thing to know: this paper adds the E-type configuration (E≠0, J=0) to the N=(0,2) disordered models studied in C. Peng's earlier work, and shows that its IR Schwinger-Dyson equations and ladder kernel determinant match the J-type model. The core new result is Eq. (3.9): the kernel matrices for the two models are different entry-wise but have the same characteristic determinant, so the higher-spin spectrum and the vanishing Lyapunov exponent at μ=1/q are inherited. I checked the algebra on the determinant claim; it holds.\n\nWhat is genuinely new: the Hubbard-Stratonovich treatment of the ĒE term, the derivation of the E-type SD equations (Eqs. 3.5–3.8), and the explicit kernel matrix comparison. The paper does not try to inflate the result—it leans on [10] for the higher-spin interpretation, which is appropriate. The authors are also upfront that they only establish the E↔J equivalence at the component Lagrangian level and that a formal geometric mapping is out of scope (Sec. 5).\n\nThe soft spots: 1. The duality map (Eq. 2.6) includes λ ↔ λ̄. In an (0,2) theory this is not obviously a symmetry of the quantum theory: it exchanges a chiral Fermi multiplet with its anti-chiral conjugate. The authors explicitly leave the geometric proof for the future. For the kernel calculation this matters less than the language suggests—the SD equations are solved directly for the E-type model, and the determinant comparison is a computation, not a consequence of the map. So the main computational result stands even if the duality is interpreted as a correspondence, not a true equivalence. But the abstract says 'establish a duality,' which overshoots what is shown. 2. The numerical evidence for the higher-spin solutions is asserted, not shown. Section 4.2 says 'Numerical verification shows...' with no plots, numerics, or error bars. Since the higher-spin spectrum is inherited from [10] via the determinant equality, this is a minor gap, but a referee should ask for the actual computation or a reference to code. 3. A few steps are compressed: signs in the disorder average (Sec. 3.2) and the N-counting in the GΣ action (Eq. 3.2) are sketched. These are routine but should be explicit for a JHEP paper.\n\nWho this is for: people working on 2d disordered models, SYK holography, and higher-spin/tensionless string transitions. It is a narrow but solid extension of Peng's framework.\n\nMy view: the paper should go to peer review. A referee can verify the determinant algebra and push the authors to either sharpen the chirality argument or weaken the 'duality' claim to a 'correspondence in the IR.' The raw computational result is valuable enough to publish with revisions.","headline":"A narrow but solid extension of Peng's N=(0,2) SYK analysis; the E-type kernel determinant matches the J-type, but the λ↔λ̄ duality is under-proven.","tokens_in":11340,"tokens_out":5922,"would_cite":true,"duration_ms":60878,"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":"E-type N=(0,2) disordered models are dynamically equivalent to J-type models in the infrared, inheriting the same emergent higher-spin symmetry and vanishing chaos in the large-N limit.","keywords":["N=(0,2) supersymmetry","disordered models","higher-spin symmetry","SYK model","Schwinger-Dyson equations","ladder kernel","Landau-Ginzburg theory","holography"],"falsifier":"Compute the full eigenvalue spectrum of the E-type ladder kernel matrix at finite q and μ, not just its characteristic determinant, and compare with the J-type spectrum at the poles k = ±1. If any eigenvalue differs, or if the four-point function deviates at subleading order in 1/N, the claimed IR equivalence fails. Alternatively, check directly whether λ ↔ ¯λ changes the chirality of the (0,2) theory in a way that alters left-right asymmetric observables.","tokens_in":10366,"feed_emoji":"⚛️","tokens_out":2422,"duration_ms":25326,"temperature":0.7,"pith_summary":"This paper extends the study of two-dimensional N=(0,2) disordered supersymmetric models to the case where the Fermi-multiplet E-term is present and the J-term is absent. The authors propose a Lagrangian-level duality map between the E-type and J-type models, then verify the equivalence by solving the Schwinger-Dyson equations and computing the ladder kernel matrix for four-point functions. They find that the characteristic determinant of the kernel matrix is identical for both models and independent of the coupling strength. Therefore, the E-type model exhibits the same emergent higher-spin symmetry and absence of chaos as the J-type model in the infrared. This broadens the moduli space of two-dimensional disordered theories with higher-spin structure and adds evidence for a holographic connection to tensionless string theory.","feed_headline":"E-type N=(0,2) disordered model matches J-type in the IR","feed_subtitle":"The same ladder-kernel determinant gives both models emergent higher-spin symmetry and vanishing chaos in the large-N limit.","key_machinery":"The central mechanism is the duality transformation E ⇔ −√2 J combined with λ ⇔ ¯λ, derived at the component level and expected to hold in the quantum theory. The analysis also relies on a Hubbard-Stratonovich auxiliary field B to linearize the E-term, the conformal ansatz for bi-local Green functions, and the four-point ladder kernel matrix whose characteristic determinant, through the pole condition k = ±1, determines the operator spectrum and detects emergent higher-spin symmetry. The key result is that this determinant is unchanged when passing from the J-type to the E-type model.","core_discovery":"The paper establishes a structural duality between two N=(0,2) Landau-Ginzburg disordered models: the E-type model (E ≠ 0, J = 0) and the J-type model (E = 0, J ≠ 0). At the component Lagrangian level, the duality is realized by the map E ↔ −√2 J together with λ ↔ ¯λ, which swaps the roles of the Fermi multiplet's auxiliary field and the superpotential term. By solving the Schwinger-Dyson equations in the conformal IR regime and computing the ladder kernel matrix, the authors show that the characteristic determinant det(k_ij − x·1) is identical for both models and independent of the coupling J². Consequently, the E-type model shares the J-type model's emergent higher-spin symmetry in the lim","pith_inferences":["If the component-level duality holds as a full quantum equivalence, the E-type and J-type models should have identical four-point functions to all orders in 1/N, not just matching kernel determinants—a testable prediction.","The auxiliary field B in the E-type model plays a role analogous to the G field in the J-type model; one could probe whether B acquires dynamics beyond the IR and whether that breaks the equivalence.","A concrete next step, mentioned by the authors, is gauging the U(1) symmetry; this could reveal phase transitions or new dualities that are invisible in the ungauged models.","The geometric interpretation via (0,2) mirror symmetry suggests that similar equivalences might hold in non-disordered Landau-Ginzburg theories, which could be tested independently."],"forward_implications":["The E-type model enlarges the known moduli space of two-dimensional N=(0,2) disordered theories that exhibit emergent higher-spin symmetry.","In the infrared, the E-type model has the same operator spectrum and the same vanishing Lyapunov exponent as the J-type model at the critical value μ → 1/q.","The kernel determinant's independence of J² suggests that the higher-spin structure is robust under variations of the coupling in the E-type model.","The proposed λ ↔ ¯λ symmetry hints at a deeper geometric origin, possibly linked to (0,2) mirror dualities, which could be made precise in future work.","The results provide another piece of evidence for a holographic duality between these disordered models and tensionless string theory."],"fun_headline_variants":["E and J N=(0,2) disordered models are IR-equivalent","Higher-spin symmetry emerges in E-type N=(0,2) disorder","Duality unites E and J N=(0,2) disordered models","E-type N=(0,2) model shares J-type's higher-spin secret","N=(0,2) disordered E-model joins J-model in IR duality"],"cache_read_input_tokens":2304,"weakest_assumption_plain":"The load-bearing premise is that the field map λ ↔ ¯λ, which effectively reverses the chirality of the Fermi multiplet, yields a valid quantum equivalence between the two models; the paper demonstrates this only at the component Lagrangian level and explicitly leaves the formal geometric proof for future work.","fun_headline_variants_meta":{"raw":{"variants":["E and J N=(0,2) disordered models are IR-equivalent","Higher-spin symmetry emerges in E-type N=(0,2) disorder","Duality unites E and J N=(0,2) disordered models","E-type N=(0,2) model shares J-type's higher-spin secret","N=(0,2) disordered E-model joins J-model in IR duality"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000609,"raw_usage":{"total_tokens":2681,"prompt_tokens":763,"completion_tokens":1918,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":507,"completion_tokens_details":{"reasoning_tokens":1829}},"tokens_in":507,"tokens_out":1918,"duration_ms":14253,"temperature":1.0,"reasoning_tokens":1829,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-03T11:13:33.332536+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the full eigenvalue spectrum of the E-type ladder kernel matrix at finite q and μ, not just its characteristic determinant, and compare with the J-type spectrum at the poles k = ±1. If any eigenvalue differs, or if the four-point function deviates at subleading order in 1/N, the claimed IR equivalence fails. Alternatively, check directly whether λ ↔ ¯λ changes the chirality of the (0,2) theory in a way that alters left-right asymmetric observables.","supporting_citations":[],"review_version":1}