Why Voting Systems Hide Mathematical Paradoxes

Γιατί η θεωρία κοινωνικής επιλογής δείχνει ότι οι εκλογές κρύβουν παράδοξα

Από το «ποια ταινία θα δούμε;» μέχρι το «ποιο κόμμα θα κυβερνήσει;», οι συλλογικές αποφάσεις είναι παντού. Φαίνεται αυτονόητο ότι, όταν ψηφίζουμε, «η πλειοψηφία κερδίζει». Όμως τα μαθηματικά δείχνουν ότι τα πράγματα δεν είναι τόσο απλά.

Η θεωρία κοινωνικής επιλογής (social choice theory) είναι ο κλάδος που μελετά μαθηματικά τα εκλογικά συστήματα. Ξεκινά με ερωτήματα όπως:

• Πώς πρέπει να μετράμε ψήφους ώστε το αποτέλεσμα να είναι «δίκαιο»;
• Τι σημαίνει μαθηματικά «δίκαιο» ή «λογικό» αποτέλεσμα;
• Μπορούμε να αποφύγουμε εκλογικά παράδοξα;

⚖️ Το παράδοξο του Condorcet: A > B, B > C αλλά… C > A

Ήδη από τον 18ο αιώνα, ο Condorcet παρατήρησε ότι με τρεις υποψηφίους A, B, C μπορεί η πλειοψηφία:

• να προτιμά τον A έναντι του B,
• να προτιμά τον B έναντι του C,
• αλλά ταυτόχρονα να προτιμά τον C έναντι του A.

Δηλαδή οι προτιμήσεις της κοινωνίας μπορούν να σχηματίζουν κύκλο και όχι λογική σειρά. Η «πλειοψηφία» συμπεριφέρεται παράδοξα.

👥 May: όταν έχουμε δύο επιλογές, η πλειοψηφία είναι ουσιαστικά η μόνη «δίκαιη» λύση

Ο May έδειξε ένα θεμελιώδες αποτέλεσμα: αν ζητήσουμε από έναν τρόπο μέτρησης ψήφων ανάμεσα σε δύο υποψηφίους να:

• μην ξεχωρίζει ψηφοφόρους (ανωνυμία),
• μην ευνοεί υποψήφιο (ουδετερότητα),
• αν κάποιοι ψηφοφόροι αλλάξουν υπέρ ενός υποψηφίου, να μην χειροτερεύει η θέση του (θετική ανταπόκριση),

τότε ο μόνος κανόνας που ικανοποιεί όλα αυτά είναι η απλή πλειοψηφική ψηφοφορία. Για δύο επιλογές, το ένστικτό μας δικαιώνεται.

🚫 Arrow: με τρεις ή περισσότερους υποψηφίους, συμβαίνει «αδυνατότητα»

Ο Arrow μελέτησε εκλογές με τρεις ή περισσότερους υποψηφίους και έθεσε πολύ λογικές απαιτήσεις για ένα εκλογικό σύστημα, όπως:

• Ομοφωνία: αν όλοι συμφωνούν ότι A > B, τότε η κοινωνία πρέπει να βγάζει A > B.
• Ανεξαρτησία άσχετων εναλλακτικών: το πώς νιώθουμε για A έναντι B δεν πρέπει να εξαρτάται από το αν υπάρχει και ο C στη λίστα.

Το θεώρημα του Arrow λέει κάτι εντυπωσιακό: αν προσπαθήσουμε να ικανοποιήσουμε όλες τις λογικές συνθήκες μαζί, το μόνο σύστημα που απομένει είναι η δικτατορία – κάποιος ένας ψηφοφόρος αποφασίζει για όλους.

Άρα, όταν έχουμε πολλές επιλογές, δεν υπάρχει «τέλειο» εκλογικό σύστημα: κάτι πρέπει πάντα να θυσιάσουμε (δίκαιο για όλους, συνέπεια, μη χειραγώγηση κ.λπ.).

📌 Τι σημαίνουν όλα αυτά για την καθημερινότητα;

Κάθε φορά που:

• συζητάς με φίλους ποιο εστιατόριο θα πάτε,
• συμμετέχεις σε μια ψηφοφορία στην τάξη,
• βλέπεις εκλογικά συστήματα στις ειδήσεις,

εφαρμόζεις – συχνά άθελά σου – ιδέες από τη θεωρία κοινωνικής επιλογής. Τα μαθηματικά δείχνουν ότι οι εκλογές δεν είναι απλώς πολιτική υπόθεση· είναι και ένα βαθύ, όμορφο, αλλά και περιορισμένο μαθηματικό παιχνίδι.

Why Social Choice Theory Shows Elections Hide Paradoxes

From “which movie shall we watch?” to “who will govern the country?”, collective decisions are everywhere. It seems obvious that when we vote, “the majority rules”. But mathematics shows that things are not so simple.

Social choice theory is the field that studies voting systems mathematically. It starts with questions like:

• How should we count votes so that the outcome is “fair”?
• What does “fair” or “rational” mean in mathematical terms?
• Can we avoid voting paradoxes?

⚖️ Condorcet’s paradox: A > B, B > C but… C > A

Already in the 18th century, Condorcet observed that with three candidates A, B and C, it may happen that the majority:

• prefers A over B,
• prefers B over C,
• but at the same time prefers C over A.

So the preferences of society can form a cycle rather than a logical order. The “majority” can behave paradoxically.

👥 May: with two options, majority rule is essentially the only “fair” solution

May proved a fundamental result: if we ask a voting rule between two candidates to:

• not distinguish between voters (anonymity),
• not favor either candidate (neutrality),
• not harm a candidate when voters change in their favor (positive responsiveness),

then the only rule that satisfies all this is simple majority voting. For two options, our intuition is mathematically justified.

🚫 Arrow: with three or more options, we face an impossibility

Arrow studied elections with three or more candidates and imposed very reasonable requirements on a social welfare function, such as:

• Unanimity: if everyone prefers A over B, society must rank A over B.
• Independence of irrelevant alternatives: how we feel about A versus B should not depend on whether C is also on the ballot.

Arrow’s theorem states something striking: if we try to satisfy all these reasonable conditions at once, the only system that remains is a dictatorship – one voter effectively decides for everyone.

So when we have many options, there is no “perfect” voting system: something must always be sacrificed (fairness, consistency, resistance to manipulation, etc.).

📌 What does this mean for everyday life?

Every time you:

• discuss with friends which restaurant to choose,
• take part in a vote in class,
• watch news about electoral systems,

you are – often unknowingly – using ideas from social choice theory. Mathematics shows that elections are not just about politics; they are also a deep, beautiful, but inherently limited mathematical game.