内容来源：https://www.quantamagazine.org/how-voting-is-like-a-klein-bottle-20261026/

内容总结：

数学上而言，民主几乎是不可能的。这听起来或许像硅谷亿万富翁六小时播客的开场白，但实际上它指向一个极其顽固的问题：如何将一群人的个体偏好转化为单一选择？

1785年，法国数学家兼哲学家孔多塞发现，多数人有时会通过投票陷入逻辑循环。在有三个或以上候选人的选举中，每位选民可能以完全清晰一致的方式对候选人进行排序——然而当所有选票统计完毕后，每位候选人在与某位对手的一对一较量中都会落败。改变规则也只能走到一定程度：正如经济学家肯尼斯·阿罗后来证明的那样，任何将个体排序合并为集体排序的方法都必须牺牲至少一项看似合理的民主要求。

如今，三位研究者证明了孔多塞240年前的悖论具有一种形状，而且恰如其分地奇特：克莱因瓶——一种没有明确内部与外部的曲面。这一结果为数学家提供了一种几何方式来探索：为什么看似合理的集体决策规则会变得无法调和。

人人都输给某人

当只有两个选择时，民意很容易判断：除非平局，否则多数人偏好的候选人获胜。然而加入第三个竞争者后，事情就变得奇怪了。突然间，甚至连“获胜意味着什么”都成了问题。

你可以简单地让得票最多者当选，就像典型的美国选举那样。但假设爱丽丝获得35%的选票，鲍勃34%，卡罗尔31%。爱丽丝获胜。然而如果卡罗尔的支持者都更偏好鲍勃而非爱丽丝，那么65%的选民宁愿要鲍勃。按照一种完全合理的多数决定义，错误的候选人赢了。

在有人开始怀疑阴谋论之前，需要明确：每张选票都被正确计票。问题在于什么才算获胜。

一种解决方案是让选民对候选人排序，然后选择能在正面对决中击败所有对手的人。但考虑以下情形：三分之一选民将爱丽丝排在鲍勃之上、鲍勃排在卡罗尔之上；三分之一将鲍勃排在卡罗尔之上、卡罗尔排在爱丽丝之上；三分之一将卡罗尔排在爱丽丝之上、爱丽丝排在鲍勃之上。现在两两比较：爱丽丝击败鲍勃，因为第一组和第三组更偏好爱丽丝；鲍勃击败卡罗尔，因为第一组和第二组更偏好鲍勃；卡罗尔击败爱丽丝，因为第二组和第三组更偏好卡罗尔。每位选民的排序都完全自洽，但合在一起却产生了一个循环运转的结果。

这就是孔多塞在18世纪末遭遇的悖论。作为法国科学院秘书，他一直在寻找确保科学院公平选举新成员的方法。（孔多塞比同时代人更为开明，他还质疑将一半人口排除在外的民主算术，在1790年的一篇文章中明确为女性政治权利辩护。几年后，在恐怖统治期间，他曾支持的革命将他投入监狱；被捕两天后他被发现死亡。）

几个世纪以来，数学家、政治学家和改革者设计了种类繁多的投票制度，希望打破孔多塞的僵局。然而每种方法都带来自身的脆弱性。改变制度很可能改变获胜者，即使选民及其偏好完全不变。

1951年，经济学家肯尼斯·阿罗揭示了这个问题有多深。他寻求一种投票制度，在满足少数几项简单民主要求的同时保持一致：选民应能以任意顺序对候选人排序；没有任何单一选民能单方面决定选举结果（即不要国王）；如果所有人都偏好某一选项甚于另一选项，群体排序应反映这一偏好；两位候选人的排序应仅取决于选民如何比较这两人——选民将卡罗尔放在选票何处不应影响群体是否将爱丽丝排在鲍勃之上。每项要求单独看来都足够合理。但阿罗证明，没有任何方法能同时满足所有要求。牛津大学的伊恩·麦克莱恩表示：“相当常见的情况是，人民的意志并不存在。”

这一结果如今被称为阿罗不可能定理，它将孔多塞悖论扩展到多数决之外，确立了将个体选票合并为群体决策的根本极限。不同的投票制度可以改变阿罗哪项要求失败，但没有任何单一制度能永远保留所有要求。麦克莱恩说：“作为制度设计者，你必须做出选择：哪项条件的失败最为无害。”

1980年，为了更好地理解这一现象，数学家兼经济学家格拉谢拉·奇奇尔尼斯基转向拓扑学——一个将可通过拉伸而无需撕裂地相互转化的形状视为等价的数学领域。她在一个脚注中猜想，孔多塞悖论尤其可以被视为一个拓扑问题。如今数学家已证明她的直觉是正确的。

悖论的形状

那么，投票悖论长什么样？

为回答这个问题，新研究建立在伊利诺伊大学厄巴纳-香槟分校教授尤利·巴雷什尼科夫1993年提出的模型之上。首先考虑三位候选人选举中一位选民的选票。共有六种可能的排序方式，每种可用一个三角形表示。三角形的每个角代表该选票所隐含的一项比较：爱丽丝优于鲍勃、鲍勃优于卡罗尔、爱丽丝优于卡罗尔。另一张将爱丽丝列第一、卡罗尔第二、鲍勃第三的选票在其中两项比较上一致，因为两张选票都将爱丽丝排在对手之上。因此它们的三角形共享两个角，可沿连接它们的边拼接。

现在将所有六个三角形（代表所有可能的选票）沿匹配的边拼接，得到一条带状面。带状面两端的边也匹配。于是将带状面弯曲并粘合这些边，按标签对齐，得到一个两端开口的管状面。巴雷什尼科夫利用这一模型给出了阿罗不可能定理的新拓扑证明。

但看看管状面两端发生了什么。围绕一端边缘，比较关系读作爱丽丝优于鲍勃、鲍勃优于卡罗尔、卡罗尔优于爱丽丝。围绕另一端边缘，循环方向相反。我们得到了孔多塞的悖论循环——循环运转的投票结果。巴雷什尼科夫忽略了这些边缘。但30年后，2025年4月，悉尼大学博士生奥里·利夫森重新考虑了它们。毕竟有时这种循环关系是被允许的，比如石头剪刀布的规则。问题出现在选举这类情境中，此时这些关系被期望形成一致的排序。利夫森想要一个能区分循环被允许与被不允许情况的拓扑模型。

他与导师米哈伊尔·普罗科片科以及普罗科片科长期同事、金奈数学研究所的西达尔特·普里塔姆一起，着手对麻烦的情形建模。围绕管状面边缘的每个循环都导致同一个不可能结论：每位候选人都排在所有其他人之上。在这个意义上，两端边缘说的是同一件事。而在拓扑学中，“一旦你意识到两个事物是相同的，就可以将它们粘合在一起，”利夫森说。

那么应该如何连接两端边缘？如果将管状面弯曲直到两个开口相遇，你会得到一个甜甜圈形状的曲面，称为环面。但这种粘合也会以代表不相容关系的配对方式连接两端边缘的各个边。例如，一条代表“鲍勃优于爱丽丝优于卡罗尔”的边会被粘到一条代表“鲍勃优于卡罗尔优于爱丽丝”的边上。研究者需要一种不产生此类矛盾的方式来连接边缘。

解决方案？一个扭转。研究者没有按相同顺序逐点匹配一端边缘与另一端，而是通过扭转来反转其中一端边缘周围的偏好顺序——使循环变得等价。利夫森说：“带扭转的粘合是唯一有效的选项。”

如果你扭转一条纸带并粘合其边缘，你会得到一个只有一个面的曲面，称为莫比乌斯带。但当你扭转一个管状面时会发生什么？你会得到一个非凡而奇特的东西：克莱因瓶。像莫比乌斯带一样，克莱因瓶只有一个面，没有明确的内部与外部。与莫比乌斯带不同，它没有边缘。（如果它看起来像是自交，那确实如此——在三维中。数学家通过在四维中构造克莱因瓶来避免这一点，在那里它可以闭合而不自交。）

三人有了他们的模型。正如每位选民可以提供一致的排序，而选民的偏好却拒绝纳入单一秩序，克莱因瓶的每个小片看起来都有两个面，但这些面无法在整个曲面上被一致地区分。在两种情形中，逐片看来合理的东西，当我们试图将各片拼合起来时便瓦解了。

对利夫森、普里塔姆和普罗科片科而言，这种相似性提出了一个更大的问题：拓扑学能否帮助解释对数学所能成就之事的其他根本限制？或许这些不同的不可能性在获得形状之后，将被证明共享更深层的几何解释。

那么民主何去何从？拓扑学使悖论变得可触，但选择投票制度仍然意味着选择你愿意承受的代价。数学可以告诉我们权衡意味着什么，我们的优先事项决定哪些值得做出。而这是任何定理都无法替我们解决的。麦克莱恩说：“这并非真正的数学辩论，而是一场关于价值的辩论。”

中文翻译：

投票为何像克莱因瓶
克里斯蒂娜·阿米蒂奇/《量子》杂志
从数学角度来说，民主几乎是不可能的。
这听起来像是硅谷某位亿万富翁六小时播客的开场白，但实际上，它说的是一个极其顽固的问题：你如何将一群个体的偏好转化为一个单一的选择？
1785年，法国数学家和哲学家尼古拉·德·孔多塞发现，多数人有时会通过投票把自己投进一个逻辑循环。在有三个或更多候选人的选举中，每个选民可能以完全清晰且一致的方式对候选人进行排序——然而当所有选票统计完毕后，每位候选人都会在一对一较量中输给某位对手。改变规则也只能走到这一步：正如经济学家肯尼斯·阿罗后来证明的那样，任何将个体排序组合为集体秩序的方法都必然牺牲至少一项看似合理的民主要求。
如今，三位研究人员表明，孔多塞240年前的悖论具有一种形状，而且恰如其分地奇特：一个克莱因瓶——一种没有明确内部与外部之分的曲面。这一结果为数学家提供了一种几何方式来探索：为什么看似合理的集体决策规则会变得无法调和。
每个人都输给某个人
当只有两个选择时，人民的意志很容易测知：除非出现平局，获得多数人青睐的候选人获胜。然而，加入第三个竞争者后，事情就变得古怪了。突然间，甚至连“获胜意味着什么”都成了问题。
你或许可以简单地让得票最多的人当选，就像典型的美国选举那样。但假设爱丽丝获得35%的选票，鲍勃获得34%，卡罗尔获得31%。爱丽丝获胜。然而，如果卡罗尔的支持者全都更倾向于鲍勃而非爱丽丝，那么65%的选民宁愿要鲍勃。按照一种完全合理的多数决定义，错误的候选人获胜了。
在有人开始戴锡箔帽之前，让我们说清楚：每张选票都被正确计票了。问题在于什么才算获胜。
一种解决办法是让选民对候选人进行排序，然后选出能在一对一较量中击败所有对手的人。但请考虑以下情形：

• 三分之一的选民将爱丽丝排在鲍勃之上，鲍勃排在卡罗尔之上。
• 三分之一的选民将鲍勃排在卡罗尔之上，卡罗尔排在爱丽丝之上。
• 三分之一的选民将卡罗尔排在爱丽丝之上，爱丽丝排在鲍勃之上。
  现在将候选人两两比较：
• 爱丽丝击败鲍勃，因为第一组和第三组更倾向于爱丽丝而非鲍勃。
• 鲍勃击败卡罗尔，因为第一组和第二组更倾向于鲍勃而非卡罗尔。
• 卡罗尔击败爱丽丝，因为第二组和第三组更倾向于卡罗尔而非爱丽丝。
  每个选民都有完全连贯的排序，然而合在一起却产生了一个循环往复的结果。
  这就是孔多塞——一位坚定的民主信仰者——在18世纪末遭遇的悖论。作为法国科学院的秘书，他一直在寻找方法确保该机构公平地遴选新成员。（孔多塞比大多数人更为开明，他还质疑将一半人口排除在外的民主算术，在1790年的一篇文章中明确捍卫女性的政治权利。几年后，在恐怖统治时期，他所支持的革命将他投入了监狱；被捕两天后他被发现死亡。）
  几个世纪以来，数学家、政治学家和改革者设计了种类繁多得惊人的投票制度，希望打破孔多塞的僵局。然而每种方法都带来自身的弱点。改变制度很可能改变获胜者，即使选民及其偏好完全相同。
  1951年，经济学家肯尼斯·阿罗展示了这个问题有多么深刻。他寻求一种投票制度，既能保持一致，又能满足仅仅几项简单的民主要求。选民应当能够以任意顺序对候选人进行排序。任何单个选民都不应单方面决定选举结果。（解读：不要国王。）如果每个人都偏好某一选项甚于另一选项，群体的排序应当反映这种偏好。而两位候选人的排序应当仅取决于选民如何比较这两人：选民将卡罗尔放在选票上的什么位置，不应影响群体将爱丽丝排在鲍勃之上还是之下。
  每项要求单独来看都足够合理。但阿罗证明，没有任何方法能同时满足所有要求。“人民的意志常常并不存在，”牛津大学的伊恩·麦克莱恩说。
  这一结果如今被称为阿罗不可能定理，它将孔多塞悖论扩展到多数决之外，确立了对个体选票如何组合为群体决策的根本限制。不同的投票制度可以改变阿罗各项要求中哪一项会失败，但没有任何单一制度能够永远保全所有要求。“作为制度设计者，你必须做出选择：让哪项条件的失败最为无害，”麦克莱恩说。
  1980年，为了更好地理解这一现象，数学家和经济学家格拉谢拉·奇奇尔尼斯基转向了拓扑学——数学中的一个领域，其中只要一个形状能不经撕裂地拉伸成另一个，两者就被视为等价。在一个脚注中，她思忖道，孔多塞悖论尤其可以被视为一个拓扑问题。
  如今数学家已经证明了她的直觉是正确的。
  悖论的形状
  那么，投票悖论长什么样呢？
  为了回答这个问题，这项新工作建立在伊利诺伊大学厄巴纳-香槟分校教授尤利·巴雷什尼科夫于1993年提出的一个模型之上。首先，考虑一场有三名候选人的选举中单个选民的选票。对选项进行排序有六种可能方式。每一种都可以用一个三角形来表示：
  马克·贝兰/《量子》杂志
  这个三角形的每个角代表该选票所暗示的一种比较：爱丽丝高于鲍勃、鲍勃高于卡罗尔、爱丽丝高于卡罗尔。
  另一张将爱丽丝列第一、卡罗尔列第二、鲍勃列第三的选票在其中两项比较上是一致的，因为两张选票都将爱丽丝排在她的对手之上。因此它们的三角形共享两个角，可以沿连接它们的边拼接起来。
  现在将所有六个三角形（代表所有可能的选票）沿匹配的边拼接起来。你会得到一条带子：
  带子两端的边也是匹配的。于是将带子弯过来，把那些边按标签对应粘合在一起。你会得到一个两端各有一个开口的管子：
  巴雷什尼科夫利用这个模型给出了阿罗不可能定理的一个新的拓扑学证明。
  但看看管子两端发生了什么。在一个边缘周围，比较读作爱丽丝高于鲍勃、鲍勃高于卡罗尔、卡罗尔高于爱丽丝。在另一个边缘周围，循环方向相反。
  我们面对的是孔多塞的悖论性循环——循环往复的投票结果。巴雷什尼科夫忽略了这些边缘。但30年后，即2025年4月，悉尼大学博士生奥里·利夫松重新考虑了它们。毕竟，有时候这种循环关系是被允许的，比如在石头剪刀布的规则中。麻烦出现在选举这类情形中，此时这些关系被期望形成一个一致的排序。利夫松想要一个拓扑模型，能够区分循环被允许的情形和循环不被允许的情形。
  他与导师米哈伊尔·普罗科片科以及普罗科片科的老同事、金奈数学研究所的悉达多·普里塔姆一起，着手对麻烦的情形进行建模。
  绕管子边缘的每个循环都导致同一个不可能的结论：每位候选人都排在所有其他人之上。在这个意义上，两个边缘说的是同一件事。而在拓扑学中，“一旦你意识到两个东西是相同的，你就可以把它们粘在一起，”利夫松说。
  那么你应该如何连接这两个边缘呢？
  斯里什蒂·萨洛尼；乔治亚·卡利南；娜塔莉亚·岸上
  如果你将管子弯曲直到两个开口相遇，你会得到一个甜甜圈形状的曲面，称为环面。但这种粘合也会以代表不相容关系的配对方式连接两个边缘上的各条边。例如，一条代表“鲍勃高于爱丽丝高于卡罗尔”的边会被粘到一条代表“鲍勃高于卡罗尔高于爱丽丝”的边上。研究人员需要一种方法来连接边缘而不产生此类矛盾。
  解决办法？一个扭转。扭转不是将一个边缘与另一个边缘按相同顺序逐点匹配，而是让研究人员能够反转其中一个边缘周围的偏好顺序——使循环变得等价。“带扭转的粘合是唯一有效的选择，”利夫松说。
  如果你扭转一条纸带并将它的边连接起来，你会得到一个只有一个面的曲面，称为莫比乌斯带。但当你扭转一个管子时会发生什么？你最终会得到一个非凡而奇特的东西：一个克莱因瓶。
  像莫比乌斯带一样，克莱因瓶只有一个面，没有明确的内部与外部之分。与莫比乌斯带不同的是，它没有边缘。（如果它看起来像是自我交叉，那确实如此——在三维空间中。数学家通过在四维空间中构造克莱因瓶来避免这一点，在那里它可以闭合而不自交。）
  这三人有了他们的模型。正如每个选民都能提供一种连贯的排序，而选民的偏好却拒绝归入单一秩序，克莱因瓶的每一小块看起来都有两个面，然而这些面无法在整个曲面上被一致地区分。在两种情况下，某些逐块来看合理的东西，当我们试图把各块拼在一起时就崩溃了。
  对利夫松、普里塔姆和普罗科片科来说，这种相似性引出了一个更大的问题：拓扑学能否帮助解释数学所能成就之事的其他根本限制？也许这些不同的不可能性，在被赋予形状之后，会显示出共享着更深层的几何解释。
  那么民主何去何从？
  拓扑学使悖论变得可触可感，但选择投票制度仍然意味着选择你的毒药。数学可以告诉我们各种取舍意味着什么。我们的优先事项决定哪些取舍值得做出。而这不是任何定理能替我们解决的。“这实际上不是一场数学辩论，”麦克莱恩说，“这是一场关于价值观的辩论。”

英文来源：

How Voting Is Like a Klein Bottle
Kristina Armitage/Quanta Magazine
Mathematically speaking, democracy is next to impossible.
That may sound like the premise of a Silicon Valley billionaire’s six-hour podcast, but it’s actually a statement about a remarkably stubborn problem: How do you translate a group of individual preferences into a single choice?
In 1785, the French mathematician and philosopher Nicolas de Condorcet discovered that a majority can sometimes vote itself into a logical loop. In elections with three or more candidates, each voter might rank the candidates in a perfectly clear and consistent way — yet when all the votes are tallied, every candidate loses in a head-to-head contest against one of their rivals. Changing the rules only gets us so far: As the economist Kenneth Arrow later proved, any method for combining individual rankings into a collective order must sacrifice at least one seemingly reasonable democratic requirement.
Now three researchers have shown that Condorcet’s 240-year-old paradox has a shape, and it’s suitably peculiar: a Klein bottle, a surface with no distinct inside or outside. The result gives mathematicians a geometric way to explore why seemingly reasonable rules for collective decision-making can become impossible to reconcile.
Everyone Loses to Someone
When there are only two choices, the will of the people is easy to divine: Barring a tie, the candidate preferred by a majority wins. Add a third contender, however, and things get weird. Suddenly, even agreeing on what it means to win becomes a problem.
You might simply elect whoever receives the most votes, as in a typical American election. But suppose Alice receives 35% of the vote, Bob 34%, and Carol 31%. Alice wins. Yet if Carol’s supporters all prefer Bob to Alice, then 65% of the electorate would rather have Bob. By one perfectly reasonable definition of majority rule, the wrong candidate has won.
Before anyone reaches for a tinfoil hat, let’s be clear: Every ballot is counted correctly. The question is what should count as winning.
One solution is to ask voters to rank the candidates, then choose whoever would defeat every rival in a head-to-head contest. But consider the following scenario:

• One-third of voters rank Alice over Bob over Carol.
• One-third rank Bob over Carol over Alice.
• One-third rank Carol over Alice over Bob.
  Now compare the candidates in pairs:
• Alice beats Bob, because the first and third groups prefer Alice to Bob.
• Bob beats Carol, because the first and second groups prefer Bob to Carol.
• Carol beats Alice, because the second and third groups prefer Carol to Alice.
  Every voter has a perfectly coherent ranking, yet together they have produced a result that runs in circles.
  This is the paradox that Condorcet, a passionate believer in democracy, encountered in the late 18th century. As the secretary of the French Academy of Sciences, he’d been looking for ways to make sure the group was choosing new members fairly. (More enlightened than most, Condorcet would also question the democratic arithmetic of excluding half the population, explicitly defending women’s political rights in a 1790 essay. A few years later, during the Reign of Terror, the revolution he had supported put him in a prison cell; he was found dead two days after his arrest.)
  Over the centuries, mathematicians, political scientists, and reformers have devised an astonishing variety of voting systems in hopes of breaking Condorcet’s impasse. Yet every method brings its own vulnerabilities. Change the system and you may well change the winner, even when the voters and their preferences remain exactly the same.
  In 1951, the economist Kenneth Arrow showed how deep the problem ran. He sought a voting system that stayed consistent while meeting just a few simple democratic requirements. Voters should be free to rank the candidates in any order. No single voter should unilaterally dictate the outcome of an election. (Read: no kings.) If everyone prefers one option to another, the group’s ranking should reflect that preference. And the ranking of two candidates should depend only on how voters compare those two: Where voters place Carol on their ballots shouldn’t affect whether the group ranks Alice above Bob.
  Each requirement sounds reasonable enough on its own. But, Arrow showed, no method can satisfy them all. “Quite often the will of the people doesn’t exist,” said Iain McLean of the University of Oxford.
  Arrow’s impossibility theorem, as this result is now known, extended Condorcet’s paradox beyond majority rule, establishing a fundamental limit on how individual votes can be combined into a group decision. Different voting systems can change which of Arrow’s requirements fail, but no single system can ever preserve them all. “You have to make a choice as a system designer as to which of the conditions it’s most harmless to fail,” McLean said.
  In 1980, to better understand this phenomenon, the mathematician and economist Graciela Chichilnisky turned to topology, an area of math in which shapes are considered equivalent if one can be stretched into another without tearing. In a footnote, she mused that Condorcet’s paradox in particular could be thought about as a topological problem.
  Now mathematicians have proved her intuition true.
  The Shape of a Paradox
  What, then, does a voting paradox look like?
  To answer this question, the new work builds on a model that Yuliy Baryshnikov, now a professor at the University of Illinois, Urbana-Champaign, proposed in 1993. First, consider a single voter’s ballot in an election with three candidates. There are six possible ways to rank the options. Each one can be represented by a triangle:
  Mark Belan/Quanta Magazine
  Each corner of this triangle represents one of the comparisons the ballot implies: Alice over Bob, Bob over Carol, and Alice over Carol.
  A different ballot listing Alice first, Carol second, and Bob third agrees on two of those comparisons, since both ballots put Alice above her rivals. Their triangles therefore share two corners and can be joined along the edge connecting them.
  Now join all six triangles (representing all possible ballots) along their matching edges. You get a strip:
  The edges at its two ends also match. So bend the strip around and glue those edges together, matching the labels. You get a tube with an opening at each end:
  Baryshnikov used this model to give a new topological proof of Arrow’s impossibility theorem.
  But look at what happens at either end of the tube. Around one rim, the comparisons read Alice over Bob, Bob over Carol, and Carol over Alice. Around the other, the cycle runs in reverse.
  We’re left with Condorcet’s paradoxical cycles — voting results that run in circles. Baryshnikov had ignored these rims. But 30 years later, in April 2025, Ori Livson, a doctoral student at the University of Sydney, reconsidered them. After all, sometimes such circular relationships are allowed, as in the rules of rock-paper-scissors. The trouble arises in situations like elections, when those relationships are expected to form a consistent ranking. Livson wanted a topological model that could distinguish cases where the cycles are allowed from cases where they aren’t.
  Together with his adviser, Mikhail Prokopenko, and Prokopenko’s longtime colleague Siddharth Pritam of the Chennai Mathematical Institute, he set out to model the troublesome case.
  Each cycle around the tube’s rims leads to the same impossible conclusion: Every candidate ranks above every other. In that sense, both rims are saying the same thing. And in topology, “once you realize two things are the same, you can glue them together,” Livson said.
  So how should you join the rims?
  Srishti Saloni; Georgia Callinan; Natalia Kishigami
  If you bend the tube until its two openings meet, you get a doughnut-shaped surface called a torus. But this gluing also connects individual edges from each rim in pairings that represent incompatible relationships. An edge representing “Bob over Alice over Carol,” for instance, gets glued to an edge representing “Bob over Carol over Alice.” The researchers needed a way to join the rims without creating such contradictions.
  The solution? A twist. Instead of matching one rim to the other point by point, in the same order, the twist allowed the researchers to reverse the order of preferences around one of the rims — making the cycles equivalent. “Gluing with the twist is the only valid option,” Livson said.
  If you twist a strip of paper and join its edges, you get a surface with only one side, called a Möbius strip. But what happens when you twist a tube? You end up with something remarkable and strange: a Klein bottle.
  Like a Möbius strip, a Klein bottle has only one side, with no distinct inside or outside. Unlike a Möbius strip, it has no edge. (If it looks as if this surface crosses itself, it does — in three dimensions. Mathematicians avoid this by constructing the Klein bottle in four dimensions, where it can close up without self-intersecting.)
  The trio had their model. Just as each voter can supply a coherent ranking, and yet the electorate’s preferences refuse to fit into a single order, each small patch of a Klein bottle appears to have two sides, yet those sides cannot be distinguished consistently across the whole surface. In both cases, something that makes sense piece by piece breaks down when we try to put the pieces together.
  For Livson, Pritam, and Prokopenko, that resemblance raises a larger question: Can topology help explain other fundamental limits on what mathematics can accomplish? Perhaps these different impossibilities, when given a shape, will turn out to share a deeper geometric explanation.
  So where does that leave democracy?
  Topology makes the paradox tangible, but choosing a voting system still means picking your poison. Mathematics can tell us what the trade-offs entail. Our priorities determine which ones are worth making. And that’s something no theorem can settle for us. “It’s not really a mathematical debate,” McLean said. “It’s a debate about values.”