Abstract
Interacting bosons or fermions give rise to some of the most fascinating phases of matter, including hightemperature superconductivity, the fractional quantum Hall effect, quantum spin liquids and Mott insulators. Although these systems are promising for technological applications, they also present conceptual challenges, as they require approaches beyond meanfield and perturbation theory. Here we develop a general framework for identifying the free theory that is closest to a given interacting model in terms of their groundstate correlations. Moreover, we quantify the distance between them using the entanglement spectrum. When this interaction distance is small, the optimal free theory provides an effective description of the lowenergy physics of the interacting model. Our construction of the optimal free model is nonperturbative in nature; thus, it offers a theoretical framework for investigating strongly correlated systems.
Introduction
Manybody physics of noninteracting systems reduces to the description of a single particle and thus is well understood. In contrast, the understanding of interacting systems remains one of the major open problems of both condensed matter and highenergy physics. Complete analytical solutions are possible in the socalled integrable systems^{1}, which are not robust to perturbations. More generally, one relies on meanfield approaches, density functional theory or perturbation theory to expand around known solvable instances. Such methods can be employed when correlations are weak or interactions induce small corrections to the original state. Many interesting phenomena, however, have nonperturbative origin, such as superconductivity or the fractional quantum Hall effect. Although important insights about such systems have been obtained using variational ansätze^{2,3,4,5}, this approach requires nontrivial physical intuition about the nature of the emerging free quasiparticles. A question of paramount importance arises: is it possible to directly identify the free effective model that is most similar to a given interacting one?
Here we introduce the concept of the interaction distance, , which quantifies the effect of interactions on the ground state of a manybody system. At the same time, we identify the optimal free theory closest to the given interacting model. Our approach employs quantum information inspired techniques to study the correlations of a system witnessed in its entanglement spectrum and to build a general diagnostic tool of interactions. Typically, we find to be small when meanfield theory is applicable, whereas nontrivial behaviour emerges near critical regions. Using the example of the quantum Ising model, we demonstrate that the interaction distance can be calculated efficiently. We envision that finding the optimal free description of interacting systems can help formulate suitable variational ansätze in a variety of areas, ranging from condensed matter to high energy physics. Alternatively, it could be used to develop efficient numerical simulations of interacting systems that scale favourably with the system size.
Results
Overview
The interaction distance , introduced below, quantifies the distance between the reduced density matrix of a manybody state and the closest freeparticle reduced density matrix. We demonstrate that can be calculated efficiently from the entanglement spectrum^{6} and when this distance is small leads to the optimal free model that best describes the lowenergy properties of the interacting system. Near critical regions, behaves nontrivially and its finitesize scaling can be related to the properties of the model under renormalization group flow. As an example, we apply our method to the onedimensional (1D) quantum Ising model in the presence of transverse and longitudinal fields. We demonstrate that this model has ≈0 across the whole phase diagram and we identify its optimal free description. Finally, we present a particular model with nonzero interaction distance in the thermodynamic limit, thus demonstrating its intrinsic interacting nature.
Interaction distance and optimal free model
Consider an arbitrary manybody system prepared in its ground state, . For simplicity, here we consider fermionic systems defined on a lattice, although our approach can be generalized to other systems, as we discuss below. Partitioning the system in two regions, A and its complement B, defines the reduced density matrix ρ=tr_{B}. The entanglement Hamiltonian H_{E}=−ln ρ has eigenvalues {E}, known as the entanglement spectrum^{6}. The entanglement spectrum captures the correlations in the ground state. Moreover, the universal properties of the actual Hamiltonian of the interacting system are reflected in H_{E}^{6,7,8,9}. For this reason, we diagnose the effect of interactions and identify the optimal free model exclusively through groundstate correlations.
We introduce the interaction distance between the interacting ρ and the free σ reduced density matrices
where is the trace distance and is the manifold of all free fermion states. It is worth noting that unlike previous works^{10,11,12,13,14,15,16}, the manifold contains all Gaussian states in any set of fermionic quasiparticle operators {c}. The trace distance has a physical interpretation in terms of distinguishability between ρ and σ when measuring observables^{17}. Alternative statedistance measures can equally well be employed^{18}. The quantity has a geometric interpretation as the distance of the density matrix ρ from .
To compute , we need to perform the minimization in equation (1). We can show that this problem can be reduced to varying only the spectrum of σ. Consider the basis where ρ is diagonal and its entanglement spectrum {E} is available. A general σ∈ need not be diagonal in the same basis as ρ. However, the trace distance between ρ and σ is minimized when σ commutes with ρ, that is, it is simultaneously diagonal with ρ and their eigenvalue spectra are rank ordered^{19}. Indeed, if there existed a σ which minimized but did not commute with ρ, then that minimum would not be a global one. As a consequence, the eigenstates of the optimal model σ are the same as the eigenstates of ρ. Thus, the minimization for obtaining now involves a variation with respect to the eigenvalues of σ that can be given in terms of its entanglement spectrum.
Having to minimize only with respect to the spectrum of σ is a significant simplification of the optimization problem. A further exponential simplification is possible if we consider the structure of its entanglement spectrum. Consider N singleparticle entanglement energies {} with allowed occupations {n_{i}, i=1,…, N; n_{i}=0, 1} corresponding to the independent modes {c} obeying FermiDirac statistics. The full entanglement spectrum {E^{f}} of σ contains exponentially many levels, 2^{N}, as a function of subsystem size N. However, a special property of free systems is that due to Wick’s theorem their entanglement spectrum can be built from a set of singleparticle entanglement energies _{i} according to^{20}
where E_{0} is a normalization constant. The index k runs over the manybody spectrum, and for each k there are associated occupations n_{i}(k)∈{0,1}. Hence, the interaction distance, , can be cast as a minimization with respect to the Nmany singleparticle energies
As N increases at most linearly with system size, expression (3) provides the means to efficiently compute the interaction distance and obtain the optimal free model of any state of an interacting theory whenever its entanglement spectrum {E} is accessible.
According to (3) the interaction distance is zero when the entanglement spectrum of ρ satisfies the combinatorial structure given in (2) for certain singleparticle energies, {}. This generalizes our concept of free models. In general, no ’s exist that satisfy all these constraints as their number grows exponentially with the system size, while the number of ’s grows only linearly. Owing to the properties of the trace distance^{18} we have that the interaction distance takes values ∈[0,1]. The condition =0 corresponds to a system that can be exactly described by the free fermions {c}, while =1 is the maximal distance a state can be from a free description. When is approximately zero, then the deviation in expectation values or correlation functions between ρ and the approximation σ is bounded. In particular, the interaction distance is sensitive only to deviations in the low lying entanglement spectrum, which dominate the expectation values of physical observables.
At this point we might wonder what significance the bipartition holds in definition (1) of the interaction distance. From a quantum information point of view, the partial trace serves as a quantum channel through which we view the ground state. This channel is Gaussian if it maps a Gaussian state to another Gaussian state^{21}. The combinatorial structure of (2) describes the eigenvalue spectrum of any Gaussian density matrix. In matching the spectrum we are testing compatibility between canonical operators in which the original state is a Gaussian state and the quantum channel is Gaussian, and our ability to describe the state in terms of modes separable to A and B. If there exist such modes then is zero.
A useful insight in the form of the modes {c} is given by a constructive derivation of (3) from (1) . The canonical algebra of {c} is invariant under arbitrary unitary transformations on σ. Hence, these transformations keep σ in and contains all of its unitary orbits. Optimizing for the minimum involves the following steps. First, is decomposed into equivalence classes which are the mentioned unitary orbits. Within each class, the trace distance is minimized by a certain representative σ with which ρ commutes^{19}. Then, is obtained by taking the minimum over representatives of each class. As within these unitary orbits the trace distance is minimized when σ and ρ are simultaneously diagonal, the free modes {c} are given as Schmidt vectors corresponding to the singleparticle entanglement levels {} for which we have optimized. Note that the unitarily transformed modes are, in general, a nonlinear combination of the original modes, though they still describe a free model. From the optimal state σ, we can identify an effective free physical Hamiltonian in terms of the emergent quasiparticles {c} and we refer to this as the optimal free model. It can be found via a nonunique procedure^{22,23} which utilizes the twopoint correlations of {c} with respect to σ.
General optimal free description
To determine the value of we have chosen in (2) the statistics of the free quasiparticles to be fermionic. Generalizing further, we could allow for an optimal free description with respect to other quasiparticle statistics than the constituent fermions of the original interacting system. However, systems that comprize quasiparticles with different mutual statistics have in general Hilbert spaces of unequal dimension. This can be directly resolved in the following way. The entanglement spectrum of a pure state can be found from the Schmidt decomposition, ≅V_{A}Σ, where the state has been reinterpreted as a map between the Hilbert spaces of the A and B parts. The isometries V_{A} and V_{B} map from A to B through an intermediate space , the entanglement Hilbert space on which the matrix of singular values Σ and the related entanglement Hamiltonian, H_{E}, are defined. One can increase the dimension of by the addition of zero singular values to Σ and the addition of linearly independent columns to V_{A} and V_{B} so that they remain fullrank, without changing the correlations in . If the dimension of is made to exceed the Hilbert space dimension of either subsystem then the isometries serve as projectors removing nonphysical states with high entanglement energy. This fact allows us to compare interacting systems with optimal free models that may have different Hilbert space dimension.
Efficiency of computing
In the following we shall demonstrate with two examples that the interaction distance, , is a versatile quantity that can be evaluated numerically or analytically. Importantly, the calculation of requires only the knowledge of the ground state; thus, it is more efficient than other possible measures, for example, based on directly comparing the structure of actual energy spectra.
When ρ is the reduced density matrix of a gapped 1D system, then can be numerically determined efficiently with L, the linear size of the system. Gapped 1D states have arealaw entanglement^{24}, which bounds the number of significant levels in the entanglement spectrum in the thermodynamic limit. Below we use the wellknown density matrix renormalization group algorithm (DMRG)^{25} to efficiently obtain ground states of finite 1D systems. Moreover, in this case the low lying {} in (2), and as a consequence the state σ, will converge exponentially fast with L. Thus, the minimization procedure in (3) is also efficient (see Methods), as it need only involve a finite number of significant levels determined by the correlation length, even in the thermodynamic limit.
For critical 1D systems, logarithmic corrections to the area law are possible, which leads to the polynomial complexity in determining ρ. For critical 1D states, a multiscale renormalization ansatz^{26} can be implemented to obtain the entanglement spectrum. If the system is gapless, the number of significant entanglement levels will increase but only polynomially with system size L; hence, the optimization procedure for determining the singleparticle energies remains efficient.
Finally, in higherdimensional systems, our method is reliant on the efficiency of the current methods in the literature for computing the entanglement spectrum of the ground state. For twodimensional (2D) systems, one can use iterative methods such as the Lanczos algorithm to access only the ground state in the exact diagonalization framework. Furthermore, MonteCarlo algorithms^{27} and 2D tensor networks^{28,29} can be used in a variety of systems to variationally approximate the ground state. Then the typical runtime complexity of for an entanglement spectrum from a disk partition is polynomial in the correlation length and thus efficient.
Finitesize scaling of
The quantity , through its dependence on the entanglement spectrum, inherits the information about both short and longwavelength properties of the system. As pointed out by Li and Haldane^{6}, the entanglement spectrum of a gapped phase exhibits a generic separation into the universal longwavelength part and a nonuniversal shortdistance part, the two being separated by the entanglement gap^{6}. Assuming that the linear size of the system’s quasiparticles, , is much smaller than the linear size of the partition A, the longwavelength information corresponds to correlated quasiparticle excitations across the entanglement partition, whereas the shortdistance physics is associated with internal structure of the quasiparticles. The nonuniversal part is thus a boundary effect which is insensitive to variation in the subsystem size. In the thermodynamic limit, the nonuniversal part is exponentially suppressed in a gapped phase^{6}, as seen from (3), and then predominantly describes the universal properties of the system.
At critical points where the quasiparticles remain well defined, that is, stays finite, a large but finite system of linear size chops off some of the correlations between the quasiparticles. We surmize that the finitesize scaling of near such critical regions follows the ansatz
where f is an undetermined function, and ζ and ν are the critical exponents. The constant θ≥0, which vanishes in the standard powerlaw scaling ansatz^{30}, accommodates the fact that the interaction distance is bounded from above, . A simple scaling analysis (see Methods) shows that ν is the correlation length exponent, whereas ζ determines the effect of interactions in the renormalization group sense. For example, when interactions are relevant, should remain nonzero as L increases, which dictates ζ≤0. On the other hand, when interactions are irrelevant, it is expected that decreases with L near the critical regions, in which case ζ>0. However, it is noteworthy that it is possible for interactions to be irrelevant and still yield finite in the thermodynamic limit. This is because, may be sensitive to nonuniversal (short distance) properties of the system, which can give a residual nonzero contribution parametrized by θ.
Application to Ising model
For concreteness we consider the example of the 1D ferromagnetic (FM) and antiferromagnetic (AFM) Ising model in both transverse, h_{z}, and longitudinal, h_{x}, fields (see ref. 31 for a recent review). By using exact diagonalization to determine the entanglement spectrum, we compute across the phase diagram and examine its scaling around criticality and its convergence in the thermodynamic limit. Finally, we find optimal freefermion models for each point (h_{z},h_{x}) of the phase space.
The interacting Hamiltonians are given by
where H_{+} stands for FM and H_{−} for AFM with periodic boundary conditions. In the presence of only transverse field (h_{x}=0), model (5) maps to free fermions via the JordanWigner transformation. A nonzero longitudinal field, h_{x}, introduces nonlocal interactions between fermions. A quantum critical point at h_{z}=1 separates an ordered and a disordered phase of the free system which are related by a selfduality^{32}. The FM model has a single critical point at (h_{z}=1, h_{x}=0), whereas the AFM model has a critical line connecting (h_{z}=1, h_{x}=0) with the classical point (h_{z}=0, h_{x}=2)^{33}.
Minimizing the interaction distance over the phase diagram we find that decays with L away from critical regions as shown in Fig. 1, with the variational parameters {} converging exponentially (see Methods). Thus, the model can be faithfully described by a free theory in these regions of the phase diagram. The exceptions only occur infinitesimally close to the FM critical point and at the AFM classical critical point. This is remarkable because these models are nonintegrable and a priori have strong quantum fluctuations due to all energy scales being comparable in magnitude.
Strong correlations build up near criticality where the effect of interactions is most significant and can take higher values. These regions, however, shrink around criticality as L increases. To examine this we consider the finitesize scaling of using ansatz (4) , as shown in Fig. 2, along the paths h_{z}=1 (FM) and h_{x}=h_{z} (AFM) shown in Fig. 1. It is noteworthy that, despite being near criticality, the values of remain small for both models; thus, we set θ=0 in the ansatz (4). We obtain critical exponents ζ_{FM}≈−1.4 and ζ_{AFM}≈1.11, showing that interactions have a dramatically different effect in the two models. In the FM case the interactions are a singular perturbation to the critical point, whereas in the AFM case their effect diminishes as L increases. This behaviour is consistent with the shrinking of the significant high regions around criticality. Furthermore, the critical exponent ν_{FM}≈0.533, is approximately equal to that of the correlation length =8/15 (ref. 34). Similarly, ν_{AFM}≈1.252 which is within 20% accuracy to the correlation length critical exponent for the same cut ≈1.052, which we obtain numerically. We account for the deviation in ν_{AFM} by small system sizes and the fact that we are not perturbing with an operator that has a welldefined scaling dimension. The critical scaling behaviour of is independently verified by employing the variational DMRG method rather than exact diagonalization, which can efficiently probe significantly larger system sizes (see Methods).
Finally, we are in position to identify the optimal free model that describes the interacting system given by an instance of (5). In particular, we identify the free Ising model H_{±}(,0) with transverse field , whose ground state’s entanglement spectrum matches σ’s obtained from (1) for each point (h_{z},h_{x}). This is simply obtained by minimizing D(σ(h_{z},h_{x}), σ^{f}(,0)) over . As a result we observe that in the FM case, adding infinitesimal interactions to the free Ising model with h_{z}<1 maps the model to a free Ising with h_{z}>1 in a discontinuous way, as shown in Fig. 3a. When h_{z}>1, the introduction of interactions maps the model to a neighbouring free model continuously. In the AFM case, the interactions are irrelevant. Indeed, Fig. 3b shows that the whole phase diagram maps trivially to the free model even very near criticality.
The distance minD(σ,σ^{f}) is shown by the colour scale in Fig. 3. We see that away from criticality σ can be mapped to the free Ising model with a high fidelity. In the thermodynamic limit we expect the critical line of the AFM to also be identified with a free Ising model, because minD(σ,σ^{f}) decreases with L and the conformal field theory, which describes the point (h_{z}=1, h_{x}=0), also governs the entire critical line^{31}. This analysis reveals that the optimal free model is local and fermionic throughout the phase diagrams, except at the critical point of the FM model and the classical critical point of the AFM model whose ground state is macroscopically degenerate.
Maximally interacting model
In the above analysis, we found for the Ising model that the interaction distance vanishes in the thermodynamic limit in almost the entire phase diagram. For that model we identified the optimal free fermion model that effectively describes it throughout the phase space. We now present a truly interacting model that cannot be approximated by free fermions, that is, has a nonzero in the thermodynamic limit, even away from criticality. In our analytical approach, we first construct the entanglement spectrum that gives a nonzero with respect to free fermions. Then, we identify the physical system and emergent quasiparticles that correspond to the derived entanglement spectrum.
We consider the simple case where the entanglement Hamiltonian comprises two fermionic modes. We aim to maximize the interaction distance with respect to the entanglement spectrum {E_{max}} which consists of four levels. We perform a maximization of the interaction distance from freefermion entanglement spectra generated by two singleparticle energies, _{1},_{2}. It can be analytically proven (see Supplementary Note 2) that the maximum interaction distance in this case is
where the maximization is performed with respect to the eigenvalues {λ} of ρ. The spectrum of the reduced state ρ_{max} that maximizes is the maximally mixed rank3 spectrum {λ_{max}}={, , , 0}, with entanglement spectrum {E_{max}}={ln 3, ln 3, ln 3,∞}.
We would now like to find the parent physical system which exhibits such correlations in the ground state so that it saturates the maximum of . As the entanglement spectrum {E_{max}} has a threefold degeneracy, it is natural to consider models which support fractionalized excitations. In particular, a quantum clock model effectively describes the edge physics of a 2D topological phase^{35} and can in principle be realized in the laboratory^{35,36,37,38,39}. The Hamiltonian in the topological phase at its renormalization fixed point is
where τ_{j} are nonHermitian clock operators which commute between sites and can be represented locally as τ_{j}=diag(1, e^{i2π/3}, e^{−i2π/3}) satisfying .
The ground state of (7) hosts topologically protected parafermionic zeromodes exponentially localized on open boundaries^{40}. These correspond to threefold degeneracy in the entanglement spectrum {E}={ln 3, ln 3, ln 3} from maximally entangled pairs of parafermions across each virtual boundary. We have seen in a previous section that we can increase the dimension of the entanglement Hilbert space by introducing completely uncorrelated states that correspond to infinite entanglement energy. Hence, the entanglement spectrum of the model reproduces the aforementioned {E_{max}}. As a result we have readily identified a truly interacting model that gives with respect to free fermions in the thermodynamic limit. Importantly, we have managed to analytically identify the ground state of the corresponding interacting model by considering only the structure of its correlations.
Discussion
In this study we have identified, for a given interacting theory, the optimal free state which is closest to its ground state and introduced the interaction distance between them. Quantifying interactions in such generic terms gives a fresh perspective into the physics of interacting systems. Indeed, our approach extends beyond meanfield theory, which is valid for weak correlations and spatial dimensions above the uppercritical dimension, or perturbation theory which requires weak couplings. Optimizing with respect to the correlations present in the ground state captures faithfully the low energy physics of the interacting system reproducing the observables with bounded error.
We have numerically determined the interaction distance for the 1D Ising model in the presence of transverse and longitudinal fields. We used both exact diagonalization as well as DMRG, thus demonstrating the efficiency in determining for large 1D gapped systems using standard techniques. Further, our diagnostic shows that the ground state of this interacting model in its gapped phases is well described by a free state, requiring exponentially less information to represent than the exact ground state. We expect that this could be generalized to an efficient algorithm for finding a representative (nearly) free state, similar to the DMRG method which constructs a low Schmidt rank approximation to gapped 1D ground states. Alternatively, our method can be combined with analytical wave functions, as in the case of the Bethe ansatz^{41} or the trial wave functions in the quantum Hall effect^{5,42,43}.
We have also verified that there exist quantum states for which ≠0, such as the quantum clock model. Other possible candidates are systems that give rise to exotic phases such as highT_{c} superconductors and states with intrinsic topological order, where interactions play a crucial role. This could establish as an interaction order parameter identifying truly interacting systems, in terms of fermions or bosons, from nearly free ones such as the Ising model. Furthermore, as we have shown for the Ising Model and the model, it is possible to directly identify a parent Hamiltonian for the optimal free state.
In introducing our interaction distance, we have generalized the meaning of freedom in manybody quantum states by choosing the mutual statistics of the free modes we are optimizing over. Varying the statistics of the free modes used in our optimization corresponds to changing the free manifold from which the interaction distance is measured. Our construction can be immediately generalized to softcore bosons by promoting the occupation m of each mode in equation (2) to a variational parameter taking values 1≤m<∞. Taking this further, the singlebody levels themselves can become occupation dependent. Such a modification could accommodate fractionalized excitations in stronglycorrelated states^{44}. Another interesting generalization would be to introduce the notion of entanglement temperature^{45}, which shifts the sensitivity of the measure to other parts of the entanglement spectrum, reflecting entanglement on different length scales. Finally, we mention that methods for measuring entanglement spectra in optical lattices have recently been proposed^{46}. Hence, the interaction distance can be determined for exotic states realized in cold atom systems.
Methods
Optimization
The optimization to find σ and in (3) is performed by a Monte Carlo basinhopping strategy^{47} using the Nelder–Mead simplex algorithm for local minimization within basins of the cost function . This global strategy was selected to counteract an observed tendency for local methods to get trapped in local minima. The initial guess for this search is found as follows. The normalization constant E_{0} is the lowest entanglement energy of the input entanglement spectrum {E}. We iteratively construct an approximate set of singleparticle entanglement energies starting from an empty set. First, we take the lowest remaining level in the spectrum and subtract E_{0} to produce a new singleparticle level _{k}. Then we remove the manybody levels, which are closest to the new combinatorial levels generated according to (2) by the additional singleparticle level. This process is repeated until the input spectrum is exhausted. We can also introduce a truncation of the entanglement spectrum cutting off high entanglement energies, making the construction of the initial guess terminate faster. The minimization of D(σ, σ^{f}) to identify the optimal free model for the Ising Hamiltonian (5) is calculated using a local Nelder–Mead method.
Finitesize scaling
We perform the finitesize scaling according to an ansatz (4). The parameters of the collapse were estimated using the method of ref. 48. From the scaling ansatz (4) and for a trial set of scaling parameters g_{c},ν and ζ, the scaled values x_{L}=(g−g_{c})L^{1/ν} and are calculated from each unscaled data point . From this collection of scaled data points (x_{L},y_{L}) across all L, we implicitly define a socalled master curve that best represents them. This curve y(x) is defined around a point x as the linear regression calculated by taking the scaled data points immediately left and right of x for each system size L. We characterize the deviation of the scaled points (x_{L},y_{L}) from the master curve y(x_{L}) using the χ^{2} statistic. This measure is used as the cost function for an optimization problem over the scaling parameters g_{c}, ν, ζ and θ, which can be solved using the same techniques as the previous problems.
In Fig. 4a, we show calculated from the entanglement spectrum using DMRG^{25}, which extends our results from Fig. 2 in the FM case to larger system sizes inaccessible to exact diagonalization. In Fig. 4b, we show the scaling collapse. We obtain critical exponents ν, ζ, which are consistent with those found with exact diagonalization and ν is consistent with known results of CFT^{34}. There are two differences compared with results in Fig. 2. First, with our larger sizes we become sensitive to the upper bound of , which gives us θ≈0.025. The fact that θ is nonzero is readily apparent in the saturation behaviour visible in the unscaled data and is demanded for consistency with an upper bound. Second, in accordance with common practice, we perform DMRG using open boundary conditions, which changes the nonuniversal function f in the scaling ansatz (4).
To verify our DMRG results we compare obtained by DMRG and exact diagonalization with open boundary conditions. We confirm that they are in excellent agreement, as shown in Fig. 4c. Between iterations in DMRG, the ground state is approximated by retaining a reduced number of entanglement states. They correspond to the greatest Schmidt weights. The interaction distance is insensitive to these approximations inherent in DMRG, because the induced error is comparable to the truncation error which is typically kept to be 10^{−14}. We demonstrate that our DMRG calculations are converged in the number of retained states χ in Fig. 4a. Close to criticality, due to the logarithmic growth in entanglement, we need to retain more states for larger L. The result is already converged for χ=64 at the largest L studied, which justifies our approximation in retaining this number of states in the finitesize scaling. It is worth noting that the singleparticle entanglement energies converge exponentially away from criticality exponentially (as discussed in Supplementary Note 1).
Data availability
All data presented in this work are available from the authors upon request. Statement of compliance with EPSRC policy framework on research data: this publication is theoretical work that does not require supporting research data.
Additional information
How to cite this article: Turner, C. J. et al. Optimal free descriptions of manybody theories. Nat. Commun. 8, 14926 doi: 10.1038/ncomms14926 (2017).
Publisher’s note: Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
References
 1
Sutherland, B. Beautiful Models: 70 Years of Exactly Solved Quantum Manybody Problems World Scientific (2004).
 2
Feynman, R. P. Atomic theory of the twofluid model of liquid helium. Phys. Rev. 94, 262–277 (1954).
 3
Bardeen, J., Cooper, L. N. & Schrieffer, J. R. Theory of superconductivity. Phys. Rev. 108, 1175–1204 (1957).
 4
Gutzwiller, M. C. Effect of correlation on the ferromagnetism of transition metals. Phys. Rev. Lett. 10, 159–162 (1963).
 5
Laughlin, R. B. Anomalous quantum Hall effect: an incompressible quantum fluid with fractionally charged excitations. Phys. Rev. Lett. 50, 1395–1398 (1983).
 6
Li, H. & Haldane, F. D. M. Entanglement spectrum as a generalization of entanglement entropy: identification of topological order in nonabelian fractional quantum Hall effect states. Phys. Rev. Lett. 101, 010504 (2008).
 7
Calabrese, P. & Lefevre, A. Entanglement spectrum in onedimensional systems. Phys. Rev. A 78, 032329 (2008).
 8
Qi, X.L., Katsura, H. & Ludwig, A. W. W. General relationship between the entanglement spectrum and the edge state spectrum of topological quantum states. Phys. Rev. Lett. 108, 196402 (2012).
 9
Qi, X.L., Wu, Y.S. & Zhang, S.C. General theorem relating the bulk topological number to edge states in twodimensional insulators. Phys. Rev. B 74, 045125 (2006).
 10
Genoni, M. G., Paris, M. G. A. & Banaszek, K. Quantifying the nonGaussian character of a quantum state by quantum relative entropy. Phys. Rev. A 78, 060303 (2008).
 11
Marian, P. & Marian, T. A. Relative entropy is an exact measure of nonGaussianity. Phys. Rev. A 88, 012322 (2013).
 12
Gertis, J., Friesdorf, M., Riofro, C. A. & Eisert, J. Estimating strong correlations in optical lattices. Phys. Rev. A 94, 053628 (2016).
 13
Schilling, C., Gross, D. & Christandl, M. Pinning of fermionic occupation numbers. Phys. Rev. Lett. 110, 040404 (2013).
 14
Byczuk, K., Kuneš, J., Hofstetter, W. & Vollhardt, D. Quantification of correlations in quantum manyparticle systems. Phys. Rev. Lett. 108, 087004 (2012).
 15
Gottlieb, A. D. & Mauser, N. J. Nonfreeness and related functionals for measuring correlation in manyfermion states. Preprint at https://arxiv.org/abs/1510.04573 (2015).
 16
Zhang, J. M. & Kollar, M. Optimal multiconfiguration approximation of an nfermion wave function. Phys. Rev. A 89, 012504 (2014).
 17
Fuchs, C. A. & van de Graaf, J. Cryptographic distinguishability measures for quantummechanical states. IEEE Trans. Inf. Theory 45, 1216–1227 (1999).
 18
Nielsen, M. A. & Chuang, I. L. Quantum Computation and Quantum Information Cambridge Univ. Press (2011).
 19
Markham, D., Miszczak, J. A., Puchała, Z. & Życzkowski, K. Quantum state discrimination: a geometric approach. Phys. Rev. A 77, 042111 (2008).
 20
Peschel, I. Calculation of reduced density matrices from correlation functions. J. Phys. A 36, L205 (2003).
 21
Weedbrook, C. et al. Gaussian quantum information. Rev. Mod. Phys. 84, 621–669 (2012).
 22
Fidkowski, L. Entanglement spectrum of topological insulators and superconductors. Phys. Rev. Lett. 104, 130502 (2010).
 23
Holevo, A. S. & Werner, R. F. Evaluating capacities of bosonic gaussian channels. Phys. Rev. A 63, 032312 (2001).
 24
Hastings, M. B. An area law for onedimensional quantum systems. J. Stat. Mech. Theor. Exp. 2007, P08024 (2007).
 25
White, S. R. Density matrix formulation for quantum renormalization groups. Phys. Rev. Lett. 69, 2863–2866 (1992).
 26
Vidal, G. Class of quantum manybody states that can be efficiently simulated. Phys. Rev. Lett. 101, 110501 (2008).
 27
Zhang, S. Quantum Monte Carlo Methods for Strongly Correlated Electron Systems Springer (2004).
 28
Verstraete, F., Murg, V. & Cirac, J. I. Matrix product states, projected entangled pair states, and variational renormalization group methods for quantum spin systems. Adv. Phys. 57, 143–224 (2008).
 29
Orús, R. A practical introduction to tensor networks: matrix product states and projected entangled pair states. Ann. Phys. 349, 117–158 (2014).
 30
Fisher, M. E. & Barber, M. N. Scaling theory for finitesize effects in the critical region. Phys. Rev. Lett. 28, 1516–1519 (1972).
 31
Dutta, A. et al. Quantum Phase Transitions in Transverse Field Models Cambridge Univ. Press (2015).
 32
Kramers, H. A. & Wannier, G. H. Statistics of the twodimensional ferromagnet. Part I. Phys. Rev. 60, 252–262 (1941).
 33
Ovchinnikov, A. A., Dmitriev, D. V., Krivnov, V. Y. & Cheranovskii, V. O. Antiferromagnetic Ising chain in a mixed transverse and longitudinal magnetic field. Phys. Rev. B 68, 214406 (2003).
 34
Zamolodchikov, A. B. Integrals of motion and Smatrix of the (scaled) T=T c Ising model with magnetic field. Int. J. Mod. Phys. A 04, 4235–4248 (1989).
 35
Alicea, J. & Fendley, P. Topological phases with parafermions: theory and blueprints. Annu. Rev. Condensed Matter Phys. 7, 119–139 (2016).
 36
Klinovaja, J., Yacoby, A. & Loss, D. Kramers pairs of majorana fermions and parafermions in fractional topological insulators. Phys. Rev. B 90, 155447 (2014).
 37
Vaezi, A. Fractional topological superconductor with fractionalized majorana fermions. Phys. Rev. B 87, 035132 (2013).
 38
Cheng, M. Superconducting proximity effect on the edge of fractional topological insulators. Phys. Rev. B 86, 195126 (2012).
 39
You, Y.Z. & Wen, X.G. Projective nonabelian statistics of dislocation defects in a rotor model. Phys. Rev. B 86, 161107 (2012).
 40
Jermyn, A. S., Mong, R. S. K., Alicea, J. & Fendley, P. Stability of zero modes in parafermion chains. Phys. Rev. B 90, 165106 (2014).
 41
Bethe, H. Zur Theorie der Metalle. Zeitschr. Phys. 71, 205–226 (1931).
 42
Read, N. & Rezayi, E. Beyond paired quantum Hall states: parafermions and incompressible states in the first excited Landau level. Phys. Rev. B 59, 8084–8092 (1999).
 43
Moore, G. & Read, N. Nonabelions in the fractional quantum Hall effect. Nuclear Phys. B 360, 362–396 (1991).
 44
Davenport, S. C., Rodríguez, I. D., Slingerland, J. K. & Simon, S. H. Composite fermion model for entanglement spectrum of fractional quantum Hall states. Phys. Rev. B 92, 115155 (2015).
 45
Chandran, A., Khemani, V. & Sondhi, S. L. How universal is the entanglement spectrum? Phys. Rev. Lett. 113, 060501 (2014).
 46
Pichler, H., Zhu, G., Seif, A., Zoller, P. & Hafezi, M. Measurement protocol for the entanglement spectrum of cold atoms. Phys. Rev. X 6, 041033 (2016).
 47
Wales, D. J. & Doye, J. P. K. Global optimization by basinhopping and the lowest energy structures of LennardJones clusters containing up to 110 atoms. J. Phys. Chem. A 101, 5111–5116 (1997).
 48
Houdayer, J. & Hartmann, A. K. Lowtemperature behavior of twodimensional gaussian Ising spin glasses. Phys. Rev. B 70, 014418 (2004).
Acknowledgements
We thank M. Barkeshli, B. Doyon, P. Fendley, G. Giedke, J. GarciaRipoll, S. Iblisdir, A. Läuchli, T. Neupert, D. Poilblanc, A. Polkovnikov, K. Shtengel and S. Simon for inspiring conversations and useful comments. This work was supported by the EPSRC grants EP/I038683/1, EP/M50807X/1 and EP/P009409/1.
Author information
Affiliations
Contributions
All authors contributed to developing the ideas, analysing the results and writing the manuscript. C.J.T. implemented the algorithm.
Corresponding authors
Ethics declarations
Competing interests
The authors declare no competing financial interests.
Supplementary information
Supplementary Information
Supplementary Figures, Supplementary Notes and Supplementary References (PDF 165 kb)
Rights and permissions
This work is licensed under a Creative Commons Attribution 4.0 International License. The images or other third party material in this article are included in the article’s Creative Commons license, unless indicated otherwise in the credit line; if the material is not included under the Creative Commons license, users will need to obtain permission from the license holder to reproduce the material. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/
About this article
Cite this article
Turner, C., Meichanetzidis, K., Papić, Z. et al. Optimal free descriptions of manybody theories. Nat Commun 8, 14926 (2017). https://doi.org/10.1038/ncomms14926
Received:
Accepted:
Published:
Further reading

Quantifying the Efficiency of State Preparation via Quantum Variational Eigensolvers
PRX Quantum (2021)

Free fermion representation of the topological surface code
The European Physical Journal B (2020)

Correlation Paradox of the Dissociation Limit: A Quantum Information Perspective
Journal of Chemical Theory and Computation (2020)

Efficiency of free auxiliary models in describing interacting fermions: From the KohnSham model to the optimal entanglement model
Physical Review B (2019)

Interaction distance in the extended XXZ model
Physical Review B (2019)
Comments
By submitting a comment you agree to abide by our Terms and Community Guidelines. If you find something abusive or that does not comply with our terms or guidelines please flag it as inappropriate.