Математики обнаружили неожиданную связь между выборами и бутылкой Клейна, одной из самых странных фигур в геометрии. Новая модель показывает, почему даже при честном подсчёте голосов и последовательных предпочтениях избирателей результат может оказаться логически противоречивым.
Исследователи из Сиднейского университета и Индийского математического института в Ченнаи построили математическую модель, которая связывает знаменитый парадокс Кондорсе с топологией. Работа Ори Ливсона, Сиддхартха Притама и Михаила Прокопенко показывает, что противоречия при коллективном выборе можно представить в виде поверхности, у которой невозможно последовательно различить две стороны. Причём речь идёт не просто о красивой геометрической аналогии, а о строгом математическом соответствии.
Проблема возникает уже при выборе между тремя кандидатами. Представим, что треть избирателей предпочитает Алису Бобу, а Боба Кэрол. Другая треть ставит на первое место Боба, затем Кэрол и Алису. Оставшиеся выбирают Кэрол, затем Алису и Боба. Каждый человек рассуждает совершенно последовательно, но при попарном сравнении Алиса побеждает Боба, Боб побеждает Кэрол, а Кэрол побеждает Алису. Все три результата поддерживает большинство в две трети голосов.
Получается замкнутый круг, в котором невозможно определить единственного победителя, превосходящего всех соперников при попарном голосовании. Французский математик и философ Никола де Кондорсе описал подобное противоречие ещё в 1785 году. Парадокс не связан с мошенничеством, ошибками подсчёта или неразумным поведением избирателей. Проблема возникает при объединении совершенно непротиворечивых индивидуальных предпочтений в единое коллективное решение.
В 1951 году экономист Кеннет Эрроу доказал, что трудности гораздо глубже. Для выборов с тремя и более вариантами невозможно построить универсальную систему, которая одновременно удовлетворяла бы нескольким разумным требованиям. В частности, избиратели должны свободно выражать предпочтения, единогласное решение должно учитываться, ни один участник не может диктовать результат, а сравнение двух кандидатов не должно зависеть от отношения к третьему. Теорема Эрроу показывает, что при таких условиях хотя бы одним требованием придётся пожертвовать.
Авторы новой работы решили посмотреть на противоречие с точки зрения топологии, раздела математики, изучающего свойства фигур, которые сохраняются при растяжении и деформации без разрывов и склеивания новых участков. Для трёх кандидатов существует ровно шесть способов расположить их в порядке предпочтения. Каждый вариант исследователи представили треугольником, вершины которого обозначают попарные сравнения кандидатов. Треугольники с общими отношениями можно соединять по соответствующим сторонам.
После соединения всех шести треугольников получается цилиндрическая поверхность с двумя открытыми краями. На каждом краю находятся циклические предпочтения, при которых один кандидат превосходит второго, второй третьего, а третий первого. В первоначальной модели математика Юлия Барышникова, предложенной в 1993 году, такие края оставались открытыми. Новые исследователи решили выяснить, что произойдёт, если учесть сами противоречивые циклы.
Обычное соединение краёв цилиндра превращает поверхность в тор, напоминающий бублик. Однако подобное склеивание неправильно сопоставляет некоторые предпочтения кандидатов. Чтобы сохранить требуемые соответствия, один край необходимо соединить с другим с изменением направления. В результате возникает бутылка Клейна, замкнутая поверхность без края, у которой нельзя глобально выделить две различные стороны. В привычном трёхмерном пространстве бутылка Клейна пересекает саму себя, но в четырёх измерениях такого пересечения можно избежать.
Связь оказалась глубже, чем предполагали авторы. В исследовании описаны четыре топологические модели в зависимости от того, допускаются ли циклические предпочтения и как именно представляются подобные отношения. Непротиворечивым случаям соответствуют цилиндр и сфера. Когда циклы нарушают требование последовательного ранжирования, возникают бутылка Клейна и вещественная проективная плоскость. Обе последние поверхности обладают свойством неориентируемости, которое и становится геометрическим выражением логического противоречия.
Учёные также получили новую топологическую формулировку теоремы Эрроу. Исследование не отменяет доказанных ранее ограничений и не предлагает идеальную избирательную систему. Математики показали, что известные противоречия можно описывать через геометрические свойства пространства предпочтений. Подход потенциально пригодится при изучении других задач коллективного выбора, включая ситуации, где несколько участников или алгоритмов должны согласовать несовместимые предпочтения.
Идею искать геометрические причины парадоксов голосования ещё в 1980 году выдвинула математик и экономист Грасиела Чичильниски. Новая работа развивает предложенное направление и даёт строгое описание циклических противоречий. Первую версию исследования авторы опубликовали 12 января 2026 года, а шестую редакцию представили 16 сентября. Подробный разбор открытия вышел 26 октября.
Практический вывод остаётся довольно неприятным для сторонников любой безупречной системы голосования. Разные правила способны давать разных победителей при совершенно одинаковых предпочтениях избирателей, причём подобные расхождения не обязательно свидетельствуют о недостатках подсчёта. Математика позволяет определить, какими свойствами придётся пожертвовать при выборе процедуры, но не может решить, какие принципы общество должно считать приоритетными.