What are the primary rewrite rules supported?

It supports core ZX-calculus transformations including Spider Fusion, Bialgebra (Hopf) laws, and Color Change rules via Hadamard edges.

Can this skill help reduce my quantum circuit's T-count?

Yes, the skill provides specific strategies and code patterns for using PyZX and DisCoPy to perform full-reduce simplifications and extract optimized circuits.

What is ZX-calculus in the context of this skill?

ZX-calculus is a powerful graphical language for quantum computing that uses Z-spiders and X-spiders to represent and simplify quantum operations through rigorous rewrite rules.

Is this skill useful for non-standard quantum applications?

Yes, it covers specialized applications such as Quantum Music notation and compositional semantics in Natural Language Processing.

Does it support Python-based quantum libraries?

Absolutely. It includes implementation examples for both DisCoPy (for category-theoretic quantum modeling) and PyZX (for industrial-strength circuit optimization).

ZX-Calculus Quantum Reasoning

Name: ZX-Calculus Quantum Reasoning
Author: plurigrid

byplurigrid

•

数据科学与机器学习

Enables diagrammatic reasoning and optimization for quantum circuits using Z-spiders, X-spiders, and rewrite rules.

The ZX-calculus skill empowers Claude to assist with the advanced graphical representation and simplification of quantum processes. By leveraging Coecke's string diagrams, the skill facilitates complex circuit optimization, T-count reduction, and equivalence checking. It provides specific patterns for implementing these concepts in Python via libraries like PyZX and DisCoPy, making it an essential tool for quantum researchers and developers working on circuit compilation, compositional semantics (DisCoCat), or even quantum music notation.

主要功能

01Support for Z-spider and X-spider phase gate manipulation

02Graphical circuit rewriting via spider fusion and bialgebra rules

03Integration patterns for PyZX and DisCoPy libraries

048 GitHub stars

05Formal verification and equivalence checking for quantum logic

06Quantum circuit T-count reduction and gate optimization

使用场景

01Modeling compositional natural language processing (NLP) using DisCoCat

02Optimizing quantum circuits for hardware-efficient execution

03Verifying the correctness of quantum algorithms through diagrammatic reduction

What are Skills?·How to Install

Install with 🐟 Skill.Fish

npx skillfish add plurigrid/asi zx-calculus

For use in Claude.ai and ChatGPT

Download Skill