Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Upper Bounds on the Quantifier Depth for Graph Differentiation in
  First-Order Logic   We show that on graphs with n vertices, the 2-dimensional Weisfeiler-Leman
algorithm requires at most O(n^2/log(n)) iterations to reach stabilization.
This in particular shows that the previously best, trivial upper bound of
O(n^2) is asymptotically not tight. In the logic setting, this translates to
the statement that if two graphs of size n can be distinguished by a formula in
first-order logic with counting with 3 variables (i.e., in C3), then they can
also be distinguished by a C3-formula that has quantifier depth at most
O(n^2/log(n)).
  To prove the result we define a game between two players that enables us to
decouple the causal dependencies between the processes happening simultaneously
over several iterations of the algorithm. This allows us to treat large color
classes and small color classes separately. As part of our proof we show that
for graphs with bounded color class size, the number of iterations until
stabilization is at most linear in the number of vertices. This also yields a
corresponding statement in first-order logic with counting.
  Similar results can be obtained for the respective logic without counting
quantifiers, i.e., for the logic L3.

34
The categories of this paper are: chem-ph
22
The categories of this paper are: chao-dyn
23
The categories of this paper are: solv-int
18
The categories of this paper are: econ
12
The categories of this paper are: nucl-th
28
The categories of this paper are: alg-geom
3
The categories of this paper are: physics
16
The categories of this paper are: stat
8
The categories of this paper are: hep-ex
0
The categories of this paper are: hep-ph
35
The categories of this paper are: mtrl-th
29
The categories of this paper are: funct-an
24
The categories of this paper are: dg-ga
37
The categories of this paper are: supr-con
17
The categories of this paper are: q-fin
33
The categories of this paper are: plasm-ph