Analysis of Temporal Interactions with Link Streams and Stream Graphs

Similar documents
CIT 596 Theory of Computation 1. Graphs and Digraphs

Solutions for HW9. Bipartite: put the red vertices in V 1 and the black in V 2. Not bipartite!

Lecture 6: Coding theory

Common intervals of genomes. Mathieu Raffinot CNRS LIAFA

Counting Paths Between Vertices. Isomorphism of Graphs. Isomorphism of Graphs. Isomorphism of Graphs. Isomorphism of Graphs. Isomorphism of Graphs

Introduction to Graphical Models

Regular expressions, Finite Automata, transition graphs are all the same!!

Numbers and indices. 1.1 Fractions. GCSE C Example 1. Handy hint. Key point

Nondeterministic Finite Automata

CS 573 Automata Theory and Formal Languages

On Implicative and Strong Implicative Filters of Lattice Wajsberg Algebras

Discrete Structures, Test 2 Monday, March 28, 2016 SOLUTIONS, VERSION α

Now we must transform the original model so we can use the new parameters. = S max. Recruits

Alpha Algorithm: A Process Discovery Algorithm

Random subgroups of a free group

Compression of Palindromes and Regularity.

( x) ( ) takes at the right end of each interval to approximate its value on that

Welcome. Balanced search trees. Balanced Search Trees. Inge Li Gørtz

The area under the graph of f and above the x-axis between a and b is denoted by. f(x) dx. π O

Mid-Term Examination - Spring 2014 Mathematical Programming with Applications to Economics Total Score: 45; Time: 3 hours

Coalgebra, Lecture 15: Equations for Deterministic Automata

Obstructions to chordal circular-arc graphs of small independence number

CS 310 (sec 20) - Winter Final Exam (solutions) SOLUTIONS

Symmetrical Components 1

Minimal DFA. minimal DFA for L starting from any other

6.5 Improper integrals

NON-DETERMINISTIC FSA

Factorising FACTORISING.

Formal Languages and Automata

Running an NFA & the subset algorithm (NFA->DFA) CS 350 Fall 2018 gilray.org/classes/fall2018/cs350/

Review of Calculus, cont d

Implication Graphs and Logic Testing

Chapter Five: Nondeterministic Finite Automata. Formal Language, chapter 5, slide 1

Linear Inequalities. Work Sheet 1

arxiv: v1 [cs.dm] 24 Jul 2017

Automata and Regular Languages

Laboratory for Foundations of Computer Science. An Unfolding Approach. University of Edinburgh. Model Checking. Javier Esparza

Designing finite automata II

22: Union Find. CS 473u - Algorithms - Spring April 14, We want to maintain a collection of sets, under the operations of:

Learning Partially Observable Markov Models from First Passage Times

Alpha Algorithm: Limitations

First Midterm Examination

Let s divide up the interval [ ab, ] into n subintervals with the same length, so we have

CS 491G Combinatorial Optimization Lecture Notes

Graph Theory. Simple Graph G = (V, E). V={a,b,c,d,e,f,g,h,k} E={(a,b),(a,g),( a,h),(a,k),(b,c),(b,k),...,(h,k)}

Phylogenies via Quartets

Types of Finite Automata. CMSC 330: Organization of Programming Languages. Comparing DFAs and NFAs. Comparing DFAs and NFAs (cont.) Finite Automata 2

New centroid index for ordering fuzzy numbers

ANALYSIS AND MODELLING OF RAINFALL EVENTS

CS415 Compilers. Lexical Analysis and. These slides are based on slides copyrighted by Keith Cooper, Ken Kennedy & Linda Torczon at Rice University

Graph width-parameters and algorithms

University of Sioux Falls. MAT204/205 Calculus I/II

for all x in [a,b], then the area of the region bounded by the graphs of f and g and the vertical lines x = a and x = b is b [ ( ) ( )] A= f x g x dx

CM10196 Topic 4: Functions and Relations

Lecture 9: LTL and Büchi Automata

DATABASE DESIGN I - 1DL300

Finite State Automata and Determinisation

INTEGRATION. 1 Integrals of Complex Valued functions of a REAL variable

Algebra 2 Semester 1 Practice Final

1. For each of the following theorems, give a two or three sentence sketch of how the proof goes or why it is not true.

Unit #9 : Definite Integral Properties; Fundamental Theorem of Calculus

Logic, Set Theory and Computability [M. Coppenbarger]

Lecture 2: Cayley Graphs

If we have a function f(x) which is well-defined for some a x b, its integral over those two values is defined as

Graph States EPIT Mehdi Mhalla (Calgary, Canada) Simon Perdrix (Grenoble, France)

Project 6: Minigoals Towards Simplifying and Rewriting Expressions

Chapter 2 Finite Automata

CMSC 330: Organization of Programming Languages

5.4, 6.1, 6.2 Handout. As we ve discussed, the integral is in some way the opposite of taking a derivative. The exact relationship

A New Grey-rough Set Model Based on Interval-Valued Grey Sets

NFA DFA Example 3 CMSC 330: Organization of Programming Languages. Equivalence of DFAs and NFAs. Equivalence of DFAs and NFAs (cont.

Review of Gaussian Quadrature method

Bases for Vector Spaces

Regular languages refresher

Outline. Theory-based Bayesian framework for property induction Causal structure induction

Outline Data Structures and Algorithms. Data compression. Data compression. Lossy vs. Lossless. Data Compression

I. Theory of Automata II. Theory of Formal Languages III. Theory of Turing Machines

2.4 Theoretical Foundations

Types of Finite Automata. CMSC 330: Organization of Programming Languages. Comparing DFAs and NFAs. NFA for (a b)*abb.

MA123, Chapter 10: Formulas for integrals: integrals, antiderivatives, and the Fundamental Theorem of Calculus (pp.

Algorithm Design and Analysis

New Expansion and Infinite Series

Surds and Indices. Surds and Indices. Curriculum Ready ACMNA: 233,

CSCI 340: Computational Models. Kleene s Theorem. Department of Computer Science

Calculus AB Section I Part A A CALCULATOR MAY NOT BE USED ON THIS PART OF THE EXAMINATION

MAT137 Calculus! Lecture 28

POSITIVE IMPLICATIVE AND ASSOCIATIVE FILTERS OF LATTICE IMPLICATION ALGEBRAS

Chapter 6 Continuous Random Variables and Distributions

Bivariate drought analysis using entropy theory

A representation theorem for lattices via set-colored posets

Lecture 2e Orthogonal Complement (pages )

Consistent Probabilistic Social Choice

(a) A partition P of [a, b] is a finite subset of [a, b] containing a and b. If Q is another partition and P Q, then Q is a refinement of P.

CS 373, Spring Solutions to Mock midterm 1 (Based on first midterm in CS 273, Fall 2008.)

Exam 2 Solutions ECE 221 Electric Circuits

CSCI 340: Computational Models. Transition Graphs. Department of Computer Science

3.15 NMR spectroscopy Different types of NMR There are two main types of NMR 1. C 13 NMR 2. H (proton) NMR

Convert the NFA into DFA

Formula for Trapezoid estimate using Left and Right estimates: Trap( n) If the graph of f is decreasing on [a, b], then f ( x ) dx

Automata Theory 101. Introduction. Outline. Introduction Finite Automata Regular Expressions ω-automata. Ralf Huuck.

Transcription:

Anlysis of Temporl Intertions with n Strem Grphs, Tiphine Vir, Clémene Mgnien http:// ltpy@ LIP6 CNRS n Soronne Université Pris, Frne 1/23

intertions over time 0 2 4 6 8,,, n for 10 time units time 2/23

intertions over time 0 2 4 6 8 time,,, n for 10 time units lwys present, leves from 4 to 5, present from 4 to 9, from 1 to 3 2/23

intertions over time 0 2 4 6 8 time,,, n for 10 time units lwys present, leves from 4 to 5, present from 4 to 9, from 1 to 3 n intert from 1 to 3 n from 7 to 8; n from 6 to 9; n from 2 to 3. 2/23

intertions over time 0 2 4 6 8 time,,, n for 10 time units lwys present, leves from 4 to 5, present from 4 to 9, from 1 to 3 n intert from 1 to 3 n from 7 to 8; n from 6 to 9; n from 2 to 3. e.g., soil intertions, network trffi, money trnsfers, hemil retions, et. 2/23

intertions over time 0 2 4 6 8 time,,, n for 10 time units lwys present, leves from 4 to 5, present from 4 to 9, from 1 to 3 n intert from 1 to 3 n from 7 to 8; n from 6 to 9; n from 2 to 3. e.g., soil intertions, network trffi, money trnsfers, hemil retions, et. how to esrie suh t? 2/23

struture or ynmis e f 0 2 4 6 8 10 12 14 16 18 20 22 time grph theory network siene struture signl nlysis, time series ynmis 3/23

struture n ynmis? e f 0 2 4 6 8 10 12 14 16 18 20 22 time time slies grph sequene 3/23

struture n ynmis? e f 0 2 4 6 8 10 12 14 16 18 20 22 time grph theory network siene struture signl nlysis, time series ynmis time slies grph sequene informtion loss wht slies? grph sequenes? 3/23

struture n ynmis e f 0 2 4 6 8 10 12 14 16 18 20 22 time MAG / temporl grphs TVG 2 6 18 20 8 10 12 14 4 8 12 16 4 6 10 12 22 24 6 8 20 22 0 4 10 12 20 24 12 22... lossless ut grph-oriente + -ho properties (mostly pth-relte) + ontt sequenes + reltionl event moels +... 4/23

struture n ynmis e f 0 2 4 6 8 10 12 14 16 18 20 22 time MAG / temporl grphs TVG 2 6 18 20 8 10 12 14 4 8 12 16 4 6 10 12 22 24 6 8 20 22 0 4 10 12 20 24 12 22... lossless ut grph-oriente + -ho properties (mostly pth-relte) + ontt sequenes + reltionl event moels +... 4/23

wht we propose e f el with the strem iretly strem grphs n link strems 0 2 4 6 8 10 12 14 16 18 20 22 time grph theory network siene signl nlysis, time series wnte fetures: simple n intuitive, omprehensive, time-noe onsistent, generlizes grphs/signl 5/23

wht we propose e f el with the strem iretly strem grphs n link strems 0 2 4 6 8 10 12 14 16 18 20 22 time grph theory network siene signl nlysis, time series wnte fetures: simple n intuitive, omprehensive, time-noe onsistent, generlizes grphs/signl 5/23

grph-equivlent strems strem with no ynmis: noes lwys present, either lwys or never linke e grph 6/23

grph-equivlent strems strem with no ynmis: noes lwys present, either lwys or never linke e grph strem properties = grph properties generlizes grph theory 6/23

our pproh very reful generliztion of the most si onepts strem grphs n link strems numers of noes n links lusters n inue su-strems ensity n pths uliing loks for higher-level onepts neighorhoo n egrees lustering oeffiient etweenness entrlity mny others + ensure onsisteny with grph theory + ensure lssil reltions re preserve 7/23

efinition of strem grphs Grph G = (V, E) with E V V uv E u n v re linke Strem grph S = (T, V, W, E) T : time intervl, V : noe set W T V, E T V V (t, v) W v is present t time t T v = {t, (t, v) W } (t, uv) E u n v re linke t time t T uv = {t, (t, uv) E} (t, uv) E requires (t, u) W n (t, v) W i.e. T uv T u T v 8/23

efinition of strem grphs Grph G = (V, E) with E V V uv E u n v re linke Strem grph S = (T, V, W, E) T : time intervl, V : noe set W T V, E T V V (t, v) W v is present t time t T v = {t, (t, v) W } (t, uv) E u n v re linke t time t T uv = {t, (t, uv) E} (t, uv) E requires (t, u) W n (t, v) W i.e. T uv T u T v 8/23

efinition of strem grphs Grph G = (V, E) with E V V uv E u n v re linke Strem grph S = (T, V, W, E) T : time intervl, V : noe set W T V, E T V V (t, v) W v is present t time t T v = {t, (t, v) W } (t, uv) E u n v re linke t time t T uv = {t, (t, uv) E} (t, uv) E requires (t, u) W n (t, v) W i.e. T uv T u T v 8/23

efinition of strem grphs Grph G = (V, E) with E V V uv E u n v re linke Strem grph S = (T, V, W, E) T : time intervl, V : noe set W T V, E T V V (t, v) W v is present t time t T v = {t, (t, v) W } (t, uv) E u n v re linke t time t T uv = {t, (t, uv) E} (t, uv) E requires (t, u) W n (t, v) W i.e. T uv T u T v 8/23

efinition of strem grphs Grph G = (V, E) with E V V uv E u n v re linke Strem grph S = (T, V, W, E) T : time intervl, V : noe set W T V, E T V V (t, v) W v is present t time t T v = {t, (t, v) W } (t, uv) E u n v re linke t time t T uv = {t, (t, uv) E} (t, uv) E requires (t, u) W n (t, v) W i.e. T uv T u T v 8/23

0 2 4 6 8 n exmple time T = [0, 10] V = {,,, } W = T {} ([0, 4] [5, 10]) {} [4, 9] {} [1, 3] {} T = T T = [0, 4] [5, 10] T = [4, 9] T = [1, 3] E = ([1, 3] [7, 8]) {} [6, 9] {} [2, 3] {} T = [1, 3] [7, 8] T = [6, 9] T = [2, 3] T = 9/23

few remrks works with... isrete time, ontinuous time, instntneous intertions or with urtions, irete, weighte, iprtite... if v, T v = T then S L = (T, V, E) is link strem if u, v, T uv {T, } then S G = (V, E) is grph-equivlent strem 10/23

size of strem grph How mny noes? How mny links? 0 2 4 6 8 T = 10 T = 2 time 11/23

size of strem grph How mny noes? How mny links? 0 2 4 6 8 T = 10 T = 2 time n = v V T v T n = T 10 + T 10 + T 10 + T 10 = 1 + 0.9 + 0.5 + 0.2 = 2.6 noes 11/23

size of strem grph How mny noes? How mny links? 0 2 4 6 8 T = 10 T = 2 time n = T 10 + T 10 + T m = T 10 + T n = v V m = uv V V 10 + T 10 10 + T 10 T v T T uv T = 1 + 0.9 + 0.5 + 0.2 = 2.6 noes = 0.3 + 0.3 + 0.1 = 0.7 links 11/23

lusters, su-strems Cluster in G = (V, E): suset of V. Cluster in S = (T, V, W, E): suset of W T V. 0 2 4 6 8 time C = [0, 2] {} ([0, 2] [6, 10]) {} [4, 8] {} S(C) su-strem inue y C S(C) = (T, V, C, E C ) properties of (su-strems inue y) lusters 12/23

lusters, su-strems Cluster in G = (V, E): suset of V. Cluster in S = (T, V, W, E): suset of W T V. 0 2 4 6 8 time C = [0, 2] {} ([0, 2] [6, 10]) {} [4, 8] {} S(C) su-strem inue y C S(C) = (T, V, C, E C ) properties of (su-strems inue y) lusters 12/23

neighorhoo in G = (V, E): N(v) = {u, uv E} in S = (T, V, W, E): N(v) = {(t, u), (t, uv) E} N() = ([2, 3] [5, 10]) {} [5.5, 9] {} N(v) is luster 13/23

in G n in S: (v) is the size of N(v) egree N() = ([2, 3] [5, 10]) {} [5.5, 9] {} () = [2,3] [5,10] 10 + [5.5,9] 10 = 0.6 + 0.35 = 0.95 egree istriution, verge egree, et if grph-equivlent strem then grph egree reltion with n n m 14/23

ensity in G: pro two rnom noes re linke δ(g) = n links n possile links = 2 m n (n 1) in S: pro two rnom noes re linke t rnom time instnt δ(s) = n links n possile links = uv V V Tuv uv V V Tu Tv? rnom 15/23

ensity in G: pro two rnom noes re linke δ(g) = n links n possile links = 2 m n (n 1) in S: pro two rnom noes re linke t rnom time instnt δ(s) = n links n possile links = uv V V Tuv uv V V Tu Tv?? rnom rnom if grph-equivlent strem then grph ensity reltion with n, m, n verge egree 15/23

liques in S: su-strem of ensity 1 in G: su-grph of ensity 1 ll noes re linke together ll noes intert ll the time 0 2 6 4 8 time 16/23

lustering oeffiient in G n in S: ensity of the neighorhoo (v) = δ(n(v)) N() = ([2, 3] [5, 10]) {} [5.5, 9] {} 17/23

lustering oeffiient in G n in S: ensity of the neighorhoo (v) = δ(n(v)) N() = ([2, 3] [5, 10]) {} [5.5, 9] {} () = δ(n()) = [6,9] [5.5,9] = 6 7 17/23

pths in G: from to : (, ), (, ), (, ) length: 3 shortest pths in S: from (1, ) to (9, ): (2,, ), (3,, ), (7.5,, ), (8,, ) length: 4 urtion: 6 shortest pths fstest pths 18/23

pths in G: from to : (, ), (, ), (, ) length: 3 shortest pths in S: from (1, ) to (9, ): (2,, ), (3,, ), (7.5,, ), (8,, ) length: 4 urtion: 6 shortest pths fstest pths 18/23

etweenness entrlity in G: (v) = frtion of shortest pths from ny u to ny w in V tht involve v shortest pths in S: (t, v) = frtion of shortest fstest pths from ny (i, u) to ny (j, w) in W tht involve (t, v) 19/23

etweenness entrlity in G: (v) = frtion of shortest pths from ny u to ny w in V tht involve v shortest pths in S: (t, v) = frtion of shortest fstest pths from ny (i, u) to ny (j, w) in W tht involve (t, v) shortest fstest pths 19/23

A B C mny other onepts e 0 2 4 6 8 10 time 0 2 4 8 time 6 0 1 2 time e f e u v g u v w u x v y w u v w 0 1 2 3 time 0 2 4 6 time 0 1 2 time 0 1 time u v u v w u x v y w 0 1 2 time = 2 0 2 7 10 15 e f g h time 0 1 time 4 6 8 time 2 1 3 5 7 time rxiv preprint 20/23

reltions vs intertions grph/networks = reltions (like frienship) ynmi grphs/networks = evolution of reltions (like new friens) strem grphs / link strems = intertions (like fe-to-fe ontts) intertions = tres/reliztion of reltions? link strems = tres of grphs/networks? reltions = onsequenes of intertions? grphs/networks = tres of link strems? 21/23

onlusion we provie lnguge (set of onepts) tht: mkes it esy to el with intertion tres, omines struture n ynmis in onsistent wy, generlizes grphs / networks ; signls / time series? meets lssil n new lgorithmi hllenges, opens new perspetives for t nlysis, lrifies the interply intertions reltions. stuies in progress: internet trffi, finnil trnstions, moility/ontts, miling-lists, sles, et. 22/23

lls for ppers speil issues of interntionl journls Theoretil Computer Siene (TCS) : moels n lgorithms Computer Networks : methos n se stuies eline: July 15th http://link-strems.om 23/23