Qazaqzeh–Chbili–Lowrance Conjecture in Knot Theory

• Qazaqzeh–Chbili–Lowrance Conjecture is a hypothesis linking the crossing number, Turaev genus, and Jones polynomial to characterize link adequacy, especially in Turaev genus two links.
• It employs state surface topology and alternating tangle decomposition to analyze infinite families of links using combinatorial and quantum invariants.
• Recent verifications in families like 5-twist-region and double-twist knots provide evidence by confirming equality between diagrammatic invariants and polynomial spans.

The Qazaqzeh–Chbili–Lowrance (QCL) Conjecture concerns the relationship between the crossing number, the Turaev genus, and the Jones polynomial of a link, seeking a sharp characterization of adequacy for links in terms of these invariants. The conjecture is positioned within the broader framework of knot Floer homology, state surface topology, and the combinatorial structure of link diagrams, finding particular potency in the study and classification of links of Turaev genus two. Recent advances have yielded affirmative evidence for the conjecture in key infinite families, and have situated it as a central hypothesis in the ongoing exploration of the connections between diagrammatic properties and quantum invariants.

1. Background on the Turaev Genus

Given a connected diagram $D$ of an oriented link $L\subset S^3$ with $c(D)$ crossings, the Turaev surface $F(D)$ is constructed via the all-$A$ and all-$B$ Kauffman state smoothings, joining the collections of state circles by saddles at each crossing and capping boundaries with disks. The genus of this surface is explicitly given by

$g_T(D) = \frac{c(D) + 2 - s_A(D) - s_B(D)}{2}$

where $s_A(D)$ (resp. $s_B(D)$) is the number of circles in the all-$A$ (resp. all-$L\subset S^3$0) state. The Turaev genus of the link $L\subset S^3$1 is the minimum of $L\subset S^3$2 over all diagrams $L\subset S^3$3 of $L\subset S^3$4,

$L\subset S^3$5

Alternating links are precisely those with $L\subset S^3$6; non-split Montesinos and pretzel links exhibit $L\subset S^3$7 when non-alternating. No complete characterization of links with $L\subset S^3$8 exists, but various classifications and infinite families are known (Kim, 2015, Champanerkar et al., 2014).

2. Statement and Formulation of the Qazaqzeh–Chbili–Lowrance Conjecture

Let $L\subset S^3$9 denote the Jones polynomial of a link $c(D)$0, with $c(D)$1 the maximal (resp. minimal) exponent difference. For any diagram,

$c(D)$2

The QCL conjecture postulates a precise criterion for adequacy: $c(D)$3 For links of Turaev genus two, an adequate diagram is characterized exactly by equality in the above bound (Goyal et al., 14 Jan 2026).

3. Verification and Results for Genus Two Links

Explicit verification of the QCL conjecture has been carried out in the family of 5-twist-region links $c(D)$4, where the diagram is formed by chaining five twist regions with prescribed (positive or negative) numbers of half-twists. For such links:

• The crossing number is $c(D)$5.
• The Turaev genus is $c(D)$6.
• The Jones polynomial span for the subclass with $c(D)$7 is $c(D)$8.

This computation yields the so-called defect,

$c(D)$9

Whenever $F(D)$0, the span is strictly less than $F(D)$1, indicating non-adequacy, but QCL's inequality is satisfied. Adequate diagrams (if they exist in this family) must satisfy $F(D)$2 and attain equality in the conjectured bound (Goyal et al., 14 Jan 2026).

4. Classification and Structure of Turaev Genus Two Diagrams

The fine structure of Turaev genus two link diagrams has been characterized both via alternating tangle decomposition and via combinatorial "alternating decomposition" graphs. There are exactly eight tangle types for genus two in the Kim classification, each corresponding to a distinct assembling of maximally connected alternating tangles (MCA-tangles) and non-alternating "ribbons" (Kim, 2015).

Alternately, in the framework of alternating decomposition graphs $F(D)$3, the Armond–Lowrance classification provides five possible graph types for reduced diagrams of genus two, which encode the adjacency and linkage patterns of maximal alternating regions via doubled-path equivalence. The Turaev genus is given rigorously by the graph-topological formula

$F(D)$4

where $F(D)$5 is a twisted ribbon-graph associated to $F(D)$6 (Armond et al., 2015).

5. Polynomial and Homological Invariants in the Conjecture

The Jones polynomial span provides a primary lower bound for the difference $F(D)$7, achieving equality precisely for adequate diagrams. Ribbon-graph polynomials, specifically the Bollobás–Riordan–Tutte polynomial, and quasi-tree generating functions $F(D)$8 extract the Turaev genus by recording the maximal ribbon genus among quasi-trees. For $F(D)$9, the presence of $A$0 but no higher-powered terms confirms the genus. Khovanov and knot Floer homology widths satisfy

$A$1

and provide alternative detection mechanisms, particularly when their value is $A$2 for $A$3 links (Champanerkar et al., 2014).

6. Illustrative Examples and Explicit Families

Concrete confirmations of the QCL conjecture occur in several infinite families:

• Double-twist knots $A$4 with $A$5 have $A$6; for these, $A$7 confirms adequacy and the conjecture (Champanerkar et al., 2014).
• Alternating sign 4-strand pretzel links $A$8 with $A$9 also produce $B$0 cases.
• The $B$1 family details the defect and witnesses both adequate and non-adequate genus two links (Goyal et al., 14 Jan 2026).

A table of invariants for $B$2:

Invariant	Value	Formula
Crossing number $B$3	17	$B$4
Turaev genus $B$5	2	by explicit state-count
$B$6	11	$B$7
Defect $B$8	4	$B$9

7. Implications and Directions for Further Investigation

The QCL conjecture integrates diagrammatic, combinatorial, and quantum invariants in knot theory, enabling a sharper understanding of adequacy for links beyond the alternating case. While the conjecture is verified for significant infinite families of small Turaev genus, a universal proof or counterexample remains elusive. Investigations into higher genus structures, additivity of Turaev genus under connected sum, and further generalizations of adequacy continue to motivate research (Goyal et al., 14 Jan 2026, Kim, 2015, Armond et al., 2015). The combinatorial and topological classifications for genus two provide tools for algorithmic verification of the conjecture in explicitly constructed examples and suggest that the genus-defect framework could extend to broader classes of links.

A plausible implication is that further progress on the QCL conjecture may reveal deeper connections between state-surface topology and the structure of quantum knot invariants, especially as new classes of ribbon graphs and tangle decompositions are systematically explored.