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.
A disconnected removable rim set is not a border strip
Statement refuted
Let and with , and suppose that the skew diagram is a union of pairwise disjoint skew hooks having nodes in total, so that removing from leaves the Young diagram . Then:
- is a removable border strip of ;
- the Murnaghan–Nakayama-type recursion for a cycle of length may be summed over all such removable unions of disjoint skew hooks, each contributing the sign .
Both clauses fail; the witness below is , , .
Facts & Assumptions
Given: The partitions and , with English Young diagrams , and the skew diagram (Skew diagrams and semistandard skew tableaux, Partitions, English diagrams, and conjugation), and the character of the complex Specht module (Column antisymmetrizers, polytabloids, and Specht modules).
A removable border strip of is a nonempty set that is edge-connected, contains no block, and whose complement in is again a Young diagram; equivalently it is a skew diagram that is connected and -free (Removable border strips and their height, Skew diagrams and semistandard skew tableaux).
Littlewood–Richardson coefficients: is the number of semistandard tableaux of shape with content whose right-to-left, top-to-bottom reading word is a lattice word; rows are weakly increasing, columns strictly increasing, and the content means labels and one label each of (Littlewood--Richardson tableaux and coefficients, Skew diagrams and semistandard skew tableaux).
Alternating cancellation: for a union of pairwise disjoint skew hooks with nodes occupying columns in total, for (zero outside the range), and equals if is a connected border strip and otherwise (Alternating hook induction cancels disconnected rim removals).
Hook lengths: has hook lengths , read row by row as ; ; ; (Hook, arm, leg, and hook length of a box). If no hook length of equals , then for every whose cycle type contains a part (A missing removable strip of the cycle length forces a zero character value).
Counterexample
The cells of are , those of are , and ; hence with nodes, and removing these nodes from leaves , a Young diagram. The set is the union of the two skew hooks (a vertical domino in column ) and (a single node), which occupy the columns and and are pairwise disjoint, so . The two components are not edge-adjacent: the only side-neighbour of in column below it is , and has no side-neighbour in . Hence is disconnected and, by [F1], is not a border strip of , and in particular is not a removable border strip of .
The Littlewood–Richardson coefficients are for : the reading order of the cells is ; for content a lattice word with three distinct labels must read , forcing the entries in that order down the cells , which respects the strict increase of column and is the unique such tableau; for content the lattice words are and , and only has the first two entries strictly increasing, giving the unique tableau ; for content the word puts equal labels in the two cells of column , violating strict increase, so there is none. In the binomial form of [F3] these are , namely , , for .
Therefore , in accordance with the case of [F3], even though the coefficients at and are both nonzero; the disconnected set contributes the nonzero terms and , which cancel in the alternating sum, so it cannot be assigned a single sign as a recursion summand.
Consistently, the hook lengths of are [F4], none equal to , so for every whose cycle type contains a part ; there is no removable border strip of size , although step 1.1 exhibits a disconnected removable set of that size. To test clause 2 numerically, extend the proposed height to mean occupied rows minus one and evaluate at . The only partitions of contained in are and , and both differences are disconnected, -free sets occupying three rows. Their proposed signs are both , so the erroneous sum is , using the hook formula (The hook length formula) with hook products and , respectively. This differs from the correct value .
Step 1.1 exhibits a skew diagram that is a removable union of disjoint skew hooks with nodes but is not edge-connected, refuting clause 1; steps 1.2 and 2.1 show that the individual Littlewood–Richardson coefficients of this disconnected union are nonzero ( and ) while their alternating sum vanishes, and step 2.2 computes the wrong value instead of for the proposed signed recursion, refuting clause 2; only the connected border strips contribute to the alternating sum, exactly as in [F3].
Remarks
-
Where the disconnected set does contribute. The coefficients and are the multiplicities of in and , respectively. These induced-character multiplicities cancel in the alternating hook sum, so they do not give same-sign terms in the Murnaghan–Nakayama recursion.
-
No claim about on -regular classes. Only classes containing a -cycle are disposed of above; is generally nonzero on the other classes of , and nothing here says otherwise.
Depends on
- Alternating hook induction cancels disconnected rim removals
- A missing removable strip of the cycle length forces a zero character value
- Removable border strips and their height
- Littlewood--Richardson tableaux and coefficients
- Skew diagrams and semistandard skew tableaux
- Hook, arm, leg, and hook length of a box
- Partitions, English diagrams, and conjugation
- Column antisymmetrizers, polytabloids, and Specht modules
- The hook length formula
Used by
Nothing in the library uses this result yet.
Dependency tree · two levels
28 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
- G. D. James, The Representation Theory of the Symmetric Groups, Lecture Notes in Mathematics 682, Springer 1978 (complete author-hosted scan, 161 pp.) (standard reference, not scraped)
- I. G. Macdonald, Symmetric Functions and Hall Polynomials, 2nd ed., Oxford Mathematical Monographs, 1995 (complete author-hosted scan, 486 pp.) (standard reference, not scraped)