Octagon and tropical octagon yield braid invariants

Vassily Olegovich Manturov

REVIEW 4 major objections 5 minor 7 references

Octagon and tropical octagon yield braid invariants

T0 review · 4 major / 5 minor · reviewed 2026-08-12 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read Isotopic braids in the projective plane induce identical label transformations on a dual quadrangulation, making the label change a braid invariant.

desk verdict A promising but underproved short construction: the tropical octagon relation is asserted rather than established, and the verification calculation has holes, though the underlying idea is likely repairable. read the letter →

arxiv 2411.18991 v1 pith:AKRTGTHB submitted 2024-11-28 math.GT

Vassily Olegovich Manturov This is my paper · ORCID

classification math.GT MSC 57M2557M2751A2005E1414N2051M15

keywords braidinvariantsrealprojectiveplaneDesarguestransformationoctagonrelationtropicalsemiringdualquadrangulationlabelflips

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

This paper constructs an invariant of braids in the real projective plane by making each braid act on labels sitting at the vertices of a fixed quadrangulation of $\mathbb{RP}^2$. When the moving points that define a braid pass through a collinearity, the dual picture undergoes a Desargues flip, and the label at the flipped vertex is replaced by a simple formula that can be read either in ordinary arithmetic or in the tropical semiring, where $\oplus=\max$, $\otimes=+$, and $\oslash=-$. The main theorem says that isotopic braids always leave the same transformation of labels on the dual graph, so the transformation itself is a well-defined braid invariant. The proof reduces the whole construction to the octagon relation, an algebraic identity stating that two sequences of flips give the same labels. The invariant matters because it converts a geometric equivalence problem about braids into an algebraic computation, and unlike an earlier line-configuration approach it works for braids with any number of strands.

What carries the argument

The load-bearing object is the dual quadrangulation $D_n$: the four-valent graph in $\mathbb{RP}^2$ formed by $n$ projectively dual lines, whose regions are quadrilaterals and whose vertices carry labels. The mechanism that carries the argument is the Desargues flip, the local replacement of one vertex label by $x'=(a\otimes d\oplus b\otimes e\oplus c\otimes f)\oslash x$, applied each time three moving points become collinear. The invariance proof reduces to the octagon relation, the algebraic identity that two different orders of performing the same collection of Desargues flips yield the same labels; the paper checks this by a long calculation in the tropical semiring, where $a\oplus b=\max(a,b)$, $a\otimes b=a+b$, and $a\oslash b=a-b$.

What would settle it

Run both orders of flips in the octagon diagram for the tropical update on an explicit input, for example $a=0,b=1,c=2,d=-1,e=3,f=0,g=2,h=4,i=1,j=0,k=2$ with a definite value fixed for the omitted intermediate label $p$; any disagreement between the two final labelings would falsify the octagon relation on which the theorem rests.

Watch

Extended reading notes

Core claim

The central claim is that isotopic braids give rise to identical transformations of labels on the dual graph $D_n$. Begin with $n$ moving points in $\mathbb{RP}^2$ and their projectively dual lines; generically those lines form a four-valent graph, a quadrangulation $D_n$ of the projective plane. Put a formal variable at each vertex. When the points pass through a collinearity, the dual graph undergoes a flip replacing one vertex label $x$ by $x' = (a\otimes d \oplus b\otimes e \oplus c\otimes f)\oslash x$, which in ordinary arithmetic is $(ad+be+cf)/x$ and in the tropical semiring is $\max(a+d-x,b+e-x,c+f-x)$. The theorem asserts that any braid, viewed as a loop of such point configurations, induces a well-defined transformation of the label set on the fixed graph $D_n$, so the transformation itself is an invariant of the braid. The proof follows the earlier line-configuration construction but avoids separating points from lines, so the invariant works for braids with any number of strands.

Load-bearing premise

The load-bearing premise is that the Desargues update $x'=\max(a+d-x,b+e-x,c+f-x)$ satisfies the octagon relation in the tropical semiring, where $-$ is not a true inverse of $+$, so the ordinary-field proof does not automatically transfer and the displayed verification even leaves an intermediate label $p$ undefined.

Editorial extensions

If this is right

Any two braids that produce different label transformations on $D_n$ cannot be isotopic, so the construction is an explicit obstruction to braid equivalence in $\mathbb{RP}^2$.
The invariant covers braids with an arbitrary number of strands, since the action no longer needs separate point- and line-labelled vertices.
Any solution of the octagon relation in the same algebraic form yields a braid invariant by the same recipe, so the Desargues flip is one instance of a general construction.
Because formula (3) covers both ordinary rational-function arithmetic and the tropical semiring, the invariant has both an algebraic and a piecewise-linear version.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

A direct numerical implementation of the tropical label updates would make the invariant computable: feed any braid word, run the flips with concrete labels, and read off the final vector; this could serve as a fast non-isotopy filter for projective-plane braids.
The same Desargues-flip mechanism should transplant to braids in other surfaces once the dual graph is replaced by the appropriate tiling; the octagon relation would be the precise condition that the resulting label action is well defined.
The paper leaves open the relation between octagon, pentagon, and Yang–Baxter equations; one plausible reading is that these are all instances of a single algebraic recipe for producing braid invariants from local flips.

Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Desk Editor's Note

read the letter

Dear colleague,

Quick take: this is a short sequel to Manturov's braid-on-lines paper, simplifying the construction so you no longer need black/white dots and can handle any strand number, and adding a tropical version. That is a legitimate extension, and the main idea — braids act on labelings of the dual quadrangulation of RP^2 via Desargues flips — comes through clearly.

What's good: the reduction to three local moves is standard, and the octagon relation is the only serious check. The paper honestly cites Enriques–Speyer for the field case, so the base is independent. The exposition is compact, and the pictures help.

The soft spots are where the stress-test lands. The tropical transfer is asserted, not proved. Max-plus is a semiring, not a field; subtraction is not the inverse of addition, so "replace operations by tropical analogues" does not automatically preserve an identity proved in a field. The verification calculation is also not checkable: the label p is never defined, and the formula for r omits the division by p that the general rule (3) requires. Those are load-bearing gaps, not cosmetic typos, because the octagon relation is the entire content of the theorem. I also note the paper gives no example where the invariant actually distinguishes braids, so its nontriviality is open.

That said, I don't think the construction is wrong; it is underproved. The field case rests on a real theorem, and the tropical version very likely works with a proper proof. So this is a repairable manuscript rather than a dead end. The right fix is to prove the tropical octagon relation directly (or state it as a lemma with a real calculation) and clean up the variables.

Recommendation: send it to peer review, not desk reject. A referee familiar with cluster algebras or tropical geometry can quickly tell whether the transfer holds, and the paper is short enough that a revision is cheap. I wouldn't cite it yet, but I'd keep an eye on it.

Referee Report

4 major / 5 minor

Summary. The paper constructs an invariant of braids in the real projective plane from the action of braids on the labels of a dual quadrangulation. The labels are transformed by the Desargues flip, either over the classical field (1) or over the tropical semiring (2). The main theorem states that isotopic braids give identical transformations of labels on the dual graph D_n. The proof reduces braid isotopy to three local relations: inverse flips, commuting flips, and the octagon relation. The octagon relation is asserted to follow from a result of Enriques and Speyer by replacing field operations with tropical ones, and a calculation for the labels l, m, n, o, p, q, r, s is begun but left incomplete.

Significance. If the main theorem were established, the paper would give a relatively simple construction of braid invariants in RP^2, illustrating the principle that solutions of the octagon relation yield braid invariants. The paper is clearly written and transparent about its dependence on the author's earlier work [5] and on [1]; there is no circularity. However, the significance depends on the unproved tropical octagon relation, and the submitted version does not contain a verifiable proof of that relation. The geometric idea is attractive, but the mathematical support is currently insufficient.

major comments (4)

[§3, paragraph beginning 'The most important one'] The octagon relation for the tropical transformation (2) is asserted rather than proved. The sentence 'we changed usual operations of multiplication, division, and addition by their tropical analogues' does not justify the transfer: (R, max, +, −) is a semiring, not a field; ⊕ is idempotent and ⊘ is not an additive inverse, so identities proved in a field do not automatically hold after tropicalization. The paper needs a direct verification of the octagon relation for (2), or a valid argument that the specific field identity in [1] tropicalizes to the claimed identity. Citing [1] alone does not cover the tropical case.
[§3, label calculation for q, r, s] The label p is used in the formulas for q, r, and s but is never defined, and the expression for r is written as r = (b ⊗ e ⊕ c ⊗ p ⊕ d ⊗ q) = j without the divisor required by the general rule (3). Because the values of q, r, and s depend on p and on the missing denominator, the identities q = i, r = j, s = k cannot be checked from the text. The computation should be completed with all labels defined and all divisions displayed.
[§3, Theorem proof] The reduction of braid isotopy to inverse flips, commuting flips, and the octagon relation is delegated to [5]. This is acceptable for a sequel only if the details are indeed in [5], but the 'independent events commute' statement is asserted in a single sentence, and the octagon relation is the load-bearing step that is not established. As written, the theorem 'Isotopic braids give rise to identical transformations of labels' is not supported.
[§1, 'Fix a field F' and formula (2)] The paper calls max-plus a 'tropical field', but the operations do not satisfy the field axioms. This terminology is misleading and matters for the claimed passage from (1) to (2), which is not a change of notation but a change of algebraic structure. The paper should either use the standard term 'tropical semifield' and prove the relevant identities in that structure, or restrict the main theorem to the classical field case.

minor comments (5)

[§3, first paragraph] 'generic generic' should be 'generic'.
[§1, formula (3) and preceding paragraph] There is a stray closing parenthesis in the display of formula (3), and 'divison' should be 'division'.
[§3, octagon calculation] The label h is used in the calculation but is not clearly located in the accompanying figures; please indicate where h sits on the dual graph D_n.
[§3, last paragraph of the proof] The sentence 'once the construction work for any tropical field (2), it also works for the classical field of rational functions according to (3)' appears to have the two cases in the wrong order, since (3) is the general formula that contains both (1) and (2).
[References] Reference [1] is cited only by arXiv number; please include a precise theorem or page number for the octagon relation.

Circularity Check

0 steps flagged · score 2.0 of 10

No significant circularity: the braid invariant is conditional on an externally cited octagon relation, with self-citations for proof structure but no reduction of the conclusion to its inputs.

full rationale

The paper's claimed derivation is conditional on the octagon relation for the Desargues transformation. The field case is credited to the independent external paper [1] (Enriques-Speyer), and the tropical version is presented as a formal replacement of operations in equation (3). The proof structure—reducing braid isotopy to inverse flips, commuting flips, and the octagon relation—is cited to the author's prior work [5], but this is a normal mathematical dependency rather than a circular reduction: the new construction (labels on the dual quadrangulation, arbitrary strand number) is not assumed in [5]. The verification of the tropical octagon relation is incomplete: the label p in the expressions for q, r, and s is never defined, and the displayed formula for r omits the division by p required by the general flip rule (3). These are gaps in support and correctness risks, not instances where a prediction reduces by construction to its input or to a self-citation chain. Accordingly, the circularity score is low.

Assumptions & free parameters 0 free parameters · 3 assumptions · 0 invented entities

The claimed invariant depends on the octagon relation for the Desargues transformation, on its tropical analogue, and on the standard reduction of braid isotopy to three types of codimension-two events. These are treated as established or deferred rather than proved in this paper.

assumptions (3)

standard math The Desargues transformation (3) satisfies the octagon relation in the field of rational functions.
Used in Section 3 to show that two sequences of flips around an octagon produce the same labels. The paper cites [1] and [2] and does not prove it.
ad hoc to paper The same octagon relation holds in the tropical semiring (⊕=max, ⊗=+, ⊘=−).
Asserted in Section 3 by substituting tropical operations into the classical formula. Max-plus is not a field and cancellation fails, so this requires a separate proof that is not supplied.
domain assumption A generic braid isotopy between braids has only three types of codimension-2 events: inverse flips, commuting independent flips, and the octagon relation.
Stated in Section 3 following [5]; the paper does not reproduce the genericity argument.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Octagon and tropical octagon yield braid invariants." pith.science (2026). https://pith.science/paper/AKRTGTHB

@misc{pith2026241118991,
  author       = {Pith},
  title        = {Pith review of: Octagon and tropical octagon yield braid invariants},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/AKRTGTHB}},
  note         = {Machine review of arXiv:2411.18991}
}

abstract

In the present paper, we construct an invariant of braids in the real projective plane which corresponds to an ``action'' of braids on certain graphs in $\R{}P^{2}$ with labels. This paper is a sequel of papers \cite{M},\cite{KM}. It demonstrates once more that solutions to the octagon relation in various forms give rise to invariants of braids.

Figures

Figures reproduced from arXiv: 2411.18991 by the authors.

**Figure 2.** The Desargues flip Let us consider braids on RP 2 and, by using duality, we shall move n pairwise distinct lines. Generically, these lines intersect in n 2 points. By Euler characteristic reasons, these lines split the projective plane into n 2 + 1 regions. As points move, whenever no three of them are collinear, their dual lines form a four-valent graph in RP 2 (in general position). The dual graph is naturall… view at source ↗

**Figure 3.** Inverting the triangle In this case x ′ = max(a + d − x, b + e − x, c + f − x) (2). The general case which contains both (1) and (2) is given by the formula x → x ′ = (a ⊗ d ⊕ b ⊗ e ⊕ c ⊗ f) ⊘ x). (3) 2 Acknowledgements I am very grateful to Igor Mikhailovich Nikonov, Louis Hirsch Kauffman and Seongjeong Kim for permanent discussion of my current work. I am extremely grateful to Ilya Rohozhkin for preparing this tex… view at source ↗

Figures from the paper (1 more)

**Figure 4.** Figure 4: The composition of two Desargues flips Theorem. Isotopic braids give rise to identical transformations of labels on the dual graph Dn. Proof. The proof goes along the lines of [5]. One can consider a generic isotopy of braids. Standardly, relations correspond to codim…

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

7 extracted references · 6 canonical work pages

[5]

Manturov, V.O., Braids act on configurations of lines, arXiv:2306.07079

work page Pith review arXiv
[1]

A.Enriques, D.Speyer, The multidimensional cube recurrence, Arxiv: 0708.2478v3

work page Pith review arXiv
[2]

S.V.Fomin, P.Pylavskyy, Incidences and Tilings, arxiv.org/2305.07728

arXiv
[3]

V.O.Manturov, D.A.Fedoseev, S.Kim., I.M.Nikonov,Invariants and Pic- tures, World Scientific, 2020

work page 2020
[4]

S.Kim and V.O.ManturovRhombile tilings,The groups Gkn and 2n-gon tilings arxiv: 2401.15345

work page Pith review arXiv
[6]

V.O.Manturov, Z.Wan, The photography method: solving pentagon, hexagon, and other equations, arXiv:2305.11945

work page Pith review arXiv
[7]

I.E.Rohozhkin, Pentagon equations, Vorono¨ ıtilings and pure braid groups invariant, arXiv:2405.10240 6

work page Pith review arXiv

Pith tools

Reviewed August 12, 2026 · model on record in the stance chip above.

[1] [5]

Manturov, V.O., Braids act on configurations of lines, arXiv:2306.07079

work page Pith review arXiv

[2] [1]

A.Enriques, D.Speyer, The multidimensional cube recurrence, Arxiv: 0708.2478v3

work page Pith review arXiv

[3] [2]

S.V.Fomin, P.Pylavskyy, Incidences and Tilings, arxiv.org/2305.07728

arXiv

[4] [3]

V.O.Manturov, D.A.Fedoseev, S.Kim., I.M.Nikonov,Invariants and Pic- tures, World Scientific, 2020

work page 2020

[5] [4]

S.Kim and V.O.ManturovRhombile tilings,The groups Gkn and 2n-gon tilings arxiv: 2401.15345

work page Pith review arXiv

[6] [6]

V.O.Manturov, Z.Wan, The photography method: solving pentagon, hexagon, and other equations, arXiv:2305.11945

work page Pith review arXiv

[7] [7]

I.E.Rohozhkin, Pentagon equations, Vorono¨ ıtilings and pure braid groups invariant, arXiv:2405.10240 6

work page Pith review arXiv