Table of Contents
Fetching ...

Matching and mixing: Matchability of graphs under Markovian error

Zhirui Li, Keith D. Levin, Zhiang Zhao, Vince Lyzinski

TL;DR

Theoretical bounds in the settings of Erd\H{o}s-R\'enyi random graphs and stochastic block model random graphs are verified, and the findings on real-world datasets derived from a Facebook friendship network and a European research institution email communication network are explored.

Abstract

We consider the problem of graph matching for a sequence of graphs generated under a time-dependent Markov chain noise model. Our edgelighter error model, a variant of the classical lamplighter random walk, iteratively corrupts the graph $G_0$ with edge-dependent noise, creating a sequence of noisy graph copies $(G_t)$. Much of the graph matching literature is focused on anonymization thresholds in edge-independent noise settings, and we establish novel anonymization thresholds in this edge-dependent noise setting when matching $G_0$ and $G_t$. Moreover, we also compare this anonymization threshold with the mixing properties of the Markov chain noise model. We show that when $G_0$ is drawn from an Erdős-Rényi model, the graph matching anonymization threshold and the mixing time of the edgelighter walk are both of order $Θ(n^2\log n)$. We further demonstrate that for more structured model for $G_0$ (e.g., the Stochastic Block Model), graph matching anonymization can occur in $O(n^α\log n)$ time for some $α<2$, indicating that anonymization can occur before the Markov chain noise model globally mixes. Through extensive simulations, we verify our theoretical bounds in the settings of Erdős-Rényi random graphs and stochastic block model random graphs, and explore our findings on real-world datasets derived from a Facebook friendship network and a European research institution email communication network.

Matching and mixing: Matchability of graphs under Markovian error

TL;DR

Theoretical bounds in the settings of Erd\H{o}s-R\'enyi random graphs and stochastic block model random graphs are verified, and the findings on real-world datasets derived from a Facebook friendship network and a European research institution email communication network are explored.

Abstract

We consider the problem of graph matching for a sequence of graphs generated under a time-dependent Markov chain noise model. Our edgelighter error model, a variant of the classical lamplighter random walk, iteratively corrupts the graph with edge-dependent noise, creating a sequence of noisy graph copies . Much of the graph matching literature is focused on anonymization thresholds in edge-independent noise settings, and we establish novel anonymization thresholds in this edge-dependent noise setting when matching and . Moreover, we also compare this anonymization threshold with the mixing properties of the Markov chain noise model. We show that when is drawn from an Erdős-Rényi model, the graph matching anonymization threshold and the mixing time of the edgelighter walk are both of order . We further demonstrate that for more structured model for (e.g., the Stochastic Block Model), graph matching anonymization can occur in time for some , indicating that anonymization can occur before the Markov chain noise model globally mixes. Through extensive simulations, we verify our theoretical bounds in the settings of Erdős-Rényi random graphs and stochastic block model random graphs, and explore our findings on real-world datasets derived from a Facebook friendship network and a European research institution email communication network.
Paper Structure (27 sections, 5 theorems, 105 equations, 12 figures)

This paper contains 27 sections, 5 theorems, 105 equations, 12 figures.

Key Result

Lemma 1

With notation as above, let $q_1=1-q_2$ in the edgelighter walk of Definition def:stdwalk. We then have that $\frac{1}{8}t^{(u)}_{\text{cover}}\leq t_m^\circ\leq 11t^{(u)}_{\text{cover}}$.

Figures (12)

  • Figure 1: On the top panel, we plot matching correctness vs. number of steps for $n=100$ (left), $n=225$ (middle) and $n=729$ (right) in blue. For all these plots, we further plot (in red) the cover rate of the edges vs number of steps. In the bottom panel, we plot a regression of number of steps needed until a $0.5$-anonymization happens as a function of the number of nodes $n$ on a log-log scale.
  • Figure 2: We show the matching correctness as a function of the number of steps for $n=256$ vertices under an SBM-distributed initial graph under a Block Edgewalker Model. The top-left panel shows the matching correctness (in blue) versus the number of steps for the entire network; the top-right panel shows matching correctness versus the number of steps for community 1 (the smallest community), community 2 (a randomly chosen community from among the $K-2$ communities of size $n^{2/3}$, here $K=7$) and community $7$ (the largest community). In all these plots, we also include the edge cover rate (in red) against the number of steps. In the bottom panel, we plot the log-log graph of the number of steps required until a $0.5$-anonymization is achieved versus the number of nodes, with a fitted regression line superimposed on these points.
  • Figure 3: Left: The adjacency matrix of the induced Facebook subgraph that we perform our edgelighter walk on. Right: matching correctness (blue) and cover rate (red) as a function of the number of steps for the Facebook Sub-network.
  • Figure 4: The adjacency matrix of the undirected EU Email communication network. Node indices are reordered based on department memberships.
  • Figure 5: We plot the matching correctness vs iteration plot (in blue) and the cover rate vs iteration curve (in red) for the entire undirected EU Email Network (left panel) and for the sub-networks induced by nodes from community (department) #1 (middle panel) and by nodes from community (department) #8 (right panel)
  • ...and 7 more figures

Theorems & Definitions (15)

  • Definition 1
  • Definition 2
  • Definition 3
  • Definition 4: (Standard Edgelighter Walk)
  • Remark 1
  • Definition 5
  • Definition 6: Ratio Preserved Matchings
  • Lemma 1
  • Theorem 1
  • Theorem 2
  • ...and 5 more