The Complexity of Planar Boolean #CSP with Complex Weights

Heng Guo,Tyson Williams

DOI: https://doi.org/10.48550/arXiv.1212.2284

2013-08-06

Abstract:We prove a complexity dichotomy theorem for symmetric complex-weighted Boolean #CSP when the constraint graph of the input must be planar. The problems that are #P-hard over general graphs but tractable over planar graphs are precisely those with a holographic reduction to matchgates. This generalizes a theorem of Cai, Lu, and Xia for the case of real weights. We also obtain a dichotomy theorem for a symmetric arity 4 signature with complex weights in the planar Holant framework, which we use in the proof of our #CSP dichotomy. In particular, we reduce the problem of evaluating the Tutte polynomial of a planar graph at the point (3,3) to counting the number of Eulerian orientations over planar 4-regular graphs to show the latter is #P-hard. This strengthens a theorem by Huang and Lu to the planar setting. Our proof techniques combine new ideas with refinements and extensions of existing techniques. These include planar pairings, the recursive unary construction, the anti-gadget technique, and pinning in the Hadamard basis.

Computational Complexity,Data Structures and Algorithms

What problem does this paper attempt to address?

The problem that this paper attempts to solve is in the planar Boolean counting constraint satisfaction problem (#CSP). When the constraint graph must be a planar graph and has complex weights, determine which problems are #P - hard and which problems are solvable. Specifically, the goal of the paper is to prove a complexity dichotomy theorem, that is, for symmetric complex - weighted Boolean #CSP, when the input graph must be a planar graph, which problems are #P - hard and which problems are polynomial - time solvable. In particular, the paper focuses on those problems that are #P - hard on general graphs but become solvable on planar graphs, and these problems can be achieved by holographic reduction to matchgates.

The main contributions of the paper include:
1. **Complexity Dichotomy Theorem**: It is proved that for symmetric complex - weighted Boolean #CSP, when the input graph must be a planar graph, if the function set \(F\) satisfies certain conditions, then the problem is polynomial - time solvable; otherwise, the problem is #P - hard.
2. **Technical Contributions**: New techniques and methods are introduced, such as planar pairings, recursive unary construction, anti - gadget technique and pinning in the Hadamard basis, to overcome the technical challenges in proving the complexity dichotomy theorem in the case of complex weights.

Through these contributions, the paper not only extends the previous complexity dichotomy theorem for real - weighted Boolean #CSP, but also provides a more comprehensive understanding of counting problems in the case of complex weights.