Integrating Quantum Algorithms With Gravitational-Wave Metrology For Enhanced Signal Detection
Integrating Quantum Algorithms With Gravitational-Wave Metrology For Enhanced Signal Detection
Abstract:- This study explores the integration of sensors. The integration of quantum technologies aims to
quantum algorithms, specifically Grover's algorithm, enhance sensitivity and create scalable solutions for
with quantum metrology to enhance the efficiency and understanding mysterious phenomena in the universe.
sensitivity of gravitational-wave detection. By combining
quantum matched filtering with precise parameter II. BACKGROUND
estimation techniques, the research aims to optimize
sensor networks for the identification of gravitational The combination of Quantum algorithm for
waves. This integrated approach leverages the strengths gravitationalwave matched filtering and quantum metrology
of quantum superposition and entanglement to improve presents a comprehensive solution for selecting the most
signal detection, reduce noise, and strategically place effective quantum sensor network for detecting gravitational
sensors. The findings demonstrate significant waves. By integrating these two techniques, we can improve
improvements in the sensitivity and accuracy of the network's performance in terms of efficiency and
gravitational wave measurements, highlighting the sensitivity, ultimately advancing our understanding of
potential of quantum technologies to revolutionize elusive cosmic phenomena.
observational astronomy and enhance our
understanding of the universe. Swift Signal Detection: Utilizing Grover's algorithm, the
Quantum Algorithm for Gravitational-Wave Matched
Keywords:- Quantum Algorithms, Gravitational-Wave Filtering accelerates signal detection in noisy data,
Detection, LIGO/Virgo Data Analysis, Matched Filtering, significantly reducing identification time.
Quantum Metrology, Parameter Estimation. Precise Parameter Estimation: Quantum metrology
complements matched filtering by providing accurate
I. INTRODUCTION measurements of crucial parameters like frequency,
amplitude, and phase associated with gravitational wave
Exploring the transformative potential of quantum signals. This precision enhances the overall accuracy of
technologies has opened promising avenues in quantum the detection process.
sensing and communication. Quantum computers, although Heightened Sensitivity: The synergy between quantum
still developing, offer solutions to complex problems metrology and the quantum algorithm amplifies sensor
beyond classical computers' reach. Alongside quantum sensitivity, enabling the detection of even faint
computing, Noisy Intermediate-Scale Quantum (NISQ) gravitational wave signals that may elude classical
devices have emerged as significant frontiers. Despite sensors.
inherent errors, NISQ computers exhibit unique capabilities Noise Reduction: Quantum metrology contributes to
in various applications like optimization and cryptography. noise reduction within the network, ensuring high-
In quantum sensing, they show promise in enhancing quality data collection necessary for accurate template
detection precision, including potential roles in gravitational matching in the filtering process.
wave detection. Gravitational waves, originating from Strategic Sensor Placement: Quantum metrology assists
massive cosmic events, present challenges for study. While in determining optimal sensor placement by estimating
traditional detectors like LIGO and Virgo are effective, parameters related to the gravitational wave source, such
they're costly and have limitations, prompting exploration of as its location and propagation direction, thus optimizing
more efficient methods, like integrating quantum sensors signal detection efficiency.
into networks. Research investigates integrating quantum Scalability: This integrated approach facilitates the
sensing and communication in NISQ sensor networks for efficient scalability of quantum sensor networks to
gravitational wave detection. Advanced quantum algorithms accommodate diverse research scenarios and evolving
such as Quantum Algorithm for Gravitational-Wave scientific requirements.
Matched Filtering aim to leverage quantum properties for
improved detection. Quantum metrology parameter
estimation holds promise for navigation, timekeeping, and
environmental monitoring. The study addresses practical
implications and challenges of deploying quantum-enhanced
The integration of advanced quantum techniques holds Variational Parameter Estimation and Quantum
immense potential in revolutionizing gravitational wave Metrology
detection. By combining innovative quantum algorithms and Variational parameter estimation is a powerful
precise parameter estimation, we can tailor sensor networks technique in quantum computation,[2] particularly in the
for improved performance, accelerating signal detection, context of metrology. Quantum metrology leverages the
refining measurements, and minimizing noise. Ultimately, principles of quantum superposition and entanglement to
this advancement brings us closer to unlocking the mysteries achieve measurements with higher precision than classical
of the universe with greater accuracy and efficiency. methods allow. Variational circuits, parameterized by angles
𝜃, can be used to prepare quantum states and perform
III. QUANTUM SIMULATION AND METROLOGY measurements. The goal is to find the optimal parameters
TECHNIQUE that minimize a loss function 𝐿(𝜃) and produce the desired
quantum state.[5],[6]
Hamiltonian Simulation and Time Evolution
At the heart of quantum simulation lies the Mathematically, the variational parameter estimation
Hamiltonian operator 𝐻, which encapsulates the total energy process can be formulated as an optimization problem:
of a quantum system. The time evolution of a quantum state
|𝜓(𝑡)⟩ governed by the Hamiltonian 𝐻 is described by the 𝜃 ∗ = argmin𝐿(𝜃).
Schrödinger equation: 𝜃
The upper bound of the error introduced by the time 𝐹(𝜃) = Var(𝑆(𝜃))
block method can be estimated using the Lie-Trotter
formula, which provides an expression for the difference This relationship highlights the role of the Fisher
between the exact time evolution and the approximation: information in quantifying the information content of the
measurements with respect to the parameter 𝜃.
2 3 2𝑘−1
∥𝑒 −𝑖𝐻𝑡 − (𝑒 −𝑖𝐻𝛿𝑡 )𝑁blocks ∥ ≤ ∥ 𝐻 ∥ 𝑇 ( 𝑇 ) The Cramer-Rao bound provides a mathematical
∥ ∥ 3ℏ 𝑁blocks ℏ relation between the Fisher information and the achievable
precision of parameter estimation. For an unbiased estimator
Where ∥ 𝐻 ∥ is the operator norm of 𝐻 and 𝑘 is the 𝜃ˆ , the CramerRao bound states:
order of the Lie-Trotter formula. This derivation allows us
to quantify the accuracy of the time block method and 1
optimize the choice of time step, number of blocks, and Var(𝜃ˆ ) ≥
𝑁𝐹(𝜃)
order of the formula for a given simulation.
Where Var(𝜃ˆ ) is the variance of the estimator and 𝑁 is The four-step procedure for information extraction
the number of measurements. serves as a fundamental framework in quantum
computation, encompassing the key stages of preparing
Quantum metrology techniques aim to approach the states, evolving quantum dynamics, measuring
CramerRao bound by optimizing measurement strategies observables, and optimizing parameters. This systematic
and exploiting quantum entanglement to enhance the Fisher approach underlies the advancements in variational
information. This enables quantum systems to achieve quantum algorithms and quantum metrology, driving the
measurements with unprecedented precision, surpassing development of accurate and precise quantum
classical limits. predictions.
Four-Step Procedure for Information Extraction Ramsey Interferometer Quantum Circuit in Experimental
The four-step procedure for information extraction in Setup
quantum computation involves a systematic approach to In experimental quantum metrology, the Ramsey
preparing quantum states, evolving parameterized quantum interferometer quantum circuit plays a pivotal role. The
states, measuring outputs, and estimating parameters based Ramsey interferometer is a fundamental quantum device
on multiple measurements. This procedure is integral to used to measure frequency and phase shifts with exceptional
variational parameter estimation and quantum metrology, precision [5]. It consists of two sequential applications of a
enabling the enhancement of predictive accuracy and 𝜋/2 pulse separated by a time delay 𝑇 and followed by a
precision in quantum computations. final 𝜋/2 pulse. This configuration effectively splits the
quantum state into two branches, allowing interference
Preparation of Input States: The first step of the between the branches after the second pulse. By varying the
procedure involves the preparation of input quantum time delay 𝑇, the Ramsey interferometer becomes sensitive
states. These states serve as the initial conditions for the to small changes in frequency or phase.[5]
quantum computation. Parameterized quantum circuits Mathematically, the Ramsey interferometer can be
are used to generate these states, where the parameters 𝜃 represented as a sequence of unitary operators. Let 𝑈𝜋/2 be
determine the quantum state's characteristics (Fig.1. and the unitary operator corresponding to a 𝜋/2 pulse and 𝑈𝑇 be
Fig.2.). Variational techniques are applied to optimize the unitary operator corresponding to the time delay 𝑇. The
these parameters, ensuring that the prepared states are Ramsey interferometer circuit can be described as:
tailored to the specific problem at hand.
Evolution of Parameterized Quantum States: Once the Ramsey Circuit = 𝑈𝜋/2 ⋅ 𝑈𝑇 ⋅ 𝑈𝜋/2
input states are prepared, the next step is to evolve them
over time using the Hamiltonian operator 𝐻. This time The unitary operators 𝑈𝜋/2 and 𝑈𝑇 can be represented
evolution is achieved through the application of quantum in matrix form, where 𝐻 is the Hadamard gate and 𝑒 −𝑖𝐻𝑡 is
gates that implement the unitary operator 𝑈(𝑡) = the time evolution operator with the Hamiltonian 𝐻 over
𝑒 −𝑖𝐻𝑡/ℏ . The parameterized nature of the quantum circuit time :
allows for flexibility in controlling the evolution
dynamics. The optimization of parameters using 𝜋
variational methods ensures that the quantum evolution 𝑈𝜋/2 = 𝐻 ⋅ 𝑒 −𝑖 4
approximates the desired transformation accurately. 𝑈𝑇 = 𝑒 −𝑖𝐻𝑇
Measurement of Outputs: Following the evolution of
quantum states, measurements are performed to extract The interferometer's output state after the second 𝜋/2
relevant information. Observable quantities, represented pulse can be obtained by applying the Ramsey circuit to the
by Hermitian operators, are measured to obtain initial quantum state |𝜓⟩ :
measurement outcomes. These outcomes provide
insights into the quantum system's behavior and |𝜓out ⟩ = Ramsey Circuit ⋅ |𝜓⟩
dynamics. Quantum measurements introduce inherent
randomness due to the probabilistic nature of quantum The resulting state |𝜓out ⟩ exhibits oscillatory behavior
states, requiring multiple repetitions to gather sufficient as a function of the time delay 𝑇, allowing for the
statistical data.[4] measurement of phase shifts with high precision.
Estimation of Parameters: The final step of the procedure
involves the estimation of parameters based on the Integrating the Ramsey interferometer quantum circuit
measurement outcomes. Estimators are used to infer the into the four-step procedure enhances the capabilities of
optimal parameter values that best align with the quantum metrology. The interferometer's sensitivity to
obtained measurements. Variational optimization phase shifts makes it a valuable tool for applications such as
techniques, such as gradient descent, are commonly atomic clocks, quantum sensors, and precision
employed to minimize the difference between the measurements in fundamental physics.
observed outcomes and the predicted outcomes from the
parameterized quantum circuit. This iterative process
refines the parameter estimates, leading to improved
accuracy and predictive power.
Observing a notable increase in the data at its edges, Conceptually, matched filtering involves laying the
we attribute this to the impact of the highpass and potential signal over your data and integrating (after
resampling processes employed in filtering. As the filter is weighting frequencies correctly). If there is a signal in the
applied to the edges, it loops back to the start of the data, data that aligns with the 'template', you will get a large value
resulting in a spike. This phenomenon occurs because the when integrated over. (Fig. 7)
data lacks cyclic continuity, causing the filter to resonate for
a duration equivalent to its length. While any visible Then SNR-signal to noise time series is calculated.
transients may not be apparent, it's imperative to avoid (Fig. 8) In our previous analysis, we identified a peak in the
filters operating on non-causally connected times. To signalto-noise ratio (SNR) concerning a suggested merger of
mitigate this issue, we opt to trim the data ends adequately binary black holes. Utilizing this SNR peak, we aim to align
to prevent wrapping around the input. This requirement will our proposal with the actual data and also to eliminate our
be consistently enforced across all filtering stages. (Fig. 5) proposal's influence from the data. To ensure a fair
comparison between the data and the signal, and to focus on
Effective matched filtering involves adjusting the the relevant frequency range, we intend to standardize both
weighting of frequency components in both the potential the template and the data through a process known as
signal and the data according to the noise amplitude. This whitening. Subsequently, we will filter both the data and the
process can be likened to filtering the data using a time template within the frequency range of 30 to 300 Hz. By
series version of the reciprocal of the Power Spectral doing so, any signal present in the data will undergo the
Density (PSD). To ensure control over the extent of this same transformation as the template, facilitating a more
filtering, we apply a windowing technique to the time equitable comparison. (Fig. 9)
domain equivalent of the PSD, limiting its length. While this
approach may result in some loss of information regarding
line behavior within the detector, the impact is minimal due
to the broad frequency range covered by our signals and the
narrowness of the lines.(Fig. 6)
After alginment we subtract the template from original H1 data and results are obtained. (Fig. 10)
The core of Grover's algorithm is the search over an Step 0 (Initialization) [Cost: 𝑂(𝑀 + 𝑙𝑜𝑔 𝑁) ]:
index within a database, which necessitates the construction This step initializes the initial state, composed of four
of an oracle. The oracle calculates the template from an registers, and requires loading data, which takes linear time
index i, computes the SNR, and checks the result against a in M, and initializing the index register to an equal
predefined threshold. The number of gates required to superposition, which needs O(log N) gates.
compute a template waveform from its parameters is
denoted as k1, and it scales linearly with M. The calculation Step 1 (Creating Templates) [Cost: 𝑂(𝑀) ]:
of the SNR between a template and the data requires k2 Calculating templates from the index is performed in
gates, with a time complexity of O(Mlog M). Finally, superposition over all index values, with a cost of k1
verifying whether the result surpasses a given threshold 𝜌 approximately O(M) gates. Step 2 (Comparison with the
thr, necessitating O(1) gates, is denoted as k3. The overall Data) [Cost: O(Mlog M) ): Calculating the SNR between the
computational complexity of the classical algorithm for template and the data costs k2 approximately O(Mlog M). It
computing matches against all templates is O(NMlog M). is then compared to a threshold to determine f(i), which
denotes whether a template is a match, with a cost of k3
approximately O(1).
Fig 14 3 Qubits PQC Result-2 These probabilities differ from traditional definitions,
as they account for classification errors caused by the
MSE vs 𝜙 plot for 2 Qubits Circuit,Learning Rate = probabilistic nature of quantum algorithms. These
0.04 classification errors are our main focus in this study.
|𝑖⟩ ⊗ |𝑇⟩ = 𝑘ˆ1 (|𝑖⟩ ⊗ |𝜓ini ⟩) Assuming that every template is equally likely to have
the correct template without any more prior knowledge.
Similarly the data is loaded into a state represented by
|𝐷⟩. We get the template plot as shown in Fig. 16. Create the Grover diffusion operator 𝑈ˆ𝑠 = 2|𝑠⟩⟨𝑠| − 𝐼.
Apply 𝑈ˆ𝑤 then 𝑈ˆ𝑠 to |𝑠⟩𝑝 times to each state in 𝑃(𝑝 =
{0,1, … 𝑃 − 1}). Now we apply Grover's algorithm
itterably to this state such that:
Fig 16 Templates
Fig 18 New State Probability Distribution Fig 19 State Probability over Grover Iterations
The probabilities |𝜓2 |2 are seen over ancillary and F. Qiskit Implementation
template states. There are two peaks, corresponing to 𝑓 and Firstly, the registers are initialized. This is to set the
data we are matching against.
𝑷 − 𝑓. Measuring the ancillary state will likely acquire one
or the other. These peaks also correspond to the positions of
In the case of have multiple matching templates, we
matching templates, and so measuring the template qubits
shall not use 'search_Circuit.h(data[0])'. This will create two
likely recovers a correct position of a template.
data that we are matching against, rather than two matching
templates. In this case, both data would run as superpostions
From knowing 𝑓 or 𝑃 − 𝑓 we can work out the number
and so will the matching result. In essense, it is still one
of matched templates 𝑘 with the relation:
template searching so no untilization of quantum counting.
𝑓𝜋
𝑘 = 𝑀sin2 The Z-gate on the counting qubit is to compensate the
𝑃 general 𝜙 phase introduced by the Diffusion operator
function.
Doing this gives the number of matching templates.
Secondly, Grover's gate and Oracle function is
created.The oracle works by matching data and template bit
If the number is greater than 0 , we have matching
by bit in the qubit range within the precision. We use a C-X
templates.
gate for matching, in which case, the template qubits would
We find a corresponding matching template. To do this be, and only be in state 10⟩ if it is a match. After bit
we need to find out the optimum number of Grover's flipping, by applying a C-X gate ctrolled by all the template
applications to apply. This can easily be found from qubits, the ancilla qubit would be and only be flipped if all
knowing the number of matching templates: templates qubits matched. After the matching, we need to
reverse all the previous actions on the templates qubits.
The diffusion operator can be written as: The measurement of the quantum counting process for
six-qubit data matching with a five-qubit counting register is
2|𝜓⟩⟨𝜓| − Î𝑁 = 𝐻ˆ ⊗𝑛 (2|0⟩⟨0| − Î𝑁 )𝐻ˆ ⊗𝑛 done. The first qubit is ignored to allow for two templates
matching.
Where |𝜓⟩ is the uniform superposition of states and 𝐼ˆ
is the N dimensional identity matrix. As 2|𝜓⟩⟨𝜓| − 𝐈ˆ𝑁 A measurement of the counting register in the
computational basis returns an integer value between 0 and
operates a reflection about the |𝜓⟩,2|0⟩⟨0| − 𝐈ˆ𝑁 ) operates a
2𝑝 − 1, from which we can now extract the desired estimate
reflection about the |0⟩. It turns out that Grover diffusion
of the phase. Intuitively, constructive interference occurs for
can be implemented on a quantum circuit with a phase shift
those elements {|𝑙′ ⟩} for which
operator that negates all the states except for |0⟩ sandwiched
between 𝐻ˆ ⊗𝑛 gates. 𝜃 𝑙′ 𝜋 − 𝜃 𝑙′
− 𝑝 ≃ 0 or − 𝑝≃0
𝜋 2 𝜋 2
However, this actually introduce an overall -1 to all
states. This would not change the results of Grover's We will only be interested in cases in which 𝑟 ≪ 𝑁,
searching part, but will affect the quantum counting part, and thus 𝜃 ≪ 1. Therefore, the observed measurement
introducing an overall 𝜋 phase. This is solved by applying a outcome, which we denote 𝑏, gives an unambiguous
Z-Gate to the lowest qubit in the counting register. (All the estimate of 𝜃, denoted 𝜃∗ as follows:
other qubits represents powers of two, which will result in
the Z-Gate being applyied even times, producing just a 1 𝑏𝜋
rather than -1 ) Third Step involves Quantum Counting 𝑝
, 𝑏 ⩽ 2𝑝−1
where we estimate the number of repetitions needed for 𝜃∗ = { 2
𝑏𝜋
multiple matches. It involves generation and application of 𝜋 − 𝑝 , 𝑏 > 2𝑝−1
controlled Grover's gate. We can use .to_gate() and 2
.control() to create a controlled gate from a circuit. We will
The theoretically most probable outcome b in this case,
call our Grover iterator grit and the controlled Grover
according to Equations above should be either 2 or 30 . The
iterator cgrit. All those controlled gate functions in qiskit is
most probable measurement result is 00010 , which in
difficult for this situation because they apply to gates, but
decimal is 2. The results are shown in Fig. 30 and Fig. 31.
our grovers operation is only a function. So either we can
rewrite this as a gate or we define our controlled funcion.
Then we define and apply QFT (Quantum Fourier
Transform) and measuring at last.
Because there are two eigenvalues and we do not know which one is the measure value. We need to run them both and
choose the more reasonable one. Then we calculate and search for matched templates.
The measurement of Grover's search process for sixqubit data matching. The data is set as 000111 and the lowest qubit
is ignored to allow for two templates matching. With four iterations suggested by the quantum counting process as a numerical
output, the two templates that meet the matching criteria are returned with a probability higher than 99% altogether after 2048
trials on the ibmq_qasm_simulator(Fig. 32, Fig. 33).
VI. CONCLUSION AND FUTURE PROSPECTS [10]. [10] J. Veitch, V. Raymond, B. Farr, W. Farr, P.
Graff, S. Vitale, B. Aylott, K. Blackburn, N.
The combination of quantum algorithms and quantum Christensen, M. Coughlin, W. Del Pozzo, F. Feroz, J.
metrology presents a promising avenue for advancing the Gair, C. J. Haster, V. Kalogera, T. Littenberg, I.
detection of gravitational waves. By utilizing Grover's Mandel, R. O'Shaughnessy, M. Pitkin, C. Rodriguez,
algorithm for signal detection and quantum metrology for C. Röver, T. Sidery, R. Smith, M. Van Der Sluys, A.
precise parameter estimation, researchers have demonstrated Vecchio, W. Vousden, and L. Wade, Parameter
significant improvements in sensor network sensitivity and estimation for compact binaries with ground-based
accuracy. This integrated approach effectively reduces gravitational-wave observations using the
noise, optimizes sensor placement, and enhances network LALInference software library, Phys. Rev. D 91,
scalability, laying a solid foundation for future gravitational- 042003 (2015).
wave astronomy research. Looking forward, the integration [11]. [11] G. Ashton, M. Hübner, P. D. Lasky, C. Talbot,
of advanced quantum techniques with gravitational-wave K. Ackley, S. Biscoveanu, Q. Chu, A. Divarkala, P.
detection holds immense potential for further progress. J. Easter, B. Goncharov et al., BILBY: A user-
Continuous refinement of quantum algorithms and friendly Bayesian inference library for gravitational-
metrology techniques is expected to lead to even greater wave astronomy, Astrophys. J. Suppl. 241, 27
improvements in signal detection efficiency and sensitivity. (2019).
Future investigations may explore additional quantum [12]. [12] T. Dal Canton and I. W. Harry, Designing a
algorithms, enhance the scalability of quantum sensor template bank to observe compact binary
networks, and apply these integrated methodologies to coalescences in Advanced LIGO's second observing
broader areas of observational astronomy. Moreover, run, arXiv:1705.01845 (2017).
advancements in quantum computing hardware will be [13]. [13] S. Dwyer, L. Barsotti, S. S. Y. Chua, M. Evans,
pivotal in unlocking the full capabilities of these techniques. [14]. M. Factourovich, D. Gustafson, T. Isogai, K.
As these technologies evolve, significant strides are Kawabe, A. Khalaidovski, P. K. Lam, M. Landry, N.
anticipated in expanding our comprehension of the universe Mavalvala, D. E. McClelland, G. D. Meadors, C. M.
and uncovering previously inaccessible cosmic phenomena. Mow-Lowry, R. Schnabel, R. M. S. Schofield, N.
Smith-Lefebvre, M. Stefszky, C. Vorvick, and D.
REFERENCES Sigg, "Squeezed quadrature fluctuations in a
gravitational wave detector using squeezed light,"
[1]. [1] Lloyd, S. (1996). Universal quantum simulators. Opt. Express 21, 19047-19060 (2013).
Science, 273(5278). [15]. [14] Chou, Chen-Kuan Chen, Wei Fwu, Peter Lin,
[2]. [2] Giovannetti, V., Lloyd, S., Maccone, L. (2004). Sung-Jan Lee, Hsuan-Shu Dong, Chen-Yuan. (2008).
Quantumenhanced measurements: Beating the Polarization ellipticity compensation in polarization
standard quantum limit. Science, 306(5700). second-harmonic generation microscopy without
[3]. [3] Paris, M. G., Rehacek, J. (2004). Quantum state specimen rotation. Journal of biomedical optics. 13.
estimation. Lecture Notes in Physics, 649. 014005. 10.1117/1.2824379.
[4]. [4] Childs, A. M., Kothari, R., Somma, R. D. (2018).
Quantum algorithm for systems of linear equations
with exponentially improved dependence on
precision. SIAM Journal on Computing, 47(5).
[5]. [5] Kaubruegger, R., Vasilyev, D. V., Schulte, M.,
Hammerer, K., Zoller, P. (2021). Quantum
variational optimization of Ramsey interferometry
and atomic clocks. Physical review X, 11(4), 041045.
[6]. [6] A. Montanaro, Quantum pattern matching fast on
average, Algorithmica 77, 16 (2017).
[7]. [7] B. P. Abbott, R. Abbott, T. D. Abbott, S.
Abraham, F. Acernese, K. Ackley, C. Adams, R. X.
Adhikari, V. B. Adya, C. Affeldt et al., Searches for
continuous gravitational waves from 15 supernova
remnants and Fomalhaut b with Advanced LIGO,
Astrophys. J. 875, 122 (2019).
[8]. [8] M. S. Anis, H. Abraham, R. A. AduOffei, G.
Agliardi, M. Aharoni, I. Y. Akhalwaya, G.
Aleksandrowicz, T. Alexander, M. Amy, S.
Anagolum et al., Qiskit: An open-source framework
for quantum computing, Zenodo Version: 0.7.2
(2019), doi:10.5281/zenodo.2562111.
[9]. [9] M. Mosca, Counting by quantum eigenvalue
estimation, Theor. Comput. Sci. 264, 139 (2001).