Department Away Day `24
FINAL SIZE
Randomized optimization algorithms
Optimization under chance constraints
Sampling algorithms for explainable AI
Vertex set
Edge more likely if
Percolation: Reed-Frost epidemic
New phenomena
Challenges
Figure by Igor Kortchemski
Setup
Goal
Department Away Day `24
Department Away Day `24
~1969: 2 connected sites
Time
~1989: 0.5 million users
~2023: billions of devices
~1999: 248 million users
1999
\(\mathrm{dist}_{\color{red}{'99}}(u_{'99}, v_{'99}) = 4\)
2005
\(\mathrm{dist}_{{\color{red}'05}}(u_{'99}, v_{'99}) = 3\)
2024
\(\mathrm{dist}_{{\color{red}'24}}(u_{'99}, v_{'99}) = 2\)
21 possible networks
Attachment rule:
Prefer connecting to high-degree vertices, \(\tau\): tail of power-law degree distribution
2005
\(\phantom{\mathrm{dist}_{{\color{red}'05}}(u_{'99}, v_{'99}) = 3}\)
Theorem [J., Komjáthy, Annals of Applied Probability '22]. Assume \(\tau<3\).
Let \(t'=T_t(a):=t\exp\big(\log^a(t)\big)\) for \(a\in[0,1]\), then
$$ \sup_{a\in[0,1]} \left| \frac{\mathrm{dist}_{T_t(a)}(U_t, V_t)}{\log\log(t)} - (1-a)\frac{4}{|\log(\tau-2)|}\right|\overset{\mathbb{P}}\longrightarrow 0.$$
Theorem [J., Komjáthy, Annals of Applied Probability '22]. Assume \(\tau<3\).
Let \(\phantom{t'=T_t(a):=t\exp\big(\log^a(t)\big)}\) for \(\phantom{a\in[0,1]}\), then
$$ \phantom{\sup_{a\in[0,1]} \left| \frac{\mathrm{dist}_{T_t(a)}(U_t, V_t)}{\log\log(t)} - (1-a)\frac{4}{|\log(\tau-2)|}\right|\overset{\mathbb{P}}{\longrightarrow} 0.}$$
Theorem [J., Komjáthy, Annals of Applied Probability '22]. Assume \(\tau<3\).
Let \(t'=T_t(a):=t\exp\big(\log^a(t)\big)\) for \(a\in[0,1]\), then
$$ \phantom{\sup_{a\in[0,1]}} \left| \frac{\mathrm{dist}_{T_t(a)}(U_t, V_t)}{\log\log(t)} \phantom{- (1-a)\frac{4}{|\log(\tau-2)|}}\right|\phantom{\overset{\mathbb{P}}\longrightarrow 0.}$$
Dynamics in PAMs.
Generalization with edge weights: random transmission times
Novelties
Fast spreading among influentials;
Theorem [J., Komjáthy, Annals of Applied Probability '22]. Assume \(\tau<3\).
Let \(t'=T_t(a):=t\exp\big(\log^a(t)\big)\) for \(a\in[0,1]\), then
$$ \sup_{a\in[0,1]} \left| \frac{\mathrm{dist}_{T_t(a)}(U_t, V_t)}{\log\log(t)} - (1-a)\frac{4}{|\log(\tau-2)|}\right|\phantom{\overset{\mathbb{P}}\longrightarrow 0.}$$
Theorem [J., Komjáthy, Annals of Applied Probability '22]. Assume \(\tau<3\).
Let \(t'=T_t(a):=t\exp\big(\log^a(t)\big)\) for \(a\in[0,1]\), then
$$ \phantom{\sup_{a\in[0,1]}} \left| \frac{\mathrm{dist}_{T_t(a)}(U_t, V_t)}{\log\log(t)} - (1-a)\frac{4}{|\log(\tau-2)|}\right|\phantom{\overset{\mathbb{P}}\longrightarrow 0.}$$
FINAL SIZE
Large deviations (rare events) of cluster sizes
Only four parameters
Vertex set
Edge more likely if
Hyperbolic random graph
Scale-free percolation
Long-range percolation
Bond percolation on \(\mathbb{Z}^d\)
Theorem (\(\mathbb{Z}^d\)-like graphs)
[Lebowitz & Schonmann '88; Gandolfi '89; Grimmett, Marstrand '90;
Kesten, Zhang '90; Alexander, Chayes, Chayes, Newman '90; Pisztora '96;
Cerf '97; Contreras, Martineau, Tassion '2024; ...]
Lower tail:
Surface tension drives too small cluster
Upper tail:
Large clusters are very unlikely
Figure by Tobias Muller
Hyperbolic random graph
Scale-free percolation
Long-range percolation
Bond percolation on \(\mathbb{Z}^d\)
Theorem (\(\mathbb{Z}^d\)-like graphs)
[Lebowitz & Schonmann '88; Gandolfi '89; Grimmett, Marstrand '90;
Kesten, Zhang '90; Alexander, Chayes, Chayes, Newman '90; Pisztora '96;
Cerf '97; Contreras, Martineau, Tassion '2024; ...]
Lower tail:
Surface tension drives too small cluster
Upper tail:
Large clusters are very unlikely
Question:
Long edges and high-degree vertices,
do they matter?
Theorem [J., Komjáthy, Mitsche, '24+]
We find explicit \(\zeta\in[1/2,1)\), \(\theta\in(0,1)\) s.t.
Novelties
Reversed discrepancy: large outbreak likelier than small.
Long edges can beat surface tension: any ;
governs second-largest cluster, and cluster of 0
Techniques: probability, combinatorics, optimization.
FINAL SIZE
Ongoing
Near future
Opportunities Leiden
Ongoing
Opportunities Leiden
Near future (invitations)
Opportunities Leiden: Lorentz Center
Organisational experience:
RandNET Workshop (with Serte Donderwinkel)