Парадокс Эрроу теорема: почему идеальных выборов нет

Кажется естественным желание построить «справедливую» процедуру голосования: чтобы она учитывала любые мнения, не противоречила единодушию, не зависела от посторонних вариантов и не сводилась к воле одного человека. Парадокс Эрроу теорема о невозможности доказывает, что при трёх и более альтернативах все эти разумные требования одновременно несовместимы. Это не технический изъян конкретного метода, а фундаментальный результат теории общественного выбора, за который Кеннет Эрроу получил Нобелевскую премию по экономике. Разберём аксиомы, сформулируем саму теорему, увидим логику доказательства и поймём, как она обобщает циклические парадоксы голосования.

Что утверждает теорема Эрроу

Рассмотрим конечное множество альтернатив (кандидатов, вариантов решения) из $m$ элементов и множество из $n$ избирателей. Каждый избиратель задаёт своё индивидуальное предпочтение - полное транзитивное ранжирование альтернатив. Функцией общественного благосостояния называют правило $F$, которое любому набору индивидуальных ранжирований (профилю предпочтений) сопоставляет одно коллективное ранжирование, также полное и транзитивное.

Теорема Эрроу (1951) утверждает: при числе альтернатив $m \geq 3$ не существует функции $F$, которая одновременно удовлетворяла бы четырём аксиомам - неограниченности области определения, единогласию (критерию Парето), независимости от посторонних альтернатив и отсутствию диктатора. Любая процедура, удовлетворяющая первым трём, неизбежно оказывается диктаторской.

Чтобы понять смысл этого утверждения, нужно разобрать каждую аксиому по отдельности и посмотреть, как они конфликтуют на конкретном профиле.

Четыре аксиомы справедливой агрегации

Аксиомы Эрроу формализуют интуитивные требования к «честному» правилу.

• Неограниченность области определения (U): функция $F$ определена для любого профиля транзитивных индивидуальных предпочтений. Мы не вправе заранее запрещать какие-то комбинации мнений.
• Единогласие / критерий Парето (P): если все избиратели предпочитают $x$ варианту $y$, то и общество ставит $x$ выше $y$. Правило не должно противоречить полному единодушию.
• Независимость от посторонних альтернатив (IIA): коллективное ранжирование пары $\{x, y\}$ зависит только от того, как избиратели сравнивают $x$ и $y$ между собой, и не меняется от их мнений о третьих вариантах $z$.
• Отсутствие диктатора (D): нет такого избирателя $d$, чьё индивидуальное предпочтение всегда совпадает с коллективным независимо от мнений остальных.

Каждое требование само по себе выглядит безобидно. Подберите профиль и аксиому ниже - и инструмент покажет, как именно нарушается совместимость или какое свойство «ломается» у конкретного метода.

Почему аксиомы несовместимы: цикл как нарушение транзитивности

Главная пружина теоремы - требование, чтобы коллективный результат оставался транзитивным ранжированием. Возьмём три альтернативы $A$, $B$, $C$ и профиль, в котором мнения «вращаются по кругу»:

Избиратель 1: A > B > C
Избиратель 2: B > C > A
Избиратель 3: C > A > B

Если применить попарное правило большинства, общество получит $A \succ B$, $B \succ C$ и при этом $C \succ A$. Коллективное отношение перестаёт быть транзитивным - возникает цикл $A \succ B \succ C \succ A$. Это нарушает само определение функции общественного благосостояния, которая обязана выдавать транзитивный порядок. Подробнее этот механизм разобран в материале про парадокс Кондорсе голосования: циклическое предпочтение большинства - частный случай той трудности, которую Эрроу обобщил до невозможности.

Парадокс Эрроу теорема показывает, что попытка избежать таких циклов, сохранив аксиомы U, P и IIA, неизбежно концентрирует власть у одного избирателя.

Логика доказательства: решающие коалиции

Стандартное доказательство (в духе Гирлемы и более поздних упрощений) опирается на понятие решающей коалиции. Коалиция $S$ называется решающей по паре $(x, y)$, если в любом профиле, где все члены $S$ ставят $x$ выше $y$ (а остальные - наоборот), общество ставит $x$ выше $y$.

Ключевые шаги рассуждения таковы:

1. Поле распространения (field expansion): если коалиция решающая хотя бы по одной паре, то из аксиом U, P и IIA она оказывается решающей по всем парам - то есть просто решающей.
2. Стягивание группы (group contraction): любую решающую коалицию из двух и более человек можно «расщепить» так, что решающей останется строго меньшая подгруппа.
3. По критерию Парето вся совокупность избирателей решающая. Повторяя стягивание, мы доходим до решающей коалиции из одного человека - это и есть диктатор.

Каждый шаг использует именно те аксиомы, которые мы хотели сохранить: возможность подставить любой профиль (U), согласие с единодушием (P) и независимость суждения о паре от третьих вариантов (IIA). Поэтому отказаться от диктатора, не пожертвовав одной из трёх аксиом, нельзя.

Что значит «нет идеального голосования»

Важно правильно прочитать результат. Теорема не говорит, что выборы бессмысленны или что любое голосование - диктатура. Она утверждает строго следующее: невозможно правило, которое выдаёт полное транзитивное коллективное ранжирование и при этом удовлетворяет всем четырём аксиомам сразу.

Из этого следует, что любой реальный метод сознательно или нет нарушает хотя бы одну аксиому:

• Правило Борда и многие рейтинговые системы нарушают IIA: добавление слабого кандидата меняет относительный порядок лидеров (эффект «спойлера»).
• Диктатура и право вето отказываются от аксиомы D.
• Системы с ограниченным набором допустимых профилей (например, при однопиковых предпочтениях по теореме о медианном избирателе) ослабляют U.

Парадокс Эрроу теорема, таким образом, переводит вопрос «какой метод идеален» в вопрос «каким свойством мы готовы пожертвовать».

Способы обойти невозможность

Поскольку все четыре аксиомы вместе недостижимы, исследователи ослабляют одну из них или меняют сам формат данных.

• Ограничение области (однопиковость): если предпочтения избирателей однопиковы вдоль общей оси (лево-право), цикл невозможен, и победитель по медиане существует - это теорема Блэка о медианном избирателе.
• Кардинальная информация: теорема Эрроу работает только с порядковыми (ранговыми) предпочтениями. Если разрешить интенсивности (полезности), как в голосовании с оценками (range voting), формальные предпосылки IIA меняются, и часть невозможности снимается - ценой проблемы межличностного сравнения полезностей.
• Ослабление транзитивности: если требовать от коллективного отношения лишь ацикличность, а не полную транзитивность, появляются недиктаторские правила, но они уязвимы к манипуляциям (см. теорему Гиббарда-Саттертуэйта).

Каждый обход подтверждает теорему, а не опровергает её: цена недиктаторской процедуры - отказ от одной из исходных предпосылок.

Частые ошибки

• Понимают «диктатора» буквально как тирана. В теореме это технический термин: избиратель, чьё ранжирование всегда совпадает с общественным. Метод может быть диктаторским «по построению», без всякого принуждения.
• Считают теорему доказательством бессмысленности выборов. Она лишь запрещает одновременное выполнение четырёх аксиом, а не голосование как таковое.
• Путают аксиому IIA с независимостью кандидатов. IIA - про то, что суждение о паре не зависит от мнений о третьих вариантах, а не про реальную автономию кандидатов.
• Думают, что теорема касается двух альтернатив. При $m = 2$ правило большинства удовлетворяет всем аксиомам; невозможность начинается ровно с $m \geq 3$.
• Смешивают теорему Эрроу и теорему Гиббарда-Саттертуэйта. Первая - про агрегацию ранжирований, вторая - про неустранимость стратегического манипулирования при выборе одного победителя.

FAQ

Чем теорема Эрроу отличается от парадокса Кондорсе? Парадокс Кондорсе - конкретный пример нетранзитивного большинства для трёх кандидатов. Теорема Эрроу - общее доказательство, что ни одно правило агрегации ранжирований не сочетает все четыре аксиомы при $m \geq 3$.

Можно ли вообще построить справедливое голосование? Нельзя удовлетворить все четыре аксиомы сразу. Но можно сознательно ослабить одну: ограничить профили (однопиковость), допустить кардинальные оценки или отказаться от полной транзитивности коллективного порядка.

Почему теорема не работает для двух кандидатов? При двух альтернативах простое правило большинства транзитивно по построению (ранжировать нечего, кроме одной пары) и удовлетворяет всем аксиомам - невозможность возникает только начиная с трёх вариантов.

Коротко

Парадокс Эрроу теорема о невозможности утверждает: при $m \geq 3$ альтернативах не существует функции общественного благосостояния, которая одновременно неограниченна (U), согласна с единогласием (P), независима от посторонних альтернатив (IIA) и не диктаторская (D). Доказательство через решающие коалиции показывает, что U, P и IIA вместе вынуждают существование диктатора. Циклы Кондорсе - частный симптом этой невозможности. Обойти результат можно лишь ослабив одну из аксиом: ограничив область профилей, допустив кардинальные оценки или отказавшись от полной транзитивности.