Tensor Network Rewriting Strategies for Satisfiability and Counting

@inproceedings{Beaudrap2020TensorNR,
  title={Tensor Network Rewriting Strategies for Satisfiability and Counting},
  author={J. Niel de Beaudrap and Aleks Kissinger and Konstantinos Meichanetzidis},
  booktitle={QPL},
  year={2020}
}
We provide a graphical treatment of SAT and \#SAT on equal footing. Instances of \#SAT can be represented as tensor networks in a standard way. These tensor networks are interpreted by diagrams of the ZH-calculus: a system to reason about tensors over $\mathbb{C}$ in terms of diagrams built from simple generators, in which computation may be carried out by \emph{transformations of diagrams alone}. In general, nodes of ZH diagrams take parameters over $\mathbb{C}$ which determine the tensor… 

Figures from this paper

Well-tempered ZX and ZH calculi
The ZX calculus is a mathematical tool to represent and analyse quantum operations by manipulating diagrams which in effect represent tensor networks. Two families of nodes of these networks are ones
Circuit Extraction for ZX-diagrams can be #P-hard
TLDR
This paper proves that any oracle that takes as input a ZX-diagram description of a unitary and produces samples of the output of the associated quantum computation enables efficient probabilistic solutions to NP-complete problems.
Tropical Tensor Network for Ground States of Spin Glasses.
TLDR
The approach brings together the concepts from graphical models, tensor networks, differentiable programming, and quantum circuit simulation, and easily utilizes the computational power of graphical processing units (GPUs).
The ZX& calculus: A complete graphical calculus for classical circuits using spiders
  • Cole Comfort
  • Mathematics
    Electronic Proceedings in Theoretical Computer Science
  • 2021
TLDR
It is shown that in the case of TOF, freely adding a counit, constructing the category of quantum channels, and computing the discrete Cartesian completion are all equivalent to partial functions between powers of the two element set.
ZX-calculus for the working quantum computer scientist
TLDR
This review discusses Clifford computation and graphically prove the Gottesman-Knill theorem, a recently introduced extension of the ZX-calculus that allows for convenient reasoning about Toffoli gates, and the recent completeness theorems that show that, in principle, all reasoning about quantum computation can be done using Zx-diagrams.
Classifying Complexity with the ZX-Calculus: Jones Polynomials and Potts Partition Functions
TLDR
This work presents simplifying rewrites for the case of qutrits, which are of independent interest in the field of quantum circuit optimisation and further champions the ZX-calculus as a suitable and unifying language for studying the complexity of classical and quantum problems.
Simplification Strategies for the Qutrit ZX-Calculus
TLDR
The main contribution of this work is the derivation of efficient rewrite strategies for the stabiliser fragment of the qutrit ZX-calculus, which constitutes a first non-trivial step towards the simplification ofqutrit quantum circuits.
An Algebraic Axiomatisation of ZX-calculus
  • Quanlong Wang
  • Mathematics
    Electronic Proceedings in Theoretical Computer Science
  • 2021
In this paper we give an algebraic complete axiomatisation of ZX-calculus in the sense that there are only ring operations involved for phases, without any need of trigonometry functions such as sin

References

SHOWING 1-10 OF 17 REFERENCES
Fast counting with tensor networks
TLDR
The heuristics for the solution of #P-hard counting boolean satisfiability (#SAT) problems, namely monotone #1-in-3SAT and #Cubic-Vertex-Cover, are employed and find that they outperform state-of-the-art solvers by a significant margin.
An exact tensor network for the 3SAT problem
TLDR
It is shown that for a 3SAT instance with n bits, it is enough to perform a polynomial number of contractions of the tensor network structure associated to the computation of local observables to obtain one of the explicit solutions to the problem, if any.
Hyper-optimized tensor network contraction
TLDR
This work implements new randomized protocols that find very high quality contraction paths for arbitrary and large tensor networks, and introduces a hyper-optimization approach, where both the method applied and its algorithmic parameters are tuned during the path finding.
ZH: A Complete Graphical Calculus for Quantum Computations Involving Classical Non-linearity
TLDR
A new graphical calculus is presented that is sound and complete for universal quantum computation by demonstrating the reduction of any diagram to an easily describable normal form, which suggests that this calculus will be significantly more convenient for reasoning about the interplay between classical non-linear behaviour and purely quantum operations.
Interacting Quantum Observables: Categorical Algebra and Diagrammatics
TLDR
The ZX-calculus is introduced, an intuitive and universal graphical calculus for multi-qubit systems, which greatly simplifies derivations in the area of quantum computation and information and axiomatize phase shifts within this framework.
The ZX& calculus: A complete graphical calculus for classical circuits using spiders
  • Cole Comfort
  • Mathematics
    Electronic Proceedings in Theoretical Computer Science
  • 2021
TLDR
It is shown that in the case of TOF, freely adding a counit, constructing the category of quantum channels, and computing the discrete Cartesian completion are all equivalent to partial functions between powers of the two element set.
The complexity of theorem-proving procedures
  • S. Cook
  • Mathematics, Computer Science
    STOC
  • 1971
It is shown that any recognition problem solved by a polynomial time-bounded nondeterministic Turing machine can be “reduced” to the problem of determining whether a given propositional formula is a
Being Glassy Without Being Hard to Solve
TLDR
The diluted p-spin model is strongly related to the random XORSAT problem, a problem of finding variables that simultaneously satisfy a large number of logical constraints, and this relation has provided insight into how small changes in a model can modify its computational difficulty.
Renormalization algorithms for Quantum-Many Body Systems in two and higher dimensions
TLDR
This work describes quantum many--body systems in terms of projected entangled--pair states, which naturally extend matrix product states to two and more dimensions, and uses this result to build powerful numerical simulation techniques to describe the ground state, finite temperature, and evolution of spin systems in two and higher dimensions.
The Complexity of Enumeration and Reliability Problems
  • L. Valiant
  • Mathematics, Computer Science
    SIAM J. Comput.
  • 1979
TLDR
For a large number of natural counting problems for which there was no previous indication of intractability, that they belong to the class of computationally eqivalent counting problems that are at least as difficult as the NP-complete problems.
...
...