{"id":"0db9d5a9-6c35-428e-a316-8de5c744c748","arxiv_id":"2412.20763","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"A new near-group category Z/4Z x Z/4Z+16 is shown to exist, and the condensation of its Drinfeld center realizes a conjectured rank-10 modular data as the center of a rank-4 fusion category.","lead":"The authors prove the existence of a near-group fusion category of type Z/4Z x Z/4Z+16 and compute the modular data of its Drinfeld center, a rank-304 object. They show that condensing a subgroup symmetry produces a rank-10 modular data that was conjectured in prior work, and they identify a similar condensation in the Z/8Z+8 case with the quantum group category C(g2,4).","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Uncertified numerical solution lists for Eqs. (4)-(7) underwrite both central theorems; without exact or verified completeness of the 152 and 44 triples, the claimed modular-data identifications are not established.","rationale":"The reader's weakest assumption identifies exactly the point I find most load-bearing: the completeness and exactness of the solution lists for (4)-(7). Both main theorems ultimately derive the modular data of Z(C) from those lists via (8)-(11), and the condensation arguments in Section 3.2 and Section 3.3 select simple objects based on the resulting S and T data. If the lists are incomplete or the phases are only approximate, the rank and S-matrix of the center -- and thus the claimed realization of the rank-10 data and the C(g2,4) data -- are unsupported. The paper does provide Mathematica notebooks, which is real evidence, but notebooks alone do not certify exactness or completeness. I second the reader's CONDITIONAL verdict: the structural arguments are coherent, and the gap is addressable by a certified recomputation. I would not reject or accept outright. The omitted proof of Proposition 3.7 is a smaller, fillable gap, and the Galois-conjugate caveat in Corollary 3.14 is explicitly stated in the body, so the abstract's 'same modular data' is only mildly overstated.","tokens_in":47968,"tokens_out":7439,"duration_ms":75923,"concrete_test":"Run an independent certified solve of (4)-(7) for the Section 3.1 bicharacter and for J_8^1, using exact arithmetic over the cyclotomic field Q(zeta_80) or rigorous interval arithmetic with validated rounding, and count or compare all solutions against Tables 6 and 7. Rebuild the center S-matrix from the verified triples and check S S^dagger = Id, T-order, and integrality and nonnegativity of Verlinde coefficients. If any triple is missing or any listed xi phase differs from a certified root, the condensation claims in Theorems 3.8 and 3.13 fail.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The load-bearing step is the assertion in Section 3.1.2 and Section 3.3.1 that solving the nonlinear system (4)-(7) yields exactly 152 (respectively 44) triples (omega_i, tau_i, xi_i), recorded only as floating-point phases in Tables 6 and 7. Equations (8)-(11) build the entire 304x304 (respectively 88x88) center S-matrix from these triples, and the subsequent condensation computations -- including the rank-10 S-matrix in Theorem 3.8 and the C(g2,4) comparison in Theorem 3.13 -- are downstream of those entries. The paper supplies no certification that the decimal phases correspond to exact algebraic numbers, no proof that the solver found all solutions, and no interval or error bounds. A missed or slightly incorrect triple would change S_{j,j'} in Equation (10) and hence the fused objects used in Lemma 3.3 and Section 3.2. The existence of the near-group category itself (Proposition 3.1) is supported by explicit algebraic formulas, so the vulnerability is specifically the center computation. A secondary gap is the omitted proof of Proposition 3.7, but that is a routine elimination that a referee could verify.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies near-group fusion categories and their Drinfeld centers. It proves the existence of a near-group category of type Z/4Z × Z/4Z + 16 associated with the symmetric bicharacter (ζ_4)^{g1h1-g2h2} (Proposition 3.1), computes the modular data of its Drinfeld center (rank 304, Section 3.1.2) by solving the nonlinear system (4)–(7) from [15], and shows that the condensation by a Tannakian subcategory Rep(Z/2Z × Z/4Z) yields a rank-10 modular category whose modular data equals Equation (12) of [21] (Theorem 3.8). It further identifies this condensation with the Drinfeld center of a self-dual fusion category of rank 4 (Proposition 3.9). For the near-group category Z/8Z + 8, the paper computes the center (rank 88, Section 3.3.1), condenses by a boson, and proves that the non-pointed factor has modular data matching C(g2,4) up to the Galois conjugation specified in Corollary 3.14 (Theorem 3.13). The computations are supported by extensive tables in Appendix A and Mathematica notebooks in the arXiv source.","tokens_in":48185,"tokens_out":6028,"duration_ms":61978,"significance":"If the computational steps are certified, the paper resolves explicit conjectures from [21] and [29] and provides new realizations of modular data: the rank-10 data of [21] is realized as a condensation of the center of a near-group category and as the center of a rank-4 fusion category, and the C(g2,4) modular data is related to a near-group center. The combination of Izumi's equations with the reconstruction program of [20, 21] is natural and likely to be useful. The paper is transparent about its computational nature, shipping detailed tables and Mathematica notebooks, which is a significant strength. However, the central claims currently depend on unverified numerical solution lists and an omitted proof of a key elimination step, so the results are conditional on a certification pass.","major_comments":[{"comment":"The assertion in Section 3.1.2 that solving Equations (4)–(7) yields exactly 152 triples (ω_i, τ_i, ξ_i), and the analogous assertion for Z/8Z+8 in Section 3.3.1 yielding 44 triples, is not certified. The tables in Appendix A record only floating-point phases for ξ_i and the integer k in ω_i = ζ^k_80 or ζ^k_48, with no exact algebraic forms, no interval/error bounds, and no proof of completeness of the solver output. This is load-bearing because Equations (8)–(11) construct the entire 304×304 and 88×88 center S-matrices from these triples, and the subsequent condensation computations leading to Theorems 3.8 and 3.13 depend on those entries. A missed or slightly inaccurate triple would change S_{j,j'} in Equation (10) and hence the objects used in Section 3.2. Please provide an independent certification of both the exactness of the listed solutions and the completeness of the lists, for example by exact algebraic elimination, verified interval arithmetic, or a rigorous numerical proof.","section":"Section 3.1.2, Appendix A, and Equations (8)–(11)"},{"comment":"The proof of Proposition 3.7 is omitted with the sentence 'This proposition can be proved by using the same argument as Proposition 3.6, we omit the details here.' This is not acceptable for a load-bearing step. Lemma 3.5 gives three candidate decompositions for the congruence representation ρ_D, and Theorem 3.8 requires eliminating two of them; Proposition 3.7 eliminates ρ_1 ⊕ 2ρ_2 ⊕ ρ_0, while Proposition 3.6 eliminates ρ_1 ⊕ ρ_2 ⊕ ρ_3 ⊕ 2ρ_0. Without a complete proof of Proposition 3.7, the identification ρ_D ≅ ρ_1 ⊕ ρ_2 ⊕ ρ_4 ⊕ ρ_5 ⊕ 2ρ_0 is not established. Please include the full argument or a precise reduction to the computations of Proposition 3.6 with all necessary inequalities and sign checks.","section":"Proposition 3.7, used in the proof of Theorem 3.8"},{"comment":"The computation of the S-matrix blocks s_{X,W} and s_{W,W} is described only as 'can be computed from equations in [14] using the data from Table 7', and the T-matrix for the W-objects is presented as a list of phase angles. As with the Z/4Z×Z/4Z case, no certification is supplied that the listed phases correspond to exact algebraic numbers or that the resulting 88×88 S-matrix satisfies unitarity and the Verlinde formula exactly. Since Theorem 3.13 and Corollary 3.14 compare the condensation's modular data with C(g2,4), please provide exact algebraic values and a machine-checkable verification of the modular data, or at least a rigorous bound-based certification.","section":"Section 3.3.1 and Table 5"}],"minor_comments":[{"comment":"Proposition 3.1's uniqueness claim depends on the statement that 'only the quadratic form a1 leads to further solutions' and on the decimal phase values in Table 1. The completeness of the four solutions for b and the exactness of the Table 1 entries should be justified by an algebraic computation, even though the explicit formula in Equation (14) suffices for existence.","section":"Section 3.1.1, Table 1"},{"comment":"The symbol G is used both for the group Z/4Z × Z/4Z underlying the near-group category and for the group Z/2Z × Z/4Z used in the condensation; this creates confusion in Theorem 1 and Section 3.2. Please choose distinct notation, e.g., H for the condensation group.","section":"Sections 1 and 3.2"},{"comment":"In Equation (12) the parameter s is defined as s = -1 + 2i, while in Theorem 3.8 the S-matrix uses s = -1 + 2ζ_4. The two notations should be reconciled, since ζ_4 = i but the paper also uses ζ_4 in other contexts; a reader cannot tell without checking.","section":"Equation (12) and Theorem 3.8"},{"comment":"The factor 1/64 in the formula S_{F(V1),F(V2)} = (1/64) Σ_{g,h∈Z/4Z×Z/2Z} S_{g⊗V1,h⊗V2} should be explained explicitly as |G|^2 with G = Z/4Z × Z/2Z; the text says A acts freely but does not spell out the order-counting.","section":"Lemma 3.3"},{"comment":"The phrase 'replace ζ8 and ζ3 by their inverses' is ambiguous: the cyclotomic entries in the T-matrix of C(g2,4) involve ζ_4, ζ_{12}, and ζ_{24}, and the precise Galois automorphism should be specified.","section":"Corollary 3.14"},{"comment":"The expression 'A ⊗ W_k = ⊕_{k=1}^4 (W_k ⊕ W_{k+94})' misuses the summation index k for both the left-hand object and the summands; this should be rewritten with a distinct index or as an explicit list of four pairs.","section":"Table 2, row for W_k"},{"comment":"The notation χ_m^n is nonstandard and often ambiguous (e.g., χ_20^5, χ_180^14, χ_3^6). A short table defining χ_m^n and the values of ζ_k used throughout would greatly improve readability.","section":"General notation"}],"recommendation":"major_revision","confidential_remarks":"The paper is within the scope of the journal and addresses interesting conjectures. The central framework is sound, but the main theorems rest on uncertified numerical solution lists for Equations (4)–(7) and on an omitted proof of Proposition 3.7. I would encourage the editors to require a rigorous certification step before publication, rather than accepting the current conditional status. The authors appear to have all the computational material needed to provide such certification."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Two things worth knowing. The paper proves the existence of a near-group category of type Z/4Z x Z/4Z + 16 — the first for a non-cyclic group of order 16 — and realizes the previously conjectural rank-10 modular data from Ng–Rowell–Wen as a condensation of its Drinfeld center. That settles a concrete conjecture and extends the range of near-group classification. In the second half it computes the Drinfeld center of Z/8Z + 8 and identifies the non-pointed factor of its condensation with C(g2,4), up to Galois conjugation.\n\nWhat's actually new and done well: Proposition 3.1 gives explicit solutions to Izumi's equations for the given bi-character, and the equivalence argument among the four b-solutions is clean. The center computation is a serious calculation — rank 304 — and the full modular data is shipped in Mathematica notebooks, so the paper is reproducible. The condensation argument via étale algebra actions and reconstruction of the S-matrix from SL(2,Z) representations is substantive; Lemma 3.5 and Theorem 3.8 are real steps, not black boxes. Proposition 3.9, showing the condensed category is the center of a rank-4 fusion category, is a nice extra. Remark 3.2 honestly flags the open question about other near-group categories.\n\nSoft spots, in proportion. The 152 and 44 triples feeding Equations (8)–(11) are recorded only as floating-point phases in Appendix A. The paper does not certify that these correspond to exact algebraic numbers, nor that the solver found all solutions. The 304x304 and 88x88 center S-matrices, and consequently the condensation ranks and final identifications, all sit on that numerical list. That is the load-bearing gap. It is addressable — the structural skeleton is explicit and the data are in the source files — but a referee will need to verify or require certification. The omitted proof of Proposition 3.7 is minor: “same argument as Proposition 3.6” is acceptable if the elimination checks out. The C(g2,4) statement is overstated: Theorem 3.13 and the abstract say “same modular data,” while Corollary 3.14 reveals the match is up to replacing ζ8 and ζ3 by their inverses. That is a presentation fix, not a mathematical flaw.\n\nWho this is for: specialists in modular category classification and near-group centers. It deserves a serious referee. I would send it to review, asking for a note on the completeness/certification of the numerical solution lists and a corrected Galois statement in the abstract. Conditional accept is the right posture.","headline":"Solid new existence result and two modular-data identifications; the uncertified numerical core and a Galois-conjugate overstatement are the only serious referee issues.","tokens_in":48764,"tokens_out":2904,"would_cite":true,"duration_ms":30067,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["18M20","18M15"],"pacs":[],"model":"deepseek-v4-flash","headline":"This paper proves that two previously conjectural low-rank modular data sets are realized by condensing Drinfeld centers of near-group categories.","keywords":["near-group category","Drinfeld center","modular data","condensation","Tannakian subcategory","modular category classification","Galois conjugation","rank 10 modular data"],"falsifier":"Re-run equations (4)--(7) with certified interval arithmetic or algebraic elimination; finding even one additional solution triple $(\\xi,\\tau,\\omega)$, or showing that a listed phase $\\theta_{j,x}$ is not a rational multiple of $2\\pi$ as required, would break the rank-304 or rank-88 center computation and the derived condensation data.","tokens_in":47713,"feed_emoji":"🧮","tokens_out":8283,"duration_ms":74852,"temperature":0.7,"pith_summary":"This paper establishes that two low-rank modular data sets from classification lists are actually realized by concrete categories built from near-group fusion categories. For the group $\\mathbb{Z}/4\\mathbb{Z}\\times\\mathbb{Z}/4\\mathbb{Z}$, it proves the existence of a near-group category of type $\\mathbb{Z}/4\\mathbb{Z}\\times\\mathbb{Z}/4\\mathbb{Z}+16$ associated with the symmetric bi-character $(\\zeta_4)^{g_1h_1-g_2h_2}$, computes the modular data of its Drinfeld center (rank 304), and shows that condensing by the Tannakian subcategory $\\mathrm{Rep}(\\mathbb{Z}/2\\mathbb{Z}\\times\\mathbb{Z}/4\\mathbb{Z})$ yields the rank-10 modular data listed as Equation (12) in [21]. The same condensation is also shown to be braided equivalent to the Drinfeld center of a self-dual fusion category of rank 4. The paper additionally computes the center of a near-group category of type $\\mathbb{Z}/8\\mathbb{Z}+8$, condenses it by $\\mathrm{Rep}(\\mathbb{Z}/2\\mathbb{Z})$, and identifies the non-pointed factor's modular data with that of $C(\\mathfrak{g}_2,4)$ up to the Galois conjugation specified in Corollary 3.14. A reader should care because these results turn conjectural entries in low-rank modular-data classifications into existence statements about actual modular categories.","feed_headline":"Condensed center reproduces conjectured rank-10 modular data","feed_subtitle":"A near-group category's Drinfeld center condenses to the rank-10 S-matrix from the low-rank classification list.","key_machinery":"The computational engine is the system of fixed-point equations (4)--(7) from [15], whose solutions $(\\xi,\\tau,\\omega)$ index a whole layer of simple objects of the Drinfeld center of a near-group category $G+n$. The paper solves these equations numerically, obtaining 152 triples for $\\mathbb{Z}/4\\mathbb{Z}\\times\\mathbb{Z}/4\\mathbb{Z}+16$ and 44 triples for $\\mathbb{Z}/8\\mathbb{Z}+8$, and then assembles the block S-matrix using formulas (8)--(11). The other load-bearing mechanism is condensation: the center contains a Tannakian fusion subcategory, meaning a symmetric fusion category equivalent to the representation category of a finite group, and de-equivariantizing by it isolates a lower-rank modular category whose S-matrix is pinned down by the reconstruction method of [20,21] from its $\\mathrm{SL}(2,\\mathbb{Z})$ congruence representation.","core_discovery":"The central claim is an existence-and-realization statement: the near-group category of type $\\mathbb{Z}/4\\mathbb{Z}\\times\\mathbb{Z}/4\\mathbb{Z}+16$ exists, uniquely up to fusion equivalence for its bi-character, its Drinfeld center has 304 simple objects, and the modular category obtained by condensing the Tannakian subcategory $\\mathrm{Rep}(\\mathbb{Z}/2\\mathbb{Z}\\times\\mathbb{Z}/4\\mathbb{Z})$ has exactly the S- and T-matrices of the rank-10 data in Equation (12) of [21]. In addition, that condensed category is braided equivalent to the Drinfeld center of a rank-4 self-dual fusion category whose fusion rules are $Y_1\\otimes Y_1=\\mathbf{1}\\oplus 2Y_1\\oplus 2Y_2$, $g\\otimes Y_1=Y_2$, and $g\\otimes g=\\mathbf{1}$. For the cyclic case, the center of the near-group category $\\mathbb{Z}/8\\mathbb{Z}+8$ contains a boson generating $\\mathrm{Rep}(\\mathbb{Z}/2\\mathbb{Z})$, and its condensation contains a pointed factor $C(\\mathbb{Z}/4\\mathbb{Z},q)$; the complementary factor has the same modular data as $C(\\mathfrak{g}_2,4)$ after the Galois conjugation described in Corollary 3.14.","pith_inferences":["Extension: if the numerical solution tables in the appendix are certified as exact algebraic data, the S- and T-matrices would define modular categories unconditionally; currently the construction inherits the solver's completeness assumption.","Extension: the same 152-triple solution set could be tested against the other quadratic forms $a_2,a_3,a_4$ considered in Proposition 3.1, since the paper proves only $a_1$ yields full $b$-solutions but does not formally certify the solver's completeness.","Extension: the modular-data equality with $C(\\mathfrak{g}_2,4)$ suggests looking for a braided tensor equivalence, not just an equality of invariants, between the condensed factor and a known quantum-group category.","Extension: the rank-304 center may contain other Tannakian subcategories besides $\\mathrm{Rep}(\\mathbb{Z}/2\\mathbb{Z}\\times\\mathbb{Z}/4\\mathbb{Z})$, and each would give a different condensation and potentially new low-rank modular data."],"forward_implications":["The rank-10 modular data of Equation (12) is no longer merely a formal list; it is the modular data of a genuine modular category obtained by condensation.","Because the condensation is also the Drinfeld center of a rank-4 fusion category, the data carries a Lagrangian algebra, so the modular category is centrally realizable from a low-rank fusion category.","The non-pointed factor with modular data matching $C(\\mathfrak{g}_2,4)$ arises from near-group centers, confirming the prediction in [29, Section 4] that such data appears in this family.","The existence of the near-group category of type $\\mathbb{Z}/4\\mathbb{Z}\\times\\mathbb{Z}/4\\mathbb{Z}+16$ adds a new point to the classification of near-group categories of order 16.","The same pipeline of center, condensation, and representation reconstruction can be applied to other near-group categories to realize further low-rank modular data from [21]."],"supporting_citations":[{"why":"Supplies the rank-10 modular data in Equation (12) that the paper's main theorem realizes by condensation.","marker":"[21]"},{"why":"Provides the nonlinear system (4)--(7) and the block S-matrix formulas (8)--(11) for the Drinfeld center of a near-group category.","marker":"[15]"},{"why":"Establishes existence and classification results for near-group categories, including the $\\mathbb{Z}/8\\mathbb{Z}+8$ data used in Section 3.3.","marker":"[14]"},{"why":"Conjectures that certain modular data, including the rank-10 data and the $\\mathfrak{g}_2$ factor, are realized by near-group centers; Theorems 3.8 and 3.13 confirm parts of it.","marker":"[29]"},{"why":"Provides the reconstruction method from $\\mathrm{SL}(2,\\mathbb{Z})$ representations used to determine the S-matrix of the condensation.","marker":"[20]"},{"why":"Gives the condensation S-matrix formula used in Lemmas 3.3 and 3.11 to compute condensed modular data.","marker":"[17]"},{"why":"Supplies the de-equivariantization and condensation framework, including dimension formulas and the braided tensor decomposition used in Theorem 3.13.","marker":"[10]"},{"why":"Classifies irreducible representations of $\\mathrm{SL}(2,\\mathbb{Z}/p^m\\mathbb{Z})$, allowing the decomposition of the modular congruence representation $\\rho_D$.","marker":"[24, 25]"},{"why":"Classifies $\\mathbb{Z}_2$-quadratic fusion categories, used to pin down the fusion rules of the rank-4 self-dual fusion category in Proposition 3.9.","marker":"[11]"}],"fun_headline_variants":["Condensed Drinfeld center gives rank-10 list entry","Near-group center condenses to rank-10 modular data","Rank-10 S-matrix realized from near-group center","Condensation of near-group center yields rank-10 S-matrix","Realizing rank-10 modular data via center condensation"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The numerical solver's lists of solutions to equations (4)--(7) are taken as complete and exact; if a triple was missed or a floating-point value is not actually an algebraic number, the rank counts and the S-matrix entries of the centers and condensations would change.","fun_headline_variants_meta":{"raw":{"variants":["Condensed Drinfeld center gives rank-10 list entry","Near-group center condenses to rank-10 modular data","Rank-10 S-matrix realized from near-group center","Condensation of near-group center yields rank-10 S-matrix","Realizing rank-10 modular data via center condensation"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.00064,"raw_usage":{"total_tokens":2970,"prompt_tokens":989,"completion_tokens":1981,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":605,"completion_tokens_details":{"reasoning_tokens":1898}},"tokens_in":605,"tokens_out":1981,"duration_ms":13131,"temperature":1.0,"reasoning_tokens":1898,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-10T23:12:32.636333+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Re-run equations (4)--(7) with certified interval arithmetic or algebraic elimination; finding even one additional solution triple $(\\xi,\\tau,\\omega)$, or showing that a listed phase $\\theta_{j,x}$ is not a rational multiple of $2\\pi$ as required, would break the rank-304 or rank-88 center computation and the derived condensation data.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Provides the nonlinear system (4)--(7) and the block S-matrix formulas (8)--(11) for the Drinfeld center of a near-group category."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Establishes existence and classification results for near-group categories, including the $\\mathbb{Z}/8\\mathbb{Z}+8$ data used in Section 3.3."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Conjectures that certain modular data, including the rank-10 data and the $\\mathfrak{g}_2$ factor, are realized by near-group centers; Theorems 3.8 and 3.13 confirm parts of it."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Provides the reconstruction method from $\\mathrm{SL}(2,\\mathbb{Z})$ representations used to determine the S-matrix of the condensation."},{"cited_title":"Kirillov, Jr and V","cited_arxiv_id":null,"evidence_quote":"Gives the condensation S-matrix formula used in Lemmas 3.3 and 3.11 to compute condensed modular data."},{"cited_title":"Drinfeld, S","cited_arxiv_id":null,"evidence_quote":"Supplies the de-equivariantization and condensation framework, including dimension formulas and the braided tensor decomposition used in Theorem 3.13."},{"cited_title":"Classification of $\\mathbb{Z}/2\\mathbb{Z}$-quadratic unitary fusion categories","cited_arxiv_id":"2108.01564","evidence_quote":"Classifies $\\mathbb{Z}_2$-quadratic fusion categories, used to pin down the fusion rules of the rank-4 self-dual fusion category in Proposition 3.9."}],"review_version":1}