SciPost Submission Page
Quantifying the effect of interactions in quantum manybody systems
by Jiannis K. Pachos, Zlatko Papic
This Submission thread is now published as
Submission summary
Authors (as registered SciPost users):  Zlatko Papic 
Submission information  

Preprint Link:  https://arxiv.org/abs/1803.06812v3 (pdf) 
Date accepted:  20180829 
Date submitted:  20180621 02:00 
Submitted by:  Papic, Zlatko 
Submitted to:  SciPost Physics Lecture Notes 
Ontological classification  

Academic field:  Physics 
Specialties: 

Approaches:  Theoretical, Computational 
Abstract
Free fermion systems enjoy a privileged place in physics. With their simple structure they can explain a variety of effects, ranging from insulating and metallic behaviours to superconductivity and the integer quantum Hall effect. Interactions, e.g. in the form of Coulomb repulsion, can dramatically alter this picture by giving rise to emerging physics that may not resemble free fermions. Examples of such phenomena include hightemperature superconductivity, fractional quantum Hall effect, Kondo effect and quantum spin liquids. The nonperturbative behaviour of such systems remains a major obstacle to their theoretical understanding that could unlock further technological applications. Here, we present a pedagogical review of "interaction distance" [Nat. Commun. 8, 14926 (2017)]  a systematic method that quantifies the effect interactions can have on the energy spectrum and on the quantum correlations of generic manybody systems. In particular, the interaction distance is a diagnostic tool that identifies the emergent physics of interacting systems. We illustrate this method on the simple example of a onedimensional FermiHubbard dimer.
Author comments upon resubmission
thank you for arranging the review of our manuscript and for forwarding us the report of the Referee.
We thank the Referee for his/her detailed reading of our paper and for providing an extensive list of comments that helped us improve the presentation of our manuscript. The Referee wrote that we provided a “clear introduction” to an “interesting” and “very recent” topic. The Referee expressed some doubts over whether our manuscript meets the criteria for a “review article” in SciPost.
We emphasise that our manuscript was submitted to “Lecture Notes” category of SciPost, thus we did not aim to give a review of this research topic. (We apologise for not using the correct template for “Lecture Notes” in the TeX file, which would have shown this more clearly. We have now fixed this.) Therefore, our motivation was to provide an accessible introduction at the level of Master and PhD students. Indeed, as the Referee correctly observed, the subject of our manuscript is very new and the method has only been used in a few papers. Thus, we agree with the Referee that a standard review paper would be premature at this point. The main purpose of this manuscript is to inspire a broader investigation of the emerging topic we believe to be important, and to clearly introduce the required theoretical concepts at a pedagogical level that would be directly helpful to other researchers. Because of this, we have not performed the extensive further calculations that were suggested by the Referee:
>2 provide a more detailed review of the applications of the method to larger systems, including
>some plots and assessment of the conceptual and practical of the method: how useful is it if the
>system is not exactly effectively free? can one already make statements for what kind of
>interactions the method works well and why?
We believe these suggestions are valid and interesting to investigate, but they would change the scope of our manuscript into a research article, which is not our goal.
However, we did take into account all the suggestions of the Referee how to improve the presentation and we have added citations to some of the suggested works in the literature. Below we address in detail the individual comments of the Referee.
>1 add material placing the interactiondistance method in the context of prior studies of
>effectively free models
As we do not aim to provide a review on the topic we restrict in these lecture notes to describe textbook methods, like the mean field theory and the density functional theory. These are presented and referenced in the introduction, page 1. For completeness, we now include 7 references on prior studies with a more specialised aim of quantifying Gaussianity of quantum states.
>3 The set of free/Gaussian states (or the set of free spectra within R^{2^N}) is not convex;
>maybe it would be advantageous to have that fact reflected in Fig. 2.
>In general, lack of convexity may imply that there is no unique closest
>free state/free spectrum to a given nonfree state rho, while in the
>authors seem to tacitly assume that there is (referring to "the
>closest state" in several occasions). Could they comment on this issue?
We do not have a deep understanding of the structure of the manifold F. We agree with the Referee that in general there may not be a unique optimal free model. We have not directly encountered such a possibility in any of the cases we have studied so far. Thus, the cases with multiple optimal free models might be an exception rather than a general rule. Because of this, we have decided not to modify Fig.2, which is supposed to represent a general sketch rather than precise map of the manifold F. However, we have inserted a comment in the text about the possibility of the optimal free state not being unique.
>4 For any given state rho there is a unique free state with the same
>covariance matrix (the "Gaussian reference" of Ref. [38]) which is
>in many respects the "free state closest to rho". Does it have any
>relation to the one minimizing the interaction distance? (I assume
>that not since the nonfree transformation U will in general change
>the covariance matrix of the state.)
We respectfully disagree with the Referee that the “Gaussian reference” state is “in many respects the free state closest to rho”. In previous works in the quantum information literature, such as Ref.38, the variational optimization over the free modes was not performed. Thus, the Gaussian reference state used there is practically never the optimal free state that we find. This can be seen, e.g., in the quantum Ising model, which we find to be free for any value of the transverse field.
>5 The interaction distance is sometimes taken as a property of a state,
>sometimes as that of a system, described by a Hamiltonian. One can
>take both perspectives, but I think it would be worthwhile to
>differentiate: in some cases, D_th(rho) may only allow statements
>about that specific state (and its vicinity), and only
>the knowledge of {D_th(rho(beta)) all beta>0} fully characterizes
>the system, while in other cases (eg., if D_th(rho)=0 for a fullrank
>state) it seems that a single state may allow to characterize the
>system itself (i.e., the Hamiltonian).
>For D_ent, it is not so clear if the results for a given eigenstate
>have any bearing on other eigenstates or the system/Hamiltonian in
>general.
>I think that explaining these two perspectives (or explicitly
>focusing on one of them) might further clarify the exposition.
The Referee’s intuition is correct; indeed, D_th and D_ent have different physical meaning, and different conclusions can be drawn by studying them separately. This is discussed at length in our Section 6.2, which carefully defines and distinguishes these two quantities. In particular, we caution that knowing D_ent for a single state provides limited information about the entire system, and also noted the dependence on the entanglement partition. We also discuss the interrelation between D_th and D_ent in the same section.
>6 Is there a particular reason to define interaction distance using the trace
>distance (rather than other metrics on Hilbert space like the
>HilbertSchmidtdistance/2norm or relative entropy)?
>What is the interaction distance of a random/generic state in a 2^N
>dimensional Hilbert space? I think that number would be more telling than
>the upper bound in what makes a state "close" to F.
Indeed, it is not necessary to use trace distance, which is merely one convenient choice to define D_F. Other quantities, such as relative entropy, can equally be used. We have inserted a comment about this in the paper.
Regarding D_F of a random state, in unpublished work we have investigated this in some detail for the case of entanglement interaction distance. We were not able to obtain analytical result for D_ent of a random state, but from numerically sampling random states, we found that the probability distribution of D_ent is lognormal, with a peak between 0.010.02. This is indeed much smaller than the maximal value of D_ent, which is roughly 1/6. Since these are unpublished results, which require much further work to be analytically substantiated, we have decided not to include them in these lecture notes.
However, we are not sure whether we agree with the Referee that D_ent of a random state is “more telling” than the upper bound (1/6). Our focus is mainly on ground states of ordered systems, which are rather far from random states.
Random states are a good starting point for the discussion of thermal (highly excited) states, which have closetomaximal entanglement. Entanglement is simply a very different concept from interaction distance. The maximally interacting states we identified with parafermion or stringnet ground states are indeed very far from random states and of much interest for their fundamental properties and for their applications.
>7 p12: the authors point out that D_th and D_ent can each be zero when
>the other is not. While this is clearly correct, it seems
>counterintuitive due to the fact that D_th=0 implies that the
>system is described exactly by effective free quasiparticles (H of
>form eq.(15), and, in particular, all eigenstates are free in this
>new basis. Can this be used to argue that D_ent must be small,
>since if the regions A, B are much larger than the size of the
>quasiparticles, also the reductions of the eigenstates should be
>free (up to contributions from quasiparticles living on the
>boundary)?
It may be common to find an agreement between the values of D_ent and D_th, when they become zero and when they are nonzero. Nevertheless, in strongly interacting cases that are of interest due to their exotic properties, such as stringnet models or parafermion models, one could expect to establish such conditions independently from each other. We felt it is best to leave this general possibility open. Further investigations are needed to draw more concrete results about the relation between D_ent and D_th in specific cases.
>8 p16, eq.(33): shouldn't there be a 2nd correction on the RHS: in addition
>to the one arising from E_k = E_k^f + Delta E_k one from the perturbative
>correction to Z? (which would replace Delta E_k by Delta E_k\sum_l Delta
>E_l e^{beta E^f_l})
We thank the Referee for pointing out this mistake. We have corrected the expression by substituting Delta E_k with Delta E_k\sum_l Delta E_l e^{beta E^f_l}/Zf. This error, however, has no bearing on the results on Section 8 where the correct expression was used in the first place.
>9 p21: the authors characterize D_F as a "diagnostic tool" and state
>that finding the spectrum and/or ground state is first needed. I
>have several questions on this: how useful is the distance if only
>the spectrum but not the corresponding eigenstates are known?
>If only a part of the spectrum is known, say the first m<<2^N
>eigenvalues, can one still obtain useful bounds on D_F? How large would m
>have to be (at given temperature)?
Indeed, we emphasize that D_F can be obtained efficiently if only the spectrum of a density matrix is known. While this in itself is an interesting possibility (which was not appreciated before our work), clearly there is much more information about the system which can be determined from the eigenvectors of the density matrix. For physical applications, such as in condensed matter physics, it is particularly important to know when D_F vanishes. In such regimes of parameters, other techniques can then be employed to find approximately free description of the system. For example, this is an approach we have used in classifying parafermion chains.
It would indeed be interesting to know what is the bound on D_F when only a part of the spectrum is known. Unfortunately, this is rather challenging, because D_F involves a nonlinear optimization problem. We leave this question to future investigations.
>* p6: thermalization: the authors appear to imply that free
>systems cannot thermalize. This seems to be in contradiction with
>results such as PRL 117, 190602 (2016) or PRL 100, 030602 (2008)
>for bosonic systems. Maybe the authors could clarify.
We thank the Referee for raising this point. Thermalisation of free systems can occur locally, in subparts of the total Hilbert space corresponding to a conserved charge, as the indicated references clearly state. Nevertheless, this does not mean that a free system thermalises in its entirety. This is in contrast to what can happen in a generic interacting system. Our statement refers to the case of the entire closed system, and we do not see a conflict with the stated references.
>* p7, after eq.(11): better "beta E_k >> 1"
We have made the suggested modification.
>* p9, 1st line: due to the ambiguity of "nonlinear" maybe add
"(nonfree/nonGaussian)" and/or that U is unitary.
We have added this clarification.
>* p10, eq.(17): maybe note that states that do not have full rank are only
limits of expressions such as eq.(17).
>* p10: "we consider a generic density matrix": what means generic? which
"nongeneric" effects are excluded here?
We have replaced “generic” with “arbitrary”, which is what we had intended to say.
>* p11, after eq.(19): in which sense is the computation "efficient"
given that there are exponentially many terms in the sum eq.(19)?
Indeed, there are exponentially many (in the subsystem size) terms in the sum in Eq.19, but because they are exponentially decaying, the evaluation of the sum can be terminated once convergence is reached.
>* p11, the measures for nonGaussianity (of boson states) are nor
restricted to single modes. On might add QIP 11(3), 853–872 (2012),
which also introduces such a measure. The main difference to the
authors' approach is that these measures do not allow for nonlinear
transformations of the mode operators.
We thank the Referee for bringing to our attention the QIP reference, which we have now cited in the paper. Indeed, like other references on Gaussian quantum information that we cited, this paper is quite different from our work because it does not include the mentioned nonlinear transformations of the mode operators.
>* p12, Fig. 3, caption typo "compliment"
We have fixed this typo.
>* p12: the authors write that to conclude that the correlations in a state
>Psi_k> are those of free fermions it is necessary (but enough) to check the
>interaction distance of the reduced DM for all admissible bipartitions.
>It is not clear to me that this is sufficient. How can one exclude the
>possibility that all reduced states are Gaussian but there is no global
>Gaussian state compatible with all reductions?
We agree with the Referee that such a scenario is possible. To clarify it we added the following sentences: “In this case we assume that there is a global optimal Gaussian state that effectively describes the system. Nevertheless, it is possible that even if the correlations between all partitions are of free fermions, the total state is not reproducible by a Gaussian state.”
>* p12: which bipartitions are to be considered? the discussion of
>”shortdistance" physics and "size of quasiparticles" suggests
>spatially contiguous ranges. or should one also think about
>bipartite lattices or partitions according to internal degrees of
>freedom like spin?
Because D_F is sensitive to correlations between the emerging quasiparticles, we consider contiguous real space partitions. We have inserted a comment about this in the text.
>* p13: the authors point out the flexibility in adding empty modes, i.e., that
>in general D_F can be lowered by adding empty modes: D_F(rho\oplus 0_m) <=
>D_F(rho). Are there examples where this makes a significant difference?
>Should one then define the lim_{m\to\infty} as the true interaction
>distance? Is there a finite m (fixed by the rank of the original
>state?) beyond which it is not useful to go?
Our optimisation algorithm for minimising D(rhosigma) is constructed to add a number of such empty modes and verify if the trace distance becomes smaller. This we can verify numerically but we cannot make general statements as the optimisation is over nonlinear functions.
>* p17: after eq.(45) the authors write about "the transition", later on they
>mention "critical point" (p18) and "thermodynamiclimit transition point"
>(p20), but in the initial discussion of the model no such point is
>mentioned. I think that should be done before the interactiondistance
>calculation and discussion.
We have inserted a comment motivating the transition in the Hubbard dimer, including a reference to its experimental realisation with cold atoms.
>* p20: "determining the interaction distance ... also specifies the optimal
>free state": however, as far as I can see, knowing the distance
>does, in general, not directly give the closest state  hence is
>this conclusion specific to the computation of D_F via full
>diagonalization of rho (that also gives their eigenstates)?
Yes, the guess of the Referee is correct. When one diagonalises rho then its eigenstates are available. The optimisation provides the eigenvalues of sigma in the same basis as rho. So the complete optimal state sigma is available by determining D_F.
>* p21: about the FermiHubbard model and the parafermion chains at the
>fixed point having zero D_ent: to which eigenstate(s) of the system
>does D_ent refer here?
This refers to the ground state. We have clarified this in the text.
>* references: Ref. [42] duplicates [14]; typos (missing capitalization of
>German nouns resp. proper names in Refs. [8, 11, 25, 28, 30 43, 44, 50]); is
>”z n" should probably Z_N in Ref. [46]? The doi in [7,28] should not
>contain the URL.
We have cleaned up the formatting of all references.
We hope that the revised version of our manuscript is now ready for publication in SciPost.
Sincerely,
The Authors
List of changes
1. We have now included 7 references on prior studies with a more specialised aim of quantifying Gaussianity of quantum states.
2. We have inserted a comment about the possibility of the optimal free state not being unique.
3. We have inserted a comment about the possibility of using other distance measures other than the trace distance.
4. We have fixed the mistake in the perturbative expression for $Delta E_k$.
5. We have added the condition $\beta E_k \gg 1$, as suggested by the Referee.
6. We have added the clarification "nonfree/nonGaussian" to remove ambiguity of "nonlinear", as suggested by the Referee.
7. We have explained what "efficient" means after Eq.19.
8. We have added the suggested reference QIP 11(3), 853–872 (2012).
9. We have fixed a typo in Fig.3 caption.
10. We have added a comment regarding the existence (or possible lack of) a global Gaussian state valid for all bipartitions, as prompted by the Referee.
11. We have inserted a comment about the type of partitioning we consider in evaluating $D_\text{ent}$.
12. We have inserted a comment motivating the transition in the Hubbard dimer, including a reference to its experimental realisation with cold atoms.
13. We have clarified that we refer to the ground state of the Hubbard dimer.
14. We have cleaned up the formatting of all references.
Published as SciPost Phys. Lect. Notes 4 (2018)
Reports on this Submission
Anonymous Report 1 on 2018629 (Invited Report)
 Cite as: Anonymous, Report on arXiv:1803.06812v3, delivered 20180629, doi: 10.21468/SciPost.Report.520
Strengths
1 clear, uptodate introduction to the topic
2 provides different, more accessible pace and style compared to research articles
Weaknesses
1 young and rather narrow topic, lecture notes may soon be superseded
2 method has not yet been adopted beyond its inventors
Report
The authors have addressed the points I raised and made a number of small changes to the manuscript, while leaving other questions to future research, which is fair enough as the lecture notes should
reflect the state of current knowledge. (I apologize for not having noticed the designation as "Lecture Notes": it was mentioned in the email but not noticeable from the manuscript.) ..............................................................................................................................................................................................................
I think the manuscript provides a clear and didactic introduction to
the interaction distance, summarizing the present state of knowledge. It
provides, in particular (and in distinction from the research papers
on which it is based), a broad introduction and motivation and a
detailed discussion of a simple application.
........................................................................................................................................................
As SciPost does not specify any restictions regarding the expected breadth or narrowness of the lecture notes, nor regarding the maturity of the topics covered by the same, and since the present manuscript is of good quality and covers subject matter belonging to the scope of SciPost Physics Lecture Notes, I recommend its publication.
Requested changes
0 not requested, only suggested changes, and answers to some comments by the authors.
1 regarding the "Gaussian reference state": I don't mean to argue with the authors about whether it is in "many" or "some" cases the free state closest to rho: it plays this role in the quantum informationrelated approaches the authors cite. Therefore, I think it would be useful and appropriate to point out that the authors' approach usually leads to a very different state.
2 regarding D_F of a random state: I don't insist on "more telling", but I would argue that D_F for a random state gives a better idea for what D_F should be considered "small" than only knowing D_F^max. I think that it would be worthwhile to include the authors' remarks on this subject is some form (footnote or remark) in the manuscript. I'm not sure how much of a role the "orderedness" of the system under consideration plays given that by definition interaction distance is optimized over an *arbitrary* unitary (that can upend all (e.g., local) structure possibly existing in the initial
state). The question of what represents a random (unbiased) choice of a state brings its own complications and goes well beyond these lecture notes.
3 it might be worth remarking that the authors' approach (applied here to states) could equally well be discussed for Hamiltonians, unitaries, or completely positive maps  all of which also have a distinctive spectrum when they are free/Gaussian and for which the basis in which they closest to being free would be of interest.
Author: Zlatko Papic on 20180707 [id 287]
(in reply to Report 1 on 20180629)
We thank the Referee for reviewing the changes we have made to the manuscript, and for recommending publication.
We have incorporated the final three comments on the Referee:
1  At the end of Section 6.1, we note that minimisation in Eq.19 may lead to different sets of single particle energies $\{ \epsilon_i \}$ that give the same $D_F(\rho)$. We expect these coincidences to be rare and unstable against variations in the couplings of the model.
2  In Section 6.3, we note that a random vector typically has $D_F$ much smaller than the upper bound.
3  In Conclusions section, we note that analogous measure to $D_F$ can be generalised to compare unitaries or complete positive maps to their free fermion, Gaussian behaviour.
We hope that after these changes, our manuscript is ready for publication.
Sincerely,
The Authors
Author: Zlatko Papic on 20180707 [id 288]
(in reply to Report 1 on 20180629)We thank the Referee for reviewing the changes we have made to the manuscript, and for recommending publication.
We have incorporated the final three comments of the Referee:
1  At the end of Section 6.1, we note that minimisation in Eq.19 may lead to different sets of single particle energies $\{ \epsilon_i \}$ that give the same $D_F(\rho)$. We expect these coincidences to be rare and unstable against variations in the couplings of the model.
2  In Section 6.3, we note that a random vector typically has $D_F$ much smaller than the upper bound.
3  In Conclusions section, we note that analogous measure to $D_F$ can be generalised to compare unitaries or complete positive maps to their free fermion, Gaussian behaviour.
We hope that after these changes, our manuscript is ready for publication.
Sincerely,
The Authors