{ "cells": [ { "cell_type": "markdown", "metadata": { "id": "w59P3OPFw9Z0" }, "source": [ "##### Copyright 2020 The OpenFermion Developers" ] }, { "cell_type": "code", "execution_count": 1, "metadata": { "cellView": "form", "execution": { "iopub.execute_input": "2024-06-30T09:24:32.787380Z", "iopub.status.busy": "2024-06-30T09:24:32.786694Z", "iopub.status.idle": "2024-06-30T09:24:32.790902Z", "shell.execute_reply": "2024-06-30T09:24:32.790316Z" }, "id": "W37UD0Shw-lP" }, "outputs": [], "source": [ "#@title Licensed under the Apache License, Version 2.0 (the \"License\");\n", "# you may not use this file except in compliance with the License.\n", "# You may obtain a copy of the License at\n", "#\n", "# https://www.apache.org/licenses/LICENSE-2.0\n", "#\n", "# Unless required by applicable law or agreed to in writing, software\n", "# distributed under the License is distributed on an \"AS IS\" BASIS,\n", "# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.\n", "# See the License for the specific language governing permissions and\n", "# limitations under the License." ] }, { "cell_type": "markdown", "metadata": { "id": "96257ca60c89" }, "source": [ "# Circuits 2: Linear Trotter steps of diagonal Coulomb operators" ] }, { "cell_type": "markdown", "metadata": { "id": "vSnKxycVxJXd" }, "source": [ "\n", " \n", " \n", " \n", " \n", "
\n", " View on QuantumAI\n", " \n", " Run in Google Colab\n", " \n", " View source on GitHub\n", " \n", " Download notebook\n", "
" ] }, { "cell_type": "markdown", "metadata": { "id": "jM3fwTUYxURE" }, "source": [ "## Setup\n", "\n", "Install the OpenFermion package:" ] }, { "cell_type": "code", "execution_count": 2, "metadata": { "execution": { "iopub.execute_input": "2024-06-30T09:24:32.794741Z", "iopub.status.busy": "2024-06-30T09:24:32.794058Z", "iopub.status.idle": "2024-06-30T09:24:46.355996Z", "shell.execute_reply": "2024-06-30T09:24:46.355073Z" }, "id": "PY93DfyuxVFL" }, "outputs": [ { "name": "stdout", "output_type": "stream", "text": [ "Collecting openfermion\r\n", " Cloning https://github.com/quantumlib/OpenFermion.git (to revision master) to /tmpfs/tmp/pip-install-x5zmzw05/openfermion_1c4d4bbc9b1b46a5888ba30bfbb9bfaa\r\n", " Running command git clone --filter=blob:none --quiet https://github.com/quantumlib/OpenFermion.git /tmpfs/tmp/pip-install-x5zmzw05/openfermion_1c4d4bbc9b1b46a5888ba30bfbb9bfaa\r\n" ] }, { "name": "stdout", "output_type": "stream", "text": [ " Resolved https://github.com/quantumlib/OpenFermion.git to commit 1064a68220722727472519b233ba009d5c14a7d5\r\n" ] }, { "name": "stdout", "output_type": "stream", "text": [ " Installing build dependencies ... \u001b[?25l-" ] }, { "name": "stdout", "output_type": "stream", "text": [ "\b \b\\" ] }, { "name": "stdout", "output_type": "stream", "text": [ "\b \b|" ] }, { "name": "stdout", "output_type": "stream", "text": [ "\b \bdone\r\n" ] }, { "name": "stdout", "output_type": "stream", "text": [ "\u001b[?25h Getting requirements to build wheel ... \u001b[?25l-" ] }, { "name": "stdout", "output_type": "stream", "text": [ "\b \bdone\r\n" ] }, { "name": "stdout", "output_type": "stream", "text": [ "\u001b[?25h Preparing metadata (pyproject.toml) ... \u001b[?25l-" ] }, { "name": "stdout", "output_type": "stream", "text": [ "\b \bdone\r\n" ] }, { "name": "stdout", "output_type": "stream", "text": [ "\u001b[?25hCollecting cirq-core~=1.0 (from openfermion)\r\n", " Using cached cirq_core-1.4.1-py3-none-any.whl.metadata (1.8 kB)\r\n", "Collecting deprecation (from openfermion)\r\n", " Using cached deprecation-2.1.0-py2.py3-none-any.whl.metadata (4.6 kB)\r\n", "Requirement already satisfied: h5py>=2.8 in /tmpfs/src/tf_docs_env/lib/python3.10/site-packages (from openfermion) (3.11.0)\r\n", "Requirement already satisfied: networkx in /tmpfs/src/tf_docs_env/lib/python3.10/site-packages (from openfermion) (3.3)\r\n", "Requirement already satisfied: numpy>=1.11.0 in /tmpfs/src/tf_docs_env/lib/python3.10/site-packages (from openfermion) (1.26.4)\r\n" ] }, { "name": "stdout", "output_type": "stream", "text": [ "Collecting pubchempy (from openfermion)\r\n", " Using cached PubChemPy-1.0.4-py3-none-any.whl\r\n", "Requirement already satisfied: requests>=2.18 in /tmpfs/src/tf_docs_env/lib/python3.10/site-packages (from openfermion) (2.32.3)\r\n", "Requirement already satisfied: scipy>=1.1.0 in /tmpfs/src/tf_docs_env/lib/python3.10/site-packages (from openfermion) (1.14.0)\r\n" ] }, { "name": "stdout", "output_type": "stream", "text": [ "Collecting sympy (from openfermion)\r\n", " Using cached sympy-1.12.1-py3-none-any.whl.metadata (12 kB)\r\n", "Requirement already satisfied: attrs>=21.3.0 in /tmpfs/src/tf_docs_env/lib/python3.10/site-packages (from cirq-core~=1.0->openfermion) (23.2.0)\r\n", "Collecting duet>=0.2.8 (from cirq-core~=1.0->openfermion)\r\n", " Using cached duet-0.2.9-py3-none-any.whl.metadata (2.3 kB)\r\n", "Requirement already satisfied: matplotlib~=3.0 in /tmpfs/src/tf_docs_env/lib/python3.10/site-packages (from cirq-core~=1.0->openfermion) (3.9.0)\r\n", "Requirement already satisfied: pandas in /tmpfs/src/tf_docs_env/lib/python3.10/site-packages (from cirq-core~=1.0->openfermion) (2.2.2)\r\n" ] }, { "name": "stdout", "output_type": "stream", "text": [ "Collecting sortedcontainers~=2.0 (from cirq-core~=1.0->openfermion)\r\n", " Using cached sortedcontainers-2.4.0-py2.py3-none-any.whl.metadata (10 kB)\r\n", "Requirement already satisfied: typing-extensions>=4.2 in /tmpfs/src/tf_docs_env/lib/python3.10/site-packages (from cirq-core~=1.0->openfermion) (4.12.2)\r\n", "Requirement already satisfied: tqdm in /tmpfs/src/tf_docs_env/lib/python3.10/site-packages (from cirq-core~=1.0->openfermion) (4.66.4)\r\n", "Requirement already satisfied: charset-normalizer<4,>=2 in /tmpfs/src/tf_docs_env/lib/python3.10/site-packages (from requests>=2.18->openfermion) (3.3.2)\r\n", "Requirement already satisfied: idna<4,>=2.5 in /tmpfs/src/tf_docs_env/lib/python3.10/site-packages (from requests>=2.18->openfermion) (3.7)\r\n", "Requirement already satisfied: urllib3<3,>=1.21.1 in /tmpfs/src/tf_docs_env/lib/python3.10/site-packages (from requests>=2.18->openfermion) (2.2.2)\r\n", "Requirement already satisfied: certifi>=2017.4.17 in /tmpfs/src/tf_docs_env/lib/python3.10/site-packages (from requests>=2.18->openfermion) (2024.6.2)\r\n" ] }, { "name": "stdout", "output_type": "stream", "text": [ "Requirement already satisfied: packaging in /tmpfs/src/tf_docs_env/lib/python3.10/site-packages (from deprecation->openfermion) (24.1)\r\n", "Collecting mpmath<1.4.0,>=1.1.0 (from sympy->openfermion)\r\n", " Using cached mpmath-1.3.0-py3-none-any.whl.metadata (8.6 kB)\r\n", "Requirement already satisfied: contourpy>=1.0.1 in /tmpfs/src/tf_docs_env/lib/python3.10/site-packages (from matplotlib~=3.0->cirq-core~=1.0->openfermion) (1.2.1)\r\n", "Requirement already satisfied: cycler>=0.10 in /tmpfs/src/tf_docs_env/lib/python3.10/site-packages (from matplotlib~=3.0->cirq-core~=1.0->openfermion) (0.12.1)\r\n", "Requirement already satisfied: fonttools>=4.22.0 in /tmpfs/src/tf_docs_env/lib/python3.10/site-packages (from matplotlib~=3.0->cirq-core~=1.0->openfermion) (4.53.0)\r\n", "Requirement already satisfied: kiwisolver>=1.3.1 in /tmpfs/src/tf_docs_env/lib/python3.10/site-packages (from matplotlib~=3.0->cirq-core~=1.0->openfermion) (1.4.5)\r\n" ] }, { "name": "stdout", "output_type": "stream", "text": [ "Requirement already satisfied: pillow>=8 in /tmpfs/src/tf_docs_env/lib/python3.10/site-packages (from matplotlib~=3.0->cirq-core~=1.0->openfermion) (10.3.0)\r\n", "Requirement already satisfied: pyparsing>=2.3.1 in /tmpfs/src/tf_docs_env/lib/python3.10/site-packages (from matplotlib~=3.0->cirq-core~=1.0->openfermion) (3.1.2)\r\n", "Requirement already satisfied: python-dateutil>=2.7 in /tmpfs/src/tf_docs_env/lib/python3.10/site-packages (from matplotlib~=3.0->cirq-core~=1.0->openfermion) (2.9.0.post0)\r\n", "Requirement already satisfied: pytz>=2020.1 in /tmpfs/src/tf_docs_env/lib/python3.10/site-packages (from pandas->cirq-core~=1.0->openfermion) (2024.1)\r\n", "Requirement already satisfied: tzdata>=2022.7 in /tmpfs/src/tf_docs_env/lib/python3.10/site-packages (from pandas->cirq-core~=1.0->openfermion) (2024.1)\r\n" ] }, { "name": "stdout", "output_type": "stream", "text": [ "Requirement already satisfied: six>=1.5 in /tmpfs/src/tf_docs_env/lib/python3.10/site-packages (from python-dateutil>=2.7->matplotlib~=3.0->cirq-core~=1.0->openfermion) (1.16.0)\r\n", "Using cached cirq_core-1.4.1-py3-none-any.whl (1.9 MB)\r\n", "Using cached deprecation-2.1.0-py2.py3-none-any.whl (11 kB)\r\n", "Using cached sympy-1.12.1-py3-none-any.whl (5.7 MB)\r\n", "Using cached duet-0.2.9-py3-none-any.whl (29 kB)\r\n", "Using cached mpmath-1.3.0-py3-none-any.whl (536 kB)\r\n", "Using cached sortedcontainers-2.4.0-py2.py3-none-any.whl (29 kB)\r\n" ] }, { "name": "stdout", "output_type": "stream", "text": [ "Building wheels for collected packages: openfermion\r\n" ] }, { "name": "stdout", "output_type": "stream", "text": [ " Building wheel for openfermion (pyproject.toml) ... \u001b[?25l-" ] }, { "name": "stdout", "output_type": "stream", "text": [ "\b \b\\" ] }, { "name": "stdout", "output_type": "stream", "text": [ "\b \b|" ] }, { "name": "stdout", "output_type": "stream", "text": [ "\b \b/" ] }, { "name": "stdout", "output_type": "stream", "text": [ "\b \bdone\r\n" ] }, { "name": "stdout", "output_type": "stream", "text": [ "\u001b[?25h Created wheel for openfermion: filename=openfermion-1.7.0.dev0-py3-none-any.whl size=1209626 sha256=e4ce318c18023064d2237715a7ae18094cdbfbc52be4877e8dfed1f77a1c3c0c\r\n", " Stored in directory: /tmpfs/tmp/pip-ephem-wheel-cache-wjv9z8sj/wheels/7a/93/a6/5746203c4afd3b6e8d40a4edb587d608c51290286c5680f422\r\n", "Successfully built openfermion\r\n" ] }, { "name": "stdout", "output_type": "stream", "text": [ "Installing collected packages: sortedcontainers, pubchempy, mpmath, sympy, duet, deprecation, cirq-core, openfermion\r\n" ] }, { "name": "stdout", "output_type": "stream", "text": [ "Successfully installed cirq-core-1.4.1 deprecation-2.1.0 duet-0.2.9 mpmath-1.3.0 openfermion-1.7.0.dev0 pubchempy-1.0.4 sortedcontainers-2.4.0 sympy-1.12.1\r\n" ] } ], "source": [ "try:\n", " import openfermion\n", "except ImportError:\n", " !pip install git+https://github.com/quantumlib/OpenFermion.git@master#egg=openfermion" ] }, { "cell_type": "markdown", "metadata": { "id": "eab8786a9b37" }, "source": [ "## Electronic structure Hamiltonians with diagonal Coulomb operators\n", "\n", "When expressed in an arbitrary basis the molecular electronic structure Hamiltonian takes the form\n", "$$\n", "H = \\sum_{pq} h_{pq} a^\\dagger_p a_q + \\sum_{pqrs} h_{pqrs} a^\\dagger_p a^\\dagger_q a_r a_s\n", "$$\n", "where the coefficients $h_{pq}$ and $h_{pqrs}$ are determined by integrals taken over the basis functions. Note that this Hamiltonian has $O(N^4)$ terms which tends to make its simulation challenging on near-term devices.\n", "\n", "However, as discussed in [Phys. Rev. X 8, 011044](https://journals.aps.org/prx/abstract/10.1103/PhysRevX.8.011044), by carefully selection of basis function it is possible to obtain a representation that diagonalizes the Coulomb operator, leading to a much simpler Hamiltonian with $O(N^2)$ terms that can be written as\n", "$$\n", "H = \\sum_{pq} T_{pq} a^\\dagger_p a_q + \\sum_{pq} V_{pq} a^\\dagger_p a_p a^\\dagger_q a_q\n", "$$\n", "This form is derived in [Phys. Rev. X 8, 011044](https://journals.aps.org/prx/abstract/10.1103/PhysRevX.8.011044) by using basis functions that are related to a unitary rotation of plane waves. However, plane waves are not the only basis with this property; e.g., see [JCP 147, 244102](https://aip.scitation.org/doi/10.1063/1.5007066) for a basis that provides the diagonal form and high accuracy representation of single-molecules.\n", "\n", "Being a periodic basis, plane waves are particularly well suited to simulating periodic materials (e.g. solid state LiH instead of single molecule LiH in vacuum). One can use plane waves to also simulate single-molecules with a basis set discretization error that is asymptotically equivalent to Gaussian molecular orbitals; however, in practice for simulating single-molecules one often needs a constant factor more plane waves than Gaussians, and sometimes that constant factor is prohibitive for NISQ applications. In [Circuits 3](./circuits_3_arbitrary_basis_trotter.ipynb), we discuss how a combination of techniques from [Circuits 1](./circuits_1_basis_change.ipynb) and this tutorial enable simulation of arbitrary basis electronic structure in low depth. However, this tutorial will focus on representations of the Hamiltonian with a diagonal Coulomb operator. The techniques discussed in this notebook are applicable to any molecular system, whether periodic or not. However, for simplicity this notebook will focus on the simulation of the uniform electron gas, aka \"jellium\". Jellium has the same Hamiltonian as an arbitrary molecule but without an external potential (i.e. $T_{pp}$ is uniform for all $p$)." ] }, { "cell_type": "markdown", "metadata": { "id": "2115c8f81d20" }, "source": [ "## Generation of a dual basis jellium Hamiltonian\n", "\n", "We begin by generating a small two-dimensional jellium model in the \"plane wave dual basis\" as in [Phys. Rev. X 8, 011044](https://journals.aps.org/prx/abstract/10.1103/PhysRevX.8.011044). Such two-dimensional jellium systems are often studied in the context of the fractional quantum Hall effect." ] }, { "cell_type": "code", "execution_count": 3, "metadata": { "execution": { "iopub.execute_input": "2024-06-30T09:24:46.360345Z", "iopub.status.busy": "2024-06-30T09:24:46.360065Z", "iopub.status.idle": "2024-06-30T09:24:48.127792Z", "shell.execute_reply": "2024-06-30T09:24:48.127121Z" }, "id": "5d35877c03e1" }, "outputs": [ { "name": "stdout", "output_type": "stream", "text": [ "0.1256637061435917 [0^ 0] +\n", "-0.07957747154594769 [0^ 0 1^ 1] +\n", "-0.07957747154594769 [0^ 0 2^ 2] +\n", "-0.23873241463784306 [0^ 0 3^ 3] +\n", "-0.06283185307179587 [0^ 1] +\n", "-0.06283185307179585 [0^ 2] +\n", "-0.06283185307179587 [1^ 0] +\n", "0.1256637061435917 [1^ 1] +\n", "-0.07957747154594769 [1^ 1 0^ 0] +\n", "-0.23873241463784306 [1^ 1 2^ 2] +\n", "-0.07957747154594769 [1^ 1 3^ 3] +\n", "-0.06283185307179585 [1^ 3] +\n", "-0.06283185307179585 [2^ 0] +\n", "0.1256637061435917 [2^ 2] +\n", "-0.07957747154594769 [2^ 2 0^ 0] +\n", "-0.23873241463784306 [2^ 2 1^ 1] +\n", "-0.07957747154594769 [2^ 2 3^ 3] +\n", "-0.06283185307179587 [2^ 3] +\n", "-0.06283185307179585 [3^ 1] +\n", "-0.06283185307179587 [3^ 2] +\n", "0.1256637061435917 [3^ 3] +\n", "-0.23873241463784306 [3^ 3 0^ 0] +\n", "-0.07957747154594769 [3^ 3 1^ 1] +\n", "-0.07957747154594769 [3^ 3 2^ 2]\n" ] } ], "source": [ "import openfermion\n", "\n", "# Set parameters of jellium model.\n", "wigner_seitz_radius = 5. # Radius per electron in Bohr radii.\n", "n_dimensions = 2 # Number of spatial dimensions.\n", "grid_length = 2 # Number of grid points in each dimension.\n", "spinless = True # Whether to include spin degree of freedom or not.\n", "n_electrons = 2 # Number of electrons.\n", "\n", "# Figure out length scale based on Wigner-Seitz radius and construct a basis grid.\n", "length_scale = openfermion.wigner_seitz_length_scale(\n", " wigner_seitz_radius, n_electrons, n_dimensions)\n", "grid = openfermion.Grid(n_dimensions, grid_length, length_scale)\n", "\n", "# Initialize the model and print out.\n", "fermion_hamiltonian = openfermion.jellium_model(grid, spinless=spinless, plane_wave=False)\n", "print(fermion_hamiltonian)\n", "\n", "# Convert to DiagonalCoulombHamiltonian type.\n", "hamiltonian = openfermion.get_diagonal_coulomb_hamiltonian(fermion_hamiltonian)" ] }, { "cell_type": "markdown", "metadata": { "id": "a0916c947bd6" }, "source": [ "In the last line above we converted the FermionOperator to a class called DiagonalCoulombHamiltonian which is a special data structure in OpenFermion for representing operators that take the form\n", "$$\n", "H = \\sum_{pq} T_{pq} a^\\dagger_p a_q + \\sum_{pq} V_{pq} a^\\dagger_p a_p a^\\dagger_q a_q.\n", "$$\n", "OpenFermion has implemented Hamiltonian simulation algorithms that are optimized specifically for Hamiltonians of this form. They take as input the OpenFermion data structure DiagonalCoulombHamiltonian, which represents such a Hamiltonian in terms of matrices storing $T_{pq}$ and $V_{pq}$." ] }, { "cell_type": "markdown", "metadata": { "id": "686f8c13c14c" }, "source": [ "## Initializing the mean-field state of jellium\n", "\n", "Often one would like to begin a simulation of electronic structure in the mean-field state. To do this while keeping operators in the dual basis one needs to apply a rotation of single particle basis functions (see [Circuits 1](./circuits_1_basis_change.ipynb)). For arbitrary molecules this would necessitate first computing the canonical orbitals using a Hartree-Fock calculation, perhaps by using [OpenFermion-PySCF](https://github.com/quantumlib/OpenFermion-PySCF). However, since jellium has no external potential the mean-field state is an eigenstate of the one-body term $\\sum_{p, q} T_{pq} a^\\dagger_p a_q$. This term is a quadratic Hamiltonian, so its eigenstates can be prepared by applying a Bogoliubov transformation to a computational basis state. The Bogoliubov transformation changes the basis to one in which the quadratic Hamiltonian has the diagonal form $\\sum_{p} \\varepsilon_p b^\\dagger_p b_p$, where the $b^\\dagger_p$ are the creation operators for a new set of orbitals. We'll set the number of electrons to be half the total number of orbitals.\n", "\n", "We'll use the OpenFermion class QuadraticHamiltonian to obtain the Bogoliubov transformation matrix. Then, we'll initialize some qubits and create a circuit that applies the transformation to these qubits. Since our algorithms work with linear qubit connectivity, we'll use the `LineQubit` class. We won't bother compiling to Xmon gates for now to keep the circuits simple, but this can be done automatically using the appropriate Cirq methods. We will specify the initial state by passing in a list of the occupied orbitals (which in this case are just the first `n_electron` orbitals)." ] }, { "cell_type": "code", "execution_count": 4, "metadata": { "execution": { "iopub.execute_input": "2024-06-30T09:24:48.131842Z", "iopub.status.busy": "2024-06-30T09:24:48.131098Z", "iopub.status.idle": "2024-06-30T09:24:48.140938Z", "shell.execute_reply": "2024-06-30T09:24:48.140347Z" }, "id": "777432cd94b9" }, "outputs": [ { "name": "stdout", "output_type": "stream", "text": [ "0: ─────────────────────────PhISwap(0.25)───────────────────────────────────────────────────────────\n", " │\n", "1: ───PhISwap(0.25)─────────PhISwap(0.25)^-0.502──────────────────────────PhISwap(0.25)─────────────\n", " │ │\n", "2: ───PhISwap(0.25)^0.995──────────────────────────PhISwap(0.25)──────────PhISwap(0.25)^0.005───────\n", " │\n", "3: ────────────────────────────────────────────────PhISwap(0.25)^-0.498─────────────────────────────\n" ] } ], "source": [ "import cirq\n", "import openfermion\n", "\n", "# Obtain the Bogoliubov transformation matrix.\n", "quadratic_hamiltonian = openfermion.QuadraticHamiltonian(hamiltonian.one_body)\n", "_, transformation_matrix, _ = quadratic_hamiltonian.diagonalizing_bogoliubov_transform()\n", "\n", "# Create a circuit that prepares the mean-field state\n", "occupied_orbitals = range(n_electrons)\n", "n_qubits = openfermion.count_qubits(quadratic_hamiltonian)\n", "qubits = cirq.LineQubit.range(n_qubits)\n", "state_preparation_circuit = cirq.Circuit(\n", " openfermion.bogoliubov_transform(\n", " qubits, transformation_matrix, initial_state=occupied_orbitals))\n", "\n", "# Print circuit.\n", "state_preparation_circuit = cirq.drop_negligible_operations(state_preparation_circuit)\n", "print(state_preparation_circuit)" ] }, { "cell_type": "markdown", "metadata": { "id": "70bfa5b8054f" }, "source": [ "## Hamiltonian simulation via a Trotter-Suzuki product formula\n", "\n", "The goal of Hamiltonian time evolution simulation is to apply the unitary operator $\\exp(-i H t)$ for some time t. A simulation via a product formula proceeds by dividing the total evolution time $t$ into a finite number of steps $r$ and performing an approximate simulation of $\\exp(-i H t/r)$ $r$ times. Each simulation of $\\exp(-i H t/r)$ is called a Trotter step. The unitary $\\exp(-i H t/r)$ is approximated by interleaving simulations of the terms $H_j$ of a decomposition $H = \\sum_{j=1}^L H_j$. For example, the first-order symmetric, commonly known as the second-order, Trotter formula is\n", "$$\\exp(-i H t) \\approx \\prod_{j=1}^L \\exp(-i H_j t/2) \\prod_{j=L}^1 \\exp(-i H_j t/2).$$\n", "Higher-order product formulas are obtained from this one via a recursive construction. There is also a zeroth-order formula, which corresponds to\n", "$$\\exp(-i H t) \\approx \\prod_{j=1}^L \\exp(-i H_j t).$$\n", "In our case, the $H_j$ have the form $T_{pq} a^\\dagger_p a_q + T_{pq}^* a^\\dagger_q a_p$ or $V_{pq} a^\\dagger_p a_p a^\\dagger_q a_q$.\n", "\n", "To construct a circuit for performing time evolution via a product formula, we need to specify the total evolution time, the number of steps to use, and the order of the formula to use. For a fixed evolution time, increasing the number of steps and increasing the order of the formula both yield a more accurate simulation at the cost of increasing the gate count of the circuit. We could also specify an asymmetric Trotter step, or a controlled version, but we won't do that here. We will need to specify what algorithm will be used to compile the Trotter step. There are several options appropriate for DiagonalCoulombHamiltonians.\n", "\n", "A key result of [Phys. Rev. Lett. 120, 110501](https://journals.aps.org/prl/abstract/10.1103/PhysRevLett.120.110501) was to introduce a linear connectivity swap network which cycles through configurations in which all qubits are adjacent in at most $N$ parallel layers of swaps. As shown in that paper, by using fermionc swap gates instead of regular swap gates, one can use this swap network to simulate Trotter steps of an entire DiagonalCoulombHamiltonian. This effectively simulates $N / 2$ different pairs of terms $V_{pq} a^\\dagger_p a_p a^\\dagger_q a_q$ and $T_{pq} a^\\dagger_p a_q + T^*_{pq} a^\\dagger_q a_p$ in each layer of gates. By repeating the swap network for $N$ layers, all terms are simulated exactly once. This is referred to as the `LINEAR_SWAP_NETWORK` Trotter step in OpenFermion.\n", "\n", "Another approach to implementing the Trotter step involves simulating all $\\sum_{pq} V_{pq} a^\\dagger_p a_p a^\\dagger_q a_q$ terms (which commute and thus, this involves no Trotter error) by using the linear swap networks (with normal swap gates), and then performing a basis transformation which diagonalizes the one-body terms so that all of the $\\sum_{pq} T_{pq} a^\\dagger_p a_q$ terms can be simulated at once, and then performing another basis transformation to restore the original basis. This method involves more gates in each Trotter step but has less Trotter error, and thus might require fewer Trotter steps to achieve some target accuracy. This is referred to as the `SPLIT_OPERATOR` Trotter step in OpenFermion.\n", "\n", "Thus, there are currently two options for simulating DiagonalCoulombHamiltonians, `LINEAR_SWAP_NETWORK` and `SPLIT_OPERATOR`, and they correspond to different orderings of the terms $H_j$ in the product formula. Different orderings give different results because the $H_j$ do not all commute. Let's construct a circuit with the `LINEAR_SWAP_NETWORK` method using just one first order Trotter step. We'll insert operations into the circuit using the strategy `EARLIEST` so the printed output will be most compact. Still, the circuit will be longer than the width of this notebook, so we'll print it out transposed." ] }, { "cell_type": "code", "execution_count": 5, "metadata": { "execution": { "iopub.execute_input": "2024-06-30T09:24:48.144598Z", "iopub.status.busy": "2024-06-30T09:24:48.144067Z", "iopub.status.idle": "2024-06-30T09:24:48.160091Z", "shell.execute_reply": "2024-06-30T09:24:48.159416Z" }, "id": "6caf04de2e0e" }, "outputs": [ { "name": "stdout", "output_type": "stream", "text": [ "0 1 2 3\n", "│ │ │ │\n", "iSwap──────iSwap^0.02 iSwap──────iSwap^0.02\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "@──────────@^0.025 @──────────@^0.025\n", "│ │ │ │\n", "×ᶠ─────────×ᶠ ×ᶠ─────────×ᶠ\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ @──────────@^(1/13) │\n", "│ │ │ │\n", "│ ×ᶠ─────────×ᶠ │\n", "│ │ │ │\n", "iSwap──────iSwap^0.02 iSwap──────iSwap^0.02\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "@──────────@^0.025 @──────────@^0.025\n", "│ │ │ │\n", "×ᶠ─────────×ᶠ ×ᶠ─────────×ᶠ\n", "│ │ │ │\n", "Rz(-0.04π) │ │ Rz(-0.04π)\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ @──────────@^(1/13) │\n", "│ │ │ │\n", "│ ×ᶠ─────────×ᶠ │\n", "│ │ │ │\n", "│ Rz(-0.04π) Rz(-0.04π) │\n", "│ │ │ │\n", "│ @──────────@^(1/13) │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ ×ᶠ─────────×ᶠ │\n", "│ │ │ │\n", "@──────────@^0.025 @──────────@^0.025\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "iSwap──────iSwap^0.02 iSwap──────iSwap^0.02\n", "│ │ │ │\n", "×ᶠ─────────×ᶠ ×ᶠ─────────×ᶠ\n", "│ │ │ │\n", "│ @──────────@^(1/13) │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ ×ᶠ─────────×ᶠ │\n", "│ │ │ │\n", "@──────────@^0.025 @──────────@^0.025\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "iSwap──────iSwap^0.02 iSwap──────iSwap^0.02\n", "│ │ │ │\n", "×ᶠ─────────×ᶠ ×ᶠ─────────×ᶠ\n", "│ │ │ │\n" ] } ], "source": [ "from openfermion.circuits import trotter\n", "\n", "# Set algorithm parameters.\n", "time = 1.0\n", "n_steps = 1\n", "order = 1\n", "\n", "# Construct circuit\n", "swap_network_trotter_step = cirq.Circuit(\n", " openfermion.simulate_trotter(\n", " qubits, hamiltonian, time, n_steps, order,\n", " algorithm=trotter.LINEAR_SWAP_NETWORK),\n", " strategy=cirq.InsertStrategy.EARLIEST)\n", "\n", "# Print circuit.\n", "swap_network_trotter_step=cirq.drop_negligible_operations(swap_network_trotter_step)\n", "print(swap_network_trotter_step.to_text_diagram(transpose=True))" ] }, { "cell_type": "markdown", "metadata": { "id": "73e15ccfc8bd" }, "source": [ "Now let's do the same, but using the `SPLIT_OPERATOR` method." ] }, { "cell_type": "code", "execution_count": 6, "metadata": { "execution": { "iopub.execute_input": "2024-06-30T09:24:48.163340Z", "iopub.status.busy": "2024-06-30T09:24:48.163097Z", "iopub.status.idle": "2024-06-30T09:24:48.186415Z", "shell.execute_reply": "2024-06-30T09:24:48.185524Z" }, "id": "f2da625693eb" }, "outputs": [ { "name": "stdout", "output_type": "stream", "text": [ "0 1 2 3\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ PhISwap(0.25)────────PhISwap(0.25)^0.5\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ PhISwap(0.25)────────PhISwap(0.25)^0.608 │\n", "│ │ │ │\n", "│ │ PhISwap(0.25)────────PhISwap(0.25)^-0.004\n", "│ │ │ │\n", "PhISwap(0.25)─PhISwap(0.25)^(2/3) │ │\n", "│ │ │ │\n", "Rz(-π) PhISwap(0.25)────────PhISwap(0.25)^0.612 │\n", "│ │ │ │\n", "│ │ PhISwap(0.25)────────PhISwap(0.25)^-0.498\n", "│ │ │ │\n", "Rz(π) Rz(-0.02π) Rz(-π) Rz(-π)\n", "│ │ │ │\n", "│ │ Rz(-0.02π) Rz(-0.04π)\n", "│ │ │ │\n", "│ │ Rz(π) Rz(π)\n", "│ │ │ │\n", "│ │ PhISwap(0.25)────────PhISwap(0.25)^0.498\n", "│ │ │ │\n", "│ PhISwap(0.25)────────PhISwap(0.25)^-0.612 │\n", "│ │ │ │\n", "PhISwap(0.25)─PhISwap(0.25)^(-2/3) │ │\n", "│ │ │ │\n", "│ │ PhISwap(0.25)────────PhISwap(0.25)^0.004\n", "│ │ │ │\n", "│ PhISwap(0.25)────────PhISwap(0.25)^-0.608 │\n", "│ │ │ │\n", "@─────────────@^0.051 │ │\n", "│ │ │ │\n", "×─────────────× PhISwap(0.25)────────PhISwap(0.25)^-0.5\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ @────────────────────@^0.051\n", "│ │ │ │\n", "│ │ ×────────────────────×\n", "│ │ │ │\n", "│ @────────────────────@^0.152 │\n", "│ │ │ │\n", "│ ×────────────────────× │\n", "│ │ │ │\n", "@─────────────@^0.051 @────────────────────@^0.051\n", "│ │ │ │\n", "×─────────────× ×────────────────────×\n", "│ │ │ │\n", "│ @────────────────────@^0.152 │\n", "│ │ │ │\n", "│ ×────────────────────× │\n", "│ │ │ │\n", "PhISwap(0.25)─PhISwap(0.25)^0.5 │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ PhISwap(0.25)────────PhISwap(0.25)^0.608 │\n", "│ │ │ │\n", "PhISwap(0.25)─PhISwap(0.25)^-0.004 │ │\n", "│ │ │ │\n", "│ │ PhISwap(0.25)────────PhISwap(0.25)^(2/3)\n", "│ │ │ │\n", "│ PhISwap(0.25)────────PhISwap(0.25)^0.612 Rz(-π)\n", "│ │ │ │\n", "PhISwap(0.25)─PhISwap(0.25)^-0.498 │ │\n", "│ │ │ │\n", "Rz(-π) Rz(-π) Rz(-0.02π) Rz(π)\n", "│ │ │ │\n", "Rz(-0.04π) Rz(-0.02π) │ │\n", "│ │ │ │\n", "Rz(π) Rz(π) │ │\n", "│ │ │ │\n", "PhISwap(0.25)─PhISwap(0.25)^0.498 │ │\n", "│ │ │ │\n", "│ PhISwap(0.25)────────PhISwap(0.25)^-0.612 │\n", "│ │ │ │\n", "│ │ PhISwap(0.25)────────PhISwap(0.25)^(-2/3)\n", "│ │ │ │\n", "PhISwap(0.25)─PhISwap(0.25)^0.004 │ │\n", "│ │ │ │\n", "│ PhISwap(0.25)────────PhISwap(0.25)^-0.608 │\n", "│ │ │ │\n", "│ │ ×────────────────────×\n", "│ │ │ │\n", "PhISwap(0.25)─PhISwap(0.25)^-0.5 │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "×─────────────× │ │\n", "│ │ │ │\n", "│ ×────────────────────× │\n", "│ │ │ │\n", "×─────────────× ×────────────────────×\n", "│ │ │ │\n", "│ ×────────────────────× │\n", "│ │ │ │\n" ] } ], "source": [ "split_operator_trotter_step = cirq.Circuit(\n", " openfermion.simulate_trotter(\n", " qubits, hamiltonian, time, n_steps, order,\n", " algorithm=trotter.SPLIT_OPERATOR),\n", " strategy=cirq.InsertStrategy.EARLIEST)\n", "split_operator_trotter_step=cirq.drop_negligible_operations(split_operator_trotter_step)\n", "print(split_operator_trotter_step.to_text_diagram(transpose=True))" ] }, { "cell_type": "markdown", "metadata": { "id": "45e655c8377f" }, "source": [ "Let's run these circuits on the simulator that comes with Cirq and compute the energy of the resulting states." ] }, { "cell_type": "code", "execution_count": 7, "metadata": { "execution": { "iopub.execute_input": "2024-06-30T09:24:48.189792Z", "iopub.status.busy": "2024-06-30T09:24:48.189308Z", "iopub.status.idle": "2024-06-30T09:24:48.227952Z", "shell.execute_reply": "2024-06-30T09:24:48.227299Z" }, "id": "c2f7a1a6b7d4" }, "outputs": [ { "name": "stdout", "output_type": "stream", "text": [ "Energy of state obtained with swap network method: -0.19257491331889448\n", "Energy of state obtained with split-operator method: -0.19257633581330358\n" ] } ], "source": [ "# Initialize Cirq simulator.\n", "simulator = cirq.Simulator()\n", "\n", "# Convert the Hamiltonian to a sparse matrix.\n", "hamiltonian_sparse = openfermion.get_sparse_operator(hamiltonian)\n", "\n", "# Obtain initial state vector as integer.\n", "initial_state = sum(2 ** (n_qubits - 1 - i) for i in occupied_orbitals)\n", "\n", "# Construct and simulate circuit using the swap network method.\n", "circuit = state_preparation_circuit + swap_network_trotter_step\n", "result = simulator.simulate(circuit, initial_state=initial_state)\n", "final_state = result.final_state_vector\n", "\n", "print('Energy of state obtained with swap network method: {}'.format(\n", " openfermion.expectation(hamiltonian_sparse, final_state).real))\n", "\n", "# Construct and simulate circuit using the split-operator method.\n", "circuit = state_preparation_circuit + split_operator_trotter_step\n", "result = simulator.simulate(circuit, initial_state=initial_state)\n", "final_state = result.final_state_vector\n", "\n", "print('Energy of state obtained with split-operator method: {}'.format(\n", " openfermion.expectation(hamiltonian_sparse, final_state).real))" ] }, { "cell_type": "markdown", "metadata": { "id": "56390c7d2c38" }, "source": [ "Increasing the number of Trotter steps will cause both methods to converge to the same operation, corresponding to an exact simulation. You can play around with the number of Trotter steps to confirm. Note that for NISQ applications one will often be interested in using the zeroth-order Trotter step, also known as the first-order asymmetric Trotter step. We can implement these Trotter steps by setting the order to zero, as we do below." ] }, { "cell_type": "code", "execution_count": 8, "metadata": { "execution": { "iopub.execute_input": "2024-06-30T09:24:48.231462Z", "iopub.status.busy": "2024-06-30T09:24:48.230959Z", "iopub.status.idle": "2024-06-30T09:24:48.242735Z", "shell.execute_reply": "2024-06-30T09:24:48.242078Z" }, "id": "50cbe49f3d12" }, "outputs": [ { "name": "stdout", "output_type": "stream", "text": [ "0 1 2 3\n", "│ │ │ │\n", "iSwap──────iSwap^0.04 iSwap──────iSwap^0.04\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "@──────────@^0.051 @──────────@^0.051\n", "│ │ │ │\n", "×ᶠ─────────×ᶠ ×ᶠ─────────×ᶠ\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ @──────────@^0.152 │\n", "│ │ │ │\n", "│ ×ᶠ─────────×ᶠ │\n", "│ │ │ │\n", "iSwap──────iSwap^0.04 iSwap──────iSwap^0.04\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "@──────────@^0.051 @──────────@^0.051\n", "│ │ │ │\n", "×ᶠ─────────×ᶠ ×ᶠ─────────×ᶠ\n", "│ │ │ │\n", "Rz(-0.04π) │ │ Rz(-0.04π)\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ @──────────@^0.152 │\n", "│ │ │ │\n", "│ ×ᶠ─────────×ᶠ │\n", "│ │ │ │\n", "│ Rz(-0.04π) Rz(-0.04π) │\n", "│ │ │ │\n", "×ᶠ─────────×ᶠ ×ᶠ─────────×ᶠ\n", "│ │ │ │\n", "│ ×ᶠ─────────×ᶠ │\n", "│ │ │ │\n", "×ᶠ─────────×ᶠ ×ᶠ─────────×ᶠ\n", "│ │ │ │\n", "│ ×ᶠ─────────×ᶠ │\n", "│ │ │ │\n" ] } ], "source": [ "# Set algorithm parameters.\n", "time = 1.0\n", "n_steps = 1\n", "order = 0\n", "\n", "# Construct circuit\n", "swap_network_trotter_step = cirq.Circuit(\n", " openfermion.simulate_trotter(\n", " qubits, hamiltonian, time, n_steps, order,\n", " algorithm=trotter.LINEAR_SWAP_NETWORK),\n", " strategy=cirq.InsertStrategy.EARLIEST)\n", "swap_network_trotter_step=cirq.drop_negligible_operations(swap_network_trotter_step)\n", "print(swap_network_trotter_step.to_text_diagram(transpose=True))" ] }, { "cell_type": "markdown", "metadata": { "id": "72679dc0ddf4" }, "source": [ "Note the unusual pattern of fermionic swap networks towards the end. What is happening there is that in the zeroth order step of a `LINEAR_SWAP_NETWORK` style Trotter step, the qubit order is reversed upon output. To avoid this one needs to set an option called `omit_final_swaps`, e.g." ] }, { "cell_type": "code", "execution_count": 9, "metadata": { "execution": { "iopub.execute_input": "2024-06-30T09:24:48.246491Z", "iopub.status.busy": "2024-06-30T09:24:48.245838Z", "iopub.status.idle": "2024-06-30T09:24:48.255962Z", "shell.execute_reply": "2024-06-30T09:24:48.255275Z" }, "id": "3e1a49e741ac" }, "outputs": [ { "name": "stdout", "output_type": "stream", "text": [ "0 1 2 3\n", "│ │ │ │\n", "iSwap──────iSwap^0.04 iSwap──────iSwap^0.04\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "@──────────@^0.051 @──────────@^0.051\n", "│ │ │ │\n", "×ᶠ─────────×ᶠ ×ᶠ─────────×ᶠ\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ @──────────@^0.152 │\n", "│ │ │ │\n", "│ ×ᶠ─────────×ᶠ │\n", "│ │ │ │\n", "iSwap──────iSwap^0.04 iSwap──────iSwap^0.04\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "@──────────@^0.051 @──────────@^0.051\n", "│ │ │ │\n", "×ᶠ─────────×ᶠ ×ᶠ─────────×ᶠ\n", "│ │ │ │\n", "Rz(-0.04π) │ │ Rz(-0.04π)\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ @──────────@^0.152 │\n", "│ │ │ │\n", "│ ×ᶠ─────────×ᶠ │\n", "│ │ │ │\n", "│ Rz(-0.04π) Rz(-0.04π) │\n", "│ │ │ │\n" ] } ], "source": [ "swap_network_trotter_step = cirq.Circuit(\n", " openfermion.simulate_trotter(\n", " qubits, hamiltonian, time, n_steps, order,\n", " algorithm=trotter.LINEAR_SWAP_NETWORK,\n", " omit_final_swaps=True),\n", " strategy=cirq.InsertStrategy.EARLIEST)\n", "swap_network_trotter_step=cirq.drop_negligible_operations(swap_network_trotter_step)\n", "print(swap_network_trotter_step.to_text_diagram(transpose=True))" ] }, { "cell_type": "markdown", "metadata": { "id": "f9c787f2f317" }, "source": [ "One can also have fun compiling arbitrary high-order formulas. Here's the third-order symmetric formula:" ] }, { "cell_type": "code", "execution_count": 10, "metadata": { "execution": { "iopub.execute_input": "2024-06-30T09:24:48.259291Z", "iopub.status.busy": "2024-06-30T09:24:48.259049Z", "iopub.status.idle": "2024-06-30T09:24:48.721721Z", "shell.execute_reply": "2024-06-30T09:24:48.720981Z" }, "id": "b253f1d0cb43" }, "outputs": [ { "name": "stdout", "output_type": "stream", "text": [ "0 1 2 3\n", "│ │ │ │\n", "iSwap───────iSwap^0.003 iSwap───────iSwap^0.003\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "@───────────@^0.004 @───────────@^0.004\n", "│ │ │ │\n", "×ᶠ──────────×ᶠ ×ᶠ──────────×ᶠ\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ @────────────@^0.012 │\n", "│ │ │ │\n", "│ ×ᶠ───────────×ᶠ │\n", "│ │ │ │\n", "iSwap───────iSwap^0.003 iSwap───────iSwap^0.003\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "@───────────@^0.004 @───────────@^0.004\n", "│ │ │ │\n", "×ᶠ──────────×ᶠ ×ᶠ──────────×ᶠ\n", "│ │ │ │\n", "Rz(-0.006π) │ │ Rz(-0.006π)\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ @────────────@^0.012 │\n", "│ │ │ │\n", "│ ×ᶠ───────────×ᶠ │\n", "│ │ │ │\n", "│ Rz(-0.006π) Rz(-0.006π) │\n", "│ │ │ │\n", "│ @────────────@^0.012 │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ ×ᶠ───────────×ᶠ │\n", "│ │ │ │\n", "@───────────@^0.004 @───────────@^0.004\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "iSwap───────iSwap^0.003 iSwap───────iSwap^0.003\n", "│ │ │ │\n", "×ᶠ──────────×ᶠ ×ᶠ──────────×ᶠ\n", "│ │ │ │\n", "│ @────────────@^0.012 │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ ×ᶠ───────────×ᶠ │\n", "│ │ │ │\n", "@───────────@^0.004 @───────────@^0.004\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "iSwap───────iSwap^0.003 iSwap───────iSwap^0.003\n", "│ │ │ │\n", "×ᶠ──────────×ᶠ ×ᶠ──────────×ᶠ\n", "│ │ │ │\n", "iSwap───────iSwap^0.003 iSwap───────iSwap^0.003\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "@───────────@^0.004 @───────────@^0.004\n", "│ │ │ │\n", "×ᶠ──────────×ᶠ ×ᶠ──────────×ᶠ\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ @────────────@^0.012 │\n", "│ │ │ │\n", "│ ×ᶠ───────────×ᶠ │\n", "│ │ │ │\n", "iSwap───────iSwap^0.003 iSwap───────iSwap^0.003\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "@───────────@^0.004 @───────────@^0.004\n", "│ │ │ │\n", "×ᶠ──────────×ᶠ ×ᶠ──────────×ᶠ\n", "│ │ │ │\n", "Rz(-0.006π) │ │ Rz(-0.006π)\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ @────────────@^0.012 │\n", "│ │ │ │\n", "│ ×ᶠ───────────×ᶠ │\n", "│ │ │ │\n", "│ Rz(-0.006π) Rz(-0.006π) │\n", "│ │ │ │\n", "│ @────────────@^0.012 │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ ×ᶠ───────────×ᶠ │\n", "│ │ │ │\n", "@───────────@^0.004 @───────────@^0.004\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "iSwap───────iSwap^0.003 iSwap───────iSwap^0.003\n", "│ │ │ │\n", "×ᶠ──────────×ᶠ ×ᶠ──────────×ᶠ\n", "│ │ │ │\n", "│ @────────────@^0.012 │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ ×ᶠ───────────×ᶠ │\n", "│ │ │ │\n", "@───────────@^0.004 @───────────@^0.004\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "iSwap───────iSwap^0.003 iSwap───────iSwap^0.003\n", "│ │ │ │\n", "×ᶠ──────────×ᶠ ×ᶠ──────────×ᶠ\n", "│ │ │ │\n", "iSwap───────iSwap^-0.005 iSwap───────iSwap^-0.005\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "@───────────@^-0.006 @───────────@^-0.006\n", "│ │ │ │\n", "×ᶠ──────────×ᶠ ×ᶠ──────────×ᶠ\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ @────────────@^-0.019 │\n", "│ │ │ │\n", "│ ×ᶠ───────────×ᶠ │\n", "│ │ │ │\n", "iSwap───────iSwap^-0.005 iSwap───────iSwap^-0.005\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "@───────────@^-0.006 @───────────@^-0.006\n", "│ │ │ │\n", "×ᶠ──────────×ᶠ ×ᶠ──────────×ᶠ\n", "│ │ │ │\n", "Rz(0.01π) │ │ Rz(0.01π)\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ @────────────@^-0.019 │\n", "│ │ │ │\n", "│ ×ᶠ───────────×ᶠ │\n", "│ │ │ │\n", "│ Rz(0.01π) Rz(0.01π) │\n", "│ │ │ │\n", "│ @────────────@^-0.019 │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ ×ᶠ───────────×ᶠ │\n", "│ │ │ │\n", "@───────────@^-0.006 @───────────@^-0.006\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "iSwap───────iSwap^-0.005 iSwap───────iSwap^-0.005\n", "│ │ │ │\n", "×ᶠ──────────×ᶠ ×ᶠ──────────×ᶠ\n", "│ │ │ │\n", "│ @────────────@^-0.019 │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ ×ᶠ───────────×ᶠ │\n", "│ │ │ │\n", "@───────────@^-0.006 @───────────@^-0.006\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "iSwap───────iSwap^-0.005 iSwap───────iSwap^-0.005\n", "│ │ │ │\n", "×ᶠ──────────×ᶠ ×ᶠ──────────×ᶠ\n", "│ │ │ │\n", "iSwap───────iSwap^0.003 iSwap───────iSwap^0.003\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "@───────────@^0.004 @───────────@^0.004\n", "│ │ │ │\n", "×ᶠ──────────×ᶠ ×ᶠ──────────×ᶠ\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ @────────────@^0.012 │\n", "│ │ │ │\n", "│ ×ᶠ───────────×ᶠ │\n", "│ │ │ │\n", "iSwap───────iSwap^0.003 iSwap───────iSwap^0.003\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "@───────────@^0.004 @───────────@^0.004\n", "│ │ │ │\n", "×ᶠ──────────×ᶠ ×ᶠ──────────×ᶠ\n", "│ │ │ │\n", "Rz(-0.006π) │ │ Rz(-0.006π)\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ @────────────@^0.012 │\n", "│ │ │ │\n", "│ ×ᶠ───────────×ᶠ │\n", "│ │ │ │\n", "│ Rz(-0.006π) Rz(-0.006π) │\n", "│ │ │ │\n", "│ @────────────@^0.012 │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ ×ᶠ───────────×ᶠ │\n", "│ │ │ │\n", "@───────────@^0.004 @───────────@^0.004\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "iSwap───────iSwap^0.003 iSwap───────iSwap^0.003\n", "│ │ │ │\n", "×ᶠ──────────×ᶠ ×ᶠ──────────×ᶠ\n", "│ │ │ │\n", "│ @────────────@^0.012 │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ ×ᶠ───────────×ᶠ │\n", "│ │ │ │\n", "@───────────@^0.004 @───────────@^0.004\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "iSwap───────iSwap^0.003 iSwap───────iSwap^0.003\n", "│ │ │ │\n", "×ᶠ──────────×ᶠ ×ᶠ──────────×ᶠ\n", "│ │ │ │\n", "iSwap───────iSwap^0.003 iSwap───────iSwap^0.003\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "@───────────@^0.004 @───────────@^0.004\n", "│ │ │ │\n", "×ᶠ──────────×ᶠ ×ᶠ──────────×ᶠ\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ @────────────@^0.012 │\n", "│ │ │ │\n", "│ ×ᶠ───────────×ᶠ │\n", "│ │ │ │\n", "iSwap───────iSwap^0.003 iSwap───────iSwap^0.003\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "@───────────@^0.004 @───────────@^0.004\n", "│ │ │ │\n", "×ᶠ──────────×ᶠ ×ᶠ──────────×ᶠ\n", "│ │ │ │\n", "Rz(-0.006π) │ │ Rz(-0.006π)\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ @────────────@^0.012 │\n", "│ │ │ │\n", "│ ×ᶠ───────────×ᶠ │\n", "│ │ │ │\n", "│ Rz(-0.006π) Rz(-0.006π) │\n", "│ │ │ │\n", "│ @────────────@^0.012 │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ ×ᶠ───────────×ᶠ │\n", "│ │ │ │\n", "@───────────@^0.004 @───────────@^0.004\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "iSwap───────iSwap^0.003 iSwap───────iSwap^0.003\n", "│ │ │ │\n", "×ᶠ──────────×ᶠ ×ᶠ──────────×ᶠ\n", "│ │ │ │\n", "│ @────────────@^0.012 │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ ×ᶠ───────────×ᶠ │\n", "│ │ │ │\n", "@───────────@^0.004 @───────────@^0.004\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "iSwap───────iSwap^0.003 iSwap───────iSwap^0.003\n", "│ │ │ │\n", "×ᶠ──────────×ᶠ ×ᶠ──────────×ᶠ\n", "│ │ │ │\n", "iSwap───────iSwap^0.003 iSwap───────iSwap^0.003\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "@───────────@^0.004 @───────────@^0.004\n", "│ │ │ │\n", "×ᶠ──────────×ᶠ ×ᶠ──────────×ᶠ\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ @────────────@^0.012 │\n", "│ │ │ │\n", "│ ×ᶠ───────────×ᶠ │\n", "│ │ │ │\n", "iSwap───────iSwap^0.003 iSwap───────iSwap^0.003\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "@───────────@^0.004 @───────────@^0.004\n", "│ │ │ │\n", "×ᶠ──────────×ᶠ ×ᶠ──────────×ᶠ\n", "│ │ │ │\n", "Rz(-0.006π) │ │ Rz(-0.006π)\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ @────────────@^0.012 │\n", "│ │ │ │\n", "│ ×ᶠ───────────×ᶠ │\n", "│ │ │ │\n", "│ Rz(-0.006π) Rz(-0.006π) │\n", "│ │ │ │\n", "│ @────────────@^0.012 │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ ×ᶠ───────────×ᶠ │\n", "│ │ │ │\n", "@───────────@^0.004 @───────────@^0.004\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "iSwap───────iSwap^0.003 iSwap───────iSwap^0.003\n", "│ │ │ │\n", "×ᶠ──────────×ᶠ ×ᶠ──────────×ᶠ\n", "│ │ │ │\n", "│ @────────────@^0.012 │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ ×ᶠ───────────×ᶠ │\n", "│ │ │ │\n", "@───────────@^0.004 @───────────@^0.004\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "iSwap───────iSwap^0.003 iSwap───────iSwap^0.003\n", "│ │ │ │\n", "×ᶠ──────────×ᶠ ×ᶠ──────────×ᶠ\n", "│ │ │ │\n", "iSwap───────iSwap^0.003 iSwap───────iSwap^0.003\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "@───────────@^0.004 @───────────@^0.004\n", "│ │ │ │\n", "×ᶠ──────────×ᶠ ×ᶠ──────────×ᶠ\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ @────────────@^0.012 │\n", "│ │ │ │\n", "│ ×ᶠ───────────×ᶠ │\n", "│ │ │ │\n", "iSwap───────iSwap^0.003 iSwap───────iSwap^0.003\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "@───────────@^0.004 @───────────@^0.004\n", "│ │ │ │\n", "×ᶠ──────────×ᶠ ×ᶠ──────────×ᶠ\n", "│ │ │ │\n", "Rz(-0.006π) │ │ Rz(-0.006π)\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ @────────────@^0.012 │\n", "│ │ │ │\n", "│ ×ᶠ───────────×ᶠ │\n", "│ │ │ │\n", "│ Rz(-0.006π) Rz(-0.006π) │\n", "│ │ │ │\n", "│ @────────────@^0.012 │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ ×ᶠ───────────×ᶠ │\n", "│ │ │ │\n", "@───────────@^0.004 @───────────@^0.004\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "iSwap───────iSwap^0.003 iSwap───────iSwap^0.003\n", "│ │ │ │\n", "×ᶠ──────────×ᶠ ×ᶠ──────────×ᶠ\n", "│ │ │ │\n", "│ @────────────@^0.012 │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ ×ᶠ───────────×ᶠ │\n", "│ │ │ │\n", "@───────────@^0.004 @───────────@^0.004\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "iSwap───────iSwap^0.003 iSwap───────iSwap^0.003\n", "│ │ │ │\n", "×ᶠ──────────×ᶠ ×ᶠ──────────×ᶠ\n", "│ │ │ │\n", "iSwap───────iSwap^-0.005 iSwap───────iSwap^-0.005\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "@───────────@^-0.006 @───────────@^-0.006\n", "│ │ │ │\n", "×ᶠ──────────×ᶠ ×ᶠ──────────×ᶠ\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ @────────────@^-0.019 │\n", "│ │ │ │\n", "│ ×ᶠ───────────×ᶠ │\n", "│ │ │ │\n", "iSwap───────iSwap^-0.005 iSwap───────iSwap^-0.005\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "@───────────@^-0.006 @───────────@^-0.006\n", "│ │ │ │\n", "×ᶠ──────────×ᶠ ×ᶠ──────────×ᶠ\n", "│ │ │ │\n", "Rz(0.01π) │ │ Rz(0.01π)\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ @────────────@^-0.019 │\n", "│ │ │ │\n", "│ ×ᶠ───────────×ᶠ │\n", "│ │ │ │\n", "│ Rz(0.01π) Rz(0.01π) │\n", "│ │ │ │\n", "│ @────────────@^-0.019 │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ ×ᶠ───────────×ᶠ │\n", "│ │ │ │\n", "@───────────@^-0.006 @───────────@^-0.006\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "iSwap───────iSwap^-0.005 iSwap───────iSwap^-0.005\n", "│ │ │ │\n", "×ᶠ──────────×ᶠ ×ᶠ──────────×ᶠ\n", "│ │ │ │\n", "│ @────────────@^-0.019 │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ ×ᶠ───────────×ᶠ │\n", "│ │ │ │\n", "@───────────@^-0.006 @───────────@^-0.006\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "iSwap───────iSwap^-0.005 iSwap───────iSwap^-0.005\n", "│ │ │ │\n", "×ᶠ──────────×ᶠ ×ᶠ──────────×ᶠ\n", "│ │ │ │\n", "iSwap───────iSwap^0.003 iSwap───────iSwap^0.003\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "@───────────@^0.004 @───────────@^0.004\n", "│ │ │ │\n", "×ᶠ──────────×ᶠ ×ᶠ──────────×ᶠ\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ @────────────@^0.012 │\n", "│ │ │ │\n", "│ ×ᶠ───────────×ᶠ │\n", "│ │ │ │\n", "iSwap───────iSwap^0.003 iSwap───────iSwap^0.003\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "@───────────@^0.004 @───────────@^0.004\n", "│ │ │ │\n", "×ᶠ──────────×ᶠ ×ᶠ──────────×ᶠ\n", "│ │ │ │\n", "Rz(-0.006π) │ │ Rz(-0.006π)\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ @────────────@^0.012 │\n", "│ │ │ │\n", "│ ×ᶠ───────────×ᶠ │\n", "│ │ │ │\n", "│ Rz(-0.006π) Rz(-0.006π) │\n", "│ │ │ │\n", "│ @────────────@^0.012 │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ ×ᶠ───────────×ᶠ │\n", "│ │ │ │\n", "@───────────@^0.004 @───────────@^0.004\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "iSwap───────iSwap^0.003 iSwap───────iSwap^0.003\n", "│ │ │ │\n", "×ᶠ──────────×ᶠ ×ᶠ──────────×ᶠ\n", "│ │ │ │\n", "│ @────────────@^0.012 │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ ×ᶠ───────────×ᶠ │\n", "│ │ │ │\n", "@───────────@^0.004 @───────────@^0.004\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "iSwap───────iSwap^0.003 iSwap───────iSwap^0.003\n", "│ │ │ │\n", "×ᶠ──────────×ᶠ ×ᶠ──────────×ᶠ\n", "│ │ │ │\n", "iSwap───────iSwap^0.003 iSwap───────iSwap^0.003\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "@───────────@^0.004 @───────────@^0.004\n", "│ │ │ │\n", "×ᶠ──────────×ᶠ ×ᶠ──────────×ᶠ\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ @────────────@^0.012 │\n", "│ │ │ │\n", "│ ×ᶠ───────────×ᶠ │\n", "│ │ │ │\n", "iSwap───────iSwap^0.003 iSwap───────iSwap^0.003\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "@───────────@^0.004 @───────────@^0.004\n", "│ │ │ │\n", "×ᶠ──────────×ᶠ ×ᶠ──────────×ᶠ\n", "│ │ │ │\n", "Rz(-0.006π) │ │ Rz(-0.006π)\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ @────────────@^0.012 │\n", "│ │ │ │\n", "│ ×ᶠ───────────×ᶠ │\n", "│ │ │ │\n", "│ Rz(-0.006π) Rz(-0.006π) │\n", "│ │ │ │\n", "│ @────────────@^0.012 │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ ×ᶠ───────────×ᶠ │\n", "│ │ │ │\n", "@───────────@^0.004 @───────────@^0.004\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "iSwap───────iSwap^0.003 iSwap───────iSwap^0.003\n", "│ │ │ │\n", "×ᶠ──────────×ᶠ ×ᶠ──────────×ᶠ\n", "│ │ │ │\n", "│ @────────────@^0.012 │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ ×ᶠ───────────×ᶠ │\n", "│ │ │ │\n", "@───────────@^0.004 @───────────@^0.004\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "iSwap───────iSwap^0.003 iSwap───────iSwap^0.003\n", "│ │ │ │\n", "×ᶠ──────────×ᶠ ×ᶠ──────────×ᶠ\n", "│ │ │ │\n", "iSwap───────iSwap^-0.004 iSwap───────iSwap^-0.004\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "@───────────@^-0.005 @───────────@^-0.005\n", "│ │ │ │\n", "×ᶠ──────────×ᶠ ×ᶠ──────────×ᶠ\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ @────────────@^-0.016 │\n", "│ │ │ │\n", "│ ×ᶠ───────────×ᶠ │\n", "│ │ │ │\n", "iSwap───────iSwap^-0.004 iSwap───────iSwap^-0.004\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "@───────────@^-0.005 @───────────@^-0.005\n", "│ │ │ │\n", "×ᶠ──────────×ᶠ ×ᶠ──────────×ᶠ\n", "│ │ │ │\n", "Rz(0.008π) │ │ Rz(0.008π)\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ @────────────@^-0.016 │\n", "│ │ │ │\n", "│ ×ᶠ───────────×ᶠ │\n", "│ │ │ │\n", "│ Rz(0.008π) Rz(0.008π) │\n", "│ │ │ │\n", "│ @────────────@^-0.016 │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ ×ᶠ───────────×ᶠ │\n", "│ │ │ │\n", "@───────────@^-0.005 @───────────@^-0.005\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "iSwap───────iSwap^-0.004 iSwap───────iSwap^-0.004\n", "│ │ │ │\n", "×ᶠ──────────×ᶠ ×ᶠ──────────×ᶠ\n", "│ │ │ │\n", "│ @────────────@^-0.016 │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ ×ᶠ───────────×ᶠ │\n", "│ │ │ │\n", "@───────────@^-0.005 @───────────@^-0.005\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "iSwap───────iSwap^-0.004 iSwap───────iSwap^-0.004\n", "│ │ │ │\n", "×ᶠ──────────×ᶠ ×ᶠ──────────×ᶠ\n", "│ │ │ │\n", "iSwap───────iSwap^-0.004 iSwap───────iSwap^-0.004\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "@───────────@^-0.005 @───────────@^-0.005\n", "│ │ │ │\n", "×ᶠ──────────×ᶠ ×ᶠ──────────×ᶠ\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ @────────────@^-0.016 │\n", "│ │ │ │\n", "│ ×ᶠ───────────×ᶠ │\n", "│ │ │ │\n", "iSwap───────iSwap^-0.004 iSwap───────iSwap^-0.004\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "@───────────@^-0.005 @───────────@^-0.005\n", "│ │ │ │\n", "×ᶠ──────────×ᶠ ×ᶠ──────────×ᶠ\n", "│ │ │ │\n", "Rz(0.008π) │ │ Rz(0.008π)\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ @────────────@^-0.016 │\n", "│ │ │ │\n", "│ ×ᶠ───────────×ᶠ │\n", "│ │ │ │\n", "│ Rz(0.008π) Rz(0.008π) │\n", "│ │ │ │\n", "│ @────────────@^-0.016 │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ ×ᶠ───────────×ᶠ │\n", "│ │ │ │\n", "@───────────@^-0.005 @───────────@^-0.005\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "iSwap───────iSwap^-0.004 iSwap───────iSwap^-0.004\n", "│ │ │ │\n", "×ᶠ──────────×ᶠ ×ᶠ──────────×ᶠ\n", "│ │ │ │\n", "│ @────────────@^-0.016 │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ ×ᶠ───────────×ᶠ │\n", "│ │ │ │\n", "@───────────@^-0.005 @───────────@^-0.005\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "iSwap───────iSwap^-0.004 iSwap───────iSwap^-0.004\n", "│ │ │ │\n", "×ᶠ──────────×ᶠ ×ᶠ──────────×ᶠ\n", "│ │ │ │\n", "iSwap───────iSwap^0.006 iSwap───────iSwap^0.006\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "@───────────@^0.008 @───────────@^0.008\n", "│ │ │ │\n", "×ᶠ──────────×ᶠ ×ᶠ──────────×ᶠ\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ @────────────@^0.025 │\n", "│ │ │ │\n", "│ ×ᶠ───────────×ᶠ │\n", "│ │ │ │\n", "iSwap───────iSwap^0.006 iSwap───────iSwap^0.006\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "@───────────@^0.008 @───────────@^0.008\n", "│ │ │ │\n", "×ᶠ──────────×ᶠ ×ᶠ──────────×ᶠ\n", "│ │ │ │\n", "Rz(-0.013π) │ │ Rz(-0.013π)\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ @────────────@^0.025 │\n", "│ │ │ │\n", "│ ×ᶠ───────────×ᶠ │\n", "│ │ │ │\n", "│ Rz(-0.013π) Rz(-0.013π) │\n", "│ │ │ │\n", "│ @────────────@^0.025 │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ ×ᶠ───────────×ᶠ │\n", "│ │ │ │\n", "@───────────@^0.008 @───────────@^0.008\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "iSwap───────iSwap^0.006 iSwap───────iSwap^0.006\n", "│ │ │ │\n", "×ᶠ──────────×ᶠ ×ᶠ──────────×ᶠ\n", "│ │ │ │\n", "│ @────────────@^0.025 │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ ×ᶠ───────────×ᶠ │\n", "│ │ │ │\n", "@───────────@^0.008 @───────────@^0.008\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "iSwap───────iSwap^0.006 iSwap───────iSwap^0.006\n", "│ │ │ │\n", "×ᶠ──────────×ᶠ ×ᶠ──────────×ᶠ\n", "│ │ │ │\n", "iSwap───────iSwap^-0.004 iSwap───────iSwap^-0.004\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "@───────────@^-0.005 @───────────@^-0.005\n", "│ │ │ │\n", "×ᶠ──────────×ᶠ ×ᶠ──────────×ᶠ\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ @────────────@^-0.016 │\n", "│ │ │ │\n", "│ ×ᶠ───────────×ᶠ │\n", "│ │ │ │\n", "iSwap───────iSwap^-0.004 iSwap───────iSwap^-0.004\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "@───────────@^-0.005 @───────────@^-0.005\n", "│ │ │ │\n", "×ᶠ──────────×ᶠ ×ᶠ──────────×ᶠ\n", "│ │ │ │\n", "Rz(0.008π) │ │ Rz(0.008π)\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ @────────────@^-0.016 │\n", "│ │ │ │\n", "│ ×ᶠ───────────×ᶠ │\n", "│ │ │ │\n", "│ Rz(0.008π) Rz(0.008π) │\n", "│ │ │ │\n", "│ @────────────@^-0.016 │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ ×ᶠ───────────×ᶠ │\n", "│ │ │ │\n", "@───────────@^-0.005 @───────────@^-0.005\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "iSwap───────iSwap^-0.004 iSwap───────iSwap^-0.004\n", "│ │ │ │\n", "×ᶠ──────────×ᶠ ×ᶠ──────────×ᶠ\n", "│ │ │ │\n", "│ @────────────@^-0.016 │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ ×ᶠ───────────×ᶠ │\n", "│ │ │ │\n", "@───────────@^-0.005 @───────────@^-0.005\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "iSwap───────iSwap^-0.004 iSwap───────iSwap^-0.004\n", "│ │ │ │\n", "×ᶠ──────────×ᶠ ×ᶠ──────────×ᶠ\n", "│ │ │ │\n", "iSwap───────iSwap^-0.004 iSwap───────iSwap^-0.004\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "@───────────@^-0.005 @───────────@^-0.005\n", "│ │ │ │\n", "×ᶠ──────────×ᶠ ×ᶠ──────────×ᶠ\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ @────────────@^-0.016 │\n", "│ │ │ │\n", "│ ×ᶠ───────────×ᶠ │\n", "│ │ │ │\n", "iSwap───────iSwap^-0.004 iSwap───────iSwap^-0.004\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "@───────────@^-0.005 @───────────@^-0.005\n", "│ │ │ │\n", "×ᶠ──────────×ᶠ ×ᶠ──────────×ᶠ\n", "│ │ │ │\n", "Rz(0.008π) │ │ Rz(0.008π)\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ @────────────@^-0.016 │\n", "│ │ │ │\n", "│ ×ᶠ───────────×ᶠ │\n", "│ │ │ │\n", "│ Rz(0.008π) Rz(0.008π) │\n", "│ │ │ │\n", "│ @────────────@^-0.016 │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ ×ᶠ───────────×ᶠ │\n", "│ │ │ │\n", "@───────────@^-0.005 @───────────@^-0.005\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "iSwap───────iSwap^-0.004 iSwap───────iSwap^-0.004\n", "│ │ │ │\n", "×ᶠ──────────×ᶠ ×ᶠ──────────×ᶠ\n", "│ │ │ │\n", "│ @────────────@^-0.016 │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ ×ᶠ───────────×ᶠ │\n", "│ │ │ │\n", "@───────────@^-0.005 @───────────@^-0.005\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "iSwap───────iSwap^-0.004 iSwap───────iSwap^-0.004\n", "│ │ │ │\n", "×ᶠ──────────×ᶠ ×ᶠ──────────×ᶠ\n", "│ │ │ │\n", "iSwap───────iSwap^0.003 iSwap───────iSwap^0.003\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "@───────────@^0.004 @───────────@^0.004\n", "│ │ │ │\n", "×ᶠ──────────×ᶠ ×ᶠ──────────×ᶠ\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ @────────────@^0.012 │\n", "│ │ │ │\n", "│ ×ᶠ───────────×ᶠ │\n", "│ │ │ │\n", "iSwap───────iSwap^0.003 iSwap───────iSwap^0.003\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "@───────────@^0.004 @───────────@^0.004\n", "│ │ │ │\n", "×ᶠ──────────×ᶠ ×ᶠ──────────×ᶠ\n", "│ │ │ │\n", "Rz(-0.006π) │ │ Rz(-0.006π)\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ @────────────@^0.012 │\n", "│ │ │ │\n", "│ ×ᶠ───────────×ᶠ │\n", "│ │ │ │\n", "│ Rz(-0.006π) Rz(-0.006π) │\n", "│ │ │ │\n", "│ @────────────@^0.012 │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ ×ᶠ───────────×ᶠ │\n", "│ │ │ │\n", "@───────────@^0.004 @───────────@^0.004\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "iSwap───────iSwap^0.003 iSwap───────iSwap^0.003\n", "│ │ │ │\n", "×ᶠ──────────×ᶠ ×ᶠ──────────×ᶠ\n", "│ │ │ │\n", "│ @────────────@^0.012 │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ ×ᶠ───────────×ᶠ │\n", "│ │ │ │\n", "@───────────@^0.004 @───────────@^0.004\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "iSwap───────iSwap^0.003 iSwap───────iSwap^0.003\n", "│ │ │ │\n", "×ᶠ──────────×ᶠ ×ᶠ──────────×ᶠ\n", "│ │ │ │\n", "iSwap───────iSwap^0.003 iSwap───────iSwap^0.003\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "@───────────@^0.004 @───────────@^0.004\n", "│ │ │ │\n", "×ᶠ──────────×ᶠ ×ᶠ──────────×ᶠ\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ @────────────@^0.012 │\n", "│ │ │ │\n", "│ ×ᶠ───────────×ᶠ │\n", "│ │ │ │\n", "iSwap───────iSwap^0.003 iSwap───────iSwap^0.003\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "@───────────@^0.004 @───────────@^0.004\n", "│ │ │ │\n", "×ᶠ──────────×ᶠ ×ᶠ──────────×ᶠ\n", "│ │ │ │\n", "Rz(-0.006π) │ │ Rz(-0.006π)\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ @────────────@^0.012 │\n", "│ │ │ │\n", "│ ×ᶠ───────────×ᶠ │\n", "│ │ │ │\n", "│ Rz(-0.006π) Rz(-0.006π) │\n", "│ │ │ │\n", "│ @────────────@^0.012 │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ ×ᶠ───────────×ᶠ │\n", "│ │ │ │\n", "@───────────@^0.004 @───────────@^0.004\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "iSwap───────iSwap^0.003 iSwap───────iSwap^0.003\n", "│ │ │ │\n", "×ᶠ──────────×ᶠ ×ᶠ──────────×ᶠ\n", "│ │ │ │\n", "│ @────────────@^0.012 │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ ×ᶠ───────────×ᶠ │\n", "│ │ │ │\n", "@───────────@^0.004 @───────────@^0.004\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "iSwap───────iSwap^0.003 iSwap───────iSwap^0.003\n", "│ │ │ │\n", "×ᶠ──────────×ᶠ ×ᶠ──────────×ᶠ\n", "│ │ │ │\n", "iSwap───────iSwap^-0.005 iSwap───────iSwap^-0.005\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "@───────────@^-0.006 @───────────@^-0.006\n", "│ │ │ │\n", "×ᶠ──────────×ᶠ ×ᶠ──────────×ᶠ\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ @────────────@^-0.019 │\n", "│ │ │ │\n", "│ ×ᶠ───────────×ᶠ │\n", "│ │ │ │\n", "iSwap───────iSwap^-0.005 iSwap───────iSwap^-0.005\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "@───────────@^-0.006 @───────────@^-0.006\n", "│ │ │ │\n", "×ᶠ──────────×ᶠ ×ᶠ──────────×ᶠ\n", "│ │ │ │\n", "Rz(0.01π) │ │ Rz(0.01π)\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ @────────────@^-0.019 │\n", "│ │ │ │\n", "│ ×ᶠ───────────×ᶠ │\n", "│ │ │ │\n", "│ Rz(0.01π) Rz(0.01π) │\n", "│ │ │ │\n", "│ @────────────@^-0.019 │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ ×ᶠ───────────×ᶠ │\n", "│ │ │ │\n", "@───────────@^-0.006 @───────────@^-0.006\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "iSwap───────iSwap^-0.005 iSwap───────iSwap^-0.005\n", "│ │ │ │\n", "×ᶠ──────────×ᶠ ×ᶠ──────────×ᶠ\n", "│ │ │ │\n", "│ @────────────@^-0.019 │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ ×ᶠ───────────×ᶠ │\n", "│ │ │ │\n", "@───────────@^-0.006 @───────────@^-0.006\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "iSwap───────iSwap^-0.005 iSwap───────iSwap^-0.005\n", "│ │ │ │\n", "×ᶠ──────────×ᶠ ×ᶠ──────────×ᶠ\n", "│ │ │ │\n", "iSwap───────iSwap^0.003 iSwap───────iSwap^0.003\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "@───────────@^0.004 @───────────@^0.004\n", "│ │ │ │\n", "×ᶠ──────────×ᶠ ×ᶠ──────────×ᶠ\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ @────────────@^0.012 │\n", "│ │ │ │\n", "│ ×ᶠ───────────×ᶠ │\n", "│ │ │ │\n", "iSwap───────iSwap^0.003 iSwap───────iSwap^0.003\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "@───────────@^0.004 @───────────@^0.004\n", "│ │ │ │\n", "×ᶠ──────────×ᶠ ×ᶠ──────────×ᶠ\n", "│ │ │ │\n", "Rz(-0.006π) │ │ Rz(-0.006π)\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ @────────────@^0.012 │\n", "│ │ │ │\n", "│ ×ᶠ───────────×ᶠ │\n", "│ │ │ │\n", "│ Rz(-0.006π) Rz(-0.006π) │\n", "│ │ │ │\n", "│ @────────────@^0.012 │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ ×ᶠ───────────×ᶠ │\n", "│ │ │ │\n", "@───────────@^0.004 @───────────@^0.004\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "iSwap───────iSwap^0.003 iSwap───────iSwap^0.003\n", "│ │ │ │\n", "×ᶠ──────────×ᶠ ×ᶠ──────────×ᶠ\n", "│ │ │ │\n", "│ @────────────@^0.012 │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ ×ᶠ───────────×ᶠ │\n", "│ │ │ │\n", "@───────────@^0.004 @───────────@^0.004\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "iSwap───────iSwap^0.003 iSwap───────iSwap^0.003\n", "│ │ │ │\n", "×ᶠ──────────×ᶠ ×ᶠ──────────×ᶠ\n", "│ │ │ │\n", "iSwap───────iSwap^0.003 iSwap───────iSwap^0.003\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "@───────────@^0.004 @───────────@^0.004\n", "│ │ │ │\n", "×ᶠ──────────×ᶠ ×ᶠ──────────×ᶠ\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ @────────────@^0.012 │\n", "│ │ │ │\n", "│ ×ᶠ───────────×ᶠ │\n", "│ │ │ │\n", "iSwap───────iSwap^0.003 iSwap───────iSwap^0.003\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "@───────────@^0.004 @───────────@^0.004\n", "│ │ │ │\n", "×ᶠ──────────×ᶠ ×ᶠ──────────×ᶠ\n", "│ │ │ │\n", "Rz(-0.006π) │ │ Rz(-0.006π)\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ @────────────@^0.012 │\n", "│ │ │ │\n", "│ ×ᶠ───────────×ᶠ │\n", "│ │ │ │\n", "│ Rz(-0.006π) Rz(-0.006π) │\n", "│ │ │ │\n", "│ @────────────@^0.012 │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ ×ᶠ───────────×ᶠ │\n", "│ │ │ │\n", "@───────────@^0.004 @───────────@^0.004\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "iSwap───────iSwap^0.003 iSwap───────iSwap^0.003\n", "│ │ │ │\n", "×ᶠ──────────×ᶠ ×ᶠ──────────×ᶠ\n", "│ │ │ │\n", "│ @────────────@^0.012 │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ ×ᶠ───────────×ᶠ │\n", "│ │ │ │\n", "@───────────@^0.004 @───────────@^0.004\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "iSwap───────iSwap^0.003 iSwap───────iSwap^0.003\n", "│ │ │ │\n", "×ᶠ──────────×ᶠ ×ᶠ──────────×ᶠ\n", "│ │ │ │\n", "iSwap───────iSwap^0.003 iSwap───────iSwap^0.003\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "@───────────@^0.004 @───────────@^0.004\n", "│ │ │ │\n", "×ᶠ──────────×ᶠ ×ᶠ──────────×ᶠ\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ @────────────@^0.012 │\n", "│ │ │ │\n", "│ ×ᶠ───────────×ᶠ │\n", "│ │ │ │\n", "iSwap───────iSwap^0.003 iSwap───────iSwap^0.003\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "@───────────@^0.004 @───────────@^0.004\n", "│ │ │ │\n", "×ᶠ──────────×ᶠ ×ᶠ──────────×ᶠ\n", "│ │ │ │\n", "Rz(-0.006π) │ │ Rz(-0.006π)\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ @────────────@^0.012 │\n", "│ │ │ │\n", "│ ×ᶠ───────────×ᶠ │\n", "│ │ │ │\n", "│ Rz(-0.006π) Rz(-0.006π) │\n", "│ │ │ │\n", "│ @────────────@^0.012 │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ ×ᶠ───────────×ᶠ │\n", "│ │ │ │\n", "@───────────@^0.004 @───────────@^0.004\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "iSwap───────iSwap^0.003 iSwap───────iSwap^0.003\n", "│ │ │ │\n", "×ᶠ──────────×ᶠ ×ᶠ──────────×ᶠ\n", "│ │ │ │\n", "│ @────────────@^0.012 │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ ×ᶠ───────────×ᶠ │\n", "│ │ │ │\n", "@───────────@^0.004 @───────────@^0.004\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "iSwap───────iSwap^0.003 iSwap───────iSwap^0.003\n", "│ │ │ │\n", "×ᶠ──────────×ᶠ ×ᶠ──────────×ᶠ\n", "│ │ │ │\n", "iSwap───────iSwap^0.003 iSwap───────iSwap^0.003\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "@───────────@^0.004 @───────────@^0.004\n", "│ │ │ │\n", "×ᶠ──────────×ᶠ ×ᶠ──────────×ᶠ\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ @────────────@^0.012 │\n", "│ │ │ │\n", "│ ×ᶠ───────────×ᶠ │\n", "│ │ │ │\n", "iSwap───────iSwap^0.003 iSwap───────iSwap^0.003\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "@───────────@^0.004 @───────────@^0.004\n", "│ │ │ │\n", "×ᶠ──────────×ᶠ ×ᶠ──────────×ᶠ\n", "│ │ │ │\n", "Rz(-0.006π) │ │ Rz(-0.006π)\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ @────────────@^0.012 │\n", "│ │ │ │\n", "│ ×ᶠ───────────×ᶠ │\n", "│ │ │ │\n", "│ Rz(-0.006π) Rz(-0.006π) │\n", "│ │ │ │\n", "│ @────────────@^0.012 │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ ×ᶠ───────────×ᶠ │\n", "│ │ │ │\n", "@───────────@^0.004 @───────────@^0.004\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "iSwap───────iSwap^0.003 iSwap───────iSwap^0.003\n", "│ │ │ │\n", "×ᶠ──────────×ᶠ ×ᶠ──────────×ᶠ\n", "│ │ │ │\n", "│ @────────────@^0.012 │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ ×ᶠ───────────×ᶠ │\n", "│ │ │ │\n", "@───────────@^0.004 @───────────@^0.004\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "iSwap───────iSwap^0.003 iSwap───────iSwap^0.003\n", "│ │ │ │\n", "×ᶠ──────────×ᶠ ×ᶠ──────────×ᶠ\n", "│ │ │ │\n", "iSwap───────iSwap^-0.005 iSwap───────iSwap^-0.005\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "@───────────@^-0.006 @───────────@^-0.006\n", "│ │ │ │\n", "×ᶠ──────────×ᶠ ×ᶠ──────────×ᶠ\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ @────────────@^-0.019 │\n", "│ │ │ │\n", "│ ×ᶠ───────────×ᶠ │\n", "│ │ │ │\n", "iSwap───────iSwap^-0.005 iSwap───────iSwap^-0.005\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "@───────────@^-0.006 @───────────@^-0.006\n", "│ │ │ │\n", "×ᶠ──────────×ᶠ ×ᶠ──────────×ᶠ\n", "│ │ │ │\n", "Rz(0.01π) │ │ Rz(0.01π)\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ @────────────@^-0.019 │\n", "│ │ │ │\n", "│ ×ᶠ───────────×ᶠ │\n", "│ │ │ │\n", "│ Rz(0.01π) Rz(0.01π) │\n", "│ │ │ │\n", "│ @────────────@^-0.019 │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ ×ᶠ───────────×ᶠ │\n", "│ │ │ │\n", "@───────────@^-0.006 @───────────@^-0.006\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "iSwap───────iSwap^-0.005 iSwap───────iSwap^-0.005\n", "│ │ │ │\n", "×ᶠ──────────×ᶠ ×ᶠ──────────×ᶠ\n", "│ │ │ │\n", "│ @────────────@^-0.019 │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ ×ᶠ───────────×ᶠ │\n", "│ │ │ │\n", "@───────────@^-0.006 @───────────@^-0.006\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "iSwap───────iSwap^-0.005 iSwap───────iSwap^-0.005\n", "│ │ │ │\n", "×ᶠ──────────×ᶠ ×ᶠ──────────×ᶠ\n", "│ │ │ │\n", "iSwap───────iSwap^0.003 iSwap───────iSwap^0.003\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "@───────────@^0.004 @───────────@^0.004\n", "│ │ │ │\n", "×ᶠ──────────×ᶠ ×ᶠ──────────×ᶠ\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ @────────────@^0.012 │\n", "│ │ │ │\n", "│ ×ᶠ───────────×ᶠ │\n", "│ │ │ │\n", "iSwap───────iSwap^0.003 iSwap───────iSwap^0.003\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "@───────────@^0.004 @───────────@^0.004\n", "│ │ │ │\n", "×ᶠ──────────×ᶠ ×ᶠ──────────×ᶠ\n", "│ │ │ │\n", "Rz(-0.006π) │ │ Rz(-0.006π)\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ @────────────@^0.012 │\n", "│ │ │ │\n", "│ ×ᶠ───────────×ᶠ │\n", "│ │ │ │\n", "│ Rz(-0.006π) Rz(-0.006π) │\n", "│ │ │ │\n", "│ @────────────@^0.012 │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ ×ᶠ───────────×ᶠ │\n", "│ │ │ │\n", "@───────────@^0.004 @───────────@^0.004\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "iSwap───────iSwap^0.003 iSwap───────iSwap^0.003\n", "│ │ │ │\n", "×ᶠ──────────×ᶠ ×ᶠ──────────×ᶠ\n", "│ │ │ │\n", "│ @────────────@^0.012 │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ ×ᶠ───────────×ᶠ │\n", "│ │ │ │\n", "@───────────@^0.004 @───────────@^0.004\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "iSwap───────iSwap^0.003 iSwap───────iSwap^0.003\n", "│ │ │ │\n", "×ᶠ──────────×ᶠ ×ᶠ──────────×ᶠ\n", "│ │ │ │\n", "iSwap───────iSwap^0.003 iSwap───────iSwap^0.003\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "@───────────@^0.004 @───────────@^0.004\n", "│ │ │ │\n", "×ᶠ──────────×ᶠ ×ᶠ──────────×ᶠ\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ @────────────@^0.012 │\n", "│ │ │ │\n", "│ ×ᶠ───────────×ᶠ │\n", "│ │ │ │\n", "iSwap───────iSwap^0.003 iSwap───────iSwap^0.003\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "@───────────@^0.004 @───────────@^0.004\n", "│ │ │ │\n", "×ᶠ──────────×ᶠ ×ᶠ──────────×ᶠ\n", "│ │ │ │\n", "Rz(-0.006π) │ │ Rz(-0.006π)\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ @────────────@^0.012 │\n", "│ │ │ │\n", "│ ×ᶠ───────────×ᶠ │\n", "│ │ │ │\n", "│ Rz(-0.006π) Rz(-0.006π) │\n", "│ │ │ │\n", "│ @────────────@^0.012 │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ ×ᶠ───────────×ᶠ │\n", "│ │ │ │\n", "@───────────@^0.004 @───────────@^0.004\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "iSwap───────iSwap^0.003 iSwap───────iSwap^0.003\n", "│ │ │ │\n", "×ᶠ──────────×ᶠ ×ᶠ──────────×ᶠ\n", "│ │ │ │\n", "│ @────────────@^0.012 │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "│ ×ᶠ───────────×ᶠ │\n", "│ │ │ │\n", "@───────────@^0.004 @───────────@^0.004\n", "│ │ │ │\n", "│ │ │ │\n", "│ │ │ │\n", "iSwap───────iSwap^0.003 iSwap───────iSwap^0.003\n", "│ │ │ │\n", "×ᶠ──────────×ᶠ ×ᶠ──────────×ᶠ\n", "│ │ │ │\n" ] } ], "source": [ "order=3\n", "n_steps=1\n", "swap_network_trotter_step = cirq.Circuit(\n", " openfermion.simulate_trotter(\n", " qubits, hamiltonian, time, n_steps, order,\n", " algorithm=trotter.LINEAR_SWAP_NETWORK),\n", " strategy=cirq.InsertStrategy.EARLIEST)\n", "swap_network_trotter_step = cirq.drop_negligible_operations(swap_network_trotter_step)\n", "print(swap_network_trotter_step.to_text_diagram(transpose=True))" ] }, { "cell_type": "markdown", "metadata": { "id": "432249530e89" }, "source": [ "## Application to phase estimation\n", "\n", "Phase estimation is a procedure that, given access to a controlled unitary and one of its eigenvectors, estimates the phase of the eigenvalue corresponding to that eigenvector. In the context of quantum simulation, this unitary is usually the time evolution operator $e^{-iHt}$. Thus if $H\\lvert n\\rangle = E_n \\lvert n \\rangle$, and we initialize the system in state $\\lvert n \\rangle$, phase estimation would estimate the value $E_n t / (2\\pi)$. To avoid aliasing of phases, $t$ should be chosen to be smaller than $2\\pi / \\lvert E_n \\rvert$. \n", "\n", "The simplest phase estimation circuit measures one bit of the phase in four steps:\n", "1. Perform a Hadamard transform on the control qubit.\n", "2. Apply the controlled unitary.\n", "3. Perform a Hadamard transform on the control qubit.\n", "4. Measure the control qubit.\n", "\n", "Below, we demonstrate the construction of this circuit where the controlled unitary is a controlled Trotter step of our jellium Hamiltonian. This circuit can be used as a building block of a larger phase estimation circuit." ] }, { "cell_type": "code", "execution_count": 11, "metadata": { "execution": { "iopub.execute_input": "2024-06-30T09:24:48.727400Z", "iopub.status.busy": "2024-06-30T09:24:48.726668Z", "iopub.status.idle": "2024-06-30T09:24:48.757521Z", "shell.execute_reply": "2024-06-30T09:24:48.756807Z" }, "id": "a7d5c15a9a8d" }, "outputs": [ { "name": "stdout", "output_type": "stream", "text": [ " -1 0 1 2 3\n", " │ │ │ │ │\n", " H │ │ │ │\n", " │ │ │ │ │\n", " @──iSwap^0.048─iSwap │ │\n", " │ │ │ │ │\n", " │ │ │ │ │\n", " │ │ │ │ │\n", " @──@───────────@^0.061 │ │\n", " │ │ │ │ │\n", "┌╴│ │ │ │ │ ╶┐\n", "│ │ ×ᶠ──────────×ᶠ │ │ │\n", "│ @──┼───────────┼───────────iSwap^0.048─iSwap │\n", "└╴│ │ │ │ │ ╶┘\n", " │ │ │ │ │\n", " │ │ │ │ │\n", " │ │ │ │ │\n", " @──┼───────────┼───────────@───────────@^0.061\n", " │ │ │ │ │\n", " │ │ │ ×ᶠ──────────×ᶠ\n", " │ │ │ │ │\n", " │ │ │ │ │\n", " │ │ │ │ │\n", " │ │ │ │ │\n", " │ │ │ │ │\n", " @──┼───────────@───────────@^0.184 │\n", " │ │ │ │ │\n", " │ │ ×ᶠ──────────×ᶠ │\n", " │ │ │ │ │\n", " @──iSwap^0.048─iSwap │ │\n", " │ │ │ │ │\n", " │ │ │ │ │\n", " │ │ │ │ │\n", " @──@───────────@^0.061 │ │\n", " │ │ │ │ │\n", "┌╴│ │ │ │ │ ╶┐\n", "│ │ ×ᶠ──────────×ᶠ │ │ │\n", "│ @──┼───────────┼───────────iSwap^0.048─iSwap │\n", "└╴│ │ │ │ │ ╶┘\n", " │ │ │ │ │\n", " │ │ │ │ │\n", " │ │ │ │ │\n", " @──┼───────────┼───────────@───────────@^0.061\n", " │ │ │ │ │\n", " │ │ │ ×ᶠ──────────×ᶠ\n", " │ │ │ │ │\n", " │ │ │ │ │\n", " │ │ │ │ │\n", " │ │ │ │ │\n", " │ │ │ │ │\n", " @──┼───────────@───────────@^0.184 │\n", " │ │ │ │ │\n", "┌╴│ │ │ │ │ ╶┐\n", "│ │ │ ×ᶠ──────────×ᶠ │ │\n", "│ @──┼───────────┼───────────┼───────────@^-0.097 │\n", "└╴│ │ │ │ │ ╶┘\n", " │ │ │ │ │\n", " @──┼───────────┼───────────@^-0.097 │\n", " │ │ │ │ │\n", " @──┼───────────@^-0.097 │ │\n", " │ │ │ │ │\n", " @──@^-0.097 │ │ │\n", " │ │ │ │ │\n", " @──┼───────────@───────────@^0.184 │\n", " │ │ │ │ │\n", " │ │ │ │ │\n", " │ │ │ │ │\n", " │ │ │ │ │\n", " │ │ │ │ │\n", " │ │ ×ᶠ──────────×ᶠ │\n", " │ │ │ │ │\n", " @──┼───────────┼───────────@───────────@^0.061\n", " │ │ │ │ │\n", " │ │ │ │ │\n", " │ │ │ │ │\n", " @──┼───────────┼───────────iSwap───────iSwap^0.048\n", " │ │ │ │ │\n", " @──@───────────@^0.061 ×ᶠ──────────×ᶠ\n", " │ │ │ │ │\n", " │ │ │ │ │\n", " │ │ │ │ │\n", " @──iSwap───────iSwap^0.048 │ │\n", " │ │ │ │ │\n", " │ ×ᶠ──────────×ᶠ │ │\n", " │ │ │ │ │\n", " @──┼───────────@───────────@^0.184 │\n", " │ │ │ │ │\n", " │ │ │ │ │\n", " │ │ │ │ │\n", " │ │ │ │ │\n", " │ │ │ │ │\n", " │ │ ×ᶠ──────────×ᶠ │\n", " │ │ │ │ │\n", " @──┼───────────┼───────────@───────────@^0.061\n", " │ │ │ │ │\n", " │ │ │ │ │\n", " │ │ │ │ │\n", " @──┼───────────┼───────────iSwap───────iSwap^0.048\n", " │ │ │ │ │\n", " @──@───────────@^0.061 ×ᶠ──────────×ᶠ\n", " │ │ │ │ │\n", " │ │ │ │ │\n", " │ │ │ │ │\n", " @──iSwap───────iSwap^0.048 │ │\n", " │ │ │ │ │\n", " │ ×ᶠ──────────×ᶠ │ │\n", " │ │ │ │ │\n", " H │ │ │ │\n", " │ │ │ │ │\n", " M │ │ │ │\n", " │ │ │ │ │\n" ] } ], "source": [ "# Define a phase estimation circuit.\n", "def measure_bit_of_phase(system_qubits,\n", " control_qubit,\n", " controlled_unitary):\n", " yield cirq.H(control_qubit)\n", " yield controlled_unitary\n", " yield cirq.H(control_qubit)\n", " yield cirq.measure(control_qubit)\n", "\n", "# Get an upper bound on the Hamiltonian norm.\n", "import numpy\n", "bound = numpy.sum(numpy.abs(hamiltonian.one_body)) + numpy.sum(numpy.abs(hamiltonian.two_body))\n", "\n", "# Construct phase estimation circuit.\n", "time = 2 * numpy.pi / bound\n", "control = cirq.LineQubit(-1)\n", "\n", "controlled_unitary = openfermion.simulate_trotter(\n", " qubits, hamiltonian, time,\n", " n_steps=1,\n", " order=1,\n", " algorithm=trotter.LINEAR_SWAP_NETWORK,\n", " control_qubit=control)\n", "\n", "circuit = cirq.Circuit(\n", " measure_bit_of_phase(\n", " qubits,\n", " control,\n", " controlled_unitary))\n", "\n", "# Print the circuit.\n", "circuit=cirq.drop_negligible_operations(circuit)\n", "print(circuit.to_text_diagram(transpose=True))" ] } ], "metadata": { "colab": { "name": "circuits_2_diagonal_coulomb_trotter.ipynb", "toc_visible": true }, "kernelspec": { "display_name": "Python 3", "language": "python", "name": "python3" }, "language_info": { "codemirror_mode": { "name": "ipython", "version": 3 }, "file_extension": ".py", "mimetype": "text/x-python", "name": "python", "nbconvert_exporter": "python", "pygments_lexer": "ipython3", "version": "3.10.14" } }, "nbformat": 4, "nbformat_minor": 1 }