A New Holant Dichotomy Inspired by Quantum Computation

Miriam Backens

Research output: Chapter in Book/Report/Conference proceedingConference Contribution (Conference Proceeding)

7 Citations (Scopus)
67 Downloads (Pure)

Abstract

Holant problems are a framework for the analysis of counting complexity problems on graphs. This framework is simultaneously general enough to encompass many counting problems on graphs and specific enough to allow the derivation of dichotomy results, partitioning all problems into those which are in FP and those which are #P-hard. The Holant framework is based on the theory of holographic algorithms, which was originally inspired by concepts from quantum computation, but this connection appears not to have been explored before.

Here, we employ quantum information theory to explain existing results in a concise way and to derive a dichotomy for a new family of problems, which we call Holant^+. This family sits in between the known families of Holant^*, for which a full dichotomy is known, and Holant^c, for which only a restricted dichotomy is known. Using knowledge from entanglement theory -- both previously existing work and new results of our own -- we prove a full dichotomy theorem for Holant^+, which is very similar to the restricted Holant^c dichotomy and may thus be a stepping stone to a full dichotomy for that family.
Original languageEnglish
Title of host publication44th International Colloquium on Automata, Languages, and Programming (ICALP 2017)
EditorsIoannis Chatzigiannakis, Piotr Indyk, Fabian Kuhn, Anca Muscholl
Place of PublicationDagstuhl, Germany
PublisherSchloss Dagstuhl - Leibniz-Zentrum für Informatik
Pages 16:1–16:14
Number of pages14
Volume80
ISBN (Electronic)978-3-95977-041-5
ISBN (Print)1868-8969
DOIs
Publication statusPublished - 6 Jul 2017
Event 44th International Colloquium on Automata, Languages, and Programming (ICALP 2017) - University of Warsaw, warsaw, Poland
Duration: 10 Jul 201714 Jul 2017
Conference number: 44
http://icalp17.mimuw.edu.pl/

Publication series

NameLeibniz International Proceedings in Informatics (LIPIcs)
Volume80
ISSN (Electronic)1868-8969

Conference

Conference 44th International Colloquium on Automata, Languages, and Programming (ICALP 2017)
Abbreviated titleICALP 2017
CountryPoland
Citywarsaw
Period10/07/1714/07/17
Internet address

Structured keywords

  • QITG
  • Bristol Quantum Information Institute

Keywords

  • computational complexity
  • counting complexity
  • Holant
  • dichotomy
  • entanglement

Fingerprint Dive into the research topics of 'A New Holant Dichotomy Inspired by Quantum Computation'. Together they form a unique fingerprint.

Cite this