{
  "schema_version": 1,
  "problem_number": "AMR-103-0016",
  "title": "On a Problem of Ferrand and Stoimenow Answered in Print by Rutherford and Ito: A Sharper Signature Bound for the HOMFLY Polynomial of Alternating Links, and a Short Proof that Quasipositive Alternating Links Are Positive",
  "author": {
    "name": "Alper Ferudun",
    "affiliation": "Mercury Software GmbH",
    "url": "https://github.com/AlperTheKing"
  },
  "abstract": "Problem 1.16 of Ohtsuki's list (E. Ferrand, A. Stoimenow) asks whether every alternating link L satisfies σ(L) ≥ min deg_l P_L ≥ min deg_a F_L(a^-1, z), where σ is the signature, P_L(l, m) the HOMFLY polynomial and F_L(a, z) the Kauffman polynomial. Both inequalities are in print: the second is a corollary of Rutherford (2006), based on a proposition of Ng, and the first is a theorem of Ito (2026). This note does not solve the problem; it gives a short proof of the first inequality in a sharper form. For a connected reduced alternating diagram D of L with writhe w, n_- negative crossings, s Seifert circles and s_A circles in the all-A state, put d_-(D) = (n_- + s − s_A)/2. Then d_-(D) is a non-negative integer, positive if D has a negative crossing, and w − s + 1 ≤ min deg_l P_L ≤ σ(L) − d_-(D) = w − s + 1 + d_-(D). In particular σ(L) = min deg_l P_L if and only if D is positive. The proof compares degrees under the substitution which turns P into the Jones polynomial; its ingredients are classical (Morton's bound for the degree in m, the degree formula of Kauffman, Murasugi and Thistlethwaite, Traczyk's formula for the signature). The case of equality, and with it part (i) of a conjecture of Ito for alternating links and part (ii) for reduced alternating diagrams, also follows from Ito's theorem and an inequality in a paper of Stoimenow (2026), as we explain; the bound with d_-(D) is stronger when d_-(D) ≥ 3, and it gives a positive answer to a question of Orevkov (2020). With an elementary lemma on the signature and the nullity under a band move it yields a short proof that every reduced alternating diagram of a quasipositive alternating link is positive. This is the alternating case of the statement that homogeneous quasipositive links are positive, for which Stoimenow has announced a proof in a text on his home page; the question goes back to Baader (2005). We present a short independent proof of that case, not a new theorem. Exact computations, among them all prime alternating links with at most 14 crossings in all orientations and more than 50 000 quasipositive braid words, are tests of the statements; no proof depends on them. This is an unrefereed note.",
  "result_type": "COMPLETE_SCOPED_PROOF",
  "categories": [
    "math.GT"
  ],
  "keywords": [
    "alternating links",
    "HOMFLY polynomial",
    "skein polynomial",
    "signature of links",
    "Jones polynomial",
    "Kauffman polynomial",
    "Morton-Franks-Williams inequality",
    "quasipositive links",
    "positive links",
    "Seifert graph",
    "Ohtsuki problem list",
    "Problem 1.16",
    "problem answered in print",
    "UnsolvedMath",
    "AMR-103-0016",
    "math.GT",
    "open mathematics"
  ],
  "manuscript_version_date": "2026-10-10",
  "publication_date": "2026-10-10",
  "publication_date_kind": "first public online release",
  "version": "1.0",
  "date_modified": "2026-10-10",
  "presentation_revision_only": false,
  "doi_archived_file_version": "1.0",
  "status": "unrefereed preprint",
  "canonical_url": "https://eulersolve.org/papers/amr-103-0016/",
  "pdf_url": "https://eulersolve.org/papers/amr-103-0016/paper.pdf?v=67e949592e1c",
  "doi": "10.5281/zenodo.23288134",
  "zenodo_record_url": "https://zenodo.org/records/23288134",
  "license": "https://creativecommons.org/licenses/by/4.0/",
  "scope_caveat": "The problem of this record (Problem 1.16 of Ohtsuki's list, posed by E. Ferrand and A. Stoimenow) is answered in print by D. Rutherford (2006, with a proposition of L. Ng) and T. Ito (2026); this note does not solve it. It gives a short proof of the signature inequality in a sharper form, min deg_l P_L ≤ σ(L) − d_-(D) for a connected reduced alternating diagram D, a positive answer to a question of Orevkov (2020), and a short independent proof of the alternating case of the statement that homogeneous quasipositive links are positive, for which A. Stoimenow has announced a proof. The case of equality also follows from statements in print (Ito; Stoimenow, Publ. RIMS 62 (2026)). Stoimenow's paper of 2002 on these inequalities could not be read. Unrefereed; no priority claim.",
  "files": {
    "paper.pdf": {
      "sha256": "67e949592e1c2a0bf8b15341671f23201da8a8f8869c8dc835730e2ba4f63205"
    },
    "source.zip": {
      "sha256": "e7221248954c26d61b32a6a13664e9315ff1a37417f050fc4e29f9ba79beb9a7"
    },
    "verification_report.md": {
      "sha256": "3f2d262103f23fe91cd4ee8964860f1d652d15a0918867fc08c824ccab256925"
    }
  },
  "ai_use_disclosure": "AI-assisted tools supported research, computation, proof development, and manuscript preparation. The author remains responsible for all claims and the final text."
}