{"id":"03e7961d-f164-427f-b3a0-5f8bc89829b5","arxiv_id":"2508.13759","paper_version":1,"verdict":"UNVERDICTED","confidence":"LOW","novelty_score":6.0,"correctness_risk":"unknown","formal_verification":"none","parameter_count":0,"one_line_summary":"Boundary locality conditions on 3D TQFTs are shown to imply a state sum construction, satisfied by Turaev-Viro and Dijkgraaf-Witten theories.","lead":"This paper proposes boundary conditions for three-dimensional topological field theories and shows they are enough to reconstruct the theories from a state sum. If true, it gives a new way to characterize Turaev-Viro and Dijkgraaf-Witten theories from their boundaries.","discovery_kind":"first_principles","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Sufficiency of boundary-locality-to-state-sum rests on the cited DW defect classification; abstract does not show it covers all boundary defects, so the central claim is unverified.","rationale":"The reader's weakest assumption identifies the same load-bearing point: the DW part of the argument depends on arXiv:2410.18049's defect description, and if that description is incomplete, the theorem overreaches. I agree with that focus. The broader central claim — boundary locality implies a state sum construction — cannot be evaluated from the abstract alone, so no concrete error can be asserted. The paper may well be correct, but the sufficiency direction and the scope of the defect classification are unverified. Because the reader's verdict is already UNVERDICTED, my stress-test does not change it; the only action is to require a check of the cited classification and the full proof before acceptance as established. This is a scope/correctness risk, not a disagreement with the consensus expectation that TV and DW theories are state-sum constructible.","tokens_in":582,"tokens_out":4455,"duration_ms":48622,"concrete_test":"Inspect arXiv:2410.18049's main defect classification theorem and verify whether it includes: (i) surface defects labeled by arbitrary elements of H^2(G,U(1)) (the twist) as well as H^1(G,U(1)); (ii) defects on manifolds with multiple boundary components and with junctions between defect types. Then take the simplest non-trivially twisted example — Dijkgraaf-Witten theory for G=Z/2 with the nontrivial 3-cocycle on a 3-ball with a single boundary surface defect — and check that the paper's boundary locality conditions can be satisfied using only the defect types covered by 2410.18049. If the cited classification omits any of these, the claimed implication for all DW theories with boundary defects fails; if it covers them all, the concern is answered.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The paper's central claim is that explicit boundary locality conditions imply a state sum construction of a given 3D TQFT. For Dijkgraaf-Witten theories, this implication is made to rest on 'recent progress' in arXiv:2410.18049. The load-bearing assumption is that this cited defect description is complete enough to satisfy whatever boundary locality conditions the paper imposes. If the classification in 2410.18049 excludes certain boundary defects — e.g., defects carrying nontrivial Dijkgraaf-Witten twist data, defects on disconnected or non-orientable boundary components, or higher-codimensional defect junctions — then the conclusion 'Dijkgraaf-Witten theories with boundary defects admit a state sum description' would not follow for those cases. A second, more general concern is that the boundary locality conditions themselves are not stated in the abstract; if they are formulated in terms of existing state-sum gluing data, the 'imply' direction could be circular. Since only the abstract was reviewed, these are scope and verification risks, not demonstrated errors. The verdict should remain unverified unless the full proof and the cited classification's hypotheses are checked.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The manuscript (arXiv:2508.13759) is presented as an abstract only. It claims that explicit boundary locality conditions on three-dimensional topological field theories with boundary defects imply that the TQFT admits a state sum construction. The abstract further states that Turaev-Viro state sum models satisfy these conditions, and that recent progress on defects in Dijkgraaf-Witten theories (arXiv:2410.18049v1) allows the authors to show that Dijkgraaf-Witten theories with boundary defects also satisfy the boundary locality conditions, thereby implying a state sum description for them.","tokens_in":827,"tokens_out":2407,"duration_ms":26009,"significance":"If the central theorem is correct, the paper would provide a substantive boundary characterization of Turaev-Viro TQFTs: the entire bulk state sum would be reconstructible from boundary locality data. This would connect state-sum and defect-theoretic approaches to 3D TQFTs and could yield new examples. The claimed consistency checks on two nontrivial families, Turaev-Viro and Dijkgraaf-Witten, are encouraging and, unlike purely abstract existence arguments, give concrete test cases. However, the available manuscript contains no proof details, no theorem statements, and no verification of the cited defect classification's hypotheses, so the strength of these contributions cannot currently be assessed.","major_comments":[{"comment":"The central claim—that explicit boundary locality conditions imply a state sum construction—is stated without proof. No categorical argument, theorem environments, or precise hypotheses are provided in the available text. The sufficiency direction is the load-bearing assertion of the paper, and a consistency check on known models does not establish it for arbitrary TQFTs satisfying the conditions. The full proof must be supplied before the claim can be evaluated.","section":"Abstract"},{"comment":"The Dijkgraaf-Witten implication is made to rest on the defect description from arXiv:2410.18049v1. The abstract does not state the scope of that classification. In particular, it is unclear whether it covers defects on disconnected or non-orientable boundary components, defects carrying nontrivial Dijkgraaf-Witten twist data, or higher-codimension defect junctions. If any of these defect types are needed to satisfy the boundary locality conditions, the conclusion 'Dijkgraaf-Witten theories with boundary defects admit a state sum description' would not follow for those cases. The manuscript should either verify that the cited classification covers all necessary defect types or prove the required cases directly.","section":"Abstract (reliance on arXiv:2410.18049)"},{"comment":"The boundary locality conditions are not stated. If they are formulated in terms of state-sum gluing data, or if their verification for Turaev-Viro and Dijkgraaf-Witten theories uses the known state-sum presentation, the 'imply' direction could be tautological. A concrete test of non-circularity: the conditions should be defined independently of any particular state sum, and satisfaction should be checked from the TQFT's categorical/defect structure, not from the existence of a triangulation sum. The manuscript should state the conditions explicitly and clarify the independence of the definition from the target construction.","section":"Abstract (potential circularity)"}],"minor_comments":[{"comment":"The boundary locality conditions are mentioned but not listed. Please state them or point to the section where they are defined.","section":"Abstract"},{"comment":"Please specify the hypotheses: are manifolds oriented, compact, and are groups finite? Are all boundary defects allowed, or only a restricted class?","section":"Abstract"},{"comment":"Include numbered theorem statements with proof locations so that the sufficiency claim can be checked.","section":"Abstract"},{"comment":"The phrase 'This directly implies' in the final sentence overstates what a consistency check can show. Consider 'is consistent with' or provide the proof of the implication.","section":"Abstract"}],"recommendation":"uncertain","confidential_remarks":"As only the abstract was provided, this report is necessarily provisional. The central theorem's proof and the exact coverage of the cited defect classification are essential. I recommend requesting the full manuscript before a definitive decision; the current evidence is insufficient to accept or reject."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The abstract states a clean, testable claim: explicit boundary locality conditions on 3D TFTs with boundary defects force a state sum construction. That is a genuinely useful structural handle if it holds, and the authors have done the obvious consistency check by showing Turaev-Viro models satisfy the conditions and then pushing the same argument through for Dijkgraaf-Witten via the defect description in 2410.18049. That DW application is the most novel piece—it turns someone else's classification into a new consequence—and I want to see the details.\n\nThe soft spot is exactly where you'd expect. The sufficiency direction is the whole theorem, and the abstract gives no reason to believe it beyond the consistency checks. Consistency only shows necessity, not sufficiency. For DW, the argument inherits every hypothesis from 2410.18049; if that classification has gaps—non-orientable boundary components, higher-codimension junctions, or twist data—the conclusion narrows to whatever it actually covers. The stress-test note raises circularity: the boundary conditions might be defined after the fact to match known state sums. I don't see that from the abstract, but I also can't rule it out without the definitions. That is a real risk, not a manufactured one.\n\nThere are no self-reported limitations in the abstract; it is all claim and no caveat. That is fine for a one-page abstract, but it puts the burden on the full paper to show the conditions are independent and the categorical machinery actually runs.\n\nBottom line: this is a plausible and potentially valuable result, but it is an unverified one. I would not desk reject it. The claim is important enough and the consistency checks substantive enough that a serious referee is warranted. The referee should focus on the sufficiency proof and on the exact hypotheses under which 2410.18049 applies to the boundary defect setup. If those hold, this is a neat structural theorem. If they don't, it is a conjecture with two examples.","headline":"A plausible, clearly stated structural claim that buys its weight on a proof we can't see; worth sending to referees, not worth believing on the abstract alone.","tokens_in":1265,"tokens_out":1283,"would_cite":false,"duration_ms":16463,"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":"This paper claims that explicit boundary locality conditions on 3D topological field theories with boundary defects imply a state sum construction, and verifies these conditions for Turaev-Viro and Dijkgraaf-Witten theories.","keywords":["Turaev-Viro","Dijkgraaf-Witten","state sum","topological field theory","boundary defects","boundary locality","3D TQFT"],"falsifier":"Find a 3D TQFT with boundary defects that satisfies the paper's boundary locality conditions but whose partition function provably cannot be written as a state sum; or exhibit a Dijkgraaf-Witten boundary defect outside the scope of the cited defect description that fails the locality conditions.","tokens_in":508,"feed_emoji":"🧮","tokens_out":3441,"duration_ms":31568,"temperature":0.7,"pith_summary":"Three-dimensional topological field theories (TQFTs) are usually defined on closed manifolds, but this paper focuses on manifolds with boundary defects. The central claim is that explicit locality conditions on the boundary — how the theory cuts and pastes along defects — are enough to force the whole theory to be describable by a state sum, a concrete triangulation-based counting model. Why care: state sums are among the most computable presentations of a TQFT, so the result expands the class of theories with effective combinatorial descriptions. The paper verifies the conditions for Turaev-Viro models and, using a recent defect description, for Dijkgraaf-Witten theories, thereby showing Dijkgraaf-Witten theories with boundary defects also have state sum descriptions.","feed_headline":"Boundary locality forces state sums in 3D TQFTs","feed_subtitle":"A new locality criterion shows Dijkgraaf-Witten and Turaev-Viro models both admit triangulation-based descriptions.","key_machinery":"The load-bearing mechanism is a set of boundary locality conditions formulated for 3D TQFTs with boundary defects. These conditions constrain how partition functions behave when the manifold is cut along a boundary defect, forcing the theory to factorize in a way compatible with summing over labels assigned to a triangulation. The paper uses these conditions to construct the state sum and then checks the conditions against the two model families.","core_discovery":"The paper establishes that boundary locality conditions determine the bulk: a 3D TQFT with boundary defects satisfying these conditions is equivalent to a state sum construction. Turaev-Viro state sum models are shown to satisfy the conditions. Relying on a new description of defects in Dijkgraaf-Witten theories, the paper proves that Dijkgraaf-Witten theories likewise satisfy boundary locality, which directly implies they admit a state sum description.","pith_inferences":["If the conditions are also necessary, they would characterize state-sum TQFTs and could lead to a classification of which 3D TQFTs admit combinatorial presentations.","The same defect-based reasoning may extend to higher-dimensional TQFTs or to other state sum models with more general algebraic data, giving a uniform route to state sum descriptions.","A concrete test of the theorem's limits: if a Dijkgraaf-Witten defect not captured by the cited defect description turns out to violate boundary locality, the class of theories covered is smaller than stated."],"forward_implications":["If the boundary locality conditions are satisfied, the TQFT's partition function on any manifold with boundary defects can be computed by triangulating and summing over states, giving a constructive recipe.","Dijkgraaf-Witten theories with boundary defects inherit state sum descriptions, extending the combinatorial toolbox for these theories.","Turaev-Viro and Dijkgraaf-Witten theories now share a common characterization principle, rather than appearing as separate constructions.","The conditions give a practical criterion: to show a new 3D TQFT is a state sum theory, it suffices to check boundary locality."],"supporting_citations":[],"fun_headline_variants":["Boundary locality seals state sum fate in 3D TQFTs","Locality at boundaries forces TQFT state sums","State sums stem from boundary locality conditions","Boundary defects imply state sum TQFTs"],"cache_read_input_tokens":2688,"weakest_assumption_plain":"For Dijkgraaf-Witten theories, the proof depends on a recent description of their boundary defects; if that description does not cover every defect type, the conclusion that all such theories admit state sums would not follow.","fun_headline_variants_meta":{"raw":{"variants":["Boundary locality seals state sum fate in 3D TQFTs","Locality at boundaries forces TQFT state sums","State sums stem from boundary locality conditions","Boundary defects imply state sum TQFTs"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000172,"raw_usage":{"total_tokens":1022,"prompt_tokens":562,"completion_tokens":460,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":306,"completion_tokens_details":{"reasoning_tokens":395}},"tokens_in":306,"tokens_out":460,"duration_ms":4866,"temperature":1.0,"reasoning_tokens":395,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-05T18:53:41.754683+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Find a 3D TQFT with boundary defects that satisfies the paper's boundary locality conditions but whose partition function provably cannot be written as a state sum; or exhibit a Dijkgraaf-Witten boundary defect outside the scope of the cited defect description that fails the locality conditions.","supporting_citations":[],"review_version":1}