Abstract:The Weisfeiler-Leman (WL) dimension of a graph parameter $f$ is the minimum $k$ such that, if $G_1$ and $G_2$ are indistinguishable by the $k$-dimensional WL-algorithm then $f(G_1)=f(G_2)$. The WL-dimension of $f$ is $\infty$ if no such $k$ exists. We study the WL-dimension of graph parameters characterised by the number of answers from a fixed conjunctive query to the graph. Given a conjunctive query $\varphi$, we quantify the WL-dimension of the function that maps every graph $G$ to the number of answers of $\varphi$ in $G$. The works of Dvorák (J. Graph Theory 2010), Dell, Grohe, and Rattan (ICALP 2018), and Neuen (ArXiv 2023) have answered this question for full conjunctive queries, which are conjunctive queries without existentially quantified variables. For such queries $\varphi$, the WL-dimension is equal to the treewidth of the Gaifman graph of $\varphi$. In this work, we give a characterisation that applies to all conjunctive qureies. Given any conjunctive query $\varphi$, we prove that its WL-dimension is equal to the semantic extension width $\mathsf{sew}(\varphi)$, a novel width measure that can be thought of as a combination of the treewidth of $\varphi$ and its quantified star size, an invariant introduced by Durand and Mengel (ICDT 2013) describing how the existentially quantified variables of $\varphi$ are connected with the free variables. Using the recently established equivalence between the WL-algorithm and higher-order Graph Neural Networks (GNNs) due to Morris et al. (AAAI 2019), we obtain as a consequence that the function counting answers to a conjunctive query $\varphi$ cannot be computed by GNNs of order smaller than $\mathsf{sew}(\varphi)$.

Bounding the Weisfeiler-Leman Dimension via a Depth Analysis of I/R-Trees

An Upper Bound on the Weisfeiler-Leman Dimension

Computational complexity of the Weisfeiler-Leman dimension

Lower bounds for algebraic computation trees with integer inputs

The Weisfeiler-Leman Dimension of Conjunctive Queries

Compressing CFI Graphs and Lower Bounds for the Weisfeiler-Leman Refinements

Logarithmic Weisfeiler-Leman Identifies All Planar Graphs

Getting to the Root of the Problem: Sums of Squares for Infinite Trees

A Systematic Study of Isomorphism Invariants of Finite Groups via the Weisfeiler-Leman Dimension

The Treewidth Boundedness Problem for an Inductive Separation Logic of Relations

Tree-depth, quantifier elimination, and quantifier rank.

LR-drawings of ordered rooted binary trees and near-linear area drawings of outerplanar graphs

Simulating Logspace-Recursion with Logarithmic Quantifier Depth

Dimension in team semantics

On the Weihrauch degree of the additive Ramsey theorem

Finite Variable Counting Logics with Restricted Requantification

A method for command identification, using modified collision free hashing with addition & rotation iterative hash functions (part 1)

On the Weisfeiler-Leman dimension of fractional packing

A coarse geometric approach to graph layout problems

Dimension and depth inequalities over complete intersections

A $(1 + {\varepsilon})$-Embedding of Low Highway Dimension Graphs into Bounded Treewidth Graphs