Effects of Smartphone Addiction on the Academic Performances of Grades 9 to 1...
Joint work on higher-order link prediction using timestamped simplices datasets
1. 1
Joint work with
Rediet Abebe & Jon Kleinberg (Cornell)
Michael Schaub & Ali Jadbabaie (MIT)
Higher-order link prediction
Austin R. Benson · Cornell University
Mining & Learning with Graphs · August 5, 2019
Slides. bit.ly/arb-MLG-19
2. Canonical networks are everywhere slide,
but with a hidden purpose!
2
Collaboration
nodes are people/groups
edges link entities
working together
Communications
nodes are people/accounts
edges show info.exchange
Physical proximity
nodes are people/animals
edges link those that interact
in close proximity
Drug compounds
nodes are substances
edge between substances that
appear in the same drug
3. Real-world systems are composed of“higher-order”
interactions that we often reduce to pairwise ones.
3
Collaboration
nodes are people/groups
teams are made up of
small groups
Communications
nodes are people/accounts
emails often have several
recipients,not just one
Physical proximity
nodes are people/animals
people often gather in
small groups
Drug compounds
nodes are substances
drugs are made up of
several substances
4. There are many ways to mathematically represent the
higher-order structure present in relational data.
4
• Hypergraphs [Berge 89]
• Set systems [Frankl 95]
• Tensors [Kolda-Bader 09]
• Affiliation networks [Feld 81,Newman-Watts-Strogatz 02]
• Multipartite networks [Lambiotte-Ausloos 05,Lind-Herrmann 07]
• Abstract simplicial complexes [Lim 15,Osting-Palande-Wang 17]
• Multilayer networks [Kivelä+ 14,Boccaletti+ 14,many others…]
• Meta-paths [Sun-Han 12]
• Motif-based representations [Benson-Gleich-Leskovec 15,17]
• …
Data representation is not the problem.
Some problems:
• What are the basic organizational principles of systems?
• How can we evaluate and compare models?
5. We propose“higher-order link prediction”as a similar
framework for evaluation of higher-order models.
5
t1 : {1, 2, 3, 4}
t2 : {1, 3, 5}
t3 : {1, 6}
t4 : {2, 6}
t5 : {1, 7, 8}
t6 : {3, 9}
t7 : {5, 8}
t8 : {1, 2, 6}
Data.
Observe simplices up to some
time t. Using this data, we want
to predict what groups of > 2
nodes will appear in a simplex
in the future.
t
We predict structure that classical link
prediction would not even consider!
Possible applications
• Novel combinations of drugs for treatments.
• Group recommendation in social networks.
• Team formation.
6. 6
First…
What are the basic organizational
principles of systems with
higher-order interactions?
7. We collected many datasets of timestamped simplices,
where each simplex is a subset of nodes.
7
1. Coauthorship in different domains.
2. Emails with multiple recipients.
3. Tags on Q&A forums.
4. Threads on Q&A forums.
5. Contact/proximity measurements.
6. Musical artist collaboration.
7. Substance makeup and
classification codes applied to
drugs the FDA examines.
8. U.S. Congress committee
memberships and bill sponsorship.
9. Combinations of drugs seen in
patients in ER visits. https://math.stackexchange.com/q/80181
bit.ly/sc-holp-data
8. How big are these datasets?
8
bit.ly/sc-holp-data
Not large in terms of
#(bytes) to store.
Large in terms of set
structure complexity.
1 size-5 simplex induces
31 sub-simplices.
Dataset # nodes # timestamped simplices
coauth-DBLP 1.92M 3.70M
coauth-MAG-Geology 1.26M 1.59M
coauth-MAG-History 1.01M 1.81M
music-rap-genius 56.8K 225K
tags-stack-overflow 50.0K 14.5M
tags-ask-ubuntu 3.00K 271K
tags-math-sx 1.63K 822K
threads-stack-overflow 2.7M 11.3M
threads-math-sx 176K 720K
threads-ask-ubuntu 126K 193K
NDC-substances 5.31K 112K
NDC-classes 1.16K 49.7K
DAWN 2.56K 2.27M
congress-bills 1.72K 261K
congress-committees 863 679
email-Eu 998 235K
email-Enron 143 10.9K
contact-high-school 327 172K
contact-primary-school 242 107K
<latexit sha1_base64="QCkVb+b1HmxY3vJ1r+Ak+u3qqp0=">AAALQHicfVZbb9s2FHa3rOu0W7vubS/sAg9DYSmWHNvxgAJpm/WC1l22pBcgCjpKoi3CpKiSVONU0I/Z6/Yv9i/2D/Y27HVPO5Tki5xsAmzR5He+c+U5DlJGle52/7jy3vtbH1z98NpH1seffPrZ59dvfPFCiUyG5HkomJCvAqwIowl5rqlm5FUqCeYBIy+D2X1z/vItkYqK5Fifp+SU42lCJzTEGrZe39j60g/IlCa5xkHGsCxyhvZz/02GowKFKCwsX4tUZoxYB1iDIo02nm+Qv40SERG1sacpJ0pjnpIIKcrBmxAwvm/5nEYlYyhwpmP74N7Twyaj64y8cbXsOcOuWYJcDR/ffWg/JODZ9HwJ9wbjxbI/GgMYoXX4IwikkCt4113C99yanWeKhrbEqT0lCc3U0pj+wNl7Uq48r/+k3AS4xlNlg3vhzBYQ4AkTZzW863QruLvr9McrMFYzOwuyRGcrR3tOtwQb8qHbJOcYrFfzjcAMejV+z/NW+BhyHl2wB0id4cJT1+mNG+ANfoAMBzX30Ote4N4wH+DeAu6OKqMg7Nazg/u2ygKwJAnXSgLi4vTcOi7uynIDDxlWar18Kk/dQQXfHTnDCm8EDu6+fIYuPsbVfi3gOd5wWTLJVBKl7IAyphr0Q69GD1ZxX8JDwTnVmlRWQbAHvVpwMBwtaUCCcEyZ/f0ypUsFo9HewrDeqmpqeCJFsuHu7kKB23VGK3fBIsiptmM6hWSFsRCsgvW84TJt3pNNeCopx/J8IQFG7HpL/mGdLMsPhNaCl3fRJ0m0bAKvr29DFZcPurhw68V2q34OX9+4etOPRJhxkugynSduN9WnOZaahoxAF8kUSaE48ZScwDLB0BtO87J/FagNOxGaCAmfRKNy11oXAR6JzxssC1vnzd1AiBmcqMKymjr1ZO80p0maaZKElcpJxpAWyLRFFFFJQs3OUVOvprN3nQQa10TisIO5Mpemk1JjZ0fP3tlTaBhxh+MZCQljq63KKiPOaCAhFcYFcaY6ATBPpciSSHVSDCUmEwXyWtJ5R8U4JaozoboTYhaa35GRSZnQkM6Z+i9WhxON4bCMHCM6P84mmvxEoiKXJLq1170VMNC7jtAxgVInSZGXL4M5i6kmG5iAZaTIzfcawmqjWOtUfbezo8ncKbsOmYcxTqbEgauz8yaDzg/zRe24g/7IG+0owil0pQCmDrfPKDQe44RNEzuAYUVkiesNt6sXTAgIKIZhZuJj+VMmAsx8+OkbsX2SqEyS/UgwKIB9GGUhjJ87viQMzxeyAoxvFtHJsXuam8SZAmhk+fD4CCcmuJIk5MzcfQyXwZ9gTtl5RCY4Y7rIfTVZrJtFoiamKgqrva5MQQZJdAcucyfkFJRCWTAoeVCg52piKJpOAref6Lmh2q+Ec3X7BO5a/7TYdOqAwCWT5OicB4I9AJfyikUV+Q/jp0WeGBWcFjkvcgrm+kdEXwaGjWhTJKhFah1G4Mj0c6ozk9LLFWxqOHowNiFZKDh2G+HLg3mRK7ZSYsCVdP4YkCYGmKUxLlam/vx4I+rRlBEaxnYV+8tOINEK2kuzP3BDs55lfkSnHDT5VVUZutwPeO5X+8WFsuBP4e9VdJlEfVA0Vdz25wGWJ1B8fhyIee6/Nd9ty49N40UxgdauobsO+6lGbXQcEwQtPMMMgZjlz6BDdB2vT+bt5bxoowNaTVgUEH0G99dgEShDqgyjValqW9DnDYHddVzC2wvpo1hIiA5NpggGERQVYmSi4V9aRIzEml/bbrEkgQHQ+18SWXpSshQmCjBG3M2hcXHxwnNg5rk/etv79+qBcq31Vevr1rcttzVs7bcetQ5bz1vhVr71y9avW79Zv1t/Wn9Zf1fQ967UMjdbjcf651+RdIjN</latexit><latexit sha1_base64="QCkVb+b1HmxY3vJ1r+Ak+u3qqp0=">AAALQHicfVZbb9s2FHa3rOu0W7vubS/sAg9DYSmWHNvxgAJpm/WC1l22pBcgCjpKoi3CpKiSVONU0I/Z6/Yv9i/2D/Y27HVPO5Tki5xsAmzR5He+c+U5DlJGle52/7jy3vtbH1z98NpH1seffPrZ59dvfPFCiUyG5HkomJCvAqwIowl5rqlm5FUqCeYBIy+D2X1z/vItkYqK5Fifp+SU42lCJzTEGrZe39j60g/IlCa5xkHGsCxyhvZz/02GowKFKCwsX4tUZoxYB1iDIo02nm+Qv40SERG1sacpJ0pjnpIIKcrBmxAwvm/5nEYlYyhwpmP74N7Twyaj64y8cbXsOcOuWYJcDR/ffWg/JODZ9HwJ9wbjxbI/GgMYoXX4IwikkCt4113C99yanWeKhrbEqT0lCc3U0pj+wNl7Uq48r/+k3AS4xlNlg3vhzBYQ4AkTZzW863QruLvr9McrMFYzOwuyRGcrR3tOtwQb8qHbJOcYrFfzjcAMejV+z/NW+BhyHl2wB0id4cJT1+mNG+ANfoAMBzX30Ote4N4wH+DeAu6OKqMg7Nazg/u2ygKwJAnXSgLi4vTcOi7uynIDDxlWar18Kk/dQQXfHTnDCm8EDu6+fIYuPsbVfi3gOd5wWTLJVBKl7IAyphr0Q69GD1ZxX8JDwTnVmlRWQbAHvVpwMBwtaUCCcEyZ/f0ypUsFo9HewrDeqmpqeCJFsuHu7kKB23VGK3fBIsiptmM6hWSFsRCsgvW84TJt3pNNeCopx/J8IQFG7HpL/mGdLMsPhNaCl3fRJ0m0bAKvr29DFZcPurhw68V2q34OX9+4etOPRJhxkugynSduN9WnOZaahoxAF8kUSaE48ZScwDLB0BtO87J/FagNOxGaCAmfRKNy11oXAR6JzxssC1vnzd1AiBmcqMKymjr1ZO80p0maaZKElcpJxpAWyLRFFFFJQs3OUVOvprN3nQQa10TisIO5Mpemk1JjZ0fP3tlTaBhxh+MZCQljq63KKiPOaCAhFcYFcaY6ATBPpciSSHVSDCUmEwXyWtJ5R8U4JaozoboTYhaa35GRSZnQkM6Z+i9WhxON4bCMHCM6P84mmvxEoiKXJLq1170VMNC7jtAxgVInSZGXL4M5i6kmG5iAZaTIzfcawmqjWOtUfbezo8ncKbsOmYcxTqbEgauz8yaDzg/zRe24g/7IG+0owil0pQCmDrfPKDQe44RNEzuAYUVkiesNt6sXTAgIKIZhZuJj+VMmAsx8+OkbsX2SqEyS/UgwKIB9GGUhjJ87viQMzxeyAoxvFtHJsXuam8SZAmhk+fD4CCcmuJIk5MzcfQyXwZ9gTtl5RCY4Y7rIfTVZrJtFoiamKgqrva5MQQZJdAcucyfkFJRCWTAoeVCg52piKJpOAref6Lmh2q+Ec3X7BO5a/7TYdOqAwCWT5OicB4I9AJfyikUV+Q/jp0WeGBWcFjkvcgrm+kdEXwaGjWhTJKhFah1G4Mj0c6ozk9LLFWxqOHowNiFZKDh2G+HLg3mRK7ZSYsCVdP4YkCYGmKUxLlam/vx4I+rRlBEaxnYV+8tOINEK2kuzP3BDs55lfkSnHDT5VVUZutwPeO5X+8WFsuBP4e9VdJlEfVA0Vdz25wGWJ1B8fhyIee6/Nd9ty49N40UxgdauobsO+6lGbXQcEwQtPMMMgZjlz6BDdB2vT+bt5bxoowNaTVgUEH0G99dgEShDqgyjValqW9DnDYHddVzC2wvpo1hIiA5NpggGERQVYmSi4V9aRIzEml/bbrEkgQHQ+18SWXpSshQmCjBG3M2hcXHxwnNg5rk/etv79+qBcq31Vevr1rcttzVs7bcetQ5bz1vhVr71y9avW79Zv1t/Wn9Zf1fQ967UMjdbjcf651+RdIjN</latexit><latexit sha1_base64="QCkVb+b1HmxY3vJ1r+Ak+u3qqp0=">AAALQHicfVZbb9s2FHa3rOu0W7vubS/sAg9DYSmWHNvxgAJpm/WC1l22pBcgCjpKoi3CpKiSVONU0I/Z6/Yv9i/2D/Y27HVPO5Tki5xsAmzR5He+c+U5DlJGle52/7jy3vtbH1z98NpH1seffPrZ59dvfPFCiUyG5HkomJCvAqwIowl5rqlm5FUqCeYBIy+D2X1z/vItkYqK5Fifp+SU42lCJzTEGrZe39j60g/IlCa5xkHGsCxyhvZz/02GowKFKCwsX4tUZoxYB1iDIo02nm+Qv40SERG1sacpJ0pjnpIIKcrBmxAwvm/5nEYlYyhwpmP74N7Twyaj64y8cbXsOcOuWYJcDR/ffWg/JODZ9HwJ9wbjxbI/GgMYoXX4IwikkCt4113C99yanWeKhrbEqT0lCc3U0pj+wNl7Uq48r/+k3AS4xlNlg3vhzBYQ4AkTZzW863QruLvr9McrMFYzOwuyRGcrR3tOtwQb8qHbJOcYrFfzjcAMejV+z/NW+BhyHl2wB0id4cJT1+mNG+ANfoAMBzX30Ote4N4wH+DeAu6OKqMg7Nazg/u2ygKwJAnXSgLi4vTcOi7uynIDDxlWar18Kk/dQQXfHTnDCm8EDu6+fIYuPsbVfi3gOd5wWTLJVBKl7IAyphr0Q69GD1ZxX8JDwTnVmlRWQbAHvVpwMBwtaUCCcEyZ/f0ypUsFo9HewrDeqmpqeCJFsuHu7kKB23VGK3fBIsiptmM6hWSFsRCsgvW84TJt3pNNeCopx/J8IQFG7HpL/mGdLMsPhNaCl3fRJ0m0bAKvr29DFZcPurhw68V2q34OX9+4etOPRJhxkugynSduN9WnOZaahoxAF8kUSaE48ZScwDLB0BtO87J/FagNOxGaCAmfRKNy11oXAR6JzxssC1vnzd1AiBmcqMKymjr1ZO80p0maaZKElcpJxpAWyLRFFFFJQs3OUVOvprN3nQQa10TisIO5Mpemk1JjZ0fP3tlTaBhxh+MZCQljq63KKiPOaCAhFcYFcaY6ATBPpciSSHVSDCUmEwXyWtJ5R8U4JaozoboTYhaa35GRSZnQkM6Z+i9WhxON4bCMHCM6P84mmvxEoiKXJLq1170VMNC7jtAxgVInSZGXL4M5i6kmG5iAZaTIzfcawmqjWOtUfbezo8ncKbsOmYcxTqbEgauz8yaDzg/zRe24g/7IG+0owil0pQCmDrfPKDQe44RNEzuAYUVkiesNt6sXTAgIKIZhZuJj+VMmAsx8+OkbsX2SqEyS/UgwKIB9GGUhjJ87viQMzxeyAoxvFtHJsXuam8SZAmhk+fD4CCcmuJIk5MzcfQyXwZ9gTtl5RCY4Y7rIfTVZrJtFoiamKgqrva5MQQZJdAcucyfkFJRCWTAoeVCg52piKJpOAref6Lmh2q+Ec3X7BO5a/7TYdOqAwCWT5OicB4I9AJfyikUV+Q/jp0WeGBWcFjkvcgrm+kdEXwaGjWhTJKhFah1G4Mj0c6ozk9LLFWxqOHowNiFZKDh2G+HLg3mRK7ZSYsCVdP4YkCYGmKUxLlam/vx4I+rRlBEaxnYV+8tOINEK2kuzP3BDs55lfkSnHDT5VVUZutwPeO5X+8WFsuBP4e9VdJlEfVA0Vdz25wGWJ1B8fhyIee6/Nd9ty49N40UxgdauobsO+6lGbXQcEwQtPMMMgZjlz6BDdB2vT+bt5bxoowNaTVgUEH0G99dgEShDqgyjValqW9DnDYHddVzC2wvpo1hIiA5NpggGERQVYmSi4V9aRIzEml/bbrEkgQHQ+18SWXpSshQmCjBG3M2hcXHxwnNg5rk/etv79+qBcq31Vevr1rcttzVs7bcetQ5bz1vhVr71y9avW79Zv1t/Wn9Zf1fQ967UMjdbjcf651+RdIjN</latexit><latexit sha1_base64="QCkVb+b1HmxY3vJ1r+Ak+u3qqp0=">AAALQHicfVZbb9s2FHa3rOu0W7vubS/sAg9DYSmWHNvxgAJpm/WC1l22pBcgCjpKoi3CpKiSVONU0I/Z6/Yv9i/2D/Y27HVPO5Tki5xsAmzR5He+c+U5DlJGle52/7jy3vtbH1z98NpH1seffPrZ59dvfPFCiUyG5HkomJCvAqwIowl5rqlm5FUqCeYBIy+D2X1z/vItkYqK5Fifp+SU42lCJzTEGrZe39j60g/IlCa5xkHGsCxyhvZz/02GowKFKCwsX4tUZoxYB1iDIo02nm+Qv40SERG1sacpJ0pjnpIIKcrBmxAwvm/5nEYlYyhwpmP74N7Twyaj64y8cbXsOcOuWYJcDR/ffWg/JODZ9HwJ9wbjxbI/GgMYoXX4IwikkCt4113C99yanWeKhrbEqT0lCc3U0pj+wNl7Uq48r/+k3AS4xlNlg3vhzBYQ4AkTZzW863QruLvr9McrMFYzOwuyRGcrR3tOtwQb8qHbJOcYrFfzjcAMejV+z/NW+BhyHl2wB0id4cJT1+mNG+ANfoAMBzX30Ote4N4wH+DeAu6OKqMg7Nazg/u2ygKwJAnXSgLi4vTcOi7uynIDDxlWar18Kk/dQQXfHTnDCm8EDu6+fIYuPsbVfi3gOd5wWTLJVBKl7IAyphr0Q69GD1ZxX8JDwTnVmlRWQbAHvVpwMBwtaUCCcEyZ/f0ypUsFo9HewrDeqmpqeCJFsuHu7kKB23VGK3fBIsiptmM6hWSFsRCsgvW84TJt3pNNeCopx/J8IQFG7HpL/mGdLMsPhNaCl3fRJ0m0bAKvr29DFZcPurhw68V2q34OX9+4etOPRJhxkugynSduN9WnOZaahoxAF8kUSaE48ZScwDLB0BtO87J/FagNOxGaCAmfRKNy11oXAR6JzxssC1vnzd1AiBmcqMKymjr1ZO80p0maaZKElcpJxpAWyLRFFFFJQs3OUVOvprN3nQQa10TisIO5Mpemk1JjZ0fP3tlTaBhxh+MZCQljq63KKiPOaCAhFcYFcaY6ATBPpciSSHVSDCUmEwXyWtJ5R8U4JaozoboTYhaa35GRSZnQkM6Z+i9WhxON4bCMHCM6P84mmvxEoiKXJLq1170VMNC7jtAxgVInSZGXL4M5i6kmG5iAZaTIzfcawmqjWOtUfbezo8ncKbsOmYcxTqbEgauz8yaDzg/zRe24g/7IG+0owil0pQCmDrfPKDQe44RNEzuAYUVkiesNt6sXTAgIKIZhZuJj+VMmAsx8+OkbsX2SqEyS/UgwKIB9GGUhjJ87viQMzxeyAoxvFtHJsXuam8SZAmhk+fD4CCcmuJIk5MzcfQyXwZ9gTtl5RCY4Y7rIfTVZrJtFoiamKgqrva5MQQZJdAcucyfkFJRCWTAoeVCg52piKJpOAref6Lmh2q+Ec3X7BO5a/7TYdOqAwCWT5OicB4I9AJfyikUV+Q/jp0WeGBWcFjkvcgrm+kdEXwaGjWhTJKhFah1G4Mj0c6ozk9LLFWxqOHowNiFZKDh2G+HLg3mRK7ZSYsCVdP4YkCYGmKUxLlam/vx4I+rRlBEaxnYV+8tOINEK2kuzP3BDs55lfkSnHDT5VVUZutwPeO5X+8WFsuBP4e9VdJlEfVA0Vdz25wGWJ1B8fhyIee6/Nd9ty49N40UxgdauobsO+6lGbXQcEwQtPMMMgZjlz6BDdB2vT+bt5bxoowNaTVgUEH0G99dgEShDqgyjValqW9DnDYHddVzC2wvpo1hIiA5NpggGERQVYmSi4V9aRIzEml/bbrEkgQHQ+18SWXpSshQmCjBG3M2hcXHxwnNg5rk/etv79+qBcq31Vevr1rcttzVs7bcetQ5bz1vhVr71y9avW79Zv1t/Wn9Zf1fQ967UMjdbjcf651+RdIjN</latexit>
9. Thinking of higher-order data as a weighted projected
graph with“filled-in”structures is a convenient viewpoint.
9
1
2
3
4
5
6
7
8
9
2
2
1
1
1
1
1
1
1
1
1
1
1
1
1
t1 : {1, 2, 3, 4}
t2 : {1, 3, 5}
t3 : {1, 6}
t4 : {2, 6}
t5 : {1, 7, 8}
t6 : {3, 9}
t7 : {5, 8}
t8 : {1, 2, 6}
Data. Pictures to have in mind.
Projected graph W.
Wij = # of simplices containing nodes i and j.
11. 11
i
j k
i
j k
Warm-up. What’s more common in data?
or
“Open triangle”
each pair has been in a simplex
together but all 3 nodes have
never been in the same simplex
“Closed triangle”
there is some simplex that
contains all 3 nodes
13. Dataset domain separation also occurs at the local level.
13
• Randomly sample 100 egonets per dataset and measure
log of average degree and fraction of open triangles.
• Logistic regression model to predict domain
(coauthorship, tags, threads, email, contact).
• 75% model accuracy vs. 21% with random guessing.
15. Groups of nodes go through trajectories until finally
reaching a“simplicial closure event.”
15
t1 : {1, 2, 3, 4}
t2 : {1, 3, 5}
t3 : {1, 6}
t4 : {2, 6}
t5 : {1, 7, 8}
t6 : {3, 9}
t7 : {5, 8}
t8 : {1, 2, 6}
For this talk, we will focus on simplicial closure on 3 nodes.
16. Groups of nodes go through trajectories until finally
reaching a“simplicial closure event.”
16
Substances in marketed drugs recorded in the National Drug Code directory.
We bin weighted edges into “weak” and “strong ties” in the projected graph W.
Wij = # of simplices containing nodes i and j.
• Weak ties. Wij = 1 (one simplex contains i and j)
• Strong ties. Wij > 2 (at least two simplices contain i and j)
17. We can also study temporal dynamics in aggregate.
17
Coauthorship data of scholars publishing in history.
Wij = # of simplices containing nodes i and j.
Most groups formed have no previous interaction.
Open triangle of all weak
ties more likely to form a
strong tie before closing.
18. Simplicial closure depends on structure in projected graph.
18
• First 80% of the data (in time) ⟶ record configurations of triplets not in closed triangle.
• Remainder of data ⟶ find fraction that are now closed triangles.
Increased edge density
increases closure probability.
Increased tie strength
increases closure probability.
Tension between edge
density and tie strength.
Left and middle observations are consistent with theory and empirical studies of social networks.
[Granovetter 73; Kossinets-Watts 06; Backstrom+ 06; Leskovec+ 08]
Closure probability Closure probability Closure probability
19. Simplicial closure on 4 nodes similar to on 3 nodes,
just“up one dimension”.
19
Increased edge density
increases closure probability.
Increased simplicial tie strength
increases closure probability.
Tension b/w edge density
simplicial tie strength.
Closure probability Closure probability Closure probability
20. 20
Back to higher-order link prediction.
How can we predict which new simplices appear?
How can we predict which triangles become closed?
21. We propose“higher-order link prediction”as a similar
framework for evaluation of higher-order models.
21
t1 : {1, 2, 3, 4}
t2 : {1, 3, 5}
t3 : {1, 6}
t4 : {2, 6}
t5 : {1, 7, 8}
t6 : {3, 9}
t7 : {5, 8}
t8 : {1, 2, 6}
Data.
Observe simplices up to some
time t. Using this data, we want
to predict what groups of > 2
nodes will appear in a simplex
in the future.
t
We predict structure that classical link
prediction would not even consider!
22. 22
Our structural analysis tells us what we should be
looking at for prediction.
1. Edge density matters!
⟶ focus our attention on predicting which open
triangles become closed triangles
(intelligently reduce search space.)
2. Tie strength matters!
⟶ various ways of incorporating this information
i
j k
Wij
Wjk
Wjk
23. 23
For every open triangle,we assign a score function on
first 80% of data based on structural properties.
Four broad classes of score functions for an open triangle.
Score s(i, j, k)…
1. is a function of Wij, Wjk, Wjk
arithmetic mean, geometric mean, etc.
2. looks at common neighbors of the three nodes.
generalized Jaccard, Adamic-Adar, etc.
3. uses “whole-network” similarity scores on projected graph
sum of PageRank or Katz scores amongst edges
4. is learned from data
train a logistic regression model with features
i
j k
Wij
Wjk
Wjk
After computing scores, predict that open triangles with highest
scores will be closed triangles in final 20% of data.
24. 24
1. s(i,j,k) is a function of Wij,Wjk,and Wjk
i
j k
Wij
Wjk
Wjk
1. Arithmetic mean
2. Geometric mean
3. Harmonic mean
4. Generalized mean
s(i, j, k) = 3/(W 1
ij + W 1
ik + W 1
jk )
s(i, j, k) = (WijWikWjk)1/3
s(i, j, k) = (Wij + Wik + Wjk)/3
s(i, j, k) = mp(Wij, Wjk, Wik) = (Wp
ij + Wp
jk + Wp
ik)1/p
Wij = #(simplices
containing i and j)<latexit sha1_base64="AbbmV5RfjztUDZ+i0Xqa/FoP2Dc=">AAAHhXicfVXdbts2FFa7re60n6br5W7YOS66wnbstGmaAcGMrShWoMWyOWmKRUZGSUcWa5JSSaqxS+jd9hp7gd1uj7BDyWksJxsBSRR5vvPxHH48DHPOtBkM/rx2/aOPP7nRuvmp/9nnX3x5a+P2V690VqgIjqKMZ+p1SDVwJuHIMMPhda6AipDDcTj70c0fvwOlWSYPzSKHiaBTyRIWUYNDpxu/HZ9a9qYkhNzbJ0H7fmBgbqxmAskj0CUJAp+ct3vB24LG1YvUhlEmDWWSySnZZJuEyphsvtksv3Ww0432oD+oGrncGS47bW/ZDk5v37gTxFlUCJAm4lTrk+EgNxNLlWERh9IPCg05jWZ0CifYlVSAntgqCSXp4EhMkkzhIw2pRv1VCPpRdNHwYg0NC07VvDkaZtkMZ3Tp+01OkzyZWCbzwoCMasqk4MRkxOWWxExBZPiCNHkNm73vSkxnomjUpUILatJuztw6u2b2vjdVNE+7gs4gAs4vhupVOThnoaJq4ULIznQ3RM9TlRUy1t2cGgNKasQbxeZdndIcdDdhphtRHrn/2GFynhlB1Uz/l9e+AENxssocB2MPi8TArxCXVkF898ngbsiRd9XCpDBVALK01cfZnKXMwJpNyAsorXuvWPgdkhqT6++2tlBKfW3QN8yjlMop9KNMbL0tQDuR6q3h45297b0tDYKhlkOUruidMZP2XBA9JnshKh5UZfdwt11//MAllOKJcPnxgynPQsoD/A0cbARSFwpGccZRACM8D1EWw36ggNP5OTbDxTdFdHI4nFi3cU4AjV0+OBxT6ZKrQMIZBiDwNNggoYLxRQwJLbgpbaCT835TJDpxqij9ziqZxh2EeH/Q3+tGgiEpyoKj5JHAzHXiXDSDRN+BNHPnalSDrX5wgmdtZ1KuB/UU8JApGC9EmPFnGJKtvejS/vzyRWmloxCstKK0DJcbjMFcZYwD8TokXEKWHA4wLkLcTlO4Lb2aYJ1h/OylS8k5weGwkT4bzkur+QWJM67R9jlauhxQnqe0vFjq78/Xsh5PObAo7dW5v2oGN1pjeWnWB+HcrO6yGLOpQKagVpVzZ4NQ2KAeLy/JQrzAGh1fhVhOlE2KB8E8pOoExRekYTa3wTv37vhBqgoOJAU2TQ1W192d3JAOOUyB0MgUlBOE+cEMK8Sgv70D886Hat4hT/F+oTICEoI5w/PrbKsarqs0+jVVBy+AykFv0B+C6Jyjx2mmMDuu9meSoKgIh8QQzWJwiJW42sPygxO8AB7+rxNVRVJ5KV0W8BoZrl8alzuvtvtDXN4vj9qjH5YXyk3va+8b77439Ha9kfeTd+AdeZH3h/eX97f3T6vV6rUetR7XptevLTF3vEZrff8vQgegdw==</latexit><latexit sha1_base64="AbbmV5RfjztUDZ+i0Xqa/FoP2Dc=">AAAHhXicfVXdbts2FFa7re60n6br5W7YOS66wnbstGmaAcGMrShWoMWyOWmKRUZGSUcWa5JSSaqxS+jd9hp7gd1uj7BDyWksJxsBSRR5vvPxHH48DHPOtBkM/rx2/aOPP7nRuvmp/9nnX3x5a+P2V690VqgIjqKMZ+p1SDVwJuHIMMPhda6AipDDcTj70c0fvwOlWSYPzSKHiaBTyRIWUYNDpxu/HZ9a9qYkhNzbJ0H7fmBgbqxmAskj0CUJAp+ct3vB24LG1YvUhlEmDWWSySnZZJuEyphsvtksv3Ww0432oD+oGrncGS47bW/ZDk5v37gTxFlUCJAm4lTrk+EgNxNLlWERh9IPCg05jWZ0CifYlVSAntgqCSXp4EhMkkzhIw2pRv1VCPpRdNHwYg0NC07VvDkaZtkMZ3Tp+01OkzyZWCbzwoCMasqk4MRkxOWWxExBZPiCNHkNm73vSkxnomjUpUILatJuztw6u2b2vjdVNE+7gs4gAs4vhupVOThnoaJq4ULIznQ3RM9TlRUy1t2cGgNKasQbxeZdndIcdDdhphtRHrn/2GFynhlB1Uz/l9e+AENxssocB2MPi8TArxCXVkF898ngbsiRd9XCpDBVALK01cfZnKXMwJpNyAsorXuvWPgdkhqT6++2tlBKfW3QN8yjlMop9KNMbL0tQDuR6q3h45297b0tDYKhlkOUruidMZP2XBA9JnshKh5UZfdwt11//MAllOKJcPnxgynPQsoD/A0cbARSFwpGccZRACM8D1EWw36ggNP5OTbDxTdFdHI4nFi3cU4AjV0+OBxT6ZKrQMIZBiDwNNggoYLxRQwJLbgpbaCT835TJDpxqij9ziqZxh2EeH/Q3+tGgiEpyoKj5JHAzHXiXDSDRN+BNHPnalSDrX5wgmdtZ1KuB/UU8JApGC9EmPFnGJKtvejS/vzyRWmloxCstKK0DJcbjMFcZYwD8TokXEKWHA4wLkLcTlO4Lb2aYJ1h/OylS8k5weGwkT4bzkur+QWJM67R9jlauhxQnqe0vFjq78/Xsh5PObAo7dW5v2oGN1pjeWnWB+HcrO6yGLOpQKagVpVzZ4NQ2KAeLy/JQrzAGh1fhVhOlE2KB8E8pOoExRekYTa3wTv37vhBqgoOJAU2TQ1W192d3JAOOUyB0MgUlBOE+cEMK8Sgv70D886Hat4hT/F+oTICEoI5w/PrbKsarqs0+jVVBy+AykFv0B+C6Jyjx2mmMDuu9meSoKgIh8QQzWJwiJW42sPygxO8AB7+rxNVRVJ5KV0W8BoZrl8alzuvtvtDXN4vj9qjH5YXyk3va+8b77439Ha9kfeTd+AdeZH3h/eX97f3T6vV6rUetR7XptevLTF3vEZrff8vQgegdw==</latexit><latexit sha1_base64="AbbmV5RfjztUDZ+i0Xqa/FoP2Dc=">AAAHhXicfVXdbts2FFa7re60n6br5W7YOS66wnbstGmaAcGMrShWoMWyOWmKRUZGSUcWa5JSSaqxS+jd9hp7gd1uj7BDyWksJxsBSRR5vvPxHH48DHPOtBkM/rx2/aOPP7nRuvmp/9nnX3x5a+P2V690VqgIjqKMZ+p1SDVwJuHIMMPhda6AipDDcTj70c0fvwOlWSYPzSKHiaBTyRIWUYNDpxu/HZ9a9qYkhNzbJ0H7fmBgbqxmAskj0CUJAp+ct3vB24LG1YvUhlEmDWWSySnZZJuEyphsvtksv3Ww0432oD+oGrncGS47bW/ZDk5v37gTxFlUCJAm4lTrk+EgNxNLlWERh9IPCg05jWZ0CifYlVSAntgqCSXp4EhMkkzhIw2pRv1VCPpRdNHwYg0NC07VvDkaZtkMZ3Tp+01OkzyZWCbzwoCMasqk4MRkxOWWxExBZPiCNHkNm73vSkxnomjUpUILatJuztw6u2b2vjdVNE+7gs4gAs4vhupVOThnoaJq4ULIznQ3RM9TlRUy1t2cGgNKasQbxeZdndIcdDdhphtRHrn/2GFynhlB1Uz/l9e+AENxssocB2MPi8TArxCXVkF898ngbsiRd9XCpDBVALK01cfZnKXMwJpNyAsorXuvWPgdkhqT6++2tlBKfW3QN8yjlMop9KNMbL0tQDuR6q3h45297b0tDYKhlkOUruidMZP2XBA9JnshKh5UZfdwt11//MAllOKJcPnxgynPQsoD/A0cbARSFwpGccZRACM8D1EWw36ggNP5OTbDxTdFdHI4nFi3cU4AjV0+OBxT6ZKrQMIZBiDwNNggoYLxRQwJLbgpbaCT835TJDpxqij9ziqZxh2EeH/Q3+tGgiEpyoKj5JHAzHXiXDSDRN+BNHPnalSDrX5wgmdtZ1KuB/UU8JApGC9EmPFnGJKtvejS/vzyRWmloxCstKK0DJcbjMFcZYwD8TokXEKWHA4wLkLcTlO4Lb2aYJ1h/OylS8k5weGwkT4bzkur+QWJM67R9jlauhxQnqe0vFjq78/Xsh5PObAo7dW5v2oGN1pjeWnWB+HcrO6yGLOpQKagVpVzZ4NQ2KAeLy/JQrzAGh1fhVhOlE2KB8E8pOoExRekYTa3wTv37vhBqgoOJAU2TQ1W192d3JAOOUyB0MgUlBOE+cEMK8Sgv70D886Hat4hT/F+oTICEoI5w/PrbKsarqs0+jVVBy+AykFv0B+C6Jyjx2mmMDuu9meSoKgIh8QQzWJwiJW42sPygxO8AB7+rxNVRVJ5KV0W8BoZrl8alzuvtvtDXN4vj9qjH5YXyk3va+8b77439Ha9kfeTd+AdeZH3h/eX97f3T6vV6rUetR7XptevLTF3vEZrff8vQgegdw==</latexit><latexit sha1_base64="AbbmV5RfjztUDZ+i0Xqa/FoP2Dc=">AAAHhXicfVXdbts2FFa7re60n6br5W7YOS66wnbstGmaAcGMrShWoMWyOWmKRUZGSUcWa5JSSaqxS+jd9hp7gd1uj7BDyWksJxsBSRR5vvPxHH48DHPOtBkM/rx2/aOPP7nRuvmp/9nnX3x5a+P2V690VqgIjqKMZ+p1SDVwJuHIMMPhda6AipDDcTj70c0fvwOlWSYPzSKHiaBTyRIWUYNDpxu/HZ9a9qYkhNzbJ0H7fmBgbqxmAskj0CUJAp+ct3vB24LG1YvUhlEmDWWSySnZZJuEyphsvtksv3Ww0432oD+oGrncGS47bW/ZDk5v37gTxFlUCJAm4lTrk+EgNxNLlWERh9IPCg05jWZ0CifYlVSAntgqCSXp4EhMkkzhIw2pRv1VCPpRdNHwYg0NC07VvDkaZtkMZ3Tp+01OkzyZWCbzwoCMasqk4MRkxOWWxExBZPiCNHkNm73vSkxnomjUpUILatJuztw6u2b2vjdVNE+7gs4gAs4vhupVOThnoaJq4ULIznQ3RM9TlRUy1t2cGgNKasQbxeZdndIcdDdhphtRHrn/2GFynhlB1Uz/l9e+AENxssocB2MPi8TArxCXVkF898ngbsiRd9XCpDBVALK01cfZnKXMwJpNyAsorXuvWPgdkhqT6++2tlBKfW3QN8yjlMop9KNMbL0tQDuR6q3h45297b0tDYKhlkOUruidMZP2XBA9JnshKh5UZfdwt11//MAllOKJcPnxgynPQsoD/A0cbARSFwpGccZRACM8D1EWw36ggNP5OTbDxTdFdHI4nFi3cU4AjV0+OBxT6ZKrQMIZBiDwNNggoYLxRQwJLbgpbaCT835TJDpxqij9ziqZxh2EeH/Q3+tGgiEpyoKj5JHAzHXiXDSDRN+BNHPnalSDrX5wgmdtZ1KuB/UU8JApGC9EmPFnGJKtvejS/vzyRWmloxCstKK0DJcbjMFcZYwD8TokXEKWHA4wLkLcTlO4Lb2aYJ1h/OylS8k5weGwkT4bzkur+QWJM67R9jlauhxQnqe0vFjq78/Xsh5PObAo7dW5v2oGN1pjeWnWB+HcrO6yGLOpQKagVpVzZ4NQ2KAeLy/JQrzAGh1fhVhOlE2KB8E8pOoExRekYTa3wTv37vhBqgoOJAU2TQ1W192d3JAOOUyB0MgUlBOE+cEMK8Sgv70D886Hat4hT/F+oTICEoI5w/PrbKsarqs0+jVVBy+AykFv0B+C6Jyjx2mmMDuu9meSoKgIh8QQzWJwiJW42sPygxO8AB7+rxNVRVJ5KV0W8BoZrl8alzuvtvtDXN4vj9qjH5YXyk3va+8b77439Ha9kfeTd+AdeZH3h/eX97f3T6vV6rUetR7XptevLTF3vEZrff8vQgegdw==</latexit>
25. 1. Number of common neighbors of all 3 nodes
2. Generalized Jaccard coefficient
3. Preferential attachment
25
2. s(i,j,k) is a function of is a function of neighbors
s(i, j, k) =
|N(i) N(j) N(k)|
|N(i) [ N(j) [ N(k)|<latexit sha1_base64="FvTNOvMHruL23eGv/YE4IaQ1ozs=">AAAHjXicfVVdb9s2FFW7re60j6br417YBQbSQnbsdFmaYRmMrehWoN2y2WkLREZGUVcWa5LSSKqxS+j/7S/sT+x1e9yl7XzIySbAFkXecw7v5SGZlIIb2+v9eePme+9/cKt1+8Pwo48/+fTOxt3PXpqi0gyOWCEK/TqhBgRXcGS5FfC61EBlIuBVMv3ej796C9rwQo3svISxpBPFM86oxa6TjcRs8Yi8icj0ATkgcaYpc7FAhCU/bfEHJGa0xNab8xbGxdqP12tx1Xlc1Yw72djsdXuLh1xt9FeNzWD1HJ7cvXUvTgtWSVCWCWrMcb9X2rGj2nImoA7jykBJ2ZRO4BibikowY7coRk3a2JOSrND4U5YsesPLEOTRdN5gcZYmlaB61uxNimKKI6YOw6amzR6PHVdlZUGxpWRWCWIL4mtMUq6BWTEnTV3Lp+8ixRn4KkdUGkltHpXczzOy03ediaZlHkk6BQZCXHQtZ+Xhgiea6rlPoTg1UYLME11UKjVRSa0FrQzireazyOS0BBNl3EaMCua/U48pRWEl1VPzX6xdCZbi4KJyAqwbVZmFXyGtnYb0/uPe/USg7uUIm8NEA6jaLV4+5jTnFtZiElFB7fz/pYiwTXJrS/P19raFWddY5IYZy6maQJcVcvv3Cow3q9nuf7W7v7O/bUBydFaCFpadU27zjk+iw1UnQeeDXsQ92ttcvsLYF5TizvD1CeOJKBIqYvyMPWwAylQaBmkh0AAD3BesSOEg1iDo7Axb4OSbJjoe9cfOL5w3QGOVD0dDqnxxNSg4xQQkVamLMyq5mKeQ0Ur4vWOys3bTJCbzrqjD9mUxgysI6UGvux8xyVEUbSHQ8ihgZybzFM0kkTtWduapBkuwMw+Pca/tjuv1pJ4AbjINw7lMCvEUU3JLFlO7n188r53yEpLXTtaO43TjIdjrgrEjXYckK8hKwwOGVYLLaSu/pNcLrCsMn77wJTkTGPUb5XPJrHZGXIj44CXaPcNIXwMqypzWF1P97dla1dOJAM7yzrL2143gQhs8Xprng/Q0l1dZDvlEolK8dJWnc3EiXbzsr6/YQj7Hszq9DrEaqJsSD+NZQvUxmi/Ok2Lm4rf+vx3Gua4EkBz4JLd4uu7tlpa0ySgHQpmtqCAIC+MpnhC97s4uzNrk7GmTJ3jPUMWAJGBPcf/6WIJixCzKGC6l2iEhC4JOr9sH2T5DD/NCY3W4mpBCETQVEZBZYngKHnEpr81+fU6CF8Cj/yXRi0wWLLWvAl4j/fVL42rj5U63j9P75cvNwXerC+V28HnwRbAV9IO9YBD8GBwGRwEL/gj+Cv4O/mndae22vml9uwy9eWOFuRc0ntYP/wIl8qON</latexit><latexit sha1_base64="FvTNOvMHruL23eGv/YE4IaQ1ozs=">AAAHjXicfVVdb9s2FFW7re60j6br417YBQbSQnbsdFmaYRmMrehWoN2y2WkLREZGUVcWa5LSSKqxS+j/7S/sT+x1e9yl7XzIySbAFkXecw7v5SGZlIIb2+v9eePme+9/cKt1+8Pwo48/+fTOxt3PXpqi0gyOWCEK/TqhBgRXcGS5FfC61EBlIuBVMv3ej796C9rwQo3svISxpBPFM86oxa6TjcRs8Yi8icj0ATkgcaYpc7FAhCU/bfEHJGa0xNab8xbGxdqP12tx1Xlc1Yw72djsdXuLh1xt9FeNzWD1HJ7cvXUvTgtWSVCWCWrMcb9X2rGj2nImoA7jykBJ2ZRO4BibikowY7coRk3a2JOSrND4U5YsesPLEOTRdN5gcZYmlaB61uxNimKKI6YOw6amzR6PHVdlZUGxpWRWCWIL4mtMUq6BWTEnTV3Lp+8ixRn4KkdUGkltHpXczzOy03ediaZlHkk6BQZCXHQtZ+Xhgiea6rlPoTg1UYLME11UKjVRSa0FrQzireazyOS0BBNl3EaMCua/U48pRWEl1VPzX6xdCZbi4KJyAqwbVZmFXyGtnYb0/uPe/USg7uUIm8NEA6jaLV4+5jTnFtZiElFB7fz/pYiwTXJrS/P19raFWddY5IYZy6maQJcVcvv3Cow3q9nuf7W7v7O/bUBydFaCFpadU27zjk+iw1UnQeeDXsQ92ttcvsLYF5TizvD1CeOJKBIqYvyMPWwAylQaBmkh0AAD3BesSOEg1iDo7Axb4OSbJjoe9cfOL5w3QGOVD0dDqnxxNSg4xQQkVamLMyq5mKeQ0Ur4vWOys3bTJCbzrqjD9mUxgysI6UGvux8xyVEUbSHQ8ihgZybzFM0kkTtWduapBkuwMw+Pca/tjuv1pJ4AbjINw7lMCvEUU3JLFlO7n188r53yEpLXTtaO43TjIdjrgrEjXYckK8hKwwOGVYLLaSu/pNcLrCsMn77wJTkTGPUb5XPJrHZGXIj44CXaPcNIXwMqypzWF1P97dla1dOJAM7yzrL2143gQhs8Xprng/Q0l1dZDvlEolK8dJWnc3EiXbzsr6/YQj7Hszq9DrEaqJsSD+NZQvUxmi/Ok2Lm4rf+vx3Gua4EkBz4JLd4uu7tlpa0ySgHQpmtqCAIC+MpnhC97s4uzNrk7GmTJ3jPUMWAJGBPcf/6WIJixCzKGC6l2iEhC4JOr9sH2T5DD/NCY3W4mpBCETQVEZBZYngKHnEpr81+fU6CF8Cj/yXRi0wWLLWvAl4j/fVL42rj5U63j9P75cvNwXerC+V28HnwRbAV9IO9YBD8GBwGRwEL/gj+Cv4O/mndae22vml9uwy9eWOFuRc0ntYP/wIl8qON</latexit><latexit sha1_base64="FvTNOvMHruL23eGv/YE4IaQ1ozs=">AAAHjXicfVVdb9s2FFW7re60j6br417YBQbSQnbsdFmaYRmMrehWoN2y2WkLREZGUVcWa5LSSKqxS+j/7S/sT+x1e9yl7XzIySbAFkXecw7v5SGZlIIb2+v9eePme+9/cKt1+8Pwo48/+fTOxt3PXpqi0gyOWCEK/TqhBgRXcGS5FfC61EBlIuBVMv3ej796C9rwQo3svISxpBPFM86oxa6TjcRs8Yi8icj0ATkgcaYpc7FAhCU/bfEHJGa0xNab8xbGxdqP12tx1Xlc1Yw72djsdXuLh1xt9FeNzWD1HJ7cvXUvTgtWSVCWCWrMcb9X2rGj2nImoA7jykBJ2ZRO4BibikowY7coRk3a2JOSrND4U5YsesPLEOTRdN5gcZYmlaB61uxNimKKI6YOw6amzR6PHVdlZUGxpWRWCWIL4mtMUq6BWTEnTV3Lp+8ixRn4KkdUGkltHpXczzOy03ediaZlHkk6BQZCXHQtZ+Xhgiea6rlPoTg1UYLME11UKjVRSa0FrQzireazyOS0BBNl3EaMCua/U48pRWEl1VPzX6xdCZbi4KJyAqwbVZmFXyGtnYb0/uPe/USg7uUIm8NEA6jaLV4+5jTnFtZiElFB7fz/pYiwTXJrS/P19raFWddY5IYZy6maQJcVcvv3Cow3q9nuf7W7v7O/bUBydFaCFpadU27zjk+iw1UnQeeDXsQ92ttcvsLYF5TizvD1CeOJKBIqYvyMPWwAylQaBmkh0AAD3BesSOEg1iDo7Axb4OSbJjoe9cfOL5w3QGOVD0dDqnxxNSg4xQQkVamLMyq5mKeQ0Ur4vWOys3bTJCbzrqjD9mUxgysI6UGvux8xyVEUbSHQ8ihgZybzFM0kkTtWduapBkuwMw+Pca/tjuv1pJ4AbjINw7lMCvEUU3JLFlO7n188r53yEpLXTtaO43TjIdjrgrEjXYckK8hKwwOGVYLLaSu/pNcLrCsMn77wJTkTGPUb5XPJrHZGXIj44CXaPcNIXwMqypzWF1P97dla1dOJAM7yzrL2143gQhs8Xprng/Q0l1dZDvlEolK8dJWnc3EiXbzsr6/YQj7Hszq9DrEaqJsSD+NZQvUxmi/Ok2Lm4rf+vx3Gua4EkBz4JLd4uu7tlpa0ySgHQpmtqCAIC+MpnhC97s4uzNrk7GmTJ3jPUMWAJGBPcf/6WIJixCzKGC6l2iEhC4JOr9sH2T5DD/NCY3W4mpBCETQVEZBZYngKHnEpr81+fU6CF8Cj/yXRi0wWLLWvAl4j/fVL42rj5U63j9P75cvNwXerC+V28HnwRbAV9IO9YBD8GBwGRwEL/gj+Cv4O/mndae22vml9uwy9eWOFuRc0ntYP/wIl8qON</latexit><latexit sha1_base64="FvTNOvMHruL23eGv/YE4IaQ1ozs=">AAAHjXicfVVdb9s2FFW7re60j6br417YBQbSQnbsdFmaYRmMrehWoN2y2WkLREZGUVcWa5LSSKqxS+j/7S/sT+x1e9yl7XzIySbAFkXecw7v5SGZlIIb2+v9eePme+9/cKt1+8Pwo48/+fTOxt3PXpqi0gyOWCEK/TqhBgRXcGS5FfC61EBlIuBVMv3ej796C9rwQo3svISxpBPFM86oxa6TjcRs8Yi8icj0ATkgcaYpc7FAhCU/bfEHJGa0xNab8xbGxdqP12tx1Xlc1Yw72djsdXuLh1xt9FeNzWD1HJ7cvXUvTgtWSVCWCWrMcb9X2rGj2nImoA7jykBJ2ZRO4BibikowY7coRk3a2JOSrND4U5YsesPLEOTRdN5gcZYmlaB61uxNimKKI6YOw6amzR6PHVdlZUGxpWRWCWIL4mtMUq6BWTEnTV3Lp+8ixRn4KkdUGkltHpXczzOy03ediaZlHkk6BQZCXHQtZ+Xhgiea6rlPoTg1UYLME11UKjVRSa0FrQzireazyOS0BBNl3EaMCua/U48pRWEl1VPzX6xdCZbi4KJyAqwbVZmFXyGtnYb0/uPe/USg7uUIm8NEA6jaLV4+5jTnFtZiElFB7fz/pYiwTXJrS/P19raFWddY5IYZy6maQJcVcvv3Cow3q9nuf7W7v7O/bUBydFaCFpadU27zjk+iw1UnQeeDXsQ92ttcvsLYF5TizvD1CeOJKBIqYvyMPWwAylQaBmkh0AAD3BesSOEg1iDo7Axb4OSbJjoe9cfOL5w3QGOVD0dDqnxxNSg4xQQkVamLMyq5mKeQ0Ur4vWOys3bTJCbzrqjD9mUxgysI6UGvux8xyVEUbSHQ8ihgZybzFM0kkTtWduapBkuwMw+Pca/tjuv1pJ4AbjINw7lMCvEUU3JLFlO7n188r53yEpLXTtaO43TjIdjrgrEjXYckK8hKwwOGVYLLaSu/pNcLrCsMn77wJTkTGPUb5XPJrHZGXIj44CXaPcNIXwMqypzWF1P97dla1dOJAM7yzrL2143gQhs8Xprng/Q0l1dZDvlEolK8dJWnc3EiXbzsr6/YQj7Hszq9DrEaqJsSD+NZQvUxmi/Ok2Lm4rf+vx3Gua4EkBz4JLd4uu7tlpa0ySgHQpmtqCAIC+MpnhC97s4uzNrk7GmTJ3jPUMWAJGBPcf/6WIJixCzKGC6l2iEhC4JOr9sH2T5DD/NCY3W4mpBCETQVEZBZYngKHnEpr81+fU6CF8Cj/yXRi0wWLLWvAl4j/fVL42rj5U63j9P75cvNwXerC+V28HnwRbAV9IO9YBD8GBwGRwEL/gj+Cv4O/mndae22vml9uwy9eWOFuRc0ntYP/wIl8qON</latexit>
s(i, j, k) = |N(i) N(j) N(k)|<latexit sha1_base64="FLondIDERPjCu2IWUgS4/34XXks=">AAAHXnicfVXRbts2FFW7Lem0dU3XlwF7YRcYSAvZsZNlaQYEMLaiWIF2y2anLRAZGUVdWaxJSiOpxi6hD9nX7HX7hL3tU3ZpO43lZiNgiyLvOYf38ohMSsGN7Xb/vnHzgw8/2ti89XH4yae3P7uzdffzF6aoNINTVohCv0qoAcEVnFpuBbwqNVCZCHiZTL738y/fgDa8UEM7K2Ek6VjxjDNqceh8a9/s8Ii8jsjkATkmscBYS37c4Q9IzGiJvdfvehgRaz9/vrXd7XTnjbzf6S0728GynZzf3bgXpwWrJCjLBDXmrNct7chRbTkTUIdxZaCkbELHcIZdRSWYkZtnV5MWjqQkKzT+lCXz0XAVgjyazhosztKkElRPm6NJUUxwxtRh2NS02aOR46qsLCi2kMwqQWxBfNFIyjUwK2akqWv55G2kOINMUxZRaSS1eVRyv87ITt62x5qWeSTpBBgIcTW0WJWHC55oqmc+heLCRAkyj3VRqdREJbUWtDKIt5pPI5PTEkyUcRsxKph/Tz2mFIWVVE/Mf7F2JFiKk/PKCbBuWGUWfoG0dhrS+4+69xOBuqsRNoexBlC1mz98zEXOLazFJKKC2vn/lYiwRXJrS/Pt7q6FacdY5IYpy6kaQ4cVcve3Cox3n9ntfXNwtHe0a0ByNFaCnpTtC27ztk+izVU7QSuDnsftH24vHmHsC0rR6r4+YTwWRUJFjK+xh/VBmUpDPy0EGqCPRmdFCsexBkGnl9gCF9800dmwN3J+47wBGrt8MhxQ5YurQcEFJiCpSl2cUcnFLIWMVsLWLjbZZb9pEpN5V9Rha1XM4A5CetztHEVMchRFWwi0PArYqck8RTNJ5I6VnXqq/gLszMMz/NYORvV6Uo8BPzINg5lMCvEEU3ILFlO7n54/q53yEpLXTtaO43LjAdjrgnEgXYckS8hSwwMGVYLbaSu/pdcLrCsMnjz3JbkUGPYa5XPJtHZGXIn44AXaPcVIXwMqypzWV0v99ela1dOxAM7y9qL2183gRhs8Xprng/Q0q7ssB3wsUSleuMrTuTiRLl6M1+/ZQj7Dwze9DrGcqJsSD+NpQvUZmi/Ok2Lq4jf+vxXGua4EkBz4OLd4uh4elJa0yDAHQpmtqCAIC+MJnhDdzt4BTFvksrXIY7w4qGJAErAX+P36WIJixMzLGC6kWiEhc4J2t9MD2bpED/JCY3W4GpNCETQVEZBZYngKHrGS13avfkeCF8D+/5LoeSZzltpXAa+R3vql8X7nxV6nh8v7+evt/nfLC+VW8GXwVbAT9ILDoB/8EJwEpwELfg/+CP4M/tr4Z3Nj8/bmnUXozRtLzL2g0Ta/+Be/pJKT</latexit><latexit sha1_base64="FLondIDERPjCu2IWUgS4/34XXks=">AAAHXnicfVXRbts2FFW7Lem0dU3XlwF7YRcYSAvZsZNlaQYEMLaiWIF2y2anLRAZGUVdWaxJSiOpxi6hD9nX7HX7hL3tU3ZpO43lZiNgiyLvOYf38ohMSsGN7Xb/vnHzgw8/2ti89XH4yae3P7uzdffzF6aoNINTVohCv0qoAcEVnFpuBbwqNVCZCHiZTL738y/fgDa8UEM7K2Ek6VjxjDNqceh8a9/s8Ii8jsjkATkmscBYS37c4Q9IzGiJvdfvehgRaz9/vrXd7XTnjbzf6S0728GynZzf3bgXpwWrJCjLBDXmrNct7chRbTkTUIdxZaCkbELHcIZdRSWYkZtnV5MWjqQkKzT+lCXz0XAVgjyazhosztKkElRPm6NJUUxwxtRh2NS02aOR46qsLCi2kMwqQWxBfNFIyjUwK2akqWv55G2kOINMUxZRaSS1eVRyv87ITt62x5qWeSTpBBgIcTW0WJWHC55oqmc+heLCRAkyj3VRqdREJbUWtDKIt5pPI5PTEkyUcRsxKph/Tz2mFIWVVE/Mf7F2JFiKk/PKCbBuWGUWfoG0dhrS+4+69xOBuqsRNoexBlC1mz98zEXOLazFJKKC2vn/lYiwRXJrS/Pt7q6FacdY5IYpy6kaQ4cVcve3Cox3n9ntfXNwtHe0a0ByNFaCnpTtC27ztk+izVU7QSuDnsftH24vHmHsC0rR6r4+YTwWRUJFjK+xh/VBmUpDPy0EGqCPRmdFCsexBkGnl9gCF9800dmwN3J+47wBGrt8MhxQ5YurQcEFJiCpSl2cUcnFLIWMVsLWLjbZZb9pEpN5V9Rha1XM4A5CetztHEVMchRFWwi0PArYqck8RTNJ5I6VnXqq/gLszMMz/NYORvV6Uo8BPzINg5lMCvEEU3ILFlO7n54/q53yEpLXTtaO43LjAdjrgnEgXYckS8hSwwMGVYLbaSu/pdcLrCsMnjz3JbkUGPYa5XPJtHZGXIn44AXaPcVIXwMqypzWV0v99ela1dOxAM7y9qL2183gRhs8Xprng/Q0q7ssB3wsUSleuMrTuTiRLl6M1+/ZQj7Dwze9DrGcqJsSD+NpQvUZmi/Ok2Lq4jf+vxXGua4EkBz4OLd4uh4elJa0yDAHQpmtqCAIC+MJnhDdzt4BTFvksrXIY7w4qGJAErAX+P36WIJixMzLGC6kWiEhc4J2t9MD2bpED/JCY3W4GpNCETQVEZBZYngKHrGS13avfkeCF8D+/5LoeSZzltpXAa+R3vql8X7nxV6nh8v7+evt/nfLC+VW8GXwVbAT9ILDoB/8EJwEpwELfg/+CP4M/tr4Z3Nj8/bmnUXozRtLzL2g0Ta/+Be/pJKT</latexit><latexit sha1_base64="FLondIDERPjCu2IWUgS4/34XXks=">AAAHXnicfVXRbts2FFW7Lem0dU3XlwF7YRcYSAvZsZNlaQYEMLaiWIF2y2anLRAZGUVdWaxJSiOpxi6hD9nX7HX7hL3tU3ZpO43lZiNgiyLvOYf38ohMSsGN7Xb/vnHzgw8/2ti89XH4yae3P7uzdffzF6aoNINTVohCv0qoAcEVnFpuBbwqNVCZCHiZTL738y/fgDa8UEM7K2Ek6VjxjDNqceh8a9/s8Ii8jsjkATkmscBYS37c4Q9IzGiJvdfvehgRaz9/vrXd7XTnjbzf6S0728GynZzf3bgXpwWrJCjLBDXmrNct7chRbTkTUIdxZaCkbELHcIZdRSWYkZtnV5MWjqQkKzT+lCXz0XAVgjyazhosztKkElRPm6NJUUxwxtRh2NS02aOR46qsLCi2kMwqQWxBfNFIyjUwK2akqWv55G2kOINMUxZRaSS1eVRyv87ITt62x5qWeSTpBBgIcTW0WJWHC55oqmc+heLCRAkyj3VRqdREJbUWtDKIt5pPI5PTEkyUcRsxKph/Tz2mFIWVVE/Mf7F2JFiKk/PKCbBuWGUWfoG0dhrS+4+69xOBuqsRNoexBlC1mz98zEXOLazFJKKC2vn/lYiwRXJrS/Pt7q6FacdY5IYpy6kaQ4cVcve3Cox3n9ntfXNwtHe0a0ByNFaCnpTtC27ztk+izVU7QSuDnsftH24vHmHsC0rR6r4+YTwWRUJFjK+xh/VBmUpDPy0EGqCPRmdFCsexBkGnl9gCF9800dmwN3J+47wBGrt8MhxQ5YurQcEFJiCpSl2cUcnFLIWMVsLWLjbZZb9pEpN5V9Rha1XM4A5CetztHEVMchRFWwi0PArYqck8RTNJ5I6VnXqq/gLszMMz/NYORvV6Uo8BPzINg5lMCvEEU3ILFlO7n54/q53yEpLXTtaO43LjAdjrgnEgXYckS8hSwwMGVYLbaSu/pdcLrCsMnjz3JbkUGPYa5XPJtHZGXIn44AXaPcVIXwMqypzWV0v99ela1dOxAM7y9qL2183gRhs8Xprng/Q0q7ssB3wsUSleuMrTuTiRLl6M1+/ZQj7Dwze9DrGcqJsSD+NpQvUZmi/Ok2Lq4jf+vxXGua4EkBz4OLd4uh4elJa0yDAHQpmtqCAIC+MJnhDdzt4BTFvksrXIY7w4qGJAErAX+P36WIJixMzLGC6kWiEhc4J2t9MD2bpED/JCY3W4GpNCETQVEZBZYngKHrGS13avfkeCF8D+/5LoeSZzltpXAa+R3vql8X7nxV6nh8v7+evt/nfLC+VW8GXwVbAT9ILDoB/8EJwEpwELfg/+CP4M/tr4Z3Nj8/bmnUXozRtLzL2g0Ta/+Be/pJKT</latexit><latexit sha1_base64="FLondIDERPjCu2IWUgS4/34XXks=">AAAHXnicfVXRbts2FFW7Lem0dU3XlwF7YRcYSAvZsZNlaQYEMLaiWIF2y2anLRAZGUVdWaxJSiOpxi6hD9nX7HX7hL3tU3ZpO43lZiNgiyLvOYf38ohMSsGN7Xb/vnHzgw8/2ti89XH4yae3P7uzdffzF6aoNINTVohCv0qoAcEVnFpuBbwqNVCZCHiZTL738y/fgDa8UEM7K2Ek6VjxjDNqceh8a9/s8Ii8jsjkATkmscBYS37c4Q9IzGiJvdfvehgRaz9/vrXd7XTnjbzf6S0728GynZzf3bgXpwWrJCjLBDXmrNct7chRbTkTUIdxZaCkbELHcIZdRSWYkZtnV5MWjqQkKzT+lCXz0XAVgjyazhosztKkElRPm6NJUUxwxtRh2NS02aOR46qsLCi2kMwqQWxBfNFIyjUwK2akqWv55G2kOINMUxZRaSS1eVRyv87ITt62x5qWeSTpBBgIcTW0WJWHC55oqmc+heLCRAkyj3VRqdREJbUWtDKIt5pPI5PTEkyUcRsxKph/Tz2mFIWVVE/Mf7F2JFiKk/PKCbBuWGUWfoG0dhrS+4+69xOBuqsRNoexBlC1mz98zEXOLazFJKKC2vn/lYiwRXJrS/Pt7q6FacdY5IYpy6kaQ4cVcve3Cox3n9ntfXNwtHe0a0ByNFaCnpTtC27ztk+izVU7QSuDnsftH24vHmHsC0rR6r4+YTwWRUJFjK+xh/VBmUpDPy0EGqCPRmdFCsexBkGnl9gCF9800dmwN3J+47wBGrt8MhxQ5YurQcEFJiCpSl2cUcnFLIWMVsLWLjbZZb9pEpN5V9Rha1XM4A5CetztHEVMchRFWwi0PArYqck8RTNJ5I6VnXqq/gLszMMz/NYORvV6Uo8BPzINg5lMCvEEU3ILFlO7n54/q53yEpLXTtaO43LjAdjrgnEgXYckS8hSwwMGVYLbaSu/pdcLrCsMnjz3JbkUGPYa5XPJtHZGXIn44AXaPcVIXwMqypzWV0v99ela1dOxAM7y9qL2183gRhs8Xprng/Q0q7ssB3wsUSleuMrTuTiRLl6M1+/ZQj7Dwze9DrGcqJsSD+NpQvUZmi/Ok2Lq4jf+vxXGua4EkBz4OLd4uh4elJa0yDAHQpmtqCAIC+MJnhDdzt4BTFvksrXIY7w4qGJAErAX+P36WIJixMzLGC6kWiEhc4J2t9MD2bpED/JCY3W4GpNCETQVEZBZYngKHrGS13avfkeCF8D+/5LoeSZzltpXAa+R3vql8X7nxV6nh8v7+evt/nfLC+VW8GXwVbAT9ILDoB/8EJwEpwELfg/+CP4M/tr4Z3Nj8/bmnUXozRtLzL2g0Ta/+Be/pJKT</latexit>
s(i, j, k) = |N(i)| · |N(j)| · |N(k)|<latexit sha1_base64="i1cFLqMUgl6H72N326IdpbKZCH4=">AAAHenicfVVdb9s2FFW7Lem0j6br417YBgaSTnbstFmaAQGMrShWoF2z2WkLREZGSVcWa5LSSKqRS+hn7ccMe93+xR526Y/FctIRkETx3nMP7+UhGRWcadPt/nHj5kcff7KxeetT/7PPv/jy9tadr17pvFQxnMY5z9WbiGrgTMKpYYbDm0IBFRGH19HkB2d//Q6UZrkcmmkBI0HHkqUspgaHzrde6h0WvA0mu+SYhBw9Dflph+2SUM36YZzk5tLw9kOGydJwvrXd7XRnjVzt9BadbW/RTs7vbNwNkzwuBUgTc6r1Wa9bmJGlyrCYQ+2HpYaCxhM6hjPsSipAj+ws85q0cCQhaa7wkYbMRv1VCMZRdNqIYg2NSk5V1RyN8nyCFl37fpPTpI9HlsmiNCDjOWVacmJy4gpKEqYgNnxKmryGTd4HksWQKhoHVGhBTRYUzM0zMJP37bGiRRYIOoEYOL8cms/KwTmLFFVTl0J+oYMII49VXspEBwU1BpTUiDeKVYHOaAE6SJkJYspj9584TMFzI6ia6A9F7QgwFI2zynEwdlimBn6BpLYKknuPu/cijryrHiaDsQKQtZ19nM9Fxgys+US8hNq694qH3yKZMYX+bm/PQNXRBmNDFWdUjqET52LvtxK0U6be6317cLR/tKdBMBRWhHoV7QtmsrZLos1kO0KZg5r5PTzcnn/80BWU4jZw9fHDMc8jykP8DR2sD1KXCvpJzlEAfdwEcZ7AcaiA02qJzXHyTRGdDXsj6xbOCaCxyifDAZWuuAokXGACgsrEhikVjE8TSGnJTW1DnS77TZHo1Kmi9lurZBpXEJLjbucoiAVDUpQFR8kjgal06kI0k8TYoTSVC9Wfg61+cIZ77WBUryf1BHCTKRhMRZTzp5iSnUfRtX354nltpaMQrLaitgynGw7AXOeMA8k6JFpAFhwOMCgjXE5TuiW9nmCdYfD0hSvJkmDYa5TPRlVtNb8kcc5ztH2Gnq4GlBcZrS+n+uuztaonYw4sztrz2l9nwYXWeLw0zwfhwqyushiwsUCmcK4qF86GkbDhfLy+IgvxHA/m5DrEwlA3KR6EVUTVGYovzKK8suE79275YaZKDiQDNs4Mnq6HB4UhLTLMgNDYlJQThPnhBE+Ibmf/AKoWWbYWeYKXCpUxkAjMBe5f50uQjOhZGf05VcsnZBag3e30QLSW6EGWK6wOk2OSS4KiIhxSQzRLwCFW8tru1f8FwQvg4f8GUbNMZlFqVwW8Rnrrl8bVzqv9Tg+n9/Oj7f73iwvllve1d9/b8Xreodf3fvROvFMv9n73/vT+8v7e+Gfz/ubu5jdz15s3Fpi7XqNtPvoX4wOfBw==</latexit><latexit sha1_base64="i1cFLqMUgl6H72N326IdpbKZCH4=">AAAHenicfVVdb9s2FFW7Lem0j6br417YBgaSTnbstFmaAQGMrShWoF2z2WkLREZGSVcWa5LSSKqRS+hn7ccMe93+xR526Y/FctIRkETx3nMP7+UhGRWcadPt/nHj5kcff7KxeetT/7PPv/jy9tadr17pvFQxnMY5z9WbiGrgTMKpYYbDm0IBFRGH19HkB2d//Q6UZrkcmmkBI0HHkqUspgaHzrde6h0WvA0mu+SYhBw9Dflph+2SUM36YZzk5tLw9kOGydJwvrXd7XRnjVzt9BadbW/RTs7vbNwNkzwuBUgTc6r1Wa9bmJGlyrCYQ+2HpYaCxhM6hjPsSipAj+ws85q0cCQhaa7wkYbMRv1VCMZRdNqIYg2NSk5V1RyN8nyCFl37fpPTpI9HlsmiNCDjOWVacmJy4gpKEqYgNnxKmryGTd4HksWQKhoHVGhBTRYUzM0zMJP37bGiRRYIOoEYOL8cms/KwTmLFFVTl0J+oYMII49VXspEBwU1BpTUiDeKVYHOaAE6SJkJYspj9584TMFzI6ia6A9F7QgwFI2zynEwdlimBn6BpLYKknuPu/cijryrHiaDsQKQtZ19nM9Fxgys+US8hNq694qH3yKZMYX+bm/PQNXRBmNDFWdUjqET52LvtxK0U6be6317cLR/tKdBMBRWhHoV7QtmsrZLos1kO0KZg5r5PTzcnn/80BWU4jZw9fHDMc8jykP8DR2sD1KXCvpJzlEAfdwEcZ7AcaiA02qJzXHyTRGdDXsj6xbOCaCxyifDAZWuuAokXGACgsrEhikVjE8TSGnJTW1DnS77TZHo1Kmi9lurZBpXEJLjbucoiAVDUpQFR8kjgal06kI0k8TYoTSVC9Wfg61+cIZ77WBUryf1BHCTKRhMRZTzp5iSnUfRtX354nltpaMQrLaitgynGw7AXOeMA8k6JFpAFhwOMCgjXE5TuiW9nmCdYfD0hSvJkmDYa5TPRlVtNb8kcc5ztH2Gnq4GlBcZrS+n+uuztaonYw4sztrz2l9nwYXWeLw0zwfhwqyushiwsUCmcK4qF86GkbDhfLy+IgvxHA/m5DrEwlA3KR6EVUTVGYovzKK8suE79275YaZKDiQDNs4Mnq6HB4UhLTLMgNDYlJQThPnhBE+Ibmf/AKoWWbYWeYKXCpUxkAjMBe5f50uQjOhZGf05VcsnZBag3e30QLSW6EGWK6wOk2OSS4KiIhxSQzRLwCFW8tru1f8FwQvg4f8GUbNMZlFqVwW8Rnrrl8bVzqv9Tg+n9/Oj7f73iwvllve1d9/b8Xreodf3fvROvFMv9n73/vT+8v7e+Gfz/ubu5jdz15s3Fpi7XqNtPvoX4wOfBw==</latexit><latexit sha1_base64="i1cFLqMUgl6H72N326IdpbKZCH4=">AAAHenicfVVdb9s2FFW7Lem0j6br417YBgaSTnbstFmaAQGMrShWoF2z2WkLREZGSVcWa5LSSKqRS+hn7ccMe93+xR526Y/FctIRkETx3nMP7+UhGRWcadPt/nHj5kcff7KxeetT/7PPv/jy9tadr17pvFQxnMY5z9WbiGrgTMKpYYbDm0IBFRGH19HkB2d//Q6UZrkcmmkBI0HHkqUspgaHzrde6h0WvA0mu+SYhBw9Dflph+2SUM36YZzk5tLw9kOGydJwvrXd7XRnjVzt9BadbW/RTs7vbNwNkzwuBUgTc6r1Wa9bmJGlyrCYQ+2HpYaCxhM6hjPsSipAj+ws85q0cCQhaa7wkYbMRv1VCMZRdNqIYg2NSk5V1RyN8nyCFl37fpPTpI9HlsmiNCDjOWVacmJy4gpKEqYgNnxKmryGTd4HksWQKhoHVGhBTRYUzM0zMJP37bGiRRYIOoEYOL8cms/KwTmLFFVTl0J+oYMII49VXspEBwU1BpTUiDeKVYHOaAE6SJkJYspj9584TMFzI6ia6A9F7QgwFI2zynEwdlimBn6BpLYKknuPu/cijryrHiaDsQKQtZ19nM9Fxgys+US8hNq694qH3yKZMYX+bm/PQNXRBmNDFWdUjqET52LvtxK0U6be6317cLR/tKdBMBRWhHoV7QtmsrZLos1kO0KZg5r5PTzcnn/80BWU4jZw9fHDMc8jykP8DR2sD1KXCvpJzlEAfdwEcZ7AcaiA02qJzXHyTRGdDXsj6xbOCaCxyifDAZWuuAokXGACgsrEhikVjE8TSGnJTW1DnS77TZHo1Kmi9lurZBpXEJLjbucoiAVDUpQFR8kjgal06kI0k8TYoTSVC9Wfg61+cIZ77WBUryf1BHCTKRhMRZTzp5iSnUfRtX354nltpaMQrLaitgynGw7AXOeMA8k6JFpAFhwOMCgjXE5TuiW9nmCdYfD0hSvJkmDYa5TPRlVtNb8kcc5ztH2Gnq4GlBcZrS+n+uuztaonYw4sztrz2l9nwYXWeLw0zwfhwqyushiwsUCmcK4qF86GkbDhfLy+IgvxHA/m5DrEwlA3KR6EVUTVGYovzKK8suE79275YaZKDiQDNs4Mnq6HB4UhLTLMgNDYlJQThPnhBE+Ibmf/AKoWWbYWeYKXCpUxkAjMBe5f50uQjOhZGf05VcsnZBag3e30QLSW6EGWK6wOk2OSS4KiIhxSQzRLwCFW8tru1f8FwQvg4f8GUbNMZlFqVwW8Rnrrl8bVzqv9Tg+n9/Oj7f73iwvllve1d9/b8Xreodf3fvROvFMv9n73/vT+8v7e+Gfz/ubu5jdz15s3Fpi7XqNtPvoX4wOfBw==</latexit><latexit sha1_base64="i1cFLqMUgl6H72N326IdpbKZCH4=">AAAHenicfVVdb9s2FFW7Lem0j6br417YBgaSTnbstFmaAQGMrShWoF2z2WkLREZGSVcWa5LSSKqRS+hn7ccMe93+xR526Y/FctIRkETx3nMP7+UhGRWcadPt/nHj5kcff7KxeetT/7PPv/jy9tadr17pvFQxnMY5z9WbiGrgTMKpYYbDm0IBFRGH19HkB2d//Q6UZrkcmmkBI0HHkqUspgaHzrde6h0WvA0mu+SYhBw9Dflph+2SUM36YZzk5tLw9kOGydJwvrXd7XRnjVzt9BadbW/RTs7vbNwNkzwuBUgTc6r1Wa9bmJGlyrCYQ+2HpYaCxhM6hjPsSipAj+ws85q0cCQhaa7wkYbMRv1VCMZRdNqIYg2NSk5V1RyN8nyCFl37fpPTpI9HlsmiNCDjOWVacmJy4gpKEqYgNnxKmryGTd4HksWQKhoHVGhBTRYUzM0zMJP37bGiRRYIOoEYOL8cms/KwTmLFFVTl0J+oYMII49VXspEBwU1BpTUiDeKVYHOaAE6SJkJYspj9584TMFzI6ia6A9F7QgwFI2zynEwdlimBn6BpLYKknuPu/cijryrHiaDsQKQtZ19nM9Fxgys+US8hNq694qH3yKZMYX+bm/PQNXRBmNDFWdUjqET52LvtxK0U6be6317cLR/tKdBMBRWhHoV7QtmsrZLos1kO0KZg5r5PTzcnn/80BWU4jZw9fHDMc8jykP8DR2sD1KXCvpJzlEAfdwEcZ7AcaiA02qJzXHyTRGdDXsj6xbOCaCxyifDAZWuuAokXGACgsrEhikVjE8TSGnJTW1DnS77TZHo1Kmi9lurZBpXEJLjbucoiAVDUpQFR8kjgal06kI0k8TYoTSVC9Wfg61+cIZ77WBUryf1BHCTKRhMRZTzp5iSnUfRtX354nltpaMQrLaitgynGw7AXOeMA8k6JFpAFhwOMCgjXE5TuiW9nmCdYfD0hSvJkmDYa5TPRlVtNb8kcc5ztH2Gnq4GlBcZrS+n+uuztaonYw4sztrz2l9nwYXWeLw0zwfhwqyushiwsUCmcK4qF86GkbDhfLy+IgvxHA/m5DrEwlA3KR6EVUTVGYovzKK8suE79275YaZKDiQDNs4Mnq6HB4UhLTLMgNDYlJQThPnhBE+Ibmf/AKoWWbYWeYKXCpUxkAjMBe5f50uQjOhZGf05VcsnZBag3e30QLSW6EGWK6wOk2OSS4KiIhxSQzRLwCFW8tru1f8FwQvg4f8GUbNMZlFqVwW8Rnrrl8bVzqv9Tg+n9/Oj7f73iwvllve1d9/b8Xreodf3fvROvFMv9n73/vT+8v7e+Gfz/ubu5jdz15s3Fpi7XqNtPvoX4wOfBw==</latexit>
i
j k
l
m
x
y
r
z
N(i) = {j, k, l, m, x, y, z}
N(j) = {i, k, l, m, r}
N(k) = {i, j, l, m}<latexit sha1_base64="tnpZ3Ec+nF90ITiZNcAHseQF6wc=">AAAHd3icfVVtb9s2EFa7rem0t3T9uA9jF7jICtmx02VpBgQwtqJYgbTLZqctEBoZJZ0sxqSkkVQjh9Cf2q/ZPm7/Yt929EtjOdkE2KLu7rmHd3xIhoXg2nS7f966/d77H9zZuPuh/9HHn3z62ea9z1/pvFQRnES5yNWbkGkQPIMTw42AN4UCJkMBr8PJD87/+i0ozfNsaKYFjCQbZzzhETNoOts8ernNvyYPDwm158EkEIEMqmAaXNKaUOq/3D5fOPnCqZaOyTvHuXPMzGebW91Od/aQ64PeYrDlLZ7js3t37tM4j0oJmYkE0/q01y3MyDJleCSg9mmpoWDRhI3hFIcZk6BHdlZ2TVpoiUmSK/xlhsys/ioE8yg2bWSxhoWlYKpqWsM8n6BH177f5DTJk5HlWVEayKI5ZVIKYnLiukliriAyYkqavIZPLoOMR5AoFgVMaslMGhTczTMwk8v2WLEiDSSbQARCXJnms3JwwUPF1NSVkF/oIMTMY5WXWayDghkDKtOIN4pXgU5ZATpIuAkiJiL3HTtMIXIjmZro/8rakWAYOmedE2DssEwM/AJxbRXED550H4QCeVcjTApjBZDVdvZyMRcpN7AWE4oSauv+VyL8FkmNKfR3OzsGqo42mBuqKGXZGDpRLnd+K0E7Weqd3rd7B7sHOxokR/WGKFbZvuAmbbsi2jxrh6hxULO4x/tb85dPXUMZ7gHXH5+ORR4yQfGTOlgfMl0q6Me5QAH0cQdEeQyHVIFg1RKb4+SbIjod9kbWLZwTQGOVj4cDlrnmKsjgAguQLIstTZjkYhpDwkphakt1shw3RaITp4rab62SaVxBiA+7nYMgkhxJURYCJY8EptKJS9EsEnPTzFQuVX8OtvrRKe61vVG9XtRTwE2mYDCVYS6eYUl2nkXX9qcXR7XNHIXktZW15ThdOgBzUzAa4nVIuIAsOBxgUIa4nKZ0S3ozwTrD4NkL15IlwbDXaJ8Nq9pqcUXigudo+xwjXQ+YKFJWX0311+drXY/HAniUtue9v8mDC63xeGmeD9KlWV1lOeBjiUx0riqXztJQWjq319dkIY/wVI5vQiwcdZPiEa1Cpk5RfDQN88rSt+6/5dNUlQJICnycGjxd9/cKQ1pkmAJhkSmZIAjz6QRPiG5ndw+qFlk+LfIUbxSWRUBCMBe4f10sQTKiZ23051Qtn5BZgna30wPZWqIHaa6wOzwbkzwjKCoiIDFE8xgcYqWurV79LgleAI//N4maVTLLUrsu4DXSW780rg9e7XZ6OL2fv9nqf7+4UO56X3hfedtez9v3+t6P3rF34kXe794f3l/e33f+2fhy4+HG9jz09q0F5r7XeDZ6/wKyNJoz</latexit><latexit sha1_base64="tnpZ3Ec+nF90ITiZNcAHseQF6wc=">AAAHd3icfVVtb9s2EFa7rem0t3T9uA9jF7jICtmx02VpBgQwtqJYgbTLZqctEBoZJZ0sxqSkkVQjh9Cf2q/ZPm7/Yt929EtjOdkE2KLu7rmHd3xIhoXg2nS7f966/d77H9zZuPuh/9HHn3z62ea9z1/pvFQRnES5yNWbkGkQPIMTw42AN4UCJkMBr8PJD87/+i0ozfNsaKYFjCQbZzzhETNoOts8ernNvyYPDwm158EkEIEMqmAaXNKaUOq/3D5fOPnCqZaOyTvHuXPMzGebW91Od/aQ64PeYrDlLZ7js3t37tM4j0oJmYkE0/q01y3MyDJleCSg9mmpoWDRhI3hFIcZk6BHdlZ2TVpoiUmSK/xlhsys/ioE8yg2bWSxhoWlYKpqWsM8n6BH177f5DTJk5HlWVEayKI5ZVIKYnLiukliriAyYkqavIZPLoOMR5AoFgVMaslMGhTczTMwk8v2WLEiDSSbQARCXJnms3JwwUPF1NSVkF/oIMTMY5WXWayDghkDKtOIN4pXgU5ZATpIuAkiJiL3HTtMIXIjmZro/8rakWAYOmedE2DssEwM/AJxbRXED550H4QCeVcjTApjBZDVdvZyMRcpN7AWE4oSauv+VyL8FkmNKfR3OzsGqo42mBuqKGXZGDpRLnd+K0E7Weqd3rd7B7sHOxokR/WGKFbZvuAmbbsi2jxrh6hxULO4x/tb85dPXUMZ7gHXH5+ORR4yQfGTOlgfMl0q6Me5QAH0cQdEeQyHVIFg1RKb4+SbIjod9kbWLZwTQGOVj4cDlrnmKsjgAguQLIstTZjkYhpDwkphakt1shw3RaITp4rab62SaVxBiA+7nYMgkhxJURYCJY8EptKJS9EsEnPTzFQuVX8OtvrRKe61vVG9XtRTwE2mYDCVYS6eYUl2nkXX9qcXR7XNHIXktZW15ThdOgBzUzAa4nVIuIAsOBxgUIa4nKZ0S3ozwTrD4NkL15IlwbDXaJ8Nq9pqcUXigudo+xwjXQ+YKFJWX0311+drXY/HAniUtue9v8mDC63xeGmeD9KlWV1lOeBjiUx0riqXztJQWjq319dkIY/wVI5vQiwcdZPiEa1Cpk5RfDQN88rSt+6/5dNUlQJICnycGjxd9/cKQ1pkmAJhkSmZIAjz6QRPiG5ndw+qFlk+LfIUbxSWRUBCMBe4f10sQTKiZ23051Qtn5BZgna30wPZWqIHaa6wOzwbkzwjKCoiIDFE8xgcYqWurV79LgleAI//N4maVTLLUrsu4DXSW780rg9e7XZ6OL2fv9nqf7+4UO56X3hfedtez9v3+t6P3rF34kXe794f3l/e33f+2fhy4+HG9jz09q0F5r7XeDZ6/wKyNJoz</latexit><latexit sha1_base64="tnpZ3Ec+nF90ITiZNcAHseQF6wc=">AAAHd3icfVVtb9s2EFa7rem0t3T9uA9jF7jICtmx02VpBgQwtqJYgbTLZqctEBoZJZ0sxqSkkVQjh9Cf2q/ZPm7/Yt929EtjOdkE2KLu7rmHd3xIhoXg2nS7f966/d77H9zZuPuh/9HHn3z62ea9z1/pvFQRnES5yNWbkGkQPIMTw42AN4UCJkMBr8PJD87/+i0ozfNsaKYFjCQbZzzhETNoOts8ernNvyYPDwm158EkEIEMqmAaXNKaUOq/3D5fOPnCqZaOyTvHuXPMzGebW91Od/aQ64PeYrDlLZ7js3t37tM4j0oJmYkE0/q01y3MyDJleCSg9mmpoWDRhI3hFIcZk6BHdlZ2TVpoiUmSK/xlhsys/ioE8yg2bWSxhoWlYKpqWsM8n6BH177f5DTJk5HlWVEayKI5ZVIKYnLiukliriAyYkqavIZPLoOMR5AoFgVMaslMGhTczTMwk8v2WLEiDSSbQARCXJnms3JwwUPF1NSVkF/oIMTMY5WXWayDghkDKtOIN4pXgU5ZATpIuAkiJiL3HTtMIXIjmZro/8rakWAYOmedE2DssEwM/AJxbRXED550H4QCeVcjTApjBZDVdvZyMRcpN7AWE4oSauv+VyL8FkmNKfR3OzsGqo42mBuqKGXZGDpRLnd+K0E7Weqd3rd7B7sHOxokR/WGKFbZvuAmbbsi2jxrh6hxULO4x/tb85dPXUMZ7gHXH5+ORR4yQfGTOlgfMl0q6Me5QAH0cQdEeQyHVIFg1RKb4+SbIjod9kbWLZwTQGOVj4cDlrnmKsjgAguQLIstTZjkYhpDwkphakt1shw3RaITp4rab62SaVxBiA+7nYMgkhxJURYCJY8EptKJS9EsEnPTzFQuVX8OtvrRKe61vVG9XtRTwE2mYDCVYS6eYUl2nkXX9qcXR7XNHIXktZW15ThdOgBzUzAa4nVIuIAsOBxgUIa4nKZ0S3ozwTrD4NkL15IlwbDXaJ8Nq9pqcUXigudo+xwjXQ+YKFJWX0311+drXY/HAniUtue9v8mDC63xeGmeD9KlWV1lOeBjiUx0riqXztJQWjq319dkIY/wVI5vQiwcdZPiEa1Cpk5RfDQN88rSt+6/5dNUlQJICnycGjxd9/cKQ1pkmAJhkSmZIAjz6QRPiG5ndw+qFlk+LfIUbxSWRUBCMBe4f10sQTKiZ23051Qtn5BZgna30wPZWqIHaa6wOzwbkzwjKCoiIDFE8xgcYqWurV79LgleAI//N4maVTLLUrsu4DXSW780rg9e7XZ6OL2fv9nqf7+4UO56X3hfedtez9v3+t6P3rF34kXe794f3l/e33f+2fhy4+HG9jz09q0F5r7XeDZ6/wKyNJoz</latexit><latexit sha1_base64="tnpZ3Ec+nF90ITiZNcAHseQF6wc=">AAAHd3icfVVtb9s2EFa7rem0t3T9uA9jF7jICtmx02VpBgQwtqJYgbTLZqctEBoZJZ0sxqSkkVQjh9Cf2q/ZPm7/Yt929EtjOdkE2KLu7rmHd3xIhoXg2nS7f966/d77H9zZuPuh/9HHn3z62ea9z1/pvFQRnES5yNWbkGkQPIMTw42AN4UCJkMBr8PJD87/+i0ozfNsaKYFjCQbZzzhETNoOts8ernNvyYPDwm158EkEIEMqmAaXNKaUOq/3D5fOPnCqZaOyTvHuXPMzGebW91Od/aQ64PeYrDlLZ7js3t37tM4j0oJmYkE0/q01y3MyDJleCSg9mmpoWDRhI3hFIcZk6BHdlZ2TVpoiUmSK/xlhsys/ioE8yg2bWSxhoWlYKpqWsM8n6BH177f5DTJk5HlWVEayKI5ZVIKYnLiukliriAyYkqavIZPLoOMR5AoFgVMaslMGhTczTMwk8v2WLEiDSSbQARCXJnms3JwwUPF1NSVkF/oIMTMY5WXWayDghkDKtOIN4pXgU5ZATpIuAkiJiL3HTtMIXIjmZro/8rakWAYOmedE2DssEwM/AJxbRXED550H4QCeVcjTApjBZDVdvZyMRcpN7AWE4oSauv+VyL8FkmNKfR3OzsGqo42mBuqKGXZGDpRLnd+K0E7Weqd3rd7B7sHOxokR/WGKFbZvuAmbbsi2jxrh6hxULO4x/tb85dPXUMZ7gHXH5+ORR4yQfGTOlgfMl0q6Me5QAH0cQdEeQyHVIFg1RKb4+SbIjod9kbWLZwTQGOVj4cDlrnmKsjgAguQLIstTZjkYhpDwkphakt1shw3RaITp4rab62SaVxBiA+7nYMgkhxJURYCJY8EptKJS9EsEnPTzFQuVX8OtvrRKe61vVG9XtRTwE2mYDCVYS6eYUl2nkXX9qcXR7XNHIXktZW15ThdOgBzUzAa4nVIuIAsOBxgUIa4nKZ0S3ozwTrD4NkL15IlwbDXaJ8Nq9pqcUXigudo+xwjXQ+YKFJWX0311+drXY/HAniUtue9v8mDC63xeGmeD9KlWV1lOeBjiUx0riqXztJQWjq319dkIY/wVI5vQiwcdZPiEa1Cpk5RfDQN88rSt+6/5dNUlQJICnycGjxd9/cKQ1pkmAJhkSmZIAjz6QRPiG5ndw+qFlk+LfIUbxSWRUBCMBe4f10sQTKiZ23051Qtn5BZgna30wPZWqIHaa6wOzwbkzwjKCoiIDFE8xgcYqWurV79LgleAI//N4maVTLLUrsu4DXSW780rg9e7XZ6OL2fv9nqf7+4UO56X3hfedtez9v3+t6P3rF34kXe794f3l/e33f+2fhy4+HG9jz09q0F5r7XeDZ6/wKyNJoz</latexit>
26. 26
3. s(i,j,k) is is built from“whole-network”similarity
scores on edges: s(i,j,k) = Sij + Sji + Sjk + Skj + Sik + Ski
i
j k
Wij
Wjk
Wjk
1. PageRank (unweighted or weighted)
2. Katz (unweighted or weighted)
S = (I ↵WD 1
W ) 1
S = (I ↵AD 1
A ) 1
<latexit sha1_base64="/L3TJ99ZB10h69LqkrbHkihZoIM=">AAAHfnicfVVdb9s2FFW7re60r3R93Au7wEVX+EvpsiQDArhbUCxAi2Wz0xQIvYySrizCpKSRVGOX0A/bT9nTXrd/sUvZWSwnmwBLNHnPObyXh2RYCK7NYPDHnbvvvf/Bvdb9D/2PPv7k08+2Hnz+WueliuA0ykWu3oRMg+AZnBpuBLwpFDAZCjgLZ9+78bO3oDTPs7FZFDCRbJrxhEfMYNfF1ojKEXl8SJ5QeUy6hDJRpIzKMyqPLs5+sd2g+qp+E0r920Ofu9Dna6H+xdb2oDeoH3KzEawa297qObl4cO8hjfOolJCZSDCtz4NBYSaWKcMjAZVPSw0Fi2ZsCufYzJgEPbF19hVpY09MklzhLzOk7vXXIcij2KLBYg0LS8HUvNkb5vkMR3Tl+01Nk+xPLM+K0kAWLSWTUhCTE1dUEnMFkREL0tQ1fPauk/EIEsWiDpNaMpN2Cu7m2TGzd92pYkXakWwGEQhx3bWclYMLHiqmFi6F/FJ3QmSeqrzMYt0pmDGgMo14o/i8o1NWgO4k3HQiJiL3P3aYQuRGMjXT/8Xak2AYDtaVE2DsuEwM/AxxZRXEj/YHj0KBuusRJoWpAsgqW39czGXKDWzEhKKEyrr3WoTfJqkxhf623zcw72mD3DCPUpZNoRflsv9bCdq5U/eDb3YPdg76GiRHE4foWdm95CbtuiS6POuGaHVQddyzve3lB32KBWW4FVx9fDoVecgExb/UwYaQ6VLBMM4FGmCIGyHKYzikCgSbX2FznHzTROfjYGLdwjkDNFb5ZDximSuuggwuMQHJstjShEkuFjEkrBSmslQnV+2mSXTiXFH57XUxjSsI8eGgd9CJJEdRtIVAy6OAmevEUTSTRG6ambmjGi7BVj89x722O6k2kzoC3GQKRgsZ5uIFpmSXLLqyP756WdnMSUheWVlZjtOlIzC3BWNHvAkJV5CVhgOMyhCX05RuSW8X2FQYvXjlSnIlMA4a5bPhvLJaXIu44CXaHmOkq0F9NlXXU/31eKPq8VQAj9Lusva3jeBCazxemueDdDTrqyxHfCpRiS5d5egsDaWly/7qhi3kSzyc49sQq4GqKfGUzkOmztF8NA3zuaVv3bvt01SVAkgKfJoaPF33dgtD2mScAmGRKZkgCPPpDE+IQW9nF+ZtcvW0yRFeLCyLgIRgLnH/uliCYkTXZfSXUm2fkJqgO+gFINtX6FGaK6wOz6YkzwiaighIDNE8BodYy2s7qP4lwQvg2f+SqDqTmqVyVcBrJNi8NG42Xu/0ApzeT19vD79bXSj3vS+8L70nXuDteUPvB+/EO/Ui73fvT+8v7++W13rc6rb6y9C7d1aYh17jae3/A6oznOI=</latexit><latexit sha1_base64="/L3TJ99ZB10h69LqkrbHkihZoIM=">AAAHfnicfVVdb9s2FFW7re60r3R93Au7wEVX+EvpsiQDArhbUCxAi2Wz0xQIvYySrizCpKSRVGOX0A/bT9nTXrd/sUvZWSwnmwBLNHnPObyXh2RYCK7NYPDHnbvvvf/Bvdb9D/2PPv7k08+2Hnz+WueliuA0ykWu3oRMg+AZnBpuBLwpFDAZCjgLZ9+78bO3oDTPs7FZFDCRbJrxhEfMYNfF1ojKEXl8SJ5QeUy6hDJRpIzKMyqPLs5+sd2g+qp+E0r920Ofu9Dna6H+xdb2oDeoH3KzEawa297qObl4cO8hjfOolJCZSDCtz4NBYSaWKcMjAZVPSw0Fi2ZsCufYzJgEPbF19hVpY09MklzhLzOk7vXXIcij2KLBYg0LS8HUvNkb5vkMR3Tl+01Nk+xPLM+K0kAWLSWTUhCTE1dUEnMFkREL0tQ1fPauk/EIEsWiDpNaMpN2Cu7m2TGzd92pYkXakWwGEQhx3bWclYMLHiqmFi6F/FJ3QmSeqrzMYt0pmDGgMo14o/i8o1NWgO4k3HQiJiL3P3aYQuRGMjXT/8Xak2AYDtaVE2DsuEwM/AxxZRXEj/YHj0KBuusRJoWpAsgqW39czGXKDWzEhKKEyrr3WoTfJqkxhf623zcw72mD3DCPUpZNoRflsv9bCdq5U/eDb3YPdg76GiRHE4foWdm95CbtuiS6POuGaHVQddyzve3lB32KBWW4FVx9fDoVecgExb/UwYaQ6VLBMM4FGmCIGyHKYzikCgSbX2FznHzTROfjYGLdwjkDNFb5ZDximSuuggwuMQHJstjShEkuFjEkrBSmslQnV+2mSXTiXFH57XUxjSsI8eGgd9CJJEdRtIVAy6OAmevEUTSTRG6ambmjGi7BVj89x722O6k2kzoC3GQKRgsZ5uIFpmSXLLqyP756WdnMSUheWVlZjtOlIzC3BWNHvAkJV5CVhgOMyhCX05RuSW8X2FQYvXjlSnIlMA4a5bPhvLJaXIu44CXaHmOkq0F9NlXXU/31eKPq8VQAj9Lusva3jeBCazxemueDdDTrqyxHfCpRiS5d5egsDaWly/7qhi3kSzyc49sQq4GqKfGUzkOmztF8NA3zuaVv3bvt01SVAkgKfJoaPF33dgtD2mScAmGRKZkgCPPpDE+IQW9nF+ZtcvW0yRFeLCyLgIRgLnH/uliCYkTXZfSXUm2fkJqgO+gFINtX6FGaK6wOz6YkzwiaighIDNE8BodYy2s7qP4lwQvg2f+SqDqTmqVyVcBrJNi8NG42Xu/0ApzeT19vD79bXSj3vS+8L70nXuDteUPvB+/EO/Ui73fvT+8v7++W13rc6rb6y9C7d1aYh17jae3/A6oznOI=</latexit><latexit sha1_base64="/L3TJ99ZB10h69LqkrbHkihZoIM=">AAAHfnicfVVdb9s2FFW7re60r3R93Au7wEVX+EvpsiQDArhbUCxAi2Wz0xQIvYySrizCpKSRVGOX0A/bT9nTXrd/sUvZWSwnmwBLNHnPObyXh2RYCK7NYPDHnbvvvf/Bvdb9D/2PPv7k08+2Hnz+WueliuA0ykWu3oRMg+AZnBpuBLwpFDAZCjgLZ9+78bO3oDTPs7FZFDCRbJrxhEfMYNfF1ojKEXl8SJ5QeUy6hDJRpIzKMyqPLs5+sd2g+qp+E0r920Ofu9Dna6H+xdb2oDeoH3KzEawa297qObl4cO8hjfOolJCZSDCtz4NBYSaWKcMjAZVPSw0Fi2ZsCufYzJgEPbF19hVpY09MklzhLzOk7vXXIcij2KLBYg0LS8HUvNkb5vkMR3Tl+01Nk+xPLM+K0kAWLSWTUhCTE1dUEnMFkREL0tQ1fPauk/EIEsWiDpNaMpN2Cu7m2TGzd92pYkXakWwGEQhx3bWclYMLHiqmFi6F/FJ3QmSeqrzMYt0pmDGgMo14o/i8o1NWgO4k3HQiJiL3P3aYQuRGMjXT/8Xak2AYDtaVE2DsuEwM/AxxZRXEj/YHj0KBuusRJoWpAsgqW39czGXKDWzEhKKEyrr3WoTfJqkxhf623zcw72mD3DCPUpZNoRflsv9bCdq5U/eDb3YPdg76GiRHE4foWdm95CbtuiS6POuGaHVQddyzve3lB32KBWW4FVx9fDoVecgExb/UwYaQ6VLBMM4FGmCIGyHKYzikCgSbX2FznHzTROfjYGLdwjkDNFb5ZDximSuuggwuMQHJstjShEkuFjEkrBSmslQnV+2mSXTiXFH57XUxjSsI8eGgd9CJJEdRtIVAy6OAmevEUTSTRG6ambmjGi7BVj89x722O6k2kzoC3GQKRgsZ5uIFpmSXLLqyP756WdnMSUheWVlZjtOlIzC3BWNHvAkJV5CVhgOMyhCX05RuSW8X2FQYvXjlSnIlMA4a5bPhvLJaXIu44CXaHmOkq0F9NlXXU/31eKPq8VQAj9Lusva3jeBCazxemueDdDTrqyxHfCpRiS5d5egsDaWly/7qhi3kSzyc49sQq4GqKfGUzkOmztF8NA3zuaVv3bvt01SVAkgKfJoaPF33dgtD2mScAmGRKZkgCPPpDE+IQW9nF+ZtcvW0yRFeLCyLgIRgLnH/uliCYkTXZfSXUm2fkJqgO+gFINtX6FGaK6wOz6YkzwiaighIDNE8BodYy2s7qP4lwQvg2f+SqDqTmqVyVcBrJNi8NG42Xu/0ApzeT19vD79bXSj3vS+8L70nXuDteUPvB+/EO/Ui73fvT+8v7++W13rc6rb6y9C7d1aYh17jae3/A6oznOI=</latexit><latexit sha1_base64="/L3TJ99ZB10h69LqkrbHkihZoIM=">AAAHfnicfVVdb9s2FFW7re60r3R93Au7wEVX+EvpsiQDArhbUCxAi2Wz0xQIvYySrizCpKSRVGOX0A/bT9nTXrd/sUvZWSwnmwBLNHnPObyXh2RYCK7NYPDHnbvvvf/Bvdb9D/2PPv7k08+2Hnz+WueliuA0ykWu3oRMg+AZnBpuBLwpFDAZCjgLZ9+78bO3oDTPs7FZFDCRbJrxhEfMYNfF1ojKEXl8SJ5QeUy6hDJRpIzKMyqPLs5+sd2g+qp+E0r920Ofu9Dna6H+xdb2oDeoH3KzEawa297qObl4cO8hjfOolJCZSDCtz4NBYSaWKcMjAZVPSw0Fi2ZsCufYzJgEPbF19hVpY09MklzhLzOk7vXXIcij2KLBYg0LS8HUvNkb5vkMR3Tl+01Nk+xPLM+K0kAWLSWTUhCTE1dUEnMFkREL0tQ1fPauk/EIEsWiDpNaMpN2Cu7m2TGzd92pYkXakWwGEQhx3bWclYMLHiqmFi6F/FJ3QmSeqrzMYt0pmDGgMo14o/i8o1NWgO4k3HQiJiL3P3aYQuRGMjXT/8Xak2AYDtaVE2DsuEwM/AxxZRXEj/YHj0KBuusRJoWpAsgqW39czGXKDWzEhKKEyrr3WoTfJqkxhf623zcw72mD3DCPUpZNoRflsv9bCdq5U/eDb3YPdg76GiRHE4foWdm95CbtuiS6POuGaHVQddyzve3lB32KBWW4FVx9fDoVecgExb/UwYaQ6VLBMM4FGmCIGyHKYzikCgSbX2FznHzTROfjYGLdwjkDNFb5ZDximSuuggwuMQHJstjShEkuFjEkrBSmslQnV+2mSXTiXFH57XUxjSsI8eGgd9CJJEdRtIVAy6OAmevEUTSTRG6ambmjGi7BVj89x722O6k2kzoC3GQKRgsZ5uIFpmSXLLqyP756WdnMSUheWVlZjtOlIzC3BWNHvAkJV5CVhgOMyhCX05RuSW8X2FQYvXjlSnIlMA4a5bPhvLJaXIu44CXaHmOkq0F9NlXXU/31eKPq8VQAj9Lusva3jeBCazxemueDdDTrqyxHfCpRiS5d5egsDaWly/7qhi3kSzyc49sQq4GqKfGUzkOmztF8NA3zuaVv3bvt01SVAkgKfJoaPF33dgtD2mScAmGRKZkgCPPpDE+IQW9nF+ZtcvW0yRFeLCyLgIRgLnH/uliCYkTXZfSXUm2fkJqgO+gFINtX6FGaK6wOz6YkzwiaighIDNE8BodYy2s7qP4lwQvg2f+SqDqTmqVyVcBrJNi8NG42Xu/0ApzeT19vD79bXSj3vS+8L70nXuDteUPvB+/EO/Ui73fvT+8v7++W13rc6rb6y9C7d1aYh17jae3/A6oznOI=</latexit>
S = (I W) 1
I
S = (I A) 1
I<latexit sha1_base64="prrPE3CmXFIYa+BWVf5a/O4OtMI=">AAAHdHicfVXfb9s2EFa7rem0X+n6uD2wMzx0he1Y6bI0AwJ4W1EsQItls9MUCL2Mkk4WYZLSSKqxS+hv2l+zh71s/8Wed7SdxXKyCbBFHe+7j3f3kYxLwY3t9/+4dfutt9+5s3X33fC99z/48KPtex+/NEWlEzhJClHoVzEzILiCE8utgFelBiZjAafx9Ds/f/oatOGFGtl5CWPJJopnPGEWTefbR1QOyeeH5CGVR6RLaAyWUXn6xc+uG9XegGZKwxu9vln3Cs+3W/1ef/GQ64NoNWgFq+f4/N6d+zQtkkqCsolgxpxF/dKOHdOWJwLqkFYGSpZM2QTOcKiYBDN2i5xr0kZLSrJC409ZsrCG6xCMo9m8EcVZFleC6VnTGhfFFGdMHYZNTps9GTuuysqCSpaUWSWILYgvJUm5hsSKOWnyWj5901E8gUyzpMOkkczmnZL7dXbs9E13olmZdySbQgJCXJmWq/JwwWPN9NynUFyYToyRJ7qoVGo6JbMWtDKIt5rPOiZnJZhOxm0nYSLx36nHlKKwkump+a+oPYlNxMlF5QRYN6oyCz9BWjsN6YMn/QexQN51D5vDRAOo2i1e3uci5xY2fGJRQe38/5pH2Ca5taX5emfHwqxnLMaGWZIzNYFeUsidXyswXpNmJ/pq72D3YMeA5CjdGJUquxfc5l2fRJerbowCB73we7zfWr5QolhQhhvA1yekE1HETFD8pB42AGUqDYO0ECiAAco/KVI4pBoEm11iC1x8U0Rno2jsfOO8ABpdPh4NmfLF1aDgAhOQTKWOZkxyMU8hY5WwtaMmuxw3RWIyr4o6bK+TGewgpIf93kEnkRxJURYCJY8EdmYyH6KZJMamys58qMES7MyjM9xre+N6M6mngJtMw3Au40I8w5TcMoqp3Q8vntdOeQrJaydrx3G5dAj2Jmc0pJuQeAVZcXjAsIqxnbbyLb2ZYJNh+OyFL8klwShqlM/Fs9oZcUXinZdod4SevgZMlDmrr5b6y9FG1dOJAJ7k3WXtb5rBRhs8Xprng/Rh1rssh3wikYkuVeXDORpLR5f2+pos5HM8ktObEKuJuknxiM5ips9QfDSPi5mjr/1/O6S5rgSQHPgkt3i67u+VlrTJKAfCElsxQRAW0imeEP3e7h7M2uTyaZOneJ0wlQDB4/sC96/3JUhGzKKM4ZKqHRKyCNDt9yKQ7Uv0MC80VoerCSkUQVERAZklhqfgEWt5taL63yB4ATz+3yB6kckiSu2rgNdItHlpXB+83O1FuLwfv2wNvl1dKHeDT4LPgodBFOwHg+D74Dg4CZLgt+D34M/grzt/b3261dpqL11v31ph7geNZ6v3D1R3mM8=</latexit><latexit sha1_base64="prrPE3CmXFIYa+BWVf5a/O4OtMI=">AAAHdHicfVXfb9s2EFa7rem0X+n6uD2wMzx0he1Y6bI0AwJ4W1EsQItls9MUCL2Mkk4WYZLSSKqxS+hv2l+zh71s/8Wed7SdxXKyCbBFHe+7j3f3kYxLwY3t9/+4dfutt9+5s3X33fC99z/48KPtex+/NEWlEzhJClHoVzEzILiCE8utgFelBiZjAafx9Ds/f/oatOGFGtl5CWPJJopnPGEWTefbR1QOyeeH5CGVR6RLaAyWUXn6xc+uG9XegGZKwxu9vln3Cs+3W/1ef/GQ64NoNWgFq+f4/N6d+zQtkkqCsolgxpxF/dKOHdOWJwLqkFYGSpZM2QTOcKiYBDN2i5xr0kZLSrJC409ZsrCG6xCMo9m8EcVZFleC6VnTGhfFFGdMHYZNTps9GTuuysqCSpaUWSWILYgvJUm5hsSKOWnyWj5901E8gUyzpMOkkczmnZL7dXbs9E13olmZdySbQgJCXJmWq/JwwWPN9NynUFyYToyRJ7qoVGo6JbMWtDKIt5rPOiZnJZhOxm0nYSLx36nHlKKwkump+a+oPYlNxMlF5QRYN6oyCz9BWjsN6YMn/QexQN51D5vDRAOo2i1e3uci5xY2fGJRQe38/5pH2Ca5taX5emfHwqxnLMaGWZIzNYFeUsidXyswXpNmJ/pq72D3YMeA5CjdGJUquxfc5l2fRJerbowCB73we7zfWr5QolhQhhvA1yekE1HETFD8pB42AGUqDYO0ECiAAco/KVI4pBoEm11iC1x8U0Rno2jsfOO8ABpdPh4NmfLF1aDgAhOQTKWOZkxyMU8hY5WwtaMmuxw3RWIyr4o6bK+TGewgpIf93kEnkRxJURYCJY8EdmYyH6KZJMamys58qMES7MyjM9xre+N6M6mngJtMw3Au40I8w5TcMoqp3Q8vntdOeQrJaydrx3G5dAj2Jmc0pJuQeAVZcXjAsIqxnbbyLb2ZYJNh+OyFL8klwShqlM/Fs9oZcUXinZdod4SevgZMlDmrr5b6y9FG1dOJAJ7k3WXtb5rBRhs8Xprng/Rh1rssh3wikYkuVeXDORpLR5f2+pos5HM8ktObEKuJuknxiM5ips9QfDSPi5mjr/1/O6S5rgSQHPgkt3i67u+VlrTJKAfCElsxQRAW0imeEP3e7h7M2uTyaZOneJ0wlQDB4/sC96/3JUhGzKKM4ZKqHRKyCNDt9yKQ7Uv0MC80VoerCSkUQVERAZklhqfgEWt5taL63yB4ATz+3yB6kckiSu2rgNdItHlpXB+83O1FuLwfv2wNvl1dKHeDT4LPgodBFOwHg+D74Dg4CZLgt+D34M/grzt/b3261dpqL11v31ph7geNZ6v3D1R3mM8=</latexit><latexit sha1_base64="prrPE3CmXFIYa+BWVf5a/O4OtMI=">AAAHdHicfVXfb9s2EFa7rem0X+n6uD2wMzx0he1Y6bI0AwJ4W1EsQItls9MUCL2Mkk4WYZLSSKqxS+hv2l+zh71s/8Wed7SdxXKyCbBFHe+7j3f3kYxLwY3t9/+4dfutt9+5s3X33fC99z/48KPtex+/NEWlEzhJClHoVzEzILiCE8utgFelBiZjAafx9Ds/f/oatOGFGtl5CWPJJopnPGEWTefbR1QOyeeH5CGVR6RLaAyWUXn6xc+uG9XegGZKwxu9vln3Cs+3W/1ef/GQ64NoNWgFq+f4/N6d+zQtkkqCsolgxpxF/dKOHdOWJwLqkFYGSpZM2QTOcKiYBDN2i5xr0kZLSrJC409ZsrCG6xCMo9m8EcVZFleC6VnTGhfFFGdMHYZNTps9GTuuysqCSpaUWSWILYgvJUm5hsSKOWnyWj5901E8gUyzpMOkkczmnZL7dXbs9E13olmZdySbQgJCXJmWq/JwwWPN9NynUFyYToyRJ7qoVGo6JbMWtDKIt5rPOiZnJZhOxm0nYSLx36nHlKKwkump+a+oPYlNxMlF5QRYN6oyCz9BWjsN6YMn/QexQN51D5vDRAOo2i1e3uci5xY2fGJRQe38/5pH2Ca5taX5emfHwqxnLMaGWZIzNYFeUsidXyswXpNmJ/pq72D3YMeA5CjdGJUquxfc5l2fRJerbowCB73we7zfWr5QolhQhhvA1yekE1HETFD8pB42AGUqDYO0ECiAAco/KVI4pBoEm11iC1x8U0Rno2jsfOO8ABpdPh4NmfLF1aDgAhOQTKWOZkxyMU8hY5WwtaMmuxw3RWIyr4o6bK+TGewgpIf93kEnkRxJURYCJY8EdmYyH6KZJMamys58qMES7MyjM9xre+N6M6mngJtMw3Au40I8w5TcMoqp3Q8vntdOeQrJaydrx3G5dAj2Jmc0pJuQeAVZcXjAsIqxnbbyLb2ZYJNh+OyFL8klwShqlM/Fs9oZcUXinZdod4SevgZMlDmrr5b6y9FG1dOJAJ7k3WXtb5rBRhs8Xprng/Rh1rssh3wikYkuVeXDORpLR5f2+pos5HM8ktObEKuJuknxiM5ips9QfDSPi5mjr/1/O6S5rgSQHPgkt3i67u+VlrTJKAfCElsxQRAW0imeEP3e7h7M2uTyaZOneJ0wlQDB4/sC96/3JUhGzKKM4ZKqHRKyCNDt9yKQ7Uv0MC80VoerCSkUQVERAZklhqfgEWt5taL63yB4ATz+3yB6kckiSu2rgNdItHlpXB+83O1FuLwfv2wNvl1dKHeDT4LPgodBFOwHg+D74Dg4CZLgt+D34M/grzt/b3261dpqL11v31ph7geNZ6v3D1R3mM8=</latexit><latexit sha1_base64="prrPE3CmXFIYa+BWVf5a/O4OtMI=">AAAHdHicfVXfb9s2EFa7rem0X+n6uD2wMzx0he1Y6bI0AwJ4W1EsQItls9MUCL2Mkk4WYZLSSKqxS+hv2l+zh71s/8Wed7SdxXKyCbBFHe+7j3f3kYxLwY3t9/+4dfutt9+5s3X33fC99z/48KPtex+/NEWlEzhJClHoVzEzILiCE8utgFelBiZjAafx9Ds/f/oatOGFGtl5CWPJJopnPGEWTefbR1QOyeeH5CGVR6RLaAyWUXn6xc+uG9XegGZKwxu9vln3Cs+3W/1ef/GQ64NoNWgFq+f4/N6d+zQtkkqCsolgxpxF/dKOHdOWJwLqkFYGSpZM2QTOcKiYBDN2i5xr0kZLSrJC409ZsrCG6xCMo9m8EcVZFleC6VnTGhfFFGdMHYZNTps9GTuuysqCSpaUWSWILYgvJUm5hsSKOWnyWj5901E8gUyzpMOkkczmnZL7dXbs9E13olmZdySbQgJCXJmWq/JwwWPN9NynUFyYToyRJ7qoVGo6JbMWtDKIt5rPOiZnJZhOxm0nYSLx36nHlKKwkump+a+oPYlNxMlF5QRYN6oyCz9BWjsN6YMn/QexQN51D5vDRAOo2i1e3uci5xY2fGJRQe38/5pH2Ca5taX5emfHwqxnLMaGWZIzNYFeUsidXyswXpNmJ/pq72D3YMeA5CjdGJUquxfc5l2fRJerbowCB73we7zfWr5QolhQhhvA1yekE1HETFD8pB42AGUqDYO0ECiAAco/KVI4pBoEm11iC1x8U0Rno2jsfOO8ABpdPh4NmfLF1aDgAhOQTKWOZkxyMU8hY5WwtaMmuxw3RWIyr4o6bK+TGewgpIf93kEnkRxJURYCJY8EdmYyH6KZJMamys58qMES7MyjM9xre+N6M6mngJtMw3Au40I8w5TcMoqp3Q8vntdOeQrJaydrx3G5dAj2Jmc0pJuQeAVZcXjAsIqxnbbyLb2ZYJNh+OyFL8klwShqlM/Fs9oZcUXinZdod4SevgZMlDmrr5b6y9FG1dOJAJ7k3WXtb5rBRhs8Xprng/Rh1rssh3wikYkuVeXDORpLR5f2+pos5HM8ktObEKuJuknxiM5ips9QfDSPi5mjr/1/O6S5rgSQHPgkt3i67u+VlrTJKAfCElsxQRAW0imeEP3e7h7M2uTyaZOneJ0wlQDB4/sC96/3JUhGzKKM4ZKqHRKyCNDt9yKQ7Uv0MC80VoerCSkUQVERAZklhqfgEWt5taL63yB4ATz+3yB6kckiSu2rgNdItHlpXB+83O1FuLwfv2wNvl1dKHeDT4LPgodBFOwHg+D74Dg4CZLgt+D34M/grzt/b3261dpqL11v31ph7geNZ6v3D1R3mM8=</latexit>
Wij = #(simplices
containing i and j)
A = min(W, 1)
DW = diag(W1)
DA = diag(A1)<latexit sha1_base64="RYJ8Rd+bKvLugHVSZKLeHWm+lGQ=">AAAH7nicfVXdbts2FHa6rem0n6br5W7YJS7SwnbsdFmaAQHSLShWoEWzOWkyhEFGSUcWa5JSSaqxS+g1djfsdu+xp9jb7FC2E8vJJsASTZ7v+8jzwxPmghvb7f6zdOujjz+5vXzn0+Czz7/48u7Kva/emKzQERxFmcj0ScgMCK7gyHIr4CTXwGQo4Dgc/ujXj9+DNjxTh3acw5lkA8UTHjGLU+crfx+fO/62JIQ83CV0dZ1aGFlnuETxCExJKA3I7HlI3xUsrl5kYhhlyjKuuBqQNb5GmIrJ2tu18pGHUflsCkNmydU6lcct0puu7Z8fz9YqppizQelNCA2l65WXZnMkNcNnM8PgfGW12+lWD7k+6E0Hq43pc3B+7/Z9GmdRIUHZSDBjTnvd3J45pi2PBJQBLQzkLBqyAZziUDEJ5sxV3i5JE2dikmQaf8qSajaYhyCPZuMai7MsLATTo/psmGVDXDFlENQ1bfL0zHGVFxZUNJFMCkFsRnwQScw1RFaMSV3X8uGHlsK4JZpFLSaNZDZt5dzvs2WHH9oDzfK0JdkQIhDiamqyKw8XPNRMj/0RsgvTCpF5oLNCxaaVM2tBK4N4q/moZVKWg2kl3LYiJiL/P/aYXGRWMj00/8XakWAZLlaeE2DdYZFY+AXi0mmIHzztPggF6s5b2BQGGkCVrvp4m4uUW1iwCUUBpfPvOYugSVJrc/P9xgYmUMdY5IZRlDI1gE6UyY13BRhfDWaj993WzubOhgHJsWhCrBHZvuA2bftDtLlqh1haoCu7J9urkw9mKTqUYel5/wR0ILKQCYp/qYftgTKFhr04E5gAe1h4URbDLtUg2GiGzXDz9SQ6PeydOR84nwC1KB8c9pnyztWg4AIPILHsHE2Y5GIcQ8IKYUtHTTIb15PEJD4ryqA5L2YwghDvdjs7rQhL1aK3mcCURwE7MomnqB8SuamyI0+1NwE78/gUa23rrFw81D5gkWnoj2WYied4JDdhMaV7/epl6ZSXkLx0snQct0v7YG8yxol4ERJOIVMND+gXIYbTFj6kNwssKvSfv/IumQkc9mruc+GodEZciXjjCdq9QEvvAybylJVXW/3txYLX44EAHqXtie9vWsFAG7xe6veD9DTzUZZ9PpCoRCdZ5emcvwfpZL68lhbyJTaD+CbEdKGsSzymo5DpU0w+mobZyNH3/t0MaKoLASQFPkgt3q7bW7klTXKYAmGRLZggCAvoEG+IbmdzC0bNy7bRJPvYyJiKgIRgL7B+vW3VLEzlxmAi1cROUxG0u50eyOYM3U8zjd7xTSZTBJOKCEgsMTwGj5g712qvvCTBBvDkf0l0dZKKpfRewDbSW2wa1wdvNjs93N7P367u/TBtKHcaXze+aaw3eo3txl7jp8ZB46gRLT1aer10svTrcr78+/Ify39OTG8tTTH3G7Vn+a9/ASOtvwQ=</latexit><latexit sha1_base64="RYJ8Rd+bKvLugHVSZKLeHWm+lGQ=">AAAH7nicfVXdbts2FHa6rem0n6br5W7YJS7SwnbsdFmaAQHSLShWoEWzOWkyhEFGSUcWa5JSSaqxS+g1djfsdu+xp9jb7FC2E8vJJsASTZ7v+8jzwxPmghvb7f6zdOujjz+5vXzn0+Czz7/48u7Kva/emKzQERxFmcj0ScgMCK7gyHIr4CTXwGQo4Dgc/ujXj9+DNjxTh3acw5lkA8UTHjGLU+crfx+fO/62JIQ83CV0dZ1aGFlnuETxCExJKA3I7HlI3xUsrl5kYhhlyjKuuBqQNb5GmIrJ2tu18pGHUflsCkNmydU6lcct0puu7Z8fz9YqppizQelNCA2l65WXZnMkNcNnM8PgfGW12+lWD7k+6E0Hq43pc3B+7/Z9GmdRIUHZSDBjTnvd3J45pi2PBJQBLQzkLBqyAZziUDEJ5sxV3i5JE2dikmQaf8qSajaYhyCPZuMai7MsLATTo/psmGVDXDFlENQ1bfL0zHGVFxZUNJFMCkFsRnwQScw1RFaMSV3X8uGHlsK4JZpFLSaNZDZt5dzvs2WHH9oDzfK0JdkQIhDiamqyKw8XPNRMj/0RsgvTCpF5oLNCxaaVM2tBK4N4q/moZVKWg2kl3LYiJiL/P/aYXGRWMj00/8XakWAZLlaeE2DdYZFY+AXi0mmIHzztPggF6s5b2BQGGkCVrvp4m4uUW1iwCUUBpfPvOYugSVJrc/P9xgYmUMdY5IZRlDI1gE6UyY13BRhfDWaj993WzubOhgHJsWhCrBHZvuA2bftDtLlqh1haoCu7J9urkw9mKTqUYel5/wR0ILKQCYp/qYftgTKFhr04E5gAe1h4URbDLtUg2GiGzXDz9SQ6PeydOR84nwC1KB8c9pnyztWg4AIPILHsHE2Y5GIcQ8IKYUtHTTIb15PEJD4ryqA5L2YwghDvdjs7rQhL1aK3mcCURwE7MomnqB8SuamyI0+1NwE78/gUa23rrFw81D5gkWnoj2WYied4JDdhMaV7/epl6ZSXkLx0snQct0v7YG8yxol4ERJOIVMND+gXIYbTFj6kNwssKvSfv/IumQkc9mruc+GodEZciXjjCdq9QEvvAybylJVXW/3txYLX44EAHqXtie9vWsFAG7xe6veD9DTzUZZ9PpCoRCdZ5emcvwfpZL68lhbyJTaD+CbEdKGsSzymo5DpU0w+mobZyNH3/t0MaKoLASQFPkgt3q7bW7klTXKYAmGRLZggCAvoEG+IbmdzC0bNy7bRJPvYyJiKgIRgL7B+vW3VLEzlxmAi1cROUxG0u50eyOYM3U8zjd7xTSZTBJOKCEgsMTwGj5g712qvvCTBBvDkf0l0dZKKpfRewDbSW2wa1wdvNjs93N7P367u/TBtKHcaXze+aaw3eo3txl7jp8ZB46gRLT1aer10svTrcr78+/Ify39OTG8tTTH3G7Vn+a9/ASOtvwQ=</latexit><latexit sha1_base64="RYJ8Rd+bKvLugHVSZKLeHWm+lGQ=">AAAH7nicfVXdbts2FHa6rem0n6br5W7YJS7SwnbsdFmaAQHSLShWoEWzOWkyhEFGSUcWa5JSSaqxS+g1djfsdu+xp9jb7FC2E8vJJsASTZ7v+8jzwxPmghvb7f6zdOujjz+5vXzn0+Czz7/48u7Kva/emKzQERxFmcj0ScgMCK7gyHIr4CTXwGQo4Dgc/ujXj9+DNjxTh3acw5lkA8UTHjGLU+crfx+fO/62JIQ83CV0dZ1aGFlnuETxCExJKA3I7HlI3xUsrl5kYhhlyjKuuBqQNb5GmIrJ2tu18pGHUflsCkNmydU6lcct0puu7Z8fz9YqppizQelNCA2l65WXZnMkNcNnM8PgfGW12+lWD7k+6E0Hq43pc3B+7/Z9GmdRIUHZSDBjTnvd3J45pi2PBJQBLQzkLBqyAZziUDEJ5sxV3i5JE2dikmQaf8qSajaYhyCPZuMai7MsLATTo/psmGVDXDFlENQ1bfL0zHGVFxZUNJFMCkFsRnwQScw1RFaMSV3X8uGHlsK4JZpFLSaNZDZt5dzvs2WHH9oDzfK0JdkQIhDiamqyKw8XPNRMj/0RsgvTCpF5oLNCxaaVM2tBK4N4q/moZVKWg2kl3LYiJiL/P/aYXGRWMj00/8XakWAZLlaeE2DdYZFY+AXi0mmIHzztPggF6s5b2BQGGkCVrvp4m4uUW1iwCUUBpfPvOYugSVJrc/P9xgYmUMdY5IZRlDI1gE6UyY13BRhfDWaj993WzubOhgHJsWhCrBHZvuA2bftDtLlqh1haoCu7J9urkw9mKTqUYel5/wR0ILKQCYp/qYftgTKFhr04E5gAe1h4URbDLtUg2GiGzXDz9SQ6PeydOR84nwC1KB8c9pnyztWg4AIPILHsHE2Y5GIcQ8IKYUtHTTIb15PEJD4ryqA5L2YwghDvdjs7rQhL1aK3mcCURwE7MomnqB8SuamyI0+1NwE78/gUa23rrFw81D5gkWnoj2WYied4JDdhMaV7/epl6ZSXkLx0snQct0v7YG8yxol4ERJOIVMND+gXIYbTFj6kNwssKvSfv/IumQkc9mruc+GodEZciXjjCdq9QEvvAybylJVXW/3txYLX44EAHqXtie9vWsFAG7xe6veD9DTzUZZ9PpCoRCdZ5emcvwfpZL68lhbyJTaD+CbEdKGsSzymo5DpU0w+mobZyNH3/t0MaKoLASQFPkgt3q7bW7klTXKYAmGRLZggCAvoEG+IbmdzC0bNy7bRJPvYyJiKgIRgL7B+vW3VLEzlxmAi1cROUxG0u50eyOYM3U8zjd7xTSZTBJOKCEgsMTwGj5g712qvvCTBBvDkf0l0dZKKpfRewDbSW2wa1wdvNjs93N7P367u/TBtKHcaXze+aaw3eo3txl7jp8ZB46gRLT1aer10svTrcr78+/Ify39OTG8tTTH3G7Vn+a9/ASOtvwQ=</latexit><latexit sha1_base64="RYJ8Rd+bKvLugHVSZKLeHWm+lGQ=">AAAH7nicfVXdbts2FHa6rem0n6br5W7YJS7SwnbsdFmaAQHSLShWoEWzOWkyhEFGSUcWa5JSSaqxS+g1djfsdu+xp9jb7FC2E8vJJsASTZ7v+8jzwxPmghvb7f6zdOujjz+5vXzn0+Czz7/48u7Kva/emKzQERxFmcj0ScgMCK7gyHIr4CTXwGQo4Dgc/ujXj9+DNjxTh3acw5lkA8UTHjGLU+crfx+fO/62JIQ83CV0dZ1aGFlnuETxCExJKA3I7HlI3xUsrl5kYhhlyjKuuBqQNb5GmIrJ2tu18pGHUflsCkNmydU6lcct0puu7Z8fz9YqppizQelNCA2l65WXZnMkNcNnM8PgfGW12+lWD7k+6E0Hq43pc3B+7/Z9GmdRIUHZSDBjTnvd3J45pi2PBJQBLQzkLBqyAZziUDEJ5sxV3i5JE2dikmQaf8qSajaYhyCPZuMai7MsLATTo/psmGVDXDFlENQ1bfL0zHGVFxZUNJFMCkFsRnwQScw1RFaMSV3X8uGHlsK4JZpFLSaNZDZt5dzvs2WHH9oDzfK0JdkQIhDiamqyKw8XPNRMj/0RsgvTCpF5oLNCxaaVM2tBK4N4q/moZVKWg2kl3LYiJiL/P/aYXGRWMj00/8XakWAZLlaeE2DdYZFY+AXi0mmIHzztPggF6s5b2BQGGkCVrvp4m4uUW1iwCUUBpfPvOYugSVJrc/P9xgYmUMdY5IZRlDI1gE6UyY13BRhfDWaj993WzubOhgHJsWhCrBHZvuA2bftDtLlqh1haoCu7J9urkw9mKTqUYel5/wR0ILKQCYp/qYftgTKFhr04E5gAe1h4URbDLtUg2GiGzXDz9SQ6PeydOR84nwC1KB8c9pnyztWg4AIPILHsHE2Y5GIcQ8IKYUtHTTIb15PEJD4ryqA5L2YwghDvdjs7rQhL1aK3mcCURwE7MomnqB8SuamyI0+1NwE78/gUa23rrFw81D5gkWnoj2WYied4JDdhMaV7/epl6ZSXkLx0snQct0v7YG8yxol4ERJOIVMND+gXIYbTFj6kNwssKvSfv/IumQkc9mruc+GodEZciXjjCdq9QEvvAybylJVXW/3txYLX44EAHqXtie9vWsFAG7xe6veD9DTzUZZ9PpCoRCdZ5emcvwfpZL68lhbyJTaD+CbEdKGsSzymo5DpU0w+mobZyNH3/t0MaKoLASQFPkgt3q7bW7klTXKYAmGRLZggCAvoEG+IbmdzC0bNy7bRJPvYyJiKgIRgL7B+vW3VLEzlxmAi1cROUxG0u50eyOYM3U8zjd7xTSZTBJOKCEgsMTwGj5g712qvvCTBBvDkf0l0dZKKpfRewDbSW2wa1wdvNjs93N7P367u/TBtKHcaXze+aaw3eo3txl7jp8ZB46gRLT1aer10svTrcr78+/Ify39OTG8tTTH3G7Vn+a9/ASOtvwQ=</latexit>
27. 27
4. s(i,j,k) is learned from data.
1. Split data into training and validation sets.
2. Compute features of (i, j, k) from previous ideas using training data.
3. Throw features + validation labels into machine learning blender
→ learn model.
4. Re-compute features on combined training + validation
→ apply model on the data.
29. 29
A few lessons learned from applying all of these ideas.
1. We can predict pretty well on all datasets using some method.
→ 4x to 107x better than random w/r/t mean average precision
depending on the dataset/method
(only predicting on open triangles)
2. Thread co-participation and co-tagging on stack exchange are
consistently easy to predict.
3. Simply averaging Wij, Wjk, and Wik consistently performs well.
i
j k
Wij
Wjk
Wjk
30. Generalized means of edges weights are often good
predictors of new 3-node simplices appearing.
30
music-rap-genius
NDC-substances
NDC-classes
DAWN
coauth-DBLP
coauth-MAG-geology
coauth-MAG-history
congress-bills
congress-committees
tags-stack-overflow
tags-math-sx
tags-ask-ubuntu
email-Eu
email-Enron
threads-stack-overflow
threads-math-sx
threads-ask-ubuntu
contact-high-school
contact-primary-school
harmonic geometric arithmetic
p
4 3 2 1 0 1 2 3 4
0
20
40
60
80
Relativeperformance
4 3 2 1 0 1 2 3 4
p
2.5
5.0
7.5
10.0
12.5
Relativeperformance
4 3 2 1 0 1 2 3 4
p
1.0
1.5
2.0
2.5
3.0
3.5
Relativeperformance
Good performance from this local information is a deviation from classical link prediction,where
methods that use long paths (e.g.,PageRank) perform well [Liben-Nowell & Kleinberg 07].
For structures on k nodes,the subsets of size k-1 contain rich information only when k > 2.
i
j k
Wij
Wjk
Wjk
i
j k
?
scorep(i, j, k)
= (Wp
ij + Wp
jk + Wp
ik)1/p
<latexit sha1_base64="wECyDT1irjpegMdv/Iox6i4U4iU=">AAAHdXicfVVtb9s2EFa7Lem0t7T7OAxglzlIO/ktXZZkQAADK4oVa7FsdpoCoZtR0sliTEoqSTV2Cf2o/Zph37Zfsa872k5jOdkI2DqR99zDu3tIhYXg2nQ6f966/d77H6yt3/nQ/+jjTz79bOPuvRc6L1UEx1EucvUyZBoEz+DYcCPgZaGAyVDASTj+wa2fvAGleZ4NzLSAoWSjjCc8YganzjZ+2qIGJsbqKFdQnRXbPCDnARk/IJT6W/R1yWJySLZPziw/r14V5BuC5vn4ncmd+eCV7baL6mxjs9PqzAa5bnQXxqa3GEdnd9fu0TiPSgmZiQTT+rTbKczQMmV4JKDyaamhYNGYjeAUzYxJ0EM7y7oiDZyJSZIr/GWGzGb9ZQjGUWxai2INC0vB1KQ+G+b5GFd05dcpTbI/tDwrSgNZNGdMSkFMTlwtScwVREZMSZ3W8PHbIOMRJIpFAZNaMpMGBXfbDMz4bXOkWJEGko0hAiGupuabcnDBQ8XU1GWQX+ggxMgjlZdZrIOCGQMq04g3ik8CnbICdJBwE0RMRO49dphC5EYyNdb/FbUlwTBcnBVOgLGDMjHwK8SVVRDf3+/cDwXyLnuYFEYKIKvs7OF8LlJuYMUnFCVU1v0vefgNkhpT6O/bbVRcSxuMDZMoZdkIWlEu269L0E6Uut39bvdg56CtQXLUbohSlc0LbtKmS6LJs2aICgc183u0tzl/+NQVlOEJcPXx6UjkIRMUX6mD9SDTpYJenAvsfw/1H+UxHFIFgk0usTluvq6h00F3aF3jnABqXT4a9FnmiqsggwtMQLIstjRhkotpDAkrhaks1cmlXReJTpwqKr+xTKaxgxAfdloHQSQ5kqIsBCoeCcxEJy5EPUmMTTMzcaF6c7DVD0/xqO0Oq9WkHgOeMQX9qQxz8QRTsvMourI/P39W2cxRSF5ZWVmO26V9MDc540S8CgkXkAWHA/TLENtpStfSmwlWGfpPnruSXBIMurXy2XBSWS2uSJzzHG2foqerARNFyqqrrf72dKXq8UgAj9LmvPY3rWCjNd4u9etBujDLXZZ9PpLIROeqcuEsDaWl8/nqmizkM7yT45sQi4WqTvGQTkKmTlF8NA3ziaVv3H/Dp6kqBZAU+Cg1eLnu7RaGNMggBcIiUzJBEObTMd4QndbOLkwa5HI0yGP8nrAsAhKCucDz63wJkhE9K6M/p2r4hMwCNDutLsjGJbqf5gqrw7MRyTOCoiICEkM0j8EhlvLa7FbvguD9/+h/g6hZJrMolasCfkW6q9+M68aLnVYXt/fLt5u9/cX35I73hfeVt+11vT2v5/3oHXnHXuT97v3h/eX9vfbP+pfrX69vzV1v31pgPvdqY739L4qSnVk=</latexit><latexit sha1_base64="wECyDT1irjpegMdv/Iox6i4U4iU=">AAAHdXicfVVtb9s2EFa7Lem0t7T7OAxglzlIO/ktXZZkQAADK4oVa7FsdpoCoZtR0sliTEoqSTV2Cf2o/Zph37Zfsa872k5jOdkI2DqR99zDu3tIhYXg2nQ6f966/d77H6yt3/nQ/+jjTz79bOPuvRc6L1UEx1EucvUyZBoEz+DYcCPgZaGAyVDASTj+wa2fvAGleZ4NzLSAoWSjjCc8YganzjZ+2qIGJsbqKFdQnRXbPCDnARk/IJT6W/R1yWJySLZPziw/r14V5BuC5vn4ncmd+eCV7baL6mxjs9PqzAa5bnQXxqa3GEdnd9fu0TiPSgmZiQTT+rTbKczQMmV4JKDyaamhYNGYjeAUzYxJ0EM7y7oiDZyJSZIr/GWGzGb9ZQjGUWxai2INC0vB1KQ+G+b5GFd05dcpTbI/tDwrSgNZNGdMSkFMTlwtScwVREZMSZ3W8PHbIOMRJIpFAZNaMpMGBXfbDMz4bXOkWJEGko0hAiGupuabcnDBQ8XU1GWQX+ggxMgjlZdZrIOCGQMq04g3ik8CnbICdJBwE0RMRO49dphC5EYyNdb/FbUlwTBcnBVOgLGDMjHwK8SVVRDf3+/cDwXyLnuYFEYKIKvs7OF8LlJuYMUnFCVU1v0vefgNkhpT6O/bbVRcSxuMDZMoZdkIWlEu269L0E6Uut39bvdg56CtQXLUbohSlc0LbtKmS6LJs2aICgc183u0tzl/+NQVlOEJcPXx6UjkIRMUX6mD9SDTpYJenAvsfw/1H+UxHFIFgk0usTluvq6h00F3aF3jnABqXT4a9FnmiqsggwtMQLIstjRhkotpDAkrhaks1cmlXReJTpwqKr+xTKaxgxAfdloHQSQ5kqIsBCoeCcxEJy5EPUmMTTMzcaF6c7DVD0/xqO0Oq9WkHgOeMQX9qQxz8QRTsvMourI/P39W2cxRSF5ZWVmO26V9MDc540S8CgkXkAWHA/TLENtpStfSmwlWGfpPnruSXBIMurXy2XBSWS2uSJzzHG2foqerARNFyqqrrf72dKXq8UgAj9LmvPY3rWCjNd4u9etBujDLXZZ9PpLIROeqcuEsDaWl8/nqmizkM7yT45sQi4WqTvGQTkKmTlF8NA3ziaVv3H/Dp6kqBZAU+Cg1eLnu7RaGNMggBcIiUzJBEObTMd4QndbOLkwa5HI0yGP8nrAsAhKCucDz63wJkhE9K6M/p2r4hMwCNDutLsjGJbqf5gqrw7MRyTOCoiICEkM0j8EhlvLa7FbvguD9/+h/g6hZJrMolasCfkW6q9+M68aLnVYXt/fLt5u9/cX35I73hfeVt+11vT2v5/3oHXnHXuT97v3h/eX9vfbP+pfrX69vzV1v31pgPvdqY739L4qSnVk=</latexit><latexit sha1_base64="wECyDT1irjpegMdv/Iox6i4U4iU=">AAAHdXicfVVtb9s2EFa7Lem0t7T7OAxglzlIO/ktXZZkQAADK4oVa7FsdpoCoZtR0sliTEoqSTV2Cf2o/Zph37Zfsa872k5jOdkI2DqR99zDu3tIhYXg2nQ6f966/d77H6yt3/nQ/+jjTz79bOPuvRc6L1UEx1EucvUyZBoEz+DYcCPgZaGAyVDASTj+wa2fvAGleZ4NzLSAoWSjjCc8YganzjZ+2qIGJsbqKFdQnRXbPCDnARk/IJT6W/R1yWJySLZPziw/r14V5BuC5vn4ncmd+eCV7baL6mxjs9PqzAa5bnQXxqa3GEdnd9fu0TiPSgmZiQTT+rTbKczQMmV4JKDyaamhYNGYjeAUzYxJ0EM7y7oiDZyJSZIr/GWGzGb9ZQjGUWxai2INC0vB1KQ+G+b5GFd05dcpTbI/tDwrSgNZNGdMSkFMTlwtScwVREZMSZ3W8PHbIOMRJIpFAZNaMpMGBXfbDMz4bXOkWJEGko0hAiGupuabcnDBQ8XU1GWQX+ggxMgjlZdZrIOCGQMq04g3ik8CnbICdJBwE0RMRO49dphC5EYyNdb/FbUlwTBcnBVOgLGDMjHwK8SVVRDf3+/cDwXyLnuYFEYKIKvs7OF8LlJuYMUnFCVU1v0vefgNkhpT6O/bbVRcSxuMDZMoZdkIWlEu269L0E6Uut39bvdg56CtQXLUbohSlc0LbtKmS6LJs2aICgc183u0tzl/+NQVlOEJcPXx6UjkIRMUX6mD9SDTpYJenAvsfw/1H+UxHFIFgk0usTluvq6h00F3aF3jnABqXT4a9FnmiqsggwtMQLIstjRhkotpDAkrhaks1cmlXReJTpwqKr+xTKaxgxAfdloHQSQ5kqIsBCoeCcxEJy5EPUmMTTMzcaF6c7DVD0/xqO0Oq9WkHgOeMQX9qQxz8QRTsvMourI/P39W2cxRSF5ZWVmO26V9MDc540S8CgkXkAWHA/TLENtpStfSmwlWGfpPnruSXBIMurXy2XBSWS2uSJzzHG2foqerARNFyqqrrf72dKXq8UgAj9LmvPY3rWCjNd4u9etBujDLXZZ9PpLIROeqcuEsDaWl8/nqmizkM7yT45sQi4WqTvGQTkKmTlF8NA3ziaVv3H/Dp6kqBZAU+Cg1eLnu7RaGNMggBcIiUzJBEObTMd4QndbOLkwa5HI0yGP8nrAsAhKCucDz63wJkhE9K6M/p2r4hMwCNDutLsjGJbqf5gqrw7MRyTOCoiICEkM0j8EhlvLa7FbvguD9/+h/g6hZJrMolasCfkW6q9+M68aLnVYXt/fLt5u9/cX35I73hfeVt+11vT2v5/3oHXnHXuT97v3h/eX9vfbP+pfrX69vzV1v31pgPvdqY739L4qSnVk=</latexit><latexit sha1_base64="wECyDT1irjpegMdv/Iox6i4U4iU=">AAAHdXicfVVtb9s2EFa7Lem0t7T7OAxglzlIO/ktXZZkQAADK4oVa7FsdpoCoZtR0sliTEoqSTV2Cf2o/Zph37Zfsa872k5jOdkI2DqR99zDu3tIhYXg2nQ6f966/d77H6yt3/nQ/+jjTz79bOPuvRc6L1UEx1EucvUyZBoEz+DYcCPgZaGAyVDASTj+wa2fvAGleZ4NzLSAoWSjjCc8YganzjZ+2qIGJsbqKFdQnRXbPCDnARk/IJT6W/R1yWJySLZPziw/r14V5BuC5vn4ncmd+eCV7baL6mxjs9PqzAa5bnQXxqa3GEdnd9fu0TiPSgmZiQTT+rTbKczQMmV4JKDyaamhYNGYjeAUzYxJ0EM7y7oiDZyJSZIr/GWGzGb9ZQjGUWxai2INC0vB1KQ+G+b5GFd05dcpTbI/tDwrSgNZNGdMSkFMTlwtScwVREZMSZ3W8PHbIOMRJIpFAZNaMpMGBXfbDMz4bXOkWJEGko0hAiGupuabcnDBQ8XU1GWQX+ggxMgjlZdZrIOCGQMq04g3ik8CnbICdJBwE0RMRO49dphC5EYyNdb/FbUlwTBcnBVOgLGDMjHwK8SVVRDf3+/cDwXyLnuYFEYKIKvs7OF8LlJuYMUnFCVU1v0vefgNkhpT6O/bbVRcSxuMDZMoZdkIWlEu269L0E6Uut39bvdg56CtQXLUbohSlc0LbtKmS6LJs2aICgc183u0tzl/+NQVlOEJcPXx6UjkIRMUX6mD9SDTpYJenAvsfw/1H+UxHFIFgk0usTluvq6h00F3aF3jnABqXT4a9FnmiqsggwtMQLIstjRhkotpDAkrhaks1cmlXReJTpwqKr+xTKaxgxAfdloHQSQ5kqIsBCoeCcxEJy5EPUmMTTMzcaF6c7DVD0/xqO0Oq9WkHgOeMQX9qQxz8QRTsvMourI/P39W2cxRSF5ZWVmO26V9MDc540S8CgkXkAWHA/TLENtpStfSmwlWGfpPnruSXBIMurXy2XBSWS2uSJzzHG2foqerARNFyqqrrf72dKXq8UgAj9LmvPY3rWCjNd4u9etBujDLXZZ9PpLIROeqcuEsDaWl8/nqmizkM7yT45sQi4WqTvGQTkKmTlF8NA3ziaVv3H/Dp6kqBZAU+Cg1eLnu7RaGNMggBcIiUzJBEObTMd4QndbOLkwa5HI0yGP8nrAsAhKCucDz63wJkhE9K6M/p2r4hMwCNDutLsjGJbqf5gqrw7MRyTOCoiICEkM0j8EhlvLa7FbvguD9/+h/g6hZJrMolasCfkW6q9+M68aLnVYXt/fLt5u9/cX35I73hfeVt+11vT2v5/3oHXnHXuT97v3h/eX9vfbP+pfrX69vzV1v31pgPvdqY739L4qSnVk=</latexit>
31. We often only need the top-k weighted triangles,and
we have fast algorithms for finding them.
31
Ongoing research with Raunak Kumar (Cornell),
Paul Liu (Stanford), and Moses Charikar (Stanford).
dataset # nodes # edges Fast enumeration Fast top-k (k = 1000)
(running time in seconds)
MAG co-authorship 173M 544M 596 16
AMINER co-authorship 93M 324M 255 10
Ethereum transactions 38M 103M 91 33
Stack Overflow interactions 2.3M 21M 31 0.3
<latexit sha1_base64="mdYGaMTmuaSmiFRpYIZ9ilHXV0U=">AAAJZHicfVVtb9s2EHa9rWu0bmtX7NOAgV3iIi1sR7LjJB5QIO3abgWatavTFyAKOko6WYRJSiOpxq6g37Jfs6/b5/2B/Y4dJaWx02xCYtOne+45Hh/eBRln2rju35faH338yeVPr6w5n139/Isvr13/6qVOcxXCizDlqXodUA2cSXhhmOHwOlNARcDhVTD7wb5/9RaUZqk8NIsMjgWdShazkBo0vbne3vMDmDJZGBrknKqyUCQM8a90fJNmKufgRNQggyG3iL9OZBqBrpcQTavlI6oNAZkLUFXUUxPiexuzDbK5MSN3iee67sZt4vuOHwoW2cibXN0utnuj0iHNc4uQC5e+yLlhuN1cyGJQFmFZbKpcSianxDABhEmiIUxlpG+XFUdD4XQmWWpYvCBh2rP1BKnPwg77OwfVwuuPh/eJBR7c+9G60twkqdIJy5ay8HaHtftoe/ug+h7vWPOOBd47ePzzw+cXYW+RcYMbDmrcYDSyONfiHpoEFOSCGEWlpqGtoD7Nb69Jzx1WuLFnjUML67xiM5ZBxKgFxniiS4lu9xueihe9J4aGM/IUlRDz9ASrZfCsGip06zf5DbwKNrQ0br/i8YPUmFRUtfRBRu+F8ubautt3q4d8uPCaxXqreZ69uX75hh+lIcpEmpBTrY88NzPHBVV4shxQcLmGDPOkUzjCpaQC9HFRabwkHbREJE4V/ktDKquzDME4ii5WopzmOl+1Bmk6wze6dJxVThPvHRdMZjmqJKwp45yjjom9OiRiCkLDF2SV17DZu65kIcRY0i4VWlCTdDNm8+ya2bveVNEs6Qo6gxA4PzPVWVk4Z4GiamG3kJ7oboCRpyrNUc3djBo8K6kRbxSbd3VCM9DdmJluSHlof0cWk/HUCKpm+r+i9gUYii+rynEwxWEeG3gOEV55iG7uuTcDjrzLHqjMqQKQZVF9WZ+ThBk45xPwHMrCfi55OB2SGJPp77e2DMz72goQ5mFC5RT6YSq2fstBVwLc8nZG48F4S4NgKNAAe4jonTCT9Owmekz2AmxooCq/4e56/YU3HAtKseHZ+jj+lKcB5T7+9C1sH+95rmA/SjkKYB/bXYiN666vgNP5KTa1V29VA4fecWEPzgpg5ZSfHU7weqJNgYQT3ICgeBn8mArGFxHEFBtUWfg6Pl2vikTHVhWl01km03iCEN11++MutkQkRVlwlDwSmLmObYjVTWJsX5q5DbVfgwt95wjv2ui4PL+pB4CXTMFkIYKUP8ItFXUUXRZPD56UhbQUgpWFKAuG6foTMBc5oyE6DwkaSMNhAZM8wOM0uT3SiwnOM0weHdiSnBIceivlK4J5WWh+RmKda3TxGD1tDSjPElqepfrr43NVj6YcWJj06tpf9MbOA2wvq/1B2DDLpywmbCqQya9VZcMVfiAKv7aXH8hCPMERHF2EaF6UqxR3/HlA1RGKz0+CdF74b+1nx/ET23hJAmyaGOyuu6PMkA45TIBg+84pJwhz/Bl2CLc/GMG8834KdMgDHHdUhkACMCd4f60vQTKiqzI6NVUHh28VoOf2PRCdU/QEZxhWx05YHOkoKsIhNkSzCCxiaV/rXvk+CA6A4f8GUdVOqiilrQKOEe/80Phw8XLQ9zC9X7bX9+83A+VK65vWd63Nltfabe23fmo9a71ohe3f23+0/2z/deWftatrN9a+rl3blxrMjdbKs/btv52iIow=</latexit><latexit sha1_base64="mdYGaMTmuaSmiFRpYIZ9ilHXV0U=">AAAJZHicfVVtb9s2EHa9rWu0bmtX7NOAgV3iIi1sR7LjJB5QIO3abgWatavTFyAKOko6WYRJSiOpxq6g37Jfs6/b5/2B/Y4dJaWx02xCYtOne+45Hh/eBRln2rju35faH338yeVPr6w5n139/Isvr13/6qVOcxXCizDlqXodUA2cSXhhmOHwOlNARcDhVTD7wb5/9RaUZqk8NIsMjgWdShazkBo0vbne3vMDmDJZGBrknKqyUCQM8a90fJNmKufgRNQggyG3iL9OZBqBrpcQTavlI6oNAZkLUFXUUxPiexuzDbK5MSN3iee67sZt4vuOHwoW2cibXN0utnuj0iHNc4uQC5e+yLlhuN1cyGJQFmFZbKpcSianxDABhEmiIUxlpG+XFUdD4XQmWWpYvCBh2rP1BKnPwg77OwfVwuuPh/eJBR7c+9G60twkqdIJy5ay8HaHtftoe/ug+h7vWPOOBd47ePzzw+cXYW+RcYMbDmrcYDSyONfiHpoEFOSCGEWlpqGtoD7Nb69Jzx1WuLFnjUML67xiM5ZBxKgFxniiS4lu9xueihe9J4aGM/IUlRDz9ASrZfCsGip06zf5DbwKNrQ0br/i8YPUmFRUtfRBRu+F8ubautt3q4d8uPCaxXqreZ69uX75hh+lIcpEmpBTrY88NzPHBVV4shxQcLmGDPOkUzjCpaQC9HFRabwkHbREJE4V/ktDKquzDME4ii5WopzmOl+1Bmk6wze6dJxVThPvHRdMZjmqJKwp45yjjom9OiRiCkLDF2SV17DZu65kIcRY0i4VWlCTdDNm8+ya2bveVNEs6Qo6gxA4PzPVWVk4Z4GiamG3kJ7oboCRpyrNUc3djBo8K6kRbxSbd3VCM9DdmJluSHlof0cWk/HUCKpm+r+i9gUYii+rynEwxWEeG3gOEV55iG7uuTcDjrzLHqjMqQKQZVF9WZ+ThBk45xPwHMrCfi55OB2SGJPp77e2DMz72goQ5mFC5RT6YSq2fstBVwLc8nZG48F4S4NgKNAAe4jonTCT9Owmekz2AmxooCq/4e56/YU3HAtKseHZ+jj+lKcB5T7+9C1sH+95rmA/SjkKYB/bXYiN666vgNP5KTa1V29VA4fecWEPzgpg5ZSfHU7weqJNgYQT3ICgeBn8mArGFxHEFBtUWfg6Pl2vikTHVhWl01km03iCEN11++MutkQkRVlwlDwSmLmObYjVTWJsX5q5DbVfgwt95wjv2ui4PL+pB4CXTMFkIYKUP8ItFXUUXRZPD56UhbQUgpWFKAuG6foTMBc5oyE6DwkaSMNhAZM8wOM0uT3SiwnOM0weHdiSnBIceivlK4J5WWh+RmKda3TxGD1tDSjPElqepfrr43NVj6YcWJj06tpf9MbOA2wvq/1B2DDLpywmbCqQya9VZcMVfiAKv7aXH8hCPMERHF2EaF6UqxR3/HlA1RGKz0+CdF74b+1nx/ET23hJAmyaGOyuu6PMkA45TIBg+84pJwhz/Bl2CLc/GMG8834KdMgDHHdUhkACMCd4f60vQTKiqzI6NVUHh28VoOf2PRCdU/QEZxhWx05YHOkoKsIhNkSzCCxiaV/rXvk+CA6A4f8GUdVOqiilrQKOEe/80Phw8XLQ9zC9X7bX9+83A+VK65vWd63Nltfabe23fmo9a71ohe3f23+0/2z/deWftatrN9a+rl3blxrMjdbKs/btv52iIow=</latexit><latexit sha1_base64="mdYGaMTmuaSmiFRpYIZ9ilHXV0U=">AAAJZHicfVVtb9s2EHa9rWu0bmtX7NOAgV3iIi1sR7LjJB5QIO3abgWatavTFyAKOko6WYRJSiOpxq6g37Jfs6/b5/2B/Y4dJaWx02xCYtOne+45Hh/eBRln2rju35faH338yeVPr6w5n139/Isvr13/6qVOcxXCizDlqXodUA2cSXhhmOHwOlNARcDhVTD7wb5/9RaUZqk8NIsMjgWdShazkBo0vbne3vMDmDJZGBrknKqyUCQM8a90fJNmKufgRNQggyG3iL9OZBqBrpcQTavlI6oNAZkLUFXUUxPiexuzDbK5MSN3iee67sZt4vuOHwoW2cibXN0utnuj0iHNc4uQC5e+yLlhuN1cyGJQFmFZbKpcSianxDABhEmiIUxlpG+XFUdD4XQmWWpYvCBh2rP1BKnPwg77OwfVwuuPh/eJBR7c+9G60twkqdIJy5ay8HaHtftoe/ug+h7vWPOOBd47ePzzw+cXYW+RcYMbDmrcYDSyONfiHpoEFOSCGEWlpqGtoD7Nb69Jzx1WuLFnjUML67xiM5ZBxKgFxniiS4lu9xueihe9J4aGM/IUlRDz9ASrZfCsGip06zf5DbwKNrQ0br/i8YPUmFRUtfRBRu+F8ubautt3q4d8uPCaxXqreZ69uX75hh+lIcpEmpBTrY88NzPHBVV4shxQcLmGDPOkUzjCpaQC9HFRabwkHbREJE4V/ktDKquzDME4ii5WopzmOl+1Bmk6wze6dJxVThPvHRdMZjmqJKwp45yjjom9OiRiCkLDF2SV17DZu65kIcRY0i4VWlCTdDNm8+ya2bveVNEs6Qo6gxA4PzPVWVk4Z4GiamG3kJ7oboCRpyrNUc3djBo8K6kRbxSbd3VCM9DdmJluSHlof0cWk/HUCKpm+r+i9gUYii+rynEwxWEeG3gOEV55iG7uuTcDjrzLHqjMqQKQZVF9WZ+ThBk45xPwHMrCfi55OB2SGJPp77e2DMz72goQ5mFC5RT6YSq2fstBVwLc8nZG48F4S4NgKNAAe4jonTCT9Owmekz2AmxooCq/4e56/YU3HAtKseHZ+jj+lKcB5T7+9C1sH+95rmA/SjkKYB/bXYiN666vgNP5KTa1V29VA4fecWEPzgpg5ZSfHU7weqJNgYQT3ICgeBn8mArGFxHEFBtUWfg6Pl2vikTHVhWl01km03iCEN11++MutkQkRVlwlDwSmLmObYjVTWJsX5q5DbVfgwt95wjv2ui4PL+pB4CXTMFkIYKUP8ItFXUUXRZPD56UhbQUgpWFKAuG6foTMBc5oyE6DwkaSMNhAZM8wOM0uT3SiwnOM0weHdiSnBIceivlK4J5WWh+RmKda3TxGD1tDSjPElqepfrr43NVj6YcWJj06tpf9MbOA2wvq/1B2DDLpywmbCqQya9VZcMVfiAKv7aXH8hCPMERHF2EaF6UqxR3/HlA1RGKz0+CdF74b+1nx/ET23hJAmyaGOyuu6PMkA45TIBg+84pJwhz/Bl2CLc/GMG8834KdMgDHHdUhkACMCd4f60vQTKiqzI6NVUHh28VoOf2PRCdU/QEZxhWx05YHOkoKsIhNkSzCCxiaV/rXvk+CA6A4f8GUdVOqiilrQKOEe/80Phw8XLQ9zC9X7bX9+83A+VK65vWd63Nltfabe23fmo9a71ohe3f23+0/2z/deWftatrN9a+rl3blxrMjdbKs/btv52iIow=</latexit><latexit sha1_base64="mdYGaMTmuaSmiFRpYIZ9ilHXV0U=">AAAJZHicfVVtb9s2EHa9rWu0bmtX7NOAgV3iIi1sR7LjJB5QIO3abgWatavTFyAKOko6WYRJSiOpxq6g37Jfs6/b5/2B/Y4dJaWx02xCYtOne+45Hh/eBRln2rju35faH338yeVPr6w5n139/Isvr13/6qVOcxXCizDlqXodUA2cSXhhmOHwOlNARcDhVTD7wb5/9RaUZqk8NIsMjgWdShazkBo0vbne3vMDmDJZGBrknKqyUCQM8a90fJNmKufgRNQggyG3iL9OZBqBrpcQTavlI6oNAZkLUFXUUxPiexuzDbK5MSN3iee67sZt4vuOHwoW2cibXN0utnuj0iHNc4uQC5e+yLlhuN1cyGJQFmFZbKpcSianxDABhEmiIUxlpG+XFUdD4XQmWWpYvCBh2rP1BKnPwg77OwfVwuuPh/eJBR7c+9G60twkqdIJy5ay8HaHtftoe/ug+h7vWPOOBd47ePzzw+cXYW+RcYMbDmrcYDSyONfiHpoEFOSCGEWlpqGtoD7Nb69Jzx1WuLFnjUML67xiM5ZBxKgFxniiS4lu9xueihe9J4aGM/IUlRDz9ASrZfCsGip06zf5DbwKNrQ0br/i8YPUmFRUtfRBRu+F8ubautt3q4d8uPCaxXqreZ69uX75hh+lIcpEmpBTrY88NzPHBVV4shxQcLmGDPOkUzjCpaQC9HFRabwkHbREJE4V/ktDKquzDME4ii5WopzmOl+1Bmk6wze6dJxVThPvHRdMZjmqJKwp45yjjom9OiRiCkLDF2SV17DZu65kIcRY0i4VWlCTdDNm8+ya2bveVNEs6Qo6gxA4PzPVWVk4Z4GiamG3kJ7oboCRpyrNUc3djBo8K6kRbxSbd3VCM9DdmJluSHlof0cWk/HUCKpm+r+i9gUYii+rynEwxWEeG3gOEV55iG7uuTcDjrzLHqjMqQKQZVF9WZ+ThBk45xPwHMrCfi55OB2SGJPp77e2DMz72goQ5mFC5RT6YSq2fstBVwLc8nZG48F4S4NgKNAAe4jonTCT9Owmekz2AmxooCq/4e56/YU3HAtKseHZ+jj+lKcB5T7+9C1sH+95rmA/SjkKYB/bXYiN666vgNP5KTa1V29VA4fecWEPzgpg5ZSfHU7weqJNgYQT3ICgeBn8mArGFxHEFBtUWfg6Pl2vikTHVhWl01km03iCEN11++MutkQkRVlwlDwSmLmObYjVTWJsX5q5DbVfgwt95wjv2ui4PL+pB4CXTMFkIYKUP8ItFXUUXRZPD56UhbQUgpWFKAuG6foTMBc5oyE6DwkaSMNhAZM8wOM0uT3SiwnOM0weHdiSnBIceivlK4J5WWh+RmKda3TxGD1tDSjPElqepfrr43NVj6YcWJj06tpf9MbOA2wvq/1B2DDLpywmbCqQya9VZcMVfiAKv7aXH8hCPMERHF2EaF6UqxR3/HlA1RGKz0+CdF74b+1nx/ET23hJAmyaGOyuu6PMkA45TIBg+84pJwhz/Bl2CLc/GMG8834KdMgDHHdUhkACMCd4f60vQTKiqzI6NVUHh28VoOf2PRCdU/QEZxhWx05YHOkoKsIhNkSzCCxiaV/rXvk+CA6A4f8GUdVOqiilrQKOEe/80Phw8XLQ9zC9X7bX9+83A+VK65vWd63Nltfabe23fmo9a71ohe3f23+0/2z/deWftatrN9a+rl3blxrMjdbKs/btv52iIow=</latexit>
32. -1 -0.8 -0.6 -0.4 -0.2 0 0.2 0.4 0.6 0.8 1
0
50
100
150
200
250
300
350
400
450
500
Count
And some shameless plugs...
32
Graph-based Semi-Supervised & Active
Learning for Edge Flows.
Given traffic flows on some edges, how can
we interpolate to unobserved other edges?
RT16 10:00am-12:00n Thursday
Network Density of States.
How can we approximately compute the
entire spectrum of large, real-world graphs?
RT6 1:30pm-3:30pm Tuesday
Junteng Jia
Kun Dong
33. There are lots of opportunities in studying this data.
33
1. Higher-order data is pervasive!
We have ways to represent data, and higher-order link prediction is a
general framework for comparing comparing models and methods.
2. Please develop fancy embeddings to out-perform our baselines. 😁
3. Why does generalized mean between harm. and geom. work well?
4. Computation is more challenging and complex for 4-node patterns.
5. Generative models capturing summary statistics?
1
2
3
4
5
6
7
8
9
2
2
1
1
1
1
1
1
1
1
1
1
1
1
1
34. 34
THANKS! Austin R. Benson
Slides. bit.ly/arb-graphex-19
http://cs.cornell.edu/~arb
@austinbenson
arb@cs.cornell.edu
Higher-order
link prediction
Simplicial closure and higher-order link prediction.
Benson, Abebe, Schaub, Jadbabaie, & Kleinberg.
Proceedings of the National Academy of Sciences, 2018.
github.com/arbenson/ScHoLP-Tutorial
bit.ly/sc-holp-data
35. Most open triangles do not come from asynchronous
temporal behavior.
35
i
j k
In 61.1% to 97.4% of open triangles,
all three pairs of edges have an
overlapping period of activity.
⟶ there is an overlapping period of
activity between all 3 edges
(Helly’s theorem).
# overlaps
Dataset # open triangles 0 1 2 3
coauth-DBLP 1,295,214 0.012 0.143 0.123 0.722
coauth-MAG-history 96,420 0.002 0.055 0.059 0.884
coauth-MAG-geology 2,494,960 0.010 0.128 0.109 0.753
tags-stack-overflow 300,646,440 0.002 0.067 0.071 0.860
tags-math-sx 2,666,353 0.001 0.040 0.049 0.910
tags-ask-ubuntu 3,288,058 0.002 0.088 0.085 0.825
threads-stack-overflow 99,027,304 0.001 0.034 0.037 0.929
threads-math-sx 11,294,665 0.001 0.038 0.039 0.922
threads-ask-ubuntu 136,374 0.000 0.020 0.023 0.957
NDC-substances 1,136,357 0.020 0.196 0.151 0.633
NDC-classes 9,064 0.022 0.191 0.136 0.652
DAWN 5,682,552 0.027 0.216 0.155 0.602
congress-committees 190,054 0.001 0.046 0.058 0.895
congress-bills 44,857,465 0.003 0.063 0.113 0.821
email-Enron 3,317 0.008 0.130 0.151 0.711
email-Eu 234,600 0.010 0.131 0.132 0.727
contact-high-school 31,850 0.000 0.015 0.019 0.966
contact-primary-school 98,621 0.000 0.012 0.014 0.974
music-rap-genius 70,057 0.028 0.221 0.141 0.611
36. A simple model can account for open triangle variation.
36
• n nodes; only 3-node simplices; {i, j, k} included with prob. p = 1 / nb i.i.d.
• ⟶ always get ϴ(pn3) = ϴ(n3 - b) closed triangles in expectation.
b = 0.8, 0.82, 0.84, ..., 1.8
Larger b is darker marker.
Proposition (rough).
• b < 1 ⟶ ϴ(n3) open triangles in
expectation for large n.
• b > 1 ⟶ ϴ(n3(2-b)) open triangles
in expectation for large n.
• The number of open triangles
grows faster for b < 3/2.
10 1
100
Edge density in projected graph
0.00
0.25
0.50
0.75
1.00
Fractionoftrianglesopen
Exactly 3 nodes per simplex (simulated)
n = 200
n = 100
n = 50
n = 25
37. We still have variety with only 3-node simplices.
37
music-rap-genius
NDC-substances
NDC-classes
DAWN
coauth-DBLP
coauth-MAG-geology
coauth-MAG-history
congress-bills
congress-committees
tags-stack-overflow
tags-math-sx
tags-ask-ubuntu
email-Eu
email-Enron
threads-stack-overflow
threads-math-sx
threads-ask-ubuntu
contact-high-school
contact-primary-school
10 5
10 4
10 3
10 2
10 1
Edge density in projected graph
0.00
0.25
0.50
0.75
1.00
Fractionoftrianglesopen
Exactly 3 nodes per simplex