Abstract
Magic angles in the chiral model of twisted bilayer graphene are parameters for which the chiral version of the Bistritzer–MacDonald Hamiltonian exhibits a flat band at energy zero. We compute the sums over powers of (complex) magic angles and use that to show that the set of magic angles is infinite. We also provide a new proof of the existence of the first real magic angle, showing also that the corresponding flat band has minimal multiplicity for the simplest possible choice of potentials satisfying all symmetries. These results indicate (though do not prove) a hidden integrability of the chiral model.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction and Statement of Results
When two sheets of graphene are stacked on top of each other and twisted, it has been observed that at certain angles, coined the magic angles, the composite system becomes superconducting. In this article, we study the chiral limit of the Bistritzer–MacDonald Hamiltonian [1, 4, 5, 10]
where the parameter \(\alpha \) is proportional to the inverse relative twisting angle. After a simple rescaling, the potential is a smooth and periodic function satisfying
where \(\omega = e^{2\pi i/3}\) and \(a_\ell = \frac{4}{3} \pi i \omega ^\ell .\) The simplest example of such a potential and our canonical choice of U is
Even though the potential U(z) is only periodic with respect to \(\Gamma =4\pi i(\omega {{\mathbb {Z}}}\oplus \omega ^2 {{\mathbb {Z}}})\) the first property implies that the matrix potential, and thus \(D(\alpha )\), commutes with the translation operator
where \( w \in {\mathbb {C}}^2 \) and \( a = \tfrac{4}{3} \pi i( \omega a_1 + \omega ^2 a_2 ), \ \ a_j \in {\mathbb {Z}}.\) We note that if \( \Gamma ^*\) is the dual (reciprocal) lattice of \( \Gamma \), then \( 3 \Gamma ^* \) is the dual lattice of \( \frac{1}{3} \Gamma \) (Fig. 1).
When moving to functions with values in \( {\mathbb {C}}^4 = {\mathbb {C}}^2 \times {\mathbb {C}}^2 \) (on which \( H(\alpha ) \) acts) we extend the action of \( {\mathscr {L}}_{{\textbf{a}}}\) to an action on each \(\mathbb C^2 \) component. We then consider the Floquet spectrum of
defined by \((H_k(\alpha ) -E_j(\alpha ,k) )w_j(\alpha ,k)=0\), where eigenvalues of positive energy are labelled with \(j \ge 1\) in ascending order, as a self-adjoint operator on
with the domain given by \( {\mathscr {H}} \cap H^1 ( {\mathbb {C}}/\Gamma ) \) such that
This Hamiltonian is an effective one-particle model which exhibits perfectly flat bands at magic angles. This appearance of perfectly flat bands in the chiral limit was explained by Tarnopolsky, Kruchkov and Vishwanath [9] with the help of Jacobi theta functions.Footnote 1 An equivalent spectral theoretic characterization of magic angles was then provided in [2]: if we define the following compact Birman–Schwinger operator
then (see [2, Theorem 2] we have the following equivalence [3, §2.3])
where \( {\mathscr {H}} \) is defined in (1.5). In other words, the spectrum of \(T_{k_0}\) is independent of \(k_0 \in {{\mathbb {C}}}{\setminus } (3\Gamma ^* - \{ 0, i \} )\) and characterizes the values of \(\alpha \in {{\mathbb {C}}}\) at which the Hamiltonian exhibits a flat band at zero energy. Since the parameter \(\alpha \) is inherently connected with the twisting angle, we shall refer to \(\alpha \)’s at which (1.7) occurs as magic and denote their set by \( {\mathcal {A}} \subset {\mathbb {C}} \).
The analysis of magic angles is therefore reduced to a spectral theory problem involving a single compact non self-adjoint operator. Since even non-trivial non self-adjoint compact operators do not necessarily have non-zero eigenvalues, the existence of a parameter \(\alpha \) at which the Hamiltonian exhibits a flat band at zero energy is non-trivial. In [2] the existence of such a complex parameter \(\alpha \in {{\mathbb {C}}}{\setminus } \{0\}\) was first concluded by showing that \({{\,\textrm{tr}\,}}_{{\mathscr {H}}} (T_k^4) = 8{\pi }/{\sqrt{3}}\) which implied existence of a non-zero eigenvalueFootnote 2. This result was improved by a computer-assisted proof [11] in which Watson and Luskin used the complex-analytic characterization of magic angles from [9] to prove existence of the first real magic angle and obtained explicit bounds on its position.
In this article, we exhibit a general form of traces of powers of \(T_k\). This suggests a hidden integrability of the Hamiltonian \( H ( \alpha ) \) for potentials satisfying (1.1), as all traces exhibits special arithmetic properties. With our current techniques, we do not have explicit control on the full set of traces which would imply a complete understanding of all magic angles. These are already visible in the regular but evasive structure of the set of of magic \( \alpha \), \( {\mathcal {A}} \subset {\mathbb {C}} \)—see Fig. 2.
Theorem 1
For \(\ell \ge 2\) and \(U=U_0\) with \(U_0\) as in (1.2)
In addition, we are able to express the rational numbers \(q_{\ell } \in {\mathbb {Q}}\) in terms of a finite sum involving residues of rational functions which is fully presented in Theorem 4. A generalization of Theorem 1 which extends this result to more general potentials U (1.1) is presented in Theorem 5. As we show in Sect. 6, it is already possible to conclude directly from Theorem 1 that
Theorem 2
Let \(U = U_0\) with \(U_0\) as in (1.2). There exist infinitely many magic \(\alpha \)’s, that is,
This theorem will follow from the more general Theorem 6 and the observation that by the aforementioned explicit computation \({{\,\textrm{tr}\,}}_{{\mathscr {H}}} (T_k^4) = 8{\pi }/{\sqrt{3}}\) for \(U=U_0\) there is at lest one complex magic angle. We then focus on real magic angles. Since the operator \(T_k^2\) is Hilbert–Schmidt, we can use the regularized determinant to study real magic \(\alpha .\) Compared with the initial approach proposed in [9], this approach has two advantages. Unlike the series expansion in [9, 11], the regularized determinant is an entire function with explicit error bounds in terms of the Hilbert–Schmidt norm. In addition, the Taylor coefficients of the determinant are polynomials of traces as in Theorem 1. This leads to
Theorem 3
The chiral Hamiltonian with \(U=U_0\) and \(U_0\) as in (1.2), exhibits a flat band of multiplicity 2 at a real magic \(\alpha _{*} \in (0.583,0.589)\), which is minimal, in the sense that the Hamiltonian does not possess a flat band for any \(\alpha \) satisfying \(\vert \alpha \vert < \vert \alpha _{*} \vert \), that is,
where the counting \( | \bullet | \) respects multiplicities. In particular, the flat bands of multiplicity 2 are uniformly gapped from all other bands.
Remark 1
Compared with results in [11] which require floating-point arithmetic, our proof of existence relies only on exact symbolic computations, the exact evaluation of residues to compute traces of powers of \(T_k\) and the summation of finitely many matrix entries to estimate the Hilbert-Schmidt norm.
2 Preliminaries
From now on, we consider a potential \(U\in C^{\infty }(\mathbb C/\Gamma ; {\mathbb {C}})\) satisfying the first two symmetries of (1.1). The last symmetry \(U({\bar{z}})= \overline{U(z)}\) will only be needed in Corollary 5 to ensure that all traces are real. We recall that an orthonormal basis of \(L^2(\mathbb C/\Gamma ; {\mathbb {C}})\) is given by setting
We can express the potential U in this basis. A straightforward calculation gives
Proposition 2.1
Let \(a=\frac{4\pi i}{3}(\omega a_1+\omega ^2 a_2)\in \Gamma /3\), \( a_j \in {\mathbb {Z}} \). Then \(u\in L^2({\mathbb {C}}/\Gamma )\) satisfies
if and only if
where for \(n \in {{\mathbb {Z}}}^2\)
satisfies
If in addition \(\overline{u({\bar{z}})}=u(z)\) then
Our aim is to obtain trace formulae for the powers of the compact operator \(T_k\) defined by in (1.6). Since odd powers of \(T_k\) have only off-diagonal components, it is clear that the traces of odd powers vanish. Thus, it is sufficient to compute the traces of powers of
The invariance of the trace under cyclic permutations shows that it is sufficient to compute traces of powers of
We shall study traces of powers of \({\mathcal {A}}_k\) on smaller \(L^2\) spaces, which we define below, for \((p_1,p_2)\in {\mathbb {Z}}_3^2\), by
whose \({{\mathbb {C}}}^2\)-valued analogues are defined, using (1.3), as
We remark that the operator \((2D_{{\bar{z}}}-k)^{-1}\) acts diagonally on the Fourier basis and thus preserves the \(L^2_{(p_1,p_2)}\) spaces. On the other hand, multiplication by \(U(\pm z)\) does not preserve the space but one has by the translational symmetry defined in (1.1)
In total, we have
This shows that we can restrict the operator \({\mathcal {A}}_k\) to the subspaces \(L^2_{(p_1,p_2)}\). From now on, we will denote by \(A_k\) the restriction of \({\mathcal {A}}_k\) to \(L^2_{(1,1)}\). We then define the unitary multiplication operator
The k-independence of the spectrum of \(T_k\) implies then
where \( k \in D ( 0, r ) {\setminus } \{ 0 \}\), and the last equality is meant in the sense of sets: multiplicities of elements in the top row are twice the multiplicities of elements in the bottom row.
We also note that \( A_k \) is defined for \( k \in D ( 0, r ) \) since \( D_{{\bar{z}}}^{-1} \) is defined on \( L^2_{(p,p)} \), \( p \not \equiv 0 \!\!\! \mod 3\). Since \( {\mathbb {C}} \ni k \rightarrow {\mathcal {A}}_{k}|_{ L^2_{(1,1)}} \) is an analytic family of operators with compact resolvents and the spectrum is independent of \( {k }\in {{\mathbb {C}}}{\setminus } 3\Gamma ^*\), it follows that \({{\,\textrm{Spec}\,}}(A_{k }) = {{\,\textrm{Spec}\,}}(A_{ 0})\) [7, Theorem 1.10]. From (2.6) we obtain, as sets,
with multiplicities on the left, twice the multiplicities on the right. Since \(k=0\) is included in the set of possible k for \(A_k\). Indeed, the set of possible values of k is \({\mathbb {C}}{\setminus } \big ((3\Gamma ^*-i)\cup (3\Gamma ^*+i)\big )\). We conclude together with [3, Theorem 2] that
We end this preliminary section by stating and proving the main three properties we will use for our calculation.
Lemma 2.2
Consider a potential \(U\in C^{\infty }(\mathbb C/\Gamma ; {\mathbb {C}})\) satisfying the first two symmetries of (1.1) with a finite number of non zero Fourier mode in its decomposition (2.1). Define the operator \( A_k\) for \(k\notin (3\Gamma ^*-i)\cup (3\Gamma ^*+i)\), where \(i:=-(\omega ^2-\omega )/\sqrt{3}\), to be the restriction of \(\mathcal A_k\) defined in (2.3) on the space \(L^2_{(1,1)}\). For \(\ell \ge 2\), one has:
-
The trace is constant in k
$$\begin{aligned} {{\,\textrm{tr}\,}}( A_k^{\ell })=\tau _{\ell } \text { independent of }k\in {\mathbb {C}} {\setminus } (3\Gamma ^*-i)\cup (3\Gamma ^*+i). \end{aligned}$$(2.9) -
The function \({\mathbb {C}} {\setminus } (3\Gamma ^*-i)\cup (3\Gamma ^*+i) \ni k\mapsto \langle A_k^{\ell }e_{m},e_{m}\rangle _{L^2}\) is a finite sum of rational fractions on the complex plane \({\mathbb {C}}\) with degree equal to \(-2\ell \) and with (a finite number of) poles contained in \((3\Gamma ^*-i)\cup (3\Gamma ^*+i)\).
-
For any \(\gamma \in \Gamma ^*\) and for any \(k\notin (3\Gamma ^*-i)\cup (3\Gamma ^*-2i)\), we have
$$\begin{aligned} \langle A_k^{\ell }e_{3\gamma +i},e_{3\gamma +i}\rangle _{L^2}=\langle A_{k-3\gamma }^{\ell }e_{i},e_{i}\rangle _{L^2}. \end{aligned}$$
Proof
The first point is a consequence of the independence of the spectrum of \(T_k\) in k (see [3, §2.3]) as well as the relation (2.7).
For the last two points, we prove by induction that \(k\mapsto A_k^{\ell }e_{3\gamma +i}\), where \(\gamma \in \Gamma ^*\), is of the form
where \(F\subset (3\Gamma ^*+i)\) is a finite set and \(R_{\nu }(k)\) is a sum of rational fraction of degree \(-2\ell \) with poles located on \((3\Gamma ^*-i)\cup (3\Gamma ^*+i)\). Moreover, we will prove that the one has the relation \(R_{\nu +3\gamma }(k)=R_{\nu }(k-3\gamma ).\)
The result is clear for \(\ell =0\). Suppose the result true for \(\ell \), let’s prove it holds for \(\ell +1\). The main observation is that multiplication by \(U(\pm z)\) acts as a shift on the Fourier basis. The multiplication by \(U(-z)\) sends \(e_{\nu }\) to a linear combination of \(e_{\ell }\) for \(\ell \in (3\Gamma ^*+2i)\). Then applying \((D(0)-k)^{-1}\) multiplies the coefficient of \(e_{\ell }\) by \((\ell -k)^{-1}\). Multiplying by U(z) gives back a linear combination of \(e_{\nu }\) with \(\nu \in (3\Gamma ^*+i)\). Finally, applying \((D(0)-k)^{-1}\) multiplies the coefficient of \(e_{\nu }\) by \((\nu -k)^{-1}\). This means that, using the induction hypothesis (2.10),
where \(L\subset 3\Gamma ^*+i\) is a finite subset that depends only on U and \(a_{\bullet }\) are constants. Thus, it is clear from this formula that the induction carries on to \(\ell +1\). This concludes the proof of the Lemma. \(\quad \square \)
3 Trace Computations
We prove the following result.
Theorem 4
Let \(A_k:L^2_{(1,1)}\rightarrow L^2_{(1,1)}\) be a meromorphic family of Hilbert–Schmidt operators defined for \(k\notin (3\Gamma ^*-i)\cup (3\Gamma ^*+i)\). We suppose that \(A_k\) satisfies the three properties stated in Lemma 2.2. Then one has, for any \(\ell \ge 2\),
where all the infinite sums are in fact finite.
Proof
We want to give a semi-explicit formula for \(\tau _{\ell }\) in terms of the residue of the rational fraction (second point in Lemma 2.2)
We first start by writing, using that \(A_k^{\ell }\) is trace-class for \(\ell \ge 2\),
We start with the relation which follows directly from (2.9),
Here, we wrote \(\gamma _{n}:=\frac{1}{\sqrt{3}}(n_1\omega ^2-n_2\omega )\in \Gamma ^*\). We now use the third property stated in Lemma 2.2 to write
The second property in Lemma 2.2 implies that
Since we assume that \(\ell \ge 2\), this justifies the exchange of integration and summation such that
We make the change of variable \(s=t+3n_1\) and sum in \(n_1\) to get
We now consider
This is equal to the limit of the integral over a parallelogram \(\Gamma _{n,R}\) with sides \(\frac{1}{\sqrt{3}}[-R\omega ^2-3n\omega ,R\omega ^2-3n\omega ]\), \(\frac{1}{\sqrt{3}}[R\omega ^2-3n \omega ,R\omega ^2-3(n+1) \omega ]\), \(\frac{1}{\sqrt{3}}[R\omega ^2-3(n+1) \omega ,-R\omega ^2-3(n+1) \omega ]\) and \(\frac{1}{\sqrt{3}}[-R\omega ^2-3(n+1) \omega ,-R\omega ^2-3n \omega ]\). Here, we used (3.2) to prove that the integral over the small parallel sides tends to 0. In particular, because there is only a finite number of poles, we see that, for |n| large enough, one has
Using formula (3.3) as well as a partial summation, this allows us to rewrite the full trace as a telescopic sum
The residue theorem shows that for \(n\in {\mathbb {Z}}\) and R large enough,
Applying the residue theorem and using (3.4) gives (3.1). \(\quad \square \)
The consequences of this formula are summarized in the following theorem:
Theorem 5
Consider a potential \(U\in C^{\infty }({\mathbb {C}}/\Gamma ; {\mathbb {C}})\) satisfying the first two symmetries of (1.1) with finitely many non-zero Fourier modes \(c_{n} \in \mathbb Q(\omega /\sqrt{3})\) appearing in the decomposition (2.1). Then for any \(\ell \ge 2\), one has \(\tau _{\ell }\in \pi {\mathbb {Q}}(\omega /\sqrt{3}) \). If U also has the third symmetry of (1.1) then the traces are real and thus \(\tau _{\ell }\in \pi {\mathbb {Q}}/\sqrt{3}\). In particular, for all potentials satisfying all three symmetries in (1.1), including \(U = U_0\) defined in (1.2), one has
where \({\mathcal {A}}(U)\) is the set of magic angles counting multiplicity for a potential U.
Proof
Under the hypothesis of the corollary, the function \(k\mapsto \langle A_k^{\ell }e_{i},e_{i}\rangle _{L^2}\) is a rational fraction with coefficients in \({\mathbb {Q}}(\omega /\sqrt{3})\). This ring is actually a field as \(\omega /\sqrt{3}\) is algebraic on \({\mathbb {Q}}\). Now, taking partial fraction expansion of \(k\mapsto \langle A_k^{\ell }e_{i},e_{i}\rangle _{L^2}\) in \({\mathbb {Q}}(\omega /\sqrt{3})(X)\) (the space of rational fractions with coefficients living in \({\mathbb {Q}}(\omega /\sqrt{3})(X)\)) gives coefficients in \(\mathbb Q(\omega /\sqrt{3})\). In particular, the residues of \(k\mapsto \langle A_k^{\ell }e_{i},e_{i}\rangle _{L^2}\) live in the field \(\mathbb Q(\omega /\sqrt{3})(X)\). But the uniqueness of the partial fraction expansion now gives that these are also the residues of \(k\mapsto \langle A_k^{\ell }e_{i},e_{i}\rangle _{L^2}\) in \({\mathbb {C}}(X)\). Using the trace formula stated in Theorem 4, this yields
If we add the last symmetry of (1.1), the trace is real so that
\(\square \)
This rationality condition suffices to prove that there is an infinite number of magic angles as long as there exists at least one magic angle.
Theorem 6
Under the assumptions and with the same notation as in Theorem 5 one has the implication
In particular, the set of magic angles for our canonical potential \(U_0\) defined in (1.2) is infinite.
Let \(N\ge 0\), for a tuple \(a=(a_{n})_{\{n; \Vert n \Vert _{\infty } \le N\}}\), define \(U_a\) to be the potential defined by (2.1). Then the above implication holds for a generic (in the sense of Baire) set of coefficients \(a=(a_{n})_{\{n;\Vert n \Vert _{\infty } \le N\}}\in \mathbb C^{(2N+1)^2}\) that contains \((\mathbb Q(\omega /\sqrt{3}))^{(2N+1)^2}.\)
Proof
We start by observing that since \(\pi \) is transcendental on \(\mathbb Q\), it is also transcendental in \({\mathbb {Q}}(\omega /\sqrt{3}).\) Now, assume by contradiction, that there exist only finitely many eigenvalues \(\lambda _i \in {\mathbb {C}}\) for \(i=1,..,N\) of \(A_{k}^2\). Then we define the n-th symmetric polynomial
Newton identities show that this polynomial can be expressed as
where \(e_n=0\) for \(n>N.\) Theorem 1 shows that
The power \(m_1\cdots m_n\) from sequences allowed in (3.6) is maximized by the unique choice \(m=(n,0,\ldots ,0)\). The Newton identities for \(n>N\) then imply that the transcendental number \(\pi \) is a root of a polynomial with coefficients in \({\mathbb {Q}} \left( {\omega }/{\sqrt{3}}\right) .\) But then all these coefficients vanish, this is equivalent to the fact that the spectrum is empty (because of the determinant function, see (4.4)). For our particular choice of potential \(U_0\), the fact that \( {{\,\textrm{tr}\,}}A^2_{k}=0\) contradicts [2, Theorem 3] so the set of magic angles is non empty, and thus infinite.
Now, let \(a=(a_{n})_{\{n;\Vert n \Vert _{\infty } \le N\}} \in \mathbb C^{(2N+1)^2}\) and assume that \({\mathcal {A}}(U_a) \ne \emptyset \). Then, we can find an open neighbourhood of a, \(\Omega _a \ni a\), such that for coefficients \(b=(b_{n})_{\{n;\Vert n \Vert _{\infty } \le N\}} \in \Omega _a\) we have \({\mathcal {A}}(U_b) \ne \emptyset \). Take \(q=(q_{n})_{\{n;\Vert n \Vert _{\infty } \le N\}} \in (\mathbb Q(\omega /\sqrt{3}))^{(2N+1)^2}\cap \Omega _a\) for which we then have \(\vert {\mathcal {A}}(U_q) \vert = \infty .\) Continuity of eigenvalues of \(T_k \) as the potential U changes shows that the \( V_{m,a}:= \{ b \in \Omega _a: | {\mathcal {A}}(U_{b}) | \ge m \} \) is open and dense in \(\Omega _a\). Hence, the set coefficients for which \( 0< | {\mathcal {A}}_b | < \infty \) is given by \(\bigcup _{m \in {\mathbb {N}}} \bigcup _{q \in ( {\mathbb {Q}}+i{\mathbb {Q}})^{2N+1}} \Omega _q {\setminus } V_{m,q}\). It is then meagre and does not contain \((\mathbb Q(\omega /\sqrt{3}))^{(2N+1)^2}.\) \(\quad \square \)
4 Fredholm Determinants and the First Magic Angle
In this section, we explain how to compute the first few traces from our formula and show the existence of a simple real magic angle, i.e. prove Theorem 3. From now on, our choice of potential is given by \(U=U_0\) defined in 1.2. Here we recall some facts from [2, 3] needed in this paper.
4.1 Fourier coordinates
For our numerics, it is convenient to use rectangular coordinates \(z=2i(\omega y_1+\omega y_2)\), see [2, §3.3] for details. In these coordinates, we may introduce
with periodic periodic boundary conditions (for \( y \mapsto y + 2 \pi {\textbf{n}} \), \( {\textbf{n}} \in {{\mathbb {Z}}}^2 \)). In the following, we shall write \({\mathcal {V}}_{\pm }(y):={\mathcal {V}}(\pm y).\) The operator \({\mathcal {A}}_k\), defined in (2.3), reads in the new coordinates
On the Fourier transform side we introduce the equivalent of operators (4.1)
where J is the right-shift \(J((a_n)_n) = (a_{n+1})_n \)—see [2, (3.17)]. The spaces \( L^2_{(p_1,p_2)} ( \mathbb C/\Gamma ; {\mathbb {C}} ) \), introduced in (2.4), correspond to
As in [2, §3.3], we introduce auxiliary operators \(J^{p,q}:=J^p\otimes J^q,\,\, p,q\in {\mathbb {Z}}\). For a diagonal matrix \(\Lambda =(\Lambda _{i,j})_{i,j\in {\mathbb {Z}}}\) acting on \(\ell ^2({\mathbb {Z}}^2)\), we define a new diagonal matrix
We recall the following properties [2, (3.24)]
Denoting the inverse of \(\widehat{ {\mathcal {D}}}_k^{-1}\) by
we see that \({\mathcal {A}}_k\) reads in the new Fourier coordinates
with \({\widehat{A}}_k\) the analogous restriction to \(\ell ^2_{(1,1)}.\)
4.2 Fredholm determinants
We start by defining the regularized Fredholm determinant
where the product respects multiplicities. We find from (2.6) that \({\text {det}}_2(1-\alpha ^2 {\widehat{A}}_{k}) =0 \Leftrightarrow \alpha ^{-1} \in {{\,\textrm{Spec}\,}}(T_{k}){\setminus }\{0\}.\) The symmetry of the spectrum of \({\widehat{A}}_{k}\), \({{\,\textrm{Spec}\,}}({\widehat{A}}_{k})= \overline{{{\,\textrm{Spec}\,}}({\widehat{A}}_{k})},\) implies that \(\alpha \mapsto {\text {det}}_2(1-\alpha ^2 {\widehat{A}}_{k}) \) is real-valued on the real axis. To show existence and simplicity of magic angles, in the representation, we therefore use the following Lemma which provides ab initio bounds on the Fredholm determinants and its derivatives.
Lemma 4.1
The determinant \({{\mathbb {C}}}\ni \alpha \mapsto {\text {det}}_2(1-\alpha ^2{\widehat{A}}_{k})\) in (4.4) is an entire function, independent of \(k \in {{\mathbb {C}}}\), which for any \(n,m \in {\mathbb {N}}_0\) satisfies
with \(\Vert A_{0} \Vert _2 \le 2\), where
Proof
The expression (4.4) is well-defined since \({\widehat{A}}_{k}\) is a Hilbert-Schmidt operator and the Taylor coefficients \(\mu _j\) are for example stated in [8, (6.13)]. Indeed, since \(\vert E_1 \vert \le e^{\frac{\vert z \vert ^2}{2}}\) for \(z \in {{\mathbb {C}}}\) and \(\sum _{\lambda \in {{\,\textrm{Spec}\,}}({\widehat{A}}_{k})} \vert \lambda \vert ^2 \le \Vert {\widehat{A}}_{k} \Vert ^2_2,\) we conclude that
Cauchy estimates for the entire function \(f(z):=\det _2(1+z {\hat{A}}_k)\) show by using the growth bound (4.6)
which is optimized at \(\vert \alpha \vert ^2 = \frac{\sqrt{j}}{ \Vert {\widehat{A}}_{k} \Vert _2}\), such that
The Taylor coefficients \(\mu _j\) are then given by the Plemelj-Smithies formula [8] stated in (4.5). Since they only depend on traces \(\sigma _j\) which are independent of k, it follows that the regularized Fredholm determinant is an entire function independent of k. Hence, it suffices to study the determinant for \(k=0.\)
If we write \({\widehat{A}}_{0}=({\widehat{A}}_0(n))_{n \in {\mathbb {Z}}^2}\) and let \(P_m\) be the projection onto \((3\{-m,-m+1,...,m\}+1)^2,\) then
The first term constitutes the Hilbert-Schmidt norm of a finite matrix which can be explicitly computed from the matrix elements using symbolic calculations, indeed
To estimate the second term, we may use that the operator norm of \( {\mathcal {V}}_{\pm } \) satisfies \(\Vert {\mathcal {V}}_{\pm } \Vert = 3\sqrt{3}\), therefore one has
We recall that by definition
A simple change of variables shows that \(\Vert (\mathscr {D}_{0}^{-1})_{\ell ^2_{(1,1)} \rightarrow \ell ^2_{(1,1)}}\Vert _4 = \Vert ({\mathscr {D}}_{0}^{-1})_{\ell ^2_{(2,2)} \rightarrow \ell ^2_{(2,2)}}\Vert _4.\) Then, a direct computation shows that in terms of
we have
While an explicit computation shows using exact symbolic calculations
Then, we may use for \(\vert m \vert _{\infty }> 6\) that \(g(m) \ge \vert m \vert ^2+5^2\), such that we can estimate the remainder
Inserting this estimate into (4.8), we find along the lines of (4.10)
which shows that \(\Vert {\widehat{A}}_0 \Vert _2 <\frac{11}{2}.\) \(\square \)
Using the preceding error estimate with the explicit traces in Table 1, we conclude the existence of a first real magic angle in the next Proposition. The Proposition also completes the proof of Theorem 3. Indeed, (2.8) implies together with [3, Theorem 2] the existence of a 0 gap between the two flat bands of the Hamiltonian and the remaining bands.
Proposition 4.2
There exists a simple real eigenvalue \(\frac{1}{\alpha _{*}^2}\) to the operator \({\widehat{A}}_{k}\), independent of \(k \in {{\mathbb {C}}}\), with \(\alpha _{*} \in (0.583,0.589)\) such that \((\frac{1}{\alpha _{*}^2},\infty ) \subset {{\mathbb {R}}}{\setminus } {{\,\textrm{Spec}\,}}({\widehat{A}}_{k}).\)
Proof
To see that this is the first real magic angle, we first notice that the operator norm of \({\widehat{A}}_{0}\) is bounded by
This estimate shows that \(\alpha \in {\mathbb {R}}^+\) with \( 1/(\alpha ^2) \in {{\,\textrm{Spec}\,}}({\widehat{A}}_{0}) \) satisfies \(\alpha \ge \frac{1}{3}.\) A finite number of traces as explicitly computed in Table 1 are then relevant to prove the existence of a magic angle.
For \(\nu \in {\mathbb {R}}^+\) we find
Evaluating the bound for \(N=17\) and \(\nu =\sqrt{e} \Vert {\widehat{A}}_{0} \Vert _2 \alpha ^2\), as in the error bound stated in Lemma 4.1, with upper bound \(\Vert {\widehat{A}}_{0} \Vert _2 = 5.5\), we obtain for \(\alpha =\frac{3}{5}\) that \(r_0 \le \frac{1}{50}\) and \(r_1 \le \frac{1}{2}\). The existence of a root follows from studying
where the summation starts at \(k=2\) since \(\mu _1=0\), with
One then checks (using computations involving integers only)
We conclude that there is \(\alpha _* \in (0.583,0.589)\) such that \({\text {det}}_2(1-\alpha _*^{2}{\widehat{A}}_{k})=0\) and \(\partial _{\alpha } \vert _{\alpha =\alpha _{*}}{\text {det}}_2(1-\alpha ^2{\widehat{A}}_{k}) <0.\) The non-existence of any other \(\alpha \in (\tfrac{1}{3},\alpha _{*})\) at which the determinant vanishes follows from the monotonicity of f. \(\quad \square \)
References
Becker, S., Embree, M., Wittsten, J., Zworski, M.: Spectral characterization of magic angles in twisted bilayer graphene. Phys. Rev. B 103, 165113 (2021)
Becker, S., Embree, M., Wittsten, J., Zworski, M.: Mathematics of magic angles in a model of twisted bilayer graphene. Probab. Math. Phys. 3, 69–103 (2022)
Becker, S., Humbert, T., Zworski, M.: Fine structure of flat bands in a chiral model of magic angles. arXiv:2208.01628
Bistritzer, R., MacDonald, A.: Moiré bands in twisted double-layer graphene. PNAS 108, 12233–12237 (2011)
Cancès, E., Garrigue, L., Gontier, D.: A simple derivation of moiré-scale continuous models for twisted bilayer graphene. arXiv:2206.05685
Dubrovin, B.A., Novikov, S.P.: Ground states in a periodic field Magnetic Bloch functions and vector bundles. Sov. Math. Dokl. 22(1), 240–244 (1980)
Kato, T.: Perturbation Theory for Linear Operators. Corrected second edition. Springer, Berlin (1980)
Simon, B.: Notes on infinite determinants of Hilbert space operators. Adv. Math. 24, 244–273 (1977)
Tarnopolsky, G., Kruchkov, A.J., Vishwanath, A.: Origin of magic angles in twisted bilayer graphene. Phys. Rev. Lett. 122, 106405 (2019)
Watson, A.B., Kong, T., MacDonald, A.H., Luskin, M.: Bistritzer–MacDonald dynamics in twisted bilayer graphene. arXiv:2207.13767
Watson, A., Luskin, M.: Existence of the first magic angle for the chiral model of bilayer graphene. J. Math. Phys. 62, 091502 (2021)
Acknowledgements
We would like to thank the two anonymous referees for their careful reading of the paper and many helpful comments. TH and MZ gratefully acknowledge partial support by the National Science Foundation under the Grant DMS-1901462 and by the Simons Foundation Targeted Grant Award No. 896630.
Funding
Open access funding provided by Swiss Federal Institute of Technology Zurich
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
The authors have no competing interests to declare that are relevant to the content of this article.
Additional information
Communicated by A.Giuliani.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Appendix: Trace Formula in Fourier Coordinates
Appendix: Trace Formula in Fourier Coordinates
In this section we give an auxiliary version of Theorem 4 that we used for our computer assisted computation of traces. Using the relation (4.3), the diagonal part of \({\mathcal {A}}_k^{\ell }\) is of the form
where
In (A.1), the sum is over elements of the finite set
Using (A.1), the diagonal part of \({A}_k^{\ell }\), is of the form
where \(\Lambda '\) corresponds to the matrix where we only kept the coefficients (n, m) where \((n,m)\in \left( 3{\mathbb {Z}}+1\right) \times \left( 3{\mathbb {Z}}+1\right) \) i.e
Theorem 4 then reduces to
Theorem 7
Let \({\ell } \ge 2\) and \(\Theta _{\ell }\) be as in (A.3) with coefficients \({{\tilde{\alpha }}}_i,..,{{\tilde{\delta }}}_i, m_{\pi }\) as in (A.2). Then the traces are given by
where with \(\gamma _{(a,b)}=\omega ^2a-\omega b\)
Proof
This is just a re-writing of formula of Theorem 4 in these rectangular coordinates. Indeed, the (0, 0)-th entry of the matrix \(A_k^{\ell }\) is, in these notation, equal to \(\sum _{\pi \in \Theta _{\ell }}f_{\pi }(k)\). Because we work in a the Hilbert space \(L^2({\mathbb {C}}/\Gamma ,{\mathbb {C}})\), this entry is also equal to \(\langle A_k^{\ell }e_{i},e_{i}\rangle _{L^2}\). Now, the poles of this function are exactly described by \(\gamma _{({{\tilde{\alpha }}_i},{{\tilde{\beta }}_i})}+\mu \) and \(\gamma _{({{\tilde{\gamma }}_i},{{\tilde{\delta }}_i})}+\mu \) (this is a consequence of formula A.1). Note however that in these coordinates, the poles get rescaled by \(\sqrt{3}\), this is why \(\mu =-i\sqrt{3}\) replaces \(-i\). On the level of residues, this explains why a \(\sqrt{3}\) does not appear in this formula. Finally, we remark that in this decomposition, \(\gamma _{({{\tilde{\alpha }}_i},{{\tilde{\beta }}_i})}+\mu \in \sqrt{3}\big ( 3\Gamma ^*-i\big )\) and \(\gamma _{({{\tilde{\gamma }}_i},{{\tilde{\delta }}_i})}+\mu \in \sqrt{3}\big ( 3\Gamma ^*-2i\big )\) thus corresponding to the splitting appearing in the formula of stated in Theorem 4. \(\square \)
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Becker, S., Humbert, T. & Zworski, M. Integrability in the Chiral Model of Magic Angles. Commun. Math. Phys. 403, 1153–1169 (2023). https://doi.org/10.1007/s00220-023-04814-6
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00220-023-04814-6