{"id":"57b3e0e3-b3cc-4d32-816e-d36284ff54a5","arxiv_id":"2411.12802","paper_version":1,"verdict":"CONDITIONAL","confidence":"LOW","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"A new family of 3d N=4 orthosymplectic quiver theories has trivial Higgs branches and non-trivial Coulomb branches; the smallest full moduli space is two copies of the one-F4 instanton moduli space.","lead":"This paper constructs a family of three-dimensional supersymmetric quantum field theories where one half of the vacuum space is a single point while the other half is a rich geometric space. The simplest member has full moduli space given by two copies of the one-F4 instanton moduli space, providing the first Lagrangian examples of this 'rank-zero' behavior and hints for classifying 4d theories.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The central rank-zero claim for quiver (1) rests entirely on the asserted evaluation of the Higgs branch Hilbert series in Eq. (2) to HS=1; no computation is shown, so an independent recomputation is the single decisive check.","rationale":"We read the paper in good faith. The construction is coherent and the Coulomb branch result is borrowed from [16], so the genuinely novel assertion is the trivial Higgs branch. The only explicit computational check of this assertion is the unshown evaluation of Eq. (2). The balancing argument (all nodes balanced, no flavor nodes) implies dim_H=0, and for a hyperKähler cone that is strong evidence for a point, but the explicit Hilbert series is the quantitative confirmation and is not included. The n≥5 family claim is explicitly weaker, as the paper admits the Hilbert series becomes 'increasingly challenging' past n=4 and only perturbative checks are mentioned. No internal contradiction is evident, and the mirror-symmetry discussion is plausible, but the missing computation prevents full acceptance. Our proposed test directly targets the load-bearing step: independent reproduction of Eq. (2). Because the concern is about verification rather than a demonstrated error, the appropriate verdict remains CONDITIONAL, matching the reader's initial assessment.","tokens_in":8219,"tokens_out":8283,"duration_ms":80694,"concrete_test":"Independently recompute the Higgs branch Hilbert series of quiver (1) by evaluating the group integral Eq. (2) with an independent implementation (e.g., the Mathematica-based orthosymplectic Hilbert series package used in [16], or a fresh symbolic integration with explicit characters and Haar measure for all gauge nodes, including both SO(4) nodes), up to at least order t^10. If the series is identically 1 at all orders, the concern is resolved; if any positive-power term appears, the central rank-zero claim for quiver (1) is falsified.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The most load-bearing step is the statement in §II that the Higgs branch Hilbert series of quiver (1), the integral in Eq. (2), evaluates to HS=1. This is the only quantitative evidence that the Higgs branch is trivial, and therefore it is the pillar of the paper's central claim of a rank-0 SCFT with trivial Higgs branch and non-trivial Coulomb branch. The integrand and Haar measure over SO(2)×Sp(1)×SO(4)×Sp(2)×SO(6)×Sp(3)×SO(4)×SO(4) must be handled correctly, including the global form of the SO(4) nodes and the correct character for the SO(2) vector. No integration steps, code, or numerical data are provided. For the n≥5 family, the claim is further supported only by the balancing/dimension argument (dim_H=0) and unspecified 'perturbative' checks, so the family statement is even less secure. If the integral in Eq. (2) has a nonzero term at any positive power of t, the flagship example is not a trivial-Higgs-branch SCFT, and the paper's main conclusion fails.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper proposes a family of 3d N=4 orthosymplectic quiver gauge theories, obtained by starting with T[SO(2n)] and gauging an SO(n) x SO(n) subgroup of the flavor symmetry. The central claim is that the smallest member, quiver (1), has a trivial Higgs branch and a non-trivial Coulomb branch, the latter being the product of two one-F4 instanton moduli spaces after gauging a Z2 one-form symmetry. The triviality of the Higgs branch is asserted through the evaluation of the Hilbert series in Eq. (2) to HS=1, without showing the computation. For the infinite family (3), trivial Higgs branches are inferred from balancing conditions and the dimension formula (4), together with unspecified perturbative checks. The paper also constructs the 3d mirror as a non-Lagrangian theory with trivial Coulomb branch and discusses implications for rank-zero 4d N=2 SCFTs and symplectic duality.","tokens_in":8462,"tokens_out":3585,"duration_ms":34817,"significance":"If the central claims are correct, the paper provides the first explicit Lagrangian 3d N=4 SCFTs with a trivial Higgs branch and a non-trivial hyperkahler cone Coulomb branch, with complete Higgsing and a tractable mirror description. This would be a notable step in the classification of rank-zero SCFTs and would supply concrete examples for testing symplectic duality and for investigating possible 4d uplifts. The paper is clearly written and makes good use of established tools such as the monopole formula and 3d mirror symmetry. However, the main quantitative evidence, the evaluation of Eq. (2) to HS=1, is not exhibited, and the family-wide statement for n>=5 rests on indirect arguments rather than a completed Hilbert series computation. The significance therefore hinges on a computation that the reader cannot verify from the manuscript as written.","major_comments":[{"comment":"The evaluation HS=1 is asserted without showing the integration, the character expansions, the Haar measure conventions, or any code or numerical data. This is the only explicit quantitative evidence that the Higgs branch of quiver (1) is trivial, and it is the load-bearing pillar of the paper's central claim. Please provide a complete derivation or an ancillary computation, including the treatment of all dressed operators and the global-form data of the SO(4) nodes. A single nonvanishing term at any positive power of t would invalidate the flagship example, so this point must be verifiable.","section":"§II, Eq. (2)"},{"comment":"For n>=5, the triviality of the Higgs branch is inferred from the balancing condition and the dimension count dim_H=0, plus 'perturbative' checks that are not specified. A vanishing quaternionic dimension does not by itself imply a trivial Higgs branch: discrete quotients or singular spaces of dimension zero can have non-trivial Hilbert series. Please either provide explicit Hilbert series computations for the family or clearly state that the n>=5 claim is conjectural and supported only by the balancing/dimension argument.","section":"§III, Eq. (4)"},{"comment":"The self-duality of T[SO(8)], and later of quiver (3) for general n, is stated without proof or a specific reference. This self-duality is load-bearing for the identification of the 3d mirror and for the claim that the mirror has a trivial Coulomb branch. Please provide a derivation or cite a precise result establishing self-duality of these quivers for each n.","section":"§II.A and §III"}],"minor_comments":[{"comment":"The section heading has a typo: 'OR THOSYMPLECTIC' should read 'ORTHOSYMPLECTIC'.","section":"§II heading"},{"comment":"Please define all characters and the integration domain explicitly, and clarify the notation SO(4)_1,2 versus the two SO(4) nodes in the quiver diagram, since the global form of these nodes is important for the computation.","section":"Eq. (2)"},{"comment":"The phrase 'one-F4 instanton' should be clarified as 'the one-instanton moduli space of F4' to avoid ambiguity with other one-instanton spaces.","section":"Abstract and §II"},{"comment":"The claim that for n>=5 the Coulomb branch global symmetry is SO(2n+1) x SO(2n+1) is stated without derivation; please either cite the precise result in [16] or provide a short explanation.","section":"§III"},{"comment":"The relation between the ungauged and gauged Z2 one-form symmetry choices and the resulting Coulomb branch is described only briefly; a sentence clarifying that the factorization into (one-F4 instanton)^2 is specific to the gauged case would help avoid confusion.","section":"§II"},{"comment":"The decay diagram in Eq. (5) would benefit from a caption or additional text explaining the labels T and T' and the direction of the Higgsing map.","section":"Eq. (5)"}],"recommendation":"major_revision","confidential_remarks":"The paper's central claim depends on an unshown Hilbert series computation, and the family statement for n>=5 is supported by indirect evidence. The required fix is concrete: supply the full computation for Eq. (2) and either complete computations for the family or weaken the claim accordingly. The paper also relies heavily on the author's previous work [16] for the Coulomb branch; the novelty relative to [16] is the Higgs branch triviality claim, so the verification of that claim is essential. I would not recommend rejection if the computation can be supplied, but the present version cannot be accepted without it."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Colleague -- This is a short, clear paper with a big claim: a family of 3d N=4 Lagrangian quivers whose Higgs branch is a single point while the Coulomb branch is a nontrivial hyperKähler cone, with the smallest example having an (one-F4 instanton)^2 Coulomb branch. If true, that is the first example of its kind and it feeds directly into the rank-zero 4d N=2 discussion. The conceptual moves are solid: define rank-0 as 'either branch trivial', build the quiver by gauging an SO(4)xSO(4) flavor subgroup of T[SO(8)], use mirror symmetry to produce a non-Lagrangian mirror with trivial Coulomb branch, and connect to class S via decay and fission. The writing is transparent about conventions, including the choice to gauge the Z2 one-form symmetry, and the author explicitly credits his earlier Coulomb-branch results [16]. That is legitimate.\n\nThe main soft spot is exactly where the stress-test points. The entire rank-zero claim for the flagship quiver rests on the asserted evaluation of the Higgs branch Hilbert series in Eq. (2) to HS=1. No integration is shown, no code or numerical check is offered. This is the only explicit evidence that the Higgs branch is trivial for n=4. For the n>=5 family the support is weaker still: a dimension count and unspecified 'perturbative' checks, while the abstract and introduction claim all Higgs branches are trivial. If Eq. (2) is wrong at any positive order in t, the flagship example fails. I suspect the computation is correct -- the balancing condition gives dim_H=0, and the author's tone suggests it was checked -- but 'suspect' is not 'shown'. A referee should insist on seeing the derivation, the code, or at least a reproducible integration scheme.\n\nMinor but real: the exclusivity claim for quiver (3) as the only convergent non-free fully balanced quiver rests on unpublished work [24], and the 4d uplift speculation is admittedly speculative. Neither undermines the core.\n\nThis paper deserves a serious referee. It is a short, falsifiable result that peer review handles well: the central computation can be independently reproduced. I would send it out, with a request to include the explicit Hilbert series evaluation (or a link to code) and to temper the family-wide statement until the n>=5 checks are actually shown. If the computation reproduces, this is a nice result.","headline":"A short, candidate-driven paper claiming the first 3d N=4 Lagrangian SCFTs with trivial Higgs branch and nontrivial Coulomb branch, resting on one unshown Hilbert series computation.","tokens_in":8964,"tokens_out":3861,"would_cite":true,"duration_ms":38060,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["81T60","81T13"],"pacs":["11.30.Pb","11.15.-q","12.60.Jv"],"model":"deepseek-v4-flash","headline":"This paper claims that a family of 3d $\\mathcal{N}=4$ orthosymplectic quiver gauge theories provides the first 3d SCFTs with a trivial Higgs branch and a non-trivial Coulomb branch; for the smallest member the full moduli space is…","keywords":["3d N=4 SCFT","rank-0 SCFT","orthosymplectic quiver","Higgs branch","Coulomb branch","Hilbert series","3d mirror symmetry","F4 instanton moduli space"],"falsifier":"Recompute the Higgs-branch Hilbert series of quiver (1) from the hyper-Kähler quotient, including contributions from all dressed operators and both choices of the $\\mathbb{Z}_2$ one-form symmetry. If the resulting series has any term beyond the identity — equivalently, if the coefficient of $t^0$ is not $1$ — the central rank-zero claim is false. A cheaper check would be to exhibit any non-zero gauge-invariant combination of hypermultiplet scalars satisfying the F-term equations.","tokens_in":7992,"feed_emoji":"⚛️","tokens_out":8894,"duration_ms":89005,"temperature":0.7,"pith_summary":"The paper claims to construct the first 3d $\\mathcal{N}=4$ superconformal field theories whose Higgs branch is a single point while their Coulomb branch is a non-trivial hyper-Kähler cone. The theories are a family of flavorless orthosymplectic quiver gauge theories; in the smallest member, after gauging a $\\mathbb{Z}_2$ one-form symmetry, the Coulomb branch is the product of two copies of the one-$F_4$-instanton moduli space, and because the Higgs branch is trivial this product is the full moduli space. The paper also constructs the 3d mirror, a non-Lagrangian theory with trivial Coulomb branch and the same $F_4\\times F_4$ Higgs branch, by gauging topological symmetries of the self-mirror $T[SO(8)]$ theory. A sympathetic reader would care because these examples show that 'rank-zero' in 3d need not mean both branches are trivial, and they provide candidate magnetic quivers for 4d $\\mathcal{N}=2$ SCFTs, including the speculative rank-zero case.","feed_headline":"First 3d SCFTs with a trivial Higgs branch and a real Coulomb branch","feed_subtitle":"The smallest member's full moduli space is one-F4-instanton squared; its mirror is non-Lagrangian.","key_machinery":"The carrier of the argument is the flavorless, fully balanced orthosymplectic quiver: a quiver whose $SO$ and $Sp$ nodes each meet exactly the number of hypermultiplets prescribed by the balancing conditions of [21]. Combined with the absence of flavor nodes, balancing makes the Higgs-branch dimension vanish by the counting formula (4). The trivial-Higgs check itself is the hyper-Kähler-quotient Hilbert series (Eq. (2)), whose plethystic integral is asserted to evaluate to $1$; the Coulomb branch is read off from the monopole formula, with the choice of gauging the $\\mathbb{Z}_2$ one-form symmetry changing the lattice of dressed monopole operators. 3d mirror symmetry then converts gauging a flavor symmetry of $T[SO(8)]$ into gauging a topological symmetry of its mirror, producing the non-Lagrangian rank-zero mirror.","core_discovery":"The central discovery is that quiver (1) — an $SO(2)\\times Sp(1)\\times SO(4)\\times Sp(2)\\times SO(6)\\times Sp(3)$ theory with two extra $SO(4)$ nodes — has a trivial Higgs branch, computed by the Hilbert-series integral (2) to give $HS = 1$, and a non-trivial Coulomb branch. With the $\\mathbb{Z}_2$ one-form symmetry gauged, that Coulomb branch is the product of two one-$F_4$-instanton moduli spaces, so the full moduli space of the theory is exactly this product. The same construction extends to the infinite family (3), obtained by gauging $SO(n)\\times SO(n)\\subset SO(2n)$ in $T[SO(2n)]$; all gauge nodes are balanced and flavorless, which the paper argues forces $\\dim_H = 0$. The 3d mirror of the smallest member is a non-Lagrangian theory with trivial Coulomb branch and Higgs branch $(\\text{one-}F_4\\text{-instanton})^2$.","pith_inferences":["If the asserted $HS=1$ survives independent recomputation, the paper's balancing criterion gives a systematic search strategy: enumerate all flavorless fully balanced orthosymplectic quivers with convergent monopole formula, and each such quiver is a rank-zero Higgs-branch SCFT.","The mirror-side construction suggests a general recipe for non-Lagrangian rank-zero theories: take any self-mirror theory with a known Coulomb branch, gauge a subgroup of its topological symmetry, and the mirror will have trivial Coulomb branch whenever the gauged subgroup acts without leaving monopole operators.","The proposed 4d uplift via twisted $B_{n-1}$ VOAs is speculative in the paper; a concrete test would be to match the Schur index or vacuum character of those VOAs with the 3d superconformal index of the mirror, which could decide whether rank-zero 4d SCFTs can come from this route.","One could test the $n\\geq 5$ extrapolation directly by computing the Higgs-branch Hilbert series of the next members; if any higher member has a non-trivial Higgs branch, the family statement must be weakened to $n=4$."],"forward_implications":["The smallest quiver is a Lagrangian, completely Higgsable 3d $\\mathcal{N}=4$ SCFT whose full moduli space is $(\\text{one-}F_4\\text{-instanton})^2$.","Its 3d mirror is a non-Lagrangian rank-zero theory with trivial Coulomb branch, so rank-zero SCFTs with only one trivial branch exist on both sides of mirror symmetry.","Every member of the family (3) has trivial Higgs branch and a product Coulomb branch, giving infinitely many new examples; for $n\\geq 5$ the Coulomb branch global symmetry is $SO(2n+1)\\times SO(2n+1)$.","These quivers are positioned as magnetic quivers for 4d $\\mathcal{N}=2$ SCFTs; the smallest is linked through a decay sequence to a class-$S$ fixture with punctures $([1^7],[3^2,1],[3^2,1])$ and a twisted non-simply-laced $B_3$ VOA.","The family provides a concrete limitation on symplectic duality: infinitely many distinct Coulomb branches surject onto the same trivial Higgs branch, so a trivial Higgs branch carries no information about the Coulomb branch."],"supporting_citations":[{"why":"Establishes that 3d mirror symmetry exchanges Higgs and Coulomb branches, which is the mechanism that turns the trivial-Higgs quiver into a trivial-Coulomb mirror.","marker":"[1]"},{"why":"Previously computed the Coulomb branches of this orthosymplectic family, including the one-$F_4$-instanton-squared result for quiver (1) used here.","marker":"[16]"},{"why":"Supplies the monopole formula used to compute the Coulomb branch Hilbert series and read off the product moduli spaces.","marker":"[18]"},{"why":"Shows how gauging one-form symmetries changes the lattice of dressed monopole operators, justifying the two possible Coulomb branches for quiver (1).","marker":"[19]"},{"why":"Introduces $T[SO(8)]$, its self-mirror property, and the balancing conditions for orthosymplectic quivers used to construct the family and argue $\\dim_H=0$.","marker":"[21]"},{"why":"Provides the closely related two-$F_4$-instanton quiver, its decay to quiver (1), and the proposed class-$S$ fixture/VOA candidate for the 4d uplift.","marker":"[28]"},{"why":"Supplies the orthosymplectic decay and fission algorithm used to show the Higgsing relation between the two-quiver and quiver (1).","marker":"[31]"},{"why":"Formulates symplectic duality, the framework in which the paper exhibits infinitely many Coulomb branches mapping to the trivial Higgs branch.","marker":"[35]"}],"fun_headline_variants":["Trivial Higgs branch, F4-instanton-squared moduli","Rank-0 SCFTs: trivial Higgs, non-trivial Coulomb","Orthosymplectic quivers: trivial Higgs, F4-instanton product","New family of 3d rank-0 SCFTs with trivial Higgs","Trivial Higgs, F4-instanton pair for 3d SCFTs"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The smallest quiver's trivial Higgs branch rests entirely on the stated but not shown computation that its Hilbert series equals 1; if that computation is wrong, the central example fails.","fun_headline_variants_meta":{"raw":{"variants":["Trivial Higgs branch, F4-instanton-squared moduli","Rank-0 SCFTs: trivial Higgs, non-trivial Coulomb","Orthosymplectic quivers: trivial Higgs, F4-instanton product","New family of 3d rank-0 SCFTs with trivial Higgs","Trivial Higgs, F4-instanton pair for 3d SCFTs"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.00126,"raw_usage":{"total_tokens":5175,"prompt_tokens":974,"completion_tokens":4201,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":590,"completion_tokens_details":{"reasoning_tokens":4099}},"tokens_in":590,"tokens_out":4201,"duration_ms":28614,"temperature":1.0,"reasoning_tokens":4099,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-12T17:12:05.567539+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Recompute the Higgs-branch Hilbert series of quiver (1) from the hyper-Kähler quotient, including contributions from all dressed operators and both choices of the $\\mathbb{Z}_2$ one-form symmetry. If the resulting series has any term beyond the identity — equivalently, if the coefficient of $t^0$ is not $1$ — the central rank-zero claim is false. A cheaper check would be to exhibit any non-zero gauge-invariant combination of hypermultiplet scalars satisfying the F-term equations.","supporting_citations":[{"cited_title":"Algebraic Foundations of Su- persymmetric Quantum Field Theory","cited_arxiv_id":null,"evidence_quote":"Provides the closely related two-$F_4$-instanton quiver, its decay to quiver (1), and the proposed class-$S$ fixture/VOA candidate for the 4d uplift."},{"cited_title":"Lawrie, L","cited_arxiv_id":null,"evidence_quote":"Supplies the orthosymplectic decay and fission algorithm used to show the Higgsing relation between the two-quiver and quiver (1)."}],"review_version":1}