Abstract
With a growing interest in quantum technology globally, there is an increasing need for accessing relevant physical systems for education and research. In this paper we introduce a commercially available onsite quantum computer utilizing superconducting technology, offering insights into its fundamental hardware and software components. We show how this system can be used in education to teach quantum concepts and deepen understanding of quantum theory and quantum computing. It offers learning opportunities for future talent and contributes to technological progress. Additionally, we demonstrate its use in research by replicating some notable recent achievements.
Similar content being viewed by others
1 Introduction
Quantum computing is a promising technology which is expected to efficiently solve certain classes of problems that are challenging for classical computers in terms of computational time and/or hardware resources. The term quantum advantage is coined for the demonstration of this algorithmic speedup on quantum hardware. Several quantum algorithms have been devised to demonstrate this, for example prime number factorization of large integers [1] with an exponential speedup compared to its best known classical counterpart. A similar speedup exists when simulating the chemical and physical properties of molecules and the dynamics of fundamental physical models [2]. We should note that most of these algorithms assume an errorfree quantum hardware with a number of quantum bits or qubits beyond the reach of current technology. With the inherent presence of the loss of quantum information in any physical system, a faulttolerant quantum computer [3] would employ a builtin quantum error correction, where the number of errorfree logical qubits is less than the errorprone and noisy physical qubits.
However, even in the absence of errorcorrection, noisy intermediatescale quantum (NISQ) computers [4] are thought to exhibit quantum advantage over classical highperformance computers (HPC) in the range of 100 to 1000 qubits, depending on the quality of the quantum hardware and the connectivity between the qubits. Among many physical platforms, superconducting quantum hardware is wellsuited for scaling the number of qubits and improving their fidelity while maintaining connectivity and thus becomes a preferred technology in the NISQ era with roadmaps towards fault tolerance [5].
Here, we introduce the IQM Spark^{TM} [6] prototype,^{Footnote 1} a 5qubit superconducting quantum computer designed and developed to enable a lowbarrier access to both its hardware and software components. The hardware is selfcontained with a packaged superconducting quantum processing unit (QPU), a dilution refrigerator, control electronics, while the software components allow for both a direct manipulation of the qubits by microwave pulses or to run small scale quantum algorithms composed of quantum gates [6]. As we will demonstrate with different use cases, this system can be harnessed for a range of educational activities from teaching the concepts of superconducting quantum hardware to developing an understanding of quantum error mitigation and performing experiments from different fields of research.
The rest of the paper is organized as follows. In Sect. 2, we introduce the hardware, in which, after the overview, the basics of the transmon qubits, tunable couplers, traveling wave parametric amplifiers, dilution refrigerators, and control electronics are explained. In Sect. 3, we introduce the software necessary to operate the quantum computer. The next two sections are dedicated to applications of a quantum computer to education and research. Some applications are available only for an onpremises quantum computer. In Sect. 4 we introduce use cases for educational purposes, namely

calibration,

benchmarking

visualization of pulses with oscilloscope

error mitigation, and finally

execution of simple quantum algorithms.
In Sect. 5, we reproduce some research results which appeared recently in scientific journals, namely

simulation of neutrino oscillation,

estimation of Jones polynomials, and

an introduction into embedding techniques for quantum chemistry.
Sections 6 and 7 are devoted to summary and discussion.
Notation
Throughout this paper, \(I_{k}\) stands for the kdimensional unit matrix. Pauli matrices are denoted by X, Y and Z, with an optional subscript to denote the qubit they apply to:
where P is in the ith position. \(X_{1} Z_{3}=X \otimes I_{2} \otimes Z\), for example. We use the common convention for qubit ordering, namely the top qubit in a quantum circuit is the first qubit, which is opposite to the Qiskit convention [7]. We assign qubit numbers 1 to 5 as shown in Fig. 1 although Qiskit assigns 0 to 4. Which convention is employed should be obvious from the context.
Estimating expectation values of observables
A quantum computer estimates the probabilities of the Zbasis states of the measured qubits by repeating the same multiqubit Zbasis measurement many times, and computing the relative frequencies of the outcomes. The number of repetitions is called “shots”. For example, for a singlequbit state \( \psi \rangle =a 0 \rangle +b 1 \rangle \) we may estimate the probabilities \(p_{0}=a^{2}\) and \(p_{1}=b^{2}\). Using these values we may estimate the expectation value of \(Z_{i}\) as \(\langle \psi  Z_{i}  \psi \rangle =p_{0}  p_{1}\). By using the identities
we may estimate the expectation value of X or Y by first rotating the state \( \psi \rangle \) by H or \(H\,S^{\dagger}\), respectively, and then estimate the expectation value of Z. For execution on our hardware, all circuits are transpiled into singlequbit \(R(\theta , \phi )=\exp [i\theta (\cos \phi \, X + \sin \phi \,Y )/2 ]\) gates and twoqubit CZ gates. In this process the extra gates used for estimating X or Yexpectation values are often merged with adjacent singlequbit gates in the circuit.
2 Hardware
Our superconducting quantum computer is a fullstack system consisting of a 5qubit superconducting QPU, dilution refrigerator, optimized cryogenic microwave and DC lines, control electronics, and appropriate classical computing hardware to run the control software. The details of our quantum computer used in the experiments of this paper are described in the following subsections.
2.1 Quantum processing unit
2.1.1 Overview
The core of any quantum computing system is the quantum processing unit (QPU) comprising of qubits, qubitcouplers and control and readout lines. The QPU of our quantum computer features five data qubits with a single central qubit connected to the four peripheral qubit through tunable couplers [8, 9] in star topology as depicted in Fig. 1. The qubits and tunable couplers are described below in more detail.
The chip layout is drawn using KQCircuits [10]. It is a free opensource addon for KLayout [11], a widely used opensource operating system independent layout viewer and editor for integrated circuits. KQCircuits adds the necessary functions to KLayout to programmatically, or using graphical user interface, draw superconducting circuits and export the designs for fabrication or for standard microwave simulation software. KQCircuits also exports netlists, which enable SPICElike quasilumpedelement simulations for fast validation and optimization of geometrical parameters to achieve target coupling strengths between circuit elements discussed below.
2.1.2 Qubit type
The states of computational qubits in our QPU are physically stored in nonlinear oscillators referred to as transmon qubits. Transmon is a modified charge qubit, where a Josephson junction or a Superconducting QUantum Interface Device (SQUID) is shunted by a large capacitor in a way that Josephson energy exceeds capacitor energy by a factor of few tens [12]. The transmon is prevalent qubit type in superconducting quantum computation due to its stability against charge and flux noise, and simplicity of operation. In our qubit circuit, sometimes referred to as a grounded transmon [13], the qubit capacitor is formed by a thin metal film island separated from the coplanar ground plane by a gap where metal has been etched and underling dielectric is exposed. In addition to the mutual capacitance, the central island is connected to the ground via the SQUID consisting of parallelconnected Josephson junctions.
The shape of the qubit charge island has sixfold rotational symmetry. Each sector features a capacitor island. Each of the islands has its own size, which allows the coupling capacitance to be individually tuned to achieve target coupling to the neighboring qubits, qubit state readout resonator and extra shunt to the ground for precise targeting of total shunt capacitance. In between two coupling islands, there is a narrow strip of charge island to reduce coupling between the neighboring couplers.
2.1.3 Qubit control
Each of the qubits is individually addressed by two control lines. Control lines are implemented as coplanar waveguides.
The center conductor of the flux line is shorted to the ground in the vicinity of the qubit SQUID creating an effective mutual inductance between the center conductor and the SQUID loop. By applying electrical current through the flux line, magnetic flux created through the SQUID loop creates a phase bias across the Josephson junctions, reducing the effective Josephson energy of the SQUID and hence the qubit frequency. At the maximum qubit frequency, the frequency is insensitive, to the first order, to external flux maximizing the coherence time of the qubit and is referred to as a sweetspot. Qubit frequency changes are used to find overall optimal operation frequencies, change dispersive coupling rates to the other elements, and implement physical Z and CZ gates, more on twoqubit gates below.
For drive lines, the center conductor is left open circuited and due to proximity has mutual capacitance to the charge island of the qubit. By applying microwave signals through the drive line, the qubit state can be driven between internal states with the energy difference corresponding the signal frequency. The capacitance value is carefully chosen to ensure sufficiently low qubit coupling to the \(50\, \Omega \) environment to minimize Purcell losses [14] whilst keeping the coupling to the target qubit strong compared to the spectator qubits. Resonant qubit drive is used to implement X, Y or any \(R(\theta , \phi )\) gate. By choosing corresponding drive frequency, gates between higher energy levels of the qubit can also be achieved giving access to the Hilbert space of larger dimension.
2.1.4 Readout
To infer the state of a superconducting qubit, socalled dispersive readout is employed [15, 16]. This is a widely used method which employs transverse coupling between the qubit and resonator based on a dipoledipole interaction. Due to the transverse coupling term in the JaynesCummings Hamiltonian [17], a qubitstatedependent frequency shift of the resonator, known as the dispersive shift, is observed. Every qubit has a dedicated readout resonator connected to it and each readout resonator has a different resonance frequency.
To suppress the Purcell decay rate of the qubits through the readout resonators, the resonator is not directly coupled to the 50 Ω environment. Instead, each readout resonator couples to an individual Purcell filter – a bandpass filter which reduces the transmission at the qubit frequency.
As shown in Fig. 2, the Purcell filters are in turn all coupled to a common probe line. The state of the qubit registry is inferred by probing the transmission of the probe line with a frequency comb and comparing the phase and amplitude of the transmitted signal at the frequency of each readout resonator individually to a set threshold. The readout crosstalk is reduced thanks to the individual Purcell filters [18]. The amount of coupling and the frequency detuning between the elements is optimised to balance readout speed and Purcell relaxation rate. The input capacitor and the shunt at the output of the probe line forms another resonator, where the total length defines the frequency and the location of the output tap defines coupling strength to the output port, see the right side of Fig. 2.
The coupling strengths and detunings are chosen such that the Purcell effect would not limit the intrinsic \(T_{1}\).
2.1.5 Tunable couplers
Tunable couplers are utilized in order to perform twoqubit gates between the abovementioned qubits. Tunable couplers are circuit components based on transmon qubits, which enable us to perform twoqubits gates with state of the art fidelities above 99% [9]. The main benefit of using tunable couplers is the possibility to compensate the native ZZinteraction between qubits which enables high fidelity identity gates [8]. In our design, see Fig. 3, the interaction between tunable coupler and qubits is mediated by waveguide extenders [9]. This feature allows us to place a significant distance between the qubits to avoid interqubit crosstalk, while keeping the switchable ZZcoupling large enough and, in larger devices, fit the readout resonators into the qubit lattice unit cell.
By applying an external magnetic flux into the SQUID loop of a tunable coupler, one can change a coupler frequency and thus the effective amount of the ZZinteraction \(g_{zz}\) between relevant pair of qubits. The effective value of the \(g_{zz}\) can be changed in a wide range including both positive and negative values. Consequently, there exists a point where this interaction is equal to zero. This point is used while the QPU is idling so that all qubit pairs have negligible interaction and all the native couplings between pairs of qubits are compensated. To perform a twoqubit gate between neighboring qubits, the coupler can be fluxtuned by a squarelike baseband pulse to change its frequency causing an interaction between qubits for a certain amount of time, see also Sect. 2.5.
By choosing the detuning between qubits during a gate operation, one can implement CZ, iSWAP gates or any general fermionic simulation gate [19] with the same hardware.
2.2 QPU package
The QPU is mounted inside a carrier for handling, shielding, mounting, and signal connection purposes. The shape of the carrier is optimized to make all standing wave modes be fardetuned from operational frequencies. The QPU is wirebonded to a printed circuit board (PCB) with coplanar waveguides that is also attached to the carrier. The PCB serves to transmit signals between QPU launchpads and external microwave connections. The carrier is manufactured out of high conductivity copper for improved thermalisation and reducing potential interactions with impurities in the metal. This carrier has a gold plated finish for better thermal contact between mating surfaces, to reduce losses of signals in the exposed transmission lines, and to ensure high quality factors of all mentioned standing wave modes. The particular gold plating process used is nonmagnetic to maintain a clean magnetic field environment. The sample carrier securely holds the QPU, protects the chip from stray radiation, minimizes microwave interference and crosstalk between the signals.
To thermally attach the QPU carrier to the refrigerator, it is mounted to a copper cold finger, which is situated inside a multiple layered magnetic shielding assembly. These shields are required for minimizing the interaction with external magnetic fields and suppress to environmental radiation.
2.3 Refrigerator
The cold finger with the chip carrier is attached to the mixing chamber plate of a commercial Bluefors^{TM} refrigerator in order to cool the QPU to the operating temperature of a few tens of mK. These machines use a pulse tube refrigerator to cool the first stages to a few Kelvin and then use a dilution refrigerator to reach the base temperature. The experiments presented in this paper were performed with components attached to the experimental stage with a temperature of 30 mK or cooler.
2.4 Signal inputs and outputs
The microwave signals for the qubit drive, tunable coupler flux, parametric amplifier pump, and readout probe are routed from room temperature to the QPU by coaxial SCuNi wires that include appropriate attenuation cascade at the different temperature stages as well as lowpass filtering at the base temperature. DC signals for qubit flux are routed using twisted pair wiring with lowpass filtering at room temperature, the 3 K stage, and at the base temperature stage.
The readout response is amplified by a Traveling Wave Parametric Amplifier (TWPA), routed via appropriate isolation upwards by superconducting coaxial NbTi wiring to a HighElectronMobility Transistor (HEMT) amplifier operating at a nominal 3 K temperature. After the HEMT the signal is carried by silver plated coppernickel coaxial wiring to reach the top plate of the cryostat.
2.4.1 Traveling wave parametric amplifier
Qubit readout relies on readout pulses with as little energy as tens of microwave photons. To detect such weak signals, quantum limited amplifiers are used, where amount of added noise is limited by quantum mechanics [20]. The first amplifier in our readout chain is a TWPA. Due to high gain and bandwidth, it enables frequency multiplxed readout of all qubits within 100 ns and readout fidelity limited only by qubit decay time [21].
Parametric amplifiers include nonlinear media, where propagating weak and strong tones exchange energy. In TWPAs, the nonlinear media consists of long series of Josephson junctions [22] forming an analogue of an optical Kerr medium. The Josephson potential being an even function of the superconducting phase difference ϕ, the provided nonlinearity to the lowest order is of the form \(\phi ^{4}\) which enables fourwave mixing (4WM). Here two photons from a strong pump tone generate one photon in phase with the weak input signal and another idler photon [23]. Pump, signal and idler tone frequencies are related by the conservation of energy [20], see Fig. 4.
In the presence of an external flux, the lowest order of nonlinearity becomes of the form \(\phi ^{3}\). This term can facilitate a threewave mixing (3WM) process where a single pump photon at roughly twice the signal frequency gives its energy to a pair of signal and idler photons [24–26]. Having the pump tone far from the signal frequency is beneficial, as then the strong tone at the output of the TWPA can be removed with a simple filter and one avoids any compression effects in later amplification stages.
If the signal and idler frequencies are the same, the resulting amplification is said to be degenerate and only one of the signal quadratures is amplified, but possibly without any added noise. In our system, we typically employ 3WM TWPAs in the nondegenerate regime such that we can frequency multiplexed the readout. However, by changing the flux bias current it is possible to tune the degeneracy to a frequency of interest without changes to the hardware.
2.5 QPU control electronics
The microwave drive pulses are generated by conventional ACcoupled microwave arbitrary waveform generators (AWGs) operating at the qubit frequency band. The tunable coupler flux pulses are generated by a DCcoupled baseband AWG. The readout probe signals are generated and acquired by a conventional quantum analyzer operating at the frequency band of the readout resonators. The readout and drive instruments also provide a combined functionality that enables fast feedback, i.e., driving signals dependent on the readout result at time scales shorter than the qubit coherence times. The qubit flux and TWPA bias currents are generated by a DC voltage source which is connected to the QPU and TWPA devices via a cascade of low pass filters that include inline resistance to convert voltage to a stable direct current.
The electronics racks of the system include all the required auxiliary electronics for operating a fullstack quantum computer: uninterruptible power supply (UPS) to provide regulation and filtering of the mains power to the measurement electronics rack, a network remote configurable mains power distribution unit (ePDU), power supplies for the various readout amplifiers, a reference clock, power supplies for the DC sources, a main Linux host for running the control software, a Windows host for running the Bluefors software that controls the dilution refrigerator, several smaller specialised Linux hosts for instrumentation interfaces, a dedicated firewall, and a network switch that provides Ethernet connectivity to the hosting facility.
3 Software
The software stack of our quantum computer is divided into different functional layers presented in Fig. 5. It can be interfaced in several ways based on the required level of access. The modules and interactions of the software stack are described in more details in the following subsections.
3.1 Cortex
Cortex is a set of software components for running quantum algorithms on our quantum computer. It is the highest level of abstraction in the control software stack of our onpremises quantum computers. Cortex focuses on enabling computation for the end user, rather than experimenting with the behaviour of the individual elements of the quantum computer.
Cortex allows users to define and execute quantum algorithms on the quantum computer, expressed as quantum circuits using highlevel frameworks and description languages such as Cirq, Qiskit, and OpenQASM 2.0. The input to the server is a computation job containing one or more quantum circuits to be executed, the number of shots, and possibly some other parameters. The job is queued for execution on the quantum computer. The results of the measurements of the circuits are returned when the job is completed.
3.2 EXA
EXA is a Pythonbased framework for characterising, calibrating, and controlling our quantum computer. EXA supports the execution of predefined experiments as well as the definition and execution of new custom experiments. An experiment unit combines different functionalities such as execution flow, data manipulation, analysis, and presentation, and it can also be built in a modular way using other experiments.
Using the EXA experiment library, users can create Jupyter notebooks or standalone Python applications e.g. to implement macrolike capabilities to simplify the control and measurement processes, eliminate standard repetitive operations using automated procedures, and develop entirely new experiments.
3.3 IQM station control
IQM Station Control takes care of lowlevel functionality such as housing instrument parameters and hardware drivers. It hides lowlevel hardware details from the higherlevel components, EXA and Cortex. Both Cortex and EXA communicate with Station Control service via its nonRESTful JSON (JavaScript Object Notation) HTTP (Hypertext Transfer Protocol) interface. The interface provides endpoints for performing various parameter sweeps and executing pulse schedules. In normal use, the user does not need to interact directly with the service.
Station Control uses devicespecific drivers to further encapsulate the details of each instrument, including its lowlevel communication protocol.
4 Applications to education
A small scale onpremises quantum computer is exceptionally useful for educational purposes. It facilitates handson experimentation, allowing students not only to run quantum circuits, but also to conduct pulselevel experiments, change the calibration, or connect external periphery. In general, applications to education can be sorted into two categories, (1) experiments/lab sessions that involve accessing the hardware physically or through the pulselevel interface, and (2) accessing the quantum computer through the circuitlevel interface.
4.1 Utilizing hardware access/pulselevel access for education
Lab sessions that involve accessing the hardware physically or utilizing the pulselevel interface and changing the configuration or calibration of the device help engage students and provide additional learning opportunities that are pivotal in cultivating the next generation of quantum scientists and engineers. Below we will illustrate four examples of how an onpremises quantum computer can be used for this purpose in education.
4.1.1 Exploring a quantum computer
Access to a physical quantum computer enables the investigation of the setup of these machines. Together with the appropriate exercises and learning materials this kind of physical access bridges the gap between abstract quantum circuit descriptions and the actual superconducting quantum computer that executes them. Students experience first hand how quantum computation is performed on qubits. The protection of qubits via cooling and magnetic shields becomes concrete as well as their operation via microwave pulses.
4.1.2 Calibrating a quantum computer
Calibration of a quantum computer involves e.g. finetuning the qubit frequencies and finding optimal parameters for gates and readout pulses. By utilizing the pulselevel interface, learners can explore the importance of calibration for high fidelity operations and create their own calibration sets. In a lab setting, the learners create and apply their calibration sets and compare outcomes to understand the impact of calibration on the results as shown in Fig. 6 (a). Figure 6 (b) shows the measurement outcomes of the 5qubit GHZ state
with two different calibration sets.
Furthermore, learners can investigate the fidelity of gates and the potential causes of discrepancies in calibration outcomes, encouraging students to critically analyze their results against provided benchmarks of our QPU. Benchmarking can also expand to aspects such as \(T_{1}\) and \(T_{2}\) times or different strategies for assessing performance.
4.1.3 Exploring control waveforms
With physical access to the device, students can also plug in selected peripheral devices such as oscilloscopes to further investigate the connection of softwaredefined operations and the physical implementation of quantum operations. Multiple smaller experiments guide the learners through investigating control pulse characteristics and qubit manipulation. For example, they execute multiple instructions that rotate the qubit state by different angles and measure the corresponding pulse shapes. As a more complicated example, learners can explore the control pulse schedules that result from multiqubit circuits such as one that generates a Bell state \( \Phi _{+} \rangle = ( 00 \rangle + 11 \rangle )/\sqrt{2}\), as shown in Fig. 7 (a). The resulting control and readout pulses measured with an oscilloscope are depicted in Fig. 7 (b). Through this handson approach, learners will gain insight into the control electronics that enable superconducting quantum computing and the concepts of pulse control.
4.1.4 Multilevel quantum hardware
Direct hardware access allows one to investigate physical quantum systems beyond the twolevel approximation defining a qubit. Here we demonstrate the state preparation and readout of the second excited state of a transmon. This example provides interested learners with a better understanding of the actual superconducting quantum hardware. Furthermore, it connects the educational value of the system with recent scientific results enabled by utilizing the multilevel nature of the transmon [27], such as threelevel (qutrit) quantum processors [28], tunable coupler architectures using the second excited state [9] and fast singlequbit gates by the shortcutstoadiabaticity version of the stimulated Raman processes (STIRAP) [29].
In Fig. 8, we display the results of an experiment addressing the relaxation dynamics of a transmon prepared in the \( 2 \rangle \) state by a calibrated \(\pi _{02}\) pulse. The population then freely evolves and state discrimination is performed after a delay time (see inset). The observed evolution (dots) of the three states \( 0 \rangle \), \( 1 \rangle \) and \( 2 \rangle \) is then fitted (solid lines) to extract the relaxation timescales. We find \(\Gamma ^{1}_{10}=44.4\pm 1.3~\mu \text{s}\), \(\Gamma ^{1}_{21}=35.0\pm 1.1~\mu \text{s}\) and \(\Gamma ^{1}_{20}=69.2\pm 4.1~\mu \text{s}\), which together capture the expected dynamics of the qutrit, where the inequalities \(\Gamma ^{1}_{10}>\Gamma ^{1}_{21}\) and \(\Gamma ^{1}_{10},\Gamma ^{1}_{21}<\Gamma ^{1}_{20}\) demonstrate the role of the transition matrix elements when describing the relaxation of a quantum system [30]. We conclude that pulselevel access enables the direct investigation and control of the superconducting quantum hardware beyond what higher abstraction layers can provide, making it a vital tool for educational programs targeting quantum hardware.
4.2 Utilizing circuitlevel access for education
A lot of interest goes into investigating, creating and improving NISQ algorithms. This subsection will demonstrate the use of gatebased access in educational settings by providing different examples that can be practiced by learners. The output of each quantum circuit is illustrated by executing it with our superconducting quantum computer.
Because of the unavoidable presence of errors during algorithm execution on NISQ devices such as our quantum computer, the results are expected to differ from the ideal, noiseless ones. Importantly, there are strategies, often collectively referred to as “quantum error mitigation”, that can be employed, either individually or in combination with each other, to reduce the effects of errors on the execution of a desired algorithm [31]. In particular, in the examples that will follow, we make use of techniques belonging to three different classes.

“Error suppression” techniques aim to modify and reduce the effects of errors at the level of each single circuit run. A prominent example is the randomized compiling (RC) technique [32, 33] that, through random Pauli twirling, effectively converts problematic coherent errors (e.g. systematic overrotations associated with a given gate) to stochastic errors, which add up more favourably and whose effects are easier to mitigate further.

“Readout error mitigation” (REM) techniques target errors that occur during the measurement of the qubits [31, 34]. In general, they consists of two steps. At first, a set of simple and shallow characterization circuits is executed on the hardware, in order to determine the properties and the magnitude of the readout errors. As a simple example, one might want to measure what is the probability that a given qubit prepared, say, in the \(0\rangle \) state is incorrectly measured to be in \(1\rangle \). Once this information is gathered, the desired algorithm is executed and its raw results are postprocessed in order to compensate for the readout errors. In this paper, we have mitigated readout errors using correlated readout error mitigation calibrated with 10,000 shots per basis state.

A third class of “error mitigation” techniques mainly targets errors happening at the gate level, i.e. during the execution of the bulk of the circuits. This is generally achieved by executing different variants of the desired quantum circuit and by combining their output via classical postprocessing, leading to a (potentially significant) run time overhead [31]. Despite this tradeoff between quality and speed, the implementation of error mitigation strategies is a key element for successful algorithm execution in the NISQ era. One simpleyeteffective technique to mitigate gate errors is known as zero noise extrapolation (ZNE) [35], which is based on the idea of artificially increasing the noise level and then making use of noisier results to extrapolate back to the noiseless limit. Open source and educational implementations of several other techniques can be found, for example, in [36].
4.2.1 Violation of the CHSH inequality
The Nobel Prize in Physics 2022 was awarded jointly to Alain Aspect, John F. Clauser and Anton Zeilinger “for experiments with entangled photons, establishing the violation of Bell inequalities and pioneering quantum information science” [37]. Bell’s theorem claims that correlations of measurement outcomes of two experimenters separated from one another have an upper bound if nature follows the principle of local realism [38]. Suppose two parties, often called Alice and Bob, are located far away from each other in the experiment. They both have two observables they can measure of some signal that comes to them, but they cannot measure both simultaneously. Belltype inequalities define correlators over the possible measurement settings and their outcomes, assuming that the measurements happen so fast that no communication is possible between the measurement devices of Alice and Bob due to the finite speed of light [39]. A Bell inequality then separates socalled local probability distributions from nonlocal distributions, that have stronger correlations than the local distributions. The most famous Belltype inequality is the CHSH inequality [40], which is straightforward to test with two qubits on a quantum computer. The measurements of the qubits are definitely not spacelike separated events, though. The inequality is given by the formula:
if the local realism is true. Here the observables are
where index 1 refers to Alice’s and 2 to Bob’s qubit and \(E(A)\) stands for the expectation value of A.
Let us now consider how these correlations behave in quantum mechanics, and evaluate the above expectation values in the state
where \(R_{y}(\theta )= \exp (i \theta Y/2)\). Calculating the expectation values as described at the end of Sect. 1, we obtain
and thus
Clearly the CHSH inequality in Eq. (3) is violated in the state \( \Psi (\theta ) \rangle \) iff
which demonstrates that quantum mechanics is not compatible with local realism.
To experimentally test this prediction, we will execute a parameterised quantum circuit given in Fig. 9 (a) to create the state \( \Psi (\theta ) \rangle \) and measure the relevant expectation values for multiple values of θ. Figure 9 (b) shows how the CHSH observable oscillates as we rotate the state, and violates the equality as predicted. The statistical uncertainty due to the finite amount of shots is shown by the error bars, which correspond to one standard deviation. They have been determined by means of bootstrapping, i.e. by classically resampling several times the probability distribution obtained from each circuit run, thus obtaining a set of reprocessed results that can be used to estimate confidence intervals. We use this method throughout the paper.
4.2.2 5qubit GHZ state, decoherence and Mermin’s inequality
5qubit GHZ state
Let us prepare a maximally entangled 5qubit state and see what we can do with it. The 5qubit GHZ state [41]
is one of the maximally entangled 5qubit states. This state is obtained by applying the quantum circuit in Fig. 10 (a) on \( 00000 \rangle \). Figure 10 (b) shows the output histogram of our quantum computer obtained with 5000 shots, while Fig. 10 (c) shows the output after readout error mitigation is applied.
Entanglement, mixed state and decoherence
Let us separate the 5qubit system into subsystems made of qubits 12 and qubits 345. Suppose one measures an observable O associated with subsystem 12. The expectation value of O with respect to \( \Psi \rangle \) is
which is an expectation value with respect to a mixed state, even though the total system is in a pure state. This is directly demonstrated by evaluating the density matrices of (a) the 5qubit GHZ state, (b) the subsystem 12 and (c) the subsystem 345 as
respectively. Figure 11 shows the result of quantum state tomography for (a) the GHZ state (b) subsystem 12 and (c) subsystem 345, which are obtained experimentally with the Qiskit state tomography algorithm. The subsystem 12 is in a mixed state since it cannot access the information of the subsystem 345 and vice versa.
This situation models decoherence. It is often said that interaction of a quantum system with environment causes entanglement between the two systems, by which a initial pure state of the system becomes a mixed state. This explanation of decoherence is often difficult to understand for beginners. Let us call the subsystem 12 the principal system while subsystem 345 the environment. The total system, started in a pure tensor product state \( 00 \rangle \otimes  000 \rangle \), evolves to the entangled GHZ state under the unitary time evolution given by Fig. 10 (a). The total system is still in a pure state. Although the principal system was in a pure state \( 00 \rangle \) in the beginning, it is now entangled with the environment, and thus in a mixed state \(\rho _{12}\) if the environment is ignored (i.e. traced out). In other words, the GHZ state is a purification of \(\rho _{12}\).
It is interesting to evaluate the von Neumann entropy \(S(\rho ) =\operatorname{tr} \rho \log _{2} \rho \) of these states. Table 1 shows both the theoretical predictions and the experimental results along with the upper bound saturated by the uniformly mixed state. Observe that the entropy, which is called the entanglement entropy in this context, is theoretically the same for \(\rho _{12}\) and \(\rho _{345}\). Usually, entropy is proportional to the system size but entanglement entropies derived from a pure state \(\rho _{\mathrm{GHZ}}\) are identical even though the subsystem sizes are different.
Violation of Mermin’s inequality
Let us show next that Mermin’s inequality is violated by the 5qubit GHZ state. Mermin’s inequality is regarded as a generalization of the CHSH inequality to multiqubit systems [42]. The Mermin polynomial for a 5qubit system is defined as [43]
It is known that Mermin’s inequality \(E(M_{5}) \leq 4\) is satisfied if the local realism holds. On the other hand, quantum theory predicts \(E(M_{5}) \leq 4^{2}=16\), where the upper bound is saturated if the state is maximally entangled.
Let us evaluate \(E(M_{5})\) in the 5qubit GHZ state. Since the GHZ state is symmetric with respect to permutations of qubits we only need to evaluate three monomials:
theoretically. Then we find
and thus the GHZ state \( \Psi \rangle \) saturates the upper bound. Let us now confirm this prediction with our 5qubit quantum computer.
The monomials of the Mermin polynomial can be measured as expectation values as described in Sect. 1. Since the qubits and gate fidelities of a NISQ quantum computer are not homogeneous, we must measure all 16 monomials separately. The estimation of \(\langle \Psi  M_{5}  \Psi \rangle \) obtained with our quantum computer is presented in Table 2, and clearly rules out local realism, in favour of quantum theory.
4.3 Maxcut problem
Many well known quantum algorithms, such as Shor’s and Grover’s algorithms, require a large number of qubits and faulttolerant error correction for useful quantum computation. This places their practical execution beyond the capabilities of currently available NISQ computers. In contrast, variational quantum algorithms are more suited for the NISQ computer at our hand, in that they can be executed with a currently available number of qubits without quantum error correction.
Variational quantum algorithms involve an optimization process, where classical computer seeks for the optimal parameters of a quantum circuit so that the expectation value of a Hamiltonian, representing the cost function, evaluated with a quantum computer using the resulting state is minimized. The parameters in the circuit are iterated many times until the expectation value hits the minimum. Variational algorithms have many use cases e.g. in mathematics, chemistry, finance and industrial optimizations. We will introduce application of a variational algorithm, called QAOA (Quantum Approximate Optimization Algorithm), to a combinatorial problem called the Maxcut problem in this subsection. Another variational algorithm VQE (Variational Quantum Eigensolver) will be introduced in Sect. 5.3.
Suppose there is a graph G with n nodes. There are edges between some pairs of nodes. In the Maxcut problem, one aims to partition the nodes of G into a disjoint union \(A \sqcup B\) such that the number of edges connecting nodes in A and B is maximized.
To solve this problem, we introduce an Ising Hamiltonian
where i and j denote the nodes. The coupling strength is \(J_{ij}=1\) if there is an edge between nodes i and j, while \(J_{ij}=0\) if there is no edge. Suppose \( 0 \rangle \) is assigned to nodes in group A, while \( 1 \rangle \) to nodes in B. If nodes i and j belong to different groups, the edge ij contributes −1 to the Hamiltonian, while if they belong to the same group, the edge contributes +1. There is no contribution if there is no edge connecting nodes i and j. Thus maximizing the number of edges connecting nodes in different groups reduces to minimizing the expectation value of the Hamiltonian H acting on an nqubit system.
In fact, the above problem may be implemented with \((n1)\)qubit system. Suppose we find a solution A and B of a Maxcut problem of a given graph. Then interchange of A and B is also a solution of the same problem. Accordingly we are free to assign \( 1 \rangle \) to the nth qubit, for example, without loss of generality. With this choise, \(J_{in}Z_{i} Z_{n}\) becomes \(J_{in}Z_{i}\). The modified Hamiltonian
is implemented with an \((n1)\)qubit system.
Let us consider a graph in Fig. 12 with 6 nodes for definiteness, where the node 6 is a virtual node in \( 1 \rangle \) state while the rest are physical. By fixing the state of node 6 to \( 1 \rangle \), the relevant Hilbert space is \(\operatorname{Span}(\{ i_{1}\, i_{2}\, i_{3}\, i_{4}\, i_{5} \rangle  1 \rangle \})\), which may be implemented with our 5qubit quantum computer.
Figure 13 shows the solution of the Maxcut problem experimentally obtained for the graph Fig. 12. The solution is read from the most probable state of the probability distribution. We used singlelayered QAOA ansatz and \(10{,}000\) measurements per optimization step and readout error mitigation. Using only a single layer of the QAOA ansatz means the algorithm has only a small number of gates and can be executed in a short time. This implies it is an approximate algorithm, and while it will output the correct solution, there will also be sizable probabilities of wrong states in the distribution. The algorithm can be more accurate and precise by increasing the layer depth, but then we start to accumulate more errors during the execution of the algorithm, which again introduces erroneous solutions to the output distribution of the quantum computer. The optimal depth depends in general on the problem instances and the errorlevels of the quantum computer, and is a key implementation detail relevant for the performance of quantum algorithms on practical problems.
Qscore
Solving the Maxcut problem has been recently adopted as a benchmark for the practical capabilities of a quantum computer [44]. The Qscore of a quantum computer equals the size of the graphs, whose Maxcut problem can be sufficiently solved. The obtained cost, i.e. the average number of cut edges, of the solution has to be above certain threshold. Specifically, one has to find the cost of a graph to be above 0.2 on a scale where 0 corresponds to random solution and 1 to ideal solution. The graphs chosen for the benchmark are random ErdösRény graphs with 50% edgeprobability between nodes.
We present a comprehensive Qscore benchmark on our 5qubit quantum computer. By employing the virtual node technique, we can solve the nnode graph with \(n1\) qubits. Figure 14 displays Qscore results up to five physical qubits.
5 Applications to research
Smallscale quantum computers have been used in many different areas in scientific research including but not limited to physics, chemistry and mathematics. Current trend in NISQ computer research is, no doubt, toward scaling up physical qubits for commercial use of quantum computers. Nonetheless, [45] reports that there are many research papers published in scientific journals, which demonstrate “proofs of principle” of scientific ideas with a smallscale quantum computer.
We illustrate three such examples from physics, mathematics and chemistry in this section, and demonstrate them with our 5qubit superconducting quantum computer.
5.1 Simulating neutrino oscillations
It is known that there are at least three types (i.e. flavors) of neutrinos in Nature. They are called \(\nu _{e}\), \(\nu _{\mu}\) and \(\nu _{\tau}\). Masses of these neutrinos are not diagonal in the flavor basis \(\{ \nu _{e} \rangle ,  \nu _{\mu} \rangle ,  \nu _{\tau} \rangle \}\). Let us call the eigenvectors of the mass matrix as \(\{ \nu _{1} \rangle ,  \nu _{2} \rangle ,  \nu _{3} \rangle \}\) with masses (eigenvalues) \(m_{1} < m_{2}<m_{3}\). Let H be the Hamiltonian that describes neutrinos. The mass eigenstates satisfy
where \(E_{k} =\sqrt{p^{2} c^{2}+m_{k}^{2} c^{4}}\), p is the momentum of the neutrino, and c is the velocity of light.
These two basis states are related by a unitary matrix called the Pontecorvo–Maki–Nakagawa–Sakata matrix \(U_{\mathrm{PMNS}}=(\langle \nu _{\alpha}\nu _{j}\rangle )\) [46–48] as
where
Here fictitious neutrinos \(\nu _{X}\) and \(\nu _{4}\) are introduced so that this system can be simulated with a twoqubit system. \(\nu _{X}\) and \(\nu _{4}\) are decoupled from the physical neutrinos and have no physical significance. This fourth neutrino may be utilized in a theory with an exotic neutrino which is yet to be discovered.
We closely follow [49] in the following. We keep the CPviolating phase \(\delta _{\mathrm{CP}}\) in \(U_{\mathrm{PMNS}}\) while [49] ignored this phase. The phase was taken into account in [50], which also generalizes the simulation to arbitrarily many neutrino species. We employ parameters announced in November 2022 [48] in Eq. (19).
Suppose \( \nu _{\mu} \rangle =(0,1,0,0)^{t}\) is created at \((x,t) = (0,0)\). The probability of detecting \( \nu _{\alpha} \rangle \) \((\alpha =e, \mu , \tau )\) at \(t>0\) is
where ϕ is an unphysical phase.
Let us simulate this system with a quantum computer. There are three steps to take.

Express \( \nu _{\mu} \rangle = 01 \rangle \) in terms of the mass eigenstates \( \nu _{k} \rangle \), which is done by applying \(U_{\mathrm{PMNS}}^{\dagger}\) on \( \nu _{\mu} \rangle \).

Apply the timeevolution operator \(V(t) = e^{iH t/\hbar}\) on this state to find \( \nu _{\mu}(t) \rangle = V(t) U_{\mathrm{PMNS}}^{\dagger } \nu _{\mu} \rangle \). \(V(t)\) is decomposed into two onequbit gates as \(V(t)=S_{1}(t) \otimes S_{2}(t)\), whose explicit forms are given below.

Measure \( \nu _{\mu}(t) \rangle \) in the basis \(\{ \nu _{e} \rangle ,  \nu _{\mu} \rangle ,  \nu _{\tau} \rangle \}\). This is done by applying \(U_{\mathrm{PMNS}}\) on \( \nu _{\mu}(t) \rangle \) and measure the output with binary basis.
Let us analyze these steps in depth. We prepare the initial state \( \nu _{\mu} \rangle = 01 \rangle \) in the \(\{ \nu _{k} \rangle \}\) basis as
where \(u_{\mu k}\) are the matrix elements of \(U_{\mathrm{PMNS}}\).
The timeevolution operator \(V(t)\) is diagonal in this basis and takes the form
Since the overall phase has no physical significance, we may factor out \(e^{i E_{1} t/\hbar}\) so that
where \(E_{21}=E_{2}E_{1}\), \(E_{31}=E_{3}E_{1}\) and \(\phi '\) is another unphysical phase. Here
where we took advantage of the fact that \(\phi '\) has no physical meaning. Now we have \( \nu _{\mu}(t) \rangle \), the state of neutrino at t, which was \( \mu _{\nu} \rangle \) at \(t=0\), as
Since the neutrino masses are very small and the velocity is very close to the speed of light c, we may approximate \(E_{k}=\sqrt{p^{2}c^{2}+m_{k}^{2} c^{4}}\) as \(E_{k} \simeq pc + m_{k}^{2} c^{3}/2p\). Then
where \(\Delta m_{k1}^{2}=m_{k}^{2}m_{1}^{2}\). We employ \(\Delta m_{21}^{2}= 7.39 \times 10^{5}~\mathrm{eV}^{2}\) and \(\Delta m_{31}^{2}= 2.45 \times 10^{3}~\mathrm{eV}^{2}\) in our analysis [51].
By approximating \(E \simeq pc\) and \(L \simeq ct\), we have
The exponent is expressed numerically with physical units as
These steps are implemented with a quantum computer with different t, namely different \(L/E\) and the results are compared with theoretical prediction. Figure 15 (a) shows the quantum circuit for this scheme while (b) shows the gate decomposition of \(U_{\mathrm{PMNS}}\). The overall gate decomposition depends on \(L/E\). Figure 15 (c) shows the transpiled gate decomposition for \(L/E=4000\) [km/GeV].
Figure 16 shows the theoretical curves predicting the detection probabilities of three neutrinos and our quantum computer output as functions of \(L/E\). Probabilities oscillate as a function of \(L/E\) while the sum of probabilities is always 1. This oscillation is possible only when different types of neutrinos have different masses (\(\Delta m_{k1}\neq 0\)). Thus neutrino oscillation is a smoking gun of massive neutrinos.^{Footnote 2} Neutrino oscillation was the subject of the Nobel Prize in Physics in 2015 [52].
5.2 Estimation of the Jones polynomials
Knots, links and braids are fascinating subjects of topology. An unexpected encounter between mathematics (topology) and physics (statistical physics) was discovered by Vaughan Jones in 1984. He discovered knot and link invariants, later called the Jones polynomials, that characterize oriented knots and links. His work was inspired by statistical mechanics of generalized spin models defined on a lattice. Jones was awarded the Fields medal in 1990 for his achievements including the discovery of the Jones polynomials.
Estimation of the Jones polynomials by employing a quantum computer was proposed in [53, 54] and demonstrated with an NMR quantum computer [55]. We reproduce here the results of [55] using our superconducting quantum computer.
We first introduce a braid b associated with a link L. A link is an embedding of a set of loops in \(\mathbb{R}^{3}\) or the 3dimensional sphere \(S^{3}\). If a link is made of one component, it is called a knot K. Let \((x,y,t)\) be a coordinate of 3dimensional spacetime. A braid b is a set of strings that connect n points \((0,0,0), (1,0,0), \ldots, (n,0,0)\) on \(\mathbb{R}^{2}\) at \(t=0\) and \((0,0,1), (1,0,1), \ldots, (n,0,1)\) at \(t=1\) without intersecting or going backwards in time. Alexander’s theorem claims that every knot and link can be expressed as a braid whose end points are closed, see Fig. 17. The set of braids with n strands has a group structure called the Artin group \(B_{n}\), whose generators are denoted as \(\sigma _{k}\). The generator \(\sigma _{k}\) twists the kth strand and \((k+1)\)st strand as shown in Fig. 18 for \(n=3\). The inverse \(\sigma _{k}^{1}\) twists them in the opposite direction. The set of generators satisfy the following relations:
An arbitrary braid b can be expressed in terms of successive applications of these generators and their inverses as
where \(s_{k} \in \{1, 1\}\), \(j_{k} \in \{1, 2, \ldots , n1\}\) and \(\sigma _{j_{1}}^{s_{1}}\) is applied first and \(\sigma _{j_{p}}^{s_{p}}\) last. This is called the braid word of b. Braid words are not unique and there are infinitely many braid words corresponding to the same braid.
In the following, we are concerned with threestrand braids, namely \(n=3\). It has two generators \(\sigma _{1}\) and \(\sigma _{2}\) as shown in Fig. 18. One possible braid word of the trefoil knot (Fig. 17 (b)) is \(\sigma _{1}^{3}\). Closure of the threestrand braid \(\sigma _{1}^{3}\) results in the trefoil and the trivial knot, as shown in Fig. 19 (a).
It is possible to “unwind” crossing of a braid diagram by introducing the generators \(\{U_{i}\}\) of the TemperleyLieb algebra \(\text{TL}_{n}\). There are two generators \(U_{1}\), \(U_{2}\) for \(n=3\) and they satisfy
where \(\delta =A^{2}A^{2}\) with \(A=e^{i \theta}\) a complex number with unit modulus. The map \(\rho : B_{3} \to \mathrm{GL}_{2}(\mathbb{C})\) defined as
is a representation of \(B_{3}\). We take the simplest braid word of the trefoil \(\sigma _{1}^{3}\) and its representation \(\rho (\sigma _{1}^{3})\) here. Note that the relations of the braid generators (27) are satisfied if \(U_{i}\) satisfies Eq. (29). The representation ρ is unitary whenever \(U_{i}\) is a real symmetric matrix satisfying \(\delta ^{2} \geq 1\). The last condition is satisfied if
Explicitly, the generators \(U_{i}\) are given as
We need to define \(w(b) \in \mathbb{Z}\) called the writhe of a braid b before we introduce the Kauffman bracket and the Jones polynomial. Suppose a braid word of b is given as Eq. (28). Then the writhe of b is defined as the sum of the exponents,
For the Hopf link and the trefoil knot we find \(w(\text{Hopf link})=2\) and \(w(\text{trefoil})=3\), respectively.
The Kauffman bracket of the trefoil is obtained as
where b is the braid word given in Fig. 17 (b) and \(\bar{\ }\) stands for the closure of b. Note that b̄ is made of the trefoil knot and the trivial knot. The factor \(1/\delta \) in Eq. (33) removes the contribution of the trivial knot.
The Kauffman bracket of the Hopf link is obtained in a similar way as
The Kauffman bracket is invariant under the Reidemeister moves II and III but not under the Reidemeister move I, and hence cannot be a knot invariant. The Jones polynomial is obtained by multiplying the Kauffman bracket with \((A^{3})^{ w(b)}\) to make it invariant under all three Reidemeister moves. For the trefoil knot, we obtain the Jones polynomial
It is common to introduce \(t=A^{4}\) so that
The Jones polynomial of the Hopf link is
The Jones polynomial is a Laurent polynomial in \(\sqrt{t}\) in general.
Let us use a quantum computer to estimate the trace \(\operatorname{tr} \rho (\sigma _{1}^{k})\) in the Kauffman brackets (33) and (34). Consider the quantum circuit Fig. 20 (a) with \(U= \rho (\sigma _{1}^{k})\) and the input state
where \(I_{2}/2\) is the maximally mixed state. The state after quantum circuit is applied is
The expectation value of \(X_{1}\) with respect to \(\rho _{1}\) is
while the expectation value of \(Y_{1}\) is
Hence, the trU is found from estimating these two expectation values.
The above scheme fits well with NMR quantum computer, in which the system is in a maximally mixed state with a good approximation. A superconducting quantum computer is ideally in a pure state and the above scheme cannot be applicable in its original form. We use purification to “synthesize” a uniformly mixed state from a pure state for this purpose. Let us consider the circuit in Fig. 20 (b). The bottom two qubits are in the Bell state
after application of the Hadamard gate and the CNOT gate. The middle qubit is in a maximally mixed state if the bottom qubit is ignored (i.e. partially traced out). We have already seen this in Sect. 4.2.2. Observe that
Then the output of the top two qubits is the same as that of Fig. 20 (a).
Suppose the quantum circuit Fig. 20 (b) is applied on \( 000 \rangle \). Then the output state is
We estimate the expectation value of \(X_{1}\) with respect to \( \Phi \rangle \) to get
similarly for \(Y_{1}\) we get
from which we estimate trU. Figure 20 (c) shows the transpiled circuit to estimate \(E(X_{1})\) for \(\theta =\pi /6\).
Figure 21 shows the real and the imaginary parts of \(\operatorname{tr} \rho (\sigma _{1}^{k})\) obtained using \( \Phi \rangle \) with \(k=2\) for the Hopf link while \(k=3\) for the trefoil knot. The readout error mitigated results are marked by the blue circles.
When quantum circuits get deeper, consisting of several layers of gates, errors that happen in the bulk of the circuits start to accumulate and can significantly affect the results. This is the case for the transpiled circuits that we are considering here, see Fig. 20 (c), and we thus decided to implement also error suppression and additional error mitigation techniques, namely randomized compiling and zeronoise extrapolation. The mitigated expectation values are shown with green diamonds and, in general, are indeed closer to the ideal noiseless results (red). In more detail, we generate 30 different randomized compilations of the original circuit and measure each 20,000 times. The higher shot count is employed to combat the increased variance resulting from zeronoise extrapolation, where we scale the noise by factors of 3 and 5 using global folding. Polynomial fitting is used to extrapolate to the limit of zero noise.
The Kauffman and the Jones polynomials may be obtained in many different ways. All of them are easy if the trefoil is represented as in Fig. 19 (a), for example. But it will be more demanding if the representation is more knotted as in Fig. 19 (b). A typical classical evaluation of these polynomials involves a sum over “states” obtained by splitting each crossing in two different ways. There are \(2^{m}\) states if there are m crossings and the task is exponentially hard as m increases. In contrast, in quantum computing, a controlled unitary gate is assigned to each crossing, i.e., the braid group generator, which requires merely m controlled unitary gates.
5.3 Embedding techniques for quantum chemistry
Embedding techniques are theoretical frameworks used in quantum chemistry and condensed matter physics to study the electronic structure of strongly correlated materials. These methods are crucial and are particularly valuable for systems where the effects of electronelectron interactions are significant and where traditional methods such as density functional theory (DFT) [56, 57] fail to provide accurate descriptions. They represent a powerful tool to study the electronic properties of materials such as transitionmetaloxides and rareearth compounds. Embedding techniques have been successfully applied to further the understanding of complex phenomena such as metalinsulator transitions, magnetically ordered states and hightemperature superconductivity.
The central idea of these techniques is to map a complex quantum manybody problem to a selfconsistent Anderson impurity model (AIM) [58], which consists of a strongly correlated subsystem (impurity) and a weakly correlated or noncorrelated subsystem (bath). The impurity is treated more accurately using a method capable of handling strong correlations, while the bath is treated at a lower level of theory, often using meanfield approximations. These descriptions of the impurity and the bath are combined in a selfconsistent loop over either single particle (i.e. density matrix embedding theory (DMET) [59, 60] and rotationally invariant slaveboson (RISB) techniques [61–63]) or two particle quantities (i.e. selfenergy embedding theory (SEET) [64, 65], dynamical meanfield theory (DMFT) [66–68] and its cluster extensions [67, 69]) in order to provide a more accurate description of the entire system. Figure 22 is a schematic of the selfconsistent loop in embedding based techniques.
Consider the electronic structure (ES) Hamiltonian in secondquantized form:
where p, q, r, s are indices of a given basis set and include the respective spin indices \(p \equiv p(\sigma )\). Further, \(a^{\dagger}\) and a are the fermionic creation and annihilation operators and \(h^{pq}\), \(h^{pqrs}\) are constants called the one and twoelectron integrals, respectively. Such a Hamiltonian is then mapped to an Anderson impuritybath model given by:
where k represents the summation index for the bath operators, σ labels the spin, d corresponds to the impurity operator with \(n_{d\sigma} = d^{\dagger}_{\sigma }d_{\sigma}\) and c corresponds to the operators on the noninteracting bath, \(\varepsilon _{d/c}\) correspond to the onsiteenergy of the impurity and bath, respectively, with the chemical potential μ. In spite of giving a simple description of the lattice problem, this model is by itself challenging to solve for stateoftheart numerical techniques such as density matrix renormalization group (DMRG) [70–73], quantum Monte Carlo (QMC) [74–77] and others. It has been recently shown that a promising alternative approach for computing the ground states of such systems comes from using variational algorithms implemented on quantum devices [78, 79] one of which, QAOA, has already been discussed in Sect. 4.3.
The variational quantum eigensolver (VQE) [80–82] is another quantum algorithm designed for finding the ground state energy, which is a fundamental quantity for quantum systems of interest in condensed matter physics and quantum chemistry. The basic idea behind VQE is to use a hybrid approach where the optimization of variational parameters performed on a classical computer is combined with measurements on the quantum computer to find an approximation to the ground state energy. The algorithm involves mainly a trial wavefunction in the form of a parameterized quantum circuit, chosen to represent a guess for the ground state of the quantum system. This circuit, controlled by a set of variational parameters, is executed on a quantum computer. Measurements are made on the final prepared state to calculate the expectation value of the Hamiltonian of the system. Then classical optimization algorithms are employed to tune the variational parameters in order to minimize the expectation value of the Hamiltonian. This process is repeated iteratively until the ground state energy is sufficiently minimized and the solution converges.
On our 5qubit quantum computer (see Fig. 23) we aim to perform a VQE calculation in order to approximate the ground state of the oneimpuritysite and onebathsite AIM (\(k = 1\) in Eq. (44)). The fermionic Hamiltonian of the AIM has to be mapped to a qubit Hamiltonian using the following JordanWigner transformation [83]:
which leads to the qubit Hamiltonian
Grouping Hamiltonian terms that have support on different qubits allows us to reduce the number of measurements performed. For example an \(X_{0}X_{1}X_{2}X_{3}\) measurement on the Ansatz state can be used to compute both \(X_{0}X_{1}\) and \(X_{2}X_{3}\) terms of the Hamiltonian. A hardware efficient Ansatz as shown in Fig. 23 (a) is chosen. Since the problem requires only four qubits, the best qubits based on fidelity are chosen from the hardware to perform the calculations and keeping 0th qubit of the spin Hamiltonian fixed at the center of the star topology. Parameterized single qubit \(R_{y}\) gates are introduced and a total of seven parameters are tuned by the LBGFSB classical optimizer from Scipyoptimizer package [84]. This is a gradient based optimizer where the derivative is computed using the parameter shift rule [85, 86]. One has:
where \(E_{{\boldsymbol {\theta}}} = \langle \psi ({\boldsymbol {\theta}})  \mathcal{H}_{ \text{AIM}}^{\text{JW}}  \psi (\boldsymbol {\theta}) \rangle \) with \({\boldsymbol {\theta}} = \{\theta _{1},\theta _{2} \cdots \}\). Figure 23 (b) shows the energy measurements for different iterations computed without and with readout error mitigation at \(\epsilon _{d} = \mu \), \(\epsilon _{1} = 0\), \(V=1\) and \(U = 2\). We have used 5000 shots for each measurement. The results can be further improved using advanced error mitigation strategies, such as zeronoise extrapolation (ZNE) [87–89] or probabilistic error cancellation (PEC) [90–92]. The converged parameterized state can be used to compute quantities such as density matrix or the Green’s function which are necessary components of some of the aforementioned embedding techniques.
VQE has been proposed as a promising algorithm for nearterm quantum computers to solve certain models from quantum chemistry and condensed matter physics. It is important to note though, that practical implementations of VQE are still limited by the capabilities of available quantum hardware, and there is active ongoing work on improving and refining these algorithms. Nevertheless, it serves as a gateway to explore and investigate advanced embedding techniques on the currently available quantum hardware.
6 Summary
An onsite quantum computer can be utilized in education and research for quantum computing, quantum information and quantum theory. We have demonstrated some of these topics with the 5qubit superconducting IQM Spark^{TM} prototype in this paper.
First, we presented the tools and programs used. Then, we showed how they can be used in education and research. Certain demonstrations, such as calibration and working with qutrits, are only possible with an onsite quantum computer. It is also used to explore the complex quantum realm and reproduce recent breakthroughs in mathematics, physics, and chemistry for a better understanding.
7 Discussion
This physical onsite quantum computer is vital for making quantum computing accessible to more people and talents, teaching quantum concepts, and enhancing our understanding of quantum theory and computing. It can also be used for research, as we have shown in Sect. 5. A recent survey reveals that many research papers demonstrating “proofs of principle” used a quantum computer with five qubits or fewer [45].
We anticipate that in the very nearterm future, every leading university and research institute, wanting to stay competitive in quantum computing education and research, will have physical access to affordable onsite quantum computers, such as the IQM Spark^{TM} [6].
Data availability
No datasets were generated or analysed during the current study.
Notes
This research paper is based on a prototype system of a commercial IQM Spark^{TM} and its system specifications and performance may therefore differ from the commercial IQM Spark^{TM}. The authors will not make any statements relating to the commercial IQM Spark^{TM} or give any guarantees relating to the system specification and performance of the commercial IQM Spark^{TM}.
The “standard model” of particle physics had no neutrino mass terms for many decades.
References
Shor PW. Polynomialtime algorithms for prime factorization and discrete logarithms on a quantum computer. SIAM J Comput. 1997;26(5):1484–509. https://doi.org/10.1137/S0097539795293172.
Daley AJ, Bloch I, Kokail C, Flannigan S, Pearson N, Troyer M, Zoller P. Practical quantum advantage in quantum simulation. Nature. 2022;607(7920):667–76. https://doi.org/10.1038/s41586022049406.
Shor PW. Faulttolerant quantum computation. In: Proceedings of 37th conference on foundations of computer science. IEEE; 1996. p. 56–65.
Bharti K, CerveraLierta A, Kyaw TH, Haug T, AlperinLea S, Anand A, Degroote M, Heimonen H, Kottmann JS, Menke T, Mok WK, Sim S, Kwek LC, AspuruGuzik A. Noisy intermediatescale quantum algorithms. Rev Mod Phys. 2022;94:015004. https://doi.org/10.1103/RevModPhys.94.015004.
Devoret MH, Schoelkopf RJ. Superconducting circuits for quantum information: an outlook. Science. 2013;339(6124):1169–74. https://doi.org/10.1126/science.1231930.
IQM Quantum Computers. IQM Spark. https://meetiqm.com/products/iqmspark/.
Qiskit contributors. Qiskit: an opensource framework for quantum computing. 2023. https://doi.org/10.5281/zenodo.2573505.
Sung Y, Ding L, Braumüller J, Vepsäläinen A, Kannan B, Kjaergaard M, Greene A, Samach GO, McNally C, Kim D, Melville A, Niedzielski BM, Schwartz ME, Yoder JL, Orlando TP, Gustavsson S, Oliver WD. Realization of highfidelity cz and zzfree iswap gates with a tunable coupler. Phys Rev X. 2021;11:021058. https://doi.org/10.1103/PhysRevX.11.021058.
Marxer F, Vepsäläinen A, Jolin SW, Tuorila J, Landra A, OckeloenKorppi C, Liu W, Ahonen O, Auer A, Belzane L, Bergholm V, Chan CF, Chan KW, Hiltunen T, Hotari J, Hyyppä E, Ikonen J, Janzso D, Koistinen M, Kotilahti J, Li T, Luus J, Papic M, Partanen M, Räbinä J, Rosti J, Savytskyi M, Seppälä M, Sevriuk V, Takala E, Tarasinski B, Thapa MJ, Tosto F, Vorobeva N, Yu L, Tan KY, Hassel J, Möttönen M, Heinsoo J. Longdistance transmon coupler with czgate fidelity above 99.8%. PRX Quantum. 2023;4:010314. https://doi.org/10.1103/PRXQuantum.4.010314.
Heinsoo J, Inel S, Janzso D, Jenei M, Kotilahti J, Landra A, OckeloenKorppi C, Räbinä J, Savola N, Smirnov P, Takala E. KQCircuits. Zenodo. 2023. https://doi.org/10.5281/zenodo.4944796. https://github.com/iqmfinland/KQCircuits.
Köfferlein M. KLayout. 2023. https://www.klayout.de/.
Koch J, Yu TM, Gambetta J, Houck AA, Schuster DI, Majer J, Blais A, Devoret MH, Girvin SM, Schoelkopf RJ. Chargeinsensitive qubit design derived from the cooper pair box. Phys Rev A. 2007;76:042319. https://doi.org/10.1103/PhysRevA.76.042319.
Barends R, Kelly J, Megrant A, Sank D, Jeffrey E, Chen Y, Yin Y, Chiaro B, Mutus J, Neill C, O’Malley P, Roushan P, Wenner J, White TC, Cleland AN, Martinis JM. Coherent Josephson qubit suitable for scalable quantum integrated circuits. Phys Rev Lett. 2013;111:080502. https://doi.org/10.1103/PhysRevLett.111.080502.
Houck AA, Schreier JA, Johnson BR, Chow JM, Koch J, Gambetta JM, Schuster DI, Frunzio L, Devoret MH, Girvin SM, Schoelkopf RJ. Controlling the spontaneous emission of a superconducting transmon qubit. Phys Rev Lett. 2008;101:080502. https://doi.org/10.1103/PhysRevLett.101.080502.
Blais A, Huang RS, Wallraff A, Girvin SM, Schoelkopf RJ. Cavity quantum electrodynamics for superconducting electrical circuits: an architecture for quantum computation. Phys Rev A. 2004;69(6):062320. https://doi.org/10.1103/PhysRevA.69.062320.
Wallraff A, Schuster DI, Blais A, Frunzio L, Majer J, Devoret MH, Girvin SM, Schoelkopf RJ. Approaching unit visibility for control of a superconducting qubit with dispersive readout. Phys Rev Lett. 2005;95(6):060501.
Jaynes ET, Cummings F. Comparison of quantum and semiclassical radiation theories with application to the beam maser. Proc IEEE. 1963;51:89–109. https://doi.org/10.1109/PROC.1963.1664.
Heinsoo J, Andersen CK, Remm A, Krinner S, Walter T, Salathé Y, Gasparinetti S, Besse JC, Potočnik A, Wallraff A, Eichler C. Rapid highfidelity multiplexed readout of superconducting qubits. Phys Rev Appl. 2018;10:034040. https://doi.org/10.1103/PhysRevApplied.10.034040.
Foxen B, Neill C, Dunsworth A, Roushan P, Chiaro B, Megrant A, Kelly J, Chen Z, Satzinger K, Barends R et al.. Demonstrating a continuous set of twoqubit gates for nearterm quantum algorithms. Phys Rev Lett. 2020;125(12):120504.
Caves CM. Quantum limits on noise in linear amplifiers. Phys Rev D. 1982;26(8):1817.
Swiadek F, Shillito R, Magnard P, Remm A, Hellings C, Lacroix N, Ficheux Q, Zanuz DC, Norris GJ, Blais A, Krinner S, Wallraff A. Enhancing dispersive readout of superconducting qubits through dynamic control of the dispersive shift: experiment and theory. 2023.
Frattini N, Vool U, Shankar S, Narla A, Sliwa K, Devoret M. 3wave mixing Josephson dipole element. Appl Phys Lett. 2017;110(22):222603.
Macklin C, O’Brien K, Hover D, Schwartz M, Bolkhovsky V, Zhang X, Oliver W, Siddiqi I. A nearquantumlimited Josephson travelingwave parametric amplifier. Science. 2015;350(6258):307–10.
Fadavi Roudsari A, Shiri D, Renberg Nilsson H, Tancredi G, Osman A, Svensson IM, Kudra M, Rommel M, Bylander J, Shumeiko V et al.. Threewave mixing travelingwave parametric amplifier with periodic variation of the circuit parameters. Appl Phys Lett. 2023;122(5):052601.
Perelshtein M, Petrovnin K, Vesterinen V, Raja SH, Lilja I, Will M, Savin A, Simbierowicz S, Jabdaraghi R, Lehtinen J et al.. Broadband continuousvariable entanglement generation using a Kerrfree Josephson metamaterial. Phys Rev Appl. 2022;18(2):024063.
Malnou M, Vissers M, Wheeler J, Aumentado J, Hubmayr J, Ullom J, Gao J. Threewave mixing kinetic inductance travelingwave amplifier with nearquantumlimited noise performance. PRX Quantum. 2021;2(1):010302.
Koch J, Yu TM, Gambetta J, Houck AA, Schuster DI, Majer J, Blais A, Devoret MH, Girvin SM, Schoelkopf RJ. Chargeinsensitive qubit design derived from the cooper pair box. Phys Rev A. 2007;76:042319. https://doi.org/10.1103/PhysRevA.76.042319.
Blok MS, Ramasesh VV, Schuster T, O’Brien K, Kreikebaum JM, Dahlen D, Morvan A, Yoshida B, Yao NY, Siddiqi I. Quantum information scrambling on a superconducting qutrit processor. Phys Rev X. 2021;11:021010. https://doi.org/10.1103/PhysRevX.11.021010.
Vepsäläinen A, Danilin S, Paraoanu GS. Superadiabatic population transfer in a threelevel superconducting circuit. Sci Adv. 2019;5(2):5999. https://doi.org/10.1126/sciadv.aau5999.
Peterer MJ, Bader SJ, Jin X, Yan F, Kamal A, Gudmundsen TJ, Leek PJ, Orlando TP, Oliver WD, Gustavsson S. Coherence and decay of higher energy levels of a superconducting transmon qubit. Phys Rev Lett. 2015;114:010501. https://doi.org/10.1103/PhysRevLett.114.010501.
Cai Z, Babbush R, Benjamin SC, Endo S, Huggins WJ, Li Y, McClean JR, O’Brien TE. Quantum error mitigation. 2023. https://arxiv.org/abs/2210.00921.
Hashim A, Naik RK, Morvan A, Ville JL, Mitchell B, Kreikebaum JM, Davis M, Smith E, Iancu C, O’Brien KP, Hincks I, Wallman JJ, Emerson J, Siddiqi I. Randomized compiling for scalable quantum computing on a noisy superconducting quantum processor. Phys Rev X. 2021;11:041039. https://doi.org/10.1103/PhysRevX.11.041039.
Wallman JJ, Emerson J. Noise tailoring for scalable quantum computation via randomized compiling. Phys Rev A. 2016;94:052325. https://doi.org/10.1103/PhysRevA.94.052325.
Nation PD, Kang H, Sundaresan N, Gambetta JM. Scalable mitigation of measurement errors on quantum computers. PRX Quantum. 2021;2:040326. https://doi.org/10.1103/PRXQuantum.2.040326.
Temme K, Bravyi S, Gambetta JM. Error mitigation for shortdepth quantum circuits. Phys Rev Lett. 2017;119:180509. https://doi.org/10.1103/PhysRevLett.119.180509.
LaRose R, Mari A, Kaiser S, Karalekas PJ, Alves AA, Czarnik P, El Mandouh M, Gordon MH, Hindy Y, Robertson A, Thakre P, Wahl M, Samuel D, Mistri R, Tremblay M, Gardner N, Stemen NT, Shammah N, Zeng WJ. Mitiq: a software package for error mitigation on noisy quantum computers. Quantum. 2022;6:774. https://doi.org/10.22331/q20220811774.
The Nobel Foundation. The Nobel Prize in Physics 2022. https://www.nobelprize.org/prizes/physics/2022/summary/.
Bell JS. On the Einstein Podolsky Rosen paradox. Phys Phys Fiz. 1964;1:195–200. https://doi.org/10.1103/PhysicsPhysiqueFizika.1.195.
Scarani V. Bell nonlocality. Oxford: Oxford University Press; 2019. https://doi.org/10.1093/oso/9780198788416.001.0001.
Clauser JF, Horne MA, Shimony A, Holt RA. Proposed experiment to test local hiddenvariable theories. Phys Rev Lett. 1969;23:880–4. https://doi.org/10.1103/PhysRevLett.23.880.
Greenberger DM, Horne MA, Zeilinger A. In: Kafatos M, editor. Going beyond Bell’s theorem. Dordrecht: Springer; 1989. p. 69–72. https://doi.org/10.1007/9789401708494_10.
Mermin ND. Extreme quantum entanglement in a superposition of macroscopically distinct states. Phys Rev Lett. 1990;65:1838–40. https://doi.org/10.1103/PhysRevLett.65.1838.
Alsina D, Latorre JI. Experimental test of mermin inequalities on a fivequbit quantum computer. Phys Rev A. 2016;94:012314. https://doi.org/10.1103/PhysRevA.94.012314.
Martiel S, Ayral T, Allouche C. Benchmarking quantum coprocessors in an applicationcentric, hardwareagnostic, and scalable way. IEEE Trans Quantum Eng. 2021;2:1–11. https://doi.org/10.1109/TQE.2021.3090207.
Ichikawa T, Hakoshima H, Inui K, Ito K, Matsuda R, Mitarai K, Miyamoto K, Mizukami W, Mizuta K, Mori T, Nakano Y, Nakayama A, Okada KN, Sugimoto T, Takahira S, Takemori N, Tsukano S, Ueda H, Watanabe R, Yoshida Y, Fujii K. A comprehensive survey on quantum computer usage: how many qubits are employed for what purposes? 2023. https://arxiv.org/abs/2307.16130.
Pontecorvo B. Inverse beta processes and nonconservation of lepton charge. Sov Phys JETP. 1958;7:172–3.
Maki Z, Nakagawa M, Sakata S. Remarks on the unified model of elementary particles. Prog Theor Phys. 1962;28(5):870–80. https://doi.org/10.1143/PTP.28.870.
Wikipedia contributors. Pontecorvo–Maki–Nakagawa–Sakata matrix — Wikipedia. 2023. https://en.wikipedia.org/w/index.php?title=PontecorvoMakiNakagawaSakata_matrix&oldid=1147492257. Accessed 5 Dec 2023
Argüelles CA, Jones BJP. Neutrino oscillations in a quantum processor. Phys Rev Res. 2019;1:033176. https://doi.org/10.1103/PhysRevResearch.1.033176.
Molewski MJ, Jones BJP. Scalable qubit representations of neutrino mixing matrices. Phys Rev D. 2022;105:056024. https://doi.org/10.1103/PhysRevD.105.056024.
Workman RL et al.. Review of particle physics. Prog Theor Exp Phys. 2022;2022:083. https://doi.org/10.1093/ptep/ptac097.
The Nobel Foundation. The Nobel Prize in Physics 2015. https://www.nobelprize.org/prizes/physics/2015/summary/.
Aharonov D, Jones V, Landau Z. A polynomial quantum algorithm for approximating the Jones polynomial. Algorithmica. 2009;55:395–421. https://doi.org/10.1007/s0045300891680.
Passante G, Moussa O, Ryan CA, Laflamme R. Experimental approximation of the Jones polynomial with one quantum bit. Phys Rev Lett. 2009;103:250501. https://doi.org/10.1103/PhysRevLett.103.250501.
Marx R, Fahmy A, Kauffman L, Lomonaco S, Spörl A, Pomplun N, SchulteHerbrüggen T, Myers JM, Glaser SJ. Nuclearmagneticresonance quantum calculations of the Jones polynomial. Phys Rev A. 2010;81:032319. https://doi.org/10.1103/PhysRevA.81.032319.
Hohenberg P, Kohn W. Inhomogeneous electron gas. Phys Rev. 1964;136:864–71. https://doi.org/10.1103/PhysRev.136.B864.
Kohn W, Sham LJ. Selfconsistent equations including exchange and correlation effects. Phys Rev. 1965;140:1133–8. https://doi.org/10.1103/PhysRev.140.A1133.
Anderson PW. Localized magnetic states in metals. Phys Rev. 1961;124(1):41.
Knizia G, Chan GKL. Density matrix embedding: a simple alternative to dynamical meanfield theory. Phys Rev Lett. 2012;109(18):186404.
Wouters S, JiménezHoyos CA, Sun Q, Chan GKL. A practical guide to density matrix embedding theory in quantum chemistry. J Chem Theory Comput. 2016;12(6):2706–19. https://doi.org/10.1021/acs.jctc.6b00316.
Lechermann F, Georges A, Kotliar G, Parcollet O. Rotationally invariant slaveboson formalism and momentum dependence of the quasiparticle weight. Phys Rev B. 2007;76(15):155102.
Frésard R, Wölfle P. Unified slave boson representation of spin and charge degrees of freedom for strongly correlated Fermi systems. Int J Mod Phys B. 1992;6(05n06):685–704.
Ayral T, Lee TH, Kotliar G. Dynamical meanfield theory, densitymatrix embedding theory, and rotationally invariant slave bosons: a unified perspective. Phys Rev B. 2017;96(23):235139.
Zgid D, Gull E. Finite temperature quantum embedding theories for correlated systems. New J Phys. 2017;19(2):023047.
Lan TN, Zgid D. Generalized selfenergy embedding theory. J Phys Chem Lett. 2017;8(10):2200–5.
Georges A, Kotliar G, Krauth W, Rozenberg MJ. Dynamical meanfield theory of strongly correlated fermion systems and the limit of infinite dimensions. Rev Mod Phys. 1996;68(1):13.
Kotliar G, Savrasov SY, Haule K, Oudovenko VS, Parcollet O, Marianetti C. Electronic structure calculations with dynamical meanfield theory. Rev Mod Phys. 2006;78(3):865.
Metzner W, Vollhardt D. Correlated lattice fermions in \(d=\infty \) dimensions. Phys Rev Lett. 1989;62(3):324.
Park H, Haule K, Kotliar G. Cluster dynamical mean field theory of the Mott transition. Phys Rev Lett. 2008;101(18):186403.
White SR. Density matrix formulation for quantum renormalization groups. Phys Rev Lett. 1992;69:2863–6. https://doi.org/10.1103/PhysRevLett.69.2863.
White SR. Densitymatrix algorithms for quantum renormalization groups. Phys Rev B. 1993;48:10345–56. https://doi.org/10.1103/PhysRevB.48.10345.
Schollwöck U. The densitymatrix renormalization group. Rev Mod Phys. 2005;77:259–315. https://doi.org/10.1103/RevModPhys.77.259.
Schollwöck U. The densitymatrix renormalization group in the age of matrix product states. Ann Phys. 2011;326(1):96–192. January 2011 Special Issue. https://doi.org/10.1016/j.aop.2010.09.012.
Blankenbecler R, Scalapino D, Sugar R. Monte Carlo calculations of coupled bosonfermion systems. I. Phys Rev D. 1981;24(8):2278.
Gull E, Millis AJ, Lichtenstein AI, Rubtsov AN, Troyer M, Werner P. Continuoustime Monte Carlo methods for quantum impurity models. Rev Mod Phys. 2011;83:349–404. https://doi.org/10.1103/RevModPhys.83.349.
Foulkes W, Mitas L, Needs R, Rajagopal G. Quantum Monte Carlo simulations of solids. Rev Mod Phys. 2001;73(1):33.
AlHamdani YS, Nagy PR, Zen A, Barton D, Kállay M, Brandenburg JG, Tkatchenko A. Interactions between large molecules pose a puzzle for reference quantum mechanical methods. Nat Commun. 2021;12(1):3927.
Wecker D, Hastings MB, Troyer M. Progress towards practical quantum variational algorithms. Phys Rev A. 2015;92(4):042303.
Cerezo M, Arrasmith A, Babbush R, Benjamin SC, Endo S, Fujii K, McClean JR, Mitarai K, Yuan X, Cincio L et al.. Variational quantum algorithms. Nat Rev Phys. 2021;3(9):625–44.
Peruzzo A, McClean J, Shadbolt P, Yung MH, Zhou XQ, Love PJ, AspuruGuzik A, O’Brien JL. A variational eigenvalue solver on a photonic quantum processor. Nat Commun. 2014;5(1):4213. https://doi.org/10.1038/ncomms5213. arXiv:1304.3061 [quantph].
McClean JR, Romero J, Babbush R, AspuruGuzik A. The theory of variational hybrid quantumclassical algorithms. New J Phys. 2016;18(2):023023.
Cao Y, Romero J, Olson JP, Degroote M, Johnson PD, Kieferová M, Kivlichan ID, Menke T, Peropadre B, Sawaya NP et al.. Quantum chemistry in the age of quantum computing. Chem Rev. 2019;119(19):10856–915.
Jordan P, Wigner EP. About the Pauli exclusion principle. Z Phys. 1928;47(631):14–75.
Virtanen P, Gommers R, Oliphant TE, Haberland M, Reddy T, Cournapeau D, Burovski E, Peterson P, Weckesser W, Bright J, van der Walt SJ, Brett M, Wilson J, Millman KJ, Mayorov N, Nelson ARJ, Jones E, Kern R, Larson E, Carey CJ, Polat İ, Feng Y, Moore EW, VanderPlas J, Laxalde D, Perktold J, Cimrman R, Henriksen I, Quintero EA, Harris CR, Archibald AM, Ribeiro AH, Pedregosa F, van Mulbregt P, SciPy 1.0 Contributors. SciPy 1.0: fundamental algorithms for scientific computing in Python. Nat Methods 2020;17:261–72. https://doi.org/10.1038/s4159201906862.
Schuld M, Bergholm V, Gogolin C, Izaac J, Killoran N. Evaluating analytic gradients on quantum hardware. Phys Rev A. 2019;99:032331. https://doi.org/10.1103/PhysRevA.99.032331.
Mitarai K, Negoro M, Kitagawa M, Fujii K. Quantum circuit learning. Phys Rev A. 2018;98(3):032309.
Endo S, Benjamin SC, Li Y. Practical quantum error mitigation for nearfuture applications. Phys Rev X. 2018;8(3):031027.
Kandala A, Temme K, Córcoles AD, Mezzacapo A, Chow JM, Gambetta JM. Error mitigation extends the computational reach of a noisy quantum processor. Nature. 2019;567(7749):491–5.
GiurgicaTiron T, Hindy Y, LaRose R, Mari A, Zeng WJ. Digital zero noise extrapolation for quantum error mitigation. In: 2020 IEEE international conference on quantum computing and engineering (QCE). IEEE; 2020. p. 306–16.
Temme K, Bravyi S, Gambetta JM. Error mitigation for shortdepth quantum circuits. Phys Rev Lett. 2017;119(18):180509.
Van Den Berg E, Minev ZK, Kandala A, Temme K. Probabilistic error cancellation with sparse Pauli–Lindblad models on noisy quantum processors. Nat Phys. 2023;19:1116–21.
Gupta RS, Berg E, Takita M, Temme K, Kandala A. Probabilistic error cancellation for measurementbased quantum circuits. 2023.
Acknowledgements
The work of the IQM technology team is acknowledged for having created the technology used here in the educational and research setting. We would like to thank Roberto Moretti and Michihisa Wakui for enlightening discussions. We are grateful to Andrew Guthrie for careful reading of the manuscript.
Funding
The whole work is funded by IQM Quantum Computers.
Author information
Authors and Affiliations
Contributions
All authors contributed equally in this paper. All authors reviewed the manuscript.
Corresponding authors
Ethics declarations
Competing interests
IQM Spark^{TM} is a product of IQM, the employer of all authors.
Additional information
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Rönkkö, J., Ahonen, O., Bergholm, V. et al. Onpremises superconducting quantum computer for education and research. EPJ Quantum Technol. 11, 32 (2024). https://doi.org/10.1140/epjqt/s4050702400243z
Received:
Accepted:
Published:
DOI: https://doi.org/10.1140/epjqt/s4050702400243z