Colab_10a_Gli_stati_di_Bell.ipynb

{
  "nbformat": 4,
  "nbformat_minor": 0,
  "metadata": {
    "colab": {
      "provenance": [],
      "authorship_tag": "ABX9TyM8uwpfZHn/ER+OXiuEjnTK",
      "include_colab_link": true
    },
    "kernelspec": {
      "name": "python3",
      "display_name": "Python 3"
    },
    "language_info": {
      "name": "python"
    }
  },
  "cells": [
    {
      "cell_type": "markdown",
      "metadata": {
        "id": "view-in-github",
        "colab_type": "text"
      },
      "source": [
        "<a href=\"https://colab.research.google.com/github/EmmanueleVilla/quantum_computing/blob/main/Colab_10a_Gli_stati_di_Bell.ipynb\" target=\"_parent\"><img src=\"https://colab.research.google.com/assets/colab-badge.svg\" alt=\"Open In Colab\"/></a>"
      ]
    },
    {
      "cell_type": "code",
      "execution_count": 1,
      "metadata": {
        "colab": {
          "base_uri": "https://localhost:8080/"
        },
        "id": "tzRkE8twwff_",
        "outputId": "976e3773-eae6-45a6-e4b7-c799419124da"
      },
      "outputs": [
        {
          "output_type": "stream",
          "name": "stdout",
          "text": [
            "  Installing build dependencies ... \u001b[?25l\u001b[?25hdone\n",
            "  Getting requirements to build wheel ... \u001b[?25l\u001b[?25hdone\n",
            "  Installing backend dependencies ... \u001b[?25l\u001b[?25hdone\n",
            "  Preparing metadata (pyproject.toml) ... \u001b[?25l\u001b[?25hdone\n",
            "\u001b[2K     \u001b[90m━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━\u001b[0m \u001b[32m6.0/6.0 MB\u001b[0m \u001b[31m60.6 MB/s\u001b[0m eta \u001b[36m0:00:00\u001b[0m\n",
            "\u001b[2K     \u001b[90m━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━\u001b[0m \u001b[32m12.8/12.8 MB\u001b[0m \u001b[31m101.1 MB/s\u001b[0m eta \u001b[36m0:00:00\u001b[0m\n",
            "\u001b[2K     \u001b[90m━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━\u001b[0m \u001b[32m241.5/241.5 kB\u001b[0m \u001b[31m20.4 MB/s\u001b[0m eta \u001b[36m0:00:00\u001b[0m\n",
            "\u001b[2K     \u001b[90m━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━\u001b[0m \u001b[32m129.9/129.9 kB\u001b[0m \u001b[31m14.4 MB/s\u001b[0m eta \u001b[36m0:00:00\u001b[0m\n",
            "\u001b[2K     \u001b[90m━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━\u001b[0m \u001b[32m1.9/1.9 MB\u001b[0m \u001b[31m76.8 MB/s\u001b[0m eta \u001b[36m0:00:00\u001b[0m\n",
            "\u001b[2K     \u001b[90m━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━\u001b[0m \u001b[32m49.6/49.6 kB\u001b[0m \u001b[31m4.9 MB/s\u001b[0m eta \u001b[36m0:00:00\u001b[0m\n",
            "\u001b[2K     \u001b[90m━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━\u001b[0m \u001b[32m110.5/110.5 kB\u001b[0m \u001b[31m11.7 MB/s\u001b[0m eta \u001b[36m0:00:00\u001b[0m\n",
            "\u001b[2K     \u001b[90m━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━\u001b[0m \u001b[32m49.6/49.6 kB\u001b[0m \u001b[31m4.6 MB/s\u001b[0m eta \u001b[36m0:00:00\u001b[0m\n",
            "\u001b[2K     \u001b[90m━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━\u001b[0m \u001b[32m37.5/37.5 MB\u001b[0m \u001b[31m24.4 MB/s\u001b[0m eta \u001b[36m0:00:00\u001b[0m\n",
            "\u001b[2K     \u001b[90m━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━\u001b[0m \u001b[32m112.7/112.7 kB\u001b[0m \u001b[31m12.2 MB/s\u001b[0m eta \u001b[36m0:00:00\u001b[0m\n",
            "\u001b[?25h  Building wheel for qiskit (pyproject.toml) ... \u001b[?25l\u001b[?25hdone\n",
            "\u001b[2K     \u001b[90m━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━\u001b[0m \u001b[32m162.6/162.6 kB\u001b[0m \u001b[31m5.2 MB/s\u001b[0m eta \u001b[36m0:00:00\u001b[0m\n",
            "\u001b[?25h  Preparing metadata (setup.py) ... \u001b[?25l\u001b[?25hdone\n",
            "  Building wheel for pylatexenc (setup.py) ... \u001b[?25l\u001b[?25hdone\n"
          ]
        }
      ],
      "source": [
        "!pip install qiskit --quiet && pip install pylatexenc --quiet"
      ]
    },
    {
      "cell_type": "code",
      "source": [
        "from qiskit import QuantumCircuit, Aer, execute\n",
        "from qiskit.visualization.state_visualization import array_to_latex"
      ],
      "metadata": {
        "id": "n13FjoPkwoaO"
      },
      "execution_count": 24,
      "outputs": []
    },
    {
      "cell_type": "code",
      "source": [
        "state_vector_simulator = Aer.get_backend(\"statevector_simulator\")"
      ],
      "metadata": {
        "id": "_OixhCUTxPAm"
      },
      "execution_count": 25,
      "outputs": []
    },
    {
      "cell_type": "code",
      "source": [
        "def get_state(circuit):\n",
        "  job = execute(circuit, backend=state_vector_simulator)\n",
        "  result = job.result()\n",
        "  return result.get_statevector()"
      ],
      "metadata": {
        "id": "GpddvlvUxyb9"
      },
      "execution_count": 26,
      "outputs": []
    },
    {
      "cell_type": "markdown",
      "source": [
        "### Primo stato"
      ],
      "metadata": {
        "id": "2Nw9E9WFw1m5"
      }
    },
    {
      "cell_type": "code",
      "source": [
        "qc = QuantumCircuit(2)\n",
        "qc.h(0)\n",
        "qc.cx(0, 1)\n",
        "qc.draw(output=\"mpl\")"
      ],
      "metadata": {
        "colab": {
          "base_uri": "https://localhost:8080/",
          "height": 191
        },
        "id": "Xklg0AYAw2cQ",
        "outputId": "28896a50-35d0-4854-f9ec-9ec786bd09da"
      },
      "execution_count": 27,
      "outputs": [
        {
          "output_type": "execute_result",
          "data": {
            "text/plain": [
              "<Figure size 287.294x200.667 with 1 Axes>"
            ],
            "image/png": "iVBORw0KGgoAAAANSUhEUgAAAPEAAACuCAYAAADnE+srAAAAOXRFWHRTb2Z0d2FyZQBNYXRwbG90bGliIHZlcnNpb24zLjcuMSwgaHR0cHM6Ly9tYXRwbG90bGliLm9yZy/bCgiHAAAACXBIWXMAAA9hAAAPYQGoP6dpAAANdElEQVR4nO3df0yUeWLH8fcMroICyoDpuIIiCpbfbGTZxXqmGLxbolg3rak9626ybvaPxmhSz9k/mtQ1aWrZmiY1Jlf9o9mkf1DatZu60Ow1V67RZV2KR7nzhF2UE48BxtsRlB+COjL9Y6ory6AMzq/vw+eVGMPM8zzfr5E3zzPP88xg8/v9fkTEWPZYT0BEXowiFjGcIhYxnCIWMZwiFjGcIhYxnCIWMZwiFjGcIhYxnCIWMZwiFjGcIhYxnCIWMZwiFjGcIhYxnCIWMZwiFjGcIhYxnCIWMZwiFjGcIhYxnCIWMZwiFjGcIhYxnCIWMZwiFjGcIhYxnCIWMZwiFjGcIhYxnCIWMZwiFjGcIhYxnCIWMZwiFjGcIhYxnCIWMdyiWE9AZvL74cGjWM8iNIsTwGaL9SwWJkUchx48gvcbYj2L0NT9MSzRd1NM6HBaxHCKWMRwiljEcIpYxHCKWMRwiljEcIpYxHCKWMRwiljEcIpYxHCKWMRwiljEcIpYxHCWj9jr9eJyudiwYQOJiYlkZWVx+PBhxsfHOXDgADabjdOnT8d6mhJhvkfQ81v4ZR90DcDweKxnFD6WfvNYR0cHNTU1eDweli1bRkFBAQMDA5w6dYqenh6GhoYAKCsri+1EI8Td+d+c++sqtvzJ37Jpx4+CLvP3f2oju2wHf/CjxijPLjruTkBLN1y6DqOT3z5uAwpWw/c2wu+uitn0wsKyEXu9Xmpra/F4PBw5coRjx46RkpICwIcffsj777/PokWLsNlslJSUxHi2EgnuITj7MxiZnPmcH7jaH/izLR9qXzH3Qw0sezh96NAh3G43Bw8e5OTJk08CBnC5XJSWluLz+cjOziY1NTWGM5VI+GYUftwcPODvau6Cz65Efk6RYsmIu7q6aGhoICMjgxMnTgRdZtOmTQCUlpZOe/zGjRvs2rWLlJQU0tLSeOutt7h9+3bE5yzh1dgB4/fnvvx/XoHbYxGbTkRZ8nC6vr6eqakp9u3bR3JyctBlkpKSgOkRj46OUlVVhcPhoL6+nomJCVwuFzt37qSlpQW73cyfeb4H95gY9cZ6GlFz9x5c6QttHT/wxbXAYbVpLBlxc3MzAFVVVbMu43a7gekRnz17lv7+fi5cuMCaNWsAyMzMZPPmzZw/f57du3dHbtIR9OW5Y3x57lispxE1P++FKX/o67X9WhHHjZs3bwKwdu3aoM/7fD5aWlqA6RE3NjayZcuWJwEDVFZWkpOTw6effjrviMvLy/F4PHNePuGlJN78q2vzGiuYoqr3yH1tT9DnPvmb7WEZIy83l0cPJ8KyrRdVWnuc3C0HQl5vZBKy1mTjn/JFYFbP5nQ6uXz58rzWtWTE4+OBi4ATE8G/qRoaGvB6vaSkpLBu3bonj3d2drJnz8xv9sLCQjo7O+c9H4/HQ39//5yXX7Rk6bzHCmaFM5c1RdVh3eZ3DQwO4Lt/L6JjzNX6sdF5r9vf78Y/ZdbnBVsyYqfTyfDwMO3t7VRWVk57bnBwkKNHjwJQUlKC7anrCsPDw6xYsWLG9hwOB19//fULzScUCS8lzXusWHl51ctxsye2+0bmtd7EiIeXV4X2fxUuoX6PPM2SEVdXV9PV1UVdXR3bt28nLy8PgLa2Nvbv34/XGzjJE62bPEI9TLrvM+9zp7uvXYubz52+OwHHPwn9dfGuSidn/v9ciUnMPN36HC6Xi/T0dPr6+igsLKS4uJjc3FwqKirIyclh27ZtwMzLS2lpady5c2fG9oaGhnA4HNGYuoTB8iQoyQptHZsNKjdEZj6RZsmIMzMzuXjxIjt27CAxMZHe3l4cDgdnzpyhqamJ7u5uYGbE+fn5QV/7dnZ2kp+fH5W5S3jUvgLJiXNf/o1icAS/Ghn3LBkxBIJsbGxkdHSU0dFRWltbee+99xgfH6e3txe73U5RUdG0dXbu3Mnnn3/+5PITQGtrKz09PdTW1kb7nyAvID0Z/mxbYK/8PNsL4ftFz18uXtn8fv88rqiZq7W1lddff52NGzfy1VdfTXtuZGSE4uJiMjIyOH78OJOTk7hcLlauXMmlS5eidrOHia+J4/V3MY1OBm7i+OJa4LXy00qy4Ht5kBubc1lhY9k98WyuXAncJPvdQ2mA1NRUmpubWbVqFXv37uXdd99l8+bNNDY2Gnu31kKXkgg/KIa/3A2Hvw9LF3/7+DtbzQ8YLHp2+lmeFTHA+vXraWy05tvyFrIEO6xbCS8lBL62G/qOpWAW3O7leRGLmGbB7Ykf31ctYhULbk8sYjWKWMRwiljEcIpYxHCKWMRwiljEcIpYxHCKWMRwiljEcIpYxHCKWMRwC+7eaRMsTgi8P9ckixNiPYOFSxHHIZstPt9gL/FJh9MihlPEIoZTxCKGU8QihlPEIoZTxCKGU8QihlPEIoZTxCKGU8QihlPEIoZTxCKGU8QihlPEIoZTxCKGU8QihlPEIoZTxCKGU8QihlPEIoZTxCKGU8QihlPEIoZTxCKG00eUi6WNTEDfUODP7TG49yDw+MQD+LIHshzgXA4JBu/ObH6/3x/rSYiE08NH8IvfwOfd0Ot9/vJLF8Nr6+H3ciEjJfLzCzdFLJbh98PlG/Dv7TB2f37beGUt/GE5JCeGd26RpIjFEu5OwL+0wtX+F99W8hL4owooW/Pi24oGRSzG89yFH/9XIORw+kExvFEc+AV38UwntsRovx2B0z+Fscnwb/snVwJ/15SEf9vhZPA5OVno7j+Esz+LTMCP/eRK4HV2PNOeWIz1aQd4x0Jb58/fgNSkwKWnv/tsbuv822XIdcLypJCnGBULYk/s9XpxuVxs2LCBxMREsrKyOHz4MOPj4xw4cACbzcbp06djPU0JwfVbgUtIoUpNghVLA3/P1b0H8K//E/pY0WL5PXFHRwc1NTV4PB6WLVtGQUEBAwMDnDp1ip6eHoaGhgAoKyuL7UQlJI9fr0bLr9zgHoJMR3THnQtL74m9Xi+1tbV4PB6OHDnC4OAg7e3teDwe6urqaGpqoq2tDZvNRklJnJ+9kCdu3YVrt6I/bsu16I85F5aO+NChQ7jdbg4ePMjJkydJSfn2dhyXy0VpaSk+n4/s7GxSU1NjOFMJxRfXYzPuz2/A5MPYjP0slo24q6uLhoYGMjIyOHHiRNBlNm3aBEBpaemTxx5HX1FRwZIlS7DF+0XCBeh6DPbCAA8ewW9ux2bsZ7FsxPX19UxNTbFv3z6Sk5ODLpOUFDi78XTE169f59y5czidTl599dWozFXm7uEjGLwTu/HdQ7EbezaWjbi5uRmAqqqqWZdxu93A9Ii3bt3K4OAg58+fp7q6OrKTlJAN3oGpGN5j2BeHEVv27PTNmzcBWLt2bdDnfT4fLS0twPSI7fbw/1wrLy/H4/GEfbsLkXNjFVve+aegzz2+BvwsqYnf/v3Bm7MvN9t15M9+eoG/2PvDOc527pxOJ5cvX57XupaNeHx8HICJieA31DY0NOD1eklJSWHdunURnYvH46G/Pwx35guLf+furM89vgY8F3b73Jd92kOfP+7+Ly0bsdPpZHh4mPb2diorK6c9Nzg4yNGjRwEoKSmJ+Mkrp9MZ0e0vJGnLZ3/D78gc3gCRmhgIeGoKRp5xu+Zs21qU4Gf16tXPHyhEL/I9YtmIq6ur6erqoq6uju3bt5OXlwdAW1sb+/fvx+sNvFs8Gjd5zPcwSWa6dRdONAZ/bi63UX7wZmAPPDIJH3wS+vi7a36ffz7uDn3FCLLsiS2Xy0V6ejp9fX0UFhZSXFxMbm4uFRUV5OTksG3bNmD662GJfytTYUkMdz1ZumMrejIzM7l48SI7duwgMTGR3t5eHA4HZ86coampie7uwI23itgsdhusTovd+FnpsRt7NpY9nAbIz8+nsXHmsdfY2Bi9vb3Y7XaKiopiMDN5EUWZ8Otvoj/u8qTY/gCZjaUjns3Vq1fx+/3k5eWxdOnMU5Qff/wxAJ2dndO+zs7Opry8PHoTlaAqcuA/fgG+qeiOW5kbn5+KuSAjvnIl8BaY2Q6l9+zZE/Trt99+m48++iiic5PnS06EsrXRfbO+3QaV66M3XigUcRD62LH4V1MCv+yDB77ojLetAJbP47pyNMThwUHkPS9iiX/pybDrleiM5Vwe+MC8eLUg98SP76sWs23Ohc5+6ByY+zqPb+KYy40hAC8lwA8rYVFC6POLFn1krRjtvg/+oRluROBsdYIdDmyFgvDfoBVWiliMd/8h/ONF+HowfNtcsgje2QobV4Vvm5GiiMUSpqbgQjc0dQTec/wi8pyw9zVwBH8betxRxGIp34zA+f+FX/UHfjdTKNKToboQXl8f/7/14WmKWCxpeBwuXQ9chro1MnvQy5ZAzsrASbKNqwLXg02jiMXy7vugfyjwQfO+R4ETVkmLITMN0paZtdcNRhGLGG5B3uwhYiWKWMRwiljEcIpYxHCKWMRwiljEcIpYxHCKWMRwiljEcIpYxHCKWMRwiljEcIpYxHCKWMRwiljEcIpYxHCKWMRwiljEcIpYxHCKWMRwiljEcIpYxHCKWMRwiljEcIpYxHCKWMRwiljEcIpYxHCKWMRwiljEcIpYxHD/B4nXoRy3dQ/QAAAAAElFTkSuQmCC\n"
          },
          "metadata": {},
          "execution_count": 27
        }
      ]
    },
    {
      "cell_type": "code",
      "source": [
        "array_to_latex(get_state(qc), prefix=\"B1=\")"
      ],
      "metadata": {
        "colab": {
          "base_uri": "https://localhost:8080/",
          "height": 47
        },
        "id": "_2AvixpVw-2f",
        "outputId": "f2eb0555-52d1-428a-bce8-91124ff0117a"
      },
      "execution_count": 28,
      "outputs": [
        {
          "output_type": "execute_result",
          "data": {
            "text/plain": [
              "<IPython.core.display.Latex object>"
            ],
            "text/latex": "$$\nB1=\n\\begin{bmatrix}\n\\frac{\\sqrt{2}}{2} & 0 & 0 & \\frac{\\sqrt{2}}{2}  \\\\\n \\end{bmatrix}\n$$"
          },
          "metadata": {},
          "execution_count": 28
        }
      ]
    },
    {
      "cell_type": "markdown",
      "source": [
        "## Secondo stato"
      ],
      "metadata": {
        "id": "BmJJxZ4jyav_"
      }
    },
    {
      "cell_type": "code",
      "source": [
        "qc = QuantumCircuit(2)\n",
        "qc.x(0)\n",
        "qc.h(0)\n",
        "qc.cx(0, 1)\n",
        "qc.draw(output=\"mpl\")"
      ],
      "metadata": {
        "colab": {
          "base_uri": "https://localhost:8080/",
          "height": 191
        },
        "id": "nCiikqeByboh",
        "outputId": "cdfb289f-138f-46bd-e5ef-19c4f6d5ac6b"
      },
      "execution_count": 29,
      "outputs": [
        {
          "output_type": "execute_result",
          "data": {
            "text/plain": [
              "<Figure size 370.906x200.667 with 1 Axes>"
            ],
            "image/png": "iVBORw0KGgoAAAANSUhEUgAAATEAAACuCAYAAABeIjpKAAAAOXRFWHRTb2Z0d2FyZQBNYXRwbG90bGliIHZlcnNpb24zLjcuMSwgaHR0cHM6Ly9tYXRwbG90bGliLm9yZy/bCgiHAAAACXBIWXMAAA9hAAAPYQGoP6dpAAAP3klEQVR4nO3df2zU933H8ef3zmAbsAFjVkMMGIJNzA+bCuPigFIZwVRkSPOjpMkcEk1MbNIoRCFcJ+2PJtI05pWEDVFppFVGm67UU2giYm9rt1ptwCGOiUNCYoPBxYB/XMJhEzvG/Li77/64weJiY5/53o/P+fWQEMLf732/b5B5+nvf+959Ldu2bUREDOWK9QAiIvdCERMRoyliImI0RUxEjKaIiYjRFDERMZoiJiJGU8RExGiKmIgYTRETEaMpYiJiNEVMRIymiImI0RQxETGaIiYiRlPERMRoipiIGE0RExGjKWIiYjRFTESMpoiJiNEUMRExmiImIkZTxETEaIqYiBhNERMRoyliImI0RUxEjKaIiYjRFDERMZoiJiJGU8RExGiKmIgYTRETEaMpYiJiNEVMRIymiImI0ZJiPYDcybZtrgYDsR4jLBNcbizLcmx7tg03zPonYLwbHPwnkBFSxOLQ1WCAqTX/HesxwtK9ei0T3c59O90IwPcrHdtcVFR8F5L1Pyrq9HRSRIymiImI0RQxETGaIiYiRlPERMRoipiIGE0RExGjKWIiYjRFTESMpoiJiNEUMRExmiImIkZTxETEaAkfMZ/Ph8fjYf78+aSkpDBr1iy2b99OX18fmzdvxrIs9u3bF+sxRSLusy/g03b4pA0uXIagHeuJnJHQHxxy4sQJ1q1bh9frZeLEiSxcuJCOjg727t1LS0sLXV1dACxdujS2g0ZQ4LUDBH/577iffw7Xt/50wDLbtgns/BvspiaS9u3FmpsTmyEjqK3xdxz6+1JWPfVDlpW9MOg6//y0Rc7SMr79QlWUp4u8YBA+PA9Hz8C5SwOXTU+DlbmwYj6kjIvNfE5I2CMxn8/Hhg0b8Hq97Nixg87OThoaGvB6vVRUVFBdXU19fT2WZVFQUBDrcSPGtakccuYQ2P9j7Eu+AcuCv3oL++OTuDY9nZABG+tuBuDAUXj93TsDBnCpF95qgL2/gStXoz+fUxI2Ytu2baOtrY2tW7eye/du0tLSbi/zeDwUFhbi9/vJyckhPT09hpNGljVuHEk7d8C1awRe+afbX7cvthE88DOsBxbg2vh47AaUiAja8PN34eOLw6/bcQX+pQau3oj4WBGRkBFramqisrKSzMxMdu3aNeg6y5YtA6CwsHDA18+dO8fDDz9MWloaU6dO5ZlnnuHy5csRnzmSrNz5uJ58AvuDBoLV/4kdCBD4x91g27h37sByu2M9ojjsVAd8dGHk63u/gHdORW6eSErIc2IHDx4kGAxSXl7OpEmTBl0nNTUVGBix3t5eSktLycjI4ODBg/T39+PxeFi/fj21tbW4XOY231X+FMFjdQR+/BNcLX/APt2Ma8tfYM3KjvVoUeG/cZX+Xt/wKyaI2jPhP+bYWVi7GNyGfZsnZMRqamoAKC0tHXKdtrY2YGDEXn31Vdrb23nnnXeYPXs2ANnZ2Tz44IMcPnyYRx55JHJDR5iVlETSzufxf+85glXVWIsX4XrskViPFTXvHfoB7x36QazHiIrea9DYHv7jvuiHZi/kz3R+pkhKyIidP38egDlz5gy63O/3U1tbCwyMWFVVFatWrbodMICSkhLmzZvH22+/PeqIFRUV4fV6R7y+PX487P/RqPZ1VxMnwrhx4PdjLS/CcvDIMi83D+uGcydV3ONSefTvRnE4MYTFpVvI/cbGQZe9+Q9rHdlHXm4ugZv9jmzrXkyesZC1z/1mVI/dstXDufd/4fBEw8vKyuL48eOjemxCRqyvrw+A/v7Bv6EqKyvx+XykpaUxd+7c219vbGxk48Y7v9EXLVpEY2PjqOfxer20t4fxozElGadf8bZtm8DLe8B/E2bPIviLX+L65kNYM2c4sv2Ozg64dt2RbQEkJU9wbFsAU7Jymb14jaPb/GMdnR34r8f+Zb7r7mmjfmx3d1d436txICEjlpWVRXd3Nw0NDZSUlAxY1tnZyc6dOwEoKCgYcK/E7u5upkyZcsf2MjIyOH369D3NEw57/HgGeUX8ngTfOoz90ce4/vxZXCUr8P/19wi8vAf37gpH7hc5c8ZMx4/ETDNzxsy4OBIbn2JjBwNYrvBfsEm2+rnvvvsiMNXdhft/5KsSMmJr1qyhqamJiooK1q5dS15eHgD19fVs2rQJny90gjdaF7mGe5jcF/A7et9Ju72d4GsHsBbk4XriO1huN66nywn+608JvnUY96Pfvud9NJ9pdvS+k9f95t13svnMmbi57+RPfh+6Mj8ck1Ph/f/5N+NO7Bs27sh4PB6mTZvGxYsXWbRoEUuWLCE3N5fi4mLmzZvH6tWrgTsvr5g6dSpXrly5Y3tdXV1kZGREY3TH2cEggR++AsEg7p3P376cwvXEd7Dycgm+dgC7ozPGU4rTVuaG/5gHc817ZRISNGLZ2dkcOXKEsrIyUlJSaG1tJSMjg/3791NdXU1zczNwZ8Ty8/MHPffV2NhIfn5+VGZ3WvCNX2E3NuF69mmsr7xgYbnduF94HoIBAi/vwbYT5I10AsCCGfD1wV/XGtTMKfDNByI2TkQlZMQgFKSqqip6e3vp7e2lrq6OLVu20NfXR2trKy6Xi8WLFw94zPr16zl69Ojtyy8A6urqaGlpYcOGDdH+K9wz+8IFgj99HSv/AVyPP3bHcitnDq6ny7FPfkLwrcMxmFAixWVBeQksnT38utlT4S9Xm/v+ScseYz+C6+rqWLFiBQsWLODUqYGXKPf09LBkyRIyMzN56aWXuHbtGh6Ph+nTp3Ps2LGoXezq9DmxaOhevXbMnxOr+C5xc07slqANH18IvQH87GcDl2VNDj3tLL4//uYOh8Gjj87JkyeBO59KAqSnp1NTU8P27dt58sknSUpKYv369ezZs8foq/Vl7HJZsHRO6NelHtjz69B7JCclw/fLwIEXpmNOEfsj999/P1VVifeRLCLT02Hc/1114XYlRsAggc+JDWW4iImIWcbckdit91WKSGIYc0diIpJYFDERMZoiJiJGU8RExGiKmIgYTRETEaMpYiJiNEVMRIymiImI0RQxETGaIiYiRhtz7500wQSXm+7VztxGLFomjOKmFHcz3h36fC6TjNeN1GNCEYtDlmU5+gGDJrIssz+oT6JHTydFxGiKmIgYTRETEaMpYiJiNEVMRIymiImI0RQxETGaIiYiRlPERMRoipiIGE0RExGjKWIiYjRFTESMpoiJiNEUMRExmiImIkZTxETEaIqYiBhNERMRoyliImI0RUxEjKaIiYjRFDERMZoiJiJG0+1JRRLYDT90XIG2Lujohqs3Ql+/egNqGiE7I/RrwviYjnlPLNu27VgPISLOungZjjTDh+fhZuDu61pA/kxYlQcPzASXFZURHaOIiSSQz3ugsg5aPh/d46enwRPFkJvl7FyRpIiJJICgDe+cguqPhj/yGomVufDw1yF53L1vK9IUMRHDBYLw83dDTx2dlJ0Bf1UKk1Kc3a7T9OqkiMGCQXi91vmAQejFgB/9Fq5ed37bTlLERAz2Hx/DiQuR237nFThwFOL5+ZousRAxVKsPftsY3mOe/xakp0JPP7zyXyN7TLMX3j0DK/PCnzEaxsSRmM/nw+PxMH/+fFJSUpg1axbbt2+nr6+PzZs3Y1kW+/bti/WYIiPmD8DBY+EfIaWnwpQJod/DcfhD6PoyvMdES8IfiZ04cYJ169bh9XqZOHEiCxcupKOjg71799LS0kJXVxcAS5cuje2gImE4cQE+64ne/q774Xen4LGi6O1zpBL6SMzn87Fhwwa8Xi87duygs7OThoYGvF4vFRUVVFdXU19fj2VZFBQUxHpckRGrbY7+Pt//Qyhm8SahI7Zt2zba2trYunUru3fvJi0t7fYyj8dDYWEhfr+fnJwc0tPTYzipyMh1dMM5X/T3e+0mfNga/f0OJ2Ej1tTURGVlJZmZmezatWvQdZYtWwZAYWHh7a/dil5xcTHJyclYlmHvwZCEd+az2O37bAz3PZSEjdjBgwcJBoOUl5czadKkQddJTQ2d3fxqxM6ePcuhQ4fIyspi+fLlUZlVJBxtXbHb98UY7nsoCRuxmpoaAEpLS4dcp62tDRgYsYceeojOzk4OHz7MmjVrIjukyCi0dcdu35/3xN95sYR9dfL8+dAlzHPmzBl0ud/vp7a2FhgYMZfL+a4XFRXh9Xod366MTWV/+wGp6V8bdNmt68CGkp7y/7+/+OjQ6w11HZkNLC5cTv8XnSMfeASysrI4fvz4qB6bsBHr6+sDoL+/f9DllZWV+Hw+0tLSmDt3bkRn8Xq9tLe3R3QfMoZY7iEX3boObDgu18jWG8znly7Tcyl+vp8TNmJZWVl0d3fT0NBASUnJgGWdnZ3s3LkTgIKCgoifvM/KMuhzTST+BYd+Ptcz+M/s29JTQgELBqHn2tDr3W070zMzSBt/Y5ghw3Mv/0cSNmJr1qyhqamJiooK1q5dS15e6D0T9fX1bNq0CZ8v9Bp1NC5yHe1hsshg9vwazg9xicVwbyV68dHQEVjPNXjxzfD3neSC058cxx1HZ9PjaBRneTwepk2bxsWLF1m0aBFLliwhNzeX4uJi5s2bx+rVq4GB58NETDArI3b7njmVuAoYJHDEsrOzOXLkCGVlZaSkpNDa2kpGRgb79++nurqa5ubQJc+KmJgmlhGL5b6HkrBPJwHy8/Opqqq64+tffvklra2tuFwuFi9eHIPJREbv1ufgB2Pw8TiL7ov+PoeT0BEbyqeffopt2+Tl5TFhwp0v0bzxxhsANDY2DvhzTk4ORUVx+A5YGVMmp0LBrMh+jthgpk0KBTTejMmInTx5Ehj6qeTGjRsH/fOzzz7LgQMHIjqbyEiszIt+xB6cH593QlLEBqHbDki8m/8noad2n0bpcq3MSbBqQXT2Fa6EPbF/N8NFTCTeWRY88Q1IjdJNb59aAclxesgTp2NF1q33VYqYbHIqbFwOP6sd+WNuXcQ63EWxX1WaD/cP/i6nuKBbtokY7ven4M0PIrPtornwZyXxeS7sFkVMJAHUnoFD9c5edrEyFx4vCr1NKZ4pYiIJ4sLl0M1DOr+4t+1MSoaNxVA425m5Ik0RE0kg/kDoNm5HTsOXYd70dpw79PSxrDD+7/r9VYqYSALyB+CjC/BeS+gIbagPMnS7YOYUWJYDxfNgQnI0p3SGIiaS4II2XOqBjitw/Wbogw3HueFr6TBjCiQN/fFkRlDERMRocf66g4jI3SliImI0RUxEjKaIiYjRFDERMZoiJiJGU8RExGiKmIgYTRETEaMpYiJiNEVMRIymiImI0RQxETGaIiYiRlPERMRoipiIGE0RExGjKWIiYjRFTESMpoiJiNEUMRExmiImIkZTxETEaIqYiBhNERMRoyliImI0RUxEjKaIiYjRFDERMZoiJiJGU8RExGj/CyKgZW/SLuOhAAAAAElFTkSuQmCC\n"
          },
          "metadata": {},
          "execution_count": 29
        }
      ]
    },
    {
      "cell_type": "code",
      "source": [
        "array_to_latex(get_state(qc), prefix=\"B2=\")"
      ],
      "metadata": {
        "colab": {
          "base_uri": "https://localhost:8080/",
          "height": 47
        },
        "id": "L3wmjmMsyiCg",
        "outputId": "8c6a7ada-4634-4567-a02d-eb228310d765"
      },
      "execution_count": 30,
      "outputs": [
        {
          "output_type": "execute_result",
          "data": {
            "text/plain": [
              "<IPython.core.display.Latex object>"
            ],
            "text/latex": "$$\nB2=\n\\begin{bmatrix}\n\\frac{\\sqrt{2}}{2} & 0 & 0 & - \\frac{\\sqrt{2}}{2}  \\\\\n \\end{bmatrix}\n$$"
          },
          "metadata": {},
          "execution_count": 30
        }
      ]
    },
    {
      "cell_type": "markdown",
      "source": [
        "## Terzo stato"
      ],
      "metadata": {
        "id": "ECeRBBvPyr5w"
      }
    },
    {
      "cell_type": "code",
      "source": [
        "qc = QuantumCircuit(2)\n",
        "qc.x(1)\n",
        "qc.h(0)\n",
        "qc.cx(0, 1)\n",
        "qc.draw(output=\"mpl\")"
      ],
      "metadata": {
        "colab": {
          "base_uri": "https://localhost:8080/",
          "height": 191
        },
        "id": "TYMADNUeyszY",
        "outputId": "7afa0dd7-c1a3-4f51-9830-4942373d8f32"
      },
      "execution_count": 31,
      "outputs": [
        {
          "output_type": "execute_result",
          "data": {
            "text/plain": [
              "<Figure size 287.294x200.667 with 1 Axes>"
            ],
            "image/png": "iVBORw0KGgoAAAANSUhEUgAAAPEAAACuCAYAAADnE+srAAAAOXRFWHRTb2Z0d2FyZQBNYXRwbG90bGliIHZlcnNpb24zLjcuMSwgaHR0cHM6Ly9tYXRwbG90bGliLm9yZy/bCgiHAAAACXBIWXMAAA9hAAAPYQGoP6dpAAAPqUlEQVR4nO3df3DUdX7H8ed3N0ACSZAA7YIJhECCEJLggJyh6BkGrByEw1NED5He4dhOS2FGZPmjM1VmOqUoastw08PrWK43U0wr6mFSvetN7IioFORQzkT5cQSTkPVciCSEhGR3v/1jCxLZQDbsr883r8dMJmS/n+/3886wr/18f3y+31i2bduIiLFcyS5ARG6OQixiOIVYxHAKsYjhFGIRwynEIoZTiEUMpxCLGE4hFjGcQixiOIVYxHAKsYjhFGIRwynEIoZTiEUMpxCLGE4hFjGcQixiOIVYxHAKsYjhFGIRwynEIoZTiEUMpxCLGE4hFjGcQixiOIVYxHAKsYjhFGIRwynEIoZTiEUMpxCLGE4hFjGcQixiOIVYxHAKsYjhFGIRw6UluwC5lm1DdzDZVURnqBssK9lVDE4KcQrqDsKmqmRXEZ2tK2CY3k1Jod1pEcMpxCKGU4hFDKcQixhOIRYxnEIsYjiFWMRwCrGI4RRiEcMpxCKGU4hFDKcQixhOIRYxnOND7Pf78Xq9TJkyhfT0dPLy8li/fj0dHR2sWbMGy7LYsWNHssuUOAsE4eQf4JNGqD8DrR3Jrih2HH3z2JEjR1i0aBE+n48RI0Ywffp0zpw5w/bt2zl58iTnzp0DYObMmcktNE6a6v6HPX9fwbxHnmPW4qcitvmnRy3yZy7m+09VJ7i6xDjfCfuPwQcnoL3rm9ctYPqtcNdUuG1c0sqLCceG2O/3U1lZic/nY8OGDTz99NNkZWUB8Oyzz7Jp0ybS0tKwLIvS0tIkVyvx0HQOXnoH2rquXWYDnzaHv+ZPg8rbzX2ogWN3p9etW0dTUxNr165l27ZtVwIM4PV6KSsrIxAIkJ+fT3Z2dhIrlXj4qh3+uTZygL+tth7ePhr/muLFkSGur6+nqqqKMWPGsGXLlohtZs2aBUBZWVmv10+dOsXSpUvJyspi1KhRPPbYY5w9ezbuNUtsVR+Bjkv9b//ro3D2QtzKiStH7k7v3r2bUCjEypUryczMjNgmIyMD6B3i9vZ2KioqyMnJYffu3XR2duL1elmyZAn79+/H5TLzMy/QfZHOdn+yy0iY8xfhaGN069jA+8fDu9WmcWSIa2trAaioqOizTVNTE9A7xC+99BLNzc28++67TJgwAYDc3Fzmzp3L3r17WbZsWfyKjqMP9zzNh3ueTnYZCfNRA4Ts6Nc7+HuFOGWcPn0agIkTJ0ZcHggE2L9/P9A7xNXV1cybN+9KgAHKy8spKCjgzTffHHCIZ8+ejc/n63d795AM7v+74wPqK5IZFU9Q+J3lEZe9/g8LY9JHUWEhwZ7OmGzrZpVVbqZw3pqo12vrgrwJ+dihQByquj6Px8OhQ4cGtK4jQ9zREb4I2NkZ+U1VVVWF3+8nKyuLSZMmXXm9rq6O5cuvfbMXFxdTV1c34Hp8Ph/Nzc39bp82bPiA+4rkFk8hE2YsiOk2v+1MyxkCly7GtY/+mnyhfcDrNjc3YYfMel6wI0Ps8XhobW3l8OHDlJeX91rW0tLCxo0bASgtLcW66rpCa2srt9xyyzXby8nJ4fPPP7+peqLhHpIx4L6SZfy48SkzErsCbQNar7PNx/hx0f1fxUq075GrOTLECxYsoL6+nq1bt7Jw4UKKiooAOHjwIKtWrcLvD5/kSdQkj2h3ky4FzHvu9LHjx1PmudPnO2Hz69EfFy8t97Dz/8+VmMTM06034PV6GT16NI2NjRQXF1NSUkJhYSFz5syhoKCA+fPnA9deXho1ahRff/31Nds7d+4cOTk5iShdYmBkBpTmRbeOZUH5lPjUE2+ODHFubi779u1j8eLFpKen09DQQE5ODjt37qSmpoZjx44B14Z42rRpEY996+rqmDZtWkJql9iovB0y0/vf/r4SyIl8NTLlOTLEEA5kdXU17e3ttLe3c+DAAZ544gk6OjpoaGjA5XIxY8aMXussWbKE995778rlJ4ADBw5w8uRJKisrE/0ryE0YnQl/OT88Kt/IwmK4d8aN26Uqy7btAVxRM9eBAwe48847mTp1Kp999lmvZW1tbZSUlDBmzBg2b95MV1cXXq+XsWPH8sEHHyRssoeJx8Sp+reY2rvCkzjePx4+Vr5aaR7cVQSFyTmXFTOOHYn7cvRoeJLst3elAbKzs6mtrWXcuHE8/PDDPP7448ydO5fq6mpjZ2sNdlnp8Kcl8LfLYP29MHzoN6//+G7zAwwOPTt9PdcLMcDkyZOprnbmbXmDmdsFk8bCEHf4Z5ehdyxFMuiGlxuFWMQ0g24kvjyvWsQpBt1ILOI0CrGI4RRiEcMpxCKGU4hFDKcQixhOIRYxnEIsYjiFWMRwCrGI4RRiEcMNurnTJhjqDt+fa5Kh7mRXMHgpxCnIslLzBntJTdqdFjGcQixiOIVYxHAKsYjhFGIRwynEIoZTiEUMpxCLGE4hFjGcQixiOIVYxHAKsYjhFGIRwynEIoZTiEUMpxCLGE4hFjGcnh+Rgmzb5mIomOwyojLc5cayHPSXuw2iEKegi6Ego2r/O9llRKV1/kJGuPV2SgbtTosYTiEWMZxCLGI4hVjEcAqxiOF0OlEcra0TGs+Fv85egIvd4dc7u+HDk5CXA56R4DZ4OFOIxXF6gvDxF/DeMWjwR27THYRXPgz/e/hQ+M5k+JNCGJOVuDpjRSEWx7BtOHQKfnkYLlzq/3oXu+Gd+vDX7RPhgdmQmR6/OmNNIRZHON8J/3EAPm2+ue389jQc98GDc2DmhNjUFm8GHwmIhPnOwwtv3XyAL7twCXbtg7c+CY/uqU4jsRjtD22w4zdwoSv22/7V0fD3RaWx33YsaSQWY13qgZfeiU+AL/vV0fBxdirTSCzGevMI+C9Et86T90F2RvjS0wtv92+d1w5BoQdGZkRdYkIMipHY7/fj9XqZMmUK6enp5OXlsX79ejo6OlizZg2WZbFjx45klylROPFl+BJStLIz4Jbh4e/9dbEb/vN/o+8rURwf4iNHjlBSUsJzzz2Hz+dj+vTp9PT0sH37dlasWEF9fT0AM2fOTG6hcRJ8eRc9936P0Nu/vmaZbdsEntpEz+Kl2KcaEl/cTbh8vJoov2uCpnOJ7bO/HB1iv99PZWUlPp+PDRs20NLSwuHDh/H5fGzdupWamhoOHjyIZVmUlqb42YsBcq1aCfkTCe78GfZXvWc+hF57A/uTo7hWPYo1KT85BQ7Al+fh+JeJ73f/8cT32R+ODvG6detoampi7dq1bNu2jaysb6bjeL1eysrKCAQC5Ofnk52dncRK48caMoS0jRugq4vgC/945XW7sYnQrn/Dum0qruUPJK/AAXj/RHL6/egUdPUkp+/rcWyI6+vrqaqqYsyYMWzZsiVim1mzZgFQVlZ25bXLoZ8zZw7Dhg1zxCNnrMIpuB5+CPujw4Rq3sIOBgk+uw1sG/fGDVhud7JLjMqJJIzCEJ6q+cXZ5PR9PY4N8e7duwmFQqxcuZLMzMyIbTIywmc3rg7xiRMn2LNnDx6PhzvuuCMhtSaCa+UjUFBA8Gf/QugnP8X+/BiuP3sMKy832aVFpScILV8nr/9UPC52bIhra2sBqKio6LNNU1MT0DvEd999Ny0tLezdu5cFCxbEt8gEstLSSNv4JHT3EKquwZpRjOsHy5JdVtRavoZQEmdRNaZgiB17nfj06dMATJw4MeLyQCDA/v37gd4hdrli/7k2e/ZsfD5fv9vbQ4fCzp/EvA5GjIAhQyAQwLpjNlYMf9eiwiKs7u6Yba8vnqkVzPvxLyIuu3wN+Hqy07/5/sz9fbfr6zry2795l795+If9rLb/PB4Phw4dGtC6jg1xR0cHAJ2dnRGXV1VV4ff7ycrKYtKkSXGtxefz0dwcxcTe9GEMiXENtm0TfP5FCPTAhDxC//4Kru/ejTV+XEy2f6blDHRFcevQAA394/N9Lrt8Dbg/XK7+t71aT8CO7v8yARwbYo/HQ2trK4cPH6a8vLzXspaWFjZu3AhAaWlp3E9eeTyeqNrbQ4fyVYxrCL2xF/vjT3D9aDWu8jsJ/NVfE3z+Rdzbtsbk9x8/bnxCRuJRI/u+4bct8ud1L9np4QCHQtB2nemafW0rzW1z66233rijKEX7HrmaY0O8YMEC6uvr2bp1KwsXLqSoqAiAgwcPsmrVKvz+8DXTREzyiHY3qSMYiOlzp+3mZkIv78KaWoTroQex3G5cj64k9K8/J/TGXtz3f/+m+zh2/FhCnjv95XnYUh15WX+mUT5zf3gEbuuCZ16Pvv9li+7hlc1N0a8YR449seX1ehk9ejSNjY0UFxdTUlJCYWEhc+bMoaCggPnz5wO9j4edyA6FCD73AoRCuDc+eeVykuuhB7GKCgm9vAv7TEuSq+y/sdkwLIlDT15O8vrui2NDnJuby759+1i8eDHp6ek0NDSQk5PDzp07qamp4dix8MRbp4c49Opr2HX1uFY/ijXhm7vcLbcb91NPQihI8PkXsU24cRZwWXDrqOT1nzc6eX33xbG70wDTpk2juvrafa8LFy7Q0NCAy+VixowZSagsMewvviD0819gTbsN1wM/uGa5lT8x5rvViTAjF34f65MG/TAyI7kfIH1xdIj78umnn2LbNkVFRQwffu0pyldffRWAurq6Xj/n5+cze/bsxBV6k6wJExhS88vrtnE/sgL3IysSVFFszCmA//oYAqHE9ltemJpPxRyUIT56NHwLTF+70suXL4/48+rVq9m1a1dca5Mby0yHmRMTe7O+y4LyyYnrLxoKcQSmHB8OZotK4ZNG6A4kpr/502HkAK4rJ0IK7hzE341CLKlvdCYsvT0xfXlGwn0lielrIAblSHx5XrWYbW4h1DVD3Zn+r3N5Ekd/JoYADHHDD8shLYVv9BqUIRZncFmw+i74aS2c6ufZ6v4+VwvCJ7F+dBdMSMHLSlcblLvT4hzD0uAvKmBqbKaA99ruE/fA9NjPsIw5hViMN2wI/Pk9sGxWePf3ZhV5YNPi2H8wxIt2p8URXC645zYoHg97fwu/a47+rzeMzoQFxXDnZDDpgS4KsTjK2GxY811o7YAPToQvQ33Z1negRwyDgrHhk2RTx4WPs02jEIsjjRoB3ysLf10KQPO58IPmA8HwCauMoZA7KtzOpFE3EoVYHG9YGhT8UfjLiXRiS8RwCrGI4RRiEcMpxCKGs2zdspNybNvmYiiY7DKiMtzldsRfyzCRQixiOO1OixhOIRYxnEIsYjiFWMRwCrGI4RRiEcMpxCKGU4hFDKcQixhOIRYxnEIsYjiFWMRwCrGI4RRiEcMpxCKGU4hFDKcQixhOIRYxnEIsYjiFWMRwCrGI4RRiEcMpxCKGU4hFDKcQixju/wCUVz92kkvc+QAAAABJRU5ErkJggg==\n"
          },
          "metadata": {},
          "execution_count": 31
        }
      ]
    },
    {
      "cell_type": "code",
      "source": [
        "array_to_latex(get_state(qc), prefix=\"B3=\")"
      ],
      "metadata": {
        "colab": {
          "base_uri": "https://localhost:8080/",
          "height": 47
        },
        "id": "90F3lZLYyx1k",
        "outputId": "d3a8c407-1f61-40a4-a094-b7000d7a8870"
      },
      "execution_count": 32,
      "outputs": [
        {
          "output_type": "execute_result",
          "data": {
            "text/plain": [
              "<IPython.core.display.Latex object>"
            ],
            "text/latex": "$$\nB3=\n\\begin{bmatrix}\n0 & \\frac{\\sqrt{2}}{2} & \\frac{\\sqrt{2}}{2} & 0  \\\\\n \\end{bmatrix}\n$$"
          },
          "metadata": {},
          "execution_count": 32
        }
      ]
    },
    {
      "cell_type": "markdown",
      "source": [
        "## Quarto stato"
      ],
      "metadata": {
        "id": "gTsLyFQdzDko"
      }
    },
    {
      "cell_type": "code",
      "source": [
        "qc = QuantumCircuit(2)\n",
        "qc.x(1)\n",
        "qc.h(0)\n",
        "qc.z(0)\n",
        "qc.z(1)\n",
        "qc.cx(0, 1)\n",
        "qc.draw(output=\"mpl\")"
      ],
      "metadata": {
        "colab": {
          "base_uri": "https://localhost:8080/",
          "height": 191
        },
        "id": "4BvrRTKkyzM7",
        "outputId": "a83c2cb5-386e-4d00-f6f6-ac28a7af777a"
      },
      "execution_count": 39,
      "outputs": [
        {
          "output_type": "execute_result",
          "data": {
            "text/plain": [
              "<Figure size 370.906x200.667 with 1 Axes>"
            ],
            "image/png": "iVBORw0KGgoAAAANSUhEUgAAATEAAACuCAYAAABeIjpKAAAAOXRFWHRTb2Z0d2FyZQBNYXRwbG90bGliIHZlcnNpb24zLjcuMSwgaHR0cHM6Ly9tYXRwbG90bGliLm9yZy/bCgiHAAAACXBIWXMAAA9hAAAPYQGoP6dpAAASp0lEQVR4nO3deXAU553G8W/3CJAEEiBgI2RxSCBhTuEAChiCSyx4QwDHdowvjMnGcWqrlgUXWEPKWyniZBPM4ZClcFVIXCxxvCZKgeMlkN1cig1RMIZwmFiywdxCGhshcUuApnv/mEBQkGAGeo53eD5VU8D022//1Mw86uPtbst1XRcREUPZ8S5AROR2KMRExGgKMRExmkJMRIymEBMRoynERMRoCjERMZpCTESMphATEaMpxETEaAoxETGaQkxEjKYQExGjKcRExGgKMRExmkJMRIymEBMRoynERMRoCjERMZpCTESMphATEaMpxETEaAoxETGaQkxEjKYQExGjKcRExGgKMRExmkJMRIymEBMRoynERMRoCjERMZpCTESMphATEaMpxETEaAoxETGaQkxEjKYQExGjpcS7ALme68KlYLyriEx7H1iWd/25rssFx6yVkG77sLxcCRIWhVgCuhSEBWXxriIyix+DDh5+mi44QbqW/9a7DmOgYcIkOvr0lYo17U6KiNEUYiJiNIWYiBhNISYiRlOIiYjRFGIiYjSFmIgYTSEmIkZTiImI0RRiImI0hZiIGE0hJiJGU4iJiNGSPsTq6urw+/3079+f1NRUevXqxdy5czl//jzPPPMMlmWxcuXKeJcpEnWfnIYPjsNfquHoSXDceFfkjaS+b8ju3buZPHkygUCAjh07MmjQIGpqalixYgUHDhygvr4egOHDh8e30Ciprnyb9d8rYdwTSxkx5flW2/znUxZ9h0/hS89vjHF1sXH5/i+G1c639CXsomFRrib2HAd2HYE/7odDJ1pO65EBYwtgdH9IbRef+ryQtCFWV1fHtGnTCAQCzJ8/n4ULF5KRkQHAkiVLWLBgASkpKViWxbBhyffhlRCfv/XwBnADAZzXXofOmVi5uTGsKjYuB+GnFfD+sdannzgLb+2E9w7C10ugS3ps6/NK0obYnDlzqK6uZvbs2SxbtqzFNL/fzxtvvMGePXvIy8sjMzMzTlVKtNkTJ7T6vtvURPC5+WDb+F74Bla3rBhXFl2OC6//qe0Au1bNKfhhOcy5H9LbR700zyXlMbGqqirKysro3r07ixYtarXNiBEjACgqKmrx/qFDh3jggQfIyMiga9euPP3005w8eTLqNUtsBV/+ARw8hP21r2LfMzze5XjuwxrYczT89oHTsPnD6NUTTUm5JbZ27Vocx2HGjBl06tSp1TZpaWlAyxA7e/YsJSUlZGVlsXbtWhobG/H7/UydOpWKigps28zMb750gcazdfEuI2EEf74O953NWPeNx/fIw/EuJyoq9kc+z9aPYdIQ8Bn2MU/KECsvLwegpKSkzTbV1dVAyxD70Y9+xPHjx9m8eTO9e/cGIDc3l3vvvZcNGzbw4IMPRq/oKHp3/ULeXb8w3mUkBGfnLpzVayCvL755z8W7nKg42wSVxyOf73Qj7AvAwBzva4qmpAyxI0eOANCnT59Wpzc3N1NRUQG0DLGNGzcybty4qwEGMGbMGPLz8/nlL395yyE2cuRIAoFA2O197dJ46D9u4VdpG4aUfJ2Cz01vddovXprkyTIKCwoIXm70pC8At317WPWKZ/0BuIFPCH5vMaSnk7Lwm1hpqZ72X1hQiHXpkqd93orOPQcx6bnf3NK8X5/t59B7b3hc0c1lZ2ezY8eOW5o3KUPs/PnzADQ2tv6lKisro66ujoyMDPLy8q6+X1lZyfTp13/ZBw8eTGVl5S3XEwgEOH48/F+NKR28PU3UJbuA3kMmetrn36upraH54gXvOkztgJdn/d2mJppf/A6cO4fv2wuxcnp62HtITW0NNF30vN9IXfR1u+V5GxrqI/qsJoKkDLHs7GwaGhrYuXMnY8aMaTGttraW0tJSAIYNG9biOYENDQ106dLluv6ysrL46KOPbqueSPjapd3ysuIlp2eO51tiJ27eLGzB5SvgwEHsWTOxi0d52PPf5PTMSYgtsfapLq4TxLJ9Ec/bwWrkrrvuikJVNxbpd+RaSRliEydOpKqqisWLFzNp0iQKCwsB2L59OzNnzqSuLnSQO1aDXCPdTL7YbN5zJ/ft3+/pcyfPB5s9e+5kcN2buH94G2vMaOwnH/ekz9bs278vYZ47+eo7oZH5keicBu/97r+NO7BvWLnh8fv9dOvWjWPHjjF48GCGDh1KQUEBxcXF5OfnM2FCaOzQ3w+v6Nq1K6dOnbquv/r6erKykmsc0Z3C2b0H59XVkJuLz//8HfOE7rEFkc9zb4F5ZyYhSbfEcnNz2bJlC6WlpbzzzjscPnyYQYMGsWrVKp599ln69esHXB9iAwcObPXYV2VlJePHj49J7eId92Q9we8uAsfB/vxY3K3v0tblglZ+HlZ+XhtTzTOgJ9zTJ3TJUThyusB9d0e1pKhJyhCDUCBt3Hj99YDnzp3j8OHD2LbNkCFDWkybOnUqL7zwAtXV1eT+9TKUbdu2ceDAAZYuXRqTusU7bnU1nD4DgLP2xvvn9lNP4kuiELMtmDEGXBd232TQa25XeLbE3OsnLdd1k+Ra9vBs27aN0aNHM2DAAD78sOUQ5TNnzjB06FC6d+/Oiy++SFNTE36/nx49erB169aYDXY18ZjY4sdI2GNisdIwYVLCHBO7wnHh/aOhC8A//qTltOzOod3O4n7e/t/FmsGl35q9e/cC1+9KAmRmZlJeXs7cuXN5/PHHSUlJYerUqSxfvtzY0fpyZ7MtGN4n9DpxBpb/Gi5cgk4dYMEUSIZDhAqxv9OvX79Wd0NFTNcjE9r9ddSFz06OAIMkPTt5IzcLMRExyx23JXblukoRSQ533JaYiCQXhZiIGE0hJiJGU4iJiNEUYiJiNIWYiBhNISYiRlOIiYjRFGIiYjSFmIgYTSEmIka7466dNEF7X+j+XCZpH/kzKW4o3fbRMMGbx8nFSvotPJhDbp9CLAFZltk3qfOCZVkJd4NBSUzanRQRoynERMRoCjERMZpCTESMphATEaMpxETEaAoxETGaQkxEjKYQExGjKcRExGgKMRExmkJMRIymEBMRoynERMRoCjERMZpCTESMphATEaPp1pkJyHVdLjjBeJcRkXTbh2VZnvWndSDhUogloAtOkK7lv413GRFpmDDJ09tJax1IuLQ7KSJGU4iJiNEUYiJiNIWYiBhNISYiRtOpFJEkdqkZak5BdT3UNMCFS6H3L1yC8krIzQq90tvHtczbohATSULHTsKWfbDrCFxuZbjd5SBs2BX6uwUMzIFxhXB3DtiGDXVTiIkkkU/PQNk2OPBp+PO4QGVN6NUjAx4thoLsqJXoOYWYSBJwXNj8IWza0/qWV7hOnIVXfg9jC+CBe6BDO+9qjBaFmIjhgg68/qfQrqNXKvbDkZPwLyXQKdW7fqNBZydFDOY48NMKbwPsiur60FbZhYve9+0lhZiIwX71Puw+Gr3+a0/Bmj+C60ZvGbdLu5MihjpcB7+vjGyeeV+AzDQ40wjf/7/w5tkXgD/th7GFkdcYC3fEllhdXR1+v5/+/fuTmppKr169mDt3LufPn+eZZ57BsixWrlwZ7zJFwtYchLVbI99CykyDLumhPyOxYRfUn4tsnlhJ+i2x3bt3M3nyZAKBAB07dmTQoEHU1NSwYsUKDhw4QH19PQDDhw+Pb6FREly9BudnP8c37znsL9zfYprrugRLv4FbVUXKyhVYeX3jU2QUXb7/i2G18y19CbtoWJSr8c7uo/DJmdgt72IzvP0hPDwydssMV1KHWF1dHdOmTSMQCDB//nwWLlxIRkYGAEuWLGHBggWkpKRgWRbDhpnzAY6EPXMGzrvbCK76MdaIz2L16H51mvPmW7jv78X+6leSMsAAfP7n25zmBgI4r70OnTOxcnNjWNXtq9gX+2W+dxCmDIcOCZYaSb07OWfOHKqrq5k9ezbLli27GmAAfr+foqIimpub6du3L5mZmXGsNHqsdu1IKZ0PTU0Ev/+Dq++7x6px1ryGdfcA7Olfjl+BUWZPnNDqyxp3L84fK8C28b3wDaxuWfEuNWw1DXCoLvbLbboMuw7Hfrk3k7QhVlVVRVlZGd27d2fRokWtthkxYgQARUVFV9+7EnrFxcV06NAhKW43bBX0x378Udw/78TZ9L+4wSDBJcvAdfGVzsfy+eJdYswFX/4BHDyE/bWvYt8zPN7lRGT/J/Fb9sdxXHZbkjbE1q5di+M4zJgxg06dOrXaJi0tdHTz2hD7+OOPWb9+PdnZ2YwaNSomtcaCPeMJyM8n+ONXcV75Ie5H+7C/8jRWL7N2o7wQ/Pk63Hc2Y903Ht8jD8e7nIhV18dv2cfiuOy2JG2IlZeXA1BSUtJmm+rqaqBliI0fP57a2lo2bNjAxIkTo1tkDFkpKaSUzoNLl3E2bsIaMhj74QfjXVbMOTt34axeA3l98c17Lt7l3JLqhvgt+9MzoYP8iSTBDtF558iR0BDmPn36tDq9ubmZiooKoGWI2bb3uT5y5EgCgUDY7d327WHVK57XQceO0K4dNDdjjRqJ5eHPWlhQiHXpkmf9RWMduIFPCH5vMaSnk7Lwm1hp3l5P4/U6aMuUf/8zaZmfaXXalXFgbclM/duf33qo7XZtjSNzgSFFo2g8XRt+wWHIzs5mx44dtzRv0obY+fPnAWhsbGx1ellZGXV1dWRkZJCXlxfVWgKBAMePHw9/htQOeH3dreu6BF9eDs2XoXcvnDd+hn3feKycnp70X1NbA00eXp/i8Tpwm5pofvE7cO4cvm8v9Oznvpbn66AtVtvHMK+MA7sZ2w6vXWs+PXGSMyci+DxHWdKGWHZ2Ng0NDezcuZMxY8a0mFZbW0tpaSkAw4YNi/rB++zsyO5r4rZvzwmPa3De2oC7533sf56FPWY0zf/6bwRfXo5v2WJPfv6cnjmeb4l5uQ6Cy1fAgYPYs2ZiF0fnWKfX66BNTtv7c2da/519VWZqKMAcB840td3uRv306J5FRntvf85IvyPXStoQmzhxIlVVVSxevJhJkyZRWBi6ZmL79u3MnDmTurrQOepYDHKNdDP5fLDZ02cuuseP46xegzWgEPvRR7B8PuynZuD8109w3tqA76Ev3fYy9u3f5+kzF71cB8F1b+L+4W2sMaOxn3zckz5b4/U6aMvyX8ORNoZY3OxSom89FNoCO9ME3/pF5MtOseGjv+zAl0BH0xOoFG/5/X66devGsWPHGDx4MEOHDqWgoIDi4mLy8/OZMGEC0PJ4WDJyHYfg0u+D4+ArnXd1OIX96CNYhQU4q9fg1nh7fCOROLv34Ly6GnJz8fmfT4ohM73iOKQtpysJFWCQxCGWm5vLli1bmDJlCqmpqRw+fJisrCxWrVrFpk2b2LcvNOQ52UPMWfcmbmUV9qynsHr3vvq+5fPhe34eOEGCLy/HTeTbFNwi92Q9we8uAsfB/vxY3K3v4vyuvNWXe/BQvMsNWzxDLJ7LbkvS7k4CDBw4kI0bN173/rlz5zh8+DC2bTNkyJA4VBYb7tGjOD/5KdbAu7G/fP14KKtvH893KxOJW10Np0MXGDpry27Y1n7qSXz50T3B45Ur98F34vB7Z/BdsV/mzSR1iLXlgw8+wHVdCgsLSU+//hTNunXrAKisrGzx7759+zJyZAJeAdsGq3dv2m36nxu28T3xGL4nHotRRbFlFw3D/s2v4l2G5zqnwbBe0b2PWGu6dQoFaKK5I0Ns7969QNu7ktOnT2/137NmzWLNmjVRrU0kHGMLYx9i9/ZPzCchKcRakYzHhyS59P+H0K7dBzEartW9E4wbEJtlRSppD+zfyM1CTCTRWRY8+jlIi9FDb58YnXi34LkiQcuKrivXVYqYrHMaTB8Fr1WEP8+VQaw3GxR7rZKB0K/1q5wSwh0ZYiLJ4rN94WwT/OLP4bUP9776V4zMg2n3RFxWTCnERAx3392Q4oP1270ddjG2AL48MjEP5l9LISaSBMYWhAairt0Ktadvr69OHWB6MRT1vnnbRKAQE0kSvbvB/Mmhx7ht+QjORXhDjXa+0O7jlKLEf+r3tRRiIkkkxQf/NBT+cRDsOQrvHoCjJ9u+kaHPhpwuMKIvFOdDeodYVusNhZhIEkrxwYi80Mtx4cQZqDkFFy+HbmzYzgefyYSeXUJtTaYQE0lytgWf6Rx6JaM7crCriCQPhZiIGE0hJiJGU4iJiNEsV7dsSDiu63LBCca7jIik2z5Pb/2sdSDhUoiJiNG0OykiRlOIiYjRFGIiYjSFmIgYTSEmIkZTiImI0RRiImI0hZiIGE0hJiJGU4iJiNEUYiJiNIWYiBhNISYiRlOIiYjRFGIiYjSFmIgYTSEmIkZTiImI0RRiImI0hZiIGE0hJiJGU4iJiNEUYiJiNIWYiBhNISYiRvt/8hw78njcoG4AAAAASUVORK5CYII=\n"
          },
          "metadata": {},
          "execution_count": 39
        }
      ]
    },
    {
      "cell_type": "code",
      "source": [
        "array_to_latex(get_state(qc), prefix=\"B4=\")"
      ],
      "metadata": {
        "colab": {
          "base_uri": "https://localhost:8080/",
          "height": 47
        },
        "id": "pe2jmkOhzJCj",
        "outputId": "bf748db0-6b96-4cc5-8df7-b387f7f380cd"
      },
      "execution_count": 40,
      "outputs": [
        {
          "output_type": "execute_result",
          "data": {
            "text/plain": [
              "<IPython.core.display.Latex object>"
            ],
            "text/latex": "$$\nB4=\n\\begin{bmatrix}\n0 & \\frac{\\sqrt{2}}{2} & - \\frac{\\sqrt{2}}{2} & 0  \\\\\n \\end{bmatrix}\n$$"
          },
          "metadata": {},
          "execution_count": 40
        }
      ]
    },
    {
      "cell_type": "markdown",
      "source": [
        "## Invertibilità"
      ],
      "metadata": {
        "id": "lB6w9LWIzNYV"
      }
    },
    {
      "cell_type": "code",
      "source": [
        "qc = QuantumCircuit(2)\n",
        "qc.h(0)\n",
        "qc.cx(0, 1)\n",
        "qc.cx(0, 1)\n",
        "qc.h(0)\n",
        "qc.draw(output=\"mpl\")"
      ],
      "metadata": {
        "colab": {
          "base_uri": "https://localhost:8080/",
          "height": 191
        },
        "id": "25MtIQfTzObt",
        "outputId": "8467c2d1-7a2d-4632-fdeb-86f71197c54c"
      },
      "execution_count": 35,
      "outputs": [
        {
          "output_type": "execute_result",
          "data": {
            "text/plain": [
              "<Figure size 454.517x200.667 with 1 Axes>"
            ],
            "image/png": "iVBORw0KGgoAAAANSUhEUgAAAXEAAACuCAYAAADAmD3qAAAAOXRFWHRTb2Z0d2FyZQBNYXRwbG90bGliIHZlcnNpb24zLjcuMSwgaHR0cHM6Ly9tYXRwbG90bGliLm9yZy/bCgiHAAAACXBIWXMAAA9hAAAPYQGoP6dpAAASG0lEQVR4nO3df3DUdX7H8eduAkkgCZCEukDC7wRDSIIDRiOcvTDQkwGs9sqddxSdkRnb6TDSKcf6x/2hznRKsU6dOnTusJ2OU6+laaW2GG70RnMeGBFBRJEEgUiA/FhkSSAhJITNbv/4Hkpk1+wmu/vdzzevx0yGId9f7+9uvq/97uf7+X6+rlAoFEJERIzktrsAEREZOYW4iIjBFOIiIgZTiIuIGEwhLiJiMIW4iIjBFOIiIgZTiIuIGEwhLiJiMIW4iIjBFOIiIgZTiIuIGEwhLiJiMIW4iIjBFOIiIgZTiIuIGEwhLiJiMIW4iIjBFOIiIgZTiIuIGEwhLiJiMIW4iIjBFOIiIgZTiIuIGEwhLiJiMIW4iIjBFOIiIgZTiIuIGEwhLiJiMIW4iIjBFOIiIgZTiIuIGEwhLiJiMIW4iIjBFOIiIgZTiIuIGEwhLiJisHS7C5A7hUIwMGh3FbEZnwYul91ViJOYdhzYdQwoxFPQwCA8U2t3FbHZ8WPI0F+TxJFpx4Fdx4CaU0REDKYQFxExmEJcRMRgCnEREYMpxEVEDKYQFxExmEJcRMRgCnEREYMpxEVEDKYQFxExmEJcRMRgCnEREYMpxEVEDOb4EPf7/Xi9XubPn09mZiZFRUVs2bKF3t5eNm3ahMvlYufOnXaXKQkWGITmr+CzC9DUDl29dleUfBevwok2+LwVzl+GYMjuiiQeHD146LFjx1i9ejU+n4+JEyeycOFC2tvbefnll2lubqazsxOAxYsX21togrQ2vseev61h+U/+niVrfhZ2nn/8MxezF6/hj39Wl+TqkuNqHzScgoNnoKf/m9+7gIUz4HsL4O5ptpWXcMEgfHIO3j8NZy8NnTY1B5YVw/3zIXOcPfUl2lg4Bhwb4n6/n3Xr1uHz+di6dSvPPvssOTk5ALzwwgs888wzpKen43K5qKiosLlaSYTWTnjlt9Ddf+e0ENZZ6Yk2WFEK6+5x3kMtbg7Caw3Wt49wLvXA/x6Fj76Ep2pg8oTk1ifx4djmlKeffprW1lY2b97Miy+++HWAA3i9XiorKwkEAsyePZvc3FwbK5VEuNQDv6gPH+DfVt8Ebx1PfE3JFAzBrz6IHOC3a78Cv6yH6wMJL0sSwJEh3tTURG1tLQUFBWzfvj3sPEuWLAGgsrJyyO/Pnj3Lww8/TE5ODlOmTOHxxx/n8uXLCa9Z4qvuGPTeiH7+3xyHy9cSVk7SnWyHT89HP7/vKuw/mbh6JHEc2Zyye/dugsEgGzZsIDs7O+w8WVlZwNAQ7+npoaamhry8PHbv3k1fXx9er5e1a9fS0NCA223mZ15g4Dp9PX67y0iaq9fheBRnoLcLAR+ctppVnKDhdOzLHDwDqxZBmpl/5t/JyceAI0O8vr4egJqamojztLa2AkND/JVXXqGtrY39+/czc+ZMAAoLC3nggQfYu3cvjzzySOKKTqAP9zzLh3uetbuMpPm4ZWQ9Lw5/6YwQ7+mHxrbYl7vaB6d8UDo9/jXZzcnHgCND/Ny5cwDMmjUr7PRAIEBDQwMwNMTr6upYvnz51wEOUF1dzdy5c3nzzTdHHOJLly7F5/NFPX/auCwe/ZsRnEpFsKjmKYrvWx922ht/tyou2ygpLmbwZl9c1jValeuep3j5ppiX6+6HopmzCQUDCagqeSZNW8iqv/rNiJZ9arOXsx/9R5wrGpl4HgcmHAMej4cjR47EvJwjQ7y31+oE3NcX/gWtra3F7/eTk5PDnDlzvv59Y2Mj69ff+UaXlZXR2Ng44np8Ph9tbdGfGqVnxLebwGRPMTMXrYzrOr+tvaOdwI3rCd1GtOZd6xnxsm1trYSCg3GsJvlupOWPeNmurs6Y/lYTKZ7HgZOPAUeGuMfjoauri6NHj1JdXT1kWkdHB9u2bQOgoqIC1239yrq6upg8efId68vLy+OLL74YVT2xSBuXNeJt2WX6tOkpcybuDnSPaLm+bh/Tp8X2XqWi8ZkhQsFBXO60mJfNcPUxY8aMBFQVO9OOg9EeA7HmxC2ODPGVK1fS1NTEjh07WLVqFSUlJQAcPnyYjRs34vdbFziSdZNPrF+RbgTgmdoEFZMgp06fJiNF/pqu9sHzb8TeLv5wtYddv79WYrp/+Z11Z2YsJmXBR+/8e8pc2DTtOLDrGEiRtyu+vF4v+fn5XLhwgbKyMsrLyykuLqaqqoq5c+eyYsUK4M7uhVOmTOHKlSt3rK+zs5O8vLxklC5xMCkLKopiW8blgur5ianHDsuKY1/mgWJn9kxxOke+ZYWFhRw4cIA1a9aQmZlJS0sLeXl57Nq1i3379nHq1CngzhAvLS0N2/bd2NhIaWlpUmqX+Fh3D2RnRj//Q+WQF743qpEWTIN7wl/XD2v6ZPjDuxNWjiSQI0McrECuq6ujp6eHnp4eDh06xFNPPUVvby8tLS243W4WLVo0ZJm1a9fy/vvvf939EODQoUM0Nzezbt26ZO+CjEJ+NvzlCuusfDiryuCPFg0/n0ncLthQDYtnDj9v4RT48xXOHT/F6VyhUGhMjWV26NAh7r//fhYsWMDJk0NvUevu7qa8vJyCggKef/55+vv78Xq9TJ06lYMHDybtZh/T2gIBdvyYlGkTv11Pv3UTzwenrbby21UUwfdKoNj8a5kRBUPw2XlrAKwzF4dO80yyml2q5qXme2facWDXMZCCb11iHT9uDZLx7aYUgNzcXOrr69myZQuPPfYY6enprF27lpdeesnYuzXHupxM+EE5rCyzhl/95/esMUJyMuHJB+2uLvHcLlg8y/q51A0vvW3tf3YGPLPGeYN+jUUK8W+ZN28edXVmDkkpkaW5Yc5UGPf7XnfuMRheU3O/2f80twLcKcbc6eVwIS4iYpIxdyZ+a1wVEREnGHNn4iIiTqIQFxExmEJcRMRgCnEREYMpxEVEDKYQFxExmEJcRMRgCnEREYMpxEVEDKYQFxExmEJcRMRgY27sFBOMT7PGJjbJ+NifySvynUw7Duw6BhTiKcjlSs1B+kWSScdBdNScIiJiMIW4iIjBFOIiIgZTiIuIGEwhLiJiMIW4iIjBFOIiIgZTiIuIGEwhLiJiMIW4iIjBFOIiIgZTiIuIGEwhLiJiMIW4iIjBFOIiIgZTiIuIGEwhLiJiMIW4iIjBFOIiIgZTiIuIGEwhLiJiMIW4iIjBFOIiIgZTiIuIGCzd7gJEEqm7Dy50Wj+Xr8H1Aev3fQPwYTMU5YFnEqQ59HRmIADtV6C1E9q7vtn/6wNQ3wiFedbPhPG2limj4AqFQiG7ixCJp5uD8Ol5eP8UtPiHn3/CeLhvHiwrhoKcxNeXDBcuw4FT8Mk56/X4Li6gdDosL4G7p4PblZQSJU4U4uIYoRAcOQv/dxSu3RjZOu6ZBT9cCtmZ8a0tWb7qhtpD0PzVyJafmgM/qoJiT3zrksRRiIsjXO2D/zoEJ9pGv67sDPjTKlg8c/TrSpZgCPafhH2fDn/mHY1lxfDwPZAxbvTrksRSiIvxfFfhF+9aQR5PPyiHh8rBleLNC4NB+NUHVtNJPBXmwV/UmPutZKxw6OUcGSu+6oad78Q/wAHePg5vHY//euMpGITXGuIf4GBdDP2nd+H6CJumJDkU4mKsGzfhld/Ctf7EbePt41Y7e6r69Wdw7Hzi1t9xBV5937reIKlJXQzFWG8eA/+12Jb564cgN8vqevgPb0W3zP8csS70TcqKucSEavHDu42xLTOS/T/lgw9Ow7KS2GuUxBsTZ+J+vx+v18v8+fPJzMykqKiILVu20Nvby6ZNm3C5XOzcudPuMiUGZy5aXQhjlZsFkydY/0br+gD890exbyuRAoOw+2DsZ8gj2X+AvZ9AZ4wfmJIcjj8TP3bsGKtXr8bn8zFx4kQWLlxIe3s7L7/8Ms3NzXR2dgKwePFiewuVmLyd5Lbqz1utNuLCvORuN5Jj5+Fid/K2dyMA752EP1mavG1KdBx9Ju73+1m3bh0+n4+tW7fS0dHB0aNH8fl87Nixg3379nH48GFcLhcVFRV2lytRungVTl9M/nYbTid/m5E0jOBbyGh99KUV5pJaHB3iTz/9NK2trWzevJkXX3yRnJxvbsfzer1UVlYSCASYPXs2ubm5NlYqsfjgjD3b/fgs9N+0Z9u3a++Cs1HciRpv/Tfhk5bkb1e+m2NDvKmpidraWgoKCti+fXvYeZYsWQJAZWXl17+7FfpVVVVkZGTgSvVOwmPQGRvOwgEGBuH8ZXu2fTs7voXcYtdrL5E5NsR3795NMBhkw4YNZGdnh50nK8u6unN7iJ85c4Y9e/bg8Xi49957k1KrRO/moNXtzS6tnfZtOxVquJAC+y9DOTbE6+vrAaipqYk4T2trKzA0xB988EE6OjrYu3cvK1euTGyRErOOK9Yt5nZJhRBr7bJv2191q1081Ti2d8q5c9YtbLNmzQo7PRAI0NDQAAwNcbc7/p9rS5cuxefzxX29Y5FnQQ3Ln3wt7LRbfaC/S27mN/8+92jk+SL1o37rnf38/LGfRlltYqz5+cdk5d4Vdtpwr8Fo9z8ELKq8l76rHdEXLFHxeDwcOXIk5uUcG+K9vb0A9PWFvx+7trYWv99PTk4Oc+bMSWgtPp+PtrY4jMwkjL/rasRpt/pAR8Ptjn7e290MhOx/L11pESdF+xqMdP8Bvrp0me5L+ntOFY4NcY/HQ1dXF0ePHqW6unrItI6ODrZt2wZARUVFwi9eejwa1zNepkyKPOB3dxTjp+RmWgEWDEL3d9yuH2ld6WkhZsyYMfyGEikYuT1juNdgtPsPMLUgj5zxA8MUKbEaaU44NsRXrlxJU1MTO3bsYNWqVZSUWPcMHz58mI0bN+L3W320knGTz0i+Ikl4F6/C9rrw06K5jfy5R60z0O5+eO6N2Lf/yOrv85/Pt8a+YBy99Daci9DFcLjXYLT7n+6GLz4/4tgnIZnIsW+F1+slPz+fCxcuUFZWRnl5OcXFxVRVVTF37lxWrFgBDG0Pl9Q3NRcybDz1KEqBOzbtrGH6FOc+ys5Ujn07CgsLOXDgAGvWrCEzM5OWlhby8vLYtWsX+/bt49Qp65Y3hbhZ3C6YMcW+7Rfl27ftr2uwMcRT4UNMhnJscwpAaWkpdXV3fve+du0aLS0tuN1uFi1aZENlMhqLCuHLS8nf7qQsez9Abrn1HEw7ulqW2Xw5QO7k6BCP5MSJE4RCIUpKSpgw4c5L9K+//joAjY2NQ/4/e/Zsli7VCEB2q5oLv/4UAsHkbre6ODWaEiZlQUVRYscRDyc/2/oAkdQyJkP8+HFrCLxITSnr168P+/8nnniCV199NaG1yfCyM2HxrOQ+rMHtgup5ydvecJaVJD/EH5hvvQ6SWhTiYeixo6lvdQV8dgEGknT34IqFMGmE/aoTYf4fWE0b8XgwdDQKsmH5guRsS2KTAl8Ok2+4EJfUl59tPY09GTyTrAcmpxKXC350H2SNT872fnK/vb2CJLIx+bbcGldFzPZAMTS2QWN79MvcuoklmhuDAMalwU+rIT3yTZK2mZQF6++Ff2uIfplY9x+gphTmhb/LX1KAK6S2AzHYjQD8sh7OJqC3SpobNj0IC1O8R8bvTsIbHydm3UvnWB9iagtPXQpxMd6Nm/CvB+CLOI7JlJEOTz4IC6bFb52J1HAa9hyOb7fDZcXww6XWbfqSuhTi4gjBIOw/BfuOWWOOj0aJBx67D/LCD0Ofss5fth6e3BF5jLCoZGfA+iqonBmfuiSxFOLiKJe6rSezf94W+5Pg87NhZRncP8+6cGiiwCC82wgHvoBrN2Jbdlya1XyyptLqxilmUIiLI3X1wsEzVjfEi92RA31iBsydal0kXTDNOW2/gUH49Dx82GydoUd6kEOaG6ZPhiWzrZuoJmQks0qJB4W4ON6NALR1gv+aFW5pbqtrXuEUmDLR3LPuaAVD1jeU9ivW9YMQ1ln3XbkwbXJq9ryR6CnERUQMpuvOIiIGU4iLiBhMIS4iYjCFuIiIwRTiIiIGU4iLiBhMIS4iYjCFuIiIwRTiIiIGU4iLiBhMIS4iYjCFuIiIwRTiIiIGU4iLiBhMIS4iYjCFuIiIwRTiIiIGU4iLiBhMIS4iYjCFuIiIwRTiIiIGU4iLiBhMIS4iYjCFuIiIwRTiIiIGU4iLiBhMIS4iYjCFuIiIwRTiIiIGU4iLiBhMIS4iYrD/BzGlFAFY1YEpAAAAAElFTkSuQmCC\n"
          },
          "metadata": {},
          "execution_count": 35
        }
      ]
    },
    {
      "cell_type": "code",
      "source": [
        "array_to_latex(get_state(qc), prefix=\"INV=\")"
      ],
      "metadata": {
        "colab": {
          "base_uri": "https://localhost:8080/",
          "height": 38
        },
        "id": "HhgyNqEkzS02",
        "outputId": "ae216cb6-7702-4254-fdcd-a612135688f1"
      },
      "execution_count": 36,
      "outputs": [
        {
          "output_type": "execute_result",
          "data": {
            "text/plain": [
              "<IPython.core.display.Latex object>"
            ],
            "text/latex": "$$\nINV=\n\\begin{bmatrix}\n1 & 0 & 0 & 0  \\\\\n \\end{bmatrix}\n$$"
          },
          "metadata": {},
          "execution_count": 36
        }
      ]
    },
    {
      "cell_type": "markdown",
      "source": [
        "## Reverse Bell circuit"
      ],
      "metadata": {
        "id": "ptAXdlye0Nxy"
      }
    },
    {
      "cell_type": "code",
      "source": [
        "qc = QuantumCircuit(2)\n",
        "qc.cx(0, 1)\n",
        "qc.h(0)\n",
        "qc.draw(output=\"mpl\")"
      ],
      "metadata": {
        "colab": {
          "base_uri": "https://localhost:8080/",
          "height": 191
        },
        "id": "66HhHdcV0PIS",
        "outputId": "b86edc8f-d2e2-4dda-c134-c0a739ceb214"
      },
      "execution_count": 41,
      "outputs": [
        {
          "output_type": "execute_result",
          "data": {
            "text/plain": [
              "<Figure size 287.294x200.667 with 1 Axes>"
            ],
            "image/png": "iVBORw0KGgoAAAANSUhEUgAAAPEAAACuCAYAAADnE+srAAAAOXRFWHRTb2Z0d2FyZQBNYXRwbG90bGliIHZlcnNpb24zLjcuMSwgaHR0cHM6Ly9tYXRwbG90bGliLm9yZy/bCgiHAAAACXBIWXMAAA9hAAAPYQGoP6dpAAANUUlEQVR4nO3df1DUd37H8eeCyiIulRUvG4UIKHiIgD2NkcTLBA/n4gCJ+cNpWmsyHSdt/3Bkpp7bmfxzSadTj8apU2uvNdc/MnN/MExjL0Pg2kxbLo3DJRweZ2ICBkWxLOyaW8EgK0iQ7R9bTTgWYZf9wefr6zGTMbLf/X7fCT75fve73/1qCwaDQUTEWCnJHkBEFkYRixhOEYsYThGLGE4RixhOEYsYThGLGE4RixhOEYsYThGLGE4RixhOEYsYThGLGE4RixhOEYsYThGLGE4RixhOEYsYThGLGE4RixhOEYsYThGLGE4RixhOEYsYThGLGE4RixhOEYsYThGLGE4RixhOEYsYThGLGE4RixhOEYsYThGLGE4RixhOEYsYThGLGG5JsgcQCScYhIm7yZ4iMstSwWZL/HYVsSxKE3fhLxuTPUVk6v8A0pJQlA6nRQyniEUMp4hFDKeIRQyniEUMp4hFDKeIRQyniEUMp4hFDKeIRQyniEUMp4hFDKeIRQxn+Yj9fj9ut5sNGzZgt9vJzc2lrq6OQCDAwYMHsdlsnDp1Ktljxt2XY9A9CJ/0w6Xr8JVhH/OT2Vn6o4jnz59nz549+Hw+MjIy2LRpE4ODg5w8eZLe3l6GhoYA2LJlS3IHjaPe6/BBD1zoh6ng11/PSIMnCuC7GyErI3nzxZun633O/E0lO//wDbZW/yDsMn//xzbytlTz/A+aEzxdbFh2T+z3+6mtrcXn83HkyBG8Xi+dnZ34fD7q6+tpaWmho6MDm81GWVlZsseNi//8FP7hv+Dj/50eMEDgDrR2w9/+HK58kZz5JDYsG/Hhw4fxeDwcOnSI48eP43A47j/mdrspLy9ncnKSvLw8MjMzkzhpfPzPRWj5eO7lxibg9C9gcDj+M0l8WDLi7u5uGhsbyc7O5tixY2GX2bp1KwDl5eXTvn716lWee+45HA4HWVlZvPTSS9y4cSPuM8fS6Dg0/Wb+y9+ZhHc64zePxJclXxM3NDQwNTXF/v37WbFiRdhl0tPTgekR37p1i8rKSpxOJw0NDYyNjeF2u6mpqaGtrY2UFDN+5rX3wt2pyJ7T44PrI/CI9Q5KAJicuM3YLX+yx4gLS0bc2toKQGVl5azLeDweYHrEb775JgMDA3zwwQc89thjAOTk5PDkk0/S1NTE3r174zd0DP3qSnTPO3cFqrfEdJRF46MzP+SjMz9M9hhxYcmIr127BsC6devCPj45OUlbWxswPeLm5mZ27tx5P2CAiooKCgoKePfdd6OOeNu2bfh8vqieG43n/+oiS9PCH4E8yL/89Ax/VlMXh4kil7o0nRf++lLM1re58k8pfGJf2Md+9qPdMdlGUWEhd78ai+q5LpeLc+fORfVcS0YcCAQAGBsL/z+0sbERv9+Pw+EgPz///te7urrYt2/mN7qkpISurq6o5/H5fAwMDET9/EhNTUV4LP3/bgcCCZ3zQZakLY/p+la6Cnlsc1VM1/m7Br2DTN65HddthGPJiF0uF8PDw3R2dlJRUTHtMa/Xy9GjRwEoKyvD9o0bBQ8PD7Ny5coZ63M6nXz++ecLmieRxke8pKVH8eL2q5usXbs29gNFIXVperJHiNiaR9csaE8cLUtGXFVVRXd3N/X19ezevZuioiIAOjo6OHDgAH5/6ARHoi7yiPYwKVqtXZGdnb7npycO863Mw7EfKAp3Js2773TPpUu673SsuN1uVq1aRX9/PyUlJZSWllJYWMj27dspKChg165dwMy3l7Kysrh58+aM9Q0NDeF0OhMxekw8sR6WRPid3eiCb1n0zLTVWTLinJwczp49S3V1NXa7nb6+PpxOJ6dPn6alpYWenh5gZsTFxcVhX/t2dXVRXFyckNljISMNnv/O/Je3L4W9W+M3j8SXJQ+nIRRkc/PMa2FHR0fp6+sjJSWFzZs3T3uspqaGV199FY/HQ05ODgDt7e309vbyxhtvJGTuWPnuxtCHHOY6rM5Ig1eegUdXJmIqiQdbMBgMzr2YdbS3t7Njxw42btzIxYsXpz02MjJCaWkp2dnZvP7664yPj+N2u1m9ejUffvihMRd7fNPV38LZz+Hj/ukXgKywQ8V6eKoIVsb2RHBMmPiaOFl/F5Nl98SzuXDhAjDzUBogMzOT1tZW6urqePHFF1myZAk1NTWcOHHCyIAB8leH/rk1Dj96FwITkLEMXtsLS1KTPZ3EgiL+HevXrw97GG46h/3raJekKmArMXP3sgBzRSximoduT3zvumoRq3jo9sQiVqOIRQyniEUMp4hFDKeIRQyniEUMp4hFDKeIRQyniEUMp4hFDKeIRQz30F07LWZYlhr6fK5JliXpk2GKWBYlmy05H7A3kQ6nRQyniEUMp4hFDKeIRQyniEUMp4hFDKeIRQyniEUMp4hFDKeIRQyniEUMp4hFDKeIRQyniEUMp4hFDKeIRQyniEUMp4hFDKeIRQyniEUMp4hFDKeIRQyniEUMp4hFDKfbc1vY1BRcH4H+IRgYhtsToa/fnoB//wRynZDjhN9LD92sXcxkCwaDwWQPIbE1HIBfXoIPe2F0fO7lc7JgZxF8Jw+W6ce6cRSxhdyegKZOaL8C0XxX05dBdTk8WQgp2jMbQxFbRNcANLbDl2MLX1fhI/DiDli1YuHrkvhTxBbw/kV459exXWdGGvx5JeSuiu16JfZ0dtpw8QgYIHAH/vG/wTMU+3VLbClig302EJ+A7xn/Ct78RShoWbx0LtJQt++EXgNH4i+ehcx0GBmDv/uP+T1nZBz+7RwceCryGSUxHoo9sd/vx+12s2HDBux2O7m5udTV1REIBDh48CA2m41Tp04le8yIvNMZijESmemwcnno10j8ug8+6Y/sOZI4lt8Tnz9/nj179uDz+cjIyGDTpk0MDg5y8uRJent7GRoKvejbsmVLcgeNwI1R6LiS2G2+dwFKc3RRyGJk6T2x3++ntrYWn8/HkSNH8Hq9dHZ24vP5qK+vp6WlhY6ODmw2G2VlZcked95+eQkS/ZbCwDBcu5Hgjcq8WDriw4cP4/F4OHToEMePH8fhcNx/zO12U15ezuTkJHl5eWRmZiZx0vm7OwUf9SZn222XkrNdeTDLRtzd3U1jYyPZ2dkcO3Ys7DJbt24FoLy8/P7X7kW/fft20tLSsC2y40fvzeSdLb58PTnblQezbMQNDQ1MTU2xf/9+VqwIf+lRenroDM83I758+TJnzpzB5XLx+OOPJ2TWSPQn8X3b4cD8rsWWxLJsxK2trQBUVlbOuozH4wGmR/z000/j9XppamqiqqoqvkNGYSDJF194hpO7fZnJsmenr127BsC6devCPj45OUlbWxswPeKUlNj/XNu2bRs+ny8m63pi/z+RW1Yb9rF77wPPJtP+9a+vvfDg7cz2XvKfvHKI/vPvzG9YmTeXy8W5c+eieq5lIw4EAgCMjYV/M7WxsRG/34/D4SA/Pz+us/h8PgYGBmKyrjsTk7M+du994LmkpMxvuXC+HBmN2X+LxIZlI3a5XAwPD9PZ2UlFRcW0x7xeL0ePHgWgrKws7ievXC5XzNaVtnT2I4W5Lv7ItIcCnpoKXYn1ILOtK9OxnLVr184xpURqIX9GLBtxVVUV3d3d1NfXs3v3boqKigDo6OjgwIED+P1+IDEXeUR7mBROUye0dod/bK5LKV97IbQHHhmH134W3fYb3vox+at/HN2TJS4se2LL7XazatUq+vv7KSkpobS0lMLCQrZv305BQQG7du0Cpr8eNkGOM3nbttlgbVbyti/hWTbinJwczp49S3V1NXa7nb6+PpxOJ6dPn6alpYWenh7AvIiT+fleV6Zu37MYWfpbUlxcTHNz84yvj46O0tfXR0pKCps3b07CZNHLXgGPZIZugJdom/RSeFGydMSz+eyzzwgGgxQVFbF8+czTtG+//TYAXV1d036fl5fHtm3bEjdoGDYbPFUU+nhgQrdL6N5bsvg8lBFfuHABmP1Qet++fWF///LLL/PWW2/Fdbb5eDwfms/DA95tirniNbrn1mKliMNY7LcdS18Gz5ZC028Ss73UFKj9/cRsSyJn2RNbDzJXxCZ45tuwLjsx23q2FB5dmZhtSeQeyj3xveuqTZaSAn+0A068F7oX1nzcu4AjkjuC5K+GXZsin08SR7esNdyVL+CfW2HibuzXvSYLDn0PlqfFft0SO4rYAq7+Fn7y/td/11Is5GfDK88oYBMoYov4cgz+9VfwqWdh60lNge+Xwvc2hf5dFj9FbCHBIHT2wXufwhcRXgxiA769Bmq3hA6jxRyK2IKCwdCtdNouweUvHnw3jtUO2JwDTxVCtmP25WTxUsQWFwyGDrU9Q6F7c92dgiWp4MwIfZjCvjTZE8pCKWIRw+nUhYjhFLGI4RSxiOEUsYjhFLGI4RSxiOEUsYjhFLGI4RSxiOEUsYjhFLGI4RSxiOEUsYjhFLGI4RSxiOEUsYjhFLGI4RSxiOEUsYjhFLGI4RSxiOEUsYjhFLGI4RSxiOEUsYjhFLGI4RSxiOEUsYjhFLGI4RSxiOEUsYjh/g8/qKM66PIwFgAAAABJRU5ErkJggg==\n"
          },
          "metadata": {},
          "execution_count": 41
        }
      ]
    },
    {
      "cell_type": "markdown",
      "source": [
        "### Inversione del primo stato"
      ],
      "metadata": {
        "id": "TC0k0DmV6VoG"
      }
    },
    {
      "cell_type": "code",
      "source": [
        "qc = QuantumCircuit(2)\n",
        "qc.h(0)\n",
        "qc.cx(0, 1)\n",
        "qc.barrier()\n",
        "qc.cx(0, 1)\n",
        "qc.h(0)\n",
        "qc.draw(output=\"mpl\")"
      ],
      "metadata": {
        "colab": {
          "base_uri": "https://localhost:8080/",
          "height": 191
        },
        "id": "jT6iiKwG0Toy",
        "outputId": "b5595e17-5856-4c31-fdea-053a61fdc553"
      },
      "execution_count": 47,
      "outputs": [
        {
          "output_type": "execute_result",
          "data": {
            "text/plain": [
              "<Figure size 538.128x200.667 with 1 Axes>"
            ],
            "image/png": "iVBORw0KGgoAAAANSUhEUgAAAbIAAACuCAYAAABTEIhIAAAAOXRFWHRTb2Z0d2FyZQBNYXRwbG90bGliIHZlcnNpb24zLjcuMSwgaHR0cHM6Ly9tYXRwbG90bGliLm9yZy/bCgiHAAAACXBIWXMAAA9hAAAPYQGoP6dpAAAWr0lEQVR4nO3dfXBV9Z3H8ffNA9yQJwhBghAICQmEkIBFUhGlhcUKQqhO1dJaW6Zs3R1rYV1r6My6o8yyq7jOdlftdHUd607Hsliwuwgs3Sp2wKgI8iCSRAgkkIRcJYSEkCfycPePo1EkkXtvzr3nnnM+r5nMlXvPwzc5x/O553d+53c8fr/fj4iIiE3FWF2AiIjIUCjIRETE1hRkIiJiawoyERGxNQWZiIjYmoJMRERsTUEmIiK2piATERFbU5CJiIitKchERMTWFGQiImJrCjIREbE1BZmIiNiagkxERGxNQSYiIramIBMREVtTkImIiK0pyERExNYUZCIiYmsKMhERsTUFmYiI2JqCTEREbE1BJiIitqYgExERW1OQiYiIrSnIRETE1hRkIiJiawoyERGxtTirCxCRoamsrAx42k8++YRXXnmFu+++m2uuuSbg+aZNmxZKaSIRoTMyERc5e/Ysv/rVrzh79qzVpYiYRkEmIiK2piATERFbU5CJiIitKchEXCQ1NZWSkhJSU1OtLkXENB6/3++3uggRCV0wvRZDpV6LEs10RibiIl1dXZw6dYquri6rSxExjYJMxEWqqqpYvHgxVVVVVpciYhrdEB2F/H641Gt1FcEZFgsej9VViDiHjgOBU5BFoUu9sHaT1VUEZ8N3Ybj2JhHT6DgQODUtioiIrSnIRETE1tQYJOIiBQUFVFRUWF2GiKl0RiYiIramIBNxkerqalasWEF1dbXVpYiYRkEm4iLt7e0cPnyY9vZ2q0sRMY2CTEREbE1BJiIitqYgExERW1OQibjI+PHj2bBhA+PHj7e6FBHT6D4yERcZOXIky5cvt7oMEVPpjEzERZqamnj55ZdpamqyuhQR0yjIRFykoaGB9evX09DQYHUpIqZxfJA1NjZSWlrKlClT8Hq9ZGZmsmbNGtra2li1ahUej4dnn33W6jIlzHp64cQn8EEtVJyB821WVySR1t4FHzUY+8BHDdBxyeqKxCyOvkZ26NAhlixZgs/nIzExkenTp3PmzBmefvppTpw40d+8MmvWLGsLDZO68j+z5Z8WcNP3/pnZS38+4DT/9gMPWbOW8u2fb4twdZHR0gFlx+CdKmjt/Px9DzB9PNw8FaaNs6w8iYAz52H3R/B+DXR/4flew2Jh9mSYPxXGjbSquvBzw3HAsUHW2NhISUkJPp+Phx56iEcffZTk5GQAnnzySdauXUtcXBwej4eioiKLq5VwqGuC59+EC51XfuYHjtYbPwvzoeQ6PRjUifZXw8Z3obfvys8u9RpfcN47CT+4Ea6bFPn6xByObVpcvXo1dXV1PPDAAzz11FP9IQZQWlrKzJkz6enpISsri5SUFAsrlXA42wq/3jVwiH3ZrgrYeST8NUWDxMRE5s2bR2JiotWlhN2HdfDy2wOH2Bf19sFvy4wmZ7EnRwZZRUUFmzZtIj09nccff3zAaWbPng3AzJkzL3u/urqa5cuXk5yczKhRo/jhD3/IuXPnwl6zmGvbIWjrCnz6/zsC5y6GrZyokZWVxQsvvEBWVpbVpYRVbx/8/j3jzDsQfX7YvA/6rhJ6Ep0c2bS4ceNG+vr6uOeee0hKShpwmoSEBODyIGttbWXBggWkpaWxceNGOjo6KC0tZdmyZZSVlRETY8/c77nUTkdro9VlRExLOxypDW4eP/D2caOJ0cl6e3vp6OggISGB2NhYq8sJmw/rjOujwTh3ESobjGunTuTk44Ajg2zXrl0ALFiwYNBp6urqgMuD7Pnnn6e+vp7du3czceJEACZMmMCNN97I1q1buf3228NXdBi9u+VR3t3yqNVlRMz7NcY37GDtO+n8IKusrOTOO+9k8+bNFBQUWF1O2OwL8Sk17510bpA5+TjgyCA7deoUAJMmDXz1tqenh7KyMuDyINu2bRs33XRTf4gBzJ07l+zsbF577bWQg+z666/H5/MFPH1sfAJ3rD8e0roGMmPBfeR+/a4BP/vDE7eYso683Fx6u4P8ChwmM0vWkXvTqqDnu9AJmROz8Pf1hKGq8Fm5cmXA0352/9iOHTs4ePBgwPO99NJLQVZlrb9Y/b+MGl8Y9Hxv7HmfR7737TBUFDy3HQcyMjLYv39/SPM6Msja2oybhDo6Bv6Dbtq0icbGRpKTk5k8eXL/++Xl5dx115UbuqCggPLy8pDr8fl81NfXBzx93PARIa9rICMzcpk4Y5Gpy/yyMw1n6OmKjmdc5VxsDXne+vo6/H29V58wigTzbLHOzs7+12DmC2b/jQbd3d0hzdfV1RU1v6uOA4FzZJBlZGRw/vx5Dhw4wNy5cy/7rKGhgYcffhiAoqIiPF/oc33+/HlGjhx5xfLS0tL46KOPhlRPMGLjE0Jel1WuHXdt1JyRxfRcCGm+jgs+rh0X3LaKBiNGBH7A83q9/a/BzGe3QYa72z4Jab7ejsao+V3ddhwI9jj5RY4MskWLFlFRUcGGDRu45ZZbyMvLA2Dfvn3ce++9NDYaFzwjdSN0sKfLXT2wdlOYigmTY8ePMzxK9qaWDlj3h+Cvky2fm8Fzn147tZPKysqApz169Cgvvvgit912W1DXyNavXx9KaZb5oBZe3B38fOv/Zjn5T0bHoMo6DgTOnt3wrqK0tJTRo0dTW1tLQUEBhYWF5ObmUlxcTHZ2NgsXLgSu7Ho/atQompubr1heU1MTaWlpkShdTJCaAEWZwc3j8cDcKeGpJ5rk5eVRVlbW/+XOqQrGw8ggW+ZGJ8FUjfJiS44MsgkTJrBnzx6WLl2K1+ulpqaGtLQ0nnvuObZv386xY8eAK4MsPz9/wGth5eXl5OfnR6R2MUfJdZDkDXz6xYWQNvCdGo4SHx9PWloa8fHxVpcSVrExcFexMRRZIGI8cHex8Sr248ggAyOUtm3bRmtrK62trezdu5f77ruPtrY2ampqiImJYcaMGZfNs2zZMt56663+rvkAe/fu5cSJE5SUlET6V5AhGJ0E9y80zs6u5pYC+NaMq0/nBKdPn+b+++/n9OnTVpcSdgXj4d55Rqh9lbhYWHmzzsbszOP3+0O448a+9u7dyw033MDUqVOvuLZw4cIFCgsLSU9PZ926dXR2dlJaWsqYMWN45513InZDtB3bxjd8l6i5RvZFrZ3Gjc5vH7/yBtmiTLg5D3Lt17/jMsFeIwvlPrJp06aFUlpU8LUYgwbvr4ZLX7izYngczMk29oGxqdbVNxgdBwIXhYee8DpyxBhU78vNigApKSns2rWLNWvWsGLFCuLi4li2bBm//OUvbTuqh9sle+HWQlhUAKfPwX/8GdovGe//eL7V1UkkZKQazYbLr4N/+G9ouwSJw+Dvbwevs1tYXUNB9iU5OTls22bPRxnI4GJjYPIYiP90VCZdC3Efb7zRjAjGq0LMOVx3mnG1IBMREXtx3RnZZ+MwirjR2LFjWbt2LWPHjrW6FBHTuC7IRNwsPT09qLEZRezAdU2LIm7W0tLCzp07aWlpsboUEdMoyERcpK6ujgcffPCyeyVF7E5BJiIitqYgExERW1OQiYiIrSnIRFzE6/WSn5/f/1wyESdQ93sRF8nJyeHVV1+1ugwRU+mMTEREbE1BJuIi5eXlFBUVDfjcPRG7UpCJuIjf76e7uxuXPb1JHE7XyKLQsFjjuT52MizW6gpEnEXHgcApyKKQxxOdD6kUkcjRcSBwaloUERFbU96LuEhOTg5bt24lMzPT6lJETKMgE3ERr9dLbm6u1WWImEpNiyIuUl9fzyOPPEJ9fb3VpYiYRkEm4iLNzc1s2bKF5uZmq0sRMY2CTEREbE1BJiIitqYgExERW1OQibhITEwMc+bMISZG/+uLc2hvFnGRvr4+9u3bR19fn9WliJhGQSYiIramIBMREVtTkImIiK0pyERcJDU1lZKSElJTU60uRcQ0GmtRxEUmTJjAk08+aXUZIqbSGZmIi3R1dXHq1Cm6urqsLkXENAoyERepqqpi8eLFVFVVWV2KiGkUZCIiYmsKMhERsTUFmYiI2JqCTEREbE3d70VcpKCggIqKCqvLEDGVzshERMTWFGQiLlJdXc2KFSuorq62uhQR06hpURztQgfUNhk/5y5C+yXj/Y5L8O4JyEyDjFSIdclXuvb2dg4fPkx7e7vVpUSE3w+NF6H2HNSd/3z7t1+C1w7ChDRjHxidBB6PtbVK6BRk4jjdvXD4NLx1DGoaB57mUi/817vGf48YBl/PgXm5kJ4cuTolfC52wnsnoey48QXmy7p74Y3yz/+dnmxs/+JsSBweuTrFHAoycQy/H/ZXw/8cgItBjMDUfgnerDB+rpsE37kekrzhq1PCp6cX/njE2JY9QTw7tLHV2G92HIaF0+GWAoiLDV+dYi4FmThCSwe8sheO1g9tOQdPwXEf3FkMsyaaU5tExulz8Lt3wNcS+jK6Pw3CI7Xw/blG06NEP4/f7/dbXYTIUPha4NdvGGFmplsLYXFh9F87qaysDHja5uZmdu/ezfz58xk5cmTA802bNi2EyiLng1r4z7egN4izsKuJj4WVN0PBePOWKeGhIBNb++QCPP0n45pIONxaCEuKwrNsswQTZKGK5iA7Ugu/2QN9YTiSxXjgL78B0xVmUc0lfbXEibq64fk3wxdiYDQz7XdQT/WmpiZefvllmpqarC7FFGfOG2di4QgxMJb7mz3w8RCaKyX8FGRiW68dMrpWB+NvF8NjdxivgXp1v/nNllZpaGhg/fr1NDQ0WF3KkPX2we/eDa5TRyjbv7vXWE+fic2WYi5XBFljYyOlpaVMmTIFr9dLZmYma9asoa2tjVWrVuHxeHj22WetLlOCUPWx0b0+WCkJMHKE8Rqo9kvw+/eCX5eE1xvlUBfkiWUo2x/gVCP8OfwtuBIix/daPHToEEuWLMHn85GYmMj06dM5c+YMTz/9NCdOnOhvYpk1a5a1hUpQ/ngksuv7sM44aKoXW3To6oFd5VefzkxvlMPNU41OIBJdHH1G1tjYSElJCT6fj4ceeoiGhgYOHDiAz+djw4YNbN++nX379uHxeCgqivIr+tLv4xY4/nHk11t2PPLrlIEdqIHO7sius63LuNFeoo+jg2z16tXU1dXxwAMP8NRTT5Gc/PmwDaWlpcycOZOenh6ysrJISUmxsFIJxttV1qz3/erIHzzNlpiYyLx580hMTLS6lCF526IvFWUhNGdL+Dk2yCoqKti0aRPp6ek8/vjjA04ze/ZsAGbOnNn/3mfBV1xczPDhw/FE+01ELlRlwdkYGMNanT5nzbrNkpWVxQsvvEBWVpbVpYSss9sYO9MKp87BpR5r1i2Dc2yQbdy4kb6+Pu655x6SkpIGnCYhwbji+8Ugq6qqYsuWLWRkZDBnzpyI1CqB6+6Fhmbr1h9s54Jo09vby8WLF+nt7bW6lJBZuQ36/HCm2br1y8AcG2S7du0CYMGCBYNOU1dXB1weZPPnz6ehoYGtW7eyaNGi8BYpQWtoDt89Q4Gw6kzALJWVlcyZMyciN1GHi9VfJqxev1zJsb0WT506BcCkSZMG/Lynp4eysjLg8iCLiTE/26+//np8Pp/py3WjjKkLuOnHvx3ws79dfPVu1Snez18fu2Pw6S50wL/svPL9na/v5u9WfD/AaiNj5cqVAU/72f1jO3bs4ODBgwHP99JLLwVZVfjMuHUt0xb+bMDPrrYPBLr9YfB9YN0/PkXFG/8aWLESsIyMDPbv3x/SvI4Nsra2NgA6Oga+k3XTpk00NjaSnJzM5MmTw1qLz+ejvn6Io9kKAMPGDj7Ewmf3CAUiJibwab+ou8cfddsymGeLdXZ29r8GM180/c6TOwYfyiXQfSDU7Q/Q1t4ZVX8PcXCQZWRkcP78eQ4cOMDcuXMv+6yhoYGHH34YgKKiorB36MjIyAjr8t1kVOrgDwy7EMDoGyle4yDW1wcXvmJoq8GWFRfrZ/z46Bp4b8SIwI/IXq+3/zWY+aLpdx7hHTboZ1fbBwLd/l+1rBEJw6Lq7+EUQzlOOnbQ4NWrV/PMM8+QmZnJ66+/Tl5eHgD79u3j3nvv5eTJk3R3d/PTn/500FE9HnvsMdatW4dD/0S29HELPL4t9Pkfu8P4Jt7cDo/9Ifj5b8iBFTeEvv5wCOZ619GjR7nzzjvZvHkzBQUFAc8XTYMGv1MFm/aGNu9Qtz8Yj3cpzg5tXgkPx3b2KC0tZfTo0dTW1lJQUEBhYSG5ubkUFxeTnZ3NwoULgcuvj0n0G5MCwy1sR8i0+cgeeXl5lJWV9X+xsyOrR1ex+z7gRI4NsgkTJrBnzx6WLl2K1+ulpqaGtLQ0nnvuObZv386xY8adjQoye4nxwPhR1q0/c7R16zZDfHw8aWlpxMfHW11KyMalQqxFR65hsTBWYydEHcdeIwPIz89n27Yr26EuXrxITU0NMTExzJgxw4LKZChmTICTZyO/3tQEa0PUDKdPn+aJJ57gF7/4BRMn2vMR2HGxMG3c0J8GHor8a41rbBJdXLlJjh49it/vJzc3d8AL3ps3b2bz5s2Ul5df9u9Qu4aKuYqzIc6CPXdurnVnAmZpbW3lzTffpLW11epShmRerjXrvcm+LbKO5ugzssEcOWIMnT5Ys+Jdd9014L9/9KMfRdX9NG6V5IVZkyL7wMsYD8zNidz65KtNuxZGJ8G5IJ9HNxTXpMCUsZFbnwROQTYA9VKMfkuK4IPayI17t3A6pIZ435GYL8YD3/4avLg7cuu8/WugoVejk80bSkJztSCT6Dc6CZZfF5l1ZaTC4sLIrEsCV5QJXxt44B7TFWfDdN06FrVceUb22TiMYm835kJ5PZSfCXyez25yDeTmaTAeovj9uUYHAycYO3Ysa9euZexYZ7SRfWcOVJ+F8wEOUhLs9gfjS9Pts4OvTSLHsTdEizt09cC/7zIOZmaLjYFV86P/m3gkBgCOphuiv+zsBXjmT1cfqSMUqQmw+ltGmEn0cmXTojjH8Dj46wUwdZz5y73vm9EfYsFqaWlh586dtLQMPmal3YxJgZ+FIWzGJCvE7EJBJrY3PB7+6ptG80+8CU2AeRmwdqn54RgN6urqePDBB/sfYeQUY5Lh4dtg7hRzlndzHvx8iULMLlx5jUycJyYGvjkNCq6FrQfhw3oIttF8dBIsKjDGU1TvNPvxxsN3vw6zJsKOw8bTnIM1OR1umwW5zriE6BoKMnGUMSmw6htwvs0YXPaDWvj4wuChljgcsscYHUemjjO6dYu9TR1n/NSeg7Lj8FHDV3cGGZVojBQyL9f6cRwlNAoycaRRiXDbTOOnqwfqm6DxIvT0Gp04EobBhFHGdDr7cqbM0bDi07ExL3YaT/e+0AG9fUYv1JQEYx9I8lpbpwydgkwcb3gcZF9j/Lid1+slPz+//7lkbpHkNcZJFGdS93sRm3N793sR9VoUERFbU5CJuEh5eTlFRUX9T3YQcQIFmYiL+P1+uru7NTC2OIqCTEREbE1BJiIitqYgExERW9N9ZCIukpOTw9atW8nMzLS6FBHTKMhEXMTr9ZKbm2t1GSKmUtOiiIvU19fzyCOPUF9fb3UpIqZRkIm4SHNzM1u2bKG5udnqUkRMoyATERFbU5CJiIitKchERMTWFGQiLpKens5PfvIT0tPTrS5FxDR6jIuIiNiazshERMTWFGQiImJrCjIREbE1BZmIiNiagkxERGxNQSYiIramIBMREVtTkImIiK0pyERExNYUZCIiYmsKMhERsTUFmYiI2JqCTEREbE1BJiIitqYgExERW/t/XzyUpjd/ngAAAAAASUVORK5CYII=\n"
          },
          "metadata": {},
          "execution_count": 47
        }
      ]
    },
    {
      "cell_type": "code",
      "source": [
        "array_to_latex(get_state(qc), prefix=\"INV1=\")"
      ],
      "metadata": {
        "colab": {
          "base_uri": "https://localhost:8080/",
          "height": 38
        },
        "id": "te1Mm0p06Y1m",
        "outputId": "33f54de8-adbc-4905-937e-4285e4c58cd5"
      },
      "execution_count": 48,
      "outputs": [
        {
          "output_type": "execute_result",
          "data": {
            "text/plain": [
              "<IPython.core.display.Latex object>"
            ],
            "text/latex": "$$\nINV1=\n\\begin{bmatrix}\n1 & 0 & 0 & 0  \\\\\n \\end{bmatrix}\n$$"
          },
          "metadata": {},
          "execution_count": 48
        }
      ]
    },
    {
      "cell_type": "markdown",
      "source": [
        "### Inversione del secondo stato"
      ],
      "metadata": {
        "id": "6qgiS1Xm6dRE"
      }
    },
    {
      "cell_type": "code",
      "source": [
        "qc = QuantumCircuit(2)\n",
        "qc.x(0)\n",
        "qc.h(0)\n",
        "qc.cx(0, 1)\n",
        "qc.barrier()\n",
        "qc.cx(0, 1)\n",
        "qc.h(0)\n",
        "qc.draw(output=\"mpl\")"
      ],
      "metadata": {
        "colab": {
          "base_uri": "https://localhost:8080/",
          "height": 191
        },
        "id": "MY9N26oE6aUA",
        "outputId": "597e7b3c-8285-4445-c789-7b5871fd181e"
      },
      "execution_count": 49,
      "outputs": [
        {
          "output_type": "execute_result",
          "data": {
            "text/plain": [
              "<Figure size 621.739x200.667 with 1 Axes>"
            ],
            "image/png": "iVBORw0KGgoAAAANSUhEUgAAAfIAAACuCAYAAADNqo/oAAAAOXRFWHRTb2Z0d2FyZQBNYXRwbG90bGliIHZlcnNpb24zLjcuMSwgaHR0cHM6Ly9tYXRwbG90bGliLm9yZy/bCgiHAAAACXBIWXMAAA9hAAAPYQGoP6dpAAAZGUlEQVR4nO3dfXAU953n8ffMSDBCCIGQjQAJBEJCQiBweDAPXlywcIsNOA9rHLLYsVO++LYSx8QmCFedqzapo86R14l3ObtunaU41lmHxWccl4K8TnIhu4BsE2wejJFkEJEQehiDLAmEnkAzfX9MUCwjmRmpZ3p6+vOqUgk0/ev+atTTn3749a9dhmEYiIiIiC25rS5AREREhk5BLiIiYmMKchERERtTkIuIiNiYglxERMTGFOQiIiI2piAXERGxMQW5iIiIjSnIRUREbExBLiIiYmMKchERERtTkIuIiNiYglxERMTGFOQiIiI2piAXERGxMQW5iIiIjSnIRUREbExBLiIiYmMKchERERtTkIuIiNiYglxERMTGFOQiIiI2piAXERGxMQW5iIiIjSnIRUREbExBLiIiYmMKchERERtTkIuIiNhYgtUFiIgMR1VVVcjTXrx4kddee40HHniA22+/PeR2+fn5QylNJCp0RC4ijnHp0iVeeuklLl26ZHUpIqZRkIuIiNiYglxERMTGFOQiIiI2piAXEcdITU1l/fr1pKamWl2KiGlchmEYVhchIjJU4fRaHyr1WpdYpiNyEXGMnp4ezp8/T09Pj9WliJhGQS4ijlFdXc2aNWuorq62uhQR02hAmBhkGAadAb/VZYRllNuDy+UybX6GAdfs9RYwwgMmvgUijqZtQOgU5DGoM+Bn3IHfWl1GWFpXribZY97qdM0P2/aaNruoKPk6jNQnSsQU2gaETqfWRUREbExBLiIiYmM6ESgijlFYWEhlZaXVZYiYSkfkIiIiNqYgFxHHqKmpYePGjdTU1FhdiohpFOQi4hidnZ2cPHmSzs5Oq0sRMY2CXERExMYU5CIiIjamIBcREbExBbmIOMbkyZMpKSlh8uTJVpciYhrdRy4ijjF27Fjuu+8+q8sQMZWOyEXEMVpaWnj11VdpaWmxuhQR0yjIRcQxmpqa2L59O01NTVaXImKauA/y5uZmiouLmTFjBl6vl6ysLDZv3kxHRwePPvooLpeLF1980eoyRSLuk8twugE+qoe6TyFgWF2RRFPAgNrm4N+/ogEuXrG6IjFLXF8jP3HiBPfccw8+n4/k5GRmzZpFY2MjO3bs4Ny5c32n1+bNm2dtoRHk37WbwL+9huep7+Ne81/6vWYYBv6tT2NUVpLw4g5c07KtKTKC6iv+g33/cwV3fePvmb/2BwNO848Pusiet5Yv/2B/lKuLvEAAjp+Hw2eh5lL/125LgWW5sHgGeBOtqU8ir+savFsN75yF5qv9X8u5PbgOzJsKbgueox0NTtgGxO0ReXNzM+vXr8fn87Flyxaampo4duwYPp+PkpISysrKOHr0KC6Xi6KiIqvLjRj3Q5sgeyr+l/8Z41Jzv9cCb7yJ8eEp3A89GJch7nTX/bD7MPz8nZtDHOBSO7x5DHb8Bto00Flcau2Af/g1lB6/OcQBzl2EV8rhlcPQ649+fWKOuA3yJ554gvr6eh5//HGef/55UlJS+l4rLi5m7ty59Pb2kp2dzZgxYyysNLJciYkkbN0C3d34f/oPfT83LtQT2P0KrvyZuDf8tXUFSkQEDPjXd+DDC7eetrEN/ukAdF6LeFmWS05OZtmyZSQnJ1tdSsR19MD/PgCfhHAK/UQd7HkPDF1usaW4DPLKykr27t1Leno6zz777IDTzJ8/H4C5c+f2+3lNTQ333XcfKSkpjBs3jm9+85t8+umnEa85kly5M3BvfADjg2MEyv4dw+/H/9zzYBh4tm7B5fFYXaKYrKoRTtaFPr3vMhysilw9sSI7O5udO3eSnZ1tdSkR9/vK8K6Df1AL1Z9ErByJoLi8Rr5nzx4CgQCbNm1i9OjRA06TlJQE9A/y9vZ2VqxYQVpaGnv27KGrq4vi4mLWrVtHeXk5brd993vcm75B4N0j+P95J+5zf8T4+Azux/4rrqxMq0uLit5rnXS1N996wjhRfjb8Nu9Ww+rZ4LHvan5Lfr+frq4ukpKS8MTxDmyvH96rDr/d4bOQm2F+PbEgnrcBcRnkBw4cAGDFihWDTlNfXw/0D/Kf/exnNDQ0cPDgQaZMmQJAZmYmS5cupbS0lK985SuRKzrCXAkJJGx9it7vfZ/A/jJcswtxf+0rVpcVNe/t+zve2/d3VpcRFe3dwV7J4brcBWd8UDDJ/JpiRVVVFffffz+vv/46hYWFVpcTMRWNcLUn/HanLgQvsYwaYX5NVovnbUBcBvn58+cBmDp16oCv9/b2Ul5eDvQP8v3793PXXXf1hTjAkiVLmD59Or/61a+GHOQLFizA5/OFPL0xYgS8/NKQlvWFkpMhMRF6e3EtXIDLxDMMebl5uK6Zd5HVk5jEV7cP4bByELNXPEbunRsGfO2XP15tyjLycnPxX+8yZV7DkTpxFqu//5shtX3s8WJq/vALkyuKrEceeSTkaW/cP/7WW29x/PjxkNvt3r07zKqslbP0W9zx5f8RdruAAfPvvJv2S+ciUFV4nLYNyMjI4P333x9S27gM8o6ODgC6ugZ+Q/fu3UtzczMpKSlMmzat7+cVFRVs2HDzH7qwsJCKiooh1+Pz+WhoCOMQyTsSs+8GMgwD/09egN7rMCWLwC/+Dffdy3FNmmjK/BubGqF7CIcAg0gYOcq0eQGMzchlyuxVps7z8xqbGuntsb77d49n/JDbtra2hLeuxoBwni3e3d3d9z2cdnZ7T8a3tQ65re8TH21N1v++2gaELi6DPCMjg9bWVo4dO8aSJUv6vdbU1MTWrVsBKCoqwuX6882Tra2tjB079qb5paWl8fHHHw+rnnAYI0YwwN1CwxJ4sxTj5Ie4v/Uw7iWL6f3u9/D/5AU8z5f0ew+GatLESaYfkdvNpImTYuKIfITXwAj4cbnDvwY80tVluweKjBoV+gbf6/X2fQ+nnd3ekxEMLUwC/uukjnKTHAO/r9O2AeHmxGfFZZCvWrWKyspKSkpKWL16NXl5eQAcPXqUhx56iObmYIeHaA0EE+7pkg5/L+MO/Na05RsNDQR27cY1Mw/3A/fj8nhwP7iJwP/5FwJvluL56peHvYwzZ8+Q7DFvderphW17TZtdVJw5e5aRMfKJ2vmfwRG8wpGaBH/4f6/arrNbVVXo3e1Pnz7Nrl27uPfee8O6Rr59+/ahlGaZXj/88E242h1euy9NS2RHdWVEagqXtgGhs9lHNjTFxcWMHz+eCxcuUFhYyJw5c8jNzWXRokVMnz6dlStXAjffejZu3Dja2tpuml9LSwtpaWnRKN10RiCA/+9/CoEAnq1P9d1q5n7gflx5uQR27cZo1LjT8WZZbvhtlubGd491gLy8PMrLy/t27uNVggeW5ITf7q74flviVlx+bDMzMzl06BBr167F6/VSW1tLWloaL7/8MmVlZZw5cwa4OcgLCgoGvBZeUVFBQUFBVGo3W+D1NzAqKnE//CCuz3Tic3k8eH7wFAT8+H/yAoZGgogrMyfCHQP39RzQpLFwd37EyokZiYmJpKWlkZgY/2PSrpgFGamhT79wenDIVrGfuAxyCIby/v37aW9vp729nSNHjvDYY4/R0dFBbW0tbreb2bNn92uzbt06Dh8+3HdrGsCRI0c4d+4c69evj/avMGxGXR2Bf/k5roJ83H/9tZted2VPxf3gJoxTHxF4s9SCCiVS3C7YtATmTbn1tJnj4L+tdMZ463V1dXznO9+hri6M0XJsatQI+NuVMHHsraednw1fXwQmdJcRC7gMhx2KHTlyhMWLFzNz5sybrq1duXKFOXPmkJ6ezo9+9CO6u7spLi7mtttu4913343agDBmXyOPhtaVqx1/jbzk68TMNfIbAgZ8WBcc6OPzo3ZlpAZPwS/Kib26wxHuNfKh3Eeen2/f0xXd1+HIueAgQZ8f6S0vI7gOFGXFXohrGxA6G398h+bUqVPAzafVAcaMGcOBAwfYvHkzGzduJCEhgXXr1vHCCy/YelQ3cS63K/hkq3lT4dIVeOHXwQE/Ro+EbWtjb+Mt5vMmBi+bLJ8J9S3B8ddvrAPf+UurqxMzKMg/Jycnh/377fkoO5EvctsYSPzTHWket0LcaVwuyBrffx2Q+OC4P+WtglxERMROHHdEfmMcdhFxngkTJrBt2zYmTJhgdSkipnFckIuIc6Wnp4c1NruIHTju1LqIONfly5d5++23uXz5stWliJhGQS4ijlFfX8+TTz7Zb6wIEbtTkIuIiNiYglxERMTGFOQiIiI2piAXEcfwer0UFBT0PZdcJB7o9jMRcYycnBzeeOMNq8sQMZWOyEVERGxMQS4ijlFRUUFRUREVFRVWlyJiGgW5iDiGYRhcv34dhz29WeKcrpHHoFFuD60rV1tdRlhGuT2mzm+EJ/hsXzsZYe5bIOJo2gaETkEeg1wuF8keZ/9pXC4Y6ey3QMTRtA0InU6ti4iI2Jj2d0TEMXJycigtLSUrK8vqUkRMoyAXEcfwer3k5uZaXYaIqXRqXUQco6GhgWeeeYaGhgarSxExjYJcRByjra2Nffv20dbWZnUpIqZRkIuIiNiYglxERMTGFOQiIiI2piAXEcdwu90sXLgQt1ubPokfWptFxDECgQBHjx4lEAhYXYqIaRTkIiIiNqYgFxERsTEFuYiIiI0pyEXEMVJTU1m/fj2pqalWlyJiGo21LiKOkZmZyXPPPWd1GSKm0hG5iDhGT08P58+fp6enx+pSREyjIBcRx6iurmbNmjVUV1dbXYqIaRTkIiIiNqYgFxERsTEFuYiIiI0pyEVERGxMt5+JiGMUFhZSWVlpdRkiptIRuYiIiI0pyEXEMWpqati4cSM1NTVWlyJiGp1aF4lj13qhsQ3qW6CxFTqvBX/eeQ0OVEBmWvBr1AhLy4yazs5OTp48SWdnp9WlRE1nD1xoCX5dvPLndaDrGhw+A1lpMGkcJHqsrVOGTkEuEocufAqHzsDx83Ddf/Pr1/1Qejz4bxdQMAnuyoP8SeB2RbVUiYBAACoag0Fd1TTwNNf88PrR4L9HeOBL2cF1IDMtamWKSRTkInHk4hXYewTOXQy9jUFwo1/RCLelwAOLIDcjYiVKhFU1wf/9A3x6NfQ21/zw3rngV15GcB1IT4lcjWIuBblIHAgYcLAKyk4OfAQeqkvt8NLvYFku3HcHjEw0r0aJrO7r8OYHwTAejjM+eK4M1t0RPELXGZrY5zIMw7C6CBEZOn8A/vWd4Gl0M2Wmwd+ugNFec+drtqqqqpCnbWtr4+DBgyxfvpyxY8eG3C4/P38IlUXPlS74pwPB/hBmWjgdNt4JHnWLjmkKchEbCwTglXI4UReZ+U8cC99bBaNGRmb+ZggnyIcqloP8ajf8r9/CJ1ciM//52bBpqY7MY5n2s0Rs7K0PIxfiAE1tsPswxMvufktLC6+++iotLS1Wl2KKgAG7DkYuxAE+qIXfnIrc/GX4dI1cxKZqm+F3FeG1eWoNjEkKnor96duhtTnjg3fOwrK88GuMNU1NTWzfvp158+aRlmb/7tkHP4Y/XgqvzVDWgd98BLMz1aM9VjniiLy5uZni4mJmzJiB1+slKyuLzZs309HRwaOPPorL5eLFF1+0ukyRkPX6Yc+74R8pj0mCsaOC38NRehxawugFLZHX3A5lJ8JvN5R1IGDAL94L9seQ2BP3R+QnTpzgnnvuwefzkZyczKxZs2hsbGTHjh2cO3eu7xTbvHnzrC1UJAwn6iJ7OvXzenrhP6rgawuit0z5YgcqhneHQrgaW+Gjepg7JXrLlNDE9RF5c3Mz69evx+fzsWXLFpqamjh27Bg+n4+SkhLKyso4evQoLpeLoqIiq8sVCVn5megv8w9/DAa6WK/rGrxfG/3lHrZgvZNbi+sgf+KJJ6ivr+fxxx/n+eefJyXlzyMcFBcXM3fuXHp7e8nOzmbMmDEWVioSusZWqGmO/nK7r8Px2ugv10zJycksW7aM5ORkq0sZlg9qg8PvRtvZT4KDDklsidsgr6ysZO/evaSnp/Pss88OOM38+fMBmDt3bt/PbgT/okWLGDlyJC6X7rmQ2HL2E+uWXW3hss2QnZ3Nzp07yc7OtrqUYdE6IJ8Vt0G+Z88eAoEAmzZtYvTo0QNOk5QU7O3x2SCvrq5m3759ZGRksHDhwqjUKhKOegvvnLpg87u2/H4/V69exe+P4sXlCNA6IJ8Vt0F+4MABAFasWDHoNPX19UD/IF++fDlNTU2UlpayatWqyBYpMgT1rdYt++IVe18nr6qqYuHChVEZRCZSOnvCG0fdbFbuRMjA4rbX+vnzwfEqp06dOuDrvb29lJeXA/2D3O02f99mwYIF+Hw+0+crzrT2v39A0pgJA7524x7hwYzx/vn7D786+HSD3WNsALPnLqTr8iCP1LLAI488EvK0TU3But966y2OHz8ecrvdu3eHWVXkjB4/jTXFhwZ87VZ/fxj+OlBVfYHMzCUhViuhysjI4P333x9S27gN8o6ODgC6uroGfH3v3r00NzeTkpLCtGnTIlqLz+ejoaEhossQB3EN/uDoG/cI34rbHdp0A7l46VOuXIqd9TmcZ4t3d3f3fQ+nXSx9ftOMwTvmhvr3h6GvAwbumHo/JI6DPCMjg9bWVo4dO8aSJf33Hpuamti6dSsARUVFEe/QlpGhZ0KKiQKDn9u+MvB+a58x3uAGPBCAK92DT/dF87ktPY2UEdduUWT0jBoVehp5vd6+7+G0mzx5cth1RUpy2thBX7vV3x9MWAeM3ph6P+LFcHIiboN81apVVFZWUlJSwurVq8nLC44vefToUR566CGam4P370RjIJihni4RGcgLv4bzg9x+dqshN3/41eBR2JVu+OEvw192ghs+/uj9mHoaVjjXu0+fPs2uXbu49957KSwsDLnd9u3bh1JaRFzrhadfC4629nmhDLk63HVg3qyp7PxT/yKJDTH0cTRXcXEx48eP58KFCxQWFjJnzhxyc3NZtGgR06dPZ+XKlUD/6+MidpBl4XjXk8bZ+5GWeXl5lJeX9+3Y29GIBMhItW75Vq5/MjAbfyS/WGZmJocOHWLt2rV4vV5qa2tJS0vj5ZdfpqysjDNngkMUKcjFbqzckNp9I56YmEhaWhqJiYlWlzIsVj68RA9OiT1xe2odoKCggP3799/086tXr1JbW4vb7Wb27NkWVCYydPmTgs+GHujUaqQV2vzSaF1dHT/+8Y95+umnmTLFvoOGz84MDpkbbR43zFSXn5gT10E+mNOnT2MYBnl5eQN2eHn99dcBqKio6Pf/7OxsFizQUyPEWqlJUJQV2eeQD2T86OBOhJ21t7fz+9//nu9+97tWlzIshZOD68HlEDq3memOqTDaG91lyq05MshPnToFDH5afcOGDQP+/+GHH46p+0nFuZblRT/Il84IngkQ63ncsDQX/v3D6C53WW50lyehUZAPwAj3Ic8iUTbj9uBR2eko3c6bPhrumhmdZUlo7s6H96qhNfTb4Ydl3hSYdlt0liXhidvObl/kVkEuEutcLnjgTkgaEZ3lfWMxjHTkbn/s8ibCxsXRWVbySLhfj56IWY78aN4Yh13EzlKTYMNCeKU89DY3BvkIZeCQG1YUQM7AI8LazoQJE9i2bRsTJsTHLzRzIvzFTDj0cehtwl0HXMDX79S18VjmMnQeWcTW/rMKfvlBZOa9YBr8zZLYvjYejQeg5OfnR3wZQxUIwM/fgePnIzP/DQuDfTIkdjny1LpIPLk7HzYsMj9sl+XC3yyO7RAP1+XLl3n77be5fPmy1aWYxu2GB5fC4hyT5+sKXlJRiMc+BblIHFiWC9//K5howohfo0fCt/7iTzsHcbaFqK+v58knn+x7hHG88LiDp7+/uSx4PXu4Jo0LPkntTpN3DiQyHHmNXCQeTRkPW+6B31UEr5le7QmvfaIneCp97VxdD7Ujlwu+lA25E+BXJ+BYLfQGwptHiheWzwz2i0gY/CF7EmMU5CJxJMEDfzUH/nIWnKyD985B3afQM8gD0zxumDQW5mfDoukwyoSjObFWSlKwX8OXvwRHzsGx89DUBv5BQn1kAmSnB4++i7IU4HakIBeJQwkemD8t+BUw4NIVaGyDnutgEDz6njAGJo7VhjteJY+ElbOCX73+4N//4hW47g8evXsTgqfQ01Piqx+EEynIReKc2wUTUoNfTuf1eikoKOh7LrlTJHiCl16mjLe6EokE3X4mIrbm9NvPROKsT6qIiIizKMhFxDEqKiooKirqe7KhSDxQkIuIYxiGwfXr1/VgJIkrCnIREREbU5CLiIjYmIJcRETExnQfuYg4Rk5ODqWlpWRlZVldiohpFOQi4hher5fc3FyryxAxlU6ti4hjNDQ08Mwzz9DQ0GB1KSKmUZCLiGO0tbWxb98+2trarC5FxDQKchERERtTkIuIiNiYglxERMTGFOQi4hjp6el8+9vfJj093epSREyjx5iKiIjYmI7IRUREbExBLiIiYmMKchERERtTkIuIiNiYglxERMTGFOQiIiI2piAXERGxMQW5iIiIjSnIRUREbExBLiIiYmMKchERERtTkIuIiNiYglxERMTGFOQiIiI2piAXERGxsf8P4gVHfGZz2WkAAAAASUVORK5CYII=\n"
          },
          "metadata": {},
          "execution_count": 49
        }
      ]
    },
    {
      "cell_type": "code",
      "source": [
        "array_to_latex(get_state(qc), prefix=\"INV2=\")"
      ],
      "metadata": {
        "colab": {
          "base_uri": "https://localhost:8080/",
          "height": 38
        },
        "id": "CtrJQJug6hhm",
        "outputId": "54c574d9-cea5-4017-b3d2-2f5cd61b989f"
      },
      "execution_count": 50,
      "outputs": [
        {
          "output_type": "execute_result",
          "data": {
            "text/plain": [
              "<IPython.core.display.Latex object>"
            ],
            "text/latex": "$$\nINV2=\n\\begin{bmatrix}\n0 & 1 & 0 & 0  \\\\\n \\end{bmatrix}\n$$"
          },
          "metadata": {},
          "execution_count": 50
        }
      ]
    },
    {
      "cell_type": "markdown",
      "source": [
        "### Inversione del terzo stato\n",
        "\n"
      ],
      "metadata": {
        "id": "WG7JJeLy6tpT"
      }
    },
    {
      "cell_type": "code",
      "source": [
        "qc = QuantumCircuit(2)\n",
        "qc.x(1)\n",
        "qc.h(0)\n",
        "qc.cx(0, 1)\n",
        "qc.barrier()\n",
        "qc.cx(0, 1)\n",
        "qc.h(0)\n",
        "qc.draw(output=\"mpl\")"
      ],
      "metadata": {
        "colab": {
          "base_uri": "https://localhost:8080/",
          "height": 191
        },
        "id": "1ui8mdvb6md2",
        "outputId": "e3ae5ac8-3288-4005-bec9-10ab091d3604"
      },
      "execution_count": 51,
      "outputs": [
        {
          "output_type": "execute_result",
          "data": {
            "text/plain": [
              "<Figure size 538.128x200.667 with 1 Axes>"
            ],
            "image/png": "iVBORw0KGgoAAAANSUhEUgAAAbIAAACuCAYAAABTEIhIAAAAOXRFWHRTb2Z0d2FyZQBNYXRwbG90bGliIHZlcnNpb24zLjcuMSwgaHR0cHM6Ly9tYXRwbG90bGliLm9yZy/bCgiHAAAACXBIWXMAAA9hAAAPYQGoP6dpAAAYzElEQVR4nO3dfXRUdX7H8ffMJDCQhEAIEh4CISGBEAi4PKwR1y4UtgiE1a4PuMhqy1nb47pSHwh/1B71lNZG2bW1elpcS9nucVm2wloEl92tuBWjIggikiDEDZCERAl5IOQ5M9M/7hpBgswMd+bOvfN5nZMzZubeud8w1/uZ+/vd3++6AoFAABEREZtyW12AiIjI1VCQiYiIrSnIRETE1hRkIiJiawoyERGxNQWZiIjYmoJMRERsTUEmIiK2piATERFbU5CJiIitKchERMTWFGQiImJrCjIREbE1BZmIiNiagkxERGxNQSYiIramIBMREVtTkImIiK0pyERExNYUZCIiYmsKMhERsTUFmYiI2JqCTEREbE1BJiIitqYgExERW1OQiYiIrSnIRETE1hRkIiJiawlWFyAiV+fo0aNBL/vZZ5/xy1/+kttvv51rrrkm6PUmT54cTmkiUaEzMpE4cubMGZ5//nnOnDljdSkiplGQiYiIrSnIRETE1hRkIiJiawoykTiSmppKcXExqampVpciYhpXIBAIWF2EiIQvlKsWw6WrFiWW6YxMJI50dXVx8uRJurq6rC5FxDQKMpE4UllZyaJFi6isrLS6FBHTaEB0DAoEoNtndRWhGeABl8vqKkScQ8eB4CnIYlC3D9ZusbqK0JTeAQO1N4mYRseB4KlpUUREbE1BJiIitqbGIJE4UlBQQEVFhdVliJhKZ2QiImJrCjKROFJVVcXy5cupqqqyuhQR0yjIROJIe3s7hw4dor293epSREyjIBMREVtTkImIiK0pyERExNYUZCJxZMyYMZSWljJmzBirSxExjcaRicSRoUOHsmzZMqvLEDGVzshE4khjYyMvvfQSjY2NVpciYhoFmUgcqaurY926ddTV1VldiohpHB9kDQ0NlJSUMHHiRLxeL5mZmaxevZq2tjZWrVqFy+Xiueees7pMibBeH3zyGXxYDRWnoanN6ook2tq74OM6Yx/4uA46uq2uSMzi6D6yDz74gJtuuon6+nqSkpKYMmUKp0+f5tlnn+WTTz7pa16ZMWOGtYVGSE3579n6j/O44c6nmbnkkX6X+Ze7XGTNWMK3H9kR5eqio6UDyo7BO5XQ2vnF8y5gyhj4xiSYPMqy8iQKTjfBmx/D+yeg54L7ew3wwMwJcOMkGDXUquoiLx6OA44NsoaGBoqLi6mvr+fhhx/mscceIyUlBYCnnnqKtWvXkpCQgMvlorCw0OJqJRJqGuGFN+Bc56WvBYAjtcbP/HwovlY3BnWi/VWw+V3w+S99rdtnfMF57w9w1/Vw7fjo1yfmcGzT4gMPPEBNTQ33338/69ev7wsxgJKSEqZPn05vby9ZWVkMGTLEwkolEs60wr/t7j/Evmx3Bew6HPmaYkFSUhJz584lKSnJ6lIi7qMaeOnt/kPsQj4//KzMaHIWe3JkkFVUVLBlyxbS09N58skn+11m5syZAEyfPv2i56uqqli2bBkpKSkMGzaM733ve5w9ezbiNYu5dnwAbV3BL//bw3D2fMTKiRlZWVm8+OKLZGVlWV1KRPn88N/vGWfewfAH4OV94L9C6ElscmTT4ubNm/H7/axYsYLk5OR+lxk0aBBwcZC1trYyb9480tLS2Lx5Mx0dHZSUlLB06VLKyspwu+2Z+73d7XS0NlhdRtS0tMPh6tDWCQBvHzeaGJ3M5/PR0dHBoEGD8Hg8VpcTMR/VGP2joTh7Ho7WGX2nTuTk44Ajg2z37t0AzJs377LL1NTUABcH2QsvvEBtbS1vvvkm48aNA2Ds2LFcf/31bN++nZtvvjlyRUfQu1sf492tj1ldRtS8f8L4hh2qfX9wfpAdPXqUW2+9lZdffpmCggKry4mYfWHepea9Pzg3yJx8HHBkkJ08eRKA8eP7773t7e2lrKwMuDjIduzYwQ033NAXYgBFRUVkZ2fz6quvhh1ks2bNor6+PujlPYmDuGXd8bC21Z+p8+4l9+u39fvar/5poSnbyMvNxdcT4lfgCJle/AS5N6wKeb1znZA5LouAvzcCVUXOPffcE/Syn48fe+211zh48GDQ623atCnEqqz1pw/8mmFjpoW83ut73ufRO78dgYpCF2/HgYyMDPbv3x/Wuo4MsrY2Y5BQR0f//6BbtmyhoaGBlJQUJkyY0Pd8eXk5t9126QddUFBAeXl52PXU19dTW1sb9PIJAweHva3+DM3IZdzUBaa+55edrjtNb1ds3OMq53xr2OvW1tYQ8PuuvGAMCeXeYp2dnX2PoawXyv4bC3p6esJar6urK2b+Vh0HgufIIMvIyKCpqYkDBw5QVFR00Wt1dXWsWbMGgMLCQlwXXHPd1NTE0KFDL3m/tLQ0Pv7446uqJxSexEFhb8sqo0eNjpkzMnfvubDW6zhXz+hRoX1WsWDw4OAPeF6vt+8xlPXsNslwT9tnYa3n62iImb813o4DoR4nL+TIIFuwYAEVFRWUlpaycOFC8vLyANi3bx8rV66kocHo8IzWQOhQT5e7emHtlggVEyHHjh9nYIzsTS0d8MSvQu8nW1aUwYY/9p3aydGjR4Ne9siRI2zcuJHFixeH1Ee2bt26cEqzzIfVsPHN0Ndb9zfLyH8qNiZV1nEgePa8DO8KSkpKGD58ONXV1RQUFDBt2jRyc3OZM2cO2dnZzJ8/H7j00vthw4bR3Nx8yfs1NjaSlpYWjdLFBKmDoDAztHVcLiiaGJl6YkleXh5lZWV9X+6cqmAMDA2xZW54MkzSLC+25MggGzt2LHv27GHJkiV4vV5OnDhBWloaGzZsYOfOnRw7dgy4NMjy8/P77QsrLy8nPz8/KrWLOYqvhWRv8MsvmgZp/Y/UcJTExETS0tJITEy0upSI8rjhtjnGVGTBcLvg9jnGo9iPI4MMjFDasWMHra2ttLa2snfvXu69917a2to4ceIEbrebqVOnXrTO0qVLeeutt/ouzQfYu3cvn3zyCcXFxdH+E+QqDE+G++YbZ2dXsrAAvjX1yss5walTp7jvvvs4deqU1aVEXMEYWDnXCLWvkuCBe76hszE7cwUCgTBG3NjX3r17ue6665g0adIlfQvnzp1j2rRppKen88QTT9DZ2UlJSQkjRozgnXfeidqAaDu2jZfeQcz0kV2otdMY6Pz28UsHyBZmwjfyINd+13dcJNQ+snDGkU2ePDmc0mJCfYsxafD+Kui+YGTFwASYnW3sAyNTravvcnQcCF4MHnoi6/BhY1K9LzcrAgwZMoTdu3ezevVqli9fTkJCAkuXLuWZZ56x7awe8S7FC382DRYUwKmz8JPfQ3u38fxf3mh1dRINGalGs+Gya+HvX4G2bkgaAH93M3id3cIaNxRkX5KTk8OOHfa8lYFcnscNE0ZA4h9nZVJfSPzxJhrNiGA8KsScI+5OM64UZCIiYi9xd0b2+TyMIvFo5MiRrF27lpEjR1pdiohp4i7IROJZenp6SHMzithB3DUtisSzlpYWdu3aRUtLi9WliJhGQSYSR2pqanjwwQcvGispYncKMhERsTUFmYiI2JqCTEREbE1BJhJHvF4v+fn5ffclE3ECXX4vEkdycnLYtm2b1WWImEpnZCIiYmsKMpE4Ul5eTmFhYb/33ROxKwWZSBwJBAL09PQQZ3dvEodTH1kMGuAx7utjJwM8Vlcg4iw6DgRPQRaDXK7YvEmliESPjgPBU9OiiIjYmvJeJI7k5OSwfft2MjMzrS5FxDQKMpE44vV6yc3NtboMEVOpaVEkjtTW1vLoo49SW1trdSkiplGQicSR5uZmtm7dSnNzs9WliJhGQSYiIramIBMREVtTkImIiK0pyETiiNvtZvbs2bjd+l9fnEN7s0gc8fv97Nu3D7/fb3UpIqZRkImIiK0pyERExNYUZCIiYmsKMpE4kpqaSnFxMampqVaXImIazbUoEkfGjh3LU089ZXUZIqbSGZlIHOnq6uLkyZN0dXVZXYqIaRRkInGksrKSRYsWUVlZaXUpIqZR02IMCgQCtPt9VpcRksFuDy6Xy+oyRCQOKchiULvfx7Ddv7O6jJA0zV9Ikke7k4hEn5oWRUTE1hRkIiJia2oLEokjBQUFVFRUWF2GiKl0RiYiIramIBOJI1VVVSxfvpyqqiqrSxExjZoWxdHOdUB1o/Fz9jy0dxvPd3TDu59AZhpkpIInTr7Stbe3c+jQIdrb260uJSoCAWg4D9Vnoabpi8+/vRtePQhj04x9YHgyaPSIfSnIxHF6fHDoFLx1DE409L9Mtw9+8a7x34MHwNdzYG4upKdEr06JnPOd8N4foOy48QXmy3p88Hr5F7+npxif/5xsSBoYvTrFHAoycYxAAPZXwf8cgPMhzMDU3g1vVBg/146H78yCZG/k6pTI6fXBbw4bn2VvCPcObWg19pvXDsH8KbCwABI8katTzKUgE0do6YBf7oUjtVf3PgdPwvF6uHUOzBhnTm0SHafOws/fgfqW8N+j549BeLgavltkND1K7IuTngFxsvoW+PGvrz7EPne+CzbtgV9/aJzlOcmYMWMoLS1lzJgxVpdiqg+r4V9+e3UhdqHTzcb7mbVPSWQpyMTWPjsHz/2vcUZmtt8chl2HzX9fKw0dOpRly5YxdOhQq0sxzeFq44uHL4SmxGD0+OA//g/KFWYxT0EmttXVAy+8YXTsR8pvDhv9bk7R2NjISy+9RGNjo9WlmOJ0E/z0LfBH6MzZH4D/3AOfmnSmJ5GhIBPbevUD49LqUDy0CB6/xXgM1rb9kTnjs0JdXR3r1q2jrq7O6lKums8PP383tIs6wvn8e3zGdvwmn/GJeeIiyBoaGigpKWHixIl4vV4yMzNZvXo1bW1trFq1CpfLxXPPPWd1mRKCyk+Ny+tDNWQQDB1sPAarvRv++73QtyWR9Xo51IR4YhnO5w9wsgF+fzS0dSR6HB9kH3zwAdOmTePpp5+mvr6eKVOm0NPTw7PPPssdd9zRN+/cjBkzrC00QnwbN9HzrcX4d/32ktcCgQC9j6ylZ8kyAlUnol/cVfhNlPuuPqoJ/aApkdPVC7vLr7ycmV4vN87OJPY4OsgaGhooLi6mvr6ehx9+mLq6Og4cOEB9fT2lpaXs3LmTffv24XK5KCwstLrciHCvXAFZ4/Ft+AmBMxePDvZve4XAh4dxr7wL14QsawoMw6ctcPzT6G+37Hj0tyn9O3ACOnuiu822LmOgvcQeRwfZAw88QE1NDffffz/r168nJeWLaRtKSkqYPn06vb29ZGVlMWTIEAsrjRxXYiIJax6Gzk58P/7nvucD1TX4N/0XrsmTcN/2HesKDMPbldZs9/2q6B88zZaUlMTcuXNJSkqyupSr8rZFXyrKwmjOlshzbJBVVFSwZcsW0tPTefLJJ/tdZubMmQBMnz6977nPg2/OnDkMHDgQlwMmYHPlTsS9/HYC7x/Av/PXBHw+fE+th0AAz5qHcXnsNYVBpQVnY2BMa3XqrDXbNktWVhYvvvgiWVlZVpcSts4eY+5MK5w8C9291mxbLs+xQbZ582b8fj8rVqwgOTm532UGDTJ6fC8MssrKSrZu3UpGRgazZ8+OSq3R4F5xJ2Rn4/vJi/if/3cCHx/Dfc/3cGWOtbq0kPT4oK7Zuu3bvZ/M5/Nx/vx5fD77dvZY+Rn4A8ZgaYktjg2y3bt3AzBv3rzLLlNTUwNcHGQ33ngjdXV1bN++nQULFkS2yChyJSSQsOYh6O7Bv2MnrqkFuP/8ZqvLClldc+TGDAXDqjMBsxw9epTZs2dz9Kh9L8Gz+suE1duXSzl2rsWTJ08CMH78+H5f7+3tpaysDLg4yNxu87N91qxZ1NfXB718YMAA2PC86XWQlASJidDbi2v2LFwm/q15uXm4urtNe7/LyZg0jxv+8mf9vvbQoitfVj3E+8Xj47dcfrlzHfDjXZc+v+t/3+Rvl383yGqj45577gl62c/Hj7322mscPHgw6PU2bdoUYlWRM/XP1jJ5/g/7fe1K+0Cwnz9cfh944h/WU/H6PwdXrAQtIyOD/fv3h7WuY4Osra0NgI6O/keybtmyhYaGBlJSUpgwYUJEa6mvr6e2NoR5brwDSTS5hkAggO9Hz0BvD4zLxP/zX+D+kxtxjR5lyvufrjsNnSFMOR+mASMvP8XC52OEguF2B7/shXp6A6F9llEQyr3FOjs7+x5DWS+W/uYJHZefyiXYfSDczx+grb0zpv49xMFBlpGRQVNTEwcOHKCoqOii1+rq6lizZg0AhYWFEb+gIyMjI6TlAwMGcMbkGvyvbCdw6EPcf3E37qLr6P3BD/H96Bk860tN+ftHjxodlTOyYamXv2HYuSBm3xjiNQ5ifj+c+4qprS73XgmeQMxNuDt4cPBHZK/X2/cYynqx9DcP9g647GtX2geC/fy/6r0GDxoQU/8eThHqcfJCjg2yBQsWUFFRQWlpKQsXLiQvLw+Affv2sXLlShoajDFV0RgIHerpcpuvl2G7f2fa9gO1tfg3bsI1KQ/37bfi8nhw37UC/3/+FP8r2/Hc8u2r3sax48dI8kR+d/q0BZ7c0f9r/TUDfdnjtxjfxM91wuO/Cn37N9/0TX7xRE3oK0ZQKP1dR44cYePGjSxevJiCgoKg11u3bl04pUXEO5WwZW//r11pH7jazx/gHx8vYc5/lYS3skSEYy/2KCkpYfjw4VRXV1NQUMC0adPIzc1lzpw5ZGdnM3/+fODi/jEnCvj9+J7+Mfj9eNY81Hepvfv2W3Hl5eLfuInAafvMuzdiCAy08OtXps3vT5WXl0dZWVnfFzs7svoeYXbfB5zIsUE2duxY9uzZw5IlS/B6vZw4cYK0tDQ2bNjAzp07OXbMGNno9CDzv7yNQHkF7rvvwjXuiztFujwePI88BH4fvh89Q8AmN95yu2DMMOu2nzncum2bITExkbS0NBITze6FjZ5RqeCx6Mg1wAMjnTl3gq05NsgA8vPz2bFjB62trbS2trJ3717uvfde2traOHHiBG63m6lTp1pdZsQETp3C/9Of4cqfjPs7f37J666s8bjvWkHg8Ef4X9luQYXhmWrR0LfUQdaGqBlOnTrFfffdx6lT9p1rKcEDk825Rilk+aONPjaJLY7tI/sqR44cIRAIkJeX12+H98svvwxAeXn5Rb9nZWUxa9as6BV6lVzjxpG483++chnPnXfgufOOKFVkjjnZ8Nqh0G7fYYaiXOvOBMzS2trKG2+8wQ9+8AOrS7kqc3OtuXvzDfZtkXW0uAyyw4eNqdMv16x422239fv73XffHVPjaeJVshdmjI/uDS/dLijKid725KtNHg3Dk+FsiPejuxrXDIGJI6O3PQmegqwfdukvimc3FcKH1dGb927+FEgNc9yRmM/tgm9/DTa+Gb1t3vw1cMDUq45k84aS8FwpyCT2DU+GZddGZ1sZqbBoWnS2JcErzISv9T9xj+nmZMMUDR2LWXF5Rvb5PIxib9fnQnktlJ8Ofp3PB7kGM3gaINED3y0yLjBwgpEjR7J27VpGjnRGG9l3ZkPVGWgKcpKSUD9/ML403Twz9NokelwBtaPFHLMHREdD0/yFURkQ/WVdvfDvu42Dmdk8blh1Y+x/E4/GBMCTJ0+O+DbCdeYc/OvvrjxTRzhSB8ED3zLCTGJXXDYtinMMTIC/ngeTTL4ce2AC3PvN2A+xULW0tLBr1y5aWi4/Z6XdjBgCP4xA2IxIUYjZhYJMbG9gIvzVN43mn0QTmgDzMmDtEvPDMRbU1NTw4IMP9t3CyClGpMCaxVA00Zz3+0YePHKTQswu4rKPTJzH7YZvToaC0bD9IHxUC6E2mg9PhgUFcF2Ork6zI28i3PF1mDHOGGd4Moy7eU9Ih8UzINcZXYhxQ0EmjjJiCKz6E2hqMyaX/bAaPj13+VBLGgjZI4wLRyaNMi7rFnubNMr4qT4LZcfh47qvvhhkWJIxU8jcXOvncZTwKMjEkYYlweLpxk9XL9Q2QsN56PUZF3EMGgBjhxnL6ezLmTKHw/I/zo15vtO4u/e5DvD5jatQhwwy9oFkr7V1ytVTkInjDUyA7GuMn3jn9XrJz8/vuy9ZvEj2GvMkijMpyETiSE5ODtu2bbO6DBFT6apFERGxNQWZSBwpLy+nsLCw784OIk6gIBOJI4FAgJ6eHk2MLY6iPrIYNNjtoWn+QqvLCMlgt0MmIxQR21GQxSCXy2XJvIUiInakpkUREbE1fe0XiSM5OTls376dzMxMq0sRMY2CTCSOeL1ecnNzrS5DxFRqWhSJI7W1tTz66KPU1tZaXYqIaRRkInGkubmZrVu30tzcbHUpIqZRkImIiK0pyERExNYUZCIiYmsKMpE4kp6ezve//33S09OtLkXENK6AJl0TEREb0xmZiIjYmoJMRERsTUEmIiK2piATERFbU5CJiIitKchERMTWFGQiImJrCjIREbE1BZmIiNiagkxERGxNQSYiIramIBMREVtTkImIiK0pyERExNYUZCIiYmv/DyobSqF2ONrzAAAAAElFTkSuQmCC\n"
          },
          "metadata": {},
          "execution_count": 51
        }
      ]
    },
    {
      "cell_type": "code",
      "source": [
        "array_to_latex(get_state(qc), prefix=\"INV3=\")"
      ],
      "metadata": {
        "colab": {
          "base_uri": "https://localhost:8080/",
          "height": 38
        },
        "id": "MW2Zlr_O6qpa",
        "outputId": "62eff8b9-4ca4-4f21-9d91-0f99047da9ca"
      },
      "execution_count": 52,
      "outputs": [
        {
          "output_type": "execute_result",
          "data": {
            "text/plain": [
              "<IPython.core.display.Latex object>"
            ],
            "text/latex": "$$\nINV3=\n\\begin{bmatrix}\n0 & 0 & 1 & 0  \\\\\n \\end{bmatrix}\n$$"
          },
          "metadata": {},
          "execution_count": 52
        }
      ]
    },
    {
      "cell_type": "markdown",
      "source": [
        "### Inversione del quarto stato"
      ],
      "metadata": {
        "id": "4NUQezYH6xV5"
      }
    },
    {
      "cell_type": "code",
      "source": [
        "qc = QuantumCircuit(2)\n",
        "qc.x(1)\n",
        "qc.h(0)\n",
        "qc.z(0)\n",
        "qc.z(1)\n",
        "qc.cx(0, 1)\n",
        "qc.barrier()\n",
        "qc.cx(0, 1)\n",
        "qc.h(0)\n",
        "qc.draw(output=\"mpl\")"
      ],
      "metadata": {
        "colab": {
          "base_uri": "https://localhost:8080/",
          "height": 191
        },
        "id": "vyGMhdcc6sSd",
        "outputId": "ff63a647-a724-48f4-c29f-cadbe78c2566"
      },
      "execution_count": 56,
      "outputs": [
        {
          "output_type": "execute_result",
          "data": {
            "text/plain": [
              "<Figure size 621.739x200.667 with 1 Axes>"
            ],
            "image/png": "iVBORw0KGgoAAAANSUhEUgAAAfIAAACuCAYAAADNqo/oAAAAOXRFWHRTb2Z0d2FyZQBNYXRwbG90bGliIHZlcnNpb24zLjcuMSwgaHR0cHM6Ly9tYXRwbG90bGliLm9yZy/bCgiHAAAACXBIWXMAAA9hAAAPYQGoP6dpAAAbw0lEQVR4nO3deXAU95338Xf3SCAkhEDIRoAAgZA4BAKbw2AcXLCQ9QEkzvrAxlfidWrriR9fGEH58RbJho0NtkOWsusJWYqHTWKz+AHih2CvNweOD8VgbA4TJBmExaHLICQBQgfSTD9/dFDAluwZ0TM9PfN5VakEmj6+6mn1Z/rX3b+fYVmWhYiIiHiS6XYBIiIi0n0KchEREQ9TkIuIiHiYglxERMTDFOQiIiIepiAXERHxMAW5iIiIhynIRUREPExBLiIi4mEKchEREQ9TkIuIiHiYglxERMTDFOQiIiIepiAXERHxMAW5iIiIhynIRUREPExBLiIi4mEKchEREQ9TkIuIiHiYglxERMTDFOQiIiIepiAXERHxMAW5iIiIhynIRUREPExBLiIi4mEKchEREQ9TkIuIiHiYglxERMTDEtwuQETkSpSWlgY97cmTJ3nttde48847ufrqq4Oeb/To0d0pTSQidEYuInHj1KlTvPzyy5w6dcrtUkQcoyAXERHxMAW5iIiIhynIRUREPExBLiJxIy0tjfnz55OWluZ2KSKOMSzLstwuQkSku0K5a727dNe6RDOdkYtI3GhtbeXYsWO0tra6XYqIYxTkIhI3ysrKuOmmmygrK3O7FBHHqEOYKGRZcMHvdhWh6eEDw3BueZZl0RTw1kZINn0YTm4EkTim42DwFORR6IIflm5yu4rQrLwLejq4NzUF/PTb8XvnFhgB9bPnkuLTn5SIE3QcDJ6a1kVERDxMQS4iIuJhagcUkbiRn59PSUmJ22WIOEpn5CIiIh6mIBeRuFFeXs7ChQspLy93uxQRxyjIRSRuNDU1sX//fpqamtwuRcQxCnIREREPU5CLiIh4mIJcRETEwxTkIhI3Bg8ezMqVKxk8eLDbpYg4Rs+Ri0jc6Nu3LwsWLHC7DBFH6YxcROJGXV0dr7zyCnV1dW6XIuIYBbmIxI3q6mpWrFhBdXW126WIOCbmg7y2tpbCwkJGjhxJUlISQ4YM4bHHHuP8+fM89NBDGIbBSy+95HaZImH3+Rk4WAl/qYDjpyFguV2RRFLAgqO19vtfXAknz7pdkTglpq+R79u3j5tvvpmamhpSUlIYO3YsVVVVrFmzhiNHjnQ0r02cONHdQsOkovhPbPnJLG64+3km3fpUp9P8270G2RNv5VtPbY9wdZHR9s1bgprO9/xzmBMKwlxN5AUCsPcYvH8Yyk9d/tpVqTAjF6aNhKREd+qT8Gu+AB+UwZ8PQ23j5a/lXG3vAxOHgenCONqREA/HwZgN8traWubPn09NTQ2LFy9m+fLlpKamArBq1SqWLl1KQkIChmFQUBB7B3Cx+Qo7/8MFsGpqCPzy15DWByMrK4JVRUabH35VBJ+c6Pz1U+fg9T3w4Wfw/VnQNzmy9Un41Z+Hn++Az7s4+z5y0v765ATcez0k+CJbnzgjZoP80UcfpaKigkceeYQXXnjhstcKCwt59dVX2b9/P8OHD6dPnz4uVSnhZs6Z3enPrZYW/I8vBtPE9/QyjP7pEa4svAIW/PrPXYf4paoa7IP9o9+E5B5hL81VKSkpzJgxg5SUFLdLCbvzrfC/dwTXhL7vOPhMO8yNGD0zj2UxeY28pKSETZs2kZGRwbPPPtvpNJMmTQJgwoQJl/28vLycBQsWkJqaSr9+/bj//vs5ffp02GuWyPK/+DP4rBzzH7+Hec1Et8txXGkV7D8e/PQ1Z+Dd0vDVEy2ys7NZt24d2dnZbpcSdm+XhHYd/OOjUPZ52MqRMIrJM/KNGzcSCARYtGgRvXv37nSaXr16AZcH+blz55g1axbp6els3LiR5uZmCgsLmTdvHkVFRZimNz/3tF9oovlcrdtlRA3/a5ux3nkX48aZ+G7/jtvlhEXR4dDn+aAM5o6zz8xild/vp7m5mV69euHzxW47crsfdpaFPt/7hyE30/l6okEsHwdjMsh37NgBwKxZs7qcpqKiArg8yH/xi19QWVnJu+++y9ChQwHIysri+uuvZ9u2bXz7298OX9FhtHPLcnZuWe52GVEhsGcvgfUbYHg2vicfd7ucsDjXYt+VHKozzXCoBsYMcr6maFFaWsrtt9/O5s2byc/Pd7ucsCmugsbW0Oc7cAKaLsTmJZZYPg7GZJAfO3YMgGHDhnX6ent7O0VFRcDlQb59+3ZuuOGGjhAHmD59OiNGjOC3v/1tt4N88uTJ1NTUBD29L7EXt63oxilVF8bN+j65193R6Wu/eW6uI+vIy83F39bsyLIArB49YO3Lji0PwKr5HP9PVkJyMgnL/xmjV5Kjy8/LzcO4cMHRZXZH2sCxzH38d92a9/uPFFL+4asOVxReDz74YNDTXnx+/M0332Tv3r1Bz7dhw4YQq3JXzvXf5Zpv/Tjk+QIWTLruRs6dOhKGqkITb8fBzMxMPvroo27NG5NBfv78eQCamzvfoJs2baK2tpbU1FSGDx/e8fPi4mLuuOPLb3R+fj7FxcXdrqempobKyuBPkRJ6Onv7cN/MXIaOm+PoMr+oqrqK9lYHx3hO6omTT0RZLS20/+jH0NiI71+WYwwa6ODSbVXVVdDSjdMgh7X6+nd73vr6upD21WgQytjiLS0tHd9Dmc9r26R/Q3235635vIaGavd/Xx0HgxeTQZ6ZmUl9fT179uxh+vTpl71WXV3NkiVLACgoKMC45BbN+vp6+vbt+6Xlpaen8+mnn15RPaHwJfbq9rrcMmjgIMfPyE99/WRB869eA0c+w3zgPsypUxxc8t8MGjgoKs7IeyRZWAE/hhn6NeCeRrPnBhRJTg7+gJ+UlNTxPZT5vLZNetC9MAn420hLNkmJgt833o6DoebEpWIyyOfMmUNJSQkrV65k7ty55OXlAbB7927uu+8+amvtGx4i1RFMqM0lre2wdFOYigmTQ4cP09PBvem8v51+O37vyLL8m7divf0njOnTMO9Z6MgyO3Po8CFSfNHxJ7XuHbsHr1Ck9YIP//CK5252Ky0N/nb7gwcPsn79em655ZaQrpGvWLGiO6W5pt0PP3wdGltCm+/a4YmsKSsJS02h0nEweB77kw1OYWEh/fv358SJE+Tn5zN+/Hhyc3OZOnUqI0aMYPZs+9niLz561q9fPxoaGr60vLq6OtLTY+s543gR2LefwLr1kJWFr/Cpy1pgYtmM3NDnuT43tu9YB8jLy6OoqKjjw32sSvDB9JzQ57shtjdLzIqO0weHZWVl8d5777FkyRLeeecdjh49ytixY1m7di0PP/wwOTn2Hv7FIB8zZkyn18KLi4uZOXNmRGoX51in6/D/67MQCGB+YwbWBzvpqntxY8RwjBHDu3jVe0YNhGuG2d2zBmNQX7hxdFhLigqJiYlx86F81lg4UGH3ERCMKSPsLlvFe2IyyMEO5e3bv9xvbmNjI0ePHsU0TcaNG3fZa/PmzePpp5+moqKCrL922blr1y6OHDnC888/H5G6xTlWRQWcsXvECGz86jY689578MVQkJsGLJoOlmX32vVVsvrBw7Pio7/148eP89xzz7Fs2bLLnk6JRck94J9mw9q3obrhq6edlA13TVWvbl5lWJYVV2Mg7dq1i2nTpjFq1KgvXVs7e/Ys48ePJyMjgx/96Ee0tLRQWFjIVVddxQcffBCxDmG8eG1o5V1E7TXySKmfPTdqrpFfFLDgk+N2Rx9f7LUrM81ugp+a4+x7F2mhXiPvznPko0d7t7mipQ12HbE7CfpiT295mfY+UDAk+kJcx8HgefjPt3sOHDgAfLlZHaBPnz7s2LGDxx57jIULF5KQkMC8efNYvXq1Z3t1k/hmGvbIVhOHwamzsPq/7Q4/eveEpbdG38FbnJeUaF82mTkKKurs/tcv7gP/4+/crk6coCD/gpycnE6b5EW87qo+kPjXJ9J8pkI83hgGDOl/+T4gsSHu3sqvC3IREREvibsz8ov9sItI/BkwYABLly5lwIABbpci4pi4C3IRiV8ZGRkh9c0u4gVx17QuIvHrzJkzvPXWW5w5E+TD1SIeoCAXkbhRUVHBE0880TGMsUgsUJCLiIh4mIJcRETEwxTkIiIiHqYgF5G4kZSUxJgxYzrGJReJBXr8TETiRk5ODlu3bnW7DBFH6YxcRETEwxTkIhI3iouLKSgooLi42O1SRByjIBeRuGFZFm1tbcTZ6M0S43SNPAr18Nnj2npJD5+zy0s2fdTPnuvsQsMs2XR4I4jEMR0Hg6cgj0KG4c7g9NHEMAxSfHG+EUTimI6DwVPTuoiIiIfp846IxI2cnBy2bdvGkCFD3C5FxDEKchGJG0lJSeTm5rpdhoij1LQuInGjsrKSZ555hsrKSrdLEXGMglxE4kZDQwNbtmyhoaHB7VJEHKMgFxER8TAFuYiIiIcpyEVERDxMQS4iccM0TaZMmYJp6tAnsUN7s4jEjUAgwO7duwkEAm6XIuIYBbmIiIiHKchFREQ8TEEuIiLiYQpyEYkbaWlpzJ8/n7S0NLdLEXGM+loXkbiRlZXFqlWr3C5DxFE6IxeRuNHa2sqxY8dobW11uxQRxyjIRSRulJWVcdNNN1FWVuZ2KSKOUdN6FLIsi6aA3+0yQpJs+jAMw7HlaRuIiARHQR6FmgJ++u34vdtlhKR+9lxSfM7tTtoGIiLBUdO6iIiIhynIRUREPEztgCISN/Lz8ykpKXG7DBFH6YxcRETEwxTkIhI3ysvLWbhwIeXl5W6XIuIYNa2LxLAL7VDVABV1UFUPTRfsnzddgB3FkJVufyX3cLXMiGlqamL//v00NTW5XUrENLXCiTr76+TZv+0DzRfg/UMwJB0G9YNEn7t1SvcpyEVi0InT8N4h2HsM2jp5HL/ND9v22v82gDGD4IY8GD0ITD0K73mBABRX2UFdWt35NBf8sHm3/e8ePrg2294HstIjVqY4REEuEkNOnoVNu+DIyeDnsbAP+sVVcFUq3DkVcjPDVqKEWWk1/N8P4XRj8PNc8MPOI/ZXXqa9D2Skhq9GcZaCXCQGBCx4txTe2N/5GXiwTp2Dl/8IM3JhwTXQM9G5GiW8Wtrg9Y/tML4Sh2pg1Rsw7xr7DF0tNNFPQS7icf4A/PrPdjO6U4oOw7HT8E+zoHeSc8t12+DBg1m5ciWDBw92uxRHnW2Gn++w74dwwgU/bP3Ivq6+8Drw6bboqKa3R8TDAgH4VZGzIX5RRZ19dt4UQwOF9e3blwULFtC3b1+3S3FMYwu8/AfnQvxSuz+DVz+wW3wkeinIRTzszU9g3/HwLb+6ATa8D1aMHMjr6up45ZVXqKurc7sURwQsWP8ufH42fOv4+Cj87kD4li9XTk3rIh51tBb+WBzaPE/eBH162U2xP30ruHkO1cCfD8OMvNBrjDbV1dWsWLGCiRMnkp7u/duz3/0UPjsV2jzd2Qd+9xcYl6U72qNVXJyR19bWUlhYyMiRI0lKSmLIkCE89thjnD9/noceegjDMHjppZfcLlMkaO1+2PhB6GfKfXpB32T7eyi27YW6EO6ClvCrPQdv7At9vu7sAwELXt1p348h0Sfmz8j37dvHzTffTE1NDSkpKYwdO5aqqirWrFnDkSNHOprYJk6c6G6hYeJfv4HAf76G78nHMW/65mWvWZaFf8kyrJISEl5agzE8250iw6jtm7cENZ3v+ecwJxSEuRrn7Dse3ubUL2pthz+VwncmR26d8tV2FF/ZEwqhqqqHv1TAhKGRW6cEJ6aDvLa2lvnz51NTU8PixYtZvnw5qan2w5GrVq1i6dKlJCQkYBgGBQXeOYiHwrxvEYGdu/Cv/XeMSddiXJXR8Vpg6+tYnxzA/N6DMRniAL7Cp7p8zaqpIfDLX0NaH4ysrAhWdeWKDkV+nR9+BrdOhJ4xfdTwhuYL8NHRyK/3/UMK8mgU003rjz76KBUVFTzyyCO88MILHSEOUFhYyIQJE2hvbyc7O5s+ffq4WGn4GImJJCxZDC0t+H/6s46fWycqCGz4JcboUZh3/IN7BYaZOWd2p1/GDdcTeL8ITBPf08sw+nvn4l9VPZTXRn69LW2w92jk1+uklJQUZsyYQUpKitulXJGPj9rd70ba4c/tTockusRskJeUlLBp0yYyMjJ49tlnO51m0qRJAEyYMKHjZxeDf+rUqfTs2RPD8H5vCEbuSMyFd2J9vIfAG/+F5ffjX/UCWBa+JYsxfPHXybL/xZ/BZ+WY//g9zGsmul1OSA5/7t66y1xctxOys7NZt24d2dnZbpdyRbQPyKViNsg3btxIIBBg0aJF9O7du9NpevWy7/a4NMjLysrYsmULmZmZTJkyJSK1RoK56G4YMQL/v68j8PLPsT49hPng/RhDvNWk7AT/a5ux3nkX48aZ+G7/jtvlhKzCxSenTnj8qS2/309jYyN+fwQvLoeB9gG5VMwG+Y4dOwCYNWtWl9NUVFQAlwf5zJkzqa6uZtu2bcyZMye8RUaQkZBAwpIn4UIbge1vYIzLx/zOt90uK+ICe/YSWL8Bhmfje/Jxt8vplop699Z98qx945tXlZaWMmXKFEpLS90upduaWkPrR91pbn6IkM7F7G0rx47ZXV0NGzas09fb29spKioCLg9y03T+s83kyZOpqakJenqrRw9Y+7LjdZCSAomJ0N6OMWUyhoO/a15uHsaFC44tLxzbwKr5HP9PVkJyMgnL/xmjl7N9jzq9Dbpy6//6mF59BnT62sVnhLvSJ+lv3394W9fTdfWMsQWMmzCF5jNdDKnlggcffDDoaaur7brffPNN9u7dG/R8GzZsCLGq8Ondfzg3Fb7X6Wtf9/7Dle8DpWUnyMqaHmS1EqzMzEw++uijbs0bs0F+/vx5AJqbmzt9fdOmTdTW1pKamsrw4cPDWktNTQ2VlZXBz5DUE6fHqrAsC/+Lq6G9DYYOIfDqf2LeOBNj0EBHll9VXQUtDvbl6fA2sFpaaP/Rj6GxEd+/LHfs976U49ugK0bX9zRcfEb465hmcNN15uSp05w9FcL+HGahjC3e0tLS8T2U+UL6+w2zdKvrG3ODff+h+/uAhRlV20NiOMgzMzOpr69nz549TJ9++afH6upqlixZAkBBQUHYb2jLzAxtTEirRw9C7KzpawVe34a1/xPM7z6AOX0a7T/4n/hfXI3vhZWO/P6DBg5y/IzcyW3gX70GjnyG+cB9mFPDc++D09ugS4Gu27bPdv65tUOfJPsAHgjA2Zaup/uq5VyVkU5qjwj8nkFKTg4+jZKSkjq+hzJfNA2ykpLet8vXvu79Bwf2Aas9qrZHrAg1Jy4Vs0E+Z84cSkpKWLlyJXPnziUvz+5fcvfu3dx3333U1trP70SiI5hQm0vO+9vpt+P3jq3fqqwksH4Dxqg8zDtvx/D5MO9dROD//AeB17fhu+1bV7yOQ4cPkeJzbndychv4N2/FevtPGNOnYd6z0JFldsbpbdCV1f8Nx7p4/Ozrutz84W32WdjZFvjhb0Jfd4IJn/7lo6gaDSuU690HDx5k/fr13HLLLeTn5wc934oVK7pTWlhcaIdlr3U+kEkwXa5e6T4wceww1v31/iKJDlH05+iswsJC+vfvz4kTJ8jPz2f8+PHk5uYydepURowYwezZs4HLr4/HIisQwP/8TyEQwLfkyY5Hzcw7b8fIyyWwfgNWVfRc73RaYN9+AuvWQ1YWvsKnYuJxwiEuPvI+qJ+3h7TMy8ujqKio44O9F/VIgMw099bv5v4nnfPwn+RXy8rK4r333uPWW28lKSmJo0ePkp6eztq1a3njjTc4dMjuGivWgzyweStWcQnmA/diDP1bl0yGz4fvqSch4Mf/4mqsWBne6hLW6Tr8//osBAKY35iB9cFOAn/Y0emX9Vm52+UGzc0DqdcP4omJiaSnp5OY6PRdKJHl5uAlGjgl+sRs0zrAmDFj2L59+5d+3tjYyNGjRzFNk3HjxrlQWWRYx48T+I9fYYwZjfkPX35e2sge5ngTezSxKirgjN0NVWDjpq+c1rz3HnwjwnvTo1NGDwLTcGeM6HyPXxo9fvw4zz33HMuWLWPoUO/2NTouy+4yN9J8Jozq/qVcCZOYDvKuHDx4EMuyyMvL6/SGl82bNwNQXFx82f+zs7OZPNk7o0YYQ4eS+Mb/+8ppfHffhe/uuyJUUWSZEwowf/em22U4Lq0XFAwJ7zjknenf2/4Q4WXnzp3j7bff5gc/+IHbpVyR/MH2fnAmiJvbnHTNMOjt7FOb4oC4DPIDBw4AXTer33HHHZ3+/4EHHoiq50klfs3Ii3yQXz/SbgkQ9/lMuD4X/uuTyK53Rm5k1yfBUZB3IhavF0tsGXm1fVZ2MEKP82b0hhtGRWZdEpwbR8POMqgP/nH4KzJxKAy/KjLrktDE7M1uX+Xrglwk2hkG3Hkd9OoRmfXdPU3Dl0abpERYOC0y60rpCbfHztATMScu/zQv9sMu4mVpveCOKfDLouDnudjJRzAdh1w0awzkdN4jrOcMGDCApUuXMmBAbPxCowbCN0bBe58GP0+o+4AB3HWdro1Hs7gMcpFYcW02nGuB33wc3PTBdBhyqcnDYf41IZcVtTIyMkLqm90LbrsWGltg77Hgpg91H7h9in1zpUSvuGxaF4klN46GO6Y6fyPajFy4Z1ps3eB25swZ3nrrLc6cOeN2KY4xTbj3epiW4/ByDfuSygzv9p0TNxTkIjFgRi48/vcw0IEev3r3hO9+468fDmLsCFFRUcETTzzRMYRxrPCZdvP3/TPs69lXalA/eyS16xz+cCDhoaZ1kRgxtD8svhn+WGxfM20McSC2RJ/dlH7rBF0P9SLDsC+15A6A3+6DPUehPRDaMlKTYOYo+76IhK4H2ZMooyAXiSEJPvj78fB3Y2H/cdh5BI6fhtYuBkzzmTCoL0zKhqkjINmBszlxV2ovuGc6fOta2HUE9hyD6gbwdxHqPRMgO8M++y4YogD3IgW5SAxK8MGk4fZXwIJTZ6GqAVrbwMI++x7QBwb21YE7VqX0hNlj7a92v/3+nzwLbX777D0pwW5Cz0iNrfsg4pGCXCTGmQYMSLO/4l1SUhJjxozpGJc8XiT47EsvQ/u7XYmEg4JcROJGTk4OW7dudbsMEUfF2D2pIiIi8UVBLiJxo7i4mIKCgo6RDUVigYJcROKGZVm0tbVpYCSJKbpGHoWSTR/1s+e6XUZIkk1nb33WNhARCY6CPAoZhkGKL77fGm0DEZHgqGldRETEw3TKIyJxIycnh23btjFkiIbzktihIBeRuJGUlERubq7bZYg4Sk3rIhI3KisreeaZZ6isrHS7FBHHKMhFJG40NDSwZcsWGhoa3C5FxDEKchEREQ9TkIuIiHiYglxERMTDFOQiEjcyMjJ4+OGHycjIcLsUEccYljodFhER8SydkYuIiHiYglxERMTDFOQiIiIepiAXERHxMAW5iIiIhynIRUREPExBLiIi4mEKchEREQ9TkIuIiHiYglxERMTDFOQiIiIepiAXERHxMAW5iIiIhynIRUREPExBLiIi4mH/H87tJZOYBKZ9AAAAAElFTkSuQmCC\n"
          },
          "metadata": {},
          "execution_count": 56
        }
      ]
    },
    {
      "cell_type": "code",
      "source": [
        "array_to_latex(get_state(qc), prefix=\"INV4=\")"
      ],
      "metadata": {
        "colab": {
          "base_uri": "https://localhost:8080/",
          "height": 38
        },
        "id": "qKxpK1mD62C9",
        "outputId": "4bf7300a-b2d5-4389-b98c-aed67c6c2685"
      },
      "execution_count": 54,
      "outputs": [
        {
          "output_type": "execute_result",
          "data": {
            "text/plain": [
              "<IPython.core.display.Latex object>"
            ],
            "text/latex": "$$\nINV4=\n\\begin{bmatrix}\n0 & 0 & 0 & -1  \\\\\n \\end{bmatrix}\n$$"
          },
          "metadata": {},
          "execution_count": 54
        }
      ]
    },
    {
      "cell_type": "code",
      "source": [],
      "metadata": {
        "id": "PIhsLqtz63kk"
      },
      "execution_count": null,
      "outputs": []
    }
  ]
}