HTML conversions sometimes display errors due to content that did not convert correctly from the source. This paper uses the following packages that are not yet supported by the HTML conversion tool. Feedback on these issues are not necessary; they are known and are being worked on.

  • failed: mwe

Authors: achieve the best HTML results from your LaTeX submissions by following these best practices.

License: CC BY-NC-ND 4.0
arXiv:2402.15577v2 [nucl-th] 29 Feb 2024

Shell-model study of 5858{}^{58}start_FLOATSUPERSCRIPT 58 end_FLOATSUPERSCRIPTNi using quantum computing algorithm

Bharti Bhoy [email protected] Department of Physics, University of Surrey, Guildford, Surrey, GU2 7XH, United Kingdom    Paul Stevenson [email protected] Department of Physics, University of Surrey, Guildford, Surrey, GU2 7XH, United Kingdom
Abstract

This study presents a simulated quantum computing approach for the investigation into the shell-model energy levels of 5858{}^{58}start_FLOATSUPERSCRIPT 58 end_FLOATSUPERSCRIPTNi through the application of the variational eigensolver (VQE) method in combination with a problem-specific ansatz. The primary objective is to achieve a fully accurate low-lying energy spectrum of 5858{}^{58}start_FLOATSUPERSCRIPT 58 end_FLOATSUPERSCRIPTNi. The chosen isotope, 5858{}^{58}start_FLOATSUPERSCRIPT 58 end_FLOATSUPERSCRIPTNi is particularly interesting in nuclear physics through its role in astrophysical reactions while also being a simple but not-trivial nucleus for shell-model study, it being two particles outside a closed shell. Our ansatz, along with the VQE method are shown to be able to reproduce exact energy values for the ground state and first and second excited states. We compare a classical shell model code, the values obtained by diagonalization of the Hamiltonian after qubit map**, and a noiseless simulated ansatz+VQE simulation. The exact agreement between classical and qubit-mapped diagonalization shows the correctness of our method, and the high accuracy of the simulation means that the ansatz is suitable to allow a full reconstruction of the full nuclear wave function.

I Introduction

Atomic nuclei are systems of interacting spin-1/2 fermions. As such, their simulation is a strong candidate for a possibly revolutionary treatment using quantum computation, as has been explored in nuclei [1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16] and other many-fermion systems [17, 18, 19]. A standard microscopic (treating nucleons as the degree of freedom) method to interpret observed states of nuclei is the configuration interaction nuclear shell model [20, 21, 22] in which nucleons interact in a defined single-particle basis to produce correlated eigenstates of a model Hamiltonian. Finding the wavefunctions and consequent properties of these eigenstates is the job of a shell model practitioner; a job which has already been explored on real and simulated quantum computers in the case of the lightest nuclei [23, 24] with various aspects of the specific algorithms needed for quantum computation examined [25, 26].

If quantum computation is to form a future tool for large-scale shell model calculations on near-term hardware, much work will be needed to understand appropriate algorithms to find the eigenstates and to deal with larger problem sizes. Here we take a step in the latter direction by exploring a heavier system than previously explored, looking at a nucleus (5858{}^{58}start_FLOATSUPERSCRIPT 58 end_FLOATSUPERSCRIPTNi) with valence particles in the fp𝑓𝑝fpitalic_f italic_p-shell. In our exploration, a simulated variational quantum eigensolver (VQE) algorithm is used to compare aspects of the method, in comparison with an exact classical shell model calculation. The choice of 5858{}^{58}start_FLOATSUPERSCRIPT 58 end_FLOATSUPERSCRIPTNi is primarily motivated as being the simplest two-valence-particle system in the fp𝑓𝑝fpitalic_f italic_p shell, and one with which we can compare our quantum simulation calculations with the classical shell model. This isotope is also of particular interest in astrophysics in the s𝑠sitalic_s-process in AGB stars [27, 28, 29], as a well-studied nuclear for use as a nuclear data benchmark [30], and as a nuclear material [31].

The primary objective of our research is to achieve a high level of precision in determining the low-lying energy levels of 5858{}^{58}start_FLOATSUPERSCRIPT 58 end_FLOATSUPERSCRIPTNi, by constructing a problem-based ansatz able to reproduce exact results based on the shell-model interaction JUN45 [32]. We give a survey of the shell model and quantum computation methods in section II, before presenting results in section III and some concluding remarks in section IV.

II Theoretical framework

In this study, we give details of our methods to investigate the properties of the 5858{}^{58}start_FLOATSUPERSCRIPT 58 end_FLOATSUPERSCRIPTNi nucleus using quantum computing simulation techniques, along with a classical shell model comparison. We take the model space comprising orbitals 1p3/21subscript𝑝321p_{3/2}1 italic_p start_POSTSUBSCRIPT 3 / 2 end_POSTSUBSCRIPT, 0f5/20subscript𝑓520f_{5/2}0 italic_f start_POSTSUBSCRIPT 5 / 2 end_POSTSUBSCRIPT, and 1p1/21subscript𝑝121p_{1/2}1 italic_p start_POSTSUBSCRIPT 1 / 2 end_POSTSUBSCRIPT above the 5656{}^{56}start_FLOATSUPERSCRIPT 56 end_FLOATSUPERSCRIPTNi core. This section describes the Hamiltonian employed along with its adaptation for quantum computing simulation. We present the tailored ansatz as appropriate to reach the ground state of the system. Furthermore, we discuss the application of the Variational Quantum Eigensolver (VQE) algorithm and associated optimizers for energy minimization. The implementation of excitation operators, crucial for constructing quantum circuits, is detailed.

II.1 Model space and interactions

The shell model Hamiltonian can be expressed in terms of second quantization, where creation and annihilation operators act on states representing single-particle wavefunctions. The shell model Hamiltonian H𝐻Hitalic_H consists of the single-particle energy term and the two-body interaction term:

H=i=1ϵia^ia^i+12i,j,k,lVijkla^ia^ja^la^k𝐻subscript𝑖1subscriptitalic-ϵ𝑖subscriptsuperscript^𝑎𝑖subscript^𝑎𝑖12subscript𝑖𝑗𝑘𝑙subscript𝑉𝑖𝑗𝑘𝑙subscriptsuperscript^𝑎𝑖subscriptsuperscript^𝑎𝑗subscript^𝑎𝑙subscript^𝑎𝑘H=\sum_{i=1}\epsilon_{i}\hat{a}^{\dagger}_{i}\hat{a}_{i}+\frac{1}{2}\sum_{i,j,% k,l}V_{ijkl}\hat{a}^{\dagger}_{i}\hat{a}^{\dagger}_{j}\hat{a}_{l}\hat{a}_{k}italic_H = ∑ start_POSTSUBSCRIPT italic_i = 1 end_POSTSUBSCRIPT italic_ϵ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT over^ start_ARG italic_a end_ARG start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT over^ start_ARG italic_a end_ARG start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT + divide start_ARG 1 end_ARG start_ARG 2 end_ARG ∑ start_POSTSUBSCRIPT italic_i , italic_j , italic_k , italic_l end_POSTSUBSCRIPT italic_V start_POSTSUBSCRIPT italic_i italic_j italic_k italic_l end_POSTSUBSCRIPT over^ start_ARG italic_a end_ARG start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT over^ start_ARG italic_a end_ARG start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT over^ start_ARG italic_a end_ARG start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT over^ start_ARG italic_a end_ARG start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT (1)

Here, a^isubscriptsuperscript^𝑎𝑖\hat{a}^{\dagger}_{i}over^ start_ARG italic_a end_ARG start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT and a^isubscript^𝑎𝑖\hat{a}_{i}over^ start_ARG italic_a end_ARG start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT are the creation and annihilation operators, ϵisubscriptitalic-ϵ𝑖\epsilon_{i}italic_ϵ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT is the single-particle energy, Vijklsubscript𝑉𝑖𝑗𝑘𝑙V_{ijkl}italic_V start_POSTSUBSCRIPT italic_i italic_j italic_k italic_l end_POSTSUBSCRIPT represents the two-body matrix elements (TBMEs) describing interactions between nucleons in states |iket𝑖|i\rangle| italic_i ⟩, |jket𝑗|j\rangle| italic_j ⟩, |kket𝑘|k\rangle| italic_k ⟩, and |lket𝑙|l\rangle| italic_l ⟩. The nucleon state |iket𝑖|i\rangle| italic_i ⟩ is characterized by quantum numbers: radial, orbital angular momentum, total spin, and projections of spin and isospin as |n,l,j,mα,mtαket𝑛𝑙𝑗subscript𝑚𝛼subscript𝑚𝑡𝛼|n,l,j,m_{\alpha},m_{t\alpha}\rangle| italic_n , italic_l , italic_j , italic_m start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT , italic_m start_POSTSUBSCRIPT italic_t italic_α end_POSTSUBSCRIPT ⟩. We use the JUN45 [32] interaction, which consists of the 1p3/21subscript𝑝321p_{3/2}1 italic_p start_POSTSUBSCRIPT 3 / 2 end_POSTSUBSCRIPT, 0f5/20subscript𝑓520f_{5/2}0 italic_f start_POSTSUBSCRIPT 5 / 2 end_POSTSUBSCRIPT, 1p1/21subscript𝑝121p_{1/2}1 italic_p start_POSTSUBSCRIPT 1 / 2 end_POSTSUBSCRIPT and 0g9/20subscript𝑔920g_{9/2}0 italic_g start_POSTSUBSCRIPT 9 / 2 end_POSTSUBSCRIPT orbital in the usual spectroscopic notation. In this work, we have neglected the 0g9/20subscript𝑔920g_{9/2}0 italic_g start_POSTSUBSCRIPT 9 / 2 end_POSTSUBSCRIPT orbital, choosing only fp𝑓𝑝fpitalic_f italic_p model space for a simpler approach comprising 12 single-particle states, which remain appropriate for the lowest-energy states. Since we consider the case of 5858{}^{58}start_FLOATSUPERSCRIPT 58 end_FLOATSUPERSCRIPTNi, consisting of a core plus two valence neutrons, we only consider the neutron single-particle states. We represent these orbitals with 12 qubits, one for each orbital, as detailed in Table 1.

Since matrix elements of shell model interactions are generally given in the J𝐽Jitalic_J-scheme in which single-particle states are coupled to good total angular momentum J𝐽Jitalic_J, while a quantum computation implementation relies on a map** of the uncoupled single-particle states (the “M𝑀Mitalic_M-scheme”) to each qubit, a transformation from the J𝐽Jitalic_J-scheme to the M𝑀Mitalic_M-scheme is applied. The transformation is performed using [22]

v¯αβγδ=subscript¯𝑣𝛼𝛽𝛾𝛿absent\displaystyle\overline{v}_{\alpha\beta\gamma\delta}=over¯ start_ARG italic_v end_ARG start_POSTSUBSCRIPT italic_α italic_β italic_γ italic_δ end_POSTSUBSCRIPT = JM,TMT[Nab(JT)Ncd(JT)]1(jamαjbmβ|JM)(12mtα12mtβ|TMT)subscript𝐽𝑀𝑇subscript𝑀𝑇superscriptdelimited-[]subscript𝑁𝑎𝑏𝐽𝑇subscript𝑁𝑐𝑑𝐽𝑇1conditionalsubscript𝑗𝑎subscript𝑚𝛼subscript𝑗𝑏subscript𝑚𝛽𝐽𝑀conditional12subscript𝑚subscript𝑡𝛼12subscript𝑚subscript𝑡𝛽𝑇subscript𝑀𝑇\displaystyle\sum_{JM,TM_{T}}\left[{N_{ab}(JT)N_{cd}(JT)}\right]^{-1}\left(j_{% a}m_{\alpha}j_{b}m_{\beta}|JM\right)\left(\frac{1}{2}m_{t_{\alpha}}\frac{1}{2}% m_{t_{\beta}}\Big{|}TM_{T}\right)∑ start_POSTSUBSCRIPT italic_J italic_M , italic_T italic_M start_POSTSUBSCRIPT italic_T end_POSTSUBSCRIPT end_POSTSUBSCRIPT [ italic_N start_POSTSUBSCRIPT italic_a italic_b end_POSTSUBSCRIPT ( italic_J italic_T ) italic_N start_POSTSUBSCRIPT italic_c italic_d end_POSTSUBSCRIPT ( italic_J italic_T ) ] start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT ( italic_j start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT italic_m start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT italic_j start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT italic_m start_POSTSUBSCRIPT italic_β end_POSTSUBSCRIPT | italic_J italic_M ) ( divide start_ARG 1 end_ARG start_ARG 2 end_ARG italic_m start_POSTSUBSCRIPT italic_t start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT end_POSTSUBSCRIPT divide start_ARG 1 end_ARG start_ARG 2 end_ARG italic_m start_POSTSUBSCRIPT italic_t start_POSTSUBSCRIPT italic_β end_POSTSUBSCRIPT end_POSTSUBSCRIPT | italic_T italic_M start_POSTSUBSCRIPT italic_T end_POSTSUBSCRIPT ) (2)
×(jcmγjdmδ|JM)(12mtγ12mtδ|TMT)ab;JT|V|cd;JTabsentconditionalsubscript𝑗𝑐subscript𝑚𝛾subscript𝑗𝑑subscript𝑚𝛿𝐽𝑀conditional12subscript𝑚subscript𝑡𝛾12subscript𝑚subscript𝑡𝛿𝑇subscript𝑀𝑇quantum-operator-product𝑎𝑏𝐽𝑇𝑉𝑐𝑑𝐽𝑇\displaystyle\times\left(j_{c}m_{\gamma}j_{d}m_{\delta}|JM\right)\left(\frac{1% }{2}m_{t_{\gamma}}\frac{1}{2}m_{t_{\delta}}\Big{|}TM_{T}\right)\langle ab;JT|V% |cd;JT\rangle× ( italic_j start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT italic_m start_POSTSUBSCRIPT italic_γ end_POSTSUBSCRIPT italic_j start_POSTSUBSCRIPT italic_d end_POSTSUBSCRIPT italic_m start_POSTSUBSCRIPT italic_δ end_POSTSUBSCRIPT | italic_J italic_M ) ( divide start_ARG 1 end_ARG start_ARG 2 end_ARG italic_m start_POSTSUBSCRIPT italic_t start_POSTSUBSCRIPT italic_γ end_POSTSUBSCRIPT end_POSTSUBSCRIPT divide start_ARG 1 end_ARG start_ARG 2 end_ARG italic_m start_POSTSUBSCRIPT italic_t start_POSTSUBSCRIPT italic_δ end_POSTSUBSCRIPT end_POSTSUBSCRIPT | italic_T italic_M start_POSTSUBSCRIPT italic_T end_POSTSUBSCRIPT ) ⟨ italic_a italic_b ; italic_J italic_T | italic_V | italic_c italic_d ; italic_J italic_T ⟩

The normalization constants Nab(JT)subscript𝑁𝑎𝑏𝐽𝑇N_{ab}(JT)italic_N start_POSTSUBSCRIPT italic_a italic_b end_POSTSUBSCRIPT ( italic_J italic_T ) and Ncd(JT)subscript𝑁𝑐𝑑𝐽𝑇N_{cd}(JT)italic_N start_POSTSUBSCRIPT italic_c italic_d end_POSTSUBSCRIPT ( italic_J italic_T ) are defined as follows:

Nab(JT)subscript𝑁𝑎𝑏𝐽𝑇\displaystyle N_{ab}(JT)italic_N start_POSTSUBSCRIPT italic_a italic_b end_POSTSUBSCRIPT ( italic_J italic_T ) =1δab(1)J+T1+δababsent1subscript𝛿𝑎𝑏superscript1𝐽𝑇1subscript𝛿𝑎𝑏\displaystyle=\sqrt{\frac{1-\delta_{ab}(-1)^{J+T}}{1+\delta_{ab}}}= square-root start_ARG divide start_ARG 1 - italic_δ start_POSTSUBSCRIPT italic_a italic_b end_POSTSUBSCRIPT ( - 1 ) start_POSTSUPERSCRIPT italic_J + italic_T end_POSTSUPERSCRIPT end_ARG start_ARG 1 + italic_δ start_POSTSUBSCRIPT italic_a italic_b end_POSTSUBSCRIPT end_ARG end_ARG (3)
Ncd(JT)subscript𝑁𝑐𝑑𝐽𝑇\displaystyle N_{cd}(JT)italic_N start_POSTSUBSCRIPT italic_c italic_d end_POSTSUBSCRIPT ( italic_J italic_T ) =1δcd(1)J+T1+δcdabsent1subscript𝛿𝑐𝑑superscript1𝐽𝑇1subscript𝛿𝑐𝑑\displaystyle=\sqrt{\frac{1-\delta_{cd}(-1)^{J+T}}{1+\delta_{cd}}}= square-root start_ARG divide start_ARG 1 - italic_δ start_POSTSUBSCRIPT italic_c italic_d end_POSTSUBSCRIPT ( - 1 ) start_POSTSUPERSCRIPT italic_J + italic_T end_POSTSUPERSCRIPT end_ARG start_ARG 1 + italic_δ start_POSTSUBSCRIPT italic_c italic_d end_POSTSUBSCRIPT end_ARG end_ARG (4)

Here, we follow the notation of Suhonen [22], in which a,b,c,d are the single-particle orbitals |a=|nα,lα,jαket𝑎ketsubscript𝑛𝛼subscript𝑙𝛼subscript𝑗𝛼|a\rangle=|n_{\alpha},l_{\alpha},j_{\alpha}\rangle| italic_a ⟩ = | italic_n start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT , italic_l start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT , italic_j start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT ⟩, |b=|nβ,lβ,jβket𝑏ketsubscript𝑛𝛽subscript𝑙𝛽subscript𝑗𝛽|b\rangle=|n_{\beta},l_{\beta},j_{\beta}\rangle| italic_b ⟩ = | italic_n start_POSTSUBSCRIPT italic_β end_POSTSUBSCRIPT , italic_l start_POSTSUBSCRIPT italic_β end_POSTSUBSCRIPT , italic_j start_POSTSUBSCRIPT italic_β end_POSTSUBSCRIPT ⟩, |c=|nγ,lγ,jγket𝑐ketsubscript𝑛𝛾subscript𝑙𝛾subscript𝑗𝛾|c\rangle=|n_{\gamma},l_{\gamma},j_{\gamma}\rangle| italic_c ⟩ = | italic_n start_POSTSUBSCRIPT italic_γ end_POSTSUBSCRIPT , italic_l start_POSTSUBSCRIPT italic_γ end_POSTSUBSCRIPT , italic_j start_POSTSUBSCRIPT italic_γ end_POSTSUBSCRIPT ⟩, |d=|nδ,lδ,jδket𝑑ketsubscript𝑛𝛿subscript𝑙𝛿subscript𝑗𝛿|d\rangle=|n_{\delta},l_{\delta},j_{\delta}\rangle| italic_d ⟩ = | italic_n start_POSTSUBSCRIPT italic_δ end_POSTSUBSCRIPT , italic_l start_POSTSUBSCRIPT italic_δ end_POSTSUBSCRIPT , italic_j start_POSTSUBSCRIPT italic_δ end_POSTSUBSCRIPT ⟩ carrying no projection (m𝑚mitalic_m, mtsubscript𝑚𝑡m_{t}italic_m start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT) labels. The Greek letters α,β,γ,δ𝛼𝛽𝛾𝛿\alpha,\beta,\gamma,\deltaitalic_α , italic_β , italic_γ , italic_δ are the nucleon states as a complete set of quantum numbers containing the isospin parts |α=|nα,lα,jα,mα,mtαket𝛼ketsubscript𝑛𝛼subscript𝑙𝛼subscript𝑗𝛼subscript𝑚𝛼subscript𝑚𝑡𝛼|\alpha\rangle=|n_{\alpha},l_{\alpha},j_{\alpha},m_{\alpha},m_{t\alpha}\rangle| italic_α ⟩ = | italic_n start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT , italic_l start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT , italic_j start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT , italic_m start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT , italic_m start_POSTSUBSCRIPT italic_t italic_α end_POSTSUBSCRIPT ⟩ etc. In (2), the four quantities inside round brackets are the Clebsch–Gordan coefficient of angular momenta and isospins, ab;JT|V|cd;JTquantum-operator-product𝑎𝑏𝐽𝑇𝑉𝑐𝑑𝐽𝑇\langle ab;JT|V|cd;JT\rangle⟨ italic_a italic_b ; italic_J italic_T | italic_V | italic_c italic_d ; italic_J italic_T ⟩ is the J𝐽Jitalic_J-scheme TBMEs. The quantum numbers represented by Greek letter indices are tabulated in Table 1, and the m𝑚mitalic_m-scheme TBMEs (v¯αβγδsubscript¯𝑣𝛼𝛽𝛾𝛿\overline{v}_{\alpha\beta\gamma\delta}over¯ start_ARG italic_v end_ARG start_POSTSUBSCRIPT italic_α italic_β italic_γ italic_δ end_POSTSUBSCRIPT) resulting from equation (2) are given in Appendix A, as transformed from the J𝐽Jitalic_J-scheme values tabulated in [32].

Table 1: Qubit map** for the valence space of Ni58superscriptNi58{}^{58}\text{Ni}start_FLOATSUPERSCRIPT 58 end_FLOATSUPERSCRIPT Ni. Each qubit corresponds to a specific combination of j𝑗jitalic_j the total angular momentum, mαsubscript𝑚𝛼m_{\alpha}italic_m start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT projection on the z𝑧zitalic_z axis, and mtαsubscript𝑚𝑡𝛼m_{t\alpha}italic_m start_POSTSUBSCRIPT italic_t italic_α end_POSTSUBSCRIPT the third component of the isospin, is fixed at 1/2 for all qubits to represent the neutron.
qubit(α)qubit𝛼\mathrm{qubit}(\alpha)roman_qubit ( italic_α )  0  1  2  3  4  5  6  7  8  9  10  11
n𝑛nitalic_n 1 1 1 1 0 0 0 0 0 0 1 1
l𝑙litalic_l 1 1 1 1 3 3 3 3 3 3 1 1
j𝑗jitalic_j 3/2 3/2 3/2 3/2 5/2 5/2 5/2 5/2 5/2 5/2 1/2 1/2
mαsubscript𝑚𝛼m_{\alpha}italic_m start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT 3/232-3/2- 3 / 2 3/2323/23 / 2 1/212-1/2- 1 / 2 1/2121/21 / 2 5/252-5/2- 5 / 2 5/2525/25 / 2 3/232-3/2- 3 / 2 3/2323/23 / 2 1/212-1/2- 1 / 2 1/2121/21 / 2 1/212-1/2- 1 / 2 1/2121/21 / 2

II.2 Jordan-Wigner qubit map**

The Jordan-Wigner transformation [33] maps fermionic creation and annihilation operators onto Pauli spin matrices. Since the states of the qubits of quantum computers can be written as spinors, with Pauli spin matrices forming a complete set with which to define Hermitian operators acting on the qubits, this JW map** is often used to translate general many-fermion Hamiltonians to a qubit representation. We follow this method, while noting that other map** schemes exist [34].

The Jordan-Wigner transformation is defined as follows. Consider a system of N𝑁Nitalic_N fermionic modes (e.g., nucleons in different energy levels in a nucleus). Each mode can be occupied (state |1ket1|1\rangle| 1 ⟩) or unoccupied (state |0ket0|0\rangle| 0 ⟩). The occupation number operators are denoted as n^j=ajajsubscript^𝑛𝑗subscriptsuperscript𝑎𝑗subscript𝑎𝑗\hat{n}_{j}=a^{\dagger}_{j}a_{j}over^ start_ARG italic_n end_ARG start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT = italic_a start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT italic_a start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT, where ajsubscriptsuperscript𝑎𝑗a^{\dagger}_{j}italic_a start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT and ajsubscript𝑎𝑗a_{j}italic_a start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT are the creation and annihilation operators for fermions in mode j𝑗jitalic_j, respectively. The Jordan-Wigner transformation maps these fermionic operators to spin-1212\frac{1}{2}divide start_ARG 1 end_ARG start_ARG 2 end_ARG (qubit) operators:

aj(k=1j1σkz)σj,aj(k=1j1σkz)σj+,formulae-sequencemaps-tosubscript𝑎𝑗superscriptsubscriptproduct𝑘1𝑗1subscriptsuperscript𝜎𝑧𝑘subscriptsuperscript𝜎𝑗maps-tosubscriptsuperscript𝑎𝑗superscriptsubscriptproduct𝑘1𝑗1subscriptsuperscript𝜎𝑧𝑘subscriptsuperscript𝜎𝑗a_{j}\mapsto\left(\prod_{k=1}^{j-1}\sigma^{z}_{k}\right)\sigma^{-}_{j},\quad a% ^{\dagger}_{j}\mapsto\left(\prod_{k=1}^{j-1}\sigma^{z}_{k}\right)\sigma^{+}_{j},italic_a start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ↦ ( ∏ start_POSTSUBSCRIPT italic_k = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_j - 1 end_POSTSUPERSCRIPT italic_σ start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ) italic_σ start_POSTSUPERSCRIPT - end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT , italic_a start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ↦ ( ∏ start_POSTSUBSCRIPT italic_k = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_j - 1 end_POSTSUPERSCRIPT italic_σ start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ) italic_σ start_POSTSUPERSCRIPT + end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT , (5)

where σj+=12(σjx+iσjy)subscriptsuperscript𝜎𝑗12subscriptsuperscript𝜎𝑥𝑗𝑖subscriptsuperscript𝜎𝑦𝑗\sigma^{+}_{j}=\frac{1}{2}(\sigma^{x}_{j}+i\sigma^{y}_{j})italic_σ start_POSTSUPERSCRIPT + end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT = divide start_ARG 1 end_ARG start_ARG 2 end_ARG ( italic_σ start_POSTSUPERSCRIPT italic_x end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT + italic_i italic_σ start_POSTSUPERSCRIPT italic_y end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ) and σj=12(σjxiσjy)subscriptsuperscript𝜎𝑗12subscriptsuperscript𝜎𝑥𝑗𝑖subscriptsuperscript𝜎𝑦𝑗\sigma^{-}_{j}=\frac{1}{2}(\sigma^{x}_{j}-i\sigma^{y}_{j})italic_σ start_POSTSUPERSCRIPT - end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT = divide start_ARG 1 end_ARG start_ARG 2 end_ARG ( italic_σ start_POSTSUPERSCRIPT italic_x end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT - italic_i italic_σ start_POSTSUPERSCRIPT italic_y end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ) are the spin raising and lowering operators for the j𝑗jitalic_j-th qubit and σjxsubscriptsuperscript𝜎𝑥𝑗\sigma^{x}_{j}italic_σ start_POSTSUPERSCRIPT italic_x end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT and σjysuperscriptsubscript𝜎𝑗𝑦\sigma_{j}^{y}italic_σ start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_y end_POSTSUPERSCRIPT are the Pauli X and Y operator, respectively, and σjzsubscriptsuperscript𝜎𝑧𝑗\sigma^{z}_{j}italic_σ start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT is the Pauli Z operator for the j𝑗jitalic_j-th qubit. The product k=1j1σkzsuperscriptsubscriptproduct𝑘1𝑗1subscriptsuperscript𝜎𝑧𝑘\prod_{k=1}^{j-1}\sigma^{z}_{k}∏ start_POSTSUBSCRIPT italic_k = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_j - 1 end_POSTSUPERSCRIPT italic_σ start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ensures that the fermionic anti-commutation relations are preserved.

The Jordan-Wigner transformation and similar methods, like the Bravyi-Kitaev transformation [35], allow a successful map** of fermionic Hamiltonians onto qubit degrees of freedom. Each possible transformation has its strengths and weaknesses in terms of resulting Hamiltonian complexity, circuit depth and locality/non-locality of representation. We choose the JW method as a standard against which future comparisons can be made.

II.3 VQE and the wavefunction ansatz

The Variational Quantum Eigensolver (VQE) [36, 37, 38] is a hybrid quantum-classical algorithm proposed as a promising approach for finding ground states in many-body quantum systems. It has been applied in different guises in nuclear physics problems [39, 16, 3, 6, 10, 12] thanks to its ability to be implemented, in some cases, on current quantum computing hardware. The basis of the VQE algorithm is to have a parameterized wave function ansatz on a quantum computer, in which the parameters are free variables; the expectation value of the Hamiltonian in its transformed Pauli matrix form is evaluated on the quantum computer, then a classical algorithm adjusts the parameters of the wave function ansatz to seek a minimum of the Hamiltonian expectation value. This is done through a repeated cycle of expectation value measurements on the quantum computer and directed parameter adjustments on the side of the classical algorithm. An appropriate ansatz (a guess for the wave function) must be chosen. In nuclear physics, this could be inspired by traditional nuclear models or techniques, like the Unitary Coupled Cluster (UCC) method [40, 41], or by problem-specific considerations.

In our study, we choose a problem-inspired ansatz in which Pauli X𝑋Xitalic_X gates initially create the correct number of particles in a state with quantum numbers appropriate to the desired target state. For the ground state of 5858{}^{58}start_FLOATSUPERSCRIPT 58 end_FLOATSUPERSCRIPTNi, characterized by J=0𝐽0J=0italic_J = 0 (and hence M=0𝑀0M=0italic_M = 0), the initial state takes the form of a product state, such as |0,1|000000000011ket01ket000000000011|0,1\rangle\equiv|000000000011\rangle| 0 , 1 ⟩ ≡ | 000000000011 ⟩ - i.e. the states |n=1,l=1,j=3/2,m=3/2ketformulae-sequence𝑛1formulae-sequence𝑙1formulae-sequence𝑗32𝑚32|n=1,l=1,j=3/2,m=-3/2\rangle| italic_n = 1 , italic_l = 1 , italic_j = 3 / 2 , italic_m = - 3 / 2 ⟩ and |n=1,l=1,j=3/2,m=3/2ketformulae-sequence𝑛1formulae-sequence𝑙1formulae-sequence𝑗32𝑚32|n=1,l=1,j=3/2,m=3/2\rangle| italic_n = 1 , italic_l = 1 , italic_j = 3 / 2 , italic_m = 3 / 2 ⟩ are occupied. This state is straightforward to prepare as each qubit can be addressed individually and the default initial |0ket0|0\rangle| 0 ⟩ state of a qubit can be flipped to |1ket1|1\rangle| 1 ⟩ by application of an X𝑋Xitalic_X gate.

Moving to the first excited state of 5858{}^{58}start_FLOATSUPERSCRIPT 58 end_FLOATSUPERSCRIPTNi, with J=2𝐽2J=2italic_J = 2, the M𝑀Mitalic_M value can take values 22-2- 2, 11-1- 1, 00, 1111, or 2222. Opting for simplicity, we choose the |1,3|000000001010ket13ket000000001010|1,3\rangle\equiv|000000001010\rangle| 1 , 3 ⟩ ≡ | 000000001010 ⟩ combining |n=1,l=1,j=3/2,m=3/2ketformulae-sequence𝑛1formulae-sequence𝑙1formulae-sequence𝑗32𝑚32|n=1,l=1,j=3/2,m=3/2\rangle| italic_n = 1 , italic_l = 1 , italic_j = 3 / 2 , italic_m = 3 / 2 ⟩ and |n=1,l=1,j=3/2,m=1/2ketformulae-sequence𝑛1formulae-sequence𝑙1formulae-sequence𝑗32𝑚12|n=1,l=1,j=3/2,m=1/2\rangle| italic_n = 1 , italic_l = 1 , italic_j = 3 / 2 , italic_m = 1 / 2 ⟩ as the reference state among all the other possible combinations of qubits for J𝐽Jitalic_J = 2. Similarly, for the second excited state with J=4𝐽4J=4italic_J = 4, allowing M𝑀Mitalic_M to take values like 44-4- 4, 33-3- 3, 22-2- 2, 11-1- 1, 00, 1111, 2222, 3333, or 4444, we choose the extremal value to avoid contamination with lower J𝐽Jitalic_J contributions. Here, we have only two combination for M=4𝑀4M=4italic_M = 4, and we opt for the |1,5|00000100010ket15ket00000100010|1,5\rangle\equiv|00000100010\rangle| 1 , 5 ⟩ ≡ | 00000100010 ⟩ as the reference state, corresponding to states |n=1,l=1,j=3/2,m=3/2ketformulae-sequence𝑛1formulae-sequence𝑙1formulae-sequence𝑗32𝑚32|n=1,l=1,j=3/2,m=3/2\rangle| italic_n = 1 , italic_l = 1 , italic_j = 3 / 2 , italic_m = 3 / 2 ⟩ and |n=0,l=3,j=5/2,m=5/2ketformulae-sequence𝑛0formulae-sequence𝑙3formulae-sequence𝑗52𝑚52|n=0,l=3,j=5/2,m=5/2\rangle| italic_n = 0 , italic_l = 3 , italic_j = 5 / 2 , italic_m = 5 / 2 ⟩.

Having created a simple single configuration reference state for a given target state, parameterized operators are applied to explore the other configurations expected to contribute to the given M𝑀Mitalic_M-valued wave function. We use parameterized Givens rotation gates [42] to access selected configurations in 5858{}^{58}start_FLOATSUPERSCRIPT 58 end_FLOATSUPERSCRIPTNi with correct M𝑀Mitalic_M values. These gates are particle number preserving, kee** us in the correct Fock space, and are suitably parameterized with enough freedom to find the lowest energy configuration. The excitations in the quantum simulations have been made using the single and double Givens excitation gates.

Single excitations, shown in Figure 1, involve the application of creation and annihilation operators to excite a single particle from one orbital to another, as represented by aiajsubscriptsuperscript𝑎𝑖subscript𝑎𝑗a^{\dagger}_{i}a_{j}italic_a start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT italic_a start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT. Since the nucleon carries an intrinsic angular momentum (spin), the single excitation process is applied so that it conserves mαsubscript𝑚𝛼m_{\alpha}italic_m start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT by choosing the individual spins of the nucleons involved in the excitation.

Refer to caption
Figure 1: Single-excitation gate in terms of single-qubit Pauli Y rotations (±θ2plus-or-minus𝜃2\pm\frac{\theta}{2}± divide start_ARG italic_θ end_ARG start_ARG 2 end_ARG) and CNOTs [42].

Double excitations (Figure 2), on the other hand, simultaneously promote two neutrons from their respective orbitals to other orbitals, characterized by expressions like aiajakalsubscriptsuperscript𝑎𝑖subscriptsuperscript𝑎𝑗subscript𝑎𝑘subscript𝑎𝑙a^{\dagger}_{i}a^{\dagger}_{j}a_{k}a_{l}italic_a start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT italic_a start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT italic_a start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT italic_a start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT. The set of double excitation processes is chosen so that the total angular momentum projection along the z𝑧zitalic_z-axis remains constant by accounting for the combined spins of the two nucleons undergoing excitation.

Refer to caption
Figure 2: Double-excitation gate in terms of single-qubit Pauli Y rotations (±θ8plus-or-minus𝜃8\pm\frac{\theta}{8}± divide start_ARG italic_θ end_ARG start_ARG 8 end_ARG) and CNOTs [43, 42].

The prepared ansatz for the ground state, first excited state, and second excited state is represented in Figure 3. Note that while all qubits are active in the ground state wave function, only three are active in the J=4𝐽4J=4italic_J = 4 state as only they can give a total projection M=4𝑀4M=4italic_M = 4, while nine are active in the J=2𝐽2J=2italic_J = 2 state.

The ground state ansatz makes use of the understanding that the ground state wave function will not break pairs, and hence make pairwise excitations from the starting configuration always to ±mplus-or-minus𝑚\pm m± italic_m levels into a common {nlj}𝑛𝑙𝑗\{nlj\}{ italic_n italic_l italic_j } level. The double excitations applied in the circuit are interposed between the qubits {0,1,2,3}0123\{0,1,2,3\}{ 0 , 1 , 2 , 3 }, {2,3,4,5}2345\{2,3,4,5\}{ 2 , 3 , 4 , 5 }, {4,5,6,7}4567\{4,5,6,7\}{ 4 , 5 , 6 , 7 }, {6,7,8,9}6789\{6,7,8,9\}{ 6 , 7 , 8 , 9 }, {8,9,10,11}891011\{8,9,10,11\}{ 8 , 9 , 10 , 11 }, which are the complete set satisfying our non-pair-breaking requirement for M=0𝑀0M=0italic_M = 0.

For the first excited state, our approach combines pair-wise excitation and pair-breaking mechanisms, utilizing both single-excitation and double-excitation gates as illustrated in Figure 2(c). We initialize the system in the state |1,3ket13|1,3\rangle| 1 , 3 ⟩ to explore the first excited state. Specifically, we apply five double excitations: {1,3,5,8}1358\{1,3,5,8\}{ 1 , 3 , 5 , 8 }, {1,3,5,10}13510\{1,3,5,10\}{ 1 , 3 , 5 , 10 }, {1,3,2,5}1325\{1,3,2,5\}{ 1 , 3 , 2 , 5 }, {1,3,7,9}1379\{1,3,7,9\}{ 1 , 3 , 7 , 9 }, {1,3,7,11}13711\{1,3,7,11\}{ 1 , 3 , 7 , 11 }, alongside three single excitations: {3,9}39\{3,9\}{ 3 , 9 }, {3,11}311\{3,11\}{ 3 , 11 }, and {1,7}17\{1,7\}{ 1 , 7 } among the qubits.

In the model space for 5858{}^{58}start_FLOATSUPERSCRIPT 58 end_FLOATSUPERSCRIPTNi, only a limited number of combinations are feasible for the second excited state (4+superscript44^{+}4 start_POSTSUPERSCRIPT + end_POSTSUPERSCRIPT). In this context, we have formulated the ansatz employing solely a single excitation, as illustrated in Figure 2(b). The system is initialized in the state |1,5ket15|1,5\rangle| 1 , 5 ⟩, explicitly applying the single excitation {1,7}17\{1,7\}{ 1 , 7 } among the qubits.

Refer to caption
(a)
Refer to caption
(b)
Refer to caption
(c)
Figure 3: The quantum circuit (a) ground state, (b) second-excited state, and (c) first-excited state used for the VQE simulations for 5858{}^{58}start_FLOATSUPERSCRIPT 58 end_FLOATSUPERSCRIPTNi. As mentioned in the main text, the circuits used are composed of a set of initial state preparation gates and single and double-excitation gates. Numbers on gates indicate qubits between which gates are acting.

II.4 Classical optimizers

Classical optimizers play a key role in hybrid quantum-classical algorithms, such as the Variational Quantum Eigensolver (VQE). The role of the classical optimizer is to adjust the parameters in the wave function ansatz - in our case the angles in each Givens rotation - to optimize the objective function - in our case minimization of the energy expectation value. Here is an overview of the different classical optimizers used in this work, which we take the built-in version from the IBM qiskit package [44].

II.4.1 COBYLA

The COBYLA (Constrained Optimization BY Linear Approximations) [45] optimizer is a derivative-free method suited for nonlinear optimization problems (which are often present in nuclear physics models), especially where gradients are unavailable or costly to compute. It employs linear approximations to construct a model of the objective function, optimizing within a dynamically adjusted trust region. COBYLA is effective for handling moderate-sized problems and constraints, making it a practical choice in various applications, but may be less efficient for large-scale optimization tasks or when gradient-based methods are applicable.

II.4.2 SLSQP

The SLSQP (Sequential Least Squares Programming) [46] optimizer is a gradient-based method effective for solving optimization problems with both linear and nonlinear constraints. It operates by iteratively solving a series of quadratic subproblems, using gradient information to refine solutions at each step. SLSQP is particularly valuable in scenarios where precision in parameter control and cohesion to constraints are crucial, as in nuclear many-body problems. While efficient for problems with available and accurate gradient information, its performance can be limited in cases where such data is difficult to compute or unreliable.

II.4.3 SPSA

The SPSA (Simultaneous Perturbation Stochastic Approximation) [47] optimizer efficiently tackles high-dimensional optimization by using stochastic methods to approximate gradients, perturbing all parameters simultaneously. This reduces computational demands, especially in problems with many variables. SPSA excels in complex, noisy scenarios, although it might need more iterations and careful tuning to converge. Its suitability for complex nuclear many-body problems comes from its ability to manage numerous variables and work effectively without exact gradient information.

II.4.4 Gradient Descent

Gradient Descent is a basic gradient-based optimization method that minimizes functions by iteratively adjusting parameters against the gradient of the objective functions. While effective for problems with well-defined gradients, its performance may suffer with local minima, non-convexities, or noisy gradients. Commonly used in machine learning, its applicability in nuclear many-body problems is limited due to difficulties in obtaining precise gradients and navigating complex energy landscapes. Despite these challenges, it can be effective if accurate gradients are available.

III Results

This section presents the results obtained from the previously prepared parameterized quantum circuit in Sec. II.3. We employ the four optimization algorithms given in the previous section: COBYLA, SLSQP, SPSA, and Gradient Descent. We investigate the performance and convergence behaviour of the different optimization algorithms in VQE simulations for computing the expectation value of 5858{}^{58}start_FLOATSUPERSCRIPT 58 end_FLOATSUPERSCRIPTNi. The optimization algorithms each navigate the parameter space adeptly, at least in the noiseless simulations we present here, avoiding barren plateaus [48] at the level of noiseless simulation. Table 2 shows a detailed breakdown of the properties associated with each circuit. Through the use of our problem-specific ansatz, the number of gates is kept low compared with more general ansatzes [25]. We have not imposed nearest-neighbour qubit interaction which is a requirement for some quantum computing hardware, and for the J=2𝐽2J=2italic_J = 2 and J=4𝐽4J=4italic_J = 4 states, doing this would increase the gate count, though this increase could be minimized with careful re-map** of single-particle states to qubits. Details of the performance of each optimizer are given in the following section.

III.1 Ground state

Refer to caption
Figure 4: Different optimizers convergence results for 12 Qubit 0+superscript00^{+}0 start_POSTSUPERSCRIPT + end_POSTSUPERSCRIPT ground state.
Refer to caption
Figure 5: Components of the ground state wave-function with different optimizers in comparison with the Shell model. The x𝑥xitalic_x-axis labels represent (j1,mα1,j2,mα2)subscript𝑗1subscript𝑚subscript𝛼1subscript𝑗2subscript𝑚subscript𝛼2(j_{1},m_{\alpha_{1}},j_{2},m_{\alpha_{2}})( italic_j start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , italic_m start_POSTSUBSCRIPT italic_α start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_POSTSUBSCRIPT , italic_j start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT , italic_m start_POSTSUBSCRIPT italic_α start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_POSTSUBSCRIPT ) and (mα1+mα2)=0subscript𝑚subscript𝛼1subscript𝑚subscript𝛼20(m_{\alpha_{1}}+m_{\alpha_{2}})=0( italic_m start_POSTSUBSCRIPT italic_α start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_POSTSUBSCRIPT + italic_m start_POSTSUBSCRIPT italic_α start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_POSTSUBSCRIPT ) = 0.
Refer to caption
Figure 6: Different optimizers convergence results for 12 Qubit 2+superscript22^{+}2 start_POSTSUPERSCRIPT + end_POSTSUPERSCRIPT ground state.
Refer to caption
Figure 7: Components of the first excited state wave-function with different optimizers in comparison with the Shell model. The x𝑥xitalic_x-axis labels represent (j1,mα1,j2,mα2)subscript𝑗1subscript𝑚subscript𝛼1subscript𝑗2subscript𝑚subscript𝛼2(j_{1},m_{\alpha_{1}},j_{2},m_{\alpha_{2}})( italic_j start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , italic_m start_POSTSUBSCRIPT italic_α start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_POSTSUBSCRIPT , italic_j start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT , italic_m start_POSTSUBSCRIPT italic_α start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_POSTSUBSCRIPT ) and (mα1+mα2)=2subscript𝑚subscript𝛼1subscript𝑚subscript𝛼22(m_{\alpha_{1}}+m_{\alpha_{2}})=2( italic_m start_POSTSUBSCRIPT italic_α start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_POSTSUBSCRIPT + italic_m start_POSTSUBSCRIPT italic_α start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_POSTSUBSCRIPT ) = 2.
Refer to caption
Figure 8: Different optimizers convergence results for 12 Qubit 4+superscript44^{+}4 start_POSTSUPERSCRIPT + end_POSTSUPERSCRIPT ground state.
Refer to caption
Figure 9: Components of the ground state wave-function with different optimizers in comparison with the Shell model.The x𝑥xitalic_x-axis labels represent (j1,mα1,j2,mα2)subscript𝑗1subscript𝑚subscript𝛼1subscript𝑗2subscript𝑚subscript𝛼2(j_{1},m_{\alpha_{1}},j_{2},m_{\alpha_{2}})( italic_j start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , italic_m start_POSTSUBSCRIPT italic_α start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_POSTSUBSCRIPT , italic_j start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT , italic_m start_POSTSUBSCRIPT italic_α start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_POSTSUBSCRIPT ) and (mα1+mα2)=4subscript𝑚subscript𝛼1subscript𝑚subscript𝛼24(m_{\alpha_{1}}+m_{\alpha_{2}})=4( italic_m start_POSTSUBSCRIPT italic_α start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_POSTSUBSCRIPT + italic_m start_POSTSUBSCRIPT italic_α start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_POSTSUBSCRIPT ) = 4.

Ground state calculations are performed using the ground state ansatz given and motivated previously. In Figure 4, we compare the different optimizer results discussed in Sec. II.4 for the ground state. As illustrated in the figure, our prepared ansatz converges with all four optimizers. Notably, COBYLA converges fastest within 80 iterations, achieving an accuracy of 103superscript10310^{-3}10 start_POSTSUPERSCRIPT - 3 end_POSTSUPERSCRIPT MeV shown in Table 3. The SLSQP also shows a similar convergence rate. This efficient convergence may be attributed to the problem-based ansatz preparation, which mitigates the presence of secondary minima. However, the other two optimizers are less advantageous for the prepared ansatz, requiring over 2000 iterations to converge to the desired state with a less accurate expectation value. The comparison between the VQE wavefunction and the classical shell model wavefunction is shown in Figure 5. The wavefunction is reproduced nicely with the VQE calculation. As 5858{}^{58}start_FLOATSUPERSCRIPT 58 end_FLOATSUPERSCRIPTNi is above magic nuclei 5656{}^{56}start_FLOATSUPERSCRIPT 56 end_FLOATSUPERSCRIPTNi (Z𝑍Zitalic_Z = 28, N𝑁Nitalic_N=28), it is expected to exhibit single-particle nature as seen in the wavefunction for the ground state. Since the maximal occupied Qubit states represent the same orbital (in this case 1p3/21subscript𝑝321p_{3/2}1 italic_p start_POSTSUBSCRIPT 3 / 2 end_POSTSUBSCRIPT with >80%absentpercent80>80\%> 80 % probability), this shows the single-particle nature of that wavefunction.

III.2 First excited state

In Figure 6, we compare the different optimizer results discussed in Sec. II.4 for the first excited state. Similar to the ground state, our prepared ansatz converges with all four optimizers. Again, COBYLA exhibits the fastest convergence, achieving convergence in 105 iterations with an accuracy of 102superscript10210^{-2}10 start_POSTSUPERSCRIPT - 2 end_POSTSUPERSCRIPT MeV, as detailed in Table 3. The remaining three optimizers converge close to the exact value but fall short of achieving precise accuracy. Similar to the ground state, SPSA and Gradient Descent take longer (more iterations) to converge. The comparison between the VQE wavefunction and the Shell model wavefunction is shown in Figure 7. The VQE calculation with COBYLA well-reproduces the reference shell model wavefunction, while the other optimizers are reasonable but miss e.g. a correct distribution across the (3/2,1/2,5/2,5/2)32125252(3/2,-1/2,5/2,5/2)( 3 / 2 , - 1 / 2 , 5 / 2 , 5 / 2 ) and (3/2,1/2,5/2,1/2)32125212(3/2,1/2,5/2,-1/2)( 3 / 2 , 1 / 2 , 5 / 2 , - 1 / 2 ) configurations. In the m-scheme wavefunction, this first excited J=2𝐽2J=2italic_J = 2 state is dominated by the (1p3/2)2superscript1subscript𝑝322(1p_{3/2})^{2}( 1 italic_p start_POSTSUBSCRIPT 3 / 2 end_POSTSUBSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT and (1p3/21p1/2)1subscript𝑝321subscript𝑝12(1p_{3/2}1p_{1/2})( 1 italic_p start_POSTSUBSCRIPT 3 / 2 end_POSTSUBSCRIPT 1 italic_p start_POSTSUBSCRIPT 1 / 2 end_POSTSUBSCRIPT ) components, with probabilities of 63.49% and 12.54%, respectively. These characteristics are mirrored in the VQE wavefunction.

III.3 Second excited state

In Figure 8, we compare the optimizer results discussed in Sec. II.4 for the second excited state. The prepared ansatz converges with all four optimizers to the exact reference value as detailed in Table 3. Notably, COBYLA and SLSQP converge in approximately 10 iterations. The perturbation parameter in SPSA has been tuned to 0.01 to get better convergence since it was showing oscillatory behaviour at the default calibration [49]. The comparison between the VQE wavefunction and the Shell model wavefunction is shown in Figure 9. The VQE calculation closely reproduces the dominant reference wavefunction, which is 1p3/20f5/21subscript𝑝320subscript𝑓521p_{3/2}0f_{5/2}1 italic_p start_POSTSUBSCRIPT 3 / 2 end_POSTSUBSCRIPT 0 italic_f start_POSTSUBSCRIPT 5 / 2 end_POSTSUBSCRIPT.

Table 2: Properties of ansatz used for the ground state, first and second excited state with the number of parameters, CNOT gates(2-qubit), RY gates(1-qubit), H gate(1-qubit), X gate(1-qubit) and circuit depth.
State No. parameters 2-qubit 1-qubit Depth
G.S. 5 70 72 96
1stsuperscript1𝑠𝑡1^{st}1 start_POSTSUPERSCRIPT italic_s italic_t end_POSTSUPERSCRIPT e.s. 7 82 78 108
2ndsuperscript2𝑛𝑑2^{nd}2 start_POSTSUPERSCRIPT italic_n italic_d end_POSTSUPERSCRIPT e.s. 1 4 4 7
Table 3: Summary of the results for the ground state (g.s.), first excited state (1stsuperscript1𝑠𝑡1^{st}1 start_POSTSUPERSCRIPT italic_s italic_t end_POSTSUPERSCRIPT e.s.), and second excited state (2ndsuperscript2𝑛𝑑2^{nd}2 start_POSTSUPERSCRIPT italic_n italic_d end_POSTSUPERSCRIPT e.s.) alongside the shell model value for 5858{}^{58}start_FLOATSUPERSCRIPT 58 end_FLOATSUPERSCRIPTNi in pf𝑝𝑓pfitalic_p italic_f model space. The exact result, obtained with exact diagonalization of the Hamiltonian and the EUCCsubscript𝐸𝑈𝐶𝐶E_{UCC}italic_E start_POSTSUBSCRIPT italic_U italic_C italic_C end_POSTSUBSCRIPT energy is obtained by minimizing the Hamiltonian using ansatz.
EUCCsubscript𝐸𝑈𝐶𝐶E_{UCC}italic_E start_POSTSUBSCRIPT italic_U italic_C italic_C end_POSTSUBSCRIPT
  State    SM   Eexactsubscript𝐸𝑒𝑥𝑎𝑐𝑡E_{exact}italic_E start_POSTSUBSCRIPT italic_e italic_x italic_a italic_c italic_t end_POSTSUBSCRIPT  COBYLA  SLSQP   SPSA   GD
G.S. -20.990 -20.990 -20.990 -20.990 -20.988 -20.990
1stsuperscript1𝑠𝑡1^{st}1 start_POSTSUPERSCRIPT italic_s italic_t end_POSTSUPERSCRIPT e.s. -20.024 -20.024 -20.022 -19.919 -19.912 -19.918
2ndsuperscript2𝑛𝑑2^{nd}2 start_POSTSUPERSCRIPT italic_n italic_d end_POSTSUPERSCRIPT e.s. -18.908 -18.908 -18.908 -18.908 -18.908 -18.908

IV Conclusion

The nuclear shell model provides a method to calculate properties of atomic nuclei in which nucleons interact in a given model space of single-particle states. By map** single particle states to qubits, and using a suitable method to prepare wavefunctions – in our case, tailored ansatz and VQE algorithm – we have been able to extend the simulated quantum computation of nuclei up to the 5858{}^{58}start_FLOATSUPERSCRIPT 58 end_FLOATSUPERSCRIPTNi isotope, finding exact results for the lowest 0+superscript00^{+}0 start_POSTSUPERSCRIPT + end_POSTSUPERSCRIPT, 2+superscript22^{+}2 start_POSTSUPERSCRIPT + end_POSTSUPERSCRIPT, and 4+superscript44^{+}4 start_POSTSUPERSCRIPT + end_POSTSUPERSCRIPT states.

Prospects for the method include a straightforward extension to other nuclei in the fp𝑓𝑝fpitalic_f italic_p shell, which requires no new qubits but more complicated circuits; possible simplification of the circuits through compilation or approximation techniques; and extension to heavier nuclei where the increasing single particle model space involves a linear increase in qubit number, automatically accompanied by an exponential increase in the size of the Hilbert space which hinders classical shell model calculations. Such simulated quantum computer calculations as we have shown will form the check of real quantum computation for future calculations.

Acknowledgements

This work is supported by the UK STFC under the Quantum Technologies for Fundamental Physics programme, with grant ST/W006472/1. We acknowledge useful discussions with Joe Gibbs about the wave function ansatzes.

Appendix A m𝑚mitalic_m-scheme TBMEs

Table 4: The m𝑚mitalic_m-scheme TBMEs v¯αβγδsubscript¯𝑣𝛼𝛽𝛾𝛿\overline{v}_{\alpha\beta\gamma\delta}over¯ start_ARG italic_v end_ARG start_POSTSUBSCRIPT italic_α italic_β italic_γ italic_δ end_POSTSUBSCRIPT in MeV (Equation 2) of JUN45 interaction [32]. There is one to one map** between the m𝑚mitalic_m-scheme basis (α𝛼\alphaitalic_α) and the qubits (Table 1).The core is taken as 5656{}^{56}start_FLOATSUPERSCRIPT 56 end_FLOATSUPERSCRIPTNi, and the single-particle energies are considered -9.8280, -8.7087 and -7.8388 MeV for the p3/2subscript𝑝32p_{3/2}italic_p start_POSTSUBSCRIPT 3 / 2 end_POSTSUBSCRIPT, f5/2subscript𝑓52f_{5/2}italic_f start_POSTSUBSCRIPT 5 / 2 end_POSTSUBSCRIPT and p1/2subscript𝑝12p_{1/2}italic_p start_POSTSUBSCRIPT 1 / 2 end_POSTSUBSCRIPT orbital, respectively. The TBMEs should be multiplied by a mass-scaling factor (A/58)0.3superscript𝐴580.3{(A/58)}^{-0.3}( italic_A / 58 ) start_POSTSUPERSCRIPT - 0.3 end_POSTSUPERSCRIPT in J𝐽Jitalic_J-scheme, for any nuclei of mass A𝐴Aitalic_A. Here T𝑇Titalic_T = 1 and MTsubscript𝑀𝑇M_{T}italic_M start_POSTSUBSCRIPT italic_T end_POSTSUBSCRIPT = mtα+mtβsubscript𝑚𝑡𝛼subscript𝑚𝑡𝛽m_{t\alpha}+m_{t\beta}italic_m start_POSTSUBSCRIPT italic_t italic_α end_POSTSUBSCRIPT + italic_m start_POSTSUBSCRIPT italic_t italic_β end_POSTSUBSCRIPT, as we have calculated only for the same type of nuclei (nn𝑛𝑛nnitalic_n italic_n and pp𝑝𝑝ppitalic_p italic_p).
  α𝛼\alphaitalic_α   β𝛽\betaitalic_β   γ𝛾\gammaitalic_γ  δ𝛿\deltaitalic_δ  M   v¯¯𝑣\overline{v}over¯ start_ARG italic_v end_ARG   α𝛼\alphaitalic_α   β𝛽\betaitalic_β   γ𝛾\gammaitalic_γ  δ𝛿\deltaitalic_δ  M   v¯¯𝑣\overline{v}over¯ start_ARG italic_v end_ARG   α𝛼\alphaitalic_α   β𝛽\betaitalic_β   γ𝛾\gammaitalic_γ  δ𝛿\deltaitalic_δ  M   v¯¯𝑣\overline{v}over¯ start_ARG italic_v end_ARG
1 0 1 0 0 -0.2017 3 2 1 0 0 0.4476 0 7 1 6 0 -0.0815
1 0 1 6 0 -0.1637 3 2 1 6 0 -0.1637 0 7 3 2 0 -0.1637
1 0 3 2 0 0.4476 3 2 3 2 0 -0.2017 0 7 3 8 0 -0.0862
1 0 3 8 0 0.0668 3 2 3 8 0 0.0668 0 7 3 10 0 -0.1607
1 0 3 10 0 -0.2966 3 2 3 10 0 -0.2966 0 7 2 9 0 -0.1130
1 0 2 9 0 0.0668 3 2 2 9 0 0.0668 0 7 2 11 0 -0.1781
1 0 2 11 0 -0.2966 3 2 2 11 0 -0.2966 0 7 0 7 0 0.2850
1 0 0 7 0 -0.1637 3 2 0 7 0 -0.1637 0 7 5 4 0 -0.3415
1 0 5 4 0 -0.5585 3 2 5 4 0 0.1277 0 7 7 6 0 -0.1464
1 0 7 6 0 0.3000 3 2 7 6 0 -0.3862 0 7 9 8 0 0.1951
1 0 9 8 0 -0.1707 3 2 9 8 0 0.5154 0 7 9 10 0 -0.2178
1 0 9 10 0 -0.1156 3 2 9 10 0 -0.1156 0 7 8 11 0 0.0578
1 0 8 11 0 0.1156 3 2 8 11 0 0.1156 5 4 1 0 0 -0.5585
1 0 11 10 0 -0.8593 3 2 11 10 0 0.8593 5 4 1 6 0 -0.3415
1 6 1 0 0 -0.1637 3 8 1 0 0 0.0668 5 4 3 2 0 0.1277
1 6 1 6 0 0.2850 3 8 1 6 0 -0.1130 5 4 3 8 0 0.0597
1 6 3 2 0 -0.1637 3 8 3 2 0 0.0668 5 4 3 10 0 -0.2178
1 6 3 8 0 -0.1130 3 8 3 8 0 0.0873 5 4 2 9 0 0.0597
1 6 3 10 0 -0.1781 3 8 3 10 0 0.0798 5 4 2 11 0 -0.2178
1 6 2 9 0 -0.0862 3 8 2 9 0 -0.2902 5 4 0 7 0 -0.3415
1 6 2 11 0 -0.1607 3 8 2 11 0 0.0585 5 4 5 4 0 -0.4098
1 6 0 7 0 -0.0815 3 8 0 7 0 -0.0862 5 4 7 6 0 0.4424
1 6 5 4 0 -0.3415 3 8 5 4 0 0.0597 5 4 9 8 0 -0.3327
1 6 7 6 0 -0.1464 3 8 7 6 0 -0.1793 5 4 9 10 0 -0.2071
1 6 9 8 0 0.1951 3 8 9 8 0 -0.2390 5 4 8 11 0 0.2071
1 6 9 10 0 -0.0578 3 8 9 10 0 0.1216 5 4 11 10 0 -0.3401
1 6 8 11 0 0.2178 3 8 8 11 0 0.0091 7 6 1 0 0 0.3000
3 10 1 0 0 -0.2966 2 9 0 7 0 -0.1130 7 6 1 6 0 -0.1464
3 10 1 6 0 -0.1781 2 9 5 4 0 0.0597 7 6 3 2 0 -0.3862
3 10 3 2 0 -0.2966 2 9 7 6 0 -0.1793 7 6 3 8 0 -0.1793
3 10 3 8 0 0.0798 2 9 9 8 0 -0.2390 7 6 3 10 0 -0.0436
3 10 3 10 0 0.1507 2 9 9 10 0 -0.0091 7 6 2 9 0 -0.1793
3 10 2 9 0 0.0585 2 9 8 11 0 -0.1216 7 6 2 11 0 -0.0436
3 10 2 11 0 -0.3644 2 11 1 0 0 -0.2966 7 6 0 7 0 -0.1464
3 10 0 7 0 -0.1607 2 11 1 6 0 -0.1607 7 6 5 4 0 0.4424
3 10 5 4 0 -0.2178 2 11 3 2 0 -0.2966 7 6 7 6 0 -0.2343
3 10 7 6 0 -0.0436 2 11 3 8 0 0.0585 7 6 9 8 0 0.5082
3 10 9 8 0 0.1742 2 11 3 10 0 -0.3644 7 6 9 10 0 -0.0414
3 10 9 10 0 -0.1220 2 11 2 9 0 0.0798 7 6 8 11 0 0.0414
3 10 8 11 0 0.1220 2 11 2 11 0 0.1507 7 6 11 10 0 0.3401
2 9 1 0 0 0.0668 2 11 0 7 0 -0.1781 9 8 1 0 0 -0.1707
2 9 1 6 0 -0.0862 2 11 5 4 0 -0.2178 9 8 1 6 0 0.1951
2 9 3 2 0 0.0668 2 11 7 6 0 -0.0436 9 8 3 2 0 0.5154
2 9 3 8 0 -0.2902 2 11 9 8 0 0.1742 9 8 3 8 0 -0.2390
2 9 3 10 0 0.0585 2 11 9 10 0 -0.1220 9 8 3 10 0 0.1742
2 9 2 9 0 0.0873 2 11 8 11 0 0.1220 9 8 2 9 0 -0.2390
2 9 2 11 0 0.0798 0 7 1 0 0 -0.1637 9 8 2 11 0 0.1742
Table 4: Continuation.
  α𝛼\alphaitalic_α   β𝛽\betaitalic_β   γ𝛾\gammaitalic_γ  δ𝛿\deltaitalic_δ  M   v¯¯𝑣\overline{v}over¯ start_ARG italic_v end_ARG   α𝛼\alphaitalic_α   β𝛽\betaitalic_β   γ𝛾\gammaitalic_γ  δ𝛿\deltaitalic_δ  M   v¯¯𝑣\overline{v}over¯ start_ARG italic_v end_ARG   α𝛼\alphaitalic_α   β𝛽\betaitalic_β   γ𝛾\gammaitalic_γ  δ𝛿\deltaitalic_δ  M   v¯¯𝑣\overline{v}over¯ start_ARG italic_v end_ARG
9 8 0 7 0 0.1951 1 8 1 10 1 -0.1091 2 7 9 11 1 -0.0813
9 8 5 4 0 -0.3327 1 8 3 9 1 -0.1807 0 5 1 2 1 -0.2113
9 8 7 6 0 0.5082 1 8 3 11 1 -0.1766 0 5 1 8 1 -0.0645
9 8 9 8 0 -0.3440 1 8 2 7 1 -0.1361 0 5 1 10 1 -0.0924
9 8 9 10 0 0.1657 1 8 0 5 1 -0.0645 0 5 3 9 1 -0.0270
9 8 8 11 0 -0.1657 1 8 5 6 1 -0.3857 0 5 3 11 1 -0.1991
9 8 11 10 0 -0.3401 1 8 7 8 1 0.0487 0 5 2 7 1 -0.0702
9 10 1 0 0 -0.1156 1 8 7 10 1 -0.0578 0 5 0 5 1 0.3394
9 10 1 6 0 -0.0578 1 8 9 11 1 0.2106 0 5 5 6 1 -0.3415
9 10 3 2 0 -0.1156 1 10 1 2 1 -0.2966 0 5 7 8 1 0.1542
9 10 3 8 0 0.1216 1 10 1 8 1 -0.1091 0 5 7 10 1 -0.1874
9 10 3 10 0 -0.1220 1 10 1 10 1 0.3328 0 5 9 11 1 0.0431
9 10 2 9 0 -0.0091 1 10 3 9 1 0.1091 5 6 1 2 1 -0.3338
9 10 2 11 0 -0.1220 1 10 3 11 1 -0.3155 5 6 1 8 1 -0.3857
9 10 0 7 0 -0.2178 1 10 2 7 1 -0.0413 5 6 1 10 1 -0.1687
9 10 5 4 0 -0.2071 1 10 0 5 1 -0.0924 5 6 3 9 1 0.1335
9 10 7 6 0 -0.0414 1 10 5 6 1 -0.1687 5 6 3 11 1 -0.2922
9 10 9 8 0 0.1657 1 10 7 8 1 0.1067 5 6 2 7 1 -0.1890
9 10 9 10 0 -0.0024 1 10 7 10 1 -0.0996 5 6 0 5 1 -0.3415
9 10 8 11 0 0.4076 1 10 9 11 1 0.0704 5 6 5 6 1 0.0326
8 11 1 0 0 0.1156 3 9 1 2 1 0.1929 5 6 7 8 1 0.1387
8 11 1 6 0 0.2178 3 9 1 8 1 -0.1807 5 6 7 1 1 -0.2619
8 11 3 2 0 0.1156 3 9 1 10 1 0.1091 5 6 9 1 1 0.1852
8 11 3 8 0 0.0091 3 9 3 9 1 -0.0018 7 8 1 2 1 0.2111
8 11 3 10 0 0.1220 3 9 3 11 1 0.1675 7 8 1 8 1 0.0487
8 11 2 9 0 -0.1216 3 9 2 7 1 -0.2448 7 8 1 1 1 0.1067
8 11 2 11 0 0.1220 3 9 0 5 1 -0.0270 7 8 3 9 1 -0.4226
8 11 0 7 0 0.0578 3 9 5 6 1 0.1335 7 8 3 1 1 0.1848
8 11 5 4 0 0.2071 3 9 7 8 1 -0.4226 7 8 2 7 1 -0.1196
8 11 7 6 0 0.0414 3 9 7 10 1 0.1480 7 8 0 5 1 0.1542
8 11 9 8 0 -0.1657 3 9 9 11 1 -0.0720 7 8 5 6 1 0.1387
8 11 9 10 0 0.4076 3 11 1 2 1 -0.5137 7 8 7 8 1 0.1643
8 11 8 11 0 -0.0024 3 11 1 8 1 -0.1766 7 8 7 10 1 0.1657
11 10 1 0 0 -0.8593 3 11 1 10 1 -0.3155 7 8 9 11 1 -0.1171
11 10 3 2 0 0.8593 3 11 3 9 1 0.1675 7 10 1 2 1 -0.1888
11 10 5 4 0 -0.3401 3 11 3 11 1 -0.0315 7 10 1 8 1 -0.0578
11 10 7 6 0 0.3401 3 11 2 7 1 -0.0413 7 10 1 10 1 -0.0996
11 10 9 8 0 -0.3401 3 11 0 5 1 -0.1991 7 10 3 9 1 0.1480
11 10 11 10 0 0.0309 3 11 5 6 1 -0.2922 7 10 3 11 1 -0.1725
1 2 1 2 1 0.2459 3 11 7 8 1 0.1848 7 10 2 7 1 -0.1137
1 2 1 8 1 -0.2005 3 11 7 10 1 -0.1725 7 10 0 5 1 -0.1874
1 2 1 10 1 -0.2966 3 11 9 11 1 0.1220 7 10 5 6 1 -0.2619
1 2 3 9 1 0.1929 2 7 1 2 1 -0.0546 7 10 7 8 1 0.1657
1 2 3 11 1 -0.5137 2 7 1 8 1 -0.1361 7 10 7 10 1 -0.1383
1 2 2 7 1 -0.0546 2 7 1 10 1 -0.0413 7 10 9 11 1 0.3842
1 2 0 5 1 -0.2113 2 7 3 9 1 -0.2448 9 11 1 2 1 0.1335
1 2 5 6 1 -0.3338 2 7 3 11 1 -0.0413 9 11 1 8 1 0.2106
1 2 7 8 1 0.2111 2 7 2 7 1 0.1912 9 11 1 10 1 0.0704
1 2 7 10 1 -0.1888 2 7 0 5 1 -0.0702 9 11 3 9 1 -0.0720
1 2 9 11 1 0.1335 2 7 5 6 1 -0.1890 9 11 3 11 1 0.1220
1 8 1 2 1 -0.2005 2 7 7 8 1 -0.1196 9 11 2 7 1 -0.0813
1 8 1 8 1 0.2159 2 7 7 10 1 -0.1137 9 11 0 5 1 0.0431
Table 4: Continuation.
  α𝛼\alphaitalic_α   β𝛽\betaitalic_β   γ𝛾\gammaitalic_γ  δ𝛿\deltaitalic_δ  M   v¯¯𝑣\overline{v}over¯ start_ARG italic_v end_ARG   α𝛼\alphaitalic_α   β𝛽\betaitalic_β   γ𝛾\gammaitalic_γ  δ𝛿\deltaitalic_δ  M   v¯¯𝑣\overline{v}over¯ start_ARG italic_v end_ARG   α𝛼\alphaitalic_α   β𝛽\betaitalic_β   γ𝛾\gammaitalic_γ  δ𝛿\deltaitalic_δ  M   v¯¯𝑣\overline{v}over¯ start_ARG italic_v end_ARG
9 11 5 6 1 0.1852 5 8 3 7 2 -0.0001 1 4 3 0 -1 -0.2113
9 11 7 8 1 -0.1171 5 8 2 5 2 -0.3585 1 4 3 6 -1 -0.0702
9 11 7 10 1 0.3842 5 8 5 8 2 0.1423 1 4 2 8 -1 -0.0270
9 11 9 11 1 0.1334 5 8 5 10 2 -0.2071 1 4 2 10 -1 -0.1991
1 3 1 3 2 0.2459 5 8 7 9 2 0.1471 1 4 0 9 -1 -0.0645
1 3 1 9 2 -0.1336 5 8 7 11 2 0.0926 1 4 0 11 -1 -0.0924
1 3 1 11 2 -0.5932 5 10 1 3 2 -0.2111 1 4 7 4 -1 -0.3415
1 3 3 7 2 0.2182 5 10 1 9 2 -0.0431 1 4 9 6 -1 0.1542
1 3 2 5 2 -0.2440 5 10 1 11 2 -0.2227 1 4 8 10 -1 -0.0431
1 3 5 8 2 -0.2360 5 10 3 7 2 0.1434 1 4 6 11 -1 0.1874
1 3 5 10 2 -0.2111 5 10 2 5 2 -0.2420 3 0 1 4 -1 -0.2113
1 3 7 9 2 0.3166 5 10 5 8 2 -0.2071 3 0 3 0 -1 0.2459
1 3 7 11 2 0.0944 5 10 5 10 2 -0.2742 3 0 3 6 -1 -0.0546
1 9 1 3 2 -0.1336 5 10 7 9 2 0.2778 3 0 2 8 -1 0.1929
1 9 1 9 2 0.1115 5 10 7 11 2 0.3038 3 0 2 10 -1 -0.5137
1 9 1 11 2 -0.1383 7 9 1 3 2 0.3166 3 0 0 9 -1 -0.2005
1 9 3 7 2 -0.2611 7 9 1 9 2 0.0487 3 0 0 11 -1 -0.2966
1 9 2 5 2 -0.1386 7 9 1 11 2 0.3201 3 0 7 4 -1 -0.3338
1 9 5 8 2 -0.3273 7 9 3 7 2 -0.4780 3 0 9 6 -1 0.2111
1 9 5 10 2 -0.0431 7 9 2 5 2 0.2672 3 0 8 10 -1 -0.1335
1 9 7 9 2 0.0487 7 9 5 8 2 0.1471 3 0 6 11 -1 0.1888
1 9 7 11 2 0.1793 7 9 5 10 2 0.2778 3 6 1 4 -1 -0.0702
1 11 1 3 2 -0.5932 7 9 7 9 2 0.0546 3 6 3 0 -1 -0.0546
1 11 1 9 2 -0.1383 7 9 7 11 2 -0.1243 3 6 3 6 -1 0.1912
1 11 1 11 2 -0.2137 7 11 1 3 2 0.0944 3 6 2 8 -1 -0.2448
1 11 3 7 2 0.2258 7 11 1 9 2 0.1793 3 6 2 10 -1 -0.0413
1 11 2 5 2 -0.2525 7 11 1 11 2 0.0996 3 6 0 9 -1 -0.1361
1 11 5 8 2 -0.2386 7 11 3 7 2 -0.1295 3 6 0 11 -1 -0.0413
1 11 5 10 2 -0.2227 7 11 2 5 2 -0.0379 3 6 7 4 -1 -0.1890
1 11 7 9 2 0.3201 7 11 5 8 2 0.0926 3 6 9 6 -1 -0.1196
1 11 7 11 2 0.0996 7 11 5 10 2 0.3038 3 6 8 10 -1 0.0813
3 7 1 3 2 0.2182 7 11 7 9 2 -0.1243 3 6 6 11 -1 0.1137
3 7 1 9 2 -0.2611 7 11 7 11 2 0.2693 2 8 1 4 -1 -0.0270
3 7 1 11 2 0.2258 1 7 1 7 3 -0.0484 2 8 3 0 -1 0.1929
3 7 3 7 2 -0.0150 1 7 3 5 3 -0.3045 2 8 3 6 -1 -0.2448
3 7 2 5 2 -0.1252 1 7 5 9 3 -0.3086 2 8 2 8 -1 -0.0018
3 7 5 8 2 -0.0001 1 7 5 11 3 0.1265 2 8 2 10 -1 0.1675
3 7 5 10 2 0.1434 3 5 1 7 3 -0.3045 2 8 0 9 -1 -0.1807
3 7 7 9 2 -0.4780 3 5 3 5 3 0.1089 2 8 0 11 -1 0.1091
3 7 7 11 2 -0.1295 3 5 5 9 3 -0.2391 2 8 7 4 -1 0.1335
2 5 1 3 2 -0.2440 3 5 5 11 3 -0.1633 2 8 9 6 -1 -0.4226
2 5 1 9 2 -0.1386 5 9 1 7 3 -0.3086 2 8 8 10 -1 0.0720
2 5 1 11 2 -0.2525 5 9 3 5 3 -0.2391 2 8 6 11 -1 -0.1480
2 5 3 7 2 -0.1252 5 9 5 9 3 0.2520 2 10 1 4 -1 -0.1991
2 5 2 5 2 0.2488 5 11 1 7 3 0.1265 2 10 3 0 -1 -0.5137
2 5 5 8 2 -0.3585 5 11 3 5 3 -0.1633 2 10 3 6 -1 -0.0413
2 5 5 10 2 -0.2420 5 11 5 11 3 0.4051 2 10 2 8 -1 0.1675
2 5 7 9 2 0.2672 1 5 1 5 4 -0.2842 2 10 2 10 -1 -0.0315
2 5 7 11 2 -0.0379 1 5 5 7 4 -0.3904 2 10 0 9 -1 -0.1766
5 8 1 3 2 -0.2360 5 7 1 5 4 -0.3904 2 10 0 11 -1 -0.3155
5 8 1 9 2 -0.3273 5 7 5 7 4 0.2520 2 10 7 4 -1 -0.2922
5 8 1 11 2 -0.2386 1 4 1 4 -1 0.3394 2 10 9 6 -1 0.1848
Table 4: Continuation.
  α𝛼\alphaitalic_α   β𝛽\betaitalic_β   γ𝛾\gammaitalic_γ  δ𝛿\deltaitalic_δ  M   v¯¯𝑣\overline{v}over¯ start_ARG italic_v end_ARG   α𝛼\alphaitalic_α   β𝛽\betaitalic_β   γ𝛾\gammaitalic_γ  δ𝛿\deltaitalic_δ  M   v¯¯𝑣\overline{v}over¯ start_ARG italic_v end_ARG   α𝛼\alphaitalic_α   β𝛽\betaitalic_β   γ𝛾\gammaitalic_γ  δ𝛿\deltaitalic_δ  M   v¯¯𝑣\overline{v}over¯ start_ARG italic_v end_ARG
2 10 8 10 -1 -0.1220 8 10 9 6 -1 0.1171 0 10 0 8 -2 -0.1383
2 10 6 11 -1 0.1725 8 10 8 10 -1 0.1334 0 10 2 6 -2 0.2258
0 9 1 4 -1 -0.0645 8 10 6 11 -1 0.3842 3 4 3 4 -2 0.2488
0 9 3 0 -1 -0.2005 6 11 1 4 -1 0.1874 3 4 2 0 -2 -0.2440
0 9 3 6 -1 -0.1361 6 11 3 0 -1 0.1888 0 10 0 10 -2 -0.2137
0 9 2 8 -1 -0.1807 6 11 3 6 -1 0.1137 0 10 9 4 -2 -0.2386
0 9 2 10 -1 -0.1766 6 11 2 8 -1 -0.1480 0 10 8 6 -2 0.3201
0 9 0 9 -1 0.2159 6 11 2 10 -1 0.1725 0 10 6 10 -2 -0.0996
0 9 0 11 -1 -0.1091 6 11 0 9 -1 0.0578 0 10 4 11 -2 0.2227
0 9 7 4 -1 -0.3857 6 11 0 11 -1 0.0996 9 4 3 4 -2 -0.3585
0 9 9 6 -1 0.0487 6 11 7 4 -1 0.2619 9 4 2 0 -2 -0.2360
0 9 8 10 -1 -0.2106 6 11 9 6 -1 -0.1657 9 4 2 6 -2 -0.0001
0 9 6 11 -1 0.0578 6 11 8 10 -1 0.3842 9 4 0 8 -2 -0.3273
0 11 1 4 -1 -0.0924 6 11 6 11 -1 -0.1383 9 4 0 10 -2 -0.2386
0 11 3 0 -1 -0.2966 8 10 0 11 -1 -0.0704 9 4 9 4 -2 0.1423
0 11 3 6 -1 -0.0413 8 10 7 4 -1 -0.1852 9 4 8 6 -2 0.1471
0 11 2 8 -1 0.1091 3 4 2 6 -2 -0.1252 9 4 6 10 -2 -0.0926
0 11 2 10 -1 -0.3155 3 4 0 8 -2 -0.1386 9 4 4 11 -2 0.2071
0 11 0 9 -1 -0.1091 3 4 0 10 -2 -0.2525 8 6 3 4 -2 0.2672
0 11 0 11 -1 0.3328 3 4 9 4 -2 -0.3585 8 6 2 0 -2 0.3166
0 11 7 4 -1 -0.1687 3 4 8 6 -2 0.2672 8 6 2 6 -2 -0.4780
0 11 9 6 -1 0.1067 3 4 6 10 -2 0.0379 8 6 0 8 -2 0.0487
0 11 8 10 -1 -0.0704 3 4 4 11 -2 0.2420 8 6 0 10 -2 0.3201
0 11 6 11 -1 0.0996 2 0 3 4 -2 -0.2440 8 6 9 4 -2 0.1471
7 4 1 4 -1 -0.3415 2 0 2 0 -2 0.2459 8 6 8 6 -2 0.0546
7 4 3 0 -1 -0.3338 2 0 2 6 -2 0.2182 8 6 6 10 -2 0.1243
7 4 3 6 -1 -0.1890 2 0 0 8 -2 -0.1336 8 6 4 11 -2 -0.2778
7 4 2 8 -1 0.1335 2 0 0 10 -2 -0.5932 6 10 3 4 -2 0.0379
7 4 2 10 -1 -0.2922 2 0 9 4 -2 -0.2360 6 10 2 0 -2 -0.0944
7 4 0 9 -1 -0.3857 2 0 8 6 -2 0.3166 6 10 2 6 -2 0.1295
7 4 0 11 -1 -0.1687 2 0 6 10 -2 -0.0944 6 10 0 8 -2 -0.1793
7 4 7 4 -1 0.0326 2 0 4 11 -2 0.2111 6 10 0 10 -2 -0.0996
7 4 9 6 -1 0.1387 2 6 3 4 -2 -0.1252 6 10 9 4 -2 -0.0926
7 4 8 10 -1 -0.1852 2 6 2 0 -2 0.2182 6 10 8 6 -2 0.1243
7 4 6 11 -1 0.2619 2 6 2 6 -2 -0.0150 6 10 6 10 -2 0.2693
9 6 1 4 -1 0.1542 2 6 0 8 -2 -0.2611 6 10 4 11 -2 0.3038
9 6 3 0 -1 0.2111 2 6 0 10 -2 0.2258 4 11 3 4 -2 0.2420
9 6 3 6 -1 -0.1196 2 6 9 4 -2 -0.0001 4 11 2 0 -2 0.2111
9 6 2 8 -1 -0.4226 2 6 8 6 -2 -0.4780 4 11 2 6 -2 -0.1434
9 6 2 10 -1 0.1848 2 6 6 10 -2 0.1295 4 11 0 8 -2 0.0431
9 6 0 9 -1 0.0487 2 6 4 11 -2 -0.1434 4 11 0 10 -2 0.2227
9 6 0 11 -1 0.1067 0 8 3 4 -2 -0.1386 4 11 9 4 -2 0.2071
9 6 7 4 -1 0.1387 0 8 2 0 -2 -0.1336 4 11 8 6 -2 -0.2778
9 6 9 6 -1 0.1643 0 8 2 6 -2 -0.2611 4 11 6 10 -2 0.3038
9 6 8 10 -1 0.1171 0 8 0 8 -2 0.1115 4 11 4 11 -2 -0.2742
9 6 6 11 -1 -0.1657 0 8 0 10 -2 -0.1383 2 4 2 4 -3 0.1089
8 10 1 4 -1 -0.0431 0 8 9 4 -2 -0.3273 2 4 0 6 -3 -0.3045
8 10 3 0 -1 -0.1335 0 8 8 6 -2 0.0487 2 4 8 4 -3 -0.2391
8 10 3 6 -1 0.0813 0 8 6 10 -2 -0.1793 2 4 4 10 -3 0.1633
8 10 2 8 -1 0.0720 0 8 4 11 -2 0.0431 0 6 2 4 -3 -0.3045
8 10 2 10 -1 -0.1220 0 10 3 4 -2 -0.2525 0 6 0 6 -3 -0.0484
8 10 0 9 -1 -0.2106 0 10 2 0 -2 -0.5932 0 6 8 4 -3 -0.3086
Table 4: Continuation.
  α𝛼\alphaitalic_α   β𝛽\betaitalic_β   γ𝛾\gammaitalic_γ  δ𝛿\deltaitalic_δ  M   v¯¯𝑣\overline{v}over¯ start_ARG italic_v end_ARG   α𝛼\alphaitalic_α   β𝛽\betaitalic_β   γ𝛾\gammaitalic_γ  δ𝛿\deltaitalic_δ  M   v¯¯𝑣\overline{v}over¯ start_ARG italic_v end_ARG   α𝛼\alphaitalic_α   β𝛽\betaitalic_β   γ𝛾\gammaitalic_γ  δ𝛿\deltaitalic_δ  M   v¯¯𝑣\overline{v}over¯ start_ARG italic_v end_ARG
0 6 4 10 -3 -0.1265 4 10 2 4 -3 0.1633 0 4 6 4 -4 -0.3904
8 4 2 4 -3 -0.2391 4 10 0 6 -3 -0.1265 6 4 0 4 -4 -0.3904
8 4 0 6 -3 -0.3086 4 10 4 10 -3 0.4051 6 4 6 4 -4 0.2520
8 4 8 4 -3 0.2520 0 4 0 4 -4 -0.2842

References