examples/3_1_Iterative_phase_estimation.ipynb

{
 "cells": [
  {
   "cell_type": "markdown",
   "id": "08d77a63",
   "metadata": {},
   "source": [
    "# Iterative phase estimation\n",
    "Quantum phase estimation (QPE) is a central building block for many quantum algorithms, most famously Shor's algorithm for factoring and the HHL algorithm for solving linear systems of equations on a quantum computer. In this notebook, we implement the iterative phase estimation (IPE) algorithm, an implementation of QPE, described in Ref [1] and [2]. \n",
    "\n",
    "In this notebook, two qubits are used, with the 0th qubit being the ancilla qubit and the 1st qubit being the data qubit. The phase oracle in this example uses an ancilla qubit to add a phase $e^{i\\phi}$ to the $|1\\rangle$ component of the state of the data qubit. The oracle is written as a subroutine that will be used by the quantum program. "
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 1,
   "id": "15cdfaee",
   "metadata": {},
   "outputs": [],
   "source": [
    "# general imports\n",
    "import math\n",
    "from collections import Counter\n",
    "\n",
    "import matplotlib.pyplot as plt\n",
    "\n",
    "# AutoQASM imports\n",
    "import autoqasm as aq\n",
    "from autoqasm.instructions import cphaseshift, h, measure, reset, rz, x\n",
    "\n",
    "# AWS imports: Import Braket SDK modules\n",
    "from braket.devices import LocalSimulator"
   ]
  },
  {
   "cell_type": "markdown",
   "id": "d471ea9c",
   "metadata": {},
   "source": [
    "The phase in the oracle is defined by `phase` in the subroutine which is assumed to be unknown to the IPE algorithm. In this example, the phase is 3/16, which is 0.0011 in the binary fraction representation."
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 2,
   "id": "b3f0adfe",
   "metadata": {},
   "outputs": [],
   "source": [
    "@aq.subroutine\n",
    "def phase_oracle(ancilla_qubit: int, data_qubit: int):\n",
    "    \"\"\"Phase oracle that applies phase oracle on q1\n",
    "    conditioned on q0.\n",
    "\n",
    "    Args:\n",
    "        ancilla_qubit (int): qubit that control adding phase to data qubit\n",
    "        data_qubit (int): qubit that the phase is added to\n",
    "    \"\"\"\n",
    "    phase = 2 * math.pi * (3 / 16)\n",
    "    cphaseshift(ancilla_qubit, data_qubit, phase)"
   ]
  },
  {
   "cell_type": "markdown",
   "id": "f76eb5a3",
   "metadata": {},
   "source": [
    "The algorithm starts by preparing the data qubit (i.e., qubit 1) in an eigenstate of the oracle. Because the oracle in this example is the phase shift operation, the eigenstates are computational basis states (i.e., $|0\\rangle$ and $|1\\rangle$), and the oracle only applies non-trivially on $|1\\rangle$ of the data qubit. We choose $|1\\rangle$ to be the starting state of qubit 1. \n",
    "\n",
    "Each iteration estimates a precision digit, in binary fraction representation of the phase, starting from the smallest digit. There are four steps in an iteration:\n",
    "\n",
    "1. Preparing a superposition state, $|0\\rangle+|1\\rangle$, on the ancilla qubit. The algorithm uses the relative phase between $|0\\rangle$ and $|1\\rangle$ for computation.\n",
    "\n",
    "2. Except for the first iteration, apply a phase offset to the ancilla which offsets the phases estimated by previous iterations in order to yield a more accurate estimation for larger digits. This step corresponds to the Z gate in Fig. 1 of Ref [1]. \n",
    "\n",
    "3. Apply the phase oracle on the data and ancilla qubits by a number of times, depending on the iteration. \n",
    "\n",
    "4. Measure ancilla qubit to get the phase estimate. The measurement outcome $c$ in iteration $i$ means that the phase estimate for that iteration is $2\\pi c/2^{i}$."
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 3,
   "id": "732baf1b",
   "metadata": {},
   "outputs": [],
   "source": [
    "n_iterations = 4\n",
    "\n",
    "\n",
    "@aq.main(num_qubits=2)\n",
    "def ipe():\n",
    "    \"\"\"Iterative phase estimation algorithm.\"\"\"\n",
    "    q_ancilla = 0\n",
    "    q_data = 1\n",
    "\n",
    "    c = aq.BitVar(0)\n",
    "    b0 = aq.BitVar(size=n_iterations)\n",
    "\n",
    "    # Prepare an eigenstate of the oracle on the data qubit.\n",
    "    x(q_data)\n",
    "\n",
    "    for iteration in aq.range(n_iterations):\n",
    "        # 1. Prepare superposition on the ancilla qubit\n",
    "        h(q_ancilla)\n",
    "\n",
    "        # 2. Apply phase offset\n",
    "        if iteration > 0:\n",
    "            for i in aq.range(iteration):\n",
    "                k = b0[i]\n",
    "                if k:\n",
    "                    rz(q_ancilla, -2 * math.pi / 2 ** (iteration + 1 - i))\n",
    "\n",
    "        # 3. Apply phase oracle\n",
    "        n_oracle = 2 ** (n_iterations - 1 - iteration)\n",
    "        for j in aq.range(n_oracle):\n",
    "            phase_oracle(q_ancilla, q_data)\n",
    "\n",
    "        # 4. Measure on the ancilla qubit in X basis\n",
    "        h(q_ancilla)\n",
    "        c = measure(q_ancilla)\n",
    "        b0[iteration] = c\n",
    "\n",
    "        reset(q_ancilla)\n",
    "\n",
    "    return b0"
   ]
  },
  {
   "cell_type": "markdown",
   "id": "1184691f",
   "metadata": {},
   "source": [
    "Let's execute the IPE algorithm on the Braket simulator."
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 4,
   "id": "7f44ea40",
   "metadata": {},
   "outputs": [
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "measurement counts:  Counter({'1100': 100})\n"
     ]
    },
    {
     "data": {
      "image/png": "iVBORw0KGgoAAAANSUhEUgAAAjsAAAGwCAYAAABPSaTdAAAAOXRFWHRTb2Z0d2FyZQBNYXRwbG90bGliIHZlcnNpb24zLjcuMiwgaHR0cHM6Ly9tYXRwbG90bGliLm9yZy8pXeV/AAAACXBIWXMAAA9hAAAPYQGoP6dpAAAiuUlEQVR4nO3df1RUdf7H8dcNdQIXxvzBjCQF7lJmmLaaJtVKpliZres5ZemW5s+WtIhM5WslehTSjsqunOzHburWUu3ZzWpPrQtZUoYmkmRaaT9QaYUoxQEVwR/3+0fHOc6iZcPADJ+ej3PmHO/n3rm8x394njt3GMu2bVsAAACGOi/YAwAAADQnYgcAABiN2AEAAEYjdgAAgNGIHQAAYDRiBwAAGI3YAQAARmsT7AFCwcmTJ7Vv3z5FRkbKsqxgjwMAAM6Bbduqra1VTEyMzjvv7NdviB1J+/btU2xsbLDHAAAAfigvL1e3bt3Oup/YkRQZGSnp+/+sqKioIE8DAADORU1NjWJjY72/x8+G2JG8b11FRUUROwAAtDI/dgsKNygDAACjETsAAMBoxA4AADAasQMAAIxG7AAAAKMROwAAwGjEDgAAMBqxAwAAjEbsAAAAoxE7AADAaMQOAAAwWlBj591339WIESMUExMjy7L06quv+uy3bVuZmZmKiYlReHi4kpOTtWPHDp9j6uvrNX36dHXu3Fnt27fXrbfeqq+//roFXwUAAAhlQY2dw4cPq3fv3srNzT3j/sWLF2vp0qXKzc1VcXGx3G63hg4dqtraWu8xaWlpWrNmjV566SVt2LBBhw4d0i233KITJ0601MsAAAAhzLJt2w72ENL331i6Zs0ajRw5UtL3V3ViYmKUlpamWbNmSfr+Ko7L5dKiRYs0depUeTwedenSRc8//7xGjx4tSdq3b59iY2P15ptvatiwYef0s2tqauR0OuXxePjWcwAAWolz/f0dsvfslJWVqbKyUikpKd41h8OhQYMGqaioSJJUUlKiY8eO+RwTExOjxMRE7zFnUl9fr5qaGp8HAAAwU5tgD3A2lZWVkiSXy+Wz7nK5tGfPHu8x7dq10wUXXNDomFPPP5Ps7GzNmzcvwBOfWdzsN1rk5wAAEKp2Pz48qD8/ZK/snGJZls+2bduN1v7Xjx2TkZEhj8fjfZSXlwdkVgAAEHpCNnbcbrckNbpCU1VV5b3a43a71dDQoOrq6rMecyYOh0NRUVE+DwAAYKaQjZ34+Hi53W4VFBR41xoaGlRYWKikpCRJUt++fdW2bVufYyoqKrR9+3bvMQAA4OctqPfsHDp0SF988YV3u6ysTKWlperYsaMuuugipaWlKSsrSwkJCUpISFBWVpYiIiI0ZswYSZLT6dTEiRP10EMPqVOnTurYsaNmzJihXr16aciQIcF6WQAAIIQENXa2bNmi66+/3rudnp4uSRo3bpxWrVqlmTNnqq6uTqmpqaqurtaAAQOUn5+vyMhI73OWLVumNm3a6Pbbb1ddXZ1uuOEGrVq1SmFhYS3+egAAQOgJmb+zE0zN+Xd2+DQWAODnrrk+jdXq/84OAABAIBA7AADAaMQOAAAwGrEDAACMRuwAAACjETsAAMBoxA4AADAasQMAAIxG7AAAAKMROwAAwGjEDgAAMBqxAwAAjEbsAAAAoxE7AADAaMQOAAAwGrEDAACMRuwAAACjETsAAMBoxA4AADAasQMAAIxG7AAAAKMROwAAwGjEDgAAMBqxAwAAjEbsAAAAoxE7AADAaMQOAAAwGrEDAACMRuwAAACjETsAAMBoxA4AADAasQMAAIxG7AAAAKMROwAAwGjEDgAAMBqxAwAAjEbsAAAAoxE7AADAaMQOAAAwGrEDAACMRuwAAACjETsAAMBoxA4AADAasQMAAIxG7AAAAKMROwAAwGjEDgAAMBqxAwAAjEbsAAAAoxE7AADAaMQOAAAwGrEDAACMRuwAAACjETsAAMBoxA4AADAasQMAAIxG7AAAAKMROwAAwGjEDgAAMBqxAwAAjBbSsXP8+HE98sgjio+PV3h4uLp376758+fr5MmT3mNs21ZmZqZiYmIUHh6u5ORk7dixI4hTAwCAUBLSsbNo0SI99dRTys3N1aeffqrFixfriSee0PLly73HLF68WEuXLlVubq6Ki4vldrs1dOhQ1dbWBnFyAAAQKtoEe4AfsnHjRv32t7/V8OHDJUlxcXF68cUXtWXLFknfX9XJycnRnDlzNGrUKEnS6tWr5XK5lJeXp6lTp57xvPX19aqvr/du19TUNPMrAQAAwRLSV3auvfZarVu3Trt27ZIkffTRR9qwYYNuvvlmSVJZWZkqKyuVkpLifY7D4dCgQYNUVFR01vNmZ2fL6XR6H7Gxsc37QgAAQNCE9JWdWbNmyePxqEePHgoLC9OJEye0cOFC3XnnnZKkyspKSZLL5fJ5nsvl0p49e8563oyMDKWnp3u3a2pqCB4AAAwV0rHz8ssv64UXXlBeXp4uv/xylZaWKi0tTTExMRo3bpz3OMuyfJ5n23ajtdM5HA45HI5mmxsAAISOkI6dhx9+WLNnz9Ydd9whSerVq5f27Nmj7OxsjRs3Tm63W9L3V3i6du3qfV5VVVWjqz0AAODnKaTv2Tly5IjOO893xLCwMO9Hz+Pj4+V2u1VQUODd39DQoMLCQiUlJbXorAAAIDSF9JWdESNGaOHChbrooot0+eWXa+vWrVq6dKkmTJgg6fu3r9LS0pSVlaWEhAQlJCQoKytLERERGjNmTJCnBwAAoSCkY2f58uV69NFHlZqaqqqqKsXExGjq1Kl67LHHvMfMnDlTdXV1Sk1NVXV1tQYMGKD8/HxFRkYGcXIAABAqLNu27WAPEWw1NTVyOp3yeDyKiooK6LnjZr8R0PMBANDa7H58eLOc91x/f4f0PTsAAABNRewAAACjETsAAMBoxA4AADAasQMAAIxG7AAAAKMROwAAwGjEDgAAMBqxAwAAjEbsAAAAoxE7AADAaMQOAAAwGrEDAACMRuwAAACjETsAAMBoxA4AADAasQMAAIxG7AAAAKMROwAAwGjEDgAAMBqxAwAAjEbsAAAAoxE7AADAaMQOAAAwGrEDAACMRuwAAACjETsAAMBoxA4AADAasQMAAIxG7AAAAKMROwAAwGjEDgAAMBqxAwAAjEbsAAAAoxE7AADAaMQOAAAwGrEDAACMRuwAAACjETsAAMBoxA4AADAasQMAAIxG7AAAAKMROwAAwGjEDgAAMBqxAwAAjEbsAAAAoxE7AADAaMQOAAAwGrEDAACMRuwAAACjETsAAMBoxA4AADAasQMAAIxG7AAAAKMROwAAwGjEDgAAMBqxAwAAjEbsAAAAoxE7AADAaCEfO//973/1+9//Xp06dVJERIT69OmjkpIS737btpWZmamYmBiFh4crOTlZO3bsCOLEAAAglIR07FRXV+uaa65R27Zt9e9//1uffPKJlixZog4dOniPWbx4sZYuXarc3FwVFxfL7XZr6NChqq2tDd7gAAAgZLQJ9gA/ZNGiRYqNjdXKlSu9a3Fxcd5/27atnJwczZkzR6NGjZIkrV69Wi6XS3l5eZo6dWpLjwwAAEJMSF/Zef3119WvXz/ddtttio6O1pVXXqlnn33Wu7+srEyVlZVKSUnxrjkcDg0aNEhFRUVnPW99fb1qamp8HgAAwEwhHTtfffWVVqxYoYSEBP3nP//Rvffeq/vvv19//etfJUmVlZWSJJfL5fM8l8vl3Xcm2dnZcjqd3kdsbGzzvQgAABBUIR07J0+e1K9//WtlZWXpyiuv1NSpUzV58mStWLHC5zjLsny2bdtutHa6jIwMeTwe76O8vLxZ5gcAAMEX0rHTtWtX9ezZ02ftsssu0969eyVJbrdbkhpdxamqqmp0ted0DodDUVFRPg8AAGCmkI6da665Rjt37vRZ27Vrly6++GJJUnx8vNxutwoKCrz7GxoaVFhYqKSkpBadFQAAhKaQ/jTWgw8+qKSkJGVlZen222/X5s2b9cwzz+iZZ56R9P3bV2lpacrKylJCQoISEhKUlZWliIgIjRkzJsjTAwCAUBDSsXPVVVdpzZo1ysjI0Pz58xUfH6+cnByNHTvWe8zMmTNVV1en1NRUVVdXa8CAAcrPz1dkZGQQJwcAAKHCsm3b/qlPKi8vl2VZ6tatmyRp8+bNysvLU8+ePTVlypSAD9ncampq5HQ65fF4An7/TtzsNwJ6PgAAWpvdjw9vlvOe6+9vv+7ZGTNmjN555x1J398cPHToUG3evFn/93//p/nz5/s3MQAAQDPwK3a2b9+u/v37S5L+/ve/KzExUUVFRcrLy9OqVasCOR8AAECT+BU7x44dk8PhkCS99dZbuvXWWyVJPXr0UEVFReCmAwAAaCK/Yufyyy/XU089pffee08FBQW68cYbJUn79u1Tp06dAjogAABAU/gVO4sWLdLTTz+t5ORk3Xnnnerdu7ek77/L6tTbWwAAAKHAr4+eJycn67vvvlNNTY0uuOAC7/qUKVPUvn37gA0HAADQVH5d2Rk8eLBqa2t9QkeSOnbsqNGjRwdkMAAAgEDwK3bWr1+vhoaGRutHjx7Ve++91+ShAAAAAuUnvY21bds2778/+eQTny/gPHHihNauXasLL7wwcNMBAAA00U+KnT59+siyLFmWpcGDBzfaHx4eruXLlwdsOAAAgKb6SbFTVlYm27bVvXt3bd68WV26dPHua9eunaKjoxUWFhbwIQEAAPz1k2Ln4osvliSdPHmyWYYBAAAINL+/9XzXrl1av369qqqqGsXPY4891uTBAAAAAsGv2Hn22Wf1hz/8QZ07d5bb7ZZlWd59lmUROwAAIGT4FTsLFizQwoULNWvWrEDPAwAAEFB+/Z2d6upq3XbbbYGeBQAAIOD8ip3bbrtN+fn5gZ4FAAAg4Px6G+tXv/qVHn30UW3atEm9evVS27Ztffbff//9ARkOAACgqSzbtu2f+qT4+Pizn9Cy9NVXXzVpqJZWU1Mjp9Mpj8ejqKiogJ47bvYbAT0fAACtze7HhzfLec/197dfV3bKysr8HgwAAKAl+XXPDgAAQGvh15WdCRMm/OD+5557zq9hAAAAAs2v2KmurvbZPnbsmLZv366DBw+e8QtCAQAAgsWv2FmzZk2jtZMnTyo1NVXdu3dv8lAAAACBErB7ds477zw9+OCDWrZsWaBOCQAA0GQBvUH5yy+/1PHjxwN5SgAAgCbx622s9PR0n23btlVRUaE33nhD48aNC8hgAAAAgeBX7GzdutVn+7zzzlOXLl20ZMmSH/2kFgAAQEvyK3beeeedQM8BAADQLPyKnVO+/fZb7dy5U5Zl6ZJLLlGXLl0CNRcAAEBA+HWD8uHDhzVhwgR17dpVv/nNb3TdddcpJiZGEydO1JEjRwI9IwAAgN/8ip309HQVFhbqX//6lw4ePKiDBw/qtddeU2FhoR566KFAzwgAAOA3v97G+uc//6l//OMfSk5O9q7dfPPNCg8P1+23364VK1YEaj4AAIAm8evKzpEjR+RyuRqtR0dH8zYWAAAIKX7FzsCBAzV37lwdPXrUu1ZXV6d58+Zp4MCBARsOAACgqfx6GysnJ0c33XSTunXrpt69e8uyLJWWlsrhcCg/Pz/QMwIAAPjNr9jp1auXPv/8c73wwgv67LPPZNu27rjjDo0dO1bh4eGBnhEAAMBvfsVOdna2XC6XJk+e7LP+3HPP6dtvv9WsWbMCMhwAAEBT+XXPztNPP60ePXo0Wr/88sv11FNPNXkoAACAQPErdiorK9W1a9dG6126dFFFRUWThwIAAAgUv2InNjZW77//fqP1999/XzExMU0eCgAAIFD8umdn0qRJSktL07FjxzR48GBJ0rp16zRz5kz+gjIAAAgpfsXOzJkzdeDAAaWmpqqhoUGSdP7552vWrFnKyMgI6IAAAABN4VfsWJalRYsW6dFHH9Wnn36q8PBwJSQkyOFwBHo+AACAJvErdk75xS9+oauuuipQswAAAAScXzcoAwAAtBbEDgAAMBqxAwAAjEbsAAAAoxE7AADAaMQOAAAwGrEDAACMRuwAAACjETsAAMBoxA4AADAasQMAAIxG7AAAAKMROwAAwGjEDgAAMFqrip3s7GxZlqW0tDTvmm3byszMVExMjMLDw5WcnKwdO3YEb0gAABBSWk3sFBcX65lnntEVV1zhs7548WItXbpUubm5Ki4ultvt1tChQ1VbWxukSQEAQChpFbFz6NAhjR07Vs8++6wuuOAC77pt28rJydGcOXM0atQoJSYmavXq1Tpy5Ijy8vKCODEAAAgVrSJ27rvvPg0fPlxDhgzxWS8rK1NlZaVSUlK8aw6HQ4MGDVJRUdFZz1dfX6+amhqfBwAAMFObYA/wY1566SV9+OGHKi4ubrSvsrJSkuRyuXzWXS6X9uzZc9ZzZmdna968eYEdFAAAhKSQvrJTXl6uBx54QC+88ILOP//8sx5nWZbPtm3bjdZOl5GRIY/H432Ul5cHbGYAABBaQvrKTklJiaqqqtS3b1/v2okTJ/Tuu+8qNzdXO3fulPT9FZ6uXbt6j6mqqmp0ted0DodDDoej+QYHAAAhI6Sv7Nxwww36+OOPVVpa6n3069dPY8eOVWlpqbp37y63262CggLvcxoaGlRYWKikpKQgTg4AAEJFSF/ZiYyMVGJios9a+/bt1alTJ+96WlqasrKylJCQoISEBGVlZSkiIkJjxowJxsgAACDEhHTsnIuZM2eqrq5Oqampqq6u1oABA5Sfn6/IyMhgjwYAAEKAZdu2Hewhgq2mpkZOp1Mej0dRUVEBPXfc7DcCej4AAFqb3Y8Pb5bznuvv75C+ZwcAAKCpiB0AAGA0YgcAABiN2AEAAEYjdgAAgNGIHQAAYDRiBwAAGI3YAQAARiN2AACA0YgdAABgNGIHAAAYjdgBAABGI3YAAIDRiB0AAGA0YgcAABiN2AEAAEYjdgAAgNGIHQAAYDRiBwAAGI3YAQAARiN2AACA0YgdAABgNGIHAAAYjdgBAABGI3YAAIDRiB0AAGA0YgcAABiN2AEAAEYjdgAAgNGIHQAAYDRiBwAAGI3YAQAARiN2AACA0YgdAABgNGIHAAAYjdgBAABGI3YAAIDRiB0AAGA0YgcAABiN2AEAAEYjdgAAgNGIHQAAYDRiBwAAGI3YAQAARiN2AACA0YgdAABgNGIHAAAYjdgBAABGI3YAAIDRiB0AAGA0YgcAABiN2AEAAEYjdgAAgNGIHQAAYDRiBwAAGI3YAQAARiN2AACA0YgdAABgNGIHAAAYjdgBAABGC+nYyc7O1lVXXaXIyEhFR0dr5MiR2rlzp88xtm0rMzNTMTExCg8PV3Jysnbs2BGkiQEAQKgJ6dgpLCzUfffdp02bNqmgoEDHjx9XSkqKDh8+7D1m8eLFWrp0qXJzc1VcXCy3262hQ4eqtrY2iJMDAIBQ0SbYA/yQtWvX+myvXLlS0dHRKikp0W9+8xvZtq2cnBzNmTNHo0aNkiStXr1aLpdLeXl5mjp16hnPW19fr/r6eu92TU1N870IAAAQVCF9Zed/eTweSVLHjh0lSWVlZaqsrFRKSor3GIfDoUGDBqmoqOis58nOzpbT6fQ+YmNjm3dwAAAQNK0mdmzbVnp6uq699lolJiZKkiorKyVJLpfL51iXy+XddyYZGRnyeDzeR3l5efMNDgAAgiqk38Y63bRp07Rt2zZt2LCh0T7Lsny2bdtutHY6h8Mhh8MR8BkBAEDoaRVXdqZPn67XX39d77zzjrp16+Zdd7vdktToKk5VVVWjqz0AAODnKaRjx7ZtTZs2Ta+88orefvttxcfH++yPj4+X2+1WQUGBd62hoUGFhYVKSkpq6XEBAEAICum3se677z7l5eXptddeU2RkpPcKjtPpVHh4uCzLUlpamrKyspSQkKCEhARlZWUpIiJCY8aMCfL0AAAgFIR07KxYsUKSlJyc7LO+cuVKjR8/XpI0c+ZM1dXVKTU1VdXV1RowYIDy8/MVGRnZwtMCAIBQFNKxY9v2jx5jWZYyMzOVmZnZ/AMBAIBWJ6Tv2QEAAGgqYgcAABiN2AEAAEYjdgAAgNGIHQAAYDRiBwAAGI3YAQAARiN2AACA0YgdAABgNGIHAAAYjdgBAABGI3YAAIDRiB0AAGA0YgcAABiN2AEAAEYjdgAAgNGIHQAAYDRiBwAAGI3YAQAARiN2AACA0YgdAABgNGIHAAAYjdgBAABGI3YAAIDRiB0AAGA0YgcAABiN2AEAAEYjdgAAgNGIHQAAYDRiBwAAGI3YAQAARiN2AACA0YgdAABgNGIHAAAYjdgBAABGI3YAAIDRiB0AAGA0YgcAABiN2AEAAEYjdgAAgNGIHQAAYDRiBwAAGI3YAQAARiN2AACA0YgdAABgNGIHAAAYjdgBAABGI3YAAIDRiB0AAGA0YgcAABiN2AEAAEYjdgAAgNGIHQAAYDRiBwAAGI3YAQAARiN2AACA0YgdAABgNGIHAAAYjdgBAABGMyZ2nnzyScXHx+v8889X37599d577wV7JAAAEAKMiJ2XX35ZaWlpmjNnjrZu3arrrrtON910k/bu3Rvs0QAAQJAZETtLly7VxIkTNWnSJF122WXKyclRbGysVqxYEezRAABAkLUJ9gBN1dDQoJKSEs2ePdtnPSUlRUVFRWd8Tn19verr673bHo9HklRTUxPw+U7WHwn4OQEAaE2a4/fr6ee1bfsHj2v1sfPdd9/pxIkTcrlcPusul0uVlZVnfE52drbmzZvXaD02NrZZZgQA4OfMmdO856+trZXT6Tzr/lYfO6dYluWzbdt2o7VTMjIylJ6e7t0+efKkDhw4oE6dOp31OQBap5qaGsXGxqq8vFxRUVHBHgdAANm2rdraWsXExPzgca0+djp37qywsLBGV3GqqqoaXe05xeFwyOFw+Kx16NChuUYEEAKioqKIHcBAP3RF55RWf4Nyu3bt1LdvXxUUFPisFxQUKCkpKUhTAQCAUNHqr+xIUnp6uu666y7169dPAwcO1DPPPKO9e/fq3nvvDfZoAAAgyIyIndGjR2v//v2aP3++KioqlJiYqDfffFMXX3xxsEcDEGQOh0Nz585t9NY1gJ8Py/6xz2sBAAC0Yq3+nh0AAIAfQuwAAACjETsAAMBoxA4AADAasQMg5L377rsaMWKEYmJiZFmWXn31VZ/9r7zyioYNG6bOnTvLsiyVlpY2Okd9fb2mT5+uzp07q3379rr11lv19ddf+xxTXV2tu+66S06nU06nU3fddZcOHjzYfC8MQIsgdgCEvMOHD6t3797Kzc096/5rrrlGjz/++FnPkZaWpjVr1uill17Shg0bdOjQId1yyy06ceKE95gxY8aotLRUa9eu1dq1a1VaWqq77ror4K8HQMvio+cAWhXLsrRmzRqNHDmy0b7du3crPj5eW7duVZ8+fbzrHo9HXbp00fPPP6/Ro0dLkvbt26fY2Fi9+eabGjZsmD799FP17NlTmzZt0oABAyRJmzZt0sCBA/XZZ5/p0ksvbYmXB6AZcGUHgPFKSkp07NgxpaSkeNdiYmKUmJiooqIiSdLGjRvldDq9oSNJV199tZxOp/cYAK0TsQPAeJWVlWrXrp0uuOACn3WXy+X9EuHKykpFR0c3em50dHSjLxoG0LoQOwB+tmzblmVZ3u3T/322YwC0PsQOAOO53W41NDSourraZ72qqkoul8t7zDfffNPoud9++633GACtE7EDwHh9+/ZV27ZtVVBQ4F2rqKjQ9u3blZSUJEkaOHCgPB6PNm/e7D3mgw8+kMfj8R4DoHUy4lvPAZjt0KFD+uKLL7zbZWVlKi0tVceOHXXRRRfpwIED2rt3r/bt2ydJ2rlzp6Tvr9a43W45nU5NnDhRDz30kDp16qSOHTtqxowZ6tWrl4YMGSJJuuyyy3TjjTdq8uTJevrppyVJU6ZM0S233MInsYBWjo+eAwh569ev1/XXX99ofdy4cVq1apVWrVqle+65p9H+uXPnKjMzU5J09OhRPfzww8rLy1NdXZ1uuOEGPfnkk4qNjfUef+DAAd1///16/fXXJUm33nqrcnNz1aFDh2Z5XQBaBrEDAACMxj07AADAaMQOAAAwGrEDAACMRuwAAACjETsAAMBoxA4AADAasQMAAIxG7AAAAKMROwBaRHJystLS0s66Py4uTjk5OS0yy+7du2VZlkpLS1vk5wEILmIHQEgoLi7WlClTvNuWZenVV1895+evWrXqnL/WITY2VhUVFUpMTPyJUwJojfgiUAAhoUuXLi3ycxoaGtSuXTu53e4W+XkAgo8rOwBazPHjxzVt2jR16NBBnTp10iOPPKJTX893+ttYcXFxkqTf/e53sizLu/3RRx/p+uuvV2RkpKKiotS3b19t2bJF69ev1z333COPxyPLsmRZlvcLQOPi4rRgwQKNHz9eTqdTkydPbvQ21vr162VZltatW6d+/fopIiJCSUlJ3m9PP2XBggWKjo5WZGSkJk2apNmzZ6tPnz7e/evXr1f//v3Vvn17dejQQddcc4327NnTXP+dAM4RsQOgxaxevVpt2rTRBx98oD/96U9atmyZ/vznPzc6rri4WJK0cuVKVVRUeLfHjh2rbt26qbi4WCUlJZo9e7batm2rpKQk5eTkKCoqShUVFaqoqNCMGTO853viiSeUmJiokpISPfroo2edb86cOVqyZIm2bNmiNm3aaMKECd59f/vb37Rw4UItWrRIJSUluuiii7RixQrv/uPHj2vkyJEaNGiQtm3bpo0bN2rKlCmyLKvJ/28Amoa3sQC0mNjYWC1btkyWZenSSy/Vxx9/rGXLlmny5Mk+x516S6tDhw4+bzft3btXDz/8sHr06CFJSkhI8O5zOp2yLOuMb08NHjzYJ3527959xvkWLlyoQYMGSZJmz56t4cOH6+jRozr//PO1fPlyTZw4Uffcc48k6bHHHlN+fr4OHTokSaqpqZHH49Ett9yiX/7yl5Kkyy677Cf9/wBoHlzZAdBirr76ap8rHQMHDtTnn3+uEydOnNPz09PTNWnSJA0ZMkSPP/64vvzyy3N6Xr9+/c7puCuuuML7765du0qSqqqqJEk7d+5U//79fY4/fbtjx44aP368hg0bphEjRuiPf/yjKioqzunnAmhexA6AViMzM1M7duzQ8OHD9fbbb6tnz55as2bNjz6vffv253T+tm3bev99KspOnjzZaO2UU/cbnbJy5Upt3LhRSUlJevnll3XJJZdo06ZN5/SzATQfYgdAi/nfX/ybNm1SQkKCwsLCGh3btm3bM17xueSSS/Tggw8qPz9fo0aN0sqVKyVJ7dq1O+crRP649NJLtXnzZp+1LVu2NDruyiuvVEZGhoqKipSYmKi8vLxmmwnAuSF2ALSY8vJypaena+fOnXrxxRe1fPlyPfDAA2c8Ni4uTuvWrVNlZaWqq6tVV1enadOmaf369dqzZ4/ef/99FRcXe++LiYuL06FDh7Ru3Tp99913OnLkSEBnnz59uv7yl79o9erV+vzzz7VgwQJt27bNe7WnrKxMGRkZ2rhxo/bs2aP8/Hzt2rWL+3aAEMANygBazN133626ujr1799fYWFhmj59us8fEjzdkiVLlJ6ermeffVYXXnihdu3apf379+vuu+/WN998o86dO2vUqFGaN2+eJCkpKUn33nuvRo8erf3792vu3Lnej58HwtixY/XVV19pxowZOnr0qG6//XaNHz/ee7UnIiJCn332mVavXq39+/era9eumjZtmqZOnRqwGQD4x7L/901nAMA5GTp0qNxut55//vlgjwLgB3BlBwDOwZEjR/TUU09p2LBhCgsL04svvqi33npLBQUFwR4NwI/gyg4AnIO6ujqNGDFCH374oerr63XppZfqkUce0ahRo4I9GoAfQewAAACj8WksAABgNGIHAAAYjdgBAABGI3YAAIDRiB0AAGA0YgcAABiN2AEAAEYjdgAAgNH+H35v7XyPK5xOAAAAAElFTkSuQmCC",
      "text/plain": [
       "<Figure size 640x480 with 1 Axes>"
      ]
     },
     "metadata": {},
     "output_type": "display_data"
    }
   ],
   "source": [
    "device = LocalSimulator(\"autoqasm\")\n",
    "result = device.run(ipe, shots=100).result()\n",
    "counts = Counter(result.measurements[\"b0\"])\n",
    "print(\"measurement counts: \", counts)\n",
    "\n",
    "plt.bar(counts.keys(), counts.values())\n",
    "plt.xlabel(\"bitstrings\")\n",
    "plt.ylabel(\"counts\")\n",
    "plt.show()"
   ]
  },
  {
   "cell_type": "markdown",
   "id": "2b4ff1a9",
   "metadata": {},
   "source": [
    "The measurement results of the IPE algorithm are \"1100\" in all shots, which is equivalent to 0.0011 in binary fraction or 3/16. We have correctly estimated the phase in the oracle! "
   ]
  },
  {
   "cell_type": "markdown",
   "id": "63c39db4",
   "metadata": {},
   "source": [
    "## Summary\n",
    "In this notebook, we walked you through all stages of executing the IPE algorithm, from constructing a subroutine for the phase oracle, composing the dynamic circuit in the main IPE program, running the quantum program on the Braket simulator to visualizing the results. AutoQASM not only provides expressibility of classical control flow which enables a broader class of quantum programs, it also integrates with Amazon Braket which provides an end-to-end experience for a quantum algorithm."
   ]
  },
  {
   "cell_type": "markdown",
   "id": "26c3bf88",
   "metadata": {},
   "source": [
    "\n",
    "### References:\n",
    "\n",
    "[1] K. M. Svore et al., *Faster Phase Estimation* (2013). arXiv: https://arxiv.org/abs/1304.0741\n",
    "\n",
    "[2] A. D. Corcoles et al., *Exploiting dynamic quantum circuits in a quantum algorithm with superconducting qubits* (2021). arXiv: https://arxiv.org/abs/2102.01682"
   ]
  }
 ],
 "metadata": {
  "kernelspec": {
   "display_name": "Python 3 (ipykernel)",
   "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.9.18"
  }
 },
 "nbformat": 4,
 "nbformat_minor": 5
}