SciPost Submission Page
Operator Entanglement in Local Quantum Circuits I: Maximally Chaotic DualUnitary Circuits
by Bruno Bertini, Pavel Kos, Tomaz Prosen
This is not the latest submitted version.
This Submission thread is now published as
Submission summary
Authors (as registered SciPost users):  Bruno Bertini · Pavel Kos 
Submission information  

Preprint Link:  https://arxiv.org/abs/1909.07407v1 (pdf) 
Date submitted:  20191001 02:00 
Submitted by:  Bertini, Bruno 
Submitted to:  SciPost Physics 
Ontological classification  

Academic field:  Physics 
Specialties: 

Approach:  Theoretical 
Abstract
The entanglement in operator space is a well established measure for the complexity of the quantum manybody dynamics. In particular, that of local operators has recently been proposed as dynamical chaos indicator, i.e. as a quantity able to discriminate between quantum systems with integrable and chaotic dynamics. For chaotic systems the localoperator entanglement is expected to grow linearly in time, while it is expected to grow at most logarithmically in the integrable case. Here we study localoperator entanglement in dualunitary quantum circuits, a class of "statistically solvable" quantum circuits that we recently introduced. We show that for "maximallychaotic" dualunitary circuits the localoperator entanglement grows linearly and we provide a conjecture for its asymptotic behaviour which is in excellent agreement with the numerical results. Interestingly, our conjecture also predicts a "phase transition" in the slope of the localoperator entanglement when varying the parameters of the circuits.
Current status:
Reports on this Submission
Report #2 by Anonymous (Referee 2) on 2020210 (Invited Report)
 Cite as: Anonymous, Report on arXiv:1909.07407v1, delivered 20200210, doi: 10.21468/SciPost.Report.1483
Strengths
1: Relevant problem: characterization of quantum chaotic behavior by entanglement of local operators.
2: Precise statements of goals, techniques and results
3: Interesting models proposed, with a clear algebraic formulation allowing for exact limit results and conjecture on asymptotic behavior backed by numerical datas.
Weaknesses
1: Technical aspects should be precised
2: Link between two definitions of maximally chaotic should be established
3: Conjecture on asymptotic behavior as combination of limit behaviors should be justified a priori, or at least interpreted.
Report
A very interesting, very clear and well written paper on a highly relevant subject which has attracted much attention recently. Many interesting analytical results, and a highly non trivial conjecture backed by excellent numerical datas. Recommanded for publication after some issues are clarified.
Requested changes
1: "Maximally chaotic" is characterized in the Introduction as "no conservation law" (which seems perfectly relevant in an integrability context) whereas it is characterized in Def. 4.1 as "only (48) are eigenvectors of [either row transfer matrix] with eigenvalues of unit magnitude". How does one go from one definition to the other ?
2: A related question would be: how to prove that given "dual unitary quantum circuits" have NO dynamical conservation laws ? Already not obvious to me regarding local conservation laws; Paper II shows that specific dual quantum circuits may exhibit local conservation laws; how to prove their absence is more complicated. Even worse: possible nonlocal conservation laws are usually quite difficult to construct, hence their absence is probably quite difficult to prove either.
3: Why are transfer matrices contracting operators (eqn. 47) ?
4: The two statements after Definition 4.1 seem contradictory: "... (48) are generically only a subset of the eigenvectors of [...] associated with eigenvalue 1" vs. "For generic dual unitary circuits there are no eigenvectors of [...] with unit magnitude eigenvalue other than (48)". The meaning of "generic" in both cases should probably be clarified.
5: What would be the meaning of the conjecture 5.1 ? Is there a physical interpretation of this decoupling of asymptotic behaviour at large x,t as a sum of two noninteracting limits : (x) to infinity + (x+) to infinity ?
Report #1 by Jerome Dubail (Referee 1) on 2019116 (Invited Report)
 Cite as: Jerome Dubail, Report on arXiv:1909.07407v1, delivered 20191106, doi: 10.21468/SciPost.Report.1301
Strengths
1 Very interesting problem and timely results
2 Beautiful “dual unitary” models solvable by new methods; new definition of “maximal chaos” in that context
3 Exact results
4 Interesting new conjecture about growth of operator entanglement, strongly supported by numerics
Weaknesses
1 Only minor ones. The physical discussion of the conjecture and its possible implications could probably be expanded. A few technical steps in the derivation of the results could be made more accessible to the reader.
Report
This is an excellent paper with very interesting and timely results on a difficult problem. The authors provide a detailed study of the growth of operator entanglement of local operators in Heisenberg picture (a quantity they propose to call 'local operator entanglement') in a class of solvable onedimensional chaotic quantum spin chains. Those 'dualunitary' models were introduced by the authors themselves in a series of recent papers.
The results presented here provide analytical support for claims made in other recent papers on local operator entanglement: this quantity grows linearly with time in chaotic spin chains. This is in contrast with nonchaotic systems, where it is conjectured to grow at most logarithmically.
Also, an interesting new conjecture is presented about the exact rate of the linear growth, which is well supported by numerical results.
I recommend publication of this manuscript in Scipost. The authors may want to consider the suggestions/remarks below before publication.
Requested changes
1 Abstract: perhaps it should be said explicitly that 'maximallychaotic' here refers to a specific definition $$valid in the context of dualunitary models$$ which is new and appears in this paper for the first time.
2 Eq. (2): clearly in the product $U^{\otimes L}$ each $U$ is supposed to act on two neighboring sites; yet this should be written explicitly
3 Graphical representation of Eq. (12): maybe the authors could put the site indices ($\dots, 1, \frac{1}{2},0, \frac{1}{2}, 1 ,\dots $), as they do in Eq. (10), on the top and bottom rows. I believe this would make the conventions clearer. Also, maybe it would be clearer to draw all the sites, from $\frac{L}{2}$ to $\frac{L}{2}$, just for this picture, so that it's clear that $a$ is inserted at $x=0$.
4 I find that it is hard to visualize the operations that bring us from Eq. (29) to Eq. (32). Since Eq. (32) plays an important role in the rest of the paper, its derivation would deserve to be slightly expanded. Perhaps having both Eqs. (29) and (32) drawn with the same small values of $y$ and $t$ would help. And perhaps a picture of the intermediate step, where Eq. (26b) is used, would help as well.
5 before Eq. (47): 'any such transfer matrix is a contracting operator': why is that so? Is it obvious?
6 Eqs. (49)(50). If the conventions are that the operators act from bottom to top in the drawings, then the rainbow state in Eq. (49) should appear with open legs on top. More importantly, there may be an error in Eq. (50): if I am not mistaken, the conventions are such that the squared norms $\left< \cup \left. \right \cup \right>$ and $\left< \circ \circ \left. \right \circ \circ \right>$ are both equal to $1$, and then this implies $\left< \cup \left. \right \circ \circ \right> = \frac{1}{d}$. If so, then $d$ should be replaced by $1/d$ in Eq. (50), in order for $\left \bar{r}_l \right>$ to be orthogonal to $\left r_l \right>$.
7 Around Eq. (51): perhaps it could be recalled that $\left \bar{r}_{x_+} \right>$ and $\left e_{x_+} \right>$ are the same state. More importantly, the identity $\left< e_{x_+} \left. \right a^\dagger \circ \dots \circ a \right>=d^{1x_+}/\sqrt{d^21}$ is sufficiently nontrivial so that its derivation would deserve to be expanded a bit. In particular, isn't that result relying on the assumption ${\rm tr}[a] = 0$? (If so, this assumption needs to be stated explicitly)
8 I'm confused by Eqs. (61) and (62): looking at the graphical Eq. (59), wouldn't one expect $\mathcal{M}_+$ to appear on the left of $\mathcal{M}_$ in Eqs. (61)(62)?
9 Fig. 2 and discussion below Eq. (65): the discussion of the von Neumann entropy could probably be expanded there. First, since the results of the paper rely on $n$ integer $\geq 2$, where do the claims about von Neumann come from exactly? Second, it is very interesting that the von Neumann entropy always has maximal growth, in contrast with the Renyi entropies; this seems to be a very nontrivial observation which deserves to be highlighted.
10 section 5 and the new conjecture: the conjecture is well described mathematically, and the numerical evidence supporting it is well presented. However, I find that its physical meaning and implications are not clearly discussed. For instance, if the growth is linear then the local operator entanglement $S(y,t)$ is expected to behave as $t f(y/t)$ for some function $f$ at large $t$ and fixed ratio $y/t$. It seems that the conjecture Eq. (66) will typically lead to an interesting profile $f(v) = {\rm min}[ s_ (1v), s_+ (1+v) ]$, for two constants $s_$ and $s_+$ given by Eqs. (55) and (65), and for $s_ \neq s_+$ this profile will be asymmetric and will look different from the symmetric 'pyramid' found in Ref. [37] (see Fig. 13 in that ref.). Will this simply come from the absence of reflection symmetry of the dual unitary model? This is something that could be discussed. More generally I think it would be interesting for some readers to have a discussion of the physical meaning and potential consequences of the new conjecture.