Giacomo Como, Fabio Fagnani Dinamiche su Network 26 novembre 2021

Homework II

ˆ La soluzione degli esercizi (ovvero un PDF contenente la risoluzione analitica degli esercizi
ed il codice delle funzioni sviluppate nell’Esercizio 3) deve essere caricata sul portale del corso
entro le ore 23:59 di domenica 12 dicembre 2021, sotto il nome di Homework2.
ˆ Le qualità dell’esposizione, la capacità di sintesi e la chiarezza del documento finale rientrano
nella valutazione dell’homework. La scrittura del documento finale in Latex o in qualsiasi
altro formato elettronico è fortemente incoraggiata. Se il documento finale è scritto a mano
deve essere facilmente leggibile.
ˆ La collaborazione e lo scambio di idee sono incoraggiati. In ogni caso, ogni studente deve sot-
tomettere la propria documento finale (in formato PDF) e specificare con chi ha collaborato
e per quale specifica parte del lavoro.

Esercizio 1. Dato un intero positivo n pari, si consideri il grafo semplice Rn , in cui il generico
nodo i-esimo è connesso tramite un link indiretto con i nodi i + 1, i − 1 e i + n/2 (modulo n).
(a) Si considerino la matrice stocastica P di dimensioni n × n e componenti Pij = wi−1 Wij ,
dove wi = (W 1)i . Si ponga Q = (I + P )/2. Si analizzi la convergenza delle dinamiche
x(t + 1) = P x(t) e x(t + 1) = Qx(t). (Suggerimento: si riconosca Rn come grafo circolante.)
(b) Si calcoli esplicitamente λ2 , il secondo autovalore della matrice Q, e si determini il tempo di
rilassamento 1/(1 − λ2 ) rispetto ad n, al tendere di n a infinito.
(c) Si trovi un limite inferiore ed un limite superiore per il tempo di rilassamento sul grafo barbell
(bilanciere) Bn rispetto ad n.
(d) (facoltativo) Si osservi che il tempo di rilassamento rappresenta un limite superiore per il
tempo di convergenza al consenso della dinamica x(t + 1) = Qx(t). Alla luce di ciò, si trovino
due condizioni iniziali x(0), y(0) per le quali la metà dei nodi abbia opinione iniziale 0 e l’altra
metà dei nodi abbia opinione iniziale 1, tali per cui i) la convergenza al consenso di x(t) è
veloce (cioè scala debolmente con la taglia della rete) ii) la convergenza al consenso di y(t)
è lenta (scala almeno quadraticamente con la taglia della rete). Si simuli numericamente la
dinamica con n sufficiente grande per verificare la velocità di convergenza al consenso. Non è
richiesto il calcolo analitico della velocità di convergenza per x(0) e y(0).

Il grafo R12 Barbell graph B10

Esercizio 2. Consider the simple tree in Figure 1 and assume there are two players: player PA ,
who places on the tree a stubborn node s1 with value 1, and player PB , who places on the tree a
stubborn node s0 with value 0. Each player aims at maximizing the infuence of the stubborn node
that he places, that is, he aims at making the average asymptotic opinion of nodes in the average
dynamics as close as possible to the opinion of its own stubborn node.

1
Giacomo Como, Fabio Fagnani Dinamiche su Network 26 novembre 2021

Figure 1: Tree for Exercise 2

(a) Suppose that player PA has moved first and he has placed the stubborn node s1 on the black
node of the tree. Then, it is time for player PB to move: where should he place the stubborn
node s0 in order to make the average opinion of nodes as close to 0 as possible?

(b) Consider now a different scenario. Player PB is the first to move and he places the stubborn
node s0 . Then it is PA ’s turn to move, and he places (on a different position) the stubborn
node s1 in such a way that the average opinion of nodes is the highest possible. Where should
player PB place s0 in order to make the average opinion of nodes as close to 0 as possible?
Esercizio 3. Assume that a community of agents whose interactions are described by the graph
G = (V, E, W ) with  
0 1 0 1
0 0 1 1
W = 1 0
. (1)
0 1
1 1 1 0
Each agent has an initial opinion xi (0) = ξi , where {ξi }i∈V has variance distribution (0.1, 0.3, 0.2, 0.2)
and E[ξi ] = 0 for each node i.
(a) Compute the variance of the asymptotic consensus value of the French-DeGroot dynamics.
(b) How should the invariant probability distribution π of a strongly connected aperiodic graph
be in order to minimize the variance of the consensus value?

(c) Consider the graph defined by the adjacency matrix (1). Assume now that a selfloop (i, i) with
arbitrary weight αi is added to each node i. Find a non-negative vector α such that on the
new graph the variance of the asymptotic consensus value is minimized. If multiple α exist,
select the one that minimizes α0 1. (Hint: prove that, if π is the invariant distribution of P ,
for every entry-wise positive vector a such that a < 1, then P̄ = (I − diag(a)) + diag(a)P has
invariant distribution π̄ = (diag(a))−1 π. Use this fact to compute the invariant distribution of
the new graph.)
(d) Consider again the graph (1), and assume that the initial opinions {ξi }ni=1 are gaussian variables
with covariance matrix given by
 
0.2 0.1 0.1 0
0.1 0.3 0 0
A= 0.1 0 0.2 0.1 ,


0 0 0.1 0.3

and such that E[ξi ] = 0 for each node i. Compute the variance of the asymptotic consensus
value of the French-DeGroot dynamics.

(e) Consider the same setting of point (d), and find a non-negative vector α such that on the new
graph the variance of the asymptotic consensus value is minimized. If multiple α exist, select
the one that minimizes α0 1.

2
Giacomo Como, Fabio Fagnani Dinamiche su Network 26 novembre 2021

Esercizio 4. Si consideri un modello di epidemia di tipo SI su un grafo G = (V, E, W ) indiretto e

connesso di taglia |V| = n. Sia β il rate di trasmissione su ciascun link e si denoti con X(t) ∈ {0, 1}V
la configurazione del modello epidemico al tempo t ≥ 0, dove Xi (t) = 1 se il nodo i è infetto e
Xi (t) = 0 se il nodo è suscettibile. Si definiscano gli osservabili
X X
N (t) = 10 X(t) = Xi (t) , B(t) = (1 − X(t))0 W X(t) = Wij (1 − Xi (t))Xj (t) ,
i i,j

che rappresentano rispettivamente il numero di nodi infetti e il numero di link attivi al tempo t.
Si assuma che la configurazione iniziale sia tale che P(N (0) ≥ 1) = 1, cioè che ci sia almeno un
nodo infetto al tempo 0.
Lo scopo di questo esercizio è stabilire una stima dall’alto del tempo medio

τ = E[T1 ]

di assorbimento nella configurazione con tutti i nodi infetti che sia valida per ogni grafo G, per
poi applicarla ad alcuni grafi particolari. Si definisca il profilo di minima conduttanza del grafo G
come la funzione
γ : {1, . . . , n − 1} → R
tale che X X
γ(k) = min Wij .
S⊂V:|S|=k
i∈S j∈V\S

(a) Si mostri che

n−1 bn/2c
1X 1 2 X 1
τ≤ ≤ .
β γ(k) β γ(k)
k=1 k=1

(Suggerimento: si usi il fatto che, condizionato ad X(t), il tempo di attesa per il prossimo
contagio ha distribuzione esponenziale di rate βB(t).)
(b) Si consideri il caso in cui G
√ è un grafo griglia bidimensionale con n = m × m nodi. Si usino
la diseguaglianza γ(k) ≥ 2k, valida per k ∈ {1, . . . , bn/2c}, e il punto (a), per stimare il
tempo di assorbimento medio τ del modello SI sulla griglia.
(c) Si calcoli γ(k) per un grafo bilanciere con n+n nodi e si usi il risultato per stimare, utilizzando
il punto (a), il tempo di assorbimento medio τ del modello SI su tale grafo.