Способ достичь этого — использовать понятие «неподвижной точки». Для функции f: D -> R, для некоторой области D и диапазона R, точка p является неподвижной точкой тогда и только тогда, когда f(p) = p. Давайте рассмотрим эту концепцию для голосования.
Пусть P — процедура голосования, а X = {x1, …, xn} — бюджет со всеми кандидатами. Пусть нерафинированный победитель w = P(X). Пусть Y — бюджет, когда w не участвует, Y = X ackslash {w}. Пусть «альтернативный победитель» v = P(Y) = v(w), т. е. кандидат, который побеждает, когда первый победитель w не участвует. Это не просто второй тур между победителем и обычным занявшим второе место, поскольку выбор альтернативного победителя требует пересчета весов предпочтений. Этого альтернативного победителя можно рассматривать как «резюме» оппозиции к w. Схема является компромиссом, поскольку парное условие Кондорсе выполняется для победителя и альтернативного победителя. Хотя эти понятия определены по отношению к нерафинированному победителю, мы можем обобщить это на любого победителя, и, в частности, на нашего оптимального победителя.
Альтернативным условием для победы в целом является способность победить своего сильнейшего оппонента. Это дает условие неподвижной точки. Определим f(x) = P(x, P(X ackslash {x})), что является общей функцией «результат голосования x и его альтернативного победителя». Тогда w* является решением условия неподвижной точки x = f(x):
w* = P(w*, v(w*)) = P(w*, P(X ackslash {w*})) = f(w*)
Когда нерафинированный победитель w не является неподвижной точкой, т. е. когда нерафинированный победитель w = P(X) проигрывает v, так что w P(w, v), тогда процесс поиска может начаться снова с v.
Представляется, что эта процедура голосования с неподвижной точкой уменьшает зависимость от изменений бюджета. Зависимость все еще может существовать, но она не так велика, как без этого условия.
В Таблице 13 победителем по неподвижной точке Борда является A. С B как победителем по Борда, A является альтернативным победителем, когда B не участвует, и B проигрывает A в парном матче; начиная поиск с A, его альтернативным победителем является B, и A побеждает B.
Подробнее об этом можно найти в работе Colignatus (2001). Эта книга также задумывалась как учебник, и в ней были разработаны программы Mathematica для различных схем голосования и манипуляций с данными. Учитывая сложность вопроса, эта рабочая среда оказалась большим преимуществом.
Отношение к работе Саари
Дональд Саари (2001ab) показал, что метод Борда — единственный метод, который удовлетворяет определенным симметриям. Его предположение состоит в том, что правило Борда «поэтому является лучшим». Этот аргумент сам по себе не убеждает, поскольку «симметрия» сама по себе не является моральной категорией. Динамика связана с моралью через понятие о том, что мораль предполагает время, и поэтому кажется лучшим углом зрения.
Рассмотрим сначала прямую симметрию. Предположим, что ваше предпочтение A > B > C, а мое предпочтение C > B > A. Соображение прямой симметрии заключается в том, что мы оба могли бы воздержаться от голосования и остаться дома, поскольку наши предпочтения строго противоположны друг другу. Саари также отметил, что циклы голосования могут быть классифицированы под математическим понятием вращательной симметрии. Его последующее предложение состоит в том, что аннулирование должно выполняться для всех симметрий для всех подмножеств избирателей.
Что происходит, когда аннулирование «вращательной симметрии» применяется к подмножествам? Ниже приведен пример Саари того, что аннулирование тогда не является тривиальным. В Таблице 14 есть 48 избирателей, и B выбирается как по Борда, так и по Кондорсе. В Таблице 15 добавлено 27 избирателей, которые имеют упомянутую вращательную симметрию, по 9 для каждой подгруппы. Теперь Борда все еще выбирает B, но Кондорсе и неподвижная точка Борда выбирают A. По мнению Саари, Борда удовлетворяет симметрии, и «следовательно» является лучшим методом.
Мое рассуждение немного другое. Прежде всего, заметьте, что я сам использовал аргумент, похожий на аргумент Саари. На мой взгляд, типичная ситуация Кондорсе с тремя предпочтениями A > B > C, B > C > A и C > A > B приводит скорее к безразличию, чем к несогласованности, и я использую это против анализа Эрроу. Поэтому я согласен с мнением Саари, что такие голоса аннулируются. Я приветствую прозрение Саари о том, что если вы применяете аннулирование для всех циклов во всех подмножествах, то логика состоит в том, чтобы избавиться от метода Кондорсе и использовать метод Борда.
Таблица 14: Начнем с 48 избирателей: Борда B, Кондорсе B
Кандидаты и их весовой коэффициент ранга
Количество избирателей
A
B
C
20
3
2
1
28
2
3
1
Взвешенный итог Борда
116
124
48
A против B
20
28
A против C
48
0
B против C
48
0
Таблица 15: Добавим 27 «нейтральных» других: Борда B, Кондорсе A
Кандидаты и их весовой коэффициент ранга
Количество избирателей
A
B
C
20
3
2
1
28
2
3
1
9
3
2
1
9
1
3
2
9
2
1
3
Взвешенный итог Борда
170
178
102
A против B
38
37
A против C
57
18
B против C
66
9
Во-вторых, однако, моя проблема остается в том, что существует феномен изменений бюджета. Заметьте, что пример Саари использует меняющийся электорат, а не меняющийся бюджет. Мое предложение состоит в том, что изменение электората потребовало бы нового голосования, в то время как мы хотели бы избежать этого в случае изменения бюджета. Метод Борда был бы лучшим только тогда, когда бюджет был бы действительно задан. Когда он может измениться, применение аннулирования ко всем подмножествам становится сомнительным, поскольку подмножества меняются. Существует фундаментальная неопределенность в отношении будущего. Рассмотрим следующий пример. В определенный момент времени население нации задано, и, таким образом, голосование за президента имеет определенный бюджет: население. Но неопределенность снова возникает, когда люди могут выйти из гонки. Лишь немногие на самом деле участвуют. Следовательно, мы вполне можем захотеть правило для работы с возможными изменениями в бюджете. Следовательно, логически не требуется, чтобы мы аннулировали голоса для всех возможных подциклов (также для кандидатов, которые не участвуют в гонке). Саари очень тверд в аргументе, что если мы принимаем аннулирование в одном случае, то мы должны делать это во всех случаях. Я более чувствителен к исключению: когда «если одно, то все» не выполняется.
Что касается Таблицы 14 и Таблицы 15, мое рассуждение — вопреки Саари — заключается в том, что добавленные голоса нельзя игнорировать. Аргумент вращательной симметрии рушится, когда мы сравниваем победителя с альтернативным победителем — что является парой — в то время как вращательная симметрия требует третьего кандидата или более. Для пары добавление имеет эффект. Когда мы рассматриваем нерафинированного победителя B и его альтернативного победителя A, то добавленные голоса идут в пользу A и больше не являются «нейтральными». Хотя C важен, поскольку он показывает цикл для подгруппы избирателей, другой взгляд заключается в том, что C можно игнорировать, поскольку он не является неподвижной точкой. Кандидат C — типичный пример нерелевантного кандидата, который может вызвать изменение предпочтений при голосовании по Борда. А именно, давайте рассмотрим Таблицу 15 при голосовании по Борда, и пусть C решит выбыть из гонки: тогда A становится победителем. Метод неподвижной точки Борда был разработан именно для того, чтобы справиться с таким видом изменения предпочтений.
Таким образом, когда вы выбираете свой метод голосования, вы должны выбирать между свойствами, проиллюстрированными этим случаем. (1) Борда подвержен изменению предпочтений. В примере Таблицы 15, когда C выбывает, произошел бы переход от B к A. (2) Метод неподвижной точки Борда все еще зависит от поля голосования. В этом примере, когда 27 избирателей выбывают, происходит переход от A к B.
Выбор в основном заключается в том, придаем ли мы большее значение избирателям или кандидатам. Саари предполагает, что кандидаты важнее, поскольку он аннулирует голоса 27 избирателей и оставляет C в гонке. Я бы сказал, что избиратели важны, а кандидат C менее релевантен. Правильный вопрос заключался бы в том, является ли победитель убедительным победителем. Конечно, C может стать важным кандидатом, когда мы добавим других избирателей. Но тогда аргумент в том, что эти избиратели имеют значение, а не C.
Рассмотрим влияние семантики. Хотя долгое время существовало мнение, что циклы также могут рассматриваться как безразличие, так что голоса аннулируются, Саари теперь перефразирует это как вращательную симметрию, и он предполагает, что принятие вращательной симметрии подразумевает принятие ее для всех случаев и подмножеств. Метка может быть общим математическим ярлыком, но у меня есть проблема с этим ярлыком в сфере морали (и подразумеваемой универсальности). Человеческие существа, по-видимому, имеют биологическое предпочтение симметрии, и, помечая что-то как «симметрию», это становится более привлекательным. При обсуждении различных схем голосования мы должны осознавать такие эффекты и пытаться сосредоточиться на том, что свойства означают на самом деле, и мы должны проводить правильное различие между свойством, которое является универсальным, и свойством, которое зависит от ситуации. Возможно, это можно было бы проанализировать как «математический склад ума», что принятие свойства для одного множества также подразумевает принятие для всех других (под-) множеств, но мой вывод заключается в том, что если мы присмотримся, то есть место для большей тонкости. Действительно, вполне может быть, что соображения симметрии применимы к статичной ситуации, но для динамики нам нужны другие соображения.
Другой пример этой потребности в тонкости заключается в том, что аргумент о «вращательной симметрии» рушится на статус-кво (см. ниже).
Саари также разработал остроумный способ геометрического изображения схем голосования. Для 3 кандидатов это становится треугольником, и различные процедуры могут быть рассчитаны на его основе. Представляется, что эти треугольники являются хорошим образовательным инструментом. Однако мой опыт показывает, что компьютерные программы (Colignatus (2001) использует Mathematica) проще в использовании, поскольку они избавляют от необходимости вычислений, в то время как они доступны для большего количества измерений, а также допускают безразличие, а не только строгие предпочтения. Сложная схема, такая как неподвижная точка Борда, также требует больше работы с треугольником, в то время как в Mathematica это простой вызов процедуры. Можно отметить, что приведенное выше обсуждение метода неподвижной точки Борда было упрощено путем предположения о единственных победителях. На практике могут быть ничьи, усложняющие поиск и требующие правил разрешения ничьих.
Парето
Еще одним следствием переключения внимания со статики на динамику является признание статус-кво.
По-видимому, существует еще одно широко распространенное заблуждение о «голосовании большинством». Эта идея заключается в том, что результат большинства все равно был бы демократически обоснованным, даже если выигрышное решение подразумевает реальный проигрыш для оппозиции. Контрпримером является случай, когда большинство решает, что меньшинство платит 1 доллар большинству: это не обязательно морально приемлемая ситуация, даже если есть большинство. С моральной точки зрения каждая схема голосования должна иметь два раунда: первый раунд для выбора Парето-улучшающих точек по сравнению со статус-кво, а затем второй раунд для выбора победителя из этих парето-улучшений. Таким образом, правило большинства можно рассматривать только как правило разрешения ничьих, а именно для тупиковой ситуации, когда существует больше Парето-улучшающих точек. При выборах лиц статус-кво может быть вакансией, и в этом отношении все кандидаты могут рассматриваться как парето-улучшающие. Но парето-условие нельзя пропускать в целом.
Парето-условие может потребовать некоторой тонкости. Рассмотрим семейный выбор отпуска в Грецию или Испанию, обсуждавшийся выше. Если маленький Робби считает отпуск в Испании ухудшением по сравнению со статус-кво отсутствия отпуска вообще, то есть моральный аргумент сказать, что Испания не является допустимым вариантом для голосования. Однако, если в первом раунде можно установить, что поехать в отпуск — это единогласно хорошая идея, то Робби должен принять возможное решение большинства в пользу Испании и против Греции.
Один аргумент против выбора Парето-улучшающих точек заключается в том, что люди могут также жульничать в отношении этих точек. Этот аргумент не убедителен, поскольку Парето-улучшение отвечает собственным интересам. Действительно, маленький Робби может попытаться наложить вето на Испанию, сказав, что он не хочет отпуска, и, таким образом, он может пытаться торговаться, чтобы заставить всех принять Грецию. Однако эту уловку можно предотвратить, проведя первый раунд по вопросу о том, стоит ли вообще ехать в отпуск, поскольку если он действительно хочет в отпуск, то он должен показать это тогда. Тщательное построение процесса голосования, таким образом, остается проблемой.
Примечание об обмане
Одной из ключевых проблем в теории голосования является стратегическое поведение при голосовании, более известное как обман. В такой схеме, как Борда, кардинальная полезность уже была сведена к порядковой полезности, поэтому, возможно, нам следует быть снисходительными и позволить избирателям максимизировать свою полезность от окончательного результата путем манипулирования своим голосом. Но наше мнение об этом не имеет значения, поскольку голосование, как правило, тайное, и мы все равно не можем остановить людей от стратегического голосования. Фактически, мои программы Mathematica, Colignatus (2001), содержат подпрограммы для обмана. Это простые подпрограммы, которые предполагают как полную информацию, так и то, что другие не жульничают, поскольку математика обмана при предположении, что другие тоже жульничают, довольно сложна, особенно когда никто не обладает полной информацией об истинных предпочтениях. Учитывая все это, можно предположить, что результаты выборов не отражают истинное положение дел.
Размышления об этих вопросах навели меня на мысль, которая могла бы помочь выявить истинное положение дел. Предположим, что каждый избиратель заранее проинформирован о том, что существует вероятность p, что поданный рейтинг будет использован избирательным компьютером для стратегического голосования. Если избиратель подает свой истинный рейтинг, то это вознаграждается с вероятностью p улучшением результата выборов для этого избирателя, причем гораздо лучше, чем может сам избиратель, поскольку компьютер знает все поданные рейтинги. Если избиратель подает стратегически адаптированный рейтинг, то это наказывается с вероятностью p, а именно улучшением результата выборов для этого ложного рейтинга. Вероятно, существует специфическое значение p, которое генерировало бы наиболее правдивый результат выборов. К сожалению, у меня не было времени развить эту идею.
Заключение
Результат выборов «в такой же степени» является результатом процедуры, как и предпочтений. Теорема о невозможности Эрроу сложна и полна парадоксов, но зависимость морали от времени предоставляет путь к решению.
Есть два ключевых вывода:
(1) Не следует пренебрегать условием Парето для кандидатов, участвующих в голосовании, — т. е. что голосуют только за тех кандидатов, которые являются улучшением по сравнению со статус-кво.
(2) Неподвижную точку Борда можно рассматривать как компромисс между процедурами Борда и Кондорсе (по парето-улучшающим точкам), и она обеспечивает степень защиты от изменений бюджета.
Есть также другой вывод. Голосование сложно и становится все более сложным по мере увеличения числа кандидатов и избирателей (особенно когда мы также включаем безразличие, а не только строгие предпочтения). Прямые выборы президента быстро становятся неосуществимыми для более продвинутых процедур голосования. Из этого наблюдения мы можем сделать вывод, что лучше иметь пропорциональную парламентскую систему, чтобы избранные профессионалы могли использовать продвинутые процедуры голосования для выбора президента. Такой подход к представительству также предотвращает наличие разного избирательного мандата для президента и парламента. Заметьте, что обсуждение выше, о теореме Эрроу и методе неподвижной точки Борда, рассматривает выборы на одно место, а не выборы на несколько мест. Но сложность прямых выборов на одно место имеет тенденцию поддерживать этот вывод об общей системе пропорционального представительства и непрямых выборов руководителей.
36. Некоторые заметки об этике
Следующие заметки об этике не очень хорошо развиты, но эти пункты полезно наблюдать.
(a) Меня поразила цитата Кейнса: «по линии происхождения, по крайней мере, экономика — более правильно называемая политической экономией — является стороной этики» (Skidelsky (2000:264)). Это момент, который обычно не замечается широкой публикой, ассоциирующей экономику с деньгами, а также многими экономистами, которые не ценят предмет политической экономии.
(b) Этика фокусируется на выживании и хорошей жизни («процветании»). То есть, точно так же, как лабораторным животным требуется оптимальная среда, у людей есть свои условия для процветания. Чиксентмихайи (1997), «Жить хорошо. Психология повседневной жизни», проясняет необходимый баланс между вызовом и компетентностью: слишком большой вызов вызывает стресс, в то время как слишком маленький вызов вызывает скуку. Модель Раша, также известная в психологии как модель ответа на пункт или модель Эло, используемая для рейтинга Эло в шахматах, по-видимому, подходит к этой ситуации.
(c) Colignatus (2003), «О ценности жизни», по сути фокусируется на выживании: спасенных годах жизни и распределении между индивидами. О качестве жизни, «процветании», у меня есть только грубый набросок «О цене здоровья».
(d) Глава «Без времени нет морали», конечно, связана с обсуждением в главе 19 о детерминизме и свободе воли, а также с общей важностью «динамики» для этой книги.
(e) Был семинар Макклоски по этике добродетели, который был поучительным и который я могу посоветовать тем, у кого есть шанс посетить. Смит (1759, 1984), «Теория нравственных чувств», занимал важное место.