Alphabeta Math
DefinitionDefinition: Literature-sourcedProof: Not applicablePipeline-generatedjudge pass (gpt-6-luna)
How statement and proof provenance work

The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.

  • Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
  • AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
  • AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.

These labels describe origin, not correctness: citations and verification chips remain separate evidence.

Complex Temperley–Lieb critical labels and reflection

Definition

Let q∈C×. Define κ=ord⁡(q2) if q2 has finite multiplicative order, and κ=∞ otherwise. For integers n≥0 and p with 0≤p≤⌊n/2⌋, set the defect label t=n−2p; here p counts arcs and t counts defects. The pair (n,p) is critical at q when κ<∞ and κ∣(t+1), equivalently q2(t+1)=1. If κ=∞, no pair is critical. When κ=1 every allowed pair is critical.

For finite κ≥2 and a noncritical pair, write uniquely t+1=kκ+r,k≥0,1≤r<κ. Its reflection label across the next critical line is p♯=p+r−κ. This reflected label is called present only when p♯≥0; it then automatically satisfies p♯≤⌊n/2⌋. If p♯<0, there is no label in range on that side. A critical label is treated as a singleton under reflection. These are arithmetic label conventions; they do not by themselves assert radical, composition-factor, Hom-space, or projective-cover formulas.

The order κ is kept separate from the recurrence quantum characteristic ℓ of Temperley–Lieb quantum integers and quantum characteristic. For q=±1, κ=1 while the complex recurrence quantum characteristic is ∞.

Depends on

Used by

Dependency tree · one level

1 result within one dependency step of this one, each drawn at its shortest distance from it. An arrow runs from a result to what uses it, so the chart reads left to right and ends at this result, which carries a heavier outline. Every node is a link to that result. Click elsewhere on the chart to enlarge it.

Sources