Alphabeta Math
CounterexampleConstruction: Literature-sourcedVerification: AI-adaptedPipeline-generated
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 λ⊢n and ν⊢n−r with ν⊆λ, and suppose that the skew diagram λ/ν is a union of m≥1 pairwise disjoint skew hooks having r nodes in total, so that removing λ/ν from [λ] leaves the Young diagram [ν]. Then:

  1. λ/ν is a removable border strip of λ;
  2. the Murnaghan–Nakayama-type recursion for a cycle of length r may be summed over all such removable unions of disjoint skew hooks, each contributing the sign (−1)ht⁡.

Both clauses fail; the witness below is λ=(2,2,1,1), ν=(1,1,1), r=3.

Facts & Assumptions

Given: The partitions λ=(2,2,1,1)⊢6 and ν=(1,1,1)⊢3, with English Young diagrams [λ], [ν] and the skew diagram λ/ν (Skew diagrams and semistandard skew tableaux, Partitions, English diagrams, and conjugation), and the character χ(2,2,1,1) of the complex Specht module (Column antisymmetrizers, polytabloids, and Specht modules).

[F1]

A removable border strip of λ is a nonempty set ξ⊆[λ] that is edge-connected, contains no 2×2 block, and whose complement in [λ] is again a Young diagram; equivalently it is a skew diagram λ/ν that is connected and 2×2-free (Removable border strips and their height, Skew diagrams and semistandard skew tableaux).

[F2]

Littlewood–Richardson coefficients: cνμλ 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 (x,1r−x) means x labels 1 and one label each of 2,…,r−x+1 (Littlewood--Richardson tableaux and coefficients, Skew diagrams and semistandard skew tableaux).

[F3]

Alternating cancellation: for λ/ν a union of m≥1 pairwise disjoint skew hooks with r nodes occupying c columns in total, cν,(x,1r−x)λ=(m−1c−x) for 1≤x≤r (zero outside the range), and ∑x=1r(−1)r−xcν,(x,1r−x)λ equals (−1)r−c if λ/ν is a connected border strip and 0 otherwise (Alternating hook induction cancels disconnected rim removals).

[F4]

Hook lengths: λ=(2,2,1,1) has hook lengths 5,4,2,2,1,1, read row by row as 5,2; 4,1; 2; 1 (Hook, arm, leg, and hook length of a box). If no hook length of λ equals r, then χλ(σ)=0 for every σ∈S6 whose cycle type contains a part r (A missing removable strip of the cycle length forces a zero character value).

Counterexample

technique · direct
1.1F1givenalgebra

The cells of [λ] are (1,1),(1,2),(2,1),(2,2),(3,1),(4,1), those of [ν] are (1,1),(2,1),(3,1), and ν⊆λ; hence λ/ν={(1,2),(2,2),(4,1)} with r=6−3=3 nodes, and removing these nodes from [λ] leaves [ν], a Young diagram. The set is the union of the two skew hooks {(1,2),(2,2)} (a vertical domino in column 2) and {(4,1)} (a single node), which occupy the c=2 columns 1 and 2 and are pairwise disjoint, so m=2. The two components are not edge-adjacent: the only side-neighbour of (2,2) in column 2 below it is (3,2)∉[λ], and (4,1) 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 λ.

1.2F2F3algebra

The Littlewood–Richardson coefficients c(1,1,1),μ(2,2,1,1) are 1,1,0 for μ=(1,1,1),(2,1),(3): the reading order of the cells is (1,2),(2,2),(4,1); for content (1,1,1) a lattice word with three distinct labels must read 1,2,3, forcing the entries 1,2,3 in that order down the cells (1,2),(2,2),(4,1), which respects the strict increase of column 2 and is the unique such tableau; for content (2,1) the lattice words are 112 and 121, and only 121 has the first two entries strictly increasing, giving the unique tableau (1,2;1); for content (3) the word 111 puts equal labels 1,1 in the two cells of column 2, violating strict increase, so there is none. In the binomial form of [F3] these are (12−x), namely (11)=1, (10)=1, (1−1)=0 for x=1,2,3.

2.1step 1.2F3algebra

Therefore ∑x=13(−1)3−xc(1,1,1),(x,13−x)(2,2,1,1)=(+1)⋅1+(−1)⋅1+(+1)⋅0=0, in accordance with the m≥2 case of [F3], even though the coefficients at x=1 and x=2 are both nonzero; the disconnected set contributes the nonzero terms 1 and 1, which cancel in the alternating sum, so it cannot be assigned a single sign (−1)ht⁡ as a recursion summand.

2.2step 1.1F4algebra

Consistently, the hook lengths of λ are 5,4,2,2,1,1 [F4], none equal to 3, so χ(2,2,1,1)(σ)=0 for every σ∈S6 whose cycle type contains a part 3; there is no removable border strip of size 3, 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 (3,1,1,1). The only partitions of 3 contained in λ are (2,1) and (1,1,1), and both differences are disconnected, 2×2-free sets occupying three rows. Their proposed signs are both +1, so the erroneous sum is χ(2,1)(13)+χ(1,1,1)(13)=2+1=3, using the hook formula (The hook length formula) with hook products 3 and 6, respectively. This differs from the correct value 0.

3.1step 1.1step 1.2step 2.1step 2.2F3algebra∎

Step 1.1 exhibits a skew diagram λ/ν that is a removable union of m=2 disjoint skew hooks with 3 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 (1 and 1) while their alternating sum vanishes, and step 2.2 computes the wrong value 3 instead of 0 for the proposed signed recursion, refuting clause 2; only the connected border strips contribute (−1)r−c to the alternating sum, exactly as in [F3].

Remarks

  • Where the disconnected set does contribute. The coefficients c(1,1,1),(1,1,1)(2,2,1,1)=1 and c(1,1,1),(2,1)(2,2,1,1)=1 are the multiplicities of χ(2,2,1,1) in χ(1,1,1)∘χ(1,1,1) and χ(1,1,1)∘χ(2,1), 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 3-regular classes. Only classes containing a 3-cycle are disposed of above; χ(2,2,1,1) is generally nonzero on the other classes of S6, and nothing here says otherwise.

Depends on

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