The field of quantum machine learning (QML) explores how quantum computers can be used to more efficiently solve machine learning problems. As an application of hybrid quantum-classical algorithms, it promises a potential quantum advantages in the near term. In this thesis, we use the ZXW-calculus to diagrammatically analyse two key problems that QML applications face. First, we discuss algorithms to compute gradients on quantum hardware that are needed to perform gradient-based optimisation for QML. Concretely, we give new diagrammatic proofs of the common 2- and 4-term parameter shift rules used in the literature. Additionally, we derive a novel, generalised parameter shift rule with 2n terms that is applicable to gates that can be represented with n parametrised spiders in the ZXW-calculus. Furthermore, to the best of our knowledge, we give the first proof of a conjecture by Anselmetti et al. by proving a no-go theorem ruling out more efficient alternatives to the 4-term shift rule. Secondly, we analyse the gradient landscape of quantum ansätze for barren plateaus using both empirical and analytical techniques. Concretely, we develop a tool that automatically calculates the variance of gradients and use it to detect likely barren plateaus in commonly used quantum ansätze. Furthermore, we formally prove the existence or absence of barren plateaus for a selection of ansätze using diagrammatic techniques from the ZXW-calculus.
The field of quantum machine learning (QML) explores how quantum computers can be used to more efficiently solve machine learning problems. As an application of hybrid quantum-classical algorithms, it promises a potential quantum advantages in the near term. In this thesis, we use the ZXW-calculus to diagrammatically analyse two key problems that QML applications face. First, we discuss algorithms to compute gradients on quantum hardware that are needed to perform gradient-based optimisation for QML. Concretely, we give new diagrammatic proofs of the common 2- and 4-term parameter shift rules used in the literature. Additionally, we derive a novel, generalised parameter shift rule with 2n terms that is applicable to gates that can be represented with n parametrised spiders in the ZXW-calculus. Furthermore, to the best of our knowledge, we give the first proof of a conjecture by Anselmetti et al. by proving a no-go theorem ruling out more efficient alternatives to the 4-term shift rule. Secondly, we analyse the gradient landscape of quantum ansätze for barren plateaus using both empirical and analytical techniques. Concretely, we develop a tool that automatically calculates the variance of gradients and use it to detect likely barren plateaus in commonly used quantum ansätze. Furthermore, we formally prove the existence or absence of barren plateaus for a selection of ansätze using diagrammatic techniques from the ZXW-calculus.
Recent advances in Machine Learning have transformed numerous industrial sectors, yet classical paradigms face fundamental limitations: rapidly growing data volumes, rising computational costs, significant energy consumption, and the physical scaling limits of conventional hardware architectures. Quantum computing has emerged as a promising computational paradigm to address these challenges, giving rise to the field of Quantum Machine Learning (QML). In this thesis, the theoretical foundations of QML are investigated, with a focus on near-term and future practical applications. Three central challenges are addressed: the trainability of variational quantum circuits, their expressivity, and their resistance to efficient classical simulation. The trainability of Hamming-weight preserving variational quantum circuits is first studied, and theoretical guarantees are established that resolve an open conjecture on the absence of barren plateaus for this circuit family. Subspace-preserving QML algorithms are then introduced, including photonic circuits and quantum convolutional neural networks, and are designed to mimic classical ML subroutines while offering polynomial quantum advantage. Finally, variational quantum circuits are analyzed as quantum Fourier models, and a framework is derived to jointly characterize expressivity and trainability, from which conditions are obtained under which quantum models provably separate from their classical counterparts. These contributions are intended to advance the theoretical roadmap for harnessing near-term and future quantum technologies in real-world applications.
Quantum machine learning sits at the intersection of two paradigm-shifting technologies: quantum computing and deep learning. By exploiting quantum mechanical phenomena – superposition, entanglement, and interference – QML promises exponential or quadratic speedups over classical algorithms for certain learning tasks, as well as the ability to model quantum data natively. However, the path to practical quantum advantage remains contested, constrained by noisy intermediate-scale quantum (NISQ) hardware, limited qubit counts (50–1,000), coherence times (50–500 μs), and high gate error rates (10⁻³–10⁻⁴). This paper provides a rigorous, technically deep survey of QML: mathematical foundations (Hilbert spaces, unitary evolution, measurement, quantum circuits), canonical algorithms (quantum kernel methods, variational quantum circuits (VQCs), quantum neural networks (QNNs), QSVMs, quantum generative adversarial networks (QGANs), encoding strategies (angle, amplitude, basis, and Hamiltonian encoding), optimization landscapes (barren plateaus, parameter shift rules, ansatz design), hardware aware implementation on superconducting (IBM, Google), trapped ion (IonQ), and neutral atom (Pasqal) platforms, empirical benchmarks on near term devices for classification, generative modeling, and quantum chemistry, and pathways to fault tolerant quantum machine learning (FTQML) with error correction (surface codes, logical qubits). Researchers critically assess claims of quantum advantage, identify scenarios where QML may outperform classical ML (small data, high-dimensional feature spaces from quantum systems, kernel estimation), and propose concrete evaluation metrics (quantum-classical cross-validation, resource estimation).
An interesting approach to using noisy intermediate-scale quantum (NISQ) devices is hybrid classical-quantum machine learning (QML). In these methods, classical processors handle optimisation and large-scale computation, while quantum hardware is devoted to tasks like feature mapping, nonlinear transformations, or kernel evaluation. Practical near-term demonstrations are made possible by this division of labour, which also mitigates existing hardware restrictions. In specialised fields like molecular modelling, materials discovery, and small-sample learning issues, recent advancements in variational quantum circuits, hybrid neural networks, and quantum kernel techniques have produced promising outcomes. However, scalability and wider applicability are still hampered by enduring issues including noise, barren plateaus, and the expense of repeated measurements. Long-term developments will require fault tolerance, logical qubits, and established software infrastructures, whereas near-term success depends on noise-aware algorithm design, repeatable experimental benchmarks, and enhanced error-mitigation strategies. When taken as a whole, these advancements show a viable path to achieving quantum advantage in machine learning. Quanta 2026; 15: 1–12.
Given the rising popularity of quantum machine learning (QML), it is important to develop techniques that effectively simplify commonly adopted families of parameterised quantum circuits (commonly known as ansätze). This thesis pioneers the use of diagrammatic techniques to reason with QML ansätze. We take commonly used QML ansätze and convert them to diagrammatic form and give a full description of how these gates commute, making the circuits much easier to analyse and simplify. Furthermore, we leverage a combinatorial description of the interaction between CNOTs and phase gadgets to analyse a periodicity phenomenon in layered ansätze and also to simplify a class of circuits commonly used in QML.
The rapid advancement of quantum computing hardware and software has ushered in a new era for computational science, promising to tackle problems that are intractable for classical computers. Parallelly, machine learning (ML) has revolutionized data analysis and artificial intelligence. The confluence of these two fields, known as Quantum Machine Learning (QML), aims to harness the principles of quantum mechanics-such as superposition, entanglement, and interference-to enhance and redefine classical machine learning algorithms. This survey provides a comprehensive overview of the burgeoning field of QML. We begin by elucidating the fundamental quantum concepts that underpin QML approaches. We then present a detailed taxonomy and analysis of prominent QML algorithms, categorizing them into quantum-enhanced classical models and fully quantum models. Key families of algorithms discussed include Quantum Support Vector Machines (QSVM), Quantum Neural Networks (QNNs), and Quantum Generative Adversarial Networks (QGANs). For each, we explain the theoretical quantum advantage, the circuit implementation, and the current limitations. Furthermore, we delve into the critical challenges facing the practical realization of QML, including the pervasive issue of noise in Noisy Intermediate-Scale Quantum (NISQ) devices, the problem of barren plateaus in training quantum circuits, and the complexities of efficient data encoding (quantum feature maps). We also present a small-scale experimental simulation of a variational quantum classifier on a standardized dataset, demonstrating its principle and comparing its performance with a classical counterpart. Finally, the paper discusses the future trajectory of QML, highlighting the importance of error mitigation, hybrid quantum-classical architectures, and the development of quantum-specific learning inductive biases. We conclude that while fault-tolerant quantum computers remain on the horizon, QML represents a paradigm shift with the potential to deliver profound computational advantages in the coming decades.
ZX-calculus has proved to be a useful tool for quantum technology with a wide range of successful applications. Most of these applications are of an algebraic nature. However, other tasks that involve differentiation and integration remain unreachable with current ZX techniques. Here we elevate ZX to an analytical perspective by realising differentiation and integration entirely within the framework of ZX-calculus. We explicitly illustrate the new analytic framework of ZX-calculus by applying it in context of quantum machine learning for the analysis of barren plateaus.