Paper 5
Paper 5
https://doi.org/10.1093/jamia/ocae149
Advance access publication 27 June 2024
Review
Review
A primer for quantum computing and its applications to
healthcare and biomedical research
Thomas J.S. Durant , MD1,2, Elizabeth Knight, MS3, Brent Nelson, MD4,5, Sarah Dudgeon, MS6,
Seung J. Lee, PhD1,3, Dominic Walliman, PhD7, Hobart P. Young , PhD1,
Abstract
Objectives: To introduce quantum computing technologies as a tool for biomedical research and highlight future applications within healthcare,
focusing on its capabilities, benefits, and limitations.
Target Audience: Investigators seeking to explore quantum computing and create quantum-based applications for healthcare and biomedical
research.
Scope: Quantum computing requires specialized hardware, known as quantum processing units, that use quantum bits (qubits) instead of clas
sical bits to perform computations. This article will cover (1) proposed applications where quantum computing offers advantages to classical
computing in biomedicine; (2) an introduction to how quantum computers operate, tailored for biomedical researchers; (3) recent progress that
has expanded access to quantum computing; and (4) challenges, opportunities, and proposed solutions to integrate quantum computing in bio
medical applications.
Key words: quantum; quantum computing; biomedical research; healthcare; quantum annealing; universal gate-based quantum computing.
Received: March 1, 2024; Revised: May 29, 2024; Editorial Decision: May 30, 2024; Accepted: June 3, 2024
# The Author(s) 2024. Published by Oxford University Press on behalf of the American Medical Informatics Association.
This is an Open Access article distributed under the terms of the Creative Commons Attribution License (https://creativecommons.org/licenses/by/4.0/), which
permits unrestricted reuse, distribution, and reproduction in any medium, provided the original work is properly cited.
Journal of the American Medical Informatics Association, 2024, Vol. 31, No. 8 1775
NPC
Impact of quantum computing on healthcare
and biomedical research
The strength of quantum computing resides in its capacity to
simultaneously represent multiple possibilities through quan
tum parallelism, which stems from the quantum properties of P
superposition, entanglement, and interference, described fur
ther in the following section.6 Computational complexity
theory serves as a framework for understanding the bounda
ries and conditions in which quantum computing resources
Figure 1. Computational complexity theory has traditionally included 3
can demonstrate a proven advantage (Figure 1).14 However, major complexity classes: polynomial-time (P), non-deterministic
it remains an open and crucial question as to whether QCs polynomial-time (NP), and NP-complete (NPC), all of which are contained
can more efficiently solve problems that are intractable for in polynomial hierarchy (PH) space. Bounded-error quantum polynomial
classical computers.15 Classical computational complexity time (BQP) is a complexity class that represents problems that should be
efficiently solved by a quantum computer. Problems that fall within this
theory revolves around the P (polynomial time) and NP (non
space and the bounds of the BQP space itself remain an open question,
deterministic polynomial time) classes. Problems in P can be with recent literature indicating that it may not be constrained by the PH-
solved quickly (in polynomial time) by classical computers, space. Depending on the bounds of the BQP-space, there may be
whereas NP problems have solutions that can be verified problems that will only be efficiently solved by quantum algorithms.
quickly but may not be solvable quickly. QCs introduce new Figure adapted from Nielsen and Chuang6.
complexity classes, like BQP (bounded-error quantum poly
nomial time).14 This class is significant because some prob quantum solutions may lead to new efficiencies in genomic
lems that are believed to be outside of P (and potentially in data analysis, molecular simulation, or encryption technology
NP) for classical computers, like integer factorization, fall (or, potentially, breaking current encryption algorithms).16,17
into BQP, suggesting that QCs may be able to solve them effi Quantum algorithms have also shown promise in machine
ciently.14 These problems are of practical note since efficient learning (ML); however, while some problems in ML can be
1776 Journal of the American Medical Informatics Association, 2024, Vol. 31, No. 8
analyzed in terms of computational complexity theory, ML bits are used by traditional computing hardware to store data
as a whole is not defined by these classes. and are manipulated through a series of mathematical and
Despite our limited understanding of how and when to use logical operations to perform computational tasks. The most
QCs to tackle real world problems, recent literature has only notable feature of bits in this context is that bits can only be
just started to identify near-term areas where quantum com in 1 of 2 states (0 or 1), and each bit exists in a state that is
puting applications may achieve quantum advantage.4 In the independent from others such that the state of one bit does
domain of biomedicine, there exists a wide range of computa not directly influence the state of another bit.6 In contrast, a
tionally intractable problems that intuitively lend themselves qubit, or quantum bit, is the fundamental unit of information
to quantum computing, with algorithms that appear to be used in QCs (Figure 2B). Qubits are minimalistic, physical
well-suited for these challenges (Table 1). As quantum com systems where the 0 and 1 states are encoded onto a 2-level
puting resources continue to mature, applied research in this quantum state that displays the unique properties of quantum
domain is expected to grow. We anticipate that, mirroring mechanics, including superposition, entanglement, and
the trends in ML, inter-disciplinary collaboration will speed interference.1
the development and use of quantum algorithms.
1
Quantum Bit (qubit) y
65%
x M
z
35%
y
0 0 0
x z
0
A B
Figure 2. (A) Classical bits, the fundamental units of information in classical computing, represent binary data as either a 0 or a 1, typically by utilizing voltage
levels within an electronic system. By flipping the voltage between 2 predefined levels, such as a high voltage to signify a 1 and a low voltage for a 0, the
state of a bit can be easily switched, stored, and transmitted. The use of voltage levels in this manner allows for a straightforward, reliable method of
encoding and processing digital information. (B) Quantum bits, or qubits, are the fundamental units of quantum computing, and unlike classical bits, they can
exist in a superposition of both 0 and 1 states simultaneously. This unique property is made possible by the principles of quantum mechanics, particularly
wave-particle duality and superposition. The actual state of a qubit can be described by a complex probability amplitude that defines the likelihood of
observing either a 0 or a 1 upon measurement. When a qubit is measured, its superposition collapses to one of the two classical states (0 or 1).
Journal of the American Medical Informatics Association, 2024, Vol. 31, No. 8 1777
0 1 A A 1
C
A C
Here, α and β are complex numbers and are referred to as
Pauli X Gate
amplitudes. The square of these amplitudes represents the
A A Q0
probability of a qubit being in either of the corresponding M
A A 50:50
is used to encode the data into quantum superposition, the studies in this area may help identify datasets that better lev
classical register from the circuit would yield a state of 0 erage QML algorithms and identify optimization opportuni
approximately 50% of the time and 1 approximately 50% of ties for QML algorithms.34,37
the time (Figure 3D). There has also been research into reducing model complex
Similar to how qubits are represented in vector form, quan ity and improving interpretability through quantum-based
tum gates and circuits can also be represented with linear feature selection.32,38,39 This work predominantly employs
algebraic matrices. The X-gate (ie, Pauli X Gate) can be writ quantum annealing (QA) for feature selection. For this
ten as: approach, correlations such as mutual information or Pear
son correlation matrices are converted into quadratic uncon
" # strained binary optimization (QUBO) problems, which
0 1
Pauli X � : represent the total energy of the system.40 QA can then be
1 0 leveraged to minimize this energy, where the optimal features
correspond to the system’s ground state.32,38,39 But much
Taken together with the qubit-vector representation, the like QML, the benefits of quantum feature selection in terms
CADD approaches.55 A number of CADD tasks have cryptanalytically relevant QCs are unlikely to become avail
recently been implemented on quantum-based hardware and able before 2030.70 Nonetheless, in response to these poten
simulators.12 Lau et al investigated the use of QNNs for pre tial threats, governmental agencies have begun to develop
dicting mutational effects on drug binding properties, but and release 4 quantum-resistant cryptographic algorithms,
showed equivocal performance compared to classical neural with mandates to migrate federal systems to post-quantum
networks.5 In addition, variational quantum eigensolvers cryptographic methods by 2035.71,72 Despite these proactive
(VQEs) were used to compute protein-ligand activation ener steps, there is a theoretical risk that data, if encrypted and
gies; however, this was done using QC-simulators under stored today, could later be decrypted by more advanced,
noiseless conditions.56 Similarly, Kirsopp et al, also employed fault-tolerant QCs in future “harvest-decrypt attacks”.73
VQEs for calculating protein-ligand binding energies and suc
cessfully implemented their approach on IBM and Quantini
uum QC hardware, demonstrating comparable results with Quantum hardware and software: current
classical approaches.57 Additional studies have examined the state
use of quantum computing for predicting molecular docking The field of quantum computing has undergone remarkable
Classical Quantum
Application Common Classical Algorithms: Common Q-Algorithms: Shor's
Kruskal's Algorithm, Dijkstra's algorithm, Grover's algorithm,
Algorithm, Binary Search Algorithm, Variational Quantum Eigensolver
Software Algorithm Quicksort Algorithm
High-level Library/SDK Common Python libraries: Pandas, QISKit (IBM), Forest (Rigetti), Cirq
(Google), Quantum Development Kit
PyTorch, SciPy. (Microsoft), Ocean (D-Wave).
Low-Level Assembly
Increasing Abstraction
Machine Code x86 Assembly, ARM Assembly, RISC-V Quantum Assembly Language
Assembly, Microprocessor without (QASM), OpenQASM, Quantum
Interlocked Pipelined Stages. Instruction Language, Quantum
Instruction Set Architecture Intermediate Representation
Figure 4. Hierarchical layers of abstraction in computer systems, both classical and quantum. Each layer represents a step up from the physical
components that execute basic operations to the sophisticated applications that interact with users. It illustrates how quantum computing parallels and
diverges from classical systems, providing a visual comparison of their distinct computing models at each abstraction level. Figure adapted from Fu et al.89
fewer qubits, for instance 5-10. While paid accounts are approach to interact with the various gate-based systems. To
available, their cost is prohibitive for many academic endeav this end, QSDKs are designed to work both with specific
ors. In response to this, cloud providers extend a variety of quantum hardware and across platforms; however, the
academic subscriptions that allow researchers to secure dedi authors have observed that cross-platform compatibility and
cated time on smaller QPUs, in addition to enabling quantum performance is not universally consistent. There is hope that,
computer simulations on classical computers. These simula as QSDKs and specialized quantum libraries for methods
tors widen the accessibility of quantum development as they such as QML mature, this interoperability will continue to
typically have shorter queue times and are generally offered improve.
free of charge. Quantum simulators can be employed to test Overall, the current landscape of quantum computing is
and optimize algorithms iteratively using a selected quantum characterized by a diverse array of quantum hardware and
software development kits (QSDKs) prior to submitting jobs QSDKs. This diversity of resources, marked by differences in
to actual quantum hardware, considering that queue times design and computational paradigms, offers unique capabil
for these shared and limited resources vary. ities and constraints that researchers can leverage. QA-based
Some vendors also provide access to non-gate-based QCs, QCs, for example, can possess a substantial number of
such as the QA platform offered by D-Wave (Advantage/ qubits, reaching up to 5000. However, not all computational
LEAP).82 Diverging from gate-based QCs, the QA systems do problems are readily adaptable to the format required by
not typically rely on circuits or logic gates and are tailored these non-gate-based systems. Gate-based QCs, conversely,
towards resolving optimization problems.83 Accordingly, are seen as offering a more adaptable computing framework
problems submitted to these quantum systems are repre that can function independently or in conjunction with an
sented as a specific mathematical function, such as a QUBO analog-like structure. Nonetheless, these gate-based systems
problem, that can subsequently be mapped onto the QPU. grapple with issues related to scalability and are currently
This mathematical function is then optimized through itera limited in the number of qubits they can support in compari
tive sampling of the quantum system toward a target energy son to their non-gate-based counterparts. Ultimately, the
state. QA forms part of a subset of a larger quantum comput choice between gate-based and non-gate-based QCs hinges
ing paradigm known as adiabatic quantum computing.84 on the specific requirements of the algorithm or task in ques
To interact with quantum hardware and build quantum tion, making the variety of available quantum computing
applications, QSDK and other layers of abstraction have resources a substantial asset to the field. The continued evolu
been developed (Figure 4). These SDKs offer abstractions and tion of these systems and development of their accompanying
tools for interfacing with quantum hardware, enabling devel software tools promise to further expand the possibilities of
opers to manipulate quantum algorithms, gates, and circuits quantum computing research and applications.
in higher level languages, such as Python and .NET. Exam
ples of QSDKs include IBM’s Qiskit, Microsoft’s Quantum
Development Kit (QDK), and Google’s Cirq.74,85–88 While Integrating quantum computing with today’s
the physical realization of qubits varies among vendors (eg, data science platforms
superconductor and trapped ion), the application of quantum Historically, CPUs fulfilled the role of executing general-
logic gates remains consistent, facilitating a universal purpose computing tasks, including those related to ML.
Journal of the American Medical Informatics Association, 2024, Vol. 31, No. 8 1781
However, as ML models evolved in complexity and conse addressing well-defined tasks like factorization and unstruc
quently demanded increased computational capacity, the lim tured search.9,96 Recent studies have shown proof of concept
itations of relying solely on CPUs became apparent. In the applications that have theoretically achieved quantum
mid-2000s, ML researchers adapted graphics processing units advantage over classical computing approaches.19,97,98 How
(GPUs) to substantially expedite the training process of deep ever, bridging the gap between theory and real-world use
neural networks, which had been a considerable impediment remains challenging.
in the advancement of ML models.90 In response to this, Lastly, quantum computing is an inherently multidiscipli
manufacturers released specialized GPUs and tensor process nary field that necessitates collaboration among experts from
ing units (TPUs) tailored for ML applications.91 These inno computer science, mathematics, physics, and target applica
vations provided more cost-efficient solutions for ML tasks, tion areas, including biomedical research and healthcare. The
enabling a greater capacity for model complexity and proliferation of cloud based QPUs and the provision of asso
performance. ciated development environments hold the potential to foster
Just as the accessibility of GPUs for ML empowered organ collaborative efforts and information sharing across these
izations to train more complex models, the availability of diverse fields. However, widespread adoption of quantum
037. Liu J, Liu M, Liu J-P, et al. Towards provably efficient quantum 058. Hamilton CS, Kruse R, Sansoni L, et al. Gaussian Boson sam
algorithms for large-scale machine-learning models. Nat Com pling. Phys Rev Lett. 2017;119(17):170501.
mun. 2024;15(1):434. 059. Banchi L, Fingerhuth M, Babej T, et al. Molecular docking with
038. Choi J, Kim K, Park SH, et al. Investigation of factors regarding Gaussian Boson sampling. Sci Adv. 2020;6(23):eaax1950.
the effects of COVID-19 pandemic on college students’ depres 060. Kiss O, Tacchino F, Vallecorsa S, et al. Quantum neural networks
sion by quantum annealer. Sci Rep. 2024;14(1):4684. force fields generation. Mach Learn Sci Technol. 2022;3:035004.
039. Vlasic A, Grant H, Certo S. An advantage using feature selection https://doi.org/10.1088/2632-2153/ac7d3c
with a quantum annealer. QIC. 2023;23(13&14):1091-1104. 061. Li J, Alam M, Sha CM, et al. Invited: drug discovery approaches
040. Li RY, Di Felice R, Rohs R, et al. Quantum annealing versus clas using quantum machine learning. In: 2021 58th ACM/IEEE
sical machine learning applied to a simplified computational biol Design Automation Conference (DAC). 2021:1356–1359.
ogy problem. NPJ Quantum Inf. 2018;4:14. https://doi.org/10. https://doi.org/10.1109/DAC18074.2021.9586268
1038/s41534-018-0060-8 062. Ma’ayan A. Introduction to network analysis in systems biology.
041. Varsamis GD, Karafyllidis IG, Gilkes KM, et al. Quantum gate Sci Signal. 2011;4(190):tr5.
algorithm for reference-guided DNA sequence alignment. Com 063. Negre CFA, Ushijima-Mwesigwa H, Mniszewski SM. Detecting
put Biol Chem. 2023;107:107959. https://doi.org/10.1016/j. multiple communities using quantum annealing on the D-Wave
080. Stern A, Lindner NH. Topological quantum computation—from 093. Resch S, Karpuzcu UR. Benchmarking quantum computers and
basic concepts to first experiments. Science. 2013;339 the impact of quantum noise. ACM Comput Surv. 2022;54
(6124):1179-1184. (7):1-35.
081. Raussendorf R, Browne DE, Briegel HJ. Measurement-based 094. DiVincenzo DP. The physical implementation of quantum com
quantum computation on cluster states. Phys Rev A. 2003;68 putation. Fortschr Phys. 2000;48(9-11):771-783.
(2):022312. 095. Cross AW, Bishop LS, Sheldon S, et al. Validating quantum com
082. D-Wave Systems j The Practical Quantum Computing Company. puters using randomized model circuits. Phys Rev A. 2019;100
Accessed February 10, 2024. https://www.dwavesys.com/ (3):032328. https://doi.org/10.1103/PhysRevA.100.032328
083. Boixo S, Rønnow TF, Isakov SV, et al. Evidence for quantum 096. Shor PW. Polynomial-time algorithms for prime factorization
annealing with more than one hundred qubits. Nat Phys. and discrete logarithms on a quantum computer. SIAM Rev.
2014;10(3):218-224. https://doi.org/10.1038/nphys2900 1999;41(2):303-332.
084. Albash T, Lidar DA. Adiabatic quantum computation. Rev Mod 097. Arute F, Arya K, Babbush R, et al. Quantum supremacy using a
Phys. 2018;90(1):015002. programmable superconducting processor. Nature. 2019;574
085. OceanTM Developer Tools j D-Wave. Accessed February 10, (7779):505-510. https://doi.org/10.1038/s41586-019-1666-5
2024. https://www.dwavesys.com/solutions-and-products/ocean/ 098. Kim Y, Eddins A, Anand S, et al. Evidence for the utility of quan
# The Author(s) 2024. Published by Oxford University Press on behalf of the American Medical Informatics Association.
This is an Open Access article distributed under the terms of the Creative Commons Attribution License (https://creativecommons.org/licenses/by/4.0/), which permits
unrestricted reuse, distribution, and reproduction in any medium, provided the original work is properly cited.
Journal of the American Medical Informatics Association, 2024, 31, 1774–1784
https://doi.org/10.1093/jamia/ocae149
Review