Lectures on quantum tensor networks

J Biamonte - arXiv preprint arXiv:1912.10049, 2019 - arxiv.org
Situated as a language between computer science, quantum physics and mathematics,
tensor network theory has steadily grown in popularity and can now be found in applications …

Biunitary constructions in quantum information

DJ Reutter, J Vicary - arXiv preprint arXiv:1609.07775, 2016 - arxiv.org
We present an infinite number of construction schemes involving unitary error bases,
Hadamard matrices, quantum Latin squares and controlled families, many of which have not …

Holographic software for quantum networks

A Jaffe, Z Liu, A Wozniakowski - Science China Mathematics, 2018 - Springer
We introduce a pictorial approach to quantum information, called holographic software. Our
software captures both algebraic and topological aspects of quantum networks. It yields a bi …

Quon 3D language for quantum information

Z Liu, A Wozniakowski, AM Jaffe - Proceedings of the …, 2017 - National Acad Sciences
We present a 3D topological picture-language for quantum information. Our approach
combines charged excitations carried by strings, with topological properties that arise from …

Classical simulation of quantum circuits by half Gauss sums

K Bu, DE Koh - Communications in Mathematical Physics, 2022 - Springer
We give an efficient algorithm to evaluate a certain class of exponential sums, namely the
periodic, quadratic, multivariate half Gauss sums. We show that these exponential sums …

AKLT-states as ZX-diagrams: diagrammatic reasoning for quantum states

RDP East, J van de Wetering, N Chancellor… - PRX Quantum, 2022 - APS
From Feynman diagrams to tensor networks, diagrammatic representations of computations
in quantum mechanics have catalyzed progress in physics. These diagrams represent the …

Mathematical picture language program

AM Jaffe, Z Liu - Proceedings of the National Academy of …, 2018 - National Acad Sciences
We give an overview of our philosophy of pictures in mathematics. We emphasize a
bidirectional process between picture language and mathematical concepts: abstraction and …

Shaded tangles for the design and verification of quantum programs

D Reutter, J Vicary - arXiv preprint arXiv:1701.03309, 2017 - arxiv.org
We give a scheme for interpreting shaded tangles as quantum programs, with the property
that isotopic tangles yield equivalent programs. We analyze many known quantum programs …

Charged string tensor networks

J Biamonte - Proceedings of the National Academy of …, 2017 - National Acad Sciences
Tensor networks in physics can be traced back to a 1971 paper by Penrose (1). Such
network diagrams appear in digital circuit theory, and they form the foundations of quantum …

Shaded tangles for the design and verification of quantum circuits

DJ Reutter, J Vicary - Proceedings of the Royal Society …, 2019 - royalsocietypublishing.org
We give a scheme for interpreting shaded tangles as quantum circuits, with the property that
if two shaded tangles are ambient isotopic, their corresponding computational effects are …