Quantum Computer Layer
Quantum Computer Layer
Q
uantum computers have rapidly advanced from lab- the Achilles’ heel of quantum comput-
ers and ultimately limits the algo-
oratory curiosities to full-fledged systems operating rithms they can run. Researchers are
with dozens of interacting information carriers called working to improve their devices’ per-
qubits. In 2019, researchers at Google became the first formance through passive means like
circuit design, but they’re also pursu-
to demonstrate quantum supremacy1—a quantum ing active measures; mitigating hard-
computer capable of calculations that are impossible for conventional ware errors through quantum error
correction (QEC) has driven research
devices—by using just over 50 qubits. for decades. The complexity and re-
source intensity of QEC—the set of al-
Researchers are now on the threshold of being able to de- gorithmic protocols necessary to ensure errors are identified
ploy quantum computers to solve a host of critical problems and corrected—has motivated consideration of complemen-
ranging from pharmaceutical drug discovery and industrial tary techniques that enable augmented performance without
chemistry to codebreaking and information security. (For more that computational overhead.
on quantum cryptography, see the article by Marcos Curty, Koji Quantum firmware is a generalized designation for a set
Azuma, and Hoi-Kwong Lo on page 36 of this issue.) Because of protocols that connect quantum hardware with higher,
of ongoing developments in computational heuristics and ap- more abstract levels in the quantum computing stack (see fig-
proximate quantum algorithms, quantum computers may well ure 1). More specifically, quantum firmware stipulates how
be able to solve commercially relevant problems with some physical hardware should be manipulated to improve stabil-
computational benefit, reaching what’s known as quantum ad- ity and reduce various error processes—in essence, “virtual-
vantage, within the next decade. izing” the underlying imperfect hardware. Higher abstrac-
Realizing useful computations using quantum systems re- tion layers in the quantum computing stack then interact with
quires scientists to recognize that performance is limited pre- qubits whose performance is different than that of the qubits
dominantly by hardware imperfections and failures rather in the bare hardware.2 (For more on quantum computing ar-
than just system size. Susceptibility to noise and error remains chitectures, see the article by Anne Matsuura, Sonika Johri,
Technical aims
Contemporary quantum firmware is charged
with implementing the following functionality:
‣Error-robust quantum logic operations
that are supported by measurement-free open-
loop control.
‣Measurement-based closed-loop feedback
stabilization at the hardware level.
‣Microscopic hardware characterization for
calibration, noise identification, and Hamilto-
nian parameter estimation.
‣Machine learning–inspired approaches to
realize autonomy for the above tasks in large
systems.
Open-loop control refers to feedback-free ac-
tuation akin to a timed irrigation system that
maintains a healthy lawn without information
on soil moisture or rainfall. It’s resource effi-
cient and has proved to be remarkably effective
in stabilizing quantum devices, both during
free evolution and during nontrivial logic oper-
ations.9 When open-loop error suppression is
used in quantum computers, the instructions
for quantum hardware manipulation are re-
defined such that they execute the same math-
ematical transformation, but in a way that is ro-
bust against error-inducing noise, such as
fluctuations in ambient magnetic fields. The
suppression is typically realized by temporally
modulating the incident control fields that ma-
nipulate the physical devices (see the box on
page 32), and the modulation patterns may be
derived from Hamiltonian models or even FIGURE 2. QUANTUM FIRMWARE is an abstract layer of the computing stack
machine-learning techniques. Thus the control whose actions are orchestrated by an embedded microprocessor. The microprocessor
solutions defined by quantum firmware consti- accesses cloud-computing resources for computationally intense tasks such as open-
tute an effective error-robust machine language loop-control optimization and virtualizes the hardware for its interaction with higher
for manipulating quantum hardware. layers of the software stack. In the conception shown here, the microprocessor sends
In closed-loop feedback control, actuation commands to programmable logic devices, such as field-programmable gate arrays.
is determined by measurements of the system. Those devices are responsible for processing measurement results in real time for
physical-layer feedback stabilization, measurement-based decision making, and other
Its use is constrained by the destructive nature
tasks. They also provide instructions to other hardware elements such as direct digital
of projective measurement in quantum me-
synthesizers and arbitrary waveform generators. Arrows indicate communication
chanics. Several strategies may nevertheless be
pathways between elements. (Image courtesy of Q-CTRL.)
employed for hardware-level feedback-based
stabilization; they all are designed to gain suf-
ficient information about the underlying system without de- tion in the control-theoretic literature, has benefited from a
stroying encoded information needed in a computation. In large body of experimental and theoretical developments.11
fact, QEC—the gold-standard approach for large-scale quan- The underlying techniques complement external bench-
tum computers—is a form of closed-loop feedback that em- marking routines that quantify the hardware’s overall per-
ploys indirect measurement through ancilla qubits. The direct formance by focusing on the determination of actionable mi-
integration of hardware-level feedback stabilization remains croscopic information for system optimization and tune-up.
an ongoing area of exploration with some exciting results.10 Noise spectroscopy, which is widely used as a complemen-
Hardware characterization, known as system identifica- tary capability to noise suppression, provides information
MARCH 2021 | PHYSICS TODAY 31
QUANTUM FIRMWARE
I(t) Q(t) z levels as an effective qubit.) The coupling term Ω(t)eiφ(t) ≡ I(t) + iQ(t)
represents the control-pulse waveform, and the functions I(t) and Q(t)
y x therein represent user-adjustable controls.
0
In the default implementation of the X operation (panel a), I(t) is
composed of two sequential pulses that are approximately Gauss-
284 ns ian, with only a small component in Q(t). Those pulses largely drive
−7 the qubit state along a meridian of the Bloch sphere. In a quantum
0 165 330 1〉
firmware protocol, the simple physical definition for X is replaced
TIME (ns)
with a new one that parameterizes the gate in terms of I(t) and Q(t).
b DEPHASING-ROBUST
Numeric optimization is used to minimize a cost function that en-
0〉
7
AMPLITUDE (MHz)
I(t) Q(t) z sures that the quantum logic gate is implemented correctly, even in
the presence of noise. The controls applied in panels b and c are de-
y x rived using Hc(t) and take into account smoothing functions that en-
0 sure pulses can be faithfully transmitted from room-temperature
electronics into a dilution refrigerator where the qubits are housed.
239 ns Because of the error reduction incorporated into the control wave-
−7 forms, qubit states subject to optimized controls take paths along the
0 165 330 1〉
Bloch sphere that are more complex than those taken by the default
TIME (ns) qubit. Enacting those complex paths often requires a longer pulse.
c AMPLITUDE-ROBUST The optimized controls described here are designed to imple-
0〉
ment the X operation in a manner that is robust against either errors
AMPLITUDE (MHz)
7 z
I(t) Q(t)
in the amplitude Ω(t) or in the driving frequency that implements the
y x pulses. To test the control’s performance, it is repeatedly applied in
0 the presence of either quasistatic pulse-amplitude errors or pulse-
frequency (detuning) errors, and the gate’s infidelity—the probabil-
ity that a qubit state evolves to the wrong target—is measured (see
333 ns panels d and e). Even when large amplitude or detuning errors
−7
0 165 330 1〉 were added to the applied pulse, each optimized solution shows a
TIME (ns) flat response, which is a signature of robustness. The
e control designed to be robust against dephasing
d
25 25 (panel b) is indeed flat in the presence of dephasing
errors (panel e). Likewise, the amplitude-robust con-
INFIDELITY (×10−2)
IBM default
trol response (panel c) is flat despite amplitude errors
ROBUSTNESS
Dephasing-robust
(panel d).
Amplitude-robust
15 15 The shaded areas in panels d and e indicate the
overall improvement achieved through the choice
of appropriate optimized pulses. Additional controls
designed to exhibit robustness to both error
processes simultaneously have also been demon-
5 5
strated. (For a full explanation of the experiment de-
−1 0 1 −1 0 1 scribed here, see reference 9.)
AMPLITUDE ERROR (%) DETUNING ERROR (MHz)
systems, best- and worst-case qubit error rates across a device quantum volume, a metric that accounts for architectural fea-
often differ by more than an order of magnitude. Those errors tures, including hardware connectivity, and device-level pa-
can arise from fabrication variances and coupling inhomo- rameters, such as the one- and two-qubit error rates across the
geneities between qubits and the ambient electromagnetic en- device.18 Honeywell has claimed a quantum volume of 128
vironment. Quantum firmware homogenizes hardware per- with just a handful of qubits compared with approximately 64
formance in space and time. Optimized quantum-control from IBM’s larger systems; the results demonstrate that hard-
operations implemented in real systems have brought error ware performance is the primary bottleneck.
rates for all qubits close to the best-case performance; likewise, Improving both one- and two-qubit error rates by more than
drift-robust controls can extend typical calibration windows on a factor of 10, as has been demonstrated experimentally, would
cloud and laboratory hardware from 6–12 hours to more than have a massive impact on system-level performance. Those im-
five days.9 pacts would be largest in devices with weak connectivity, where
Why do those improvements matter? To start, current algo- the spatial rearrangement of qubit data requires many multi-
rithmic compilers can improve performance by trading an in- qubit swap operations. Device sizes are increasing rapidly—
crease in compiled-circuit complexity for the ability to avoid Google and IBM have each released a road map to 1000-qubit
poorly performing devices. But in large-scale systems with systems—and quantum control provides a means to ensure sys-
substantial performance variation, that compilation process tem utility at the algorithmic level tracks with system size.
can become quite complicated, and shuttling information Ultimately, we believe that building and operating large-
around the worst-performing devices may require many more scale quantum computers is effectively impossible without in-
gates and time steps. By homogenizing device performance in tegrating advanced quantum-control techniques into a quan-
space and time, quantum firmware can simplify higher-level tum firmware abstraction layer. Autonomous vehicles, walking
compilation protocols,15 thereby reducing the complexity and robots, and advanced avionics systems have all demonstrated
duration of the implemented algorithm. the importance of dynamic control and automation. Similarly,
Quantum control will also have a long-term impact on the in quantum computing, advanced control-theoretic strategies
performance of QEC. Both the hardware-level feedback stabi- were instrumental in the calibration and tune-up of devices
lization and open-loop control found in firmware exploit the used to achieve quantum supremacy. Many techniques from
fact that noise processes often vary slowly in space and time; the fields of machine learning and robotic control are likely to
those methods provide little benefit for truly stochastic errors. improve performance and increase autonomy, thereby allow-
On the other hand, QEC formulations generally assume statis- ing future quantum developers to confidently abstract away
tically independent error models. Thus quantum firmware the details of a computer’s underlying hardware.
works in concert with QEC to correct for a broad range of error
types and effectively preconditions the properties of the resid-
ual errors to be compatible with QEC.16 But more than that, the REFERENCES
way in which quantum firmware closes the gap between the 1. F. Arute et al., Nature 574, 505 (2019).
best and worst performing qubits and reduces statistical corre- 2. N. Cody Jones et al., Phys. Rev. X 2, 031007 (2012).
lations in the residual errors17 actually reduces QEC’s resource 3. H. M. Wiseman, G. J. Milburn, Quantum Measurement and Control,
Cambridge U. Press (2011).
intensity. It’s a win–win combination. 4. U. Haeberlen, J. S. Waugh, Phys. Rev. 175, 453 (1968).
5. T. J. Tarn, G. Huang, J. W. Clark, Math. Modell. 1, 109 (1980); J. W.
The future of quantum firmware Clark, D. G. Lucarelli, T.-J. Tarn, Int. J. Mod. Phys. B 17, 5397
Quantum computing is complex, so algorithm designers and (2003); D. Dong, I. R. Petersen, IET Control Theory Appl. 4, 2651
(2010); L. Bouten, R. Van Handel, M. R. James, SIAM J. Control
end users need a framework through which they can effi- Optim. 46, 2199 (2007); H. I. Nurdin, M. R. James, I. R. Petersen,
ciently exploit quantum computers without having detailed Automatica 45, 1837 (2009).
technical knowledge of the underlying hardware. They ex- 6. N. Khaneja et al., J. Magn. Reson. 172, 296 (2005).
pect high-performance quantum hardware to be stable and 7. S. Chaudhury et al., Phys. Rev. Lett. 99, 163002 (2007); A. Smith et
provide consistent outputs irrespective of small changes in al., Phys. Rev. Lett. 111, 170502 (2013); R. W. Heeres et al., Nat.
Commun. 8, 94 (2017).
an algorithm’s structure. Quantum firmware enables those 8. A. D. Tranter et al., Nat. Commun. 9, 4360 (2018); P. B. Wigley et
capabilities. al., Sci. Rep. 6, 25890 (2016); B. M. Henson et al., Proc. Natl. Acad.
Quantum-control demonstrations have confirmed im- Sci. USA 115, 13216 (2018).
provements of about a factor of 10 in the performance of quan- 9. A. R. R. Carvalho et al., https://arxiv.org/abs/2010.08057.
10. N. Ofek et al., Nature 536, 441 (2016).
tum logic operations relative to naive gate implementations.9 11. H. Ball et al., https://arxiv.org/abs/2001.04060.
Similarly, dynamic memory stabilization has extended qubit 12. R. S. Gupta et al., NPJ Quantum Inf. 6, 53 (2020).
lifetimes to time scales measured in minutes. In those settings, 13. H. Ball et al., Phys. Rev. Appl. 6, 064009 (2016); S. J. Pauka et al.,
the performance gains have been limited by either incoherent https://arxiv.org/abs/1912.01299; V. Negnevitsky et al., Nature
processes or the capabilities of classical electronics, but both 563, 527 (2018).
14. Y. Shi et al., in ASPLOS '19: Proceedings of the Twenty-Fourth
are showing steady gains with time and specialization for the International Conference on Architectural Support for Programming
quantum computing market. We therefore expect that control Languages and Operating Systems, Association for Computing
systems and device performance will improve in parallel with Machinery (2019), p. 1031.
quantum firmware protocols. 15. S. Nishio et al., https://arxiv.org/abs/1903.10963; P. Murali et al.,
https://arxiv.org/abs/1901.11054.
The effect of using quantum-control technologies such as 16. J. P. Barnes et al., Phys. Rev. A 95, 062338 (2017).
error-robust open-loop control on algorithmic performance 17. C. L. Edmunds et al., Phys. Rev. Res. 2, 013156 (2020).
can be quantified with benchmarks. One such benchmark is 18. A. W. Cross et al., Phys. Rev. A. 100, 032328 (2019). PT