{"id":"bd217123-7031-4a02-bb8a-c2684bce63d5","arxiv_id":"2607.11376","paper_version":1,"verdict":"UNVERDICTED","confidence":"LOW","novelty_score":7.0,"correctness_risk":"high","formal_verification":"none","parameter_count":1,"one_line_summary":"Type D ASEP density fields decouple into independent linear SHEs under weak asymmetry, but limiting normals remain correlated by (1−e^{−4c})/(4c).","lead":"This paper studies long-time behavior of type D ASEP, a two-species particle system. In a weak-asymmetry limit the density fields decouple into independent heat equations, yet their limiting normals stay correlated by a new explicit formula.","discovery_kind":"extension","skeptic_critique":{"model":"grok-4.5","headline":"Abstract-only review cannot audit the load-bearing current-decoupling identity or the residual-correlation derivation under weak asymmetry; no further technical soft spot is identifiable beyond the Reader's.","rationale":"The Reader correctly flags that the entire scientific content of the claim is inaccessible without the body of the paper or the Lean artifacts. The abstract asserts both field decoupling (no cross-drift, vanishing noise cross-correlation) and a residual normal correlation of a specific closed form; those two statements are in tension only if the current-decoupling identity fails to control the joint fluctuations at the required precision. Because no equations, lemmas, or proofs are present, no finer-grained concern (e.g., an implicit boundedness assumption, a missing continuum-limit interchange, or an incorrect normalization of the correlation) can be formulated. The honest stress-test outcome is therefore agreement with the Reader: keep UNVERDICTED / LOW confidence until the identity and the correlation derivation can be audited. The concrete test above is the minimal check that would settle whether the claimed residual correlation is a genuine consequence of the model or an artifact of an incomplete decoupling.","tokens_in":2200,"tokens_out":583,"duration_ms":4635,"concrete_test":"Obtain the full text (or the Lean formalization) and verify that the exact current-decoupling identity is stated and proved at the level of joint generating functions or characteristic functions of the two currents, with error bounds sufficient for the N^{-1} hydrodynamic and N^{-1/2} fluctuation scales when q=1-c/N^{2}; then recompute the covariance of the two limiting normals from that identity and check that it equals (1-e^{-4c})/(4c).","verdict_should_be":"UNCHANGED","load_bearing_attack":"No significant objection identified beyond the Reader's. The central claim (field-level decoupling of the two density fluctuation fields to independent linear SHEs under q=1-c/N^{2}, together with residual correlation (1-e^{-4c})/(4c) of the limiting normals) rests on an exact current-decoupling identity and on the product structure of reversible measures / U_q(so_{2n}) duality taken from the prior construction of type D ASEP. With only the abstract available, those identities cannot be checked at the precision needed for the weak-asymmetry scaling limit, nor can the derivation of the specific correlation formula (or the Bessel–Struve expression for positive parts) be inspected. That is precisely the Reader's weakest_assumption; no independent, more load-bearing technical gap is visible from the abstract alone. The claimed Lean formalization is noted but not inspectable here, so it does not resolve the gap.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.5","summary":"The manuscript studies long-time asymptotics of type D ASEP, a two-species asymmetric exclusion process on Z constructed via U_q(so_{2n}), whose reversible measures and orthogonal polynomial dualities factor as products of single-species ASEP data. Using an exact current-decoupling identity, it claims that in the fixed-q regime the hydrodynamic limit and Tracy–Widom fluctuations of the two species decouple. In the weak-asymmetry regime q=1−c/N² it claims that the two density fluctuation fields each converge to a linear stochastic heat equation with no cross-coupling in drift or noise (vanishing cross-correlation of noises), yet the two limiting normal random variables remain correlated with exact correlation (1−e^{−4c})/(4c), the positive parts involving a Bessel–Struve expression. The body is stated to have been AI-generated and Lean-formalized.","tokens_in":2350,"tokens_out":902,"duration_ms":12764,"significance":"If the claims hold, the result is of genuine interest in integrable probability: field-level decoupling to independent linear SHEs coexisting with a residual, explicit, parameter-dependent correlation of the limiting normals is unexpected and would refine the picture of multi-species Edwards–Wilkinson scaling. The exact formula (1−e^{−4c})/(4c) and the Bessel–Struve expression for positive parts are falsifiable and, if correct, constitute a concrete new prediction. The asserted Lean formalization of the proofs, if complete and checkable, would be a substantial methodological strength. The work sits naturally in the line of ASEP/KPZ scaling limits and quantum-group dualities.","major_comments":[{"comment":"The entire fixed-q and weak-asymmetry analysis is stated to rest on an exact current-decoupling identity (Abstract). That identity is load-bearing for both the claimed hydrodynamic/TW decoupling and the residual normal correlation. With only the abstract available, the identity cannot be inspected at the precision required for the weak-asymmetry scaling limit (error estimates, uniformity in the scaling parameter c, passage from microscopic currents to continuum fields). Without that verification the central claims remain unassessable.","section":null},{"comment":"Abstract: the residual correlation (1−e^{−4c})/(4c) of the two limiting normals, together with the Bessel–Struve formula for positive parts, is presented as an exact asymptotic output under q=1−c/N². The derivation of this specific constant from the decoupled linear SHEs plus the microscopic initial/product structure is not inspectable here; any gap in the passage from vanishing noise cross-correlation to a nonzero normal correlation would collapse the main surprise of the paper.","section":null},{"comment":"Abstract: the product structure of reversible measures and U_q(so_{2n}) orthogonal polynomial duality is taken from the prior construction of type D ASEP. The weak-asymmetry argument requires that this product structure survive at the level of fluctuation fields and second-moment asymptotics. That inheritance is not checkable from the abstract alone and is a second load-bearing input for both decoupling and residual correlation.","section":null}],"minor_comments":[{"comment":"Abstract only: notation for the two density fields, the precise initial conditions, and the definition of the positive-part correlation via the Bessel–Struve function should be fixed in the introduction once the full text is available.","section":null},{"comment":"The claim that the body (except abstract and introduction) was written by Claude Opus 4.8 / Fable 5 and formalized in Lean should be accompanied, in any revision, by a public repository link and a statement of what was machine-checked versus human-verified.","section":null}],"recommendation":"uncertain","confidential_remarks":"Only the abstract was available for this review; a proper technical assessment is impossible until the full manuscript and the claimed Lean formalization are supplied. The AI-authorship claim and the Lean/Aristotle formalization are unusual and potentially valuable, but the editor should require the Lean code and a human verification statement before any further review cycle. Scope appears appropriate for math-ph / probability if the proofs hold."},"author_rebuttal":null,"desk_editor":{"model":"grok-4.5","letter":"The one thing worth knowing is the claimed residual correlation. Under weak asymmetry q=1-c/N^{2} the two density fluctuation fields of type D ASEP each go to an independent linear SHE (no cross-drift, vanishing noise cross-correlation), yet the two limiting normals stay correlated with exact value (1-e^{-4c})/(4c); positive parts involve the Bessel–Struve function. That formula is the new piece.\n\nThe rest is largely expected from the model’s construction. Type D ASEP was built from U_q(so_{2n}) so its reversible measures and orthogonal-polynomial duality are products of two single-species copies; the fixed-q hydrodynamic and Tracy–Widom decoupling then follow from an exact current-decoupling identity. The paper states those theorems cleanly and, if the Lean formalization (Aristotle) plus human verification actually holds, that is real evidence of the sort we should credit.\n\nThe soft spot is simply that we have only the abstract. The load-bearing current-decoupling identity and the transfer of the product duality into the weak-asymmetry scaling limit cannot be inspected, nor can the derivation of the specific correlation. That is exactly the risk the reader flagged; nothing more load-bearing appears from the abstract alone. Free parameter c is the usual weak-asymmetry scale, not an invented fudge. Circularity is low: the correlation is presented as an asymptotic output, not a fitted target.\n\nThis is for people who already work on multi-species ASEP, duality, and Edwards–Wilkinson limits. They get an explicit new formula that can be checked in simulations and that sharpens the picture of residual correlations after field decoupling. It does not reorganize the broader KPZ landscape, but inside the subfield it is concrete enough to deserve a serious referee rather than a desk reject. I would send it out, with the request that the Lean artifacts be made public and that the referee verify the current-decoupling step at the needed precision.","headline":"Clean claimed residual Gaussian correlation after field decoupling in type-D ASEP weak-asymmetry limit; only abstract available so the Lean-checked proofs stay unaudited.","tokens_in":3039,"tokens_out":511,"would_cite":false,"duration_ms":11960,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["60K35","82C22","60H15","60F05"],"pacs":[],"model":"grok-4.5","headline":"Type D ASEP density fields fully decouple under weak asymmetry, yet the two limiting normals stay correlated by (1-e^{-4c})/(4c).","keywords":["type D ASEP","weak asymmetry","Edwards-Wilkinson","stochastic heat equation","current decoupling","orthogonal polynomial duality","Tracy-Widom","Bessel-Struve"],"falsifier":"Compute the empirical correlation of the two integrated density fluctuations for type D ASEP at q = 1 − c/N^{2} for large N and several values of c; the measured correlation must converge to (1 − e^{−4c})/(4c), and the positive-part correlations must match the Bessel–Struve expression, or the claim is false.","tokens_in":3002,"feed_emoji":"📐","tokens_out":970,"duration_ms":6609,"temperature":0.7,"pith_summary":"Type D ASEP is a two-species asymmetric exclusion process on the line in which particles of two conserved species hop, form bound pairs, and unbind. Its reversible measures and duality functions are products of two independent single-species ASEP copies, suggesting that the species should decouple at large scales. Using an exact current-decoupling identity, the paper proves that this prediction is sharp: in the fixed-q regime the hydrodynamic profiles and Tracy–Widom fluctuations of the two species separate completely. In the weak-asymmetry (Edwards–Wilkinson) window q = 1 − c/N^{2} the two density fluctuation fields each converge to an independent linear stochastic heat equation with no cross terms in drift or noise. Surprisingly, the two limiting normal random variables that capture the integrated fluctuations remain correlated, with exact correlation (1 − e^{−4c})/(4c) and with positive-part correlations given by the Bessel–Struve function. The result shows that product structure at the microscopic level forces field-level independence while still permitting a residual macroscopic correlation that is invisible to the stochastic heat equations themselves.","feed_headline":"Two ASEP fields fully decouple, yet normals stay correlated by (1-e^{-4c})/(4c)","feed_subtitle":"Weak-asymmetry type D ASEP yields independent heat equations but a residual normal correlation fixed by c.","key_machinery":"An exact current-decoupling identity (inherited from the product structure of the reversible measures and the orthogonal polynomial duality functions coming from U_q(so_{2n})) that separates the currents of the two species at every finite time and thereby controls both the field-level decoupling and the residual normal correlation.","core_discovery":"In the weak-asymmetry regime q = 1 − c/N^{2} the two density fluctuation fields of type D ASEP each converge to a linear stochastic heat equation with vanishing cross-correlation of noises and no cross-coupling in the drift, yet the two limiting normal random variables remain correlated with exact correlation (1 − e^{−4c})/(4c); positive parts of those normals have correlations expressed by the Bessel–Struve function. In the fixed-q regime the same current-decoupling identity yields complete separation of hydrodynamic limits and Tracy–Widom fluctuations.","pith_inferences":["The same current-decoupling mechanism should produce analogous residual correlations for other multi-species models whose duality functions factor as products of single-species dualities.","The correlation (1 − e^{−4c})/(4c) may appear as the covariance of two integrated solutions of independent stochastic heat equations driven by a common initial measure that is itself product but not fully independent.","If the bound-pair binding rate is scaled independently of q, the residual correlation could acquire a second continuous parameter, offering a testable two-parameter family."],"forward_implications":["Fixed-q hydrodynamics and Tracy–Widom statistics of the two species factor completely into independent single-species ASEP limits.","Weak-asymmetry density fields each satisfy an uncoupled linear stochastic heat equation whose noises are uncorrelated.","The residual correlation of the two limiting normals is universal in c and given exactly by (1 − e^{−4c})/(4c).","Positive parts of those normals have correlations controlled by the Bessel–Struve function, furnishing an explicit non-Gaussian joint law."],"fun_headline_variants":["Type D ASEP fields decouple to independent SHE; normals correlate by (1-e^{-4c})/(4c)","Weak-asymmetry ASEP: uncoupled heat equations, residual normal correlation (1-e^{-4c})/(4c","Two ASEP density fields fully decouple yet keep normal correlation (1-e^{-4c})/(4c)","Fixed-q type D ASEP hydrodynamics and Tracy-Widom fluctuations completely separate","ASEP fluctuation fields lose cross-coupling; limiting normals retain exact factor (1-e^{-4"],"cache_read_input_tokens":128,"weakest_assumption_plain":"The entire argument rests on an exact current-decoupling identity taken as given from the prior algebraic construction of type D ASEP; if that identity fails at the precision needed for the weak-asymmetry scaling limit, both the field decoupling and the residual normal correlation collapse.","fun_headline_variants_meta":{"raw":{"variants":["Type D ASEP fields decouple to independent SHE; normals correlate by (1-e^{-4c})/(4c)","Weak-asymmetry ASEP: uncoupled heat equations, residual normal correlation (1-e^{-4c})/(4c)","Two ASEP density fields fully decouple yet keep normal correlation (1-e^{-4c})/(4c)","Fixed-q type D ASEP hydrodynamics and Tracy-Widom fluctuations completely separate","ASEP fluctuation fields lose cross-coupling; limiting normals retain exact factor (1-e^{-4c})/(4c)"]},"model":"grok-4.5","effort":"low","cost_usd":0.006096,"raw_usage":{"total_tokens":1700,"prompt_tokens":930,"num_sources_used":0,"completion_tokens":129,"cost_in_usd_ticks":60960000,"prompt_tokens_details":{"text_tokens":930,"audio_tokens":0,"image_tokens":0,"cached_tokens":256},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":641,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":930,"tokens_out":129,"duration_ms":4868,"temperature":1.0,"reasoning_tokens":641,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-07-14T01:30:59.242963+00:00","model_set":{"reader":"grok-4.5"},"falsifier":"Compute the empirical correlation of the two integrated density fluctuations for type D ASEP at q = 1 − c/N^{2} for large N and several values of c; the measured correlation must converge to (1 − e^{−4c})/(4c), and the positive-part correlations must match the Bessel–Struve expression, or the claim is false.","supporting_citations":[],"review_version":1}