A Dichotomy for Real Boolean Holant Problems

05/16/2020
by   Shuai Shao, et al.
0

We prove a complexity dichotomy for Holant problems on the boolean domain with arbitrary sets of real-valued constraint functions. These constraint functions need not be symmetric nor do we assume any auxiliary functions as in previous results. It is proved that for every set ℱ of real-valued constraint functions, Holant(ℱ) is either P-time computable or #P-hard. The classification has an explicit criterion. This is the culmination of much research on this problem, and it uses previous results and techniques from many researchers. Some particularly intriguing concrete functions f_6, f_8 and their associated families with extraordinary closure properties related to Bell states in quantum information theory play an important role in this proof.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
04/12/2020

From Holant to Quantum Entanglement and Back

Holant problems are intimately connected with quantum theory as tensor n...
research
12/06/2022

Planar #CSP Equality Corresponds to Quantum Isomorphism – A Holant Viewpoint

Recently, Mančinska and Roberson proved that two graphs G and G' are qua...
research
01/10/2022

A full dichotomy for Holant^c, inspired by quantum computation

Holant problems are a family of counting problems parameterised by sets ...
research
07/29/2023

Restricted Holant Dichotomy on Domains 3 and 4

Holant^*(f) denotes a class of counting problems specified by a constrai...
research
02/24/2022

Classification of preordered spaces in terms of monotones – Filling in the gaps

Following the recent introduction of new classes of monotones, like inje...
research
10/04/2021

Bipartite 3-Regular Counting Problems with Mixed Signs

We prove a complexity dichotomy for a class of counting problems express...
research
08/20/2021

Structure and Interleavings of Relative Interlevel Set Cohomology

The relative interlevel set cohomology (RISC) is an invariant of real-va...

Please sign up or login with your details

Forgot password? Click here to reset