13 citations · 48 across the 18 of their papers we have counts for
18 papers
A ribbon ZX calculus for gauge theory
Gabriel Wong, Razin A. Shaikh, William Donnelly
ZX calculus provides a graphical formalism for reasoning about quantum processes, built from two interacting Frobenius algebras associated with the Z and X bases of a qubit. While…
Graphical Algebraic Geometry: From Ideals and Varieties to Quantum Calculi
Dichuan Gao, Razin A. Shaikh, Aleks Kissinger
We introduce Graphical Algebraic Geometry (GAG), a family of diagrammatic languages extending the Graphical Linear Algebra programme. We construct several languages within this fam…
Beyond Penrose tensor diagrams with the ZX calculus: Applications to quantum computing, quantum machine learning, condensed matter physics, and quantum gravity
Quanlong Wang, Richard D. P. East, Razin A. Shaikh +3
We introduce the Spin-ZX calculus as an elevation of Penrose's diagrams and associated binor calculus to the level of a formal diagrammatic language. The power of doing so is illus…
From Fermions to Qubits: A ZX-Calculus Perspective
Haytham McDowall-Rose, Razin A. Shaikh, Lia Yeh
Mapping fermionic systems to qubits on a quantum computer is often the first step for algorithms in quantum chemistry and condensed matter physics. However, it is difficult to reco…
The Focked-up ZX Calculus: Picturing Continuous-Variable Quantum Computation
Razin A. Shaikh, Lia Yeh, Stefano Gogioso
While the ZX and ZW calculi have been effective as graphical reasoning tools for finite-dimensional quantum computation, the possibilities for continuous-variable quantum computati…
ZX-calculus is Complete for Finite-Dimensional Hilbert Spaces
Boldizsár Poór, Razin A. Shaikh, Quanlong Wang
The ZX-calculus is a graphical language for reasoning about quantum computing and quantum information theory. As a complete graphical language, it incorporates a set of axioms rich…
From Conceptual Spaces to Quantum Concepts: Formalising and Learning Structured Conceptual Models
Sean Tull, Razin A. Shaikh, Sara Sabrina Zemljic +1
In this article we present a new modelling framework for structured concepts using a category-theoretic generalisation of conceptual spaces, and show how the conceptual representat…
A Pipeline For Discourse Circuits From CCG
Jonathon Liu, Razin A. Shaikh, Benjamin Rodatz +2
There is a significant disconnect between linguistic theory and modern NLP practice, which relies heavily on inscrutable black-box architectures. DisCoCirc is a newly proposed mode…
Completeness of qufinite ZXW calculus, a graphical language for finite-dimensional quantum theory
Quanlong Wang, Boldizsár Poór, Razin A. Shaikh
Finite-dimensional quantum theory serves as the theoretical foundation for quantum information and computation. Mathematically, it is formalized in the category FHilb, comprising a…
Light-Matter Interaction in the ZXW Calculus
Giovanni de Felice, Razin A. Shaikh, Boldizsár Poór +3
In this paper, we develop a graphical calculus to rewrite photonic circuits involving light-matter interactions and non-linear optical effects. We introduce the infinite ZW calculu…
Formalising and Learning a Quantum Model of Concepts
Sean Tull, Razin A. Shaikh, Sara Sabrina Zemljic +1
In this report we present a new modelling framework for concepts based on quantum theory, and demonstrate how the conceptual representations can be learned automatically from data.…
Completeness for arbitrary finite dimensions of ZXW-calculus, a unifying calculus
Boldizsár Poór, Quanlong Wang, Razin A. Shaikh +3
The ZX-calculus is a universal graphical language for qubit quantum computation, meaning that every linear map between qubits can be expressed in the ZX-calculus. Furthermore, it i…
How to Sum and Exponentiate Hamiltonians in ZXW Calculus
Razin A. Shaikh, Quanlong Wang, Richie Yeung
This paper develops practical summation techniques in ZXW calculus to reason about quantum dynamics, such as unitary time evolution. First we give a direct representation of a wide…
Categorical Semantics for Feynman Diagrams
Razin A. Shaikh, Stefano Gogioso
We introduce a novel compositional description of Feynman diagrams, with well-defined categorical semantics as morphisms in a dagger-compact category. Our chosen setting is suitabl…
The Conceptual VAE
Razin A. Shaikh, Sara Sabrina Zemljic, Sean Tull +1
In this report we present a new model of concepts, based on the framework of variational autoencoders, which is designed to have attractive properties such as factored conceptual d…
A Domain-Theoretic Framework for Robustness Analysis of Neural Networks
Can Zhou, Razin A. Shaikh, Yiran Li +1
A domain-theoretic framework is presented for validated robustness analysis of neural networks. First, global robustness of a general class of networks is analyzed. Then, using the…
Composing Conversational Negation
Razin A. Shaikh, Lia Yeh, Benjamin Rodatz +1
Negation in natural language does not follow Boolean logic and is therefore inherently difficult to model. In particular, it takes into account the broader understanding of what is…
Conversational Negation using Worldly Context in Compositional Distributional Semantics
Benjamin Rodatz, Razin A. Shaikh, Lia Yeh
We propose a framework to model an operational conversational negation by applying worldly context (prior knowledge) to logical negation in compositional distributional semantics.…