{"id":"c121bd99-1787-430d-be57-0dd7deefc15c","arxiv_id":"2601.11736","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":5.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":2,"one_line_summary":"Weyl group reflections act as Seiberg-like dualities on A_n quiver gauge theories, mapping stability chambers to each other while conjecturally leaving the quiver Yangian Y(sl_{n+1}) invariant.","lead":"This paper proposes that the Weyl group — the symmetry that shuffles the root systems of a Lie algebra such as sl_{n+1} — also acts on solutions to ADHM-like quiver equations as a set of duality transformations, called Weyl mutations, and that these mutations leave the associated Yangian BPS algebra invariant. The authors make this concrete for A_n-type quivers, check it in detail for the smallest cases (sl_2 and sl_3), and sketch the extension to B_n, C_n, F_4, and G_2.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Inverse direction of Rule 4 is not exact (Sec. 4.1 Remark 5, App. B.1): the claimed bijection w^{-1}(v) used to define wY in Eq. (5.15) is not supplied by the mutation rules, so the wall-crossing isomorphism (5.16) is conditional.","rationale":"The reader's weakest-assumption analysis and my independent reading converge on the same load-bearing point: Rule 4 of Sec. 4.1 exactness is the mechanism that turns mutated ansätze into genuine solutions and makes Weyl mutations bijections on fixed-point sets. The manuscript itself, in Remark 5 and in App. B.1, provides the decisive evidence that this mechanism is not exact in the inverse direction, and that the failure is not confined to exotic cases — it occurs already for the h=1 A_1 quiver, which is of the standard Nakajima type. This matters because the construction of wY in Eq. (5.15) depends on the inverse pre-image map w^{-1}(v). The forward direction from the cyclic chamber may survive the orientation convention ζ_a>0→ζ_a<0, but the inverse direction needed to define w^{-1} is exactly where the rules break. The existing positive evidence is real — explicit low-rank fixed-point lists, numerical checks of the ansätze, and one checked hysteresis relation for sl3 — but it does not repair the definitional gap in the general construction. I do not think this warrants rejection: the authors are transparent about the limitation, the examples are numerous, and the proposed remedy involving complex stability parameters may well be viable. However, the central claim as stated is not established by the rules as written. Since the reader's verdict was already CONDITIONAL, no adjustment is needed.","tokens_in":44410,"tokens_out":7737,"duration_ms":80989,"concrete_test":"Perform the inverse-mutation exactness check for the explicit A_3 example. Using the 20 cyclic-chamber atomic plots of Q_{3,2,2} in App. B.3, follow the chain s_2 and s_1 to Ph5, then invert the chain step by step with Rule 4 (Eqs. (4.4)-(4.5)). At each inverse step, construct α and β from the actual morphism matrices and verify the short exact sequence: dim(ker β) = h δ_{a,u}+d_{a-1}+d_{a+1} and Im α = ker β. If any step fails — as the analogous A_1 inverse in App. B.1 already does — then the map w^{-1}(v) used in Eq. (5.15) is not a consequence of the stated rules, and the isomorphism (5.16) has not been demonstrated for n=3, let alone general n.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim requires that every non-cyclic chamber is reached from the cyclic one by Weyl mutations and that fixed points in any chamber are in bijection with cyclic-chamber fixed points. The bijection is implemented by Rules (4.1)-(4.6), specifically Rule 4, which postulates that α and β in (4.4) form the short exact sequence (4.5). The paper itself flags in Remark 5 of Sec. 4.1 that Rule 4 is “approximate” and “does not work always exactly,” and that one must decide by hand which theory is Q and which is Q̌. Appendix B.1 gives an explicit inconsistency: applying the inverse mutation s_1^{-1} from Ph− to Ph+ for Q_{1,1,h} yields R=0, Š=0, α=β=0, which is not a short exact sequence. The authors say this can be cured by selecting Q to have ζ>0 and Q̌ to have ζ<0, or by complex stability parameters, but this orientation choice is not built into the rules and is not proven for general sequences. Because Eq. (5.15) defines the non-cyclic chamber algebra wY by pulling fixed points back to the cyclic chamber via w^{-1}, the inverse direction is load-bearing. Without an exact inverse mutation, w^{-1}(v) is not canonically determined, the generators of wY are not defined by the stated algorithm, and the isomorphism (5.16) is not established. The single checked hysteresis equality (5.17) in one phase of sl3 tests one relation among matrix elements, not the well-definedness of the mutation map.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies wall-crossing in quiver Yangians associated with A_n-type quivers. It proposes a set of 'Weyl mutation' rules (Sec. 4.1, Eqs. (4.1)–(4.6)) intended as Seiberg-like dualities, and claims that these mutations act on fixed points of the ADHM equations (3.3), preserve the DT generating function, and induce an isomorphism (Eq. (5.16)) between the quiver Yangian in any stability chamber and Y(sl_{n+1}). The construction is tested on explicit examples for sl_3, sl_4, so_5≃sp_4, and g_2 (Apps. B–C), with special focus on the sl_3 case. The paper also sketches generalizations to non-simply laced Dynkin diagrams.","tokens_in":44848,"tokens_out":6215,"duration_ms":72531,"significance":"If the central claim were established, the paper would provide a systematic solution-generating technique for ADHM-like equations, and would connect Weyl-group actions, Seiberg duality, and wall-crossing invariance of quiver Yangians. The manuscript contains valuable explicit material: complete lists of fixed points for sl_3 in all chambers, mutation computations for sl_4, and concrete proposals for B_2 and G_2 quivers. These examples are the paper's main strength. However, the claimed general A_n wall-crossing invariance and the isomorphism (5.16) are not proven in the text; the authors themselves call the mutation rules a 'hypothesis' (Sec. 4.1) and list the general sl_{n+1} check as an open problem (Conclusion). The most load-bearing rule, Rule 4, is acknowledged to be 'approximate' and to fail in the inverse direction (Sec. 4.1 Remark 5, App. B.1). Because the definition of the w-phase algebra in Eq. (5.15) relies on the inverse mutation map w^{-1}, the failure of exactness directly undermines the claimed isomorphism. The paper is therefore best viewed as a well-illustrated conjecture with strong low-rank evidence, not as a proof of the stated theorem.","major_comments":[{"comment":"Rule 4 is the engine that turns a mutated ansatz into a genuine solution, via the short exact sequence (4.5). The authors state in Remark 5 that this rule is 'approximate' and 'does not work always exactly.' App. B.1 demonstrates the failure in the inverse direction: applying s_1^{-1} from Ph_- to Ph_+ for Q_{1,1,h} gives R=0, Š=0, α=β=0, which is not a short exact sequence. The suggested cure—choosing the Q theory to have ζ>0 and Q̌ to have ζ<0, or adding complex stability parameters—is not part of the rules and is not proven for general sequences. Since Eq. (5.15) defines the w-phase generators through the pre-image w^{-1}(v), the entire construction depends on a bijective inverse mutation map. The paper does not provide such a map. This is a load-bearing gap, not a cosmetic one.","section":"Sec. 4.1, Rule 4 and Remark 5; App. B.1"},{"comment":"The abstract and Sec. 7 state that the quiver Yangian is a wall-crossing invariant and is isomorphic to Y(sl_{n+1}), but Sec. 5.3 verifies this only for sl_3, and the Conclusion lists 'checking the validity of the proposed Weyl action in more general cases of Y(sl_{n+1})' as an open problem. Moreover, the sl_3 check is not exhaustive: Eq. (5.17) verifies a single equality of E- and F-matrix-element products in one phase, which is one instance of the hysteresis relations (5.9), not a derivation of all Yangian relations (5.2) or of the full algebra isomorphism. The ψ_a parameters also change from phase to phase (Eq. (5.18)), so the claim that the same abstract algebra survives across chambers needs a substantially more complete verification, or a clearly stated conjectural status.","section":"Sec. 5.3, Eq. (5.16); Conclusion"},{"comment":"The definition of wY(sl_{n+1}) is made by pulling fixed points back to the cyclic chamber via w^{-1}. This makes the isomorphism (5.16) substantially built into the definition: the generators are labeled by cyclic-chamber Young diagrams, and matrix elements are computed from those pre-images. What still needs checking is whether the resulting operators satisfy the hysteresis relations (5.9) and the Yangian relations. The paper checks one such relation for sl_3. For general w, no proof is given that w^{-1} is well-defined, independent of the chosen decomposition of w, or indeed that every chamber is reached by a unique sequence of mutations. Given the failure of the inverse mutation in App. B.1, the canonical nature of w^{-1} cannot be assumed.","section":"Eq. (5.15) and Sec. 5.3"},{"comment":"The claim that every stability chamber is the orbit of the cyclic chamber under Weyl mutations, and that fixed points in any chamber are in bijection with cyclic-chamber fixed points, is asserted rather than proven. The examples cover sl_3 completely, but for sl_4 only a chain of chambers (Ph1→Ph3→Ph5) is traced in App. B.3, and for B_2 and G_2 only selected phases are shown (Apps. C.1–C.2). This is not sufficient to establish the general A_n statement or the claimed invariance of the DT generating function (3.7), which is made in Eq. (3.8) and Remark 6. The derivation 'dimension transformation rule (4.2) is such that vector weights remain invariant' assumes the bijection already exists. As it stands, the DT invariance is a conjecture supported by examples, not a theorem.","section":"Sec. 3.3 and Sec. 4.1, Remark 6"}],"minor_comments":[{"comment":"The Yangian relations as printed appear to be missing the mode shifts. For example, the standard relation is [h_i^{(k)}, e_j^{(m)}] = A_{ij} e_j^{(k+m)} and similarly for f; as written, the equations imply no dependence on k, which is inconsistent with the mode-shifting formula (5.3). Please correct these relations.","section":"Eq. (5.2)"},{"comment":"The equivariant charge table is ambiguous: five fields (A_a, B_a, C_a, R, S) are listed but six charge entries appear. Presumably C_a has charge −ϵ_1−ϵ_2; please format the table accordingly.","section":"Sec. 3.1, table below Eq. (3.2)"},{"comment":"The dimension shift hδ_{a,u} is introduced with only a heuristic justification via a 'dummy stability parameter' at the framing node. Since this correction is essential for the weight-invariance argument in Remark 6, a more explicit derivation would help the reader.","section":"Sec. 4.1, Eq. (4.2) and Remark 3"},{"comment":"The atomic structure plots in the mutation chains (B.33) are not visible in the manuscript text; several entries appear empty. If these are meant to be diagrams, they must be included. Without them the sl_4 mutation verification cannot be followed.","section":"App. B.3"},{"comment":"The abstract and conclusion state 'we showed' results that are later qualified as conjectural or open. This mismatch should be corrected in revision by either adding proofs or clearly labeling the general statements as conjectures supported by low-rank evidence.","section":"Abstract and Sec. 7"}],"recommendation":"major_revision","confidential_remarks":"The paper is a programmatic, example-driven study. The low-rank computations are useful and largely convincing as evidence, but the advertised general theorem is not established. The most serious issue is the acknowledged failure of the inverse mutation rule (App. B.1), which is load-bearing for the definition (5.15) and the isomorphism (5.16). If the authors are willing to reframe the central claims as conjectures with explicit evidence, the paper could be acceptable after revision; otherwise, a proof of Rule 4 or a complete verification for all A_n would be needed. The lack of machine-checked code or formal proofs is not disqualifying for a hep-th paper, but it makes the numerical checks in the appendices hard to audit as presented."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"This is a serious, self-aware proposal to organize wall-crossing in quiver Yangians through Weyl group mutations, but the load-bearing isomorphism is only checked for sl3 and one of the mutation rules is admitted to be approximate. Treat it as a promising research program, not a theorem.\n\nWhat is new: the paper assembles known ingredients — Weyl group action on Nakajima quiver varieties, quiver Yangians, and the authors' earlier mutation ideas — into a systematic picture: Weyl mutations act as Seiberg-like dualities on the framed A_n quiver, map the cyclic chamber to all chambers, and should make the BPS/Yangian algebra chamber-independent. The explicit atomic-plot computations for sl3 and sl4, the hysteresis check in phase V, and the conjectural extension to B_n, C_n, F_4, G_2 are real work. The authors are commendably honest, flagging Remark 5 in Sec. 4.1 and the missing general proof in Sec. 7.\n\nSoft spots: the central engine, Rule 4, postulates a short exact sequence that is not exact in general; Appendix B.1 shows the inverse mutation fails for Q_{1,1,h} without choosing an orientation by hand. That means w^{-1}(v) in Eq. (5.15) is not canonically determined, so the wall-crossing isomorphism (5.16) is conditional, not established. The isomorphism is also partly built into the definition: wY generators are pulled back from the cyclic chamber, so the claim that wY ≅ Y is closer to a construction than to a proof. The single hysteresis equality (5.17) tests one relation, not the full algebra. The general A_n case is explicitly left open, and the non-simply laced extension is conjectural.\n\nWho it's for: anyone working on quiver Yangians, BPS algebras, or wall-crossing in quiver mechanics. It is a useful source of examples and a plausible roadmap, but not a definitive result.\n\nRecommendation: send to peer review. A good referee can separate the solid examples from the conjectural framework and push the authors to either fix the inverse mutation problem or restate the main claim as a conjecture with supporting evidence. It is not a desk reject.","headline":"Serious hypothesis-driven program for Weyl-group wall-crossing in quiver Yangians, but the central isomorphism is conditional on an approximate mutation rule.","tokens_in":45347,"tokens_out":2256,"would_cite":true,"duration_ms":25401,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["17B37","16G20","14D21"],"pacs":[],"model":"deepseek-v4-flash","headline":"This paper argues that the Weyl group of sl_{n+1}, acting as electric-magnetic self-dualities on the A_n quiver family, moves solutions between all stability chambers while leaving the quiver Yangian and the DT generating function invariant","keywords":["quiver Yangian","Weyl mutations","wall-crossing","ADHM equations","quiver varieties","Yangian Y(sl_{n+1})","DT generating function","electric-magnetic duality"],"falsifier":"Solve the quiver equations (3.3) directly in a non-cyclic chamber where rule 4 is approximate, for example phase 5 of Q_{3,2,2} with ζ = (ζ1+ζ2, −ζ2, ζ2+ζ3), and count the solutions; if the count does not reproduce the cyclic-chamber DT generating function (B.32), the claimed wall-crossing invariance and the isomorphism wY(sl4) ≅ Y(sl4) fail. A sharper test is the sl2 inverse mutation, where the naive α and β are both zero and no short exact sequence exists.","tokens_in":44237,"feed_emoji":"🔄","tokens_out":8544,"duration_ms":80826,"temperature":0.7,"pith_summary":"The paper aims to establish that the BPS algebra of a family of A_n quiver gauge theories known as the quiver Yangian does not change under wall-crossing. The mechanism is a group of self-dualities, called Weyl mutations, which is isomorphic to the Weyl group of sl_{n+1} and acts on stability parameters and quiver dimensions much as the Weyl group acts on roots and weights. Starting from the cyclic chamber, where fixed points are boxed three-dimensional Young diagrams, these mutations are claimed to transport every solution to every other chamber. If the argument is right, the Yangian Y(sl_{n+1}) constructed in any chamber is isomorphic to the standard cyclic-chamber Yangian, and the DT partition function counting BPS states is exactly wall-crossing invariant.","feed_headline":"Wall-crossing leaves the quiver Yangian unchanged","feed_subtitle":"sl_{n+1} Weyl-group dualities connect every stability chamber and keep the BPS counting function invariant.","key_machinery":"The central object is the Weyl mutation, a set of rules (4.1)–(4.6) on the framed A_n quiver. Its load-bearing part is the fourth rule: the mutated maps α and β must form a short exact sequence 0 → V̌_a → C^{hδ_{a,u}} ⊕ V_{a−1} ⊕ V_{a+1} → V_a → 0, with h copies of the framing space when the framed node is mutated. This exactness is what turns a mutated ansatz into a genuine solution of the quiver equations (3.3), and it is the step the paper itself flags as approximate. The mutations act on atomic-structure plots of fixed points, carrying boxed plane-partition labels from the cyclic chamber to every other chamber.","core_discovery":"The central claim is that the phase-shifted quiver Yangian wY(sl_{n+1}) is isomorphic to the ordinary Yangian Y(sl_{n+1}), and more broadly that the quiver Yangian is a wall-crossing invariant. The paper constructs this by exhibiting Weyl mutations as electro-magnetic dualities on the framed A_n quiver Q_{n,u,h}: stability parameters transform by Weyl reflections, dimensions transform like fundamental weights with a framing correction, and the mutated maps are required to form a short exact sequence. Acting on fixed points, these mutations map the cyclic chamber (labelled by boxed plane partitions) onto every stability chamber. The DT generating function is shown to stay the same across all","pith_inferences":["The authors' caveat on rule 4 implies that the chamber-to-chamber bijection may fail exactly where the short exact sequence degenerates; a natural test is whether the inverse mutation from the negative sl2 chamber, where α and β both vanish, can be repaired by a suitable choice of complex stability parameters.","If Weyl mutations form a genuine group action, their composition on fixed-point sets should satisfy the braid relations at the level of solutions, not just on stability parameters; the sl4 fixed-point list in the appendix is a direct place to check s1s2s1 = s2s1s2.","In the non-simply laced cases the cyclic chamber is no longer counted by plane partitions, so a new combinatorial label for fixed points is needed; computing the G2 DT generating function and matching it to the character of the (0,1) representation would be a direct test of the proposed generalization."],"forward_implications":["The DT generating function for Q_{n,u,h} is identical in every stability chamber, so the BPS state count does not change across marginal-stability walls.","Every quiver-Yangian representation outside the cyclic chamber inherits a basis labelled by pre-image boxed plane partitions, so the representation theory developed in the cyclic chamber applies globally.","The phase-valued algebra wY(sl_{n+1}) is isomorphic to Y(sl_{n+1}), meaning the Weyl group action on the Yangian is an automorphism rather than a deformation.","For non-simply laced Dynkin diagrams B_n, C_n, F_4 and G_2, the paper proposes analogous mutation rules with Cartan-matrix-weighted copies in the exact sequence; there the cyclic-chamber fixed points are no longer plane partitions."],"fun_headline_variants":["Weyl mutations keep quiver Yangian stable","Quiver Yangian survives wall-crossing","Dualities render quiver Yangian invariant","Weyl group leaves Yangian unchanged","Wall-crossing spares quiver Yangian"],"cache_read_input_tokens":2304,"weakest_assumption_plain":"The entire construction depends on the mutated maps α and β forming the short exact sequence (4.5); the paper itself calls this rule approximate and notes it does not work always exactly, so the bijection between chambers and the resulting algebra isomorphism stand or fall with this exactness.","fun_headline_variants_meta":{"raw":{"variants":["Weyl mutations keep quiver Yangian stable","Quiver Yangian survives wall-crossing","Dualities render quiver Yangian invariant","Weyl group leaves Yangian unchanged","Wall-crossing spares quiver Yangian"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000278,"raw_usage":{"total_tokens":1501,"prompt_tokens":766,"completion_tokens":735,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":510,"completion_tokens_details":{"reasoning_tokens":665}},"tokens_in":510,"tokens_out":735,"duration_ms":7168,"temperature":1.0,"reasoning_tokens":665,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-03T09:57:34.971528+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Solve the quiver equations (3.3) directly in a non-cyclic chamber where rule 4 is approximate, for example phase 5 of Q_{3,2,2} with ζ = (ζ1+ζ2, −ζ2, ζ2+ζ3), and count the solutions; if the count does not reproduce the cyclic-chamber DT generating function (B.32), the claimed wall-crossing invariance and the isomorphism wY(sl4) ≅ Y(sl4) fail. A sharper test is the sl2 inverse mutation, where the naive α and β are both zero and no short exact sequence exists.","supporting_citations":[],"review_version":1}