{ "metadata": { "name": "" }, "nbformat": 3, "nbformat_minor": 0, "worksheets": [ { "cells": [ { "cell_type": "markdown", "metadata": {}, "source": [ "Kana\u0142y kwantowe\n", "===============\n", "\n", "Plan\n", "----\n", "1. Kana\u0142y kwantowe: definicja i zastosowania\n", "2. Reprezentacja Kraussa kana\u0142\u00f3w kwantowych\n", "3. Przyk\u0142ady kana\u0142\u00f3w kwantowych\n", "4. Uk\u0142ady z\u0142o\u017cone\n", "5. Wizualizacja wp\u0142ywu kana\u0142\u00f3w kwantowych na w\u0142aso\u015bci stan\u00f3w\n", "6. Zadania" ] }, { "cell_type": "markdown", "metadata": {}, "source": [ "Kana\u0142y kwantowe, inaczej opracje kwantowe, to najbardziej podstawowa forma zapisu dla transformacji stanu kwantowego bez wnikania w wewn\u0119trzn\u0105 natur\u0119 procesu. Najpro\u015bciej m\u00f3wi\u0105c kana\u0142 kwantowy to operacja\n", "\n", "$\\rho\\rightarrow \\rho'=E(\\rho)$\n", "\n", "Opis taki ma szereg zastosowa\u0144. Mo\u017ce obrazowa\u0107 ewolucj\u0119 kwantow\u0105, dekoherencj\u0119, operacje kwantowe zwi\u0105zane z kwantowymi bramkami logicznymi. \n", "\n", "Tutaj ograniczymy si\u0119 do przypadku, gdy $\\rho'$ jest stanem, to znaczy zak\u0142adamy, \u017ce kana\u0142 kwantowy ma __reprezentacj\u0119 Kraussa__: \n", "\n", "$E(\\rho)=\\sum_i K_i \\rho K_i^\\dagger$\n", "\n", "ograniczenie to oznacza, \u017ce nie rozwa\u017camy problem\u00f3w niemarkowowskich (zale\u017cnych od czasu) oraz pomiar\u00f3w kwantowych. \n", "\n", "Operatory $K_i$ spe\u0142nia\u0107 musz\u0105 warunek:\n", "\n", "$\\sum_i K_i^\\dagger K_i\\le\\mathbf{I}$\n", " \n", "__Uwaga__ warunek $\\sum_i K_i^\\dagger K_i=\\mathbf{I}$ gwarantuje, \u017ce $E(\\rho)$ jest stanem\n" ] }, { "cell_type": "markdown", "metadata": {}, "source": [ "Dla zilustriowania uzyteczno\u015bci formalizmu Kraussa rozwa\u017cmy ewolucj\u0119 unitarn\u0105 uk\u0142adu $A$ i jego \"otoczenia\" $B$:\n", "\n", "$\\rho^{AB}=U^{AB} \\rho^A\\otimes |i_B\\rangle\\langle i_B| U^{AB\\dagger}$\n", "\n", "obliczaj\u0105c \u015blad cz\u0119\u015bciowy: \n", "\n", "$\\rho_A'=\\mbox{Tr}_B \\rho^{AB} =\\sum_n \\langle e_n^B|U^{AB}|i^B\\rangle \\rho^A \\langle i^B |U^{AB\\dagger} |e_n^B\\rangle$\n", "\n", "wprowadzaj\u0105c $K_n =\\langle e_n^B|U^{AB}|i^B\\rangle$\n", "\n", "otrzymujemy \n", "\n", "$E(\\rho^A)=\\sum_n K_n\\rho^A k_n^\\dagger$\n", "\n", "Zauwa\u017cmy, \u017ce \n", "\n", "$\\sum_n K_n^\\dagger K_n=\\mathbf{I}$" ] }, { "cell_type": "markdown", "metadata": {}, "source": [ "Dalej zbudujemy implementacj\u0119 numeryczn\u0105 najbardziej typowych kana\u0142\u00f3w kwantowych. Ograniczamy si\u0119 do kana\u0142\u00f3w kwantowych okre\u015blonych na stanach qubit\u00f3w:" ] }, { "cell_type": "code", "collapsed": false, "input": [ "from qutip import *\n", "from pylab import *\n", "%pylab inline" ], "language": "python", "metadata": {}, "outputs": [ { "output_type": "stream", "stream": "stdout", "text": [ "Populating the interactive namespace from numpy and matplotlib\n" ] }, { "output_type": "stream", "stream": "stderr", "text": [ "WARNING: pylab import has clobbered these variables: ['power', 'linalg', 'draw_if_interactive', 'random', 'save', 'load', 'info', 'fft']\n", "`%pylab --no-import-all` prevents importing * from pylab and numpy\n" ] } ], "prompt_number": 1 }, { "cell_type": "markdown", "metadata": {}, "source": [ "Wprowad\u017amy uproszczone oznaczenia dla wektor\u00f3w bazy:" ] }, { "cell_type": "code", "collapsed": false, "input": [ "up=basis(2,0)\n", "dn=basis(2,1)" ], "language": "python", "metadata": {}, "outputs": [], "prompt_number": 2 }, { "cell_type": "markdown", "metadata": {}, "source": [ "oraz macierzy bazowych" ] }, { "cell_type": "code", "collapsed": false, "input": [ "rpp=up*up.dag()\n", "rpm=up*dn.dag()\n", "rmp=rpm.trans()\n", "rmm=dn*dn.dag()" ], "language": "python", "metadata": {}, "outputs": [], "prompt_number": 3 }, { "cell_type": "markdown", "metadata": {}, "source": [ "nast\u0119pnie zdefiniujemy funkcj\u0119 depol() opisuj\u0105c\u0105 __kana\u0142 depolaryzacujmy__:\n", "\n", "$E(\\rho)=\\sum_{n=0}^4 K_n \\rho K_n$, \n", "\n", "gdzie $K_0=\\sqrt{1-p}\\mathbf{I}$ za\u015b $K_i=\\sqrt{p/3}\\sigma_i$, $i=x,y,x$" ] }, { "cell_type": "code", "collapsed": false, "input": [ "def depol(rho,p):\n", " K0=sqrt(1.0-p)*qeye(2)\n", " K1=sqrt(p/3.0)*sigmax()\n", " K2=sqrt(p/3.0)*sigmay()\n", " K3=sqrt(p/3.0)*sigmaz()\n", " x=K0*rho*K0.dag()+K1*rho*K1.dag()+K2*rho*K2.dag()+K3*rho*K3.dag()\n", " return x" ], "language": "python", "metadata": {}, "outputs": [], "prompt_number": 4 }, { "cell_type": "markdown", "metadata": {}, "source": [ "Mo\u017cemy sprawdzi\u0107 dla wybranych $p$ warunek zachowania \u015bladu:\n", "$\\sum_n K_n^\\dagger K_n=\\mathbf{I}$:" ] }, { "cell_type": "code", "collapsed": false, "input": [ "p=0.8\n", "K0=sqrt(1.0-p)*qeye(2)\n", "K1=sqrt(p/3.0)*sigmax()\n", "K2=sqrt(p/3.0)*sigmay()\n", "K3=sqrt(p/3.0)*sigmaz()\n", "K0*K0.dag()+K1*K1.dag()+K2*K2.dag()+K3*K3.dag()" ], "language": "python", "metadata": {}, "outputs": [ { "latex": [ "\\begin{equation}\\text{Quantum object: dims = [[2], [2]], shape = [2, 2], type = oper, isHerm = True}\\\\[1em]\\begin{pmatrix}1.0 & 0.0\\\\0.0 & 1.0\\\\\\end{pmatrix}\\end{equation}" ], "metadata": {}, "output_type": "pyout", "prompt_number": 5, "text": [ "Quantum object: dims = [[2], [2]], shape = [2, 2], type = oper, isherm = True\n", "Qobj data =\n", "[[ 1. 0.]\n", " [ 0. 1.]]" ] } ], "prompt_number": 5 }, { "cell_type": "markdown", "metadata": {}, "source": [ "Kolejnym u\u017cytecznym kana\u0142em jest kana\u0142 __t\u0142umienia fazy__ (phase damping channel). \n", "\n", "$K_0=|1\\rangle\\langle 1| +\\sqrt{1-p}|0\\rangle\\langle 0|$, $K_1=\\sqrt{p} |1\\rangle\\langle 0|$\n", "\n", "dzia\u0142anie takiego kana\u0142u opisuje funkcja damp():" ] }, { "cell_type": "code", "collapsed": false, "input": [ "def damp(rho,p):\n", " K0=rpp+sqrt(1.0-p)*rmm\n", " K1=sqrt(p)*rpm\n", " x=K0*rho*K0.dag()+K1*rho*K1.dag()\n", " return x" ], "language": "python", "metadata": {}, "outputs": [], "prompt_number": 6 }, { "cell_type": "markdown", "metadata": {}, "source": [ "Ostanim z rozwa\u017canych typ\u00f3w kana\u0142\u00f3w jest kana\u0142 odwr\u00f3cenia fazu (phase flip channel) opisany funkcj\u0105 flip():" ] }, { "cell_type": "code", "collapsed": false, "input": [ "def flip(rho,p):\n", " K0=sqrt(p)*sigmaz()\n", " K1=sqrt(1.0-p)*qeye(2)\n", " x=K0*rho*K0.dag()+K1*rho*K1.dag()\n", " return x" ], "language": "python", "metadata": {}, "outputs": [], "prompt_number": 7 }, { "cell_type": "markdown", "metadata": {}, "source": [ "Teraz jeste\u015bmy gotowi do przygotowania wizualizacji wybranej charakterystyki kana\u0142u. Za\u0142o\u017cymy na wej\u015bciu stan czysty: " ] }, { "cell_type": "code", "collapsed": false, "input": [ "psi=(up+dn).unit()" ], "language": "python", "metadata": {}, "outputs": [], "prompt_number": 8 }, { "cell_type": "markdown", "metadata": {}, "source": [ "i jego macierz g\u0119sto\u015bci:" ] }, { "cell_type": "code", "collapsed": false, "input": [ "rho=ket2dm(psi)" ], "language": "python", "metadata": {}, "outputs": [], "prompt_number": 9 }, { "cell_type": "markdown", "metadata": {}, "source": [ "W nast\u0119pnym kroku zdefiniujemy listy z warto\u015bciami $p$ oraz wynikami:" ] }, { "cell_type": "code", "collapsed": false, "input": [ "plist=linspace(0,1.0,10.0)\n", "slist=zeros(len(plist))" ], "language": "python", "metadata": {}, "outputs": [], "prompt_number": 10 }, { "cell_type": "markdown", "metadata": {}, "source": [ "Niech intersuj\u0105c\u0105 charakterystyk\u0105 stanu wyj\u015bciowego b\u0119dzie entropia von Neumanna:" ] }, { "cell_type": "code", "collapsed": false, "input": [ "for i1 in range(len(plist)):\n", " p=plist[i1]\n", " rho1=depol(rho,p)\n", " slist[i1]=entropy_vn(rho1)" ], "language": "python", "metadata": {}, "outputs": [], "prompt_number": 11 }, { "cell_type": "markdown", "metadata": {}, "source": [ "Uzyskany wynik mo\u017cemy wykre\u015bli\u0107:" ] }, { "cell_type": "code", "collapsed": false, "input": [ "plot(plist,slist,'-',label='', linewidth=4)\n", "xlabel('p',fontsize=20)\n", "ylabel('SvN',fontsize=20)\n", "show()" ], "language": "python", "metadata": {}, "outputs": [ { "metadata": {}, "output_type": "display_data", "png": "iVBORw0KGgoAAAANSUhEUgAAAYoAAAERCAYAAABl3+CQAAAABHNCSVQICAgIfAhkiAAAAAlwSFlz\nAAALEgAACxIB0t1+/AAAIABJREFUeJzt3XtcVGX+B/DPION6wfV+naEIYQVTEYO8peJK4aUor2Fm\namT8fC2V/nZ79euyCWy/Vvq1u6lkS7W2XolKE6/jfdS8QILprpcWS3QkKS1JU+Mynt8fTzCcGQaG\nYeacuXzer9e8Yp55mvl6XjofnvOc8zwaSZIkEBER2RGgdgFEROTZGBRERNQgBgURETWIQUFERA1i\nUBARUYMYFERE1CBFg8JgMCAiIgLh4eHIzMy0ef3NN99EdHQ0oqOj0b9/fwQGBqK8vFzJEomIyIpG\nqfsozGYz+vTpg127dkGn0yE2NhY5OTmIjIyst//mzZvx1ltvYdeuXUqUR0REdig2oigoKEBYWBhC\nQkKg1WqRlJSEvLw8u/3Xrl2L6dOnK1UeERHZEajUB5WWliI4OLj2uV6vR35+fr19b968ie3bt2PZ\nsmU2r2k0GrfVSETky5w9gaRYUDTlC37Tpk2477770KFDh3pf56ojQlpaGtLS0tQuwyPwWFh48rGo\nqgJ++sm1j6oq4M47gbAwIDxc/Lfm51Wr0pCRkab2H9sjNOeXbMWCQqfTwWQy1T43mUzQ6/X19v3w\nww952onIg0gS8NVXQEmJc1/m16+L/1ZWuqe+s2fFw2CQt2s0wJo1tgESFgbcdRfQsqV76vE1igVF\nTEwMiouLUVJSgl69eiE3Nxc5OTk2/X788Ufs378fa9euVao0IrJiNgPHjwMHDojHZ58B336rdlVN\nJ0nA11+Lx/bt8tcCAiwjEevRSGgo8KtfqVOzJ1IsKAIDA5GVlYWEhASYzWYkJycjMjIS2dnZAICU\nlBQAwIYNG5CQkIDWrVsrVZrXiouLU7sEj8FjYeHMsfj5Z6CgwBIMhw6JUYD3i7P7yu3bwLlz4rFz\np/w1jQa44w55gNT8NzQUaNXKvVV7GsUuj3UVjUbDOQqiZvrxRxEGNcFQUOC+00J1BQQAQUHyR7t2\ntm1Nedy+LUYMZ88CxcWW01DFxcClS67/M2g0QHBw/SOR3r0BT/0dtznfnQwKIj9QVmYJhQMHxGml\npv4zatsWiI4GOnZ0/ku+VSvxRauUGzfE3Ip1gJw9C5SWuucz9XoRGiNGANOmAf36uedzmopBQUS1\naiae6wbD2bNNf58uXYD77hNfeCNGiJAIVOxktfvdvCmOk3WAnD0L1Lnuptn69hWB8eijQESE6963\nqRgURH7MbAb+9S95MJSVNf197rzTEgojRogvNX+9benWLcvpLOsQuXCh6aOxGv37i8CYNk2cslIS\ng4LIj1RUAJ9/bgmFgweBa9ea/j533y0Phjr3w1IDfv5ZTIDXNydy4YKYM3FEdLQIjGnTxAS5uzEo\niHzYtWu2E88VFU17j8BA4J57LKEwfDjQubN76vVnFRXiXpNDh4CPPgJ27QKqqxv//2JiLKFx553u\nqY1BQeRDKiqAbduAvXstE8+O/pZao00bYOhQSzAMHiwmo0lZ338PfPqpCI09e8RpwsYMHiwCY+pU\n147yGBREPuDyZeDvfweWLWv6HEPnzrYTz1qte+ok51y+DKxfD+TmAvv2ORb+w4aJOY0pU4BevZr3\n+QwKIi928iTw1lvA6tXi/Lcj7rjDduI5gNuQeY2yMktoHDjQ+OS4RmO53HbKFKB796Z/JoOCyMtI\nklhS4m9/A3bsaLx/377yYLjjDvfXSMr45hvgk0/E6amDBxvvHxAAjBolRhqTJgFduzr2OQwKIi9x\n6xawapUYQZw+bb9fUBAwcyaQkCAmnrt0Ua5GUs/Fi8DHH4vQOHKk8f4tWgCjR4vQmDix4QsUGBRE\nHu7SJeDtt8UcxPff2+93xx3As88CTz0FtG+vXH3kec6fF6GRmwscPdp4/8BAID5enJ565BFxB31d\nDAoiD1VUJE4v5eaKfRPsGTYMWLBA/AP3pbufyTW+/toSGseONd5fqwUeeECExsMPi186GBREHsRs\nBjZtEgGxf7/9fi1aiEsgFywA7r1XufrIuxUXi1NTH30EnDjReP+WLYGxY4GNGxkURKq7fh344ANg\nyRKxhpA9HToATz8NpKbybmhqnjNnRGDk5gKnTjXWm0FBpJrz54GlS4H33xfLd9sTHg489xwwa5aY\nrCZypZMnLaHx5Zf19WBQECnu8GFxemn9+obvuB09WpxemjCB9zqQ+0mSWCSyJjQsKwczKIgUUV0N\nrFsnAiI/336/li2B6dOB+fOBgQOVq4+oLkkCvvhCBEZmJoOCyK2uXgXeew/Iymp4r4KuXYF588Sj\nRw/l6iNqTHO+O3khHlEDiouBxYuBf/5T7JZmz913i9NLM2b4337K5PsYFERWJAkwGsXppc2bG16H\nZ9w4ERDx8f67yQ/5PgYF0S8qKoAPPxTLa3zxhf1+rVsDTzwhrmCKjFSuPiK1MCjI7zm6vHfPnuLe\nh5QUbvpD/oVBQX7r1i0gPV2MIBraMW7QIHF6ado0cTUTkb9R9Kpug8GAiIgIhIeHIzMzs94+RqMR\n0dHR6NevH+Li4pQsj/zIkSMiADIz6w8JjUasxrl/v1iQ7fHHGRLkvxS7PNZsNqNPnz7YtWsXdDod\nYmNjkZOTg8g6J3nLy8sxfPhwbN++HXq9HleuXEEXq/WVeXksNcfPPwMLFwJvvln/DmNBQUBysljB\nVYkN74mU4hWXxxYUFCAsLAwhISEAgKSkJOTl5cmCYu3atZg8eTL0ej0A2IREjbS0tNqf4+LiOPIg\nhxQUALNn178PhE4H/Pd/i5Dg8t7kC4xGI4xGo0veS7GgKC0tRXCdFdD0ej3yrW5tLS4uRlVVFUaP\nHo3r16/jueeew8yZM23eq25QEDXm55+BtDTg//6v/lHE3LlihPHrXyteGpHbWP8SnZ6e7vR7KRYU\nGgcuMq+qqkJRURF2796NmzdvYujQoRgyZAjCw8MVqJB80eefi1FEfStr6vViIb+EBMXLIvIqik1m\n63Q6mOqsfWAymWpPMdUIDg7GAw88gNatW6Nz584YOXIkjh8/rlSJ5EMqKoAXXwSGDKk/JJKTgX//\nmyFB5AjFgiImJgbFxcUoKSlBZWUlcnNzkZiYKOvz8MMP47PPPoPZbMbNmzeRn5+Pvn37KlUi+YjP\nPxdXNC1aZHuqSa8Htm0TIwnORRA5RrFTT4GBgcjKykJCQgLMZjOSk5MRGRmJ7OxsAEBKSgoiIiIw\nduxYDBgwAAEBAZg7dy6DghxWUQFkZIhLXutb9vvJJ4G//pUBQdRUXD2WfEJhoZiL+Pe/bV/T6cTK\nr+PGKV4Wkcdozncnt1Ehr1ZRAbzyCjB4cP0hMWeOaGdIEDmPS3iQ1yoqEtuK1hcQvXqJUcT48crX\nReRrOKIgr1NZCfzxj8C999YfEjXhwZAgcg2OKMirFBWJuYh//cv2tZ49gXffBR58UPGyiHwaRxTk\nFSorxRpNgwfXHxIzZwInTzIkiNyBIwryeF98IUYR9d172aOHGEU89JDiZRH5DY4oyGNVVoo1mmJj\n6w+Jxx8XowiGBJF7cURBHun4cTEpbW8UkZ0NWN3YT0RuwhEFeZSqKrHrXExM/SExY4YYRTAkiJTD\nEQV5jBMnxFzEsWO2r3XvLva1fuQRxcsi8nscUZDqqqqAP/1JjCLqC4np08UogiFBpA6OKEhV//qX\nGEUUFdm+1q2bGEVMnKh4WURUB0cUpIrqauB//xe45576QyIpSYwiGBJE6uOIghT373+LUURhoe1r\nXbuKUcSkSYqXRUR2cERBiqmuBl5/XYwi6guJRx8Vu9ExJIg8C0cUpIjLl8UlrUeO2L7WtSuwbBkw\nZYrydRFR4xgU5HYXLwL33w+cOWP72tSpwNtvi7AgIs/EoCC3+uorID4eKCmRt3fpIkYRU6eqUhYR\nNQGDgtzm5Ekxkrh0Sd4+Zgywdq24/JWIPB8ns8ktCguBUaNsQ+KRR4AtWxgSRN6EQUEud+AAMHo0\n8P338vbHHwc+/hj41a/UqYuInMOgIJcyGICEBOD6dXn7vHnAihVAIE92EnkdRYPCYDAgIiIC4eHh\nyMzMtHndaDSiffv2iI6ORnR0NF577TUly6NmWrdOXAJ765a8/YUXxJVNAfy1hMgrKfb7ndlsRmpq\nKnbt2gWdTofY2FgkJiYiMjJS1m/UqFHYuHGjUmWRi6xYATz5JHD7trz99deBF19UpyYicg3Ffscr\nKChAWFgYQkJCoNVqkZSUhLy8PJt+kiQpVRK5SFaWWJLDOiSWLmVIEPkCxUYUpaWlCA4Orn2u1+uR\nn58v66PRaHDo0CFERUVBp9PhzTffRN++fW3eKy0trfbnuLg4xMXFuatsasSf/wy89JK8LSAAWL5c\n7FBHROowGo0wGo0ueS/FgkKj0TTaZ9CgQTCZTGjTpg22bduGRx55BP/5z39s+tUNClKHJImAWLRI\n3q7VAjk5wOTJ6tRFRIL1L9Hp6elOv5dip550Oh1MJlPtc5PJBL1eL+vTrl07tGnTBgAwbtw4VFVV\n4YcfflCqRHLQ7dtAaqptSLRuDWzcyJAg8jWKBUVMTAyKi4tRUlKCyspK5ObmItFq4+Nvv/22do6i\noKAAkiShU6dOSpVIDqiuFvMRy5bJ29u1A7ZvB8aOVaUsInIjxU49BQYGIisrCwkJCTCbzUhOTkZk\nZCSys7MBACkpKfjkk0/wzjvvIDAwEG3atMGHH36oVHnkgIoKsS3pp5/K2zt3FvdPxMSoUxcRuZdG\n8rLLjDQaDa+MUsGNG2KfiB075O09ewI7dwJ3361OXUTkmOZ8d/I+WWrUjz8CEyYABw/K20NCgF27\ngN69VSmLiBTCoKAGXb4s5h2s97WOiBAjCavrEYjIBzEoyK7SUrFM+OnT8vaBA8XENVeAJfIPXH2H\n6vX118CIEbYhMWwYsHcvQ4LInzAoyMapUyIkzp2Tt8fHi8nsDh3UqYuI1MGgIJmiIrHh0DffyNsf\nfhjYtAlo21aduohIPQwKqvXZZ2LDoStX5O0zZogNh1q1UqcuIlIXg4IAiFNKDzwAXLsmb/+v/wJW\nrhRrOBGRf2JQED79FHjoIdsNh55/XizVwQ2HiPwbvwL83KpVwNSpQGWlvP2114DMTMCBRX+JyMfx\nPgo/tmwZ8Lvf2bYvXgw8+6zy9RCRZ+KIwk8tWmQbEjUbDjEkiKgujij8jCQBL78sdqarS6sF1qwR\np6GIiOpiUPiR27fFaOHtt+XtrVoB69cD48apUxcReTYGhZ+orgaSk8WlrnW1aydupBs1Sp26iMjz\nMSj8QEUF8NhjYtRQV6dOYsOh2Fh16iIi78Cg8HE3b4oNh7Zvl7f36CGWCe/XT526iMh7MCh82I8/\nAg8+KJbmqOvOO8WGQ2Fh6tRFRN6FQeGjrlwBEhJsNxz6zW9ESAQHq1MXEXkfBoUP+u47sbjfqVPy\n9qgosaYT95IgoqbgDXc+xmwGpk+3DYmhQ7nhEBE5h0HhY157DdizR942ZowYSXTsqE5NROTdNJIk\nSWoX0RQajQZeVrJi9uwRu9DVPTwjR4ornriXBJF/a853p6IjCoPBgIiICISHhyMzM9Nuv88//xyB\ngYFYb33hP9lVVibulaj796BbN+DDDxkSRNQ8igWF2WxGamoqDAYDTp06hZycHJw+fbrefi+88ALG\njh3LkYODzGaxC92331raNBpg9WqgZ0/16iIi36BYUBQUFCAsLAwhISHQarVISkpCXl6eTb+lS5di\nypQp6Nq1q1Kleb365iVeeQW4/3516iEi32L38tiZM2dC48SuNSutFxP6RWlpKYLrXLyv1+uRn59v\n0ycvLw979uzB559/bvfz09LSan+Oi4tDXFxck+v0Fbt3A+np8ra4OGDhQlXKISIPYTQaYTQaXfJe\ndoNizZo1TX4zjUZjNygcCZ358+dj0aJFtZMu9k491Q0Kf1ZWJk45Wc9LrF0LtGihXl1EpD7rX6LT\nrX+jbAK7QbHH+lxGPTQaDS5evIj09HScPXu2wTkFnU4Hk8lU+9xkMkGv18v6FBYWIikpCQBw5coV\nbNu2DVqtFomJiY3W4m/MZjF5bT0vsWYN5yWIyMUkJ12/fl16+eWXpTZt2kgajUYaMGCAtH37drv9\nq6qqpNDQUOncuXNSRUWFFBUVJZ06dcpu/9mzZ0vr1q2zaW9GyT5l4UJJEmMJy+PVV9Wuiog8VXO+\nO5u8hIfZbMa7776L9PR0fPfdd+jVqxeysrIwe/bsBk8vBQYGIisrCwkJCTCbzUhOTkZkZCSys7MB\nACkpKc5mnd/ZvRvIyJC3xcUBr76qSjlE5OOadMPdpk2b8MILL+DMmTMICgrC888/jz/84Q9o3bq1\nO2uU8fcb7srKgIED5aecuncHjh3jKScisq85350OjSgKCwvxhz/8Afv27UOLFi3w9NNPIyMjA924\ncJCiOC9BRGpoMCguXLiAl156CTk5OZAkCRMmTMAbb7yByMhIpeqjOv70J7GwX12vvirWciIiche7\np55eeOEFLFmyBBUVFYiOjsabb76J0aNHK12fDX899bRrF/DAA/JLYUePFrvU8VJYImpMc7477QZF\nQIC4aTssLAzTpk2rfd6YDOtZVhfzx6C4dEnMS3z3naWte3fgiy/ElqZERI1xa1A0tRCz2exUIU35\nDH8KCrNZrAhb9wZLjUaMJHjKiYgc5ZbJ7OXLlztVCLlWRoY8JADOSxCRsrgfhQerb17it78VmxBx\nXoKImsItp548lb8EBecliMiV3L5xUWxsLJYtW4arV6869SHUNDX3S9QNCY1GLPbHkCAipTkUFMeO\nHUNqaip69eqFKVOmYPPmzW6ftPZn6em28xILF4rTTkRESnPo1NM333yD1atXY8WKFbW70nXr1g2P\nPfYYZs2ahaioKLcXWsPXTz3t3AkkJHBegohcS9E5iqNHj2LFihXIycnBDz/8AACIiorCrFmzMGPG\nDLfvTOfLQfHNN2Je4vJlSxvnJYjIFVSZzK6srMSWLVuwYsUKbN26FdXV1dBqtaioqHCqEEf5alBU\nV4v7Jfbts7QFBIgrnzzghngi8nJun8yuT8uWLTFx4kSsXLkSGRkZ0Gq1qKqqcvbt/F5GhjwkADEv\nwZAgIrU1eT8KALh9+zZ27NiBFStWYOPGjbh16xYCAgIwhneBOWXnTuC11+RtY8YAL7+sTj1ERHU1\n6dTTyZMnsWLFCqxZswaXLl0CAISHh2PWrFmYOXMmgoOD3VZoDV879VTfvESPHmJeont39eoiIt/i\n9v0olixZgpUrV6KoqAgA0L59e8ydOxezZs3CsGHDnPpgEvMSjz0mD4mAAHG/BEOCiDyFQyOKgIAA\nBAQEID4+HrNmzcLEiRPRqlUrJeqz4Usjij/+0faUU3o6tzQlItdz+1VPixYtwhNPPIFevXo59SGu\n5CtBsWMHMHas/H6J+HjAYOD9EkTkeqpcHpuXl4e9e/dCkiSMHDkSkydPdqqApvKFoOC8BBEpzS2X\nx27atAkjR47EPutrNgHMnj0bEydOxJIlS7B06VJMnToVkyZNcqoAf8N5CSLyNnaDYuPGjSgsLMS9\n994ra9+8eTNWrlyJtm3b4pVXXsGiRYvQu3dvbNiwAWvXrnV7wd4uPd32fom0NN4vQUSey+6pp6io\nKPTs2RMGg0HWPmnSJGzYsAG5ubmYOnUqAKCsrAyhoaH47W9/i82bN7u3YC8+9cR5CSJSi1tOPZWV\nlaFfv3427fv27UPHjh1lcxI9evTAhAkTcOzYsQY/zGAwICIiAuHh4cjMzLR5PS8vD1FRUYiOjsY9\n99yDPXv2NOXP4tG++QZ4/HF5SPToAaxezZAgIs9mNyiuXr2Kli1bytrOnz+Pq1ev4r777rPZU/uu\nu+7ClStX7H6Q2WxGamoqDAYDTp06hZycnNqVaGvEx8fj+PHjOHbsGP75z3/i6aefdubP5HGqq4Hp\n023nJXJyOC9BRJ7PblAEBQXh4sWLsraaG+6io6Pr/X8aureioKAAYWFhCAkJgVarRVJSEvLy8mR9\n2rZtW/vzTz/9hC5dujT+J/ACaWnA/v3ytvR0IC5OjWqIiJrG7p3Z/fv3x5YtW3D9+nW0a9cOAPDp\np58CAIYPH27Tv6SkBD179rT7QaWlpbIlPvR6PfLz8236bdiwAS+++CIuXbqEHTt21PteaWlptT/H\nxcUhzoO/cbdvB15/Xd52//3Aiy+qUw8R+Qej0Qij9Q5oTrI7mf3ee+8hJSUFAwcOxOzZs/Hll1/i\n73//O7p3744LFy4gMNCSMZIkQafTYciQIVi/fn29H7Ru3ToYDAa89957AIDVq1cjPz8fS5curbf/\ngQMH8NRTT+HLL7+UF+xFk9mlpeJ+ibpn5Hr2FPdLdOumXl1E5H/cstbTk08+ifXr12P79u2YP38+\nAECr1WLx4sWykACA3bt3o6ysDPHx8XY/SKfTwWQy1T43mUzQ6/V2+48YMQLV1dX4/vvv0blzZ4f/\nQJ6i5n6JuiFRc78EQ4KIvIndoGjRogU2b96MnJwcHDp0CF26dMGkSZMwcOBAm76XL1/Gc889h8TE\nRLsfFBMTg+LiYpSUlKBXr17Izc1FTk6OrM9XX32F0NBQaDSa2vkQbwwJgPMSROQ7nF7Cwxnbtm3D\n/PnzYTabkZycjBdffBHZ2dkAgJSUFLzxxhtYuXIltFotgoKC8Ne//hWxsbHygr3g1NP27cC4cfJL\nYe+/X9wvEeD0VlFERM5TZa0ntXh6UHBegog8kSpboZKtmvslrOclcnIYEkTkvRgULrRwIXDggLwt\nIwMYNUqdeoiIXIGnnlxk+3axjlNdnJcgIk/BOQqV1Tcv0asXcOwYTzkRkWfgHIWKOC9BRL6OQdFM\nf/6z7bzEn/4EjBypTj1ERK7GU0/NcO0aEBws/lvjgQeAbds4L0FEnoWnnlSyfLk8JLp0AVatYkgQ\nkW/hV5qTzGZgyRJ52+9+x3kJIvI9DAon5eUB585Znv/qV8C8eerVQ0TkLgwKJ/3tb/LnM2Zwtzoi\n8k2czHbC0aOA1VqFOHEC6N9fnXqIiBrDyWyFWY8m4uMZEkTkuziiaKLSUiAkRNxoV2PLFmD8eNVK\nIiJqFEcUCsrKkodEnz62azwREfkSBkUT3LgB/LLPUq3583nfBBH5Nn7FNcGKFcDVq5bnnToBTzyh\nXj1EREpgUDjo9m3grbfkbSkpQJs26tRDRKQUTmY7aPNm4KGHLM+1WqCkRCwnTkTk6TiZrQDrS2If\nfZQhQUT+gSMKBxw/LjYmqquwEBg0SNEyiIicxhGFm1nPTYwcyZAgIv/BoGhEWRmwdq28bcECdWoh\nIlKDokFhMBgQERGB8PBwZGZm2ry+Zs0aREVFYcCAARg+fDhOnDihZHn1eucdoLLS8jw0VD6pTUTk\n6wKV+iCz2YzU1FTs2rULOp0OsbGxSExMRGRkZG2f0NBQ7N+/H+3bt4fBYMDTTz+NI0eOKFWijVu3\nRFDU9dxzQIsW6tRDRKQGxUYUBQUFCAsLQ0hICLRaLZKSkpCXlyfrM3ToULRv3x4AMHjwYFy8eFGp\n8uq1Zg1w+bLl+a9/DcyZo149RERqUGxEUVpaiuDg4Nrner0e+fn5dvv/4x//wHg7K+2lpaXV/hwX\nF4e4uDhXlVlLkmwnsefOBdq1c/lHERG5nNFohNFodMl7KRYUGo3G4b579+7F8uXLcfDgwXpfrxsU\n7rJzJ3DypOV5ixbAM8+4/WOJiFzC+pfo9PR0p99LsaDQ6XQwmUy1z00mE/R6vU2/EydOYO7cuTAY\nDOjYsaNS5dmwvsFu8mTgzjvVqYWISE2KzVHExMSguLgYJSUlqKysRG5uLhITE2V9Lly4gEmTJmH1\n6tUICwtTqjQbp08DBoO8jZfEEpG/UmxEERgYiKysLCQkJMBsNiM5ORmRkZHI/mXd7pSUFGRkZODq\n1auYN28eAECr1aKgoECpEmtZz00MGSIeRET+iEt4WLlyBQgOBn7+2dKWmwtMm+a2jyQicjsu4eFC\n2dnykLjjDmDSJPXqISJSG4OijooKsdVpXc88AwQqdoKOiMjzMCjqyM0VazvVaNsWeOop9eohIvIE\nDIpfSJLtJbFPPgl06KBOPUREnoKT2b8wGoHRo+t+DlBcDPTu7fKPIiJSHCezXcB6NPHwwwwJIiKA\nIwoAwNmzwG9+I04/1di3T2xQRETkCziiaKbFi+UhMWgQMGKEevUQEXkSvw+K8nLggw/kbQsWiDkK\nIiJiUOC994AbNyzPe/bkXdhERHX5dVBUVQFLl8rbUlOBli3VqYeIyBP5dVCsWwfUWfkcrVsDKSnq\n1UNE5In8Nijqu8HuiSeAzp3VqYeIyFP57eWxhw4Bw4fL206fBiIimv3WREQeh5fHOsF6NDF+PEOC\niKg+fjmiKCkRd13fvm1p27kTiI9vXm1ERJ6KI4omWrpUHhL9+wNjxqhXDxGRJ/O7oLh+HXj/fXnb\n/Pm8wY6IyB6/C4rly4Fr1yzPu3UDHntMvXqIiDydXwWF2SzWdapr3jygVSt16iEi8gZ+FRR5ecC5\nc5bnLVuKoCAiIvv8KiisL4mdMQPo3l2dWoiIvIXfXB579CgQGytvO3FCXPFEROTrvObyWIPBgIiI\nCISHhyMzM9Pm9TNnzmDo0KFo1aoV/vKXv7j0s61HE/HxDAkiIkcoNqIwm83o06cPdu3aBZ1Oh9jY\nWOTk5CAyMrK2z+XLl3H+/Hls2LABHTt2xO9//3vbgp1IxdJSICQEqK62tG3ZIu7GJiLyB14xoigo\nKEBYWBhCQkKg1WqRlJSEvLw8WZ+uXbsiJiYGWq3WpZ+dlSUPiT59gLFjXfoRREQ+K1CpDyotLUVw\ncHDtc71ej/z8fKfeKy0trfbnuLg4xMXF2e174waQnS1vmz8fCPCraXwi8jdGoxFGo9El76VYUGhc\neOtz3aBozMqVwNWrluedOonlxImIfJn1L9Hp6elOv5div1frdDqY6uwSZDKZoNfr3fqZt28Db70l\nb0tJAdoYHc/rAAAJmElEQVS0cevHEhH5FMWCIiYmBsXFxSgpKUFlZSVyc3ORmJhYb19Xza9v3Qr8\n5z+W54GBwO9+55K3JiLyG4qdegoMDERWVhYSEhJgNpuRnJyMyMhIZP8ygZCSkoKysjLExsbi2rVr\nCAgIwOLFi3Hq1CkEBQU59ZnWl8Q++iig0zX3T0JE5F989oa748eBgQPlbUePAvfc46bCiIg8mFdc\nHqs067mJkSMZEkREzvDJoCgrA9aulbctWKBOLURE3s4ng+Kdd4DKSsvz0FDgoYfUq4eIyJv5XFD8\n/LMIirqeew5o0UKdeoiIvJ3PBcWaNcDly5bnv/41MGeOevUQEXk7nwoKSbK9JHbuXKBdO3XqISLy\nBT51eeyOHUBCguV5QADw9dfAnXcqVBwRkYfi5bG/sB5NTJ7MkCAiai6fGVGcPg307StvO3wYGDJE\nocKIiDwYRxSwvcFuyBCGBBGRK/hEUFy5IpYTr4s32BERuYZPBEV2trh/osYddwCTJqlXDxGRL/H6\noKisBN5+W972zDNiSXEiImo+rw+K3Fzg0iXL87ZtgaeeUq8eIiJf49VBUd8Ndk8+CXTooE49RES+\nyKsvjzUagdGj674GFBcDvXurUxsRkafy28tjrUcTiYkMCSIiV/PaEcXZs8BvfiNOP9XYt09sUERE\nRHJ+OaJYvFgeEoMGASNGqFcPEZGv8sqgKC8HPvhA3rZggZijICIi1/LKoHjvPeDGDcvznj2BadPU\nq4eIyJd5ZVAsXSp/npoKtGypTi1ERL7OK4PCZLL83Lo1kJKiXi1qMhqNapfgMXgsLHgsLHgsXEPR\noDAYDIiIiEB4eDgyMzPr7fPss88iPDwcUVFROHbsWKPv+cQTQOfOrq7UO/AfgQWPhQWPhQWPhWso\nFhRmsxmpqakwGAw4deoUcnJycPr0aVmfrVu34uzZsyguLsa7776LefPmNfq+8+e7q2IiIgIUDIqC\nggKEhYUhJCQEWq0WSUlJyMvLk/XZuHEjZs2aBQAYPHgwysvL8e2339p9z3HjgIgIt5ZNRESSQj7+\n+GPpqaeeqn2+atUqKTU1VdbnwQcflA4ePFj7fMyYMdLRo0dlfQDwwQcffPDhxMNZii3GrXHwJgfJ\n6s5B6//P+nUiInIvxU496XQ6mOpcrmQymaDX6xvsc/HiReh0OqVKJCKieigWFDExMSguLkZJSQkq\nKyuRm5uLxMREWZ/ExESs/GVP0yNHjqBDhw7o3r27UiUSEVE9FDv1FBgYiKysLCQkJMBsNiM5ORmR\nkZHIzs4GAKSkpGD8+PHYunUrwsLC0LZtW3xgvU4HEREpz+nZDTfbtm2b1KdPHyksLExatGhRvX2e\neeYZKSwsTBowYIBUVFSkcIXKaexYrF69WhowYIDUv39/adiwYdLx48dVqFIZjvy9kCRJKigokFq0\naCGtW7dOweqU5cix2Lt3rzRw4EDp7rvvlkaNGqVsgQpq7FhcvnxZSkhIkKKioqS7775b+uCDD5Qv\nUgFz5syRunXrJvXr189uH2e+Nz0yKKqrq6XevXtL586dkyorK6WoqCjp1KlTsj5btmyRxo0bJ0mS\nJB05ckQaPHiwGqW6nSPH4tChQ1J5ebkkSeIfjD8fi5p+o0ePliZMmCB98sknKlTqfo4ci6tXr0p9\n+/aVTCaTJEniy9IXOXIsFi5cKP3P//yPJEniOHTq1EmqqqpSo1y32r9/v1RUVGQ3KJz93vTIJTzc\ncc+Ft3LkWAwdOhTt27cHII7FxYsX1SjV7Rw5FgCwdOlSTJkyBV27dlWhSmU4cizWrl2LyZMn1140\n0qVLFzVKdTtHjkXPnj1x7do1AMC1a9fQuXNnBAYqduZdMSNGjEDHjh3tvu7s96ZHBkVpaSmCg4Nr\nn+v1epSWljbaxxe/IB05FnX94x//wPjx45UoTXGO/r3Iy8urvavf0cuyvY0jx6K4uBg//PADRo8e\njZiYGKxatUrpMhXhyLGYO3cuTp48iV69eiEqKgqLFy9WukyP4Oz3pkdGqqvuufAFTfkz7d27F8uX\nL8fBgwfdWJF6HDkW8+fPx6JFi2p387L+O+IrHDkWVVVVKCoqwu7du3Hz5k0MHToUQ4YMQXh4uAIV\nKseRY/H6669j4MCBMBqN+Oqrr3D//ffj+PHjaNeunQIVehZnvjc9Mih4z4WFI8cCAE6cOIG5c+fC\nYDA0OPT0Zo4ci8LCQiQlJQEArly5gm3btkGr1dpciu3tHDkWwcHB6NKlC1q3bo3WrVtj5MiROH78\nuM8FhSPH4tChQ3j55ZcBAL1798Zdd92FL7/8EjExMYrWqjanvzddMoPiYlVVVVJoaKh07tw5qaKi\notHJ7MOHD/vsBK4jx+L8+fNS7969pcOHD6tUpTIcORZ1zZ4922evenLkWJw+fVoaM2aMVF1dLd24\ncUPq16+fdPLkSZUqdh9HjsWCBQuktLQ0SZIkqaysTNLpdNL333+vRrlud+7cOYcms5vyvemRIwre\nc2HhyLHIyMjA1atXa8/La7VaFBQUqFm2WzhyLPyFI8ciIiICY8eOxYABAxAQEIC5c+eib9++Klfu\neo4ci5deeglz5sxBVFQUbt++jTfeeAOdOnVSuXLXmz59Ovbt24crV64gODgY6enpqKqqAtC8702N\nJPnoSVwiInIJj7zqiYiIPAeDgoiIGsSgICKiBjEoiIioQQwKIieVlJQgICAAc+bMwZkzZ/DII4+g\nU6dOCAoKwogRI7Bz5061SyRyCQYFUTOdO3cOw4YNQ3l5OebNm4epU6eisLAQ48aNw0cffaR2eUTN\nxstjiZxUUlKC0NBQAMDzzz+PzMzM2tcKCwsxdOhQBAUF4fz58365VAT5Do4oiJqpQ4cOePXVV2Vt\n99xzD2bMmIHy8nJ8+umnKlVG5BoMCqJmGjRoENq2bWvTPmrUKADAF198oXRJRC7FoCBqJnv7uvfo\n0QMA8OOPPypZDpHLMSiImsnexi9lZWUAULupFJG3YlAQNVNRURF++uknm3aj0QgAiI6OVrgiItdi\nUBA1U3l5OTIyMmRtR48exZo1a9ChQwdMnDhRpcqIXMMjlxkn8iYjR47E+++/j/z8fAwbNgyXLl1C\nbm4uACA7OxtBQUEqV0jUPBxREDVTaGgoDh8+jI4dOyI7OxuffPIJYmJisHXrVkydOlXt8oiajSMK\nIhfo06cPNmzYoHYZRG7BEQURETWIQUFERA1iUBARUYO4KCARETWIIwoiImoQg4KIiBrEoCAiogYx\nKIiIqEEMCiIiahCDgoiIGvT/+y1xhix0fgEAAAAASUVORK5CYII=\n", "text": [ "" ] } ], "prompt_number": 12 }, { "cell_type": "markdown", "metadata": {}, "source": [ "Teraz rozwa\u017cmy problem bardziej z\u0142o\u017cony. Za\u0142\u00f3\u017cmy, \u017ce w parze qubit\u00f3w przygotowanych w stanie Bella:" ] }, { "cell_type": "code", "collapsed": false, "input": [ "BB0=(tensor(rpp,rmm)+tensor(rpm,rmp)+tensor(rmp,rpm)+tensor(rmm,rpp))/2.0" ], "language": "python", "metadata": {}, "outputs": [], "prompt_number": 13 }, { "cell_type": "markdown", "metadata": {}, "source": [ "jeden z qubit\u00f3w podlega kana\u0142owi depolaryzacyjnemu z $p=0.4$. Sp\u00f3bujmy okre\u015bli\u0107 wp\u0142yw tego kana\u0142u na warto\u015b\u0107 spl\u0105tania stanu pary qubit\u00f3w. Rozpocznujmy od obliczenia dzia\u0142ania depolaryzacji na stany bazowe:" ] }, { "cell_type": "code", "collapsed": false, "input": [ "p=0.4\n", "rpp1=depol(rpp,p)\n", "rpm1=depol(rpm,p)\n", "rmp1=depol(rmp,p)\n", "rmm1=depol(rmm,p)" ], "language": "python", "metadata": {}, "outputs": [], "prompt_number": 14 }, { "cell_type": "markdown", "metadata": {}, "source": [ "nast\u0119pnie przekszta\u0142\u0107my stan Bella:" ] }, { "cell_type": "code", "collapsed": false, "input": [ "BB0_E=(tensor(rpp1,rmm)+tensor(rpm1,rmp)+tensor(rmp1,rpm)+tensor(rmm1,rpp))/2.0 " ], "language": "python", "metadata": {}, "outputs": [], "prompt_number": 15 }, { "cell_type": "markdown", "metadata": {}, "source": [ "i ostatecznie obliczmy jego spl\u0105tanie wykorzystuj\u0105c funkcj\u0119 concurrence():" ] }, { "cell_type": "code", "collapsed": false, "input": [ "concurrence(BB0_E)" ], "language": "python", "metadata": {}, "outputs": [ { "metadata": {}, "output_type": "pyout", "prompt_number": 16, "text": [ "0.20000000000000012" ] } ], "prompt_number": 16 }, { "cell_type": "markdown", "metadata": {}, "source": [ "Zadania\n", "-------\n", "\n", "1. Wykre\u015bli\u0107 entropi\u0119 w funkcji $p$ dla pozosta\u0142ych kana\u0142\u00f3w omawianych powy\u017cej\n", "2. Wykre\u015bli\u0107 spl\u0105tanie zdepolaryzowanego stanu Bella w funkcji p. \n", "3. Wykre\u015bli\u0107 spl\u0105tanie stanu Bella zmodyfikowanego ze pomoc\u0105 innych omawianych kana\u0142\u00f3w w funkcji p." ] }, { "cell_type": "code", "collapsed": false, "input": [], "language": "python", "metadata": {}, "outputs": [], "prompt_number": 16 } ], "metadata": {} } ] }