ZX-calculus for the working quantum computer scientist · HackerPapers discussions

ZX-calculus for the working quantum computer scientist — mentioned by mncharity

Thu, 05 Dec 2024 00:54:03 GMT

> it is not this or any of what we expect String diagrams of category theory potentially make working with invariants easier by embedding them in graphical transformations, so they "just maintain themselves". Eg, electric circuit laws.[2] Or here, ZX-calculus/diagrams for QM.[3] [2] https://arxiv.org/pdf/2106.07763 [3] Medium article: https://medium.com/quantinuum/how-zx-calculus-reveals-the-lo... ; A taste (guest lecture notes): https://arxiv.org/pdf/2303.03163 ; old slides https://www.cs.ox.ac.uk/people/aleks.kissinger/slides/pdf/ak... ; ZX-calculus for the working quantum computer…

Paper and discussion history. A mention is not an endorsement.

ZX-calculus for the working quantum computer scientist — mentioned by whooie

Sat, 29 Jun 2024 06:17:59 GMT

See also the ZX-calculus, a graphical calculus for reasoning about linear maps applied to qubits (read: quantum circuits) [1]. The ZX-calculus derives its structure from categorical quantum mechanics and has found major use in several areas of quantum information science. [1] https://arxiv.org/abs/2012.13966

Paper and discussion history. A mention is not an endorsement.

ZX-calculus for the working quantum computer scientist — mentioned by zzhelezc

Tue, 06 Jun 2023 20:50:13 GMT

Wow, I didn’t expect to see ZX here. Its related to my PhD. You can find a lot of ZX related literature on [1]. [2] is a really nice introduction. If you want to play with it in python take a look at pyzx [3]. [1] https://zxcalculus.com/ [2] https://arxiv.org/abs/2012.13966 [3] https://github.com/Quantomatic/pyzx

Paper and discussion history. A mention is not an endorsement.