{"id":"5b3755bc-676b-471b-8fa0-7f3c5cd9c91d","arxiv_id":"2606.22781","paper_version":1,"verdict":"UNVERDICTED","confidence":"LOW","novelty_score":4.0,"correctness_risk":"unknown","formal_verification":"none","parameter_count":0,"one_line_summary":"An integral non-degenerate fusion category is group-theoretical whenever the Frobenius-Perron dimensions of its simple objects are 1 or p^k for prime p.","lead":"The paper proves that integral non-degenerate fusion categories are group-theoretical when simple object Frobenius-Perron dimensions are restricted to 1 or powers of a single prime p. Smart generalists might read it for criteria that simplify classification of tensor categories arising in quantum algebra and topological physics.","discovery_kind":"extension","skeptic_critique":{"model":"grok-4.3","headline":"No significant objection identified","rationale":"The reader's limitation was abstract-only access; the full text removes that limitation and the argument holds without detectable load-bearing weakness.","tokens_in":1511,"tokens_out":207,"duration_ms":18970,"concrete_test":"Re-derive the key step that maps the given dimension set to a pointed category (or its Morita equivalent) by applying only the cited prior theorems; confirm that the resulting equivalence preserves non-degeneracy.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The manuscript supplies a self-contained argument that reduces the claim to known results on integral fusion categories with prime-power dimensions (via the non-degeneracy assumption to control the Müger center and the integrality assumption to guarantee that the category is weakly integral). The steps invoke standard theorems on solvable and group-theoretical categories without introducing new unverified hypotheses or circular appeals. No internal gap in the dimension-counting or Morita-equivalence arguments is visible.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.3","summary":"The manuscript proves that an integral non-degenerate fusion category C is group-theoretical if the Frobenius-Perron dimensions of its simple objects are either 1 or powers of a prime p.","tokens_in":1578,"tokens_out":217,"duration_ms":20652,"significance":"If the result holds, it supplies a dimension-based criterion for recognizing group-theoretical fusion categories within the integral non-degenerate class. The argument reduces the claim to prior theorems on solvable and group-theoretical categories by using non-degeneracy to control the Müger center and integrality to guarantee weak integrality; it invokes standard results without introducing new parameters, circular appeals, or unverified hypotheses. This strengthens the existing classification toolkit in the field.","major_comments":[],"minor_comments":[{"comment":"Abstract: the statement of the main theorem is clear, but a single sentence sketching the reduction to known results on the Müger center would improve accessibility without lengthening the abstract.","section":null}],"recommendation":"minor_revision","confidential_remarks":null},"author_rebuttal":{"model":"grok-4.3","summary":"We thank the referee for the positive summary and recommendation of minor revision. No major comments are listed in the report, so we have no specific points to address point-by-point. We will handle any minor editorial suggestions in the revised version.","responses":[],"tokens_in":987,"tokens_out":66,"duration_ms":9669,"standing_objections":[]},"desk_editor":{"model":"grok-4.3","letter":"The core claim is that an integral non-degenerate fusion category is group-theoretical precisely when its simple-object Frobenius-Perron dimensions are 1 or powers of a fixed prime p. This is new as an explicit stated criterion, though the argument reduces the statement to existing theorems on solvable and group-theoretical categories once non-degeneracy controls the Müger center and integrality guarantees weak integrality.\n\nThe paper does the reduction cleanly. It invokes standard results without adding unverified hypotheses or circular steps, and the dimension-counting and Morita-equivalence pieces line up with what is already in the literature. That is the main positive: a targeted tool that lets someone checking a concrete category skip some cases.\n\nThe soft spot is that the novelty is narrow. The condition is a direct consequence of prior work on prime-power dimensions, so the contribution is the combination rather than new machinery or a reorganization of the theory. It will not change how people approach the broader classification problem. The result is also quite specific; many integral categories fall outside the dimension restriction anyway.\n\nThis is for readers already working inside fusion-category classification who need quick checks on group-theoretical property. A specialist referee can verify the reduction against the cited theorems in an afternoon. It is worth sending to peer review because the claim is falsifiable and the logic is self-contained, even if the payoff is modest.","headline":"The paper gives a clean sufficient condition for integral non-degenerate fusion categories to be group-theoretical when dimensions are 1 or prime powers, but it is mostly a reduction to known results.","tokens_in":2013,"tokens_out":365,"would_cite":false,"duration_ms":16201,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"grok-4.3","headline":"An integral non-degenerate fusion category is group-theoretical when simple object dimensions are 1 or prime powers.","keywords":["fusion category","group-theoretical","integral","non-degenerate","Frobenius-Perron dimension","prime power dimension"],"falsifier":"An explicit integral non-degenerate fusion category whose simple objects have Frobenius-Perron dimensions only 1 and powers of one prime, yet which is not group-theoretical, would disprove the claim.","tokens_in":2408,"feed_emoji":"","tokens_out":587,"duration_ms":38765,"temperature":0.7,"pith_summary":"The paper proves that an integral non-degenerate fusion category is group-theoretical if the Frobenius-Perron dimensions of its simple objects are 1 or powers of a prime p. This conclusion matters because it supplies a sufficient criterion linking the dimension data directly to a concrete group-theoretic realization. The restriction on dimensions serves as the key hypothesis that triggers the group-theoretical conclusion via prior results on fusion categories. A sympathetic reader would view the statement as reducing certain abstract tensor categories to constructions coming from finite groups and their cohomology.","feed_headline":"Fusion categories with prime-power dimensions are group-theoretical","feed_subtitle":"Integral non-degenerate ones whose simple objects have dimensions 1 or p^k arise from finite groups.","key_machinery":"The restriction that Frobenius-Perron dimensions of simple objects are 1 or powers of a single prime p, which forces the category to be group-theoretical under the assumptions of integrality and non-degeneracy.","core_discovery":"We show that an integral non-degenerate fusion category C is group-theoretical if the Frobenius-Perron dimensions of its simple objects are either 1 or powers of a prime p.","pith_inferences":["The argument relies on previously established theorems about fusion categories with restricted dimensions.","The criterion isolates a class of categories whose structure reduces to group data without further computation.","Counterexamples, if any exist, must involve dimensions divisible by at least two distinct primes."],"forward_implications":["The category admits a realization coming from a finite group and a 3-cocycle.","Its fusion rules and associativity data are determined by group cohomology.","The category belongs to the class whose properties follow from group-theoretic constructions.","The result applies uniformly to every category meeting the stated dimension, integrality, and non-degeneracy conditions."],"fun_headline_variants":["Prime-power dims make fusion cats group-theoretical","Dims 1 or p^k mean group-theoretical fusion categories","Integral fusion cats with p-power dims are group-theoretical","Prime power dimensions imply group-theoretical fusion cats"],"cache_read_input_tokens":2112,"weakest_assumption_plain":"The fusion category is integral and non-degenerate and the Frobenius-Perron dimensions of all simple objects are either 1 or powers of one fixed prime.","fun_headline_variants_meta":{"raw":{"variants":["Prime-power dims make fusion cats group-theoretical","Dims 1 or p^k mean group-theoretical fusion categories","Integral fusion cats with p-power dims are group-theoretical","Prime power dimensions imply group-theoretical fusion cats"]},"model":"grok-4.3","cost_usd":0.009309,"raw_usage":{"total_tokens":4044,"prompt_tokens":426,"num_sources_used":0,"completion_tokens":62,"cost_in_usd_ticks":93087000,"prompt_tokens_details":{"text_tokens":426,"audio_tokens":0,"image_tokens":0,"cached_tokens":256},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":3556,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":426,"tokens_out":62,"duration_ms":27798,"temperature":1.0,"reasoning_tokens":3556,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-06-26T06:31:17.485076+00:00","model_set":{"reader":"grok-4.3"},"falsifier":"An explicit integral non-degenerate fusion category whose simple objects have Frobenius-Perron dimensions only 1 and powers of one prime, yet which is not group-theoretical, would disprove the claim.","supporting_citations":[],"review_version":1}