====================================================================== SOURCE FILE: succ_elim_ex10_amalgamated.yaml TABULATED FILE: succ_elim_ex10_amalgamated_tabulated.txt ====================================================================== election_title: "Successive elimination Ex.10 — amalgamated: every round ties, and the tie-break picks the winner" scenario_description: |- The amalgamation half of Felsenthal's successive-elimination reinforcement example — and the case where this repo's count is more precise than the paraphrase it replaces. Source: Dan S. Felsenthal (2010), Appendix A4, Example 10. All four ballots: District I's three (A>B>C>D, B>D>C>A, D>C>A>B) plus District II's one (C>D>B>A). Each district elected C on its own under the agenda B vs D, winner vs A, winner vs C. Counted together, ALL THREE rounds are 2:2 ties. B vs D ties, the survivor vs A ties, the survivor vs C ties — so the elected candidate is decided entirely by the tie-break convention and not at all by the ballots. Breaking toward the earlier letter gives C, agreeing with both districts and producing NO paradox; breaking toward the candidate earlier on the agenda gives B, which neither district chose and which is the reinforcement failure. Felsenthal calls the break random and claims only that B CAN win, which is exactly right. Worth stating plainly because the earlier prose here said "B beats D in round 1": it does not, that round is a 2:2 tie like the other two. The failure is real but conditional, and the condition is the tie-break rule. A four-voter electorate is small enough that a tie is unremarkable; the lesson is that the procedure has no way to resolve one from the ballots. Labels are Felsenthal's own, capitalized, so the case can be read beside the paper's table. Tabulated as Ranked Robin, which elects C by a margin tiebreak inside a Copeland tie. Run the procedure both ways with tools_adam/pref_voting_tabulation_engine/successive_elimination_report.py --agenda B,D,A,C and --tiebreak agenda; the report re-runs the other convention itself and says when the winner moves. paradoxes: [multiple-districts, condorcet-cycle] voting_method: RankedRobin num_winners: 1 ballots: |- 1:A>B>C>D 1:B>D>C>A 1:D>C>A>B 1:C>D>B>A expected_winners: - C # file: succ_elim_ex10_amalgamated.yaml ====================================================================== TABULATION RESULTS ====================================================================== --- Ranked Robin (RCV-RR / Copeland) Method (single winner) --- Tabulating 4 ballots (ranked ballots). Ballots: 1 × A > B > C > D 1 × B > D > C > A 1 × D > C > A > B 1 × C > D > B > A Round-Robin — every pair, head-to-head (For – Against): A ties B 2 – 2 C beats A 3 – 1 D beats A 3 – 1 B ties C 2 – 2 B ties D 2 – 2 C ties D 2 – 2 --- Pairwise (Round-Robin) Matrix --- Head-to-head / pairwise comparison — the Ranked Robin tally Legend: For - Equal Support - Against (row vs column) | A | B | C | D | ---------------------------------------------------- A > | --- |2 - 0 - 2 |1 - 0 - 3 |1 - 0 - 3 | B > | 2 - 0 - 2 | --- |2 - 0 - 2 |2 - 0 - 2 | C > | 3 - 0 - 1 |2 - 0 - 2 | --- |2 - 0 - 2 | D > | 3 - 0 - 1 |2 - 0 - 2 |2 - 0 - 2 | --- | Win–loss record — Copeland score = wins + ½·ties (highest score wins; ties broken by total margin, then lot order): # Candidate W–L–T Copeland Margin Beats 1 C 1–0–2 2 +2 A 2 D 1–0–2 2 +2 A 3 B 0–0–3 1.5 +0 — 4 A 0–2–1 0.5 -4 — Winner — Ranked Robin (RCV-RR): C *** 2 candidates tie on the highest Copeland score (2): C, D — a dead heat (they draw head-to-head, not a cycle). Resolved by total margin, then lot order. --- Smith Set (the generalized Condorcet winner) --- The smallest group whose every member beats every candidate outside it — the honest answer to "who is even in contention?". Smith set (4 of 4): C, D, B, A Outside (0): — More than one member ⇒ NO Condorcet winner: the top of the tournament is a group held open by draws, so the strongest "candidate" is a set, not a person. Some members DO beat others, but no member beats them all — a draw blocks the sweep. No loop closes either, so there is no cycle for Minimax / Ranked Pairs / Schulze to resolve: which member wins is left to the tiebreak, not to a cycle rule. See 05_Ranked_Robin/01_Learn/rr_tiebreak_lh_vs_bv.md. Note: the Copeland leaders (C, D) are only part of the set — the win–loss table's top block understates how wide the contention is. Ranked Robin (RCV-RR) winner C is INSIDE the Smith set. ✓ Guaranteed: Ranked Robin (Copeland) is Smith-efficient — every member of the set outscores every outsider, so the top of the win–loss table is always inside the set, however the tie among them is then broken. Fine print: this set contains a pairwise DRAW, and a draw is enough to keep a candidate in the Smith set but not in the tighter Schwartz set — so Schwartz may be smaller here. More: 07_Concepts/topics/smith_set.md