Instruction: Write an abstract for the following acadamic paper.

Input:
Paper: we have recorded the flight of a fly during take off and landing using digital high speed photography . it is shown that the dynamics of flexible wings are different for these procedures . during this observation fly flew freely in a big box and it was not tethered .
Abstract: in this fluid dynamics video , we demonstrated take off and landing of a fly . the deformation of wings is in focus in this video .

Paper: strongly correlated fermionic systems , responsible for relevant many - body phenomena such as high - temperature superconductivity , the fractional quantum hall effect or metal - insulator transitions , represent one of the most important theoretical challenges in condensed matter physics . among the simplest possible models of interacting fermions in a 2d lattice is the hubbard model,@xcite which is believed to be one of the keys to understanding the theoretical riddle of high - temperature superconductivity,@xcite and which serves as a good example to illustrate the nature and scale of the difficulties encountered . in spite of a titanic effort by the condensed matter community spanning several decades , still today the phase diagram of the 2d hubbard model and its relation to high - temperature superconductors remain highly controversial .    in the absence of exactly solvable models , accurate numerical simulations are essential in order to gain further insight into the physics of strongly correlated systems . while quantum monte carlo ( qmc ) techniques are very powerful in simulating bosonic systems , they suffer from the so - called _ negative sign problem _ in the case of fermionic and frustrated models . @xcite on the other hand , generic 1d lattice systems can be accurately addressed with the density matrix renormalization group ( dmrg ) method , @xcite but this approach scales inefficiently with the lattice size in 2d systems . recent progress in the simulation of 2d fermionic models has been made with a variety of methods . @xcite however , results obtained with different methods are often inconsistent , highlighting the need for further improvement and for alternative approaches .    a promising new route to studying strongly correlated fermion systems in a 2d lattice , presently under intense investigation , @xcite is based on using a _ tensor network _ as ground state variational ansatz . for bosonic ( e.g. spin ) 2d lattice models , tensor network anstze include _ projected entangled - pair states _ ( peps ) for inhomogeneous@xcite and homogeneous systems , @xcite and the _ _ multi - scale entanglement renormalization ansatz__@xcite ( mera ) . [ homogeneous peps are also known with names such as ( vertex ) _ _ tensor product states__@xcite ] . the interest in these approaches resides in the fact that they manage to retain some of the useful features of dmrg and qmc , while avoiding their main shortcomings . indeed , peps and mera approaches are free from the negative sign problem that prevents the application of qmc to fermionic and frustrated models . at the same time , and unlike dmrg , both peps and mera can efficiently represent ground states of 2d lattice models . in addition , compared to other variational approaches , peps and mera are relatively unbiased towards specific ground states . still at an early stage of development , the major limitation of these methods is that the cost of simulations increases sharply with the amount of entanglement in the ground state . this limits the range of models that can be analyzed accurately at present . nevertheless , several systems of frustrated antiferromagnets beyond the reach of dmrg and qmc have already been addressed.@xcite    in recent months , generalizations of tensor network algorithms to fermionic systems have been put forward independently by several groups.@xcite as a result , it is now possible to study interacting fermions in 2d lattices both within the context of the mera @xcite and peps . @xcite the fundamental new step , common in all the proposals , is to incorporate the fermionic character of the ground state wave function directly into the ansatz . this is accomplished by considering a _ network of fermionic operators _ , that is , a set of linear maps , made of anticommuting operators , that are connected according to a network pattern , as first proposed in refs .   for the mera and in ref .   for the peps .    in actual computations , one is still forced to store and manipulate tensors ( i.e. multi - dimensional arrays of coefficients ) corresponding e.g. to the expansion coefficients of the fermionic maps . the process of ` _ _ fermionization _ _ ' of a tensor network algorithm , i.e. its extension to fermionic systems , can in practice be achieved and visualized in a variety of ( ultimately equivalent ) ways , depending on how the underlying network of fermionic operators is translated into a set of tensors and rules for their manipulation . examples include the use of a jordan - wigner transformation , @xcite or the introduction of additional bond indices between tensors.@xcite a particularly simple form of ` _ _ fermionization _ _ ' of tensor networks was introduced in ref .  , where it was applied in the context of the mera . we emphasize that ref . is based on reformulating previous work by corboz , evenbly , verstraete and vidal on fermionic mera,@xcite which in turn had its origins in a key observation by verstraete.@xcite    the fermionization procedure of ref .  , which applies to any tensor network , is remarkedly simple . it does not require the introduction of a jordan - wigner transformation in the bond indices , or to have to explicitly keep track and dynamically modify a global fermionic order ; neither does it require the introduction of additional bond indices in the tensors . instead , the fermionic character of the tensor network is engraved in two simple rules : ( i ) use of parity invariant tensors and ( ii ) replacement of line crossings with so - called fermionic swap gates . the net result of applying these rules is a modified variational ansatz that can be manipulated using standard tensor network operations ( tensor multiplications , etc . ) , thus producing a straightforward fermionic version of existing tensor network algorithms . importantly , the computational cost of bosonic and fermionic algorithms scales in the same way with the amount of entanglement in the ground state . @xcite this remarkable result was also independently derived in ref .  . this paper has two main goals . the first is to explain how to obtain peps algorithms for fermionic systems by applying the above ` _ _ fermionization _ _ ' rules to existing bosonic peps algorithms . fermionic peps were originally proposed by kraus , schuch , verstraete and cirac in ref .   and have also been discussed by barthel , pineda and eisert in ref .  . our formulation of fermionic peps must be , at some level , equivalent to those proposals . however , the present formulation , which is based on previous independent work,@xcite is remarkably straightforward and appears to be comparatively much simpler . in particular , it allowed us to numerically implement a fermionic peps algorithm for infinite systems by only introducing a small number of changes to existing code for bosonic systems . a second main goal of this paper is to demonstrate the usefulness of fermionic peps . in spite of the several existing formulations of fermionic peps , @xcite and with the exception of ref .  , where some qualitative results are reported for the @xmath0 model , no evidence has been presented yet showing that fermionic peps are a good variational ansatz for interacting fermion systems . [ notice , however , that ref . shows that gaussian fermionic peps can represent states of non - interacting fermions ] . here we do present such evidence , in the form of ground state computations for several 2d models . specifically , we use a fermionic version of the infinite peps ( ipeps ) algorithm@xcite to address models on an infinite square lattice . first , results for free spinless fermions are compared with the corresponding exact solution , showing that a peps with small bond dimension is capable of reproducing the ground state energy with several digits of accuracy . then a model of interacting spinless fermions is addressed . qualitatively , the simulation reproduces the phase diagram predicted within hartree - fock , with metal and charge - density wave phases separated by a line of first order phase transitions . at a quantitative level , however , we obtain ground state energies that are lower than those obtained with hartree - fock , and this shifts the boundary between phases significantly . finally , for the @xmath0 model , we obtain ground state energies that are close to those of a specialized gutziller - projected ansatz . the rest of the paper is organized as follows : sec . [ sec : peps ] reviews the peps formalism for bosonic systems and the general fermionization procedure of tensor networks introduced in ref .  , which is then applied to peps algorithms . [ sec : ctm ] considers in more detail the fermionic version of the ipeps algorithm for infinite 2d lattices , which was employed to obtain the benchmark results presented in this paper [ sec : results ] describes ground state calculations for systems of free and interacting fermions in an infinite 2d lattice . [ sec : conclusions ] contains some conclusions , while appendix  [ app : genoperators ] defines generalized fermionic operators and appendix  [ app : twosite ] describes in detail one step of the update in the fermionic ipeps algorithm . _ note on terminology. _ for the purposes of this paper , a _ tensor _ is simply a multi - dimensional array of complex coefficients , and a _ tensor network _ is a set of tensors some of whose indices are connected according to a network pattern , where being connected means that there is a sum or trace over that index , in the sense of tensor multiplication . accordingly , in this paper a bosonic / fermionic tensor network is a tensor network used in the context of simulating a bosonic / fermionic system . thus , in the present formulation a fermionic peps is simply a `` tensor network that serves as a variational ansatz for fermionic systems '' . it is different from a bosonic peps in the presence of special gates called fermionic swap gates ( and in that its tensors are necessarily parity preserving ) . in particular , even though the rules used to create a fermionic tensor network , as introduced in ref .   and reviewed here , were obtained by studying how to mimic a network of fermionic operators ( that is , of operators that obey anticommuting relations ) , here a fermionic peps is _ not _ a network of fermionic operators . one of the merits of the present formulation is precisely that it replaces the considerable complexity involved in dealing with a network of fermionic operators with a simple set of rules . in particular , it avoids having to explicitly define , keep track and dynamically modify a fermionic order for the bond indices . the equivalence between our formulation of a fermionic tensor network and a network of fermionic operators was already established in ref .   for the case of the mera . a general derivation of this equivalence would distract from the purpose of this paper and will be presented elsewhere . the goal of this section is to introduce a fermionic version of bosonic peps algorithms,@xcite so that they can be applied to simulate fermionic systems in a 2d lattice . we start by reviewing some key aspects of the peps formalism for bosonic systems . this allows us to introduce the notation and the diagrammatic representation of tensors used throughout secs . [ sec : peps ] and [ sec : ctm ] . then we describe the fermionization rules of ref .  , which we also extensively review . we apply these rules to obtain a fermionic peps ansatz ( see also refs .  ) , and provide a discussion of how fermionic peps algorithms can be obtained by modifying existing bosonic peps algorithms . let us consider a quantum many - body system in a lattice @xmath1 made of @xmath2 sites , labelled by an integer @xmath3 . each site @xmath4 is described by a complex vector space @xmath5 of finite dimension @xmath6 , with basis states @xmath7 . the vector space @xmath5 could represent , for instance , the possible states of a quantum spin sitting on that site of @xmath1 . the system is further characterized by a _ local _ ( _ bosonic _ ) hamiltonian . this is a hermitian operator @xmath8 that ( when expressed in terms of bosonic operators , i.e. operators that commute when acting on different sites ) decomposes as a sum of terms each involving only a small number of sites . let @xmath9 be a pure state , @xmath10 where index @xmath11 labels a basis on site @xmath4 . a task of interest is to compute a specific state @xmath12 somehow related to @xmath13 , e.g. its ground state , and to evaluate the expectation value @xmath14 of some local observable @xmath15 . however , representing a vector @xmath16 requires a number of complex coefficients @xmath17 that grows exponentially in @xmath2 . this poses a serious computational challenge . exact diagonalization techniques are only affordable for small systems ( e.g. , at most @xmath18 for @xmath19 ) , and alternative numerical strategies are required to analyze large systems . projected entangled - pair states@xcite ( peps ) were introduced as a means to obtain an efficient description for some states @xmath16 of a 2d lattice @xmath1 . for concreteness , in this work we consider the case of a square lattice , although all the discussions can be extended to other type of lattices . to each site @xmath20 there corresponds a vector of integers @xmath21 , and we also write @xmath22 to denote a site of lattice @xmath1 . a peps is made of a collection of @xmath2 tensors @xmath23}\}$ ] , one for each site @xmath24 , connected through _ bond indices _ that follow the pattern of links of the lattice @xmath1 . upon tracing over all bond indices , a peps yields a tensor @xmath25 with the @xmath26 complex coefficients @xmath17 of a state @xmath27 .     with coefficients @xmath28 for a state @xmath29 of a @xmath30 square lattice this tensor is expressed in terms of a peps made of a set of 9 tensors @xmath31}\}$ ] , one for each site @xmath32 . ( b ) bulk tensor @xmath33}$ ] with components @xmath33}_{ulsdr}$ ] . notice that the legs corresponding to indices @xmath34 , @xmath35 , @xmath36 , @xmath6 and @xmath37 emerge from the circle in anti - clockwise order . ( c ) hermitian conjugate @xmath33\dagger}$ ] of the peps tensor @xmath33}$ ] , represented as its mirror image . notice that the legs corresponding to indices @xmath37 , @xmath6 , @xmath36 , @xmath35 and @xmath34 of @xmath38\dagger})_{rdslu}$ ] emerge again in anti - clockwise order . ( d ) hermitian conjugates of @xmath25 and its peps representation.,width=302 ]    throughout this paper a diagrammatic representation of tensors and tensor networks is used , see fig . [ fig : bosonpeps ] . each tensor is depicted as a shape ( circle , square , diamond , etc ) and its indices as emerging lines . a line connecting two shapes ( or starting and ending at the same shape ) denotes an index over which a trace is taken . as an example , fig . [ fig : bosonpeps](a ) represents , in the case of a lattice @xmath1 made of @xmath30 sites , a tensor @xmath25 with 9 indices , corresponding to the coefficients @xmath39 of @xmath40 , followed by a peps made of 9 tensors @xmath31}\}$ ] . the number of indices in a tensor @xmath33}$ ] depends on the number of nearest neighbors of site @xmath22 , with tensors in the bulk having more indices than tensors at a boundary . specifically , a bulk tensor has components @xmath33}_{ulsdr}$ ] , with one _ physical _ index @xmath36 and four _ bond _ indices @xmath41 . the physical index @xmath36 labels the basis of the vector space @xmath5 for site @xmath24 and therefore takes @xmath6 different values , whereas each bond index connects the tensor with a tensor in a nearest neighbor site and ranges from @xmath42 to @xmath43 , where @xmath43 is the so - called _ bond dimension _ of the peps . correspondingly , a bulk peps tensor is represented by a circle with five legs , see fig . [ fig : bosonpeps](b ) . as in the rest of the paper , here we follow the prescription that the indices of a tensor are drawn in anti - clockwise order . notice also that the open indices of the peps in fig . [ fig : bosonpeps](a ) reach the exterior of the tensor network in exactly the same ( anti - clockwise ) order that they appear in @xmath44 . these notational and diagrammatical details are somewhat superfluous in the bosonic case ( since one can change the order of indices in a tensor by simply permuting its components ) but will become important in the extension to fermions .    a peps on a @xmath45 lattice , where @xmath46 , contains @xmath47 bulk tensors , each depending on @xmath48 complex coefficients . therefore the peps is characterized by @xmath49 parameters . if @xmath43 has a fixed value independent of @xmath2 , then the peps is indeed an efficient encoding of some states @xmath16 , and it can be used e.g. as a variational ansatz for the ground state of @xmath13 . however , for the peps to be a useful ansatz , we also need to provide an efficient strategy to optimize its tensors and manipulate them in order to extract physically relevant information , as discussed next . two major tasks to be accomplished with a peps algorithm@xcite are : ( i ) optimization of its @xmath49 parameters so as to obtain a good approximation to e.g. the ground state of the local hamiltonian @xmath13 ; ( ii ) given a peps for a state @xmath12 , computation of expectation values @xmath14 of local observables @xmath15 , as given by @xmath50 these two tasks happen to be closely related . they involve taking the trace over all the bond indices of a composite tensor network , an operation referred to as _ contracting _ the tensor network .     written in terms of tensors @xmath25 and @xmath51 . ( b ) the same scalar product , but written in terms of a peps together with its hermitian conjugate . ( c)-(d ) using the jump move of fig . [ fig : jump ] , this tensor network can be modified so that each tensor @xmath33}$ ] is drawn next to its hermitian conjugate @xmath33}$ ] . ( e ) tensor network @xmath52 in terms of reduced tensors @xmath53}$ ] . ( f ) @xmath53}$ ] defined in terms of @xmath33}$ ] and @xmath33\dagger}$ ] , eq . .,width=302 ]    an emblematic example of tensor network contraction required in a peps algorithm concerns the computation of the scalar product @xmath54 . we need to introduce a few more definitions and notation . let @xmath55 denote the hermitian conjugate of a tensor @xmath56 , obtained by reversing the order of the indices of @xmath56 and taking the complex conjugate of each of its coefficients ( and diagrammatically represented as the mirror image of @xmath56 ) . for instance , tensor @xmath51 in fig . [ fig : bosonpeps](d ) , corresponding to @xmath57 , @xmath58 has coefficients @xmath59 fig . [ fig : bosonpeps](c ) represents the hermitian conjugate @xmath33\dagger}$ ] of a bulk tensor @xmath33}$ ] , which has coefficients @xmath60\dagger})_{rdslu } = { a^{[\vec{r}]}_{ulsdr}}^*.\ ] ] we build the hermitian conjugate of the peps for @xmath25 as the set of tensors @xmath31\dagger}\}$ ] connected according to the mirror image of the network of connections in the peps for @xmath25 , see fig . [ fig : bosonpeps](d ) . for each site @xmath22 , let us define the reduced tensor @xmath53}$ ] in terms of tensor @xmath33}$ ] and @xmath33\dagger}$ ] by tracing over the physical index @xmath36 . for instance , in the bulk , the reduced tensor @xmath53}$ ] has components @xmath61}_{u \bar{u } l \bar{l } \bar{d } d \bar{r } r } \equiv       \sum_{s=1}^d a^{[\vec{r}]}_{ulsdr } ( a^{[\vec{r}]\dagger})_{\bar{r } \bar{d } s \bar{l } \bar{u } } ,      \label{eq : a}\ ] ] see fig . [ fig : bosonscalar](f ) . then the scalar product @xmath54 results from contracting a tensor network @xmath52 that consists of all reduced tensors @xmath53}$ ] connected according to the links in @xmath1 , see fig . [ fig : bosonscalar](a)-(e ) , where the ( trivial ) jump move of fig . [ fig : jump ] is used . contracting the tensor network @xmath52 to obtain the scalar product @xmath54 comes with a cost that grows exponentially in the linear size @xmath62 of lattice @xmath1 , and therefore can not be accomplished efficiently . a key ingredient of peps algorithms is precisely a strategy to _ efficiently _ but approximately contract the tensor network @xmath52 , thus producing an approximation to @xmath54 . this can be done in several ways , depending on the size and topology of lattice @xmath1 . in a finite lattice with open boundary conditions , one can use matrix product state ( mps ) techniques . @xcite in the case of a torus , coarse - graining techniques known as _ tensor entanglement renormalization group _ ( terg ) @xcite can be used . finally , in an infinite lattice , both infinite mps@xcite and _ corner transfer matrix _ ( ctm)@xcite techniques have been employed .    in order to optimize a peps so as to approximate the ground state of @xmath13 , as well as to evaluate the expectation value of local observables , it is useful to contract certain class of tensor networks called _ environments_. the environment @xmath63}$ ] of a site @xmath22 is the tensor network obtained from @xmath52 by removing tensor @xmath53}$ ] , and can be used to compute the expectation value of a local observable acting on that site .    , made of reduced tensors @xmath53}$ ] , corresponding to the scalar product @xmath54 in an @xmath45 lattice @xmath1 with open boundary conditions . ( b ) environment @xmath64}$ ] for two contiguous sites @xmath65 , obtained from @xmath52 by removing tensors @xmath66}$ ] and @xmath67}$ ] . ( c ) approximate environment @xmath68}$ ] consisting of six tensors @xmath69 . ( d ) tensor @xmath70 of coefficients for a two - site local operator @xmath15 , eq .  . ( e ) tensor network made of the approximate environment @xmath68}$ ] and tensors @xmath71}$ ] , @xmath71\dagger}$ ] , @xmath72}$ ] , @xmath72\dagger}$ ] and @xmath70 . its contraction produces an approximation to @xmath73.,width=321 ]    similarly , a two - site environment @xmath64}$ ] is the tensor network obtained by removing tensors @xmath66}$ ] and @xmath67}$ ] from @xmath52 , and can be used e.g. to compute the expectation value of a two - site observable @xmath74 acting on sites @xmath75 . figure [ fig : bosonenv](b ) shows the environment @xmath64}$ ] corresponding to two nearest neighbor sites @xmath76 . again , the exact contraction of the environment can not be performed efficiently , but efficient schemes , analogous to those employed to contract @xmath52 , can be used in order to approximately contract @xmath77}$ ] . the whole environment is in this way approximated by a smaller tensor network @xmath68}$ ] made of 6 tensors @xmath78 , see fig . [ fig : bosonenv](c ) . these tensors can then be connected to tensors @xmath71}$ ] , @xmath71\dagger}$ ] , @xmath72}$ ] , @xmath72\dagger}$ ] and @xmath70 to produce an approximation to @xmath73 , see fig . [ fig : bosonenv](e ) .    in a system with a hamiltonian @xmath13 made of two - site interactions @xmath79}$ ] between nearest neighbors , the approximate environment @xmath68}$ ] is particularly useful . on the one hand , it is employed in the optimization of tensors @xmath71}$ ] and @xmath72}$ ] after a gate has been applied on the two sites , as part of simulating an _ imaginary - time evolution _ according to @xmath13 , @xmath80 which offers one way of obtaining a peps approximation to the ground state @xmath81 of @xmath13 . on the other hand , @xmath82}$ ] can also be used to compute the expectation value of the energy on that link , @xmath83 } { \mbox{$| \psi \rangle$}}$ ] , as part of an algorithm to optimize the peps by minimizing its energy , @xmath84}\ } } \frac      { { \mbox{$\langle \psi_{\{a^{[\vec{r}]}\ } }   |$}}~ \hat{h}~ { \mbox{$|   \psi_{\{a^{[\vec{r}]}\ } } \rangle$ } } }       { { \mbox{$\langle \psi_{\{a^{[\vec{r}]}\ } }   | \psi_{\{a^{[\vec{r}]}\ } } \rangle$ } } } \label{eq : mine}\ ] ] which is another way of obtaining a peps approximation to the ground state @xmath81 of @xmath13 . we refer to refs .   for more details . other peps algorithms@xcite bypass the computation of environments . this concludes our short review of peps algorithms for bosonic 2d lattice models . let us now consider a fermionic lattice system . for the sake of simplicity , we first assume that each site @xmath20 is described by a complex vector space @xmath5 of dimension @xmath19 that is associated to a fermionic annihilation operator @xmath85 , with anticommutation relations @xmath86 [ we will shortly extend the discussion to sites with vector space of finite dimension @xmath87 , see also appendix [ app : genoperators ] ] . a basis of the vector space @xmath88 of the lattice system is given by @xmath89 recall that fermionic operators can be expressed in terms of pauli matrices @xmath90 by means of a jordan - wigner transformation , @xmath91    the fermionic lattice system @xmath1 is further characterized by a local fermionic hamiltonian @xmath13 . this is a hamiltonian that , when expressed in terms of the fermionic operators @xmath92 , decomposes as the sum of terms involving only a small number of sites . as in eq . , let @xmath16 be a pure state of lattice @xmath1 , @xmath93 here we will assume that @xmath12 is somehow related to the fermionic hamiltonian @xmath13 , for instance it is its ground state . once more , we would like to find a variational ansatz depending on @xmath47 parameters to efficiently encode the tensor @xmath25 containing the @xmath26 coefficients @xmath17 of a pure state @xmath12 . one possibility would be to use a peps exactly as in the bosonic case . however , this might not be a good idea . remember that the label @xmath94 provides an order to the set of sites of @xmath1 , whose position in the lattice is given by @xmath95 . two nearest neighbor sites @xmath96 and @xmath97 on the square lattice might correspond to values @xmath98 and @xmath99 that are far apart . then , when expressed in terms of pauli matrices , the local fermionic hamiltonian @xmath13 will no longer look local . for instance , a nearest neighbor hopping term @xmath100 develops a string of @xmath101 s . this might be harmful in two ways . on the one hand , the presence of strings of @xmath101 s would require important modifications in the algorithms to approximate the ground state of @xmath13 with a peps , either through imaginary - time evolution or energy minimization . on the other hand , it is unclear that the peps itself , which was originally designed as an ansatz for ground states of local bosonic hamiltonians , will be as good an ansatz also for ground states of fermionic hamiltonians , given that the latter are non - local when expressed in bosonic variables . below we will explain how to modify the peps so that it is suitable to study fermionic systems ( see also refs .  ) . before , however , we introduce the notation necessary to deal with local vector spaces @xmath5 of dimension @xmath87 . fermionic systems are governed by hamiltonians that preserve the _ parity of the fermionic particle number _ , to which we refer simply as ` _ _ parity _ _ ' . that is , fermions can only be created or annihilated in pairs , and parity is a constant of motion . as a result , we can assume that the pure state @xmath102 of lattice @xmath1 has a well - defined parity , and observables @xmath15 and reduced density matrices are block diagonal in parity . let us consider again the vector space @xmath5 of a single site , now with finite dimension @xmath87 . it is natural to decompose @xmath5 as the direct sum of an even parity subspace @xmath103 and an odd parity subspace @xmath104 , @xmath105 and to choose a basis of vectors with well - defined parity . accordingly , the physical index @xmath36 describing one such basis is decomposed as @xmath106 , where @xmath107 is the parity and @xmath108 ( denoted @xmath109 and @xmath110 ) enumerates the different basis states with parity @xmath111 . the parity operator @xmath112 then acts on this basis as @xmath113    in the case of spinless fermions , with a local dimension @xmath19 , the two possible states of a site are the local vacuum @xmath114 , signaling the absence of a fermion , and the state @xmath115 , corresponding to one fermion . in our notation these states read @xmath116 in the case of the @xmath0 model there are three possible states per site , @xmath117 , where @xmath118 and @xmath119 denote an electron with spin up and spin down , respectively . in our notation these states read @xmath120 finally , in the case of the hubbard model with local dimension @xmath121 there is an additional state , @xmath122 , corresponding to a doubly occupied site , which in our notation reads @xmath123    in analogy with the physical index @xmath106 , we introduce a parity operator also on the bond indices of a peps . accordingly , the tensor @xmath33}_{ulsdr}$ ] has bond indices @xmath124 , etc . this means that e.g. bond index @xmath34 can take values @xmath125 where the bond dimension @xmath43 is given by @xmath126 . the actual values of @xmath127 and @xmath128 can be chosen at convenience .    ) ; ( b ) line crossings are replaced with a special gate , a fermionic swap gate @xmath129.,width=264 ]      given a peps for bosonic systems , cf . [ fig : bosonpeps](a ) , in this work we obtain a peps for fermionic systems by applying the two rules used in ref .   to fermionize the mera . these rules are applied both to the peps and to all related tensor networks that are involved e.g. in optimizing the ansatz or computing expectation values of local observables . * rule 1 : * each tensor @xmath56 in a tensor network is chosen to be _ parity preserving _ , i.e. @xmath130 where @xmath131 denotes the _ parity _ of the basis state labelled by @xmath132 , see fig . [ fig : rules](a ) . * rule 2 : * each crossing of lines in the tensor network is replaced with a _ fermionic swap gate _ @xmath133 , see fig . [ fig : rules](b ) . this gate implements a fermionic exchange and has the form @xmath134with @xmath135 given by @xmath136       of a @xmath30 lattice @xmath1 , obtained from the bosonic peps in fig . [ fig : bosonpeps](a ) by replacing line crossings with fermionic swap gates . the coefficients @xmath140 are obtained by contracting this fermionic peps using standard tensor multiplication techniques ( see text ) . the presence of fermionic swap gates introduces a complex structure of minus signs in @xmath140 . ( b ) bulk tensor @xmath33}$ ] , which is chosen to be parity preserving , eq .  . ( c ) hermitian conjugate of @xmath33}$ ] . ( d ) scalar product @xmath54 written as a tensor network of reduced tensors @xmath53}$ ] defined in ( e ) . notice that , in a @xmath45 lattice , @xmath141 fermionic swap gates pervade the peps and yet , thanks to the jump move , fig .  [ fig : jumpmove ] , it is possible to write the scalar product @xmath54 in terms of only @xmath142 fermionic swap gates and in such a way that all of them are near a pair @xmath38},a^{[\vec{r}]\dagger})$ ] and can therefore be absorbed into the definition of the reduced tensor @xmath53}$ ] . [ for a detailed derivation , replace line crossings with fermionic swap gates in fig . [ fig : bosonscalar ] ] . as a result , there are no fermionic swap gates left in @xmath52 , and therefore this tensor network can be contracted using the techniques employed for bosonic peps.,width=264 ]    rule 1 is very convenient from a computational perspective : it ensures that the parity of the wave function is exactly preserved during ( otherwise approximate ) calculations , while the block diagonal structure of tensors can be exploited to reduce computational costs . in addition , rule 1 is important in order to account for the antisymmetric character of fermionic wavefunctions ( rule 2 ) in a simple way . however , we emphasize that tensor networks made of parity preserving tensors are also useful to describe bosonic systems ( e.g. , a @xmath143 invariant spin system , such as the quantum ising model ) and therefore rule 1 is not what turns a bosonic tensor network ansatz into a fermionic one . rule 2 accounts for the fermionic character of the tensor network , in the sense that it is employed to mimic the effect of anticommutators in a network of fermionic operators , as justified in ref .   in the context of the mera ( see also the note on terminology in the introduction of this paper ) . several additional remarks concerning fermionic tensor networks and their manipulations are in order . we start with a number of comments on fermionic tensor network representations that are relevant to the present formulation of the fermionic peps ansatz . \(i ) _ fermionic order_. the label @xmath144 for the sites of @xmath1 establishes an order on these sites . this order has been used to define a local basis of the hilbert space in eq .  , and can also be used to translate the local fermionic lattice model into a non - local bosonic one through the jordan - wigner transformation of eq .   ( although this is not the strategy that we follow here ) . according to our prescription to graphically represent tensors and tensor networks , this order is also the order in which the open indices are drawn in fig . [ fig : fermipeps](a ) . notice that the structure of line crossings in the peps depends on the fermionic order and therefore the number and location of fermionic swap gates , see fig . [ fig : orders ] . notice also that , in contrast with refs .  , we do not explicitly introduce fermionic operators ( and corresponding order ) on the bond indices of the peps , but use instead a simple graphical notation and two rules that already account for the complex pattern of fermionic - exchange minus signs in tensor @xmath145 .     corresponds to a specific choice of fermionic order , which appears in the definition of the local basis of eq .   and jordan - wigner transformation of eq .  . ( b ) another possible fermionic peps , associated to another fermionic order . the two tensor networks are not equivalent in that they can not be mapped into each other by jump moves alone ( where one is not allowed to drag a line over the end of another open line ) , but the mapping is possible if we allow some additional fermionic exchanges to modify the order of the open lines . importantly , it can be seen that the tensors @xmath31}\}$ ] in both peps appear in the same way in any expectation value . in particular , they would be optimized using exactly the same figure of merits . this shows that the tensors @xmath31}\}$ ] are independent of the choice of fermionic order.,width=264 ]    \(ii ) _ local operators_. a local fermionic operator @xmath15 is characterized by a tensor of components that describes the action of @xmath15 on a given basis of states . for instance , in the simple case where each site has a vector space @xmath5 of dimension @xmath19 , we expand a two - site operator @xmath15 as @xmath146 where @xmath147 and @xmath148 and @xmath149 are the annihilation operators acting on the two sites ( see appendix [ app : genoperators ] for the @xmath150 case ) . the coefficients @xmath151 are given by @xmath152 for instance , a hopping term @xmath153 reads @xmath154 since the only non - vanishing coefficient is @xmath155 which is obtained using the anticommutation relations . when the two - site operator @xmath15 acts on two sites @xmath156 , the state @xmath12 of the system is modified into some other state @xmath157 . this is implemented simply by connecting the tensor ( or tensor network ) that represents @xmath158 with the four - index tensor @xmath159 as indicated in fig . [ fig : operator](a ) . in particular , when the two sites are not contiguous in the fermionic order , @xmath160 , a number of line crossings appear . this is reflected in the computation of the expectation value @xmath14 , see fig . [ fig : operator](b)-(d ) .     is described by a tensor @xmath161 of coefficients obtained by connecting tensors @xmath25 and @xmath70 . the example corresponds to a @xmath162 lattice and a choice of fermionic order such that the two sites on which @xmath15 acts , which are nearest neighbors in @xmath1 , are not contiguous in the fermionic order ( they occupy positions @xmath163 and @xmath164 ) . the line crossings ( fermionic swap gates ) that appear in connecting tensors @xmath25 and @xmath70 can be interpreted as changes in the fermionic order needed in order to bring the two sites on which @xmath15 acts together , then bringing them back to their original position . ( b ) expectation value @xmath73 . ( c ) the same expectation value in terms of a fermionic peps . ( d ) after some manipulation , an approximation of the expectation value is expressed in terms of an approximate two - site environment @xmath82}$ ] and tensors @xmath71}$ ] , @xmath71\dagger}$ ] , @xmath72}$ ] , @xmath72\dagger}$ ] and @xmath70 , as it was done for a bosonic system in fig . [ fig : bosonenv ] . the only difference here is the presence of a few fermionic swap gates.,width=302 ]    \(iii ) _ parity changing tensors_. parity preserving tensors allow us to represent both states @xmath12 with even fermionic particle number ( i.e. parity @xmath165 ) and local operators @xmath15 that are parity preserving . but they also allow us to represent states with an odd fermionic particle number ( parity @xmath166 ) and parity changing operators . this is so because a parity changing tensor @xmath167 , @xmath168 can be represented as a parity preserving tensor @xmath56 , @xmath169 where the additional index @xmath170 only takes one value , @xmath171 . for instance , in order to represent a state @xmath102 with an odd number of particles by means of a peps , an additional index @xmath172 is attached to one of the peps tensors , see fig . [ fig : pchanging](a ) . similarly , a fermionic annihilation operator @xmath173 , which changes parity , can be represented as a tensor with three indices , one of which is fixed to @xmath171 , see fig . [ fig : pchanging](b ) . it is sometimes computationally convenient ( e.g. in the computation of two - point correlators , fig . [ fig : correlator ] ) to represent a parity preserving operator that is the product of two parity changing operators , such as the hopping operator @xmath174 in eq . , by two parity preserving tensors connected by a fixed index @xmath172 , see fig .  [ fig : pchanging](b ) . , of a @xmath175 lattice , with odd parity @xmath166 . all peps tensors are parity preserving . one of the tensors has an additional index @xmath176 with fixed parity @xmath166 . ( b ) the tensor @xmath70 of coefficients @xmath177 for a two - site operator such as a hopping term @xmath178 in eq . , that is the product of two parity changing operators , @xmath179 and @xmath149 , can be decomposed as the product of two parity - preserving tensors @xmath180 and @xmath181 connected by an index @xmath176 with fixed parity @xmath166 . this decomposition is useful e.g. in the computation of a correlator involving two distant sites , see fig . [ fig : correlator ] . notice that parity preserving tensor @xmath180 can also be used independently of @xmath181 in order to represent the parity changing operator @xmath148 . , width=302 ]    \(iv ) _ simplification_. in the particular case of a pair of crossing lines @xmath137 and @xmath170 where index @xmath170 only takes one possible value @xmath111 of the parity , the fermionic swap gate @xmath133 reduces to a product of two gates . namely , to a product of two identity operators @xmath182 if @xmath183 , and to a product of the parity @xmath112 on line @xmath137 and identity @xmath184 on line @xmath170 if @xmath166 . it follows , for instance , that the jump move applied to a line @xmath137 and a parity preserving tensor @xmath56 with an index @xmath185 ( used e.g. to represent a parity changing tensor @xmath167 in eqs . -[eq : tt ] ) allows us to ignore index @xmath170 in @xmath56 at the price of applying the parity operator @xmath112 to line @xmath137 , see fig . [ fig : jumpmove](b ) . this simplification appears to be useful e.g. in the calculation of the expectation value @xmath186 , see fig . [ fig : correlator ] .    a fermionic tensor network can be manipulated simply by performing a sequence of tensor multiplications . it turns out , however , that by considering a special property ( jump move ) of fermionic tensor networks obeying rules 1 and 2 , the fermionic swap gates can be treated in a very special and advantageous way : they can be ignored until they correspond to a crossing of two indices connected to the same tensor , in which case they can be absorbed into the tensor using a low cost operation . as a result , in a fermionic tensor network algorithm we can follow the same sequence of tensor multiplications that we would have employed to manipulate its bosonic counterpart . in particular , we can use the same optimal sequence of contractions , with the same computational cost ( to leading order ) . let us discuss all these aspects in more detail . is represented with a parity preserving tensor @xmath56 with an extra index @xmath172 that remains open . in this case the jump rule introduces an additional fermionic swap gate @xmath129 , involving @xmath170 and the jumping line , that reduces to a parity operator @xmath187 on the jumping line ( see text ) . ( c ) a line can also be dragged over a set of open lines provided that the latter have even overall parity ( in other words , provided they could be connected to a parity preserving tensor),width=302 ]    \(i ) _ jump move_. it follows from rules 1 and 2 that in a fermionic tensor network , as in the bosonic case , lines can be dragged over tensors , see fig . [ fig : jumpmove](a ) . this invariance under ` jump ' moves allows us to modify fermionic tensor networks in such a way that the fermionic swap gates do not increase the leading cost of manipulations . for a proof of this property , which exploits the fact that tensors are parity - preserving , we refer again to ref .  . notice that the jump move does not include dragging a line over the open end of another line ( this would amount to a change in the local fermionic order ) . the latter transformation is only allowed when it involves a set of open lines with even overall parity , as explained next . \(ii ) _ open lines_. by construction , line ends only appear in the diagrams grouped in such a way that they could be connected to a parity preserving tensor ( that is , their combined parity is always even ) without introducing additional crossings to the network . for instance , the set of all open legs of the peps in figs . [ fig : fermipeps](a ) or [ fig : pchanging](a ) have even overall parity , since the peps as a whole has parity @xmath183 . another example is given by the open legs of an environment , fig . [ fig : corner](c ) . since such groups of open legs with even overall parity could be connected to a parity preserving tensor , the jump move extends naturally to them , as illustrated in fig . [ fig : jumpmove](c ) . \(iii ) _ absorption of a fermionic swap gate_. given a tensor @xmath56 , with coefficients @xmath188 , such that the two contiguous indices @xmath189 are connected to a fermionic swap gate , it is possible to absorb the latter into the former and produce a new tensor @xmath167 with coefficients @xmath190 the cost of the absorption is thus just proportional to the number of coefficients in @xmath56 and comparable to permuting two adjacent indices in a bosonic tensor network . this cost is , in particular , smaller than the tensor multiplication that may have produced @xmath56 or a subsequent tensor multiplication involving @xmath167 . therefore the absorption of fermionic swap gates only makes a sub - leading contribution to the total cost of contracting a fermionic tensor network ( in the same way that the permutation of indices only makes a sub - leading contribution to the total cost of contracting a bosonic tensor network ) .     and @xmath191 connected by two lines . ( b ) by means of a jump move , all lines standing between @xmath192 and @xmath191 can be dragged away . ( c ) any fermionic swap gate involving the lines that connect @xmath192 and @xmath191 can be absorbed into e.g. tensor @xmath192 , which is mapped into some @xmath193 . ( d ) finally tensors @xmath194 and @xmath191 are multiplied together , producing tensor @xmath56 . the cost of all these manipulations is dominated by the last step.,width=302 ]    \(iv ) _ same leading cost_. in a bosonic system , the contraction of a tensor network is implemented by a sequence of multiplications of tensors , where each multiplication involves two tensors and the sequence is chosen carefully to minimize computational costs . in the fermionic case , it is natural to ask whether the presence of fermionic swap gates will modify the optimal sequence of tensor multiplications and increase the computational cost of the contraction . it turns out that one can always follow the same sequence of multiplications as in the bosonic case . indeed , as illustrated in the example of fig . [ fig : contractjump ] , in order to multiply two tensors , one can use jump moves and fermionic swap gate absorptions to eliminate any fermionic swap gate between the two tensors , which can then be multiplied together exactly as in the bosonic case . the leading cost of these manipulations is given by tensor multiplications , and it is therefore the same for bosonic and fermionic systems .      we have explained how to build a fermionic peps for the state @xmath16 of a fermionic lattice system . the next step is to consider algorithms to compute the expectation value @xmath195 of a local operator @xmath15 from a fermionic peps , as well as to optimize the coefficients in its tensors @xmath31}\}$ ] . it turns out that these algorithms can be obtained by just introducing simple modifications to existing bosonic peps algorithms . here we discuss these modifications broadly . let us consider first the computation of the scalar product @xmath54 . as we did in the bosonic case , see fig . [ fig : bosonscalar ] , we build this scalar product by connecting the open indices of a peps for @xmath12 with those for a peps for @xmath57 obtained by hermitian conjugation . the resulting tensor network may contain , in the fermionic case , a large number of fermionic swap gates . however , an important point is that , by using the jump move of fig . [ fig : jumpmove](a ) , the scalar product @xmath54 can again be re - expressed in terms of a tensor network @xmath52 made of reduced tensors @xmath196}\}$ ] , see fig . [ fig : fermipeps](d ) .    as shown in fig . [ fig : fermipeps](e ) , the fermionic reduced tensor @xmath53}$ ] differs from its bosonic counterpart by the presence of four fermionic swap gates . importantly , in a finite or infinite lattice with open boundary conditions , _ all _ fermionic swap gates present in the scalar @xmath54 are absorbed into the reduced tensor @xmath53}$ ] . thus , the tensor network @xmath52 contains no fermionic swap gates . as a result , an approximation to the scalar product @xmath54 can be obtained by contracting @xmath52 with _ exactly _ the same approximate contraction techniques ( namely mps techniques for finite peps@xcite and either infinite mps or ctm techniques for infinite peps@xcite ) as in the bosonic case . [ in some implementations , it is possible to lower computational costs by considering the components @xmath33}$ ] and @xmath33\dagger}$ ] of @xmath53}$ ] separately . in this case the approximate contraction techniques have to be slightly modified so as to account for the four fermionic swap gates involved in the definition of @xmath53}$ ] ] . figure [ fig : cylinder ] considers a peps for a fermionic lattice system on a cylinder . its scalar product can again be expressed in terms of a tensor network @xmath52 , made of reduced tensors @xmath196}\}$ ] , that contains no line crossings . therefore its contraction can also be performed exactly as in the bosonic case . instead , in a fermionic lattice system on a torus , the analogous tensor network @xmath52 contains a number of fermionic swap gates , see fig . [ fig : torus ] . however , it can be seen that even in this case @xmath52 can still be coarse - grained using the same terg techniques of ref .   for the bosonic case , by properly coarse - graining the swap fermionic gates at each step of the coarse - graining .     of fermionic @xmath30 lattice with cylindrical boundary conditions . ( b ) tensor network for the scalar product @xmath54 . ( c ) tensor network @xmath52 of reduced tensors @xmath196}\}$ ] . as in a system with open boundary conditions , @xmath52 has no line crossings and can be contracted as in the bosonic case . , width=321 ]     of fermionic @xmath30 lattice with toroidal boundary conditions . ( b ) tensor network for the scalar product @xmath54 . ( c ) tensor network @xmath52 of reduced tensors @xmath196}\}$ ] . on the torus , it is not possible to eliminate all line crossings in @xmath52 , which must contain fermionic swap gates and therefore differs from the bosonic case . however , terg techniques@xcite can still be applied by noting that the coarse - graining of the reduced tensors @xmath196}\}$ ] can take place independently of the fermionic swap gates , which are also coarse - grained in an obvious way . the ( coarse - grained ) fermionic swap gates only need to be absorbed into the rest of the tensor network at the latest coarse - graining step , when the torus has been reduced to only a few lattice sites . , width=321 ]    as discussed in sec . [ sec : peps : optim ] , given an environment @xmath197}$ ] , an approximation @xmath198}$ ] can be used both for the computation of the expectation value @xmath199 of a local operator @xmath15 and for the optimization of the tensors @xmath200}\}$ ] defining the peps . the approximate contraction of @xmath197}$ ] leading to @xmath198}$ ] is very similar to the contraction of @xmath52 for the scalar product @xmath54 , and can again be accomplished in the fermionic case using the same techniques than in the bosonic case .    from @xmath198}$ ] , obtaining an approximation to the expectation value @xmath73 involves contracting the tensor network of fig . [ fig : operator](d ) , which differs from its bosonic counterpart in the presence of 12 fermionic swap gates . an analogous tensor network is central to the update of the peps tensors @xmath31}\}$ ] during an imaginary - time evolution towards the ground state @xmath81 of a nearest neighbor fermionic hamiltonian @xmath13 , cf . more details of this update will be provided in sec . [ sec : ctm ] in the context of an infinite lattice system , where also the computation of two - point correlators between distant sites will be addressed .    to summarize , the differences between bosonic and fermionic peps algorithms are in practice reduced to : ( i ) use of parity preserving tensors @xmath31}\}$ ] to efficiently encode the state @xmath9 ; and ( ii ) presence of fermionic swap gates in some of the tensor networks that need to be contracted , e.g. in order to compute the expected value of a local observable or optimize the tensors @xmath31}\}$ ] of the variational ansatz . however , thanks to the jump move , the optimal sequence of tensor multiplications involved in the contraction of a given fermionic tensor network is the same than in the bosonic case , as is the incurred computational cost . all in all , we see that fermionic peps algorithms can be obtained by introducing a few modifications to bosonic peps algorithms . this is further illustrated in the next section , where we provide more details on the specific peps algorithm used in sec . [ sec : results ] , namely the ipeps algorithm.@xcite in sec . [ sec : results ] the formulation of fermionic peps presented in this paper is tested by computing the ground state of a number of models on an infinite lattice . in this section we provide additional details on the fermionic ipeps ansatz and algorithm used for those computations . we start by reviewing the bosonic ipeps algorithm.@xcite then we describe the modifications required in order to address a fermionic system .        } $ ] for two contiguous sites @xmath65 , in terms of the reduced tensors @xmath205 and @xmath206 corresponding to the peps tensors @xmath202 and @xmath203 . ( b ) approximate environment @xmath82}$ ] expressed in terms of 10 tensors , corresponding to the 10 shaded regions in ( a ) , as used in the ctm approach@xcite . some of the tensor are used in fig . [ fig : correlator](b ) . ( c ) approximate environment @xmath82}$ ] written in terms of 6 tensors @xmath69 , as used in the computation of the expectation value of a two - site observable @xmath15 ( fig . [ fig : correlator](a ) ) and the update of tensors @xmath202 and @xmath203 during an imaginary - time evolution ( fig . [ fig : revupdate3]).,width=340 ]      let us first consider how to compute the expectation value of a two - site operator @xmath15 , see eq .  . this requires computing both @xmath54 and @xmath73 . the scalar product @xmath54 is expressed in terms of an infinite 2d tensor network @xmath52 of reduced tensors @xmath205 and @xmath206 distributed according to a checkerboard pattern . as in a finite system , an environment @xmath207}$ ] for two nearest sites @xmath76 is then built from @xmath52 by removing two reduced tensors , see fig . [ fig : corner](a)-(b ) . contracting @xmath207}$ ] requires an approximation scheme , which produces an approximate environment @xmath82}$ ] consisting of six tensors @xmath69 connected through bond indices that take @xmath208 different values , see fig . [ fig : corner](d ) . here @xmath208 quantifies the degree of approximation in @xmath82}$ ] . one possible approximation scheme consists in using infinite mps techniques , as was discussed in the original ipeps algorithm in ref .  . another possible approximation scheme consists in using ctm techniques,@xcite as discussed in the context of the ipeps algorithm in ref .  . an approximation @xmath209 to the expectation value @xmath195 of a two - site observable @xmath15 is then obtained by computing @xmath210 where @xmath184 denotes the identity operator on the space @xmath211 of two sites of @xmath1 and we use the same approximate environment @xmath82}$ ] to compute @xmath212 and @xmath213 , where the latter is computed as an expectation value for @xmath214 . the approximate value @xmath215 will in general differ from the exact value @xmath195 . one expects , however , that in the limit of a large @xmath208 one recovers the exact value , @xmath216 in practice , we compute @xmath215 for increasingly large values of @xmath208 , e.g. @xmath217 , until the expectation value @xmath215 does no longer depend substantially in @xmath208 , and assume that this corresponds to @xmath195 . the cost of computing @xmath215 using ctm techniques scales with the peps bond dimension @xmath43 and the environment bond dimension @xmath208 as @xmath218 . notice that for any value of the bond dimension @xmath43 , a peps produces a variational energy @xmath219 , @xmath220 that is @xmath221 , where @xmath222 is the exact ground state energy . therefore , if we could compute @xmath219 exactly , we would obtain an upper bound to @xmath222 , which could e.g. be compared with another upper bound corresponding to another variational ansatz . however , the approximate value @xmath223 is not guaranteed to be an upper bound to @xmath222 . in this paper we assume that @xmath223 is an upper bound to @xmath222 once it has converged for large values of @xmath208 . this assumption is seen to be correct in the case of free fermions in sec . [ sec : results ] .      in the ipeps algorithm of refs . an approximation to the ground state is obtained by simulating an evolution in imaginary time , eq .  . the optimization of tensors @xmath202 and @xmath203 during the imaginary - time evolution is achieved by breaking the evolution into steps ( suzuki - trotter decomposition ) and then considering updates that involve a single link . there are four types of updates , corresponding to the four inequivalent links given by the bond indices @xmath41 of tensor @xmath202 . for each link , new tensors @xmath224 and @xmath225 are produced as a result of an optimization that aims to account for the action of a two - site gate @xmath226 } \delta t)$ ] acting on that link . we refer to refs .   for a detailed explanation on how to use the approximate environment @xmath82}$ ] to obtain updated tensors @xmath224 and @xmath225 . the algorithm proceeds by iteratively updating tensors @xmath202 and @xmath203 until they converge to some pair of tensors that depend on @xmath208 and the time step @xmath227 . a finite time step @xmath227 introduces errors in the imaginary - time evolution . a better approximation to the ground state is obtained by gradually reducing @xmath227 until its value does no longer affect significantly quantities of interest ( e.g. the energy ) . for instance , this occurs for @xmath228 in the simulations of sec . [ sec : results ] . the cost of simulating an imaginary - time evolution is proportional to the number of time steps that are being simulated and scales as @xmath229 , since each update requires reconverging an approximate two - site environment @xmath68}$ ] . a simplified way of simulating an evolution in imaginary time was proposed in ref .  . this simplified update does not involve the environment @xmath68}$ ] and has a much lower cost per iteration , namely @xmath230 when applied in a straightforward way and reducible to @xmath231 after more careful considerations . on the one hand , ignoring the environment ( that is , the rest of the wavefunction ) implies that the update may not be optimal , and indeed there are cases , such as the 2d quantum ising model near its critical point , where it produces a less accurate approximation to the ground state,@xcite although we also found many cases where it only performs marginally worse than when using the environment . on the other hand , its much lower cost accelerates the simulations considerably . notice , however , that the computation of expectation values with the resulting peps still requires computing @xmath68}$ ] , which has cost @xmath229 . defined in terms of peps tensors @xmath202 and @xmath232 and four fermionic swap gates . ( b ) reduced tensor @xmath206 defined in terms of peps tensors @xmath203 and @xmath233 and four fermionic swap gates.,width=340 ]     to the expectation value @xmath14 of a local observable @xmath15 acting on two contiguous sites . this tensor network only differs from the one in fig . [ fig : bosonenv](e ) for a bosonic system in the presence of 12 fermionic swap gates . ( b ) computation of two - point correlators . for concreteness , we consider the expected value @xmath234 discussed in eq .  . the figure shows the tensor network representing @xmath235 , where sites @xmath189 are in the same row of @xmath1 but separated by 4 sites . notice the line connecting the two tensors corresponding to operators @xmath236 and @xmath237 , which crosses a number of other lines introducing a number of fermionic swap gates . since this line corresponds to an index @xmath172 with well - defined parity @xmath166 , the fermionic swap gates simplify into @xmath238.,width=340 ]      as in the bosonic case , the fermionic ipeps ansatz exploits translation invariance of a system on an infinite lattice @xmath1 to store the state @xmath12 using only a small number of peps tensors , which are repeated throughout the lattice . whether we are interested in approximating a ground state invariant under translations by one site or with checkerboard order , we consider again just two ( parity preserving ) peps tensors @xmath202 and @xmath203 as in eq .  . it may not seem obvious that a fermionic ipeps , characterized by tensors @xmath202 and @xmath203 , represents a state @xmath12 of the infinite lattice @xmath1 that is invariant under diagonal shifts ( checkerboard order ) . indeed , the presence of the ubiquitous fermionic swap gates , which are not homogeneously distributed across the tensor network corresponding to the ipeps ( see fig .  [ fig : fermipeps ] for an illustration in the case of a finite peps ) may seem incompatible with the checkerboard order . however , the checkerboard order becomes manifest during the computation of expectation values for local observables . given a fermionic ipeps , the computation of the expectation value of e.g. a two - site observable @xmath15 is very similar to the bosonic case . since there are no fermionic swap gates in the tensor network @xmath52 for the scalar product @xmath54 or the two site environment @xmath64}$ ] , these tensor networks can be contracted exactly in the same way as in a bosonic ipeps . [ if one wants to use the decomposition of the reduced tensors @xmath205 and @xmath206 in terms of @xmath202 and @xmath203 , fig . [ fig : reducedab ] , the presence of four fermionic swap gates needs to be taken into account ] . in the simulations of sec . [ sec : results ] , we have used the directional ctm approach discussed in ref .   in order to produce an approximate environment @xmath68}$ ] . then an approximation @xmath209 to the expected value @xmath195 is computed using the tensor network of fig .  [ fig : correlator](a ) . figure  [ fig : correlator](b ) describes the tensor network that needs to be contracted in order to compute a two - point correlators . the simulation of time evolution proceeds in a very similar way as in the bosonic ipeps algorithm , with the difference that the tensor networks involved contain fermionic swap gates instead of simple line crossings . a detailed description of the two updates used in this paper is presented in appendix . [ app : twosite ] . before we move to presenting the results of ground state computations , we conclude this section with a summary of the fermionic ipeps algorithm :    \(i ) _ ansatz . _ the state @xmath12 of the system on an infinite square lattice @xmath1 is encoded in two parity symmetric tensors @xmath202 and @xmath203 . these tensors depend on @xmath239 parameters , where @xmath6 is the dimension of the vector space @xmath5 of one site of @xmath1 and @xmath43 is the bond dimensions of the ipeps . \(ii ) _ computation of expectation values_. given tensors @xmath202 and @xmath203 , the reduced tensors @xmath205 and @xmath206 are computed according to fig . [ fig : reducedab ] . from the reduced tensors @xmath205 and @xmath206 , an approximation @xmath68}$ ] to a two - site environment @xmath64}$ ] is obtained using the ctm algorithm , see fig .  [ fig : corner ] . the computational cost scales as @xmath229 , where @xmath208 is the bond dimension of the approximate environment . then expectation values are computed by contracting small tensor networks involving @xmath68}$ ] . for instance , an approximation @xmath215 to the expected value @xmath195 , eq . , for an operator @xmath15 on two nearest neighbor sites is obtained according to fig . [ fig : correlator](a ) , whereas an approximation to a two - point correlator is obtained according to fig . [ fig : correlator](b ) . \(iii ) _ approximation of the ground state_. starting from e.g. random tensors @xmath202 and @xmath203 , an imaginary - time evolution is used to find an approximation to the ground state of a local hamiltonian @xmath13 . the two updates of appendix [ app : twosite ] can be used : the _ standard _ update , which in general produces better ground state approximations and has cost @xmath229 ; and the _ simplified _ update , which has a significantly lower cost and is often only marginally less accurate than the standard update . in this section we test the fermionic ipeps algorithm , as summarized at the end of the last section , for several models of free and interacting fermions in an infinite square lattice @xmath1 . we start by considering an exactly solvable model of free spinless fermions , which allows us to compare the numerical results with the exact solution , and therefore assess the accuracy of the approach . it turns out that , similarly as in the 2d mera , @xcite the accuracy of the numerical results depends on the amount of entanglement in the system . we also compare the use of the standard and simplified updates discussed in appendix [ app : twosite ] . the second model , describing interacting spinless fermions on a square lattice , is no longer exactly solvable . we compare our results for the phase diagram with the hartree - fock ( hf ) solution from ref .  , and show that our results for large @xmath240 are an improvement upon the hf result . the final example is the @xmath0 model , where we compare energies obtained with ipeps with previous variational monte carlo results based on gutzwiller - projected ansatz wave functions . in all these examples we present ipeps results for different bond dimensions @xmath43 , and study the convergence of the energy as a function of @xmath208 , the bond dimension of the environment . in all these examples we chose @xmath241 , see eq . . the first model under consideration is an exactly solvable model of free spinless fermions,@xcite given by the hamiltonian @xmath242 - 2\lambda \sum_i { \hat c}_{i}^{\dagger } { \hat c}_i , \label{eq : free}\ ] ] with @xmath243 denoting the sum over nearest - neighbor pairs , @xmath244 the chemical potential , and @xmath245 the pairing potential . figure [ fig : ff_pd ] shows the exact phase diagram of the model.@xcite for @xmath246 the model reduces to the usual tight - binding model of free fermions , with a metal phase for @xmath247 and a band insulator for @xmath248 . also the line @xmath249 , @xmath250 corresponds to a metal phase with a one dimensional fermi surface . for @xmath250 , @xmath251 the system is superconducting , with a critical phase for @xmath252 and a gapped phase for @xmath253 .     as a function of chemical potential @xmath244 and pairing potential @xmath245 . for @xmath250 , @xmath251 the system is superconducting.,width=264 ]    , for different values of @xmath245 and @xmath43 . the dimension @xmath208 is 20 and 40 for @xmath254 and @xmath255 , respectively . , width=302 ]      fig . [ fig : e_ff ] shows the relative error in the ground state energy obtained by simulating an imaginary - time evolution with the standard update ( cf . appendix [ app : twosite ] ) . results for bond dimensions @xmath254 and @xmath255 and at different locations in the phase diagram are shown . in the gapped phase , @xmath253 , accurate results are already obtained for @xmath254 , and for @xmath255 these accuracies are increased by one to three orders of magnitude . [ a special case is the band insulator for @xmath246 , @xmath256 , ( not shown ) which corresponds to an unentangled or product ground state and can be reproduced exactly even with bond dimension @xmath257 . ] the accuracy in the critical phase , @xmath258 , is of the order of @xmath259 for @xmath254 . increasing the bond dimension to @xmath255 , an order of magnitude is gained for @xmath260 , but the gain is smaller for @xmath261 . finally , the free fermion regime with a 1d fermi surface ( @xmath246 , @xmath262 ) is the most challenging case . note that in this case , the entanglement entropy exhibits a logarithmic correction to the area law.@xcite this shows that the accuracy of the results depends on the amount of entanglement in the system , similarly to the findings with the 2d mera . @xcite     as a function of distance r ( in x - direction ) , see eq . , for two different values of @xmath263 of the free - fermion model . middle panels : absolute value of the correlation function @xmath264 in semi - logarithmic scale . lower panels : the difference between the simulation result @xmath265 and the exact result @xmath266 for different values of @xmath43 . notice that better accuracies are obtained in the gapped phase , which corresponds to a less entangled ground state.,width=302 ]    next we study the accuracy obtained for the two - point correlator @xmath267 where @xmath268 , i.e. site @xmath170 is in the same row as site @xmath170 but separated by @xmath269 columns , see fig .  [ fig : correlator](b ) . the ipeps results shown in fig . [ fig : ff_corrs ] are seen to approach the exact values with increasing @xmath43 . in the critical phase ( left panels ) only the correlations at short distances are reproduced accurately . the precision of the correlator at longer distance is rather poor for small @xmath43 , but improves upon increasing @xmath43 . in the gapped phase ( right panels ) the accuracy is clearly better , already for small bond dimension . for @xmath240 accurate results are obtained up to distance @xmath270 where the magnitude of the correlator is of the order @xmath271 . these results are obtained from simulations with the simplified update , and we checked that they are similar to the ones obtained with the standard update ( for @xmath254 and @xmath255 ) . we compare and discuss the two updates further below .    , the bond dimension of the environment , for @xmath255 . in these examples the energy decreases monotonously with @xmath208 , i.e. the energy from the simulation is always larger than the true ground state energy.,width=302 ]      since the ipeps is a variational ansatz , the ground state energy @xmath219 of a state represented by an ipeps is an upper bound of the exact ground state energy @xmath222 . with increasing bond dimension @xmath43 the true ground state can be represented more accurately , and consequently the energy @xmath219 becomes lower , i.e. a better upper bound of @xmath222 . however , as discussed in the previous section , quantities such as the energy can only be extracted in an approximate way from the ipeps . the error of this approximation depends on the bond dimension of the environment @xmath208 . in fig . [ fig : chidep ] the dependence of the relative error of the energy as a function of @xmath208 is plotted for an ipeps with bond dimension @xmath255 . we observe that , with increasing @xmath208 , the energy @xmath223 converges to some value that is indeed an upper bound for @xmath222 . this is consistent with the assumption that @xmath223 has converged to the true energy @xmath219 of our @xmath255 ipeps . in the other models analyzed in this section we will also assume that once @xmath223 does no longer change with increasing @xmath208 , it has attained @xmath219 and therefore is an upper bound to @xmath222 . [ fig : chidep ] shows that , in the present free model , the approximate energy @xmath223 monotonically decreases with increasing @xmath208 , and therefore any value of @xmath223 is already an upper bound to @xmath222 . however , this behavior is not true in general , as we will see further below . it is therefore important to study the convergence in @xmath208 in each case separately .    , and @xmath272 ( @xmath273 for @xmath274 ) . the environment in the gapped phase converges considerably faster than in the critical phase.,width=302 ] let us make a few comments about the convergence of the environment in the ipeps algorithm , for fixed sets of tensors @xmath202 and @xmath203 which approximate the ground state of different phases . figure [ fig : envdep ] illustrates how the energy converges with the number of renormalization steps in the directional ctm algorithm @xcite for different points in the phase diagram . the environment in the gapped phase clearly converges faster than in the critical phase . here , the tensors at the boundary of the ipeps have been chosen randomly at the beginning . depending on the initial conditions of these boundary tensors the number of steps needed to converge can vary significantly . in practice , when using the standard update , we use the environment from the previous imaginary time step as an initial condition , so that only a few renormalization steps are needed to re - converge the environment . note also that for different initial boundary tensors the energy might converge to slightly different values ( especially in the critical phase ) . it is therefore advisable to check results for different initial boundary tensors .    for this model , we have also compared the precision of the ground state energy obtained with the standard and simplified updates , see fig .  [ fig : ff_compare ] . the accuracies obtained with the standard update are typically slightly better than the ones obtained with simplified updates . however , the simulations with the simplified update are computationally considerably cheaper , because the environment has to be computed only once at the end of the simulation for the evaluation of observables , whereas in the standard update the environment it has to be recomputed at each step of the imaginary - time evolution . the leading cost of the two methods is the same , but the computational cost differs by a rather large factor , which depends on the total number of imaginary - time steps . for the remaining examples of this paper we will consider only simplified updates this allowed us to perform simulations with @xmath240 and @xmath275 on a standard computer in roughly one day . we checked for @xmath254 and @xmath255 that the results obtained with the two updates give similar accuracies . it is conceivable , however , that the difference in accuracy between the two update schemes become larger with increasing @xmath43 , depending on the model under consideration . .,width=302 ]        the second model under consideration is a model of interacting spinless fermions , which is not exactly solvable . it is defined by the hamiltonian @xmath276 - \mu \sum_i { \hat c}_{i}^{\dagger } { \hat c}_i + v \sum_{\langle ij \rangle }   { \hat c}_i^{\dagger}{\hat c}_i   { \hat c}_j^{\dagger}{\hat c}_j , \label{eq : hint}\ ] ] with @xmath277 the nearest - neighbor hopping amplitude , the ( repulsive ) nearest - neighbor interaction strength , and @xmath278 the chemical potential . the hartree - fock ( hf ) phase diagram @xcite as a function of @xmath279 and particle density @xmath280 is given fig . [ fig : if_pd ] ( solid line ) . the hf calculation predicts a gapped charge - density - wave ( cdw ) phase at half filling ( @xmath281 ) and a translational invariant normal state ( metal phase ) far away from half filling . in between these two phases they find a thermodynamically unstable region , which we identify as a phase separation ( ps ) region , i.e. where the system splits into two parts , one in the metal phase and the other in the cdw phase . is the interaction strength , and @xmath280 is the particle density ( filling ) . the charge - density wave phase ( checkerboard pattern ) at exactly half - filling ( @xmath281 ) is separated from the metal phase by a first order phase transition , with an intermediate region corresponding to phase separation ( ps ) . with increasing @xmath43 , the boundary between the metal phase and the ps region moves away from the hartree - fock ( hf ) result from ref .  . dotted and dashed lines are a guide to the eye . the uncertainty of the phase boundaries obtained with ipeps is smaller than the symbol size ( in x - direction ) . , width=302 ]     for @xmath282 , obtained by ipeps and hartree - fock ( hf).@xcite the first order phase transition between the metal phase and the charge - density wave ( cdw ) phase occurs at a value @xmath283 where the two corresponding energies cross . lower panel : particle density @xmath280 as a function of chemical potential . at the first order phase transition point @xmath283 , @xmath280 jumps from a certain value @xmath284 in the metal phase to @xmath281 in the cdw phase . for densities in between @xmath284 and @xmath281 the system exhibits phase separation . the numbers in brackets indicate the uncertainty in the last digit . , width=302 ]      our results for the phase diagram , obtained with the simplified update using an ipeps with bond dimension @xmath255 and @xmath240 , are given by the squares and triangles in fig . [ fig : if_pd ] , respectively . the phase diagram obtained with ipeps qualitatively agrees with the hf solution . however , with increasing @xmath43 the phase boundary to ps region moves away from the hf result . in the following we explain how we computed the phase boundary and discuss the origin of this deviation . we focus only on the left half of the phase diagram , @xmath285 , since it is mirror symmetric with the @xmath281 line . we determined the phase boundary between the metal phase and the ps region for several values of @xmath279 , for @xmath255 and @xmath240 . for each value of @xmath279 , we studied the first order phase transition , which occurs at a certain value @xmath286 . the ipeps algorithm known to be particularly suitable to study first order phase transitions , thanks to displaying some degree of hysteresis . @xcite specifically , if we start a simulation with an ipeps that represents a state in e.g. the metal phase , it will remain in the metal phase upon increasing @xmath278 , even for values ( slightly ) larger than @xmath283 ( where the ground state is no longer metallic ) . this allows us to compute the energy of the metal phase in the region @xmath287 even though the cdw - state has a lower energy , and vice versa . we can therefore compute the energies of the ground states of the two phases individually , and the phase transition occurs where the two energies cross , as shown in the upper panel of fig .  [ fig : if_energy ] for @xmath282 . at the transition point @xmath283 , the density @xmath280 jumps from a certain value @xmath288 in the metal phase to the value @xmath281 in the cdw phase , as plotted in the lower panel of fig . [ fig : if_energy ] . for densities with values between @xmath284 and @xmath281 there exists no homogenous ground state , i.e. the system exhibits phase separation ( cf . [ fig : if_pd ] ) . let us now compare the energies obtained with ipeps with the hf solution in fig . [ fig : if_pd ] . while the results in the cdw phase coincide ( up to @xmath289 ) , we obtain lower energies for @xmath240 than the hf result ( of the order of @xmath290 ) . this leads to a shift of the transition point @xmath283 to a larger value of @xmath278 , and thus the phase boundary appears at a larger value of @xmath284 than in the hf case . the error of the energy due to the finite @xmath208 is smaller than the symbol size ( cf . [ fig : if_chidep ] ) . within this error , we regard the results as `` variational '' energies , i.e. an upper bound of the true ground state energy . accordingly , our @xmath240 results in the metal phase are closer to the true ground state energy , and the phase boundary for @xmath240 is an improvement upon the hf solution . note that the convergence of the energy with @xmath208 in fig . [ fig : if_chidep ] is not monotonous as in the previous examples in fig . [ fig : chidep ] . still , for large @xmath208 the energies do not seem to change significantly anymore . for some simulations we observe that the environment does not converge to a fixed point , but rather oscillates slightly . in such a case the energy fluctuates around a certain value . we take this error also into account in our study . the final uncertainty of the phase boundary obtained by ipeps is smaller than the symbol sizes ( in x - direction ) in fig . [ fig : if_pd ] . all simulation results for this model were obtained with the simplified update of appendix [ app : twosite ] . is not monotonous . for large @xmath208 the values do not seem to change significantly anymore . we associate an error bar to the values of the energy , depending on the convergence behavior in @xmath208 . this error is smaller than the symbol sizes in fig . [ fig : if_energy].,width=302 ]        as a final example we consider the @xmath0 model , @xmath291 with @xmath292 the spin index , @xmath293 the electron density and @xmath294 the spin @xmath295 operator on site @xmath137 , and @xmath296 . the @xmath0 model is an effective model of the hubbard model in the limit of strong on - site repulsion . the local hilbert space of each site contains three basis states @xmath297 , i.e. two electrons with opposite spins can not occupy the same lattice site as in the hubbard model . the @xmath0 model is an important model in the context of high - t@xmath298 superconductivity and its phase diagram is still controversial . we focus here on the parameter @xmath299 which lies in the relevant parameter range of cuprate superconductors . at half filling , i.e. particle density @xmath300 , the model corresponds to the antiferromagnetic spin 1/2 heisenberg model , where the ground state has long - range antiferromagnetic ( nel ) order . far away from half filling the model is a metal . at small , but finite doping @xmath301 , several studies predict a @xmath302-wave superconducting phase , see e.g. refs . and references therein . in studies with dmrg also a phase with stripe order @xcite was found at low doping . some studies suggest that the formation of stripes is due to phase separation of the undoped antiferromagnet and the superconducting phase . @xcite    here we focus on the variational monte carlo ( vmc ) results from ref .  , based on gutzwiller - projected ansatz wave functions . this study was done for finite lattices of size @xmath303 , where the finite size corrections of the energy are estimated to be of the order of @xmath304 . the monte carlo sampling error is of the same order of magnitude . at low doping ( @xmath305 ) the best variational energies are obtained by an ansatz wave function including superconductivity and antiferromagnetic order . at larger doping @xmath306 a better variational energy is obtained with an ansatz wave function that is superconducting without antiferromagnetic order . in the following we compare our energies with the best values obtained in this previous study . figure  [ fig : tj_energy ] shows the energy per site ( with the chemical potential term subtracted ) as a function of particle density . one can see that the ipeps results approach the vmc results from ref .   with increasing @xmath43 . for @xmath240 the ipeps energies are roughly @xmath259 higher than the vmc energies , and for @xmath307 the deviation is of the order of @xmath304 , which is the same order of magnitude as the error bar of the vmc results . note also , that some of the energies for @xmath307 are lower than the vmc results . however , the @xmath307 results are not necessarily `` variational '' energies , as we discuss below .     of the @xmath0 model as a function of filling @xmath280 , with @xmath299 . with increasing @xmath43 , the energies obtained by ipeps are approaching the values from the variational monte carlo ( vmc ) study in ref . note that the chemical potential term has been subtracted from the energy . the error bars of the vmc results are of the order @xmath308 . lower panel : relative deviation between the energies obtained by ipeps and vmc . full symbols indicate that ipeps energy is lower than the vmc energy.,width=302 ]    these preliminary results are encouraging for the future study of the phase diagram of the @xmath0 model using peps algorithms , because the current energies with the largest dimension @xmath307 are compatible with previous variational studies , and we expect to be able to increase @xmath43 by properly exploiting the global symmetries of the model . we also would like to emphasize that ipeps is a general ansatz , i.e. the same ansatz is used for any model on a square lattice , whereas in other variational studies the ansatz wave function is typically based on the specific physics of the model . it is remarkable that ipeps , which starts from a random initial state , yields comparable energies as the ones obtained by specialized ansatz wave functions . finally , it will be interesting to verify whether the phases obtained by ipeps correspond to the ones predicted by the variational study , or whether a phase with different dominant correlations appears , e.g. stripe - ordered phase , as previously found in dmrg studies . @xcite      figure  [ fig : tj_chi ] shows that the energies as a function of @xmath208 are sufficiently converged , both for @xmath255 and @xmath240 , i.e. the uncertainty due to a finite @xmath208 is much smaller than the symbol sizes in fig.[fig : tj_energy ] . we can thus view the energies for @xmath309 as `` variational '' in the sense that they are an upper bound of the true ground state energy . however , for at finite doping the energy increases with increasing @xmath208 , and it is at present not clear what value it will reach for larger ( and presently unaffordable ) values @xmath208 . thus , in this case the energy is not believed to necessarily be an upper bound to the exact ground state energy .    . the energies for @xmath309 do not seem to change significantly anymore for large @xmath208 , whereas for @xmath307 the energy is still increasing at the largest value of @xmath208 used.,width=302 ] in recent months several theoretical proposals have appeared describing fermionic versions of tensor network algorithms for 2d lattice systems , namely fermionic mera@xcite and fermionic peps@xcite . in this paper we have explained how to obtain fermionic peps algorithms by applying the general fermionization procedure of tensor networks introduced in ref .  . a highlight of our formulation of fermionic peps is its simplicity : it replaces the complexity involved in dealing with a network of fermionic operators with a tensor network built by following two rules , namely the use of parity preserving tensors and the substitution of line crossings with fermionic swap gates . we have then used the fermionic ipeps algorithm to compute an approximation to the ground state of several fermionic models on an infinite lattice . by simulating an exactly solvable model of free fermions,@xcite we have been able to see that even a fermionic peps with small bond dimension @xmath43 ( @xmath310 ) is already capable of reproducing up to several digits of the exact ground state energy , as well as two - point correlators . the results also showed that , similarly to what had been observed with the fermionic mera,@xcite the accuracy of the approach depends on the amount of entanglement in the system . generally speaking , gapped systems are less entangled than critical ones and , accordingly , a fermionic ipeps with a given bond dimension @xmath43 produces better accuracies for the former . the simulation of model of interacting spinless fermions has provided us with a first clear indication of the usefulness of the fermionic peps as a variational ansatz for the ground state of systems of interacting fermions . the fermionic peps approach reproduces the hartree - fock phase diagram@xcite , with metal and charge - density wave phases ; but even with bond dimension @xmath255 and @xmath240 , it improves the ground state energies on the metallic phase and this results in a significant shift of the phase boundary . finally , results for the @xmath0 model in the relevant parameter range for cuprate superconductors are particularly encouraging , given that fermionic peps , still at an early stage of development , already produce ground state energies comparable with those of previous variational studies.@xcite    the main limitation in present calculations is due to the scaling @xmath229 of simulation costs with the peps bond dimension @xmath43 and the environment bond dimension @xmath208 , which restricts @xmath43 and @xmath208 to relatively small values . there are , however , several ways in which larger values of @xmath43 and @xmath208 could become affordable , thereby leading to more accurate results . on the one hand , one can incorporate the internal global symmetries of a model ( e.g. particle number conservation ) into the tensors and exploit their block structure to reduce computational costs.@xcite this strategy is expected to be decisive for the characterization of the phase diagram of the @xmath0 and hubbard models . on the other hand , monte carlo sampling techniques could be used to reduce the formal dependence of the simulation costs in @xmath43 and @xmath208 . @xcite finally , the use parallel computing on a large cluster would also lead to improved fermionic peps simulations .    _ acknowledgements.- _ the authors thank j. de woul , e. langmann , and d. ivanov for providing us their data from refs .   and . we also acknowledge inspiring discussions with j. jordan , r. pfeifer , l. tagliacozzo and h .- q . support from the university of queensland ( ecr2007002059 ) and the australian research council ( ff0668731 , dp0878830 ) is acknowledged . in the case of a lattice where each site is described by a generic vector space @xmath5 of finite dimension @xmath6 , we decompose @xmath5 into even and odd parity sectors , @xmath311 and use an index @xmath106 to label a basis with well defined parity , @xmath312 see sec . [ sec : peps : parity ] . we can also introduce a set @xmath313 of generalized fermionic operators on each site , where @xmath314 is defined as @xmath315 then a local operator @xmath15 acting on just one site can be expanded as @xmath316    notice that @xmath317 is parity preserving if @xmath318 and parity changing if @xmath319 . fermionic operators @xmath320}_{s_1}$ ] and @xmath321}_{s_2}$ ] acting on two different sites @xmath322 fulfill @xmath323}_{s_1 } { \hat f}^{[\vec{r}_2]}_{s_2 } = s(s_1,s_2 ) { \hat f}^{[\vec{r}_2]}_{s_2 } { \hat f}^{[\vec{r}_1]}_{s_1},\ ] ] where @xmath324 a two - site operator @xmath15 acting on sites @xmath325 can then be written as @xmath326 where @xmath327\dagger } { \hat f}_{s'_2}^{[\vec{r}_2]\dagger } { \mbox{$| 0_10_2 \rangle$ } } { \mbox{$\langle 0_10_2 |$ } } { \hat f}_{s_2}^{[\vec{r}_2 ] } { \hat f}_{s_1}^{[\vec{r}_1]}.\ ] ]     and @xmath328.,width=302 ]     is obtained from tensor @xmath202 by crossing the legs @xmath36 and @xmath6 . ( b ) tensor @xmath329 is obtained from tensor @xmath328 by crossing the legs @xmath330 and @xmath331 . ( c ) tensors @xmath332 and @xmath333 are obtained by joining the @xmath334 indices and the @xmath335 indices of @xmath336 , and doing a singular value decomposition of the resultant matrix . the singular values are included in the definition of tensor @xmath333 . ( d ) tensors @xmath337 and @xmath338 are obtained by joining indices @xmath339 and indices @xmath340 of @xmath203 together , then performing a singular value decomposition of the resulting matrix , then splitting the composed indices back apart . the singular values are included in tensor @xmath337 . ( e ) tensors @xmath341 and @xmath342 are obtained by joining indices @xmath343 and indices @xmath344 of @xmath345 , then performing a singular value decomposition of the resulting matrix , then splitting the composed indices back apart . the singular values are included in tensor @xmath342 . ( f ) tensors @xmath346 and @xmath347 are obtained by joining indices @xmath348 and indices @xmath349 of @xmath329 , then performing a singular value decomposition of the resulting matrix , then splitting the composed indices back apart . the singular values are included in tensor @xmath346.,width=340 ]     is obtained by contracting a tensor network that contains the approximate environment @xmath82 } = \{e_1 , \cdots , e_6\}$ ] , tensors @xmath332 , @xmath341 , @xmath350 and @xmath347 , and a few fermionic swap gates . ( b ) tensor @xmath351 is obtained from the contraction of @xmath352 and the gate @xmath353.,width=321 ] this appendix describes how to update the tensors @xmath202 and @xmath203 that define a fermionic ipeps . we consider the two strategies employed to obtain the results of sec . [ sec : results ] , namely ( i ) the _ standard _ update , used in refs .   for bosonic systems , which requires the approximate environment @xmath82 } = \{e_1,\cdots , e_6 \}$ ] of fig . [ fig : corner](d ) ; and ( ii ) a _ simplified _ update , used in ref .  , which does not involve an environment . in these two schemes , a gate @xmath354}\delta t)$ ] is applied to the two sites @xmath355 of a given link , with tensors @xmath202 and @xmath203 , and new tensors @xmath224 and @xmath225 are chosen in order to best account for the action of the gate . here we simply list the steps required in order to obtain the updated tensors @xmath224 and @xmath225 . for a justification of the schemes we refer to refs .  . we emphasize that the only difference between these updates and the ones used in a bosonic system is the presence of fermionic swap gates . in particular , if the fermionic swap gates are eliminated ( by setting @xmath356 in eqs . -[eq : s ] ) we obtain update algorithms for bosonic peps . in some models , such as the quantum ising model near criticality , @xcite the standard update produces significantly more accurate results than the simplified update , but this did not seem to be the case in the gapless phases studied in this paper . in all models away from criticality that we could test , the simplified update produces only marginally worse accuracies . on the other hand , the much lower computational cost of the simplified update allows to consider larger bond dimension @xmath43 than with the standard update .    for concreteness , in the following we assume that the gate @xmath353 is applied on a horizontal link where tensors @xmath202 and @xmath203 are at the left and right , respectively . similar derivations apply to the other three types of links .     and @xmath357 are obtained by iteratively solving two linearized equations . specifically , we iterate the following two steps until convergence : ( a ) given @xmath337 and @xmath346 , we obtain @xmath358 by solving the linear equation @xmath359 , where @xmath360 and @xmath361 are obtained as indicated in the diagram . then , we set @xmath362 , and compute @xmath363 . ( b ) given @xmath333 and @xmath342 , we obtain @xmath357 by solving the linear equation @xmath364 , where @xmath360 and @xmath361 are again obtained as indicated in the diagram . then , we set @xmath365 , and compute @xmath366.,width=245 ]      given tensors @xmath202 and @xmath203 , an approximate environment @xmath82 } = \{e_1,\cdots , e_6 \}$ ] is obtained as described in sec . [ sec : ctm ] : first build the reduced tensors @xmath205 and @xmath206 , fig . [ fig : reducedab ] , which are the building blocks of the exact environment @xmath207}$ ] ; then use e.g. ctm techniques@xcite to produce an approximation @xmath82}$ ] to @xmath207}$ ] .    on the other hand , it is convenient to introduce a number of additional tensors . first compute tensors @xmath345 and @xmath328 according to fig . [ fig : revupdate1 ] , as well as tensors @xmath336 and @xmath329 according to fig . [ fig : revupdate2](a , b ) . then perform a singular value decomposition of tensors @xmath336 , @xmath203 , @xmath345 and @xmath329 as explained in the caption of fig .  [ fig : revupdate2](c - f ) . here we use the notation @xmath367 for the singular value decomposition of a matrix @xmath56 , where @xmath368 and @xmath369 are isometries and @xmath370 is the diagonal matrix of singular values . notice that the singular value decompositions are performed by regarding a tensor as a matrix after grouping its indices into two sets . is obtained from the contraction of @xmath332 and @xmath358 . ( b ) the updated tensor @xmath371 is computed by crossing the @xmath36 and @xmath6 indices of @xmath372 . ( c ) the updated tensor @xmath373 is obtained from the contraction of @xmath357 and @xmath350.,width=340 ]    tensor @xmath374 is then obtained by contracting the tensor network of fig . [ fig : revupdate3](a ) , which in turn is used to produce tensor @xmath351 in fig . [ fig : revupdate3](b ) . from tensors @xmath374 and @xmath351 , updated tensors @xmath358 and @xmath357 are obtained by iterating until convergence the process explained in the caption of fig . [ fig : revupdate4 ] .              for the simplified update from ref .  , the structure of the peps tensor network is slightly different to the one considered so far in this paper . here the infinite peps is specified by two tensors @xmath384 and @xmath375 , and four diagonal matrices @xmath376 with non - negative diagonal entries that assign weights to the indices of @xmath384 and @xmath375 , see fig . [ fig : revupdate6](a ) . notice that the usual expression in terms of tensors @xmath202 and @xmath203 can be recovered e.g. by multiplying the square root of the weight matrices @xmath376 with the tensors @xmath384 and @xmath375 , see fig . [ fig : revupdate6](b)-(c ) . the simplified update consists of the following steps : first , a tensor @xmath385 is computed in analogous way as tensor @xmath336 in fig . [ fig : revupdate2](a ) . then tensor @xmath380 is obtained by contracting the network in fig . [ fig : revupdate7](a ) , and subsequently decomposed through a singular value decomposition as shown in fig . [ fig : revupdate7](b ) . this results in tensors @xmath377 and @xmath378 and the matrix of weights @xmath379 , which corresponds to the singular values of @xmath380 . at this stage @xmath379 is truncated into @xmath386 , which keeps only the @xmath43 largest diagonal entries of @xmath379 . then tensors @xmath377 and @xmath378 are also truncated accordingly . next , tensors @xmath387 and @xmath383 are obtained from ( the truncated version of ) tensors @xmath377 and @xmath378 as shown in fig . [ fig : revupdate8](a)-(b ) . finally , tensor @xmath388 is obtained from @xmath387 again in an analogous way as @xmath224 in fig . [ fig : revupdate5](b ) . h. c. jiang , z. y. weng , and t. xiang , phys . lett . 101 , 090603 ( 2008 ) . z. y. xie , h. c. jiang , q. n. chen , z. y. weng , and t. xiang , phys . 103 , 160601 ( 2009 ) . chen , c .- y . lai , and m .- f . yang , j. stat . mech . : theory exp . ( 2009 ) p10001 . g. vidal , phys . 99 , 220405 ( 2007 ) . g. vidal , phys . . lett . 101 , 110501 ( 2008 ) . l. cincio , j. dziarmaga , and m. m. rams phys . 100 , 240603 ( 2008 ) . g. evenbly and g. vidal , phys . 102 , 180406 ( 2009 ) . g. evenbly and g. vidal , phys . rev . b 79 , 144108 ( 2009 ) . v. murg , f. verstraete , and j. i. cirac , phys . rev . b 79 , 195119 ( 2009 ) . g. evenbly and g. vidal , arxiv:0904.3383 . b. bauer , g. vidal , and m. troyer , j. stat . mech . : theory exp . ( 2009 ) p09006 . p. chen , c .- y . lai , and m .- f . yang , arxiv:0910.5081 . h. yokoyama and m. ogata . 65 , 3615 ( 1996 ) . d. a. ivanov . phys . rev . b 70 , 104503 ( 2004 ) . m. lugas , l. spanu , f. becca , and s. sorella . phys . rev . b 74 , 165122 ( 2006 ) . l. spanu , m. lugas , f. becca , and s. sorella . phys . rev . b 77 , 024510 ( 2008 ) . s. r. white and d. j. scalapino . 80 , 1272 ( 1998 ) . s. r. white and d. j. scalapino . 81 , 3227 ( 1998 ) . s. r. white and d. j. scalapino . phys . rev . b 61 , 6320 ( 2000 ) . v. j. emery , s. a. kivelson , and h. q. lin . 64 , 475 ( 1990 ) . c. s. hellberg and e. manousakis , phys . 78 , 4609 ( 1997 ) .
Abstract:

Answer: we explain how to implement , in the context of projected entangled - pair states ( peps ) , the general procedure of _ fermionization _ of a tensor network introduced in [ p. corboz , g. vidal , phys . rev . b 80 , 165129 ( 2009 ) ] . the resulting fermionic peps , similar to previous proposals , can be used to study the ground state of interacting fermions on a two - dimensional lattice . as in the bosonic case , the cost of simulations depends on the amount of entanglement in the ground state and not directly on the strength of interactions . the present formulation of fermionic peps leads to a straightforward numerical implementation that allowed us to recycle much of the code for bosonic peps . we demonstrate that fermionic peps are a useful variational ansatz for interacting fermion systems by computing approximations to the ground state of several models on an infinite lattice . for a model of interacting spinless fermions , ground state energies lower than hartree - fock results are obtained , shifting the boundary between the metal and charge - density wave phases . for the @xmath0 model , energies comparable with those of a specialized gutzwiller - projected ansatz are also obtained .