1. 1
Joint work with
Rediet Abebe & Jon Kleinberg (Cornell)
Michael Schaub & Ali Jadbabaie (MIT)
Gabor Lippner (Northeastern)
Paul Horn (Denver)
Simplicial closure &
simplicial diffusions
Austin R. Benson · Cornell
Buffalo Applied Math Seminar · Oct. 30, 2018
Slides. bit.ly/arb-UB18
1
2
3
4
5
6
7
8
9
2. Networks are sets of nodes and edges (graphs) that
model real-world systems.
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. 5
What are the basic organizational
principles of systems with
higher-order interactions?
6. We collected many datasets of timestamped simplices,
where each simplex is a subset of nodes.
6
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
7. Thinking of higher-order data as a weighted projected
graph with“filled-in”structures is a convenient viewpoint.
7
1
2
3
4
5
6
7
8
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.
9. 9
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
11. Dataset domain separation also occurs at the local level.
11
• 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.
12. Most open triangles do not come from asynchronous
temporal behavior.
12
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
13. A simple model can account for open triangle variation.
13
• 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 (sketch).
• 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
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.
HIV protease
inhibitors
UGT1A1
inhibitors
Breast cancer
resistance protein inhibitors
1
2+
2+
1
2+
1
1
2+
2+
1
2+
2+
2+
Reyataz
RedPharm
2003
Reyataz
Squibb & Sons
2003
Kaletra
Physicians
Total Care
2006
Promacta
GSK (25mg)
2008
Promacta
GSK (50mg)
2008
Kaletra
DOH Central
Pharmacy
2009
Evotaz
Squibb & Sons
2015
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)
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; Leskovec+ 08; Backstrom+ 06; Kossinets-Watts 06]
Closure probability Closure probability Closure probability
coauth-DBLP
coauth-MAG-geology
coauth-MAG-history
congress-bills
congress-committees
email-Eu
email-Enron
threads-stack-overflow
threads-math-sx
threads-ask-ubuntu
music-rap-genius
DAWNtags-stack-overflow
tags-math-sx
tags-ask-ubuntu NDC-substances
NDC-classes
contact-high-school
contact-primary-school
20. 20
How can we compare and evaluate
models for higher-order structure?
21. Link prediction is a classical machine learning problem
in network science that is used to evaluate models.
21
We observe data which is a list of edges in a graph up to some point t.
We want to predict which new edges will form in the future.
Shows up in a variety of applications
• Predicting new social relationships and friend recommendation.
[Backstrom-Leskovec 11; Wang+ 15]
• Inferring new links between genes and diseases.
[Wang-Gulbahce-Yu 11; Moreau-Tranchevent 12]
• Suggesting novel connections in the scientific community.
[Liben-Nowell-Kleinberg 07; Tang-Wu-Sun-Su 12]
Link prediction is also used as a framework to compare models/algorithms.
[Liben-Nowell-Kleinberg 03, 07; Lü-Zhau 11]
22. We propose“higher-order link prediction”as a similar
framework for evaluation of higher-order models.
22
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, want to
predict what groups of > 2
nodes will appear in a simplex
in the future.
t
1
2
3
4
5
6
7
8
9
We predict structure that classical link
prediction would not even consider!
Possible applications
• Novel combinations of drugs for treatments.
• Group chat recommendation in social networks.
• Team formation.
23. 23
Our structural analysis tells us what we should be
looking at for prediction.
1. Edge density is a positive indicator.
⟶ focus our attention on predicting which open
triangles become closed triangles.
2. Tie strength is a positive indicator.
⟶ various ways of incorporating this information
i
j k
Wij
Wjk
Wjk
24. 24
For every open triangle,we assign a score function (model)
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.
25. 25
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
Bi,s = Ind[i in sth simplex]
W = BBT
diag(BBT
)
A = spones(W)
Open problem. Fast way to find top-k scores? Without forming W?
26. 26
2. s(i,j,k) is a function of is a function of A[:,[i,j,k]]
i
j k
Wij
Wjk
Wjk
1. Number of common fourth neighbors
2. Generalized Jaccard coefficient
3. Preferential attachment
s(i, j, k) =
eT
(A:,i A:,j A:,k)
eT (spones(A:,i + A:,j + A:,k))
s(i, j, k) = eT
(A:,i A:,j A:,k)
s(i, j, k) = (eT
A:,i)(eT
A:,j)(eT
A:,k)
Bi,s = Ind[i in sth simplex]
W = BBT
diag(BBT
)
A = spones(W)
Open problem. Fast way to find top-k scores (or just sample)?
Generalization of ideas in [Seshadhri-Pinar-Kolda 13; Ballard+ 15] ?
27. 27
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)
Bi,s = Ind[i in sth simplex]
W = BBT
diag(BBT
)
A = spones(W)S = [(I A) 1
I ] A
S = [(I W) 1
I ] A
S = (I A(diag(A · e)) 1
) 1
A
S = (I W(diag(W · e)) 1
) 1
A
Hadamard product with A is just reducing storage costs.
28. 28
How do we actually solve the systems?
Want to reduce
memory cost (only
need scores on
open triangles).
For each node i that participates in an open triangle
1. Solve
2. Store ith column
using iterative solver with low tolerance
s(i, j, k) = Sij + Sji + Sjk + Skj + Sik + SkiBi,s = Ind[i in sth simplex]
W = BBT
diag(BBT
)
A = spones(W)
First compute = 1/(2 1(W))
to guarantee solution.
S = [(I W) 1
I ] A
(I W)si = ei
(si ei) A:,i
Open software problem.We would like block iterative solvers in Julia!
29. 29
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.
31. 31
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
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
32. Generalized means of edges weights are often good
predictors of new 3-node simplices appearing.
32
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, Katz) 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>
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. There is rich static and temporal structure in the datasets we collected.
3. We only briefly looked at 4-node patterns.
Computation becomes much more challenging for 4-node patterns.
Code. bit.ly/sc-holp-code
Data. bit.ly/sc-holp-data
Simplicial closure and higher-order link prediction.
Benson, Abebe, Schaub, Jadbabaie, & Kleinberg.
arXiv:1802.0619, 2018.
34. 34
The diffusion-based (PageRank-based) score functions
are still based on reducing the problem to a graph.
i
j k
Wij
Wjk
Wjk
PageRank (unweighted or weighted)
Bi,s = Ind[i in sth simplex]
W = BBT
diag(BBT
)
A = spones(W)
S = (I A(diag(A · e)) 1
) 1
A
S = (I W(diag(W · e)) 1
) 1
A
s(i,j,k) is is built from“whole-network”similarity scores on edges
s(i,j,k) = Sij + Sji + Sjk + Skj + Sik + Ski
35. 35
Simplicial diffusions.
Can we construct a “higher-order” diffusion that respects the topology?
Does this model work well for predicting higher-order structure?
36. Background. Graph diffusions like (personalized) PageRank
can be interpreted through normalized Laplacians.
36
What we would like for a “higher-order” personalized PageRank.
1. a higher-order Laplacian operator (like L0).
2. a normalization scheme for the Laplacian (like D-1).
(I ↵AD 1
)x = (1 ↵)ei
() ( I + L0)x = ei, = (1 ↵)/↵
L0 = I AD 1
= L0D 1
(random walk normalized Laplacian)
L0 = D A (graph Laplacian)<latexit sha1_base64="5T3xHb8uFm95DExjj9MjeZcYvFQ=">AAAIU3icfVXdchs1FLZDacNCoaGX3KhkXNpiO3ZKSAvTGTNkOnQmHQp2f2aiELS7Z70aS9qtpG2caPYVeBpu4S244Fm44WjXSbxOYGfs1Urn+76j8yOFueDGDgZ/t9feu/b+9RvrHwQffnTz409ubXz6ymSFjuBllIlMvwmZAcEVvLTcCniTa2AyFPA6nH3v11+/A214pib2JIdDyaaKJzxiFqeONtpf3CX3qHxGeoQykaeMUPkdlXu/uN6wvE/fzckTcm94voozcMQJpcFdQnmSIDYEyzzBl4hkNo2YcPvl0WCBrZc9qEvot/XnCiXZOpeuaJdZPEPt3IVX1dz+0eD8m74tWIyeWJhbp5mKM0mOmZgRlWnJBD+FmOyzXLCIM1XeP5PZX9Dv1fRNmqlmebqMOrq1OegPqodcHgwXg83W4nlxtHH9No2zqJCgbCSYMQfDQW4PHdOWRwLKgBYGchbN2BQOcKiYBHPoqpSWpIMzMUkyjT9lSTUbLEOQR7OTBouzLCwE0/PmbJhlM1wxZRA0NW3y6NBxlRcWVFRLJoUgNiO+UkjMNURWnJCmruWz067iESSaRV0mjc9XN+fez66dnfaq0HUlm0EEQlxM1V55uOChZvrEbyE7Nt0Qmac6K1RsujmzFrQyiLeaz7smZTmYbsJtF2si8t+xx+Qis5Lpmfkv1r7ESsPFKnICrJsUiYWfIS6dhvjOo8GdEFM7W7awKUw1gCpd9fI2xym3sGITigJK5/+XLIIOSa3NzTdbW1g/fWORG+ZRytQU+lEmt94WYHzLma3h1zuPtx9vGZAcOzPERpS9Y27Tnt9Ej6teiP0LurJ7uLtZvwLqA8qwv318AjoVWcgExU/qYSNQptAwijOBBTDC7o6yGJ5QDYLNz7AZOt8sooPJ8ND5xPkCaGT5xWTMlA+uBgXHuAGJfeVowiQXJzEkrBC2dNQkZ+NmkZjEV0UZdJbFDGYQ4ieD/uNuJDmKYlkILHkUsHOTeIrmJpGbKjv3VKMa7MyDA+y1ncNydVN7gE2mYXwiw0w8xS25msWU7sfn+6VTXkLy0snScXSXjsFeZYwT8SokXEAWGh4wLkJMpy18Sq8WWFUYP33uQ3ImMBk2wufCeemMuBDxxjXaPUNLH4PqkCwvXP312UrU46kAHqW9OvZXrWCiDR4vzfNBeprlLMsxn0pUonVVeTpHQ+loPV9eKgu5jzdOfBVisVA2JR7Qecj0ARYfTcNs7ug7/98JaKoLASQFPk0tnq67O7klHTJJgbDIFkwQhAV0hifEoL+9A/MOOXs6ZA9vS6YiIHjHHGP/eluCYsRUYQxqqU5ASEXQG/SHIDtn6HGaaYwOV1OSKYJFRQQklhgeg0cs7WtzWJ6T4AXw8H9JdLWTiqX0UcBrZLh6aVwevNruD9G9n77aHI0WF8p667PW5617rWFrtzVq/dB60XrZitq/tX9v/9H+88ZfN/5ZX1u/VpuutReY263Gs37zX3ns4oY=</latexit><latexit sha1_base64="5T3xHb8uFm95DExjj9MjeZcYvFQ=">AAAIU3icfVXdchs1FLZDacNCoaGX3KhkXNpiO3ZKSAvTGTNkOnQmHQp2f2aiELS7Z70aS9qtpG2caPYVeBpu4S244Fm44WjXSbxOYGfs1Urn+76j8yOFueDGDgZ/t9feu/b+9RvrHwQffnTz409ubXz6ymSFjuBllIlMvwmZAcEVvLTcCniTa2AyFPA6nH3v11+/A214pib2JIdDyaaKJzxiFqeONtpf3CX3qHxGeoQykaeMUPkdlXu/uN6wvE/fzckTcm94voozcMQJpcFdQnmSIDYEyzzBl4hkNo2YcPvl0WCBrZc9qEvot/XnCiXZOpeuaJdZPEPt3IVX1dz+0eD8m74tWIyeWJhbp5mKM0mOmZgRlWnJBD+FmOyzXLCIM1XeP5PZX9Dv1fRNmqlmebqMOrq1OegPqodcHgwXg83W4nlxtHH9No2zqJCgbCSYMQfDQW4PHdOWRwLKgBYGchbN2BQOcKiYBHPoqpSWpIMzMUkyjT9lSTUbLEOQR7OTBouzLCwE0/PmbJhlM1wxZRA0NW3y6NBxlRcWVFRLJoUgNiO+UkjMNURWnJCmruWz067iESSaRV0mjc9XN+fez66dnfaq0HUlm0EEQlxM1V55uOChZvrEbyE7Nt0Qmac6K1RsujmzFrQyiLeaz7smZTmYbsJtF2si8t+xx+Qis5Lpmfkv1r7ESsPFKnICrJsUiYWfIS6dhvjOo8GdEFM7W7awKUw1gCpd9fI2xym3sGITigJK5/+XLIIOSa3NzTdbW1g/fWORG+ZRytQU+lEmt94WYHzLma3h1zuPtx9vGZAcOzPERpS9Y27Tnt9Ej6teiP0LurJ7uLtZvwLqA8qwv318AjoVWcgExU/qYSNQptAwijOBBTDC7o6yGJ5QDYLNz7AZOt8sooPJ8ND5xPkCaGT5xWTMlA+uBgXHuAGJfeVowiQXJzEkrBC2dNQkZ+NmkZjEV0UZdJbFDGYQ4ieD/uNuJDmKYlkILHkUsHOTeIrmJpGbKjv3VKMa7MyDA+y1ncNydVN7gE2mYXwiw0w8xS25msWU7sfn+6VTXkLy0snScXSXjsFeZYwT8SokXEAWGh4wLkJMpy18Sq8WWFUYP33uQ3ImMBk2wufCeemMuBDxxjXaPUNLH4PqkCwvXP312UrU46kAHqW9OvZXrWCiDR4vzfNBeprlLMsxn0pUonVVeTpHQ+loPV9eKgu5jzdOfBVisVA2JR7Qecj0ARYfTcNs7ug7/98JaKoLASQFPk0tnq67O7klHTJJgbDIFkwQhAV0hifEoL+9A/MOOXs6ZA9vS6YiIHjHHGP/eluCYsRUYQxqqU5ASEXQG/SHIDtn6HGaaYwOV1OSKYJFRQQklhgeg0cs7WtzWJ6T4AXw8H9JdLWTiqX0UcBrZLh6aVwevNruD9G9n77aHI0WF8p667PW5617rWFrtzVq/dB60XrZitq/tX9v/9H+88ZfN/5ZX1u/VpuutReY263Gs37zX3ns4oY=</latexit><latexit sha1_base64="5T3xHb8uFm95DExjj9MjeZcYvFQ=">AAAIU3icfVXdchs1FLZDacNCoaGX3KhkXNpiO3ZKSAvTGTNkOnQmHQp2f2aiELS7Z70aS9qtpG2caPYVeBpu4S244Fm44WjXSbxOYGfs1Urn+76j8yOFueDGDgZ/t9feu/b+9RvrHwQffnTz409ubXz6ymSFjuBllIlMvwmZAcEVvLTcCniTa2AyFPA6nH3v11+/A214pib2JIdDyaaKJzxiFqeONtpf3CX3qHxGeoQykaeMUPkdlXu/uN6wvE/fzckTcm94voozcMQJpcFdQnmSIDYEyzzBl4hkNo2YcPvl0WCBrZc9qEvot/XnCiXZOpeuaJdZPEPt3IVX1dz+0eD8m74tWIyeWJhbp5mKM0mOmZgRlWnJBD+FmOyzXLCIM1XeP5PZX9Dv1fRNmqlmebqMOrq1OegPqodcHgwXg83W4nlxtHH9No2zqJCgbCSYMQfDQW4PHdOWRwLKgBYGchbN2BQOcKiYBHPoqpSWpIMzMUkyjT9lSTUbLEOQR7OTBouzLCwE0/PmbJhlM1wxZRA0NW3y6NBxlRcWVFRLJoUgNiO+UkjMNURWnJCmruWz067iESSaRV0mjc9XN+fez66dnfaq0HUlm0EEQlxM1V55uOChZvrEbyE7Nt0Qmac6K1RsujmzFrQyiLeaz7smZTmYbsJtF2si8t+xx+Qis5Lpmfkv1r7ESsPFKnICrJsUiYWfIS6dhvjOo8GdEFM7W7awKUw1gCpd9fI2xym3sGITigJK5/+XLIIOSa3NzTdbW1g/fWORG+ZRytQU+lEmt94WYHzLma3h1zuPtx9vGZAcOzPERpS9Y27Tnt9Ej6teiP0LurJ7uLtZvwLqA8qwv318AjoVWcgExU/qYSNQptAwijOBBTDC7o6yGJ5QDYLNz7AZOt8sooPJ8ND5xPkCaGT5xWTMlA+uBgXHuAGJfeVowiQXJzEkrBC2dNQkZ+NmkZjEV0UZdJbFDGYQ4ieD/uNuJDmKYlkILHkUsHOTeIrmJpGbKjv3VKMa7MyDA+y1ncNydVN7gE2mYXwiw0w8xS25msWU7sfn+6VTXkLy0snScXSXjsFeZYwT8SokXEAWGh4wLkJMpy18Sq8WWFUYP33uQ3ImMBk2wufCeemMuBDxxjXaPUNLH4PqkCwvXP312UrU46kAHqW9OvZXrWCiDR4vzfNBeprlLMsxn0pUonVVeTpHQ+loPV9eKgu5jzdOfBVisVA2JR7Qecj0ARYfTcNs7ug7/98JaKoLASQFPk0tnq67O7klHTJJgbDIFkwQhAV0hifEoL+9A/MOOXs6ZA9vS6YiIHjHHGP/eluCYsRUYQxqqU5ASEXQG/SHIDtn6HGaaYwOV1OSKYJFRQQklhgeg0cs7WtzWJ6T4AXw8H9JdLWTiqX0UcBrZLh6aVwevNruD9G9n77aHI0WF8p667PW5617rWFrtzVq/dB60XrZitq/tX9v/9H+88ZfN/5ZX1u/VpuutReY263Gs37zX3ns4oY=</latexit><latexit sha1_base64="5T3xHb8uFm95DExjj9MjeZcYvFQ=">AAAIU3icfVXdchs1FLZDacNCoaGX3KhkXNpiO3ZKSAvTGTNkOnQmHQp2f2aiELS7Z70aS9qtpG2caPYVeBpu4S244Fm44WjXSbxOYGfs1Urn+76j8yOFueDGDgZ/t9feu/b+9RvrHwQffnTz409ubXz6ymSFjuBllIlMvwmZAcEVvLTcCniTa2AyFPA6nH3v11+/A214pib2JIdDyaaKJzxiFqeONtpf3CX3qHxGeoQykaeMUPkdlXu/uN6wvE/fzckTcm94voozcMQJpcFdQnmSIDYEyzzBl4hkNo2YcPvl0WCBrZc9qEvot/XnCiXZOpeuaJdZPEPt3IVX1dz+0eD8m74tWIyeWJhbp5mKM0mOmZgRlWnJBD+FmOyzXLCIM1XeP5PZX9Dv1fRNmqlmebqMOrq1OegPqodcHgwXg83W4nlxtHH9No2zqJCgbCSYMQfDQW4PHdOWRwLKgBYGchbN2BQOcKiYBHPoqpSWpIMzMUkyjT9lSTUbLEOQR7OTBouzLCwE0/PmbJhlM1wxZRA0NW3y6NBxlRcWVFRLJoUgNiO+UkjMNURWnJCmruWz067iESSaRV0mjc9XN+fez66dnfaq0HUlm0EEQlxM1V55uOChZvrEbyE7Nt0Qmac6K1RsujmzFrQyiLeaz7smZTmYbsJtF2si8t+xx+Qis5Lpmfkv1r7ESsPFKnICrJsUiYWfIS6dhvjOo8GdEFM7W7awKUw1gCpd9fI2xym3sGITigJK5/+XLIIOSa3NzTdbW1g/fWORG+ZRytQU+lEmt94WYHzLma3h1zuPtx9vGZAcOzPERpS9Y27Tnt9Ej6teiP0LurJ7uLtZvwLqA8qwv318AjoVWcgExU/qYSNQptAwijOBBTDC7o6yGJ5QDYLNz7AZOt8sooPJ8ND5xPkCaGT5xWTMlA+uBgXHuAGJfeVowiQXJzEkrBC2dNQkZ+NmkZjEV0UZdJbFDGYQ4ieD/uNuJDmKYlkILHkUsHOTeIrmJpGbKjv3VKMa7MyDA+y1ncNydVN7gE2mYXwiw0w8xS25msWU7sfn+6VTXkLy0snScXSXjsFeZYwT8SokXEAWGh4wLkJMpy18Sq8WWFUYP33uQ3ImMBk2wufCeemMuBDxxjXaPUNLH4PqkCwvXP312UrU46kAHqW9OvZXrWCiDR4vzfNBeprlLMsxn0pUonVVeTpHQ+loPV9eKgu5jzdOfBVisVA2JR7Qecj0ARYfTcNs7ug7/98JaKoLASQFPk0tnq67O7klHTJJgbDIFkwQhAV0hifEoL+9A/MOOXs6ZA9vS6YiIHjHHGP/eluCYsRUYQxqqU5ASEXQG/SHIDtn6HGaaYwOV1OSKYJFRQQklhgeg0cs7WtzWJ6T4AXw8H9JdLWTiqX0UcBrZLh6aVwevNruD9G9n77aHI0WF8p667PW5617rWFrtzVq/dB60XrZitq/tX9v/9H+88ZfN/5ZX1u/VpuutReY263Gs37zX3ns4oY=</latexit>
37. Background. By interpreting our data as a simplicial
complex,we can use the Hodge Laplacian.
37
• (Abstract) simplicial complex X: if A 2 X and B ✓ A, then B 2 X.
• Graph G = (V, E) as a SC: X = E [ V.
• Triangle complex: X = T [ E [ V, where T = triangles in G.
• Can induce a complex from higher-order interactions.<latexit sha1_base64="a/EN+ma1FzGxvRCvhiEYZNYB6Ww=">AAAIZXicfVXdbts2FLa7rfW0dWvWYTe7GLvYQFrIjp0iS9MhgNO0zQq0WDc7aYDIyCjpyCJMUipJ1XYEvcueZrfb7Z5gr7FD2U5iJ5sAW9Th+b5Dnl8/5Uybdvvv6q2PPv7k9p3ap85nn9/94st7a18d6yRTARwFCU/UiU81cCbhyDDD4SRVQIXP4Z0/OrD77z6A0iyRfTNNYSDoULKIBdSg6Gytuuv5MGQyZwYEO4fC8eyKbOz72igamIdEM4EnCRjlJEhwCRNSP6k/9X4kLCL1feIxSU7qhMqQ1J8RT2e+BgPvyX7dJSYGWUpLndac/FDRNCb1Q7JHNo5d8uIhojWhpHdgWesnKH9BvCBLyfEFpq8YlUMOizNcaPZnmhcAl4xjUEDqfdysEzPHaYJHqB9e8B1QiZIwCwANL+4VqUSQmA2RoJmoEBSqGLBuQGdphIIMLzx1dm+93WqXD7m+6MwX65X58/Zs7fZ9L0yCTIA0Aadan3baqRnkVBkWcOv6TENKgxEdwikuJRWgB3kZ5II0UBKSKFH4k4aUUucqBHkUnS6x5Ib6Gadqsiz1k2SEO7pwnGWbJnoyyJlMMwMymJmMMk5MQmzukJApCAyfkmW7ho3OXckCiNBTLhVaUBO7KbPndM3ovDm08XYFHUEAnF+KZqeycM58RdXUXiEZa9dH5qFKMhlqN6UGQyA14jGWE1fHNAXtRsy4AeWB/Q4tJuWJEVSN9H+xtgQYipul5ziYvJ9FBn6FsMgVhA+etB/4HO1e1cD0HSoAWeTly+qMY4z/io7PMyhy+39Fw2mQ2JhUP93cNDBpaYPcMAlizEZoYcJtvs9Al3m12flhe3drd1NjXmGt+liaojlmJm7aSzSZbPpY0aBKvcc767OX41mHUqx46x/HG/LEp9zDT8/CuiB1pqAbJhwToIv1HiQh7HkKOJ0ssAkefjmJTvudQW4DZxNgKcpv+z0qrXMVSBjjBQRWfO5FVDA+DSGiGTdF7ulosV5OEh3ZrCicxlVjGiMI4V67tesGwpYapgXHlEcDZqIjS7F8SeT2pJlYqu4MnOtHp1hr24Ni9VLPAYtMQW8q/IS/xCvlMxZd5D+/eV3k0poQrMhFgTWN8B6Ym5RREK5C/DlkbsMCetj3sAFnNqQ3G1i10Hv5xrpkYaDfWXJf7k+KXPNLI1Z5hs5foab1AeVpTIvLo/72asXrIXY+FsTNme9v2sFAa2wvy/1BWJqrURY9NhRoyZtllaXLPV/k3kxeXEsL8RpnUHgTYr5RLJt45E18qk4x+bzYTya598H+NxwvVhk2/RiwKRvsrjvbqSEN0o+xbQcmw5mEMMcbYYdot7a2YdIgi6dBnuP8pBI7vA9mjPVrdcs5pUs3OjNTDYeQkqDZbnVANBboXpwo9A6TQ5JIO8kIh8jgOAzBIq7ca71TXJDgAHj8vySqvEnJUlgv4BjprA6N64vjrVYHj/fL1nr32Xyg1CrfVr6vbFQ6lZ1Kt/JT5W3lqBJUf6/+Uf2z+tedf2p3a1/Xvpmp3qrOMfcrS0/tu38B8UvoJw==</latexit><latexit sha1_base64="a/EN+ma1FzGxvRCvhiEYZNYB6Ww=">AAAIZXicfVXdbts2FLa7rfW0dWvWYTe7GLvYQFrIjp0iS9MhgNO0zQq0WDc7aYDIyCjpyCJMUipJ1XYEvcueZrfb7Z5gr7FD2U5iJ5sAW9Th+b5Dnl8/5Uybdvvv6q2PPv7k9p3ap85nn9/94st7a18d6yRTARwFCU/UiU81cCbhyDDD4SRVQIXP4Z0/OrD77z6A0iyRfTNNYSDoULKIBdSg6Gytuuv5MGQyZwYEO4fC8eyKbOz72igamIdEM4EnCRjlJEhwCRNSP6k/9X4kLCL1feIxSU7qhMqQ1J8RT2e+BgPvyX7dJSYGWUpLndac/FDRNCb1Q7JHNo5d8uIhojWhpHdgWesnKH9BvCBLyfEFpq8YlUMOizNcaPZnmhcAl4xjUEDqfdysEzPHaYJHqB9e8B1QiZIwCwANL+4VqUSQmA2RoJmoEBSqGLBuQGdphIIMLzx1dm+93WqXD7m+6MwX65X58/Zs7fZ9L0yCTIA0Aadan3baqRnkVBkWcOv6TENKgxEdwikuJRWgB3kZ5II0UBKSKFH4k4aUUucqBHkUnS6x5Ib6Gadqsiz1k2SEO7pwnGWbJnoyyJlMMwMymJmMMk5MQmzukJApCAyfkmW7ho3OXckCiNBTLhVaUBO7KbPndM3ovDm08XYFHUEAnF+KZqeycM58RdXUXiEZa9dH5qFKMhlqN6UGQyA14jGWE1fHNAXtRsy4AeWB/Q4tJuWJEVSN9H+xtgQYipul5ziYvJ9FBn6FsMgVhA+etB/4HO1e1cD0HSoAWeTly+qMY4z/io7PMyhy+39Fw2mQ2JhUP93cNDBpaYPcMAlizEZoYcJtvs9Al3m12flhe3drd1NjXmGt+liaojlmJm7aSzSZbPpY0aBKvcc767OX41mHUqx46x/HG/LEp9zDT8/CuiB1pqAbJhwToIv1HiQh7HkKOJ0ssAkefjmJTvudQW4DZxNgKcpv+z0qrXMVSBjjBQRWfO5FVDA+DSGiGTdF7ulosV5OEh3ZrCicxlVjGiMI4V67tesGwpYapgXHlEcDZqIjS7F8SeT2pJlYqu4MnOtHp1hr24Ni9VLPAYtMQW8q/IS/xCvlMxZd5D+/eV3k0poQrMhFgTWN8B6Ym5RREK5C/DlkbsMCetj3sAFnNqQ3G1i10Hv5xrpkYaDfWXJf7k+KXPNLI1Z5hs5foab1AeVpTIvLo/72asXrIXY+FsTNme9v2sFAa2wvy/1BWJqrURY9NhRoyZtllaXLPV/k3kxeXEsL8RpnUHgTYr5RLJt45E18qk4x+bzYTya598H+NxwvVhk2/RiwKRvsrjvbqSEN0o+xbQcmw5mEMMcbYYdot7a2YdIgi6dBnuP8pBI7vA9mjPVrdcs5pUs3OjNTDYeQkqDZbnVANBboXpwo9A6TQ5JIO8kIh8jgOAzBIq7ca71TXJDgAHj8vySqvEnJUlgv4BjprA6N64vjrVYHj/fL1nr32Xyg1CrfVr6vbFQ6lZ1Kt/JT5W3lqBJUf6/+Uf2z+tedf2p3a1/Xvpmp3qrOMfcrS0/tu38B8UvoJw==</latexit><latexit sha1_base64="a/EN+ma1FzGxvRCvhiEYZNYB6Ww=">AAAIZXicfVXdbts2FLa7rfW0dWvWYTe7GLvYQFrIjp0iS9MhgNO0zQq0WDc7aYDIyCjpyCJMUipJ1XYEvcueZrfb7Z5gr7FD2U5iJ5sAW9Th+b5Dnl8/5Uybdvvv6q2PPv7k9p3ap85nn9/94st7a18d6yRTARwFCU/UiU81cCbhyDDD4SRVQIXP4Z0/OrD77z6A0iyRfTNNYSDoULKIBdSg6Gytuuv5MGQyZwYEO4fC8eyKbOz72igamIdEM4EnCRjlJEhwCRNSP6k/9X4kLCL1feIxSU7qhMqQ1J8RT2e+BgPvyX7dJSYGWUpLndac/FDRNCb1Q7JHNo5d8uIhojWhpHdgWesnKH9BvCBLyfEFpq8YlUMOizNcaPZnmhcAl4xjUEDqfdysEzPHaYJHqB9e8B1QiZIwCwANL+4VqUSQmA2RoJmoEBSqGLBuQGdphIIMLzx1dm+93WqXD7m+6MwX65X58/Zs7fZ9L0yCTIA0Aadan3baqRnkVBkWcOv6TENKgxEdwikuJRWgB3kZ5II0UBKSKFH4k4aUUucqBHkUnS6x5Ib6Gadqsiz1k2SEO7pwnGWbJnoyyJlMMwMymJmMMk5MQmzukJApCAyfkmW7ho3OXckCiNBTLhVaUBO7KbPndM3ovDm08XYFHUEAnF+KZqeycM58RdXUXiEZa9dH5qFKMhlqN6UGQyA14jGWE1fHNAXtRsy4AeWB/Q4tJuWJEVSN9H+xtgQYipul5ziYvJ9FBn6FsMgVhA+etB/4HO1e1cD0HSoAWeTly+qMY4z/io7PMyhy+39Fw2mQ2JhUP93cNDBpaYPcMAlizEZoYcJtvs9Al3m12flhe3drd1NjXmGt+liaojlmJm7aSzSZbPpY0aBKvcc767OX41mHUqx46x/HG/LEp9zDT8/CuiB1pqAbJhwToIv1HiQh7HkKOJ0ssAkefjmJTvudQW4DZxNgKcpv+z0qrXMVSBjjBQRWfO5FVDA+DSGiGTdF7ulosV5OEh3ZrCicxlVjGiMI4V67tesGwpYapgXHlEcDZqIjS7F8SeT2pJlYqu4MnOtHp1hr24Ni9VLPAYtMQW8q/IS/xCvlMxZd5D+/eV3k0poQrMhFgTWN8B6Ym5RREK5C/DlkbsMCetj3sAFnNqQ3G1i10Hv5xrpkYaDfWXJf7k+KXPNLI1Z5hs5foab1AeVpTIvLo/72asXrIXY+FsTNme9v2sFAa2wvy/1BWJqrURY9NhRoyZtllaXLPV/k3kxeXEsL8RpnUHgTYr5RLJt45E18qk4x+bzYTya598H+NxwvVhk2/RiwKRvsrjvbqSEN0o+xbQcmw5mEMMcbYYdot7a2YdIgi6dBnuP8pBI7vA9mjPVrdcs5pUs3OjNTDYeQkqDZbnVANBboXpwo9A6TQ5JIO8kIh8jgOAzBIq7ca71TXJDgAHj8vySqvEnJUlgv4BjprA6N64vjrVYHj/fL1nr32Xyg1CrfVr6vbFQ6lZ1Kt/JT5W3lqBJUf6/+Uf2z+tedf2p3a1/Xvpmp3qrOMfcrS0/tu38B8UvoJw==</latexit><latexit sha1_base64="a/EN+ma1FzGxvRCvhiEYZNYB6Ww=">AAAIZXicfVXdbts2FLa7rfW0dWvWYTe7GLvYQFrIjp0iS9MhgNO0zQq0WDc7aYDIyCjpyCJMUipJ1XYEvcueZrfb7Z5gr7FD2U5iJ5sAW9Th+b5Dnl8/5Uybdvvv6q2PPv7k9p3ap85nn9/94st7a18d6yRTARwFCU/UiU81cCbhyDDD4SRVQIXP4Z0/OrD77z6A0iyRfTNNYSDoULKIBdSg6Gytuuv5MGQyZwYEO4fC8eyKbOz72igamIdEM4EnCRjlJEhwCRNSP6k/9X4kLCL1feIxSU7qhMqQ1J8RT2e+BgPvyX7dJSYGWUpLndac/FDRNCb1Q7JHNo5d8uIhojWhpHdgWesnKH9BvCBLyfEFpq8YlUMOizNcaPZnmhcAl4xjUEDqfdysEzPHaYJHqB9e8B1QiZIwCwANL+4VqUSQmA2RoJmoEBSqGLBuQGdphIIMLzx1dm+93WqXD7m+6MwX65X58/Zs7fZ9L0yCTIA0Aadan3baqRnkVBkWcOv6TENKgxEdwikuJRWgB3kZ5II0UBKSKFH4k4aUUucqBHkUnS6x5Ib6Gadqsiz1k2SEO7pwnGWbJnoyyJlMMwMymJmMMk5MQmzukJApCAyfkmW7ho3OXckCiNBTLhVaUBO7KbPndM3ovDm08XYFHUEAnF+KZqeycM58RdXUXiEZa9dH5qFKMhlqN6UGQyA14jGWE1fHNAXtRsy4AeWB/Q4tJuWJEVSN9H+xtgQYipul5ziYvJ9FBn6FsMgVhA+etB/4HO1e1cD0HSoAWeTly+qMY4z/io7PMyhy+39Fw2mQ2JhUP93cNDBpaYPcMAlizEZoYcJtvs9Al3m12flhe3drd1NjXmGt+liaojlmJm7aSzSZbPpY0aBKvcc767OX41mHUqx46x/HG/LEp9zDT8/CuiB1pqAbJhwToIv1HiQh7HkKOJ0ssAkefjmJTvudQW4DZxNgKcpv+z0qrXMVSBjjBQRWfO5FVDA+DSGiGTdF7ulosV5OEh3ZrCicxlVjGiMI4V67tesGwpYapgXHlEcDZqIjS7F8SeT2pJlYqu4MnOtHp1hr24Ni9VLPAYtMQW8q/IS/xCvlMxZd5D+/eV3k0poQrMhFgTWN8B6Ym5RREK5C/DlkbsMCetj3sAFnNqQ3G1i10Hv5xrpkYaDfWXJf7k+KXPNLI1Z5hs5foab1AeVpTIvLo/72asXrIXY+FsTNme9v2sFAa2wvy/1BWJqrURY9NhRoyZtllaXLPV/k3kxeXEsL8RpnUHgTYr5RLJt45E18qk4x+bzYTya598H+NxwvVhk2/RiwKRvsrjvbqSEN0o+xbQcmw5mEMMcbYYdot7a2YdIgi6dBnuP8pBI7vA9mjPVrdcs5pUs3OjNTDYeQkqDZbnVANBboXpwo9A6TQ5JIO8kIh8jgOAzBIq7ca71TXJDgAHj8vySqvEnJUlgv4BjprA6N64vjrVYHj/fL1nr32Xyg1CrfVr6vbFQ6lZ1Kt/JT5W3lqBJUf6/+Uf2z+tedf2p3a1/Xvpmp3qrOMfcrS0/tu38B8UvoJw==</latexit>
38. 38
L0 = 0T
0 + B1BT
1 (graph Laplacian operates on nodes)
L1 = BT
1B1 + B2BT
2 (edge Laplacian operates on oriented edges)<latexit sha1_base64="0ELupNvvSGkkkMNjw2b5S9T1J+8=">AAAH7nicfVXdbts2FFa6re60v3S93A27wEPb2Y6dLkszIEDQFcUKpGg2O22G0M0o6cgiTFIqSTV2Cb3G7obd7j32FHubHUrOEjvpCJiiyfN9H3l+yKgQ3Nh+/5+1Gx98+NHN1q2Pw08+/ezzL9Zvf/nS5KWO4SjORa6PI2ZAcAVHllsBx4UGJiMBr6Lpj3791VvQhudqZOcFjCWbKJ7ymFmcOl3/++C0T77ZI1Qym0Wp61evRxdj8i0uPD4d1N3rEaFvSpbcoxZm1k00KzJywArBYs4UyQvQzIIhuSIqT8BU9ykND04HDX1NUH8WpFt1t0IKyQTew0lBFpnLNQdlIamIN200Ttc3+r1+3cjVwWAx2AgW7fD09s07NMnjUiJVLJgxJ4N+YceOactjAVVISwMFi6dsAic4VEyCGbva2xVp40xC0lzjT1lSz4aXIcij2XyJxVkWlYLp2fJslOdTXDFVGC5r2vTR2HFVlBZU3EimpSA2Jz6IJOEaYivmZFnX8um7juIxpJrFHSaND2Sn4H6fHTt9161j1pFsCjEIcTHV7MrDBY8003N/hPzMdCJknui8VInpFMxa0Mog3mo+65iMFWA6KbedmInY/088phC5lUxPzftYexIsw8XacwKsG5WphV8wqE5DcvdR/26E8Z9etrAZTDSAqlz98TZnGbewYhOJEirn+0sWYZtk1hbmh81NzLGescgNszhjagK9OJebb0owvhrM5uD77d2t3U0DkmPRRFgjsnvGbdb1h+hy1Y2wtEDXdg93NppPSL1DGZae909IJyKPmKD4l3rYPihTathPcoEJsI+FF2N17FENgs3OsTlufjmJTkaDsfOB8wmwFOXD0ZAp71wNCs7wAJKpxNGUSS7mCaSsFLZy1KTn4+UkManPiipsXxYzGEFI9vq93U4sOYpiWghMeRSwM5N6iuVDIjdVduap9huwMw9OsNa2x9XqoZ4AFpmG4VxGuXiKR3INi6nci+cHlVNeQvLKycpx3C4dgr3OGCeSVUi0gCw0PGBYRhhOW/qQXi+wqjB8+ty75FxgNFhyn4tmlTPiQsQbN2j3DC29D5goMlZdbPW3ZyteTyYCeJx1G99ft4KBNni9LN8P0tNcjrIc8olEJdpkladzNJKONvPVlbSQB/gYJNchFgvVssQDOouYPsHko1mUzxx96/t2SDNdCiAZ8Elm8Xbd2S4saZNRBoTFtmSCICykU7wh+r2tbZi1yXlrkyf4kDEVA4nAnmH9eluCYsTUbgwbqXZISE3Q7fcGINvn6GGWa/QOVxP/DmBSEQGpJYYn4BGXzrUxqP4jwQfg4f+S6PokNUvlvYDPyGD10bg6eLnVG+D2fv5uY//x4kG5FXwVfB3cCwbBTrAf/BQcBkdBvHZ/7cXa8dqvraL1e+uP1p+N6Y21BeZOsNRaf/0LSI3HqQ==</latexit><latexit sha1_base64="0ELupNvvSGkkkMNjw2b5S9T1J+8=">AAAH7nicfVXdbts2FFa6re60v3S93A27wEPb2Y6dLkszIEDQFcUKpGg2O22G0M0o6cgiTFIqSTV2Cb3G7obd7j32FHubHUrOEjvpCJiiyfN9H3l+yKgQ3Nh+/5+1Gx98+NHN1q2Pw08+/ezzL9Zvf/nS5KWO4SjORa6PI2ZAcAVHllsBx4UGJiMBr6Lpj3791VvQhudqZOcFjCWbKJ7ymFmcOl3/++C0T77ZI1Qym0Wp61evRxdj8i0uPD4d1N3rEaFvSpbcoxZm1k00KzJywArBYs4UyQvQzIIhuSIqT8BU9ykND04HDX1NUH8WpFt1t0IKyQTew0lBFpnLNQdlIamIN200Ttc3+r1+3cjVwWAx2AgW7fD09s07NMnjUiJVLJgxJ4N+YceOactjAVVISwMFi6dsAic4VEyCGbva2xVp40xC0lzjT1lSz4aXIcij2XyJxVkWlYLp2fJslOdTXDFVGC5r2vTR2HFVlBZU3EimpSA2Jz6IJOEaYivmZFnX8um7juIxpJrFHSaND2Sn4H6fHTt9161j1pFsCjEIcTHV7MrDBY8003N/hPzMdCJknui8VInpFMxa0Mog3mo+65iMFWA6KbedmInY/088phC5lUxPzftYexIsw8XacwKsG5WphV8wqE5DcvdR/26E8Z9etrAZTDSAqlz98TZnGbewYhOJEirn+0sWYZtk1hbmh81NzLGescgNszhjagK9OJebb0owvhrM5uD77d2t3U0DkmPRRFgjsnvGbdb1h+hy1Y2wtEDXdg93NppPSL1DGZae909IJyKPmKD4l3rYPihTathPcoEJsI+FF2N17FENgs3OsTlufjmJTkaDsfOB8wmwFOXD0ZAp71wNCs7wAJKpxNGUSS7mCaSsFLZy1KTn4+UkManPiipsXxYzGEFI9vq93U4sOYpiWghMeRSwM5N6iuVDIjdVduap9huwMw9OsNa2x9XqoZ4AFpmG4VxGuXiKR3INi6nci+cHlVNeQvLKycpx3C4dgr3OGCeSVUi0gCw0PGBYRhhOW/qQXi+wqjB8+ty75FxgNFhyn4tmlTPiQsQbN2j3DC29D5goMlZdbPW3ZyteTyYCeJx1G99ft4KBNni9LN8P0tNcjrIc8olEJdpkladzNJKONvPVlbSQB/gYJNchFgvVssQDOouYPsHko1mUzxx96/t2SDNdCiAZ8Elm8Xbd2S4saZNRBoTFtmSCICykU7wh+r2tbZi1yXlrkyf4kDEVA4nAnmH9eluCYsTUbgwbqXZISE3Q7fcGINvn6GGWa/QOVxP/DmBSEQGpJYYn4BGXzrUxqP4jwQfg4f+S6PokNUvlvYDPyGD10bg6eLnVG+D2fv5uY//x4kG5FXwVfB3cCwbBTrAf/BQcBkdBvHZ/7cXa8dqvraL1e+uP1p+N6Y21BeZOsNRaf/0LSI3HqQ==</latexit><latexit sha1_base64="0ELupNvvSGkkkMNjw2b5S9T1J+8=">AAAH7nicfVXdbts2FFa6re60v3S93A27wEPb2Y6dLkszIEDQFcUKpGg2O22G0M0o6cgiTFIqSTV2Cb3G7obd7j32FHubHUrOEjvpCJiiyfN9H3l+yKgQ3Nh+/5+1Gx98+NHN1q2Pw08+/ezzL9Zvf/nS5KWO4SjORa6PI2ZAcAVHllsBx4UGJiMBr6Lpj3791VvQhudqZOcFjCWbKJ7ymFmcOl3/++C0T77ZI1Qym0Wp61evRxdj8i0uPD4d1N3rEaFvSpbcoxZm1k00KzJywArBYs4UyQvQzIIhuSIqT8BU9ykND04HDX1NUH8WpFt1t0IKyQTew0lBFpnLNQdlIamIN200Ttc3+r1+3cjVwWAx2AgW7fD09s07NMnjUiJVLJgxJ4N+YceOactjAVVISwMFi6dsAic4VEyCGbva2xVp40xC0lzjT1lSz4aXIcij2XyJxVkWlYLp2fJslOdTXDFVGC5r2vTR2HFVlBZU3EimpSA2Jz6IJOEaYivmZFnX8um7juIxpJrFHSaND2Sn4H6fHTt9161j1pFsCjEIcTHV7MrDBY8003N/hPzMdCJknui8VInpFMxa0Mog3mo+65iMFWA6KbedmInY/088phC5lUxPzftYexIsw8XacwKsG5WphV8wqE5DcvdR/26E8Z9etrAZTDSAqlz98TZnGbewYhOJEirn+0sWYZtk1hbmh81NzLGescgNszhjagK9OJebb0owvhrM5uD77d2t3U0DkmPRRFgjsnvGbdb1h+hy1Y2wtEDXdg93NppPSL1DGZae909IJyKPmKD4l3rYPihTathPcoEJsI+FF2N17FENgs3OsTlufjmJTkaDsfOB8wmwFOXD0ZAp71wNCs7wAJKpxNGUSS7mCaSsFLZy1KTn4+UkManPiipsXxYzGEFI9vq93U4sOYpiWghMeRSwM5N6iuVDIjdVduap9huwMw9OsNa2x9XqoZ4AFpmG4VxGuXiKR3INi6nci+cHlVNeQvLKycpx3C4dgr3OGCeSVUi0gCw0PGBYRhhOW/qQXi+wqjB8+ty75FxgNFhyn4tmlTPiQsQbN2j3DC29D5goMlZdbPW3ZyteTyYCeJx1G99ft4KBNni9LN8P0tNcjrIc8olEJdpkladzNJKONvPVlbSQB/gYJNchFgvVssQDOouYPsHko1mUzxx96/t2SDNdCiAZ8Elm8Xbd2S4saZNRBoTFtmSCICykU7wh+r2tbZi1yXlrkyf4kDEVA4nAnmH9eluCYsTUbgwbqXZISE3Q7fcGINvn6GGWa/QOVxP/DmBSEQGpJYYn4BGXzrUxqP4jwQfg4f+S6PokNUvlvYDPyGD10bg6eLnVG+D2fv5uY//x4kG5FXwVfB3cCwbBTrAf/BQcBkdBvHZ/7cXa8dqvraL1e+uP1p+N6Y21BeZOsNRaf/0LSI3HqQ==</latexit><latexit sha1_base64="0ELupNvvSGkkkMNjw2b5S9T1J+8=">AAAH7nicfVXdbts2FFa6re60v3S93A27wEPb2Y6dLkszIEDQFcUKpGg2O22G0M0o6cgiTFIqSTV2Cb3G7obd7j32FHubHUrOEjvpCJiiyfN9H3l+yKgQ3Nh+/5+1Gx98+NHN1q2Pw08+/ezzL9Zvf/nS5KWO4SjORa6PI2ZAcAVHllsBx4UGJiMBr6Lpj3791VvQhudqZOcFjCWbKJ7ymFmcOl3/++C0T77ZI1Qym0Wp61evRxdj8i0uPD4d1N3rEaFvSpbcoxZm1k00KzJywArBYs4UyQvQzIIhuSIqT8BU9ykND04HDX1NUH8WpFt1t0IKyQTew0lBFpnLNQdlIamIN200Ttc3+r1+3cjVwWAx2AgW7fD09s07NMnjUiJVLJgxJ4N+YceOactjAVVISwMFi6dsAic4VEyCGbva2xVp40xC0lzjT1lSz4aXIcij2XyJxVkWlYLp2fJslOdTXDFVGC5r2vTR2HFVlBZU3EimpSA2Jz6IJOEaYivmZFnX8um7juIxpJrFHSaND2Sn4H6fHTt9161j1pFsCjEIcTHV7MrDBY8003N/hPzMdCJknui8VInpFMxa0Mog3mo+65iMFWA6KbedmInY/088phC5lUxPzftYexIsw8XacwKsG5WphV8wqE5DcvdR/26E8Z9etrAZTDSAqlz98TZnGbewYhOJEirn+0sWYZtk1hbmh81NzLGescgNszhjagK9OJebb0owvhrM5uD77d2t3U0DkmPRRFgjsnvGbdb1h+hy1Y2wtEDXdg93NppPSL1DGZae909IJyKPmKD4l3rYPihTathPcoEJsI+FF2N17FENgs3OsTlufjmJTkaDsfOB8wmwFOXD0ZAp71wNCs7wAJKpxNGUSS7mCaSsFLZy1KTn4+UkManPiipsXxYzGEFI9vq93U4sOYpiWghMeRSwM5N6iuVDIjdVduap9huwMw9OsNa2x9XqoZ4AFpmG4VxGuXiKR3INi6nci+cHlVNeQvLKycpx3C4dgr3OGCeSVUi0gCw0PGBYRhhOW/qQXi+wqjB8+ty75FxgNFhyn4tmlTPiQsQbN2j3DC29D5goMlZdbPW3ZyteTyYCeJx1G99ft4KBNni9LN8P0tNcjrIc8olEJdpkladzNJKONvPVlbSQB/gYJNchFgvVssQDOouYPsHko1mUzxx96/t2SDNdCiAZ8Elm8Xbd2S4saZNRBoTFtmSCICykU7wh+r2tbZi1yXlrkyf4kDEVA4nAnmH9eluCYsTUbgwbqXZISE3Q7fcGINvn6GGWa/QOVxP/DmBSEQGpJYYn4BGXzrUxqP4jwQfg4f+S6PokNUvlvYDPyGD10bg6eLnVG+D2fv5uY//x4kG5FXwVfB3cCwbBTrAf/BQcBkdBvHZ/7cXa8dqvraL1e+uP1p+N6Y21BeZOsNRaf/0LSI3HqQ==</latexit>
B1 : E ! V by B1(ei,j) = ej ei
B2 : T ! E by B2(ei,j,k) = ei,j ei,k + ej,k<latexit sha1_base64="RXvS6ceG8qssasEmfbHKjz4s3b8=">AAAHwHicfVVdb9s2FFW6re60r3R93AuzxECXyo7tIkszIIDRtcUKtFg2O2mB0PAo6cpiTEoqSTV2BP2M/bj9lr3sUrYXy8kmwPIVec85vB8k/UxwbTqdv7buffLpZ/cbDz53v/jyq6+/2X747blOcxXAWZCKVL33mQbBEzgz3Ah4nylg0hfwzp/+bOfffQSleZoMzTyDkWSThEc8YAaHxtt/0iTlSQiJIXtUPh93qeVMyEtCTUrO94g/J3s4/BjGBffIZfkDOSEwviQtfPM9Qqm7wdBbMgwrhpcrht6KwSPTJQl+XpYVEVrTkjyx1iVae+Pt3U67Uz3kttFdGrvO8jkdP7z/iIZpkEtcRiCY1hfdTmZGBVOGBwJKl+YaMhZM2QQu0EyYBD0qqvyVpIkjIYlShT8Moxp11yHIo9i8xlIY5ueCqVl91E/TKc7o0nXrmiZ6Nip4kuUGkmAhGeWCYIpsWUjIFQRGzEld1/DptZfwACLFAo9JLZmJvYzbdXpmet2aKJbFnmRTCECIm6HFqixccF8xNbchpFfa85F5otI8CbWXMWNAJRrxRvGZp2OWgfYibryAicB+hxaTidRIpqb6v1jbEgzDySpzAkwxzCMDv0NYFgrCnWedHV+g7rqHiWGiAJKyqP6sz1XMDWz4+CKHsrDvNQ+3SWJjMv3TwYGBWVsb5IZZELNkAu0glQcfctC2v/VB98fD497xgQbJcRv42PWydcVN3LJBtHjS8nGzgKr8nh7tLv5cahPKcDPZ/Lh0IlKfCYqf1ML6kOhcQT9MBTZAH7dSkIZwQhUINlthU1x8vYkuht1RYQtnG6BW5dPhgCU2uQoSuMIAJEvCgkZMcjEPIWK5MGVBdbSy602iI9sVpdtcF9NYQQhPOu1jL5AcRbEtBLY8CpiZjixFPUjkpomZWar+Alzo/Qvca4ejcjOoF4CbTMFgLv1UvMKQigWLLotf374pi8RKSF4Wsiw4LpcOwNzljAPhJsRfQpYaFjDIfSynyW1J7xbYVBi8emtTshIYdmvpK/xZWWhxI2KdF+jiNXraHDCRxay8WeofrzeyHk4E8CBuLXJ/1wwWWuPxUj8fpKVZr7Ic8IlEJbroKktXUF8WdDFe3moL+QaP9/AuxHKirEvs05nP1AU2H439dFbQj/bddGmscgEkBj6JDZ6uR4eZIU0yjIGwwORMEIS5dIonRKfdO4RZk6yeJnmBVxNLAiA+mCvcv9aXoBjRVRrdhVTTJaQiaHXaXZDNFXoQpwqzw5MJwZsCm4oIiAzRPASLWItrt1v+S4IXwNP/JVFVJBVLabOA10h389K4bZz32l1c3m+93X5/eaE8cL5zvnceO13nyOk7vzinzpkTOH9v7Wztbz1pPG/EjbTxYeF6b2uJeeTUnsb1P7tUsUQ=</latexit><latexit sha1_base64="RXvS6ceG8qssasEmfbHKjz4s3b8=">AAAHwHicfVVdb9s2FFW6re60r3R93AuzxECXyo7tIkszIIDRtcUKtFg2O2mB0PAo6cpiTEoqSTV2BP2M/bj9lr3sUrYXy8kmwPIVec85vB8k/UxwbTqdv7buffLpZ/cbDz53v/jyq6+/2X747blOcxXAWZCKVL33mQbBEzgz3Ah4nylg0hfwzp/+bOfffQSleZoMzTyDkWSThEc8YAaHxtt/0iTlSQiJIXtUPh93qeVMyEtCTUrO94g/J3s4/BjGBffIZfkDOSEwviQtfPM9Qqm7wdBbMgwrhpcrht6KwSPTJQl+XpYVEVrTkjyx1iVae+Pt3U67Uz3kttFdGrvO8jkdP7z/iIZpkEtcRiCY1hfdTmZGBVOGBwJKl+YaMhZM2QQu0EyYBD0qqvyVpIkjIYlShT8Moxp11yHIo9i8xlIY5ueCqVl91E/TKc7o0nXrmiZ6Nip4kuUGkmAhGeWCYIpsWUjIFQRGzEld1/DptZfwACLFAo9JLZmJvYzbdXpmet2aKJbFnmRTCECIm6HFqixccF8xNbchpFfa85F5otI8CbWXMWNAJRrxRvGZp2OWgfYibryAicB+hxaTidRIpqb6v1jbEgzDySpzAkwxzCMDv0NYFgrCnWedHV+g7rqHiWGiAJKyqP6sz1XMDWz4+CKHsrDvNQ+3SWJjMv3TwYGBWVsb5IZZELNkAu0glQcfctC2v/VB98fD497xgQbJcRv42PWydcVN3LJBtHjS8nGzgKr8nh7tLv5cahPKcDPZ/Lh0IlKfCYqf1ML6kOhcQT9MBTZAH7dSkIZwQhUINlthU1x8vYkuht1RYQtnG6BW5dPhgCU2uQoSuMIAJEvCgkZMcjEPIWK5MGVBdbSy602iI9sVpdtcF9NYQQhPOu1jL5AcRbEtBLY8CpiZjixFPUjkpomZWar+Alzo/Qvca4ejcjOoF4CbTMFgLv1UvMKQigWLLotf374pi8RKSF4Wsiw4LpcOwNzljAPhJsRfQpYaFjDIfSynyW1J7xbYVBi8emtTshIYdmvpK/xZWWhxI2KdF+jiNXraHDCRxay8WeofrzeyHk4E8CBuLXJ/1wwWWuPxUj8fpKVZr7Ic8IlEJbroKktXUF8WdDFe3moL+QaP9/AuxHKirEvs05nP1AU2H439dFbQj/bddGmscgEkBj6JDZ6uR4eZIU0yjIGwwORMEIS5dIonRKfdO4RZk6yeJnmBVxNLAiA+mCvcv9aXoBjRVRrdhVTTJaQiaHXaXZDNFXoQpwqzw5MJwZsCm4oIiAzRPASLWItrt1v+S4IXwNP/JVFVJBVLabOA10h389K4bZz32l1c3m+93X5/eaE8cL5zvnceO13nyOk7vzinzpkTOH9v7Wztbz1pPG/EjbTxYeF6b2uJeeTUnsb1P7tUsUQ=</latexit><latexit sha1_base64="RXvS6ceG8qssasEmfbHKjz4s3b8=">AAAHwHicfVVdb9s2FFW6re60r3R93AuzxECXyo7tIkszIIDRtcUKtFg2O2mB0PAo6cpiTEoqSTV2BP2M/bj9lr3sUrYXy8kmwPIVec85vB8k/UxwbTqdv7buffLpZ/cbDz53v/jyq6+/2X747blOcxXAWZCKVL33mQbBEzgz3Ah4nylg0hfwzp/+bOfffQSleZoMzTyDkWSThEc8YAaHxtt/0iTlSQiJIXtUPh93qeVMyEtCTUrO94g/J3s4/BjGBffIZfkDOSEwviQtfPM9Qqm7wdBbMgwrhpcrht6KwSPTJQl+XpYVEVrTkjyx1iVae+Pt3U67Uz3kttFdGrvO8jkdP7z/iIZpkEtcRiCY1hfdTmZGBVOGBwJKl+YaMhZM2QQu0EyYBD0qqvyVpIkjIYlShT8Moxp11yHIo9i8xlIY5ueCqVl91E/TKc7o0nXrmiZ6Nip4kuUGkmAhGeWCYIpsWUjIFQRGzEld1/DptZfwACLFAo9JLZmJvYzbdXpmet2aKJbFnmRTCECIm6HFqixccF8xNbchpFfa85F5otI8CbWXMWNAJRrxRvGZp2OWgfYibryAicB+hxaTidRIpqb6v1jbEgzDySpzAkwxzCMDv0NYFgrCnWedHV+g7rqHiWGiAJKyqP6sz1XMDWz4+CKHsrDvNQ+3SWJjMv3TwYGBWVsb5IZZELNkAu0glQcfctC2v/VB98fD497xgQbJcRv42PWydcVN3LJBtHjS8nGzgKr8nh7tLv5cahPKcDPZ/Lh0IlKfCYqf1ML6kOhcQT9MBTZAH7dSkIZwQhUINlthU1x8vYkuht1RYQtnG6BW5dPhgCU2uQoSuMIAJEvCgkZMcjEPIWK5MGVBdbSy602iI9sVpdtcF9NYQQhPOu1jL5AcRbEtBLY8CpiZjixFPUjkpomZWar+Alzo/Qvca4ejcjOoF4CbTMFgLv1UvMKQigWLLotf374pi8RKSF4Wsiw4LpcOwNzljAPhJsRfQpYaFjDIfSynyW1J7xbYVBi8emtTshIYdmvpK/xZWWhxI2KdF+jiNXraHDCRxay8WeofrzeyHk4E8CBuLXJ/1wwWWuPxUj8fpKVZr7Ic8IlEJbroKktXUF8WdDFe3moL+QaP9/AuxHKirEvs05nP1AU2H439dFbQj/bddGmscgEkBj6JDZ6uR4eZIU0yjIGwwORMEIS5dIonRKfdO4RZk6yeJnmBVxNLAiA+mCvcv9aXoBjRVRrdhVTTJaQiaHXaXZDNFXoQpwqzw5MJwZsCm4oIiAzRPASLWItrt1v+S4IXwNP/JVFVJBVLabOA10h389K4bZz32l1c3m+93X5/eaE8cL5zvnceO13nyOk7vzinzpkTOH9v7Wztbz1pPG/EjbTxYeF6b2uJeeTUnsb1P7tUsUQ=</latexit><latexit sha1_base64="RXvS6ceG8qssasEmfbHKjz4s3b8=">AAAHwHicfVVdb9s2FFW6re60r3R93AuzxECXyo7tIkszIIDRtcUKtFg2O2mB0PAo6cpiTEoqSTV2BP2M/bj9lr3sUrYXy8kmwPIVec85vB8k/UxwbTqdv7buffLpZ/cbDz53v/jyq6+/2X747blOcxXAWZCKVL33mQbBEzgz3Ah4nylg0hfwzp/+bOfffQSleZoMzTyDkWSThEc8YAaHxtt/0iTlSQiJIXtUPh93qeVMyEtCTUrO94g/J3s4/BjGBffIZfkDOSEwviQtfPM9Qqm7wdBbMgwrhpcrht6KwSPTJQl+XpYVEVrTkjyx1iVae+Pt3U67Uz3kttFdGrvO8jkdP7z/iIZpkEtcRiCY1hfdTmZGBVOGBwJKl+YaMhZM2QQu0EyYBD0qqvyVpIkjIYlShT8Moxp11yHIo9i8xlIY5ueCqVl91E/TKc7o0nXrmiZ6Nip4kuUGkmAhGeWCYIpsWUjIFQRGzEld1/DptZfwACLFAo9JLZmJvYzbdXpmet2aKJbFnmRTCECIm6HFqixccF8xNbchpFfa85F5otI8CbWXMWNAJRrxRvGZp2OWgfYibryAicB+hxaTidRIpqb6v1jbEgzDySpzAkwxzCMDv0NYFgrCnWedHV+g7rqHiWGiAJKyqP6sz1XMDWz4+CKHsrDvNQ+3SWJjMv3TwYGBWVsb5IZZELNkAu0glQcfctC2v/VB98fD497xgQbJcRv42PWydcVN3LJBtHjS8nGzgKr8nh7tLv5cahPKcDPZ/Lh0IlKfCYqf1ML6kOhcQT9MBTZAH7dSkIZwQhUINlthU1x8vYkuht1RYQtnG6BW5dPhgCU2uQoSuMIAJEvCgkZMcjEPIWK5MGVBdbSy602iI9sVpdtcF9NYQQhPOu1jL5AcRbEtBLY8CpiZjixFPUjkpomZWar+Alzo/Qvca4ejcjOoF4CbTMFgLv1UvMKQigWLLotf374pi8RKSF4Wsiw4LpcOwNzljAPhJsRfQpYaFjDIfSynyW1J7xbYVBi8emtTshIYdmvpK/xZWWhxI2KdF+jiNXraHDCRxay8WeofrzeyHk4E8CBuLXJ/1wwWWuPxUj8fpKVZr7Ic8IlEJbroKktXUF8WdDFe3moL+QaP9/AuxHKirEvs05nP1AU2H439dFbQj/bddGmscgEkBj6JDZ6uR4eZIU0yjIGwwORMEIS5dIonRKfdO4RZk6yeJnmBVxNLAiA+mCvcv9aXoBjRVRrdhVTTJaQiaHXaXZDNFXoQpwqzw5MJwZsCm4oIiAzRPASLWItrt1v+S4IXwNP/JVFVJBVLabOA10h389K4bZz32l1c3m+93X5/eaE8cL5zvnceO13nyOk7vzinzpkTOH9v7Wztbz1pPG/EjbTxYeF6b2uJeeTUnsb1P7tUsUQ=</latexit>
Background. By interpreting our data as a simplicial
complex,we can use the Hodge Laplacian.
1
-2
-2
B2 =
[1, 2, 3] [2, 3, 4]
[1, 2] 1 0
[1, 3] 1 0
[2, 3] 1 1
[2, 4] 0 1
[2, 6] 0 0
[3, 4] 0 1
[4, 5] 0 0
[4, 7] 0 0
[5, 6] 0 0
[5, 7] 0 0<latexit sha1_base64="w2mp7FY6I9AIv7O+kZTSfHCcwXY=">AAAJNXicjVbdbts2FHa9rXO1v2a93A27wMNQyI6VxE2zIUDQFcUKtFg2pz+AZWQUdWQRJiWNpBqnml5jt9tb7Fl2sbtht3uFHUpOYjk/iABb9OF3vu/w8PDQQSa4NoPBX7fa773/we0PO3ecjz7+5NPP7q59/kqnuWLwkqUiVW8CqkHwBF4abgS8yRRQGQh4Hcy+s/Ov34LSPE0OzUkGE0mnCY84owZNR2vtO2Tx+PLx0SbZI86ZIYApTwqqFD0pC/YrY+XZXDX/LfmKjD13092a2BG+3e0J8f0mKrahNUzoQzati4efwSpeQGQqyJav+DQ2Fti7BomyNZCcUnpXAbeXgIOK9irkwxXkFdpbFyivYNx2hzdj3HZ3bgYc3jTG4bWMPiThYouP7q4P+oPqIRcH3mKw3lo8B0drt+/5YcpyCYlhgmo99gaZmSCd4UxA6fi5hoyyGZ3CGIcJlaAnRVW0JemiJSRRqvCTGFJZnWWXRVgNk6FBLqiaN61Bms5wRpeO09Q00aNJwZMsN5CwWjLKBTEpsWeBhFwBM+KENHUNn71zE84gUpS5VGpJTexm3Mbpmtm73lTRLHYlnQEDIc5NdVTWXfBAUXVil5AeazdA5qlK8yTUbkaNAZVo9DeKz10d0wy0G3HjMiqY/R1an0ykRlI101ex9iUYipNV5gSY4jCPDPwEYVkoCO8/GtwPBOouI0wMUwWQlEX1spjjmBtYwQQih7Kw30sIp0tiYzL9zcaGgXlfG+SGOYtpMoU+S+XGLzlo21T0hvdwuLu5u6FBcuw9AbYa2TvmJu7ZRfR40guwQ4GqcFs76/XL8W1CKXYwmx/Hn4o0oAKL2PjWbR8SnSvYD1OBBbCP/YulIez5CgSdn/qmGHyziMaH3qSwG2cLoLHLB4cjmtjkKkjgGBcgKR4FP6KSi5MQIpoLUxa+jk7HzSLRka2K0ukui2ncQQj3Bv1dl0mOolgWAkseBcxcR5aiuUjk9hMzt1T7tXOhH4zxrA0n5eqingAeMgWjExmk4ikuqahZdFn88OJ5WSRWQvKykGXBMVx/BOYyMBrCVZdg4bLQsA6jPMDtNLnd0ssFVhVGT1/YlJwKHHqN9BXBvCy0OBex4Nq7eIZImwMqspiW56H+/Gwl6+FUAGdxr879ZTO40RrbS7M/SEuzvMtyxKcSlfy6qixd4Qey8Gt7eaEs5HO8U8PLPBYTZVPigT8PqBpj8flxkM4L/6397jp+rHIBJIaqIw/6O8PMkC45jIFQZnIqCLo5/gw7xKC/OYR596yfd8kT/D9AEwYkAHOM59diCYoRXaXRqaW62Nwrgt6g74HsnnqP4lRhdngyJWlCsKhIdUFoHtrreXld6155RoIXwNa1JPXdUrGUNgt4jXirl8bFwavNvofh/bi9vv94caF0Wl+0vmx93fJaO6391vetg9bLFmtn7d/av7f/6PzZ+bvzT+ffGtq+tfC512o8nf/+B89X/V4=</latexit><latexit sha1_base64="w2mp7FY6I9AIv7O+kZTSfHCcwXY=">AAAJNXicjVbdbts2FHa9rXO1v2a93A27wMNQyI6VxE2zIUDQFcUKtFg2pz+AZWQUdWQRJiWNpBqnml5jt9tb7Fl2sbtht3uFHUpOYjk/iABb9OF3vu/w8PDQQSa4NoPBX7fa773/we0PO3ecjz7+5NPP7q59/kqnuWLwkqUiVW8CqkHwBF4abgS8yRRQGQh4Hcy+s/Ov34LSPE0OzUkGE0mnCY84owZNR2vtO2Tx+PLx0SbZI86ZIYApTwqqFD0pC/YrY+XZXDX/LfmKjD13092a2BG+3e0J8f0mKrahNUzoQzati4efwSpeQGQqyJav+DQ2Fti7BomyNZCcUnpXAbeXgIOK9irkwxXkFdpbFyivYNx2hzdj3HZ3bgYc3jTG4bWMPiThYouP7q4P+oPqIRcH3mKw3lo8B0drt+/5YcpyCYlhgmo99gaZmSCd4UxA6fi5hoyyGZ3CGIcJlaAnRVW0JemiJSRRqvCTGFJZnWWXRVgNk6FBLqiaN61Bms5wRpeO09Q00aNJwZMsN5CwWjLKBTEpsWeBhFwBM+KENHUNn71zE84gUpS5VGpJTexm3Mbpmtm73lTRLHYlnQEDIc5NdVTWXfBAUXVil5AeazdA5qlK8yTUbkaNAZVo9DeKz10d0wy0G3HjMiqY/R1an0ykRlI101ex9iUYipNV5gSY4jCPDPwEYVkoCO8/GtwPBOouI0wMUwWQlEX1spjjmBtYwQQih7Kw30sIp0tiYzL9zcaGgXlfG+SGOYtpMoU+S+XGLzlo21T0hvdwuLu5u6FBcuw9AbYa2TvmJu7ZRfR40guwQ4GqcFs76/XL8W1CKXYwmx/Hn4o0oAKL2PjWbR8SnSvYD1OBBbCP/YulIez5CgSdn/qmGHyziMaH3qSwG2cLoLHLB4cjmtjkKkjgGBcgKR4FP6KSi5MQIpoLUxa+jk7HzSLRka2K0ukui2ncQQj3Bv1dl0mOolgWAkseBcxcR5aiuUjk9hMzt1T7tXOhH4zxrA0n5eqingAeMgWjExmk4ikuqahZdFn88OJ5WSRWQvKykGXBMVx/BOYyMBrCVZdg4bLQsA6jPMDtNLnd0ssFVhVGT1/YlJwKHHqN9BXBvCy0OBex4Nq7eIZImwMqspiW56H+/Gwl6+FUAGdxr879ZTO40RrbS7M/SEuzvMtyxKcSlfy6qixd4Qey8Gt7eaEs5HO8U8PLPBYTZVPigT8PqBpj8flxkM4L/6397jp+rHIBJIaqIw/6O8PMkC45jIFQZnIqCLo5/gw7xKC/OYR596yfd8kT/D9AEwYkAHOM59diCYoRXaXRqaW62Nwrgt6g74HsnnqP4lRhdngyJWlCsKhIdUFoHtrreXld6155RoIXwNa1JPXdUrGUNgt4jXirl8bFwavNvofh/bi9vv94caF0Wl+0vmx93fJaO6391vetg9bLFmtn7d/av7f/6PzZ+bvzT+ffGtq+tfC512o8nf/+B89X/V4=</latexit><latexit sha1_base64="w2mp7FY6I9AIv7O+kZTSfHCcwXY=">AAAJNXicjVbdbts2FHa9rXO1v2a93A27wMNQyI6VxE2zIUDQFcUKtFg2pz+AZWQUdWQRJiWNpBqnml5jt9tb7Fl2sbtht3uFHUpOYjk/iABb9OF3vu/w8PDQQSa4NoPBX7fa773/we0PO3ecjz7+5NPP7q59/kqnuWLwkqUiVW8CqkHwBF4abgS8yRRQGQh4Hcy+s/Ov34LSPE0OzUkGE0mnCY84owZNR2vtO2Tx+PLx0SbZI86ZIYApTwqqFD0pC/YrY+XZXDX/LfmKjD13092a2BG+3e0J8f0mKrahNUzoQzati4efwSpeQGQqyJav+DQ2Fti7BomyNZCcUnpXAbeXgIOK9irkwxXkFdpbFyivYNx2hzdj3HZ3bgYc3jTG4bWMPiThYouP7q4P+oPqIRcH3mKw3lo8B0drt+/5YcpyCYlhgmo99gaZmSCd4UxA6fi5hoyyGZ3CGIcJlaAnRVW0JemiJSRRqvCTGFJZnWWXRVgNk6FBLqiaN61Bms5wRpeO09Q00aNJwZMsN5CwWjLKBTEpsWeBhFwBM+KENHUNn71zE84gUpS5VGpJTexm3Mbpmtm73lTRLHYlnQEDIc5NdVTWXfBAUXVil5AeazdA5qlK8yTUbkaNAZVo9DeKz10d0wy0G3HjMiqY/R1an0ykRlI101ex9iUYipNV5gSY4jCPDPwEYVkoCO8/GtwPBOouI0wMUwWQlEX1spjjmBtYwQQih7Kw30sIp0tiYzL9zcaGgXlfG+SGOYtpMoU+S+XGLzlo21T0hvdwuLu5u6FBcuw9AbYa2TvmJu7ZRfR40guwQ4GqcFs76/XL8W1CKXYwmx/Hn4o0oAKL2PjWbR8SnSvYD1OBBbCP/YulIez5CgSdn/qmGHyziMaH3qSwG2cLoLHLB4cjmtjkKkjgGBcgKR4FP6KSi5MQIpoLUxa+jk7HzSLRka2K0ukui2ncQQj3Bv1dl0mOolgWAkseBcxcR5aiuUjk9hMzt1T7tXOhH4zxrA0n5eqingAeMgWjExmk4ikuqahZdFn88OJ5WSRWQvKykGXBMVx/BOYyMBrCVZdg4bLQsA6jPMDtNLnd0ssFVhVGT1/YlJwKHHqN9BXBvCy0OBex4Nq7eIZImwMqspiW56H+/Gwl6+FUAGdxr879ZTO40RrbS7M/SEuzvMtyxKcSlfy6qixd4Qey8Gt7eaEs5HO8U8PLPBYTZVPigT8PqBpj8flxkM4L/6397jp+rHIBJIaqIw/6O8PMkC45jIFQZnIqCLo5/gw7xKC/OYR596yfd8kT/D9AEwYkAHOM59diCYoRXaXRqaW62Nwrgt6g74HsnnqP4lRhdngyJWlCsKhIdUFoHtrreXld6155RoIXwNa1JPXdUrGUNgt4jXirl8bFwavNvofh/bi9vv94caF0Wl+0vmx93fJaO6391vetg9bLFmtn7d/av7f/6PzZ+bvzT+ffGtq+tfC512o8nf/+B89X/V4=</latexit><latexit sha1_base64="w2mp7FY6I9AIv7O+kZTSfHCcwXY=">AAAJNXicjVbdbts2FHa9rXO1v2a93A27wMNQyI6VxE2zIUDQFcUKtFg2pz+AZWQUdWQRJiWNpBqnml5jt9tb7Fl2sbtht3uFHUpOYjk/iABb9OF3vu/w8PDQQSa4NoPBX7fa773/we0PO3ecjz7+5NPP7q59/kqnuWLwkqUiVW8CqkHwBF4abgS8yRRQGQh4Hcy+s/Ov34LSPE0OzUkGE0mnCY84owZNR2vtO2Tx+PLx0SbZI86ZIYApTwqqFD0pC/YrY+XZXDX/LfmKjD13092a2BG+3e0J8f0mKrahNUzoQzati4efwSpeQGQqyJav+DQ2Fti7BomyNZCcUnpXAbeXgIOK9irkwxXkFdpbFyivYNx2hzdj3HZ3bgYc3jTG4bWMPiThYouP7q4P+oPqIRcH3mKw3lo8B0drt+/5YcpyCYlhgmo99gaZmSCd4UxA6fi5hoyyGZ3CGIcJlaAnRVW0JemiJSRRqvCTGFJZnWWXRVgNk6FBLqiaN61Bms5wRpeO09Q00aNJwZMsN5CwWjLKBTEpsWeBhFwBM+KENHUNn71zE84gUpS5VGpJTexm3Mbpmtm73lTRLHYlnQEDIc5NdVTWXfBAUXVil5AeazdA5qlK8yTUbkaNAZVo9DeKz10d0wy0G3HjMiqY/R1an0ykRlI101ex9iUYipNV5gSY4jCPDPwEYVkoCO8/GtwPBOouI0wMUwWQlEX1spjjmBtYwQQih7Kw30sIp0tiYzL9zcaGgXlfG+SGOYtpMoU+S+XGLzlo21T0hvdwuLu5u6FBcuw9AbYa2TvmJu7ZRfR40guwQ4GqcFs76/XL8W1CKXYwmx/Hn4o0oAKL2PjWbR8SnSvYD1OBBbCP/YulIez5CgSdn/qmGHyziMaH3qSwG2cLoLHLB4cjmtjkKkjgGBcgKR4FP6KSi5MQIpoLUxa+jk7HzSLRka2K0ukui2ncQQj3Bv1dl0mOolgWAkseBcxcR5aiuUjk9hMzt1T7tXOhH4zxrA0n5eqingAeMgWjExmk4ikuqahZdFn88OJ5WSRWQvKykGXBMVx/BOYyMBrCVZdg4bLQsA6jPMDtNLnd0ssFVhVGT1/YlJwKHHqN9BXBvCy0OBex4Nq7eIZImwMqspiW56H+/Gwl6+FUAGdxr879ZTO40RrbS7M/SEuzvMtyxKcSlfy6qixd4Qey8Gt7eaEs5HO8U8PLPBYTZVPigT8PqBpj8flxkM4L/6397jp+rHIBJIaqIw/6O8PMkC45jIFQZnIqCLo5/gw7xKC/OYR596yfd8kT/D9AEwYkAHOM59diCYoRXaXRqaW62Nwrgt6g74HsnnqP4lRhdngyJWlCsKhIdUFoHtrreXld6155RoIXwNa1JPXdUrGUNgt4jXirl8bFwavNvofh/bi9vv94caF0Wl+0vmx93fJaO6391vetg9bLFmtn7d/av7f/6PzZ+bvzT+ffGtq+tfC512o8nf/+B89X/V4=</latexit>
39. Getting a normalization scheme.
39
Our claim. A sensible normalization scheme for D1 is
D1({i, j}) = di + dj + dij,
where di = # edges containing i and dij = # triangles containing {i, j}.
Why? Theorem. Equivalent to “lift, Markov apply, and project”
I L0 = P<latexit sha1_base64="+rFV7of28TRVbrjLrQknMypzY2w=">AAAHSnicfVXdbts2FFa7zu20n6br5S7GLvAwFLZjp8vSDAhgYEWxACmWzU5bIDQySjqyCJOURlKNXEKXe5rdbm+xF9hr7G7YzQ5tZ7GcbARsUYfnOx/POZ/IqBDc2H7/j1u337nzbuvuvffC9z/48KP7Ww8+fmnyUsdwGuci168jZkBwBaeWWwGvCw1MRgJeRbNv/PqrN6ANz9XYzguYSDZVPOUxs2g63/qUyiPSJVQym8VMuOP6vE8+P0TDCaE0DM+3tvu9/mKQ65PBarIdrMbJ+YPWQ5rkcSlB2VgwY84G/cJOHNOWxwLqkJYGChbP2BTOcKqYBDNxi0xq0kZLQtJc409ZsrCG6xCMo9m8EcVZFpWC6appjfJ8hiumDsMmp02fThxXRWlBxUvKtBTE5sQXiCRcQ2zFnDR5LZ+97SgeQ6pZ3GHS+Ip1Cu732bGzt92pZkXWkWwGMQhxZVruysMFjzTTc59CfmE6EUae6rxUiekUzFrQyiDeal51TMYKMJ2U2w52JfbviccUIreS6Zn5r6g9CZbh4qJyAqwbl6mFHyCpnYbk0dP+o0gg77qHzWCqAVTtFg/vc5FxCxs+kSihdv5/zSNsk8zawny9s2Oh6hmLsaGKM6am0ItzufNTCcYrzewMvto72D3YMSA5CjJC/cnuBbdZ1yfR5aoboWxBL/ye7G8vHyH1BWUoa1+fkE5FHjFB8ZV62BCUKTUMk1ygAIYo6jhP4JBqEKy6xOa4+aaIzsaDifON8wJodPlkPGLKF1eDggtMQDKVOJoyycU8gZSVwtaOmvRy3hSJSb0q6rC9Tmawg5Ac9nsHnVhyJEVZCJQ8EtjKpD5EM0mMTZWtfKjhEuzM4zP81vYm9WZSzwA/Mg2juYxy8RxTcssopnbfvTiunfIUktdO1o7jdukI7E3OaEg2IdEKsuLwgFEZYTtt6Vt6M8Emw+j5C1+SS4LxoFE+F1W1M+KKxDsv0e4IPX0NmCgyVl9t9cejjaonUwE8zrrL2t+0go02eLw0zwfpw6x3WY74VCITXarKh3M0ko4u7fU1WchjPGiTmxCrhbpJ8ZhWEdNnKD6aRXnl6Bv/3w5ppksBJAM+zSyervt7hSVtMs6AsNiWTBCEhXSGJ0S/t7sHVZtcjjZ5hpcEUzGQCOwFfr/elyAZMYsyhkuqdkjIIkC33xuAbF+iR1musTpcTUmuCIqKCEgtMTwBj1jLa3tQ/xsEL4An/xtELzJZRKl9FfAaGWxeGtcnL3d7A9ze919uD4erC+Ve8EnwWfBFMAj2g2HwbXASnAZx8HPwS/Br8Fvr99afrb9afy9db99aYR4GjXH3zj+CLI7M</latexit><latexit sha1_base64="+rFV7of28TRVbrjLrQknMypzY2w=">AAAHSnicfVXdbts2FFa7zu20n6br5S7GLvAwFLZjp8vSDAhgYEWxACmWzU5bIDQySjqyCJOURlKNXEKXe5rdbm+xF9hr7G7YzQ5tZ7GcbARsUYfnOx/POZ/IqBDc2H7/j1u337nzbuvuvffC9z/48KP7Ww8+fmnyUsdwGuci168jZkBwBaeWWwGvCw1MRgJeRbNv/PqrN6ANz9XYzguYSDZVPOUxs2g63/qUyiPSJVQym8VMuOP6vE8+P0TDCaE0DM+3tvu9/mKQ65PBarIdrMbJ+YPWQ5rkcSlB2VgwY84G/cJOHNOWxwLqkJYGChbP2BTOcKqYBDNxi0xq0kZLQtJc409ZsrCG6xCMo9m8EcVZFpWC6appjfJ8hiumDsMmp02fThxXRWlBxUvKtBTE5sQXiCRcQ2zFnDR5LZ+97SgeQ6pZ3GHS+Ip1Cu732bGzt92pZkXWkWwGMQhxZVruysMFjzTTc59CfmE6EUae6rxUiekUzFrQyiDeal51TMYKMJ2U2w52JfbviccUIreS6Zn5r6g9CZbh4qJyAqwbl6mFHyCpnYbk0dP+o0gg77qHzWCqAVTtFg/vc5FxCxs+kSihdv5/zSNsk8zawny9s2Oh6hmLsaGKM6am0ItzufNTCcYrzewMvto72D3YMSA5CjJC/cnuBbdZ1yfR5aoboWxBL/ye7G8vHyH1BWUoa1+fkE5FHjFB8ZV62BCUKTUMk1ygAIYo6jhP4JBqEKy6xOa4+aaIzsaDifON8wJodPlkPGLKF1eDggtMQDKVOJoyycU8gZSVwtaOmvRy3hSJSb0q6rC9Tmawg5Ac9nsHnVhyJEVZCJQ8EtjKpD5EM0mMTZWtfKjhEuzM4zP81vYm9WZSzwA/Mg2juYxy8RxTcssopnbfvTiunfIUktdO1o7jdukI7E3OaEg2IdEKsuLwgFEZYTtt6Vt6M8Emw+j5C1+SS4LxoFE+F1W1M+KKxDsv0e4IPX0NmCgyVl9t9cejjaonUwE8zrrL2t+0go02eLw0zwfpw6x3WY74VCITXarKh3M0ko4u7fU1WchjPGiTmxCrhbpJ8ZhWEdNnKD6aRXnl6Bv/3w5ppksBJAM+zSyervt7hSVtMs6AsNiWTBCEhXSGJ0S/t7sHVZtcjjZ5hpcEUzGQCOwFfr/elyAZMYsyhkuqdkjIIkC33xuAbF+iR1musTpcTUmuCIqKCEgtMTwBj1jLa3tQ/xsEL4An/xtELzJZRKl9FfAaGWxeGtcnL3d7A9ze919uD4erC+Ve8EnwWfBFMAj2g2HwbXASnAZx8HPwS/Br8Fvr99afrb9afy9db99aYR4GjXH3zj+CLI7M</latexit><latexit sha1_base64="+rFV7of28TRVbrjLrQknMypzY2w=">AAAHSnicfVXdbts2FFa7zu20n6br5S7GLvAwFLZjp8vSDAhgYEWxACmWzU5bIDQySjqyCJOURlKNXEKXe5rdbm+xF9hr7G7YzQ5tZ7GcbARsUYfnOx/POZ/IqBDc2H7/j1u337nzbuvuvffC9z/48KP7Ww8+fmnyUsdwGuci168jZkBwBaeWWwGvCw1MRgJeRbNv/PqrN6ANz9XYzguYSDZVPOUxs2g63/qUyiPSJVQym8VMuOP6vE8+P0TDCaE0DM+3tvu9/mKQ65PBarIdrMbJ+YPWQ5rkcSlB2VgwY84G/cJOHNOWxwLqkJYGChbP2BTOcKqYBDNxi0xq0kZLQtJc409ZsrCG6xCMo9m8EcVZFpWC6appjfJ8hiumDsMmp02fThxXRWlBxUvKtBTE5sQXiCRcQ2zFnDR5LZ+97SgeQ6pZ3GHS+Ip1Cu732bGzt92pZkXWkWwGMQhxZVruysMFjzTTc59CfmE6EUae6rxUiekUzFrQyiDeal51TMYKMJ2U2w52JfbviccUIreS6Zn5r6g9CZbh4qJyAqwbl6mFHyCpnYbk0dP+o0gg77qHzWCqAVTtFg/vc5FxCxs+kSihdv5/zSNsk8zawny9s2Oh6hmLsaGKM6am0ItzufNTCcYrzewMvto72D3YMSA5CjJC/cnuBbdZ1yfR5aoboWxBL/ye7G8vHyH1BWUoa1+fkE5FHjFB8ZV62BCUKTUMk1ygAIYo6jhP4JBqEKy6xOa4+aaIzsaDifON8wJodPlkPGLKF1eDggtMQDKVOJoyycU8gZSVwtaOmvRy3hSJSb0q6rC9Tmawg5Ac9nsHnVhyJEVZCJQ8EtjKpD5EM0mMTZWtfKjhEuzM4zP81vYm9WZSzwA/Mg2juYxy8RxTcssopnbfvTiunfIUktdO1o7jdukI7E3OaEg2IdEKsuLwgFEZYTtt6Vt6M8Emw+j5C1+SS4LxoFE+F1W1M+KKxDsv0e4IPX0NmCgyVl9t9cejjaonUwE8zrrL2t+0go02eLw0zwfpw6x3WY74VCITXarKh3M0ko4u7fU1WchjPGiTmxCrhbpJ8ZhWEdNnKD6aRXnl6Bv/3w5ppksBJAM+zSyervt7hSVtMs6AsNiWTBCEhXSGJ0S/t7sHVZtcjjZ5hpcEUzGQCOwFfr/elyAZMYsyhkuqdkjIIkC33xuAbF+iR1musTpcTUmuCIqKCEgtMTwBj1jLa3tQ/xsEL4An/xtELzJZRKl9FfAaGWxeGtcnL3d7A9ze919uD4erC+Ve8EnwWfBFMAj2g2HwbXASnAZx8HPwS/Br8Fvr99afrb9afy9db99aYR4GjXH3zj+CLI7M</latexit><latexit sha1_base64="+rFV7of28TRVbrjLrQknMypzY2w=">AAAHSnicfVXdbts2FFa7zu20n6br5S7GLvAwFLZjp8vSDAhgYEWxACmWzU5bIDQySjqyCJOURlKNXEKXe5rdbm+xF9hr7G7YzQ5tZ7GcbARsUYfnOx/POZ/IqBDc2H7/j1u337nzbuvuvffC9z/48KP7Ww8+fmnyUsdwGuci168jZkBwBaeWWwGvCw1MRgJeRbNv/PqrN6ANz9XYzguYSDZVPOUxs2g63/qUyiPSJVQym8VMuOP6vE8+P0TDCaE0DM+3tvu9/mKQ65PBarIdrMbJ+YPWQ5rkcSlB2VgwY84G/cJOHNOWxwLqkJYGChbP2BTOcKqYBDNxi0xq0kZLQtJc409ZsrCG6xCMo9m8EcVZFpWC6appjfJ8hiumDsMmp02fThxXRWlBxUvKtBTE5sQXiCRcQ2zFnDR5LZ+97SgeQ6pZ3GHS+Ip1Cu732bGzt92pZkXWkWwGMQhxZVruysMFjzTTc59CfmE6EUae6rxUiekUzFrQyiDeal51TMYKMJ2U2w52JfbviccUIreS6Zn5r6g9CZbh4qJyAqwbl6mFHyCpnYbk0dP+o0gg77qHzWCqAVTtFg/vc5FxCxs+kSihdv5/zSNsk8zawny9s2Oh6hmLsaGKM6am0ItzufNTCcYrzewMvto72D3YMSA5CjJC/cnuBbdZ1yfR5aoboWxBL/ye7G8vHyH1BWUoa1+fkE5FHjFB8ZV62BCUKTUMk1ygAIYo6jhP4JBqEKy6xOa4+aaIzsaDifON8wJodPlkPGLKF1eDggtMQDKVOJoyycU8gZSVwtaOmvRy3hSJSb0q6rC9Tmawg5Ac9nsHnVhyJEVZCJQ8EtjKpD5EM0mMTZWtfKjhEuzM4zP81vYm9WZSzwA/Mg2juYxy8RxTcssopnbfvTiunfIUktdO1o7jdukI7E3OaEg2IdEKsuLwgFEZYTtt6Vt6M8Emw+j5C1+SS4LxoFE+F1W1M+KKxDsv0e4IPX0NmCgyVl9t9cejjaonUwE8zrrL2t+0go02eLw0zwfpw6x3WY74VCITXarKh3M0ko4u7fU1WchjPGiTmxCrhbpJ8ZhWEdNnKD6aRXnl6Bv/3w5ppksBJAM+zSyervt7hSVtMs6AsNiWTBCEhXSGJ0S/t7sHVZtcjjZ5hpcEUzGQCOwFfr/elyAZMYsyhkuqdkjIIkC33xuAbF+iR1musTpcTUmuCIqKCEgtMTwBj1jLa3tQ/xsEL4An/xtELzJZRKl9FfAaGWxeGtcnL3d7A9ze919uD4erC+Ve8EnwWfBFMAj2g2HwbXASnAZx8HPwS/Br8Fvr99afrb9afy9db99aYR4GjXH3zj+CLI7M</latexit>
L0 = 0T
0 + B1BT
1
L1 = BT
1B1 + B2BT
2<latexit sha1_base64="5q20V1Bb8g9OzPntGICG3xptq2Q=">AAAHgXicfVVdb9s2FFXbre60r3R93Au7wMPW2Y6ULkuzIYCxFcUKpFg2O2kBy/Uo6coiTEoaSTV2Cf2z/ZG97nX7EbuUnMVyshEwRV/ecw/v4SUZFpwp7Xl/3Lp9551373buvee+/8GHH328c/+Tc5WXMoKzKOe5fBVSBZxlcKaZ5vCqkEBFyOFluPjBzr98A1KxPBvrVQFTQecZS1hENZpmO+cnM498fkwCQXUaJsarXo+vxuQrnPh+5tfd6zEJAvdk5jf+taX+rL32667xmu3segOvbuT6wF8Pdp11O53dv/sgiPOoFJDpiFOlJr5X6KmhUrOIQ+UGpYKCRgs6hwkOMypATU0tQEW6aIlJkkv8ZZrUVncTgnEkXbWiGE3DklO5bFvDPF/gjKpct82pkydTw7Ki1JBFDWVScqJzYnUlMZMQab4ibV7NFm97GYsgkTTqUaGstr2C2XX29OJtfy5pkfYEXUAEnF+ZmlVZOGehpHJlU8gvVC/EyHOZl1msegXVGmSmEK8lW/ZUSgtQvYTpXkR5ZP/HFlPwXAsqF+q/og4EaIqTtXIctBmXiYZfIK6MhPjhE+9hyJF300OnMJcAWWXqj/W5SJmGLZ+Ql1AZ2294uF2Sal2ob/f2NCwHSmNsWEYpzeYwiHKx91sJyhao2vO/OTjaP9pTIBjWcYhlK/oXTKd9m0SfZf0Qqx1k7ff4cLf5uIEVlOJpsPq4wZznIeUB/g0sbAiZKiUM45xjAQzxLER5DMeBBE6Xl9gcF98uosnYnxq7cbYAWrt8Oh7RzIorIYMLTEDQLDZBQgXjqxgSWnJdmUAll+N2kajEVkXldjfJFO4gxMfe4KgXCYakWBYcSx4J9FIlNkQ7SYwdZHppQw0bsFGPJnjWDqbVdlJPAQ+ZhNFKhDl/himZJoqqzE8vTiqTWQrBKiMqw3C5wQj0Tc5oiLch4Rqy5rCAURnidurSbunNBNsMo2cvrCSXBGO/JZ8Jl5VR/IrEOjdo8xw9rQaUFymtrpb66/Mt1eM5Bxal/Ub7m2ZwoxVeL+37Qdgwm7ssRmwukCloqsqGM0EoTNDYq2tlIU7wfo5vQqwnqjbFo2AZUjnB4gvSMF+a4I3tu26QypIDSYHNU4236+FBoUmXjFMgNNIl5QRhbrDAG8Ib7B/AsksuW5c8xbeFZhGQEPQFnl/rS5CMqFpGt6HquoTUAfrewAfRvUSP0lyiOiybkzwjWFSEQ6KJYjFYxEZeu371bxB8AB7/bxBZZ1JHqawK+Iz424/G9cH5/sDH5f389e5wuH5Q7jmfOp85Xzi+c+gMnR+dU+fMiZzfnT+dv5y/O3c6X3a8zn7jevvWGvPAabXOd/8Ad9GdtQ==</latexit><latexit sha1_base64="5q20V1Bb8g9OzPntGICG3xptq2Q=">AAAHgXicfVVdb9s2FFXbre60r3R93Au7wMPW2Y6ULkuzIYCxFcUKpFg2O2kBy/Uo6coiTEoaSTV2Cf2z/ZG97nX7EbuUnMVyshEwRV/ecw/v4SUZFpwp7Xl/3Lp9551373buvee+/8GHH328c/+Tc5WXMoKzKOe5fBVSBZxlcKaZ5vCqkEBFyOFluPjBzr98A1KxPBvrVQFTQecZS1hENZpmO+cnM498fkwCQXUaJsarXo+vxuQrnPh+5tfd6zEJAvdk5jf+taX+rL32667xmu3segOvbuT6wF8Pdp11O53dv/sgiPOoFJDpiFOlJr5X6KmhUrOIQ+UGpYKCRgs6hwkOMypATU0tQEW6aIlJkkv8ZZrUVncTgnEkXbWiGE3DklO5bFvDPF/gjKpct82pkydTw7Ki1JBFDWVScqJzYnUlMZMQab4ibV7NFm97GYsgkTTqUaGstr2C2XX29OJtfy5pkfYEXUAEnF+ZmlVZOGehpHJlU8gvVC/EyHOZl1msegXVGmSmEK8lW/ZUSgtQvYTpXkR5ZP/HFlPwXAsqF+q/og4EaIqTtXIctBmXiYZfIK6MhPjhE+9hyJF300OnMJcAWWXqj/W5SJmGLZ+Ql1AZ2294uF2Sal2ob/f2NCwHSmNsWEYpzeYwiHKx91sJyhao2vO/OTjaP9pTIBjWcYhlK/oXTKd9m0SfZf0Qqx1k7ff4cLf5uIEVlOJpsPq4wZznIeUB/g0sbAiZKiUM45xjAQzxLER5DMeBBE6Xl9gcF98uosnYnxq7cbYAWrt8Oh7RzIorIYMLTEDQLDZBQgXjqxgSWnJdmUAll+N2kajEVkXldjfJFO4gxMfe4KgXCYakWBYcSx4J9FIlNkQ7SYwdZHppQw0bsFGPJnjWDqbVdlJPAQ+ZhNFKhDl/himZJoqqzE8vTiqTWQrBKiMqw3C5wQj0Tc5oiLch4Rqy5rCAURnidurSbunNBNsMo2cvrCSXBGO/JZ8Jl5VR/IrEOjdo8xw9rQaUFymtrpb66/Mt1eM5Bxal/Ub7m2ZwoxVeL+37Qdgwm7ssRmwukCloqsqGM0EoTNDYq2tlIU7wfo5vQqwnqjbFo2AZUjnB4gvSMF+a4I3tu26QypIDSYHNU4236+FBoUmXjFMgNNIl5QRhbrDAG8Ib7B/AsksuW5c8xbeFZhGQEPQFnl/rS5CMqFpGt6HquoTUAfrewAfRvUSP0lyiOiybkzwjWFSEQ6KJYjFYxEZeu371bxB8AB7/bxBZZ1JHqawK+Iz424/G9cH5/sDH5f389e5wuH5Q7jmfOp85Xzi+c+gMnR+dU+fMiZzfnT+dv5y/O3c6X3a8zn7jevvWGvPAabXOd/8Ad9GdtQ==</latexit><latexit sha1_base64="5q20V1Bb8g9OzPntGICG3xptq2Q=">AAAHgXicfVVdb9s2FFXbre60r3R93Au7wMPW2Y6ULkuzIYCxFcUKpFg2O2kBy/Uo6coiTEoaSTV2Cf2z/ZG97nX7EbuUnMVyshEwRV/ecw/v4SUZFpwp7Xl/3Lp9551373buvee+/8GHH328c/+Tc5WXMoKzKOe5fBVSBZxlcKaZ5vCqkEBFyOFluPjBzr98A1KxPBvrVQFTQecZS1hENZpmO+cnM498fkwCQXUaJsarXo+vxuQrnPh+5tfd6zEJAvdk5jf+taX+rL32667xmu3segOvbuT6wF8Pdp11O53dv/sgiPOoFJDpiFOlJr5X6KmhUrOIQ+UGpYKCRgs6hwkOMypATU0tQEW6aIlJkkv8ZZrUVncTgnEkXbWiGE3DklO5bFvDPF/gjKpct82pkydTw7Ki1JBFDWVScqJzYnUlMZMQab4ibV7NFm97GYsgkTTqUaGstr2C2XX29OJtfy5pkfYEXUAEnF+ZmlVZOGehpHJlU8gvVC/EyHOZl1msegXVGmSmEK8lW/ZUSgtQvYTpXkR5ZP/HFlPwXAsqF+q/og4EaIqTtXIctBmXiYZfIK6MhPjhE+9hyJF300OnMJcAWWXqj/W5SJmGLZ+Ql1AZ2294uF2Sal2ob/f2NCwHSmNsWEYpzeYwiHKx91sJyhao2vO/OTjaP9pTIBjWcYhlK/oXTKd9m0SfZf0Qqx1k7ff4cLf5uIEVlOJpsPq4wZznIeUB/g0sbAiZKiUM45xjAQzxLER5DMeBBE6Xl9gcF98uosnYnxq7cbYAWrt8Oh7RzIorIYMLTEDQLDZBQgXjqxgSWnJdmUAll+N2kajEVkXldjfJFO4gxMfe4KgXCYakWBYcSx4J9FIlNkQ7SYwdZHppQw0bsFGPJnjWDqbVdlJPAQ+ZhNFKhDl/himZJoqqzE8vTiqTWQrBKiMqw3C5wQj0Tc5oiLch4Rqy5rCAURnidurSbunNBNsMo2cvrCSXBGO/JZ8Jl5VR/IrEOjdo8xw9rQaUFymtrpb66/Mt1eM5Bxal/Ub7m2ZwoxVeL+37Qdgwm7ssRmwukCloqsqGM0EoTNDYq2tlIU7wfo5vQqwnqjbFo2AZUjnB4gvSMF+a4I3tu26QypIDSYHNU4236+FBoUmXjFMgNNIl5QRhbrDAG8Ib7B/AsksuW5c8xbeFZhGQEPQFnl/rS5CMqFpGt6HquoTUAfrewAfRvUSP0lyiOiybkzwjWFSEQ6KJYjFYxEZeu371bxB8AB7/bxBZZ1JHqawK+Iz424/G9cH5/sDH5f389e5wuH5Q7jmfOp85Xzi+c+gMnR+dU+fMiZzfnT+dv5y/O3c6X3a8zn7jevvWGvPAabXOd/8Ad9GdtQ==</latexit><latexit sha1_base64="5q20V1Bb8g9OzPntGICG3xptq2Q=">AAAHgXicfVVdb9s2FFXbre60r3R93Au7wMPW2Y6ULkuzIYCxFcUKpFg2O2kBy/Uo6coiTEoaSTV2Cf2z/ZG97nX7EbuUnMVyshEwRV/ecw/v4SUZFpwp7Xl/3Lp9551373buvee+/8GHH328c/+Tc5WXMoKzKOe5fBVSBZxlcKaZ5vCqkEBFyOFluPjBzr98A1KxPBvrVQFTQecZS1hENZpmO+cnM498fkwCQXUaJsarXo+vxuQrnPh+5tfd6zEJAvdk5jf+taX+rL32667xmu3segOvbuT6wF8Pdp11O53dv/sgiPOoFJDpiFOlJr5X6KmhUrOIQ+UGpYKCRgs6hwkOMypATU0tQEW6aIlJkkv8ZZrUVncTgnEkXbWiGE3DklO5bFvDPF/gjKpct82pkydTw7Ki1JBFDWVScqJzYnUlMZMQab4ibV7NFm97GYsgkTTqUaGstr2C2XX29OJtfy5pkfYEXUAEnF+ZmlVZOGehpHJlU8gvVC/EyHOZl1msegXVGmSmEK8lW/ZUSgtQvYTpXkR5ZP/HFlPwXAsqF+q/og4EaIqTtXIctBmXiYZfIK6MhPjhE+9hyJF300OnMJcAWWXqj/W5SJmGLZ+Ql1AZ2294uF2Sal2ob/f2NCwHSmNsWEYpzeYwiHKx91sJyhao2vO/OTjaP9pTIBjWcYhlK/oXTKd9m0SfZf0Qqx1k7ff4cLf5uIEVlOJpsPq4wZznIeUB/g0sbAiZKiUM45xjAQzxLER5DMeBBE6Xl9gcF98uosnYnxq7cbYAWrt8Oh7RzIorIYMLTEDQLDZBQgXjqxgSWnJdmUAll+N2kajEVkXldjfJFO4gxMfe4KgXCYakWBYcSx4J9FIlNkQ7SYwdZHppQw0bsFGPJnjWDqbVdlJPAQ+ZhNFKhDl/himZJoqqzE8vTiqTWQrBKiMqw3C5wQj0Tc5oiLch4Rqy5rCAURnidurSbunNBNsMo2cvrCSXBGO/JZ8Jl5VR/IrEOjdo8xw9rQaUFymtrpb66/Mt1eM5Bxal/Ub7m2ZwoxVeL+37Qdgwm7ssRmwukCloqsqGM0EoTNDYq2tlIU7wfo5vQqwnqjbFo2AZUjnB4gvSMF+a4I3tu26QypIDSYHNU4236+FBoUmXjFMgNNIl5QRhbrDAG8Ib7B/AsksuW5c8xbeFZhGQEPQFnl/rS5CMqFpGt6HquoTUAfrewAfRvUSP0lyiOiybkzwjWFSEQ6KJYjFYxEZeu371bxB8AB7/bxBZZ1JHqawK+Iz424/G9cH5/sDH5f389e5wuH5Q7jmfOp85Xzi+c+gMnR+dU+fMiZzfnT+dv5y/O3c6X3a8zn7jevvWGvPAabXOd/8Ad9GdtQ==</latexit>
L0 = L0D 1
0
L1 = L1D 1
1<latexit sha1_base64="I7vuzKK2xXTU+BdKDP9ObGYOCzs=">AAAHhHicfVXdbts2FFa7Le60v3S93A27wMNQyI6ULEszIIOBBcUKpFg2O22HyPMo6cgiTEoaSTV2CT3bnmMPsNvtFXYo24vlZBNgiyLPd77z85GMSs6U9v0/7t1/5933djoP3nc/+PCjjz/ZffjpS1VUMobLuOCFfB1RBZzlcKmZ5vC6lEBFxOFVNPvOrr96A1KxIh/pRQljQac5S1lMNU5Ndn8OBdVZTLk5ryc++eKUhOJ84ofibOL/YnpBTcLQ3bQJ1jZBqGGumwjMVNJFbSwoaEC167qT3T2/7zcPuT0IVoM9Z/VcTB7uPAqTIq4E5DrmVKmrwC/12FCpWcyhdsNKQUnjGZ3CFQ5zKkCNTRNBTbo4k5C0kPjLNWlm3U0I+rFRtqY0jSpO5bw9GxXFDFeUzaLFqdOnY8PystKQx0vKtOJEF8SWliRMQqz5grR5NZu99XIWQypp7FGhbDW9ktk4PT1728PqlZkn6Axi4PxmahmVhXMWSSoXNoXiWnkRep7KosoT5ZVUa5C5QryWbO6pjJagvJRpDzsW2+/EYkpeaEHlTP2X174ATXGxqRwHbUZVquEnSGojIXn81H8cceTdtNAZTCVAXpvmZW2uM6ZhyybiFdTG/m9YuF2SaV2qb/b3UUd9pdE3zOOM5lPox4XY/60CZTWq9oOvj04OTvYVCIZSjlC5onfNdNazSfRY3otQ8CAbu8PjveXLinYGFDeErY8bTnkRUR7iZ2hhA8hVJWGQFBwFMMDtEBcJnIYSOJ2vsQUG3xbR1SgYG9s4K4BWly9GQ5rb4krI4RoTEDRPTJhSwfgigZRWXOMWUel63BaJSq0qare7Saawg5Cc+v0TLxYMSVEWHCWPBHquUuuinST6DnM9t64GS7BRT65wrx2N6+2kzgA3mYThQkQFf4YpmaUXVZsfXpzXJrcUgtVG1IZhuOEQ9F3GOJFsQ6IVZMVhAcMqwnbqyrb0boJthuGzF7Yka4JR0Cqfiea1UfyGxBov0ea5PYvwk/Iyo/VNqL8+36p6MuXA4qy3rP1dK9hohcdL+3wQ1s1ml8WQTQUyhUtVWXcmjIQJl/P1LVmIczyik7sQq4W6TfEknEdUXqH4wiwq5iZ8Y/+7bpjJigPJgE0zjafr8VGpSZeMMiA01hXlBGFuOMMTwu8fHMG8S9ZPl5zh9ULzGEgE+hr3r7UlSEZUU0Z3SdV1CWkc9Px+AKK7Rg+zQmJ1WD4lRU5QVIRDqoliCVjERl57Qf2vE7wADv/XiWwyabzUtgp4jQTbl8btwcuDfoDh/fjV3mCwulAeOJ85nztfOoFz7Ayc750L59KJnd+dP52/nL87Ox2vc9g5Wprev7fCPHJaT+fbfwBAuKIK</latexit><latexit sha1_base64="I7vuzKK2xXTU+BdKDP9ObGYOCzs=">AAAHhHicfVXdbts2FFa7Le60v3S93A27wMNQyI6ULEszIIOBBcUKpFg2O22HyPMo6cgiTEoaSTV2CT3bnmMPsNvtFXYo24vlZBNgiyLPd77z85GMSs6U9v0/7t1/5933djoP3nc/+PCjjz/ZffjpS1VUMobLuOCFfB1RBZzlcKmZ5vC6lEBFxOFVNPvOrr96A1KxIh/pRQljQac5S1lMNU5Ndn8OBdVZTLk5ryc++eKUhOJ84ofibOL/YnpBTcLQ3bQJ1jZBqGGumwjMVNJFbSwoaEC167qT3T2/7zcPuT0IVoM9Z/VcTB7uPAqTIq4E5DrmVKmrwC/12FCpWcyhdsNKQUnjGZ3CFQ5zKkCNTRNBTbo4k5C0kPjLNWlm3U0I+rFRtqY0jSpO5bw9GxXFDFeUzaLFqdOnY8PystKQx0vKtOJEF8SWliRMQqz5grR5NZu99XIWQypp7FGhbDW9ktk4PT1728PqlZkn6Axi4PxmahmVhXMWSSoXNoXiWnkRep7KosoT5ZVUa5C5QryWbO6pjJagvJRpDzsW2+/EYkpeaEHlTP2X174ATXGxqRwHbUZVquEnSGojIXn81H8cceTdtNAZTCVAXpvmZW2uM6ZhyybiFdTG/m9YuF2SaV2qb/b3UUd9pdE3zOOM5lPox4XY/60CZTWq9oOvj04OTvYVCIZSjlC5onfNdNazSfRY3otQ8CAbu8PjveXLinYGFDeErY8bTnkRUR7iZ2hhA8hVJWGQFBwFMMDtEBcJnIYSOJ2vsQUG3xbR1SgYG9s4K4BWly9GQ5rb4krI4RoTEDRPTJhSwfgigZRWXOMWUel63BaJSq0qare7Saawg5Cc+v0TLxYMSVEWHCWPBHquUuuinST6DnM9t64GS7BRT65wrx2N6+2kzgA3mYThQkQFf4YpmaUXVZsfXpzXJrcUgtVG1IZhuOEQ9F3GOJFsQ6IVZMVhAcMqwnbqyrb0boJthuGzF7Yka4JR0Cqfiea1UfyGxBov0ea5PYvwk/Iyo/VNqL8+36p6MuXA4qy3rP1dK9hohcdL+3wQ1s1ml8WQTQUyhUtVWXcmjIQJl/P1LVmIczyik7sQq4W6TfEknEdUXqH4wiwq5iZ8Y/+7bpjJigPJgE0zjafr8VGpSZeMMiA01hXlBGFuOMMTwu8fHMG8S9ZPl5zh9ULzGEgE+hr3r7UlSEZUU0Z3SdV1CWkc9Px+AKK7Rg+zQmJ1WD4lRU5QVIRDqoliCVjERl57Qf2vE7wADv/XiWwyabzUtgp4jQTbl8btwcuDfoDh/fjV3mCwulAeOJ85nztfOoFz7Ayc750L59KJnd+dP52/nL87Ox2vc9g5Wprev7fCPHJaT+fbfwBAuKIK</latexit><latexit sha1_base64="I7vuzKK2xXTU+BdKDP9ObGYOCzs=">AAAHhHicfVXdbts2FFa7Le60v3S93A27wMNQyI6ULEszIIOBBcUKpFg2O22HyPMo6cgiTEoaSTV2CT3bnmMPsNvtFXYo24vlZBNgiyLPd77z85GMSs6U9v0/7t1/5933djoP3nc/+PCjjz/ZffjpS1VUMobLuOCFfB1RBZzlcKmZ5vC6lEBFxOFVNPvOrr96A1KxIh/pRQljQac5S1lMNU5Ndn8OBdVZTLk5ryc++eKUhOJ84ofibOL/YnpBTcLQ3bQJ1jZBqGGumwjMVNJFbSwoaEC167qT3T2/7zcPuT0IVoM9Z/VcTB7uPAqTIq4E5DrmVKmrwC/12FCpWcyhdsNKQUnjGZ3CFQ5zKkCNTRNBTbo4k5C0kPjLNWlm3U0I+rFRtqY0jSpO5bw9GxXFDFeUzaLFqdOnY8PystKQx0vKtOJEF8SWliRMQqz5grR5NZu99XIWQypp7FGhbDW9ktk4PT1728PqlZkn6Axi4PxmahmVhXMWSSoXNoXiWnkRep7KosoT5ZVUa5C5QryWbO6pjJagvJRpDzsW2+/EYkpeaEHlTP2X174ATXGxqRwHbUZVquEnSGojIXn81H8cceTdtNAZTCVAXpvmZW2uM6ZhyybiFdTG/m9YuF2SaV2qb/b3UUd9pdE3zOOM5lPox4XY/60CZTWq9oOvj04OTvYVCIZSjlC5onfNdNazSfRY3otQ8CAbu8PjveXLinYGFDeErY8bTnkRUR7iZ2hhA8hVJWGQFBwFMMDtEBcJnIYSOJ2vsQUG3xbR1SgYG9s4K4BWly9GQ5rb4krI4RoTEDRPTJhSwfgigZRWXOMWUel63BaJSq0qare7Saawg5Cc+v0TLxYMSVEWHCWPBHquUuuinST6DnM9t64GS7BRT65wrx2N6+2kzgA3mYThQkQFf4YpmaUXVZsfXpzXJrcUgtVG1IZhuOEQ9F3GOJFsQ6IVZMVhAcMqwnbqyrb0boJthuGzF7Yka4JR0Cqfiea1UfyGxBov0ea5PYvwk/Iyo/VNqL8+36p6MuXA4qy3rP1dK9hohcdL+3wQ1s1ml8WQTQUyhUtVWXcmjIQJl/P1LVmIczyik7sQq4W6TfEknEdUXqH4wiwq5iZ8Y/+7bpjJigPJgE0zjafr8VGpSZeMMiA01hXlBGFuOMMTwu8fHMG8S9ZPl5zh9ULzGEgE+hr3r7UlSEZUU0Z3SdV1CWkc9Px+AKK7Rg+zQmJ1WD4lRU5QVIRDqoliCVjERl57Qf2vE7wADv/XiWwyabzUtgp4jQTbl8btwcuDfoDh/fjV3mCwulAeOJ85nztfOoFz7Ayc750L59KJnd+dP52/nL87Ox2vc9g5Wprev7fCPHJaT+fbfwBAuKIK</latexit><latexit sha1_base64="I7vuzKK2xXTU+BdKDP9ObGYOCzs=">AAAHhHicfVXdbts2FFa7Le60v3S93A27wMNQyI6ULEszIIOBBcUKpFg2O22HyPMo6cgiTEoaSTV2CT3bnmMPsNvtFXYo24vlZBNgiyLPd77z85GMSs6U9v0/7t1/5933djoP3nc/+PCjjz/ZffjpS1VUMobLuOCFfB1RBZzlcKmZ5vC6lEBFxOFVNPvOrr96A1KxIh/pRQljQac5S1lMNU5Ndn8OBdVZTLk5ryc++eKUhOJ84ofibOL/YnpBTcLQ3bQJ1jZBqGGumwjMVNJFbSwoaEC167qT3T2/7zcPuT0IVoM9Z/VcTB7uPAqTIq4E5DrmVKmrwC/12FCpWcyhdsNKQUnjGZ3CFQ5zKkCNTRNBTbo4k5C0kPjLNWlm3U0I+rFRtqY0jSpO5bw9GxXFDFeUzaLFqdOnY8PystKQx0vKtOJEF8SWliRMQqz5grR5NZu99XIWQypp7FGhbDW9ktk4PT1728PqlZkn6Axi4PxmahmVhXMWSSoXNoXiWnkRep7KosoT5ZVUa5C5QryWbO6pjJagvJRpDzsW2+/EYkpeaEHlTP2X174ATXGxqRwHbUZVquEnSGojIXn81H8cceTdtNAZTCVAXpvmZW2uM6ZhyybiFdTG/m9YuF2SaV2qb/b3UUd9pdE3zOOM5lPox4XY/60CZTWq9oOvj04OTvYVCIZSjlC5onfNdNazSfRY3otQ8CAbu8PjveXLinYGFDeErY8bTnkRUR7iZ2hhA8hVJWGQFBwFMMDtEBcJnIYSOJ2vsQUG3xbR1SgYG9s4K4BWly9GQ5rb4krI4RoTEDRPTJhSwfgigZRWXOMWUel63BaJSq0qare7Saawg5Cc+v0TLxYMSVEWHCWPBHquUuuinST6DnM9t64GS7BRT65wrx2N6+2kzgA3mYThQkQFf4YpmaUXVZsfXpzXJrcUgtVG1IZhuOEQ9F3GOJFsQ6IVZMVhAcMqwnbqyrb0boJthuGzF7Yka4JR0Cqfiea1UfyGxBov0ea5PYvwk/Iyo/VNqL8+36p6MuXA4qy3rP1dK9hohcdL+3wQ1s1ml8WQTQUyhUtVWXcmjIQJl/P1LVmIczyik7sQq4W6TfEknEdUXqH4wiwq5iZ8Y/+7bpjJigPJgE0zjafr8VGpSZeMMiA01hXlBGFuOMMTwu8fHMG8S9ZPl5zh9ULzGEgE+hr3r7UlSEZUU0Z3SdV1CWkc9Px+AKK7Rg+zQmJ1WD4lRU5QVIRDqoliCVjERl57Qf2vE7wADv/XiWwyabzUtgp4jQTbl8btwcuDfoDh/fjV3mCwulAeOJ85nztfOoFz7Ayc750L59KJnd+dP52/nL87Ox2vc9g5Wprev7fCPHJaT+fbfwBAuKIK</latexit>
V “lifts” an oriented flow on m edges to a symmetric flow on 2m edges.
P1 is a Markov operator on un-oriented edges.
VT “projects” back down to an oriented flow.
I L1 = VT
P1V
⇤(I L1) ✓ ⇤(P1)<latexit sha1_base64="0DW6cWsdnFVOljXJYY4rvuJ11k8=">AAAHjXicfVVdb9s2FFXbre60j6bt417YBS7awnasdFmaYRkMrOgWIMWy2UkLhG5GSVcWYVJSSaqxS+j/7S/sT+x1e9yl5SyWk02AZYq85xzew0syLATXpt//48bNWx99fLt15xP/088+/+Luxr37JzovVQTHUS5y9SZkGgTP4NhwI+BNoYDJUMDrcPqDG3/9HpTmeTYy8wLGkk0ynvCIGew62wgfESoPSBffzKQRE/awOgvIPn6fvLWjisqjswDbhFL/ET1E4pg9vgbxhFBdhhoMvCOXYYh94p9tbPZ7/cVDrjaCZWPTWz5HZ/duP6BxHpUSMhMJpvVp0C/M2DJleCSg8mmpoWDRlE3gFJsZk6DHdmFGRdrYE5MkV/jLDFn0+qsQ5FFs3mCxhoWlYGrW7A3zfIojuvL9pqZJno8tz4rSQBbVkkkpiMmJ85jEXEFkxJw0dQ2ffuhkPIJEsajDpHYGdgru5tkx0w/diWJF2pFsChEIcdlVz8rBBQ8VU3OXQn6uOyEyT1ReZrHuFMwYUJlGvFF81tEpK0B3Em46uEiR+44dphC5kUxN9X+x9iQYhoML5wQYOyoTA79CXFkF8cPn/YehQN3VCJPCRAFklV38uZjzlBtYiwlFCZV175UIv01SYwr97daWgVlPG+SGWZSybAK9KJdb70rQrlj1VvDNzt723pYGybGmQyxh2T3nJu26JLo864ZY+aAWcc92N+s/nzpDGe4M549PJyIPmaD4SR1sAJkuFQziXGABDHBfRHkM+1SBYLMLbI6TbxbR6SgYW7dwrgAaq3w0GrLMmasgg3NMQLIstjRhkot5DAkrhaks1clFu1kkOnFVUfntVTGNKwjxfr+314kkR1EsC4EljwJmphNH0UwSuWlmZo5qUIOtfnqKe21nXK0n9QJwkykYzmWYi5eYkq1ZdGV/fnVY2cxJSF5ZWVmO06VDMNcFY0e8DgmXkKWGAwzxmMCDqnRLer3AusLw5StnyYXAKGjYZ8NZZbW4FHHBNdoeYKTzgIkiZdXlVH87WHM9ngjgUdqtvb9uBBda4/HSPB+ko1ldZTnkE4lKtK4qR2dpKC2t+6srZSHrs/IaxHKgako8pbOQqVMsPpqG+czS9+7d9mmqSgEkBT5JDZ6uuzuFIW0ySoGwyJRMEIT5dIonRL+3vQOzNrl42uQF3jMsi4CEYM5x/7pYgmJEL2z0a6m2T8iCoNvvBSDbF+hhmit0h2cTkmcEi4oISAzRPAaHWMlrM6j+JcEL4Nn/kqhFJguWyrmA10iwfmlcbZxs9wKc3i9fbw4Gywvljvel95X32Au8XW/g/eQdecde5P3u/en95f3dutvaaX3X+r4OvXljiXngNZ7Wj/8AQw2kQw==</latexit><latexit sha1_base64="0DW6cWsdnFVOljXJYY4rvuJ11k8=">AAAHjXicfVVdb9s2FFXbre60j6bt417YBS7awnasdFmaYRkMrOgWIMWy2UkLhG5GSVcWYVJSSaqxS+j/7S/sT+x1e9yl5SyWk02AZYq85xzew0syLATXpt//48bNWx99fLt15xP/088+/+Luxr37JzovVQTHUS5y9SZkGgTP4NhwI+BNoYDJUMDrcPqDG3/9HpTmeTYy8wLGkk0ynvCIGew62wgfESoPSBffzKQRE/awOgvIPn6fvLWjisqjswDbhFL/ET1E4pg9vgbxhFBdhhoMvCOXYYh94p9tbPZ7/cVDrjaCZWPTWz5HZ/duP6BxHpUSMhMJpvVp0C/M2DJleCSg8mmpoWDRlE3gFJsZk6DHdmFGRdrYE5MkV/jLDFn0+qsQ5FFs3mCxhoWlYGrW7A3zfIojuvL9pqZJno8tz4rSQBbVkkkpiMmJ85jEXEFkxJw0dQ2ffuhkPIJEsajDpHYGdgru5tkx0w/diWJF2pFsChEIcdlVz8rBBQ8VU3OXQn6uOyEyT1ReZrHuFMwYUJlGvFF81tEpK0B3Em46uEiR+44dphC5kUxN9X+x9iQYhoML5wQYOyoTA79CXFkF8cPn/YehQN3VCJPCRAFklV38uZjzlBtYiwlFCZV175UIv01SYwr97daWgVlPG+SGWZSybAK9KJdb70rQrlj1VvDNzt723pYGybGmQyxh2T3nJu26JLo864ZY+aAWcc92N+s/nzpDGe4M549PJyIPmaD4SR1sAJkuFQziXGABDHBfRHkM+1SBYLMLbI6TbxbR6SgYW7dwrgAaq3w0GrLMmasgg3NMQLIstjRhkot5DAkrhaks1clFu1kkOnFVUfntVTGNKwjxfr+314kkR1EsC4EljwJmphNH0UwSuWlmZo5qUIOtfnqKe21nXK0n9QJwkykYzmWYi5eYkq1ZdGV/fnVY2cxJSF5ZWVmO06VDMNcFY0e8DgmXkKWGAwzxmMCDqnRLer3AusLw5StnyYXAKGjYZ8NZZbW4FHHBNdoeYKTzgIkiZdXlVH87WHM9ngjgUdqtvb9uBBda4/HSPB+ko1ldZTnkE4lKtK4qR2dpKC2t+6srZSHrs/IaxHKgako8pbOQqVMsPpqG+czS9+7d9mmqSgEkBT5JDZ6uuzuFIW0ySoGwyJRMEIT5dIonRL+3vQOzNrl42uQF3jMsi4CEYM5x/7pYgmJEL2z0a6m2T8iCoNvvBSDbF+hhmit0h2cTkmcEi4oISAzRPAaHWMlrM6j+JcEL4Nn/kqhFJguWyrmA10iwfmlcbZxs9wKc3i9fbw4Gywvljvel95X32Au8XW/g/eQdecde5P3u/en95f3dutvaaX3X+r4OvXljiXngNZ7Wj/8AQw2kQw==</latexit><latexit sha1_base64="0DW6cWsdnFVOljXJYY4rvuJ11k8=">AAAHjXicfVVdb9s2FFXbre60j6bt417YBS7awnasdFmaYRkMrOgWIMWy2UkLhG5GSVcWYVJSSaqxS+j/7S/sT+x1e9yl5SyWk02AZYq85xzew0syLATXpt//48bNWx99fLt15xP/088+/+Luxr37JzovVQTHUS5y9SZkGgTP4NhwI+BNoYDJUMDrcPqDG3/9HpTmeTYy8wLGkk0ynvCIGew62wgfESoPSBffzKQRE/awOgvIPn6fvLWjisqjswDbhFL/ET1E4pg9vgbxhFBdhhoMvCOXYYh94p9tbPZ7/cVDrjaCZWPTWz5HZ/duP6BxHpUSMhMJpvVp0C/M2DJleCSg8mmpoWDRlE3gFJsZk6DHdmFGRdrYE5MkV/jLDFn0+qsQ5FFs3mCxhoWlYGrW7A3zfIojuvL9pqZJno8tz4rSQBbVkkkpiMmJ85jEXEFkxJw0dQ2ffuhkPIJEsajDpHYGdgru5tkx0w/diWJF2pFsChEIcdlVz8rBBQ8VU3OXQn6uOyEyT1ReZrHuFMwYUJlGvFF81tEpK0B3Em46uEiR+44dphC5kUxN9X+x9iQYhoML5wQYOyoTA79CXFkF8cPn/YehQN3VCJPCRAFklV38uZjzlBtYiwlFCZV175UIv01SYwr97daWgVlPG+SGWZSybAK9KJdb70rQrlj1VvDNzt723pYGybGmQyxh2T3nJu26JLo864ZY+aAWcc92N+s/nzpDGe4M549PJyIPmaD4SR1sAJkuFQziXGABDHBfRHkM+1SBYLMLbI6TbxbR6SgYW7dwrgAaq3w0GrLMmasgg3NMQLIstjRhkot5DAkrhaks1clFu1kkOnFVUfntVTGNKwjxfr+314kkR1EsC4EljwJmphNH0UwSuWlmZo5qUIOtfnqKe21nXK0n9QJwkykYzmWYi5eYkq1ZdGV/fnVY2cxJSF5ZWVmO06VDMNcFY0e8DgmXkKWGAwzxmMCDqnRLer3AusLw5StnyYXAKGjYZ8NZZbW4FHHBNdoeYKTzgIkiZdXlVH87WHM9ngjgUdqtvb9uBBda4/HSPB+ko1ldZTnkE4lKtK4qR2dpKC2t+6srZSHrs/IaxHKgako8pbOQqVMsPpqG+czS9+7d9mmqSgEkBT5JDZ6uuzuFIW0ySoGwyJRMEIT5dIonRL+3vQOzNrl42uQF3jMsi4CEYM5x/7pYgmJEL2z0a6m2T8iCoNvvBSDbF+hhmit0h2cTkmcEi4oISAzRPAaHWMlrM6j+JcEL4Nn/kqhFJguWyrmA10iwfmlcbZxs9wKc3i9fbw4Gywvljvel95X32Au8XW/g/eQdecde5P3u/en95f3dutvaaX3X+r4OvXljiXngNZ7Wj/8AQw2kQw==</latexit><latexit sha1_base64="0DW6cWsdnFVOljXJYY4rvuJ11k8=">AAAHjXicfVVdb9s2FFXbre60j6bt417YBS7awnasdFmaYRkMrOgWIMWy2UkLhG5GSVcWYVJSSaqxS+j/7S/sT+x1e9yl5SyWk02AZYq85xzew0syLATXpt//48bNWx99fLt15xP/088+/+Luxr37JzovVQTHUS5y9SZkGgTP4NhwI+BNoYDJUMDrcPqDG3/9HpTmeTYy8wLGkk0ynvCIGew62wgfESoPSBffzKQRE/awOgvIPn6fvLWjisqjswDbhFL/ET1E4pg9vgbxhFBdhhoMvCOXYYh94p9tbPZ7/cVDrjaCZWPTWz5HZ/duP6BxHpUSMhMJpvVp0C/M2DJleCSg8mmpoWDRlE3gFJsZk6DHdmFGRdrYE5MkV/jLDFn0+qsQ5FFs3mCxhoWlYGrW7A3zfIojuvL9pqZJno8tz4rSQBbVkkkpiMmJ85jEXEFkxJw0dQ2ffuhkPIJEsajDpHYGdgru5tkx0w/diWJF2pFsChEIcdlVz8rBBQ8VU3OXQn6uOyEyT1ReZrHuFMwYUJlGvFF81tEpK0B3Em46uEiR+44dphC5kUxN9X+x9iQYhoML5wQYOyoTA79CXFkF8cPn/YehQN3VCJPCRAFklV38uZjzlBtYiwlFCZV175UIv01SYwr97daWgVlPG+SGWZSybAK9KJdb70rQrlj1VvDNzt723pYGybGmQyxh2T3nJu26JLo864ZY+aAWcc92N+s/nzpDGe4M549PJyIPmaD4SR1sAJkuFQziXGABDHBfRHkM+1SBYLMLbI6TbxbR6SgYW7dwrgAaq3w0GrLMmasgg3NMQLIstjRhkot5DAkrhaks1clFu1kkOnFVUfntVTGNKwjxfr+314kkR1EsC4EljwJmphNH0UwSuWlmZo5qUIOtfnqKe21nXK0n9QJwkykYzmWYi5eYkq1ZdGV/fnVY2cxJSF5ZWVmO06VDMNcFY0e8DgmXkKWGAwzxmMCDqnRLer3AusLw5StnyYXAKGjYZ8NZZbW4FHHBNdoeYKTzgIkiZdXlVH87WHM9ngjgUdqtvb9uBBda4/HSPB+ko1ldZTnkE4lKtK4qR2dpKC2t+6srZSHrs/IaxHKgako8pbOQqVMsPpqG+czS9+7d9mmqSgEkBT5JDZ6uuzuFIW0ySoGwyJRMEIT5dIonRL+3vQOzNrl42uQF3jMsi4CEYM5x/7pYgmJEL2z0a6m2T8iCoNvvBSDbF+hhmit0h2cTkmcEi4oISAzRPAaHWMlrM6j+JcEL4Nn/kqhFJguWyrmA10iwfmlcbZxs9wKc3i9fbw4Gywvljvel95X32Au8XW/g/eQdecde5P3u/en95f3dutvaaX3X+r4OvXljiXngNZ7Wj/8AQw2kQw==</latexit>
40. The lifted operated is a random walk on oriented edges.
40
• di = # edges containing i
• dij = # triangles containing {i, j}
• Fij = 2(di + dj + dij)
P1 transition from edge (i, j)
1. With prob. di / Fij, go to some (k, i)
2. With prob. dj / Fij, go to some (j, k)
3. With prob. (di + dj + dij) / Fij, go to some
(i, k) or (k, j) s.t. {i, j, k} is a triangle.
4. Otherwise, stay at (i, j)
B
initial position
A
Edge View
initial position
State-space
C
(self-loops not shown)
Transition types
initial position
self-loop
initial position
aligned
transition
(lower adjacent)
initial positionanti-aligned
transition
(upper adjacent)
Random walk
lifted state-space
We project back to un-oriented edges with stat. dist. !.
diffusion_value({i, j}) = !(i, j) - !(j, i)
41. Simplicial diffusions do not localize like graph diffusions.
41
( I + L0)x = ei, L0 = L0D 1
0 (graph PPR)
( I + L1)x = ei,j, L1 = L1D 1
1 (simplicial PPR)<latexit sha1_base64="61kwpv0PEgGg63BK11H2dFHE1Ys=">AAAIDHicfVXdbts2FHa6re60v3S93A27wEPbyY6VLkuzIYCBBd0CpFhWJ22B0PMo6cjiTEoqSSV2Cb3CnmZ3w273Drvcm+zQcpbISSfAFkWe7/t4/siwEFybfv/vtVvvvPve7fad970PPvzo40/W7376QueliuAkykWuXoVMg+AZnBhuBLwqFDAZCngZTr9z6y/PQGmeZ8dmXsBIsknGEx4xg1Pj9X++IA9oCIZReUC+JFQyk0ZM2MNq3H9Iz2Zkj9TLZzDmPv22aeFW5eG4T+X+uP+z7QYVoa9LFiOngZmxE8WKlBwdPa8eUuq9XSpYlbLc/7ValQuWcoGTC26Q01xizCLORK1JUNQbr2/0e/3FQ64PguVgo7V8jsZ3b9+jcR6VEjITCab1adAvzMgyZXgkoPJoqaFg0ZRN4BSHGZOgR3aRi4p0cCYmSa7wlxmymPWuQpBHsXmDxRoWloKpWXM2zPMprujK85qaJnkysjwrSgNZVEsmpSAmJy7FJOYKIiPmpKlr+PSNn/EIEsUin0ntQusX3O3TN9M33UW2fMmmEIEQl1P1rhxc8FAxNXcu5OfaD5F5ovIyi7VfMGNAZRrxRvGZr1NWgPYTbnxMX+S+Y4cpRG4kU1P9NtaexBrAxUXkBBh7XCYGnkNcWQXx/Sf9+6FA3asWJoWJAsgqu3g5m/OUG1ixCUUJlXX/Vyy8DkmNKfQ3m5tYQz1tkBtmUcqyCfSiXG6+LkG7XtGbwdfbu1u7mxokx5YKsYNk95ybtOuc6PKsG2LjgVrYPd7ZqF8edQFl2JguPh6diDxkguIndbABZLpUMIhzgQUwwLaM8hj2qALBZhfYHDffLKLT42BkXeJcATSyfHQ8ZJkLroIMztEBybLY0oRJLuYxJKwUprJUJxfjZpHoxFVF5XWuimnMIMR7/d6uH0mOolgWAkseBcxMJ46i6SRy08zMHNWgBlv96BR7bXtUrTq1D9hkCoZzGebiKbpkaxZd2R+fHVY2cxKSV1ZWluN26RDMTcY4Ea9CwiVkqeEAwzLEdJrSpfRmgVWF4dNnLiQXAsdBI3w2nFVWi0sRZ1yj7QFauhgwUaSsutzqLwcrUY8nAniUduvY37SCidZ4vDTPB+lormZZDvlEohKtq8rRWRpKS+v56lpZyEO8KuKbEMuFqinxiM5Cpk6x+Gga5jNLz9x/x6OpKgWQFPgkNXi67mwXhnTIcQqERabEAxlhHp3iCdHvbW3DrEMung7Zx2uOZREQPP3PsX+dLUExohdh9GqpjkfIgqDb7wUgOxfoYZorjA7PJiTPCBYVEZAYonkMDnHFr42g+o8EL4DH/0uiFp4sWCoXBbxGgtVL4/rgxVYvwO399NXGYLC8UO60Pmt93nrQClo7rUHrh9ZR66QVrX2/JtfO1s7bv7V/b//R/rM2vbW2xNxrNZ72X/8CxXXQlw==</latexit><latexit sha1_base64="61kwpv0PEgGg63BK11H2dFHE1Ys=">AAAIDHicfVXdbts2FHa6re60v3S93A27wEPbyY6VLkuzIYCBBd0CpFhWJ22B0PMo6cjiTEoqSSV2Cb3CnmZ3w273Drvcm+zQcpbISSfAFkWe7/t4/siwEFybfv/vtVvvvPve7fad970PPvzo40/W7376QueliuAkykWuXoVMg+AZnBhuBLwqFDAZCngZTr9z6y/PQGmeZ8dmXsBIsknGEx4xg1Pj9X++IA9oCIZReUC+JFQyk0ZM2MNq3H9Iz2Zkj9TLZzDmPv22aeFW5eG4T+X+uP+z7QYVoa9LFiOngZmxE8WKlBwdPa8eUuq9XSpYlbLc/7ValQuWcoGTC26Q01xizCLORK1JUNQbr2/0e/3FQ64PguVgo7V8jsZ3b9+jcR6VEjITCab1adAvzMgyZXgkoPJoqaFg0ZRN4BSHGZOgR3aRi4p0cCYmSa7wlxmymPWuQpBHsXmDxRoWloKpWXM2zPMprujK85qaJnkysjwrSgNZVEsmpSAmJy7FJOYKIiPmpKlr+PSNn/EIEsUin0ntQusX3O3TN9M33UW2fMmmEIEQl1P1rhxc8FAxNXcu5OfaD5F5ovIyi7VfMGNAZRrxRvGZr1NWgPYTbnxMX+S+Y4cpRG4kU1P9NtaexBrAxUXkBBh7XCYGnkNcWQXx/Sf9+6FA3asWJoWJAsgqu3g5m/OUG1ixCUUJlXX/Vyy8DkmNKfQ3m5tYQz1tkBtmUcqyCfSiXG6+LkG7XtGbwdfbu1u7mxokx5YKsYNk95ybtOuc6PKsG2LjgVrYPd7ZqF8edQFl2JguPh6diDxkguIndbABZLpUMIhzgQUwwLaM8hj2qALBZhfYHDffLKLT42BkXeJcATSyfHQ8ZJkLroIMztEBybLY0oRJLuYxJKwUprJUJxfjZpHoxFVF5XWuimnMIMR7/d6uH0mOolgWAkseBcxMJ46i6SRy08zMHNWgBlv96BR7bXtUrTq1D9hkCoZzGebiKbpkaxZd2R+fHVY2cxKSV1ZWluN26RDMTcY4Ea9CwiVkqeEAwzLEdJrSpfRmgVWF4dNnLiQXAsdBI3w2nFVWi0sRZ1yj7QFauhgwUaSsutzqLwcrUY8nAniUduvY37SCidZ4vDTPB+lormZZDvlEohKtq8rRWRpKS+v56lpZyEO8KuKbEMuFqinxiM5Cpk6x+Gga5jNLz9x/x6OpKgWQFPgkNXi67mwXhnTIcQqERabEAxlhHp3iCdHvbW3DrEMung7Zx2uOZREQPP3PsX+dLUExohdh9GqpjkfIgqDb7wUgOxfoYZorjA7PJiTPCBYVEZAYonkMDnHFr42g+o8EL4DH/0uiFp4sWCoXBbxGgtVL4/rgxVYvwO399NXGYLC8UO60Pmt93nrQClo7rUHrh9ZR66QVrX2/JtfO1s7bv7V/b//R/rM2vbW2xNxrNZ72X/8CxXXQlw==</latexit><latexit sha1_base64="61kwpv0PEgGg63BK11H2dFHE1Ys=">AAAIDHicfVXdbts2FHa6re60v3S93A27wEPbyY6VLkuzIYCBBd0CpFhWJ22B0PMo6cjiTEoqSSV2Cb3CnmZ3w273Drvcm+zQcpbISSfAFkWe7/t4/siwEFybfv/vtVvvvPve7fad970PPvzo40/W7376QueliuAkykWuXoVMg+AZnBhuBLwqFDAZCngZTr9z6y/PQGmeZ8dmXsBIsknGEx4xg1Pj9X++IA9oCIZReUC+JFQyk0ZM2MNq3H9Iz2Zkj9TLZzDmPv22aeFW5eG4T+X+uP+z7QYVoa9LFiOngZmxE8WKlBwdPa8eUuq9XSpYlbLc/7ValQuWcoGTC26Q01xizCLORK1JUNQbr2/0e/3FQ64PguVgo7V8jsZ3b9+jcR6VEjITCab1adAvzMgyZXgkoPJoqaFg0ZRN4BSHGZOgR3aRi4p0cCYmSa7wlxmymPWuQpBHsXmDxRoWloKpWXM2zPMprujK85qaJnkysjwrSgNZVEsmpSAmJy7FJOYKIiPmpKlr+PSNn/EIEsUin0ntQusX3O3TN9M33UW2fMmmEIEQl1P1rhxc8FAxNXcu5OfaD5F5ovIyi7VfMGNAZRrxRvGZr1NWgPYTbnxMX+S+Y4cpRG4kU1P9NtaexBrAxUXkBBh7XCYGnkNcWQXx/Sf9+6FA3asWJoWJAsgqu3g5m/OUG1ixCUUJlXX/Vyy8DkmNKfQ3m5tYQz1tkBtmUcqyCfSiXG6+LkG7XtGbwdfbu1u7mxokx5YKsYNk95ybtOuc6PKsG2LjgVrYPd7ZqF8edQFl2JguPh6diDxkguIndbABZLpUMIhzgQUwwLaM8hj2qALBZhfYHDffLKLT42BkXeJcATSyfHQ8ZJkLroIMztEBybLY0oRJLuYxJKwUprJUJxfjZpHoxFVF5XWuimnMIMR7/d6uH0mOolgWAkseBcxMJ46i6SRy08zMHNWgBlv96BR7bXtUrTq1D9hkCoZzGebiKbpkaxZd2R+fHVY2cxKSV1ZWluN26RDMTcY4Ea9CwiVkqeEAwzLEdJrSpfRmgVWF4dNnLiQXAsdBI3w2nFVWi0sRZ1yj7QFauhgwUaSsutzqLwcrUY8nAniUduvY37SCidZ4vDTPB+lormZZDvlEohKtq8rRWRpKS+v56lpZyEO8KuKbEMuFqinxiM5Cpk6x+Gga5jNLz9x/x6OpKgWQFPgkNXi67mwXhnTIcQqERabEAxlhHp3iCdHvbW3DrEMung7Zx2uOZREQPP3PsX+dLUExohdh9GqpjkfIgqDb7wUgOxfoYZorjA7PJiTPCBYVEZAYonkMDnHFr42g+o8EL4DH/0uiFp4sWCoXBbxGgtVL4/rgxVYvwO399NXGYLC8UO60Pmt93nrQClo7rUHrh9ZR66QVrX2/JtfO1s7bv7V/b//R/rM2vbW2xNxrNZ72X/8CxXXQlw==</latexit><latexit sha1_base64="61kwpv0PEgGg63BK11H2dFHE1Ys=">AAAIDHicfVXdbts2FHa6re60v3S93A27wEPbyY6VLkuzIYCBBd0CpFhWJ22B0PMo6cjiTEoqSSV2Cb3CnmZ3w273Drvcm+zQcpbISSfAFkWe7/t4/siwEFybfv/vtVvvvPve7fad970PPvzo40/W7376QueliuAkykWuXoVMg+AZnBhuBLwqFDAZCngZTr9z6y/PQGmeZ8dmXsBIsknGEx4xg1Pj9X++IA9oCIZReUC+JFQyk0ZM2MNq3H9Iz2Zkj9TLZzDmPv22aeFW5eG4T+X+uP+z7QYVoa9LFiOngZmxE8WKlBwdPa8eUuq9XSpYlbLc/7ValQuWcoGTC26Q01xizCLORK1JUNQbr2/0e/3FQ64PguVgo7V8jsZ3b9+jcR6VEjITCab1adAvzMgyZXgkoPJoqaFg0ZRN4BSHGZOgR3aRi4p0cCYmSa7wlxmymPWuQpBHsXmDxRoWloKpWXM2zPMprujK85qaJnkysjwrSgNZVEsmpSAmJy7FJOYKIiPmpKlr+PSNn/EIEsUin0ntQusX3O3TN9M33UW2fMmmEIEQl1P1rhxc8FAxNXcu5OfaD5F5ovIyi7VfMGNAZRrxRvGZr1NWgPYTbnxMX+S+Y4cpRG4kU1P9NtaexBrAxUXkBBh7XCYGnkNcWQXx/Sf9+6FA3asWJoWJAsgqu3g5m/OUG1ixCUUJlXX/Vyy8DkmNKfQ3m5tYQz1tkBtmUcqyCfSiXG6+LkG7XtGbwdfbu1u7mxokx5YKsYNk95ybtOuc6PKsG2LjgVrYPd7ZqF8edQFl2JguPh6diDxkguIndbABZLpUMIhzgQUwwLaM8hj2qALBZhfYHDffLKLT42BkXeJcATSyfHQ8ZJkLroIMztEBybLY0oRJLuYxJKwUprJUJxfjZpHoxFVF5XWuimnMIMR7/d6uH0mOolgWAkseBcxMJ46i6SRy08zMHNWgBlv96BR7bXtUrTq1D9hkCoZzGebiKbpkaxZd2R+fHVY2cxKSV1ZWluN26RDMTcY4Ea9CwiVkqeEAwzLEdJrSpfRmgVWF4dNnLiQXAsdBI3w2nFVWi0sRZ1yj7QFauhgwUaSsutzqLwcrUY8nAniUduvY37SCidZ4vDTPB+lormZZDvlEohKtq8rRWRpKS+v56lpZyEO8KuKbEMuFqinxiM5Cpk6x+Gga5jNLz9x/x6OpKgWQFPgkNXi67mwXhnTIcQqERabEAxlhHp3iCdHvbW3DrEMung7Zx2uOZREQPP3PsX+dLUExohdh9GqpjkfIgqDb7wUgOxfoYZorjA7PJiTPCBYVEZAYonkMDnHFr42g+o8EL4DH/0uiFp4sWCoXBbxGgtVL4/rgxVYvwO399NXGYLC8UO60Pmt93nrQClo7rUHrh9ZR66QVrX2/JtfO1s7bv7V/b//R/rM2vbW2xNxrNZ72X/8CxXXQlw==</latexit>
Seed node
Figure from PageRank Beyond the Web, David F. Gleich, SIAM Rev., 2015.
42. Simplicial diffusions do not localize like graph diffusions.
42
( I + L0)x = ei, L0 = L0D 1
0 (graph PPR)
( I + L1)x = ei,j, L1 = L1D 1
1 (simplicial PPR)<latexit sha1_base64="61kwpv0PEgGg63BK11H2dFHE1Ys=">AAAIDHicfVXdbts2FHa6re60v3S93A27wEPbyY6VLkuzIYCBBd0CpFhWJ22B0PMo6cjiTEoqSSV2Cb3CnmZ3w273Drvcm+zQcpbISSfAFkWe7/t4/siwEFybfv/vtVvvvPve7fad970PPvzo40/W7376QueliuAkykWuXoVMg+AZnBhuBLwqFDAZCngZTr9z6y/PQGmeZ8dmXsBIsknGEx4xg1Pj9X++IA9oCIZReUC+JFQyk0ZM2MNq3H9Iz2Zkj9TLZzDmPv22aeFW5eG4T+X+uP+z7QYVoa9LFiOngZmxE8WKlBwdPa8eUuq9XSpYlbLc/7ValQuWcoGTC26Q01xizCLORK1JUNQbr2/0e/3FQ64PguVgo7V8jsZ3b9+jcR6VEjITCab1adAvzMgyZXgkoPJoqaFg0ZRN4BSHGZOgR3aRi4p0cCYmSa7wlxmymPWuQpBHsXmDxRoWloKpWXM2zPMprujK85qaJnkysjwrSgNZVEsmpSAmJy7FJOYKIiPmpKlr+PSNn/EIEsUin0ntQusX3O3TN9M33UW2fMmmEIEQl1P1rhxc8FAxNXcu5OfaD5F5ovIyi7VfMGNAZRrxRvGZr1NWgPYTbnxMX+S+Y4cpRG4kU1P9NtaexBrAxUXkBBh7XCYGnkNcWQXx/Sf9+6FA3asWJoWJAsgqu3g5m/OUG1ixCUUJlXX/Vyy8DkmNKfQ3m5tYQz1tkBtmUcqyCfSiXG6+LkG7XtGbwdfbu1u7mxokx5YKsYNk95ybtOuc6PKsG2LjgVrYPd7ZqF8edQFl2JguPh6diDxkguIndbABZLpUMIhzgQUwwLaM8hj2qALBZhfYHDffLKLT42BkXeJcATSyfHQ8ZJkLroIMztEBybLY0oRJLuYxJKwUprJUJxfjZpHoxFVF5XWuimnMIMR7/d6uH0mOolgWAkseBcxMJ46i6SRy08zMHNWgBlv96BR7bXtUrTq1D9hkCoZzGebiKbpkaxZd2R+fHVY2cxKSV1ZWluN26RDMTcY4Ea9CwiVkqeEAwzLEdJrSpfRmgVWF4dNnLiQXAsdBI3w2nFVWi0sRZ1yj7QFauhgwUaSsutzqLwcrUY8nAniUduvY37SCidZ4vDTPB+lormZZDvlEohKtq8rRWRpKS+v56lpZyEO8KuKbEMuFqinxiM5Cpk6x+Gga5jNLz9x/x6OpKgWQFPgkNXi67mwXhnTIcQqERabEAxlhHp3iCdHvbW3DrEMung7Zx2uOZREQPP3PsX+dLUExohdh9GqpjkfIgqDb7wUgOxfoYZorjA7PJiTPCBYVEZAYonkMDnHFr42g+o8EL4DH/0uiFp4sWCoXBbxGgtVL4/rgxVYvwO399NXGYLC8UO60Pmt93nrQClo7rUHrh9ZR66QVrX2/JtfO1s7bv7V/b//R/rM2vbW2xNxrNZ72X/8CxXXQlw==</latexit><latexit sha1_base64="61kwpv0PEgGg63BK11H2dFHE1Ys=">AAAIDHicfVXdbts2FHa6re60v3S93A27wEPbyY6VLkuzIYCBBd0CpFhWJ22B0PMo6cjiTEoqSSV2Cb3CnmZ3w273Drvcm+zQcpbISSfAFkWe7/t4/siwEFybfv/vtVvvvPve7fad970PPvzo40/W7376QueliuAkykWuXoVMg+AZnBhuBLwqFDAZCngZTr9z6y/PQGmeZ8dmXsBIsknGEx4xg1Pj9X++IA9oCIZReUC+JFQyk0ZM2MNq3H9Iz2Zkj9TLZzDmPv22aeFW5eG4T+X+uP+z7QYVoa9LFiOngZmxE8WKlBwdPa8eUuq9XSpYlbLc/7ValQuWcoGTC26Q01xizCLORK1JUNQbr2/0e/3FQ64PguVgo7V8jsZ3b9+jcR6VEjITCab1adAvzMgyZXgkoPJoqaFg0ZRN4BSHGZOgR3aRi4p0cCYmSa7wlxmymPWuQpBHsXmDxRoWloKpWXM2zPMprujK85qaJnkysjwrSgNZVEsmpSAmJy7FJOYKIiPmpKlr+PSNn/EIEsUin0ntQusX3O3TN9M33UW2fMmmEIEQl1P1rhxc8FAxNXcu5OfaD5F5ovIyi7VfMGNAZRrxRvGZr1NWgPYTbnxMX+S+Y4cpRG4kU1P9NtaexBrAxUXkBBh7XCYGnkNcWQXx/Sf9+6FA3asWJoWJAsgqu3g5m/OUG1ixCUUJlXX/Vyy8DkmNKfQ3m5tYQz1tkBtmUcqyCfSiXG6+LkG7XtGbwdfbu1u7mxokx5YKsYNk95ybtOuc6PKsG2LjgVrYPd7ZqF8edQFl2JguPh6diDxkguIndbABZLpUMIhzgQUwwLaM8hj2qALBZhfYHDffLKLT42BkXeJcATSyfHQ8ZJkLroIMztEBybLY0oRJLuYxJKwUprJUJxfjZpHoxFVF5XWuimnMIMR7/d6uH0mOolgWAkseBcxMJ46i6SRy08zMHNWgBlv96BR7bXtUrTq1D9hkCoZzGebiKbpkaxZd2R+fHVY2cxKSV1ZWluN26RDMTcY4Ea9CwiVkqeEAwzLEdJrSpfRmgVWF4dNnLiQXAsdBI3w2nFVWi0sRZ1yj7QFauhgwUaSsutzqLwcrUY8nAniUduvY37SCidZ4vDTPB+lormZZDvlEohKtq8rRWRpKS+v56lpZyEO8KuKbEMuFqinxiM5Cpk6x+Gga5jNLz9x/x6OpKgWQFPgkNXi67mwXhnTIcQqERabEAxlhHp3iCdHvbW3DrEMung7Zx2uOZREQPP3PsX+dLUExohdh9GqpjkfIgqDb7wUgOxfoYZorjA7PJiTPCBYVEZAYonkMDnHFr42g+o8EL4DH/0uiFp4sWCoXBbxGgtVL4/rgxVYvwO399NXGYLC8UO60Pmt93nrQClo7rUHrh9ZR66QVrX2/JtfO1s7bv7V/b//R/rM2vbW2xNxrNZ72X/8CxXXQlw==</latexit><latexit sha1_base64="61kwpv0PEgGg63BK11H2dFHE1Ys=">AAAIDHicfVXdbts2FHa6re60v3S93A27wEPbyY6VLkuzIYCBBd0CpFhWJ22B0PMo6cjiTEoqSSV2Cb3CnmZ3w273Drvcm+zQcpbISSfAFkWe7/t4/siwEFybfv/vtVvvvPve7fad970PPvzo40/W7376QueliuAkykWuXoVMg+AZnBhuBLwqFDAZCngZTr9z6y/PQGmeZ8dmXsBIsknGEx4xg1Pj9X++IA9oCIZReUC+JFQyk0ZM2MNq3H9Iz2Zkj9TLZzDmPv22aeFW5eG4T+X+uP+z7QYVoa9LFiOngZmxE8WKlBwdPa8eUuq9XSpYlbLc/7ValQuWcoGTC26Q01xizCLORK1JUNQbr2/0e/3FQ64PguVgo7V8jsZ3b9+jcR6VEjITCab1adAvzMgyZXgkoPJoqaFg0ZRN4BSHGZOgR3aRi4p0cCYmSa7wlxmymPWuQpBHsXmDxRoWloKpWXM2zPMprujK85qaJnkysjwrSgNZVEsmpSAmJy7FJOYKIiPmpKlr+PSNn/EIEsUin0ntQusX3O3TN9M33UW2fMmmEIEQl1P1rhxc8FAxNXcu5OfaD5F5ovIyi7VfMGNAZRrxRvGZr1NWgPYTbnxMX+S+Y4cpRG4kU1P9NtaexBrAxUXkBBh7XCYGnkNcWQXx/Sf9+6FA3asWJoWJAsgqu3g5m/OUG1ixCUUJlXX/Vyy8DkmNKfQ3m5tYQz1tkBtmUcqyCfSiXG6+LkG7XtGbwdfbu1u7mxokx5YKsYNk95ybtOuc6PKsG2LjgVrYPd7ZqF8edQFl2JguPh6diDxkguIndbABZLpUMIhzgQUwwLaM8hj2qALBZhfYHDffLKLT42BkXeJcATSyfHQ8ZJkLroIMztEBybLY0oRJLuYxJKwUprJUJxfjZpHoxFVF5XWuimnMIMR7/d6uH0mOolgWAkseBcxMJ46i6SRy08zMHNWgBlv96BR7bXtUrTq1D9hkCoZzGebiKbpkaxZd2R+fHVY2cxKSV1ZWluN26RDMTcY4Ea9CwiVkqeEAwzLEdJrSpfRmgVWF4dNnLiQXAsdBI3w2nFVWi0sRZ1yj7QFauhgwUaSsutzqLwcrUY8nAniUduvY37SCidZ4vDTPB+lormZZDvlEohKtq8rRWRpKS+v56lpZyEO8KuKbEMuFqinxiM5Cpk6x+Gga5jNLz9x/x6OpKgWQFPgkNXi67mwXhnTIcQqERabEAxlhHp3iCdHvbW3DrEMung7Zx2uOZREQPP3PsX+dLUExohdh9GqpjkfIgqDb7wUgOxfoYZorjA7PJiTPCBYVEZAYonkMDnHFr42g+o8EL4DH/0uiFp4sWCoXBbxGgtVL4/rgxVYvwO399NXGYLC8UO60Pmt93nrQClo7rUHrh9ZR66QVrX2/JtfO1s7bv7V/b//R/rM2vbW2xNxrNZ72X/8CxXXQlw==</latexit><latexit sha1_base64="61kwpv0PEgGg63BK11H2dFHE1Ys=">AAAIDHicfVXdbts2FHa6re60v3S93A27wEPbyY6VLkuzIYCBBd0CpFhWJ22B0PMo6cjiTEoqSSV2Cb3CnmZ3w273Drvcm+zQcpbISSfAFkWe7/t4/siwEFybfv/vtVvvvPve7fad970PPvzo40/W7376QueliuAkykWuXoVMg+AZnBhuBLwqFDAZCngZTr9z6y/PQGmeZ8dmXsBIsknGEx4xg1Pj9X++IA9oCIZReUC+JFQyk0ZM2MNq3H9Iz2Zkj9TLZzDmPv22aeFW5eG4T+X+uP+z7QYVoa9LFiOngZmxE8WKlBwdPa8eUuq9XSpYlbLc/7ValQuWcoGTC26Q01xizCLORK1JUNQbr2/0e/3FQ64PguVgo7V8jsZ3b9+jcR6VEjITCab1adAvzMgyZXgkoPJoqaFg0ZRN4BSHGZOgR3aRi4p0cCYmSa7wlxmymPWuQpBHsXmDxRoWloKpWXM2zPMprujK85qaJnkysjwrSgNZVEsmpSAmJy7FJOYKIiPmpKlr+PSNn/EIEsUin0ntQusX3O3TN9M33UW2fMmmEIEQl1P1rhxc8FAxNXcu5OfaD5F5ovIyi7VfMGNAZRrxRvGZr1NWgPYTbnxMX+S+Y4cpRG4kU1P9NtaexBrAxUXkBBh7XCYGnkNcWQXx/Sf9+6FA3asWJoWJAsgqu3g5m/OUG1ixCUUJlXX/Vyy8DkmNKfQ3m5tYQz1tkBtmUcqyCfSiXG6+LkG7XtGbwdfbu1u7mxokx5YKsYNk95ybtOuc6PKsG2LjgVrYPd7ZqF8edQFl2JguPh6diDxkguIndbABZLpUMIhzgQUwwLaM8hj2qALBZhfYHDffLKLT42BkXeJcATSyfHQ8ZJkLroIMztEBybLY0oRJLuYxJKwUprJUJxfjZpHoxFVF5XWuimnMIMR7/d6uH0mOolgWAkseBcxMJ46i6SRy08zMHNWgBlv96BR7bXtUrTq1D9hkCoZzGebiKbpkaxZd2R+fHVY2cxKSV1ZWluN26RDMTcY4Ea9CwiVkqeEAwzLEdJrSpfRmgVWF4dNnLiQXAsdBI3w2nFVWi0sRZ1yj7QFauhgwUaSsutzqLwcrUY8nAniUduvY37SCidZ4vDTPB+lormZZDvlEohKtq8rRWRpKS+v56lpZyEO8KuKbEMuFqinxiM5Cpk6x+Gga5jNLz9x/x6OpKgWQFPgkNXi67mwXhnTIcQqERabEAxlhHp3iCdHvbW3DrEMung7Zx2uOZREQPP3PsX+dLUExohdh9GqpjkfIgqDb7wUgOxfoYZorjA7PJiTPCBYVEZAYonkMDnHFr42g+o8EL4DH/0uiFp4sWCoXBbxGgtVL4/rgxVYvwO399NXGYLC8UO60Pmt93nrQClo7rUHrh9ZR66QVrX2/JtfO1s7bv7V/b//R/rM2vbW2xNxrNZ72X/8CxXXQlw==</latexit>
Seed edge