Computing Betweenness Centrality in Link Streams Cl emence Magnien - - PowerPoint PPT Presentation

computing betweenness centrality in link streams
SMART_READER_LITE
LIVE PREVIEW

Computing Betweenness Centrality in Link Streams Cl emence Magnien - - PowerPoint PPT Presentation

Computing Betweenness Centrality in Link Streams Cl emence Magnien joint work with Fr ed eric Simard and Matthieu Latapy July 2020 clemence.magnien@lip6.fr july 2020 1/10 Link Streams definitions link stream L = ( T , V , E


slide-1
SLIDE 1

clemence.magnien@lip6.fr – july 2020 – 1/10

Computing Betweenness Centrality in Link Streams

Cl´ emence Magnien

joint work with Fr´ ed´ eric Simard and Matthieu Latapy

July 2020

slide-2
SLIDE 2

clemence.magnien@lip6.fr – july 2020 – 2/10

Link Streams – definitions

link stream L = (T, V , E) T = [α, ω] ⊂ R, V finite set, E ⊆ T × V ⊗ V (t, uv) ∈ E ⇔ u and v are linked at time t link segment [i, j] × {uv} ⊆ E with [i, j] maximal here: finite number of link segments (incl. singletons) temporal node (t, u) ∈ T × V

slide-3
SLIDE 3

clemence.magnien@lip6.fr – july 2020 – 2/10

Link Streams – definitions

link stream L = (T, V , E) T = [α, ω] ⊂ R, V finite set, E ⊆ T × V ⊗ V (t, uv) ∈ E ⇔ u and v are linked at time t link segment [i, j] × {uv} ⊆ E with [i, j] maximal here: finite number of link segments (incl. singletons) temporal node (t, u) ∈ T × V

a b c d e

2 4 6 8 10 12 14 16 18 20 22 24 26 28 30 time

exs: [9, 11] × {de}, {16} × {de}, [23, 24] × {de}, [30, 31] × {de}

slide-4
SLIDE 4

clemence.magnien@lip6.fr – july 2020 – 3/10

(Shortest Fastest) Paths

a b c d e

2 4 6 8 10 12 14 16 18 20 22 24 26 28 30 time

slide-5
SLIDE 5

clemence.magnien@lip6.fr – july 2020 – 3/10

(Shortest Fastest) Paths

a b c d e

2 4 6 8 10 12 14 16 18 20 22 24 26 28 30 time

path (x, u) − → (y, v): v0, t1, v1, t2, v2, . . . tk, vk such that u = v0, vk = v, x ≤ t1 ≤ t2 ≤ · · · ≤ tk ≤ y, and (ti, vi−1vi) ∈ E for all i length: k duration: tk − t1 shortest paths fastest paths ֒ → shortest fastest paths (sfp)

slide-6
SLIDE 6

clemence.magnien@lip6.fr – july 2020 – 3/10

(Shortest Fastest) Paths

a b c d e

2 4 6 8 10 12 14 16 18 20 22 24 26 28 30 time

path (x, u) − → (y, v): v0, t1, v1, t2, v2, . . . tk, vk such that u = v0, vk = v, x ≤ t1 ≤ t2 ≤ · · · ≤ tk ≤ y, and (ti, vi−1vi) ∈ E for all i length: k duration: tk − t1 shortest paths fastest paths ֒ → shortest fastest paths (sfp)

some paths from (0, a) to (26, e): a, 2, b, 4, c, 6, d, 9, e fastest path, length 4, duration 7, not shortest a, 9, c, 18, d, 23, e shortest path, length 3, duration 14, not fastest a, 2, b, 4, c, 6, d, 9, e shortest fastest path (sfp)

slide-7
SLIDE 7

clemence.magnien@lip6.fr – july 2020 – 3/10

(Shortest Fastest) Paths

a b c d e

2 4 6 8 10 12 14 16 18 20 22 24 26 28 30 time

path (x, u) − → (y, v): v0, t1, v1, t2, v2, . . . tk, vk such that u = v0, vk = v, x ≤ t1 ≤ t2 ≤ · · · ≤ tk ≤ y, and (ti, vi−1vi) ∈ E for all i length: k duration: tk − t1 shortest paths fastest paths ֒ → shortest fastest paths (sfp)

some paths from (0, a) to (26, e): a, 2, b, 4, c, 6, d, 9, e fastest path, length 4, duration 7, not shortest a, 9, c, 18, d, 23, e shortest path, length 3, duration 14, not fastest a, 2, b, 4, c, 6, d, 9, e shortest fastest path (sfp) a, 2, b, 5, c, 6, d, 9, e too ⇒ infinity of sfp

slide-8
SLIDE 8

clemence.magnien@lip6.fr – july 2020 – 4/10

Betweenness Centrality in Link Streams

graphs: vertex, shortest paths, all u and v

shortest paths

link streams: temporal vertex, shortest fastest paths, all (t, u) and (t′, v)

shortest fastest paths

slide-9
SLIDE 9

clemence.magnien@lip6.fr – july 2020 – 4/10

Betweenness Centrality in Link Streams

graphs: vertex, shortest paths, all u and v

shortest paths

link streams: temporal vertex, shortest fastest paths, all (t, u) and (t′, v)

shortest fastest paths

B(t, v) =

  • u∈V ,w∈V
  • i∈T,j∈T

σ((i, u), (j, w), (t, v)) σ((i, u), (j, w)) di dj

  • fraction of all sfp

(i, u) − → (j, w) that involve (t, v)

slide-10
SLIDE 10

clemence.magnien@lip6.fr – july 2020 – 5/10

Example

u x v y w

2 7 10 15 a b c d e f g h time m n k l

2 < a ≤ b < c ≤ d < 7 and 10 < e ≤ f < g ≤ h < 15

contribution of u and w to B(t, v) with t ∈ [b, c] ? two families of sfp from u to w:

◮ u, 2, x, k, v, ℓ, y, 7, w with k ∈ [a, b] and ℓ ∈ [c, d] (blue family) (b − a) · (d − c) sfp ◮ u, 10, x, m, v, n, y, 15, w with m ∈ [e, f ] and n ∈ [g, h] (green family) (f − e) · (h − g) sfp

slide-11
SLIDE 11

clemence.magnien@lip6.fr – july 2020 – 5/10

Example

u x v y w

2 7 10 15 a b c d e f g h time m n k l

2 < a ≤ b < c ≤ d < 7 and 10 < e ≤ f < g ≤ h < 15

contribution of u and w to B(t, v) with t ∈ [b, c] ? sfp from (i, u) to (j, w):

◮ blue ones if i ∈ [0, 2] and j ∈ [7, 15[ ◮ both blue and green ones i ∈ [0, 2] and j ∈ [15, 17] ◮ green ones if i ∈]2, 10] and j ∈ [15, 17] ◮ no sfp for all others i and j

slide-12
SLIDE 12

clemence.magnien@lip6.fr – july 2020 – 5/10

Example

u x v y w

2 7 10 15 a b c d e f g h time m n k l

2 < a ≤ b < c ≤ d < 7 and 10 < e ≤ f < g ≤ h < 15

contribution of u and w to B(t, v) with t ∈ [b, c] ? sfp from (i, u) to (j, w):

◮ blue ones if i ∈ [0, 2] and j ∈ [7, 15[ ֒ → . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . all involve (t, v) ◮ both blue and green ones i ∈ [0, 2] and j ∈ [15, 17] ֒ → . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . blue fraction involve (t, v)

(b−a)·(d−c) (b−a)·(d−c)+(f −e)·(h−g)

◮ green ones if i ∈]2, 10] and j ∈ [15, 17] ֒ → . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .none involve (t, v) ◮ no sfp for all others i and j

slide-13
SLIDE 13

clemence.magnien@lip6.fr – july 2020 – 5/10

Example

u x v y w

2 7 10 15 a b c d e f g h time m n k l

2 < a ≤ b < c ≤ d < 7 and 10 < e ≤ f < g ≤ h < 15

contribution of u and w to B(t, v) with t ∈ [b, c] ? 2 15

7

1 dj di + 2 17

15

blue fraction dj di = 16 + 4 · blue fraction

blue fraction =

(b−a)·(d−c) (b−a)·(d−c)+(f −e)·(h−g)

slide-14
SLIDE 14

clemence.magnien@lip6.fr – july 2020 – 6/10

Example – what if a = b?

u x v y w

2 7 10 15 c d e f g h time a=b m n ℓ

how many blue paths? green paths ?

slide-15
SLIDE 15

clemence.magnien@lip6.fr – july 2020 – 6/10

Example – what if a = b?

u x v y w

2 7 10 15 c d e f g h time a=b m n ℓ

how many blue paths? green paths ? blue paths: u, 2, x, a, v, ℓ, y, 7, w with ℓ ∈ [c, d] ֒ → volume (d − c), dimension 1 green paths: u, 10, x, m, v, n, y, 15, w with m ∈ [e, f ] and n ∈ [g, h] ֒ → volume (f − e) · (h − g), dimension 2

slide-16
SLIDE 16

clemence.magnien@lip6.fr – july 2020 – 6/10

Example – what if a = b?

u x v y w

2 7 10 15 c d e f g h time a=b m n ℓ

how many blue paths? green paths ? blue paths: u, 2, x, a, v, ℓ, y, 7, w with ℓ ∈ [c, d] ֒ → volume (d − c), dimension 1 green paths: u, 10, x, m, v, n, y, 15, w with m ∈ [e, f ] and n ∈ [g, h] ֒ → volume (f − e) · (h − g), dimension 2 fraction involving (t, v)? except if e = f or g = h...

slide-17
SLIDE 17

clemence.magnien@lip6.fr – july 2020 – 7/10

Volumes of Shortest Paths

Identify times of beginning and end of fastest paths latency pairs from u to w: (si, ai)

slide-18
SLIDE 18

clemence.magnien@lip6.fr – july 2020 – 7/10

Volumes of Shortest Paths

Identify times of beginning and end of fastest paths latency pairs from u to w: (si, ai) ֒ → algorithm for volumes of sfp from u to w: shortest paths within each latency pair

slide-19
SLIDE 19

clemence.magnien@lip6.fr – july 2020 – 7/10

Volumes of Shortest Paths

Identify times of beginning and end of fastest paths latency pairs from u to w: (si, ai) ֒ → algorithm for volumes of sfp from u to w: shortest paths within each latency pair using BFS-like from event time to event time:

t t’ i,u t’,w t,x

path (i, u) − → (t, x) then path (t, x) − → (t′, w)

t t’ i,u t’,y t’,w

path (i, u) − → (t′, y) then jump y → w at t′

slide-20
SLIDE 20

clemence.magnien@lip6.fr – july 2020 – 7/10

Volumes of Shortest Paths

Identify times of beginning and end of fastest paths latency pairs from u to w: (si, ai) ֒ → algorithm for volumes of sfp from u to w: shortest paths within each latency pair using BFS-like from event time to event time:

t t’ i,u t’,w t,x

path (i, u) − → (t, x) then path (t, x) − → (t′, w)

t t’ i,u t’,y t’,w

path (i, u) − → (t′, y) then jump y → w at t′ + operation on volumes (considering dimension)

slide-21
SLIDE 21

clemence.magnien@lip6.fr – july 2020 – 8/10

Global Scheme for B(t, v)

t,v

slide-22
SLIDE 22

clemence.magnien@lip6.fr – july 2020 – 8/10

Global Scheme for B(t, v)

t,v w u

for all u and w:

slide-23
SLIDE 23

clemence.magnien@lip6.fr – july 2020 – 8/10

Global Scheme for B(t, v)

t,v w u s a = a−s = a−s = a−s < a−s < a−s < a−s > a−s > a−s

for all u and w: compute latency pairs for u and w

slide-24
SLIDE 24

clemence.magnien@lip6.fr – july 2020 – 8/10

Global Scheme for B(t, v)

t,v w u s a = a−s = a−s = a−s < a−s < a−s < a−s > a−s > a−s <d =d >d =d

for all u and w: compute latency pairs for u and w compute length of sp for all latency pairs (sfp)

slide-25
SLIDE 25

clemence.magnien@lip6.fr – july 2020 – 8/10

Global Scheme for B(t, v)

A S t,v w u s a = a−s = a−s = a−s < a−s < a−s < a−s > a−s > a−s i j <d =d >d =d

for all u and w: compute latency pairs for u and w compute length of sp for all latency pairs (sfp) identify relevant times over which to integrate

slide-26
SLIDE 26

clemence.magnien@lip6.fr – july 2020 – 8/10

Global Scheme for B(t, v)

A S t,v w u s a = a−s = a−s = a−s < a−s < a−s < a−s > a−s > a−s i j <d =d >d =d

for all u and w: compute latency pairs for u and w compute length of sp for all latency pairs (sfp) identify relevant times over which to integrate integrate over time intervals (sum)

slide-27
SLIDE 27

clemence.magnien@lip6.fr – july 2020 – 9/10

Conclusion and Perspectives

a polynomial algorithm for betweenness centrality in link streams + implementation

slide-28
SLIDE 28

clemence.magnien@lip6.fr – july 2020 – 9/10

Conclusion and Perspectives

a polynomial algorithm for betweenness centrality in link streams + implementation ◮ improved complexity? easier with discrete time and/or instantaneous links? ◮ more general cases? stream graphs: dynamic nodes ◮ betweenness of all (t, v)? complexity? approximation? ◮ community detection

a b c d

5

time

15 20 10

e

◮ postdoc position available

slide-29
SLIDE 29

clemence.magnien@lip6.fr – july 2020 – 10/10

Notes