Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: The Graph Isomorphism Problem and approximate categories   It is unknown whether two graphs can be tested for isomorphism in polynomial
time. A classical approach to the Graph Isomorphism Problem is the
d-dimensional Weisfeiler-Lehman algorithm. The d-dimensional WL-algorithm can
distinguish many pairs of graphs, but the pairs of non-isomorphic graphs
constructed by Cai, Furer and Immerman it cannot distinguish. If d is fixed,
then the WL-algorithm runs in polynomial time. We will formulate the Graph
Isomorphism Problem as an Orbit Problem: Given a representation V of an
algebraic group G and two elements v_1,v_2 in V, decide whether v_1 and v_2 lie
in the same G-orbit. Then we attack the Orbit Problem by constructing certain
approximate categories C_d(V), d=1,2,3,... whose objects include the elements
of V. We show that v_1 and v_2 are not in the same orbit by showing that they
are not isomorphic in the category C_d(V) for some d. For every d this gives us
an algorithm for isomorphism testing. We will show that the WL-algorithms
reduce to our algorithms, but that our algorithms cannot be reduced to the
WL-algorithms. Unlike the Weisfeiler-Lehman algorithm, our algorithm can
distinguish the Cai-Furer-Immerman graphs in polynomial time.

6
The categories of this paper are: astro-ph
21
The categories of this paper are: adap-org
23
The categories of this paper are: solv-int
34
The categories of this paper are: chem-ph
14
The categories of this paper are: math-ph
37
The categories of this paper are: supr-con
19
The categories of this paper are: eess
25
The categories of this paper are: patt-sol
32
The categories of this paper are: atom-ph
24
The categories of this paper are: dg-ga
36
The categories of this paper are: cmp-lg
17
The categories of this paper are: q-fin
9
The categories of this paper are: nlin
18
The categories of this paper are: econ
29
The categories of this paper are: funct-an
30
The categories of this paper are: q-alg