Kurragömma i ett socialt nätverk

Relevanta dokument
Eulercykel. Kinesiska brevbärarproblemet. Kinesiska brevbärarproblemet: Metod. Kinesiska brevbärarproblemet: Modell. Definition. Definition.

Rangordning av internetsidor - ett egenvärdesproblem för positiva matriser

Gripenberg. Mat Grundkurs i matematik 1 Tentamen och mellanförhörsomtagning,

14.1 Två-personers nollsummespel och konstantsummespel: sadelpunkt

Dagens ämnen. Kvadratiska former. Andragradskurvor. Matrisform Diagonalisering av kvadratiska former Max/min Teckenkaraktär

1 LP-problem på standardform och Simplexmetoden

Föreläsning 2. Kortaste vägar i grafer.

Föreläsn. anteckn. TMV206-VT13. Vecka 6-7. Egenvärden och Egenvektorer. Kap. 8-9

Föreläsn. anteckn. HT13. Vecka 6-7. Egenvärden och Egenvektorer. Slumpvandringar på Grafer. Kap. 8-9

Föreläsning 2. Kortaste vägar i grafer.

Dagens teman. Linjära ODE-system av ordning 1:

Grafer och grannmatriser

Vi skalla främst utnyttja omskrivning av en matris för att löas ett system av differentialekvaioner. 2? Det är komplicerat att

729G04 - Diskret matematik. Lektion 4

Föreläsningsanteckningar F6

TMV206: Linjär algebra

Tentamensskrivning i Differentialekvationer I, SF1633(5B1206).

5B1817 Tillämpad ickelinjär optimering. Kvadratisk programmering med olikhetsbivillkor Active-set metoder

Grafer MST Top. sortering Starkt samm. komponenter Kortaste avstånd. Grafalgoritmer 1. Douglas Wikström KTH Stockholm

Robust flervariabel reglering

Lösningar till utvalda uppgifter i kapitel 8

Laboration 0: Del 2. Benjamin Kjellson Introduktion till matriser, vektorer, och ekvationssystem

Slump och statistik med Scratch

Föreläsning 2: Grafer. Exempel på graf

TNK049 Optimeringslära

Ökenracet. Introduktion. Nivå. STEG 1: Skapa scenen och lägg till sprites. Checklista. STEG 2: Få lejonet och papegojan att röra på sig.

3 1 = t 2 2 = ( 1) ( 2) 1 2 = A(t) = t 1 10 t

Laboration 2: Spelteori

Linjär Algebra, Föreläsning 20

Föreläsning 5: Grafer Del 1

Fö relä sning 2, Kö system 2015

TMV166 Linjär Algebra för M. Tentamen

1 Diagonalisering av matriser

x (t) = 2 1 u = Beräkna riktnings derivatan av f i punkten a i riktningen u, dvs.

x(t) I elimeringsmetoden deriverar vi den första ekvationen och sätter in x 2(t) från den andra ekvationen:

SKRIVNING I VEKTORGEOMETRI

Föreläsning 5: Dynamisk programmering

Slump och statistik med Scratch. Se video

6. a) Visa att följande vektorer är egenvektorer till matrisen A = , och ange motsvarande

Tentamen i Linjär algebra (TATA31/TEN1) ,

4 Fler deriveringsregler

Föreläsning 4: Giriga algoritmer. Giriga algoritmer

Optimeringslära för T (SF1861)

Procedurer och villkor. Rekursiva procedurer. Exempel: n-fakultet

Procedurer och villkor

Egenvärden och egenvektorer. Linjär Algebra F15. Pelle

Sammanfattning av föreläsning 11. Modellbygge & Simulering, TSRT62. Föreläsning 12. Simulering. Föreläsning 12. Numeriska metoder och Simulering

Lösningar till tentan i 5B1760 Linjär och kvadratisk optimering, 17 december 2003.

SNOOKER. Introduktion och de viktigaste reglerna

K 4-1. Introduktion till Egenvärden och SVD. Egenvärdesproblemet. Egenvektorn. Egenskaper

SF1624 Algebra och geometri

denna del en poäng. 1. (Dugga 1.1) (a) Beräkna u (v 2u) om v = u och u har längd 3. Motivera ert svar.

Simulering av Poissonprocesser Olle Nerman, Grupprojekt i MSG110,GU HT 2015 (max 5 personer/grupp)

Chalmers tekniska högskola Datum: kl Telefonvakt: Linnea Hietala MVE480 Linjär algebra S

De optimeringsproblem som kommer att behandlas i denna kurs kan alla (i princip) skrivas. 1 2 xt Hx + c T x. minimera

DEL I 15 poäng totalt inklusive bonus poäng.

progecad NLM Användarhandledning

TMV166 Linjär Algebra för M. Tentamen

Algoritm, potensmetoden

Grafer. 1 Grafer. Grunder i matematik och logik (2015) 1.1 Oriktade grafer. Marco Kuhlmann

Linjär algebra/matematik. TM-Matematik Mikael Forsberg ma014a, ma031a

Egenvärden och egenvektorer

KTH Matematik Tentamensskrivning i Differentialekvationer I, SF1633.

1 Minkostnadsflödesproblem i nätverk

Tentamen i Linjär algebra (TATA31/TEN1) ,

Tentamen i Linjär algebra (TATA31/TEN1) , 8 13.

Följande resultat erhålls (enhet: 1000psi):

Tentamen i Linjär algebra (TATA31/TEN1) ,

Föreläsning 6 Datastrukturer (DAT037)

CS - Computer science. Datateknik Informationsbehandling Datalogi Datavetenskap (ÅA 2008)

Institutionen för matematik KTH. Tentamensskrivning, , kl B1210 och 5B1230 Matematik IV, för B, M, och I.

SF1624 Algebra och geometri Lösningsförslag till tentamen DEL A

SF1624 Algebra och geometri Lösningsförslag till tentamen DEL A

Laboration 2: Spelteori

Block 5: Ickelineära. ekvationer? Läroboken. Löpsedel: Icke-lineära. ekvationer. Vad visade laborationen? Vad visade laborationen?

Lösning till fråga 5 kappa-06

Existens och entydighet

TAOP61/TEN 1 OPTIMERING AV REALISTISKA SAMMANSATTA SYSTEM

20 Gamla tentamensuppgifter

729G43 Artificiell intelligens / Maskininlärning 3. Marco Kuhlmann

Tentamensinstruktioner. När Du löser uppgifterna

TMV036 Analys och linjär algebra K Kf Bt, del C

Bose-Einsteinkondensation. Lars Gislén, Malin Sjödahl, Patrik Sahlin

Vektorgeometri för gymnasister

x 1(t) = x 2 (t) x 2(t) = x 1 (t)

Lösningar till SF1852 Optimeringslära för E, 16/1 08

SF1624 Algebra och geometri Lösningsförslag till tentamen Fredagen den 23 oktober, 2009 DEL A

1 dy. vilken kan skrivas (y + 3)(y 3) dx =1. Partialbråksuppdelning ger y y 3

Tentamen TMA946/MAN280 tillämpad optimeringslära

Hjälpmedel: inga Chalmers tekniska högskola Datum: kl Telefonvakt: Peter Hegarty (a) Låt (3p)

Chalmers tekniska högskola Datum: Våren MVE021 Linjär algebra I

Föreläsning 9. Reglerteknik AK. c Bo Wahlberg. 30 september Avdelningen för reglerteknik Skolan för elektro- och systemteknik

Del 1: Godkäntdelen. TMV142 Linjär algebra Z

if (n==null) { return null; } else { return new Node(n.data, copy(n.next));

Genetisk programmering i Othello

Idealgasens begränsningar märks bäst vid högt tryck då molekyler växelverkar mera eller går över i vätskeform.

Nätverk och habitatnätverk Exempel från Stockholm

Föreläsning Datastrukturer (DAT036)

Tentamen i Linjär algebra (TATA31/TEN1) ,

LÖNEN ETT EFFEKTIVT SÄTT FÖR ÖNSKAD PRESTATION - ENDA FÖRUTSÄTTNINGEN FÖR KONKURRENSKRAFT I EN GLOBAL VÄRLD!

Transkript:

Kurragömma i ett socialt nätverk Olle Abrahamsson Doktorand i kommunikationssystem, Linköpings universitet 1 Introduktion

Många sociala grupper kan ha anledningar att gömma sig Illasinnade grupper: Terrorister, organiserad brottslighet Medborgarrättsörelser: Politiska aktivister i diktaturer, individer som vill skydda sin integritet 2 Många verktyg för att hitta viktiga individer i ett nätverk Exempel: Grad, closeness, betweenness, egenvektorscentralitet,... Kallas för centralitetsmått Mäter hur central en individ är i ett nätverk Andra verktyg kan mäta socialt inflytande Exempel: Linear threshold, independent cascade 3

1 6 3 4 5 2 7 Gradcentralitet = antal grannar C D (3) = C D (5) = 3 C D (4) = C D (6) = C D (7) = 2 C D (1) = C D (2) = 1. Det verkar rimligt att nod 3 och 5 är de mest populära i nätverket. 4 1 6 3 4 5 2 7 Closeness = 1 genomsnittligt kortaste avstånd till alla andra noder C C (4) = 7/10 C C (3) = C C (5) = 7/11 C C (6) = C C (7) = 7/15 C C (1) = C C (2) = 7/16, så nod 4 kan sägas vara den som effektivast erhåller information från alla andra noder. 5

1 6 3 4 5 2 7 betweenness genomsnittligt antal kortaste vägar som går genom den givna noden C B (3) = 16/3 C B (4) = C B (5) = 13/3 C B (1) = C B (2) = C B (6) = C B (7) = 0, Kan tolkas som att nod 3 oftast kontrollerar informationsflödet i nätverket. 6 1 6 3 4 5 2 7 Egenvektorscentralitet? A = 1, i granne med j 0, annars = 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 1 1 0 0 0 0 1 0 1 0 0 0 0 1 1 0 7

Egenvektorscentralitet? Sätt centralitet x i = 1 för alla noder i = 1,..., n. (Vårt fall: n = 7.) Uppdatera till en bättre gissning x i x i = j A ij x j x = Ax. Repetera proceduren t gånger: x(t) = A t x(0). (1) Vi kan skriva x(0) som en linj.komb. av egenvektorerna till A: x(0) = i c i v i, (2) för lämpliga konstanter c i. 8 Egenvektorscentralitet! x(t) = A t x(0). (1) x(0) = i c i v i, (2) x(t) = A t i c i v i = i där λ i är egenvärden till A, med λ 1 störst. Det går att visa att när t så gäller: c i λ t i v i = λ t 1 Ax = λ 1 x, så egenvektorscentraliteten för nod i blir x i = 1 A ij x j. λ 1 j i ( ) t λi c i v i, (3) λ 1 9

Hur gömmer man sig? Kan en individ (t.ex. en ledare) undgå att bli upptäckt men ändå behålla sitt sociala inflytande över gruppen? Waniek 1 m.fl. (2016): Ja! Åtminstone med avseende på grad-, closenessoch betweenness-centraliteter. Proceduren för att gömma sig kallas ROAM (Remove One, Add Many) 1 Waniek, M., Michalak, T.P., Woolridge, M.J., Rahwan, T., Hiding individuals and communities in a social network, Nature Human Behaviour, 2, 139-147 (2018) 10

v 6 v 6 v 6 v 5 v 4 v 5 v 4 v 5 v 4 v 3 v 3 v 3 v 0 VIP v 0 VIP v 0 VIP v 1 v 2 v 1 v 2 v 1 v 2 (a) (b) (c) ROAM med budget b = 4. Röd/prickig kant tas bort, gröna/streckade kanter läggs till. 11 ROAM sänker grad-, closeness- och betweenness-centraliteter Egenvektorscentralitet är svårare att sänka En modifierad variant, ROAMeig 2, åstadkommer detta genom statistiska samband med andra centraliteter Så vi sänker dessa istället (enklare!) 2 Abrahamsson, O., Hide and Seek in a Social Network, masterarbete, Linköpings universitet (2017) 12

Algoritmerna testades på olika nätverk (alla är enkla, oriktade och utan själv-loopar): Terroristnätverket ansvariga för attackerna på World Trade Center (WTC), 11 september, 2001. Ett anonymiserat fragment av Facebook, taget från SNAP the Stanford Network Analysis Platform. Vi studerade även slump-genererade nätverk: Två skal-fria nätverk baserade på Barabási-Albert-modellen. Nätverk Noder Kanter Facebook 333 2519 WTC 60 124 Litet skalfritt 200 1945 Stort skalfritt 1000 9945 13 Egenvektorscentraliteten sänks 0.5 0.45 ROAM(3) ROAMeig(3) 0.4 Eigenvector centrality 0.35 0.3 0.25 0.2 0.15 0.1 1 2 3 4 5 6 7 8 Iteration Terroristnätverket för WTC-attacken. Mohamed Atta var målnoden. 14

Det gör även betweenness... 700 ROAM(3) ROAMeig(3) 600 500 Betweenness centrality 400 300 200 100 0 1 2 3 4 5 6 7 8 Iteration Terroristnätverket för WTC-attacken. Mohamed Atta var målnoden. 15... och closeness 0.46 ROAM(3) ROAMeig(3) 0.45 0.44 Closeness centrality 0.43 0.42 0.41 0.4 0.39 1 2 3 4 5 6 7 8 Iteration Terroristnätverket för WTC-attacken. Mohamed Atta var målnoden. 16

Kan ledaren behålla socialt inflytande över gruppen? Två inflytelsemodeller Independent cascade: En redan aktiverad nod kan aktivera sina grannar med en viss sannolikhet. En sannolikhet för varje kant. Linear threshold: En inaktiv nod blir aktiv om tillräckligt många (tröskelvärdet) of dess grannar är aktiverade. Ett tröskelvärde per nod. I båda modellerna: Kaskaden stannar när ingen ny nod aktiveras. Låt en given nod vara aktiverad från början. Modellen körs flera gånger, och målnodens inflytande mäts som det genomnittliga antalet aktiverade noder när kaskaden stannar. 17

Modell Före 3 ROAM(3) 3 ROAMeig(3) Linear threshold 42 42 57 Independent cascade 23 26 31 Antal aktiverade noder i terroristnätverket före och efter 3 rundor av ROAM(3) respektive ROAMeig(3). 18 Hur kan vi upptäcka dolda ledare?

Hur kan vi upptäcka dolda ledare? Vi tar hjälp av kooperativ spelteori! Kooperativa spel = spel som har utformats så att spelarna tvingas samarbeta Förutsätter att spelare tänker rationellt = vill bli belönade Koalitioner (samarbeten) som är gynnsamma för spelets mål tilldelas högre belöningar Ger en prognos: Vilka koalitioner kommer sannolikt att formas? Vilka beslut kommer troligen att fattas av gruppen som helhet? Socialt inflytande kan vara en sådan belöning! 19 Vårt spel: Varje person kan endast påverka sina grannar (inflytandesfär med radie r = 1). Om 2 eller fler personer ingår i en koalition kan de snabbt öka det totala inflytandet (unionen av deras sfärer), även för små koalitioner (2-3 personer). Mål: Maximera summan antal personer i koalitionen + antal personer ett steg från koalitionen Koalitionens belöning = summan av medlemmarnas så kallade Shapley-värden. 20

Shapley-värdet för vårt spel: Låt d(i) vara graden (= antalet grannar) för person i. Då är Shapley-värdet för i definierat såhär: SV (i) = där N(i) är grannarna till i. 1 1 + d(i) + j N(i) 1 1 + d(j), Högre Shapley-värde = högre socialt inflytande 21 Högre Shapley-värde = högre socialt inflytande Detta faktum gör Shapleyvärde till ett intressant mått: Vi får ett mått på socialt inflytande som inte kan mätas med hjälp av standardverktygen (betweeness, closeness,... ) Men inga beräkningstunga simuleringar av socialt inflytande behöver köras! (Linear threshold, independent cascade,... ) 22

Resultat Shapley-värden före och efter ROAM/ROAMeig 0.7 0.68 ROAM(3) ROAMeig(3) 0.66 0.64 Shapley value 0.62 0.6 0.58 0.56 0.54 1 2 3 4 5 6 7 8 Iteration Terroristnätverket för WTC-attacken. Mohamed Atta var målnoden. 23

De expermintella resultaten ger stöd åt teorin Shapley-värden verkar därför vara ett lämpligt mått för att studera dolda ledare Relativt lite forskning på området mycket återstår att undersöka 24 Framtida forskning

Andra inflytelsesfärer t.ex. endast grannar som kan nås på k olika sätt. Viktade nätverk (där vikterna på kanterna kan representera tillit till olika grannar) Andra varianter av egenvektorscentralitet: Katz, PageRank,... Andra spel? 25 för ni tack att lyssnade! 26