{ "cells": [ { "attachments": {}, "cell_type": "markdown", "id": "349d0370", "metadata": {}, "source": [ "# The shortest path problem using QUBO\n", "This notebook implements a Perceval code for finding the shortest path on a _directed, weighted graph_ using the Quantum Unconstrained Binary\n", "Optimization (QUBO) model. It is mainly adapted from https://ieeexplore.ieee.org/document/9186612, and represents the work done during the 2022 LOQCathon. \n", "\n", "Authors: Beata Zjawin, Benjamin Pointard, Nathan Claudet, Noé Delorme, Rina Ismailati\n", "\n", "The task is to find the shortest path from start to finish (such that the sum of the weights is minimized) on a simple 5-edge graph:\n", "\n", "![Graph_5_edges](../_static/img/graph_5edges.png)\n", "\n", "Start with importing the necessary packages.\n" ] }, { "cell_type": "code", "execution_count": 1, "id": "ab150578", "metadata": {}, "outputs": [], "source": [ "import perceval as pcvl\n", "from perceval.components import PS, BS\n", "import numpy as np\n", "from scipy.optimize import minimize\n", "import matplotlib.pyplot as plt\n", "plt.rcdefaults()" ] }, { "attachments": {}, "cell_type": "markdown", "id": "7c25b79a-d88c-4bf2-9398-93c1434d06cd", "metadata": { "tags": [] }, "source": [ "## Implementation in Perceval\n", "To find the shortest path, first we need to compute the objective function of the weighted graph. The constraints specified by the shortest path problem can be written in the form of quadratic penalty functions, as required by the QUBO formalism [1]:\n", "\n", "\\begin{align*}\n", "H_s&=\\Big(\\sum_{j} x_{s,j} - \\sum_{k} x_{k,s} - 1\\Big)^2, \\\\\n", "H_f&=\\Big(\\sum_{j} x_{f,j} - \\sum_{k} x_{k,f} + 1\\Big)^2, \\\\\n", "H_i&=\\Big(\\sum_{j} x_{i,j} - \\sum_{k} x_{k,i}\\Big)^2. \\\\\n", "\\end{align*}\n", "\n", "Here, $s$ and $f$ correspond to the start and finish node, respectively. Together with the original objective function:\n", "\n", "\\begin{equation*}\n", "H_c= \\sum_{(i,j)\\in edges} c_{i,j} x^{2}_{i,j},\n", "\\end{equation*}\n", "\n", "the constraints form the final QUBO objective function:\n", "\n", "\\begin{equation*}\n", "H= \\alpha \\Big(H_s + H_f + \\sum_{i \\notin \\{s,f\\}} H_i\\Big) + H_c,\n", "\\end{equation*}\n", "\n", "where $\\alpha$ is a scaling factor satisfying $\\alpha > \\sum_{(i,j)\\in edges} c_{i,j}$.\n", "\n", "\n", "\n", "For our simple example, the objective function is given by (see the Appendix to generate Hamiltonians from arbitrary adjacency matrices):\n" ] }, { "cell_type": "code", "execution_count": 2, "id": "dcde3aa3-da33-4d7d-9846-7efa216550c6", "metadata": {}, "outputs": [], "source": [ "H1 = [[2., 32., -32., -32., 32., 0.],\n", " [0., 1., 32., 0., -32., -32.],\n", " [0., 0., 35., 32., -64., -32.],\n", " [0., 0., 0., 2., -32., 32.],\n", " [0., 0., 0., 0., 35., 32.],\n", " [0., 0., 0., 0., 0., 4.]]" ] }, { "attachments": {}, "cell_type": "markdown", "id": "6d0d9f59", "metadata": {}, "source": [ "Next, we implement a variational algorithm to find the optimal path using the QUBO model.\n", "\n", "Following the approach introduced in Ref. [2], the output of the simulation, i.e. the Fock states $|n> = |n_1,...,n_M>$, can be mapped into bit strings $b=(b_1,...b_M)$ encoding possible paths on the graph by applying the parity function:\n", "\n", "\\begin{equation*}\n", "\\rho_j: b_i^{(j)} = \\text{mod}[n_i,2] \\oplus j.\n", "\\end{equation*}\n", "\n", "For each evaluation, we need to test for $j=0$, $j=1$, $n=M$ and $n=M−1$, as it is not possible to know a priori which configuration is the optimal one. Here, the number of modes, $M$, corresponds to the number of possible paths and $n$ is the number of photons.\n", "\n", "In our example, $b=(b_{sa},b_{sb},b_{ab},b_{af},b_{ba},b_{bf})$, with $b_i \\in \\{0,1\\}$, where subscripts correspond to graph edges.\n", "\n", "In the cell below, we set up the functions necessary for the simulation, such as implementation of the parity function and sampling of the circuit." ] }, { "cell_type": "code", "execution_count": 3, "id": "3441d4b4", "metadata": {}, "outputs": [], "source": [ "def parify_samples(samples, j):\n", " \"\"\"apply the parity function to the samples\"\"\"\n", " def _parity(output, j):\n", " m = len(output)\n", " parity = [0]*m\n", " for i in range(0,m):\n", " parity[i] = (output[i] + j) % 2\n", " return pcvl.BasicState(parity)\n", " \n", " new_samples = pcvl.BSCount()\n", " for idx,sample in enumerate(samples):\n", " new_sample = _parity(sample,j)\n", " if new_sample in new_samples:\n", " new_samples[_parity(sample,j)] += samples[sample]\n", " else:\n", " new_samples[_parity(sample,j)] = samples[sample]\n", " return new_samples\n", " \n", "def set_parameters_circuit(parameters_circuit, values): \n", " \"\"\"set values of circuit parameters\"\"\"\n", " for idx, p in enumerate(parameters_circuit):\n", " parameters_circuit[idx].set_value(values[idx])\n", "\n", "def compute_samples(circuit, input_state, nb_samples, j):\n", " \"\"\"sample from the circuit\"\"\"\n", " p = pcvl.Processor(\"SLOS\", circuit)\n", " p.with_input(input_state)\n", " p.min_detected_photons_filter(0)\n", "\n", " sampler = pcvl.algorithm.Sampler(p) \n", " samples = sampler.sample_count(nb_samples)['results']\n", " \n", " return parify_samples(samples,j)" ] }, { "attachments": {}, "cell_type": "markdown", "id": "bc3125ec-1fe5-4df4-a5bf-0cb9a7de5df0", "metadata": {}, "source": [ "The central part of solving the shortest path problem with Perceval is initializing a universal circuit and optimizing its parameters. We will work with the following generic interferometer:\n", "\n", "![generic_6photons_interferometer](../_static/img/generic_6photons_interferometer.svg)" ] }, { "attachments": {}, "cell_type": "markdown", "id": "2bb3985b-3105-4d5b-893f-8d89f41d0051", "metadata": {}, "source": [ "We sample the circuit for all configurations of $j$ and $n$. In this example, we set all the initial parameters to $\\pi$, which is close to the optimal solution $-$ a good initial guess can dramatically improve simulation time. The loss function is given by\n", "\n", "\\begin{equation}\n", "E(j;\\theta,\\psi) = \\sum_{b^{(j)}} \\beta_{b^{(j)}} ,\n", "\\end{equation}\n", "\n", "where $\\theta$ and $\\psi$ stand for the parameters of the linear interferometer: beam-splitters and phase-shifters, respectively. For optimization, we use the Powell minimisation algorithm from the scipy.optimize package." ] }, { "cell_type": "code", "execution_count": 4, "id": "d0d7c887", "metadata": {}, "outputs": [], "source": [ "def test_configuration(circuit, nb_modes, j, n, H, nb_samples):\n", " \"\"\"output the samples for a given configuration of j and n (inludes minimisation of the loss function)\"\"\"\n", " parameters_circuit = circuit.get_parameters()\n", "\n", " input_state = pcvl.BasicState([1]*nb_modes)\n", " if n!=nb_modes:\n", " input_state = pcvl.BasicState([1]*(nb_modes-1)+[0])\n", "\n", " def loss(parameters):\n", " set_parameters_circuit(parameters_circuit, parameters)\n", " samples = compute_samples(circuit, input_state, nb_samples, j)\n", " E = 0\n", " for sample in samples:\n", " b = np.array([sample[i] for i in range(len(sample))])\n", " b_prime = np.dot(H, b)\n", " E += samples[sample]/nb_samples*np.dot(b.conjugate(), b_prime)\n", " \n", " return np.real(E)\n", "\n", " # init_parameters = [2*(np.pi)*random.random() for _ in parameters_circuit] # initialize with random initial parameters\n", " init_parameters = [np.pi for _ in parameters_circuit] # initialize with a good guess\n", " best_parameters = minimize(loss, init_parameters, method='Powell', bounds=[(0,2*np.pi) for _ in init_parameters]).x \n", " set_parameters_circuit(parameters_circuit, best_parameters)\n", " samples = compute_samples(circuit, input_state, nb_samples, j)\n", " return samples\n", "\n", "def shortest_path(H, nb_samples):\n", " \"\"\"run the universal circuit and optimize the parameters\"\"\"\n", " nb_modes = len(H)\n", " circuit = pcvl.Circuit.generic_interferometer(\n", " nb_modes,\n", " lambda i: BS(theta=pcvl.P(f\"theta{i}\"),phi_tr=pcvl.P(f\"phi_tr{i}\")),\n", " phase_shifter_fun_gen=lambda i: PS(phi=pcvl.P(f\"phi{i}\")))\n", " js = [0,1]\n", " ns = [nb_modes, nb_modes-1]\n", " configuration_samples = []\n", " for j in js:\n", " for n in ns:\n", " current_sample = test_configuration(circuit, nb_modes, j, n, H, nb_samples)\n", " print(f\"Configuration for (j,n)=({j},{n})\")\n", " print(current_sample)\n", " configuration_samples.append(([j,n],current_sample))\n", " \n", " return configuration_samples" ] }, { "attachments": {}, "cell_type": "markdown", "id": "75ab2dba-e47b-4d53-a92f-c13c077aeb69", "metadata": {}, "source": [ "Run the algorithm on 10000 samples (this may take a few minutes):" ] }, { "cell_type": "code", "execution_count": 5, "id": "7f440a3e", "metadata": {}, "outputs": [ { "name": "stdout", "output_type": "stream", "text": [ "Configuration for (j,n)=(0,6)\n", "{\n", " |1,1,0,0,0,0>: 973\n", " |1,0,1,0,0,0>: 1617\n", " |1,0,0,0,1,0>: 42\n", " |0,0,0,0,0,0>: 77\n", " |0,1,0,1,0,0>: 670\n", " |0,1,0,0,1,0>: 910\n", " |0,1,0,0,0,1>: 1045\n", " |0,0,1,1,0,0>: 294\n", " |0,0,1,0,1,0>: 1477\n", " |0,0,1,0,0,1>: 848\n", " |0,0,0,1,1,0>: 20\n", " |1,1,1,0,1,0>: 15\n", " |1,1,1,0,0,1>: 4\n", " |1,1,0,1,1,0>: 461\n", " |1,1,0,1,0,1>: 165\n", " |1,1,0,0,1,1>: 89\n", " |1,0,1,1,1,0>: 178\n", " |1,0,1,1,0,1>: 36\n", " |1,0,1,0,1,1>: 27\n", " |1,0,0,0,0,1>: 8\n", " |1,0,0,1,0,0>: 17\n", " |1,0,0,1,1,1>: 3\n", " |0,0,0,1,0,1>: 28\n", " |0,0,0,0,1,1>: 37\n", " |0,1,1,0,0,0>: 31\n", " |0,1,1,1,1,0>: 14\n", " |0,1,0,1,1,1>: 572\n", " |0,0,1,1,1,1>: 323\n", " |1,1,1,1,0,0>: 8\n", " |1,1,1,1,1,1>: 2\n", " |0,1,1,1,0,1>: 3\n", " |0,1,1,0,1,1>: 1\n", "}\n", "Configuration for (j,n)=(0,5)\n", "{\n", " |1,1,0,1,0,0>: 2\n", " |1,1,0,0,0,1>: 6\n", " |1,1,1,0,0,0>: 3\n", " |1,1,0,1,1,1>: 2\n", " |1,1,0,0,1,0>: 2\n", " |1,0,0,0,0,0>: 36\n", " |1,0,0,1,1,0>: 20\n", " |0,0,0,0,0,1>: 3\n", " |0,1,1,1,0,0>: 4\n", " |0,1,1,0,1,0>: 7\n", " |0,1,1,0,0,1>: 10\n", " |0,1,0,0,0,0>: 6606\n", " |0,1,0,1,1,0>: 3271\n", " |0,1,0,1,0,1>: 10\n", " |0,1,0,0,1,1>: 11\n", "}\n", "Configuration for (j,n)=(1,6)\n", "{\n", " |1,0,0,1,0,0>: 9983\n", " |0,0,0,0,0,0>: 12\n", " |1,1,0,0,0,0>: 1\n", " |1,0,0,0,1,0>: 1\n", "}\n", "Configuration for (j,n)=(1,5)\n", "{\n", " |1,1,0,0,1,0>: 1\n", " |1,1,0,1,0,0>: 1\n", " |0,0,1,1,1,0>: 5\n", " |0,1,1,1,1,1>: 5\n", " |0,1,1,1,0,0>: 2\n", " |0,1,0,0,1,1>: 1\n", " |0,1,0,1,1,0>: 9974\n", " |0,1,0,1,0,1>: 1\n", " |1,0,0,1,1,0>: 6\n", " |1,1,1,1,1,0>: 2\n", "}\n" ] } ], "source": [ "nb_samples = 10000\n", "data = shortest_path(H1, nb_samples)" ] }, { "cell_type": "markdown", "id": "308e2867", "metadata": {}, "source": [ "Plot the results for better visualization:" ] }, { "cell_type": "code", "execution_count": 6, "id": "f29aa6de", "metadata": {}, "outputs": [], "source": [ "def plot_samples(samples):\n", " \n", " values = list(samples.values())\n", "\n", " keys = samples.keys()\n", "\n", " key_list = []\n", " for x in keys:\n", " s = \"\".join(str(c) for c in list(x))\n", " key_list.append(s)\n", "\n", " y_pos = np.arange(len(key_list))\n", " barlist = plt.bar(y_pos, values, align='center', alpha=0.8)\n", " index = key_list.index('100100')\n", " barlist[index].set_color('m')\n", " plt.yscale('log')\n", " plt.xticks(y_pos, key_list)\n", " plt.xticks(rotation = 70)\n", " plt.ylabel('Sample values')\n", " plt.title('Sampling the Fock States')\n", "\n", " plt.show()" ] }, { "cell_type": "code", "execution_count": 7, "id": "f13d9a95", "metadata": {}, "outputs": [ { "data": { "image/png": "iVBORw0KGgoAAAANSUhEUgAAAYUAAAElCAYAAAALP/6mAAAAOXRFWHRTb2Z0d2FyZQBNYXRwbG90bGliIHZlcnNpb24zLjUuMywgaHR0cHM6Ly9tYXRwbG90bGliLm9yZy/NK7nSAAAACXBIWXMAAAsTAAALEwEAmpwYAAAg7UlEQVR4nO3de5xcdX3/8debEAgIBIWIQkhAAmhUymVFpUrBSx+JELCKCNYf1R+FogV6EVta9eeFUqvWXlBaCBUR0WAUUQJRsCIgV0kQuYoNYCCBSriFO+Hy/v3xPRnHZXczye7ZM7P7fj4e+8jOmZlzPntyZj7ne5dtIiIiANZrOoCIiOgeSQoREdGSpBARES1JChER0ZKkEBERLUkKERHRkqQQPUfSpySdVf0+TdJjkiaM0rF/Lelto3GstdXNsUXvSFKIjkl6k6QrJa2U9KCkKyS9rsmYbN9lexPbz430viWdIekfRnq/bfu3pMerpPaYpIfrOtYAxz5Q0vWSHpF0v6SLJW1fPddKuh3uax9Jy+qLNkbT+k0HEL1B0mbA+cCHgPnABsCbgaebjGsM+D3bS0bzgJJmAGcC7wIuBjYB/hAY8cQavSclhejUTgC259l+zvaTti+yfQOApB2qu80HqjvPb0jafPWbq6qNj0q6obo7/oqkrST9QNKjkv5b0our125X3UUfKekeSfdKOm6goNpeu371+BJJJ1SlmEclXSRpy7bXHyZpaRXnJwarcpF0JPDHwN9Ud/EL2p7etfo7Vkr6lqRJbe/bv7oDf7gqVe2ytida0mRJZ0paUcX6cUnrtT1/hKRbq7/vFkm7D7CPV0m6U9KhAxxiV+BO2z928ajtc2zfJWkW8PfAe6u/+xfV/j7Ydsw7JP1Ztf1FwA+ArdtKPFtLWk/S8ZJur871fEkvqd4zSdJZ1faHJV0raau1PU9RE9v5yc8af4DNgAeArwGzgRf3e34G8HZgQ2AKcBnwb23P/xq4GtgK2Aa4D7gO2A2YRLlj/WT12u0AA/OAFwGvBVYAb6ue/xRwVr/Xrl89vgS4nZLENqoe/1P13EzgMeBNlJLOPwPPrN7vAH/zGcA/9Nv2a+BnwNbAS4BbgaOq53ar/q7XAxOAP6lev+Eg+zcwY4DtZwLfBzat/r5fAYdXz70HWA68DlB13qe3xfY2YHfgLmD/QY77CuAp4F+BfYFN+j3fOr9t2/YDdqiO+QfAE8Du1XP7AMv6vf4vqv/vqdU1cSowr3ruz4AFwMbVedoD2Kzpazw/5SclheiI7UcoX6YGTgNWSDpv9R2e7SW2f2T7adsrgH+hfHm0+5Lt39heDvwUuMb2z20/BZxL+VJt92nbj9u+EfgqMNBd70C+avtXtp+kVHXtWm0/CFhg+3Lbq4D/V/09a+sk2/fYfpDy5bZ6/0cCp9q+xqU09TVK9dobhtjXddXd8sOSTqoazA8B/s7lDv7XwBeB/1O9/k+Bz9u+1sUS20vb9vdm4DzgMNvnD3RA23dQvsi3oZyf+6v2k00GC9L2BbZvr455KXBRdazBHAV8zPYy209TEs1BVYnuGWALSkJ8zvbi6vqKLpCkEB2zfavtD9ieCryGcrf8bwBVVdDZkpZLegQ4C9iy3y5+0/b7kwM87v+ldHfb70ur43Xif9t+f6Jtv1u379P2E5TSz9oabP/TgY+0fck/DGy7hrh3t7159XMs5ZxNpPy9qy2lfIFT7e/2IfZ3FHCl7UuG+gNsX237YNtTKF/uewMfG+z1kmZLulqlg8HDwDt44f9vu+nAuW3n4VZKm8VWwNeBC4Gzq+rBz0uaOFS8MXqSFGKd2P4lpXrlNdWmf6Tcdb/W9mbA+ylVDcOxbdvv04B7hrm/eynVGQBI2ohyxzqYtS1F3A2c2PYlv7ntjW3PW4t93E+5k57etm0apcpo9TF2GOL9RwHTJP1rpwe0fS3wXX77f/k7f7ekDYFzKNVtW9neHFjIb/9/BzpPdwOz+52LSbaX237G9qdtzwT2AvYHDus03qhXkkJ0RNIrJX1E0tTq8baU6pyrq5dsSqmvXylpG+CjI3DYT0jaWNKrgQ8C3xrm/r4DzJG0l6QNKFUaQyWu31Dq3zt1GnCUpNereJGk/SRt2ukOXLrWzgdOlLSppOnAX1NKXgD/BRwnaY/qGDOq16z2KDAL2FvSPw10DJWuxUdIemn1+JXAAfz2//I3wHZtjdsbUNoFVgDPSppN6a1E2+u3kDS5bdsp1d8wvTrGFEkHVr/vK+m1VVXZI5Qk+Hyn5yjqlaQQnXqU0oB6jaTHKV8gNwEfqZ7/NKWBcyVwAeXOc7guBZYAPwb+2fZFw9mZ7ZuBY4CzKaWGxygNw4N1q/0KMLOqAvleB/tfBBwBfBl4qIr9A+sQ6jHA48AdwOXAN4HTq2N8Gzix2vYo8D1Kg3d7HA9TGv1nSzphgP0/TEkCN0p6DPghpU3n89Xz367+fUDSdbYfBY6lJKuHgPdR2i1WH++XlE4Bd1Tnamvg36vXXCTpUcr18vrqLS+jJOhHKNVKl1KqlKILyM4iO9FdJG0H3AlMtP1sjcfZhPIFuaPtO+s6TkQvSUkhxhVJc6oqqRdR6shvpHTljAiSFGL8OZDSYH0PsCNwiFNcjmhJ9VFERLSkpBARES09PSHelltu6e22267pMCIiesrixYvvrwYuvkBPJ4XtttuORYsWNR1GRERPkbR0sOdSfRQRES1JChER0ZKkEBERLUkKERHRkqQQEREtXZUUqlklF0nav+lYIiLGo1qTgqTTJd0n6aZ+22dJuk3SEknHtz31t5SZGCMiogF1lxTOoMzt3lLNoX4yZZ3fmcChkmZKejtwC2Uq44iIaECtg9dsX1ZNg9xuT2BJtU4sks6mTFK2CWWR9pnAk5IW2n7BwhuSjqSshcu0adPWObaf7/1znlr61Dq/v9dNmj6J3S7rvyRyRIx3TYxo3obfXXt3GfB620cDSPoAcP9ACQHA9lxgLkBfX986z+b31NKnmDhl/C4LO54TYkQMruumubB9RtMxRESMV030PlrO7y7IPpXfLkrekWqhlLkrV64c0cAiIsa7JpLCtcCOkravFk8/hLb1Xjthe4HtIydPnrzmF0dERMfq7pI6D7gK2FnSMkmHV2vuHg1cSFm0e361oPra7DclhYiIGtTd++jQQbYvBBYOY78LgAV9fX1HrOs+IiLihbpqRHNERDSrJ5NCqo8iIurRk0khDc0REfXoyaQQERH16MmkkOqjiIh69GRSSPVRREQ9ejIpREREPZIUIiKipSeTQtoUIiLq0ZNJIW0KERH16MmkEBER9UhSiIiIliSFiIho6cmkkIbmiIh69GRSSENzREQ9ejIpREREPZIUIiKiJUkhIiJakhQiIqKlJ5NCeh9FRNSjJ5NCeh9FRNSjJ5NCRETUI0khIiJakhQiIqIlSSEiIlqSFCIioiVJISIiWpIUIiKipSeTQgavRUTUoyeTQgavRUTUoyeTQkRE1CNJISIiWpIUIiKiJUkhIiJakhQiIqIlSSEiIlqSFCIioiVJISIiWpIUIiKipWuSgqRXSTpF0nckfajpeCIixqNak4Kk0yXdJ+mmfttnSbpN0hJJxwPYvtX2UcDBwO/XGVdERAys7pLCGcCs9g2SJgAnA7OBmcChkmZWzx0AXAAsrDmuiIgYQK1JwfZlwIP9Nu8JLLF9h+1VwNnAgdXrz7M9G/jjOuOKiIiBrd/AMbcB7m57vAx4vaR9gHcBGzJESUHSkcCRANOmTastyIiI8aiJpDAg25cAl3TwurnAXIC+vj7XG1VExPjSRO+j5cC2bY+nVts6lkV2IiLq0URSuBbYUdL2kjYADgHOW5sdZJGdiIh61N0ldR5wFbCzpGWSDrf9LHA0cCFwKzDf9s11xhEREZ2ptU3B9qGDbF/IMLqdSpoDzJkxY8a67iIiIgbQNSOa10aqjyIi6tGTSSENzRER9ejJpJCSQkREPXoyKURERD2SFCIioqUnk0LaFCIi6tGTSSFtChER9ejJpBAREfVYY1KQtIOkDavf95F0rKTNa48sIiJGXSclhXOA5yTNoMxOui3wzVqjWoO0KURE1KOTpPB8NV/RHwFfsv1R4OX1hjW0tClERNSjk6TwjKRDgT8Bzq+2TawvpIiIaEonSeGDwBuBE23fKWl74Ov1hhUREU1YY1KwfQvwt8B11eM7bX+u7sCGkjaFiIh6dNL7aA5wPfDD6vGuktZqUZyRljaFiIh6dFJ99ClgT+BhANvXA6+oLaKIiGhMRw3NtvvX0zxfRzAREdGsTlZeu1nS+4AJknYEjgWurDesiIhoQiclhWOAVwNPA/OAR4C/rDGmiIhoyBpLCrafAD5W/URExBi2xqQg6SeA+2+3/ZZaIupA1SNqzowZM5oKISJiTOqkTeG4tt8nAe8Gnq0nnM7YXgAs6OvrO6LJOCIixppOqo8W99t0haSf1RRPREQ0qJPqo5e0PVwP2APIqLGIiDGok+qjxZQ2BVGqje4EDq8zqIiIaEYn1Ufbj0YgERHRvEGTgqR3DfVG298d+XAiIqJJQ5UU5gzxnIEkhYiIMWbQpGD7g6MZyNrIOIWIiHp00tCMpP0oU11MWr3N9mfqCmpNMk4hIqIenayncArwXsocSALeA0yvOa6IiGhAJxPi7WX7MOAh25+mLM25U71hRUREEzpJCk9W/z4haWvgGeDl9YUUERFN6aRN4XxJmwNfoKzTbOC0OoOKiIhmdDJ47YTq13MknQ9MGmAltoiIGAM6aWi+QdLfS9rB9tNJCBERY1cnbQpzKHMezZd0raTjJE2rOa6IiGjAGpOC7aW2P297D+B9wC6USfEiImKM6XTw2nTKWIX3As8Bf1NnUBER0YxO1lO4BpgIzAfeY/uO2qOKiIhGdFJSOMz2bbVHAkh6J7AfsBnwFdsXjcZxIyKi6KRNYVgJQdLpku6TdFO/7bMk3SZpiaTjq2N9z/YRwFGUqqqIiBhFnfQ+Gq4zgFntGyRNAE4GZgMzgUMlzWx7ycer5yMiYhTVnhRsXwY82G/znsAS23fYXgWcDRyo4nPAD2xfN9D+JB0paZGkRStWrKg3+IiIcaaTwWsbS/qEpNOqxztK2n+Yx90GuLvt8bJq2zHA24CDJB010Bttz7XdZ7tvypQpwwwjIiLaddLQ/FVgMWV2VIDlwLeB80c6GNsnASet6XVZZCcioh6dVB/tYPvzlNlRsf0EZV2F4VgObNv2eGq1rSO2F9g+cvLkycMMIyIi2nWSFFZJ2ogyOyqSdgCeHuZxrwV2lLS9pA2AQ4DzhrnPiIgYpk6SwieBHwLbSvoG8GPWYkSzpHnAVcDOkpZJOtz2s8DRwIXArcB82zevxT7nSJq7cmXm5ouIGEmyveYXSVsAb6BUG11t+/66A+tEX1+fFy1atE7vvWr6VUycMnGEI+odz6x4hjcufeOaXxgRY46kxbb7Bnpu0IZmSbv323Rv9e80SdMG6zIaERG9a6jeR18c4jkDbxnhWDqW3kcREfUYNCnY3nc0A1kbthcAC/r6+o5oOpaIiLGkk1lSJwEfBt5EKSH8FDjF9lM1xxYREaOsk95HZwKvBr4EfLn6/et1BrUm6X0UEVGPTkY0v8Z2+2R1P5F0S10BdSLVRxER9eikpHCdpDesfiDp9cC69QONiIiu1klJYQ/gSkl3VY+nAbdJuhGw7V1qiy4iIkZVJ0lh1ppfMrrSJTUioh6drLy2FHgEmAxssfrH9tLquVGXCfEiIurRSZfUE4APALdTTYpHw4PXIiKiHp1UHx1MmT57Vd3BREREszrpfXQTsHnNcURERBfopKTwWeDnkm6ibR0F2wfUFtUapKE5IqIenSSFrwGfA24Enq83nM5k8FpERD06SQpPVGsnR0TEGNdJUvippM9Slstsrz7KegoREWNMJ0lht+rfN7RtS5fUiIgxaI1JoZvXVYiIiJHVSUkBSftRpsyetHqb7c/UFVQH8aT3UUREDdY4TkHSKcB7gWMAAe8Bptcc15AyzUVERD06Gby2l+3DgIdsfxp4I7BTvWFFREQTOkkKT1b/PiFpa+AZ4OX1hRQREU3ppE3hfEmbA18ArqP0PDqtzqAiIqIZnfQ+OqH69RxJ5wOTbGdx5IiIMWjQ6iNJr5P0srbHhwHzgRMkvWQ0gouIiNE1VJvCqcAqAEl7A/8EnAmsBObWH1pERIy2oaqPJth+sPr9vcBc2+dQqpGurz2yiIgYdUOVFCZIWp003gpc3PZcR4Pe6iJpjqS5K1emaSMiYiQNlRTmAZdK+j6lW+pPASTNoFQhNSaD1yIi6jHoHb/tEyX9mDIm4SLbq9dnXo8yujkiIsaYIauBbF89wLZf1RdOREQ0qZMRzRERMU4kKUREREuSQkREtCQpRERES5JCRES0JClERERLkkJERLQ0Ol1FO0mvAD4GTLZ9UNPxxNDmfOnypkNo1IJj3tR0CBG1qLWkIOl0SfdJuqnf9lmSbpO0RNLxALbvsH14nfFERMTQ6q4+OgOY1b5B0gTgZGA2MBM4VNLMmuOIiIgO1JoUbF8GPNhv857AkqpksAo4GziwzjgiIqIzTTQ0bwPc3fZ4GbCNpC0knQLsJunvBnuzpCMlLZK0aMWKFXXHGhExrnRNQ7PtB4CjOnjdXKqV3/r6+ryGl0dExFpooqSwHNi27fHUalvHsshOREQ9mkgK1wI7Stpe0gbAIcB5a7ODLLITEVGPurukzgOuAnaWtEzS4bafBY4GLgRuBebbvnkt95uSQkREDWptU7B96CDbFwILh7HfBcCCvr6+I9Z1HxER8UKZ5iIiIlp6Mimk+igioh49mRTS0BwRUY+eTAoREVGPJIWIiGjpyaSQNoWIiHr0ZFJIm0JERD16MilEREQ9ejIppPooIqIePZkUUn0UEVGPnkwKERFRjySFiIhoSVKIiIiWnkwKaWiOiKhHTyaFNDRHRNSjJ5NCRETUI0khIiJakhQiIqIlSSEiIlp6Mimk91FERD16Mimk91FERD16MilEREQ9khQiIqIlSSEiIlqSFCIioiVJISIiWpIUIiKiJUkhIiJaejIpZPBaREQ9ejIpZPBaREQ9ejIpREREPZIUIiKiJUkhIiJakhQiIqIlSSEiIlqSFCIioiVJISIiWpIUIiKiJUkhIiJakhQiIqJl/aYDWE3Si4D/AFYBl9j+RsMhRUSMO7WWFCSdLuk+STf12z5L0m2Slkg6vtr8LuA7to8ADqgzroiIGFjd1UdnALPaN0iaAJwMzAZmAodKmglMBe6uXvZczXFFRMQAaq0+sn2ZpO36bd4TWGL7DgBJZwMHAssoieF6hkhWko4EjgSYNm3ayAcdMQrmfOnypkNo3IJj3jSs94/3czjc8zeYJhqat+G3JQIoyWAb4LvAuyX9J7BgsDfbnmu7z3bflClT6o00ImKc6ZqGZtuPAx/s5LWS5gBzZsyYUW9QERHjTBMlheXAtm2Pp1bbOpZFdiIi6tFEUrgW2FHS9pI2AA4BzmsgjoiI6KfuLqnzgKuAnSUtk3S47WeBo4ELgVuB+bZvXsv9Zo3miIga1N376NBBti8EFg5jvwuABX19fUes6z4iIuKFMs1FRES09GRSSPVRREQ9ejIppPdRREQ9ZLvpGNaZpBXA0qbjWEdbAvc3HUQPy/kbnpy/4evlczjd9oCjf3s6KfQySYts9zUdR6/K+RuenL/hG6vnsCerjyIioh5JChER0ZKk0Jy5TQfQ43L+hifnb/jG5DlMm0JERLSkpBARES1JChER0ZKkEBERLUkKXUCSmo6hF7WfN0nr5Tyum5y34Rlr5y9JoQu4au0faxdX3Wxb0vTq9+dzHtdNztvwjLXzl95HDZK0HvD7wDO2r27bLvjtxRYvJOnDwExgMrA9ZfGmM2z/otHAekiuv+EZq+cvSaEhkiYB3wXuAvYFTFl46DTbNzUZW7erzt0vgL8Cfg1sDrwL6KOcwy9UiznFIHL9Dc9YPn+pPmrOoZQ7jKNs7wwcDDwPXCjp36u7kBjY3sAK2wtt32L7StvHAccArwRmNxteT8j1Nzxj9vz1bOBjwEuAhyVtKmmC7Rts/xWwEzCJ8sUXA7sYWCTpBEkbr95o+0bgCsoHNoaW6294xuz5S1JozpeBB4Fjga0BJG1o+3FgKjCjwdi6WlU19DVKqeAGSd+VdLCkXYH3AZc3GV+PyPU3PF8CVgB/zhg7f2lTGGWS1NZbYRrwEeBtwC2UL7OdgDcAb7b9RGOBdilJEyk3MxMAAZsBfwh8ELgX+DFwpu1VjQXZxXL9DZ+k9Ww/L+m1wF8DrwNuAK6i3Kj09PlLUmiApG2AnYGXApdR7jhmA68FbgZur6pCoh9Jn6Scq1uBVcBDwALbV0jauFc/iKMp19/IkrQFcBCwDXAdcGcv94JLUhhl1d3FqcBNwOOUuseHgFOAc20/12B4XU3SG4GvAG+i3NG+uPp3B+AK299qMLyekOtveCRtBUzp9R5GQ1m/6QDGoT8HLrL9KUkbABOBtwJ/RPmSO63J4LrcVOBy2w8CVwNIuobyxfZxSY/ZvqDJAHtArr/h+SLwPkl3APOA/7R9D4CkycB+tr/ZZIDDlYbm0bcUeArA9qqqYeoHwEnAeyT9QZPBdbmLgd+T9C1Jb60a9h60/T1gIWWcQgwt19/wbAXsRmnD2gW4VdJiSe8Gjgf2bDK4kZDqo1Em6eXAWZSEfJLtc9ueuw74v7avbyi8rlc1NH+IUic+kVL18UtKg9+Rtq9qMLyuV7UnnEmpJTjJ9jltz+X6G0I1YG02cLPtX7Vt/wAlSbwZeJ3txc1EODKSFEZRW6+F9SlfbO+k1IcvBpYDr7H9lgZD7FpVVcergWXAtsAUYBPKVBczKcX4y5qLsHdImgD8MfAeyt3udcDd5PpbZ5K2BX5k+5VNxzJcSQoNk7Q9sB9wI3C97ZUNh9R1qju0Uylf/o9TvsT+B/h5+5wzMbhqhO1elHaZScA9lGvOwIHAr4DFth9pLMguJ+k1lOojUargbrX9QPXcHGAz299oMMQRkaQwSqqeM68Bfmj77gGeb/Ufj98l6UOUBrz9JW1NmYRsL0oV0jXAiZnraGiSDqOM9F6dVLcCNgL+2/b8JmPrBZLeBxwCbAksAp4DHgYutX1J9Zox8RlOUhglkq4AnqB8KO8DfkT5QD4kaWdguu2LmoyxW1Uzor7W9of6be8DPgF8MvXgQ5N0NfB3tn9S9avfmjLQ6iDgMtsnNxpgl5P0M+A425dV7TIzgd2BfYBvAN8YCwkB0vtoVEjakjJXyqeAEynF9v2BsyR9HDiPHh4WPwrOBaZI+rSkvSVNlTTR9iJKY/PuDcfX1aqpnM8F9pG0ke0HbN9o+9uU6/EASTs1G2X3qtoALwX6JG1ge7ntH9n+HPAF4N3AyxoNcgSlpDBKqkFD/2t7RTWJ2xRgGmWKhmOBl9l+sskYu5mkTYC/B7agTGchYDqlCumtGck8tKo0ehKlyuMq4Kere8lIug/YLudwcJJ2Az5HqTpaDNy4ugeSpBXAtLHy+U1SaJik44B9bO/fdCzdSNKmwDsovY6uA14F/B6llLs+cHUvTykwmqruvAdQqj52APagNNjfbvujTcbWC6rRzO+nTA8yEdgVeAxYavuYBkMbUUkKNZP0Ikr1xgGUwVf/A9xbDRpC0oHAfelf/0LV3dm/Uqrb3kZp3LsA+Ep7P/EYXDXK9u2U/vU/ocyM+jhwP6W0tT7lrjfTWwyg3+f3B5R5oiZTenA9TTmHi8ZSKStJoWaS/oPSy2MlpU/4E5TJ3M7MpGNDk3QS8KDtT1WPXwkcQWkc/S/bJzQYXk+Q9BVKMv0N5Q53PcoX28W2/7vJ2HpB2+f3EcrndyVwPTDf9i0NhlabzH1Uv9+nVA89BK22hfcD35d0gu2vNhpdd3sK2FTSZsCjtn8JfETSPwInSdrN9s+bDbHr7Qrsu3r8gaQZlOq4kyWdafvEJoPrAf0/v7sAhwEXSPrMWPz8pvdRjSRtTqn6OLaa3oKq18ffUhqY31EV72NgnwU2Bo4GtgdY3XuGMv+MGoyt60naCLgS+LKkV1X96JfYPokyT9Rekl7SbJTda5DP7w0uS7++nTH6+U31Uc2qO7PjgCWUuevvpTRO7QDMs71jg+F1pX4LwUwH/pKSRG8DfkFpKN3U9jsaC7JHVF9sHwWeoSykcxdlnMwU4Gzb2zcXXfcbj5/fJIVRUM2LcgRlBsW7KKuFvRQ4y/bpTcbWjaopGWZS6nA3BS6kzM2zL2U8x/XA3baXNxVjL6nGIMwBdgSepMwh9TxwekYzr9l4+/wmKdSk+iDuQilm/i9wOuWC2pXygbyH0oiaXh/9SHo/8GeUqo/nKefwMeBk4Ls5Z2s20JQLValhR+DXwLPAStvPj3503W88f36TFGoi6SLKJGOXUYbC/xHlQvoc5Ystc/UMQtLlwGdtX1CNxt2QUko4GFhYjcSNIagsW3oLZW6oFcBTbVVy69t+dqzM1VOH8fz5TVKoQdUodantnfpt358yZfFJGZcwsGpa5xOBJbb/q237BpTG0X8EPjxWuwOOhKod5k5KtZspI3B/DPzK9j2STqHM1fPTBsPsWuP985ukUIOqR8c/AD/pf1cr6Z3Ah4HZY7HoORKq6cS/Q2nUm2v7vGr7ZOBaYBfbTzUYYleTtA+wt+3PSNqLcpe7B2XA2vXAMcArxsq0DCNtvH9+kxRqImkWZQK8B4FTbX+/uts9FtjT9sFNxtetJO1JmVzspZS7sm0p1UfXUEbiPmn7qOYi7H6SXkw5h0tsP1Nt24gyPcgZwE22D2ouwu43nj+/SQo1qgZdfQj4E6p5eihzpvxHiu4vVE2F/UVKHfjPKN0oN6eMVbgD+CGw3PaqpmLsJVV7zETg+dV14JLmU7pSnjvkm2Pcfn6TFEaYpL+gzFX/zfaJ2iRNpXSnvDJfagOTdCqwzPYJ1Qdya0pvmX0pd2z/nGqjobVdf1+3fVO/5yYDe9i+uJHgekA+v0kKI07SbygTj+1AmefofMogobslHQDY9oImY+xWkt5NWZr0Y7bvbds+Bfga8C+Zr2do/a6/x4DvA9+2vbyqD19le2GDIXa1fH4z99GIquasvxr4U0o9+FuAdwKHSfol5QvvDxoLsPv9iLL40KmSrgWuAK6q1qDYibIWQAxiiOvvcEm3UAaw7dNUfN0un98iJYURprLIPO3VHFVVyAnAH9p+VVOx9QpJbwHeSJnvaDfgAcoI5sMbDawH5Pobnpy/lBRGXP8672qA0COSngXmNRRWT7F9saQrKausTaAslp5pxjuQ6294cv5SUhg11YCiB20/2nQsMf7k+hue8XT+khQiIqIl6ylERERLkkJERLQkKUREREuSQkREtCQpREREy/8HZJGejYfHn70AAAAASUVORK5CYII=\n", "text/plain": [ "
" ] }, "metadata": { "needs_background": "light" }, "output_type": "display_data" } ], "source": [ "plot_samples(data[2][1]) # plot the samples for (j,n) = 1,6, i.e. the configuration which contains both a physical and minimum-energy solution" ] }, { "attachments": {}, "cell_type": "markdown", "id": "cd31e406-cf82-4ef2-8df0-a17cf06a8d15", "metadata": {}, "source": [ "We can see that the best path is $b=(1,0,0,1,0,0)$, that is, the path $saf$." ] }, { "cell_type": "markdown", "id": "fbb8e055-474a-4456-823f-9348e06c6176", "metadata": {}, "source": [ "## Bibliography\n", "[1] Thomas Krauss and Joey McCollum. “Solving the Network Shortest Path Problem on a Quantum Annealer”. In: IEEE Transactions on Quantum Engineering 1 (2020), pp. 1–12. doi: 10.1109/TQE.2020.3021921.\n", "\n", "[2] Kamil Bradler and Hugo Wallner. Certain properties and applications of\n", "shallow bosonic circuits. 2021. doi: 10.48550/ARXIV.2112.09766. url:\n", "https://arxiv.org/abs/2112.09766." ] }, { "attachments": {}, "cell_type": "markdown", "id": "3065aa56-30e8-4aee-8b6c-f8aff1615c01", "metadata": {}, "source": [ "## Appendix\n", "If you want to try more complicated graphs, this code generates the objective function for any weighted, directed graph:" ] }, { "cell_type": "code", "execution_count": 8, "id": "dcfdc370", "metadata": {}, "outputs": [], "source": [ "def alpha_graph(graph): \n", " \"\"\"calculate alpha as sum of all the costs + 1\"\"\"\n", " alpha = 0 \n", " for i in range(0,len(graph)):\n", " for j in range(0,len(graph)):\n", " if graph[i][j] != 0 : alpha+=graph[i][j]\n", " return alpha+1\n", "\n", "def graph_to_s(graph, s, weight):\n", " \"\"\"calculate Hs\"\"\"\n", " ham = np.zeros((weight, weight))\n", " edges_coeff = [0]*weight\n", " constant_coeff = -1\n", " count = 0\n", " for i in range(0, len(graph)):\n", " for j in range(0, len(graph)):\n", " if graph[i][j] != 0 :\n", " if i == s:\n", " edges_coeff[count] = 1\n", " if j == s:\n", " edges_coeff[count] = -1\n", " count += 1\n", " \n", " for i in range(0, weight):\n", " for j in range(i+1, weight):\n", " ham[i][j] = edges_coeff[i]*edges_coeff[j]*2\n", " \n", " for i in range(0, weight):\n", " ham[i][i] += edges_coeff[i]*edges_coeff[i] + constant_coeff*edges_coeff[i]*2 \n", "\n", " return ham\n", "\n", "def graph_to_f(graph, t, weight):\n", " \"\"\"calculate Hf\"\"\"\n", " ham = np.zeros((weight, weight))\n", " edges_coeff = [0]*weight\n", " constant_coeff = +1\n", " count = 0\n", " for i in range(0,len(graph)):\n", " for j in range(0,len(graph)):\n", " if graph[i][j] != 0 :\n", " if i == t:\n", " edges_coeff[count] = 1\n", " if j == t:\n", " edges_coeff[count] = -1\n", " count += 1\n", " \n", " for i in range(0, weight):\n", " for j in range(i+1, weight):\n", " ham[i][j] = edges_coeff[i]*edges_coeff[j]*2\n", " \n", " for i in range(0,weight):\n", " ham[i][i] += edges_coeff[i]*edges_coeff[i] + constant_coeff*edges_coeff[i]*2 \n", "\n", " return ham\n", "\n", "def graph_to_i(graph, our_i, weight):\n", " \"\"\"calculate Hi\"\"\"\n", " ham = np.zeros((weight, weight))\n", " edges_coeff = [0]*weight\n", " count = 0\n", " for i in range(0, len(graph)):\n", " for j in range(0, len(graph)):\n", " if graph[i][j] != 0 :\n", " if i==our_i:\n", " edges_coeff[count] = 1\n", " if j==our_i:\n", " edges_coeff[count] = -1\n", " count += 1\n", " \n", " for i in range(0, weight):\n", " for j in range(i+1, weight):\n", " ham[i][j] = edges_coeff[i]*edges_coeff[j]*2 \n", " \n", " for i in range(0, weight):\n", " ham[i][i] += edges_coeff[i]*edges_coeff[i]\n", "\n", " return ham\n", "\n", "def graph_to_c(graph, weight):\n", " \"\"\"calculate Hc\"\"\"\n", " ham = np.zeros((weight, weight))\n", " count = 0\n", " for i in range(0,len(graph)):\n", " for j in range(0,len(graph)):\n", " if graph[i][j] != 0 :\n", " ham[count][count] = graph[i][j]\n", " count += 1\n", "\n", " return ham\n", "\n", "def graph_to_hamiltonian(graph,s,f): \n", " \"\"\"returns the graph adjacency matrix as a Hamiltonian\"\"\"\n", " weight = np.count_nonzero(graph)\n", " ham = np.zeros((weight, weight))\n", " alpha = alpha_graph(graph)\n", " ham += alpha*graph_to_s(graph, s, weight)\n", " ham += alpha*graph_to_f(graph, f, weight)\n", " for i in range(0,weight):\n", " if i!=s and i!=f:\n", " ham += alpha*graph_to_i(graph, i, weight)\n", " ham += graph_to_c(graph, weight)\n", "\n", " return ham" ] }, { "cell_type": "code", "execution_count": 9, "id": "7bbfb18f", "metadata": {}, "outputs": [ { "name": "stdout", "output_type": "stream", "text": [ "[[ 2. 32. -32. -32. 32. 0.]\n", " [ 0. 1. 32. 0. -32. -32.]\n", " [ 0. 0. 35. 32. -64. -32.]\n", " [ 0. 0. 0. 2. -32. 32.]\n", " [ 0. 0. 0. 0. 35. 32.]\n", " [ 0. 0. 0. 0. 0. 4.]]\n" ] } ], "source": [ "\"\"\"example: our 5-edge graph\"\"\"\n", "# start,a,b,finish -> 0,1,2,3\n", "G1 = np.array([[0,2,1,0], [0,0,3,2], [0,3,0,4], [0,0,0,0]]) # weights associated to all possible paths\n", "G1_s = 0 # start index\n", "G1_f = 3 # finish index\n", "H_example = graph_to_hamiltonian(G1, G1_s, G1_f)\n", "print(H_example)" ] } ], "metadata": { "language_info": { "name": "python" } }, "nbformat": 4, "nbformat_minor": 5 }