gpt edits

tcochran-quera · tcochran-quera · commit 0c98cf8f921e · 2025-09-05T23:13:18.000-04:00
diff --git a/docs/blog/posts/2025/the-noise-strikes-back.md b/docs/blog/posts/2025/the-noise-strikes-back.md
@@ -8,16 +8,16 @@ authors:
 
 # Simulating noisy circuits for near-term quantum hardware
 
-With recent experimental demonstrations of digital quantum circuits executed on neutral atom devices, a new era is beginning for the still nascent technology. At QuEra, we have used our newly completed Gemini-class quantum computer to demonstrate a key building block of fault-tolerant quantum computation: [magic state distillation](https://www.nature.com/articles/s41586-025-09367-3). By both leveraging the universal quantum gate-set and all-to-all connectivity offered by our hardware, while also maximizing parallelism, this work demonstrates the potential of neutral atom QPUs. As the availability of Gemini-class machines increases in the near future, it is paramount to provide researchers with tools to develop quantum circuits that are well suited for Gemini. With that goal in mind, we have released circuit-level noise models in bloqade that closely mimic the performance of the device for small system sizes, allowing for circuit optimization and feasibility checks.
+With recent experimental demonstrations of digital quantum circuits executed on neutral atom devices, a new era is beginning for this still-nascent technology. At QuEra, we have used our newly completed **Gemini-class quantum computer** to demonstrate a key building block of fault-tolerant quantum computation: [magic state distillation](https://www.nature.com/articles/s41586-025-09367-3). By both leveraging the universal quantum gate-set and all-to-all connectivity offered by our hardware, while also maximizing parallelism, this work demonstrates the potential of neutral atom QPUs. As the availability of Gemini-class machines increases in the near future, it is paramount to provide researchers with tools to develop quantum circuits that are well-suited for Gemini. With that goal in mind, we have released circuit-level noise models in bloqade that closely mimic the performance of the device for small system sizes, allowing for circuit optimization and feasibility checks.
 
 ## Motivation for Gemini-class digital QPUs
 
 Operating in an analog mode of quantum computation has opened to us exciting opportunities to leverage the flexibility of a neutral atom platform in exploring the application forefront (such as optimization problems, and machine learning), as well as in addressing more scientifically oriented questions (preparation of exotic phases of matter).
 
-In our journey towards building uselful quantum computers, however, we find that operating in an analog mode limits the range of problems that we can address, as we only have control of a handful of parameters of the underlying device Hamiltonian. Here is where a fully programable digital quantum computer comes into the picture. The promise of this mode of operation is the ability to encode non-native problems to the neutral atom platform. For instance, one of the envisioned and most exciting applications of quantum computers is the accurate simulation (in terms of estimating ground state energy) of electrons in molecules and materials. The fermionic statistics of the target particles to simulate contrast with the bosonic nature of the Rubidium atoms that constitute the building block of our platform. 
+In our journey towards building useful quantum computers, however, we find that operating in an analog mode limits the range of problems that we can address, as we only have control of a handful of parameters of the underlying device Hamiltonian. This is where a fully programmable digital quantum computer comes into the picture. The promise of this mode of operation is the ability to encode non-native problems to the neutral atom platform. For instance, one of the envisioned and most exciting applications of quantum computers is the accurate simulation (in terms of estimating ground state energy) of electrons in molecules and materials. The fermionic statistics of the target particles to simulate stand in contrast to the bosonic nature of the Rubidium atoms that constitute the building blocks of our platform. 
 
 Furthermore, we need full control in the quantum device to encode interactions and tunneling parameters between the fermionic modes that discretize our target molecules and materials.
-In our quest to reach this level of maturity in quantum hardware, we introduce Gemini-class devices, that incorporate digital programmability features in our neutral atom quantum computing platform.
+In our quest to reach this level of maturity in quantum hardware, we introduce Gemini-class devices, that incorporate digital programmability features into our neutral atom quantum computing platform.
 
 ## Circuit-level compared to hardware-level programming
 
@@ -28,7 +28,7 @@ consider potential noise processes when developing quantum programs.
 
 When writing a circuit, noise processes can be taken into account as channels that cause decoherence, thereby reducing
 the overall circuit fidelity.
-If the fidelity is too low, the results of the computation may include unwanted bias or the signal may by suppressed towards zero.
+If the fidelity is too low, the results of the computation may include unwanted bias or the signal may be suppressed towards zero.
 Therefore, before executing a circuit it is critical to know whether this circuit will actually yield the desired results.
 This is where emulation comes in, which, in order to faithfully represent the results of Gemini, needs to account
 for noise.
@@ -37,54 +37,54 @@ At the hardware level, quantum circuit design always needs to incorporate (or wo
 This comes at the loss of abstraction and subsequently high-level tooling.
 At the same time, however, it enables researchers to devise individual strategies in order to suppress noise in specific
 applications, which will oftentimes outperform today's general-use compilers.
-Here, we will focus on circuit level programming, but please refer
+Here, we will focus on circuit-level programming, but please refer
 to [bloqade-shuttle](https://queracomputing.github.io/bloqade-shuttle/dev/) to learn more about our hardware-level
 programming capabilities.
 
 Even including noise channels, circuit-level programming remains abstract in that you do not have to consider the
 specific hardware you are running the circuit on.
 However, it is the very nature of the noise channels, where the details of the hardware come into play.
 To know whether a circuit will execute with a sufficiently high fidelity, the noise parameters and channels need to
-represent the infidelity of the gates executed on the particular hardware (in this case Gemini).
+represent the infidelity of the gates executed on the particular hardware (in this case, Gemini).
 
 In order to provide users with the required set of tools, we have spent considerable time researching and implementing
 an easy-to-use framework that allows you to include Gemini's particular noise processes in a high-level circuit.
 
 ## Heuristic approach to noise
 
-The abstraction of noise to the circuit-level allows all the noise sources on the device to be conglomerated into
+The abstraction of noise to the circuit level allows all the noise sources on the device to be combined into
 "effective" Pauli noise channels. The effective channels are heuristic in nature, designed to capture the average
 behavior of atoms when the system performs certain circuit-level operations. The quantitative error probabilities are based on
 benchmarking experiments on Gemini hardware. They also take into account the dynamical decoupling that is needed to
-eliminate the effects of differential stark shifts during atom moves. All in all, the models can be expressed by six
+eliminate the effects of differential stark shifts during atom moves. Overall, the models can be expressed by six
 main noise channels:
 
 1. Global single qubit gate error
     - Depolarizing error applied to all qubits after a single qubit gate is applied to all qubits in parallel.
 
 ![Global single qubit gate error](./global_single_qubit_gate_error.png)
 
-1. Local single qubit gate error
+2. Local single qubit gate error
     - Depolarizing error applied to gated single qubits after a single qubit gate is applied to a subset of qubits.
 
 ![Local single qubit gate error](./local_single_qubit_gate_error.png)
 
-1. CZ gate error
-    - Pauli error channel that is biases towards phase errors applied to both qubits that are within the blockage radius
+3. CZ gate error
+    - Pauli error channel that is biased towards phase errors applied to both qubits that are within the blockade radius
       during a Rydberg pulse.
     - Incorporates errors from the Rydberg pulse and dynamical decoupling.
-1. Unpaired Rydberg error
+4. Unpaired Rydberg error
     - Pauli error channel is biased towards phase errors applied to single qubits that experience a Rydberg pulse but do
       not have a partner qubit within the blockade radius.
     - Incorporates errors from the Rydberg pulse and dynamical decoupling.
 
 ![Errors due to Rydberg pulses](./rydberg_error.png)
 
-1. Mover error
+5. Mover error
     - Pauli error channel that is also biased towards phase errors applied to qubits that must move during a circuit.
     - Incorporates errors from transferring atoms from fixed tweezer traps to dynamical traps for moves, dynamical
       decoupling, move errors, and idling errors.
-1. Sitter error
+6. Sitter error
     - Pauli error channel that is applied to atoms that are stationary while other atoms are moving.
     - Incorporates errors from dynamical decoupling and idling errors.
 
@@ -93,7 +93,7 @@ main noise channels:
 ## Example: Noise in the GHZ state
 
 It is often most convenient to study an example in order to learn how to use a set of tools.
-To this end, we included a tutorial that shows you how to annotate a GHZ preparation circuit using the different
+To this end, we included a tutorial that shows how to annotate a GHZ preparation circuit using the different
 heuristic noise models.
 We'll discuss some underlying concepts and highlight interesting parts of the tutorial in this section.
 If you want all the details, please find [the full example here](../../../digital/examples/noisy_ghz.py).
@@ -102,17 +102,17 @@ If you want all the details, please find [the full example here](../../../digita
 
 The intended workflow for using the circuit-level noise models is described in the flow chart below. The first step for
 a user interested in testing a specific quantum algorithm is to write an explicit circuit
-in [cirq](https://quantumai.google/cirq). Once defined in `cirq`, the circuit operations can be visualized with
+in [cirq](https://quantumai.google/cirq). Once defined in Cirq, the circuit operations can be visualized with
 `print(circuit)`, which can be used to inspect the circuit after being passed through the various transformers within `bloqade`.
-Also, at any point, one may choose to simulate the result of the circuit with the tools provided by cirq.
+Also, at any point, one may choose to simulate the result of the circuit with the tools provided by Cirq.
 
 By passing the circuit through the transformers in `parallelize.py`, within the `bloqade-circuit.cirq_utils` repository,
 the circuit structure can be brought closer to optimal for the neutral atom platform. Then, by using the transformers
 in `noise.transform.py`, Pauli error channels are locally added to the circuit. The function `transform_circuit` acts as 
 a wrapper for the different noise models, which correspond to different modes of hardware operation.
 
-Finally, we maintain interoperability between `squin` (`bloqade`'s circuit-level intermediate representation) and
-`cirq`. `squin` allows for simulation with different backends, including `pyqrack`, while also allowing for lowering to
+Finally, we maintain interoperability between Squin (Bloqade's circuit-level intermediate representation) and
+Cirq. Squin allows for simulation with different backends, including PyQrack, while also allowing for lowering to
 hardware-level programs for execution on Gemini.
 
 ![cirq_utils_flowchart](./flowchart.png)
@@ -121,13 +121,13 @@ hardware-level programs for execution on Gemini.
 
 In practice, our heuristic noise models are used to annotate circuits with incoherent channels, with a "coarse-grained"
 awareness of hardware. As a simple example, let's consider the following that assumes noise annotation according to a
-two-zone layout using  the 'GeminiTwoZoneNoiseModel` in `bloqade-circuit.cirq_utils.noise.models`:
+two-zone layout using  the `GeminiTwoZoneNoiseModel` in `bloqade-circuit.cirq_utils.noise.models`:
 
 ![Noise annotation example. Two zone model](../../../digital/examples/example_annotation_fixed.svg)
 
-In our annotation scheme, assume that we are iterating sequentially over the layers of a quantum circuit, and we encounter the layer depicted in a) on which we will add the noise channels. One important assumption in our two zone model to keep in mind is that the qubits corresponding to the gates appearing in a given layer will be treated as being in the gate zone, and thus the rest of the qubits are assumed to be in the storage zone. 
+In our annotation scheme, assume that we are iterating sequentially over the layers of a quantum circuit, and we encounter the layer depicted in a) on which we will add the noise channels. One important assumption in our two-zone model to keep in mind is that the qubits corresponding to the gates appearing in a given layer will be treated as being in the gate zone, and thus the rest of the qubits are assumed to be in the storage zone. 
 
-To capture the cost of moves to reach a given configuration, we need to take a closer look at the layer that precedes our current target layer. In b), we explicitly show the layer that was annotated with noise in the previous iteration, with its corresponding qubit spatial layout below it. The move cost to reach the target qubit configuration before qubit execution is shown in c), and noise annotation is carried according to three sequential stages: 1) qubits that need to be removed from the gate zone undergo move error (orange crosses), and the rest get sitter error, 2)similarly, qubits that need to be added to the gate zone get move error and the rest get sitter noise, and 3) additional move error to "pair up" qubits is added before gate execution (notice than more than one layer might be needed to account for this cost).
+To capture the cost of moves to reach a given configuration, we need to take a closer look at the layer that precedes our current target layer. In b), we explicitly show the layer that was annotated with noise in the previous iteration, with its corresponding qubit spatial layout below it. The move cost to reach the target qubit configuration before qubit execution is shown in c), and noise annotation is carried out according to three sequential stages: 1) qubits that need to be removed from the gate zone undergo move error (orange crosses), and the rest get sitter error, 2) similarly, qubits that need to be added to the gate zone get move error and the rest get sitter noise, and 3) additional move error to "pair up" qubits is added before gate execution (notice that more than one layer might be needed to account for this cost).
 
 Finally, noise is annotated after gates, where it is assumed that entangling gates are executed in hardware before single qubit gates. In doing so, qubits that are not participant in the entangling gates receive unpaired cz error (green pentagons).
 
@@ -140,12 +140,16 @@ The different noise models lead to overall different infidelities of the circuit
 
 ![GHZ circuit fidelity with different noise models](../../../digital/examples/noisy_ghz_fidelity.svg)
 
-As you'd expect, the general trend of the fidelity is that it decreases with a growing number of qubits.
+As you'd expect, the general trend is that fidelity decreases with a growing number of qubits.
 Depending on how many qubits you need, you may want to run the above simulation in order to decide whether you'd want to
 operate Gemini in a one-zone or a two-zone setup.
 
 On a more abstract level, you may also want to optimize the circuit that you use to obtain the result you want.
-The example uses a linear depth GHZ algorithm, which is arguably not the best choice to prepare a GHZ state.
+The example uses a linear-depth GHZ algorithm, which is arguably not the best choice to prepare a GHZ state.
 
-Using our noise framework you can explore and analyze different strategies to find the one best suited for your
+Using our noise framework, you can explore and analyze different strategies to find the one best suited for your
 particular application.
+
+## Learn more
+
+The future for Gemini is bright! Apart from demonstrating [magic state distillation](https://arxiv.org/abs/2412.15165), Gemini-class QPUs also form the foundation of QuEra's participation in the [Quantum for Bio](https://www.quera.com/press-releases/two-projects-powered-by-quera-computing-contributions-move-to-phase-three-of-wellcome-leaps-quantum-for-bio-challenge-focused-on-healthcare-and-biology-applications) program. QuEra will serve as the hardware provider for 2 of 6 of the teams that have advanced to the final phase of the challenge. With an eye towards general availability of Gemini-class devices, there's no better time for quantum developers to begin crafting circuits that are well-suited for Gemini. The [documentation for Bloqade-circuit](https://bloqade.quera.com/latest/digital/) as well as our [tutorial guides](https://bloqade.quera.com/latest/digital/tutorials_index/) are a great place to start.
