We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

cs.LO

Change to browse by:

References & Citations

DBLP - CS Bibliography

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Computer Science > Logic in Computer Science

Title: Fast Automated Reasoning over String Diagrams using Multiway Causal Structure

Abstract: We introduce an intuitive algorithmic methodology for enacting automated rewriting of string diagrams within a general double-pushout (DPO) framework, in which the sequence of rewrites is chosen in accordance with the causal structure of the underlying diagrammatic calculus. The combination of the rewriting structure and the causal structure may be elegantly formulated as a weak 2-category equipped with both total and partial monoidal bifunctors, thus providing a categorical semantics for the full multiway evolution causal graph of a generic Wolfram model hypergraph rewriting system. As an illustrative example, we show how a special case of this algorithm enables highly efficient automated simplification of quantum circuits, as represented in the ZX-calculus.
Comments: Submitted to Applied Category Theory 2021. 14 pages, 9 figures
Subjects: Logic in Computer Science (cs.LO); Discrete Mathematics (cs.DM)
Cite as: arXiv:2105.04057 [cs.LO]
  (or arXiv:2105.04057v1 [cs.LO] for this version)

Submission history

From: Jonathan Gorard [view email]
[v1] Mon, 10 May 2021 00:45:23 GMT (1024kb,D)

Link back to: arXiv, form interface, contact.