{"id":"57c05e3c-e6a6-4e69-bd24-8a18f5623a65","arxiv_id":"2411.14531","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"New 3d mirror pairs are proposed for ABCD-type quivers with mixed U/SU nodes, and it is conjectured that unitary quivers containing exceptional affine Dynkin subquivers have no Lagrangian quiver mirror.","lead":"This paper expands the known families of 3d mirror pairs by mixing unitary and special unitary gauge nodes in ABCD-type quivers, then conjectures a boundary beyond which quiver gauge theories have no quiver mirror. The result provides a practical map for deciding when a 3d supersymmetric quiver has a useful mirror dual.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The Section 4 propagation step is unproven: the footnote justifying 'a Lagrangian theory cannot be Higgsed into a non-Lagrangian theory' is inconsistent with the paper's own definition of Lagrangian in Section 3.","rationale":"The reader's weakest_assumption identifies the same load-bearing point: the propagation from 'the magnetic quiver decays to an exceptional affine quiver' to 'the original theory is non-Lagrangian' requires that a Lagrangian theory cannot be Higgsed into a non-Lagrangian theory. My stress-test sharpens this concern by showing that the footnote's justification does not survive the paper's own notion of Lagrangianity: a quiver gauge theory with an IR-enhanced topological symmetry is non-Lagrangian by Section 3, so the fact that a Higgsed descendant is a quiver gauge theory is insufficient. The paper is otherwise careful and honest: the mirror-pair constructions are supported by Hilbert series checks, and the bound is explicitly labeled a conjecture. But precisely because the propagation assumption is essential to the corollary and is not established, the conditional verdict is appropriate. I recommend no change to the reader's CONDITIONAL verdict, with the concrete test above as the natural next step to either corroborate or falsify the bound.","tokens_in":31290,"tokens_out":19806,"duration_ms":177049,"concrete_test":"Perform an exhaustive computational search over small unitary quiver gauge theories: enumerate all connected good quivers with, say, at most 6 gauge nodes and ranks up to 4. For each, check whether its balance diagram contains any affine/exceptional subdiagram (which would already make it non-Lagrangian by Section 3's definition); discard those. For the remaining 'manifestly Lagrangian' quivers, apply the quiver subtraction algorithm of [31] (the electric-side dual of decay/fission) to enumerate all minimal Higgsings. If any descendant is a quiver whose balance diagram is one of the Figure 2 exceptional affine diagrams, the propagation assumption is falsified and the 3d mirror corollary fails. If no such descendant is found in the exhaustive search, the assumption gains nontrivial support.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The paper's central '3d mirror corollary' (Section 4) rests on the propagation step: from the decay/fission of a magnetic quiver to an exceptional affine quiver (Figure 2), it concludes the original theory is non-Lagrangian. The stated justification is the assumption that 'a Lagrangian theory cannot be Higgsed into a non-Lagrangian theory' (footnote 11). The footnote's supporting argument is insufficient and, on the paper's own definition of Lagrangian, internally inconsistent. Section 3 defines a theory as Lagrangian only if all symmetries are manifest in the UV Lagrangian; a quiver gauge theory with an IR-enhanced topological symmetry is explicitly treated as non-Lagrangian (this is why gauging a non-Abelian topological symmetry is said to break Lagrangianity). Footnote 11, however, claims that Higgsed descendants of a Lagrangian quiver are 'quiver gauge theories with classical flavor symmetries,' which would imply they are Lagrangian. But being a quiver gauge theory does not imply Lagrangianity under the Section 3 definition: the penultimate quivers in Figure 2 are themselves unitary quiver gauge theories, and they possess exceptional topological symmetry enhancements that are not manifest in their UV Lagrangians. Hence the footnote establishes only that a descendant has a quiver description, not that it is Lagrangian in the paper's sense. The propagation assumption is therefore unproven, and the corollary collapses if a Lagrangian quiver can be Higgsed onto a quiver with an exceptional affine enhancement.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper has two main parts. In the first part, it extends the brane-locking mechanism of [5] to Dynkin diagrams of ABCD type with mixtures of unitary and special-unitary gauge nodes, including the addition of orientifold planes, and proposes new 3d mirror pairs. Several A- and D-type pairs are checked by explicit Hilbert series computations, while B- and C-type pairs are only testable on one side because the Higgs branch of non-simply laced quivers is not computable. In the second part, the paper argues that most non-linear quiver gauge theories do not have Lagrangian mirror duals and conjectures a sharp criterion: any 3d N=4 quiver made of unitary gauge groups that contains an exceptional affine or twisted affine Dynkin subquiver (G2, F4, E6, E7, E8) does not have a Lagrangian (quiver) 3d mirror. The argument uses the Decay and Fission algorithm and a propagation assumption that a Lagrangian theory cannot be Higgsed into a non-Lagrangian theory.","tokens_in":31620,"tokens_out":9304,"duration_ms":84965,"significance":"If correct, the first part significantly enlarges the known landscape of 3d mirror pairs, and the second part provides a simple and widely applicable obstruction to the existence of Lagrangian mirrors, with potential consequences for class S theories, S-folds, and Argyres-Douglas compactifications. The paper is commendably explicit about which statements are conjectural and which are verified, and it provides concrete Hilbert series checks for the A- and D-type families. However, the central bound in Section 4 rests on an unproven propagation assumption, and the paper's own definition of 'Lagrangian' creates an internal tension that affects the meaning of the main conjecture.","major_comments":[{"comment":"The propagation assumption that 'a Lagrangian theory cannot be Higgsed into a non-Lagrangian theory' is not established, and the footnote's justification is inconsistent with the paper's own definition of Lagrangian. The footnote argues that Higgsed descendants of a Lagrangian quiver are quiver gauge theories with classical flavor symmetries, but Section 3 explicitly classifies quiver gauge theories with IR-enhanced non-Abelian topological symmetries as non-Lagrangian; the affine E8 quiver reached in (4.3) is precisely such a quiver. Therefore, the step from 'after Higgsing, Z reaches a non-Lagrangian theory Z'' to 'Z itself is non-Lagrangian' does not follow from the stated assumption, and the '3d mirror corollary' is not a consequence of the '3d mirror conjecture' unless the propagation assumption is proved. The corollary should be presented as a conjecture, or a proof of the propagation step is required.","section":"Section 4, footnote 11 and Section 3"},{"comment":"The paper's use of 'Lagrangian (quiver gauge theory)' is internally inconsistent. Section 3 defines a theory as Lagrangian only if all symmetries are manifest in the UV Lagrangian, which excludes any balanced quiver with a non-Abelian Coulomb branch enhancement. Yet the DynkinA example (2.1) has Coulomb branch global symmetry SU(4) according to Table 1, and Section 3 states that 'all the examples we've constructed so far' are Lagrangian mirror pairs. This tension directly affects the bound: under the Section 3 definition, many quivers the paper counts as Lagrangian are non-Lagrangian, so the precise meaning of 'Lagrangian (quiver gauge theory) mirror' in the corollary must be fixed, and the classification of the constructed pairs as Lagrangian should be revisited.","section":"Section 3 vs. Section 2 (e.g., (2.1), Table 1)"},{"comment":"The B- and C-type mirror pairs are not verified on both sides. The paper states that the Higgs branch of non-simply laced quivers cannot be computed, so only the Coulomb branch of the B/C quiver is matched to the Higgs branch of the orthosymplectic 'mirror', while the reverse direction is supported only by an S-duality heuristic. The abstract's claim that 'the proposed 3d mirrors DynkinBCD^U/SU_mirror are checked through Hilbert series computations' overstates this evidence and should be qualified to indicate the one-sided nature of the checks for B- and C-type quivers.","section":"Section 2.2.2 and 2.2.3, around (2.35)-(2.63)"}],"minor_comments":[{"comment":"Grammar: 'The five NS5s now moves together' should be 'move together'; also 'The Higgs branch global symmetry of of the magnetic quiver' contains a duplicated 'of'.","section":"Section 2.2.1, after (2.20)"},{"comment":"The notation 'SO(1)' for a half-hyper is unusual and should be defined explicitly the first time it appears, since SO(1) is not a standard simple group.","section":"Section 2.2.2 and 2.2.3"},{"comment":"The caption reads 'takes the form of affine Dynkin diagrams'; it should read 'take the form' to agree with the plural subject 'theories'.","section":"Section 4, Figure 2 caption"},{"comment":"The use of the symbol '§' as a name for a specific theory is confusing and should be replaced with a letter or number to avoid collision with section references.","section":"Section 4, paragraph after (4.4)"},{"comment":"This discussion is important for the paper's terminology and should be referenced or summarized in Section 3, since footnote 5 already points forward to it.","section":"Section 5, 'Are non-simply laced quivers Lagrangian?'"},{"comment":"Reference [41] is listed without year or arXiv number; it should be marked as 'to appear' or given a preprint number if available.","section":"References"}],"recommendation":"major_revision","confidential_remarks":"The paper contains interesting and potentially correct results, but the logical status of the central bound needs repair. The '3d mirror corollary' is currently presented as a corollary even though its proof relies on an unproven and, as written, internally inconsistent propagation assumption. I recommend asking the author to either prove the assumption, or clearly restate the corollary as a conjecture, and to tighten the definition of 'Lagrangian' so that the classification of the constructed Dynkin pairs is consistent with Section 3. The one-sided checks for B/C-type pairs should also be described accurately in the abstract."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"First half is genuinely useful. The brane-locking construction is extended from Dynkin A to BCD using orientifolds, with explicit mirror proposals for U/SU mixtures. The general formulas in Section 2.2 and the overbalanced cases in Appendix C are clear, and the Hilbert series checks for A and D type give real support. The B/C side is honestly flagged as one-sided: no Higgs-branch Hilbert series for non-simply laced quivers, so only the Coulomb branch of the non-simply laced quiver is compared to the mirror. That is a real limitation but not a hidden one. It would help to release the computation files, but their absence is not fatal.\n\nThe second part is a different animal. The bound is a conjecture, and the paper says so. The interesting question is whether the Decay and Fission argument actually supports it. The propagation step, from “the mirror decays to an exceptional affine quiver” to “the original theory is non-Lagrangian”, relies on footnote 11: a Lagrangian theory cannot be Higgsed to a non-Lagrangian one. As stated, that footnote does not work under the paper’s own definition of Lagrangian from Section 3. There, a quiver gauge theory with an IR-enhanced non-Abelian topological symmetry is explicitly non-Lagrangian. The footnote’s claim that Higgsed descendants are “quiver gauge theories with classical flavor symmetries” only shows they have a quiver description; it does not show the exceptional IR enhancement is absent. The affine E8 quiver in Figure 2 is itself a unitary quiver gauge theory, and presumably carries such an enhancement. So the footnote proves too little. The propagation assumption may be true, but it needs a real argument or a more careful statement of what counts as Lagrangian. This is the load-bearing point for the corollary, and a referee should push hard here.\n\nThere are also smaller caveats: the “most non-linear quivers” framing in Section 5 goes beyond what the examples show, and the B/C mirror proposals rely on S-duality intuition in addition to the one-sided checks. Neither is disqualifying if the paper is read as a construction plus a conjecture.\n\nBottom line: the U/SU BCD mirror pairs are worth having, and the bound conjecture is worth stating even if its current justification has a hole. A serious referee can handle this. I would send it to review, with explicit instruction to focus on Section 4 and footnote 11.","headline":"Useful new U/SU mirror pairs for BCD quivers, wrapped around a clearly labeled bound conjecture whose main propagation step is not actually justified under the paper's own definition of Lagrangian.","tokens_in":32106,"tokens_out":4239,"would_cite":true,"duration_ms":42464,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"deepseek-v4-flash","headline":"Exceptional affine Dynkin subquivers block Lagrangian 3d mirrors","keywords":["3d mirror symmetry","quiver gauge theory","N=4 supersymmetry","brane locking","magnetic quivers","decay and fission","affine Dynkin diagrams","non-Lagrangian theories"],"falsifier":"Construct a 3d N=4 unitary quiver that contains the affine E8 unitary subquiver and exhibit a Lagrangian quiver-gauge-theory mirror whose Higgs and Coulomb branch Hilbert series match exactly on both sides.","tokens_in":31057,"feed_emoji":"🔁","tokens_out":4788,"duration_ms":48212,"temperature":0.7,"pith_summary":"This paper maps where Lagrangian, quiver-shaped 3d mirror pairs can exist. It first argues that the known family of finite A, B, C, D Dynkin quivers can be vastly expanded: any gauge node may be replaced by a special unitary node, and a mirror quiver can still be found by locking NS5 branes in webs with orientifold planes. It then conjectures a sharp boundary: any 3d N=4 quiver built from unitary gauge groups that contains an exceptional affine Dynkin subquiver of type G2, F4, E6, E7, or E8 has no Lagrangian quiver-gauge-theory mirror. If correct, a single structural feature of the quiver diagram decides non-Lagrangian status, while the expanded Dynkin families sit on the allowed side of the boundary.","feed_headline":"Exceptional affine Dynkin subquivers block Lagrangian 3d mirrors","feed_subtitle":"One structural feature decides when unitary quivers have no quiver-gauge 3d mirror; new U/SU mirror pairs fill the map.","key_machinery":"The carrying object is the list of six exceptional affine and twisted affine Dynkin quivers built from unitary gauge groups: the affine E8, E7, E6, F4, and G2 diagrams. The mechanism is the Decay and Fission algorithm, which implements Higgsing on magnetic quivers, paired with the brane-locking construction that converts unitary nodes into special unitary nodes by forcing NS5 branes to move together, with orientifold planes playing the analogous role for BCD-type quivers.","core_discovery":"The paper's central claim is a bound on the 3d mirror landscape: for a 3d N=4 quiver gauge theory with unitary gauge groups, containing an affine or twisted affine Dynkin diagram of G2, F4, E6, E7, or E8 as a subquiver forces its 3d mirror to be non-Lagrangian, meaning it has no quiver gauge theory description. The argument runs through magnetic quivers and the Decay and Fission algorithm: Higgsing the original theory eventually produces a theory whose mirror is one of the exceptional affine quivers, and the author argues that a Lagrangian theory cannot be Higgsed into a non-Lagrangian theory. The paper also claims a systematic expansion of known Lagrangian mirror pairs: finite ABCD-type Dynkin quivers with any mixture of unitary and special unitary gauge nodes have explicit quiver mirrors obtained by brane locking in webs with ON orientifold planes. Where possible, the proposed pairs are checked by matching Coulomb and Higgs branch Hilbert series.","pith_inferences":["The subquiver test suggests a practical scanning rule for the mirror landscape: search for exceptional affine subquivers first, and only hunt for Lagrangian mirrors in quivers that pass the test.","If the propagation premise holds, non-Lagrangian status behaves like a basin property under Higgs flows, and the converse question, whether every quiver whose Higgs branches all stay Lagrangian must itself be Lagrangian, is left open.","The U/SU construction encodes the change of topological symmetry lattice in the mirror's bouquet of U(1) nodes, so the same locking language may yield an orthosymplectic version of the bound once an orthosymplectic Decay and Fission algorithm is developed."],"forward_implications":["Any unitary quiver whose diagram contains one of the exceptional affine Dynkin subquivers cannot appear in a pair of Lagrangian 3d mirrors.","The expanded DynkinABCD U/SU construction gives a large, systematic family of Lagrangian mirror pairs beyond the previously known all-unitary and orthosymplectic families.","Because the obstruction survives Higgsing, any theory that can be Higgsed to an exceptional affine quiver, including many class S and S-fold theories compactified to three dimensions, is predicted to be non-Lagrangian.","The corollary extends to unitary-orthosymplectic quivers whenever they contain one of the listed unitary subquivers.","The criterion is one-way: a quiver without those subquivers may still lack a Lagrangian mirror, so the conjecture is a necessary obstruction rather than a complete classification."],"supporting_citations":[{"why":"Defines 3d mirror symmetry and the exchange of Coulomb and Higgs branches, the duality this paper expands.","marker":"[1]"},{"why":"Supplies the good-quiver balance condition and the Coulomb branch global symmetry analysis used throughout.","marker":"[2]"},{"why":"Introduces the brane-locking mechanism for U/SU quivers that the paper extends to BCD-type Dynkin quivers.","marker":"[5]"},{"why":"Provide the Decay and Fission algorithm on magnetic quivers that carries the bound argument in Section 4.","marker":"[6, 7]"},{"why":"Give orientifold brane constructions for BCD-type Dynkin quivers and the Coulomb branch technology used to test mirror pairs.","marker":"[9, 10]"},{"why":"Supplies the tropical-geometry magnetic-quiver reading off brane webs, including the stable intersection multiplicities used in locking.","marker":"[12]"},{"why":"Establishes magnetic quivers as the general tool relating Higgs branches to Coulomb branches, the setup for decay and fission.","marker":"[28]"}],"fun_headline_variants":["Affine exceptional subquivers force non-Lagrangian 3d mirrors","Exceptional affine Dynkin subquivers block quiver mirrors","Mirror bound: exceptional affine subquivers forbid quiver duals","U/SU quiver pairs expand mirror map, exceptional affine blocks"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The argument depends on the premise that a Lagrangian theory cannot be Higgsed into a non-Lagrangian theory, since it concludes the original quiver is non-Lagrangian from the non-Lagrangian status of a Higgsed descendant.","fun_headline_variants_meta":{"raw":{"variants":["Affine exceptional subquivers force non-Lagrangian 3d mirrors","Exceptional affine Dynkin subquivers block quiver mirrors","Mirror bound: exceptional affine subquivers forbid quiver duals","U/SU quiver pairs expand mirror map, exceptional affine blocks"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000724,"raw_usage":{"total_tokens":3251,"prompt_tokens":951,"completion_tokens":2300,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":567,"completion_tokens_details":{"reasoning_tokens":2223}},"tokens_in":567,"tokens_out":2300,"duration_ms":17305,"temperature":1.0,"reasoning_tokens":2223,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-12T15:10:43.022124+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Construct a 3d N=4 unitary quiver that contains the affine E8 unitary subquiver and exhibit a Lagrangian quiver-gauge-theory mirror whose Higgs and Coulomb branch Hilbert series match exactly on both sides.","supporting_citations":[{"cited_title":"Higgs Branches of U/SU Quivers via Brane Locking","cited_arxiv_id":"2111.04745","evidence_quote":"Introduces the brane-locking mechanism for U/SU quivers that the paper extends to BCD-type Dynkin quivers."}],"review_version":1}