The Iteration Number of the Weisfeiler-Leman Algorithm

by   Martin Grohe, et al.

We prove new upper and lower bounds on the number of iterations the k-dimensional Weisfeiler-Leman algorithm (k-WL) requires until stabilization. For k ≥ 3, we show that k-WL stabilizes after at most O(kn^k-1log n) iterations (where n denotes the number of vertices of the input structures), obtaining the first improvement over the trivial upper bound of n^k-1 and extending a previous upper bound of O(n log n) for k=2 [Lichter et al., LICS 2019]. We complement our upper bounds by constructing k-ary relational structures on which k-WL requires at least n^Ω(k) iterations to stabilize. This improves over a previous lower bound of n^Ω(k / log k) [Berkholz, Nordström, LICS 2016]. We also investigate tradeoffs between the dimension and the iteration number of WL, and show that d-WL, where d = ⌈3(k+1)/2⌉, can simulate the k-WL algorithm using only O(k^2 · n^⌊ k/2⌋ + 1log n) many iterations, but still requires at least n^Ω(k) iterations for any d (that is sufficiently smaller than n). The number of iterations required by k-WL to distinguish two structures corresponds to the quantifier rank of a sentence distinguishing them in the (k + 1)-variable fragment C_k+1 of first-order logic with counting quantifiers. Hence, our results also imply new upper and lower bounds on the quantifier rank required in the logic C_k+1, as well as tradeoffs between variable number and quantifier rank.


page 1

page 2

page 3

page 4


Walk refinement, walk logic, and the iteration number of the Weisfeiler-Leman algorithm

We show that the 2-dimensional Weisfeiler-Leman algorithm stabilizes n-v...

Frank Wolfe Meets Metric Entropy

The Frank-Wolfe algorithm has seen a resurgence in popularity due to its...

The Iteration Number of Colour Refinement

The Colour Refinement procedure and its generalisation to higher dimensi...

A Study on the Global Convergence Time Complexity of Estimation of Distribution Algorithms

The Estimation of Distribution Algorithm is a new class of population ba...

Sketching Algorithms and Lower Bounds for Ridge Regression

We give a sketching-based iterative algorithm that computes 1+ε approxim...

Improved lower and upper bounds on the tile complexity of uniquely self-assembling a thin rectangle non-cooperatively in 3D

We investigate a fundamental question regarding a benchmark class of sha...

The GKK Algorithm is the Fastest over Simple Mean-Payoff Games

We study the algorithm of Gurvich, Khachyian and Karzanov (GKK algorithm...

Please sign up or login with your details

Forgot password? Click here to reset