{"id":"5e9f104e-7078-4559-a38b-bb203c71cf7e","arxiv_id":"2507.18500","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"The fundamental generalized Legendrian rack of a Legendrian knot determines the Thurston-Bennequin number and rotation number up to a simultaneous sign.","lead":"A new theorem shows that an algebraic invariant of Legendrian knots, the fundamental generalized Legendrian rack, determines the two classical numerical invariants up to a simultaneous sign. This is a partial converse to earlier work and clarifies how much Legendrian information the rack invariant carries.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The proof's cyclic presentation omits cusp relations; for fronts with cusp-only arcs the asserted m crossing relations do not exist, so p, q, and omega are not justified as cusp and writhe counts.","rationale":"The reader's verdict of CONDITIONAL is appropriate, and the identified weakest assumption is close to the real issue, but I would demote the second stated premise. The omitted final case analysis is a minor two-line check: with A=omega-p, B=omega-q, A'=eomega-ep, B'=eomega-eq, the equalities |A|=|A'| and |B|=|B'| give A=delta A', B=epsilon B' for signs delta, epsilon; if delta != epsilon, the third equality |A-B|=|A'-B'| forces A'B'=0, and in that degenerate case the pair still equals either (A',B') or (-A',-B'). So the inference to exactly two sign patterns is correct and easily filled. The load-bearing concern is instead the initial presentation. The paper's Definition 2.10 counts arcs whose endpoints may be cusps and includes cusp relations in the fundamental GL-rack, while the proof of Theorem 1.1 uses only crossing relations. No argument shows that every front diagram admits a cyclic presentation whose sums p,q,omega equal the cusp counts and writhe; the standard unknot front with two cusps and no crossings shows the asserted presentation cannot hold literally. The theorem may well be repairable by taking generators only at crossings and proving that sum p_i=U, sum q_i=D, sum epsilon_i=w, but that construction is not in the paper. Therefore the proof as written is conditional on a nontrivial unproven presentation lemma.","tokens_in":9230,"tokens_out":26883,"duration_ms":274799,"concrete_test":"Take the standard Legendrian unknot front with two cusps and no crossings. Write the full presentation of its fundamental GL-rack from Definition 2.10, including the cusp relations u(x_1)=x_2 and d(x_2)=x_1. Then attempt to express this presentation in the proof's form with m relations u^{p_i}d^{q_i}(x_i) *^{epsilon_i} x_{k_i} = x_{i+1}. Since there are no crossings, either m=0 and p=q=omega=0, which would give tb=0 rather than the correct tb=-1, or one must introduce a dummy relation not justified by the GL-rack axioms. If the conversion fails, the proof's central presentation premise is false as stated; if it succeeds, specify the dummy relations and check whether the resulting sums p and q equal U=D=1.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The proof of Theorem 1.1 begins by writing GLR_K as <x_1,...,x_m | r_1,...,r_m> where every r_i is a crossing relation of the form u^{p_i}d^{q_i}(x_i) *^{epsilon_i} x_{k_i} = x_{i+1}. But Definition 2.10 and Figure 4 define the fundamental GL-rack with both crossing relations and cusp relations u(x)=y, d(x)=y. The proof gives no argument that cusp relations can be eliminated or absorbed into the exponents p_i, q_i. This matters because the later conclusion that tb and rot agree up to sign is derived entirely from the three sums p = sum p_i, q = sum q_i, and omega = sum epsilon_i, where p and q are implicitly identified with the numbers of up and down cusps and omega with the writhe. A concrete failure of the stated presentation is the standard Legendrian unknot front with two cusps and no crossings: its fundamental GL-rack has cusp relations u(x_1)=x_2 and d(x_2)=x_1 and no crossing relations, so the claimed m crossing-type relations do not exist and p, q, omega are undefined. If the authors intend generators to be only arcs immediately preceding each crossing, that is not what Definition 2.10 says, and the identities sum p_i = U, sum q_i = D, sum epsilon_i = w are asserted without proof. This is the load-bearing gap: the theorem's proof currently depends on a presentation that is not established and is false as stated for diagrams without crossings.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"This paper studies the fundamental generalized Legendrian rack (GL-rack) of a Legendrian knot, a rack equipped with two cusp automorphisms u and d, following Kimura and Karmakar--Saraf--Singh. The main result, Theorem 1.1, asserts that if two Legendrian knots K1 and K2 have isomorphic fundamental GL-racks, then either their Thurston--Bennequin numbers and rotation numbers agree, or both are negated. The proof colors front diagrams by finite cyclic permutation GL-racks and derives three absolute-value identities involving the total numbers of up cusps, down cusps, and the writhe, then concludes that only two sign patterns are possible. A corollary states that if one of the knots is slice, the classical invariants are equal. Two examples illustrate that GL-rack colorings can distinguish some Legendrian knots and that isomorphic GL-racks need not imply Legendrian isotopy.","tokens_in":9543,"tokens_out":17326,"duration_ms":174955,"significance":"If Theorem 1.1 is correct, it is a significant partial converse to Kimura's theorem: the fundamental GL-rack, an algebraic invariant of the front, almost determines the two classical Legendrian invariants, fixing them up to a simultaneous sign change. The proof strategy is appealing and elementary, and the three-family permutation-rack argument is a nice tool. The examples are informative, showing both strength (Example 2.12) and limitation (Example 2.13) of the invariant. The main obstacle is that the proof relies on a presentation of the fundamental GL-rack that is not justified and is false for cusp-only fronts; this must be repaired before the theorem can be accepted.","major_comments":[{"comment":"The proof assumes without proof that GLR_K admits a presentation <x_1,...,x_m | r_1,...,r_m> in which every r_i is a crossing relation of the form u^{p_i}d^{q_i}(x_i) *^{\\epsilon_i} x_{k_i} = x_{i+1}. This contradicts Definition 2.10 and Figure 4, where cusp relations u(x)=y and d(x)=y are part of the presentation and arcs are cut at cusps as well as undercrossings. For the standard two-cusp unknot front there are no crossing relations at all, so the asserted presentation is not true for that front. The authors need a lemma that chooses a front with at least one crossing, labels the arcs immediately after undercrossings, eliminates cusp generators using the cusp relations, and proves that p=\\sum p_i, q=\\sum q_i, and \\omega=\\sum \\epsilon_i equal the numbers of up cusps, down cusps, and the writhe; the no-crossing case must be treated separately. As written, the proof of Theorem 1.1 depends on unproved and, for cusp-only fronts, false identities.","section":"Section 3, Proof of Theorem 1.1, first paragraph"},{"comment":"The step from the three absolute-value equalities |\\omega-p|=|\\tilde{\\omega}-\\tilde{p}|, |\\omega-q|=|\\tilde{\\omega}-\\tilde{q}|, and |\\omega-2p+q|=|\\tilde{\\omega}-2\\tilde{p}+\\tilde{q}| to the dichotomy (\\omega-p=\\tilde{\\omega}-\\tilde{p} and \\omega-q=\\tilde{\\omega}-\\tilde{q}) or (\\omega-p+\\tilde{\\omega}-\\tilde{p}=0 and \\omega-q+\\tilde{\\omega}-\\tilde{q}=0) is asserted without proof. The underlying algebraic lemma is true: one checks the cases B=\\pm A and D=\\pm C in the third equality. However, because this inference is load-bearing for the theorem, it should be stated and proved explicitly. This is a fillable gap rather than a false claim.","section":"Section 3, paragraph beginning \"Based on these\""}],"minor_comments":[{"comment":"In the displayed data for the Chekanov--Eliashberg example, 'rot(K3)=rot(K3)=0' should presumably read 'rot(K3)=rot(K4)=0', and in the definition of f, 'f(x6)=d^2(x6)' should be 'f(x6)=d^2(y6)' because f maps into GLR_{K4}.","section":"Example 2.13"},{"comment":"The sentence 'the knot quandle can be recovered from the generalized GL-rack by setting u=d=id' is informal; setting the cusp automorphisms to the identity is not a recovery procedure on a fixed GL-rack. Please phrase this as a quotient or as forgetting the cusp relations, and justify that the result is the knot quandle.","section":"Corollary 3.1"},{"comment":"The claimed conclusion Col_{Z_9}(K_1)=0 would be easier to verify if the computation leading to \\sigma^{-7}(\\psi(x_1))=\\psi(x_1) were displayed rather than summarized by an ellipsis.","section":"Example 2.12"}],"recommendation":"major_revision","confidential_remarks":"The paper has a sound core idea and the theorem is likely correct after adding the missing presentation lemma. The current proof is incomplete in a way that affects the main result, so a major revision is appropriate. The examples are useful, the relation to Kimura's theorem is appropriately cited, and I do not see circularity or a novelty problem. The authors should also correct the typo in Example 2.13 and clarify the recovery of the knot quandle in Corollary 3.1."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Hi,\n\nQuick take: Theorem 1.1 is a genuine result and the main idea is right. The paper proves that the fundamental generalized Legendrian rack determines the classical invariants up to a simultaneous sign, which is a partial converse to Kimura's coloring theorem. That statement is not in the earlier literature, and the counting argument with permutation GL-racks is clean. The three choices of u and d give the right absolute-value equalities, and the examples are useful.\n\nThe soft spots are real, though. The proof of Theorem 1.1 starts by writing GLR_K as <x_1,...,x_m | r_1,...,r_m> where every r_i is a crossing relation. But Definition 2.10 and Figure 4 define the fundamental GL-rack with both crossing relations and cusp relations. The proof never explains how cusp relations are absorbed. For a standard Legendrian unknot front with two cusps and no crossings, there are no crossing relations at all, so the asserted presentation fails and p,q,omega are undefined. This is not a cosmetic issue: the identification of p,q,omega with cusp counts and writhe is exactly what makes the conclusion about tb and rot go through. I suspect one can repair this by choosing generators at crossings and eliminating cusp arcs, but the paper doesn't say that.\n\nThe second issue, which the proof's final paragraph flags, is the step from three absolute-value equalities to only two sign patterns. That is asserted, not proved. It is probably fixable by a short case analysis, but it is load-bearing.\n\nThere are also small typos (e.g., in Example 2.13, rot(K3)=rot(K3) should read rot(K3)=rot(K4), and f(x6)=d2(x6) should be d2(y6)), and the claim in Corollary 3.1 about recovering the knot quandle by setting u=d=id is stated without proof, though it is likely fine.\n\nOverall: the central theorem is probably true and the argument is mostly transparent, but the proof as written has a genuine gap. I would send it to a serious referee rather than desk-reject; the referee can ask for the cusp-relation reduction and the missing case analysis. I would not cite it until a corrected version appears.\n\nRegards.","headline":"A genuinely new partial converse to Kimura, with the right proof idea, but the proof as written omits cusp relations and a load-bearing case analysis; send to a referee.","tokens_in":10024,"tokens_out":4501,"would_cite":false,"duration_ms":45616,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["57K12"],"pacs":[],"model":"deepseek-v4-flash","headline":"Two Legendrian knots with isomorphic fundamental GL-racks must have the same classical invariants, or both reversed.","keywords":["Legendrian knot","fundamental GL-rack","Thurston-Bennequin number","rotation number","rack invariant","front projection","classical invariants"],"falsifier":"Enumerate all sign patterns for the three pairs $(\\omega-p, \\tilde{\\omega}-\\tilde{p})$, $(\\omega-q, \\tilde{\\omega}-\\tilde{q})$, and $(\\omega-2p+q, \\tilde{\\omega}-2\\tilde{p}+\\tilde{q})$ that satisfy the three absolute-value equalities; if any pattern other than all-aligned or all-reversed survives, the proof's final inference is broken. Then search for two Legendrian knots realizing such sums with isomorphic fundamental GL-racks but unequal, non-opposite $(\\mathrm{tb}, \\mathrm{rot})$ — such a pair would refute Theorem 1.1 directly.","tokens_in":8991,"feed_emoji":"🪢","tokens_out":11911,"duration_ms":107283,"temperature":0.7,"pith_summary":"This paper aims to establish that the fundamental generalized Legendrian rack (GL-rack), an algebraic invariant built from the front diagram of a Legendrian knot, determines the knot's two classical numerical invariants up to a simultaneous sign. Concretely, the theorem states that if two Legendrian knots have isomorphic fundamental GL-racks, then either their Thurston-Bennequin numbers and rotation numbers are equal, or both are the negatives of the other's. This matters because it shows the GL-rack carries real geometric information rather than being a purely combinatorial decoration, and it narrows the search for invariants that the GL-rack could fail to distinguish. The proof extracts the classical data from signed exponent sums in the rack's cyclic presentation.","feed_headline":"Isomorphic GL-racks force equal or opposite Legendrian invariants","feed_subtitle":"The fundamental GL-rack fixes a Legendrian knot's Thurston-Bennequin and rotation numbers, up to flipping both.","key_machinery":"The load-bearing object is the fundamental GL-rack $\\mathrm{GLR}_K$ of a Legendrian knot, presented from a front diagram as a free GL-rack on the arcs modulo crossing and cusp relations, and specifically its cyclic presentation with relations $r_i: u^{p_i}d^{q_i}(x_i) *^{\\epsilon_i} x_{k_i} = x_{i+1}$ for $1 \\le i \\le m$ (indices modulo $m$). From these relations the proof forms the three total sums $p = \\sum_i p_i$, $q = \\sum_i q_i$, and $\\omega = \\sum_i \\epsilon_i$, which are related to the writhe and cusp counts, hence to the Thurston-Bennequin and rotation numbers. The argument then uses permutation GL-racks on $\\mathbb{Z}_k$, where $a * b = \\sigma(a)$ and $ud = \\sigma^{-1}$, choosing three different pairs $(u,d)$ — $(\\sigma^{-1}, \\mathrm{id})$, $(\\mathrm{id}, \\sigma^{-1})$, and $(\\sigma^{-2}, \\sigma)$ — to force the absolute-value equalities $|\\omega-p|=|\\tilde{\\omega}-\\tilde{p}|$, $|\\omega-q|=|\\tilde{\\omega}-\\tilde{q}|$, and $|\\omega-2p+q|=|\\tilde{\\omega}-2\\tilde{p}+\\tilde{q}|$. The final step, meant to convert these three absolute equalities into the two sign patterns, is the part of the machinery that carries the theorem's conclusion.","core_discovery":"On the paper's own terms, the discovery is Theorem 1.1: for any two Legendrian knots $K_1$ and $K_2$ with isomorphic fundamental GL-racks, the pair $(\\mathrm{tb}(K_1), \\mathrm{rot}(K_1))$ is either equal to $(\\mathrm{tb}(K_2), \\mathrm{rot}(K_2))$ or equal to $(-\\mathrm{tb}(K_2), -\\mathrm{rot}(K_2))$. The argument packages the front diagram into a cyclic presentation of the fundamental GL-rack with relations $u^{p_i}d^{q_i}(x_i) *^{\\epsilon_i} x_{k_i} = x_{i+1}$, then forms the total sums $p$, $q$, and $\\omega$ of the exponents and crossing signs. Evaluating the fundamental GL-rack in permutation GL-racks on cyclic sets with three carefully chosen pairs $(u,d)$ yields absolute-value equalities for $\\omega - p$, $\\omega - q$, and $\\omega - 2p + q$. The paper asserts that these three equalities leave only the two sign patterns in the theorem; it also records a slice-knot corollary and asks whether the converse holds.","pith_inferences":["The proof's reliance on cyclic presentations suggests the three absolute-value equalities are the entire content of the invariant's classical information; extending the same permutation-rack trick to other rack-valued invariants could yield analogous constraints for those invariants.","If the asserted 'only two possibilities' step is completed, the theorem would imply that the absolute values $|\\mathrm{tb}|$ and $|\\mathrm{rot}|$ are invariant under GL-rack isomorphism; one could then use classical knot tables to identify candidate Legendrian knots that might share a fundamental GL-rack.","A testable extension: for a fixed topological knot type, classify all possible sums $(p,q,\\omega)$ arising from front diagrams and check whether any two distinct Legendrian representatives realize a mixed sign pattern of the three equalities; finding one would expose a counterexample to the proof's final step.","The two knots in Example 2.13 suggest that isomorphism of fundamental GL-racks may be common among Legendrian knots sharing classical invariants, making Question 3.2's converse especially delicate."],"forward_implications":["If two Legendrian knots with the same underlying topological type have isomorphic fundamental GL-racks, their classical invariants cannot be unrelated: the only freedoms are simultaneous equality or simultaneous sign flip.","For slice knot types, isomorphic fundamental GL-racks imply the Thurston-Bennequin and rotation numbers are equal, since the slice-genus bound forces both Thurston-Bennequin numbers to be negative.","Any invariant that factors through the fundamental GL-rack must take equal values on Legendrian knots whose $(\\mathrm{tb}, \\mathrm{rot})$ are either equal or both opposite.","The paper's Question 3.2 — whether two Legendrian knots with the same classical invariants can have distinct fundamental GL-racks — becomes the natural completeness test for the invariant.","The two knots in Example 2.13 show the fundamental GL-rack is not a complete Legendrian invariant, because they share it while having equal classical invariants."],"supporting_citations":[{"why":"supplies the definition of GL-rack and the invariance of the fundamental GL-rack under Legendrian Reidemeister moves, which the proof assumes throughout.","marker":"[14]"},{"why":"introduced the enhanced GL-rack with separate up/down cusps and proved the coloring result whose converse the main theorem addresses.","marker":"[15]"},{"why":"introduced the Legendrian rack concept whose cusp automorphism idea the GL-rack generalizes.","marker":"[4]"},{"why":"proves the knot quandle classification of knots up to mirror and orientation reversal, used in the slice-knot corollary.","marker":"[13]"},{"why":"independently proves the same knot quandle classification, supporting the slice-knot corollary.","marker":"[17]"},{"why":"provides the linearized contact homology computation showing the two knots in Example 2.13 are not Legendrian isotopic.","marker":"[5]"}],"fun_headline_variants":["GL-rack isomorphism pins Legendrian invariants up to sign flip","GL-rack decides Legendrian type up to global sign flip","GL-rack fixes Legendrian invariants modulo a global sign","GL-rack fixes Legendrian invariants up to simultaneous sign flip","Rack isomorphism flips or fixes Legendrian invariants"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The theorem stands on two unstated premises: that every front diagram yields a cyclic presentation of the fundamental GL-rack with exactly $m$ relations of the form $u^{p_i}d^{q_i}(x_i) *^{\\epsilon_i} x_{k_i} = x_{i+1}$, and that three absolute-value equalities force only the two sign patterns; the latter is asserted without a full case analysis.","fun_headline_variants_meta":{"raw":{"variants":["GL-rack isomorphism pins Legendrian invariants up to sign flip","GL-rack decides Legendrian type up to global sign flip","GL-rack fixes Legendrian invariants modulo a global sign","GL-rack fixes Legendrian invariants up to simultaneous sign flip","Rack isomorphism flips or fixes Legendrian invariants"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000915,"raw_usage":{"total_tokens":3871,"prompt_tokens":827,"completion_tokens":3044,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":443,"completion_tokens_details":{"reasoning_tokens":2957}},"tokens_in":443,"tokens_out":3044,"duration_ms":22165,"temperature":1.0,"reasoning_tokens":2957,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-15T18:12:31.008745+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Enumerate all sign patterns for the three pairs $(\\omega-p, \\tilde{\\omega}-\\tilde{p})$, $(\\omega-q, \\tilde{\\omega}-\\tilde{q})$, and $(\\omega-2p+q, \\tilde{\\omega}-2\\tilde{p}+\\tilde{q})$ that satisfy the three absolute-value equalities; if any pattern other than all-aligned or all-reversed survives, the proof's final inference is broken. Then search for two Legendrian knots realizing such sums with isomorphic fundamental GL-racks but unequal, non-opposite $(\\mathrm{tb}, \\mathrm{rot})$ — such a pair would refute Theorem 1.1 directly.","supporting_citations":[{"cited_title":"Generalised legendrian racks of legendrian links","cited_arxiv_id":null,"evidence_quote":"supplies the definition of GL-rack and the invariance of the fundamental GL-rack under Legendrian Reidemeister moves, which the proof assumes throughout."},{"cited_title":"Bi-Legendrian rack colorings of Legendrian knots","cited_arxiv_id":null,"evidence_quote":"introduced the enhanced GL-rack with separate up/down cusps and proved the coloring result whose converse the main theorem addresses."},{"cited_title":"Legendrian rack invariants of Legendrian knots","cited_arxiv_id":null,"evidence_quote":"introduced the Legendrian rack concept whose cusp automorphism idea the GL-rack generalizes."},{"cited_title":"A classifying invariant of knots, the knot quandle","cited_arxiv_id":null,"evidence_quote":"proves the knot quandle classification of knots up to mirror and orientation reversal, used in the slice-knot corollary."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"independently proves the same knot quandle classification, supporting the slice-knot corollary."}],"review_version":2}