TOPOLOGICAL STRING ENTANGLEMENT
Mukund Rangamani
QMAP & Dept of Physics, UC Davis It from Qubit School/Workshop Yukawa Institute for Theoretical Physics Kyoto Jun 20, 2019
Veronika Hubeny, Roji Pius, MR [1905.09890]
TOPOLOGICAL STRING ENTANGLEMENT Mukund Rangamani QMAP & Dept of - - PowerPoint PPT Presentation
TOPOLOGICAL STRING ENTANGLEMENT Mukund Rangamani QMAP & Dept of Physics, UC Davis It from Qubit School/Workshop Yukawa Institute for Theoretical Physics Kyoto Jun 20, 2019 Veronika Hubeny, Roji Pius, MR [1905.09890] MOTIVATION
Veronika Hubeny, Roji Pius, MR [1905.09890]
Holographic entanglement proposals are well understood in the regime
1
Perturbation theory in inverse powers of coupling lead to geometric (though not extremal) surfaces g2
Y M N ∼
✓`AdS `s ◆4 Quantum gravitational effects however lead to quantum entanglement across the bulk extremal surface
, N ∼ ✓`AdS `P ◆4
Effectively, our understanding of how between geometry arises from entanglement in field theory is limited to a small corner of parameter space. We should be asking for more…
Explore the connection between entanglement and geometry in classical string theory, when . For now, focus on topological context where lack of dynamics is compensated by the intrinsic tractability of the theories. Open/closed topological string duality provides a concrete context where we can explore what is the topological closed string quantity which captures Chern-Simons topological entanglement . More precisely, seek a topological analog of generalized gravitational entropy, and ask how the replica construction in Chern-Simons ports across to the closed topological string. We’ll argue for a natural replica construction in the closed topological string and the notion of an entangling brane in topological string theory.
`AdS ⇠ `s `P
<latexit sha1_base64="vP9xwf2SozwT/aqApyQknByRxrg=">ABgq3icpVxtc9tIctZd3i7Ky+0lH/MFjsu3ch3tWM6mcrWVB0pkpIlSkeRsOS1aXFBYkBiBQIQANKWUfwH+TX5mvyR/Jt0zwxeZnpAyXu2hWIfrqnp2d6pqdnBrM48NPs1av/+8Uv/+zP/+Iv/+pXf73/N3/7d3/629+8w9XabRO5uztPAqi5N3MSVngh+xt5mcBexcnzFnNAnY9uz1C+vWGJakfhXZ2H7OPK2cR+p4/dzJ4Nf3mtxMWBNJxj5nedsdb61J6q8s/jK1JouFeBxOv3n6uUr/s+iD4fy4eme/Dec/ma6mrjRfL1iYTYPnDT9cPgqzj7mTpL584Bt9yfrlMXO/NZsA/wGDorln7MeYW21jN41pelMB/YWbxt3WO3Fml6f1qBsiVky1TnYvTbQP68z7/cfcD+N1xsK5KMhbB1YWgdy/UTNs+Ce3hw5okPulrzpZM48wxsqJTC4tRrQVGoYKpUJ8+c2Vqt4GYOZmAJ6vMxv4/W4QIwKtMiceKlP/ckuq3ZBXxb7ZctVbrIPOT6FPLSRLnvjVbtWbwH0v9MFPL4pWeJx9ztp47gUqbzRYJY7fBxRs1mk0ndVKoVGXDJXlReuVzMwTCuNkuy382gFXS+FVgydbOZr9Vv5oT+LPm/3n1n10mUQU8MF/r72PWCdO7Eak/JReUz/bLi7nboKAqCBoSTLvSagPFekHkZJp0Dxophif19Rz0QG/RVbl302Wgv1gH37M0XrYu/bhn/XMeqH8sxIndKOVFbJPVpqtPU+jy3/7+xNAgElXAM8n82izfN8Aqa6B3fYvNxutyrCzj5FAJlAm1v2dpP84PXz7fbSUvDvRmAg+UTbH+A5m+2N7nwfi67+p+FOChE5W67Wwl3XEKMU/AeDwCzGTxq5c6XJREeNaLXFjTw+BUgj90xNGyDhG/dMyoDhmZEP06oi8QKqTLT0Z9ysbdYmxv0gLzrz8i05ruz8BtcuCzJnmk9YEvDkIbCxn/SFYxayBqsyzxwD+xjaVN3eMYHQRgVYQxILT+0YAQJ2L41cZk3SZeOyzpgZBisOS6fBWv25N9Qt5I+qtNBEidLuRagUo6FeUQi1m2zZPFbJu/evn71quXr/E/KfB89PQO1sNaT093Bbl9U9q5Pm9E6rk0aBGRk23uaDuP+vAWHvLslTrWUm4/QCeNQmYl1kHIMuaJP5imVnPNevPktsa8kMN+VFH+otZIrAdfxFMco6Fx2SytTSsW4g9eHr4fDo5w4DyvZxYsBGU9FLJ+CdDKj54TZ/rfeQuzXMgiypQb7jdbfhF9O8Wmq4hKEzhx+8WqCEqJNe+Yx7NkLhSaMtkmgd1xz/mBdpbdhG0x7eSAs64SJgwoL8UbYeNA8032Tlu5Y1eYJ0DTBLHARIfi7giYX4ojfCkM8aRew/e2Z0AcVxrDfoLuA5Y5RlgeLW+MyKoW7gGhmDET9o8CTVqSxfyuE6qYZIlpG/xdbM+DOMqWLkyxkUACMreKnto45KySebaeaNK13sxBLP4FQa90ut7XgcBrhxozioktyHa4/JFMP4kUQu6jsl+OzWl+45PMFvNJLARi4/ySCBIDzDpHI8vZ+ZiIxncm4E7hJqajIZg4L+cs/EksU1ZtNstdlCSwBl1dUb2Zk9QYHuKY16UbBM6pRH2OufzCkgx0s2rRjNhu0oshHX5oNE20Ik+vP6If+Ml9AQYUW8wCniKYAeBIhGwkO4wUtCJDSNZ6ByjN4DM8b2cbIVLWzKHKLzWiUYRAiDbZb4ekrjHYg/KNVrbGBEf04k/P7gNmNKYv2XyITx9TU1/UtF7NZlYDr6jgDiZROYUvkDrCpP4oFVcOTgC8BI0yEyRNdx31pRJw80rXRdBQlX29tys9nXTvpiFAB9raqFIPrTkjmGlmetIGzXqBrWOqDkvj2gx5QDyIP1rtKuTaU5QUbG1QdLeayKokTNdS6ve8e71Wz1cLAUoUWjgIPdFX2OL3uVFL0KD+mw1fp+z2CHzmhs75LC6YRt3C8Yi9WA2XhmbsGaN6HRm7WVhzInd3fOQ92mibm7e/7qrNzt3Ey6TbOzl1ldiYrQOzY8OcRXRpQR2aw6Mr7PIYpI5iW5QLBrGlKuWPsYhWZfPgOkIHnAjEJ9lPDirQfUKjM/e6OKmb/RucTYiGJhWbkek/5wNjMABr5wGbW8odpo7G+5WevksMIEhJjShu/C6Gf0INaQWj1GiQapRhQKrjxqghGs2hrsxDKoSWaCJ/DaUEGTbC6ZVtAglgs1yBRCd0vLahghRwcdG+pxTGUdz0z1rXz1eGu2a7YEf9vA4nOJMaWJrp8CTVgx0SF4nlMFa6BEz9c7HTB/nghFvsHLw6f3+T9qYrWZB+r6OpKlpTm6B3yl4shdp8ZIfuPjXtYWVpos/eOhtYfoB8wgt6+lrizu7Hmxak3hF0gtNAsgS3nHbYeYXUExg/IzSzljgdjCfgVIwlzKxuITnxYpOZ0gzFvdlAsZe8mUmt5elG2NWq0ichDXdipQJjulrGNGteZQkLOCbEJa3Dk1pFGfT3uYWFO9ZDtFpsSyJCwNxJqiwDiswNKfje6UIl9elMfFgWRe29Z+viwnocQC1jLFWno+mDrVOyH3QumCGoGvIPjiUfqdrjR/Xa5ZBUjHjPuat9E5sZt6ao7T6pJVF5RgnP/f0AVaKkf3etL0DY+24Y3REVF6T4x2B+Yy+AKWxIbNYpqltCxViKGiD8rAGLNFo0xNncBnRaWKRfKjqlHxKWytXYFxAw8sqU1qvrWthbNeMEt0SZ4w4/7HXM2HB86qWObD48wly8B2Wus6mJFoE93a8HqrADQ6d4GKPC37O8HNjMCZjuzrSvWJUn1VqT5thscX19GL69DwXy2uQ2f7gdiLqFm6GCa12bPCnckdCxhFsozURLgpI+pvDTOQtdJ8z0bB+E2OrEjtszdH9GxeAujSG+n9kiZp9hcsmQTDmwcdfpiUE8MsIfHqpUq3CDGjbRg/Boagnh8UPCYyI8NgnXeb5I4SJ1w9BtzxAxC1/OMHCj9ePkLk8utkdgDd2Q2BLo8iRUJ5N06zJzrxA40lJzCVRxO8GfO9ijX0swD3XaG7D5xwTZ+qM2Hn3Eu9QOX5e90IZ+xl+fvphO6GflZeMS7qfQNsdiMVsyaOak/tzDnarnVpxWBZ5z71TJ9ymGiueqyc28mr5Wy9xbnNv+wiGTjWFSyZj5rIjZyeTiP7jRPTNIqBmMrvIdzJ1nS0xCDUGTNdREribKFiDSV0ne1TIJEwf8gMBGBVGCQ5sFuje1Hg8pEOViQ+J9PdkCNoJx4+zXir6BU6F6OoCPdX1jlvcpSPFRLDaAQ/oUwWprhosbMnBsNYEkLaLOmkC7GceMw3oFXYvLdcjEdEtyLEkSwqs2DFY3MpemyIi6Jsw2cRVvaHYIE/RZL4z8lC3qPfQCGnuB/fJBoHCc5b2bREVkAS3qWp84vryDAeMSLx7qyZqMchVN7rxbZGF8QTGoITzfMicLYAHOkn2rXqmJzaOkyR9SlvEzL/4XJt8dxpncuhXsvHNo1rWrAk+2e6dl9RCGwI6rQSc6rRhRuSrZ75vKSzpj6stHhYaUbOVoJGgx2C502qoSZNZRTsSIYgWXqn+1dfZl3X65NhZEc1CZxY4qhTxTl+8qJiubpvb2zrA0tljR7rzqbSV0TAWhOwJjseY7S7ghGv9MhuKCM7CZ9OvKEGuRsquR3WwPoVIJOzTLG8YlWTn5COuJTYSJLJuP5095rzWgoKA6rLSCAcq3rwW2mEOVIVLH8yle9mox3YsB0wRrKzDTYaJTW23h02kRrehutnSBSvcvICH2wb8qhjBAEVGsD+iwymSLPGOuK9WXEpG9c/lUarPemQjZiCtmHIht286hNTh8y4fxN370FnBj7s1rCIg9GHNx5GsCzlRp3ymxgZlUdqyvMDZ4MydOGKx6wEpoWglTap4isRpEDPNoYg4RyrIXoILgSKnZ4wCl/gOS26x4m7/x0F1ngLCN3wfjhATyAktDldBej/GgduqmJ86hv82yREKNuOSFNZFz7WEs8nXVSM6de7XWhI+kjnlOQSK/wxIBdnF2LZM+BIoXBZa5J5WkXeLoEX0o3JRSPk0QpEqD3P69fIPpklV3IJRSvr8rtG+R2CkSHrFoKuYTidVS5HSq3F2zns7WK7l65PRNryjNQPN6ankcg2xYlkCvmNsCDHfFWzilx7h4MuyXCPEKzG14iWS2HJUwMhUPipKIRvpAofUbkdkAvrR8raGVWNB2Sda4meLNuHkL3OiDQigrRWwaLB3IbCe6N6axL5vap43lxUgd7I0KpcBT3AxZXCPAoCJnLWuIZIWORp6wWx6uMjm3mZJ8bkTrVo2IHtFAuHKo4nbrCcr5M64AizV5gYJHPvspKGIdaQ54KWhYzAO41+AwiYotl85fi3N4mzTfT9KY4A7pJ0zv+4jsanRa4DKBqjzjUInu2UrPBFazuA4ldbaAU/qkTH1rHe3zc+MJkZKYWMd0bujlj0zxSopApVKj6hWDUVwurn3FmELPNTsYrF3jKOYUKA5knAnlogIoMQ6HUk/vdOyw5JaT8VtJ/IOtcplmiYvj4nIu5OKz7mR2pRJZrnh2yUpo47iIMHUmThFc8EjGqaykymLpru0P4/rJ1R+IWj/UiviBl6HQ3yvs7wn7+xr7e4OKqzUHiGDNGEKpsdBFxHgmQUSPjzrf7/F9tVKLjZPYpoS4NygA5pXi2QwJS9CyO4qsjuGnY0ezTztFlE1kpkduI+WeCRV58bI7VEKDMf3qzigEm5e19hFM1RHRiQTrc0OaIqhSQpJ2EvClFULWPNHqrpV6n6FSV8vfpxMIy5rat9bi6to1G3SlM78NfoeGj+o9RVbNhBzjYVZucA+pP1WhIiJfSjw2tUipTP4ZXwKnRdkjiRT9Kylm0cuo3d8g85RUI1VHPDLFhVgU75nHmsqBfUmbw85Ot+Atqk/AChHfea+KxevCSyhLJ5QLcrdpbF/rOL1HwaISIyafBxHJqkox6bU+q6hqrdFYCzswA7oslqHL8ky1JDnlXBeyKTmQFic5x75tqRuezjqd0Ap6qpRuUnswKFNAqSaDALqp4IKIuCi5Ce0CO8F1fAaY9VFLhp7x1lVtKGzl0Wf0W415Kt1+FuehRLdJy6e36YZswPX5w7nz+xILCgi0bJvbYuxD7bqRaGNqWEfs0h586YvHD+TZfIBEeSFYCq0HWA7b8rLtEPw5+De8kMviD59L/dH3EdcFStZh1FwD494wQUD0SMYWMIXY38lI5WVbjYcLNXRY2iaA/hiqjxO6Q3pmYqjcSmKn6A4IofClhxTk6Ji9SJtLm8o7tQhWyqken2DRp63oR0FKgJkQrW/QfYdtoncrbe3h71eqbjzBdVRa94udhPJLKv6Z6rqh+ldDm8ghel/XK3dV7nqSO56ztxiKaLpegq6nhrSx4ShNRTU/Z5jORxbOIcl5wY+RvT29v8Dn2U2sW7K5nvtiVEV9mWOuZWI+T4I+JOI45UehMOCXVM5PvkChVpuju6GtKy17zYkDI82R2fAn9VWgOfte9MdqsWjAeacnysC/C6hlOyq4xOsWq+nI29Kc/dfU5Os9U/lCnqLpLqxZWc5hVNdGa6vDLJVbgBQtbLPA9KSPKU9+6E5sqt3k8MYUCgB0RKCjBuiISB01SR0RqaNSqlYzqa2o2APqelJfDWxW2JMaq+AGlT2pswZuVlrDFrBnVsdJXMbCF+/XKz+MmrwI4pTEUgQStEx0b0owDutopFmhNoJuWNxoO4FXBYMHgYxSCx9hHuRoSgpoRo2m0CaVwj/MahkozbKMauirLNzBkiMiNzVjFnJTMOdVWztqwOd7dsE6udKWGEAYf2DfyuqLIez6HmW1IouJTDj29EUgzxuOgqgklSJcUj4Wsb6f5uKE0T4IKWd/yU9Etk7jmEurXan+lh8TFf23Qbxg0qKs460ox1SK0AY7lJnu1dQV/cWMu0MYzlwlnc5epSA+e9WAZAPILg5aeP2b3IJKP2k8DMiPA+pLlIq/83P4exV/72fwD68wgcr37g7gR+un57oxroZoDC3mKg37mHB9PF9+gtCQJS/wP19uhQhOH4Lx2pbUFC8LpKGjXE8kaEq6WBqepvrGdeFeD1ZGA5Z4DUl5a4V2UvB+0kKgiRGQEZQEzsJZFw8s3TjrzBjbuw0/x1+LtDuobCsLq4Ic3Xr6kcXISVfZ+b8XLe1gQwdJmJU+IqTJm6+D2vJ7YJ7lwRODnc6Bp4c+0YDGj5IdDBPCcH5NwDZp7TnZ39w3GQFyFCB0PXTKRbKp7NpfgDF0BvctkDYzQhnyZxMoMTzTNUZKoLsPi1o2wHGoGXzR903QX1ExFRQRAKFWi1LYF+zKY5OesoXG5gepHVnbaSQDt3UDUow5srFu9WBNoxW9x0MGIZgPiBiTtEGED8oIg01kDlN7xTBqQdIV914C83BqTF3KUG9i7sxV6kM2P1OCXVuTQvmtIN7Hu5DPc0OVcA3PNygGMREQLef3GWmji2gWhrRHegmZvDw6fV+flRHi2KAupahG+e1r5rVBs7C5tmpxbSJdIqiyXdm0XW8KrtbjvUrWIhg1KaCyhjc1rGYvud3MUyri8VF2WJaHwaqb2xbfrX4Ue/bZl60xIWeksoGzKogy6kB5Ay6+FYntAWhTQh9QegTQlcQujph6awxEyjrg1W4VsbYZQt8Xto5G5dodMNn6E1YqGXkVjoZiQW+kmiSnVHgwVEuLzM0Qupg/7VIQC1AdQuQG0TSB53K+uFTdeHjwhwXuaeLx5eFiYPCFfyZBiqt1sug/RVqnplXnTxM0q0ma/TxRaO9B7TpCWXwl+LoiMZSxu8/J3q3Bzj5F8OnNkMOeEbOSLMHcx41SOrNnEyvCDjdAbAHqgjrd9YOYaq0XdjioGc9+mn8UsipLcQ20VMwAYxUxL9XqD8i12SMYN7cDodP98BwgOtdv18aFsdfdVeJsDKxYRmtBj3RHyDx2vNw5+gtw10DJzQ6DKCam6aAne6G8flUYE7W71kOd3BolWLHy7eFgeOyPULcaq4pOJSf1euV18Yuh41zdm4tSXt+cqR281Oh7xOzR+cRZnomFCSNePkqaHDhUib36OWg8kEHJ3Jg1yE1zVIDwbhN4Kj8wKfZ4m/a8zv0Uv1HohAw3WBrXxT38+h2/FMQjTZaKQJNpq4Qh31pJVtbJdjomKYCKdqXT+hVNv8gwGKtfeIoKv74ygjTSzpJy5I0SregdLdT/UByd1PRNjrNT/GkTCzprot2Qa7OumAoXGNSHm12MUi+IpNxvnfV/eywAXADebrYJ3Szlu/MledatQV4Ej8hkYNL/9oSHf0dN75BYgSusrh/feNZTL16PKwcRlwzyhgMK6KToqvsOS5P64GBvIZrIgtws60Z3TS/K4XlBXa/UrcBw2NvixqRCnbuLIl43HPYAarsg3zpxbACUdJHarOlxpEI/feluq8bQr+Z0Y5H6OahyH/H2+Zz6WlSzF01wD3T7SFv1ITWz/qeXr8v71zxviV6dW8diGM3Opzvmps4BEGe/Leu2X1g+SH3hDAT3/ZVJQHCuNgs08DXDTHwde3MAZdijiV1mNUcW3Mfuy487AbRD/pk/7p0o4Kh0Zek3vWzt0KlhtO1BtH1M7ZqAISWrh2EuibBrQDgTQ8sUh/BuzV+vJrfxaWAwaojVYzejaATqgDjpbaxihnXOdC82GYyEP8vHJMjbN8b1U2LNIzDMW5JlnkVMWAy6xOmEuIXh8m8WY28bPsLYsVA86LhOjx9NDWoB6YUqf7QYFoIgzJUe9JPhdFlYu6NmWF4aomLPIZbm8pMe3k6Ig4h9Hv/e8oK17/4L/Nr42b3FPsdOmJLwOLrXPzDayN5RopeLupXoH4jqFOBqu6GJ6maGLz5sjqnJj6goNCjkfadEaIlVhm6gT9n+tdwZvzDOjfyK2LxEgaZiPM8xVuq02+eHuqf46cPV69fHv7ry9eX3z39w3/IT/X/au+f9v572DvcO/f9/6wd7I3Hu7N9/7r73/3vufvf/98cWP4x/f/zgR0F/+QvL8457y70f2/zcjJq8=</latexit>The open/closed topological string duality relates the worldvolume theory of topological D-branes with a closed topological string theory. Worldvolume theory of A-model D-branes on the deformed conifold: Chern-Simons gauge theory on with . Dual closed string theory is the topological A-model on the resolved conifold geometry. S3
<latexit sha1_base64="dqtLbdaT0X8a0fFqpNZ9smhgJLA=">ABgjHicpVxtc9tIctZd3i5KcreXfMwXOC5n5TrasXybytUmV7WkSEqWKB1NwpJfaHFBckBiBQIQANKWUfgV+Zr8sPybdM8MXmZ6QMl7rtoViH6p6enZ6anZwazyPeS9MWL/vFL/iL/qr/mV3+7/3d/w+/s03v/3HyTcxHP2Zh76Yfx25iTM9wL2JvVSn72NYuasZz67mt0cIf1qy+LECwM7vYvYx7WzDzXmzspvHqXTWauNc6vfz/95vGL5y/4P4s+HMqHx3vy3D62+l6sgjnmzUL0rnvJMmHwxdR+jFz4tSb+yzfn2wSFjnzG2fJPsBj4KxZ8jHjGufWE3izsNwhv+C1OJv6xyZs06Su/UMkGsnXSU6DV+aB82qfuHj5kXRJuUBXNRkLvxrTS0sPrWwovZPXv4MGZx7oas1XTuzMUzCSUgqLErcFRaGCiVKdLHVmG7WC2zmYgcWoz8fsLtwES8CoTMvYiVbe/HNLqt+SVcS/6WrdWm/81IvDTy0njp271mzdmsF/LPGCVC2LV3oef8zYZu74Km02W8aM3fgfM0TNZqFK31WpBpxRaqvGCznoFhWkYp/86D9fgWwm0YuCkM0+r39oLvFn4Od9/YtVfx2EKrhYs9fRwvWTuROpnpKJyqfezZdn80WDgqogaEgw7VqrDRTr+qGTatJdaKQIntTXc9ADu4Ouyt0iWfnq2w/24cMrYfetQ/rCfWM+WfFTvBIlxbAftkJenGdTW6/Le/PwEmHQN8GwyD7d5lmUTMNUdIft8zPVYSdfgoBMoE2t+x8mk2zg5dP83zS0nCvBtDBsgm2P0CzV/k1SGWfUyG7+p+FOChE5W4vcgl3FoQYJdB7XADMZvColTtflUR41IhuW9Cgx6+hEPyhI45WdYj4pWNGdcjIhOjXEX2BUCFdburJuF/ZqEuM/UVacOZmX3Rae/ETULvMT51pNmlNoDf7vo3l7BNfOGYBi6HBusyF7oE+ljS5wxM+CMKoCGNAYnmBSOIz/atyYK5k2TlLFgHjMx8n+Oymb9hj/4dSvpozodJHGylGsBKuFYmCgkYpOkeRYvZ3n24vkfWi+ev8T/pMDz0eNDdLYa0np8mBfl9U9q5PmdE6jk0aBGRk3zTFD3n3RgrL1haJ5VhzkH6BnTXzmptYByLImsbdcpdZTzfqz+KaG/FBDftSR3nIWC2zHW/qTjGPhMZ7kloZdFGIPHh8+nU7O0HFA2T5ODNhoKnrl+NzJgJod5tlL3UNuNzALsrgG+Y7X3YZfTOvVUsMVDJ0Z/ODVAiVEnfTKp7xnIxSeNoyDjdRreMf8yKtLdtq2sMbaUEnWPpMWJA/ytaD5oHm6y9hWVNHiFdA8xiBwGSnwt4ZCG+8EY8lmjiP0nT4xdQOk41ivsLtBzxijLAsWt8ZkVQd2ga6QMRny/oSepncrypByuk2qIeBV6ObZmyp9hTBUjn2QhgwJgbBU/tXMWSHxLJ9q0jTvZKmDWPwLgl7o9IXnuh0ELORAc1YhuQ3RHq+fhRGML2kIsYvK/np8VvOF13y+gFd6KQCD7j8JIUTECLO0chydj4movGdCbhTuInpaAgmzso5C38Sy5RVm82yBUoSWIOuC1G9mRPXGO7jmNelGwTOqUR9jn9hcWhYqTrF41mwnaVWAjrskGjbcCJPrz8iH+jFXgCjKjXGAU8xjBADwJEI+Ekh/GCFgRI6RrPQOUZPITnlWxjZKraWRSZYzMaZRiESIPtVnj6AqMdCP9oVWtsYEQvSuX/0zufGY3pSTYP4tOH1NQTNa1Xs5nVwCsquINJVE7h86WOMKk/SMW1gxMAL0GjzARJ01HfakEXL/QdRE0VGVf93bF04l7Nw0BOtDWRpV6aKUhdwrzVxH2qhRN6h1RM35+ogWUw4g9zJf7SrtylSa46dkXL23lIeqKErUus7rq97xbjVbPRwsRWjRKOBgd0Wf4steJUWvwn065Jrv9wx26IzG9i4pnE7Yxv2CsVgNmI1n5hasWRMae7O28lDm5O7OeajbNDF3d89fXV27jZOJt3G2bmrzM5kBYiODX8e4NKAOjKDhSv8ximjGBaluMvGcSWqpQ/RSJalc2D6wgdcCIQn7wF48FZDapXYHz2Shc3faW7xdmIYGBauRkR/zkbGIEDXjkN2t5S7DRztrxb6eUz3wSGmNCE7sLrZvQD1JBaPESJBqlGFQqsPmqAEguzMRZbwyCDmqQmeAyvDRU0yeaSaQUNYrlQg0whdLe0tIYRcnTQsaEex1TW8cxU36qvHudmu6Yr6G9bWHyuMKY0dUuX0IN2DFRoXgeU4Vr4NgLlju7YH+8FIv9g2eHT6+z/lRFa7KPVfTxVBWtqU3QO2UvV0JtPjLBD1z869rCSnOBP3jobWH6AfMILevxS4t3dj3YtCbRmqQXmgSQJbyzaAepV0AxgfEzSjtj/qKD+QyUgrmUicUlPC1WdDpDkrKoLxMw9ovM7m9LN0Ys1pFojio6VakTHBM38CIbs3DOGY+32Ww3E1gSqM423aeWVC8azlEp+WqJC4NxJmgwjqswNCcjueWIha8Lo2JB8u6sK0/viwmoPsSC1jLBGvpemDqRHdC3gtlF9QIfAXBF4+y3+lK89flmlWAdMy4r/U2Oid2E1fNcVpdsuqCEoz/yu6QEvk6F5Pmr7i0Ta8MXZElN4To92BuQy+gCWxYbOYZiktSxViqOi9MjDGbNEoU1PH91hRqWKR/KBqVHwKW2tXYNzA0tqk5pvbGvpbJbMEi7JE2a8/7GF1ocHzrpY5sPjbEGWge2k5jqYkWgT3drwOlcAGp13gYo8Lf2d4GZG4ExH9nWl+kSpvqpUnzbDw4vr6MV1aPivFtehs/1A7EXULF0Mk9rsWeHO5I4FjDLVZikoiVBSQ9T+MmcBQsnSPVsH4TY6sSO2zN0f0bF4C6NIb6f2SJmn2FyZBMObBx1+mRQTwywh8eqlSrcIMaNtGD8GhqCeHRfcIjIjwyCd5vkjhIknXD0G3PE9ELX843sKP149QOTq62R2AN3ZDQGXR5Eiobwbp9kTO/E9jSUnMJVHE7wd872KDfiZj/u4O4DJ1iyrRdo8+FnEs9f8Gyt7qQz+jl2dvphG5GfhY94u1U9g2x2AzXzJo5iTe3MOdqLapNOa0KPOfeqZLvUw1jxXT2zk1vK3buzcZG7+AIZONYVLJmPmsiNnJ5OI/sNE9M0ioGYyu8h3MnWdLTEINQZMV2HsL7ahvwGTLpz0QSGTMH3ADwRgVBjGOLBZoI/nhv6Cj3SwIvE4me6GHE78fBpxltFr9C5GEVFuL+2znmTo3yskBhGQ/gJZbIgwQ0TNWbm3GgAS1pAmzWFdDGOG4fxDrwSk2/OxXRIcC9KEMGqNg9WNDKXJquKuCKdbeAsq3pDs0OYoM96QeglbFn30Ato7CX65b1A0XFWd4s4LCILaLlPVeOTri/PAIAZafy7qWqyIaNcRZM7xZGF9QDGoIzfMSX1YgLN436pXamLzKGnyQ8JSfubF+8Lku8MolVu3gp07h2ZduyqQ5JPt3nlJLbQhoNKwKlOG1a0Idnqmc8rKnHGxJONDg9r3cjhWtBgsFvqtFElCSzjirakQhBtPBK7V9nX1Vp0+OnTXRLHBmvqNKEe/0xYuK6eq2ubmpAydPdLokd7ZVPqaCNhoAjZkx2OMdlcw4pUe2Q1lZCfh04k71C3Q0WX7DY3gE4l6NQsYxydaOVkJ8QRT2oiTGTZfDx/yr3WgIKC6rDSCgYo374W2GIOVYZIHc+neOnVYroXA6YJ1lZgpsNEp7bawqfTIlrRu9nKiZes6OYFPMgb8OtiBAMUGcH+hB1OkWSJd6T7asUlZFT/XB6l+qxHNmIG0opF3L7pkNIHT7v8kF8cRc4a/hxu4FVBIQ+rPk4knUhJ+qEz9TYoCxMWpbrO1ucuWMnSPCYlcC0ELTWJlV8JYIU8GxjCBLMsRrCQ3AhUOz0BGHwDM9p0T1O3H3np7vIAmcVLpaMHx7AygxXU53McoPN8EiMXEe9W2eLRJi1C0npImMax9riaezTmrm1Ku9KXQkPuI6BYl4hSsG7OLsWig9B4oUBpe5JpWnXeDpEnwluymhuJwkSpEA3f/cfoHok1V2IZdQ3L4qt2+Q2ykQHbJqKeQSitR5Xao3J6fZz2drVdy9cjpm15RmoHm9tTyOAQbYs3SGPqOsSHEfFewiV96hIMvy3KNELfE1IqXSGLUQEjU/moKIVQ3JEqfETldkAurB8pa2dUNR6Qda4V9mTZPoTsdkakERGktQoWDeY2FN4b1VuTyO9VxfPmogr0RoZW5SroAS6uFOah7zORs8Y1RMxCV1sviFUfH9nMyzwxJneqRcMObKdYOFRxPOkGq/kmrgOMHuFiUEy964qaRhiDXkuqKhlMQPgXoPHICK2WDp/Ls7tbZNsO02uizOg2yS5S+o9FpoQkuE2iAOt8qdLJbtsYToeUMjlNprR3wpB4ZU896t3l2ZjQxUgob64jeLbXsmSlWQSFVqFLxCcWqRBWP+fOMmCpl4hVLHrLOIJAZonBntqgYgMQsDrSPzvnpYOSWk/FbSfyDrXKZomL4+J5yCLuTis97J7Eolslx7ZKV0MZREWHqTJwiuOCRjFNpSZXF0l3bd+P6ydV3RK13tSLe8TIU+nuF/T1hf19jf29Qcb3hABGsGUMoNRa6CBnPJIjo8UHn+12+r1ZqsXVi25QdwcFZEDzaqEMpuRFCOmuIrtj2Nno0czTbhFVI5nZgftohUdSdW6M3B6kwHB8t458KuH6ZY1dNEN1ZEQy0drskCaqUkiScmL2rBF1TLW7L6afpWqX1HC16sf+cMwbW7bmsfVtW06k5hug9/hYP8h+jqmbDnCwqzY5B7Q/VaMhIb6W/djQKqUy9WN4BZwabYckXvSDpJyFa6d+c4fMU26BUDvqmSE2TKtgxzOvC7orykz9POTXPwFtUl4AcI7zXxWD14SWJ5HIB7lbtrQt965UoeDRCxOTYGI5NUlGvbYnVXWNVTorAWdmAO+LJajq+Cc5SQ65lwXsk5kBYnOce+bakbns46rOAFP1dINSldmBQpolSRQYBdVPHBRFyU3IR2gU5wUTW8xli5yEWjd5xVRucvSz6jLrVkK/W4W95FlIs0XHq7nlBkjIveHbufP7EfN8CFw3jO20xdiH23Ui1MLQtI/ZpBj91xPLdeZ4tkQgPJCsMhdYDLICdN+Vl2gH0Z/O8gLXDz9L/dHFg+4KlayDkP/Dh7xgsGokcwsATPxt5aRipr3Ww4WKqjx9A0B/DFVHmc0h3SMxVH41IUP0FxRA6FrTimJkXF6kXaXN5Q3KkhCtlUI9PtGyjS1vUioJVATYhWtvAfYdtwk8jbe3h71eqbjzBdVha95OdhXJLKv6qZ6qh+pdDm8ghel/VK3dV7lypMVmzhbFUkT9R0PTWkj10kCKmnpuzGMnjyMQ5Ljkx8jemt/PsFvsotYt7WzLf5iVEV9mWOuZWJeT4I+JOI4UehMOCXVNZNvkShVpuj26GtKy295sSBkebIbPiT+irQnH0v/LFaLBpw7umJMvDvAmrZjgou8brFajrytjRn/zU1+XrPVL6Qp2i6C2tWlnMY1bXR2uowS+UWIEUL2ywOeljypMfuhObatcZvDGFAgAdEeioAToiUkdNUkdE6qiUqtVMaisqdo+6rtRXA5sVdqXGKrhBZVfqrIGbldawBeyJ1XHiBWPBs/ebtReETb0I4pTEUgQSuGY2L0owD2topFmhOqEvGNxoN4LuCwYPAxikFj2Ed6LDEVJCdWw2QTSeoXoPwaVbJRnG8XYVG2mTlFRGpkTivmtGTGoa7K0lbNse7G9bJpa7UEMLgA/taXlcUec+nMLMNSVR8yqGn1wJpxrgcVDWhBOmSorGQ9e0GzeU5kpQIetbfiq6ZRJ3HFptSvV3/JjosJ/G8QLJi3KOs5FOaZShDboUGa6W1NX+IsZd4swnLlKOp29SkF89qoByQaQXRy0cPvXmQWVftR4GJAfB9SXKBV/5+fw9yr+3s/gH15iApXv3R3Aj9ZPT3VjXA7RGFrMVRr2IeH6eL76BKEhi5/hgfu7ZCVCcPwWjtW2oKBoUyQNG+N4IkNV0sHUdJ7pGdeleD1ZGg5Z4DUl5a4V2UvB+0kKgiRGQIZfQEzsJZFw8s3TjrzBjbuw0+xl8LtDuobCsLq4Ic3Xr4kcXISVPZ8b0WrO1gQwdJmLU+IqTJmG/mvJ7YJ7lwRODnc6Bp4c+0YDGj5IdDBPCcH5NYGDR3nfR1fXPDcJMVIEMFQtdPp1gon86m2QEUQ29w2wJhNyOcFXNSgRLP181QkakuwOLXjrIdaAReNn/QdRfUzMVFREAoVSJUtsW7Mtgkp+zhsblBqofWdlpJwG0dwNRjzqwsW71Yk2gNb/FQcjmg2IGpDUIYIG5AVBJrMGKL3jGTcg6Qr7tgH5OjcmL+QoN7B3Zyv0IJsfqcEvrcihfdeQbmLdyWe4ocu5BualQMYiYiW8vqNtdTEtQtCWyO8Ac3eHBw+rc7LiyLEsUFdSlGNs5rXzWrDZylzbNTy2kT6RVFkvcdmMXW8LrjbjvUrWIhvVLqC+yhtc1rGYvud3MUyri8UF2WJWHwaqb2xbfrX4Qe/rZk60xIWek0oGzLogy6kB5Ay6/FYntAWhTQh9QegTQlcQujph5WwEyjrg1W45lsbQZiu8Hto5G5dodM1n6E1YqGXkVjoZiQW+kmiSl2MBkuIcHmZo2dSB/2rQwBqA6hdgNomkDzuUF5dK2683HtCgnuaeLy+f1iYPCJfyZBiqt1sug/R1qnplXnzxM0q0ma/TxRaO9B7TpCWXoL8XREY2ljN9/TvRuD3DyL4ZPbYc8IyckWYP5jxqkNTrOZleEXC6A2APVBHW76wdwlRpu7DFQc969NP4pZBTW4htoidgAhjpiT6vUD5F7skYwb34HQ6froDhAda7fr50LY6+qpeJsDKxYRmtBj3RHyDx2vNw5+gtw10DJzQ6DKCam6aAne6G8flUYE7W71kOd3BolWLHy7OiwNH5PqFOFVc0vHEpH6v3C4+MXS86xszUeLJ23NVR281djzS79D4xVlkeSYWJoxo9SBpcuBQJfbq56DxQAYlc2PWINfNUQHCu03gqfzApNjbdrzOvcS/EahEzDcYGlcF/fw63f8UhCPNFkiAk2mrRKGfGslXlsn+XRMUgAV7VKn9SuafpFhMFa/8sRVPzxpRGml3SlCVplG5B6eZT/UByd1vRtjrNS/CGkTCzprot2Qa7nHTA0LhGpLxavMAi+IpNxvnfV/eyoAtAN5hv/E1Cnbd+Za461agrwJH4DY0aWH7Q0O+paf3yC1AlNZXDu+9bSiXr0eVg4mrhnlCAQV1U3RUfIfF8d1xMTaQzWRBbhd0ojunl+RxvaCu1uqX0HAYG+KG5MKdb5YFvG64bAHUNsF+caJIgOgpIvUZk2PIxX6Us3rxpDv5rTjUTq56DKfUT505xz6WlSzF01wF3T7SF31ITWz/qeXr0v71x3xJe3dv4tiNDue75iYOQZAn/60rdudbXsB7QpCKb/uqkgBhXGyWaeCrhj4qnbmgEsx5I6zGqOrXkfuyp62DWi7+2T/auyGxUMjX1J6l0/eytUajhdaxBdP2OrBkBo6dpBqCsS3AoA3vTAIvURvFvjx6v5XVwKGKw6UsXobgROqAKMl9rGKmZc6zoXWh+GiTzAzytH5GjTHN9LhV2LxDxjQeafatfbgUusTphLCB7fZhHmtvEzrC0L1QPHZWL0eHxIC1AvTOmz3aAFHGm5KiXBL/LwsoFPct5YiKOItclstLenw7KfRD/nH0u+8t194i3+DX1svbPY58gJEnIZWHydi394bSTPSNHLRf0K1G8EdSpQ5W54kqJwZ2vqnNq4gMKCj0cad8ZIVpilcENvDnTv4Yz4x/WuZfEYtWMiEnOcx3lKdfvP4UP8cP324fPn8PfPX7+7vEP/yU/1f+rvX/e+5e9g73Dvf/Y+2HvZG+492Zvrfe+9/9n73x9/eN3P/7nj38U0F/+QvL8057y78f+/wOi4hpx</latexit>SU(N)k
<latexit sha1_base64="OChyiAY4kxD82B749fe0zh6q7dE=">ABginicpVxtc9tIctZd3i7KJdlLPuYLHJezch3tWM6mctkVUeKpGSJ0lEkLHltWlwQHJBYgQAEgLRlFH9Evia/LP8m3TODl5keUPKeq3YFop/u6enpmenpmcEsDvw0e/Xq/37xyz/50z/787/41V/u/9Wv/pv/vab3/zdVRqtE5e9daMgSt7NnJQFfsjeZn4WsHdxwpzVLGDXs9sjpF9vWJL6UWhn9zH7uHIWoe/5rpPBq+vx24OL59Pb6TdPX718xf9Z9OFQPjzdk/+G09MV5N5K5XLMzcwEnTD4ev4uxj7iSZ7wZsuz9Zpyx23FtnwT7AY+isWPox5/purWfwZm5UQL/hZnF39Y5cmeVpverGSBXTrZMdRq+NE+rDPvdx9zP4zXGQtdUZC3DqwsrDy1txPmJsF9/DguIkPulru0kcNwMTKaWwOPVaUBQqmCrVyTNntlYruHBDCxBfT7m9E6XABGZVokTrz03c8tqX5LVhH/ZstVa7UOMj+JPrWcJHuW7NVawb/sdQPM7UsXmk3+ZiztesEKm02WySM3QYfc0TNZpFK31WpFBpxyeaqvHC9moFhWmUZP/kRivwrBRaMXSyma/Vb+WH/iz6vN1/ZtVfJ1EGjhYu9Pfx3AtS14lVT8lF5TP/9sLd96goCoIGhJMu9JqA8V6QeRkmnQPGimGJ/W1C3pgZ9BVuZ+ny0B9+8E+/Jij9dC79uGf9cx6ofyzEiecRysrZJ+sNFt7nkaX/b3J4Ak64Ank/caLPN83wCprqH7rB5ud1uVYSdfYoAMoE2t+ztNJ/mB6+fb7eTloZ7M4AOlk+w/QGav9negFT2OROyq/9ZiINCVO72fCvhzpwQ4xR6jweA2QwetXLdZUmER43otQUNevwKCsEfOuJoWYeIXzpmVIeMTIh+HdEXCBXS5aejPuVjbrE2F+kBWde/kWntec/AbXLgsyZ5pPWBHpzENhYzj7xhWMWsgQarMs86B7oY2mTOzjgyCMijAGpJYfWjCBGzfmsyZN0mXzpx1wMgsCDgunwVr9uRfUbeSPqrTQRInS7kWoFKOhWlCItZpts2TxWybv3r5u9arl6/xPynwfPT0EJ2thrSeHm6L8vonNbJ74QqeTSokVHTbS6o+86MNbesizVPCsJtx+gZ0C5mXWAciyJom/WGbWc836s+S2hvxQ37Ukf5ilghsx18Ek5xj4TGZbC0NOy/EHjw9fD6dnKHjgLJ9nBiw0VT0gm4kwE1P9zmr3UPuVvDLMiSGuQ7XncbfjGtV0sNlzB05vCDVwuUEHXSK5/xno1QeNJoiyRax7WOf8yLtDZso2kPb6QFnXARMGFB/ihbD5oHm+y8ueWNXmCdA0wSxwESH4u4ImF+MIbYchnjSL2nz0zdgGl41hvsLtAzxmjLAsUt8ZnVgx1g6RMRjxg4aepHYqy5dyuE6qIZJl5G+xNTP+DGOqGPkCxkUAGOr+KmtY84KiWfbqSZN806WOYjFvyDolU6f+57XQcBcDjRnFZLbEO1x+SKYXzJIohdVPbL8VnNFy75fAGv9FIABt1/EkGAiPFjnaOR5ex8TETjOxNwp3AT09EQTJyXcxb+JYpqzab5XOUJLAGXeiejMnqTE8xOHWpRsEulSiPsdcfmFJpBjp5lWjmbBdJRbCunzQaBtwog+vP+LfeAmeACPqDUYBTzEM0IMA0Ug4yWG8oAUBUrGM1B5Bo/heSPbGJmqdhZFbrEZjTIMQqTBdis8fYXRDoR/tKo1NjCiH2fy/9l9wIzG9CWbD/HpY2rqi5rWq9nMauAVFdzBJCqn8AVSR5jUH6XiysEJgJegUWaCpOmuo75UAm5e6boIGqyr3u74unEvZuGAB1oa6NKPbTSkDuGlWauI23UqBvUOqLmvDyixZQDyIPM17tKuzaV5gQZGVcfLOWxKoSta5zed073q1mq4eDpQgtGgUc7K7oc3zZq6ToVXhIh63m+z2DHTqjsb1LCqcTtnG/YCxWA2bjmbkFa96Ext6srTyUObm7cx7qNk3M3d3zV1ednbuNk0m3cXbuKrMzWQGiY8OfR7g0oI7MYOHK+zyGKSOYluUECwaxpSrlD7GIVmXz4DpCB5wIxCd/znhwVoPqFRifvdHFTd/obnE2IhiYVm5HxH/OBkbgFdOg7Y3FDvNnQ3vVnr5LDCBISY0obvwuhn9CDWkFo9RokGqUYUCq48aoMTcbIz5xjDIoCaZCZ7Aa0MFTbK5ZFpBg1gu1CBTCN0tLathBwdGyoxzGVdTwz1bfq8dbs12zJfS3DSw+lxhTmuhqly+hBuyYqFA8j6nCNXDih4udXbA/XojF/sGLw+c3eX+qojXZxyr6eKqK1tQm6J2yF0uhNh+Z4Acu/nVtYaU5x89LYw/YB5hJb19LXFO7sebFqTeEXSC0CyBLembfDzC+gmMD4GaWdsWDewXwGSsFcysTiEp4XKzqdIc1Y3JcJGHvJl5ncXpZujFmtInES1nQrUiY4pq9hRLfcKElYwPcYLG8dmtIozqa9zS0o3rMcotNiWRIXBuJMUGEdVmBoTsf3ShFzXpfGxINlXdjWf70uJqCHEgtYyxRr6flg6lR3Qt4LZRfUCHwFwRePst/pSvPX5ZpVgHTMuK/1NjondlNPzXFaXbLqghKM8/8bukBL5eheT5q+4dE2vDF2RJTeE6PdgbkMvoAlsWGzmGYpLUsVYqjogzIwxmzRKFNTJ/BZUalikfyoalR8CltrV2DcwANLapOab21r4awXzBIuyRNmvP+xudaHB86qWObD42xOloHtOY6mJFoE93a8HqrADQ67wIVeVr6O8HNjMCZjuzrSvWJUn1VqT5thscX19GL69DwXy2uQ2f7gdiLqFm6GCa12bPCnckdCxhFsozURLgpI+pvBTl4VzJ8z0bB+E2OrEjtszdH9GxeAujSG+n9kiZp9hcsmQTDmwcdfpiUE8MsIfHqpUq3CDGjbRg/Boagnh8UPCYyI8NgnXeb5I4SJ1w9BtzxAxC1/OMHCj9ePkLk8utkdgDd2Q0Bl0eRIqG8G6fZEzvxA40lJzCVRxO8GfO9ijX4WYD7ruDuAydcsI0favPhZ5xL/WDO8ne6kM/o5fm76YRuRn4WPeLdVPYNsdiMVsyaOanvWphztebVpxWBZ5z71TJ9ymGiueqyc28mr5Wy9xbnNv+wiGTjWFSyZj5rIjZyeTiP7jRPTNIqBmMrvIdzJ1nS0xCDUGTNdREsw3UbAGk86d7FEhkzB9yA8EYFQYJTiwWaCP70XBnI90sCLxOZnuhxBO/HwacZbRa/QuRhFRbi/s5k6N8rJAYRiP4CWyMUNEzVm5txoAEtaQJs1hXQxjhuH8Q68EpPvlovpkOBelCVW0erGhkLk2XFXFJOtvAWVT1hmaHMEGf9cLIT9mi7qEX0NgL9MsHgaLjLO/nSVREFtByn6rGJ1fngEAM9L4d13VZE1GuYomd94tsjC+oBjUEJ5vmZMFsABnyb5Vr9TE5lHS5Pcpy/iZF/8Lk+8O40xu3Qp27hyade2qQJPtnvnJbXQhoBOKwGnOm1Y0YZkq8d1KypxtSXjQ4PK93I0UrQYLBb6LRJZQks4q2pEIQbTwSu1fZ19WadPjp0V0Sx0ZoGjShHv9MWLiunqtrm9rQMsnT3W6LHe2VT6ighYawLWZMdjHZXMOKVHtkNZWQn4dOJN9Qgd0NFl/xuawCdStCpWcY4PtHKyU+I57URJjIsvl4/pR7rQEFBdVhpRUMUL59LbDFHKoMkTqeT/HSq8V0LwZME6ytwEyHiU5tYVPp0W0onezpZMsWNHNC3i4bcCvihEMUGQE+wN2OEWSJd6R7qsVl5JR/XN5lOqzHtmIGUgrplzI7ZsOIX4vMsH8fl96Kzgx90aVhEQ+rDm40jWhZyoUz5TY4OyKG1ZXuBscOZOnDFY1YC0LQSptU8ZUIUsCzjSFI6GI1hIfgQqDY6Qmj8AWe06J7nLj7zk93kQXOMpovGD8gAdQErqc7mKUH63DeWriPOrbPFskxKhbTkgTGdc+1hJPZ53UzKlXe13oSHzEcwoS8QpPDNjF2bVIeg4UKQwuc0qT7vA0yX4UnZTQvE4SZQiAbr/ef0C0Ser7EIuoXh9VW7fILdTIDpk1VLIJRSvo8rtULm9YJv3dLZeydUjp296RWkGmtdTy+MQbIgVyxLoO8aGEPNdwSZ+6REOvizLNUK8ElMrXiKJLUcFjEzlo6IUQvFGqvARldsBubB+pKydUdV4QNa5ltiTZfsQstcZkUZEkNYqWDSY21B4b1RvTSK/VxXPm4sq0BsZWpWroAe4uFJwoyBgImeNa4iERZ62XhCrPj6ymZd5YkzuVIuGHdhOsXCo4njSDZbuOqkDjB7hYlBMvcuK2kYg15LqioZTED4F6DzyAitljmvhTn9jZpvpmN8UZ0E2a3vEX39HotNAElwk0QHU3Cp3slq3wRGg5g+NUWmsHPKlHxtSz3t02PzOaGCmFjXVE745a9swUq6CQKlSp+IRi1VQIq59zZxGyzE/FKha9ZRzDhADNk4A9tUBEBiHgdST+905Lh6S0nwraT2Sd6xRLNExfnxNOQRdy8VnvZHalElmueHbJSmjuIgwdSZOEVzwSMaprKTKYumu7Q/j+snVH4haP9SK+IGXodDfK+zvCfv7Gvt7g4qrNQeIYM0YQqmx0EXEeCZBRI+POt/v8X21UouNk9imhLg3KCADmleLZDAlL0JIdxXZHcPORo9mnaLqBrJzA7cR0s8kqpzY+T2KAWG4/tVHFAJN69r7KIZqiMjkonWZoc0UZVCkpSTsBeFKqWsWYP1fSrVP2KEr5e/TgYRlz29Y8rq5to1F3CtN9+Cs0fJT/GFU1G3aAg121yTmg/akaDQnxUvZjQ6uUytSP4RVwarQdknjRj5JyFq2c+s0dMk95BULtqGeG2DCrgh3zOHNZ0C8pM/Tzk634C2qT8AKEd95r4rF68JLKEsnlAtyt2lsX+s4vUfBohIjJp8HEcmqSjHptT6rqGqt0VgLOzADeF0tQ1fFPtiQ5F0VsCs6kRUkOse9b6oZnc86nuIEPFVLNyg9mRUoFWSQIFdVPHABRFxUXIT2gU6wUXV8Bpj5SIXjd5xVhVtcPay6DPqVkO+Woe/5VlIsUTHqbvnh2nG/PDFufP5EwsC1w0Su61xdiF2Hcj1cLQtozYpzn81BGLH863+QKJ8ECywlBoPcAC2HlTXqYdQn8O7i0/9ILo0/dyf2T+iKtiJeswCu7hES+4YCB6BANL+GLsr2SkstLNhoOlOnoMTXMAX0yVxym9IT1TcTQuRfETFEfkUNiSY2pSVKxepM3lDcWdGqKQTUy3b6BIm1dLwJaCtSEaGUL/xG2jdapvL2Ht1etvkI01Vl0St+HsYjqfzrmqmuG6p/NbSJHKL3db1y13WVK0ear102L5Yimq6noOupIX3sIUFIPTVln8dIHscmznHJiZG/Mb29ze+wj1K7eHcl892hOgq21JnPRPrcRL8MRHMScKnQmnpHpm8h0Spcp0fXQ3tHWlpdecODSHJkNf1JfBZqz74U/VotFA847PVEG/l1ALdtRwSVet1hNR96W5uy/piZf75nKF/IUTXdhzcpyDqO6NlpbHWap3AKkaGbBaYnfUx58kN3YlPtJoc3plAoCMCHTVAR0TqEnqiEgdlVK1mkltRcUeUNeT+mpgs8Ke1FgFN6jsSZ01cLPSGraAPbM6TjJnLHzxfr3yw6ipF2FEcSoCUIpHBO7FwV4p1U0oxQnZB3LA7UewGXBYOHQwSyz7Ce5GhKCmhGjabQFqvEP3HoJKN8myjGLsqyjYzZ4jIjMxZxZyVzDjUVk6a8NcvLthnVzpSg0hD6wb+R1RZH3fA4z25BExacenojkGaMx0FVE0qQLikeC1nfTvNxQ2meBWyvuWnolsmcxl1a7Uv0tPyYq/LdBvGDSoqzjrSjHVIrQBh3KTPdq6gp/MePuEIYzV0mns1cpiM9eNSDZALKLgxZe/ya3oNJPGg8D8uOA+hKl4u/8HP5exd/7GfzDK0yg8r27A/jR+um5boyrIRpDi7lKwz4mXB+7y08QGrLkBR64v0+XIgTHb+FYbQsKitdF0rAxjicyVCUdTE1vcz3juhCvJwvDIQu8pqTctSJ7KXg/SUGQxAjICAqIib0kEk6+edqRN7hxF3avw5/e0jXUBhWFzek+fo1lYOLsLP0u+teHkPCyJY2qzkCTFVxmwd3J7XE/skF4I/HwONC38mRYsZpT8cIgAnvNjEnOD5p6TXdY3Nw3WQEyVCB0/XSKhfLpbJofQDH0BrctEHYzwlkyJxMo8XzTDBWZ6gIsfu0o24FG4GXzB13QT01U1ERARBKlSi1bcG+DCZ5lzU0LjdQ/cjKTjsJoL0biHrUgY1qxdrAq34LQ46GNFsQNyApA4RNiAvCDKdNUDpHc+kAUlX2HcNyMutMXkhR7mBvTtboQfZ/EgNfmlFDu27hnQT604+w1dzjUw16wcwEhEtJDXb6yFJq5dENoa4S1o9vbg8Hl1Xl4UIY4N6lKarRxXvuqW3gLGyenVpMm1gnrbJY4rZru9gSXq3FfZeqRTRsUEIDkTW8qWE1e8ntZp5SEY+PsOyPAxW3dy2+G71o9iz75sjQk5I5UNnFVBlFlPDSBn0MW3OqEtCG1C6AtCnxC6gtDVCUtnjZlAWR+swg3f2gijbInfQyN36wqdbvgMrRELvYzEQjcjsdBPElXqfDRYQITLyxy9kDroXx0CUBtA7QLUNoHkcYfy6lpx4+XBExLc08TjzcPDwuQJ+UqGFNdrZNF/zHSOjWtOn+coFlN0uzniUJ7D2rXEcoqQ38pjo5oLGX8/nOid3uAk38xfGoz5IBn5Iw0e+DyqEFSb1wyvSLgdAfAHqgirN9aO4Sp0nZhi4Oe9ein8Ushp7YQ20RPwQwxk1J9HuB8i92ScYM7sHpdPx8BwgPtNr186FtdfRVvUyAlYsJzWgx7on4Bo/Xmoc/QW8b6Bg4odFlBNXcNAXudDeOy6MCd7Z6yXK6g0WrFj9cvC0OHJHrF+JUcUnHE5P6vXK7+MTQ8a5vzMSpL2/PVR291djxSL9D4xdnkeWZWJgw4uWjpMmBQ5XYq5+DxgMZlMyNWYPcNEcFCO82gafyA5Nij7dpz+vcT/EbhU7IcIOlcV3cw6/f8UtBPNJkqQg0mbZKGPKtlWRlnWynY5ICqGhXOq1f0fSLDIOx+pUnjqLij6+ML2k7QsSaN0C0p3O9UPJHc3FW2j0/wUbxgJM2uq25JtsMtJBwyNa0TKq8VzLIKv2GSc/31Lwu6AHQDdx2sU+q89Stz1alGXQGOxG9o1MDy2x8a8h09vUduAaK0vnJ471DuXw9qhxMXDbMEworJuio+I7LEnuj4uxgWwmC3K7oBPdOb0kj+sFdbVWv4KOAwZ7W9yYVKjufFHE64bDHkBtF+RbJ4NgJIuUps1PY5U6Kcv3W3VGPrVnG4sUj8HVe4j3j7fci49TYq5qwa4Z7o95I2a0PpZ39Pr9+WdK+5bwqt760Acu9HhfNfcxCEI8uS/dc3uA8sPeU8IM/FtX1USIyLzTINfN0QA1/XzhxwKeZYUodZzbE172PXRQ+7QfSDfbJ/XajgqGxL0m962dvhUoNp2sNoutnbNUAC1dOwh1TYJbAcCbHlikPoJ3a/x4Nb+LSwGDVUeqGN2NwAlVgPFS21jFjGtd50LrwzCRh/h5ZgcbXLxvVTYs0jMxbkmWeRUxYDLrE6YS4heHybxZjbxs+wtixUDxyXidHj6SEtQL0wpc92gwJQxJmSo14S/C4LKxf0bMsLQ1TMWeSyXF7S49tJURDxj6Pf295wdqf/zP82vjZvcU+x06YksvA4utc/MNrI3lGil4u6legfiOoU4Eqd8OTVE0MnruszqmJDygo9GikfWeEaIlVBjfwXaZ/DWfGP6xzI78iFi9hkIk4z1O8pTr95umh/jl+nD1+uXhv7x8fnd09/p/xU/6/2/mHvH/cO9g73/m3v93sne8O9t3vu3u3ef+/9z97/vjrH1/+O8/oeA/vIXkufv95R/P3b/H8w+GU4=</latexit>gs = 2π k + N , t = i 2π N k + N = i λ , icated by the ’t Hooft coupling of the fi Zc(R) = ZCS(S3)
<latexit sha1_base64="snMOcSBsGcov0jbh07xv3qmWvo=">ABgw3icpVxtc9tIctZd3i7Ky+0lH/MFjstZqY52LN+mcrWVSy0pkpIlSkeTsOS1aXFBYEBiBQIQANKWUfg3+TX5mnzJv0n3vACYF1DaPVftCkQ/3dPTMz3T0zODRIGWf7y5f/94pd/9ud/8Zd/9au/3v+bv/27v/1V7/5h6s3qQuevGYZy+WzgZCYOIvM2DPCTvkpQ460VIrhe3x0i/3pI0C+LIzu8T8nHtLKPAD1wnh1fzr/5ztnbyleuExfty7h7QX5mbFpPy0PqD1SBa81lOPufF8bQ8KGYL35qWN787nH/19OWLl/SfpT8c8Yene/zfeP6b+Xrmxe5mTaLcDZ0s+3D0Msk/Fk6aB25Iyv3ZJiOJ4946S/IBHiNnTbKPBa1oaT2DN57lxyn8F+UWfdvkKJx1lt2vF4CkFVFp+NJE+7DJ/d9/LIo2eQkclB/ia08thCq1lekBI3D+/hwXHTAHS13JWTOm4OtpVKIUnmd6AoVDCTqlPkzmIjV3DrghlIivp8LO7jTbQEjMy0TJ1kFbifO1z9Dq8i/s1X6856E+ZBGn/qOGnq3HcW684C/iNZEOVyWbxlPxZkAy0q0xaLZUrIbfixQNRiEcv0XZXKoBFXxJPlRZv1AgzTyeI0/xc3XkOXzKAVIydfBEr91kEULOLP5f4zq/k6jXPodFSfZ94fpi5TiL3lIJVPg9uvzx3vRYFZUHQkGDatVIbKNYPYydXpPvQSAk8ya9d0AO9SFXl3stWofz2g30sUDrYe/ah3/WM+u59M9KnciL1ZEPlZvF9hc7/7e/PAEmXQO8mLnxtiyKYgamugd32L4oy1JG2PmnGCAzaHPLufFvDh4dViWs46Cez0CBysqh39d3hTM4ans+n8W4qAQmbvrlRzueBoxycB7fAsFvColOuKiI8KkS/y2jg8WsoBH+oiONVE8J+qZhJEzIxIYZNxJAhZEifmno2HdY26mvG/sItuPCLyqt6/0I1D4Jc2dezDoz8OYwtLGcfa0vnJCIpNBgfeKDe2Afy9q6wzM6CMKoCGNAZgWRBSNISPatmUf8WbZyPNIDI5MwpLhiEW7Ik39D3Sr6pEkHSZTM5VqAyigW5heO2GR5WaTLRVm8fPH7zsXr/A/LvBi8vQIO1sDaT09KkV5w9MG2b13Ipk8GTXIqGlZMOr+sx6Mtbckz5SelUblB/CsWUj83DoAWdYsDZar3DpUrL9IbxvIDw3kRxUZLBcpw/aCZTgrKBYe01lpKVhPiD14enQ4n51jxwFlhzgxYKPJ6JUT0k4G1OKoLF6pPeRuA7MgSRuQb2jdbfhFK/mGq5g6CzgB60WKMHqpFY+p56NUHhSaMs03iQNxz+hRVpbslW0hzfcgk60DAmzIH3krQfNA803WweZc2eIF0BLFIHAZyfCnhiIV70RhjySauI/WfPjC4gOY71Gt0FPGeKsixQ3JqeWwnUDVwjJzDihy2eJDuVFXA5VCfZEOkqDkpszZw+w5jKRj7Oog0KgLFl/NxWMedC4nk5V6QpvZPkDmLxLwh6qdK9wPd7CPD4QHNeI6kN0R5vnscJjC95DLGLzP5met7oC2/ofAGv1FIABu4/iyGyxMCzydHKcn4x1UTjOxNwp3AT0/EYTFxUcxb+1CxTVW2xKDyUxLAGXT1WvYWTNhge4nCb0g0CXV2iOse8+ULSWDLSzctWM2G7ciwG7KNW20An+vDqI/5NVtATYES9wSjgKYBahDAGgknOYwXlCAS1d4RjLP6DE8r3kbI1PdzqzIEpvRKMghBtst8LzlxjtQPinV7XBkYMkpz/P78PidGYAWcLID59TE0DVtNmNdtZDbysgjuYWOUkvpDrCJP6o1RcOzgB0BIUyoKRFN1V1JdawM1LVRdGQ1X21d4u9XSte7cNASrQVkaVZmilIHcMK+1cx8qo0TSodayb82xXkw1gDzIfL2rtGtTaU6Ya+Pqg6U8VkVWouI6b64HJ7vV7AxwsGShRauAg90VPcSXg1qKWoWHdCiVvj8w2KE3mdq7pFC6xjYdCkaxGjAbz8zNWIs2NHqzsvKQ5uT+znmo3zYx93fPX315du63Tib91tm5L83O2goQOzb8eUSXBtSxGcy68j6NYaoIpmM54ZJAbClL+WPColXePLiOUAGnDPEp8AgNzhpQtQLT89equPlrtVucTzQMTCu3E63/nI+MwBGtnALtbnXsvHC21K3U8kloAkNMaEL34XU7+hFqcC0eo0SLVKMKAquOGqCEZzaGtzUMqhJboKn8NpQZNsKlmvoEsFWqQyYTulpY3MEyOCjox1ONEl3WyMNW39tWT0mzXfAX+toXF5wpjShNdvkKasBONRXE81RXuAFOg2i50wWH0yVb7B8Pzq8KYZzGa3IPpHRJ3NZtK2ht4pe7liatORCX7g4l/VFlaHv6gobeF6QfMI3Ssp68s6uxqsGnNkrWXmgToC3hHa8b5YGAYgLjZ5R2TkKvh/kMlIK5lJlFJRyKFZ3KkOUkGfIEjL2iy0xqL0s1xqJRkSNGrqJlAmO6RsY0S03TlMS0s0Jy9EpjSKs+2WhQXF+5aj6bRcVcSlgbhgVFiHCYye0wn8SoRH69KaeLCsS9v6wysxAT2UWMBaZlhLPwBTZ2onpF7IXVAh0BUEXTxyv1OVpq+rNSsDqZjpUPE2fU7sZ76c47T62qoLSjDO/6/1BVrGR/dm0vQ1jbhjdERUfqAjXYH5jLoAlaLDdvFtEvpWLIQ0UflIExZkePMhV1woCISolF8qOqUfNJbJ1dgXELDypTWq+ta2ls1kSi3VJmjCj/kc8xYdHzlos8+Fx4WnLwG7W6DqYkehqunXhdSkBFDp1gZo8r/q7hlsYgQsVOVSVGmpKDWlhnozPL64nlpcTw/5eJ6+mw/YnsRDUuLYVKZPWvcOd+xwBFmuYqznLUkKBlgCj9zSeQ5Ua5m+yDElid23J7R92dkDO7SGOL7hc1i9gUmlwzJlAMbd52eGMQjI/yhoUq9CjeoYWt6aDyKWkx48pDwRBOemISrPF+4cJaka4eAO7kAYhc/skDhZ+sHiFy9dNk9gDd2w2BLo8iWUJ5N06xJzrxA43FJzCZRxG8ndK9ig30sxD3XaG7j5xoSbZBpMyHn3EuDUKPFO9UIZ+xlxfv5jN9M/Iz84h3c+4bLEZr4m1cLAtTDnan1pxSBZpz79XJ9zmGmuaq9ds5Dfyt37q3BZ+QiGXj2FcyZj5rLHZyeTiOHjRAzNIqBmPLtIdzJVnS02CLUGTNdxGnrbONyAST0nf1TIxEwf0QMBGBXGKQ5sFugT+Ho0ZEOViQBJeu7IcfQTjR8WtBWUSt0wUZRFu6vrQva5CgfK8SG0Rh+QpkynDRI6ZKTcawOIWUGZNJp2N48ZhvAev2ORbUjE9LbhnJbBgVZkHa5o2l2armrjSnG3kLOt6Q7NDmKDOelEcZGTZ7KGX0NhL7JcPApnjrO69NBaRBbTcp7rxNdfnZwDAjHr8u6lrstFGuZrGd94tbWF8qWNQ3i+JU4ewgKcpPtWs1Izm0ZJs+8yktMzL8EXwt8dJTnfumXstHMo1rXrArV8sj24qKhCGw10Vgs4U2njmjbWtnpct6ZqnTELeKPDw1o1crxmNBjsliptUgvVklnHNe2YhSBKeCX71BlXzXpsxNnrWkWOYvQkaWwd+riRcb0Vdvc3jYBlsqeKPREdTaZvtYEbBQBG23HY4p2lzDslRrZjXlkx+HzmT9WIHdjSZfirjSAzjozCxjmpwq5RSnWkc8bYgwkXnz0fwp7bUGFBTUhFVWMEDp9jXDijlUGiJVPJ3iea9m0z0bME2wrgQzHSY6s+UWPpuLaEV1s5WTLolwcwGPyhb8WoxgNJGsD+iw0mSLPZOc1+luEwb1T9XR6k+q5ENm4GUYqF3L7pEFKPzrt0EPfuI2cNP+42sIqA0Ie0H0eyLvlEndGZGhuUxFnH8kNnizN36kQZHrNimA6C1sqkiq9YkAI92xiCRC5Wg/UQXAiInZ4ojp7jOS19jxN3+npLm2Bs4q9JaGHB/ASqovp/sY5cebyMtMnMdDm2aLmBh5ywlpLOM6xFri6azThjnVam+Ejlof8R1B0nqFzwZscXYt5j0HimQG57kmacr8PoSfMXdVKP4lMRK4QC1/lDgRhq2whV6P4Q1nu0C3JxA9bdUi5GoUvyfL7elyB2FZDFS2QcU10E7fDERpBpo/kMujEGyINclT8B1jQ7D5TrCxX2qEgy+rco0Qv8I0iudIzZYTAdOm8okoRaP4E1n4RJfbA7mwftRZe5O68YCscq3Qk3n7aGS/N9EaEUFKq2DRYG5D4YNJszU1+YO6eNpcugKDiaFVqQpqgIsrBTcOQ8Jy1riGSEnsK+sFtuqjI5t5mcfG5F69aNiB7YmFQx3Ha26wcjdpE3CM2StMDGpz76qWhiHWmOaCRC3FDIB7DQGBiNgiufuCndvbZsV2nt2IM6DbLujL7Ro1OhCS4T9ADV3Up0bdsjSdCqxkcp9JGO+BJPW1MPR/clcW50cRIETZWEYM73bLnplgFhdShSs3HFKunQlj9XDjLiORBxlax2FumCUwI0Dwp2FMJRHgQAr1Oi/9s6pD6rQfBe1HbZ3riCUapq8vNE5GZ3LxWXUyu1ZJW674dsWq0aJiDBVJkphXPCojVN5ReXF6ru230+bJ1e/19T6vlHE97QMif5eYn+vsb9vsL83qLjeUAL1owhlBwLXcaEZhJY9Pio8/0+3VertNg6qW1KiPsjARnpebWYB1P8IgTvriy7Y9jZGOiZp90i6kYyswP38QqPpKrcGLk9SoHx9H6dhLqEm1cNdtYM9ZERzqTXZoc0VhUhictJyXMhSlfLWLOHavqTVP0Jfx09ZNwHOftbdvocU1tW426U5jah3+Cho/qP0ZVzYd4WBXb3KOdH+qR0ON+Ib7saFVKmWax/AEXDfaDkm06EdJOY/XTvPmjZP+QIhO+q5ITbM62DHPM68EfQ3OjP4+WnJ/oLaWngBwnvFfFYPXipy2LJZQHu1+2tCn0XVCh4NELY5NiYj41cUa1tqd1dY1VOq8A52YA9cUKVDv+aklh/wrAbvSJzJB0ue492010+ezni91Apq1TcofZ4VENA6SDBLut4FITcVlxa7RL7ASXdcMrjHUXuWztHed10YbOXhV9rnerMV2tw9/qLCRbouPUPQiLCdB9PzC+fyJhKEFXTRO75XF2CXbd9OqhaFtFbHPC/ipIpbfX5TFEonwoGWFodBmgAWwi7a8TDcCfw7vrSDyw/jTt3x/xHvEVbGKdRyH9/CIF1wED2GgSV6Pg3WPFJZq2bDwVIePcamOYAupqrjlP5YP1NxPK1E0RMUx9qhsBXFNKTIWLVIm8obszs1mkK2rpHp9g0Uat6aAVQ80rWzWf5ht403Gb+/h7VraD7CdFVb9Iqeh/G1VP51w1TXLdW/GtuaHE3v62blrpsq1x3J27jE0sRdcz0PXMkD72kcCknpmyz1MkTxMT57TixMjfmN4uizv0Ud0u/l3FfFdWEFVlm+usZmJ9SoI/JuI0oUSms8bJqb6ZfIdErK+Prob26rSvNecOjDSHJsNf9pcBZqz76I/1otFA84/O5UG/l1AJdtRwzletVhDR9qW5uy/oiZd75nKZ/IkTXdhzcpSDqO6NlpbHmZ1uQIkaWGbBWanQ0x50kN3bFPtpoA3plAoBMNOmBTjSpkzapE03qpJKq1Ixryr2gLo+1cBmxX2ucYyuEVln+usgNuVrAC9szqOalHSPT8/WYdRHGbF2FEcYCY0iOia6lw7wz+popB0hd0LqWBSoegGVBYOHQwSKx+hXmQoikuoh802kOIVzH8MKtkozaKseuibDNzjojcyJzXzHnFjENdnaWztsTFuxvW6ZWq1BjC4AP7hl9XZHnPQ5jZxlpUfEahZzcMacb4FQ3IQepkpIpk/X1vJi2lOZzkJD1NT0V3TGJO0motMaV6q/pMVHWf1vEMyYlyjopWTmUpg2KHMdL+hLusvZtwdwnDmquj67FUJorNXA6htANnioIU/vCksqPST1sOA9DigukSp+Xs/h39Q8w9+Bv/4ChOodO/uAH50fjxUjXE1RmMoMVdl2MeE61N39QlCQ5I+xwP39mKheD4LRyra0FByUYkDVvjeE2GrKSDqemyUDOuS/Z6tjQcsBrStJdK20vBe8nSQgtMQIyQgExsVdEjZNunvb4DW7chZ0Xr6LfHulrKAyrxQ1pun7N+ODCrByQ7FsrWd3DgiWNmt+QkyWsdiEtxfNxL6WC0cEfj4Hmhb+zAWLGcU/HMKAF/SYhGfQ3HfyN83NDcNVoCMJYi+fjrDQul0Ni8OoBj9BrfNEHY7wlkRJ2co9nzTDmWZagFmv3aU7UAj0Lpg6o7o56ZqagIAzClKpTctmBfApO8S1oalxqoeWRlp50Y0N4NRD2awNa6NYs1gdb0Foc+GOnZgKQFqXeIqAV5qSGzRQtUv+OZtiD1FfZdC/JNaUxe8FuZO/OVqhBNj1Sg19a4UP7riHdxLqTz3BDl3KNzDWrBjAtIlry6zfWUhHXFYSuQngLmr09ODqsz8uzItixQVWKqEYX57WfNKuNnKVNs1PLeRvrFMVq3XbjS2hNcbdt+lbhEFG1bQkGUNbxpYxV58u5mVNjo+ywqg6D1Te3Lbpb/Sj2/HPAW2OmnZHKR85aEHnWUwHwGXT5tUroMkJXIwZYagR+ozQVwkrZ4OZQF4frMIN3dqI4nyF30PT7tYJnW7oDK0QhV5GotDNSBT6caJM9SajJUS4tMzJc6D+tUhAHUB1BWgrgnEjztUV9fEjZcHT0jQnsYebx4eFmZPtK9kcDH1Tpe9J8irdfQqvenCVo0JC1+ni096hxHaGqMviLODqisFTx+8+J3u0RTv5i+FRmyBHNyBlp9silUQOn3rja9IqAsx0AeySLsH5r7RAmS9uFQc9m9FP65dCzmwmto2egQlgjJtr0e8lyr/cJRkzuAdn8+nhDhAeaLWb50O78ugr9zIGli4mtKPZuMfiGzxeax7+GL1roGPghEbnEVR70wjc2W4clacL3NnqFcvZDhalWvRwcSkOHGnXL9ip4oqOJybVe+W2+MTQya5vzCRZwG/P1Y7eaXU8ze/Q+OIsMj8TCxNGsnqUND5wyBIHzXPQeCBDJ1NjNiA37VEBwvt4Dn/wCTb423b87oIMvxGoRMR3GBpXRcP8Ot39FIQjTRJxgJNoqwSxnRrJV1bp+V8qUAatqVShvWNPUiw2gqf+WJonTxJ1dGmFrSaVaVpFD6gtIv5+qB5P62pm1VWpDhDSNmZkV1m7ONdnXSEUHjGpH8arGHRdAVG4/zv63vZYELgBu4m3CT6Z23eWuPtWoKkCR+A2NBph/+0NBvtNP72m3AFHaUDq896lXLoelQ4mrlrmCQkUNU3Rk/E9kqb3J2Js0DaTGbkr6JrulF6Rp82C+kqrX4HjgMHeihuTEtX1liJeNxz2AGpXkG+dJDEAKjpLbTb0OJahn70y7ox1Ks5/YSlfg7q3EdSHpaUS02TYu6qBe6bg/5kza0etb37Pp9deK9i3WqwebkB27UeF019zEwQj85L91Te5DK4ioJ0Q5+7avLAkQxsVmlQa+bomBrxtnDqgUcypwqz2Jr62LXwsBtEP+iTw+vKjQRDqy9xvZtnb5lKLadrDaKbZ2zlAgt3TgIda0FtwyANz2wSHUE7zf48Wp+H5cCBqtOZDFqN4JOKAOMl9qmMmbacJ1LxYdhIo/w8qJdrTJxfdcYd/SYp4pI9NvtavtQCXWJ8w5BI9vkwRz2/gZ1o6F6kHJWz0eHqkFyBfmFJnu5EAiDiTczRLgt9VYdWCnpS0MEQlIUvy/klPbqdFIcx/Tj6/beWH24C71/h1zbI7y3yOXGiTLsMzL7ORT+8NuFnpPTLRcMaNGwF9WpQ3d3wJFUbg+u6nNq7AMKEj2eKN8Z0bTEKkM3CFyifg1nQT+sc8O/IpasYJCJKc9TvKU6/+rpkfo5fv3h6tWLo9+9ePXm6f/Qf/VP+v9v5p75/3DvaO9v597u9073x3ts9d+/9v573/2/veHwQ+3P6Q/5Az6y19wn/ck/79UP4/JhQwaw=</latexit>Gopakumar, Vafa ’98 Ooguri, Vafa ’99, ’02
The A-model string is independent of the complex structure of the target space but depends on Kahler structure. It computes topological invariants associated with holomorphic worldsheets into the target CY 3-fold.
S3(µ)
S3 S2
4
X
a=1
= µ2 &
4
X
a=1
qa pa = 0
Deformed conifold
4
X
a=1
ζ2
a = µ2
Resolved conifold
N ld R ≡ O(−1) ⊕ O(−1) → P1.
S2(t)
S3 S2
S3(µ)
S3 S2 S3 S2
S2(t)
S3 S2 r = 0 r = ∞
The geometric transition between the deformed and resolved conifolds forms the backbone of the open/closed string duality. Heuristically, view the open string theory as living on D-branes wrapping the three-sphere of the deformed conifold at large radius. The geometric transition is tantamount to dissolving the branes into flux which results in the resolved conifold target.
change complex structure resolve
S3(µ)
S3 S2 S3 S2
S2(t)
S3 S2 r = 0 r = ∞
Zo(T ∗S3) = ZCS(S3)
<latexit sha1_base64="/d8VQ7L7+K7SsUy0oy8R7ugXs4=">ABgxHicpVxbd9tIctZubhvlsrPJY14w8XFGztKO5Z2c7JmTPVlSJCVLlJYiYclj0+KAQIPECAQgAKQt4yD/Jr8mr8lD/k2q+gKgL6DkWZ8zIxD1VXV1dVd3dXU3FkYZPnLl/3s5/yZ/+2Z/xS/+cv+v/vpv/vaX/3q76yeJO65I0bh3H6duFkJAwi8iYP8pC8TVLirBchuV7cHiH9ekvSLIgjO79PyIe1s4wCP3CdHF7Nv/qP2drJV64TFu/KeXxg3/yzVcwWvjUtb37zPqd1STPcvIpL46m5UENmX/15OWLl/SfpT8c8ocne/zfeP6r+Xrmxe5mTaLcDZ0se3/4Msk/FE6aB25Iyv3ZJiOJ4946S/IeHiNnTbIPBa1paT2FN57lxyn8F+UWfdvkKJx1lt2vF4BExTOVhi9NtPeb3P/thyKIk1OIpcV5G9CK48tNJvlBSlx8/AeHhw3DUBXy105qePmYFypFJkfgeKQgUzqTpF7iw2cgW3LpiBpKjPh+I+3kRLwMhMy9RJVoH7qcPV7/Aq4t98te6sN2EepPHjpOmzn1nse4s4D+SBVEul0Ur7aYfCrKBpVpi8UyJeQ2/FAgarGIZfquSmXQiCviyfKizXoBhulkcZr/kxuvoU9m0IqRky8CpX7rIAoW8ady/6nVfJ3GOXTRaKm+Tzw/zFwnkXtKwSqfB7efn7tei4KyIGhIMO1aqQ0U64exkyvSfWikBJ7k1y7ogW6kqnLvZatQfvePvxQoPWwd+3DP+up9Vz6Z6VO5MVrKyIfrSzf+L5C5/292eAJOuAV7M3HhbFkUxA1PdgztsX5RlKSPs/GMkBm0uWX82JeHLx6VpazjoJ7PQIHKyp/f13eFMzhqez6fxbioBCZu+uVHO54GjHJwHt8ACwW8KiU64qIjwqRL/LaODxaygEf6iIo1UTwn6pmEkTMjEhk3EkCFkSJ+aejYd1jbqa8b+zC248IvPKq3r/QjUPglzZ17MOjPw5jC0sZx9rS8ck4ik0GB94oN7YB/L2rDUzoIwqgIY0BmBZEFI0hI9q2ZR/xZtnI80gMjkzCkuGIRbsjX/4q6VfRJkw6SKJnLtQCVUSxMByxyfKySJeLsnj54redly9e4X9c4PnkySF2tgbSenJYivKGJw2ye+9EMnkyapBR07Jg1P2nPRhrb0meKT0rjcr34FmzkPi5dQCyrFkaLFe59Uyx/iK9bSDfN5AfVGSwXKQM2wuW4aygWHhMZ6WlYD0h9uDJ4bP57Aw7Dig7xIkBG01Gr5yQdjKgFodl8UrtIXcbmAVJ2oB8S+tuwy+ieDXcAVDZwE/aLVACVYntfI59WyEwpNCW6bxJmk4/jEt0tqSraI9vOEWdKJlSJgF6SNvPWgeaL7ZOvAsa/Y10hXAInUQwPmpgK8txIveCEM+aRWx/Sp0QUkx7Feo7uA50xRlgWKW9MzK4G6gWvkBEb8sMWTZKeyAi6H6iQbIl3FQYmtmdNnGFPZyMdZtEBMLaMn9sq5kxIPBNxViVN6Z0kdxCLf0HQS5XuBb7fQ4DHB5qzGkltiPa4fB4nML7kMcQuMvl9KzRFy7pfAGv1FIABu4/iyG0xMizydHKcnY+1UTjOxNwp3AT09EYTFxUcxb+1CxTVW2xKDyUxLAGXT1WvYWTNhge4nCb0g0CXV2iOsdcfiZpLBnp5mWrmbBdORbCumLUahvoRO9fcC/yQp6AoyoNxgFPMEwQA0CWCPhJIfxghIEcOkKz0jmGT2G5zVvY2Sq25kVWIzGmUYhHCD7VZ4/hKjHQj/9Ko2MCIQZLz/+f3ITEaM+BsAcSnj6lpwGrarGY7q4GXVXAHE6ucxBdyHWFSf5SKawcnAFqCQlkwkqK7ivpcC7h5qerCaKjKvtrbpZ6ude+2IUAF2sqo0gytFOSOYaWd60gZNZoGtY50c14e6cVUA8iDzNe7Srs2leaEuTauPljKY1VkJSquc3k9ON6tZmeAgyULVoFHOyu6DN8OailqFV4SIdS6fsDgx16k6m9Swqla2zToWAUqwGz8czcjLVoQ6M3KysPaU7u75yH+m0Tc3/3/NWXZ+d+62TSb52d+9LsrK0AsWPDn0d0aUAdmcGsK+/TGKaKYDqWEy4JxJaylD8kLFrlzYPrCBVwhAfA4/Q4KwBVSswPXutipu/VrvF2UTDwLRyO9H6z9nICBzRyinQ7lbHzgtnS91KLZ+EJjDEhCZ0H163ox+hBtfiMUq0SDWqILDqAFKeGZjeFvDIOa5CZ4Cq8NFTJpL1ChrEUqEGmUzobml5A8PkqKBjQz2OdVnHC1N9a189Ls12zVfgb1tYfK4wpjTRZevoAbsVFNBPE91hRvgNIiWO1wOF2yxf7B8NnN8VwLqMV2cy+ngui1bU1tA7ZS9XTG06MsEPXPyr2sJK08MfNPS2MP2AeYSO9eSVRZ1dDTatWbLW0gtArQlvON1ozwQUExg/ITSzkjo9TCfgVIwlzKzqIRnYkWnMmQ5SY8AWOv6DKT2stSjbFoVCRJo4ZuImWCY/oGRnTLjdOUhHR3wvI3kSmN4my7ZWFB8b7laDotVxVxaSAuGBXWYQKj53QCvxLh0bq0Jh4s68K2fvdKTEAPJRawlhnW0g/A1JnaCakXchdUCHQFQReP3O9Upenras3KQCpmOlS8TZ8T+5kv5zitvrbqghKM8/9rfYGW8dG9mTR9TaNteGN0RJQ+YKPdgbkMuoDVYsN2Me1SOpYsxFDRB2VgjNnRo0xFnTAgolJikfyoatR8EltnV2DcwgNLapOab2xr6WyWxGJdkibMqP8RT/HhkbMWy3x4XHjaMrCbNboOZiS6m5deF1KAIVOXaAmz6v+ruEWRuBCRQ5VpYaUkNZqaHeDI8vrqcW19PDf7m4nj7bj9heRMPSYphUZs8ad8Z3LHCEWa7iLGctCUoGmMLPXBJ5TpSr2T4IseWJHbdn9P0ZGYO7NIb4fmGzmH2BySVDMuXAxl2nrw3ikRH+0FClXoUb1LA1PTQeRS0mPHlIeKIJT0zCVZ7PXDhL0rVDjwF3/ABELv/4gcKPV48QufoymT1A93ZDoMujSJZQ3o1T7IlO/EBj8QlM5lEb6d0r2ID/SzEfVfo7iMnWpJtECnz4SecS4PQI8VbVcgn7OXF2/lM34z8xDzi7Zz7BltsxmtiLZwscC3MuVpevSmnVIHm3Ht18n2Ooca5uo1G/mN/K2fOreFXz6CoVdP4ZzJmLns8dnJGL4OBFDswioGc8u0p1MVWeLDUKtAdN1nIbeNg43YFLPyR8VMjHTR/RAEaFcYoDmwX6BH4cenSkgxVJQMn6bsgRtBMNnxa0VdQKnbNRlIX7a+ucNjnKxwqxYTSGn1AmiTLcMJFjZsqNBrC4BZRZk0ln47hxGO/BKzb5lRMTwvuWQksWFXmwZqmzaXZqiauNGcbOcu63tDsECaos14UBxlZNnvoBT2Evlg0DmOKt7L41FZAEt97FufM31+RkAMKMe/27qmy0Ua6m8Z13S1sYX+gY1BCeb4mTh7AJ+m+1azUzKZR0uz3GcnpmZfgM+HvDpOcb90ydto5FOvadYFaPtkenFdUoY0GOq0FnKq0cU0ba1s9rltTtc6YBbzR4WGtGjleMxoMdkuVNqmFasmso5p2xEIQJbyS/Wuosq+a9Nmxs9Y0i5xF6MhS2Dt18SJj+qptbm+bAEtlTxR6ojqbTF9rAjaKgI24zFu0sY9kqN7MY8suPw+cwfK5C7saRLcVcaQKcdGqWMU1OlHKE60jnjREmMi8+Wj+lPZaAwoKasIqKxigdPuaYcUcKg2RKp5O8bxXs+meDZgmWFeCmQ4TndpyC5/ORbSiutnKSZdEuLmAR2ULfi1GMEBpI9gf0OEkSRZ7p7mvUlymjeqfqNUn9TIhs1ASjHVQm7fdAipR+dOoh795Gzh93G1hFQOhD2o8jWRd8os7oTI0NSuKsY/mhs8WZO3WiDI9ZMUwHQWtlUsVXLEiBnm0MQSIXq8F6C4ExE5PFEfP8ZyWvseJu+/0dJe2wFnF3pLQwN4ACXVl9N9jPLjTeRlJs6joU2zRUyMvOWENJZxHWIt8XTWScOcarU3Qketj/iOIGm9wmcDtji7FvOeA0Uyg/Nck8zTFXh9Cb7ibqpRfEpipXCA2v/8oUAMtVW2kKtR/KEsd2iQ2xOInrZqEXI1it+T5fZ0uYOwLAYq26DiGminbwaiNAPNH8jlUQg2xJrkKfiOsSHYfCfY2C81wsGXVblGiF9hGsVzpGbLiYBpU/lElKJR/IksfKL7YFcWD/qrL1J3XhAVrlW6Mm8fTSy35tojYgpVWwaDC3ofDBpNmamvxBXTxtLl2BwcTQqlQFNcDFlYIbhyFhOWtcQ6Qk9pX1Alv10ZHNvMxjY3KvXjTswPbEwqGO4zU3WLmbtAk4wuwVJga1uXdVS8MQa0xzQaKWYgbAvYaAQERskdx9wc7tbNiO89uxBnQbZbd0Rf6tGp0ASXCXqA6m4lurZbtsYTodUMjlNpox3wpJ42p4N7srizGhipAgbq4jBnW7ZM1OsgkLqUKXmY4rVUyGsfs6dZUTyIGOrWOwt0wQmBGieFOypBCI8CIFep8X/mnVIXaj4L2o7bOdcQSDdPX5xonozO5+Kw6mV2rpC1XfLti1WjTRESYKhOlMC541MapvKLyYvVd2+nzZOr32tqfd8o4ntahkR/J7G/09jfNdjfGVRcbyiABWvGEqOhS5iQjMJLHp81Pl+n+6rVpsndQ2JcT9kYCM9LxazIMpfhGCd1eW3THsbAz0zNuEXUjmdmB+2iFR1JVbozcHqXAeHq/TkJdws2rBjtrhvrICGfSa7NDGquKkMTlpOS5EKWrZazZQzX9IlW/oIQvVz8Jx3He3raNHtfUtWoO4WpfgLNHxU/zGqajbsCAe7epNzpPtTPRpqxEvux4ZWqZRpHsMTcN1oOyTRoh8l5SxeO82bO9o85QuE7Khnhtgwr4Md8zhzKeiXOjP4+UnJ/oLaWngBwnvFPFYPXipy2LJZQHu1+2tCn0bVCh4NELY5NiYj41cUa1tid1dY1VOqsAZ2YA9cUKVDv+Saklh/wrAbvSJzJB0ue4d2010+ezni91Apq1TcofZ4VENA6SDBLup4EITcVFxa7QL7AQXdcMrjHUXuWjtHWd10YbOXhV9pnerMV2tw9/qLCRbouPUPQiLCdB9Pzc+fSRhKEFXTRO75XF2AXbd9OqhaFtFbHPC/ipIpbfn5fFEonwoGWFodBmgAWw87a8TDcCfw7vrSDyw/jd3x/xHvEVbGKdRyH9/CIF1wED2CgSV6Pg3WPFJZq2bDwVIePcamOYAupqrjlP5YP1NxNK1E0RMUR9qhsBXFNKTIWLVIm8obszs1mkK2rpHp9g0Uat6aAVQ80rWzWf5ht403Gb+/h7VraD7CdFVb9Iqeh/G1VP51w1TXLdW/GtuaHE3v62blrpsq1x3J27jE0sRdT0PXUkD72kcCknpqyz1MkTxMT57TixMjfmN4uizv0Ud0u/l3FfFdWEFVlm+usZmJ9SoI/JuI0oUSms8bJqb6ZfIdErK+Prob26rSvNecODSHJkNf9JcBZqz76I/1otFA84/PZEG/l1AJdtRwzletVhDR9qW5uy/oiZd75nKZ/IkTXdhzcpSDqO6NlpbHmZ1uQIkaWGbBWYnQ0x50kN3bFPtpoA3plAoBMNOmBTjSpkzapE03qpJKq1Ixryr2gLo+1cBmxX2ucYyuEVln+usgNuVrAC9tTqOalHSPT83WYdRHGbF2FEcoCY0iOia6lw7wT+topB0hd0LqWBSoegGVBYOHQwSKx+hXmQoikuoh802kOIVzH8MKtkozaKseuibDNzjojcyJzXzHnFjENdnaWztsTFuxvWyZWq1BjC4AP7hl9XZHnPZzCzjbWo+JRCT28Y0ozxKahuQg5SJSVTJubeTFtKc3nICHrG3oqumMSd5xQaY0r1d/QY6Ks/7aIZ0xKlHVcsnJMpTBtsEOZ6X5DXdZfzLg7hOHMVdH12asSRGevBlDbALFQt/eFNYUOmvWw8D0uOA6hKl5u/9FP5BzT/4CfzjK0yg0r27A/jR+fGZaoyrMRpDibkqwz4mXJ+6q48QGpL0OR64v89WLATHb+FYXQsKSjYiadgax2syZCUdTE2XhZpxXbLXs6XhkAVeU5LuWml7KXg/SUJoiRGQEQqIib0iapx087THb3DjLuy8eBX9+lBfQ2FYLW5I0/VrxgcXZuWAZN9ZyeoeFkSwtFnzE2KyjMUmvD1vJva1XDgi8PM50LTwZy5YzCj+4RAGPKfHJDyD5r6TXzY3Nw3WQEyliD6+ukUC6XT2bw4gGL0G9w2Q9jtCGdFnJyh2PNO5RlqgWY/dpRtgONQMumD6rujHpqpqIiDMCUqlBy24J9CUzyLmlpXGqg5pGVnXZiQHs3EPVoAlvr1izWBFrTWxz6YKRnA5IWpN4hohbkhYbMFi1Q/Y5n2oLUV9h3LcjL0pi84KPcyN6drVCDbHqkBr+0wof2XUO6iXUn+GLuUamWtWDWBaRLTk12+spSKuKwhdhfAGNHtzcPisPi/PimDHBlUpohpdnNe+aFYbOUubZqeW8zbWacqVu2G1tsCa837L5L3SIKNqygIcsa3jSwir34djNqbDHR9lhVR0Gq29uW3S3+lHs+aeAt8ZMOyOVj5y1IPKspwLgM+jyG5XQZYSuRhgywlAj9BmhrxJWzgYzgbw+WIUburURxfkKv4em3a0TOt3QGVohCr2MRKGbkSj040SZ6k1GS4hwaZmT51wH9atDAOoCqCtAXROIH3eorq6JGy8PnpCgPY093jw8LMy+1r6SwcXUV+t40X+MtF5Dq94fJ2jRkLT4aLQ3qPGdYSqyuAv4uiIwlLF7z8lerdHOPmL4VOZIUc0I2ek2SOXRg2ceuNq0ysCTncA7JEswvq1tUOYLG0XVhz0bEY/rV8KObWZ2DZ6BiaAMW6uRb8XKP9il2TM4B6czqfPdoDwQKvdPB/alUdfuZcxsHQxoR3Nxj0W3+DxWvPwx+hdAx0DJzQ6j6Dam0bgTnfjqDxd4M5Wr1hOd7Ao1aKHi0tx4Ei7fsFOFVd0PDGp3iu3xSeGjnd9YybJAn57rnb0TqvjaX6HxhdnkfmZWJgwktWjpPGBQ5Y4aJ6DxgMZOpkaswG5aY8KEN5vA8/5BybZHm/bntd5kOE3Cp2I4AZL67p4gF+/o5eCaKRJMhZoEmWVMKZbK+naOinUy0FUNOuVNqwpqkXGUZT+StPFKWLP74ywtSTrKqJIXSF5R+OVcPJPe3NW2r0oIMbxgxMyuq25xtKuTjga14jkV4s9LIKu2Hic/19LwtcANzA3YSbTO+8zStz9alGVQGKxG9oNMD82x8K8q1+ek+7BYjShtLhvbct5dL1qHQwcdUyT0igqGmKnozvkTS9PxZjg7aZzMhdQd0p/SKPG0W1Fda/QocBwz2RtyYlKiutxTxuGwB1C7gnzrJIkBUNFZarOhx5EM/fi5X9aNoV7N6Scs9XNQ5z6S8lJudQ0KeauWuC+6faQP2lDq2d9T6/fVXeuaN9ivXqwCdmxGxVOd81NHIzAT/5b1+Q+tIKIekKUs2/7ypIAYVxsVmng65Y+Lpx5oBKMceSKsxqj62pj10LD7tB9IM+Obyu3EgwtPoS17t59pap1HK61iC6ecZWDoDQ0o2DUNdacMsAeNMDi1RH8H6DH6/m93EpYLDqRBajdiPohDLAeKltKmOmDde5UHwYJvIP6+caEebXHzPFfYtLeaZMjL9VrvaDlRifcKcQ/D4Nkwt42fYe1YqB50XMJGjyeHegHyhSl1thsJgIgzOUezJPhdFVYt6ElJC0NUQln4spxf0qPbSXEY04+j39n+eEm8P4Ffm2D/N4inxInyrTLwOzrXPTDaxN+Rkq/XDSsQcNWUK8G1d0NT1K1Mfjuqj6nxj6gINHjifKdEU1LrDJ0g8Al6tdwFvTDOjf8K2LJCgaZmPI8wVuq86+eHKqf49cfrl69OPzNi1eX3z75/b/zT/X/Yu8f9v5x72DvcO/f9n6/d7I3nuz5+79195/7/3P3v/+MPwh/CH7YcOgP/8Z5/n7PenfD/5/4CyL+U=</latexit>Chern-Simons (CS) = full open string field theory Closed strings on deformed conifold are trivial
Zc(T ∗S3) = 1
<latexit sha1_base64="DA0bJcGORl70Yqa1cdJcHNsV4k=">ABgpHicpVxtc9tIctZd3i7K217yMR+Cjcu30h3tWL5N5WorV3WkSEqWKB1NwpLXpsUFgQGJFQhAEhbRuFjfk2+Jj8m/ybd8wJgXkDJe67aFYh+uqenZ3qmp2cGiyQMsvzFi/72c/7M/4i/6hd/vf83f/t3f/8PX/3yH6+yeJO65I0bh3H6duFkJAwi8iYP8pC8TVLirBchuV7cHiP9ekvSLIgjO79PyIe1s4wCP3CdHF7Nv/qX2drJV64TFu/KuXtg3/y6mC18a1re/PbQ+r1NP/qyYvnL+g/S384g9P9vi/8fyX8/XMi93NmkS5GzpZ9v7oRZJ/KJw0D9yQlPuzTUYSx71luQ9PEbOmQfClqT0noKbzLj1P4L8ot+rbJUTjrLtfLwCJemcqDV+aO83uf+7D0UQJZucRC4ryN+EVh5baBbLC1Li5uE9PDhuGoCulrtyUsfNwXhSKSTJ/A4UhQpmUnWK3Fls5ApuXTADSVGfD8V9vImWgJGZlqmTrAL3U4er3+FVxL/5at1Zb8I8SOPHSdNnfvOYt1ZwH8kC6JcLotW2k0/FGQD7SnTFotlSsht+KFA1GIRy/RdlcqgEVfEk+VFm/UCDNPJ4jT/lRuvoc9l0IqRky8CpX7rIAoW8ady/6nVfJ3GOXTBaKm+Tzw/zFwnkXtKwSqfB7efn7lei4KyIGhIMO1aqQ0U64exkyvSfWikBJ7k1y7ogW6iqnLvZatQfvePvpQoPWwd+3DP+up9Uz6Z6VO5MVrKyIfrSzf+L5C5/292eAJOuAV7M3HhbFkUxA1Pdgztsn5dlKSPs/GMkBm0uWX82JeHLw8LMtZR8G9GoGDFZW7vypvQCr5lDPZ9f8sxEhMnfXKznc8TRikoH3+ABYLOBRKdVUR4VIh+l9HA49dQCP5QEcerJoT9UjGTJmRiQgybiCFDyJA+NfVsOqxt1NeM/ZlbcOEXn1Va1/sRqH0S5s68mHVm4M1haGM5+1pfOCERSaHB+sQH98A+lrV1h6d0EIREcaAzAoiC0aQkOxbM4/4s2zleKQHRiZhSHFItyQr/8davokyYdJFEyl2sBKqNYmEA4YpPlZEuF2Xx4vnvOi+ev8T/uMCLyZMj7GwNpPXkqBTlDU8bZPfeiWTyZNQgo6Zlwaj7T3sw1t6SPFN6VhqV78GzZiHxc+sAZFmzNFiucutQsf4ivW0g3zeQH1RksFykDNsLluGsoFh4TGelpWA9IfbgydHhfHaOHQeUHeLEgI0mo1dOSDsZUIujsnip9pC7DcyCJG1AvqV1t+EXUbya7iCobOAH7RaoASrk1r5nHo2QuFJoS3TeJM0HP+EFmltyVbRHt5wCzrRMiTMgvSRtx40DzTfbB14ljX7GukKYJE6COD8VMDXFuJFb4Qhn7SK2H/61OgCkuNYr9BdwHOmKMsCxa3puZVA3cA1cgIjftjiSbJTWQGXQ3WSDZGu4qDE1szpM4ypbOTjLNqgABhbxs9tFXMuJ6Xc0Wa0jtJ7iAW/4KgFyrdC3y/hwCPDzTnNZLaEO3x+lmcwPiSxC7yOyvp+eNvCazhfwSi0FYOD+sxhCR4wsmxytLOcXU0vjMBdwo3MR2PwcRFNWfhT80yVdUWi8JDSQxr0NVj1Vs4aYPhIQ63Kd0g0NUlqnPM68kjSUj3bxoNRO2K8dCWFeMWm0Dnej9yw/4N1lBT4AR9QajgCcYBqhBAGsknOQwXlCAC5d4RnJPKPH8LzibYxMdTuzIktsRqMgxBusN0Kz19gtAPhn17VBhsYMUhy/v/8PiRGYwacLYD49DE1DVhNm9VsZzXwsgruYGKVk/hCriNM6o9Sce3gBEBLUCgLRlJ0V1GfawE3L1RdGA1V2Vd7u9Tte7dNgSoQFsZVZqhlYLcMay0cx0ro0bToNaxbs7Xx3ox1QDyIP1rtKuTaU5Ya6Nqw+W8lgVWYmK67y+HpzsVrMzwMGShRatAg52V/QXw5qKWoVHtKhVPr+wGCH3mRq75JC6RrbdCgYxWrAbDwzN2Mt2tDozcrKQ5qT+zvnoX7bxNzfPX/15dm53zqZ9Ftn5740O2srQOzY8OcRXRpQx2Yw68r7NIapIpiO5YRLArGlLOWPCYtWefPgOkIFnDLEx8AjNDhrQNUKTM9fqeLmr9RucT7RMDCt3E60/nM+MgJHtHIKtLvVsfPC2VK3UsnoQkMaEJ3YfX7ehHqMG1eIwSLVKNKgisOmqAEp7ZGN7WMigJrkJnsJrQwVNsqlkvYIGsVSoQSYTulta3sAwOSroxFCPE13WycJU39pXT0qzXfMV+NsWFp8rjClNdNnlK6gBO9VUEM9TXeEGOA2i5U4XHE6XbLF/8Ozo8KYzmW0IvtERp/MZdGK2hp6p+zliqlNRyb4gYt/VtYaXr4g4beFqYfMI/QsZ68tKizq8GmNUvWnqhTYC2hHe8bpQHAoJjJ9Q2jkJvR7mM1AK5lJmFpVwKFZ0KkOWk2TIEzD2i4zqb0s1RiLRkWSNGroJlImOKZvYES3DhNSUh3Hyx/E5nSKM62WxYWFO9bjqbTclURlwbiglFhHSYwek4n8CsRHq1La+LBsi5t6/cvxQT0UGIBa5lhLf0ATJ2pnZB6IXdBhUBXEHTxyP1OVZq+rtasDKRipkPF2/Q5sZ/5co7T6murLijBOP+/0hdoGR/dm0nTVzTahjdGR0TpAzbaHZjLoAtYLTZsF9MupWPJQgwVfVAGxpgdPcpU1AkDIiolFsmPqkbNJ7F1dgXGLTywpDap+ca2ls5mSzWJWnCjPof8RQfHjlrscyHx4WnLQO7WaPrYEaiq+nWhdelBFDo1AVq8rzq7xpuYQuVORQVWqoKTWUlRrqzfD4npqcT09/JeL6+mz/YjtRTQsLYZJZfasced8xwJHmOUqznLWkqBkgCn8zCWR50S5mu2DEFue2HF7Rt+fkTG4S2OI7xc2i9kXmFwyJFMObNx1+togHhnhDw1V6lW4Q1b0PjUdRiwpOHhCea8MQkXOX5zIWzJF079ARwJw9A5PJPHij8ZPUIkasvk9kDdG83BLo8imQJ5d04xZ7oxA80Fp/AZB5F8HZK9yo20M9C3HeF7j5yoiXZBpEyH37CuTQIPVK8VYV8wl5evJ3P9M3IT8wj3s65b7DFZrwm1sLJAtfCnKvl1ZtyShVozr1XJ9/nGqsa5es5HfyN/6qXNb+OUjGHr1FM6ZjJnLHp+dTCKGjxMxNIuAmvHsIt3JVHW2CDUGjBdx2nobeNwAyb1nPxRIRMzfUQPBGBUGKc4sFmgT+DHoUdHOliRBJSs74YcQzvR8GlBW0Wt0AUbRVm4v7YuaJOjfKwQG0Zj+AlkijDRM5ZqbcaACLW0CZNZl0No4bh/EevGKTb0nF9LTgnpXAglVlHqxp2lyarWriSnO2kbOs6w3NDmGCOutFcZCRZbOHXkJjL7FfPghkjrO69JYRBbQch/rxtdcn58BADPq8e+mrslG+VqGt95t7SF8aWOQ3h+ZY4eQgLcJLuW81KzWwaJc3+kJGcnkJPhP+7ijJ+dYtY6edQ7GuXReo5ZPtwUVFdpoLNawJlKG9e0sbV47o1VeuMWcAbHR7WqpHjNaPBYLdUaZNaqJbMOq5pxywEUcIr2b+GKvuqSZ+dOGtNs8hZhI4shb1TFy8ypq/a5va2CbBU9kShJ6qzyfS1JmCjCNhoOx5TtLuEYa/UyG7MIzsOn8/8sQK5G0u6FHelAXTGQWdmGdPkVCmnONU64mlDhInMm4/mT2mvNaCgoCasoIBSrevGVbModIQqeLpFM97NZvu2YBpgnUlmOkw0Zkt/DZXEQrqputnHRJhJsLeFS24NdiBAOUNoL9ER1OkmSxd5r7KsVl2qj+qTpK9UmNbNgMpBRTLeT2TYeQenTepYO4dx85a/hxt4FVBIQ+pP04knXJ+qMztTYoCTOpYfOlucuVMnyvCYFcN0ELRWJlV8xYIU6NnGECRysRqsh+BCQOz0RH0DM9p6XucuPtOT3dpC5xV7C0JPTyAB1BSfTndxyg/3kReZuI8Hto0W8TEyFtOSGMZ1yHWEk9nTbMqVZ7I3TU+ojvCJLWK3w2YIuzazHvOVAkMzjPNck8XYHXl+Ar7qYaxackVgoHqP3PHwrEUFtlC7kaxR/KcocGuT2B6GmrFiFXo/g9W5PlzsIy2Kgsg0qroF2+mYgSjPQ/IFcHoVgQ6xJnoLvGBuCzXeCjf1SIx8WZVrhPgVplE8R2q2nAiYNpVPRCkaxZ/Iwie63B7IhfWjztqb1I0HZJVrhZ7M20cj+72J1ogIUloFiwZzGwofTJqtqckf1MXT5tIVGEwMrUpVUANcXCm4cRgSlrPGNURKYl9ZL7BVHx3ZzMs8Nib36kXDmxPLBzqOF5zg5W7SZuAY8xeYWJQm3tXtTQMscY0FyRqKWYA3GsICETEFsnd5+zc3jYrtvPsRpwB3WbZHX3xrR6dCk1wmaAHqO5Womu7ZWs8EVrN4DiVNtoBT+pY+r54K4szo0mRoqwsYoY3OmWPTfFKikDlVqPqZYPRXC6ufCWUYkDzK2isXeMk1gQoDmScGeSiDCgxDodVr8759VHVKn/ShoP2rXEcs0TB9faFxMjqTi8+qk9m1StpyxbcrVo02TUSEqTJRCuOCR2cyisqL1bftf1+2jy5+r2m1veNIr6nZUj0dxL7O439XYP9nUHF9YCWLBmDKHkWOgyJjSTwKLHR53v9+m+WqXF1kltU0LcHwnISM+rxTyY4hcheHdl2R3DzsZAztFlE3kpkduI9XeCRV5cbI7VEKjKf36yTUJdy8bLCzZqiPjHAmvTY7pLGqCElcTkqeCVG6WsaPVTL1L1C0r4cvWTcBzn7W3b6HFNbVuNulOY2oe/QMNH9R+jqmbDjnCwqzc5R7o/1aOhRnzN/djQKpUyzWN4Aq4bYckWvSjpJzHa6d5c0ebp3yBkB313BAb5nWwYx5nXgv6a50Z/Py0ZH9BbS28AOG9d4p4rB681GWx5LIA9+v2VoW+DSoUPBohbPJpMTGfmjijWtvTurGKp1XgHMzgPpiBaod/7TUkP+lYBd6ROZIOlz3Lu2munzWc+XOgFN1eoblD7PCghonSQYJd1PHCpibisuDXaJXaCy7rhFca6i1y29o7zumhDZ6+KPte71Ziu1uFvdRaSLdFx6h4EUZaTIHp24Xz6SMLQgi4ap/fKYuyS7btp1cLQtorY5wX8VBHL7y/KYolEeNCywlBoM8AC2EVbXqYbgT+H91YQ+WH8Tu+P+I94qpYxTqOw3t4xAsuGIgew8ASPZsGax6prFWz4WApjx5j0xAF1PVcUp/rJ+pOJ5WougJimPtUNiKYhpSZKxapE3ljdmdGk0hW9fIdPsGirRVvTQiqFmlY26z/MtvEm47f38PaqNTQfYbqLXpFz8P4Wir/umGq65bqX41tTY6m93WzctdNleuO5G1c4omliKLrGeh6Zkgf+0hgUs9M2ecpkqeJiXNacWLkb0xvl8Ud+qhuF/+uYr4rK4iqs1VjOxPiXBHxNxmlAi01nj5FTfTL5DIldZXx/djW1Vad5rTh0YaY7Nhj9trgLN2XfRH+vFogHn51KA/8uoJLtqOEcr1qsoSNtS3P2X1GTrvdM5TN5kqa7sGZlKYdRXRutLQ+zulwBkrSwzQKz0yGmPOmhO7apdlPAG1MoANCJBp20QCea1Emb1IkmdVJVWrGtWUVe0Bdn+urgM0K+1xjGdyis91VsDtSitYAXtq9ZzUIyR69m6zDqK4zYswojhjgYRGER0T3UsH+Gd1NKOkDshdSwKVL2AyoLBwyAGiZWPUC8yFMUl1MNmG0jxCuY/BpVslGcbxdh1UbaZOUdEbmTOa+a8Ysahrs7SWVvi4t0N6/RKVWoMYfCBfcOvK7K85yHMbGMtKj6j0LMbhjRjfAqm5CDVEnJlMn6Zl5MW0rzOUjI+oaeiu6YxJ0kVFrjSvU39Jgo678t4hmTEmWdlKwcUylMG+xQZrfUJf1FzPuDmE4c1V0faqBNHZqwHUNoBscdDCH94UFlT69bDgPQ4oLpEqfl7P4V/UPMPfgL/+AoTqHTv7gB+dH48VI1xNUZjKDFXZdjHhOtTd/URQkOSPsMD9/fZioXg+C0cq2tBQclGJA1b43hNhqykg6npslAzrkv2erY0HLAa0rSXStLwXvJ0kILTECMkIBMbFXRI2Tbp72+A1u3IWdFy+j3xzpaygMq8UNabp+zfjgwqwckOw7K1ndw4IljZrfkJMlrHYhLcXzcS+lgtHBH4+B5oW/swFixnFPxzCgBf0mIRn0Nx38tfNzQ3DTVaAjCWIvn46w0LpdDYvDqAY/Qa3zRB2O8JZESdnKPZ80w5lmWoBZr92lO1AI9Cy6YOqO6OemamoCAMwpSqU3LZgXwKTvEtaGpcaqHlkZaedGNDeDUQ9msDWujWLNYHW9BaHPhjp2YCkBal3iKgFeakhs0ULVL/jmbYg9RX2XQvydWlMXvBRbmTvzlaoQTY9UoNfWuFD+64h3cS6k89wQ5dyjcw1qwYwLSJa8us31lIR1xWErkJ4A5q9OTg6rM/LsyLYsUFViqhGF+e1L5rVRs7Sptmp5byNdapitW67cYW8LrDbvUreIg0raMiyhjcNrGIvt1MUyrs8VF2WFWHweqb2xbdrX4Ue/4p4K0x085I5SNnLYg86kA+Ay6/EYldBmhqxGjDUCH1G6KuElbPBTCvD1bhm5tRHG+wu+haXfrhE43dIZWiEIvI1HoZiQK/ThRpnqT0RIiXFrm5BnXQf3qEIC6AOoKUNcE4scdqtr4sbLgyckaE9jzcPDwuzr7WvZHAx9dU6XvSfIq3X0Kr3pwlaNCQtfpotPeocR2hqjL4izg6orBU8ftPid7tEU7+YvhUZsgRzcgZafbIpVEDp9642vSKgLMdAHski7B+Y+0QJkvbhRUHPZvRT+uXQs5sJraNnoEJYIyba9HvJcq/3CUZM7gHZ/Pp4Q4QHmi1m+dDu/LoK/cyBpYuJrSj2bjH4hs8Xmse/hi9a6Bj4IRG5xFUe9MI3NluHJWnC9zZ6hXL2Q4WpVr0cHEpDhxp1y/YqeKjicm1XvltvjE0Mmub8wkWcBvz9WO3ml1PM3v0PjiLDI/EwsTRrJ6lDQ+cMgSB81z0HgQydTYzYgN+1RAcL7beA5/8Ak2+Nt2/O6CDL8RqETEdxgaV0XD/Drd/RSEI0ScYCTaKsEsZ0ayVdW6flfKqlAGralUob1jT1IsNoKn/liaJ08SdXRpha0mlWlaRQ+oLSL+fqgeT+tqZtVqQ4Q0jZmZFdZuzjXZ10hFB4xqR/Gqxh0XQFRuP87+r72WBC4AbuJtwk+mdt3lrj7VqCpAkfgNjQaYf/tDQb7VT+9ptwBR2lA6vPe2pVy6HpUOJq5a5gkJFDVN0ZPxPZKm9ydibNA2kxm5K+ia7pRekafNgvpKq1+B4DB3ogbkxLV9ZYiXjc9gBqV5BvnSQxACo6S2029DiWoR8/98u6MdSrOf2EpX4O6txHUh6WlEtNk2LuqgXum24P+ZM2tHrW9+z6XnivYt1qsHm5Adu1HhdNfcxMEI/OS/dU3uQyuIqCdEOfu2rywJEMbFZpUGvm6Jga8bZw6oFHMsqcKs9tia+ti18LAbRD/ok8Pryo0EQ6svcb2bZ2+ZSi2naw2im2ds5QAILd04CHWtBbcMgDc9sEh1BO83+PFqfh+XAgarTmQxajeCTigDjJfapjJm2nCdS8WHYSKP8PKiXa0ycX3XGHf0mKeKSPT7Wr7UAl1ifMOQSPb5MEc9v4GdaOhepBxyVs9HhypBcgX5hSZ7uRAIg4k3M0S4LfVWHVgp6UtDBEJZSFL8v5JT26nRSHMf04+v13lh9uAu/f4Nc2yO8t8ilxoky7DMy+zkU/vDbhZ6T0y0XDGjRsBfVqUN3d8CRVG4PvrupzauwDChI9nijfGdG0xCpDNwhcon4NZ0E/rHPDvyKWrGCQiSnPE7ylOv/qyZH6OX794erl86PfPn/5+tsnf/hP/qn+X+z9896/7h3sHe39x94f9k73xntv9ty9/9r73/2fvfH371w+iH6Q9vGPTnP+M8/7Qn/fvh5v8Bb5Eiow=</latexit>ZCS(S3) = Zc(R)
<latexit sha1_base64="JoIsZwGfSgQ0zyv3nWcaxmnTuw=">ABgxXicpVxtc9tIctZd3i7Ky+0lH/MFjstZqY52LN+mcrWVq1pSJCVLlI4mYclr0+KCwIDECgQgAKQto1D5N/k1+ZpU5d+ke14AzAso7Z6rdgWin+7p6Zme6emZwSIJgyx/+fL/fvHLP/vzv/jLv/rVX+/zd/+3d/+qvf/MNVFm9Sl7x14zBO3y2cjIRBRN7mQR6Sd0lKnPUiJNeL2OkX29JmgVxZOf3Cfm4dpZR4Aeuk8Or+VfWbO1k69cJyzel9Z8lpPeXE8LQ+K2cK3puXN7w6tPzQxc/eA/srctJiUh9b8q6cvX7yk/yz94Yg/PN3j/8bz38zXMy92N2sS5W7oZNmHo5dJ/rFw0jxwQ1LuzYZSRz31lmSD/AYOWuSfSxoVUvrGbzxLD9O4b8ot+jbJkfhrLPsfr0AJNVSpeFLE+3DJvd/7EIomSTk8hlBfmb0MpjC+1meUFK3Dy8hwfHTQPQ1XJXTuq4OVhXKoUkmd+BolDBTKpOkTuLjVzBrQtmICnq87G4jzfREjAy0zJ1klXgfu5w9Tu8ivg3X607602YB2n8qeOkqXPfWaw7C/iPZEGUy2XxZvtYkA20pUxbLJYpIbfhxwJRi0Us03dVKoNGXBFPlhdt1gswTCeL0/xf3HgNnTKDVoycfBEo9VsHUbCIP5f7z6zm6zTOoY9GS/V94vlh5jqJ3FMKVvk8uP3y3PVaFJQFQUOCadKbaBYP4ydXJHuQyMl8CS/dkEP9CNVlXsvW4Xy2w/20cCrYe9ax/+Wc+s59I/K3UiL15bEflkZfnG9xU6/7e/PwMEmHQN8GLmxtuyKIoZmOoe3GH7oixLGWHn2KAzKDNLbucF/Pi4NVhWc46Cu71CBysqFz9dXlTsOGAyq7/ZyEOCpG5u17J4Y6nEZMvMcHwGIBj0q57qoiwqNC9LuMBh6/hkLwh4o4XjUh7JeKmTQhExNi2EQMGUKG9KmpZ9NhbaO+Zuwv3ILv/i0rej0DtkzB35sWsMwNvDkMby9nX+sIJiUgKDdYnPrgH9rGsrTs8o4MgjIowBmRWEFkwgoRk35p5xJ9lK8cjPTAyCUOKxbhjz5N9Stok+adJBEyVyuBaiMYmG4YhNlpdFulyUxcsXv+8fPEK/+MCLyZPj7CzNZDW06NSlDc8bZDdeyeSyZNRg4yalgWj7j/rwVh7S/JM6VlpVH4Az5qFxM+tA5BlzdJgucqtQ8X6i/S2gfzQH5UkcFykTJsL1iGs4Ji4TGdlZaC9YTYg6dHh/PZOXYcUHaIEwM2moxeOSHtZEAtjsrildpD7jYwC5K0AfmG1t2GX0Txaq7hCobOAn7QaoESrE5q5XPq2QiFJ4W2TON0nD8E1qktSVbRXt4wy3oRMuQMAvSR9560DzQfLN14FnW7AnSFcAidRDA+amAJxbiRW+EIZ+0ith/9szoApLjWK/RXcBzpijLAsWt6bmVQN3ANXICI37Y4kmyU1kBl0N1kg2RruKgxNbM6TOMqWzk4yzaoAYW8bPbRVzLiSel3NFmtI7Se4gFv+CoJcq3Qt8v4cAjw805zWS2hDt8eZ5nMD4kscQu8jsb6bnjb7whs4X8EotBWDg/rMYksMPZscrSznF1NL4zAXcKNzEdj8HERTVn4U/NMlXVFovCQ0kMa9DVY9VbOGmD4SEOtyndINDVJapzJsvJI0lI928bDUTtivHYjQ+arUNdKIPrz7i32QFPQFG1BuMAp5iGKAGAayRcJLDeEJArh0hWck84wew/OatzEy1e3MiyxGY0yDEK4wXYrPH+J0Q6Ef3pVG2xgxCDJ+f/z+5AYjRlwtgDi08fUNGA1bVazndXAyq4g4lVTuILuY4wqT9KxbWDEwAtQaEsGEnRXUV9qQXcvFR1YTRUZV/t7VJP17p32xCgAm1lVGmGVgpyx7DSznWsjBpNg1rHujnfHOvFVAPIg8zXu0q7NpXmhLk2rj5YymNVZCUqrvPmenCyW83OAdLFlq0CjYXdFDfDmopahVeEiHUun7A4MdepOpvUsKpWts06FgFKsBs/HM3Iy1aEOjNysrD2lO7u+ch/ptE3N/9/zVl2fnfutk0m+dnfvS7KytALFjw59HdGlAHZvBrCv0ximimA6lhMuCcSWspQ/Jixa5c2D6wgVcMoQnwKP0OCsAVUrMD1/rYqbv1a7xflEw8C0cjvR+s/5yAgc0cop0O5Wx84LZ0vdSi2fhCYwxIQmdB9et6MfoQbX4jFKtEg1qiCw6qgBSnhmY3hbwyCDmuQmeAqvDRU0yaS9QoaxFKhBplM6G5peQPD5KigE0M9TnRZJwtTfWtfPSnNds1X4G9bWHyuMKY0WXr6AG7FRTQTxPdYUb4DSIljtdcDhdsX+wfOjw5tiOJfRiuwTGX0yl0UramvonbKXK6Y2HZngBy7+VW1hpenhDxp6W5h+wDxCx3r6yqLOrgab1ixZa+mFNgHaEt7xulEeCgmMH5Gaeck9HqYz0ApmEuZWVTCoVjRqQxZTpIhT8DYK7rMpPayVGMsGhVJ0qihm0iZ4Ji+gRHdcuM0JSHdnrD8TWRKozjblYULxvOZpOy1VFXBqIC0aFdZjA6DmdwK9EeLQurYkHy7q0rT+8EhPQ4kFrGWGtfQDMHWmdkLqhdwFQJdQdDFI/c7VWn6ulqzMpCKmQ4Vb9PnxH7myzlOq6+tuqAE4/z/Wl+gZXx0byZNX9NoG94YHRGlD9hod2Augy5gtdiwXUy7lI4lCzFU9EZGN29ChTUScMiKiUWCQ/qho1n8TW2RUYt/DAktqk5lvbWjqbJbFYl6QJM+p/xFN8eOSsxTIfHhetgzsZo2ugxmJrqZbF16XEkChUxeoyfOqv2u4hRG4UJFDVamhptRQVmqoN8Pji+upxfX08F8urqfP9iO2F9GwtBgmldmzxp3zHQscYZarOMtZS4KSAabwM5dEnhPlarYPQmx5YsftGX1/RsbgLo0hvl/YLGZfYHLJkEw5sHX6YlBPDLCHxq1Ktwgxq2pofGo6jFhCcPCU804YlJuMrzhQtnSbp26AngTh6AyOWfPFD4yeoRIlc/TWYP0L3dEOjyKJIlHfjFHuiEz/QWHwCk3kUwdsp3avYQD8Lcd8VuvIiZkG0TKfPgZ59Ig9EjxThXyGXt58W4+0zcjPzOPeDfnvsEWm/GaWAsnC1wLc6WV2/KVWgOfdenXyfY6ixprl6zUZ+I3/rp85t4ZePYOjVUzhnMmYue3x2MokYPk7E0CwCasazi3QnU9XZYoNQa8B0Haeht43DZjUc/JHhUzM9BE9EIBRYZziwGaBPoEfhx4d6WBFElCyvhtyDO1Ew6cFbRW1QhdsFGXh/tq6oE2O8rFCbBiN4SeUSaIMN0zkmJlyowEsbgFl1mTS2ThuHMZ78IpNviUV09OCe1YC1aVebCmaXNptqJK83ZRs6yrjc0O4QJ6qwXxUFGls0egmNvcR+SCQOc7q3ktjEVlAy32qG19zfX4GAMyox7+buiYbZSraXzn3dIWxpc6BjWE51vi5CEswEm6bzUrNbNplDT7LiM5PfMSfCH83VGS861bxk47h2Jduy5Qyfbg4uKrTRQGe1gDOVNq5pY2rx3VrqtYZs4A3OjysVSPHa0aDwW6p0ia1UC2ZdVzTjlkIoRXsn8NVfZVkz47cdaZpGzCB1ZCnunLl5kTF+1ze1tE2Cp7IlCT1Rnk+lrTcBGEbDRdjymaHcJw16pkd2YR3YcPp/5YwVyN5Z0Ke5KA+iMg87MqbJqVJOcap1xNOGCBOZNx/Nn9Jea0BQU1YZQUDlG5fM6yYQ6UhUsXTKZ73ajbdswHTBOtKMNhojNbuGzuYhWVDdbOemSCDcX8Khswa/FCAYobQT7IzqcJMli7zT3VYrLtFH9c3WU6rMa2bAZSCmWsjtmw4h9ei8Swdx7z5y1vDjbgOrCAh9SPtxJOuST9QZnamxQUmcdSw/dLY4c6dOlOExK4bpIGitTKr4igUp0LONIUjkYjVYD8GFgNjpieLoOZ7T0vc4cfednu7SFjir2FsSengAD6Ck+nK6j1F+vIm8zMR5PLRptoiJkbeckMYyrkOsJZ7Om2YU632Ruio9RHfEStV/hswBZn12Lec6BIZnCea5J5ugKvL8FX3E01ik9JrBQOUPufPxSIobKFnI1ij+U5Q4NcnsC0dNWLUKuRvF7styeLncQlsVAZRtUXAPt9M1AlGag+QO5PArBhliTPAXfMTYEm+8EG/ulRj4sirXCPErTKN4jtRsOREwbSqfiFI0ij+RhU90uT2QC+tHnbU3qRsPyCrXCj2Zt49G9nsTrRERpLQKFg3mNhQ+mDRbU5M/qIunzaUrMJgYWpWqoAa4uFJw4zAkLGeNa4iUxL6yXmCrPjqymZd5bEzu1YuGHdieWDjUcbzmBit3kzYBx5i9wsSgNveuamkYo1pLkjUswAuNcQEIiILZK7L9i5vW1WbOfZjTgDus2yO/riGz06FZrgMkEPUN2tRNd2y9Z4IrSawXEqbQDntTxtTzwV1ZnBtNjBRhYxUxuNMte26KVBIHarUfEyxeiqE1c+Fs4xIHmRsFYu9ZrAhADNk4I9lUCEByHQ67T43z+rOqRO+1HQftTWuY5YomH6+kLjZHQmF59VJ7NrlbTlim9XrBptmogIU2WiFMYFj9o4lVdUXqy+a/v9tHly9XtNre8bRXxPy5Do7yX29xr7+wb7e4OK6w0FsGDNGELJsdBlTGgmgUWPjzrf79N9tUqLrZPapoS4PxKQkZ5Xi3kwxS9C8O7KsjuGnY2BnaLaJuJDM7cB+v8Eiqyo2R26MUGE/v10moS7h51WBnzVAfGeFMem12SGNVEZK4nJQ8F6J0tYw1e6imP0nVn1DCT1c/Ccdx3t62jR7X1LbVqDuFqX34J2j4qP5jVNVs2BEOdvUm50j3p3o01IhvuB8bWqVSpnkMT8B1o+2QRIt+lJTzeO0b+5o85QvELKjnhtiw7wOdszjzBtBf6Mzg5+fluwvqK2FyC8914Rj9WDl7oslwW4H7d3qrQd0GFgkcjhE0+LSbmUxNnVGt7WlfXWKXzCnBuBlBfrEC145+WnLIvxKwK30iEyR9jnvfVjN9Puv5UiegqVp9g9LnWQEBrZMEuyjgcuNRGXFbdGu8ROcFk3vMJYd5HL1t5xXhdt6OxV0ed6txrT1Tr8rc5CsiU6Tt2DIMpyEkTPL5zPn0gYWtBF4/ReWYxdsn03rVoY2lYR+7yAnypi+f1FWSyRCA9aVhgKbQZYALtoy8t0I/Dn8N4KIj+MP3L90e8R1wVq1jHcXgPj3jBQPRYxhYoufTYM0jlbVqNhws5dFjbJoD6GKqOk7pj/UzFcfTShQ9QXGsHQpbUxDioxVi7SpvDG7U6MpZOsamW7fQJG2qpcGWjHUTNPKZv2H2TbeZPz2Ht5etYbmI0xXtUWv6HkYX0vlXzdMd1S/auxrcnR9L5uVu6qXLdkbyNSzyxF0PQNdzwzpYx8JTOqZKfs8RfI0MXFOK06M/I3p7bK4Qx/V7eLfVcx3ZQVRVba5zmom1qck+GMiThNKZDprnJzqm8l3SOQq6+uju7GtKs17zakDI82x2fCnzVWgOfsu+mO9WDTg/LNTaeDfBVSyHTWc41WLNXSkbWnO/itq0vWeqXwmT9J0F9asLOUwqmujteVhVpcrQJIWtlgdjrElCc9dMc21W4KeGMKBQA60aCTFuhEkzpkzrRpE4qUrNuLasYg+o63N9FbBZYZ9rLINbVPa5zgq4XWkFK2DPrJ6TeoREz9v1kEUt3kRhRnLJDQKJjonvpAP+sjkbaEXInpI5FgaoXUFkweBjEILHyEepFhqK4hHrYbAMpXsH8x6CSjfJsoxi7Lso2M+eIyI3Mec2cV8w41NVZOmtLXLy7YZ1eqUqNIQw+sG/4dUW9zyEmW2sRcVnFHp2w5BmjE9BdRNykCopmTJZX8+LaUtpPgcJWV/TU9Edk7iThEprXKn+mh4TZf23RTxjUqKsk5KVYyqFaYMdykz3G+qy/mLG3SEMZ6Krs9elSA6ezWA2gaQLQ5a+MObwoJKP2k9DEiPA6pLlJq/93P4BzX/4Gfwj68wgUr37g7gR+fHQ9UYV2M0hJzVYZ9TLg+dVefIDQk6XM8cH+frVgIjt/CsboWFJRsRNKwNY7XZMhKOpiaLgs147pkr2dLwyELvKYk3bXS9lLwfpKE0BIjICMUEBN7RdQ46eZpj9/gxl3YefEq+u2RvobCsFrckKbr14wPLszKAcm+tZLVPSyIYGmz5ifEZBmLTXh70Uzsa7lwRODnc6Bp4c9csJhR/MhDHhBj0l4Bs19J3/T3Nw3GQFyFiC6OunMyUTmfz4gCK0W9w2wxhtyOcFXFyhmLPN+1QlqkWYPZrR9kONAItmz6oujPqmZmKijAU6pCyW0L9iUwybukpXGpgZpHVnbaiQHt3UDUowlsrVuzWBNoTW9x6IORng1IWpB6h4hakJcaMlu0QPU7nmkLUl9h37Ug35TG5AUf5Ub27myFGmTIzX4pRU+tO8a0k2sO/kMN3Qp18hcs2oA0yKiJb9+Yy0VcV1B6CqEt6DZ24Ojw/q8PCuCHRtUpYhqdHFe+0mz2shZ2jQ7tZy3sc46VbFat93Ykt4vWH3XeoWUbBhBQ1Z1vCmgVXsxbebaUqFPT7KDqvqMFh9c9uiu9WPYs8/B7w1ZtoZqXzkrAWRZz0VAJ9Bl1+rhC4jdDXCkBGqHPCH2VsHI2mAnk9cEq3NCtjSjOV/g9NO1undDphs7QClHoZSQK3YxEoR8nylRvMlpChEvLnDznOqhfHQJQF0BdAeqaQPy4Q3V1Tdx4efCEBO1p7PHm4WFh9kT7SgYXU1+t40X/KdJ6Da16f5qgRUPS4ueJQnuPGtcRqiqDv4ijIwpLFb/nOjdHuHkL4ZPZYc0YyckWaPXBo1cOqNq02vCDjbAbBHsgjrt9YOYbK0XVhx0LMZ/bR+KeTMZmLb6BmYAMa4uRb9XqL8y12SMYN7cDafHu4A4YFWu3k+tCuPvnIvY2DpYkI7mo17L7B47Xm4Y/RuwY6Bk5odB5BtTeNwJ3txlF5usCdrV6xnO1gUapFDxeX4sCRdv2CnSqu6HhiUr1XbotPDJ3s+sZMkgX89lzt6J1Wx9P8Do0vziLzM7EwYSrR0njA4cscdA8B40HMnQyNWYDctMeFSC83wae8w9Msj3etj2viyDbxQ6EcENltZ18QC/fkcvBdFIk2Qs0CTKmFMt1bStXVazqdaCqCmXam0YU1TLzKMpvJXnihKF39yZYSpJZ1mVUkKpS8o/XKuHkjub2vaVqUFGd4wYmZWVLc52hXJx0RNK4Rya8We1gEXbHxOP/b+l4WuAC4gbsJN5neZtX5upTjaoCFInf0GiA+bc/FOQ7/fSedgsQpQ2lw3vWsql61HpYOKqZ6QFHTFD0Z3yNpen8ixgZtM5mRu4Ku6U7pFXnaLKivtPoVOA4Y7K24MSlRXW8p4nXDYQ+gdgX51kSA6Cis9RmQ49jGfrpS7+sG0O9mtNPWOrnoM59JOVhSbnUNCnmrlrgvun2kD9pQ6tnfc+u31d3rmjfYr16sAnZsRsVTnfNTRyMwE/+W9fkPrSCiHpClLNv+8qSAGFcbFZp4OuWGPi6ceaASjHkirMao+tqY9dCw+7QfSDPjm8rtxIMLT6Ete7efaWqdRyutYgunGVg6A0NKNg1DXWnDLAHjTA4tUR/B+gx+v5vdxKWCw6kQWo3Yj6IQywHipbSpjpg3XuVR8GCbyCD+vnGhHm1x8zxX2LS3mTIy/ZK72g5UYn3CnEPw+DZJMLeNn2HtWKgedFzCRo+nR3oB8oUpdbYbCYCIMzlHsyT4XRVWLehJSQtDVEJZ+LKcX9Kj20lxGNOPo9/a/nhJvD+FX5tg/zeIp8TJ8q0y8Ds61z0w2sTfkZKv1w0rEHDVlCvBtXdDU9StTH47qo+p8Y+oCDR4nynRFNS6wydIPAJerXcBb0wzo3/CtiyQoGmZjyPMVbqvOvnh6pn+PXH65evTj63YtXb75+t1/8E/1/2rvn/b+e9g72jv3/e+2zvdG+93XP3/mv/f+Z+9/fzj5Yf1D/sOWQX/5C87zj3vSvx/+8/8BREowvw=</latexit>Witten ’92
The state space of Chern-Simons can be obtained by canonical quantization on .
Σg × R
<latexit sha1_base64="fbVQc5uNX61iZfSDJKyJTPoGehQ=">ABgoHicpVxtc9tIctZd3i7K217y8b5gz+WsXEc7lrOpXG0lVUuKpGSJ0lIkLHltWlyQHJBYgQAEgLRlFD7k1+Rr8nPyb9I9M3iZ6QEl7lqVyD6Z6enumZnp4ZzCLfS9KXL/vV7/+sz/i7/8q9/89f7f/O3f/f0/fPXbf7xKwk08Z2/moR/Gb2dOwnwvYG9SL/XZ2yhmznrms+vZ7RHSr7csTrwsNP7iH1YO8vAc725k8Kr6Ve/m4y95dqZLq1J6q1ZYmWTtZOuZjNrlE+/evLyxUv+z6IPh/LhyZ78N5z+drqeLML5Zs2CdO47SfL+8GWUfsicOPXmPsv3J5uERc781lmy9/AYOFDih4zXIrewpuF5Yx/BekFn9b58icdZLcr2eARBUTnYvTbT3m9T94fMC6JNyoK5KMjd+FYaWmgSa+HFbJ769/DgzGMPdLXmKyd25ikYTimFRYnbgqJQwUSpTpY6s41awe0czMBi1OdDdh9ugiVgVKZl7EQrb/6pJdVvySri3S1bq03furF4ceWE8fOfWu2bs3gP5Z4QaqWxSs9jz9kbDN3fJU2my1jxm79D5lo2VCl76pUAo24YgtVXrBZz8AwrSM03+eh2vobwm0YuCkM0+r39oLvFn4Kd9/atVfx2EK3S9Y6u+jhesncydSe0omKp96t5+fzxcNCqCoCHBtGutNlCs64dOqkl3oZEieFJfz0EPdBFdlftFsvLVt+/tw8ZWg971z78s5az5V/VuwEi3BtBeyjlaQb19Xo8t/+/gQYNI1wLPJPNzmWZaBYwb34A7bF3meqwg7/RgCZAJtbtn5NJtmB6+e5fmkpeFeD8DBhGcDNHud34BU9ikVsqv/WYiDQlTu9iKXcGdBiFEC3uMCYDaDR63c+aokwqNGdNuCBh6/hkLwh4WtUh4peOGdUhIxOiX0f0BUKFdLmpJ+N+ZaMuMfZnacGZm3Wae3Fz0DtMj91ptmkNQFv9n0by9knfeGYBSyGBusyF9wD+1jS1B2e8kEQRkUYAxLCywYQXy2b0WzJ0kK2fBOmBk5vscl838Dfv631C3kj6q0ESJ0u5FqASjoXJQyI2SZpn8XKWZy9f/LH18sUr/E8KPB89OcTOVkNaTw7zorz+SY08v3cClTwa1MioaZ4J6v7TDoy1tyxNtJ4VB/l78KyJz9zUOgBZ1iT2lqvUeqZfxbf1pDva8gPOtJbzmKB7XhLf5JxLDzGk9zSsItC7MGTw2fTyRl2HFC2jxMDNpqKXjk+72RAzQ7z7JXeQ+42MAuyuAb5ltfdhl9M82qp4QqGzgx+8GqBEqJOeuVT7tkIhSeNtozDTVRz/GNepLVlW017eCMt6ARLnwkL8kfZetA80HyTtbewrMnXSNcAs9hBgOTnAr62EF/0RhjyWaOI/adPjS6gOI71Gt0FPGeMsixQ3BqfWRHUDVwjZTDi+w2epDqV5Uk5XCfVEPEq9HJszZQ/w5gqRj7JQgYFwNgqfmrmLNC4lk+1aRpvZOlDmLxLwh6qdMXnut2ELCQA81ZheQ2RHtcPg8jGF/SEGIXlf1yfFbrC5d8voBXeikA/efhBA2YlRZ52hkOTsfE9H4zgTcKdzEdDQE2flnIU/iWXKqs1m2QIlCaxB14Wo3syJawPczr0g0C51SiPsdcfmZxqBjp5mWjmbBdJRbCumzQaBvoRO9fcC/0Qp6AoyoNxgFPMEwQA8CRCPhJIfxghYESOkaz0DlGTyG57VsY2Sq2lkUmWMzGmUYhEiD7VZ4+hKjHQj/aFVrbGBEL0rl/9N7nxmN6Uk2D+LTx9TUEzWtV7OZ1cArKriDSVRO4fOljCpP0rFtYMTAC9Bo8wESdNdR32uBNy81HURNFRlX+/tSk8n3btpCNCBtjaq1EMrDbljWGnmOtJGjbpBrSNqzsjWkw5gDzIfL2rtGtTaY6fknH1wVIeq6IoUXOdy+ve8W41Wz0cLEVo0SjgYHdFn+HLXiVFr8JDOuRa3+8Z7NAZje1dUjidsI37BWOxGjAbz8wtWLMmNHqztvJQ5uTuznmo2zQxd3fPX1du42Tibdxtm5q8zOZAWIHRv+PKJLA+rIDBZdeZ/HMGUE07Icf8kgtlSl/BCJaFU2D64jdMCJQHz0FowHZzWoXoHx2Wtd3PS13i3ORgQD08rtiPSfs4EROCV06DtLcVOM2fL3Uovn/kmMSEJnQXjejH6G1OIxSjRINapQYPVRA5RYmI2x2BoGdQkNcFjeG2oEk2l0wraBDLhRpkCqG7paU1jJCjg4N9Timso5npvpWvnqcm+2arsDftrD4XGFMaKrLl9CDdgxUaF4HlOFa+DYC5Y7XbA/XorF/sHzw2c3WX+qojXZxyr6eKqK1tQm6J2ylyuhNh+Z4Acu/nVtYaW5wB89LYw/YB5hJb15JXFnV0PNq1JtCbphSYBZAnvLNpB6hVQTGD8gtLOmL/oYD4DpWAuZWJxCc+KFZ3OkKQs6sEjL3iy0xuL0s3xqxWkSgOaroVKRMc0zcwolvzMI6Zz3ceLHcTmNIozradZxYU71oO0Wm5KolLA3EmqLAOKzA0p+O5pYgFr0tj4sGyLmzrP18VE9BDiQWsZYK1dD0wdaJ3Qu6F0gU1Al9B8MWj9Dtdaf6XLMKkI4Z9zVvo3NiN3HVHKfVJasuKME4/7+mC7REju71pOlrHm3DG6MjovSeGO0OzGXwBSyJDZvFNEtpWaoQ0UflIExZotGmZo6vseKShWL5EdVo+JT2Fq7AuMGHlhSm9R8Y1tLZ7NkluiSPGHG/Y8tNB8eOtimQ+PswVZBraTWtfBjESb6NaG17kC0OjcBSrytOzvBDczAmc6sq8r1SdK9VWl+rQZHl9cRy+uQ8N/tbgOne0HYi+iZulimNRmzwp3JncscIRZrsIkFS0JSnqYwk/mLFg4Qapn+yDEVid23J6h+zMqBndpDPH9zBYx+wyTS4ZkyoGNu05fG8QjI/zhoUq1CjeoYRM9CI+mlhAePSQ8IsIjk3Cd57MULpJ0zdBjwB0/AFHLP36g8OPVI0SuvkxmB9Cd3RDo8ihSJR34zR7ohM/0FhyAlN5NMHbMd+r2EA/83HfFbr7wAmWbOsF2nz4CedSz1+w7K0u5BP28uztdEI3Iz8Jj3g7lb4hFpvhmlkzJ/HmFuZcrUW1KadVgefcO1XyfYqhxprn6omN3Fr+1o2d28zNH8HQqaZwyWTMXHbk7GQS0X+ciL5ZBNRMZhf5TqausyUGocaA6TqM/cU29Ddg0oWTPipkEqYP+IEAjArDGAc2C/Tx3NBf8JEOViQeJ9PdkCNoJx4+zXir6BU6F6OoCPfX1jlvcpSPFRLDaAg/oUwWJLhosbMnBsNYEkLaLOmkC7GceMw3oFXYvLNuZgOCe5FCSJY1ebBikbm0mRVEVfE2QbOsqo3NDuECfqsF4Rewpb1HnoBjb3EfvkgUDjO6n4Rh0VkAS3sWp84vryDACYkca/m6omGzLKVTS5826RhfEFxaCG8HzLnNSHBTiL9616pSY2j5Im3ycs5WdevM9MvjuMUrl1K9h59Csa1cFkny3TsvqYU2BHRaCTjVacOKNiRbPfN5RSWdMfFkoyd4nksjhmtBg8FuqdNGlVCSzDqaEciBNHCK9W/+jr7qk6fHDtrolngzHxHlSLe6YsXFdPVbXN7WwdYOnuk0SPd2VT6mgjYaAI2ZMeDn6NTMOKVHtkNZWQn4dOJO9Qgd0NFl+wuN4BOJejULGMcnWjlZCekI57URJjIsvl4/pT3WgMKCqrDSisYoHz7WmCLOVQZInU8n+JlrxbTvRgwTbC2AjMdJjq1RY+nRbRiu5mKydesLNC3iQN+DXxQgGKDKC/YAOp0iyxDvivlpxCRnVP5VHqT7pkY2YgbRiyoXcvukQUofPu3wQX9wHzhp+3G1gFQGhD2s+jmRdyIk64TM1NigLk5bl+s4WZ+7YCRI8ZiUwLQStUkVX4kgBXq2MQJ5lgN0UNwIVDs9ARh8BzPadE9Ttx956e7yAJnFS6WjB8ewAMoMV1OdzHKDzfBIjFxHvVtni0SYtQtJ6SJjGsfa4mns05q5tSrvSl0JH3EdQoS6RWuGLCLs2uh7DlQpDC4zDWpPO0CT5fgK+mhOJykihFAvT+5/YLRJ+sgu5hOL2Vbl9g9xOgeiQVUshl1Dcjiq3Q+X2/Dzr6Wy9kqtHTt/0itIMNLenlsch2BrlsbgO8aGEPNdwSZ+6REOvizLNULcElMrXiKJLUcFjEzlo6IUQnFHqvARldsBubB+pKydUdV4QNa5VujJsn0I2e2MSCMiSGsVLBrMbSi8N6q3JpHfq4rnzUV6I0MrcpV0ANcXCnMQ9nImeNa4iYha62XhCrPj6ymZd5YkzuVIuGHdhOsXCo4njiBqv5Jq4DjB7hYlBMveuKmkYg15LqioZTED4F6DxyAitlg6fyHO7W2TbDtNbozoNskueMvqXRaEJLhNogDrfKnSyW7bGE6HlDI5Ta0d8KQeGVPend5dmY0MVIKG+uI3h217JkpVkEhVahS8QnFqkQVj/nzjJgqZeIVSz2lnEwI0Twz21AIRGYRAryPxv3tadkhK+7mg/UzWuU6xRMP09TnhFHQhF591J7MrlchyxbVLVkIbR0WEqTNxiuCRzJOpSVFkt3bX8c10+u/kjU+rFWxI+8DIX+TmF/R9jf1djfGVRcbzhABGvGEqNhS5CxjMJInp81Pl+l+rlVpsndg2JcTdQEZ0LxaKIMpeRFCdleR3THsbPRo5m3iKqRzOzAfbTCI6k6N0Zuj1JgOL5fRz6VcPOqxi6aoToyIplobXZIE1UpJEk5MXteiKJqGWv2UE2/SNUvKOHL1Y/8YZg2t2tx9W1bTqTmF6H/4CDR/Vf4yqmg07wMGu2uQcUH+qRkNCvJR+bGiVUpn6MbwCTo2QxIv+lFSzsK1U7+5Q+Ypt0CojnpmiA3TKtgxjzOXBf2SMoOfn+TiL6hNwgsQ3nmnicfqwUsqSySXC3C3am9d6FuvRMGjESImnwYTy6lJMuq1Pamqa6zSWQk4MwO4L5agyvFPcpIcq8K2BWdyAoSnePeNdWMzmcdV+kEPFVLNyhdmRUoFWSQIFdVPHABRFxUXIT2gV2gouq4TXGqotcNPaOs6poQ2cviz6j3WrIV+vwtzwLKZboOHX3vCBJmRc8P3c+fWS+b0EXDeN7bTF2IfbdSLUwtC0j9mkGP3XE8sfzPFsiER5IVhgKrQdYADtvysu0A/Bn/97yAtcP34n90cWj7gqVrIOQ/8eHvGCwaiRzCwBM/H3lpGKmvdbDhYqPH0DQH8MVUeZzSHdIzFUfjUhQ/QXFEDoWtOKYmRcXqRdpc3lDcqSEK2VQj0+0bKNLW9SKglUBNiFa26D/CtuEmkbf38Paq1TcfYbqLHrFz8O4JV/XTPVdUP1r4Y2kUP0vq5X7rquctWRFps5WxRLEU3XU9D1JA+dpEgpJ6as9jJI8jE+e45MTI35jezrM79FqF/euZL7LS4iusi1jOxLifBHxNxHGi0JlwSqprJt8hUapM10d3Q1tXWvaEwdGmiOz4U/q0Bz9r3oj9Vi0YBzT0+UgX8XUMt2VHCJ1y1W05G3pTn7r6nJ13um8oU8RdNdWLOynMOoro3WVodZKrcAKVrYZoHJSR9TnvzQndhUu8ngjSkUAOiIQEcN0BGROmqSOiJSR6VUrWZSW1GxB9R1pb4a2KywKzVWwQ0qu1JnDdystIYtYE+tjhMvGAuev9usvSBs8iKMKE5FIEoRcdE96IA97SKRpoRaifkjsWBuhdwWTB4GMQgsfQR7kWGoqSEathsAmleIfzHoJKN8myjGLsqyjYzp4hIjcxpxZyWzDjUVk6a8vmeHfDOrnSlRpCGHxg38jriLv+QxmtiGJik859PRGIM0Yl4OqJpQgXVI0FrK+mWbjhtJcCSpkfcNPRbdM4o4jLq12pfobfkxU9N8G8YJi7KOc1GOqRShDXYoM92tqSv6ixl3hzCcuUo6nb1KQXz2qgHJBpBdHLRw+zeZBZX+uvEwID8OqC9RKv7OL+HvVfy9X8A/vMIEKt+7O4AfrZ+f6ca4GqIxtJirNOxjwvXxfPURQkMWP8cD9/fJSoTg+C0cq21BQdGmSBo2xvFEhqkg6npPNMzrkvxerI0HLAa0rKXSuyl4L3kxQESYyADL+AmNhLIuHkm6cdeYMbd2Gn2avgD4d0DYVhdXFDmq9fEzm4Ct7LPnOilb3sCpc1anhBTZcw2/u15PbFPcuGIwM/nQNPCn2nBYkbJD4cI4Dk/JrEwaO46WV9c8NwkxUgQwVC10+nWCifzqbZARDb3DbAmE3I5wVc1KBEs83zVCRqS7A4teOsh1oBF42f9B1F9RTMxUVEQChVIlS2xbsy2CSn7OGxuUGqh9Z2WknAbR3A1GPOrCxbvViTaA1v8VByOaDYgakLRDBA3IC4JMZg1QesczbkDSFfZdA/IyNyYv5Cg3sHdnK/Qgmx+pwS+tyKF915BuYt3JZ7ihy7kG5pqVAxiJiJby+o21MS1C0JbI7wBzd4cHD6rzsuLIsSxQV1KUY02zmtfNKsNnKXNs1PLaRPrpFUWS7rtxi62hNcbcd+lahEN65dQX2QNb2pYzV5yu5mnVMTjo+ywKg+DVTe3Lb5b/Sj29JMnW2NCzkilA2dEGXWUwPIGXT5jU5oC0KbEPqC0CeEriB0dcLK2WAmUNYHq3DtzaCMF3h9DI3bpCpxs+Q2vEQi8jsdDNSCz0k0SVuhgNlhDh8jJHz6UO+leHANQGULsAtU0gedyhvLpW3Hh58IQE72ni8ebhYWHyNflKhRTXa2TRf8p0jo1rTp/mqBZTdLsl4lCew9q1xHKoO/FEdHNJYyfv8l0bs9wMm/GD61GXLAM3JGmj2Y86hBUm/mZHpFwOkOgD1QRVh/sHYIU6XtwhYHPevRT+OXQk5tIbaJnoAJYIybkuj3AuVf7JKMGdyD0+n42Q4QHmi16+dD2+roq/YyAVYuJjSjxbgn4hs8Xmse/gS9baBj4IRGlxFUc9MUuNPdOC6PCtzZ6iXL6Q4WrVr8cHFeHDgi1y/EqeKSjicm9XvldvGJoeNd35iJEk/enqscvdXoeMTv0PjFWR5JhYmjGj1KGly4FAl9urnoPFABiVzY9YgN81RAcK7TeCp/MCk2ONt2vM69xL8RqETMNxgaVwX9/Drd/xSEI80WSICTatEoZ8ayVeWyf5dExSABXtSqf1K5p+kWEwVr/yxFU/PGVEaXdJKUJWmUbkHp5lP9QHJ3W9G2Os1L8IaRMLOmui3ZBrs6YChcY1IebV4gUXwFZuM87+r7mWBC4AbzDf+JqGdt35lrjrVqCvAkfgNjRpYfvtDQ76lp/fILUCU1lcO71tKJevR5WDiauGeUIBXVTdFR8h8Xx/XExNpDNZEFuF3SiO6eX5HG9oK7W6lfgOGCwN8WNSYU6XyLeN1w2AOo7YJ860SRAVDSRWqzpseRCv34uZtXjaFfzelGIvVzUOU+ovxZzrn0NCnmrhrgrun2kDtqQutnfU+v35V3rnjfEr26t/HFsRsdznfNTRyCIE/+W9fs3re8gHtCkIpv+6qSAGFcbJZp4OuGPi6duaASzHkjrMao6tuY9dFx52g+gHfbJ/XbpRwdDoS1Lv+tlboVLD6VqD6PoZWzUAQkvXDkJdk+BWAPCmBxapj+DdGj9eze/iUsBg1ZEqRu9G0AlVgPFS21jFjGuc6H5MEzkAX5eOSJHm+b4XirsWiTmGQvyzLXIKYsBl1idMJcQPL7NIsxt42dYWxaqBx2XidHjySEtQL0wpc92gwJQxJmSo14S/C4LKxf0LOeFISriLHJZLi/p8e2k0A/5x9Hv7Ncf+Mt/gV+b303mKfIidIyGVg8XUu/uG1kTwjRS8X9StQvxHUqUBVd8OTVE0M7nxVnVMTH1BQ6OFI+84I0RKrDN3AmzP9azgz/mGdG/kVsWgFg0zIeZ7gLdXpV08O9c/x04erVy8O/XFq8tvn3z/H/JT/b/Z+93e7/cO9g73/n3v+72TveHem7353n/t/fe/+z970+/+nkpx9+uhTQX/9K8vzTnvLvp3f/Dyw0Ijs=</latexit>Ri
unmarked two-sphere has a 1 dimensional state space. prepared by functional integral over a three-ball. marked two-sphere: state space labelled by representations at marked points torus states labeled by integrable highest weight
non-contractible cycle.
Witten ’89
t t
|ΨS2 i hΨS2 |
hΨS2|ΨS2i = ZCS(S3),
The state on a two-sphere can be prepared by functional integral over a three-ball. Useful to view time as the radial coordinate in the three-ball. Gluing the balls for the ket and bra together we recover the partition function of theory on the three-sphere.
There exist other decompositions of the three-sphere using Heegard
glued on their boundaries after an S-transform to swap the cycles. Using this decomposition we can build torus states by performing the functional integral on the solid torii.
A− Ac
−
Ac
+
A+ B− B+ |ΨS2i hΨS2| |Ψµ
Ai
|Ψν
Aci
hΨν
Ac|
hΨµ
A|
|ΨS2i = X
µ,ν
cµν|Ψµ
Ai ⌦ |Ψν Aci,
X
µ,ν
|cµν|2 = ZCS(S3).
ρ
A =
X
ν,µ1,µ2
cµ1ν c∗
µ2ν |Ψµ1
A ihΨµ2 A |
Spatial partition of the state
boundary into region+ complement across an entangling surface.
A− Ac
−
Ac
+
A+ B− B+ |ΨS2i hΨS2| |Ψµ
Ai
|Ψν
Aci
hΨν
Ac|
hΨµ
A|
A Ac B |ΨS2i |Ψν1
A i
|Ψµ1
Aci
A|ΨS2i = |ΨS2i.
A
q) = ZCS(S3) .
q→1
A
q) q log TrA (ρ
A)
Replica computation follows by sequential gluing of balls, made easy, by the simple action of the reduced density matrix on the two-sphere state.
Dong, Fradkin, Leigh, Nowling ’08
The topological entanglement has a flat spectrum which can explicitly be mapped to the quantum dimension. Can have multiple components for our region: the entanglement is then proportional to the number of entangling interfaces:
by M log ZCS(S3),
A− A+ Ac
−
Ac
+
A− A+
A1
−
A2
−
A1
+
A2
+
Ac
−
Ac
+
1 ZCS(S3) A1
−
A1
+
A2
−
A2
+
Similar results for higher genus states without Wilson lines.
Kitaev, Preskill ’05 Levin, Wen ‘05
Geometric transition
r = ∞ r = 0 S2 B+ S2 B− r = ∞ r = 0 S2 B+ S2 B− In the closed string description, employ the Heegard splitting of the three- sphere again to expose constant time hypersurfaces.
NB: Cauchy surface does not slice through closed string worldsheets (holomorphic maps wrapping homology two-cycles).
r = ∞ r = 0 S2 B+ S2 B−
hΦR|ΦRi = Zc(R).
en `AdS `s `P ,
1
Lewkowycz, Maldacena ’13
Replica construction in QFT involves computing partition functions on a q- fold branched cover of the original background, branched at the entangling surface. When the bulk spacetime can be obtained using a saddle point solution of the quantum gravity path integral, with boundary conditions provided by the branched cover. Gravity affords a major simplification for computing the von Neumann entropy: the analytic continuation taking q to unity is made simple.
Assume bulk saddles are replica symmetric and construct the orbifold
A ∂A r τ B eq ˆ Mq
I[Mq] = q I[ ˆ Mq]
✦ On-shell action we want is simply related
locus of orbifold singularities
cosmic brane of tension
q Tq = 1 4G(d+1)
N
q − 1 q
✦ Subtleties arising from global topology, replica symmetry breaking…. Hartman, Haehl, Marolf, Maxfield, MR ‘14
ace ˆ Mq = Mq/Zq. ∂ ˆ Mq = Bq/Zq = B
Belin, Maloney, Matsuura ‘13
✦ Gravitational analytic continuation: dial the tension of cosmic brane! ✦ Local analysis of eom in the vicinity of singular locus gives RT prescription.
A ∂A r τ B eq ˆ Mq
ds2 =
+
ij rq cos τ + 2 Kt ij rq sin τ
lim
q→1 eq → EA ,
EA ∈ M with t = 0, Kx = 0 ∂qI[ ˆ Mq] = Area(eq) 4 q2GN
@qI[ ˆ Mq] = Z
eq(✏)
Θ((gq)AB, @q(gq)AB) (
Kt = 0. by symmetry
✦ The cosmic brane is the natural continuation of the entangling surface
ends up as the bulk spatial separatrix in the gravity regime (quantum corrections are bulk entanglement across this surface).
Faulkner, Lewkowycz, Maldacena ‘13
r = ∞ r = 0 R+ R− t = 0
A−(r1) A+(r1)
A−(r2) A+(r2)
Ac
−(r1)
Ac
+(r1)
Ac
−(r2)
Ac
+(r2)
E− E+
A = ✓ [
r0
A(r) ◆ ⇥ S2(1) E = ✓ [
r>0
S1(r) ◆ ⇥ S2(1) . The entangling brane provides a spatial separatrix for the bipartition.
cf., Donnelly, Wong ’16, ’18
r = ∞ r = 0 R+ R− t = 0
A−(r1) A+(r1)
A−(r2) A+(r2)
Ac
−(r1)
Ac
+(r1)
Ac
−(r2)
Ac
+(r2)
E− E+
The entangling brane does not slice through any of the closed string worldsheets. One can construct the topological string density matrix by gluing over the complement region.
S(q)
A =
1 1 − q ✓ log Z[X(q)] − q log Z[X] ◆ .
Replica construction proceeds by cyclically gluing the target spaces together and accounting for normalization.
−
+
q-fold gluing of the geometry computing the density matrix produces a geometry with a single non-contractible two- sphere (the spheres from each replica copy get successively identified).
Amusing to compute the normalization by a topological string analog of the generalized entropy. Construct a new geometry whose time-cycle is comparable to that of the replica geometry. This geometry has q non- contractible two-spheres.
−
+
A =
Combining the results for the partition functions on the replica geometry and the normalization factor we recover the expected flat entanglement. The difference between the two manifolds entering the above is localized at the tip of the geometry (it cares about the number of non-contractible two-spheres).
Consider Wilson lines wrapping a knot/link inside the three-sphere and decompose using Heegard splitting to obtain other states. Wilson lines can be `spacelike’ or `timelike’ and may or may not interfere with the spatial bipartitioning. Given a Wilson line in some representation, in the closed string description we have probe D-branes wrapping a non-compact Lagrangian cycle. This cycle is anchored on the Wilson line in a large radius three-sphere (at the bottom of the cone), and wraps the equator of the non-contractible two-sphere, extending all along in the radial direction.
Ooguri, Vafa ’99
Ac
+
Ac
−
A− A+ |Ψi
T2i
hΨi
T2|
Ri Ri glue Ac A+ A− ρ
A
i
A+ A−
ρ
A
i |Ψi
T2i = ZCS(S3, L; Ri)
ZCS(S3) |Ψi
T2i
S(q)
A (ρ
A
i) =
1 1 q log ZCS(S3, L; Ri)q ZCS(S3)q−1 q log ZCS(S3, L; Ri)
Ac
A
|Ψi
T2i
Ri glue A and A+ A+ A− ρ
A
i
Ac
A−
Ri Ri
A−
Ri
A−
Ri
Spacelike Wilson lines which are not bothered by the bipartitioning are
localized in the one piece of the Cauchy surface and play a spectator role.
Rj Ri
A− Ac
−
Ac
+ Rj Ri
A+
Rj Ri
A− A+
Ri
B− B+ |Ψij
S2i
hΨij
S2|
ρ
A
ij
B
· · · · · · · · · · · ·
A− A+
q-pairs q copies
Rj Ri A− A+ Ri
ρ
A
ij
B
Rj Ri A− A+ Ri
ρ
A
ij
B
Rj Ri A− A+ Ri
ρ
A
ij
B
Ri Rj Ri Rj
ZCS
S(q)
A (ρ
A
ij) =
1 1 q log ZCS(S3, (Ri, Rj)q) (ZCS(S3, Ri, Rj))q
Timelike Wilson lines may be sliced by the bipartioning leaving behind marked points carrying representation data.
r = 1 r = 0 R+ R− t = 0
A−(r1) A+(r1)
A−(r2) A+(r2)
Ac
−(r1)
Ac
+(r1)
Ac
−(r2)
Ac
+(r2)
E− E+
In the closed string description we would now have the Cauchy surface slice through the dual Lagrangian cycles. However, the entangling brane does not interfere with the Lagrangian cycles; the marked points/planes are either in the region or in its complement.
A Ac
Ac
+
Ri |Ψi
T2i
Ri hΨi
T2|
A A+
L; Ri ρ
A
iL A A+
ρ
A
iL
S(q)
A (ρ
A
iL) =
1 1 q h log ZCS(S3, L(q); Ri) q log ZCS(S3, L; Ri) i = 2 log ZCS(S3, ¯ Ri)
Spacelike Wilson lines may be cut by the biparition in the interior. In this case we can get non-trivial answers for the entropies as surgery induces non-trivial linking of the Wilson lines. The Lagrangian cycles will end up being linked, but since the entangling brane doesn’t interfere with them, we anticipate recovering the Chern- Simons answer from the closed string.
Topological entanglement in topological closed string theory can be meaningfully defined, by suitably uplifting three-manifold surgery techniques. There is a natural notion of an entangling brane which plays the dual role
For the examples studied, the entangling branes do not interfere with the closed string worldsheets, so one is able to make progress without detailed understanding of the closed topological string Hilbert space. Topological entanglement is the glue that allows surgery without reference to detailed geometric features. This explains the flatness of the entanglement spectrum, for it can only depend on the number of pieces being glued, with a degrees of freedom count for each gluing (the quantum dimension).
cf., Donnelly, Wong ’16, ’18
`AdS ⇠ `s `P
<latexit sha1_base64="vP9xwf2SozwT/aqApyQknByRxrg=">ABgq3icpVxtc9tIctZd3i7Ky+0lH/MFjsu3ch3tWM6mcrWVB0pkpIlSkeRsOS1aXFBYkBiBQIQANKWUfwH+TX5mvyR/Jt0zwxeZnpAyXu2hWIfrqnp2d6pqdnBrM48NPs1av/+8Uv/+zP/+Iv/+pXf73/N3/7d3/629+8w9XabRO5uztPAqi5N3MSVngh+xt5mcBexcnzFnNAnY9uz1C+vWGJakfhXZ2H7OPK2cR+p4/dzJ4Nf3mtxMWBNJxj5nedsdb61J6q8s/jK1JouFeBxOv3n6uUr/s+iD4fy4eme/Dec/ma6mrjRfL1iYTYPnDT9cPgqzj7mTpL584Bt9yfrlMXO/NZsA/wGDorln7MeYW21jN41pelMB/YWbxt3WO3Fml6f1qBsiVky1TnYvTbQP68z7/cfcD+N1xsK5KMhbB1YWgdy/UTNs+Ce3hw5okPulrzpZM48wxsqJTC4tRrQVGoYKpUJ8+c2Vqt4GYOZmAJ6vMxv4/W4QIwKtMiceKlP/ckuq3ZBXxb7ZctVbrIPOT6FPLSRLnvjVbtWbwH0v9MFPL4pWeJx9ztp47gUqbzRYJY7fBxRs1mk0ndVKoVGXDJXlReuVzMwTCuNkuy382gFXS+FVgydbOZr9Vv5oT+LPm/3n1n10mUQU8MF/r72PWCdO7Eak/JReUz/bLi7nboKAqCBoSTLvSagPFekHkZJp0Dxophif19Rz0QG/RVbl302Wgv1gH37M0XrYu/bhn/XMeqH8sxIndKOVFbJPVpqtPU+jy3/7+xNAgElXAM8n82izfN8Aqa6B3fYvNxutyrCzj5FAJlAm1v2dpP84PXz7fbSUvDvRmAg+UTbH+A5m+2N7nwfi67+p+FOChE5W67Wwl3XEKMU/AeDwCzGTxq5c6XJREeNaLXFjTw+BUgj90xNGyDhG/dMyoDhmZEP06oi8QKqTLT0Z9ysbdYmxv0gLzrz8i05ruz8BtcuCzJnmk9YEvDkIbCxn/SFYxayBqsyzxwD+xjaVN3eMYHQRgVYQxILT+0YAQJ2L41cZk3SZeOyzpgZBisOS6fBWv25N9Qt5I+qtNBEidLuRagUo6FeUQi1m2zZPFbJu/evn71quXr/E/KfB89PQO1sNaT093Bbl9U9q5Pm9E6rk0aBGRk23uaDuP+vAWHvLslTrWUm4/QCeNQmYl1kHIMuaJP5imVnPNevPktsa8kMN+VFH+otZIrAdfxFMco6Fx2SytTSsW4g9eHr4fDo5w4DyvZxYsBGU9FLJ+CdDKj54TZ/rfeQuzXMgiypQb7jdbfhF9O8Wmq4hKEzhx+8WqCEqJNe+Yx7NkLhSaMtkmgd1xz/mBdpbdhG0x7eSAs64SJgwoL8UbYeNA8032Tlu5Y1eYJ0DTBLHARIfi7giYX4ojfCkM8aRew/e2Z0AcVxrDfoLuA5Y5RlgeLW+MyKoW7gGhmDET9o8CTVqSxfyuE6qYZIlpG/xdbM+DOMqWLkyxkUACMreKnto45KySebaeaNK13sxBLP4FQa90ut7XgcBrhxozioktyHa4/JFMP4kUQu6jsl+OzWl+45PMFvNJLARi4/ySCBIDzDpHI8vZ+ZiIxncm4E7hJqajIZg4L+cs/EksU1ZtNstdlCSwBl1dUb2Zk9QYHuKY16UbBM6pRH2OufzCkgx0s2rRjNhu0oshHX5oNE20Ik+vP6If+Ml9AQYUW8wCniKYAeBIhGwkO4wUtCJDSNZ6ByjN4DM8b2cbIVLWzKHKLzWiUYRAiDbZb4ekrjHYg/KNVrbGBEf04k/P7gNmNKYv2XyITx9TU1/UtF7NZlYDr6jgDiZROYUvkDrCpP4oFVcOTgC8BI0yEyRNdx31pRJw80rXRdBQlX29tys9nXTvpiFAB9raqFIPrTkjmGlmetIGzXqBrWOqDkvj2gx5QDyIP1rtKuTaU5QUbG1QdLeayKokTNdS6ve8e71Wz1cLAUoUWjgIPdFX2OL3uVFL0KD+mw1fp+z2CHzmhs75LC6YRt3C8Yi9WA2XhmbsGaN6HRm7WVhzInd3fOQ92mibm7e/7qrNzt3Ey6TbOzl1ldiYrQOzY8OcRXRpQR2aw6Mr7PIYpI5iW5QLBrGlKuWPsYhWZfPgOkIHnAjEJ9lPDirQfUKjM/e6OKmb/RucTYiGJhWbkek/5wNjMABr5wGbW8odpo7G+5WevksMIEhJjShu/C6Gf0INaQWj1GiQapRhQKrjxqghGs2hrsxDKoSWaCJ/DaUEGTbC6ZVtAglgs1yBRCd0vLahghRwcdG+pxTGUdz0z1rXz1eGu2a7YEf9vA4nOJMaWJrp8CTVgx0SF4nlMFa6BEz9c7HTB/nghFvsHLw6f3+T9qYrWZB+r6OpKlpTm6B3yl4shdp8ZIfuPjXtYWVpos/eOhtYfoB8wgt6+lrizu7Hmxak3hF0gtNAsgS3nHbYeYXUExg/IzSzljgdjCfgVIwlzKxuITnxYpOZ0gzFvdlAsZe8mUmt5elG2NWq0ichDXdipQJjulrGNGteZQkLOCbEJa3Dk1pFGfT3uYWFO9ZDtFpsSyJCwNxJqiwDiswNKfje6UIl9elMfFgWRe29Z+viwnocQC1jLFWno+mDrVOyH3QumCGoGvIPjiUfqdrjR/Xa5ZBUjHjPuat9E5sZt6ao7T6pJVF5RgnP/f0AVaKkf3etL0DY+24Y3REVF6T4x2B+Yy+AKWxIbNYpqltCxViKGiD8rAGLNFo0xNncBnRaWKRfKjqlHxKWytXYFxAw8sqU1qvrWthbNeMEt0SZ4w4/7HXM2HB86qWObD48wly8B2Wus6mJFoE93a8HqrADQ6d4GKPC37O8HNjMCZjuzrSvWJUn1VqT5thscX19GL69DwXy2uQ2f7gdiLqFm6GCa12bPCnckdCxhFsozURLgpI+pvDTOQtdJ8z0bB+E2OrEjtszdH9GxeAujSG+n9kiZp9hcsmQTDmwcdfpiUE8MsIfHqpUq3CDGjbRg/Boagnh8UPCYyI8NgnXeb5I4SJ1w9BtzxAxC1/OMHCj9ePkLk8utkdgDd2Q2BLo8iRUJ5N06zJzrxA40lJzCVRxO8GfO9ijX0swD3XaG7D5xwTZ+qM2Hn3Eu9QOX5e90IZ+xl+fvphO6GflZeMS7qfQNsdiMVsyaOak/tzDnarnVpxWBZ5z71TJ9ymGiueqyc28mr5Wy9xbnNv+wiGTjWFSyZj5rIjZyeTiP7jRPTNIqBmMrvIdzJ1nS0xCDUGTNdREribKFiDSV0ne1TIJEwf8gMBGBVGCQ5sFuje1Hg8pEOViQ+J9PdkCNoJx4+zXir6BU6F6OoCPdX1jlvcpSPFRLDaAQ/oUwWprhosbMnBsNYEkLaLOmkC7GceMw3oFXYvLdcjEdEtyLEkSwqs2DFY3MpemyIi6Jsw2cRVvaHYIE/RZL4z8lC3qPfQCGnuB/fJBoHCc5b2bREVkAS3qWp84vryDAeMSLx7qyZqMchVN7rxbZGF8QTGoITzfMicLYAHOkn2rXqmJzaOkyR9SlvEzL/4XJt8dxpncuhXsvHNo1rWrAk+2e6dl9RCGwI6rQSc6rRhRuSrZ75vKSzpj6stHhYaUbOVoJGgx2C502qoSZNZRTsSIYgWXqn+1dfZl3X65NhZEc1CZxY4qhTxTl+8qJiubpvb2zrA0tljR7rzqbSV0TAWhOwJjseY7S7ghGv9MhuKCM7CZ9OvKEGuRsquR3WwPoVIJOzTLG8YlWTn5COuJTYSJLJuP5095rzWgoKA6rLSCAcq3rwW2mEOVIVLH8yle9mox3YsB0wRrKzDTYaJTW23h02kRrehutnSBSvcvICH2wb8qhjBAEVGsD+iwymSLPGOuK9WXEpG9c/lUarPemQjZiCtmHIht286hNTh8y4fxN370FnBj7s1rCIg9GHNx5GsCzlRp3ymxgZlUdqyvMDZ4MydOGKx6wEpoWglTap4isRpEDPNoYg4RyrIXoILgSKnZ4wCl/gOS26x4m7/x0F1ngLCN3wfjhATyAktDldBej/GgduqmJ86hv82yREKNuOSFNZFz7WEs8nXVSM6de7XWhI+kjnlOQSK/wxIBdnF2LZM+BIoXBZa5J5WkXeLoEX0o3JRSPk0QpEqD3P69fIPpklV3IJRSvr8rtG+R2CkSHrFoKuYTidVS5HSq3F2zns7WK7l65PRNryjNQPN6ankcg2xYlkCvmNsCDHfFWzilx7h4MuyXCPEKzG14iWS2HJUwMhUPipKIRvpAofUbkdkAvrR8raGVWNB2Sda4meLNuHkL3OiDQigrRWwaLB3IbCe6N6axL5vap43lxUgd7I0KpcBT3AxZXCPAoCJnLWuIZIWORp6wWx6uMjm3mZJ8bkTrVo2IHtFAuHKo4nbrCcr5M64AizV5gYJHPvspKGIdaQ54KWhYzAO41+AwiYotl85fi3N4mzTfT9KY4A7pJ0zv+4jsanRa4DKBqjzjUInu2UrPBFazuA4ldbaAU/qkTH1rHe3zc+MJkZKYWMd0bujlj0zxSopApVKj6hWDUVwurn3FmELPNTsYrF3jKOYUKA5knAnlogIoMQ6HUk/vdOyw5JaT8VtJ/IOtcplmiYvj4nIu5OKz7mR2pRJZrnh2yUpo47iIMHUmThFc8EjGqaykymLpru0P4/rJ1R+IWj/UiviBl6HQ3yvs7wn7+xr7e4OKqzUHiGDNGEKpsdBFxHgmQUSPjzrf7/F9tVKLjZPYpoS4NygA5pXi2QwJS9CyO4qsjuGnY0ezTztFlE1kpkduI+WeCRV58bI7VEKDMf3qzigEm5e19hFM1RHRiQTrc0OaIqhSQpJ2EvClFULWPNHqrpV6n6FSV8vfpxMIy5rat9bi6to1G3SlM78NfoeGj+o9RVbNhBzjYVZucA+pP1WhIiJfSjw2tUipTP4ZXwKnRdkjiRT9Kylm0cuo3d8g85RUI1VHPDLFhVgU75nHmsqBfUmbw85Ot+Atqk/AChHfea+KxevCSyhLJ5QLcrdpbF/rOL1HwaISIyafBxHJqkox6bU+q6hqrdFYCzswA7oslqHL8ky1JDnlXBeyKTmQFic5x75tqRuezjqd0Ap6qpRuUnswKFNAqSaDALqp4IKIuCi5Ce0CO8F1fAaY9VFLhp7x1lVtKGzl0Wf0W415Kt1+FuehRLdJy6e36YZswPX5w7nz+xILCgi0bJvbYuxD7bqRaGNqWEfs0h586YvHD+TZfIBEeSFYCq0HWA7b8rLtEPw5+De8kMviD59L/dH3EdcFStZh1FwD494wQUD0SMYWMIXY38lI5WVbjYcLNXRY2iaA/hiqjxO6Q3pmYqjcSmKn6A4IofClhxTk6Ji9SJtLm8o7tQhWyqken2DRp63oR0FKgJkQrW/QfYdtoncrbe3h71eqbjzBdVRa94udhPJLKv6Z6rqh+ldDm8ghel/XK3dV7nqSO56ztxiKaLpegq6nhrSx4ShNRTU/Z5jORxbOIcl5wY+RvT29v8Dn2U2sW7K5nvtiVEV9mWOuZWI+T4I+JOI45UehMOCXVM5PvkChVpuju6GtKy17zYkDI82R2fAn9VWgOfte9MdqsWjAeacnysC/C6hlOyq4xOsWq+nI29Kc/dfU5Os9U/lCnqLpLqxZWc5hVNdGa6vDLJVbgBQtbLPA9KSPKU9+6E5sqt3k8MYUCgB0RKCjBuiISB01SR0RqaNSqlYzqa2o2APqelJfDWxW2JMaq+AGlT2pswZuVlrDFrBnVsdJXMbCF+/XKz+MmrwI4pTEUgQStEx0b0owDutopFmhNoJuWNxoO4FXBYMHgYxSCx9hHuRoSgpoRo2m0CaVwj/MahkozbKMauirLNzBkiMiNzVjFnJTMOdVWztqwOd7dsE6udKWGEAYf2DfyuqLIez6HmW1IouJTDj29EUgzxuOgqgklSJcUj4Wsb6f5uKE0T4IKWd/yU9Etk7jmEurXan+lh8TFf23Qbxg0qKs460ox1SK0AY7lJnu1dQV/cWMu0MYzlwlnc5epSA+e9WAZAPILg5aeP2b3IJKP2k8DMiPA+pLlIq/83P4exV/72fwD68wgcr37g7gR+un57oxroZoDC3mKg37mHB9PF9+gtCQJS/wP19uhQhOH4Lx2pbUFC8LpKGjXE8kaEq6WBqepvrGdeFeD1ZGA5Z4DUl5a4V2UvB+0kKgiRGQEZQEzsJZFw8s3TjrzBjbuw0/x1+LtDuobCsLq4Ic3Xr6kcXISVfZ+b8XLe1gQwdJmJU+IqTJm6+D2vJ7YJ7lwRODnc6Bp4c+0YDGj5IdDBPCcH5NwDZp7TnZ39w3GQFyFCB0PXTKRbKp7NpfgDF0BvctkDYzQhnyZxMoMTzTNUZKoLsPi1o2wHGoGXzR903QX1ExFRQRAKFWi1LYF+zKY5OesoXG5gepHVnbaSQDt3UDUow5srFu9WBNoxW9x0MGIZgPiBiTtEGED8oIg01kDlN7xTBqQdIV914C83BqTF3KUG9i7sxV6kM2P1OCXVuTQvmtIN7Hu5DPc0OVcA3PNygGMREQLef3GWmji2gWhrRHegmZvDw6fV+flRHi2KAupahG+e1r5rVBs7C5tmpxbSJdIqiyXdm0XW8KrtbjvUrWIhg1KaCyhjc1rGYvud3MUyri8VF2WJaHwaqb2xbfrX4Ue/bZl60xIWeksoGzKogy6kB5Ay6+FYntAWhTQh9QegTQlcQujph6awxEyjrg1W4VsbYZQt8Xto5G5dodMNn6E1YqGXkVjoZiQW+kmiSnVHgwVEuLzM0Qupg/7VIQC1AdQuQG0TSB53K+uFTdeHjwhwXuaeLx5eFiYPCFfyZBiqt1sug/RVqnplXnTxM0q0ma/TxRaO9B7TpCWXwl+LoiMZSxu8/J3q3Bzj5F8OnNkMOeEbOSLMHcx41SOrNnEyvCDjdAbAHqgjrd9YOYaq0XdjioGc9+mn8UsipLcQ20VMwAYxUxL9XqD8i12SMYN7cDodP98BwgOtdv18aFsdfdVeJsDKxYRmtBj3RHyDx2vNw5+gtw10DJzQ6DKCam6aAne6G8flUYE7W71kOd3BolWLHy7eFgeOyPULcaq4pOJSf1euV18Yuh41zdm4tSXt+cqR281Oh7xOzR+cRZnomFCSNePkqaHDhUib36OWg8kEHJ3Jg1yE1zVIDwbhN4Kj8wKfZ4m/a8zv0Uv1HohAw3WBrXxT38+h2/FMQjTZaKQJNpq4Qh31pJVtbJdjomKYCKdqXT+hVNv8gwGKtfeIoKv74ygjTSzpJy5I0SregdLdT/UByd1PRNjrNT/GkTCzprot2Qa7OumAoXGNSHm12MUi+IpNxvnfV/eywAXADebrYJ3Szlu/MledatQV4Ej8hkYNL/9oSHf0dN75BYgSusrh/feNZTL16PKwcRlwzyhgMK6KToqvsOS5P64GBvIZrIgtws60Z3TS/K4XlBXa/UrcBw2NvixqRCnbuLIl43HPYAarsg3zpxbACUdJHarOlxpEI/feluq8bQr+Z0Y5H6OahyH/H2+Zz6WlSzF01wD3T7SFv1ITWz/qeXr8v71zxviV6dW8diGM3Opzvmps4BEGe/Leu2X1g+SH3hDAT3/ZVJQHCuNgs08DXDTHwde3MAZdijiV1mNUcW3Mfuy487AbRD/pk/7p0o4Kh0Zek3vWzt0KlhtO1BtH1M7ZqAISWrh2EuibBrQDgTQ8sUh/BuzV+vJrfxaWAwaojVYzejaATqgDjpbaxihnXOdC82GYyEP8vHJMjbN8b1U2LNIzDMW5JlnkVMWAy6xOmEuIXh8m8WY28bPsLYsVA86LhOjx9NDWoB6YUqf7QYFoIgzJUe9JPhdFlYu6NmWF4aomLPIZbm8pMe3k6Ig4h9Hv/e8oK17/4L/Nr42b3FPsdOmJLwOLrXPzDayN5RopeLupXoH4jqFOBqu6GJ6maGLz5sjqnJj6goNCjkfadEaIlVhm6gT9n+tdwZvzDOjfyK2LxEgaZiPM8xVuq02+eHuqf46cPV69fHv7ry9eX3z39w3/IT/X/au+f9v572DvcO/f9/6wd7I3Hu7N9/7r73/3vufvf/98cWP4x/f/zgR0F/+QvL8457y70f2/zcjJq8=</latexit>Is the fact that there is no preferred geometric/topological construct that computes the entanglement entropy in topological string theory an indication that the physical string theory would likewise in the classical limit admit no simple RT/HRT type prescription, viz., entanglement maps to entanglement and there is no semiclassical part of it that is suitably geometrized when ? The flat entanglement spectrum is a consequence of lack of penalty (i.e., no backreaction) in the closed string description. Should we therefore interpret tensor network approaches as at best capturing topological aspects of AdS/CFT with no insight into the dynamical aspects?