{"id":"e537d954-8611-47ad-bde1-53185eac195b","arxiv_id":"2505.06309","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":5.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"The paper constructs a braid invariant from shear-coordinate transformations applied to the edges of Delaunay triangulations.","lead":"A braid is shown as a dance of points in the plane, and the paper labels the edges of the triangulation that records their nearest-neighbor relations. As the dance proceeds, the labels change by shear-coordinate rules, producing a rational transformation that is claimed to be a braid invariant.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Shear flip rule in Fig. 1 is not shown to be involutive; as displayed, a flip followed by its inverse does not restore edge labels, so the 'back and forth' case of the proof fails.","rationale":"The verdict CONDITIONAL is appropriate. The invariant is defined by local rational transformations, and a braid invariant requires these transformations to satisfy the relations of the flip graph. For the Ptolemy rule these relations are classical and verifiable; for the shear rule the paper merely asserts them. The most elementary check already exposes a gap: the displayed formula is not manifestly involutive, and a literal double application changes labels. Since the proof's first codimension-2 case is exactly a double flip, this gap directly affects the central claim. It is possible that the author has an implicit orientation convention (e.g., which edges are incident to the new diagonal) that makes the transformation involutive and satisfies pentagon/far commutativity, but the paper must state it and provide the calculation. Therefore the paper is not acceptably rigorous as written; conditional acceptance requiring the added convention and verification is appropriate.","tokens_in":2525,"tokens_out":29230,"duration_ms":302884,"concrete_test":"Implement the shear rule of Fig. 1 with explicit edge labels; take a single quadrilateral and apply the rule twice (flip e, then flip e'=1/e). Check whether the symbolic result equals the original labels under the two possible assignments of which opposite pair gets the factor (1+e) on the second flip. If neither assignment makes the double flip trivial, the back-and-forth case is false; if one does, state that convention in the paper and then verify the pentagon move of Fig. 4 symbolically for both flip orders.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The proof of the Theorem in Section 4 reduces braid isotopy to three local events, and for the shear flip rule it must satisfy: (i) two inverse flips cancel, (ii) the pentagon relation, (iii) far commutativity. The paper asserts (ii) and (iii) without proof or reference, and it dismisses (i) as 'obvious'. Under the literal formulas of Fig. 1, (i) fails: flipping a diagonal e and then flipping the new diagonal e'=1/e by the same rule gives a'' = a(1+e)(1+1/e) = a(1+e)^2/e, not a (and similarly for b,c,d). A consistent reading of the figure can repair this only by adopting an orientation convention for which pair of opposite boundary edges receives (1+e) versus e'/(1+e') on the return flip. No such convention is stated. Consequently T(β) is not currently well-defined for a braid whose flip sequence includes a backtracking flip, and the invariance proof collapses before the pentagon/far commutativity assertions are even reached. The same missing orientation data is likely needed to verify the pentagon and far commutativity identities claimed for the shear rule.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper proposes a braid invariant T(β) constructed as follows. A braid is represented as a motion of n points in the plane; at each time one takes the Delaunay triangulation of the point set and labels its edges by variables. Whenever the triangulation flips, all involved labels are updated by the shear-coordinate rule of Fig. 1 (in contrast to the older Ptolemy rule, which changes only the flipped diagonal). Since the initial and final point configurations coincide, composing these label transformations over a braid yields a rational map T(β) from the initial labels to themselves. The main theorem in Section 4 states that isotopic generic braids yield the same rational map. The proof is a sketch: it reduces braid isotopy to three local events (a back-and-forth flip, a pentagon move, and far commutativity of distant flips) and asserts that the corresponding label transformations agree in each case, relying on claims that Ptolemy and shear transformations satisfy the pentagon relation and far commutativity.","tokens_in":2756,"tokens_out":6484,"duration_ms":70078,"significance":"If the theorem is correct, the paper gives a new, concise construction of braid invariants from hyperbolic-geometry shear coordinates, extending the program in [3, 6, 7] and suggesting a tropical analogue as advertised in the abstract. The main idea is attractive and potentially significant: it reduces isotopy invariance to a small set of local algebraic identities for the flip rule. The paper is, however, a short announcement-type manuscript: the central proof depends on unproved and partly incorrect assertions about the local flip rule. Because the main theorem is not established as written, the paper cannot be accepted in its current form, but the underlying idea appears salvageable.","major_comments":[{"comment":"The assertion that a flip followed by the inverse flip gives the identity is false under the literal formulas of Fig. 1. Applying the displayed rule twice in the natural cyclic order, starting from a diagonal label e and sides a,b,c,d, gives e'' = e but a'' = a(1+e)(1+1/e) = a(1+e)^2/e, b'' = b e/(1+e) · (1/e)/(1+1/e) = b/(1+e)^2, and similarly for c and d; these are not the original labels. Thus the 'back and forth' case of the proof, which is described as 'obvious', actually fails unless an orientation convention specifies which pair of opposite edges receives the factor (1+e) versus e/(1+e) on the reverse flip. No such convention is stated. This is a load-bearing gap: the invariance argument collapses at the first local case, and T(β) is not presently well-defined for a flip sequence containing a backtracking flip. The authors should specify the orientation data and verify the involution property explicitly.","section":"Section 4, proof, case 'back and forth'"},{"comment":"The proof asserts that 'shear coordinate transformations enjoy far commutativity' and that 'both Ptolemy transformation and shear coordinate transformation satisfy the pentagon relation' without giving a calculation, a precise statement, or a reference. These identities are not immediate: the shear rule of Fig. 1 changes four neighboring labels, not just the diagonal, so the far-commutativity claim for the shear case is not the same as the trivial Ptolemy case. Since the theorem relies exactly on these identities to compare label transformations in the pentagon and far-commutativity events, the proof is incomplete. The authors must either prove the identities by direct computation using the explicit flip formulas (with a fixed orientation convention) or cite a source that states them for precisely this transformation rule.","section":"Section 4, proof, cases 'pentagon' and 'far commutativity'"}],"minor_comments":[{"comment":"The phrase 'shear choordinate transformation' contains a typo; it should be 'shear coordinate transformation'.","section":"Section 1"},{"comment":"In the sentence 'the sequence of label transformation for β_{s_j−ε} and β_{s_j−ε} in the neighbourhood of value t', the second occurrence of 'β_{s_j−ε}' should presumably be 'β_{s_j+ε}'. The same confusion appears elsewhere in the proof and should be corrected.","section":"Section 4, proof"},{"comment":"The quadrilateral vertices and the orientation of the diagonal are not labelled. Adding a vertex/edge orientation convention would make the flip rule unambiguous and would also clarify the involution and pentagon checks requested above.","section":"Figure 1"},{"comment":"The abstract promises a tropical analogue of the construction, but no tropical analogue is defined or discussed anywhere in the body. The authors should either add the relevant material or drop the claim.","section":"Abstract and body"},{"comment":"Reference [1] lists 'A. Enriques' as an author of 'The multidimensional cube recurrence'; the surname appears to be a typo for 'Henriques'.","section":"References"}],"recommendation":"major_revision","confidential_remarks":"The paper is very short and reads like a research announcement. The direct computation in major comment 1 confirms the skeptic's concern: the displayed shear flip rule is not an involution without an additional orientation convention. The central theorem is therefore not proved as written. That said, the flaw is local and likely repairable by adopting the standard orientation convention for cluster Y-seed mutations and then verifying the pentagon and far-commutativity identities explicitly. If the author provides those missing details, the invariant may well be correct and interesting. I would not reject outright, but the manuscript needs substantial technical work before it meets the standards of a proof in a serious journal."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The genuinely new thing here is the shear-flip rule in Fig. 1: unlike the Ptolemy flips in the author's earlier work, it updates all four adjacent edge labels, not just the flipped diagonal. That is a natural idea, and the paper sells it cleanly. If the transformation is well-defined and satisfies the pentagon and far-commutativity identities, the braid invariant follows as advertised. The tropical analogue mention is a nice bonus, and the exposition is short and clear.\n\nThe problem is the proof of the main theorem. It is a sketch that leans on three assertions, and the first one — the 'back and forth' case — is not actually obvious. As written, the flip rule in Fig. 1 is not involutive. Flip a diagonal e, getting e' = 1/e and a' = a(1+e). Flip back with the same formula applied to e' and you get a'' = a(1+e)^2/e, not a. A consistent orientation convention can fix this, but the paper states no such convention. So T(β) is not currently well-defined for a braid whose flip sequence contains a backtracking flip, and the proof collapses before the pentagon and far-commutativity sentences even matter.\n\nThe pentagon and far-commutativity claims are also just asserted, not shown, and they are not the standard shear-coordinate results. The usual shear flip changes a coordinate by a sign and shifts neighbors, whereas this formula is rational and changes all neighbors. So citing 'shear coordinate transformations enjoy far commutativity' does not cover this rule without an explicit translation or a direct check. I don't see a citation that does that.\n\nWhat's right: the overall framework of building braid invariants from flips is established in the author's prior work, and the new rule is a plausible variant. The idea is worth taking seriously. But the central theorem is not proven in this draft. The repair is concrete: define the flip action with an orientation convention, verify involutivity, and compute the pentagon and far-commutativity relations for this rule. That is a manageable revision, not a rewrite.\n\nThis paper deserves a serious referee because the construction is original and the gap is repairable. I would send it out, but I would not accept it in the present form. The referee should ask for the missing calculations and a well-defined flip transformation.","headline":"Plausible new braid invariant idea from shear flips, but the main theorem is not proved: the flip rule in Fig. 1 is not involutive as written, and the pentagon/far-commutativity identities are asserted without proof.","tokens_in":3227,"tokens_out":4959,"would_cite":false,"duration_ms":56172,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["57M25"],"pacs":[],"model":"deepseek-v4-flash","headline":"Shear-coordinate flips along a braid yield a rational transformation that is invariant under braid isotopy.","keywords":["Braid","Cluster","Voronoi diagram","Delaunay triangulation","Pentagon","Shear coordinate","cross-ratio","hyperbolic plane"],"falsifier":"Take a configuration of five points in cyclic position, run through the five flips that return the Delaunay triangulation to itself, and apply the shear label updates symbolically; if the final labels do not equal the initial labels for generic choices, the pentagon-relation assumption fails and the theorem's proof breaks.","tokens_in":2351,"feed_emoji":"🪢","tokens_out":10041,"duration_ms":84961,"temperature":0.7,"pith_summary":"The paper proposes a new way to assign invariants to braids using shear coordinates from hyperbolic geometry. A braid is viewed as a motion of points in the plane; as the points move, their Delaunay triangulation changes by flips, and each flip updates the labels on the edges of the triangulation according to a stated shear transformation rule. The central theorem asserts that for two isotopic generic braids, the overall rational transformation of the labels is the same, so the construction gives a braid invariant. If true, each braid isotopy class would carry an explicit algebraic object, and the paper notes a tropical analogue of the construction. The proof is sketched and relies on unproved local identities for the shear transformations.","feed_headline":"Braid isotopy leaves shear-coordinate transformations unchanged","feed_subtitle":"The rational map assembled from edge flips is the same for isotopy-equivalent braids, with a tropical analogue.","key_machinery":"The engine of the construction is the shear-coordinate transformation of Figure 1: on a flip of a diagonal e in a quadrilateral, the new diagonal gets label e′ = 1/e and the four adjacent edge labels are multiplied by (1 + e) or e/(1 + e). This local rule replaces the simpler Ptolemy transformation, which only changes the flipped edge, and it is the feature that makes the construction sensitive to more of the triangulation. The invariance argument requires this shear transformation to satisfy two identities: 'far commutativity' (flips in non-overlapping quadrilaterals can be performed in either order with the same result) and the pentagon relation (five flips around a pentagon cycle return all labels to their starting values). The paper states that these identities hold because shear coordinates are known to satisfy them, but it gives no explicit calculation or reference for them.","core_discovery":"The discovery is a construction of a map T(β) attached to any generic braid β. Place n moving points in the plane, record their Voronoi diagram and its dual Delaunay triangulation at each time, and label every edge of the initial triangulation by a variable. Whenever four points become cocircular and the triangulation flips an edge, update the labels by the shear rule: the flipped edge e becomes e′ = 1/e, and the four surrounding edges are rescaled by factors (1 + e) or e/(1 + e) as in Figure 1. Composing these updates over the finite sequence of flips that occur as the braid runs from t = 0 to t = 1 yields a rational transformation T(β) from the initial labels to the final labels. The paper's theorem claims that if β and β′ are isotopic generic braids, then T(β) = T(β′), so this transformation is an invariant of the braid isotopy class.","pith_inferences":["The unproved pentagon and far-commutativity identities for shear coordinates could be checked by a direct symbolic computation for a five-point configuration; such a test would either confirm the proof's keystone or produce an explicit counterexample.","If the invariant is nontrivial, it may distinguish braids that other invariants do not, because it is built from a different geometric source; one could test it on the braid generator and its square to see whether it detects writhe.","The construction suggests a broader dictionary between hyperbolic geometry (shear coordinates) and cluster algebras on one side and braid invariants on the other; future work might produce similar invariants from other local coordinate systems on triangulated surfaces.","Because the invariant depends on the chosen initial point configuration, it may actually be a family of invariants parameterized by the basepoint; studying that dependence could yield further structure, such as a representation of the braid group on a space of rational maps."],"forward_implications":["If the theorem is correct, each n-strand braid isotopy class comes with a well-defined rational transformation of the edge-label variables, so braids that yield different transformations are necessarily non-isotopic.","The transformations are Laurent polynomials in the initial labels, as the paper notes from cluster algebra theory, so the invariant provides concrete algebraic data that can in principle be computed and compared.","The same construction, with the shear rule replaced by its tropical version, yields a piecewise-linear invariant, giving a second family in parallel to the rational one.","The invariant is defined for any generic motion of n points in the plane, so it applies to all braids, not just pure braids, and it fits the scheme of invariants built from solutions to the octagon equation."],"supporting_citations":[{"why":"Supplies the Delaunay-triangulation flip construction and the earlier Ptolemy-transformation method on which the present shear-coordinate scheme is based.","marker":"[3]"},{"why":"Establishes the framework for building braid invariants from solutions to pentagon/hexagon/octagon equations, which the present paper extends to shear coordinate transformations.","marker":"[6]"},{"why":"Applies pentagon equations to Voronoi tilings to obtain pure braid group invariants, giving the immediate precedent for using local flip transformations to define braid invariants.","marker":"[7]"}],"fun_headline_variants":["Shear-coordinate flips yield braid isotopy invariant","Braid invariants from hyperbolic shear coordinates","Tropical analogue of shear-coordinate braid invariant","Edge-flip shear rule defines braid invariant","Shear coordinates reveal braid invariants"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The argument collapses if shear-coordinate transformations do not satisfy the pentagon relation and far commutativity in exactly the form needed, and the paper supplies no calculation or reference for these identities.","fun_headline_variants_meta":{"raw":{"variants":["Shear-coordinate flips yield braid isotopy invariant","Braid invariants from hyperbolic shear coordinates","Tropical analogue of shear-coordinate braid invariant","Edge-flip shear rule defines braid invariant","Shear coordinates reveal braid invariants"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000845,"raw_usage":{"total_tokens":3578,"prompt_tokens":743,"completion_tokens":2835,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":359,"completion_tokens_details":{"reasoning_tokens":2762}},"tokens_in":359,"tokens_out":2835,"duration_ms":20889,"temperature":1.0,"reasoning_tokens":2762,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-15T23:11:09.796651+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Take a configuration of five points in cyclic position, run through the five flips that return the Delaunay triangulation to itself, and apply the shear label updates symbolically; if the final labels do not equal the initial labels for generic choices, the pentagon-relation assumption fails and the theorem's proof breaks.","supporting_citations":[],"review_version":1}