{"id":"d58b55bb-497a-48b7-89f7-ff60f30328d4","arxiv_id":"2508.00982","paper_version":1,"verdict":"UNVERDICTED","confidence":"LOW","novelty_score":6.0,"correctness_risk":"unknown","formal_verification":"none","parameter_count":0,"one_line_summary":"The paper introduces 'Anomalous Simple Categories' and tensor functors as a new general framework for matching categorical 't Hooft anomalies along RG flows.","lead":"This paper proposes a new mathematical language for comparing the symmetries of a quantum theory at high and low energy. If correct, it would give physicists a general tool to predict which low-energy behaviors are impossible.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Completeness of the ASCie/tensor-functor criterion is asserted, not established; without a proof or exhaustive check, the framework may cover only a subclass of categorical anomalies.","rationale":"The reader's weakest_assumption is exactly that the SymTFT/ASCie description is complete for all categorical anomalies, and that the tensor-functor condition is necessary and sufficient. My stress-test concentrates on the same premise, adding a technical specification: known SymTFT constructions require boundary conditions to be Lagrangian/commutative separable algebras, not merely tensor functors. The finite-group specialization is a sharp, checkable instance where ground truth is independently known, so a concrete computation could decide whether the criterion reproduces the full anomaly classification or only a subset. Because only the abstract was available, no internal inconsistency can be identified; the concern is about an unproven universality claim, which in principle a full draft could resolve. The verdict therefore remains UNVERDICTED, matching the reader's low-confidence assessment, rather than being moved to ACCEPT or REJECT. The paper deserves examination of the full text before any stronger verdict, and the proposed finite-group test would be a meaningful first step even without a full read of the paper.","tokens_in":775,"tokens_out":3196,"duration_ms":45845,"concrete_test":"Specialize to a finite-group 0-form symmetry G in d spacetime dimensions, where the symmetry category is Vec_G and the complete anomaly classification is known, e.g. via H^{d+1}(G,U(1)) (or Dijkgraaf-Witten data in the TQFT picture). Construct the full set of ASCies for the Drinfeld center Z(Vec_G) as defined in the paper, and compare the tensor-functor/RG-interface criterion for flowing to the trivial IR category against the vanishing of the cohomology class. In particular, check whether every nontrivial cohomology class yields a distinct ASCie interface and whether the anomaly-free class is the only one admitting a topological interface to the trivial SymTFT.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim requires two coupled universality statements: (1) every categorical anomaly admits a description as an Anomalous Simple Category (ASCie) realized by a specific SymTFT RG-interface, and (2) a tensor functor between UV and IR symmetry categories is both necessary and sufficient for the corresponding RG flow to be consistent with anomaly matching. The abstract asserts both, but supplies no argument that the ASCie construction is complete (every anomaly decomposes as a combination of ASCies) or that the tensor-functor condition is sufficient. The sufficiency direction is especially suspect: in the established SymTFT formalism, an anomaly-free boundary is not merely a functor between categories but a Lagrangian algebra (or a condensation interface) satisfying nontrivial topological conditions. If the paper's interface criteria omit such conditions, non-anomalous flows could be misclassified as allowed, or genuinely anomalous flows as forbidden. If the criteria are instead equivalent to the known Lagrangian-algebra test, then the universality claim reduces to prior work and the new 'universal criteria' are doing no additional work. Neither possibility is checkable from the abstract alone, and both are load-bearing for the claimed generality.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The manuscript (arXiv:2508.00982) proposes a categorical framework for 't Hooft anomaly matching based on tensor functors between UV and IR symmetry categories, introducing Anomalous Simple Categories (ASCies) as fundamental building blocks realized as RG-interfaces in the SymTFT. The abstract claims that the tensor-functor condition captures anomaly-matching constraints and that ASCies satisfy universal criteria, with examples promised in various spacetime dimensions. No mathematical content beyond the abstract is provided.","tokens_in":984,"tokens_out":3694,"duration_ms":42279,"significance":"If established, the framework would offer a unified SymTFT-based criterion for classifying and matching categorical anomalies, potentially covering 0-form, higher-form, and non-invertible symmetries. The claim that ASCies are complete building blocks and that the tensor-functor condition is necessary and sufficient is ambitious. However, the current submission provides no technical evidence; the significance cannot be assessed. The paper's value is entirely prospective.","major_comments":[{"comment":"The central claims are asserted without any technical support: the manuscript contains no definitions of ASCies, no statement of the 'simple, universal criteria,' and no proof that tensor functors are necessary and sufficient for anomaly-compatible RG flows. In the SymTFT context, anomaly-free boundaries are characterized by Lagrangian algebras or condensation interfaces satisfying topological conditions; the abstract does not indicate whether the proposed criteria are equivalent to these conditions or weaker/stronger. Without this, the universality claim is unverifiable.","section":"Abstract"},{"comment":"The abstract promises demonstration through examples in various spacetime dimensions but presents none. At least one explicit example is needed to show that the ASCie construction correctly identifies allowed and forbidden flows, especially for a non-invertible symmetry, where existing SymTFT methods involve anyon condensation. The absence of any example makes it impossible to check the framework's correctness.","section":"Abstract"},{"comment":"The completeness statement—that every categorical anomaly can be decomposed into ASCies—is an unproven assumption. The abstract treats ASCies as 'fundamental building blocks' without providing either a decomposition theorem or a restriction on the class of categories covered. If the set of ASCies is not exhaustive, the framework is a special case rather than the general theory advertised. This must be addressed with a proof or a precise characterization.","section":"Abstract"}],"minor_comments":[{"comment":"The term 'Anomalous Simple Categories' is introduced without definition or motivation; the reader is left to guess what 'simple' means in this context and how it relates to simplicity in the categorical sense.","section":"Abstract"},{"comment":"The phrase 'various spacetime dimensions' is vague; the examples should be enumerated (e.g., 1+1, 2+1, 3+1 dimensions).","section":"Abstract"},{"comment":"The acronym 'ASCies' should be defined at first use and used consistently throughout the full text; the current abstract does not explain the plural or pronunciation.","section":"Abstract"}],"recommendation":"reject","confidential_remarks":"The submission consists solely of an abstract, with no full text. This is not a reviewable manuscript. I recommend the editor return it to the authors with a request for the complete paper, or reject as incomplete. The ideas may merit consideration once fully developed."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Short version: the abstract makes a big, plausible promise — a general tensor-functor criterion for matching categorical anomalies, with ASCies as building blocks — but we only have the abstract, so I can't tell you whether the promise is kept. The paper deserves a serious look if the full text is as substantial as the abstract suggests.\n\nWhat's actually new: the identification of tensor functors between UV and IR symmetry categories as the right object for anomaly matching, and the claim that anomalies decompose into 'Anomalous Simple Categories.' That's a genuinely appealing organizing principle, and the abstract ties it naturally to SymTFT interfaces. If the construction works in the worked examples mentioned, it would give a uniform way to talk about anomalies for non-invertible symmetries.\n\nWhat I can't vouch for: any of the math. No equations, no derivations, no references in the abstract. The soundness score has to be low because there's nothing to check. That's not a strike against the authors; it's just the limit of abstract-only review.\n\nThe soft spot that worries me most is the completeness claim. The abstract says ASCies are 'fundamental building blocks' and that tensor functors are *central* to capturing anomaly-matching constraints. That's a universality assertion. The stress-test note points out that in SymTFT, an anomaly-free boundary is not just any functor but a Lagrangian algebra with topological conditions. If the paper's criteria don't reproduce that, its sufficiency claim is suspect; if they do, the novelty may be mostly packaging. Either way, I'd need to see the proof or a worked check that a known anomaly is exactly captured. The abstract alone doesn't settle this.\n\nAlso minor: the abstract cites no prior work, so I can't judge overlap with existing categorical-symmetry results. That's a referee's job.\n\nBottom line: if I had to decide today, I'd send this to peer review rather than desk-reject. The idea is important enough and the abstract is coherent enough that a referee should test the proofs. I wouldn't cite it myself until I've read the full text. Bring it to reading group when the full version is out.","headline":"A plausible and potentially important framework for categorical anomaly matching, but with only the abstract in hand, the completeness claims that make it interesting are untestable.","tokens_in":1517,"tokens_out":1559,"would_cite":false,"duration_ms":17962,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper argues that tensor functors between UV and IR symmetry categories capture 't Hooft anomaly matching, with Anomalous Simple Categories (ASCies) as the fundamental building blocks realized as RG-interfaces in the SymTFT.","keywords":["categorical symmetries","t Hooft anomaly matching","non-invertible symmetries","Symmetry Topological Field Theory","Anomalous Simple Categories","tensor functors","RG interfaces","higher-form symmetries"],"falsifier":"Exhibit a pair of symmetry categories whose known anomaly invariants all match but for which no tensor functor exists, or a pair for which a tensor functor exists but an independently computed anomaly forbids the flow. Either case would show the ASCie-interface criterion is not the universal anomaly-matching rule.","tokens_in":557,"feed_emoji":"🧩","tokens_out":3803,"duration_ms":42499,"temperature":0.7,"pith_summary":"'t Hooft anomaly matching constrains which low-energy theories can arise from a given ultraviolet theory. For ordinary symmetries this is a standard tool, but for non-invertible (categorical) symmetries the field has lacked a precise way to define and quantify anomalies. This paper proposes that the right data is a tensor functor between the UV and IR symmetry categories, and that every categorical anomaly decomposes into elementary pieces it calls Anomalous Simple Categories (ASCies). In the Symmetry Topological Field Theory (SymTFT), these pieces become special interfaces between the UV and IR theories with simple, universal criteria. If the proposal is correct, allowed RG flows are exactly those admitting such ASCie interfaces, giving a unified anomaly-matching criterion across 0-form, higher-form, and non-invertible symmetries.","feed_headline":"Anomaly matching becomes a tensor-functor condition","feed_subtitle":"UV and IR symmetry categories are linked by RG-interfaces that encode every categorical anomaly, the paper argues.","key_machinery":"The central object is the Anomalous Simple Category (ASCie), defined as an irreducible building block of a categorical anomaly, with multiple ASCies possible for one symmetry category. The load-bearing identity is the tensor functor between ultraviolet and infrared symmetry categories; in the Symmetry Topological Field Theory (SymTFT) this functor is realized as an RG-interface. The framework's power comes from the claim that ASCies are exactly those RG-interfaces satisfying universal criteria, so anomaly matching reduces to checking whether such an interface exists.","core_discovery":"The central claim is that 't Hooft anomalies of categorical symmetries are fully captured by tensor functors between the symmetry category of the ultraviolet theory and that of the infrared theory. The paper introduces Anomalous Simple Categories (ASCies) as the fundamental building blocks: a given symmetry category can support several ASCies, each representing a distinct anomalous feature. These objects arise naturally in the Symmetry Topological Field Theory, where a tensor functor corresponds to an RG-interface between the UV and IR SymTFTs, and ASCies are precisely the interfaces satisfying simple, universal criteria. The paper demonstrates the framework on anomalous 0-form, higher-form, and non-invertible symmetries in various spacetime dimensions.","pith_inferences":["Editorial inference: if the ASCie interface criterion is complete, it should reproduce all known anomaly-matching constraints for ordinary group symmetries when the symmetry category is the category of representations of a group.","Editorial inference: the tensor-functor condition may be checkable by computer for finite fusion categories, giving an algorithmic anomaly-matching test.","Editorial inference: the framework suggests that what obstructs an RG flow is not just a phase but the existence of a tensor functor, which could unify discrete and continuous symmetry constraints."],"forward_implications":["Any categorical anomaly can be decomposed into ASCies, so anomaly matching can be checked piece by piece rather than globally.","An RG flow from a UV to an IR symmetry category is allowed only when a tensor functor connects them, realized as an ASCie interface in the SymTFT.","The framework applies uniformly to 0-form, higher-form, and non-invertible symmetries, making anomaly constraints on exotic low-energy phases computable.","A symmetry category's multiple ASCies encode distinct anomalous features, meaning the same UV symmetry can flow to different IR phases with different matching conditions."],"supporting_citations":[],"fun_headline_variants":["Tensor functors: the new language of anomaly matching","Anomaly matching via tensor functors and ASCies","Non-invertible symmetries: anomalies as functors","Categorical anomaly matching: tensor functors are key"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is that the SymTFT/RG-interface construction is complete: every categorical anomaly corresponds to an ASCie interface, and a tensor functor is both necessary and sufficient for an allowed flow.","fun_headline_variants_meta":{"raw":{"variants":["Tensor functors: the new language of anomaly matching","Anomaly matching via tensor functors and ASCies","Non-invertible symmetries: anomalies as functors","Categorical anomaly matching: tensor functors are key"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000966,"raw_usage":{"total_tokens":4068,"prompt_tokens":858,"completion_tokens":3210,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":474,"completion_tokens_details":{"reasoning_tokens":3145}},"tokens_in":474,"tokens_out":3210,"duration_ms":31076,"temperature":1.0,"reasoning_tokens":3145,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-06T05:53:42.441013+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Exhibit a pair of symmetry categories whose known anomaly invariants all match but for which no tensor functor exists, or a pair for which a tensor functor exists but an independently computed anomaly forbids the flow. Either case would show the ASCie-interface criterion is not the universal anomaly-matching rule.","supporting_citations":[],"review_version":1}