Contents

Description of CHPV and GV

Introduction
Analogy
Weightings
Voting
Counting
Outcomes
Party-List
Summary

Evaluations of CHPV and GV

Ranked Ballot

Introduction (RB)
General Criteria
Majority Criteria
Clones & Teaming
Teaming Thresholds
Summary (RB)

Party-List

Introduction (PL)
Diagrams & Maps
CHPV Maps
Optimality
Party Cloning
Proportionality
Summary (PL)

Comparisons of CHPV with other voting systems

Single-Winner

Introduction (SW)
Plurality (FPTP)
Borda Count
Geometric Voting
Positional Voting
Condorcet Methods
AV (IRV)
Plur. Rule Methods
Summary (SW)

Multiple-Winner

Introduction (MW)
STV
Party-List
PL ~ Hare
PL ~ Droop
~ Maps Opt PC Pro
PL ~ D'Hondt
~ Maps Opt PC Pro
PL ~ Sainte-Laguë
~ Maps Opt PC Pro
Mixed Member Sys
Summary (MW)

Conclusions

Ranked Ballot CHPV
Party-List CHPV

General

Table of Contents

Map Construction

Table of Contents

Mathematical Proofs

Table of Contents
Notation & Formats

Valid XHTML 1.0 Strict

Valid CSS

Home About Description Evaluations(RB) Evaluations(PL) Comparisons(SW) Comparisons(MW) Conclusions General Maps Proofs
Home About Description Evaluations(RB) Evaluations(PL) Comparisons(SW) Comparisons(MW) Conclusions General Maps Proofs
Home > Proofs > Geometric Voting > CG2
Last Revision: 18 Oct 2020

Mathematical Proofs: Geometric Voting

Proof CG2: Equivalent Positional Voting Systems to Three-Candidate GV Variants

This proof follows on from CG1 so please refer to Proof CG1 before proceeding further. The equilateral triangular three-preference map showing the circular arc of GV systems as r varies is provided below right.

Equivalence Line

The weighting or cartesian co-ordinates for any point on the map, for point 1 and for point 2 respectively are given below.

Point Co-ordinates

Important relationships that are derived in proof CG1 and needed here are repeated below.

Transform Equations

Let the weighting co-ordinates of points 1 and 2 be as stated below where ∝ is a constant.

Two Points

Adding the constant (∝) to the tally of each candidate and then scaling all three tallies by the same factor of 1/(1+3∝) to re-normalise the weightings alters the absolute values of these tallies but it does not change their relative ordering. Therefore, as both points represent voting systems that generate the same collective candidate rankings, they are equivalent systems in this respect. The following four equivalences can hence be identified. The final equivalence below expresses the cartesian co-ordinates for points 1 and 2 as functions of their weighting co-ordinates.

Equivalent Systems

When any two points representing equivalent systems are plotted on the map, a straight line through these two points appears to intersect the y axis at y = +1/3 (the centre of the map at point 0). To prove that this relationship is indeed valid, consider the equation for this straight line and rearrange it so that the gradient (m) becomes the subject of the equation; see below.

Straight Line Equations

If each point is on the same straight line through the centre of the map, then the value of the gradient derived from point 1 must be the same as that derived from point 2; as stated below. This equality is demonstrated by substituting the weighting co-ordinate expressions of the two equivalent systems for their cartesian ones and then showing as below that the left-hand side equals the right-hand side.

Slope Equality Equations

Let point 3 be the intersection of the relevant straight line with the P1P2 baseline; as illustrated in the above map. For GV with r = 0, the straight line intersects the apex P1. Hence, point 3 and this apex are co-incident. As r increases towards one, the gradient of the straight line that cuts the circular arc at the relevant point tends to zero and the position of point 3 approaches one third of the distance from apex P1 to P2. This straight line that connects the map edge to its centre is hence horizontal and all points along it represent the Borda Count.


Return to main text > Comparisons: Geometric Voting 1

Refer to > Mathematical Proofs: Table of Contents