IBM, Google, Amazon, Microsoft, Startups, and the Race to Useful Quantum Advantage
In This Chapter
- Learning Objectives
- 31.1 The Quantum Computing Landscape
- 31.2 Qubit Modalities: The Hardware Race
- 31.3 IBM: The Roadmap Leader
- 31.4 Google: The Milestone Achiever
- 31.5 Amazon Braket: The Cloud Aggregator
- 31.6 Microsoft: The Topological Bet
- 31.7 The Startup Ecosystem
- 31.8 The Investment Landscape
- 31.9 The Talent Shortage
- 31.10 The Quantum Cloud Ecosystem
- 31.11 The Quantum Supply Chain
- 31.12 The Quantum Software Stack: A Deeper Dive
- 31.13 Quantum Computing and National Security
- 31.14 Quantum Computing and Classical Computing: Coexistence, Not Replacement
- 31.15 International Quantum Computing Programs
Chapter 31: The Quantum Computing Industry
IBM, Google, Amazon, Microsoft, Startups, and the Race to Useful Quantum Advantage
Learning Objectives
By the end of this chapter, you will be able to:
- Map the quantum computing industry landscape across major players and startups
- Compare the leading qubit modalities: superconducting, trapped ion, photonic, neutral atom, and topological
- Understand IBM's quantum roadmap and the concept of modular quantum computing
- Evaluate Google's milestones (Sycamore, Willow) and their significance
- Describe the quantum cloud ecosystem (Amazon Braket, Azure Quantum, IBM Quantum)
- Assess the investment landscape and talent shortage in quantum computing
- Identify career paths and entry points into the quantum computing industry
- Evaluate the technical trade-offs that drive hardware design decisions
- Estimate resource requirements for quantum applications
- Navigate the quantum software stack and tooling ecosystem
31.1 The Quantum Computing Landscape
The quantum computing industry has evolved from academic curiosity to a multi-billion-dollar ecosystem spanning hardware manufacturers, cloud providers, software startups, and government initiatives. As of 2025, the landscape can be categorized into:
Hardware Manufacturers (Full-Stack): IBM, Google, IonQ, Quantinuum, Rigetti, QuEra, Xanadu, D-Wave, PsiQuantum
Cloud Providers (Quantum-as-a-Service): Amazon Braket, Microsoft Azure Quantum, IBM Quantum, Google Quantum AI
Software and Tools: Qiskit (IBM), Cirq (Google), PennyLane (Xanadu), Q# (Microsoft), CUDA-Q (NVIDIA), Classiq, QC Ware, Zapata
Government Initiatives: US National Quantum Initiative ($3.75B), EU Quantum Flagship (€1B), China's quantum program ($15B estimated), UK National Quantum Technologies Programme (£2.5B)
The total quantum computing market is projected to reach $50-100 billion by 2040, but these projections are highly speculative. The near-term market (2025-2030) is dominated by quantum-as-a-service revenue, consulting, and government contracts.
Common Misconception: "Quantum computing is a single industry."
The quantum computing "industry" is actually several distinct sectors: hardware (where the physics happens), software (where algorithms are compiled and executed), applications (where domain expertise meets quantum), and enabling technologies (cryogenics, control electronics, photonics). A company can be successful in quantum sensing without ever touching a quantum computer. Understanding this distinction is critical for evaluating claims, making career decisions, and identifying where value will accumulate.
Historical Context: How We Got Here
The quantum computing industry traces its roots to three converging threads:
-
Theoretical foundations (1980s–1990s). Richard Feynman's 1982 proposal that quantum systems should be simulated by quantum systems, David Deutsch's 1985 formulation of a quantum Turing machine, and Peter Shor's 1994 factoring algorithm created the theoretical motivation. Shor's algorithm was the "Sputnik moment" — it demonstrated that quantum computers could break RSA encryption, immediately attracting government and commercial interest.
-
Experimental progress (1990s–2010s). The first 2-qubit quantum gates were demonstrated in the late 1990s (using trapped ions by Chris Monroe and David Wineland, and NMR by Isaac Chuang). By 2010, small-scale quantum processors with 2-4 qubits were operational in multiple labs. The key shift: moving from "can we build a qubit?" to "can we build a processor?"
-
Commercial investment (2015–present). IBM's 2016 launch of the IBM Quantum Experience — a 5-qubit processor accessible via the cloud — was a watershed moment. It demonstrated that quantum computing could be democratized. Google, Rigetti, IonQ, and others followed, and venture capital began flowing. By 2024, over $50 billion in public and private investment had been committed globally.
The industry today is in a peculiar state: scientifically proven but commercially nascent. Quantum computers exist and work, but no one has yet demonstrated unambiguous quantum advantage on a commercially valuable problem. This tension between demonstrated scientific capability and unproven commercial viability shapes every aspect of the industry.
Try It Yourself: Map the Quantum Ecosystem
Create a spreadsheet or visual map of the quantum computing industry. For each company, note: (a) their qubit modality, (b) their current maximum qubit count, (c) their funding stage, (d) their primary revenue model (hardware sales, cloud access, software, consulting), and (e) their most significant technical milestone. Update this map quarterly — the industry moves fast. How many companies are building hardware vs. software vs. applications? Where is the concentration of value?
31.2 Qubit Modalities: The Hardware Race
There is no consensus on the "winning" qubit technology. Each modality has distinct trade-offs:
Modality Coherence Gate Fidelity Connectivity Scalability Maturity
──────────────────────────────────────────────────────────────────────────────────
Superconducting ~100 μs 99.9%+ Nearest-neighbor High High
(IBM, Google, Rigetti)
Trapped Ion ~1-10 s 99.99%+ All-to-all Medium High
(IonQ, Quantinuum)
Neutral Atom ~1-10 s 99.5%+ Reconfigurable High Medium
(QuEra, Pasqal, Atom Computing)
Photonic N/A 99%+ All-to-all High Medium
(Xanadu, PsiQuantum)
Topological Theoretical Unknown Unknown Potentially Low
(Microsoft) Very High
Silicon Spin ~1 ms 99%+ Nearest-neighbor Very High Low
(Intel, SQC, Diraq)
NV Centers ~1 ms 99%+ Limited Low Low
(Quantum Brilliance)
Understanding these trade-offs requires diving into the physics. Let's examine each modality in detail.
31.2.1 Superconducting Qubits
Superconducting qubits (transmons) are the most mature technology. They are fabricated using standard lithographic techniques, operate at ~15 mK (millikelvin above absolute zero), and have demonstrated the largest gate-based processors (IBM's 1,121-qubit Condor).
The transmon (transmission-line shunted plasma oscillation qubit) is a capacitively shunted Josephson junction qubit. Its Hamiltonian is:
$$H_{\text{transmon}} = 4E_C(n - n_g)^2 - E_J \cos\varphi,$$
where $E_C$ is the charging energy, $E_J$ is the Josephson energy, $n$ is the number of Cooper pairs, $n_g$ is the gate charge, and $\varphi$ is the superconducting phase. The ratio $E_J / E_C \gg 1$ (typically 50-100) suppresses charge noise — the key insight that made transmons practical.
The anharmonicity $\alpha = E_{12} - E_{01} \approx -E_C$ ensures that the qubit transition frequency $\omega_{01}$ is well separated from the next transition $\omega_{12}$, enabling selective addressing:
$$\omega_{01} \approx \sqrt{8E_J E_C} - E_C, \quad \omega_{12} \approx \sqrt{8E_J E_C} - 3E_C.$$
Key performance metrics (IBM Heron, 2024):
| Metric | Value |
|---|---|
| Single-qubit gate fidelity | 99.98% |
| Two-qubit (CZ) gate fidelity | 99.7% |
| Gate time (single-qubit) | ~30 ns |
| Gate time (two-qubit) | ~60 ns |
| T1 (relaxation) time | ~300 μs |
| T2 (dephasing) time | ~200 μs |
| Readout fidelity | 99.5% |
The trade-off: limited connectivity (nearest-neighbor on a 2D grid) and coherence times that, while improving, still limit circuit depth to ~1,000 gates without error correction.
Example 31.1: Gate Fidelity and Circuit Depth
How many gates can a superconducting qubit execute before the state becomes unreliable? For a circuit with depth $d$ using two-qubit gates with fidelity $F = 99.7\%$:
$$P_{\text{success}} \approx F^d = (0.997)^d$$
Setting $P_{\text{success}} = 0.5$:
$$d = \frac{\ln(0.5)}{\ln(0.997)} \approx 231$$
This means circuits deeper than ~230 two-qubit gates produce results no better than random noise on current hardware. This is the fundamental constraint driving the need for error correction.
Common Misconception: "More qubits is always better."
A 1,000-qubit processor with 95% gate fidelity is less useful than a 50-qubit processor with 99.9% gate fidelity for most algorithms. The useful metric is not qubit count alone but the product of qubit count and circuit fidelity. This is why IBM's shift from Condor (1,121 qubits, fixed-frequency cross-resonance gates) to Heron (133 qubits, tunable couplers with higher fidelity) was strategically important — the Heron's superior gate fidelity enables deeper circuits despite having fewer qubits.
31.2.2 Trapped Ion Qubits
Trapped ion qubits offer the highest gate fidelities (>99.99%) and all-to-all connectivity via shared motional modes. IonQ and Quantinuum lead this approach. The challenge: gate speed is slower than superconducting (microseconds vs. nanoseconds), and scaling to thousands of ions in a single trap is difficult.
In a trapped ion processor, ions (typically $^{171}\text{Yb}^+$ or $^{40}\text{Ca}^+$) are confined in a Paul trap using oscillating electric fields. The qubit is encoded in two internal energy levels of the ion:
$$|0\rangle = |S_{1/2}, m_J = -1/2\rangle, \quad |1\rangle = |S_{1/2}, m_J = +1/2\rangle$$
For $^{171}\text{Yb}^+$, the qubit levels are hyperfine clock states with a splitting of ~12.6 GHz, providing excellent coherence (T2 > 10 seconds in some systems).
The Mølmer-Sørensen gate uses the shared motional mode of the ion chain as a bus. For a chain of $n$ ions, a two-qubit gate between any pair $(i, j)$ is implemented by:
- Applying bichromatic laser fields with frequencies $\omega_0 \pm \mu$ (where $\omega_0$ is the qubit frequency and $\mu$ is near a motional mode frequency)
- The motional mode mediates an effective Ising interaction: $H_{\text{eff}} = J_{ij} \sigma_x^{(i)} \sigma_x^{(j)}$
- Evolution for time $t = \pi / (2J_{ij})$ produces a maximally entangling gate
The all-to-all connectivity means that any qubit pair can interact directly, eliminating the need for SWAP gates that plague superconducting architectures. For a circuit requiring $S$ SWAP operations on a nearest-neighbor architecture, the trapped ion version requires $S$ fewer two-qubit gates.
Example 31.2: SWAP Overhead Comparison
Consider a 20-qubit circuit that requires 15 SWAP operations on a nearest-neighbor (superconducting) architecture. Each SWAP requires 3 CNOT gates. Compare the total gate count:
- Superconducting (nearest-neighbor): $15 \times 3 = 45$ additional CNOT gates
- Trapped ion (all-to-all): 0 additional CNOT gates
- With CNOT fidelity 99.7% (superconducting) vs. 99.5% (trapped ion), the total circuit fidelity is:
- Superconducting: $(0.997)^{45} \times (0.997)^{N_{\text{original}}} \approx 0.873 \times (0.997)^{N_{\text{original}}}$
- Trapped ion: $(0.995)^{N_{\text{original}}}$
The trapped ion wins when the SWAP overhead is large relative to the original circuit. For highly connected circuits (like QAOA on dense graphs), trapped ions can achieve higher overall fidelity despite lower per-gate fidelity.
31.2.3 Neutral Atom Qubits
Neutral atom qubits use optical tweezers to trap individual atoms (typically rubidium-87 or cesium-133) in reconfigurable 2D and 3D arrays. QuEra's 256-atom system demonstrated large-scale analog quantum simulation. The ability to shuttle atoms during computation enables non-local connectivity.
The qubit is encoded in two hyperfine ground states of the atom, e.g., for $^{87}\text{Rb}$:
$$|0\rangle = |5S_{1/2}, F=1, m_F=0\rangle, \quad |1\rangle = |5S_{1/2}, F=2, m_F=0\rangle$$
The key innovation is the Rydberg blockade: when an atom is excited to a high-energy Rydberg state (principal quantum number $n \sim 50-100$), its strong dipole-dipole interaction prevents nearby atoms from being simultaneously excited. The interaction strength scales as:
$$V(r) = \frac{C_6}{r^6}, \quad C_6 \propto n^{11}$$
For typical Rydberg states, the blockade radius is $R_b \sim 5-15\ \mu\text{m}$, which means atoms within this radius experience strong entangling interactions. This naturally implements the Ising model:
$$H = \sum_i \Omega_i \sigma_x^{(i)} - \sum_i \Delta_i \frac{I + \sigma_z^{(i)}}{2} + \sum_{i The reconfigurable geometry is the killer feature: atoms can be physically moved during computation using optical tweezers, allowing the connectivity graph to change dynamically. This is impossible with fixed-position qubits like superconducting transmons. Example 31.3: Neutral Atom Array Scaling QuEra's Aquila processor has 256 atoms with programmable geometry. Suppose we want to solve a maximum independent set (MIS) problem on a 100-vertex graph. The encoding uses one atom per vertex, with the Rydberg blockade radius set to prevent adjacent vertices from both being in the Rydberg (independent set) state simultaneously. The analog evolution naturally samples independent sets weighted by their size (larger independent sets have lower energy). For a 100-atom array with Rydberg blockade radius covering nearest neighbors, the typical evolution time is $\sim 1-10\ \mu\text{s}$ per shot, and hundreds of shots provide a distribution of solutions. This is the current sweet spot for neutral atoms: analog Hamiltonian simulation of combinatorial optimization problems that map naturally to the Rydberg blockade geometry. Photonic qubits encode information in photons and perform computation via linear optical networks. Xanadu's approach uses squeezed light; PsiQuantum aims for fault tolerance via fusion-based quantum computing. The advantage: room-temperature operation and natural compatibility with fiber networks. A photonic qubit can be encoded in several ways:
- Dual-rail encoding: $|0\rangle = |1\rangle_a |0\rangle_b$ (photon in mode a), $|1\rangle = |0\rangle_a |1\rangle_b$ (photon in mode b)
- Polarization encoding: $|0\rangle = |H\rangle$ (horizontal), $|1\rangle = |V\rangle$ (vertical)
- Time-bin encoding: $|0\rangle$ = early time bin, $|1\rangle$ = late time bin Single-qubit operations are straightforward: beam splitters and phase shifters implement arbitrary unitaries on the photonic modes. Two-qubit gates are the challenge — they require non-deterministic measurement-induced operations. The KLM (Knill-Laflamme-Milburn) scheme uses ancilla photons, linear optics, and photon detection to implement near-deterministic two-qubit gates. However, the resource overhead is enormous: a single CNOT requires ~100 optical elements and succeeds with probability approaching 1 only as more resources are used. PsiQuantum's approach: Fusion-based quantum computing (FBQC) uses a different encoding — photonic cluster states built from small entangled resource states. Photon pairs are "fused" together using beam splitters and detectors. The key insight: if you generate enough entangled resource states in parallel, the probabilistic nature of fusion operations can be overcome through redundancy. Xanadu's Borealis processor demonstrated quantum computational advantage on Gaussian boson sampling in 2022, using 216 squeezed-light modes propagating through a programmable interferometer with 1,440 configurable phase shifters. Topological qubits (Microsoft) encode information in non-abelian anyons, which are inherently protected from local noise. If realized, they would dramatically reduce error correction overhead. However, the existence of Majorana zero modes — the proposed physical implementation — remains experimentally contested. The theoretical basis: in certain 2D systems (like fractional quantum Hall states at filling fraction $\nu = 5/2$), quasiparticle excitations obey non-abelian braiding statistics. Quantum information is stored in the joint state of multiple anyons, and operations are performed by physically braiding the anyons around each other. The topological protection arises because local perturbations cannot distinguish between different topological sectors — the information is stored non-locally. Formally, the error rate for a topologically protected operation scales as: $$\epsilon_{\text{topological}} \sim e^{-\Delta L / k_B T}$$ where $\Delta$ is the topological gap, $L$ is the separation between anyons, $k_B$ is Boltzmann's constant, and $T$ is the temperature. For large $L$ or large $\Delta$, the error rate becomes exponentially suppressed — without any error correction overhead. The challenge: No one has conclusively demonstrated a topological qubit. Microsoft's approach uses semiconductor-superconductor heterostructures (InAs/Al nanowires) to create Majorana zero modes. The 2018 Nature paper claiming evidence was retracted in 2021 after data irregularities were identified. Microsoft announced new progress in 2023 using a different device geometry, but independent verification and a demonstration of topological protection remain outstanding. The potential payoff is enormous: if topological qubits achieve error rates of $10^{-6}$ or lower intrinsically, the overhead for fault-tolerant quantum computing drops dramatically. The surface code, which requires ~1,000 physical qubits per logical qubit at $10^{-3}$ error rates, would need only ~10-100 physical qubits per logical qubit at $10^{-6}$ error rates. This is why Microsoft is willing to take the risk. Silicon spin qubits use the spin of individual electrons or holes in silicon quantum dots. Intel, SQC (Silicon Quantum Computing), and Diraq lead this approach. The key advantage: silicon is the most mature semiconductor material, and fabrication leverages existing CMOS infrastructure. The qubit is encoded in the electron spin: $$|0\rangle = |\uparrow\rangle, \quad |1\rangle = |\downarrow\rangle$$ in a magnetic field $B_0$, with Zeeman splitting $\omega_0 = g_e \mu_B B_0 / \hbar$ (where $g_e \approx 2$ is the electron g-factor and $\mu_B$ is the Bohr magneton). Single-qubit gates use electron spin resonance (ESR) pulses, and two-qubit gates use the exchange interaction between neighboring electrons. The exchange interaction between two electrons in adjacent quantum dots produces a Heisenberg Hamiltonian: $$H_{\text{exchange}} = J(\mathbf{S}_1 \cdot \mathbf{S}_2) = J\left(\frac{\sigma_x^{(1)}\sigma_x^{(2)} + \sigma_y^{(1)}\sigma_y^{(2)} + \sigma_z^{(1)}\sigma_z^{(2)}}{4}\right) + \frac{J}{4}I$$ The exchange coupling $J$ is controlled by adjusting the voltage on gate electrodes, which tunes the tunnel barrier between the dots. Typical values: $J \sim 1-100\ \mu\text{eV}$, corresponding to gate times of $t_{\text{gate}} \sim \hbar/J \sim 10-100\ \text{ns}$. Coherence times for silicon spin qubits can be remarkably long — up to seconds for isotopically purified $^{28}\text{Si}$ (which removes nuclear spin-bearing $^{29}\text{Si}$). The challenge is achieving high enough gate fidelities in multi-qubit devices, where cross-talk and charge noise degrade performance. Example 31.4: Resource Overhead Comparison for Fault Tolerance How many physical qubits are needed for one logical qubit with different modalities? Using the surface code with threshold $p_{\text{th}} \approx 1\%$ and target logical error rate $\epsilon_L = 10^{-10}$: For a physical error rate $p$, the required code distance is approximately: $$d \approx \frac{\log(\epsilon_L / p)}{\log(100 p / p_{\text{th}})} \cdot 2$$ This calculation shows why Microsoft's topological bet is so attractive: a factor of ~20 reduction in physical qubit count compared to superconducting qubits. It also shows why improving physical error rates by even a factor of 10 has a dramatic impact on the total resources needed for fault tolerance. Try It Yourself: Estimate Resource Requirements Using the formula above, estimate the number of physical qubits needed for 100 logical qubits with each modality. How does the estimate change if the physical error rate improves from $10^{-3}$ to $10^{-4}$ (a factor of 10 improvement)? What are the implications for the timeline to fault-tolerant quantum computing? IBM has published the most detailed public roadmap in the industry, with named processors at each milestone: The Modular Shift. IBM's most significant architectural decision is the move from monolithic processors (Condor) to modular, multi-chip architectures (Heron onward). Classical couplers connect multiple quantum chips, enabling horizontal scaling without the yield and control-wiring challenges of ever-larger single chips. The Heron processor, unveiled at the IBM Quantum Summit on December 4, 2023 (with the 156-qubit Heron r2 following in 2024), represents a strategic pivot. Rather than continuing to scale qubit count on a single chip (the path from Falcon to Condor), Heron uses tunable couplers — a fundamentally different two-qubit gate architecture that achieves 99.7% two-qubit gate fidelity, a significant improvement over the 99.3% of the cross-resonance gates used in earlier processors. The tunable coupler architecture works by inserting a frequency-tunable transmon qubit between each pair of data qubits. The coupler frequency is adjusted to turn the interaction on and off: This architecture reduces residual ZZ coupling (which causes crosstalk) by a factor of ~100 compared to fixed-frequency cross-resonance gates, enabling higher-fidelity operations. IBM Quantum Network. IBM has deployed quantum systems at research institutions worldwide, including the Cleveland Clinic (healthcare), University of Tokyo, and Fraunhofer Institute. The goal is to build an ecosystem of quantum-ready organizations. As of 2025, the IBM Quantum Network includes over 250 institutions. Qiskit. IBM's open-source quantum SDK is the most widely used quantum programming framework. It supports circuit construction, transpilation, error mitigation, and execution on real hardware. The Qiskit ecosystem includes Qiskit Nature (chemistry), Qiskit Machine Learning, and Qiskit Optimization. Example 31.5: IBM Quantum Backend Selection When selecting a backend on IBM Quantum, consider these factors: This analysis reveals that the "best" backend depends on your circuit: for circuits requiring many CNOTs, prioritize low CX error rates; for circuits requiring deep computation, prioritize long T1 times. Google Quantum AI has focused on demonstrating scientific milestones: Sycamore (2019). The 53-qubit Sycamore processor performed a random circuit sampling task in 200 seconds that Google estimated would take the world's largest supercomputer 10,000 years. This was the first claim of "quantum supremacy" (now called "quantum computational advantage"). The claim was contested by IBM, which argued that a classical simulation with sufficient disk storage could complete the task in 2.5 days. Regardless, Sycamore demonstrated that quantum processors can outperform classical computers on a well-defined (if not practically useful) task. The random circuit sampling protocol works as follows:
1. Generate a random quantum circuit $U$ of depth $d$ on $n$ qubits
2. Sample from the output distribution $P_U(x) = |\langle x | U | 0^n \rangle|^2$
3. Estimate the linear cross-entropy benchmark: $\mathcal{F} = 2^n \mathbb{E}_{x \sim P_U}[P_U(x)] - 1$ A fidelity $\mathcal{F} > 0$ indicates the quantum processor is producing outputs correlated with the ideal distribution. Sycamore achieved $\mathcal{F} \approx 0.002$ on 53 qubits — far from perfect, but sufficient to demonstrate that the classical simulation cost grows exponentially with circuit depth and qubit count. Willow (2024). The 105-qubit Willow processor achieved two major milestones: The key result: for surface codes with distance $d \in \{3, 5, 7\}$, the logical error rate per correction cycle was: Each doubling of the code distance reduced the logical error rate by approximately a factor of 3, confirming the exponential suppression predicted by theory: $$\epsilon_L \propto \left(\frac{p}{p_{\text{th}}}\right)^{(d+1)/2}$$ where $p$ is the physical error rate and $p_{\text{th}} \approx 1\%$ is the threshold. Google's Approach. Google uses superconducting transmon qubits with tunable couplers, fabricated in their dedicated quantum foundry in Santa Barbara. Their research emphasizes error correction, with a roadmap targeting 1,000 logical qubits by the early 2030s. Cirq. Google's open-source Python framework is designed for writing, manipulating, and optimizing quantum circuits. It is particularly strong for NISQ-era algorithms and noise characterization. Common Misconception: "Google's quantum advantage means quantum computers can solve real problems." The random circuit sampling task that both Sycamore and Willow performed is deliberately designed to be hard for classical computers and easy for quantum computers. It has no known practical application. The achievement proves that quantum processors can perform computations beyond classical reach, but it does not prove quantum advantage for any commercially relevant problem. Think of it as the quantum equivalent of breaking the sound barrier — a necessary engineering milestone, but not the same as commercial supersonic flight. Amazon Braket takes a different approach: rather than building quantum hardware, it provides a unified cloud platform for accessing multiple quantum backends: Braket's value proposition is choice and consistency. Researchers can test algorithms across different modalities without managing multiple vendor relationships. The Braket SDK integrates with PennyLane for hybrid quantum-classical machine learning. Amazon's Quantum Hardware. In parallel, Amazon is developing its own superconducting quantum processors at the AWS Center for Quantum Computing at Caltech. Their approach uses cat qubits — qubits encoded in the phase of a superconducting oscillator — which have inherent bias-preserving noise properties that simplify error correction. A cat qubit encodes logical states in a superconducting resonator's coherent states: $$|0_L\rangle = |C_\alpha^+\rangle = \mathcal{N}_+ \sum_{n=0}^{\infty} \frac{\alpha^{2n}}{\sqrt{(2n)!}} |2n\rangle, \quad |1_L\rangle = |C_\alpha^-\rangle = \mathcal{N}_- \sum_{n=0}^{\infty} \frac{\alpha^{2n+1}}{\sqrt{(2n+1)!}} |2n+1\rangle$$ where $\alpha$ is the coherent state amplitude. The key property: bit-flip errors scale as $e^{-2|\alpha|^2}$ while phase-flip errors scale linearly with $|\alpha|^2$. This asymmetric noise — extremely low bit-flip rate, higher phase-flip rate — means error correction only needs to correct phase flips, reducing the overhead from the surface code (which corrects both) to a repetition code (which corrects only phase flips). The resource savings are dramatic: cat qubits with $|\alpha|^2 = 8$ photons require approximately 6 physical cat qubits per logical qubit, compared to ~1,000 for transmon qubits with the surface code. This is the most promising path to reducing the total qubit count for fault-tolerant quantum computing. Example 31.6: Cross-Platform Comparison One of Braket's key advantages is the ability to run the same circuit on different hardware platforms and compare performance: This cross-platform comparison reveals that trapped ion processors achieve higher gate fidelities for small circuits (like Bell states), while superconducting processors offer more qubits for larger circuits. Neutral atom processors excel at analog simulation of many-body problems. Microsoft's quantum strategy is the most distinctive — and the riskiest. Rather than building NISQ-era processors, Microsoft is pursuing topological quantum computing from the start. The Vision. Topological qubits encode quantum information in non-abelian anyons — quasiparticle excitations that exist only in certain 2D materials. The information is stored non-locally in the braiding of these anyons, making it inherently resistant to local noise. A topological qubit could have error rates orders of magnitude lower than superconducting or trapped ion qubits, dramatically reducing the overhead for fault tolerance. The braiding operation for Majorana zero modes is described by: $$B_{ij}: \gamma_i \gamma_j \rightarrow -\gamma_j \gamma_i$$ where $\gamma_i, \gamma_j$ are Majorana operators satisfying $\{\gamma_i, \gamma_j\} = 2\delta_{ij}$. The unitary transformation induced by braiding anyons $i$ and $j$ in a $2n$-Majorana system depends only on the topology of the braid (not the path geometry), giving topological protection. The Challenge. Topological qubits require Majorana zero modes, which have been claimed and retracted multiple times. In 2018, a Nature paper from Microsoft's Delft lab claimed evidence of Majorana modes; it was retracted in 2021 after other researchers identified data irregularities. In 2025, Microsoft announced a new approach using a different material platform, but independent verification is pending. The history of Majorana claims is instructive: Azure Quantum. Microsoft's cloud platform provides access to IonQ, Quantinuum, and Rigetti hardware, as well as Microsoft's own quantum simulators. The Q# language and Quantum Development Kit (QDK) offer a high-level, functional programming approach to quantum computing. The Resource Estimator. Azure Quantum's most practical tool may be its resource estimator, which estimates the number of physical qubits and runtime required to run a given quantum algorithm with specified error correction parameters. This helps researchers understand what hardware is needed for practical applications. Example 31.7: Resource Estimation for Shor's Algorithm Using the Azure Quantum Resource Estimator for factoring RSA-2048: For comparison, with trapped ion qubits at $10^{-4}$ error rate:
| Parameter | Value |
|-----------|-------|
| Physical qubit error rate | $10^{-4}$ (trapped ion) |
| Surface code distance | 15 |
| Physical qubits per logical qubit | ~450 |
| Total physical qubits | ~1.8 million |
| Estimated runtime | ~1,000 hours (slower gate times) | This illustrates the fundamental trade-off: higher-fidelity qubits (trapped ions) require fewer physical qubits but slower gate times, while faster qubits (superconducting) require more physical qubits but shorter runtimes. The total computation time is a product of circuit depth and gate time, and the optimal modality depends on the specific algorithm. IonQ (NYSE: IONQ). The first pure-play quantum computing company to go public (2021 SPAC). IonQ's trapped ion processors offer industry-leading gate fidelities and all-to-all connectivity. Their roadmap targets 1,024 algorithmic qubits by 2028. IonQ has deployed systems at AWS, Azure, and Google Cloud. IonQ's "algorithmic qubits" metric is distinct from physical qubits. An algorithmic qubit is a qubit that can participate in a circuit with average two-qubit gate fidelity above 99% and connectivity enabling any pair to interact. This accounts for the fact that a 32-physical-qubit system might only support 25 algorithmic qubits due to edge effects and calibration constraints. Rigetti (NASDAQ: RGTI). A vertically integrated superconducting quantum computing company. Rigetti designs and fabricates its own chips and operates its own cloud platform. The Ankaa-3 processor (84 qubits) achieved 99.5% two-qubit gate fidelity in 2024. Rigetti's strategy emphasizes practical quantum computing for near-term applications in chemistry and optimization. Quantinuum (private, Honeywell Quantum Solutions + Cambridge Quantum merger). Combines Honeywell's trapped ion hardware (H-Series, up to 56 qubits with 99.8% two-qubit gate fidelity) with Cambridge Quantum's software stack (tket compiler, InQuanto chemistry platform). Quantinuum demonstrated "three 9s" (99.9%) two-qubit gate fidelity in 2024 — the highest reported for any gate-based platform. PsiQuantum (private, $1.3B+ raised). Pursuing fault-tolerant quantum computing using photonic qubits and fusion-based quantum computing. PsiQuantum is building a million-qubit system in a purpose-built facility, bypassing the NISQ era entirely. Their approach requires massive-scale integrated photonics but operates at room temperature. The bet: if you can manufacture enough photonic chips (using standard semiconductor fab processes), the probabilistic nature of photonic gates can be overcome through redundancy and multiplexing. QuEra (private). A neutral atom quantum computing company spun out of Harvard and MIT. QuEra's 256-atom system demonstrated large-scale analog quantum simulation. Their roadmap targets 10,000 physical qubits by 2026 and 100 logical qubits by 2027. The 2024 Nature paper by Bluvstein et al. (Harvard/MIT/QuEra) demonstrated a key milestone: a logical quantum processor based on reconfigurable atom arrays. They used 280 physical atoms to encode 48 logical qubits with code distance up to 7, and performed logical operations on them using "transversal" gates — an approach that could scale much more efficiently than the surface code for certain operations. Xanadu (private). A photonic quantum computing company based in Toronto. Xanadu's Borealis processor demonstrated quantum computational advantage on a Gaussian boson sampling task in 2022. Their PennyLane framework is the leading platform for quantum machine learning and variational algorithms. PennyLane's key innovation is the automatic differentiation of quantum circuits: D-Wave (NYSE: QBTS). The pioneer of quantum annealing. D-Wave's Advantage2 processor has 4,400+ qubits and is designed for optimization problems. While annealing is not universal quantum computing, D-Wave has demonstrated performance advantages for specific optimization and simulation tasks. Quantum annealing solves optimization problems by evolving the system Hamiltonian from an easy-to-prepare ground state to the problem Hamiltonian: $$H(t) = (1 - s(t)) H_{\text{initial}} + s(t) H_{\text{problem}}, \quad s(0) = 0, \; s(T) = 1$$ If the evolution is slow enough (satisfying the adiabatic condition), the system remains in its ground state, and the final state encodes the solution. The adiabatic condition requires: $$\frac{ds}{dt} \ll \frac{|\langle 1|dH/ds|0\rangle|^2}{|E_1(s) - E_0(s)|^2}$$ where $E_0(s)$ and $E_1(s)$ are the instantaneous ground and first excited state energies. Near avoided crossings (where $E_1 - E_0$ is small), the evolution must slow down, which is why quantum annealing can be exponentially slow for worst-case instances. Common Misconception: "D-Wave's 4,400 qubits means it's the most powerful quantum computer." D-Wave's qubits are annealing qubits, not gate-model qubits. They cannot run Shor's algorithm, simulate quantum systems, or perform arbitrary quantum circuits. D-Wave's advantage is specifically for optimization problems that can be mapped to Ising models — which is a broad class, but not universal quantum computation. A 100-qubit gate-model quantum computer is more "powerful" in the computational complexity sense than D-Wave's 4,400-qubit annealer, because the gate-model computer can run any quantum algorithm, including annealing. Global investment in quantum computing reached approximately $50 billion (public + private) by 2025: The investment thesis rests on the assumption that quantum computing will create value in three phases: NISQ era (2025-2035): Revenue from cloud access, consulting, and early applications in chemistry and optimization. Modest ($1-5B/year). Early fault tolerance (2035-2045): Breakthrough applications in drug discovery, materials science, and finance. Growing ($10-50B/year). Mature fault tolerance (2045+): Transformative impact across industries. Large ($50-100B+/year). These projections are speculative. A "quantum winter" — a period of reduced investment following overhyped expectations — is a real risk if near-term applications fail to deliver value. Example 31.8: Analyzing a Quantum Startup's Business Model When evaluating a quantum startup, consider these key questions: For IonQ: The technology (trapped ions) has clear advantages (high fidelity, all-to-all connectivity) but scaling challenges (can they reach 1,000+ qubits?). Revenue comes primarily from cloud access (AWS, Azure, GCP). The path to profitability depends on achieving enough qubits for fault-tolerant computing, which may be 5-10 years away. The SPAC valuation ($2B at IPO) was arguably ahead of the technology. For PsiQuantum: The technology (photonic, fusion-based) has enormous promise (room temperature, CMOS-compatible) but enormous risk (no demonstration of fault tolerance yet). Their bet on skipping the NISQ era entirely means they need to solve many engineering problems simultaneously. If they succeed, the payoff is enormous. If they fail, they fail completely. The quantum computing industry faces an acute talent shortage. A 2024 McKinsey report estimated that fewer than 5,000 people worldwide have the combination of quantum physics, computer science, and engineering skills needed for quantum computing R&D, while demand is projected at 25,000+ by 2030. The shortage exists at every level: In-Demand Roles: Entry Points: Common Misconception: "You need a PhD in physics to work in quantum computing." While many quantum hardware roles do require PhDs, the quantum computing industry also needs software engineers, DevOps specialists, user experience designers, technical writers, product managers, and business developers. As the field matures, the percentage of roles requiring deep physics knowledge will decrease. If you're a strong classical software engineer, you can contribute to quantum compilers, simulators, error mitigation, and cloud infrastructure — all of which are bottleneck areas. The key skill is the ability to learn quantum concepts quickly and apply your existing expertise. Example 31.9: Salary and Career Landscape (2024 estimates) The high salaries reflect the talent shortage: companies are competing for a very small pool of qualified candidates. This is both an opportunity (high compensation) and a risk (if the field experiences a downturn, these specialized skills may not transfer easily). Quantum computing is accessed primarily through the cloud. The major platforms: Pricing Models: Example 31.10: Cost Estimation for Quantum Cloud Usage Suppose you want to run a VQE calculation for a small molecule using 100 iterations, each requiring 1,000 shots across 4 Hamiltonian terms: This cost difference illustrates why most quantum algorithm development is done on simulators, with only the final validation runs on real hardware. The Software Stack: Each layer presents opportunities for innovation and specialization. The compiler/transpiler layer is particularly important: it maps logical circuits to physical qubits, optimizes gate sequences, and minimizes the impact of noise. A good compiler can improve circuit fidelity by 10-50% on current hardware. A rarely discussed but critical aspect of the quantum computing industry is the supply chain. Building a quantum computer requires specialized components that are produced by a small number of suppliers: As quantum computing scales from hundreds to millions of qubits, the supply chain must scale accordingly. A fault-tolerant quantum computer with 1,000 logical qubits might require ~1 million physical qubits, each needing multiple control lines. Current control electronics architectures (one rack per 100 qubits) cannot scale to this level, motivating the development of cryogenic CMOS multiplexers that can operate at ~4 K. The quantum software ecosystem is often overshadowed by hardware, but it is equally critical. The software stack determines how efficiently quantum algorithms are compiled, optimized, and executed on real hardware. The Compilation Pipeline: The transpiler is the most important component. A good transpiler can reduce circuit depth by 30-50% through gate cancellation, commutativity-aware reordering, and optimal qubit routing. On current hardware, this translates directly to higher fidelity results. Key software frameworks compared: Each framework has strengths: Qiskit for hardware execution and error mitigation, Cirq for low-level circuit control, PennyLane for hybrid quantum-classical algorithms, and Q# for high-level algorithmic expression. Quantum computing has significant national security implications that go beyond the widely discussed cryptographic threat: Cryptographic threat: Shor's algorithm can break RSA and ECC, which underpin most internet security. The timeline for cryptographically relevant quantum computers (CRQC) is estimated at 15-30 years, but the "harvest now, decrypt later" threat means that data encrypted today is already at risk. Intelligence advantage: Quantum computers could potentially break encrypted communications retrospectively, providing access to decades of stored encrypted data. This has led to the "store now, decrypt later" strategy employed by intelligence agencies worldwide. Economic competitive advantage: Countries that achieve quantum advantage first in materials science, drug discovery, or financial modeling will have significant economic advantages. This is why governments are investing heavily — not just for security, but for economic competitiveness. Export controls: Quantum computing technology is subject to export controls in many countries. The US Bureau of Industry and Security (BIS) has added quantum computing equipment to the Commerce Control List, restricting exports to certain countries. The dual-use dilemma: The same quantum simulation capabilities that could design new catalysts for clean energy could also simulate chemical weapons. The same optimization algorithms that improve logistics could improve military targeting. Regulating dual-use quantum technology requires careful balance between scientific openness and security concerns. Common Misconception: "Quantum computers will make all encryption obsolete." This is incorrect on two counts. First, symmetric encryption (AES) is only weakened by Grover's algorithm, which provides a quadratic speedup — doubling the key length (AES-128 → AES-256) restores security. Second, post-quantum cryptographic algorithms (lattice-based, code-based, hash-based) are believed to be secure against quantum attacks. The transition to post-quantum cryptography is about upgrading our security infrastructure, not about the end of encryption. A recurring theme throughout this book is that quantum computers are specialized co-processors, not replacements for classical computers. This section provides a more detailed analysis of how quantum and classical computing will coexist. The hybrid computing model: In practice, quantum algorithms will be executed as subroutines within larger classical workflows. The typical pattern is: For VQE, the classical outer loop (parameter optimization) runs on a CPU/GPU, while the quantum inner loop (energy estimation) runs on the QPU. For Shor's algorithm, the classical pre/post-processing (modular exponentiation, continued fraction expansion) runs on a CPU, while the quantum period-finding subroutine runs on the QPU. The bandwidth bottleneck: Classical-quantum data transfer is a significant bottleneck. Current quantum computers have I/O rates of ~1-10 MB/s (compared to GPU memory bandwidth of ~1 TB/s). This means that the quantum computation must be "dense" enough to justify the data transfer overhead. For variational algorithms, each VQE iteration involves: The total I/O is minimal, so VQE is well-suited to the hybrid model. But for algorithms that require large classical data inputs (like quantum ML), the I/O bottleneck can negate the quantum speedup. China's Quantum Program: China has invested an estimated $15-25 billion in quantum technology, making it the world's largest single investor. Key achievements: China's approach is distinctive in its emphasis on quantum communication (where it leads the world) and its centralized, government-directed investment model. The US approach, by contrast, relies more on private companies and university research, with government funding providing a foundation. Europe's Quantum Flagship: The EU Quantum Flagship is a €1 billion, 10-year research initiative launched in 2018. It funds research across four pillars: Europe's strength is in fundamental research (quantum algorithms, error correction theory, quantum sensing) and its collaborative, cross-border approach.31.2.4 Photonic Qubits
31.2.5 Topological Qubits
31.2.6 Silicon Spin Qubits
Modality
Physical Error Rate $p$
Code Distance $d$
Physical Qubits per Logical Qubit ($\sim 2d^2$)
Superconducting
$10^{-3}$
31
~1,922
Trapped Ion
$10^{-4}$
17
~578
Neutral Atom
$5 \times 10^{-3}$
61
~7,442
Topological (theoretical)
$10^{-6}$
7
~98
31.3 IBM: The Roadmap Leader
2019 ─── Falcon (27 qubits)
│
2020 ─── Hummingbird (65 qubits)
│
2021 ─── Eagle (127 qubits) — first beyond classical simulation
│
2022 ─── Osprey (433 qubits)
│
2023 ─── Condor (1,121 qubits) — cross-resonance gate architecture limit
│
2024 ─── Heron (133 qubits, tunable couplers) — shift to modular architecture
│ Flamingo (156 qubits) — new gate architecture
│
2025 ─── Kookaburra (4,000+ qubits) — multi-chip module
│
2027 ─── Starling (100+ logical qubits) — error correction milestone
│
2029 ─── Blue Jay (1,000+ logical qubits) — fault-tolerant quantum computing
│
2033+ ── IBM Quantum System Three — quantum-centric supercomputing
from qiskit import QuantumCircuit
from qiskit_ibm_runtime import QiskitRuntimeService, SamplerV2
# Connect to IBM Quantum
service = QiskitRuntimeService(channel="ibm_quantum")
# List available backends
for backend in service.backends():
print(f"{backend.name}: {backend.num_qubits} qubits")
# Run a simple circuit on real hardware
qc = QuantumCircuit(2)
qc.h(0)
qc.cx(0, 1)
qc.measure_all()
# Use the least busy backend
backend = service.least_busy(operational=True, simulator=False)
sampler = SamplerV2(mode=backend)
job = sampler.run([qc], shots=1024)
result = job.result()
print(result[0].data.meas.get_counts())
from qiskit_ibm_runtime import QiskitRuntimeService
service = QiskitRuntimeService(channel="ibm_quantum")
# Compare backends
for backend in service.backends(simulator=False, operational=True):
config = backend.configuration()
props = backend.properties()
# Average CNOT error rate
cx_errors = [props.gate_error('cx', q) for q in config.coupling_map if 'cx' in [g.name for g in config.gates]]
avg_cx_error = sum(cx_errors) / len(cx_errors) if cx_errors else float('nan')
# Average T1 time
t1_times = [props.t1(q) for q in range(config.num_qubits)]
avg_t1 = sum(t1_times) / len(t1_times)
print(f"{config.backend_name}: {config.num_qubits} qubits, "
f"Avg CX error: {avg_cx_error:.4f}, "
f"Avg T1: {avg_t1*1e6:.0f} μs")
31.4 Google: The Milestone Achiever
Distance
Logical Qubits
Physical Qubits
Logical Error Rate
3
1
17
$1.7 \times 10^{-3}$
5
1
49
$5.8 \times 10^{-4}$
7
1
97
$2.2 \times 10^{-4}$
import cirq
import numpy as np
# Create a 5-qubit random circuit sampling experiment
qubits = cirq.LineQubit.range(5)
circuit = cirq.Circuit()
# Apply random single-qubit and two-qubit gates
np.random.seed(42)
for layer in range(4):
# Single-qubit gates
for q in qubits:
gate = np.random.choice([cirq.X, cirq.Y, cirq.Z, cirq.H])
# Apply with random rotation angle
angle = np.random.uniform(0, 2 * np.pi)
circuit.append(cirq.rx(angle)(q))
# Two-qubit gates (nearest-neighbor)
for i in range(len(qubits) - 1):
if np.random.random() > 0.5:
circuit.append(cirq.CNOT(qubits[i], qubits[i+1]))
# Measure
circuit.append(cirq.measure(*qubits, key='result'))
print("Random Circuit:")
print(circuit)
# Simulate
simulator = cirq.Simulator()
result = simulator.run(circuit, repetitions=1000)
print(f"\nResults: {result.histogram(key='result')}")
31.5 Amazon Braket: The Cloud Aggregator
from braket.circuits import Circuit
from braket.devices import Devices
# Create a Bell state circuit
bell = Circuit().h(0).cnot(0, 1)
# Run on different backends
from braket.aws import AwsDevice
# IonQ (trapped ion)
ionq_device = AwsDevice(Devices.IonQ.Aria1)
ionq_task = ionq_device.run(bell, shots=1000)
# Rigetti (superconducting)
rigetti_device = AwsDevice(Devices.Rigetti.Ankaa3)
rigetti_task = rigetti_device.run(bell, shots=1000)
# Compare results
print(f"IonQ results: {ionq_task.result().measurement_counts}")
print(f"Rigetti results: {rigetti_task.result().measurement_counts}")
Platform
Qubits
Bell State Fidelity
Avg. Queue Time
Cost/Task
IonQ Aria
25
~99%
~5 min
$0.30
Rigetti Ankaa
84
~97%
~2 min
$0.30
QuEra Aquila
256
N/A (analog)
~10 min
$0.30
SV1 Simulator
34
100%
~1 sec
$0.075/minute
31.6 Microsoft: The Topological Bet
// Q# Bell State Example
namespace BellState {
open Microsoft.Quantum.Intrinsic;
open Microsoft.Quantum.Measurement;
open Microsoft.Quantum.Canon;
@EntryPoint()
operation TestBellState() : (Result, Result) {
use (q0, q1) = (Qubit(), Qubit());
// Prepare Bell state |Φ+⟩
H(q0);
CNOT(q0, q1);
// Measure
let result0 = M(q0);
let result1 = M(q1);
// Reset
Reset(q0);
Reset(q1);
return (result0, result1);
}
}
Parameter
Value
Number to factor
$N = $ RSA-2048 (2048-bit)
Physical qubit error rate
$10^{-3}$ (superconducting)
Surface code distance
27
Logical qubits needed
~4,000
Physical qubits per logical qubit
~1,500
Total physical qubits
~6 million
Estimated runtime
~8 hours (with $10^{-3}$ gate times)
31.7 The Startup Ecosystem
import pennylane as qml
import numpy as np
# Define a quantum device
dev = qml.device("default.qubit", wires=2)
@qml.qnode(dev)
def circuit(params):
"""Parameterized quantum circuit for VQE."""
qml.RY(params[0], wires=0)
qml.RY(params[1], wires=1)
qml.CNOT(wires=[0, 1])
qml.RY(params[2], wires=0)
qml.RY(params[3], wires=1)
return qml.expval(qml.PauliZ(0) @ qml.PauliZ(1))
# Compute gradients automatically
params = np.array([0.1, 0.2, 0.3, 0.4], requires_grad=True)
grad = qml.grad(circuit)(params)
print(f"Circuit value: {circuit(params):.4f}")
print(f"Gradient: {grad}")
31.8 The Investment Landscape
Dimension
Key Questions
Technology
What modality? What gate fidelity? What coherence time? How does it scale?
Differentiation
What is their technical moat? Is it defensible?
Revenue model
Cloud access? Hardware sales? Software licenses? Consulting?
Path to profitability
When does the business become self-sustaining? What milestones trigger revenue?
Talent
Do they have world-class physicists and engineers? Can they recruit and retain them?
Funding runway
How much capital do they have? How long until they need to raise again?
Risk factors
What could go wrong? Technology risk? Market risk? Regulatory risk?
31.9 The Talent Shortage
Role
Typical Background
Salary Range (US)
Demand Level
Quantum Hardware Engineer
PhD Physics/EE
$150K-$300K
Very High
Quantum Software Engineer
MS/PhD CS/Physics
$120K-$250K
High
Quantum Algorithm Designer
PhD Quantum Info
$130K-$280K
Very High
Quantum Applications Scientist
PhD + Domain
$110K-$220K
Growing
Quantum Product Manager
MBA + Tech
$140K-$250K
Moderate
Quantum DevOps/Cloud Engineer
BS/MS CS
$100K-$200K
High
Quantum Technical Writer
BS + Writing
$70K-$130K
Moderate
31.10 The Quantum Cloud Ecosystem
Platform Backends SDK Key Feature
──────────────────────────────────────────────────────────────────────────
IBM Quantum IBM (superconducting) Qiskit Largest fleet,
Open Science Prize
Amazon Braket IonQ, Rigetti, QuEra, Braket SDK Multi-vendor,
Amazon (in development) PennyLane integration
Azure Quantum IonQ, Quantinuum, Rigetti Q# / QDK Resource estimator,
Copilot integration
Google Quantum AI Google (superconducting) Cirq Error correction
research access
Xanadu Cloud Xanadu (photonic) PennyLane Quantum ML focus
Platform
Cost per Shot
Total Shots
Total Cost
IBM Eagle (127 qubit)
~$0.01 | 400,000 | ~$4,000
IonQ Aria
~$0.30 | 400,000 | ~$120,000
Rigetti Ankaa
~$0.30 | 400,000 | ~$120,000
Simulator
~$0.001 | 400,000 | ~$400
┌─────────────────────────────────────────────────┐
│ Application Layer │
│ Chemistry, Optimization, ML, Finance, etc. │
├─────────────────────────────────────────────────┤
│ Algorithm Layer │
│ VQE, QAOA, QPE, Shor's, Grover's, etc. │
├─────────────────────────────────────────────────┤
│ Compiler/Transpiler Layer │
│ Qiskit Transpiler, tket, Cirq, CUDA-Q │
├─────────────────────────────────────────────────┤
│ Error Mitigation Layer │
│ Zero-noise extrapolation, readout mitigation │
├─────────────────────────────────────────────────┤
│ Hardware Abstraction Layer │
│ OpenQASM, QIR (Quantum Intermediate Rep) │
├─────────────────────────────────────────────────┤
│ Hardware Layer │
│ Superconducting, Trapped Ion, Photonic, etc. │
└─────────────────────────────────────────────────┘
31.11 The Quantum Supply Chain
31.12 The Quantum Software Stack: A Deeper Dive
High-Level Algorithm (Qiskit, Cirq, PennyLane)
│
▼
Circuit Construction (QuantumCircuit, Program)
│
▼
Transpilation & Optimization
├── Gate decomposition (e.g., Toffoli → 6 CNOTs)
├── Qubit routing (mapping logical → physical qubits)
├── Gate cancellation (removing redundant gates)
└── Circuit depth optimization
│
▼
Backend-Specific Compilation
├── Native gate set (e.g., {Rz, SX, CX} for IBM)
├── Timing and scheduling
└── Dynamical decoupling insertion
│
▼
Pulse-Level Control (optional)
├── Custom pulse shapes
├── Optimal control (GRAPE, CRAB)
└── Calibrated gate definitions
│
▼
Execution on Hardware
├── Job submission
├── Queue management
└── Result collection and post-processing
from qiskit import QuantumCircuit, transpile
from qiskit_aer import AerSimulator
from qiskit_ibm_runtime import QiskitRuntimeService
# Example: Comparing transpiler optimization levels
qc = QuantumCircuit(5)
qc.h(0)
qc.cx(0, 1)
qc.cx(1, 2)
qc.cx(2, 3)
qc.cx(3, 4)
qc.measure_all()
# Simulated backend for comparison
simulator = AerSimulator()
for opt_level in [0, 1, 2, 3]:
qc_opt = transpile(qc, simulator, optimization_level=opt_level)
print(f"Optimization level {opt_level}: "
f"depth={qc_opt.depth()}, "
f"CNOTs={qc_opt.count_ops().get('cx', 0)}, "
f"total gates={sum(qc_opt.count_ops().values())}")
Feature
Qiskit
Cirq
PennyLane
Q#
Primary use
General quantum computing
NISQ algorithms
Quantum ML & VQE
High-level algorithms
Hardware backends
IBM, multiple
Google
Xanadu, IBM, more
Azure Quantum
Language
Python
Python
Python
Q# (domain-specific)
Circuit optimization
Advanced transpiler
Moderate
Moderate
Good
Error mitigation
Advanced (twirled, ZNE)
Basic
Advanced
Basic
Community
Largest
Large
Growing
Small but dedicated
Learning curve
Moderate
Low
Low
Moderate
31.13 Quantum Computing and National Security
31.14 Quantum Computing and Classical Computing: Coexistence, Not Replacement
┌─────────────────────────────────────────────────────────┐
│ Classical Preprocessing │
│ ┌────────────┐ ┌──────────────┐ ┌─────────────────┐ │
│ │ Problem │ │ Hamiltonian │ │ Circuit │ │
│ │ formulation │→ │ compilation │→ │ transpilation │ │
│ └────────────┘ └──────────────┘ └─────────────────┘ │
├─────────────────────────────────────────────────────────┤
│ Quantum Execution │
│ ┌────────────┐ ┌──────────────┐ ┌─────────────────┐ │
│ │ QPU │ │ Error │ │ Measurement │ │
│ │ execution │→ │ mitigation │→ │ & readout │ │
│ └────────────┘ └──────────────┘ └─────────────────┘ │
├─────────────────────────────────────────────────────────┤
│ Classical Postprocessing │
│ ┌────────────┐ ┌──────────────┐ ┌─────────────────┐ │
│ │ Result │ │ Parameter │ │ Final │ │
│ │ aggregation │→ │ update │→ │ answer │ │
│ └────────────┘ └──────────────┘ └─────────────────┘ │
└─────────────────────────────────────────────────────────┘
31.15 International Quantum Computing Programs