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.
Foata's transformation sends major index to inversion number
Statement
For every permutation ,
Facts & Assumptions
Given: A permutation word , where is the last letter and has length .
The major index is the sum of the descents of a permutation (Descent sets, major index, excedances and fixed points of a permutation).
Proof
For the empty word and for a one-letter word, both the major index and the inversion number are . Assume inductively that for a word of length , and write . By definition, .
Suppose the last letter of is ; equivalently, the last letter of is . Then the blocks of have the form with every letter of strictly greater than and . Moving to the front removes exactly inversions inside that block, while appending at the end creates exactly inversions with those same letters and no others. So . In this case no new descent is created at the end of , so .
Suppose instead that the last letter of is . Then the blocks of have the form with every letter of at most and . Moving to the front creates exactly new inversions inside that block, and appending at the end creates one more inversion with each terminal letter . Summing over all blocks gives , because the block lengths add up to . In this case appending creates a new descent at the last position of , so .
The two cases of steps 2.1 and 2.2 are exhaustive, and in each one the change in inversion number equals the change in major index. The inductive hypothesis from step 1.1 therefore gives .
By induction on word length, for every permutation .
Depends on
Used by
Dependency tree · two levels
11 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
- Richard P. Stanley, Enumerative Combinatorics, Volume 1, second edition (standard reference, not scraped)
- Andrew Lin, MIT 18.212 Algebraic Combinatorics, Lecture 10 (standard reference, not scraped)