Quantum picturalism

B Coecke - Contemporary physics, 2010 - Taylor & Francis
Why did it take us 50 years since the birth of the quantum mechanical formalism to discover
that unknown quantum states cannot be cloned? Yet, the proof of the 'no-cloning theorem'is …

Quantum natural language processing: Challenges and opportunities

R Guarasci, G De Pietro, M Esposito - Applied sciences, 2022 - mdpi.com
The meeting between Natural Language Processing (NLP) and Quantum Computing has
been very successful in recent years, leading to the development of several approaches of …

ZX-calculus for the working quantum computer scientist

J van de Wetering - arXiv preprint arXiv:2012.13966, 2020 - arxiv.org
The ZX-calculus is a graphical language for reasoning about quantum computation that has
recently seen an increased usage in a variety of areas such as quantum circuit optimisation …

[图书][B] Categories for Quantum Theory: an introduction

C Heunen, J Vicary - 2019 - books.google.com
Monoidal category theory serves as a powerful framework for describing logical aspects of
quantum theory, giving an abstract language for parallel and sequential composition, and a …

Foundations for near-term quantum natural language processing

B Coecke, G de Felice, K Meichanetzidis… - arXiv preprint arXiv …, 2020 - arxiv.org
We provide conceptual and mathematical foundations for near-term quantum natural
language processing (QNLP), and do so in quantum computer scientist friendly terms. We …

Interacting quantum observables: categorical algebra and diagrammatics

B Coecke, R Duncan - New Journal of Physics, 2011 - iopscience.iop.org
This paper has two tightly intertwined aims:(i) to introduce an intuitive and universal
graphical calculus for multi-qubit systems, the ZX-calculus, which greatly simplifies …

Interacting quantum observables

B Coecke, R Duncan - International Colloquium on Automata, Languages …, 2008 - Springer
We formalise the constructive content of an essential feature of quantum mechanics: the
interaction of complementary quantum observables, and information flow mediated by them …

Categorical quantum mechanics

S Abramsky, B Coecke - Handbook of quantum logic and …, 2009 - books.google.com
Our aim is to revisit the mathematical foundations of quantum mechanics from a novel point
of view. The standard axiomatic presentation of quantum mechanics in terms of Hilbert …

Categories in control

JC Baez, J Erbele - arXiv preprint arXiv:1405.6881, 2014 - arxiv.org
Control theory uses" signal-flow diagrams" to describe processes where real-valued
functions of time are added, multiplied by scalars, differentiated and integrated, duplicated …

Two complete axiomatisations of pure-state qubit quantum computing

A Hadzihasanovic, KF Ng, Q Wang - … of the 33rd annual ACM/IEEE …, 2018 - dl.acm.org
Categorical quantum mechanics places finite-dimensional quantum theory in the context of
compact closed categories, with an emphasis on diagrammatic reasoning. In this framework …