Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: A Complete Dichotomy Rises from the Capture of Vanishing Signatures   We prove a complexity dichotomy theorem for Holant problems over an arbitrary
set of complex-valued symmetric constraint functions F on Boolean variables.
This extends and unifies all previous dichotomies for Holant problems on
symmetric constraint functions (taking values without a finite modulus). We
define and characterize all symmetric vanishing signatures. They turned out to
be essential to the complete classification of Holant problems. The dichotomy
theorem has an explicit tractability criterion expressible in terms of
holographic transformations. A Holant problem defined by a set of constraint
functions F is solvable in polynomial time if it satisfies this tractability
criterion, and is #P-hard otherwise. The tractability criterion can be
intuitively stated as follows: A set F is tractable if (1) every function in F
has arity at most two, or (2) F is transformable to an affine type, or (3) F is
transformable to a product type, or (4) F is vanishing, combined with the right
type of binary functions, or (5) F belongs to a special category of vanishing
type Fibonacci gates. The proof of this theorem utilizes many previous
dichotomy theorems on Holant problems and Boolean #CSP. Holographic
transformations play an indispensable role as both a proof technique and in the
statement of the tractability criterion.

26
The categories of this paper are: bayes-an
29
The categories of this paper are: funct-an
37
The categories of this paper are: supr-con
25
The categories of this paper are: patt-sol
15
The categories of this paper are: nucl-ex
22
The categories of this paper are: chao-dyn
8
The categories of this paper are: hep-ex
24
The categories of this paper are: dg-ga
3
The categories of this paper are: physics
31
The categories of this paper are: ao-sci
35
The categories of this paper are: mtrl-th
30
The categories of this paper are: q-alg
18
The categories of this paper are: econ
20
The categories of this paper are: acc-phys
9
The categories of this paper are: nlin
2
The categories of this paper are: math