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.
Tabloid and column orders for Specht straightening
Definition
Fix a partition . If is a -tabloid, let be the row containing label . For distinct tabloids , let be the largest label for which . Define This is the reverse lexicographic order on the row-index vectors : any two distinct vectors have a largest differing coordinate, and the row numbers there are comparable. Thus it is a finite strict total order on the -tabloids.
A -tableau is column-standard when its entries strictly increase down each column. For a column-standard tableau , let be the column containing label . Since entries within each column are sorted, the assignment determines uniquely. For distinct column-standard tableaux , let be the largest label with , and define
This is a finite strict total order on the column-standard tableaux; in words, the largest label assigned to different columns is farther left in than in . For , there is one tabloid and one tableau, and each is the sole element of its order.
Depends on
Used by
Dependency tree · two levels
6 results within two dependency steps 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
- Charlotte Chan, Representation Theory of Symmetric Groups, Definition 4.8 and Remark 4.10, printed pp. 16-17 (standard reference, not scraped)
- Mark Wildon, Representation Theory of the Symmetric Group, Definitions 6.3 and 6.9, printed pp. 26-27 and 30; the column order is reversed here for increasing Garnir induction (standard reference, not scraped)