Showing 1–27 of 27 results for author: Meichanetzidis, K

Quantum Circuit Optimization with AlphaTensor

Authors: Francisco J. R. Ruiz, Tuomas Laakkonen, Johannes Bausch, Matej Balog, Mohammadamin Barekatain, Francisco J. H. Heras, Alexander Novikov, Nathan Fitzpatrick, Bernardino Romera-Paredes, John van de Wetering, Alhussein Fawzi, Konstantinos Meichanetzidis, Pushmeet Kohli

Abstract: A key challenge in realizing fault-tolerant quantum computers is circuit optimization. Focusing on the most expensive gates in fault-tolerant quantum computation (namely, the T gates), we address the problem of T-count optimization, i.e., minimizing the number of T gates that are needed to implement a given circuit. To achieve this, we develop AlphaTensor-Quantum, a method based on deep reinforcem… ▽ More A key challenge in realizing fault-tolerant quantum computers is circuit optimization. Focusing on the most expensive gates in fault-tolerant quantum computation (namely, the T gates), we address the problem of T-count optimization, i.e., minimizing the number of T gates that are needed to implement a given circuit. To achieve this, we develop AlphaTensor-Quantum, a method based on deep reinforcement learning that exploits the relationship between optimizing T-count and tensor decomposition. Unlike existing methods for T-count optimization, AlphaTensor-Quantum can incorporate domain-specific knowledge about quantum computation and leverage gadgets, which significantly reduces the T-count of the optimized circuits. AlphaTensor-Quantum outperforms the existing methods for T-count optimization on a set of arithmetic benchmarks (even when compared without making use of gadgets). Remarkably, it discovers an efficient algorithm akin to Karatsuba's method for multiplication in finite fields. AlphaTensor-Quantum also finds the best human-designed solutions for relevant arithmetic computations used in Shor's algorithm and for quantum chemistry simulation, thus demonstrating it can save hundreds of hours of research by optimizing relevant quantum circuits in a fully automated way. △ Less

Submitted 5 March, 2024; v1 submitted 22 February, 2024; originally announced February 2024.

Comments: 25 pages main paper + 19 pages appendix

Peptide Binding Classification on Quantum Computers

Authors: Charles London, Douglas Brown, Wenduan Xu, Sezen Vatansever, Christopher James Langmead, Dimitri Kartsaklis, Stephen Clark, Konstantinos Meichanetzidis

Abstract: We conduct an extensive study on using near-term quantum computers for a task in the domain of computational biology. By constructing quantum models based on parameterised quantum circuits we perform sequence classification on a task relevant to the design of therapeutic proteins, and find competitive performance with classical baselines of similar scale. To study the effect of noise, we run some… ▽ More We conduct an extensive study on using near-term quantum computers for a task in the domain of computational biology. By constructing quantum models based on parameterised quantum circuits we perform sequence classification on a task relevant to the design of therapeutic proteins, and find competitive performance with classical baselines of similar scale. To study the effect of noise, we run some of the best-performing quantum models with favourable resource requirements on emulators of state-of-the-art noisy quantum processors. We then apply error mitigation methods to improve the signal. We further execute these quantum models on the Quantinuum H1-1 trapped-ion quantum processor and observe very close agreement with noiseless exact simulation. Finally, we perform feature attribution methods and find that the quantum models indeed identify sensible relationships, at least as well as the classical baselines. This work constitutes the first proof-of-concept application of near-term quantum computing to a task critical to the design of therapeutic proteins, opening the route toward larger-scale applications in this and related fields, in line with the hardware development roadmaps of near-term quantum technologies. △ Less

Submitted 27 November, 2023; originally announced November 2023.

Sequence Processing with Quantum Tensor Networks

Authors: Carys Harvey, Richie Yeung, Konstantinos Meichanetzidis

Abstract: We introduce complex-valued tensor network models for sequence processing motivated by correspondence to probabilistic graphical models, interpretability and resource compression. Inductive bias is introduced to our models via network architecture, and is motivated by the correlation structure inherent in the data, as well as any relevant compositional structure, resulting in tree-like connectivit… ▽ More We introduce complex-valued tensor network models for sequence processing motivated by correspondence to probabilistic graphical models, interpretability and resource compression. Inductive bias is introduced to our models via network architecture, and is motivated by the correlation structure inherent in the data, as well as any relevant compositional structure, resulting in tree-like connectivity. Our models are specifically constructed using parameterised quantum circuits, widely used in quantum machine learning, effectively using Hilbert space as a feature space. Furthermore, they are efficiently trainable due to their tree-like structure. We demonstrate experimental results for the task of binary classification of sequences from real-world datasets relevant to natural language and bioinformatics, characterised by long-range correlations and often equipped with syntactic information. Since our models have a valid operational interpretation as quantum processes, we also demonstrate their implementation on Quantinuum's H2-1 trapped-ion quantum processor, demonstrating the possibility of efficient sequence processing on near-term quantum devices. This work constitutes the first scalable implementation of near-term quantum language processing, providing the tools for large-scale experimentation on the role of tensor structure and syntactic priors. Finally, this work lays the groundwork for generative sequence modelling in a hybrid pipeline where the training may be conducted efficiently in simulation, while sampling from learned probability distributions may be done with polynomial speed-up on quantum devices. △ Less

Submitted 15 August, 2023; originally announced August 2023.

Picturing Counting Reductions with the ZH-Calculus

Authors: Tuomas Laakkonen, Konstantinos Meichanetzidis, John van de Wetering

Abstract: Counting the solutions to Boolean formulae defines the problem #SAT, which is complete for the complexity class #P. We use the ZH-calculus, a universal and complete graphical language for linear maps which naturally encodes counting problems in terms of diagrams, to give graphical reductions from #SAT to several related counting problems. Some of these graphical reductions, like to #2SAT, are subs… ▽ More Counting the solutions to Boolean formulae defines the problem #SAT, which is complete for the complexity class #P. We use the ZH-calculus, a universal and complete graphical language for linear maps which naturally encodes counting problems in terms of diagrams, to give graphical reductions from #SAT to several related counting problems. Some of these graphical reductions, like to #2SAT, are substantially simpler than known reductions via the matrix permanent. Additionally, our approach allows us to consider the case of counting solutions modulo an integer on equal footing. Finally, since the ZH-calculus was originally introduced to reason about quantum computing, we show that the problem of evaluating ZH-diagrams in the fragment corresponding to the Clifford+T gateset, is in FP^#P. Our results show that graphical calculi represent an intuitive and useful framework for reasoning about counting problems. △ Less

Submitted 31 August, 2023; v1 submitted 5 April, 2023; originally announced April 2023.

Comments: In Proceedings QPL 2023, arXiv:2308.15489

Journal ref: EPTCS 384, 2023, pp. 89-113

A Graphical #SAT Algorithm for Formulae with Small Clause Density

Authors: Tuomas Laakkonen, Konstantinos Meichanetzidis, John van de Wetering

Abstract: We study the counting version of the Boolean satisfiability problem #SAT using the ZH-calculus, a graphical language originally introduced to reason about quantum circuits. Using this we find a natural extension of #SAT which we call $\#SAT_\pm$, where variables are additionally labeled by phases, which is GapP-complete. Using graphical reasoning, we find a reduction from #SAT to $\#2SAT_\pm$ in t… ▽ More We study the counting version of the Boolean satisfiability problem #SAT using the ZH-calculus, a graphical language originally introduced to reason about quantum circuits. Using this we find a natural extension of #SAT which we call $\#SAT_\pm$, where variables are additionally labeled by phases, which is GapP-complete. Using graphical reasoning, we find a reduction from #SAT to $\#2SAT_\pm$ in the ZH-calculus. We observe that the DPLL algorithm for #2SAT can be adapted to $\#2SAT_\pm$ directly and hence that Wahlstrom's $O^*(1.2377^n)$ upper bound applies to $\#2SAT_\pm$ as well. Combining this with our reduction from #SAT to $\#2SAT_\pm$ gives us novel upper bounds in terms of clauses and variables that are better than $O^*(2^n)$ for small clause densities of $\frac{m}{n} < 2.25$. This is to our knowledge the first non-trivial upper bound for #SAT that is independent of clause size. Our algorithm improves on Dubois' upper bound for $\#kSAT$ whenever $\frac{m}{n} < 1.85$ and $k \geq 4$, and the Williams' average-case analysis whenever $\frac{m}{n} < 1.21$ and $k \geq 6$. We also obtain an unconditional upper bound of $O^*(1.88^m)$ for $\#4SAT$ in terms of clauses only, and find an improved bound on $\#3SAT$ for $1.2577 < \frac{m}{n} \leq \frac{7}{3}$. Our results demonstrate that graphical reasoning can lead to new algorithmic insights, even outside the domain of quantum computing that the calculus was intended for. △ Less

Submitted 15 December, 2022; originally announced December 2022.

Estimating the Jones polynomial for Ising anyons on noisy quantum computers

Authors: Chris N. Self, Sofyan Iblisdir, Gavin K. Brennen, Konstantinos Meichanetzidis

Abstract: The evaluation of the Jones polynomial at roots of unity is a paradigmatic problem for quantum computers. In this work we present experimental results obtained from existing noisy quantum computers for special cases of this problem, where it is classically tractable. Our approach relies on the reduction of the problem of evaluating the Jones polynomial of a knot at lattice roots of unity to the pr… ▽ More The evaluation of the Jones polynomial at roots of unity is a paradigmatic problem for quantum computers. In this work we present experimental results obtained from existing noisy quantum computers for special cases of this problem, where it is classically tractable. Our approach relies on the reduction of the problem of evaluating the Jones polynomial of a knot at lattice roots of unity to the problem of computing quantum amplitudes of qudit stabiliser circuits, which are classically efficiently simulatable. More specifically, we focus on evaluation at the fourth root of unity, which is a lattice root of unity, where the problem reduces to evaluating amplitudes of qubit stabiliser circuits. To estimate the real and imaginary parts of the amplitudes up to additive error we use the Hadamard test. We further argue that this setup defines a standard benchmark for near-term noisy quantum processors. Furthermore, we study the benefit of performing quantum error mitigation with the method of zero noise extrapolation. △ Less

Submitted 20 October, 2022; originally announced October 2022.

Comments: 16 pages, 9 figures, other inline images in the text

Characterization of variational quantum algorithms using free fermions

Authors: Gabriel Matos, Chris N. Self, Zlatko Papić, Konstantinos Meichanetzidis, Henrik Dreyer

Abstract: We study variational quantum algorithms from the perspective of free fermions. By deriving the explicit structure of the associated Lie algebras, we show that the Quantum Approximate Optimization Algorithm (QAOA) on a one-dimensional lattice -- with and without decoupled angles -- is able to prepare all fermionic Gaussian states respecting the symmetries of the circuit. Leveraging these results, w… ▽ More We study variational quantum algorithms from the perspective of free fermions. By deriving the explicit structure of the associated Lie algebras, we show that the Quantum Approximate Optimization Algorithm (QAOA) on a one-dimensional lattice -- with and without decoupled angles -- is able to prepare all fermionic Gaussian states respecting the symmetries of the circuit. Leveraging these results, we numerically study the interplay between these symmetries and the locality of the target state, and find that an absence of symmetries makes nonlocal states easier to prepare. An efficient classical simulation of Gaussian states, with system sizes up to $80$ and deep circuits, is employed to study the behavior of the circuit when it is overparameterized. In this regime of optimization, we find that the number of iterations to converge to the solution scales linearly with system size. Moreover, we observe that the number of iterations to converge to the solution decreases exponentially with the depth of the circuit, until it saturates at a depth which is quadratic in system size. Finally, we conclude that the improvement in the optimization can be explained in terms of better local linear approximations provided by the gradients. △ Less

Submitted 17 March, 2023; v1 submitted 13 June, 2022; originally announced June 2022.

Comments: 20 pages, 11 figures

Journal ref: Quantum 7, 966 (2023)

Equivariant Quantum Graph Circuits

Authors: Péter Mernyei, Konstantinos Meichanetzidis, İsmail İlkan Ceylan

Abstract: We investigate quantum circuits for graph representation learning, and propose equivariant quantum graph circuits (EQGCs), as a class of parameterized quantum circuits with strong relational inductive bias for learning over graph-structured data. Conceptually, EQGCs serve as a unifying framework for quantum graph representation learning, allowing us to define several interesting subclasses which s… ▽ More We investigate quantum circuits for graph representation learning, and propose equivariant quantum graph circuits (EQGCs), as a class of parameterized quantum circuits with strong relational inductive bias for learning over graph-structured data. Conceptually, EQGCs serve as a unifying framework for quantum graph representation learning, allowing us to define several interesting subclasses which subsume existing proposals. In terms of the representation power, we prove that the studied subclasses of EQGCs are universal approximators for functions over the bounded graph domain. This theoretical perspective on quantum graph machine learning methods opens many directions for further work, and could lead to models with capabilities beyond those of classical approaches. We empirically verify the expressive power of EQGCs through a dedicated experiment on synthetic data, and additionally observe that the performance of EQGCs scales well with the depth of the model and does not suffer from barren plateu issues. △ Less

Submitted 13 June, 2022; v1 submitted 9 December, 2021; originally announced December 2021.

Comments: To be presented at ICML 2022 - uploading camera-ready version

A Quantum Natural Language Processing Approach to Musical Intelligence

Authors: Eduardo Reck Miranda, Richie Yeung, Anna Pearson, Konstantinos Meichanetzidis, Bob Coecke

Abstract: There has been tremendous progress in Artificial Intelligence (AI) for music, in particular for musical composition and access to large databases for commercialisation through the Internet. We are interested in further advancing this field, focusing on composition. In contrast to current black-box AI methods, we are championing an interpretable compositional outlook on generative music systems. In… ▽ More There has been tremendous progress in Artificial Intelligence (AI) for music, in particular for musical composition and access to large databases for commercialisation through the Internet. We are interested in further advancing this field, focusing on composition. In contrast to current black-box AI methods, we are championing an interpretable compositional outlook on generative music systems. In particular, we are importing methods from the Distributional Compositional Categorical (DisCoCat) modelling framework for Natural Language Processing (NLP), motivated by musical grammars. Quantum computing is a nascent technology, which is very likely to impact the music industry in time to come. Thus, we are pioneering a Quantum Natural Language Processing (QNLP) approach to develop a new generation of intelligent musical systems. This work follows from previous experimental implementations of DisCoCat linguistic models on quantum hardware. In this chapter, we present Quanthoven, the first proof-of-concept ever built, which (a) demonstrates that it is possible to program a quantum computer to learn to classify music that conveys different meanings and (b) illustrates how such a capability might be leveraged to develop a system to compose meaningful pieces of music. After a discussion about our current understanding of music as a communication medium and its relationship to natural language, the chapter focuses on the techniques developed to (a) encode musical compositions as quantum circuits, and (b) design a quantum classifier. The chapter ends with demonstrations of compositions created with the system. △ Less

Submitted 9 December, 2021; v1 submitted 10 November, 2021; originally announced November 2021.

Comments: Pre-publication draft of a chapter to appear in Quantum Computer Music, E. R. Miranda (Ed.)

lambeq: An Efficient High-Level Python Library for Quantum NLP

Authors: Dimitri Kartsaklis, Ian Fan, Richie Yeung, Anna Pearson, Robin Lorenz, Alexis Toumi, Giovanni de Felice, Konstantinos Meichanetzidis, Stephen Clark, Bob Coecke

Abstract: We present lambeq, the first high-level Python library for Quantum Natural Language Processing (QNLP). The open-source toolkit offers a detailed hierarchy of modules and classes implementing all stages of a pipeline for converting sentences to string diagrams, tensor networks, and quantum circuits ready to be used on a quantum computer. lambeq supports syntactic parsing, rewriting and simplificati… ▽ More We present lambeq, the first high-level Python library for Quantum Natural Language Processing (QNLP). The open-source toolkit offers a detailed hierarchy of modules and classes implementing all stages of a pipeline for converting sentences to string diagrams, tensor networks, and quantum circuits ready to be used on a quantum computer. lambeq supports syntactic parsing, rewriting and simplification of string diagrams, ansatz creation and manipulation, as well as a number of compositional models for preparing quantum-friendly representations of sentences, employing various degrees of syntax sensitivity. We present the generic architecture and describe the most important modules in detail, demonstrating the usage with illustrative examples. Further, we test the toolkit in practice by using it to perform a number of experiments on simple NLP tasks, implementing both classical and quantum pipelines. △ Less

Submitted 8 October, 2021; originally announced October 2021.

How to make qubits speak

Authors: Bob Coecke, Giovanni de Felice, Konstantinos Meichanetzidis, Alexis Toumi

Abstract: This is a story about making quantum computers speak, and doing so in a quantum-native, compositional and meaning-aware manner. Recently we did question-answering with an actual quantum computer. We explain what we did, stress that this was all done in terms of pictures, and provide many pointers to the related literature. In fact, besides natural language, many other things can be implemented in… ▽ More This is a story about making quantum computers speak, and doing so in a quantum-native, compositional and meaning-aware manner. Recently we did question-answering with an actual quantum computer. We explain what we did, stress that this was all done in terms of pictures, and provide many pointers to the related literature. In fact, besides natural language, many other things can be implemented in a quantum-native, compositional and meaning-aware manner, and we provide the reader with some indications of that broader pictorial landscape, including our account on the notion of compositionality. We also provide some guidance for the actual execution, so that the reader can give it a go as well. △ Less

Submitted 2 July, 2021; originally announced July 2021.

Comments: Invited contribution to "Quantum Computing in the Arts and Humanities"

Simplification Strategies for the Qutrit ZX-Calculus

Authors: Alex Townsend-Teague, Konstantinos Meichanetzidis

Abstract: The ZX-calculus is a graphical language for suitably represented tensor networks, called ZX-diagrams. Calculations are performed by transforming ZX-diagrams with rewrite rules. The ZX-calculus has found applications in reasoning about quantum circuits, condensed matter systems, quantum algorithms, quantum error correcting codes, and counting problems. A key notion is the stabiliser fragment of the… ▽ More The ZX-calculus is a graphical language for suitably represented tensor networks, called ZX-diagrams. Calculations are performed by transforming ZX-diagrams with rewrite rules. The ZX-calculus has found applications in reasoning about quantum circuits, condensed matter systems, quantum algorithms, quantum error correcting codes, and counting problems. A key notion is the stabiliser fragment of the ZX-calculus, a subfamily of ZX-diagrams for which rewriting can be done efficiently in terms of derived simplifying rewrites. Recently, higher dimensional qudits - in particular, qutrits - have gained prominence within quantum computing research. The main contribution of this work is the derivation of efficient rewrite strategies for the stabiliser fragment of the qutrit ZX-calculus. Notably, this constitutes a first non-trivial step towards the simplification of qutrit quantum circuits. We then give further unexpected areas in which these rewrite strategies provide complexity-theoretic insight; namely, we reinterpret known results about evaluating the Jones polynomial, an important link invariant in knot theory, and counting graph colourings. △ Less

Submitted 21 June, 2022; v1 submitted 11 March, 2021; originally announced March 2021.

Comments: accepted to QPL 2022

QNLP in Practice: Running Compositional Models of Meaning on a Quantum Computer

Authors: Robin Lorenz, Anna Pearson, Konstantinos Meichanetzidis, Dimitri Kartsaklis, Bob Coecke

Abstract: Quantum Natural Language Processing (QNLP) deals with the design and implementation of NLP models intended to be run on quantum hardware. In this paper, we present results on the first NLP experiments conducted on Noisy Intermediate-Scale Quantum (NISQ) computers for datasets of size greater than 100 sentences. Exploiting the formal similarity of the compositional model of meaning by Coecke, Sadrz… ▽ More Quantum Natural Language Processing (QNLP) deals with the design and implementation of NLP models intended to be run on quantum hardware. In this paper, we present results on the first NLP experiments conducted on Noisy Intermediate-Scale Quantum (NISQ) computers for datasets of size greater than 100 sentences. Exploiting the formal similarity of the compositional model of meaning by Coecke, Sadrzadeh and Clark (2010) with quantum theory, we create representations for sentences that have a natural map** to quantum circuits. We use these representations to implement and successfully train NLP models that solve simple sentence classification tasks on quantum hardware. We conduct quantum simulations that compare the syntax-sensitive model of Coecke et al. with two baselines that use less or no syntax; specifically, we implement the quantum analogues of a "bag-of-words" model, where syntax is not taken into account at all, and of a word-sequence model, where only word order is respected. We demonstrate that all models converge smoothly both in simulations and when run on quantum hardware, and that the results are the expected ones based on the nature of the tasks and the datasets used. Another important goal of this paper is to describe in a way accessible to AI and NLP researchers the main principles, process and challenges of experiments on quantum hardware. Our aim in doing this is to take the first small steps in this unexplored research territory and pave the way for practical Quantum Natural Language Processing. △ Less

Submitted 4 May, 2023; v1 submitted 25 February, 2021; originally announced February 2021.

Comments: 38 pages

Journal ref: Journal of Artificial Intelligence Research Vol. 76 (2023), 1305-1342

Grammar-aware sentence classification on quantum computers

Authors: Konstantinos Meichanetzidis, Alexis Toumi, Giovanni de Felice, Bob Coecke

Abstract: Natural language processing (NLP) is at the forefront of great advances in contemporary AI, and it is arguably one of the most challenging areas of the field. At the same time, in the area of Quantum Computing (QC), with the steady growth of quantum hardware and notable improvements towards implementations of quantum algorithms, we are approaching an era when quantum computers perform tasks that c… ▽ More Natural language processing (NLP) is at the forefront of great advances in contemporary AI, and it is arguably one of the most challenging areas of the field. At the same time, in the area of Quantum Computing (QC), with the steady growth of quantum hardware and notable improvements towards implementations of quantum algorithms, we are approaching an era when quantum computers perform tasks that cannot be done on classical computers with a reasonable amount of resources. This provides a new range of opportunities for AI, and for NLP specifically. In this work, we work with the Categorical Distributional Compositional (DisCoCat) model of natural language meaning, whose underlying mathematical underpinnings make it amenable to quantum instantiations. Earlier work on fault-tolerant quantum algorithms has already demonstrated potential quantum advantage for NLP, notably employing DisCoCat. In this work, we focus on the capabilities of noisy intermediate-scale quantum (NISQ) hardware and perform the first implementation of an NLP task on a NISQ processor, using the DisCoCat framework. Sentences are instantiated as parameterised quantum circuits; word-meanings are embedded in quantum states using parameterised quantum-circuits and the sentence's grammatical structure faithfully manifests as a pattern of entangling operations which compose the word-circuits into a sentence-circuit. The circuits' parameters are trained using a classical optimiser in a supervised NLP task of binary classification. Our novel QNLP model shows concrete promise for scalability as the quality of the quantum hardware improves in the near future and solidifies a novel branch of experimental research at the intersection of QC and AI. △ Less

Submitted 14 February, 2023; v1 submitted 7 December, 2020; originally announced December 2020.

Journal ref: Quantum Mach. Intell. 5, 10 (2023)

Foundations for Near-Term Quantum Natural Language Processing

Authors: Bob Coecke, Giovanni de Felice, Konstantinos Meichanetzidis, Alexis Toumi

Abstract: We provide conceptual and mathematical foundations for near-term quantum natural language processing (QNLP), and do so in quantum computer scientist friendly terms. We opted for an expository presentation style, and provide references for supporting empirical evidence and formal statements concerning mathematical generality. We recall how the quantum model for natural language that we employ can… ▽ More We provide conceptual and mathematical foundations for near-term quantum natural language processing (QNLP), and do so in quantum computer scientist friendly terms. We opted for an expository presentation style, and provide references for supporting empirical evidence and formal statements concerning mathematical generality. We recall how the quantum model for natural language that we employ canonically combines linguistic meanings with rich linguistic structure, most notably grammar. In particular, the fact that it takes a quantum-like model to combine meaning and structure, establishes QNLP as quantum-native, on par with simulation of quantum systems. Moreover, the now leading Noisy Intermediate-Scale Quantum (NISQ) paradigm for encoding classical data on quantum hardware, variational quantum circuits, makes NISQ exceptionally QNLP-friendly: linguistic structure can be encoded as a free lunch, in contrast to the apparently exponentially expensive classical encoding of grammar. Quantum speed-up for QNLP tasks has already been established in previous work with Will Zeng. Here we provide a broader range of tasks which all enjoy the same advantage. Diagrammatic reasoning is at the heart of QNLP. Firstly, the quantum model interprets language as quantum processes via the diagrammatic formalism of categorical quantum mechanics. Secondly, these diagrams are via ZX-calculus translated into quantum circuits. Parameterisations of meanings then become the circuit variables to be learned. Our encoding of linguistic structure within quantum circuits also embodies a novel approach for establishing word-meanings that goes beyond the current standards in mainstream AI, by placing linguistic structure at the heart of Wittgenstein's meaning-is-context. △ Less

Submitted 7 December, 2020; originally announced December 2020.

Comments: 43 pages, lots of pictures

Quantum Natural Language Processing on Near-Term Quantum Computers

Authors: Konstantinos Meichanetzidis, Stefano Gogioso, Giovanni de Felice, Nicolò Chiappori, Alexis Toumi, Bob Coecke

Abstract: In this work, we describe a full-stack pipeline for natural language processing on near-term quantum computers, aka QNLP. The language-modelling framework we employ is that of compositional distributional semantics (DisCoCat), which extends and complements the compositional structure of pregroup grammars. Within this model, the grammatical reduction of a sentence is interpreted as a diagram, encod… ▽ More In this work, we describe a full-stack pipeline for natural language processing on near-term quantum computers, aka QNLP. The language-modelling framework we employ is that of compositional distributional semantics (DisCoCat), which extends and complements the compositional structure of pregroup grammars. Within this model, the grammatical reduction of a sentence is interpreted as a diagram, encoding a specific interaction of words according to the grammar. It is this interaction which, together with a specific choice of word embedding, realises the meaning (or "semantics") of a sentence. Building on the formal quantum-like nature of such interactions, we present a method for map** DisCoCat diagrams to quantum circuits. Our methodology is compatible both with NISQ devices and with established Quantum Machine Learning techniques, paving the way to near-term applications of quantum technology to natural language processing. △ Less

Submitted 5 September, 2021; v1 submitted 8 May, 2020; originally announced May 2020.

Comments: In Proceedings QPL 2020, arXiv:2109.01534. This work was originally commissioned by Cambridge Quantum Computing (CQC) and was carried out independently by the CQC team and the Hashberg team

Journal ref: EPTCS 340, 2021, pp. 213-229

Tensor Network Rewriting Strategies for Satisfiability and Counting

Authors: Niel de Beaudrap, Aleks Kissinger, Konstantinos Meichanetzidis

Abstract: We provide a graphical treatment of SAT and #SAT on equal footing. Instances of #SAT can be represented as tensor networks in a standard way. These tensor networks are interpreted by diagrams of the ZH-calculus: a system to reason about tensors over C in terms of diagrams built from simple generators, in which computation may be carried out by transformations of diagrams alone. In general, nodes o… ▽ More We provide a graphical treatment of SAT and #SAT on equal footing. Instances of #SAT can be represented as tensor networks in a standard way. These tensor networks are interpreted by diagrams of the ZH-calculus: a system to reason about tensors over C in terms of diagrams built from simple generators, in which computation may be carried out by transformations of diagrams alone. In general, nodes of ZH diagrams take parameters over C which determine the tensor coefficients; for the standard representation of #SAT instances, the coefficients take the value 0 or 1. Then, by choosing the coefficients of a diagram to range over B, we represent the corresponding instance of SAT. Thus, by interpreting a diagram either over the boolean semiring or the complex numbers, we instantiate either the decision or counting version of the problem. We find that for classes known to be in P, such as 2SAT and #XORSAT, the existence of appropriate rewrite rules allows for efficient simplification of the diagram, producing the solution in polynomial time. In contrast, for classes known to be NP-complete, such as 3SAT, or #P-complete, such as #2SAT, the corresponding rewrite rules introduce hyperedges to the diagrams, in numbers which are not easily bounded above by a polynomial. This diagrammatic approach unifies the diagnosis of the complexity of CSPs and #CSPs and shows promise in aiding tensor network contraction-based algorithms. △ Less

Submitted 5 September, 2021; v1 submitted 14 April, 2020; originally announced April 2020.

Comments: In Proceedings QPL 2020, arXiv:2109.01534

Journal ref: EPTCS 340, 2021, pp. 46-59

Meaning updating of density matrices

Authors: Bob Coecke, Konstantinos Meichanetzidis

Abstract: The DisCoCat model of natural language meaning assigns meaning to a sentence given: (i) the meanings of its words, and, (ii) its grammatical structure. The recently introduced DisCoCirc model extends this to text consisting of multiple sentences. While in DisCoCat all meanings are fixed, in DisCoCirc each sentence updates meanings of words. In this paper we explore different update mechanisms for… ▽ More The DisCoCat model of natural language meaning assigns meaning to a sentence given: (i) the meanings of its words, and, (ii) its grammatical structure. The recently introduced DisCoCirc model extends this to text consisting of multiple sentences. While in DisCoCat all meanings are fixed, in DisCoCirc each sentence updates meanings of words. In this paper we explore different update mechanisms for DisCoCirc, in the case where meaning is encoded in density matrices---which come with several advantages as compared to vectors. Our starting point are two non-commutative update mechanisms, borrowing one from quantum foundations research, from Leifer and Spekkens. Unfortunately, neither of these satisfies any desirable algebraic properties, nor are internal to the meaning category. By passing to double density matrices we do get an elegant internal diagrammatic update mechanism. We also show that (commutative) spiders can be cast as an instance of the Leifer-Spekkens update mechanism. This result is of interest to quantum foundations, as it bridges the work in Categorical Quantum Mechanics (CQM) with that on conditional quantum states. Our work also underpins implementation of text-level natural language processing on quantum hardware (a.k.a. QNLP), for which exponential space-gain and quadratic speed-up have previously been identified. △ Less

Submitted 3 January, 2020; originally announced January 2020.

Comments: 24 pages, many figures

Functorial Question Answering

Authors: Giovanni de Felice, Konstantinos Meichanetzidis, Alexis Toumi

Abstract: Distributional compositional (DisCo) models are functors that compute the meaning of a sentence from the meaning of its words. We show that DisCo models in the category of sets and relations correspond precisely to relational databases. As a consequence, we get complexity-theoretic reductions from semantics and entailment of a fragment of natural language to evaluation and containment of conjuncti… ▽ More Distributional compositional (DisCo) models are functors that compute the meaning of a sentence from the meaning of its words. We show that DisCo models in the category of sets and relations correspond precisely to relational databases. As a consequence, we get complexity-theoretic reductions from semantics and entailment of a fragment of natural language to evaluation and containment of conjunctive queries, respectively. Finally, we define question answering as an NP-complete problem. △ Less

Submitted 14 September, 2020; v1 submitted 17 May, 2019; originally announced May 2019.

Comments: In Proceedings ACT 2019, arXiv:2009.06334

Journal ref: EPTCS 323, 2020, pp. 84-94

Evaluating the Jones polynomial with tensor networks

Authors: Konstantinos Meichanetzidis, Stefanos Kourtis

Abstract: We introduce tensor network contraction algorithms for the evaluation of the Jones polynomial of arbitrary knots. The value of the Jones polynomial of a knot maps to the partition function of a $q$-state Potts model defined as a planar graph with weighted edges that corresponds to the knot. For any integer $q$, we cast this partition function into tensor network form and employ fast tensor network… ▽ More We introduce tensor network contraction algorithms for the evaluation of the Jones polynomial of arbitrary knots. The value of the Jones polynomial of a knot maps to the partition function of a $q$-state Potts model defined as a planar graph with weighted edges that corresponds to the knot. For any integer $q$, we cast this partition function into tensor network form and employ fast tensor network contraction protocols to obtain the exact tensor trace, and thus the value of the Jones polynomial. By sampling random knots via a grid-walk procedure and computing the full tensor trace, we demonstrate numerically that the Jones polynomial can be evaluated in time that scales subexponentially with the number of crossings in the typical case. This allows us to evaluate the Jones polynomial of knots that are too complex to be treated with other available methods. Our results establish tensor network methods as a practical tool for the study of knots. △ Less

Submitted 13 September, 2019; v1 submitted 5 July, 2018; originally announced July 2018.

Comments: 4 pages, 4 figures

Journal ref: Phys. Rev. E 100, 033303 (2019)

Scrambling via Braiding of Nonabelions

Authors: Zhi-Cheng Yang, Konstantinos Meichanetzidis, Stefanos Kourtis, Claudio Chamon

Abstract: We study how quantum states are scrambled via braiding in systems of non-Abelian anyons through the lens of entanglement spectrum statistics. In particular, we focus on the degree of scrambling, defined as the randomness produced by braiding, at the same amount of entanglement entropy. To quantify the degree of randomness, we define a distance between the entanglement spectrum level spacing distri… ▽ More We study how quantum states are scrambled via braiding in systems of non-Abelian anyons through the lens of entanglement spectrum statistics. In particular, we focus on the degree of scrambling, defined as the randomness produced by braiding, at the same amount of entanglement entropy. To quantify the degree of randomness, we define a distance between the entanglement spectrum level spacing distribution of a state evolved under random braids and that of a Haar-random state, using the Kullback-Leibler divergence $D_{\mathrm{KL}}$. We study $D_{\mathrm{KL}}$ numerically for random braids of Majorana fermions (supplemented with random local four-body interactions) and Fibonacci anyons. For comparison, we also obtain $D_{\mathrm{KL}}$ for the Sachdev-Ye-Kitaev model of Majorana fermions with all-to-all interactions, random unitary circuits built out of (a) Hadamard (H), $π/8$ (T), and CNOT gates, and (b) random unitary circuits built out of two-qubit Haar-random unitaries. To compare the degree of randomness that different systems produce beyond entanglement entropy, we look at $D_{\mathrm{KL}}$ as a function of the Page limit-normalized entanglement entropy $S/S_{\mathrm{max}}$. Our results reveal a hierarchy of scrambling among various models --- even for the same amount of entanglement entropy --- at intermediate times, whereas all models exhibit the same late-time behavior. In particular, we find that braiding of Fibonacci anyons randomizes initial product states more efficiently than the universal H+T+CNOT set. △ Less

Submitted 27 November, 2018; v1 submitted 3 April, 2018; originally announced April 2018.

Comments: 11 pages, 9 figures. Revised texts, added a new appendix on finite-size effect

Journal ref: Phys. Rev. B 99, 045132 (2019)

Machine Learning Entanglement Freedom Or: How I Learned to Stop Worrying and Love Linear Regression

Authors: Samuel Spillard, Christopher J. Turner, Konstantinos Meichanetzidis

Abstract: Quantum many-body systems realise many different phases of matter characterised by their exotic emergent phenomena. While some simple versions of these properties can occur in systems of free fermions, their occurrence generally implies that the physics is dictated by an interacting Hamiltonian. The interaction distance has been successfully used to quantify the effect of interactions in a variety… ▽ More Quantum many-body systems realise many different phases of matter characterised by their exotic emergent phenomena. While some simple versions of these properties can occur in systems of free fermions, their occurrence generally implies that the physics is dictated by an interacting Hamiltonian. The interaction distance has been successfully used to quantify the effect of interactions in a variety of states of matter via the entanglement spectrum [Nat. Commun. 8, 14926 (2017), arXiv:1705.09983]. The computation of the interaction distance reduces to a global optimisation problem whose goal is to search for the free-fermion entanglement spectrum closest to the given entanglement spectrum. In this work, we employ techniques from machine learning in order to perform this same task. In a supervised learning setting, we use labelled data obtained by computing the interaction distance and predict its value via linear regression. Moving to a semi-supervised setting, we train an auto-encoder to estimate an alternative measure to the interaction distance, and we show that it behaves in a similar manner. △ Less

Submitted 2 March, 2018; originally announced March 2018.

Comments: 9 pages, 6 figures, conference "Quantum Techniques in Machine Learning"

Journal ref: International Journal of Quantum Information Vol. 16, No. 08, 1840002 (2018)

Free-fermion descriptions of parafermion chains and string-net models

Authors: Konstantinos Meichanetzidis, Christopher J. Turner, Ashk Farjami, Zlatko Papić, Jiannis K. Pachos

Abstract: Topological phases of matter remain a focus of interest due to their unique properties -- fractionalisation, ground state degeneracy, and exotic excitations. While some of these properties can occur in systems of free fermions, their emergence is generally associated with interactions between particles. Here we quantify the role of interactions in general classes of topological states of matter in… ▽ More Topological phases of matter remain a focus of interest due to their unique properties -- fractionalisation, ground state degeneracy, and exotic excitations. While some of these properties can occur in systems of free fermions, their emergence is generally associated with interactions between particles. Here we quantify the role of interactions in general classes of topological states of matter in all spatial dimensions, including parafermion chains and string-net models. Using the interaction distance [Nat. Commun. 8, 14926 (2017)], we measure the distinguishability of states of these models from those of free fermions. We find that certain topological states can be exactly described by free fermions, while others saturate the maximum possible interaction distance. Our work opens the door to understanding the complexity of topological models and to applying new types of fermionisation procedures to describe their low-energy physics. △ Less

Submitted 11 June, 2017; v1 submitted 28 May, 2017; originally announced May 2017.

Comments: 10 pages, 10 figures

Journal ref: Phys. Rev. B 97, 125104 (2018)

Optimal free descriptions of many-body theories

Authors: Christopher J. Turner, Konstantinos Meichanetzidis, Zlatko Papic, Jiannis K. Pachos

Abstract: Interacting bosons or fermions give rise to some of the most fascinating phases of matter, including high-temperature superconductivity, the fractional quantum Hall effect, quantum spin liquids and Mott insulators. While these systems are promising for technological applications, they also present conceptual challenges as they require approaches beyond mean-field and perturbation theory. Here we d… ▽ More Interacting bosons or fermions give rise to some of the most fascinating phases of matter, including high-temperature superconductivity, the fractional quantum Hall effect, quantum spin liquids and Mott insulators. While these systems are promising for technological applications, they also present conceptual challenges as they require approaches beyond mean-field and perturbation theory. Here we develop a general framework for identifying the free theory that is closest to a given interacting model in terms of their ground state correlations. Moreover, we quantify the distance between them using the entanglement spectrum. When this interaction distance is small, the optimal free theory provides an effective description of the low energy physics of the interacting model. Our construction of the optimal free model is non-perturbative in nature, thus it offers a new theoretical framework for investigating strongly correlated systems. △ Less

Submitted 26 April, 2017; v1 submitted 9 July, 2016; originally announced July 2016.

Comments: 7+2 pages, 4+1 figures

Journal ref: Nature Communications 8, 14926 (2017)

Anatomy of Fermionic Entanglement and Criticality in Kitaev Spin Liquids

Authors: Konstantinos Meichanetzidis, Mauro Cirio, Jiannis K. Pachos, Ville Lahtinen

Abstract: We analyse in detail the effect of non-trivial band topology on the area law behaviour of the entanglement entropy in Kitaev's honeycomb model. By map** the translationally invariant 2D spin model into 1D fermionic subsystems, we identify those subsystems responsible for universal entanglement contributions in the gapped phases and those responsible for critical entanglement scaling in the gaple… ▽ More We analyse in detail the effect of non-trivial band topology on the area law behaviour of the entanglement entropy in Kitaev's honeycomb model. By map** the translationally invariant 2D spin model into 1D fermionic subsystems, we identify those subsystems responsible for universal entanglement contributions in the gapped phases and those responsible for critical entanglement scaling in the gapless phases. For the gapped phases we analytically show how the topological edge states contribute to the entanglement entropy and provide a universal lower bound for it. For the gapless semi-metallic phases and topological phase transitions the identification of the critical subsystems shows that they fall always into the Ising or the XY universality classes. As our study concerns the fermionic degrees of freedom in the honeycomb model, qualitatively similar results are expected to apply also to generic topological insulators and superconductors. △ Less

Submitted 2 October, 2016; v1 submitted 11 May, 2016; originally announced May 2016.

Comments: 12+6 pages, 11+5 figures

Journal ref: Phys. Rev. B 94, 115158 (2016)

Diagnosing Topological Edge States via Entanglement Monogamy

Authors: Konstantinos Meichanetzidis, Jens Eisert, Mauro Cirio, Ville Lahtinen, Jiannis K. Pachos

Abstract: Topological phases of matter possess intricate correlation patterns typically probed by entanglement entropies or entanglement spectra. In this work, we propose an alternative approach to assessing topologically induced edge states in free and interacting fermionic systems. We do so by focussing on the fermionic covariance matrix. This matrix is often tractable either analytically or numerically a… ▽ More Topological phases of matter possess intricate correlation patterns typically probed by entanglement entropies or entanglement spectra. In this work, we propose an alternative approach to assessing topologically induced edge states in free and interacting fermionic systems. We do so by focussing on the fermionic covariance matrix. This matrix is often tractable either analytically or numerically and it precisely captures the relevant correlations of the system. By invoking the concept of monogamy of entanglement we show that highly entangled states supported across a system bi-partition are largely disentangled from the rest of the system, thus appearing usually as gapless edge states. We then define an entanglement qualifier that identifies the presence of topological edge states based purely on correlations present in the ground states. We demonstrate the versatility of this qualifier by applying it to various free and interacting fermionic topological systems. △ Less

Submitted 5 February, 2016; v1 submitted 13 November, 2015; originally announced November 2015.

Comments: 4+3 pages, 3+3 figures

Journal ref: Phys. Rev. Lett. 116, 130501 (2016)

Two-dimensional Chern semimetals on the Lieb lattice

Authors: Giandomenico Palumbo, Konstantinos Meichanetzidis

Abstract: In this work, we propose a new and simple model that supports Chern semimetals. These new gapless topological phases share several properties with the Chern insulators like a well-defined Chern number associated to each band, topologically protected edge states and topological phase transitions that occur when the bands touch each, with linear dispersion around the contact points. The tight-bindin… ▽ More In this work, we propose a new and simple model that supports Chern semimetals. These new gapless topological phases share several properties with the Chern insulators like a well-defined Chern number associated to each band, topologically protected edge states and topological phase transitions that occur when the bands touch each, with linear dispersion around the contact points. The tight-binding model, defined on the Lieb lattice with intra-unit-cell and suitable nearest-neighbor hop** terms between three different species of spinless fermions, supports a single Dirac-like point. The dispersion relation around this point is fully relativistic and the $3\times3$ matrices in the corresponding effective Hamiltonian satisfy the Duffin-Kemmer-Petiau algebra. We show the robustness of the topologically protected edge states by employing the entanglement spectrum. Moreover, we prove that the Chern number of the lowest band is robust with respect to weak disorder. For its simplicity, our model can be naturally implemented in real physical systems like cold atoms in optical lattices. △ Less

Submitted 30 June, 2015; originally announced June 2015.

Comments: 4 pages, 5 figures

Journal ref: Phys. Rev. B 92, 235106 (2015)