{"id":"82db9e1d-4d58-44d0-af2d-0d71726097e3","arxiv_id":"2508.14398","paper_version":1,"verdict":"REJECT","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"The paper derives a formula for the Khovanov homology Poincaré polynomial of simple tangles and lists low-crossing examples, but the proof hinges on an unjustified zero differential.","lead":"This paper presents an arc reduction method for computing Khovanov homology of tangles and derives a closed-form Poincaré polynomial for simple tangles, along with tables for tangles with up to three crossings. The main proof rests on a key unproven step claiming a certain differential is zero, so the central claim is not fully established.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 2.1's direct-sum decomposition rests on an unproved and likely false 'zero map' assertion for the saddle between the two arc smoothings; the reduction formula and all tables depend on it.","rationale":"The paper's central claim is the closed-form Poincaré polynomial for simple tangles. Its proof hinges on Theorem 2.1's arc reduction, and that reduction hinges entirely on the assertion that the saddle map between the two smoothings of the added crossing is zero. That assertion is not derived from any stated TQFT axioms, and the accompanying geometric explanation is contradicted by the fact that the two smoothings of a crossing between arcs have different boundary pairings, hence are not the same tangle. This is a genuine soft spot, not a mere missing reference. The reader's weakest_assumption identifies exactly this step, and my reading agrees. An independent direct state-sum computation on a non-trivial simple tangle would settle whether the theorem's formula is nonetheless true, but as written the central argument is not established. Since the reader already recommends REJECT and my stress test confirms the same load-bearing flaw, the verdict should remain unchanged.","tokens_in":9376,"tokens_out":17852,"duration_ms":218472,"concrete_test":"Independently compute the Khovanov homology of the 3-arc chain tangle with two positive crossings (arc1 crosses arc2, arc2 crosses arc3; this is simple by Definition 2.2) by direct state-sum using the ℸ-module TQFT of [6] or an independent tangle-Khovanov implementation, without invoking Theorem 2.1. If the Poincaré polynomial is not y^{-1}+2x+x^2y, Theorem 2.7 is falsified; inspecting the cube's saddle maps in the same computation will also show whether the asserted zero map is nonzero.","verdict_should_be":"UNCHANGED","load_bearing_attack":"In §2.1, proof of Theorem 2.1, the only step that yields the direct-sum decomposition (Eq. (1)) is the assertion that the induced map G(d(⋆,ζ2)) is 'necessarily the zero map' (w⊗w⊗x ↦ 0). This is not proved or cited. The stated reason is suspect: the two smoothings of a crossing between two arcs are not the same tangle T_s ⊔ Ω; they pair the four boundary points differently, and the saddle cobordism between them is a nontrivial 2-manifold. In the standard tangle Khovanov TQFT (Bar-Natan, Khovanov, and the ℸ-module functor of [6] used here), this saddle map is not generally zero; for the one-crossing 2-tangle it is the nonzero differential of the standard mapping-cone resolution of a crossing. If that map is nonzero, ∂T' does not preserve A⊕B, Eq. (1) collapses, and Theorems 2.6, 2.7 and the Section 3 tables lose their derivation.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper proposes an arc-reduction method for computing Khovanov homology of tangles. Theorem 2.1 claims that adding a single crossing to a tangle splits the Khovanov chain complex into a direct sum of two copies of the original complex, with explicit homological and quantum grading shifts. Using this reduction, the authors define 'simple tangles' and derive a closed-form Poincaré polynomial (Theorem 2.7) in terms of the number of arcs and the numbers of positive and negative crossings. The paper then gives classification tables for tangles with at most three crossings and computes their Poincaré polynomials.","tokens_in":9669,"tokens_out":14873,"duration_ms":170782,"significance":"If the main theorem were valid, it would provide an unusually simple closed-form description of the Khovanov homology of a large class of tangles, which would be a useful computational tool. The explicit low-crossing tables are also potentially valuable. However, the central proof rests on an unproved and likely false assertion about the TQFT differential, and the supporting combinatorial lemmas contain serious gaps. No machine-checked proofs or code are provided, and several structural facts are cited to an unpublished preprint. The claimed results are therefore not established at the level required for publication.","major_comments":[{"comment":"The proof rests entirely on the assertion that G(d(⋆,ζ2)) is 'necessarily the zero map' (w⊗w⊗x ↦ 0). This is neither proved nor cited, and it is incompatible with the standard tangle Khovanov TQFT used in the paper. The two smoothings of a crossing between two arcs pair the four boundary endpoints differently; they are not the same TQFT object in the way asserted when the text writes T'(0,s)=T_s⊔Ω and T'(1,s)=T_s⊔Ω. In the standard construction (Bar-Natan [1], Khovanov [5]), the saddle map between the two smoothings of a crossing is the nonzero merge/split map; for the one-crossing two-arc tangle this is the differential of a nontrivial mapping cone. If that map is nonzero, ∂T' does not preserve A, Eq. (1) collapses, and Theorems 2.6, 2.7, and the Section 3 tables lose their derivation. This is the load-bearing step of the paper.","section":"§2.1, proof of Theorem 2.1"},{"comment":"The proof applies Euler's formula m+f−l=2 to the graph formed by N arcs and m crossings. Euler's formula in this form requires a connected planar graph; the figure formed by N arcs can be disconnected, so the formula should include the number of connected components. The step 'f=1' is also not justified by 'no closed regions' unless connectedness and a fixed planar embedding are assumed. Moreover, the counting 'at least 2N−m are shared' is not established; for N=2,m=1 it would claim three shared incident arc ends, which is impossible. Since Lemma 2.5 and Theorem 2.6 depend on this bound, this is a second load-bearing gap.","section":"§2.2, Proposition 2.2(iii)"},{"comment":"The classification of the four-arc, three-crossing tangle as simple uses Proposition 2.4, whose proof is also not sound: from a closed region formed by n arcs it infers that the remaining N−n arcs contribute at least N−n crossings, but crossings can be shared between the two groups, and no argument is given. This matters because the last block of Table 2 is computed from Theorem 2.7 and therefore inherits the problems of the main proof.","section":"§3.2, four-arc row of Table 2"}],"minor_comments":[{"comment":"There is an incomplete sentence: 'Consider the case of a tangle with four arcs and three crossings. Note that .'","section":"§3.2"},{"comment":"The classification of tangles with at most three crossings is presented as exhaustive, but the enumeration arguments are informal and are not accompanied by a verifiable algorithm or computer check. Given the failure of the main theorem, independent verification of the tables would be needed.","section":"§3"},{"comment":"Several structural facts, including the tensor-product decomposition of Khovanov homology for disjoint unions and the statement that tangles with the same (n_+, n_-) have the same homology, are cited to the unpublished preprint [10]. These should be proved in the paper or cited to a publicly available source.","section":"§3.1"}],"recommendation":"reject","confidential_remarks":"The zero-map assertion in Theorem 2.1 is not merely an omitted detail; it appears to be false in the standard tangle Khovanov TQFT. Replacing it with a mapping-cone construction would change the main results, so I do not see how the central claims can be repaired within the current framework. The informal classification and reliance on unpublished work further reduce confidence. A resubmission would need a substantially different proof strategy or a narrower, carefully stated theorem."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The simple-tangle Poincaré formula (Thm 2.7) and the low-crossing tables are genuinely useful and appear correct. But the arc reduction theorem that is supposed to derive them (Thm 2.1) is not merely unproved; it is false as stated. The stress-test note is right: the assertion that the differential between the two smoothings of an added crossing is zero is wrong. For a crossing of two arcs, the two smoothings have different boundary pairings; the saddle map between them is the standard nonzero differential (for a single crossing it's the nontrivial mapping cone). The proof says both smoothings are T_s ⊔ Ω, which is incorrect.\n\nA concrete check: apply Thm 2.1 to T = single arc (which has homology y^{-1}). For a right-handed crossing, Thm 2.1 gives y^{-1} + x^{-1} y^{-2}, but Table 1 gives y^{-1} + x. The shifts have the wrong sign. In fact, Thm 2.6's reduction step uses the opposite shift ((0,0)+(1,1) for a positive crossing), so Thm 2.1 and Thm 2.6 contradict each other. The later theorem's proof depends on the earlier one, so the derivation collapses.\n\nThe rest of the paper is likewise informal: Prop 2.2(iii) applies Euler's formula without checking connectedness, and the classification tables are assembled by hand. The authors lean on their own unpublished [10] for key structural facts.\n\nWhat is genuinely new here is the closed-form formula for simple tangles and the tables. Those may well be correct. But the proof given does not establish them, and the central theorem is wrong. The authors should either correct Thm 2.1 (the shifts are reversed, and the differential is not zero) or provide a direct proof of Thm 2.7 that doesn't go through the false reduction. As written, this should be rejected. I wouldn't send it to a referee until the main theorem is fixed.","headline":"The simple-tangle formula and tables are useful and appear correct, but the arc reduction theorem that is supposed to prove them is false as stated, not just unproven.","tokens_in":10095,"tokens_out":15821,"would_cite":false,"duration_ms":160965,"reading_group":"maybe","serious_thinker":"no","would_accept_peer_review":false},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["57K18","57K10"],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper proves a closed form for the Poincaré polynomial of any simple tangle — P_T(x,y) = y^{−N+n++n−}(1+xy)^{n+}(x^{−1}y^{−3}+y^{−2})^{n−} — so the full bigraded Khovanov homology is fixed by the strand count and the two signed crossing","keywords":["tangle","Khovanov homology","simple tangle","pure arc","arc reduction","Poincaré polynomial","low-crossing tangles"],"falsifier":"Compute the Khovanov complex of the single-crossing tangle (type 1₁) directly from the defining TQFT: it has two smoothings and exactly one differential — the very map the proof asserts is zero. If that differential has a non-vanishing entry on w⊗w⊗x, Theorem 2.1 fails at the first nontrivial example; the tabulated polynomial x + y^{−1} (right-handed) or y^{−3} + x^{−1}y^{−4} (left-handed) would then be refuted. The same check on a two-crossing tangle such as type 2₃ tests the next induction step.","tokens_in":9318,"feed_emoji":"🧶","tokens_out":14593,"duration_ms":137841,"temperature":0.7,"pith_summary":"Khovanov homology refines the Jones polynomial into a richer invariant, but for tangles — knotted strands with free ends — explicit computations have been scarce. This paper proves that for \"simple\" tangles (tangles in which no group of strands encloses a region), the entire Khovanov homology over a field is captured by a closed-form Poincaré polynomial: only the number of strands and the counts of right- and left-handed crossings appear. The proof is an arc-reduction: repeatedly peel off a strand that crosses the rest at most once and track how each removed crossing shifts the homological and quantum gradings — a right-handed crossing contributes the factor (1+xy), a left-handed the factor (x^{−1}y^{−3}+y^{−2}). The same machinery supplies explicit Poincaré polynomials for every tangle with at most three crossings, listed by crossing sign. If the reduction is sound, computing Khovanov homology of simple tangles becomes bookkeeping rather than linear algebra.","feed_headline":"Three numbers fix the Khovanov homology of any simple tangle","feed_subtitle":"An arc-reduction rule turns the whole bigraded polynomial into closed form — no matrix computations needed.","key_machinery":"The load-bearing object is the arc-reduction theorem (Theorem 2.1), which asserts that adding a single crossing on one arc splits the Khovanov complex into a direct sum of two copies of the original tangle's complex, with the homological and quantum gradings shifted by fixed pairs of integers. The theorem rests on the claim that the TQFT-induced differential between the two smoothings of the added crossing is the zero map, so the complex splits without interaction terms. The second ingredient is the class of \"simple\" tangles — every arc is pure, meaning both sides of each arc reach the boundary without crossing any other strand — for which Lemma 2.5 guarantees that some arc always intersects","core_discovery":"The central claim is Theorem 2.7: if T is a simple tangle with N arcs, n+ right-handed crossings, and n− left-handed crossings, its Poincaré polynomial is P_T(x,y) = y^{−N+n++n−}(1+xy)^{n+}(x^{−1}y^{−3}+y^{−2})^{n−}. Each monomial in the expansion is one generator of the Khovanov homology in a specific bidegree, so the expansion encodes the whole bigraded homology. The route is Theorem 2.1, an arc-reduction rule: a tangle obtained by adding one arc with a single crossing splits into a direct sum of two copies of the smaller tangle's homology, with grading shifts (0,0)+(1,1) per right-handed crossing and (−1,−3)+(0,−2) per left-handed one. Iterating until one arc remains, each free arc remove","pith_inferences":["If Theorem 2.7 holds, simple tangles are the degenerate base case of Khovanov homology: the invariant carries no hidden pairing or cancellation — nothing beyond the counts of strands and signed crossings — and the genuinely hard content begins with non-simple tangles, where strands enclose regions.","The same arc-peeling bookkeeping would plausibly extend beyond simple tangles to any tangle admitting a sequence of single-crossing arc removals, since Theorem 2.1 itself has no simplicity hypothesis; the closed form would then follow for any tangle with such a 'peeling order.'","A direct test of the orientation claim is suggested by the tables: two orientations of the same tangle with equal (n+, n−) should give identical Poincaré polynomials over a field, a property checkable within the paper's own classification.","The closed form yields a hand-checkable isotopy obstruction: simple tangles with different triples (N, n+, n−) cannot be isotopic, since their Poincaré polynomials differ."],"forward_implications":["For any simple tangle, the full bigraded Khovanov homology over a field is fixed by three integers (N, n+, n−); the ranks in each bidegree are binomial coefficients, so no matrix calculations are needed.","The classification tables give explicit Poincaré polynomials for every connected tangle with at most three crossings, split by the signs of the crossings, and by the paper's orientation theorem each entry is complete for its (n+, n−) type.","Setting x = −1 in the closed form specializes to the Jones polynomial of the tangle, so the formula subsumes the Jones polynomial for simple tangles.","The 4-arc, three-crossing tangle — the only three-crossing case with N = n+ + n− + 1 — falls directly under the closed form, and Example 2.5 lists all four sign-orientation cases.","The arc-reduction theorem applies one crossing at a time: any tangle one crossing away from a known tangle gets its homology from two copies of the known one with explicit shifts."],"supporting_citations":[{"why":"Supplies the original construction of Khovanov homology and its Frobenius-algebra TQFT, the invariant whose tangle version the whole paper computes.","marker":"[4]"},{"why":"Defines the Khovanov complex for tangles over an additive cobordism category; the paper's arc-reduction argument operates in this setting.","marker":"[2]"},{"why":"Builds the functor to ℸ-modules that the paper says provides an effective method for computing tangle Khovanov homology, the computational basis.","marker":"[6]"},{"why":"Provides the tensor-product decomposition over connected components and the result that homology depends on orientation only through (n+, n−), both used in the classification section.","marker":"[10]"},{"why":"Gives the definition of the Poincaré polynomial of a bigraded homology theory that Theorem 2.7 uses.","marker":"[9]"}],"fun_headline_variants":["Closed-form Khovanov homology for any simple tangle","Arc reduction gives explicit Poincaré polynomials for tangles","Simple tangles' Khovanov homology in one formula","No matrices: full Khovanov homology from three numbers","Explicit Khovanov homology: arc reduction wins"],"cache_read_input_tokens":2688,"weakest_assumption_plain":"The whole reduction rests on an unproved assertion in the proof of Theorem 2.1: the differential between the two smoothings of an added crossing is \"necessarily the zero map\" (w⊗w⊗x ↦ 0), stated without proof or citation; if that map is nonzero, the direct-sum splitting — and with it the closed-form Poincaré polynomial — does not follow.","fun_headline_variants_meta":{"raw":{"variants":["Closed-form Khovanov homology for any simple tangle","Arc reduction gives explicit Poincaré polynomials for tangles","Simple tangles' Khovanov homology in one formula","No matrices: full Khovanov homology from three numbers","Explicit Khovanov homology: arc reduction wins"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.00015,"raw_usage":{"total_tokens":976,"prompt_tokens":632,"completion_tokens":344,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":376,"completion_tokens_details":{"reasoning_tokens":264}},"tokens_in":376,"tokens_out":344,"duration_ms":3754,"temperature":1.0,"reasoning_tokens":264,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-05T18:36:20.392106+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the Khovanov complex of the single-crossing tangle (type 1₁) directly from the defining TQFT: it has two smoothings and exactly one differential — the very map the proof asserts is zero. If that differential has a non-vanishing entry on w⊗w⊗x, Theorem 2.1 fails at the first nontrivial example; the tabulated polynomial x + y^{−1} (right-handed) or y^{−3} + x^{−1}y^{−4} (left-handed) would then be refuted. The same check on a two-crossing tangle such as type 2₃ tests the next induction step.","supporting_citations":[{"cited_title":"A categorification of the Jones polynomial.Duke Math","cited_arxiv_id":null,"evidence_quote":"Supplies the original construction of Khovanov homology and its Frobenius-algebra TQFT, the invariant whose tangle version the whole paper computes."},{"cited_title":"Khovanov’s homology for tangles and cobordisms.Geometry & Topology, 9(3):1443–1499, 2005","cited_arxiv_id":null,"evidence_quote":"Defines the Khovanov complex for tangles over an additive cobordism category; the paper's arc-reduction argument operates in this setting."},{"cited_title":"Khovanov homology of tangles: algorithm and compu- tation.In preparation, 2025","cited_arxiv_id":null,"evidence_quote":"Provides the tensor-product decomposition over connected components and the result that homology depends on orientation only through (n+, n−), both used in the classification section."},{"cited_title":"Springer, 2024","cited_arxiv_id":null,"evidence_quote":"Gives the definition of the Poincaré polynomial of a bigraded homology theory that Theorem 2.7 uses."}],"review_version":1}