## A nalysis of P arameterized Q uantum C ircuits : on T he C onnection B etween E xpressibility and T ypes of Q uantum G ates

P reprint , compiled A ugust 12, 2024

Yu Liu , Kentaro Baba , Kazuya Kaneko , Naoyuki Takeda , Junpei Koyama , and Koichi Kimura 1 2 2 2 1 1

1 Quantum Laboratory, Fujitsu Limited 2 Mizuho-DL Financial Technology

## A bstract

Expressibility is a crucial factor of a Parameterized Quantum Circuit (PQC). In the context of Variational Quantum Algorithms (VQA) based Quantum Machine Learning (QML), a QML model composed of highly expressible PQC and su ffi cient number of qubits is theoretically capable of approximating any arbitrary continuous function. While much research has explored the relationship between expressibility and learning performance, as well as the number of layers in PQCs, the connection between expressibility and PQC structure has received comparatively less attention. In this paper, we analyze the connection between expressibility and the types of quantum gates within PQCs using a Gradient Boosting Tree model and SHapley Additive exPlanations (SHAP) values. Our analysis is performed on 1,615 instances of PQC derived from 19 PQC topologies, each with 2-18 qubits and 1-5 layers. The findings of our analysis provide guidance for designing highly expressible PQCs, suggesting the integration of more RX or RY gates while maintaining a careful balance with the number of CNOT gates. Furthermore, our evaluation o ff ers an additional evidence of expressibility saturation, as observed by previous studies.

K eywords Expressibility, Parameterized Quantum Circuit, Quantum Machine Learning, Variational Quantum Algorithms, Noisy Intermediate-Scale Quantum

## 1 I ntroduction

The training process for these models is carried out by tuning a selected set of parameters in the PQC.

Ever since Quantum Machine Learning (QML) was first introduced by [1], it has been receiving increasing attention in recent years [2, 3]. The challenges in harnessing the quantum benefits of QML algorithms for practical applications arise from the noise and size constraints inherent in current quantum devices. One of the most promising candidates for achieving 'quantum supremacy' with the use of the 50-100 qubits in Noisy Intermediate-Scale Quantum (NISQ) devices [4] is the QML based on Variational Quantum Algorithms (VQAs) [5].

In the VQA framework, computation is conducted through a synergistic approach that integrates quantum and classical mechanisms. In the quantum phase, a carefully constructed Parameterized Quantum Circuit (PQC) generates a tunable parameterized wavefunction. This wavefunction is specifically designed to reconfigure the target problem in alignment with the encoded input states. The suitability of trial wavefunction for the target problem is evaluated by measuring the physical features of the PQC, such as the energy expectation, which serve as a cost metric. Then, guided by the cost metric, the parameters of the PQC are optimized during the classical phase to enhance the accuracy of the wavefunction. This hybrid loop of quantum and classical processes is repeated until predetermined criteria are met, such as the convergence of cost metric value or the iteration count of the loop reaching a specified threshold. Through this iterative process, the refinement of VQA's performance is expected, ensuring its convergence towards the desired solution. VQA-based QML models are generally categorized into explicit quantum models and implicit kernel models [6, 7]. This taxonomy includes quantum neural networks [8, 9], quantum kernel methods [10], and quantum data-reuploading algorithms [11].

While it remains uncertain whether QML will ultimately outperform classical machine learning algorithms for real-world applications in the NISQ era, some researchers have indicated that VQA-based QML holds the potential to provide stronger representational power than classical methods, including highly successful deep neural networks [12, 13, 14, 15, 16].

Since PQC holds a central position in VQA-based QML models, developing a novel PQC or selecting an established one from existing studies, such as [17, 18, 19, 20], that fits the target problem is an essential first step in making QML model successful.

Expressibility is widely adopted as a performance metric for guiding the development and selection of PQCs. It is known that a QML model is theoretically capable of approximating any arbitrary continuous function theoretically, as postulated by the universal approximation property [21]. A key point of this property is that the proof assumes a high expressive PQC (along with other assumption of su ffi cient resources such as an ample number of qubits). Numerous e ff orts have been undertaken to quantify expressibility using a variety of concepts, including divergence of fidelity and Haar distribution [22, 23], Fourier series transformation [24], and structure geometry [25].

Recent studies have investigated the relationship between expressibility and the performance of QML. In [26], Hubregtsen et al. present their observations through a numerical analysis on 19 PQC topologies with configurations of 1 and 2 layers, revealing a strong correlation between classification accuracy and expressibility, and a weak correlation with entangling capability. These studies collectively contribute to a comprehensive understanding of expressibility as a pivotal factor in the design and

P reprint - A nalysis of P arameterized Q uantum C ircuits : on T he C onnection B etween E xpressibility and T ypes of Q uantum G ates 2

optimization of PQCs for quantum machine learning applications. [27] proposes an alternating layered ansatz, a specialized hardware-e ffi cient structure, aiming to enable the coexistence of expressibility and trainability within a PQC. Further insights into expressibility are provided in [28], where the relationship between expressibility and overfitting in quantum learning is investigated on a hardware-e ffi cient ansatz.

While a lot of research has delved into exploring the relationship between expressibility and learning performance or the number of layers in PQC, there has been limited focus directed towards understanding the connection between expressibility and the types of quantum gates within PQCs. In this study, we conduct an analysis using SHapley Additive exPlanations (SHAP) values to investigate the relationship between expressibility and the types of quantum gates employed within 19 representative PQC topologies. We decompose these PQCs into elementary gates to separate the rotating and entangling functionalities. Subsequently, we generate 1,615 PQC instances by varying the number of qubits from 2 to 18 and the number of layers from 1 to 5. We then compute the KL expressibility using a quantum circuit simulator and establish a Gradient Boost Tree (GBT) model to predict Kullback-Leibler expressibility (referred to as KL expressibility in rest of the paper) with 6 types of quantum gates in PQCs. By utilizing the GBT model, we calculate the SHAP values. Finally, we evaluate the connection between expressibility and the types of quantum gates through an analysis of the SHAP values.

The remainder of this paper is structured as follows: Section 2 provides an overview of expressibility and SHAP values. Section 3 outlines the specific PQCs used in our evaluation. Section 4 details the computation of KL expressibility. The SHAP values, computed based on a Gradient Boost Tree (GBT) model, are discussed in Section 5. In Section 6, we evaluate the correlation between expressibility and the types of quantum gates using the SHAP values obtained. Finally, Section 7 concludes our findings in this work.

## 2 P reliminaries

## 2.1 Expressibility

Quantum computing provides a distinct advantage in e ffi ciently processing exponentially growing data by utilizing a quantum system that expands polynomially within Hilbert space. The concept of 'expressibility' refers to the ability of a PQC to explore the Hilbert space. Numerous e ff orts have been made to quantify expressibility through various principles, including divergence of Haar distribution [22], Fourier transformation [24], and graph neural networks [25]. Among these, the expressibility, as quantified by the Kullback-Leibler divergence between the fidelity distribution of randomly sampled PQC and the Haar distribution, has gained widespread acceptance [22, 23, 26, 28, 27]. In this paper, we adopt Kullback-Leibler divergence-based KL expressibility as well.

In [22], the expressibility is defined as the Hilbert-Schmidt distance between two distributions from a state t -design with respect to Haar measure: the uniformly distributed Haar distribution and the distribution generated by PQC C across the entire parameter space Θ as given in (1). Here, ∥ · ∥ HS denotes the square of its Hilbert-Schmidt norm, R Haar denotes the integration of state | ψ ⟩ distributed over the Haar measure, and R Θ denotes the integration of state | ψθ ⟩ that can be reached by PQC C within the parameter space Θ .

$$\underset { \dots } { \longrightarrow } \underset { H a a r } { \overset { \infty } { \longrightarrow } } \sinh \chi \\ \dots$$

Following the t -th generalized frame potential [29], the expressibility can be represented as the deviation between two frame potentials, F ( ) t Haar and F ( ) t C as shown in (2). Here F ( ) t Haar denotes the t -th frame potential with respect to Haar measure F ( ) t Haar = R Haar R Haar | ⟨ ψψ | ′ ⟩ | 2 t d ψ ψ d ′ where N = 2 n for n -qubit system, and F ( ) t C = R Φ R Θ | ⟨ ψϕ ψθ | ⟩ | (2 ) t d ϕ θ d .

$$\mathcal { A } ^ { ( t ) } ( C ) = \mathcal { F } _ { C } ^ { ( t ) } - \mathcal { F } _ { H a a r } ^ { ( t ) }$$

The frame potential can be represented as the t -th moment of the distribution of fidelity F , where F = | ⟨ ψϕ ψθ | ⟩ | 2 . The deviation of frame potential, as shown in (2), is captured as KL expressibility using the Kullback-Leibler divergence as shown in (3).

$$E x p r = D _ { K L } ( P _ { C } ( F ) \| P _ { H a a r } ( F ) ) \text{ \quad \ \ } ( 3 )$$

The probability density function of fidelities under Haar distribution is analytically known as : PHaar ( F ) = ( N -1)(1 -F N ) -2 , where N is dimension of Hilbert space. PC ( F ) in (3) denotes the fidelity distribution over parameter space Θ . In this study, this distribution is estimated through a numerical histogram of fidelities. Specifically, the fidelities in the histogram are sampled by computing the fidelity of a PQC using a set of uniformly distributed θ values from the parameter space Θ . Notably, a smaller value of KL expressibility indicates that the fidelity distribution is closer to Haar distribution, resulting the higher expressibility for the PQC.

## 2.2 SHapley Additive exPlanations (SHAP)

Complex learning models, e.g. gradient boost tree, deep neural networks, make it di ffi cult to explain the connections between input feature x and prediction value f ( x ). Additive Feature Attribution Methods (AFAMs) aim to address this challenge by approximating the model's predictions with a linear additive explain model (4) of the simplified features x ′ , where x ′ maps to the original features x by a mapping function x = hx ( x ′ ). By simplifying the original features into binary values, indicating the presence or absence of a feature, AFAMs provide a simple and intuitive way to understand how each feature contributes to the model's prediction for a specific instance.

$$g ( \mathbf x ^ { \prime } ) = \phi _ { 0 } + \sum _ { i = 1 } ^ { M } \phi _ { i } x _ { i } ^ { \prime } \quad \quad \quad ( 4 )$$

where x ′ ∈ { 0 1 , } M , ϕ i ∈ R and M is the number of simplified features.

SHAP is proposed in [30] as one of the sophisticated and widely used AFAMs. SHAP adopts Shapley values (5) [31] rooted from cooperative game theory to fairly distribute the contribution of

P reprint - A nalysis of P arameterized Q uantum C ircuits : on T he C onnection B etween E xpressibility and T ypes of Q uantum G ates

̶

![image](https://ac.marcodsn.me/arxiv-markdown-images/2408.01036v2-figure-6ee1d8b9-1c66-4891-b498-1497ff7640d5.jpg)

̶

̶

̶

Figure 1: Elementary decomposition of (a) CRX, (b) CRY and (c) CRZ gates

input feature set x = { x 1 , x 2 , · · · , xM } to a prediction across all possible feature combinations.

and 2-qubit CNOT gates, based on the decomposition method proposed in [38], so as to separately investigate the impact on expressibility of parameterized rotation and entanglement.

$$\phi _ { i } = \sum _ { S \subseteq x \{ x _ { i } \} } \frac { | S |! ( M - | S | - 1 )! } { M! } [ f ( S \cup \{ x _ { i } \} ) - f ( S ) ] \quad ( 5 ) \quad \text{Most qu} \\ \quad \text{the oper} \\ \text{into ele}$$

Yong et al. have proved that Shapley value is capable of continuously satisfying three properties: local accuracy, missingness and consistency [30, 32]. Following the property of local accuracy, the prediction of input feature vector x ( ) i for the i -th instance can be exactly explained by a additive model as shown in (6). In this model, SHAP value ϕ ( ) i j indicates the impact on prediction ˆ ( f x ( ) i ) with the presence (or absence) of j -th feature, and ϕ 0 is the baseline of the prediction, e.g. ϕ 0 = E f ( ( x )).

$$\hat { f } ( \mathbf x ^ { ( i ) } ) = \phi _ { 0 } + \sum _ { j = 1 } ^ { M } \phi _ { j } ^ { ( i ) } & & ( 6 ) \begin{pmatrix} \cos _ { \mathbf F } \\ \mathbf e a c h \\ P Q C \\ \alpha \end{pmatrix}.$$

In practice, SHAP values can be computed using various methods, such as the Shapley sampling values, Kernel SHAP [30], or Tree SHAP [33], depending on the nature of the underlying model. Currently, the utilization of SHAP value to interpret the contributions of each input feature in complex models is prevalent across domains such as finance [34, 35], healthcare [36], and energy [37]. In this study, we employ SHAP values to analyze the impact of various quantum gates on the expressibility of PQCs.

*

## 3 PQC s composed of elementary quantum gates

In this paper, we focus on analyzing the connection between expressibility and the quantum gates of various PQCs, considering factors such as PQC topology, qubit count, and layer depth. To conduct an unbiased evaluation, the set of evaluated PQCs needs to cover a broad range of topologies applied in QML, including all relevant types of quantum gates of interest.

The PQC package, as outlined in [22] based on previous research, comprises 19 PQC topologies with 9 distinct geometries and 8 di ff erent gate types. In this work, we adopt this PQC package and further decompose the 2-qubit controlled parameterized rotation gate into 1-qubit parameterized rotation gates

Most quantum computers execute computations actually through the operations of elementary quantum gates. The decomposition into elementary gates provides a clearer representation of the circuit functionalities, facilitating deeper analysis of the connection between expressibility and various types of quantum gates.

Fig.1 illustrates the detailed decomposition from the controlled parameterized rotation gate to elementary parameterized rotation gates and CNOT gates. After decomposition, the combined functionalities of rotation and entanglement provided by the CRX and CRZ gates is separately provided by the RY, RZ, and CNOT gates, respectively.

Table 1 summarizes the gate composition before and after decomposition to the elementary gates for 19 PQC topologies, each comprising 4 qubits and a single layer. These decomposed PQC topologies are listed in the APPENDIX. The entanglement e ff ects introduced by CRX and CRZ operations are concentrated solely on the CNOT gate after decomposition, resulting in a significant increase from 14 to 146 in the number of CNOT gates. To decompose the CRX gate into elementary gates, 66 fixed-angle ( ± π 2 ) z-rotation gates (FRZs) are newly added. The variety of quantum gate types in the 19 PQCs has been reduced from 8 to 7, or 6 if we exclude the FRZ gate, which has no trainable parameters. Another reason for the exclusion is due to the high correlation between the FRZ gate and the RY gate, as demonstrated by a correlation coe ffi cient of 0.99, which we will illustrate later.

## 4 KL E xpressibility C omputation

By the definition in [22], KL expressibility can be achieved by computing the KL divergence between the pure Haar distribution PHaar ( F ) and the fidelity distribution PC ( F ) of PQC from numerical histogram as shown in (3).

In this work, we compute the fidelity F = | ⟨ ψϕ ψθ | ⟩ | 2 of a PQC through quantum simulation of ⟨ 0 | U C † ( ϕ ) UC ( θ ) | 0 ⟩ with the initial state | 0 ⟩ ⊗ n . Fig.2 shows the diagram of quantum circuit for the simulation, where UC ( θ ) and UC ( ψ ) are the PQCs corresponding to parameter set θ, ψ respectively. These parameters are randomly sampled from the parameter space Θ . In the simula-

P reprint - A nalysis of P arameterized Q uantum C ircuits : on T he C onnection B etween E xpressibility and T ypes of Q uantum G ates

Table 1: Summary of the number of gates before and after decomposition to the elementary gates for 19 PQC topologies, each comprising 4 qubits and 1 layer.

| Gate types   |   RX |   RY |   RZ |   H |   CZ |   CNOT |   CRX |   CRY |   CRZ |   FRZ |
|--------------|------|------|------|-----|------|--------|-------|-------|-------|-------|
| Before       |   68 |   44 |   76 |   4 |   10 |     14 |    33 |     0 |    33 |     0 |
| After        |   68 |  110 |  142 |   4 |   10 |    146 |     0 |     0 |     0 |    66 |

![image](https://ac.marcodsn.me/arxiv-markdown-images/2408.01036v2-figure-45dbd2e3-e5a8-4655-9a65-ed8997d42a51.jpg)

Figure 2: Fidelity computation diagram

![image](https://ac.marcodsn.me/arxiv-markdown-images/2408.01036v2-figure-5aa4d057-c275-4869-819b-fb9e35d88039.jpg)

Figure 3: Variance of fidelity with increasing sampling size for the PQC with id = 6, composed of 4, 6, and 8 qubits in 1 layer

![image](https://ac.marcodsn.me/arxiv-markdown-images/2408.01036v2-figure-9c2278f2-1c2d-4aaa-b570-be40f0ef3daf.jpg)

tion, the fidelity F is determined as the probability of the output state | ψ ⟩ being identical to | 0 ⟩ ⊗ n for an n -qubit PQC.

To mitigate the divergence bias arising from the numerical sampling of the fidelity histogram, we have set the number of sampling circuit pairs to 20,000. The final KL expressibility value is then obtained by computing the mean value across 10 iterations. Fig. 3 depicts the standard deviation of KL expressibility with increasing sampling size for the PQC with id = 6, composed of 4, 6, and 8 qubits in a single layer. This setting appears to yield a more robust and reliable estimation of fidelity. In this work, we process the iterations in parallel to accelerate the computation.

Our objective in this study is to evaluate the connection between expressibility and the types of quantum gates in PQCs. To achieve this, we require more variation in expressibility across di ff erent quantum gate types. Previous studies have reported the saturation of expressibility, causing expressibility to concentrate around a fixed value (typically close to zero) under specific conditions, such as increasing layers [22] or the upper bound of Vapnik-Chervonenkis dimension [28]. To mitigate the saturation e ff ect, we impose a constraint on the number of layers, limiting it a maximum of 5. Additionally, we individually restrict the total number of parameters to a maximum of 2 n because the number of parameters is directly proportional to the number of layers. The latter restriction is also considered to maintain a quantum dimensional advantage over classical computation.

Figure 4: Histogram of KL expressibility data under the constraint conditions mentioned in the main text

We compute expressibility data for analysis using 1,615 PQCs composed of elementary quantum gates. These PQCs are constructed by combining 19 PQC topologies, with 17 qubit configurations ranging from 2 to 18 qubits, and 5 layers ranging from 1 to 5. To assess fidelity, we conduct simulations using the statevector-based simulator Qulacs [39], allowing us to disregard errors caused by shot sampling. Fig.4 illustrates the histogram of expressibility data. We observe an further 32% decrease in the count of expressibility values falling within the 0-bin when applying the second constraint compared to the first constraint alone.

## 5 SHAP V alues of E xpressibility with the GBT M odel

## 5.1 Types of elementary quantum gates

As depicted in Table 1, there are 7 distinct types of elementary quantum gates within the 19 basic PQC topologies. The correlation of gate number for 1,615 PQC instances generated based on these topologies among the 7 types of elementary quantum gates is illustrated in Fig.5.

From the figure, we observe that the parameterized Y-rotation gate (RY) exhibits a strong correlation with the fixed angle

Figure 5: Pearson's correlation of gate number across di ff erent types of elementary quantum gates

![image](https://ac.marcodsn.me/arxiv-markdown-images/2408.01036v2-figure-13889af4-af6b-40c5-b2b4-017abfe0f41a.jpg)

Figure 6: Prediction of KL expressibility values using (a) GBT and (b) LASSO models on the hold-out test dataset. The horizontal axis represents the true values, and the vertical axis represents the model's predicted values. The straight line indicates y = x.

![image](https://ac.marcodsn.me/arxiv-markdown-images/2408.01036v2-figure-6c5d9bfd-6f6b-4e6d-89ad-3eb50dc8de1e.jpg)

Z-rotation gate (FRZ), with a high correlation coe ffi cient of 0.99. This strong correlation arises because all FRZ gates in the 1,615 PQC instances are introduced from the decomposition of the CRX gate, as the majority of RY gates are. Since we can combine the impact of the FRZ gate on expressibility with that of the RY gate through a linear combination, and the FRZ gate has no tunable parameter, we exclude the FRZ gate from this analysis. We then characterize the construction of PQCs using the normalized count of 6 types of quantum elementary gates in this study: the parameterized X-rotation (RX) gate, parameterized Y-rotation (RY) gate, parameterized Z-rotation (RZ) gate, H gate, CNOT gate, and controlled-Z (CZ) gate.

## 5.2 Gradient boost tree model

Intuitively, the linear model is one of the best models for interpreting the impact of features on an objective, assuming that the model accurately represents the objective. However, in most complex cases, the linear model exhibits poor accuracy in predicting the objective. For example, as shown in Fig.6, when

Figure 7: Beeswarm summary plot illustrating SHAP values of all the PQC instances across six elementary gates

![image](https://ac.marcodsn.me/arxiv-markdown-images/2408.01036v2-figure-97cdd976-7c4b-4169-8be4-c7702a8c06c1.jpg)

predicting KL expressibility using the features of PQCs in this study, the linear model performs low accuracy.

GBT models [40] are powerful tools in the machine learning, o ff ering high predictive accuracy and robustness across various domains. The fundamental principle behind GBT models is the iterative construction of an ensemble of decision trees, where each subsequent tree corrects the errors of the previous ones. This iterative learning process, coupled with gradient descent optimization, enables GBT models to e ff ectively capture complex patterns to produce accurate predictions. Furthermore, the computation of SHAP value can be significantly accelerated with using treeSHAP algorithm [33] for tree model. Among the various implementations of GBT models, LightGBM [41] enhance training speed, memory e ffi ciency and predictive accuracy compared to traditional GBT algorithms.

In this study, we employ LightGBM as the predication model of expressibility. We model the KL expressibility data over the normalized number of 6 types of elementary quantum gates that appear in the PQCs. For the comparison, we also establish a LASSO model using the same data. Fig.6 illustrates the comparison of prediction accuracy for the hold-out test dataset, which comprises 10% of the entire dataset, randomly selected from outside the training set. We can see that the GBT model exhibits higher accuracy than the LASSO model. Specifically, we obtain the coe ffi cient of determination R 2 of 0.86 for the GBT model, and 0.21 for the linear LASSO model.

## 5.3 SHAP values

The SHAP values of all expressibility instances are then computed based on the predicative GBT model we built. Fig.7 shows a beeswarm plot to display an information-dense summary of how various gates impact expressibility.The horizontal axis presents the impact of each gate on expressibility, with positive values indicating weaker expressibility and lower values indicating stronger expressibility, relative to the average value ϕ 0 . A wider range of the SHAP values indicates a greater influence on expressbility. Intuitively, we observe from this summary plot that CNOT, RX and RY gates trend to have a more significant impact than RZ, H and CZ gates.

Additionally, from Fig.7, it can be observed that a smaller number of gates (indicated by colder colors) tends to contribute positively to the average, while a larger number (indicated by warmer colors) of gates tends to contribute negatively. This implies that if we aim for a highly expressible PQC (low expressibility value), it is worth to consider increasing the number

Figure 8: Dependence of SHAP values on the number of gates for each gate type

![image](https://ac.marcodsn.me/arxiv-markdown-images/2408.01036v2-figure-56e38f60-c712-4b27-beef-d60a16b0930a.jpg)

of parameterized gates, typically by increasing the number of layers.

## 6 T he connection between expressibility and types of quantum gates

The SHAP values relative to the number of gates for each type of gate are depicted in Fig.8. We rea ffi rm the trend that expressibility becomes stronger (indicated by smaller SHAP values in the figure) as the number of quantum gates increases, which is also depicted in Fig.7. Furthermore, we observe that the SHAP values for all gate types eventually saturate at certain values as the number of gates increases su ffi ciently. This observation provides additional evidence of the expressibility saturation mentioned in [22] and [28], considering that the number of gates is proportional to the number of layers in the PQC. Moreover, as the number of quantum gates increases, the SHAP values reveal a decreasing or saturating trend that varies across di ff erent types of gates. This suggests that di ff erent types of quantum gates influence expressibility di ff erently.

Fig.9(a) illustrates the mean of absolute SHAP values for each type of gate across all PQC instances, reflecting the average effect of di ff erent quantum gates on expressibility. It is evident that CNOTgate exhibits the most significant impact on expressibility, followed by the RX gate which has a slightly weaker influence. Fig. 9(b) displays the mean SHAP values of the quantum gates. Beyond Fig. 9(a), which presents the average absolute strength of the impact on expressibility, Fig. 9(b) provides further perspective on the average influence on enhancing or diminishing expressibility by considering the direction of the impact. We observe that the CNOT gate tends to weaken expressibility relative to the average level, while rotational gates such as RX, RY, and RZ tend to strengthen expressibility. Among the three types of rotational gates, the RX gate appears to have the strongest e ff ect in enhancing expressibility, followed by the RY gate. The RZ gate exhibits the weakest e ff ect in enhancing expressibility among the three rotational gates. One reason for this is considered to be the overlap between the rotation and control axes, even though the entanglement operations are performed by the CNOT gate, as explained in [22].

Thus, if aiming to design or select a highly expressible PQC, it may be beneficial to integrate more RX or RY gates into the PQC by either increasing the number of layers or designing selecting / a PQC topology that contains more RX or RY gates. Simultaneously, it is crucial to carefully balance the number of CNOT gates, taking into account other performance metrics and the complex relationships among all gates.

## 7 C onclusion

In this paper, we analyze the relationship between the expressibility of PQCs and the types of quantum gates they encompass by employing Gradient Boosting Trees (GBT) and SHAP values. The analysis is performed on 1,615 PQC instances composed of elementary quantum gates. These PQCs are derived from 19 PQC topologies, varying in qubits ranging from 2 to 18, and layers ranging from 1 to 5. The KL expressibilities of these PQC instances are then calculated using the fidelity values computed by the Qulacs quantum simulator.

After data engineering on the expressibility dataset, we establish a GBT model to predict expressibility based on PQC's features, the numbers of 6 types of quantum gates, achieving a coe ffi cient of determination R 2 of 0.86. SHAP values are then computed

P reprint - A nalysis of P arameterized Q uantum C ircuits : on T he C onnection B etween E xpressibility and T ypes of Q uantum G ates 7

Figure 9: Average importance of quantum gate's impact on KL expressibility

![image](https://ac.marcodsn.me/arxiv-markdown-images/2408.01036v2-figure-b54a4fc4-21ee-40ca-bf1c-0b4e2f394977.jpg)

through the GBT model to quantify the impact of each quantum gate type on expressibility.

The results indicate that the CNOT gate has the most significant e ff ect on expressibility, tending to weaken it relative to the average level. Among the three rotation gates, the RX gate has the strongest impact in enhancing expressibility, followed by the RYand RZ gates. These findings provide guidance for designing or selecting highly expressible PQCs, suggesting the integration of more RX or RY gates while carefully balancing the number of CNOT gates.

## R eferences

- [1] S.Lloyd, M.Mohseni, and P.Rebentrost. Quantum algorithms for supervised and unsupervised machine learning. arXiv preprint arXiv:1307.0411 , 2013.
- [2] J.Biamonte, P.Wittek, N.Pancotti, P.Rebentrost, N.Wiebe, and S.Lloyd. Quantum machine learningr. Nature , 549: 195-202, 2017.
- [3] S.B.Ramezani, A.Sommers, H.K.Manehukonda, S.Rahimi, and A.Amirlatifi. Machine learning algorithms in quantum computing: A survey. In 2020 International Joint Conference on Neural Networks (IJCNN) . IEEE, 2020.
- [4] J.Preskill. Quantum computing in the nisq era and beyond. Quantum , 2, 2018.
- [5] M.Cerezo, A.Arrasmith, R.Babbush, S.C.Benjamin, S.Endo, K.Fujii, J.R.McClean, K.Mitarai, X.Yuan,
- L.Cincio, and P.J.Coles. Variational quantum algorithms. Nature Reviews Physics , 3:625-644, 2021.
- [6] V.Havlicek, A.D.Corcoles, K.Temme, A.W.Harrow, A.Kandala, J.M.Chow, and J.M.Gambetta. Supervised learning with quantum-enhanced feature spaces. Nature , 567:209-212, 2019.
- [7] S.Jerbi, L.J.Fiderer, H.P.Nautrup, J.M.Kubler, H.J.Briegel, and V.Dunjko. Quantum machine learning beyond kernel methods. Nature Communications , 14, 2023.
- [8] N.Killoran, T.R.Bromley, J.M.Arrazola, M.Schuld, N.Quesada, and S.Lloyd. Continuous-variable quantum neural networks. arXiv preprint arXiv:1806.06871 , 2018.
- [9] E.Farhi and H.Neven. Classification with quantum neural networks on near term processors. arXiv preprint arXiv:1802.06002 , 2018.
- [10] D.K.Park, C.Bland, and F.Petruccione. The theory of the quantum kernel-based binary classifier. Phy. Let A. , 384: 126422, 2020.
- [11] A.P.Salinas, A.C.Lierta, E.GilFuster, and J.I.Latorre. Datare-uploadingforauniversalquantumclassifier. Quantum , 4, 2020.
- [12] S.Jerhi, C.Gyurik, S.C.Marshall, H.J.Briegel, and V.Dunjko. Parametrized quantum policies for reinforcement learning. arXiv preprint arXiv:2103.05577 , 2021.
- [13] Y.Du, M.H.Hsieh, T.Liu, and D.Tao. Expressive power of parametrized quantum circuits. Phys. Rev. Res.2,033125 , 2:033125, 2020.
- [14] R.Sweke, J.P.Seifert, D.Hanglelter, and J.Eisert. On the quantum versus classical learnability of discrete distributions. Quantum , 5, 2021.
- [15] H.Y.Huang, M.Broughton, M.Mohseni, R.Babbush, S.Boixo, H.Neven, and J.R.McClean. Power of data in quantum machine learning. Nat. Commun. , 12, 2021.
- [16] H.Y.Huang, R.Kueng, and J.Preskill. Information-theoretic bounds on quantum advantage in machine learning. Phy. Rev. Let. , 126:190505, 2021.
- [17] P.B.M.Sousa and R.V.Ramos. Universal quantum circuit for n-qubit quantum gate: a programmable quantum gate. ACM Quantum Information &amp; Computation , 7(3):032308, 2007.
- [18] P.D.Johnson, J.Romero, J.Olson, Y.Cao, and A.A-Guzik. Qvector: an algorithm for device-tailored quantum error correction. arXiv preprint arXiv:1711.02249 , 2017.
- [19] M.R.Geller. Sampling and scrambling on a chain of superconducting qubits. Phys. Rev. Appl. , 10:024052, 2018.
- [20] M.Schuld, A.Bocharov, K.M.Svore, and N.Wiebe. Circuitcentricquantumclassifiers. Phys. Rev. A 032308 , 101: 032308, 2020.
- [21] T.Goto, Q.H.Tran, and K.Nakajima. Univeral approximation property of quantum machine learning models in quantum-enhanced feature spaces. Phys. Rev. Lett. , 127 (6):090506, 2021.
- [22] S.Sim, P.D.Johnson, and A.A.Guzik. Expressibility and entangling capability of parameterized quantum circuits for hybrid quantum-classical algorithms. Advanced Quantum Technologies , 2, 2019.

P reprint - A nalysis of P arameterized Q uantum C ircuits : on T he C onnection B etween E xpressibility and T ypes of Q uantum G ates 8

- [23] S.E.Rasmussen, N.J.S.Loft, T.Baekkegaard, M.Kues, and N.T.Zinner. Reducing the amount of single-qubit rotations in vqe and related algorithms. Advanced Quantum Technologies , 3, 2020.
- [39] Y.Suzuki et al. Qulacs: a fast and versatile quantum circuit simulator for research purpose. Quantum , 5(559), 2021.
- [24] M.Schuld, R.Sweke, and J.J.Meyer. E ect of data enff coding on the expressive power of variational quantummachine-learning models. Phys. Rev. A , 103:032430, 2021.
- [25] S.Aktar, A.Bartschi, A.H.Badawy, D.Oyen, and S.Eidenbenz. Predicting expressibility of parameterized quantum circuits using graph neural network. In 2023 IEEE International Conference on Quantum Computing and Engineering (QCE) , volume 02, pages 401-402, 2023.
- [26] T.Hubregtsen, J.Pichlmeier, P.Stecher, and K.Bertels. Evaluation of parameterized quantum circuits: on the relation between classification accuracy, expressibility, and entangling capability. Quantum Machine Intelligence , 3(9), 2021.
- [27] K.Nakaji and N.Yamamoto. Expressibility of the alternating layered ansatz forquantum computation. Quantum , 5, 2021.
- [28] C.C.Chen, M.Watabe, K.Shiba, M.Sogabe, K.Sakamoto, and T.Sogabe. On the expressibility and overfitting of quantum circuit learning. ACM Trans. on Quantum Computing , 2(8), 2021.
- [29] D.A.Roberts and B.Yoshida. Chaos and complexity by design. Journal of High Physics , 2017(121), 2017.
- [30] S.M.Lundberg and S.I.Lee. A unified approach to interpreting model predictions. In Proceedings of the 31st International Conference on Neural Information Processing Systems(NIPS'17) , pages 4768-4777. ACM, 2017.
- [31] L.Shapley. A Value for n-Person Games. In:Contributions to the Theory of Games II . Princeton University Press, Princeton, 1953.
- [32] H.P.Young. Monotonic solutions of cooperative games. Int. J. Game Theory , 14:65-72, 1985.
- [33] S.M.Lundbert, G.G.Erion, and S.I.Lee. Consistent individualized feature attribution for tree ensembles. arXiv preprint arXiv:1802.03888 , 2018.
- [34] K.E.Mokhtari, B.P.Higdon, and A.Basar. Interpreting financial time series with shap values. In Proceedings of the 29th Annual International Conference on Computer Science and Software(CASCON'19 , pages 166-172. ACM, 2019.
- [35] K.Lin and Y.Gao. Model interpretability of financial fraud detection by group shap. Expert Systems with Applications , 210, 2022.
- [36] Y.Liu, Z.Liu, X.Luo, and H.Zhao. Diagnosis of parkinson's disease based on shap value feature selection. Biocybernetics and Biomedical Engineering , 42(3):856-869, 2022.
- [37] R.Pezoa, L.Salinas, and C.Torres. Explainability of high energy pyhsics events classification using shap. Journal of Physics: Conference Series , 2438(1):012082, 2023.
- [38] A.Barenco, C.H.Bennett, R.Cleve, D.P.Divincenzo, N.Margolus, P.Shor, T.Sleator, J.A.Smolin, and H.Weinfurter. Elementary gates for quantum computation. Phy. Rev. A , 52(5):3457-3466, 1995.
- [40] T.Chen and C.Guestrin. Xgboost: A scalable tree boosting system. In Proceedings of the 22nd ACM SIGKDD International Conference on Knowledge Discovery and Data Mining , pages 785-794, 2016.
- [41] G.Ke, T.Finley, T.Wang, W.Chen, W.Ma, Q.Ye, and TY.Liu. Lightgbm: A highly e ffi cient gradient boosting decision tree. In 31st Conference on Neural Information Processing Systems , pages 3149-3157, 2017.

## A ppendix

## 4qubit PQC s composed of elementary gates

![image](https://ac.marcodsn.me/arxiv-markdown-images/2408.01036v2-figure-ec106be4-8236-46f9-ae26-9be14cb7570e.jpg)
Yu Liu Kentaro Baba Kazuya Kaneko Naoyuki Takeda Junpei Koyama Koichi Kimura
Analysis of Parameterized Quantum Circuits: on The Connection Between Expressibility and Types of Quantum Gates
Expressibility is a crucial factor of a Parameterized Quantum Circuit (PQC).
In the context of Variational Quantum Algorithms (VQA) based Quantum Machine
Learning (QML), a QML model composed of highly expressible PQC and sufficient
number of qubits is theoretically capable of approximating any arbitrary
continuous function. While much research has explored the relationship between
expressibility and learning performance, as well as the number of layers in
PQCs, the connection between expressibility and PQC structure has received
comparatively less attention. In this paper, we analyze the connection between
expressibility and the types of quantum gates within PQCs using a Gradient
Boosting Tree model and SHapley Additive exPlanations (SHAP) values. Our
analysis is performed on 1,615 instances of PQC derived from 19 PQC topologies,
each with 2-18 qubits and 1-5 layers. The findings of our analysis provide
guidance for designing highly expressible PQCs, suggesting the integration of
more RX or RY gates while maintaining a careful balance with the number of CNOT
gates. Furthermore, our evaluation offers an additional evidence of
expressibility saturation, as observed by previous studies.