Manuscript Psy03-D@1 · Psy03-D-v1.tex · proposition · 3e18951d
Proposition: Division reverses global magnitude protection
Score allocation and recurrent-protection counterexamples · lines 1504–1525 · proof included or linked
Psy03-D@1#prop:division
Suppose a global exact-count rule removes the lowest scores and divides a designated recurrent group's magnitudes by , leaving other scores fixed. The number of retained coordinates in that group cannot increase solely because of this division.
It can decrease strictly.
Proof. Every designated score weakly decreases relative to unchanged scores. With fixed deterministic tie breaking, its group cannot gain positions in the top-retained ranking.
For a strict example, take one recurrent magnitude 2 and one other magnitude , and delete one coordinate. Without division the other coordinate is deleted. At , the recurrent score is 1 and is deleted instead.