-
The Many-Body Ground State Manifold of Flat Band Interacting Hamiltonian for Magic Angle Twisted Bilayer Graphene
Authors:
Kevin D. Stubbs,
Michael Ragone,
Allan H. MacDonald,
Lin Lin
Abstract:
At a magic relative twist angle, magic angle twisted bilayer graphene (MATBG) has an octet of flat bands that can host strong correlation physics when partially filled. A key theoretical discovery in MATBG is the existence of ferromagnetic Slater determinants as exact ground states of the corresponding flat band interacting (FBI) Hamiltonian. The FBI Hamiltonian describes the behavior of electrons…
▽ More
At a magic relative twist angle, magic angle twisted bilayer graphene (MATBG) has an octet of flat bands that can host strong correlation physics when partially filled. A key theoretical discovery in MATBG is the existence of ferromagnetic Slater determinants as exact ground states of the corresponding flat band interacting (FBI) Hamiltonian. The FBI Hamiltonian describes the behavior of electrons that interact with each other in a high-dimensional space, and is constructed from the band structure of the non-interacting Bistritzer--MacDonald model at the chiral limit. A key property of the FBI Hamiltonian for MATBG is that it is frustration free and can be written as a sum of non-commuting terms. In this work, we provide a complete characterization of the ground state manifold of the FBI Hamiltonian, proving that it is precisely the linear span of such ferromagnetic Slater determinants.
△ Less
Submitted 25 March, 2025;
originally announced March 2025.
-
Unified analysis of non-Markovian open quantum systems in Gaussian environment using superoperator formalism
Authors:
Zhen Huang,
Lin Lin,
Gunhee Park,
Yuanran Zhu
Abstract:
We present perturbative error bounds for the non-Markovian dynamics of observables in open quantum systems interacting with Gaussian environments, governed by general Liouville dynamics. This extends the work of [Mascherpa et al., Phys. Rev. Lett. 118, 100401, 2017], which demonstrated qualitatively tighter bounds over the standard Grönwall-type analysis, where the joint system-environment evoluti…
▽ More
We present perturbative error bounds for the non-Markovian dynamics of observables in open quantum systems interacting with Gaussian environments, governed by general Liouville dynamics. This extends the work of [Mascherpa et al., Phys. Rev. Lett. 118, 100401, 2017], which demonstrated qualitatively tighter bounds over the standard Grönwall-type analysis, where the joint system-environment evolution is unitary. Our results apply to systems with both bosonic and fermionic environments. Our approach utilizes a superoperator formalism, which avoids the need for formal coherent state path integral calculations, or the dilation of Lindblad dynamics into an equivalent unitary framework with infinitely many degrees of freedom. This enables a unified treatment of a wide range of open quantum systems. These findings provide a solid theoretical basis for various recently developed pseudomode methods in simulating open quantum system dynamics.
△ Less
Submitted 13 November, 2024;
originally announced November 2024.
-
On the Hartree-Fock Ground State Manifold in Magic Angle Twisted Graphene Systems
Authors:
Kevin D. Stubbs,
Simon Becker,
Lin Lin
Abstract:
Recent experiments have shown that magic angle twisted bilayer graphene (MATBG) can exhibit correlated insulator behavior at half-filling. Seminal theoretical results towards understanding this phase in MATBG has shown that Hartree-Fock ground states (with a positive charge gap) can be exact many-body ground states of an idealized flat band interacting (FBI) Hamiltonian. We prove that in the absen…
▽ More
Recent experiments have shown that magic angle twisted bilayer graphene (MATBG) can exhibit correlated insulator behavior at half-filling. Seminal theoretical results towards understanding this phase in MATBG has shown that Hartree-Fock ground states (with a positive charge gap) can be exact many-body ground states of an idealized flat band interacting (FBI) Hamiltonian. We prove that in the absence of spin and valley degrees of freedom, the only Hartree-Fock ground states of the FBI Hamiltonian for MATBG are two ferromagnetic Slater determinants. Incorporating spin and valley degrees of freedom, we provide a complete characterization of the Hartree-Fock ground state manifold, which is generated by a ${\rm U}(4) \times {\rm U}(4)$ hidden symmetry group acting on five elements. We also introduce new tools for ruling out translation symmetry breaking in the Hartree-Fock ground state manifold, which may be of independent interest.
△ Less
Submitted 28 March, 2024;
originally announced March 2024.
-
Exact ground state of interacting electrons in magic angle graphene
Authors:
Simon Becker,
Lin Lin,
Kevin D. Stubbs
Abstract:
One of the most remarkable theoretical findings in magic angle twisted bilayer graphene (TBG) is the emergence of ferromagnetic Slater determinants as exact ground states for the interacting Hamiltonian at the chiral limit. This discovery provides an explanation for the correlated insulating phase which has been experimentally observed at half filling. This work is the first mathematical study of…
▽ More
One of the most remarkable theoretical findings in magic angle twisted bilayer graphene (TBG) is the emergence of ferromagnetic Slater determinants as exact ground states for the interacting Hamiltonian at the chiral limit. This discovery provides an explanation for the correlated insulating phase which has been experimentally observed at half filling. This work is the first mathematical study of interacting models in magic angle graphene systems. These include not only TBG but also TBG-like systems featuring four flat bands per valley, and twisted trilayer graphene (TTG) systems with equal twist angles. We identify symmetries of the Bistritzer-MacDonald Hamiltonian that are responsible for characterizing the Hartree-Fock ground states as zero energy many-body ground states. Furthermore, for a general class of Hamiltonian, we establish criteria that the ferromagnetic Slater determinants are the unique ground states within the class of uniformly half-filled, translation invariant Slater determinants. We then demonstrate that these criteria can be explicitly verified for TBG and TBG-like systems at the chiral limit, using properties of Jacobi-$θ$ and Weierstrass-$\wp$ functions.
△ Less
Submitted 23 December, 2023;
originally announced December 2023.
-
Bohmian Trajectories of the Time-oscillating Schrödinger Equations
Authors:
Dandan Li,
Jinqiao Duan,
Li Lin,
Ao Zhang
Abstract:
Bohmian mechanics is a non-relativistic quantum theory based on a particle approach. In this paper we study the Schrödinger equation with rapidly oscillating potential and the associated Bohmian trajectory. We prove that the corresponding Bohmian trajectory converges locally in measure, and the limit coincides with the Bohmian trajectory for the effective Schrödinger equation on a finite time inte…
▽ More
Bohmian mechanics is a non-relativistic quantum theory based on a particle approach. In this paper we study the Schrödinger equation with rapidly oscillating potential and the associated Bohmian trajectory. We prove that the corresponding Bohmian trajectory converges locally in measure, and the limit coincides with the Bohmian trajectory for the effective Schrödinger equation on a finite time interval. This is beneficial for the efficient simulation of the Bohmian trajectories in oscillating potential fields.
△ Less
Submitted 9 September, 2021;
originally announced September 2021.
-
Sparsity pattern of the self-energy for classical and quantum impurity problems
Authors:
Lin Lin,
Michael Lindsey
Abstract:
We prove that for various impurity models, in both classical and quantum settings, the self-energy matrix is a sparse matrix with a sparsity pattern determined by the impurity sites. In the quantum setting, such a sparsity pattern has been known since Feynman. Indeed, it underlies several numerical methods for solving impurity problems, as well as many approaches to more general quantum many-body…
▽ More
We prove that for various impurity models, in both classical and quantum settings, the self-energy matrix is a sparse matrix with a sparsity pattern determined by the impurity sites. In the quantum setting, such a sparsity pattern has been known since Feynman. Indeed, it underlies several numerical methods for solving impurity problems, as well as many approaches to more general quantum many-body problems, such as the dynamical mean field theory. The sparsity pattern is easily motivated by a formal perturbative expansion using Feynman diagrams. However, to the extent of our knowledge, a rigorous proof has not appeared in the literature. In the classical setting, analogous considerations lead to a perhaps less-known result, i.e., that the precision matrix of a Gibbs measure of a certain kind differs only by a sparse matrix from the precision matrix of a corresponding Gaussian measure. Our argument for this result mainly involves elementary algebraic manipulations and is in particular non-perturbative. Nonetheless, the proof can be robustly adapted to various settings of interest in physics, including quantum systems (both fermionic and bosonic) at zero and finite temperature, non-equilibrium systems, and superconducting systems.
△ Less
Submitted 8 May, 2020; v1 submitted 13 February, 2019;
originally announced February 2019.
-
Bold Feynman diagrams and the Luttinger-Ward formalism via Gibbs measures. Part II: Non-perturbative analysis
Authors:
Lin Lin,
Michael Lindsey
Abstract:
Many-body perturbation theory (MBPT) is widely used in quantum physics, chemistry, and materials science. At the heart of MBPT is the Feynman diagrammatic expansion, which is, simply speaking, an elegant way of organizing the combinatorially growing number of terms of a certain Taylor expansion. In particular, the construction of the `bold Feynman diagrammatic expansion' involves the partial resum…
▽ More
Many-body perturbation theory (MBPT) is widely used in quantum physics, chemistry, and materials science. At the heart of MBPT is the Feynman diagrammatic expansion, which is, simply speaking, an elegant way of organizing the combinatorially growing number of terms of a certain Taylor expansion. In particular, the construction of the `bold Feynman diagrammatic expansion' involves the partial resummation to infinite order of possibly divergent series of diagrams. This procedure demands investigation from both the combinatorial (perturbative) and the analytical (non-perturbative) viewpoints. In Part II of this two-part series, we approach the analytical investigation of the bold diagrammatic expansion in the simplified setting of Gibbs measures (known as the Euclidean lattice field theory in the physics literature). Using non-perturbative methods, we rigorously construct the Luttinger-Ward formalism for the first time, and we prove that the bold diagrammatic series can be obtained directly via an asymptotic expansion of the Luttinger-Ward functional, circumventing the partial resummation technique. Moreover we prove that the Dyson equation can be derived as the Euler-Lagrange equation associated with a variational problem involving the Luttinger-Ward functional. We also establish a number of key facts about the Luttinger-Ward functional, such as its transformation rule, its form in the setting of the impurity problem, and its continuous extension to the boundary of the domain of physical Green's functions.
△ Less
Submitted 8 September, 2018;
originally announced September 2018.
-
Bold Feynman diagrams and the Luttinger-Ward formalism via Gibbs measures. Part I: Perturbative approach
Authors:
Lin Lin,
Michael Lindsey
Abstract:
Many-body perturbation theory (MBPT) is widely used in quantum physics, chemistry, and materials science. At the heart of MBPT is the Feynman diagrammatic expansion, which is, simply speaking, an elegant way of organizing the combinatorially growing number of terms of a certain Taylor expansion. In particular, the construction of the `bold Feynman diagrammatic expansion' involves the partial resum…
▽ More
Many-body perturbation theory (MBPT) is widely used in quantum physics, chemistry, and materials science. At the heart of MBPT is the Feynman diagrammatic expansion, which is, simply speaking, an elegant way of organizing the combinatorially growing number of terms of a certain Taylor expansion. In particular, the construction of the `bold Feynman diagrammatic expansion' involves the partial resummation to infinite order of possibly divergent series of diagrams. This procedure demands investigation from both the combinatorial (perturbative) and the analytical (non-perturbative) viewpoints. In Part I of this two-part series, we illustrate how the combinatorial properties of Feynman diagrams in MBPT can be studied in the simplified setting of Gibbs measures (known as the Euclidean lattice field theory in the physics literature) and provide a self-contained explanation of Feynman diagrams in this setting. We prove the combinatorial validity of the bold diagrammatic expansion, with methods generalizable to several types of field theories and interactions. Our treatment simplifies the presentation and numerical study of known techniques in MBPT such as the self-consistent Hartree-Fock approximation (HF), the second-order Green's function approximation (GF2), and the GW approximation. The bold diagrams are closely related to the Luttinger-Ward (LW) formalism, which was proposed in 1960 but whose analytic properties have not been rigorously established. The analytical study of the LW formalism in the setting of Gibbs measures will be the topic of Part II.
△ Less
Submitted 8 September, 2018;
originally announced September 2018.
-
Variational structure of Luttinger-Ward formalism and bold diagrammatic expansion for Euclidean lattice field theory
Authors:
Lin Lin,
Michael Lindsey
Abstract:
The Luttinger-Ward functional was proposed more than five decades ago to provide a link between static and dynamic quantities in a quantum many-body system. Despite its widespread usage, the derivation of the Luttinger-Ward functional remains valid only in the formal sense, and even the very existence of this functional has been challenged by recent numerical evidence. In a simpler and yet highly…
▽ More
The Luttinger-Ward functional was proposed more than five decades ago to provide a link between static and dynamic quantities in a quantum many-body system. Despite its widespread usage, the derivation of the Luttinger-Ward functional remains valid only in the formal sense, and even the very existence of this functional has been challenged by recent numerical evidence. In a simpler and yet highly relevant regime, namely the Euclidean lattice field theory, we rigorously prove that the Luttinger-Ward functional is a well-defined universal functional over all physical Green's functions. Using the Luttinger-Ward functional, the free energy can be variationally minimized with respect to Green's functions in its domain. We then derive the widely used bold diagrammatic expansion rigorously, without relying on formal arguments such as partial resummation of bare diagrams to infinite order.
△ Less
Submitted 20 November, 2017;
originally announced November 2017.
-
Globally Constructed Adaptive Local Basis Set for Spectral Projectors of Second Order Differential Operators
Authors:
Yingzhou Li,
Lin Lin
Abstract:
Spectral projectors of second order differential operators play an important role in quantum physics and other scientific and engineering applications. In order to resolve local features and to obtain converged results, typically the number of degrees of freedom needed is much larger than the rank of the spectral projector. This leads to significant cost in terms of both computation and storage. I…
▽ More
Spectral projectors of second order differential operators play an important role in quantum physics and other scientific and engineering applications. In order to resolve local features and to obtain converged results, typically the number of degrees of freedom needed is much larger than the rank of the spectral projector. This leads to significant cost in terms of both computation and storage. In this paper, we develop a method to construct a basis set that is adaptive to the given differential operator. The basis set is systematically improvable, and the local features of the projector is built into the basis set. As a result the required number of degrees of freedom is only a small constant times the rank of the projector. The construction of the basis set uses a randomized procedure, and only requires applying the differential operator to a small number of vectors on the global domain, while each basis function itself is supported on strictly local domains and is discontinuous across the global domain. The spectral projector on the global domain is systematically approximated from such a basis set using the discontinuous Galerkin (DG) method. The global construction procedure is very flexible, and allows a local basis set to be consistently constructed even if the operator contains a nonlocal potential term. We verify the effectiveness of the globally constructed adaptive local basis set using one-, two- and three-dimensional linear problems with local potentials, as well as a one dimensional nonlinear problem with nonlocal potentials resembling the Hartree-Fock problem in quantum physics.
△ Less
Submitted 1 June, 2018; v1 submitted 23 July, 2017;
originally announced July 2017.
-
A Mathematical Theory of Optimal Milestoning (with a Detour via Exact Milestoning)
Authors:
Ling Lin,
Jianfeng Lu,
Eric Vanden-Eijnden
Abstract:
Milestoning is a computational procedure that reduces the dynamics of complex systems to memoryless jumps between intermediates, or milestones, and only retains some information about the probability of these jumps and the time lags between them. Here we analyze a variant of this procedure, termed optimal milestoning, which relies on a specific choice of milestones to capture exactly some kinetic…
▽ More
Milestoning is a computational procedure that reduces the dynamics of complex systems to memoryless jumps between intermediates, or milestones, and only retains some information about the probability of these jumps and the time lags between them. Here we analyze a variant of this procedure, termed optimal milestoning, which relies on a specific choice of milestones to capture exactly some kinetic features of the original dynamical system. In particular, we prove that optimal milestoning permits the exact calculation of the mean first passage times (MFPT) between any two milestones. In so doing, we also analyze another variant of the method, called exact milestoning, which also permits the exact calculation of certain MFPTs, but at the price of retaining more information about the original system's dynamics. Finally, we discuss importance sampling strategies based on optimal and exact milestoning that can be used to bypass the simulation of the original system when estimating the statistical quantities used in these methods.
△ Less
Submitted 12 March, 2017; v1 submitted 8 September, 2016;
originally announced September 2016.
-
n-Lie bialgebras
Authors:
Ruipu Bai,
Weiwei Guo,
Lixin Lin,
Yang Zhang
Abstract:
The $n$-Lie bialgebras are studied. In Section 2, the $n$-Lie coalgebra with rank $r$ is defined, and the structure of it is discussed. In Section 3, the $n$-Lie bialgebra is introduced. A triple $(L, μ, Δ)$ is an $n$-Lie bialgebra if and only if $Δ$ is a conformal $1$-cocycle on the $n$-Lie algebra $L$ associated to $L$-modules $(L^{\otimes n}, ρ_s^μ)$, $1\leq s\leq n$, and the structure of $n$-L…
▽ More
The $n$-Lie bialgebras are studied. In Section 2, the $n$-Lie coalgebra with rank $r$ is defined, and the structure of it is discussed. In Section 3, the $n$-Lie bialgebra is introduced. A triple $(L, μ, Δ)$ is an $n$-Lie bialgebra if and only if $Δ$ is a conformal $1$-cocycle on the $n$-Lie algebra $L$ associated to $L$-modules $(L^{\otimes n}, ρ_s^μ)$, $1\leq s\leq n$, and the structure of $n$-Lie bialgebras is investigated by the structural constants. In Section 4, two-dimensional extension of finite dimensional $n$-Lie bialgebras are studied. For an $m$ dimensional $n$-Lie bialgebra $(L, μ, Δ)$, and an $ad_μ$-invariant symmetric bilinear form on $L$, the $m+2$ dimensional $(n+1)$-Lie bialgebra is constructed. In the last section, the bialgebra structure on the finite dimensional simple $n$-Lie algebra $A_n$ is discussed. It is proved that only bialgebra structures on the simple $n$-Lie algebra $A_n$ are rank zero, and rank two.
△ Less
Submitted 26 July, 2016;
originally announced July 2016.
-
Phase transition between two-component and three-component ground states of spin-1 Bose-Einstein condensates
Authors:
Liren Lin,
I-Liang Chern
Abstract:
For an antiferromagnetic spin-1 Bose-Einstein condensate under an applied uniform magnetic field, its ground state $(ψ_1,ψ_0,ψ_{-1})$ undergoes a phase transition from a two-component state ($ψ_0 \equiv 0$) to a three-component state ($ψ_j\ne 0$ for all $j$) at a critical value of the magnetic field. This phenomenon has been observed in numerical simulations as well as in experiments. In this pape…
▽ More
For an antiferromagnetic spin-1 Bose-Einstein condensate under an applied uniform magnetic field, its ground state $(ψ_1,ψ_0,ψ_{-1})$ undergoes a phase transition from a two-component state ($ψ_0 \equiv 0$) to a three-component state ($ψ_j\ne 0$ for all $j$) at a critical value of the magnetic field. This phenomenon has been observed in numerical simulations as well as in experiments. In this paper, we provide a mathematical proof based on a simple principle found by the authors: a redistribution of the mass densities between different components will decrease the kinetic energy.
△ Less
Submitted 30 April, 2022; v1 submitted 1 February, 2013;
originally announced February 2013.
-
Proofs of some simplified characterizations of the ground states of spin-1 Bose-Einstein condensates
Authors:
Liren Lin,
I-Liang Chern
Abstract:
We justify some characterizations of the ground states of spin-1 Bose-Einstein condensates exhibited from numerical simulations. For ferromagnetic systems, we show the validity of the single-mode approximation (SMA). For an antiferromagnetic system with nonzero magnetization, we prove the vanishing of the $m_F=0$ component. In the end of the paper some remaining degenerate situations are also disc…
▽ More
We justify some characterizations of the ground states of spin-1 Bose-Einstein condensates exhibited from numerical simulations. For ferromagnetic systems, we show the validity of the single-mode approximation (SMA). For an antiferromagnetic system with nonzero magnetization, we prove the vanishing of the $m_F=0$ component. In the end of the paper some remaining degenerate situations are also discussed. The proofs of the main results are all based on a simple observation, that a redistribution of masses among different components will reduce the kinetic energy.
△ Less
Submitted 14 May, 2012; v1 submitted 3 February, 2011;
originally announced February 2011.
