This paper presents a novel approach to quantum architecture search by integrating the techniques of ZX-calculus with Genetic Programming (GP) to optimize the structure of parameterized quantum circuits employed in quantum machine learning (QML). Recognizing the challenges in designing efficient quantum circuits for QML, we propose a GP framework that utilizes mutations defined via ZX-calculus, a graphical language that can simplify visualizing and working with quantum circuits. Our methodology focuses on evolving quantum circuits with the aim of enhancing their capability to approximate functions relevant in various machine learning tasks. We introduce several mutation operators inspired by the transformation rules of ZX-calculus and investigate their impact on the learning efficiency and accuracy of quantum circuits. The empirical analysis involves a comparative study where these mutations are applied to a diverse set of quantum regression problems, measuring performance metrics such as the percentage of valid circuits after the mutation, improvement of the objective, and circuit depth and width. Our results indicate that certain ZX-calculus-based mutations perform significantly better than others for quantum architecture search (QAS) in all metrics considered. They suggest that ZX-diagram-based QAS results in shallower circuits and more uniformly allocated gates than crude genetic optimization based on the circuit model. The code used for the numerical experiments is open source and can be found at TODO https://gitlab.cc-asp.fraunhofer.de/itwm-fm-qc-public/cvqa.

Quantum Neural Networks (QNNs) are a popular approach in Quantum Machine Learning. We analyze the frequency spectrum using Minkowski sums, which yields a compact algebraic description and permits explicit computation. Using this description, we prove several maximality results for broad classes of QNN architectures. Under some mild technical conditions we establish a bijection between classes of models with the same area $$A:=R\cdot L$$ that preserves the frequency spectrum, where R denotes the number of qubits and L the number of layers, which we consequently call spectral invariance under area-preserving transformations. With this we explain the symmetry in R and L in the results often observed in the literature and show that the maximal frequency spectrum depends only on the area $$A=RL$$ and not on the individual values of R and L . Moreover, we collect and extend existing results and specify the maximum possible frequency spectrum of a QNN with an arbitrary number of layers as a function of the spectrum of its generators. In the case of arbitrary dimensional generators, where our two introduced notions of maximality differ, we extend existing Golomb ruler based results and introduce a second novel approach based on a variation of the turnpike problem, which we call the relaxed turnpike problem. We clarify comprehensively how the generators of a QNN must be chosen in order to obtain a maximal frequency spectrum for a given area A , thereby contributing to a deeper theoretical understanding. However, our numerical experiments show that trainability depends not only on $$A = RL$$ , but also on the choice of ( R , L ), so that knowledge of the maximum frequency spectrum alone is not sufficient to ensure good trainability. While the maximality analysis limits the space of attainable frequency spectra and characterizing these spectra helps to understand the effect of the ansatz choice, it does not by itself provide sufficient criteria for ansatz selection, and further considerations are required.

Federated clustering, an integral aspect of federated machine learning, enables multiple data sources to collaboratively cluster their data, maintaining decentralization and preserving privacy. In this paper, we introduce a novel federated clustering algorithm named Dynamically Weighted Federated k-means (DWF k-means) based on Lloyd's method for k-means clustering, to address the challenges associated with distributed data sources and heterogeneous data. Our proposed algorithm combines the benefits of traditional clustering techniques with the privacy and scalability benefits offered by federated learning. The algorithm facilitates collaborative clustering among multiple data owners, allowing them to cluster their local data collectively while exchanging minimal information with the central coordinator. The algorithm optimizes the clustering process by adaptively aggregating cluster assignments and centroids from each data source, thereby learning a global clustering solution that reflects the collective knowledge of the entire federated network. We address the issue of empty clusters, which commonly arises in the context of federated clustering. We conduct experiments on multiple datasets and data distribution settings to evaluate the performance of our algorithm in terms of clustering score, accuracy, and v-measure. The results demonstrate that our approach can match the performance of the centralized classical k-means baseline, and outperform existing federated clustering methods like k-FED in realistic scenarios.