Pułapki koordynacyjne mediów społecznościowych: dowody warunkowe i granice interwencji

Streszczenie

Badamy, kiedy indywidualne ograniczanie dostępu do mediów społecznościowych może być niestabilne mimo korzyści ze wspólnej rezygnacji. Oddzielamy grę skończoną, dynamikę krótkowzrocznych najlepszych odpowiedzi oraz gry z graczami przewidującymi przyszłość. Dowodzimy warunkowej absorpcji i kryterium kaskady, wyznaczamy dokładne progi koalicyjne oraz pokazujemy kontrprzykłady wobec konieczności nadrzędnej władzy. Wyniki nie dowodzą konieczności interwencji państwowej. Parametry liczbowe są ilustracyjne, nie estymowane; model nie rozstrzyga skuteczności zakazów ani dobrostanu nastolatków.

1. Notacja i zakres

Gospodarstwo wybiera ograniczenie dostępu R albo adopcję A. Nazwy „grupa C” i „grupa D” są neutralne. Próg preferencji nie mierzy zaangażowania rodziców ani korzyści rozwojowych. W modelu skończonym liczba gospodarstw wynosi $n\ge 2$, a udział adoptujących rówieśników nie obejmuje samego gracza:

Wskaźnik w liczniku przyjmuje wartość 1 dokładnie wtedy, gdy gracz j wybiera A. W modelu bezatomowym udział oznacza masę populacji; pojedynczy gracz go nie zmienia. Nie przenosimy automatycznie wyników między tymi reżimami. Równowaga Nasha oznacza brak opłacalnej jednostronnej zmiany przy ustalonych działaniach pozostałych graczy; ścisłość oznacza ścisłą stratę przy zmianie.

2. P1 — Statyczna pułapka zbiorowa

Niech gospodarstwa mają identyczne wypłaty

oraz $f\left(0\right)=E\left(0\right)=0$. Funkcja P opisuje łączną presję względną, nie sam dobrobyt.

Twierdzenie P1. Profil samych R jest ścisłą równowagą Nasha. Profil samych A jest równowagą wtedy i tylko wtedy, gdy $P\left(1\right)\ge \tau$, a ścisłą wtedy i tylko wtedy, gdy $P\left(1\right)>\tau$. Profil samych R ściśle dominuje profil samych A w sensie Pareto wtedy i tylko wtedy, gdy $\tau >f\left(1\right)$. Jednoczesne warunki pułapki mają więc postać

Dowód. Przy niezmienionych działaniach pozostałych graczy różnica wypłat wynosi $u(A,k)-u(R,k)=P\left(k\right)-\tau$. Przy samych R udział rówieśników wynosi 0, więc odchylenie daje stratę $\tau >0$. Przy samych A udział wynosi 1, co daje dokładnie podane warunki równowagi i ścisłości. Porównanie dwóch całych profili daje wypłaty $W_R$ oraz $W_A+f\left(1\right)$. Każdy gracz zyskuje dokładnie $\tau -f\left(1\right)$, co dowodzi kryterium Pareto. Nie jest to uniwersalne prawo korzystania z mediów społecznościowych.

Jeżeli P jest ciągła i ściśle rosnąca, to dla $0<\tau <P\left(1\right)$ istnieje dokładnie jeden próg $k^{*}=P^{-1}\left(\tau \right)\in (0,1)$, na mocy twierdzenia o wartości pośredniej i ścisłej monotoniczności. Dla $\tau =P\left(1\right)$ próg wynosi 1. Sam pierwiastek nie oznacza niestabilnej równowagi dynamicznej; może nawet nie należeć do skończonej siatki udziałów rówieśników.

Adoptująca mniejszość. W kontinuum gospodarstwo C woli sytuację $(R,\epsilon )$ od $(A,1)$ dokładnie wtedy, gdy

Jest to porównanie dobrobytu, różne od warunku ścisłej stabilności najlepszej odpowiedzi $P\left(\epsilon \right)<\tau$; słaba stabilność dopuszcza równość. Wynika to odpowiednio z odjęcia wypłat między dwiema sytuacjami oraz przy tym samym udziale. W populacji skończonej z d pozostałymi adopterami dla ograniczającego gracza C zastępujemy ε przez $\frac{d}{n-1}$. Poprawa sytuacji większości nie oznacza poprawy Pareto całej populacji.

3. P2 — Kaskada i krótkowzroczna absorpcja

Teraz populacja jest bezatomowa i ma masę 1. Grupa D o masie $\epsilon \in (0,1)$ zawsze adoptuje. Progi C mają ciągłą dystrybuantę F o nośniku w dodatnim przedziale. P jest ciągła, niemalejąca, $P\left(0\right)=0$. Zakładamy synchroniczne, krótkowzroczne najlepsze odpowiedzi. Ciągłość F oznacza zerową masę gospodarstw obojętnych przy dowolnym ustalonym poziomie presji.

Twierdzenie P2. Ciąg z (5) rośnie niemalejąco do najmniejszego punktu stałego L funkcji Φ na $[0,1]$. Ponadto

Dowód. Dodatniość progów daje $F\left(0\right)=0$, zatem $k_1=\epsilon$. Monotoniczność Φ oraz $k_1\ge k_0$ przez indukcję dają $k_{t+1}\ge k_t$. Ograniczenie przez 1 zapewnia granicę L, a ciągłość daje $\Phi \left(L\right)=L$. Dla dowolnego punktu stałego x mamy $k_0\le x$, a potem indukcyjnie $k_t\le x$, więc $L\le x$. Jeśli $\Phi \left(x\right)\le x$ dla pewnego $x\in [\epsilon ,1)$, przedział $[\epsilon ,x]$ jest niezmienniczy: Φ jest niemalejąca, nie mniejsza niż ε i na tym przedziale nie większa niż x. Orbita od k₁ nie dochodzi więc do 1. Odwrotnie, warunek prawej strony (6) wyklucza punkt stały poniżej 1; granica musi wynosić 1. Przy tym warunku wzrost jest ścisły przed ewentualnym skończonym dojściem do 1. Sama monotoniczność lub wypukłość P nie wystarcza.

Kontrkontrola. Dla $\epsilon =0.1$, $P\left(k\right)=2k+k^2$ i progów jednostajnych na $[1,2]$ otrzymujemy $P\left(0.1\right)=0.21<1$, zatem $\Phi \left(0.1\right)=0.1$. Kaskada nie rusza, choć $P\left(1\right)=3$ przekracza wszystkie progi i presja jest ściśle wypukła.

Skończona absorpcja krótkowzroczna. Wróćmy osobno do populacji skończonej. Jeżeli w profilu samych A każdy gracz dopuszczony do rewizji ma $P\left(1\right)>{\tau }_i$, żadna jednostronna krótkowzroczna rewizja nie zmienia działania. Indukcja po rewizjach zachowuje profil samych A. Nie jest to twierdzenie o jedynej równowadze doskonałej Markowa ani o przewidujących przyszłość graczach.

Warunkowy rachunek niepewności. Przy przekonaniu Q o przyszłym udziale adopcji w C oczekiwana przewaga A wynosi $𝔼\left[P\right(\epsilon +(1-\epsilon )Q\left)\right]-\tau$. Jeśli dodatkowo Q ma rozkład jednostajny na $[0,1]$, a $P\left(k\right)=\mathrm{ak}$, $a>0$, to całkowanie daje

Dla $\epsilon =0.1$ granicą jest $k^{*}=0.55$; przy równości gracz jest obojętny. Jednostajne przekonania są założeniem, nie konsekwencją ogólnej dominacji względem ryzyka ani twierdzenia o grach globalnych. Po ustaleniu d bezwarunkowych adopterów ścisła dominacja A dla każdego C wymaga $P\left(\frac{d}{n-1}\right)>{\tau }_i$ (przy niemalejącej P). Równość nie daje ścisłości. Ten reżim jest odrębny od stabilnego profilu niskiej adopcji.

4. P3 — Kontrprzykład wobec konieczności nadrzędnej władzy

Rozważmy $n=10$, dziewięć gospodarstw C o ${\tau }_C=\frac{3}{2}$ i jedno D o ${\tau }_D=-1$. Nie jest to jednorodna populacja P1. Ustalamy

E rośnie i jest ściśle wypukła. D ma przewagę adopcji $P\left(k\right)+1>0$ dla każdego dopuszczalnego k.

Twierdzenie P3. Zarówno profil samych A, jak i profil, w którym wszystkie C wybierają R, a D wybiera A, są ścisłymi równowagami Nasha. Istnieje gra powtarzana z tymi wypłatami, w której drugi profil utrzymuje się w równowadze doskonałej w podgrach bez nadrzędnej władzy.

Dowód statyczny. Przy samych A każdy C otrzymuje $u_A=1$ zamiast $u_R=-\frac{1}{2}$. W profilu niskiej adopcji każdy C ma $k_i=\frac{1}{9}$, stąd

D widzi zerowy udział rówieśników i woli $0>-1$. Wszystkie jednostronne odchylenia są więc ściśle niekorzystne. Każdy C zyskuje względem samych A $\frac{61}{162}$. Przy jawnym kryterium sumy wypłat otrzymujemy $W_H=10$, $W_L=\frac{223}{18}$, różnicę $\frac{43}{18}$. D traci 1, więc nie jest to poprawa Pareto całej populacji.

Konstrukcja dynamiczna. Gra powtarza się jednocześnie w nieskończenie wielu okresach; dyskonto wynosi 0.9, kosztów przełączenia nie ma. Profil samych A stanowi status quo przed pierwszą modelowaną datą. Od uzgodnionej pierwszej daty, po każdej historii, strategia nakazuje wszystkim C grać R, a D grać A. Każdy zalecany profil etapowy jest ścisłą równowagą Nasha. Odchylenie nie zmienia przyszłych działań przeciwników, a każda zmiana własnego działania obniża wypłatę w danym okresie. Żadna sekwencja odchyleń nie zwiększa sumy zdyskontowanej; argument działa po każdej historii. Otrzymujemy równowagę doskonałą w podgrach bez sankcji, transferów, wiążących kontraktów i nadrzędnej władzy. Konstrukcja dowodzi istnienia, nie gwarantuje rekrutacji, wyboru równowagi ani skuteczności samego ogłoszenia.

5. P4 — Dokładne progi koalicji skończonej

Niech C mają wspólny próg τ, a D liczy d bezwarunkowych adopterów; $c=n-d\ge 1$. Zakładamy $0\le d\le n-1$, ciągłą ściśle rosnącą P oraz $P\left(\frac{d}{n-1}\right)<\tau <P\left(1\right)$. Niech $P\left(k^{*}\right)=\tau$. Z profilu samych A jednocześnie przełącza się m gospodarstw C.

Twierdzenie P4. Outsider-adopter ma udział $\frac{n-m-1}{n-1}$, a ograniczający członek koalicji $\frac{n-m}{n-1}$. Ścisłe wyjście outsidera oraz natychmiastowa ścisła stabilność członka wymagają odpowiednio

Dowód. Po przełączeniu m graczy pozostaje $n-m$ adopterów. Outsider zalicza się do tej liczby, członek koalicji nie; po wyłączeniu własnego działania dostajemy wskazane udziały. Ścisła preferencja R zachodzi wtedy i tylko wtedy, gdy udział jest mniejszy niż k*. Przekształcenie obu nierówności daje (11), a najmniejsza liczba całkowita większa od x to $\lfloor x\rfloor +1$. Prawe strony nierówności różnią się o 1, więc progi całkowite także.

Próg outsidera stosujemy tylko przy $m<c$; przy $m=c$ mamy bezpośrednie ograniczenie wszystkich C, nie indukowaną kaskadę. Próg większy niż dostępna liczba C jest niewykonalny. Równość w (11) oznacza obojętność, nie wymuszone wyjście.

W P3: $k^{*}=\sqrt{\frac{5}{2}}-1$, $m_{\mathrm{out}}=4$, $m_{\mathrm{stable}}=5$. Dla czterech członków

Cztery zobowiązania muszą przetrwać do pierwszego wyjścia outsidera. Wtedy liczba ograniczających rośnie do pięciu; wszyscy ograniczający widzą presję poniżej progu, a dalsze wyjścia tylko wzmacniają te bodźce. Harmonogram musi rzeczywiście dopuścić outsidera do rewizji. Sprawiedliwy harmonogram gwarantuje taką okazję, ale nie wyznacza wspólnego kalendarzowego terminu. Pięciu członków jest stabilnych od razu po wspólnym przełączeniu. Są to własności po wykonaniu porozumienia, nie dowód dobrowolnego zawarcia kontraktu.

6. P5 — Heterogeniczność i granice trwałych zobowiązań

W odrębnym kontinuum ustalamy $\epsilon =0.1$, $P\left(k\right)=100k$, a progi C są jednostajne na $[5,95]$:

Bez zobowiązań. Iteracja od $k_0=0$ daje $k_1=0.1$, a następnie dodaje 0.05 aż do obcięcia na 1. Indukcja daje $k_t=\min (1,0.1+0.05(t-1\left)\right)$ dla $t\ge 1$; $k_{18}=0.95$, $k_{19}=1$. Adopcja powszechna oznacza masę 1, nie ścisły wybór każdego typu o zerowej masie. Sama P nie identyfikuje osobno f i E, więc nie wyznacza dobrobytu.

Koalicja reprezentatywna. Masa $\gamma \in [0,0.9$] trwale wybiera R, a rozkład progów pozostałych C jest nadal dokładnie F. Reprezentatywność jest założeniem, nie własnością dowolnej klasy szkolnej czy dzielnicy. Po wykonaniu zobowiązań początek to $k_1=1-\gamma$, a aktualizacja wynosi

Twierdzenie P5. Granica tej dynamiki wynosi

Dowód. Dla $0\le \gamma \le 0.05$ początek jest nie mniejszy niż 0.95, więc $F\left(100k_1\right)=1$ i $T_{\gamma }\left(k_1\right)=1-\gamma =k_1$. Nie występują indukowane wyjścia. Dla $0.05<\gamma <0.9$ zarówno początek, jak i poniższy punkt stały należą do gałęzi liniowej $0.05<k<0.95$. Podstawienie F do (15) daje współczynnik $a=1-\frac{\gamma }{0.9}\in (0,1)$, a rozwiązanie równania $T_{\gamma }\left(K\right)=K$ daje $K=0.05+\frac{0.045}{\gamma }$. Ponieważ

odcinek od K do początku jest niezmienniczy. Odejmując równanie punktu stałego, otrzymujemy przez indukcję

Zbieżność jest ściśle z góry. Dla $\gamma =0.9$ pozostaje tylko masa D i $k_1=0.1$; wzór graniczny daje to samo.

Dla $\gamma =0.225=\frac{9}{40}$ otrzymujemy dokładnie

Dodatnia reszta wyklucza dojście do 1/4 w skończonym czasie. Łączny mnożnik wyjścia $\frac{1-K}{\gamma }=\frac{10}{3}$ różni się od lokalnego mnożnika addytywnego sprzężenia $\frac{1}{1-T_{\gamma }\prime }=4$. Krańcowa skuteczność masy koalicji jest jeszcze inną wielkością: $-K^{\prime }\left(\gamma \right)=\frac{0.045}{{\gamma }^2}=\frac{8}{9}$.

Cel graniczny. Dla $q<0.1$ cel jest niewykonalny. Odwrócenie ściśle malejących gałęzi (16) daje najmniejszą masę zapewniającą $K\le q$:

Dla $0.1<q<0.95$ wybór dokładnie minimalnej masy oznacza tylko graniczną realizację celu. Skończone osiągnięcie $k_t\le q$ wymaga ściśle większej masy, co wynika z dodatniej reszty (18); przy większej masie granica leży poniżej celu. Dla $q=0.1$ masa 0.9 osiąga cel od razu. Dla $0.95\le q\le 1$ minimum daje początek równy celowi.

Koalicja najwyższych progów. Jeżeli wiążemy zamiast tego górny ogon C o masie γ, jego dolny próg to ${\tau }_{\mathrm{cut}}=95-100\gamma$. Masa nieobjętych zobowiązaniem C, których próg nie przekracza P, wynosi $\min \left(0.9F\right(P),0.9-\gamma )$. Zatem

Ponieważ $\Phi (1-\gamma )\ge 1-\gamma$ dla każdego $\gamma \in [0,0.9$], start $k_1=1-\gamma$ pozostaje nieruchomy. Nie ma progu kaskady 0.85. Przy $\gamma =0.85$ mamy $k=0.15$, próg odcięcia 10 oraz presję 15. Przy $\gamma =0.9$ nie ma już C poza koalicją. Na jednostkę progu przypada masa 0.01; porównanie presji $100(1-\gamma )$ z progiem odcięcia daje masę związanych gospodarstw preferujących A równą $\min (\gamma ,0.05)$. Dla $\gamma \le 0.05$ są to wszystkie związane gospodarstwa; dla większej γ jest ich 0.05. Wykonalność wiążącego zobowiązania nie oznacza dobrowolnej zgodności bodźców.

Zwolnienie zobowiązań. Bez zmiany P i F, od dowolnego stanu zwolnienia $x\in [0.1,1$] po j aktualizacjach mamy $\min (1,x+0.05j)$. Wynika to indukcyjnie z (14). Powrót do 1 zajmuje $\lceil \frac{1-x}{0.05}\rceil$ aktualizacji, w tym 15 dla $x=0.25$. Niski stan utrzymywany zobowiązaniami nie jest samopodtrzymującą równowagą bez ograniczeń. Egzekwowanie kontraktu nie oznacza automatycznie władzy państwowej.

Ogólne kryterium punktu stałego. Dla ciągłych niemalejących F i P, $0\le \gamma \le 1-\epsilon$, oznaczmy $b=1-\gamma$ oraz

Iteracja od b jest nierosnąca, do największego punktu stałego w $[\epsilon ,b]$. Dla $q\in [\epsilon ,b$] zachodzi

Dowód. Obraz przedziału leży w $[\epsilon ,b]$, zatem $T_{\gamma }\left(b\right)\le b$. Monotoniczność daje przez indukcję ciąg nierosnący. Ciągłość daje punkt stały jako granicę, a porównanie iteracji z dowolnym punktem stałym pokazuje, że granica jest największym z nich. Jeśli $T_{\gamma }\left(k\right)\ge k$ dla pewnego $k>q$, ciągła funkcja $T_{\gamma }\left(x\right)-x$ jest tam nieujemna, a w b niedodatnia, więc ma zero w $[k,b]$; granica przekracza q. Odwrotnie, ścisła nierówność na $(q,b$] wyklucza punkt stały powyżej q. Dla $b\le q$ cel jest osiągnięty już na początku. Dowód nie wymaga dzielenia przez F, wyboru odwrotności ani eliminowania płaskich odcinków.

7. P6 — Redukcja presji jako parametr modelu

W przykładzie P5 zastąpmy presję przez $100(1-\lambda )k$, gdzie $\lambda \in [0,1$]. Pozostałe założenia, w tym ε i F, pozostają niezmienione wyłącznie na potrzeby tego modelu. Startujemy od $k_0=1$.

Twierdzenie P6. Granica wynosi

Dowód. Dla $\lambda \le 0.05$ mamy ${\Phi }_{\lambda }\left(1\right)=1$, więc orbita stoi. Dla $\lambda >0$ funkcja obcięcia nie zwiększa odległości, zatem Φ ma stałą Lipschitza nie większą niż $1-\lambda <1$. W środkowej gałęzi równanie punktu stałego daje $k=\frac{0.05}{\lambda }$, należące do $(0.1,1)$ dokładnie dla $0.05<\lambda <0.5$. Dla $\lambda \ge 0.5$ punkt 0.1 jest stały. Wskazane punkty stałe przyciągają iterację przez oszacowanie odległości mnożnikiem $1-\lambda$. Dla $\lambda =0$ bezpośrednie podstawienie daje nieruchomy początek 1.

Przy $\lambda =0.05$ nie ma ruchu. Przy $\lambda =0.2$ dokładna trajektoria to $k_t=0.25+0.75{\left(0.8\right)}^t$, a przy $\lambda =0.5$ — $k_t=0.1+0.9{\left(0.5\right)}^t$. W obu przypadkach granica nie jest osiągana w skończonym czasie. Gdy $\lambda >0.5$, punkt stały nieobciętej funkcji leży poniżej 0.1; iteracja liniowa po skończonej liczbie kroków przekracza dolną granicę, po czym obcięcie daje dokładnie 0.1 (dla $\lambda =1$ już w pierwszym kroku).

Dla $0.1\le q<1$ graniczny cel wymaga $\lambda \ge \frac{0.05}{q}$, natomiast skończone osiągnięcie wymaga $\lambda >\frac{0.05}{q}$. Równość oznacza dodatnią resztę geometryczną, także dla $q=0.1$; przy ostrej nierówności granica nieobcięta leży poniżej celu, co zapewnia skończone przekroczenie.

Granica interpretacji. Siedem godzin szkolnych nie identyfikuje λ. Parametr λ nie identyfikuje skuteczności konkretnej polityki. Bez dodatkowych danych model nie określa korzyści zakazu, substytucji, przestrzegania reguł ani skutków dobrobytowych. Ograniczenia wieku lub zakazy szkolne nie muszą mechanicznie przeskalowywać P ani pozostawiać ε bez zmian.

8. Wniosek i zakres empiryczny

Indywidualne, krótkowzroczne ograniczenia mogą zawodzić przy jawnych warunkach. Koordynacja działań i zmiana wypłat to odrębne drogi wyjścia. Ani przedstawiony model, ani dowody nie ustanawiają uniwersalnej konieczności zorganizowanej władzy odgórnej. Istnienie korzystniejszej równowagi nie dowodzi jej samoczynnego wyboru. Trwałość ograniczonej dynamiki nie dowodzi dobrowolności zobowiązań.

Badanie Bursztyna i współautorów [1] motywuje pytanie o pułapki zbiorowe w mediach społecznościowych. Dotyczy eksperymentów ze studentami; nie uzasadnia uniwersalnych wniosków o nastolatkach ani parametrów tej noty. Dyskusja źródłowa [2] stanowi przedmiot analizy, nie recenzowane źródło twierdzeń.

Dodatek A — Asynchroniczny kontrmodel przewidujących graczy

Zachowujemy $n=10$, ${\tau }_D=-1$, $f\left(k\right)=k$ i $E\left(k\right)=k+k^2$ z P3; ustawiamy ${\tau }_C=2$, $\delta =0.99$. W każdym okresie dokładnie jedno gospodarstwo rewiduje działanie według ustalonego cyklu wszystkich 10 graczy. Działanie trwa do jego następnej rewizji. Wszyscy otrzymują wypłatę po bieżącej rewizji. Stan obejmuje profil działań i fazę cyklu. Nie ma kosztów przełączenia ani kontraktów. W każdym stanie strategia nakazuje graczowi C wybrać R, a D wybrać A.

Twierdzenie A. Opisane strategie tworzą równowagę doskonałą Markowa w tej grze z zaplanowanymi terminami rewizji.

Dowód. Gracz C porównuje R i A przez 10 okresów do następnej własnej rewizji. Działania innych graczy według strategii nie zależą od jego wyboru. Przy następnej własnej rewizji powrót do zalecanego działania sprawia, że profile w obu porównywanych historiach stają się identyczne; późniejsze wypłaty są takie same. Stosujemy nienormalizowaną sumę zdyskontowaną. Największe udziały rówieśników występują, gdy wszyscy pozostali początkowo adoptują, a D rewiduje bezpośrednio po rozważanym C:

Wcześniejsza rewizja D opóźnia pierwsze wymuszone wyjście C; inne pozycje cyklu lub mniejsza początkowa adopcja tylko obniżają udziały w każdym odpowiadającym okresie. Przewaga R wynosi $g_t=2-P\left(k_t\right)$, a bezpośrednie sumowanie daje

Dokładniej suma obejmuje dwa składniki $2-P\left(1\right)=-1$ oraz składniki $2-P\left(\frac{r}{9}\right)$ dla $r=1,\dots ,8$. Użycie ${{\sum }_{r=1}}^{8}r=36$ i ${{\sum }_{r=1}}^8{r}^2=204$ daje $-2+16-8-\frac{204}{81}=\frac{94}{27}$. Dla dyskonta nierówność Bernoulliego daje $1-{\delta }^t\le t(1-\delta )$, a więc

Użyliśmy oszacowania ${\delta }^t{g}_t\ge g_t-2(1-{\delta }^t)$, ważnego niezależnie od znaku g. D w każdym okresie ma przewagę A równą $P\left(k\right)+1>0$, a przeciwnicy nadal nie reagują na jego działanie. Takie porównania zachodzą w każdym stanie. Zasada jednorazowego odchylenia dla gry o doskonałej informacji, ograniczonych wypłatach i dyskoncie mniejszym od 1 daje doskonałość w każdej podgrze: dowolne korzystne odchylenie można przyciąć po skończonym czasie dzięki zanikającemu ogonowi, a następnie wyeliminować jego ostatnią zmianę. Strategie zależą tylko od stanu, więc równowaga jest doskonała Markowa. Startując od samych A, wszystkie C wychodzą w jednym cyklu, mimo natychmiastowej straty 1 pierwszego wychodzącego C.

Jest to kontrmodel z ustalonym cyklem rewizji, nie twierdzenie dla nieograniczonych, ciągłych możliwości zmiany decyzji.

Metoda kontroli

Treść poddano wspomaganej przez AI kontroli adversarialnej z czterech perspektyw: logiki formalnej, teorii gier, dynamiki koalicji i projektowania mechanizmów. Kontrola rachunkowa używa arytmetyki wymiernej. Zgodność ocen nie jest certyfikacją matematyczną, walidacją empiryczną ani recenzją czasopisma. Dowody i jawne założenia, nie autorytet recenzentów, stanowią podstawę wniosków.

Bibliografia

1. Leonardo Bursztyn, Benjamin R. Handel, Rafael Jiménez-Durán, Christopher Roth (2025). When Product Markets Become Collective Traps: The Case of Social Media. American Economic Review, 115(12), 4105–4136. doi:10.1257/aer.20231468. Wersja robocza: NBER Working Paper 31771.
2. Game Theory of Teen Social Media. Nierecenzowana dyskusja udostępniona przez użytkownika, analizowana jako źródło tez. Archiwalny odnośnik dyskusji. Data dostępu do dostarczonego archiwum: 23 października 2026.