Projektowanie mechanizmów

Definicja robocza

Projektowanie mechanizmów (mechanism design) to odwrócenie zwykłego pytania teorii gier: zamiast przewidywać, jak gracze zachowają się przy danych regułach, zaczynamy od pożądanego wyniku i szukamy reguł, które go wymuszą, choć uczestnicy znają swoje preferencje, a projektant nie. Mechanizm jest dobry, gdy jest zgodny bodźcowo (incentive compatible): każdemu uczestnikowi opłaca się ujawnić prawdę o sobie, więc projektant nie musi w nią wierzyć na słowo. W użyciu potocznym termin oznacza każde „ustawianie zachęt”; w ujęciu technicznym jest twierdzeniem o granicach możliwości, bo często dowodzi, że żadne reguły nie pogodzą efektywności, prawdomówności i dobrowolnego udziału.

Geneza i rodowód

Program sformułował Leonid Hurwicz w pracy o optymalności i efektywności informacyjnej procesów alokacji (1960), a jego rdzeń, pojęcie zgodności bodźcowej, w rozdziale „On Informationally Decentralized Systems” (1972). Punktem wyjścia był międzywojenny spór o rachunek ekonomiczny w socjalizmie: Mises (1920) i Hayek (1935, 1945) twierdzili, że centralny planista nie zdoła zebrać rozproszonej wiedzy, a Lange (1936–1938) odpowiadał modelem planisty naśladującego rynek. Hurwicz potraktował obie strony jako opis różnych mechanizmów komunikacji i zapytał, co w ogóle da się zrealizować, gdy uczestnicy mogą kłamać. Równolegle Vickrey (1961) analizował aukcje, a Gibbard (1973) i Satterthwaite (1975) dowiedli, że żadna niedyktatorska reguła głosowania nie jest odporna na manipulację. Zasada ujawniania (Myerson 1979; Dasgupta, Hammond, Maskin 1979) sprowadziła wszystkie mechanizmy do takich, w których uczestnicy po prostu mówią prawdę, a warunek monotoniczności Maskina ustalił, które cele da się w ogóle zaimplementować. Nagroda Banku Szwecji z 2007 r. dla Hurwicza, Maskina i Myersona „za położenie fundamentów teorii projektowania mechanizmów” zamknęła etap założycielski; od lat 90. dziedzina żyje głównie w projektowaniu rynków (Milgrom, Roth) i w algorytmicznej teorii gier.

Rodowód środkowoeuropejski

Kanoniczny autor pojęcia ukształtował się w Warszawie. Hurwicz, urodzony w 1917 r. w Moskwie w rodzinie polskich Żydów, wrócił z rodzicami do Warszawy wkrótce po urodzeniu, w 1938 r. ukończył prawo na Uniwersytecie Warszawskim i tam, na zajęciach z ekonomii, znalazł swoją dziedzinę; nie zrobił nigdy formalnego dyplomu ekonomisty. Londyn (LSE, 1938–1939), Genewa (1939–1940) i Chicago przyszły potem; w 1941 r. był w Chicago asystentem Oskara Langego. To drugi, pośredni związek z regionem: Lange, wykształcony na Uniwersytecie Jagiellońskim, w latach 1936–1938 sformułował model socjalizmu rynkowego, a Myerson w wykładzie ku czci Hurwicza (2006) pokazuje teorię mechanizmów jako narzędzie, które powstało, by rozstrzygnąć nierozstrzygalny wcześniej spór Langego z Misesem i Hayekiem. Nie otworzyliśmy tekstów Hurwicza z lat 1972–1973, więc nie potwierdzamy, jak sam cytuje Langego; sama droga od warszawskiego wydziału prawa przez chicagowskie seminarium socjalizmu rynkowego do formalnej teorii, która ten spór przekłada na ograniczenia bodźcowe, jest udokumentowana w biografiach. W 1994 r. Szkoła Główna Handlowa nadała Hurwiczowi doktorat honoris causa.

Dlaczego teraz

W latach 2018–2026 mechanizmy przestały być domeną regulatorów widma radiowego. Po pierwsze, wielkie platformy sprzedają uwagę w miliardach aukcji dziennie, a ich reguły (aukcja uogólniona drugiej ceny, potem pierwszej ceny w Google Ad Manager od 2019 r.) są jawnie projektowane według kryteriów tej teorii; Nagroda z 2020 r. dla Milgroma i Wilsona za teorię aukcji przypomniała o rodowodzie. Po drugie, ruch Plurality i finansowanie kwadratowe (Gitcoin, od 2019 r.) przeniosły projektowanie mechanizmów do zarządzania dobrami publicznymi i protokołami blockchain, gdzie reguły są kodem, a uczestnicy anonimowi. Po trzecie, trening modeli językowych metodą RLHF i debaty o „wyrównaniu” AI korzystają z tego samego słownika: jak zaprojektować funkcję nagrody, która nie da się ograć, gdy optymalizujący agent zna reguły lepiej niż projektant. Po czwarte, kryzys zaufania do mierników (rankingi, cele emisyjne, systemy premiowe) pokazał, że większość instytucji publicznych to mechanizmy zaprojektowane bez żadnej teorii.

Siła wyjaśniająca

Pojęcie pozwala zobaczyć instytucję jako grę, a nie jako intencję; pokazuje, że wynik zależy od tego, co uczestnikom się opłaca ujawnić, nie od tego, czego od nich oczekujemy. Trzy zastosowania. Aukcja Vickreya: zwycięzca płaci drugą najwyższą ofertę, więc każdemu opłaca się zgłosić prawdziwą wycenę; mechanizm wydobywa informację, której licytant nigdy by nie zdradził w negocjacji. Dobór absolwentów medycyny do szpitali: algorytm stabilnego dopasowania (Gale–Shapley, wdrożony w USA przez Rotha) sprawia, że kandydatom nie opłaca się taktyczne układanie list, a rynek przestaje „rozpadać się” we wczesne, nieformalne oferty. Twierdzenie Gibbarda–Satterthwaite’a: skoro każda sensowna reguła wyborcza jest manipulowalna, spór o „najlepszą ordynację” jest sporem o to, którą manipulację tolerujemy, a nie o to, jak jej uniknąć. W każdym z tych przypadków pojęcie przenosi uwagę z moralności uczestników na strukturę reguł.

Osie sporu

Niedoceniany kąt

Najważniejsze wyniki tej dziedziny są negatywne. Hurwicz (1972), Gibbard–Satterthwaite, Myerson–Satterthwaite (1983) to twierdzenia o niemożliwości: nie istnieje mechanizm, który jednocześnie jest efektywny, prawdomówny, dobrowolny i bilansuje się budżetowo. W obiegu publicznym dziedzina funkcjonuje jednak jako obietnica, że „dobrze ustawione zachęty” rozwiążą każdy problem, od klimatu po platformy. Odwrócenie tej lektury daje coś cenniejszego: teoria mechanizmów jest przede wszystkim mapą kompromisów, których żadna pomysłowość nie usunie, i mówi, z czego trzeba zrezygnować, gdy chcemy czegoś innego. Projektant, który nie potrafi wskazać, którą z czterech własności poświęca, nie projektuje, lecz obiecuje.

W przekładzie

Polski termin jest nieustalony. „Projektowanie mechanizmów” to kalka, która brzmi inżyniersko i gubi, że chodzi o reguły społeczne; „teoria mechanizmów” jest zwięzła, ale myli się z mechaniką; „teoria implementacji” to nazwa węższego działu. Dla incentive compatibility krążą „zgodność bodźcowa”, „zgodność motywacyjna” i „zgodność z zachętami”; wybieramy „zgodność bodźcową”, bo jest najkrótsza i przyjęta w polskiej literaturze z teorii gier. Potoczne „odwrócona teoria gier” jest dobrym objaśnieniem, ale nie terminem.