scalar fermionic cellular automata on finite cayley graphstoigo/lucidi/poggiali.pdf ·...

1
Scalar Fermionic Cellular Automata on finite Cayley graphs Paolo Perinotti and Leopoldo Poggiali QUIT Group, Department of Physics, University of Pavia INFN - Pavia, via Bassi 6, 27100 Pavia, Italy Introduction Cellular Automata have been deeply studied in the last century but on the other hand Quantum Cellular Automata are still to be completely analysed. In particular, non- linear Quantum Cellular Automata (QCA) seem to be an almost completely unknown ground. We present the first result of classification of unitary non-linear QCAs in two paradigmatic cases. While the study of Cellular Automata and of QCAs might seem a pure mathematical physical exercise, we can look at a specific kind of automata, the Fermionic Cellular Automata, as challenging physical object. Indeed, it is possible to recover the free dynamics of QFT from the discrete dynamics of Fermionic Cellular Automata (FCAs), evading the well known critical issues due to the continuum problem. The study of non-linear FCAs is necessary to expand this reconstruction program to non trivially interacting QFT. Goal and results: This analysis of two paradigmatic cases is the starting point to identify general conditions for a unitary evolution of non-linear FCAs. Fig. 1: Margolus scheme for the Quantum Cellular Automata Fig.3: Classification of scalar unitary FCAs. Above, the synoptic tables of the families of solutions for the two case studies. Fig. 2: Cayley graphs of (left) and (right), corresponding to the analysed FCAs. a , b | a 2 , b 2 ,( ab) 2 a | a 5 I. Universality of Quantum Walk conditions From preliminary considerations we found out that unitary conditions of Quantum Walks are still valid for every non-linear FCAs. Indeed, the normalization of evolved states depends solely on the linear terms of the evolutions, i.e. the Quantum Walk-like terms. CARs preservation implies unitarity of evolution Fermionic Cellular Automata and Homogeneity FCA is a discrete-step evolution of a global system obtained by an operational parallel composition of LFMs, or cells. In order to exploit FCAs for the program of reconstruction of the QFT dynamics we need to make three requirements to their evolution: Locality of the interaction among cells, reversibility of the evolution and homogeneity. These requirements have a twofold sake: they make the evolution of the FCA a physical evolution and allow us to connect the evolution of the single cell to a Cayley graph, see Fig. 2. With the field operator associated to the site at time , the general form of the evolution is: which, in case of a number preserving evolution, gives an explicit evolution like (indexes i, j, k run over the neighbourhood sites): 0 g,t+1 = T ( g,t )= X j2(N - ) k T j j 1 (g ),t j 2 (g ),t ... j k (g ),t 0 g = X i g i i + β g ij i i j + g ijk i j k + γ g ijk i i j j k + permutations 0 g,t+1 g t +1 II. Global discriminability For every unitary FCA we found, a discrimination from the corresponding linear case is possible. For specific phase values of the eigenvalues of the transfer matrices we can make the evolution perfectly discriminable from the linear case. References 1. B. Schumacher and R. F. Werner, Reversible quantum cellular automata (2004). 2. M. A. Nielsen, The fermionic canonical commutation relations and the Jordan-Wigner transform. 3. G. Chiribella, G. M. D’Ariano, and P. Perinotti, Physical Review A 84, 012311 (2011). 4. G. M. D’Ariano and P. Perinotti, Phys. Rev. A 90 (2014). 5. P. Jordan and E. Wigner, Zeitschrift für Physik 47, 631 (1928), ISSN 0044-3328. 6. S. Östlund and E. Mele, Physical Review B 44, 12413 (1991). 7. K.R. Parthasarathy, in Stochastics in Finite and Infinite Dimensions, edited by Rajput et al., Trends in Mathematics, Birkhauser, Boston, 2000, pp. 361 – 377. 8. G. M. D’Ariano, P. L. Presti, and M. G. A. Paris, Physical Review Letters 87 (2001). Re[z] Im[z] Fig. 4: Eigenvalues of the evolution operator. Discriminability depends on the distance of segments from the centre of the unitary circumference. III. No-Go theorem for -like terms The evolution of a scalar FCA cannot present terms like those multiplied by the coefficients in the explicit expression for the evolution. These terms consist in a non-linear Fermionic operator made up by field operators related to every site in the neighbourhood.

Upload: others

Post on 17-Jul-2020

0 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: Scalar Fermionic Cellular Automata on finite Cayley graphstoigo/Lucidi/Poggiali.pdf · 2018-06-13 · Scalar Fermionic Cellular Automata on finite Cayley graphs Paolo Perinotti and

Scalar Fermionic Cellular Automata on finite Cayley graphs

Paolo Perinotti and Leopoldo PoggialiQUIT Group, Department of Physics, University of Pavia

INFN - Pavia, via Bassi 6, 27100 Pavia, Italy

Introduction Cellular Automata have been deeply studied in the last century but on the other hand Quantum Cellular Automata are still to be completely analysed. In particular, non-linear Quantum Cellular Automata (QCA) seem to be an almost completely unknown ground. We present the first result of classification of unitary non-linear QCAs in two paradigmatic cases. While the study of Cellular Automata and of QCAs might seem a pure mathematical physical exercise, we can look at a specific kind of automata, the Fermionic Cellular Automata, as challenging physical object. Indeed, it is possible to recover the free dynamics of QFT from the discrete dynamics of Fermionic Cellular Automata (FCAs), evading the well known critical issues due to the continuum problem. The study of non-linear FCAs is necessary to expand this reconstruction program to non trivially interacting QFT.

Goal and results: This analysis of two paradigmatic cases is the starting point to identify general conditions for a unitary evolution of non-linear FCAs.

Fig. 1: Margolus scheme for the Quantum Cellular Automata

Fig.3: Classification of scalar unitary FCAs. Above, the synoptic tables of the families of

solutions for the two case studies.

Fig. 2: Cayley graphs of (left) and (right), corresponding to the analysed FCAs.

a,b | a2 ,b2 ,(ab) 2

a | a5

I. Universality of Quantum Walk conditions

From preliminary considerations we found out that unitary conditions of Quantum Walks are still valid for every non-linear FCAs. Indeed, the normalization of evolved states depends solely on the linear terms of the evolutions, i.e. the Quantum Walk-like terms.

CARs preservation implies unitarity of evolution

Fermionic Cellular Automata and Homogeneity FCA is a discrete-step evolution of a global system obtained by an operational parallel composition of LFMs, or cells. In order to exploit FCAs for the program of reconstruction of the QFT dynamics we need to make three requirements to their evolution: Locality of the interaction among cells, reversibility of the evolution and homogeneity. These requirements have a twofold sake: they make the evolution of the FCA a physical evolution and allow us to connect the evolution of the single cell to a Cayley graph, see Fig. 2. With the field operator associated to the site at time , the general form of the evolution is:

which, in case of a number preserving evolution, gives an explicit evolution like (indexes i, j, k run over the neighbourhood sites):

0g,t+1 = T ( g,t) =

X

j2(N�)k

Tj j1(g),t †j2(g),t

... jk(g),t

<latexit sha1_base64="FFXSZyE7xXx9hUjOddX2cCabYpQ=">AAACjXicbVFNb9NAEF2brxI+msKRy4qoUiKKsSsqOFBUwQFOqEhJWylOrPVmYrbZtVe7Y6TK2h/CT+PAb4G1k6LSMqc3783s7LzJtRQW4/hnEN66fefuva37vQcPHz3e7u88ObFVbThMeCUrc5YzC1KUMEGBEs60AaZyCaf56mOrn34HY0VVjvFCw0yxohRLwRl6Kuv/SLUVWVPs4YvEzZtUG6HA0cNUMfzGmWzGbvi3xI0OaWprlTWdnC+bc5eKkg6/zF+O5itHx1cVR9M9uu49z5JhMfIPXKb769QPXLCiAOOiKLrUVmst6w/iKO6C3gTJBgzIJo6z/q90UfFaQYlcMmunSaxx1jCDgktwvbS2oBlfsQKmHpZMgZ01nYWO7taWYUU1GCok7Ui42tEwZe2Fyn1lu6C9rrXk/7Rpjcu3s0aUukYoeTsIhYRukOVG+NsAXQgDiKz9OVDvJ2eGIYIRlHHuydofq+f9SK5vfxOc7EdJHCVfXw+OPmyc2SLPyHMyJAl5Q47IZ3JMJoST38FuEAWvwu3wIHwXvl+XhsGm5yn5J8JPfwBvzMcL</latexit><latexit sha1_base64="FFXSZyE7xXx9hUjOddX2cCabYpQ=">AAACjXicbVFNb9NAEF2brxI+msKRy4qoUiKKsSsqOFBUwQFOqEhJWylOrPVmYrbZtVe7Y6TK2h/CT+PAb4G1k6LSMqc3783s7LzJtRQW4/hnEN66fefuva37vQcPHz3e7u88ObFVbThMeCUrc5YzC1KUMEGBEs60AaZyCaf56mOrn34HY0VVjvFCw0yxohRLwRl6Kuv/SLUVWVPs4YvEzZtUG6HA0cNUMfzGmWzGbvi3xI0OaWprlTWdnC+bc5eKkg6/zF+O5itHx1cVR9M9uu49z5JhMfIPXKb769QPXLCiAOOiKLrUVmst6w/iKO6C3gTJBgzIJo6z/q90UfFaQYlcMmunSaxx1jCDgktwvbS2oBlfsQKmHpZMgZ01nYWO7taWYUU1GCok7Ui42tEwZe2Fyn1lu6C9rrXk/7Rpjcu3s0aUukYoeTsIhYRukOVG+NsAXQgDiKz9OVDvJ2eGIYIRlHHuydofq+f9SK5vfxOc7EdJHCVfXw+OPmyc2SLPyHMyJAl5Q47IZ3JMJoST38FuEAWvwu3wIHwXvl+XhsGm5yn5J8JPfwBvzMcL</latexit><latexit sha1_base64="FFXSZyE7xXx9hUjOddX2cCabYpQ=">AAACjXicbVFNb9NAEF2brxI+msKRy4qoUiKKsSsqOFBUwQFOqEhJWylOrPVmYrbZtVe7Y6TK2h/CT+PAb4G1k6LSMqc3783s7LzJtRQW4/hnEN66fefuva37vQcPHz3e7u88ObFVbThMeCUrc5YzC1KUMEGBEs60AaZyCaf56mOrn34HY0VVjvFCw0yxohRLwRl6Kuv/SLUVWVPs4YvEzZtUG6HA0cNUMfzGmWzGbvi3xI0OaWprlTWdnC+bc5eKkg6/zF+O5itHx1cVR9M9uu49z5JhMfIPXKb769QPXLCiAOOiKLrUVmst6w/iKO6C3gTJBgzIJo6z/q90UfFaQYlcMmunSaxx1jCDgktwvbS2oBlfsQKmHpZMgZ01nYWO7taWYUU1GCok7Ui42tEwZe2Fyn1lu6C9rrXk/7Rpjcu3s0aUukYoeTsIhYRukOVG+NsAXQgDiKz9OVDvJ2eGIYIRlHHuydofq+f9SK5vfxOc7EdJHCVfXw+OPmyc2SLPyHMyJAl5Q47IZ3JMJoST38FuEAWvwu3wIHwXvl+XhsGm5yn5J8JPfwBvzMcL</latexit><latexit sha1_base64="FFXSZyE7xXx9hUjOddX2cCabYpQ=">AAACjXicbVFNb9NAEF2brxI+msKRy4qoUiKKsSsqOFBUwQFOqEhJWylOrPVmYrbZtVe7Y6TK2h/CT+PAb4G1k6LSMqc3783s7LzJtRQW4/hnEN66fefuva37vQcPHz3e7u88ObFVbThMeCUrc5YzC1KUMEGBEs60AaZyCaf56mOrn34HY0VVjvFCw0yxohRLwRl6Kuv/SLUVWVPs4YvEzZtUG6HA0cNUMfzGmWzGbvi3xI0OaWprlTWdnC+bc5eKkg6/zF+O5itHx1cVR9M9uu49z5JhMfIPXKb769QPXLCiAOOiKLrUVmst6w/iKO6C3gTJBgzIJo6z/q90UfFaQYlcMmunSaxx1jCDgktwvbS2oBlfsQKmHpZMgZ01nYWO7taWYUU1GCok7Ui42tEwZe2Fyn1lu6C9rrXk/7Rpjcu3s0aUukYoeTsIhYRukOVG+NsAXQgDiKz9OVDvJ2eGIYIRlHHuydofq+f9SK5vfxOc7EdJHCVfXw+OPmyc2SLPyHMyJAl5Q47IZ3JMJoST38FuEAWvwu3wIHwXvl+XhsGm5yn5J8JPfwBvzMcL</latexit>

0g =

X

i

↵gi i + �g

ij †i i j + ⇠gijk

†i j k + �gijk

†i i

†j j k + permutations

<latexit sha1_base64="SvIgYbZtigFwVoaU7+aZ3k4hQfM=">AAACw3icfVHda9RAEN+kftTz69RHXxYPQSgciSj6IhSl4GMFry1crmGyN03nspssuxOxhPyNPveh/4tJLg/aVudhmP3Nb75+m1lNnqPoMgh37ty9d3/3weTho8dPnk6fPT/yVe0ULlSlK3eSgUdNJS6YWOOJdQgm03icFV/6/PEPdJ6q8jtfWFwZyEs6IwXcQen0V2I9pflpk1hHBlv5KfG1SSkBbc/hNE9JDgySe0mG3CMNbdoR7MrWkOfo2u178Bu5J5OftGUW7a3MzeCLnpmDMfBf8tj2ny0sOlPzcJBPp7NoHg0mbwbxGMzEaIfp9CpZV6o2WLLS4P0yjiyvGnBMSmM7SWqPFlQBOS67sASDftUMwrfyde2Bq34BSVoOIP5Z0YDx/sJkHdMAn/vruR68Lbes+ezjqqHS1oyl6gcxaRwGeeWo+1GUa3LIDP3mKKmUChwwoyMJSnVg3Sky6fSIr19/Mzh6O4+jefzt3Wz/86jMrngpXok3IhYfxL74Kg7FQqjgfbAM1gGGB2ERupC31DAYa16IvyxsfwPuGeE3</latexit><latexit sha1_base64="SvIgYbZtigFwVoaU7+aZ3k4hQfM=">AAACw3icfVHda9RAEN+kftTz69RHXxYPQSgciSj6IhSl4GMFry1crmGyN03nspssuxOxhPyNPveh/4tJLg/aVudhmP3Nb75+m1lNnqPoMgh37ty9d3/3weTho8dPnk6fPT/yVe0ULlSlK3eSgUdNJS6YWOOJdQgm03icFV/6/PEPdJ6q8jtfWFwZyEs6IwXcQen0V2I9pflpk1hHBlv5KfG1SSkBbc/hNE9JDgySe0mG3CMNbdoR7MrWkOfo2u178Bu5J5OftGUW7a3MzeCLnpmDMfBf8tj2ny0sOlPzcJBPp7NoHg0mbwbxGMzEaIfp9CpZV6o2WLLS4P0yjiyvGnBMSmM7SWqPFlQBOS67sASDftUMwrfyde2Bq34BSVoOIP5Z0YDx/sJkHdMAn/vruR68Lbes+ezjqqHS1oyl6gcxaRwGeeWo+1GUa3LIDP3mKKmUChwwoyMJSnVg3Sky6fSIr19/Mzh6O4+jefzt3Wz/86jMrngpXok3IhYfxL74Kg7FQqjgfbAM1gGGB2ERupC31DAYa16IvyxsfwPuGeE3</latexit><latexit sha1_base64="SvIgYbZtigFwVoaU7+aZ3k4hQfM=">AAACw3icfVHda9RAEN+kftTz69RHXxYPQSgciSj6IhSl4GMFry1crmGyN03nspssuxOxhPyNPveh/4tJLg/aVudhmP3Nb75+m1lNnqPoMgh37ty9d3/3weTho8dPnk6fPT/yVe0ULlSlK3eSgUdNJS6YWOOJdQgm03icFV/6/PEPdJ6q8jtfWFwZyEs6IwXcQen0V2I9pflpk1hHBlv5KfG1SSkBbc/hNE9JDgySe0mG3CMNbdoR7MrWkOfo2u178Bu5J5OftGUW7a3MzeCLnpmDMfBf8tj2ny0sOlPzcJBPp7NoHg0mbwbxGMzEaIfp9CpZV6o2WLLS4P0yjiyvGnBMSmM7SWqPFlQBOS67sASDftUMwrfyde2Bq34BSVoOIP5Z0YDx/sJkHdMAn/vruR68Lbes+ezjqqHS1oyl6gcxaRwGeeWo+1GUa3LIDP3mKKmUChwwoyMJSnVg3Sky6fSIr19/Mzh6O4+jefzt3Wz/86jMrngpXok3IhYfxL74Kg7FQqjgfbAM1gGGB2ERupC31DAYa16IvyxsfwPuGeE3</latexit><latexit sha1_base64="bzB0uW1fzy1MgMhO8gWsRy3sg4E=">AAAB5HicbVC7TsNAEFyHVzABQk1zIkKiimwaKJFoKINEHlKwovVlE045n627NVIU5QdoqegQf0XBv2CbFJAw1WhmVzs7caaV4yD49Gpb2zu7e/V9/6DhHx4dNxs9l+ZWUlemOrWDGB1pZajLijUNMkuYxJr68ey29PvPZJ1KzQPPM4oSnBo1URK5kDqjZitoBxXEJglXpAUrjJpfj+NU5gkZlhqdG4ZBxtECLSupaek/5o4ylDOc0rCgBhNy0aKKuRTnuUNORUZWKC0qkX5vLDBxbp7ExWSC/OTWvVL8zxvmPLmOFspkOZOR5SFWmqpDTlpV/E9irCwxY5mchDJCokVmskqglIWYF4X4RR3h+vObpHfZDoN2eB9AHU7hDC4ghCu4gTvoQBckjOEFXj3nvXnvP7XVvFV/J/AH3sc3ljCOsg==</latexit><latexit sha1_base64="kfSIpC70yrJ33ciKSV4vMUNV1uU=">AAACuHicfVHfa9RAEN7EX/Wsevrqy2IRhMKRCFJfBEEEHyt4beFyDZO9aTqX3WTZnRVLyN/osw/+Lya5PGhbnYdh9ptvfn1bWE2ek+RnFN+5e+/+g72Hs0f7j588nT/bP/FNcAqXqtGNOyvAo6Yal0ys8cw6BFNoPC2qj0P+9Bs6T039la8srg2UNV2QAu6hfP4js57y8rzNrCODnXyf+WByykDbSzgvc5Ijg+RhViAPSEvbbgL7sg2UJbpu9x79Vh7K7DvtmFV3K3M7+mpglmAM/Jc8tf1nC4vOBB4P8vn8IFkko8mbQToFB2Ky43z+K9s0KhisWWnwfpUmltctOCalsZtlwaMFVUGJqz6swaBft6PwnXwVPHAzLCBJyxHEPytaMN5fmaJnGuBLfz03gLflVoEv3q1bqm1grNUwiEnjOMgrR/2PotyQQ2YYNkdJtVTggBkdSVCqB0OvyKzXI71+/c3g5M0iTRbpl0TsiRfipXgtUnEkPojP4lgshYreRqtoE2H8Ka5it1MujiYJn4u/LObfLL7gCA==</latexit><latexit sha1_base64="kfSIpC70yrJ33ciKSV4vMUNV1uU=">AAACuHicfVHfa9RAEN7EX/Wsevrqy2IRhMKRCFJfBEEEHyt4beFyDZO9aTqX3WTZnRVLyN/osw/+Lya5PGhbnYdh9ptvfn1bWE2ek+RnFN+5e+/+g72Hs0f7j588nT/bP/FNcAqXqtGNOyvAo6Yal0ys8cw6BFNoPC2qj0P+9Bs6T039la8srg2UNV2QAu6hfP4js57y8rzNrCODnXyf+WByykDbSzgvc5Ijg+RhViAPSEvbbgL7sg2UJbpu9x79Vh7K7DvtmFV3K3M7+mpglmAM/Jc8tf1nC4vOBB4P8vn8IFkko8mbQToFB2Ky43z+K9s0KhisWWnwfpUmltctOCalsZtlwaMFVUGJqz6swaBft6PwnXwVPHAzLCBJyxHEPytaMN5fmaJnGuBLfz03gLflVoEv3q1bqm1grNUwiEnjOMgrR/2PotyQQ2YYNkdJtVTggBkdSVCqB0OvyKzXI71+/c3g5M0iTRbpl0TsiRfipXgtUnEkPojP4lgshYreRqtoE2H8Ka5it1MujiYJn4u/LObfLL7gCA==</latexit><latexit sha1_base64="Ik4eNUSd5/oprDitUZkK4A7z25I=">AAACw3icfVFLa9wwEJbdV7p9bdNjL6JLoRBY7EJoL4XQEugxhW4SWG/MWDtxZi3ZQhqXBuPfmHMO/S+1vT60Sdo5DKNvvnl9yqwmz1F0HYT37j94+Gjn8eTJ02fPX0xf7h77qnYKF6rSlTvNwKOmEhdMrPHUOgSTaTzJii99/uQHOk9V+Z0vLa4M5CWdkwLuoHR6lVhPaX7WJNaRwVZ+SnxtUkpA2ws4y1OSA4PkXpIh90hDm3YEu7I15Dm6dvse/EbuyeQnbZlFeydzM/iiZ+ZgDPyXPLb9ZwuLztQ8HOTT6SyaR4PJ20E8BjMx2lE6/ZWsK1UbLFlp8H4ZR5ZXDTgmpbGdJLVHC6qAHJddWIJBv2oG4Vv5tvbAVb+AJC0HEP+saMB4f2myjmmAL/zNXA/elVvWfP5x1VBpa8ZS9YOYNA6DvHLU/SjKNTlkhn5zlFRKBQ6Y0ZEEpTqw7hSZdHrEN6+/HRy/n8fRPP4WzQ4+j8rsiNfijXgnYvFBHIiv4kgshAr2g2WwDjA8DIvQhbylhsFY80r8ZWH7G+zZ4TM=</latexit><latexit sha1_base64="SvIgYbZtigFwVoaU7+aZ3k4hQfM=">AAACw3icfVHda9RAEN+kftTz69RHXxYPQSgciSj6IhSl4GMFry1crmGyN03nspssuxOxhPyNPveh/4tJLg/aVudhmP3Nb75+m1lNnqPoMgh37ty9d3/3weTho8dPnk6fPT/yVe0ULlSlK3eSgUdNJS6YWOOJdQgm03icFV/6/PEPdJ6q8jtfWFwZyEs6IwXcQen0V2I9pflpk1hHBlv5KfG1SSkBbc/hNE9JDgySe0mG3CMNbdoR7MrWkOfo2u178Bu5J5OftGUW7a3MzeCLnpmDMfBf8tj2ny0sOlPzcJBPp7NoHg0mbwbxGMzEaIfp9CpZV6o2WLLS4P0yjiyvGnBMSmM7SWqPFlQBOS67sASDftUMwrfyde2Bq34BSVoOIP5Z0YDx/sJkHdMAn/vruR68Lbes+ezjqqHS1oyl6gcxaRwGeeWo+1GUa3LIDP3mKKmUChwwoyMJSnVg3Sky6fSIr19/Mzh6O4+jefzt3Wz/86jMrngpXok3IhYfxL74Kg7FQqjgfbAM1gGGB2ERupC31DAYa16IvyxsfwPuGeE3</latexit><latexit sha1_base64="SvIgYbZtigFwVoaU7+aZ3k4hQfM=">AAACw3icfVHda9RAEN+kftTz69RHXxYPQSgciSj6IhSl4GMFry1crmGyN03nspssuxOxhPyNPveh/4tJLg/aVudhmP3Nb75+m1lNnqPoMgh37ty9d3/3weTho8dPnk6fPT/yVe0ULlSlK3eSgUdNJS6YWOOJdQgm03icFV/6/PEPdJ6q8jtfWFwZyEs6IwXcQen0V2I9pflpk1hHBlv5KfG1SSkBbc/hNE9JDgySe0mG3CMNbdoR7MrWkOfo2u178Bu5J5OftGUW7a3MzeCLnpmDMfBf8tj2ny0sOlPzcJBPp7NoHg0mbwbxGMzEaIfp9CpZV6o2WLLS4P0yjiyvGnBMSmM7SWqPFlQBOS67sASDftUMwrfyde2Bq34BSVoOIP5Z0YDx/sJkHdMAn/vruR68Lbes+ezjqqHS1oyl6gcxaRwGeeWo+1GUa3LIDP3mKKmUChwwoyMJSnVg3Sky6fSIr19/Mzh6O4+jefzt3Wz/86jMrngpXok3IhYfxL74Kg7FQqjgfbAM1gGGB2ERupC31DAYa16IvyxsfwPuGeE3</latexit><latexit sha1_base64="SvIgYbZtigFwVoaU7+aZ3k4hQfM=">AAACw3icfVHda9RAEN+kftTz69RHXxYPQSgciSj6IhSl4GMFry1crmGyN03nspssuxOxhPyNPveh/4tJLg/aVudhmP3Nb75+m1lNnqPoMgh37ty9d3/3weTho8dPnk6fPT/yVe0ULlSlK3eSgUdNJS6YWOOJdQgm03icFV/6/PEPdJ6q8jtfWFwZyEs6IwXcQen0V2I9pflpk1hHBlv5KfG1SSkBbc/hNE9JDgySe0mG3CMNbdoR7MrWkOfo2u178Bu5J5OftGUW7a3MzeCLnpmDMfBf8tj2ny0sOlPzcJBPp7NoHg0mbwbxGMzEaIfp9CpZV6o2WLLS4P0yjiyvGnBMSmM7SWqPFlQBOS67sASDftUMwrfyde2Bq34BSVoOIP5Z0YDx/sJkHdMAn/vruR68Lbes+ezjqqHS1oyl6gcxaRwGeeWo+1GUa3LIDP3mKKmUChwwoyMJSnVg3Sky6fSIr19/Mzh6O4+jefzt3Wz/86jMrngpXok3IhYfxL74Kg7FQqjgfbAM1gGGB2ERupC31DAYa16IvyxsfwPuGeE3</latexit><latexit sha1_base64="SvIgYbZtigFwVoaU7+aZ3k4hQfM=">AAACw3icfVHda9RAEN+kftTz69RHXxYPQSgciSj6IhSl4GMFry1crmGyN03nspssuxOxhPyNPveh/4tJLg/aVudhmP3Nb75+m1lNnqPoMgh37ty9d3/3weTho8dPnk6fPT/yVe0ULlSlK3eSgUdNJS6YWOOJdQgm03icFV/6/PEPdJ6q8jtfWFwZyEs6IwXcQen0V2I9pflpk1hHBlv5KfG1SSkBbc/hNE9JDgySe0mG3CMNbdoR7MrWkOfo2u178Bu5J5OftGUW7a3MzeCLnpmDMfBf8tj2ny0sOlPzcJBPp7NoHg0mbwbxGMzEaIfp9CpZV6o2WLLS4P0yjiyvGnBMSmM7SWqPFlQBOS67sASDftUMwrfyde2Bq34BSVoOIP5Z0YDx/sJkHdMAn/vruR68Lbes+ezjqqHS1oyl6gcxaRwGeeWo+1GUa3LIDP3mKKmUChwwoyMJSnVg3Sky6fSIr19/Mzh6O4+jefzt3Wz/86jMrngpXok3IhYfxL74Kg7FQqjgfbAM1gGGB2ERupC31DAYa16IvyxsfwPuGeE3</latexit><latexit sha1_base64="SvIgYbZtigFwVoaU7+aZ3k4hQfM=">AAACw3icfVHda9RAEN+kftTz69RHXxYPQSgciSj6IhSl4GMFry1crmGyN03nspssuxOxhPyNPveh/4tJLg/aVudhmP3Nb75+m1lNnqPoMgh37ty9d3/3weTho8dPnk6fPT/yVe0ULlSlK3eSgUdNJS6YWOOJdQgm03icFV/6/PEPdJ6q8jtfWFwZyEs6IwXcQen0V2I9pflpk1hHBlv5KfG1SSkBbc/hNE9JDgySe0mG3CMNbdoR7MrWkOfo2u178Bu5J5OftGUW7a3MzeCLnpmDMfBf8tj2ny0sOlPzcJBPp7NoHg0mbwbxGMzEaIfp9CpZV6o2WLLS4P0yjiyvGnBMSmM7SWqPFlQBOS67sASDftUMwrfyde2Bq34BSVoOIP5Z0YDx/sJkHdMAn/vruR68Lbes+ezjqqHS1oyl6gcxaRwGeeWo+1GUa3LIDP3mKKmUChwwoyMJSnVg3Sky6fSIr19/Mzh6O4+jefzt3Wz/86jMrngpXok3IhYfxL74Kg7FQqjgfbAM1gGGB2ERupC31DAYa16IvyxsfwPuGeE3</latexit><latexit sha1_base64="SvIgYbZtigFwVoaU7+aZ3k4hQfM=">AAACw3icfVHda9RAEN+kftTz69RHXxYPQSgciSj6IhSl4GMFry1crmGyN03nspssuxOxhPyNPveh/4tJLg/aVudhmP3Nb75+m1lNnqPoMgh37ty9d3/3weTho8dPnk6fPT/yVe0ULlSlK3eSgUdNJS6YWOOJdQgm03icFV/6/PEPdJ6q8jtfWFwZyEs6IwXcQen0V2I9pflpk1hHBlv5KfG1SSkBbc/hNE9JDgySe0mG3CMNbdoR7MrWkOfo2u178Bu5J5OftGUW7a3MzeCLnpmDMfBf8tj2ny0sOlPzcJBPp7NoHg0mbwbxGMzEaIfp9CpZV6o2WLLS4P0yjiyvGnBMSmM7SWqPFlQBOS67sASDftUMwrfyde2Bq34BSVoOIP5Z0YDx/sJkHdMAn/vruR68Lbes+ezjqqHS1oyl6gcxaRwGeeWo+1GUa3LIDP3mKKmUChwwoyMJSnVg3Sky6fSIr19/Mzh6O4+jefzt3Wz/86jMrngpXok3IhYfxL74Kg7FQqjgfbAM1gGGB2ERupC31DAYa16IvyxsfwPuGeE3</latexit>

0g,t+1

<latexit sha1_base64="tOt/zjT43e++Mpmo76CJDylBnAo=">AAACB3icbVDLSsNAFJ3UV62vaJduBosgKCURQZdFNy4r2Ac0tUymt3XoJBlmboQS+gF+hVtduRO3foYL/8UkZqGtZ3U4517uucdXUhh0nE+rtLS8srpWXq9sbG5t79i7e20TxZpDi0cy0l2fGZAihBYKlNBVGljgS+j4k6vM7zyANiIKb3GqoB+wcShGgjNMpYFd9ZQRd57SIoBBMj7BY3c2sGtO3clBF4lbkBop0BzYX94w4nEAIXLJjOm5jsJ+wjQKLmFW8WIDivEJG0MvpSELwPSTPPyMHsaGYUQVaCokzUX4vZGwwJhp4KeTAcN7M+9l4n9eL8bRRT8RoYoRQp4dQiEhP2S4FmkrQIdCAyLLkgMVIeVMM0TQgjLOUzFOa6qkfbjz3y+S9mndderuzVmtcVk0Uyb75IAcEZeckwa5Jk3SIpxMyRN5Ji/Wo/VqvVnvP6Mlq9ipkj+wPr4BZg2ZJw==</latexit><latexit sha1_base64="tOt/zjT43e++Mpmo76CJDylBnAo=">AAACB3icbVDLSsNAFJ3UV62vaJduBosgKCURQZdFNy4r2Ac0tUymt3XoJBlmboQS+gF+hVtduRO3foYL/8UkZqGtZ3U4517uucdXUhh0nE+rtLS8srpWXq9sbG5t79i7e20TxZpDi0cy0l2fGZAihBYKlNBVGljgS+j4k6vM7zyANiIKb3GqoB+wcShGgjNMpYFd9ZQRd57SIoBBMj7BY3c2sGtO3clBF4lbkBop0BzYX94w4nEAIXLJjOm5jsJ+wjQKLmFW8WIDivEJG0MvpSELwPSTPPyMHsaGYUQVaCokzUX4vZGwwJhp4KeTAcN7M+9l4n9eL8bRRT8RoYoRQp4dQiEhP2S4FmkrQIdCAyLLkgMVIeVMM0TQgjLOUzFOa6qkfbjz3y+S9mndderuzVmtcVk0Uyb75IAcEZeckwa5Jk3SIpxMyRN5Ji/Wo/VqvVnvP6Mlq9ipkj+wPr4BZg2ZJw==</latexit><latexit sha1_base64="tOt/zjT43e++Mpmo76CJDylBnAo=">AAACB3icbVDLSsNAFJ3UV62vaJduBosgKCURQZdFNy4r2Ac0tUymt3XoJBlmboQS+gF+hVtduRO3foYL/8UkZqGtZ3U4517uucdXUhh0nE+rtLS8srpWXq9sbG5t79i7e20TxZpDi0cy0l2fGZAihBYKlNBVGljgS+j4k6vM7zyANiIKb3GqoB+wcShGgjNMpYFd9ZQRd57SIoBBMj7BY3c2sGtO3clBF4lbkBop0BzYX94w4nEAIXLJjOm5jsJ+wjQKLmFW8WIDivEJG0MvpSELwPSTPPyMHsaGYUQVaCokzUX4vZGwwJhp4KeTAcN7M+9l4n9eL8bRRT8RoYoRQp4dQiEhP2S4FmkrQIdCAyLLkgMVIeVMM0TQgjLOUzFOa6qkfbjz3y+S9mndderuzVmtcVk0Uyb75IAcEZeckwa5Jk3SIpxMyRN5Ji/Wo/VqvVnvP6Mlq9ipkj+wPr4BZg2ZJw==</latexit><latexit sha1_base64="bzB0uW1fzy1MgMhO8gWsRy3sg4E=">AAAB5HicbVC7TsNAEFyHVzABQk1zIkKiimwaKJFoKINEHlKwovVlE045n627NVIU5QdoqegQf0XBv2CbFJAw1WhmVzs7caaV4yD49Gpb2zu7e/V9/6DhHx4dNxs9l+ZWUlemOrWDGB1pZajLijUNMkuYxJr68ey29PvPZJ1KzQPPM4oSnBo1URK5kDqjZitoBxXEJglXpAUrjJpfj+NU5gkZlhqdG4ZBxtECLSupaek/5o4ylDOc0rCgBhNy0aKKuRTnuUNORUZWKC0qkX5vLDBxbp7ExWSC/OTWvVL8zxvmPLmOFspkOZOR5SFWmqpDTlpV/E9irCwxY5mchDJCokVmskqglIWYF4X4RR3h+vObpHfZDoN2eB9AHU7hDC4ghCu4gTvoQBckjOEFXj3nvXnvP7XVvFV/J/AH3sc3ljCOsg==</latexit><latexit sha1_base64="mzgBX/+yVe4TWG16kSqoLV8nDSU=">AAAB/HicbZDNSsNAFIVv6l+tVasu3QwWQVBK4kaXghuXFewPtDFMprd16CQZZm6EEvoAPoVbXbkTX8WF72JSu9DWszqcM8O99wu1kpZc99MprayurW+UNytb1e2d3dpetW2T1AhsiUQlphtyi0rG2CJJCrvaII9ChZ1wfF30nUc0VibxHU00+hEfxXIoBac8CmoHfW3lfV8bGWGQjc7o1JsGtbrbcGdiy8abmzrM1QxqX/1BItIIYxKKW9vzXE1+xg1JoXBa6acWNRdjPsJebmMeofWz2fJTdpxaTgnTaJhUbBbi7x8Zj6ydRGH+MuL0YBe7Ivyv66U0vPQzGeuUMBbFIJIKZ4OsMDKngmwgDRLxYnNkMmaCG06ERjIuRB6mOaZKzsNbvH7ZtM8bntvwbl0owyEcwQl4cAFXcANNaIGACTzDC7w6T86b8/5DruTMEe7DHzkf38+Fl7U=</latexit><latexit sha1_base64="mzgBX/+yVe4TWG16kSqoLV8nDSU=">AAAB/HicbZDNSsNAFIVv6l+tVasu3QwWQVBK4kaXghuXFewPtDFMprd16CQZZm6EEvoAPoVbXbkTX8WF72JSu9DWszqcM8O99wu1kpZc99MprayurW+UNytb1e2d3dpetW2T1AhsiUQlphtyi0rG2CJJCrvaII9ChZ1wfF30nUc0VibxHU00+hEfxXIoBac8CmoHfW3lfV8bGWGQjc7o1JsGtbrbcGdiy8abmzrM1QxqX/1BItIIYxKKW9vzXE1+xg1JoXBa6acWNRdjPsJebmMeofWz2fJTdpxaTgnTaJhUbBbi7x8Zj6ydRGH+MuL0YBe7Ivyv66U0vPQzGeuUMBbFIJIKZ4OsMDKngmwgDRLxYnNkMmaCG06ERjIuRB6mOaZKzsNbvH7ZtM8bntvwbl0owyEcwQl4cAFXcANNaIGACTzDC7w6T86b8/5DruTMEe7DHzkf38+Fl7U=</latexit><latexit sha1_base64="M52W08J5Lk6RIqxS1Sb3MlBIfwo=">AAACB3icbVC7TsNAEDzzDOEVSElzIkJCAkU2DZQRNJRBIg8pNtb5sgmnnO3T3RopsvIBfAUtVHSIls+g4F+wjQtImGo0s6udnUBJYdC2P62l5ZXVtfXKRnVza3tnt7a33zVxojl0eCxj3Q+YASki6KBACX2lgYWBhF4wucr93gNoI+LoFqcKvJCNIzESnGEm+bW6q4y4c5UWIfjp+BRPnJlfa9hNuwBdJE5JGqRE2699ucOYJyFEyCUzZuDYCr2UaRRcwqzqJgYU4xM2hkFGIxaC8dIi/IweJYZhTBVoKiQtRPi9kbLQmGkYZJMhw3sz7+Xif94gwdGFl4pIJQgRzw+hkFAcMlyLrBWgQ6EBkeXJgYqIcqYZImhBGeeZmGQ1VbM+nPnvF0n3rOnYTefGbrQuy2Yq5IAckmPikHPSItekTTqEkyl5Is/kxXq0Xq036/1ndMkqd+rkD6yPb2TNmSM=</latexit><latexit sha1_base64="tOt/zjT43e++Mpmo76CJDylBnAo=">AAACB3icbVDLSsNAFJ3UV62vaJduBosgKCURQZdFNy4r2Ac0tUymt3XoJBlmboQS+gF+hVtduRO3foYL/8UkZqGtZ3U4517uucdXUhh0nE+rtLS8srpWXq9sbG5t79i7e20TxZpDi0cy0l2fGZAihBYKlNBVGljgS+j4k6vM7zyANiIKb3GqoB+wcShGgjNMpYFd9ZQRd57SIoBBMj7BY3c2sGtO3clBF4lbkBop0BzYX94w4nEAIXLJjOm5jsJ+wjQKLmFW8WIDivEJG0MvpSELwPSTPPyMHsaGYUQVaCokzUX4vZGwwJhp4KeTAcN7M+9l4n9eL8bRRT8RoYoRQp4dQiEhP2S4FmkrQIdCAyLLkgMVIeVMM0TQgjLOUzFOa6qkfbjz3y+S9mndderuzVmtcVk0Uyb75IAcEZeckwa5Jk3SIpxMyRN5Ji/Wo/VqvVnvP6Mlq9ipkj+wPr4BZg2ZJw==</latexit><latexit sha1_base64="tOt/zjT43e++Mpmo76CJDylBnAo=">AAACB3icbVDLSsNAFJ3UV62vaJduBosgKCURQZdFNy4r2Ac0tUymt3XoJBlmboQS+gF+hVtduRO3foYL/8UkZqGtZ3U4517uucdXUhh0nE+rtLS8srpWXq9sbG5t79i7e20TxZpDi0cy0l2fGZAihBYKlNBVGljgS+j4k6vM7zyANiIKb3GqoB+wcShGgjNMpYFd9ZQRd57SIoBBMj7BY3c2sGtO3clBF4lbkBop0BzYX94w4nEAIXLJjOm5jsJ+wjQKLmFW8WIDivEJG0MvpSELwPSTPPyMHsaGYUQVaCokzUX4vZGwwJhp4KeTAcN7M+9l4n9eL8bRRT8RoYoRQp4dQiEhP2S4FmkrQIdCAyLLkgMVIeVMM0TQgjLOUzFOa6qkfbjz3y+S9mndderuzVmtcVk0Uyb75IAcEZeckwa5Jk3SIpxMyRN5Ji/Wo/VqvVnvP6Mlq9ipkj+wPr4BZg2ZJw==</latexit><latexit sha1_base64="tOt/zjT43e++Mpmo76CJDylBnAo=">AAACB3icbVDLSsNAFJ3UV62vaJduBosgKCURQZdFNy4r2Ac0tUymt3XoJBlmboQS+gF+hVtduRO3foYL/8UkZqGtZ3U4517uucdXUhh0nE+rtLS8srpWXq9sbG5t79i7e20TxZpDi0cy0l2fGZAihBYKlNBVGljgS+j4k6vM7zyANiIKb3GqoB+wcShGgjNMpYFd9ZQRd57SIoBBMj7BY3c2sGtO3clBF4lbkBop0BzYX94w4nEAIXLJjOm5jsJ+wjQKLmFW8WIDivEJG0MvpSELwPSTPPyMHsaGYUQVaCokzUX4vZGwwJhp4KeTAcN7M+9l4n9eL8bRRT8RoYoRQp4dQiEhP2S4FmkrQIdCAyLLkgMVIeVMM0TQgjLOUzFOa6qkfbjz3y+S9mndderuzVmtcVk0Uyb75IAcEZeckwa5Jk3SIpxMyRN5Ji/Wo/VqvVnvP6Mlq9ipkj+wPr4BZg2ZJw==</latexit><latexit sha1_base64="tOt/zjT43e++Mpmo76CJDylBnAo=">AAACB3icbVDLSsNAFJ3UV62vaJduBosgKCURQZdFNy4r2Ac0tUymt3XoJBlmboQS+gF+hVtduRO3foYL/8UkZqGtZ3U4517uucdXUhh0nE+rtLS8srpWXq9sbG5t79i7e20TxZpDi0cy0l2fGZAihBYKlNBVGljgS+j4k6vM7zyANiIKb3GqoB+wcShGgjNMpYFd9ZQRd57SIoBBMj7BY3c2sGtO3clBF4lbkBop0BzYX94w4nEAIXLJjOm5jsJ+wjQKLmFW8WIDivEJG0MvpSELwPSTPPyMHsaGYUQVaCokzUX4vZGwwJhp4KeTAcN7M+9l4n9eL8bRRT8RoYoRQp4dQiEhP2S4FmkrQIdCAyLLkgMVIeVMM0TQgjLOUzFOa6qkfbjz3y+S9mndderuzVmtcVk0Uyb75IAcEZeckwa5Jk3SIpxMyRN5Ji/Wo/VqvVnvP6Mlq9ipkj+wPr4BZg2ZJw==</latexit><latexit sha1_base64="tOt/zjT43e++Mpmo76CJDylBnAo=">AAACB3icbVDLSsNAFJ3UV62vaJduBosgKCURQZdFNy4r2Ac0tUymt3XoJBlmboQS+gF+hVtduRO3foYL/8UkZqGtZ3U4517uucdXUhh0nE+rtLS8srpWXq9sbG5t79i7e20TxZpDi0cy0l2fGZAihBYKlNBVGljgS+j4k6vM7zyANiIKb3GqoB+wcShGgjNMpYFd9ZQRd57SIoBBMj7BY3c2sGtO3clBF4lbkBop0BzYX94w4nEAIXLJjOm5jsJ+wjQKLmFW8WIDivEJG0MvpSELwPSTPPyMHsaGYUQVaCokzUX4vZGwwJhp4KeTAcN7M+9l4n9eL8bRRT8RoYoRQp4dQiEhP2S4FmkrQIdCAyLLkgMVIeVMM0TQgjLOUzFOa6qkfbjz3y+S9mndderuzVmtcVk0Uyb75IAcEZeckwa5Jk3SIpxMyRN5Ji/Wo/VqvVnvP6Mlq9ipkj+wPr4BZg2ZJw==</latexit><latexit sha1_base64="tOt/zjT43e++Mpmo76CJDylBnAo=">AAACB3icbVDLSsNAFJ3UV62vaJduBosgKCURQZdFNy4r2Ac0tUymt3XoJBlmboQS+gF+hVtduRO3foYL/8UkZqGtZ3U4517uucdXUhh0nE+rtLS8srpWXq9sbG5t79i7e20TxZpDi0cy0l2fGZAihBYKlNBVGljgS+j4k6vM7zyANiIKb3GqoB+wcShGgjNMpYFd9ZQRd57SIoBBMj7BY3c2sGtO3clBF4lbkBop0BzYX94w4nEAIXLJjOm5jsJ+wjQKLmFW8WIDivEJG0MvpSELwPSTPPyMHsaGYUQVaCokzUX4vZGwwJhp4KeTAcN7M+9l4n9eL8bRRT8RoYoRQp4dQiEhP2S4FmkrQIdCAyLLkgMVIeVMM0TQgjLOUzFOa6qkfbjz3y+S9mndderuzVmtcVk0Uyb75IAcEZeckwa5Jk3SIpxMyRN5Ji/Wo/VqvVnvP6Mlq9ipkj+wPr4BZg2ZJw==</latexit>

g<latexit sha1_base64="R4Y01Cg7cJ9KOi0h6J9mSz3S3T8=">AAAB83icbVDLSgNBEJyNrxhfUY9eBoPgKeyKoMegF48JmAckS+iddOKQ2QczPUII+QKvevImXv0gD/6Lu+seNLFORVU3XV1BoqQh1/10SmvrG5tb5e3Kzu7e/kH18KhjYqsFtkWsYt0LwKCSEbZJksJeohHCQGE3mN5mfvcRtZFxdE+zBP0QJpEcSwGUSq3JsFpz624Ovkq8gtRYgeaw+jUYxcKGGJFQYEzfcxPy56BJCoWLysAaTEBMYYL9lEYQovHnedAFP7MGKOYJai4Vz0X8vTGH0JhZGKSTIdCDWfYy8T+vb2l87c9llFjCSGSHSCrMDxmhZdoA8pHUSARZcuQy4gI0EKGWHIRIRZtWUkn78Ja/XyWdi7rn1r3WZa1xUzRTZifslJ0zj12xBrtjTdZmgiF7Ys/sxbHOq/PmvP+Mlpxi55j9gfPxDWwKkXA=</latexit><latexit sha1_base64="R4Y01Cg7cJ9KOi0h6J9mSz3S3T8=">AAAB83icbVDLSgNBEJyNrxhfUY9eBoPgKeyKoMegF48JmAckS+iddOKQ2QczPUII+QKvevImXv0gD/6Lu+seNLFORVU3XV1BoqQh1/10SmvrG5tb5e3Kzu7e/kH18KhjYqsFtkWsYt0LwKCSEbZJksJeohHCQGE3mN5mfvcRtZFxdE+zBP0QJpEcSwGUSq3JsFpz624Ovkq8gtRYgeaw+jUYxcKGGJFQYEzfcxPy56BJCoWLysAaTEBMYYL9lEYQovHnedAFP7MGKOYJai4Vz0X8vTGH0JhZGKSTIdCDWfYy8T+vb2l87c9llFjCSGSHSCrMDxmhZdoA8pHUSARZcuQy4gI0EKGWHIRIRZtWUkn78Ja/XyWdi7rn1r3WZa1xUzRTZifslJ0zj12xBrtjTdZmgiF7Ys/sxbHOq/PmvP+Mlpxi55j9gfPxDWwKkXA=</latexit><latexit sha1_base64="R4Y01Cg7cJ9KOi0h6J9mSz3S3T8=">AAAB83icbVDLSgNBEJyNrxhfUY9eBoPgKeyKoMegF48JmAckS+iddOKQ2QczPUII+QKvevImXv0gD/6Lu+seNLFORVU3XV1BoqQh1/10SmvrG5tb5e3Kzu7e/kH18KhjYqsFtkWsYt0LwKCSEbZJksJeohHCQGE3mN5mfvcRtZFxdE+zBP0QJpEcSwGUSq3JsFpz624Ovkq8gtRYgeaw+jUYxcKGGJFQYEzfcxPy56BJCoWLysAaTEBMYYL9lEYQovHnedAFP7MGKOYJai4Vz0X8vTGH0JhZGKSTIdCDWfYy8T+vb2l87c9llFjCSGSHSCrMDxmhZdoA8pHUSARZcuQy4gI0EKGWHIRIRZtWUkn78Ja/XyWdi7rn1r3WZa1xUzRTZifslJ0zj12xBrtjTdZmgiF7Ys/sxbHOq/PmvP+Mlpxi55j9gfPxDWwKkXA=</latexit><latexit sha1_base64="bzB0uW1fzy1MgMhO8gWsRy3sg4E=">AAAB5HicbVC7TsNAEFyHVzABQk1zIkKiimwaKJFoKINEHlKwovVlE045n627NVIU5QdoqegQf0XBv2CbFJAw1WhmVzs7caaV4yD49Gpb2zu7e/V9/6DhHx4dNxs9l+ZWUlemOrWDGB1pZajLijUNMkuYxJr68ey29PvPZJ1KzQPPM4oSnBo1URK5kDqjZitoBxXEJglXpAUrjJpfj+NU5gkZlhqdG4ZBxtECLSupaek/5o4ylDOc0rCgBhNy0aKKuRTnuUNORUZWKC0qkX5vLDBxbp7ExWSC/OTWvVL8zxvmPLmOFspkOZOR5SFWmqpDTlpV/E9irCwxY5mchDJCokVmskqglIWYF4X4RR3h+vObpHfZDoN2eB9AHU7hDC4ghCu4gTvoQBckjOEFXj3nvXnvP7XVvFV/J/AH3sc3ljCOsg==</latexit><latexit sha1_base64="A+mrTFD4pgcyH/vLzjQssbm11is=">AAAB6HicbZC9TsMwFIVvyl8pBQori0WFxFQlLDAisTC2Ev2R2qhy3Nti1XEi+xqpivoErDCxIV6KgXchCR2g5UxH59i6935RqqQl3//0KlvbO7t71f3aQf3w6LhxUu/ZxBmBXZGoxAwiblFJjV2SpHCQGuRxpLAfze+Kvv+ExspEP9AixTDmMy2nUnDKo85s3Gj6Lb8U2zTByjRhpfa48TWaJMLFqEkobu0w8FMKM25ICoXL2shZTLmY8xkOc6t5jDbMykWX7MJZTglL0TCpWBni7x8Zj61dxFH+Mub0aNe7IvyvGzqa3oSZ1Kkj1KIYRFJhOcgKI3MCyCbSIBEvNkcmNRPccCI0knEh8tDlSGo5j2D9+k3Tu2oFfivo+FCFMziHSwjgGm7hHtrQBQEIz/ACr57z3rz3H3IVb4XwFP7I+/gGJtaQEg==</latexit><latexit sha1_base64="A+mrTFD4pgcyH/vLzjQssbm11is=">AAAB6HicbZC9TsMwFIVvyl8pBQori0WFxFQlLDAisTC2Ev2R2qhy3Nti1XEi+xqpivoErDCxIV6KgXchCR2g5UxH59i6935RqqQl3//0KlvbO7t71f3aQf3w6LhxUu/ZxBmBXZGoxAwiblFJjV2SpHCQGuRxpLAfze+Kvv+ExspEP9AixTDmMy2nUnDKo85s3Gj6Lb8U2zTByjRhpfa48TWaJMLFqEkobu0w8FMKM25ICoXL2shZTLmY8xkOc6t5jDbMykWX7MJZTglL0TCpWBni7x8Zj61dxFH+Mub0aNe7IvyvGzqa3oSZ1Kkj1KIYRFJhOcgKI3MCyCbSIBEvNkcmNRPccCI0knEh8tDlSGo5j2D9+k3Tu2oFfivo+FCFMziHSwjgGm7hHtrQBQEIz/ACr57z3rz3H3IVb4XwFP7I+/gGJtaQEg==</latexit><latexit sha1_base64="z/6YOM/wVF39uLHBMRzuUs6raYU=">AAAB83icbVC7TsNAEDzzDOEVoKQ5ESFRRTYNlBE0lIlEHlJiRevLJpxyPlt3a6TIyhfQQkWHaPkgCv4F27iAhKlGM7va2QliJS257qeztr6xubVd2anu7u0fHNaOjrs2SozAjohUZPoBWFRSY4ckKezHBiEMFPaC2W3u9x7RWBnpe5rH6Icw1XIiBVAmtaejWt1tuAX4KvFKUmclWqPa13AciSRETUKBtQPPjclPwZAUChfVYWIxBjGDKQ4yqiFE66dF0AU/TyxQxGM0XCpeiPh7I4XQ2nkYZJMh0INd9nLxP2+Q0OTaT6WOE0It8kMkFRaHrDAyawD5WBokgjw5cqm5AANEaCQHITIxySqpZn14y9+vku5lw3MbXtutN2/KZirslJ2xC+axK9Zkd6zFOkwwZE/smb04ifPqvDnvP6NrTrlzwv7A+fgGasqRbA==</latexit><latexit sha1_base64="R4Y01Cg7cJ9KOi0h6J9mSz3S3T8=">AAAB83icbVDLSgNBEJyNrxhfUY9eBoPgKeyKoMegF48JmAckS+iddOKQ2QczPUII+QKvevImXv0gD/6Lu+seNLFORVU3XV1BoqQh1/10SmvrG5tb5e3Kzu7e/kH18KhjYqsFtkWsYt0LwKCSEbZJksJeohHCQGE3mN5mfvcRtZFxdE+zBP0QJpEcSwGUSq3JsFpz624Ovkq8gtRYgeaw+jUYxcKGGJFQYEzfcxPy56BJCoWLysAaTEBMYYL9lEYQovHnedAFP7MGKOYJai4Vz0X8vTGH0JhZGKSTIdCDWfYy8T+vb2l87c9llFjCSGSHSCrMDxmhZdoA8pHUSARZcuQy4gI0EKGWHIRIRZtWUkn78Ja/XyWdi7rn1r3WZa1xUzRTZifslJ0zj12xBrtjTdZmgiF7Ys/sxbHOq/PmvP+Mlpxi55j9gfPxDWwKkXA=</latexit><latexit sha1_base64="R4Y01Cg7cJ9KOi0h6J9mSz3S3T8=">AAAB83icbVDLSgNBEJyNrxhfUY9eBoPgKeyKoMegF48JmAckS+iddOKQ2QczPUII+QKvevImXv0gD/6Lu+seNLFORVU3XV1BoqQh1/10SmvrG5tb5e3Kzu7e/kH18KhjYqsFtkWsYt0LwKCSEbZJksJeohHCQGE3mN5mfvcRtZFxdE+zBP0QJpEcSwGUSq3JsFpz624Ovkq8gtRYgeaw+jUYxcKGGJFQYEzfcxPy56BJCoWLysAaTEBMYYL9lEYQovHnedAFP7MGKOYJai4Vz0X8vTGH0JhZGKSTIdCDWfYy8T+vb2l87c9llFjCSGSHSCrMDxmhZdoA8pHUSARZcuQy4gI0EKGWHIRIRZtWUkn78Ja/XyWdi7rn1r3WZa1xUzRTZifslJ0zj12xBrtjTdZmgiF7Ys/sxbHOq/PmvP+Mlpxi55j9gfPxDWwKkXA=</latexit><latexit sha1_base64="R4Y01Cg7cJ9KOi0h6J9mSz3S3T8=">AAAB83icbVDLSgNBEJyNrxhfUY9eBoPgKeyKoMegF48JmAckS+iddOKQ2QczPUII+QKvevImXv0gD/6Lu+seNLFORVU3XV1BoqQh1/10SmvrG5tb5e3Kzu7e/kH18KhjYqsFtkWsYt0LwKCSEbZJksJeohHCQGE3mN5mfvcRtZFxdE+zBP0QJpEcSwGUSq3JsFpz624Ovkq8gtRYgeaw+jUYxcKGGJFQYEzfcxPy56BJCoWLysAaTEBMYYL9lEYQovHnedAFP7MGKOYJai4Vz0X8vTGH0JhZGKSTIdCDWfYy8T+vb2l87c9llFjCSGSHSCrMDxmhZdoA8pHUSARZcuQy4gI0EKGWHIRIRZtWUkn78Ja/XyWdi7rn1r3WZa1xUzRTZifslJ0zj12xBrtjTdZmgiF7Ys/sxbHOq/PmvP+Mlpxi55j9gfPxDWwKkXA=</latexit><latexit sha1_base64="R4Y01Cg7cJ9KOi0h6J9mSz3S3T8=">AAAB83icbVDLSgNBEJyNrxhfUY9eBoPgKeyKoMegF48JmAckS+iddOKQ2QczPUII+QKvevImXv0gD/6Lu+seNLFORVU3XV1BoqQh1/10SmvrG5tb5e3Kzu7e/kH18KhjYqsFtkWsYt0LwKCSEbZJksJeohHCQGE3mN5mfvcRtZFxdE+zBP0QJpEcSwGUSq3JsFpz624Ovkq8gtRYgeaw+jUYxcKGGJFQYEzfcxPy56BJCoWLysAaTEBMYYL9lEYQovHnedAFP7MGKOYJai4Vz0X8vTGH0JhZGKSTIdCDWfYy8T+vb2l87c9llFjCSGSHSCrMDxmhZdoA8pHUSARZcuQy4gI0EKGWHIRIRZtWUkn78Ja/XyWdi7rn1r3WZa1xUzRTZifslJ0zj12xBrtjTdZmgiF7Ys/sxbHOq/PmvP+Mlpxi55j9gfPxDWwKkXA=</latexit><latexit sha1_base64="R4Y01Cg7cJ9KOi0h6J9mSz3S3T8=">AAAB83icbVDLSgNBEJyNrxhfUY9eBoPgKeyKoMegF48JmAckS+iddOKQ2QczPUII+QKvevImXv0gD/6Lu+seNLFORVU3XV1BoqQh1/10SmvrG5tb5e3Kzu7e/kH18KhjYqsFtkWsYt0LwKCSEbZJksJeohHCQGE3mN5mfvcRtZFxdE+zBP0QJpEcSwGUSq3JsFpz624Ovkq8gtRYgeaw+jUYxcKGGJFQYEzfcxPy56BJCoWLysAaTEBMYYL9lEYQovHnedAFP7MGKOYJai4Vz0X8vTGH0JhZGKSTIdCDWfYy8T+vb2l87c9llFjCSGSHSCrMDxmhZdoA8pHUSARZcuQy4gI0EKGWHIRIRZtWUkn78Ja/XyWdi7rn1r3WZa1xUzRTZifslJ0zj12xBrtjTdZmgiF7Ys/sxbHOq/PmvP+Mlpxi55j9gfPxDWwKkXA=</latexit><latexit sha1_base64="R4Y01Cg7cJ9KOi0h6J9mSz3S3T8=">AAAB83icbVDLSgNBEJyNrxhfUY9eBoPgKeyKoMegF48JmAckS+iddOKQ2QczPUII+QKvevImXv0gD/6Lu+seNLFORVU3XV1BoqQh1/10SmvrG5tb5e3Kzu7e/kH18KhjYqsFtkWsYt0LwKCSEbZJksJeohHCQGE3mN5mfvcRtZFxdE+zBP0QJpEcSwGUSq3JsFpz624Ovkq8gtRYgeaw+jUYxcKGGJFQYEzfcxPy56BJCoWLysAaTEBMYYL9lEYQovHnedAFP7MGKOYJai4Vz0X8vTGH0JhZGKSTIdCDWfYy8T+vb2l87c9llFjCSGSHSCrMDxmhZdoA8pHUSARZcuQy4gI0EKGWHIRIRZtWUkn78Ja/XyWdi7rn1r3WZa1xUzRTZifslJ0zj12xBrtjTdZmgiF7Ys/sxbHOq/PmvP+Mlpxi55j9gfPxDWwKkXA=</latexit>

t+ 1<latexit sha1_base64="TSDtVW3VKVpcF30bSuriTgeB6U0=">AAAB9XicbVDLSgNBEJyNrxhfUY9eBoMgCGFXBD0GvXiMaB6QLKF30olDZh/M9CphySd41ZM38er3ePBf3F33oIl1Kqq66eryIiUN2fanVVpaXlldK69XNja3tnequ3ttE8ZaYEuEKtRdDwwqGWCLJCnsRhrB9xR2vMlV5nceUBsZBnc0jdD1YRzIkRRAqXRLJ86gWrPrdg6+SJyC1FiB5qD61R+GIvYxIKHAmJ5jR+QmoEkKhbNKPzYYgZjAGHspDcBH4yZ51Bk/ig1QyCPUXCqei/h7IwHfmKnvpZM+0L2Z9zLxP68X0+jCTWQQxYSByA6RVJgfMkLLtAPkQ6mRCLLkyGXABWggQi05CJGKcVpKJe3Dmf9+kbRP645dd27Oao3LopkyO2CH7Jg57Jw12DVrshYTbMye2DN7sR6tV+vNev8ZLVnFzj77A+vjG1qzke0=</latexit><latexit sha1_base64="TSDtVW3VKVpcF30bSuriTgeB6U0=">AAAB9XicbVDLSgNBEJyNrxhfUY9eBoMgCGFXBD0GvXiMaB6QLKF30olDZh/M9CphySd41ZM38er3ePBf3F33oIl1Kqq66eryIiUN2fanVVpaXlldK69XNja3tnequ3ttE8ZaYEuEKtRdDwwqGWCLJCnsRhrB9xR2vMlV5nceUBsZBnc0jdD1YRzIkRRAqXRLJ86gWrPrdg6+SJyC1FiB5qD61R+GIvYxIKHAmJ5jR+QmoEkKhbNKPzYYgZjAGHspDcBH4yZ51Bk/ig1QyCPUXCqei/h7IwHfmKnvpZM+0L2Z9zLxP68X0+jCTWQQxYSByA6RVJgfMkLLtAPkQ6mRCLLkyGXABWggQi05CJGKcVpKJe3Dmf9+kbRP645dd27Oao3LopkyO2CH7Jg57Jw12DVrshYTbMye2DN7sR6tV+vNev8ZLVnFzj77A+vjG1qzke0=</latexit><latexit sha1_base64="TSDtVW3VKVpcF30bSuriTgeB6U0=">AAAB9XicbVDLSgNBEJyNrxhfUY9eBoMgCGFXBD0GvXiMaB6QLKF30olDZh/M9CphySd41ZM38er3ePBf3F33oIl1Kqq66eryIiUN2fanVVpaXlldK69XNja3tnequ3ttE8ZaYEuEKtRdDwwqGWCLJCnsRhrB9xR2vMlV5nceUBsZBnc0jdD1YRzIkRRAqXRLJ86gWrPrdg6+SJyC1FiB5qD61R+GIvYxIKHAmJ5jR+QmoEkKhbNKPzYYgZjAGHspDcBH4yZ51Bk/ig1QyCPUXCqei/h7IwHfmKnvpZM+0L2Z9zLxP68X0+jCTWQQxYSByA6RVJgfMkLLtAPkQ6mRCLLkyGXABWggQi05CJGKcVpKJe3Dmf9+kbRP645dd27Oao3LopkyO2CH7Jg57Jw12DVrshYTbMye2DN7sR6tV+vNev8ZLVnFzj77A+vjG1qzke0=</latexit><latexit sha1_base64="TSDtVW3VKVpcF30bSuriTgeB6U0=">AAAB9XicbVDLSgNBEJyNrxhfUY9eBoMgCGFXBD0GvXiMaB6QLKF30olDZh/M9CphySd41ZM38er3ePBf3F33oIl1Kqq66eryIiUN2fanVVpaXlldK69XNja3tnequ3ttE8ZaYEuEKtRdDwwqGWCLJCnsRhrB9xR2vMlV5nceUBsZBnc0jdD1YRzIkRRAqXRLJ86gWrPrdg6+SJyC1FiB5qD61R+GIvYxIKHAmJ5jR+QmoEkKhbNKPzYYgZjAGHspDcBH4yZ51Bk/ig1QyCPUXCqei/h7IwHfmKnvpZM+0L2Z9zLxP68X0+jCTWQQxYSByA6RVJgfMkLLtAPkQ6mRCLLkyGXABWggQi05CJGKcVpKJe3Dmf9+kbRP645dd27Oao3LopkyO2CH7Jg57Jw12DVrshYTbMye2DN7sR6tV+vNev8ZLVnFzj77A+vjG1qzke0=</latexit>

II. Global discriminability For every unitary FCA we found, a discrimination from the corresponding linear case is possible. For specific phase values of the eigenvalues of the transfer matrices we can make the evolution perfectly discriminable from the linear case.

References 1. B. Schumacher and R. F. Werner, Reversible quantum cellular automata (2004). 2. M. A. Nielsen, The fermionic canonical commutation relations and the Jordan-Wigner transform. 3. G. Chiribella, G. M. D’Ariano, and P. Perinotti, Physical Review A 84, 012311 (2011). 4. G. M. D’Ariano and P. Perinotti, Phys. Rev. A 90 (2014).

5. P. Jordan and E. Wigner, Zeitschrift für Physik 47, 631 (1928), ISSN 0044-3328. 6. S. Östlund and E. Mele, Physical Review B 44, 12413 (1991). 7. K.R. Parthasarathy, in Stochastics in Finite and Infinite Dimensions, edited by Rajput et al., Trends in Mathematics, ︎Birkhauser, Boston, 2000︎, pp. 361 – 377. 8. G. M. D’Ariano, P. L. Presti, and M. G. A. Paris, Physical Review Letters 87 (2001).

Re[z]

Im[z]

Fig. 4: Eigenvalues of the evolution operator. Discriminability depends on the distance of segments from the centre of the unitary circumference.

III. No-Go theorem for -like terms

The evolution of a scalar FCA cannot present terms like those multiplied by the coefficients in the explicit expression for the evolution. These terms consist in a non-linear Fermionic operator made up by field operators related to every site in the neighbourhood.

⇠<latexit sha1_base64="QA2e/yCT2omvjNZcnhZfCjz7sRY=">AAAB9XicbVC7TsNAEDyHVwivACXNiQiJKrIREpQRNJRBkIeUWNH6sgmnnB+6WwORlU+ghYoO0fI9FPwLtnEBCVONZna1s+NFShqy7U+rtLS8srpWXq9sbG5t71R399omjLXAlghVqLseGFQywBZJUtiNNILvKex4k8vM79yjNjIMbmkaoevDOJAjKYBS6ab/KAfVml23c/BF4hSkxgo0B9Wv/jAUsY8BCQXG9Bw7IjcBTVIonFX6scEIxATG2EtpAD4aN8mjzvhRbIBCHqHmUvFcxN8bCfjGTH0vnfSB7sy8l4n/eb2YRuduIoMoJgxEdoikwvyQEVqmHSAfSo1EkCVHLgMuQAMRaslBiFSM01IqaR/O/PeLpH1Sd+y6c31aa1wUzZTZATtkx8xhZ6zBrliTtZhgY/bEntmL9WC9Wm/W+89oySp29tkfWB/fBMKSWg==</latexit><latexit sha1_base64="QA2e/yCT2omvjNZcnhZfCjz7sRY=">AAAB9XicbVC7TsNAEDyHVwivACXNiQiJKrIREpQRNJRBkIeUWNH6sgmnnB+6WwORlU+ghYoO0fI9FPwLtnEBCVONZna1s+NFShqy7U+rtLS8srpWXq9sbG5t71R399omjLXAlghVqLseGFQywBZJUtiNNILvKex4k8vM79yjNjIMbmkaoevDOJAjKYBS6ab/KAfVml23c/BF4hSkxgo0B9Wv/jAUsY8BCQXG9Bw7IjcBTVIonFX6scEIxATG2EtpAD4aN8mjzvhRbIBCHqHmUvFcxN8bCfjGTH0vnfSB7sy8l4n/eb2YRuduIoMoJgxEdoikwvyQEVqmHSAfSo1EkCVHLgMuQAMRaslBiFSM01IqaR/O/PeLpH1Sd+y6c31aa1wUzZTZATtkx8xhZ6zBrliTtZhgY/bEntmL9WC9Wm/W+89oySp29tkfWB/fBMKSWg==</latexit><latexit sha1_base64="QA2e/yCT2omvjNZcnhZfCjz7sRY=">AAAB9XicbVC7TsNAEDyHVwivACXNiQiJKrIREpQRNJRBkIeUWNH6sgmnnB+6WwORlU+ghYoO0fI9FPwLtnEBCVONZna1s+NFShqy7U+rtLS8srpWXq9sbG5t71R399omjLXAlghVqLseGFQywBZJUtiNNILvKex4k8vM79yjNjIMbmkaoevDOJAjKYBS6ab/KAfVml23c/BF4hSkxgo0B9Wv/jAUsY8BCQXG9Bw7IjcBTVIonFX6scEIxATG2EtpAD4aN8mjzvhRbIBCHqHmUvFcxN8bCfjGTH0vnfSB7sy8l4n/eb2YRuduIoMoJgxEdoikwvyQEVqmHSAfSo1EkCVHLgMuQAMRaslBiFSM01IqaR/O/PeLpH1Sd+y6c31aa1wUzZTZATtkx8xhZ6zBrliTtZhgY/bEntmL9WC9Wm/W+89oySp29tkfWB/fBMKSWg==</latexit><latexit sha1_base64="QA2e/yCT2omvjNZcnhZfCjz7sRY=">AAAB9XicbVC7TsNAEDyHVwivACXNiQiJKrIREpQRNJRBkIeUWNH6sgmnnB+6WwORlU+ghYoO0fI9FPwLtnEBCVONZna1s+NFShqy7U+rtLS8srpWXq9sbG5t71R399omjLXAlghVqLseGFQywBZJUtiNNILvKex4k8vM79yjNjIMbmkaoevDOJAjKYBS6ab/KAfVml23c/BF4hSkxgo0B9Wv/jAUsY8BCQXG9Bw7IjcBTVIonFX6scEIxATG2EtpAD4aN8mjzvhRbIBCHqHmUvFcxN8bCfjGTH0vnfSB7sy8l4n/eb2YRuduIoMoJgxEdoikwvyQEVqmHSAfSo1EkCVHLgMuQAMRaslBiFSM01IqaR/O/PeLpH1Sd+y6c31aa1wUzZTZATtkx8xhZ6zBrliTtZhgY/bEntmL9WC9Wm/W+89oySp29tkfWB/fBMKSWg==</latexit>

⇠<latexit sha1_base64="luIr1kXNv/c5wZiBBZfxOFsl+mM=">AAAB9XicdVC7TsNAEFzzDOEVoKQ5ESFRRTZCgjKChjII8pCSKDpfNuGU89m6WwORlU+ghYoO0fI9FPwLtglSeE01mpnVjsaPlLTkum/O3PzC4tJyYaW4ura+sVna2m7YMDYC6yJUoWn53KKSGuskSWErMsgDX2HTH51lfvMGjZWhvqJxhN2AD7UcSMEplS47d7JXKnsVNwdzf5EvqwxT1Hql904/FHGAmoTi1rY9N6Juwg1JoXBS7MQWIy5GfIjtlGoeoO0medUJ248tp5BFaJhULBdx9iLhgbXjwE+TAadr+9PLxL+8dkyDk24idRQTapE9Iqkwf2SFkekGyPrSIBHPmiOTmgluOBEaybgQqRinoxRn9/ifNA4rnlvxLo7K1dPpMgXYhT04AA+OoQrnUIM6CBjCPTzAo3PrPDnPzstndM6Z3uzANzivHwZNkls=</latexit><latexit sha1_base64="luIr1kXNv/c5wZiBBZfxOFsl+mM=">AAAB9XicdVC7TsNAEFzzDOEVoKQ5ESFRRTZCgjKChjII8pCSKDpfNuGU89m6WwORlU+ghYoO0fI9FPwLtglSeE01mpnVjsaPlLTkum/O3PzC4tJyYaW4ura+sVna2m7YMDYC6yJUoWn53KKSGuskSWErMsgDX2HTH51lfvMGjZWhvqJxhN2AD7UcSMEplS47d7JXKnsVNwdzf5EvqwxT1Hql904/FHGAmoTi1rY9N6Juwg1JoXBS7MQWIy5GfIjtlGoeoO0medUJ248tp5BFaJhULBdx9iLhgbXjwE+TAadr+9PLxL+8dkyDk24idRQTapE9Iqkwf2SFkekGyPrSIBHPmiOTmgluOBEaybgQqRinoxRn9/ifNA4rnlvxLo7K1dPpMgXYhT04AA+OoQrnUIM6CBjCPTzAo3PrPDnPzstndM6Z3uzANzivHwZNkls=</latexit><latexit sha1_base64="luIr1kXNv/c5wZiBBZfxOFsl+mM=">AAAB9XicdVC7TsNAEFzzDOEVoKQ5ESFRRTZCgjKChjII8pCSKDpfNuGU89m6WwORlU+ghYoO0fI9FPwLtglSeE01mpnVjsaPlLTkum/O3PzC4tJyYaW4ura+sVna2m7YMDYC6yJUoWn53KKSGuskSWErMsgDX2HTH51lfvMGjZWhvqJxhN2AD7UcSMEplS47d7JXKnsVNwdzf5EvqwxT1Hql904/FHGAmoTi1rY9N6Juwg1JoXBS7MQWIy5GfIjtlGoeoO0medUJ248tp5BFaJhULBdx9iLhgbXjwE+TAadr+9PLxL+8dkyDk24idRQTapE9Iqkwf2SFkekGyPrSIBHPmiOTmgluOBEaybgQqRinoxRn9/ifNA4rnlvxLo7K1dPpMgXYhT04AA+OoQrnUIM6CBjCPTzAo3PrPDnPzstndM6Z3uzANzivHwZNkls=</latexit><latexit sha1_base64="luIr1kXNv/c5wZiBBZfxOFsl+mM=">AAAB9XicdVC7TsNAEFzzDOEVoKQ5ESFRRTZCgjKChjII8pCSKDpfNuGU89m6WwORlU+ghYoO0fI9FPwLtglSeE01mpnVjsaPlLTkum/O3PzC4tJyYaW4ura+sVna2m7YMDYC6yJUoWn53KKSGuskSWErMsgDX2HTH51lfvMGjZWhvqJxhN2AD7UcSMEplS47d7JXKnsVNwdzf5EvqwxT1Hql904/FHGAmoTi1rY9N6Juwg1JoXBS7MQWIy5GfIjtlGoeoO0medUJ248tp5BFaJhULBdx9iLhgbXjwE+TAadr+9PLxL+8dkyDk24idRQTapE9Iqkwf2SFkekGyPrSIBHPmiOTmgluOBEaybgQqRinoxRn9/ifNA4rnlvxLo7K1dPpMgXYhT04AA+OoQrnUIM6CBjCPTzAo3PrPDnPzstndM6Z3uzANzivHwZNkls=</latexit>